text:
Conic section
From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Types of conic sections:
1. Parabola
2. Circle and ellipse
3. Hyperbola
Table of conics, Cyclopaedia, 1728
In mathematics, a conic section (or simply conic) is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse. The circle is a special case of the ellipse, and is of sufficient interest in its own right that it was sometimes called a fourth type of conic section. The conic sections have been studied by the ancient Greek mathematicians with this work culminating around 200 BC, when Apollonius of Perga undertook a systematic study of their properties.
The conic sections of the Euclidean plane have various distinguishing properties. Many of these have been used as the basis for a definition of the conic sections. One such property defines a non-circular conic[1] to be the set of those points whose distances to some particular point, called a focus, and some particular line, called a directrix, are in a fixed ratio, called the eccentricity. The type of conic is determined by the value of the eccentricity. In analytic geometry, a conic may be defined as a plane algebraic curve of degree 2; that is, as the set of points whose coordinates satisfy a quadratic equation in two variables. This equation may be written in matrix form, and some geometric properties can be studied as algebraic conditions.
In the Euclidean plane, the conic sections appear to be quite different from one another, but share many properties. By extending the geometry to a projective plane (adding a line at infinity) this apparent difference vanishes, and the commonality becomes evident. Further extension, by expanding the real coordinates to admit complex coordinates, provides the means to see this unification algebraically.
Contents
[hide]
1 Euclidean geometry
1.1 Definition
1.2 Eccentricity, focus and directrix
1.3 Conic parameters
1.4 Standard forms in Cartesian coordinates
1.5 General Cartesian form
1.5.1 Matrix notation
1.5.2 Discriminant
1.5.3 Invariants
1.5.4 Eccentricity in terms of coefficients
1.5.5 Conversion to canonical form
1.6 Polar coordinates
1.7 Properties
2 History
2.1 Menaechmus and early works
2.2 Apollonius of Perga
2.3 Al-Kuhi
2.4 Omar Khayyám
2.5 Europe
3 Applications
4 In the real projective plane
4.1 Intersection at infinity
4.2 Homogeneous coordinates
4.3 Projective definition of a circle
4.4 Steiner's projective conic definition
4.5 Line conics
4.6 Von Staudt's definition
4.7 Constructions
5 In the complex projective plane
6 Degenerate cases
7 Pencil of conics
8 Intersecting two conics
9 Generalizations
10 In other areas of mathematics
11 See also
12 Notes
13 References
14 External links
Euclidean geometry
The conic sections have been studied for thousands of years and have provided a rich source of interesting and beautiful results in Euclidean geometry.
Definition
The black boundaries of the colored regions are conic sections. Not shown is the other half of the hyperbola, which is on the unshown other half of the double cone.
A conic is the curve obtained as the intersection of a plane, called the cutting plane, with the surface of a double cone (a cone with two nappes). It shall be assumed that the cone is a right circular cone for the purpose of easy description, but this is not required; any double cone with some circular cross-section will suffice. Planes that pass through the vertex of the cone will intersect the cone in a point, a line or a pair of intersecting lines. These are called degenerate conics and some authors do not consider them to be conics at all. Unless otherwise stated, "conic" in this article will refer to a non-degenerate conic.
There are three types of conics, the ellipse, parabola, and hyperbola. The circle is a special kind of ellipse, although historically it had been considered as a fourth type (as it was by Apollonius). The circle and the ellipse arise when the intersection of the cone and plane is a closed curve. The circle is obtained when the cutting plane is parallel to the plane of the generating circle of the cone – for a right cone, see diagram, this means that the cutting plane is perpendicular to the symmetry axis of the cone. If the cutting plane is parallel to exactly one generating line of the cone, then the conic is unbounded and is called a parabola. In the remaining case, the figure is a hyperbola. In this case, the plane will intersect both halves of the cone, producing two separate unbounded curves.
Eccentricity, focus and directrix
Circle (e=0), ellipse (e=1/2), parabola (e=1) and hyperbola (e=2) with fixed focus F and directrix (e=∞).
A property that the conic sections share is often presented as the following definition. A conic section is the locus of all points P whose distance to a fixed point F (called the focus of the conic) is a constant multiple (called the eccentricity, e) of the distance from P to a fixed line L (called the directrix of the conic). For 0 < e < 1 we obtain an ellipse, for e = 1 a parabola, and for e > 1 a hyperbola.
A circle is a limiting case and is not defined by a focus and directrix, in the plane (however, see the section on the extension to projective planes). The eccentricity of a circle is defined to be zero and its focus is the center of the circle, but there is no line in the Euclidean plane that is its directrix.[2]
An ellipse and a hyperbola each have two foci and distinct directrices for each of them. The line joining the foci is called the principal axis and the points of intersection of the conic with the principal axis are called the vertices of the conic. The line segment joining the vertices of a conic is called the major axis, also called transverse axis in the hyperbola. The midpoint of this line segment is called the center of the conic.[3] Let a denote the distance from the center to a vertex of an ellipse or hyperbola. The distance from the center to a directrix is a/e while the distance from the center to a focus is ae.[4]
A parabola does not have a center.
The eccentricity of an ellipse can be seen as a measure of how far the ellipse deviates from being circular.
If the angle between the surface of the cone and its axis is β {\displaystyle \beta } and the angle between the cutting plane and the axis is α , {\displaystyle \alpha ,} the eccentricity is[5] cos  α cos  β . {\displaystyle {\frac {\cos \alpha }{\cos \beta }}.}
A proof that the conic sections given by the focus-directrix property are the same as those given by planes intersecting a cone is facilitated by the use of Dandelin spheres.[6]
Conic parameters
Conic parameters in the case of an ellipse
Various parameters are associated with a conic section. Recall that the principal axis is the line joining the foci of an ellipse or hyperbola, and the center in these cases is the midpoint of the line segment joining the foci. Some of the other common features and/or parameters of conics are given below.
The linear eccentricity (c) is the distance between the center and the focus (or one of the two foci).
The latus rectum is the chord parallel to the directrix and passing through the focus (or one of the two foci). Its length is denoted by 2ℓ.
The semi-latus rectum (ℓ) is half of the length of the latus rectum.
The focal parameter (p) is the distance from the focus (or one of the two foci) to the directrix.
When an ellipse or hyperbola are in standard position (the principle axis is the x-axis and the center is the origin) the vertices of the conic have coordinates (−a, 0) and (a, 0), with a non-negative.
The semi-major axis is the value a.
The semi-minor axis is the value b in the standard Cartesian equation of the ellipse or hyperbola.
The following relations hold:
p e = ℓ {\displaystyle pe=\ell \,}
a e = c . {\displaystyle ae=c.\,}
These parameters are related as shown in the following table, where the standard position is assumed. In all cases, a and b are positive.
conic section
equation
eccentricity (e)
linear eccentricity (c)
semi-latus rectum (ℓ)
focal parameter (p)
circle x 2 + y 2 = a 2 {\displaystyle x^{2}+y^{2}=a^{2}\,} 0 {\displaystyle 0\,} 0 {\displaystyle 0\,} a {\displaystyle a\,} ∞ {\displaystyle \infty }
ellipse x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1} 1 − b 2 a 2 {\displaystyle {\sqrt {1-{\frac {b^{2}}{a^{2}}}}}} a 2 − b 2 {\displaystyle {\sqrt {a^{2}-b^{2}}}} b 2 a {\displaystyle {\frac {b^{2}}{a}}} b 2 a 2 − b 2 {\displaystyle {\frac {b^{2}}{\sqrt {a^{2}-b^{2}}}}}
parabola y 2 = 4 a x {\displaystyle y^{2}=4ax\,} 1 {\displaystyle 1\,} N/A 2 a {\displaystyle 2a\,} 2 a {\displaystyle 2a\,}
hyperbola x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1} 1 + b 2 a 2 {\displaystyle {\sqrt {1+{\frac {b^{2}}{a^{2}}}}}} a 2 + b 2 {\displaystyle {\sqrt {a^{2}+b^{2}}}} b 2 a {\displaystyle {\frac {b^{2}}{a}}} b 2 a 2 + b 2 {\displaystyle {\frac {b^{2}}{\sqrt {a^{2}+b^{2}}}}}
Standard forms in Cartesian coordinates
Standard forms of an ellipse
Standard forms of a parabola
Standard forms of a hyperbola
After introducing Cartesian coordinates the focus-directrix property can be used to produce equations that the coordinates of the points of the conic section must satisfy.[7] By means of a change of coordinates (a rotation of axes and a translation of axes) these equations can be put into standard forms.[8] For ellipses and (general) hyperbolas a standard form would have the x-axis as the principal axis and the origin (the point (0,0)) as the center. The vertices would have coordinates (±a, 0) and foci coordinates (±c, 0). Define b by the equations c2 = a2 − b2 for an ellipse and c2 = a2 + b2 for a hyperbola. For a circle, c = 0 so a2 = b2. For the parabola, the standard form has the focus on the x-axis at the point (a, 0) and the directrix the line with equation x = −a. In standard form the parabola will always pass through the origin. A special case of the hyperbola occurs when its asymptotes are perpendicular. This special case is called a rectangular or equilateral hyperbola. In this case, the standard form is obtained by taking the asymptotes as the coordinate axes and the line x = y as the principal axis. The foci would have coordinates (c, c) and (−c, −c).[9]
Circle: x2 + y2 = a2
Ellipse: x2/a2 + y2/b2 = 1
Parabola: y2 = 4ax with a > 0
Hyperbola: x2/a2 − y2/b2 = 1
Rectangular hyperbola:[10] xy = c2/2
The first four of these forms are symmetric about both the x-axis and y-axis (for the circle, ellipse and hyperbola), or about the x-axis only (for the parabola). The rectangular hyperbola, however, is instead symmetric about the lines y = x and y = −x.
These standard forms can be written parametrically as,
Circle: (a cos θ, a sin θ),
Ellipse: (a cos θ, b sin θ),
Parabola: (at2, 2at),
Hyperbola: (a sec θ, b tan θ) or (±a cosh u, b sinh u),
Rectangular hyperbola: ( d t , d t ) {\displaystyle (dt,{\frac {d}{t}})} where d = c 2 . {\displaystyle d={\frac {c}{\sqrt {2}}}.}
General Cartesian form
In the Cartesian coordinate system, the graph of a quadratic equation in two variables is always a conic section (though it may be degenerate[11]), and all conic sections arise in this way. The most general equation is of the form[12]
A x 2 + B x y + C y 2 + D x + E y + F = 0 , {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,}
with all coefficients real numbers and A, B, C not all zero.
Matrix notation
Main article: Matrix representation of conic sections
The above equation can be written in matrix notation as[13]
( x y ) ( A B / 2 B / 2 C ) ( x y ) + ( D E ) ( x y ) + F = 0. {\displaystyle \left({\begin{matrix}x&y\end{matrix}}\right)\left({\begin{matrix}A&B/2\\B/2&C\end{matrix}}\right)\left({\begin{matrix}x\\y\end{matrix}}\right)+\left({\begin{matrix}D&E\end{matrix}}\right)\left({\begin{matrix}x\\y\end{matrix}}\right)+F=0.}
The general equation can also be written as
( x y 1 ) ( A B / 2 D / 2 B / 2 C E / 2 D / 2 E / 2 F ) ( x y 1 ) = 0. {\displaystyle \left({\begin{matrix}x&y&1\end{matrix}}\right)\left({\begin{matrix}A&B/2&D/2\\B/2&C&E/2\\D/2&E/2&F\end{matrix}}\right)\left({\begin{matrix}x\\y\\1\end{matrix}}\right)=0.}
This form is a specialization of the homogeneous form used in the more general setting of projective geometry (see below).
Discriminant
The conic sections described by this equation can be classified in terms of the value B 2 − 4 A C {\displaystyle B^{2}-4AC} , called the discriminant of the equation.[14] Thus, the discriminant is − 4Δ where Δ is the matrix determinant | A B / 2 B / 2 C | . {\displaystyle \left|{\begin{matrix}A&B/2\\B/2&C\end{matrix}}\right|.}
If the conic is non-degenerate, then:[15]
if B2 − 4AC < 0, the equation represents an ellipse;
if A = C and B = 0, the equation represents a circle, which is a special case of an ellipse;
if B2 − 4AC = 0, the equation represents a parabola;
if B2 − 4AC > 0, the equation represents a hyperbola;
if A + C = 0, the equation represents a rectangular hyperbola.
In the notation used here, A and B are polynomial coefficients, in contrast to some sources that denote the semimajor and semiminor axes as A and B.
Invariants
The discriminant B2 – 4AC of the conic section's quadratic equation (or equivalently the determinant AC – B2/4 of the 2×2 matrix) and the quantity A + C (the trace of the 2×2 matrix) are invariant under arbitrary rotations and translations of the coordinate axes,[15][16][17] as is the determinant of the 3×3 matrix above.[18]:pp. 60–62 The constant term F and the sum D2+E2 are invariant under rotation only.[18]:pp. 60–62
Eccentricity in terms of coefficients
When the conic section is written algebraically as
A x 2 + B x y + C y 2 + D x + E y + F = 0 , {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,\,}
the eccentricity can be written as a function of the coefficients of the quadratic equation.[19] If 4AC = B2 the conic is a parabola and its eccentricity equals 1 (provided it is non-degenerate). Otherwise, assuming the equation represents either a non-degenerate hyperbola or ellipse, the eccentricity is given by
e = 2 ( A − C ) 2 + B 2 η ( A + C ) + ( A − C ) 2 + B 2 , {\displaystyle e={\sqrt {\frac {2{\sqrt {(A-C)^{2}+B^{2}}}}{\eta (A+C)+{\sqrt {(A-C)^{2}+B^{2}}}}}},}
where η = 1 if the determinant of the 3×3 matrix above is negative and η = −1 if that determinant is positive.
It can also be shown[18]:p. 89 that the eccentricity is a positive solution of the equation
Δ e 4 + [ ( A + C ) 2 − 4 Δ ] e 2 − [ ( A + C ) 2 − 4 Δ ] = 0 , {\displaystyle \Delta e^{4}+[(A+C)^{2}-4\Delta ]e^{2}-[(A+C)^{2}-4\Delta ]=0,}
where again Δ = A C − B 2 4 . {\displaystyle \Delta =AC-{\frac {B^{2}}{4}}.} This has precisely one positive solution—the eccentricity— in the case of a parabola or ellipse, while in the case of a hyperbola it has two positive solutions, one of which is the eccentricity.
Conversion to canonical form
See also: Ellipse § Canonical form
In the case of an ellipse or hyperbola, the equation
A x 2 + B x y + C y 2 + D x + E y + F = 0 {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0\,}
can be converted to canonical form in transformed variables x ′ , y ′ {\displaystyle x',y'} as[20]
x ′ 2 − S / ( λ 1 2 λ 2 ) + y ′ 2 − S / ( λ 1 λ 2 2 ) = 1 , {\displaystyle {\frac {x'^{2}}{-S/(\lambda _{1}^{2}\lambda _{2})}}+{\frac {y'^{2}}{-S/(\lambda _{1}\lambda _{2}^{2})}}=1,}
or equivalently
x ′ 2 − S / ( λ 1 Δ ) + y ′ 2 − S / ( λ 2 Δ ) = 1 , {\displaystyle {\frac {x'^{2}}{-S/(\lambda _{1}\Delta )}}+{\frac {y'^{2}}{-S/(\lambda _{2}\Delta )}}=1,}
where λ 1 {\displaystyle \lambda _{1}} and λ 2 {\displaystyle \lambda _{2}} are the eigenvalues of the matrix ( A B / 2 B / 2 C ) {\displaystyle \left({\begin{matrix}A&B/2\\B/2&C\end{matrix}}\right)} — that is, the solutions of the equation
λ 2 − ( A + C ) λ + ( A C − ( B / 2 ) 2 ) = 0 {\displaystyle \lambda ^{2}-(A+C)\lambda +(AC-(B/2)^{2})=0}
— and S {\displaystyle S} is the determinant of the 3×3 matrix above, and Δ = λ 1 λ 2 {\displaystyle \Delta =\lambda _{1}\lambda _{2}} is again the determinant of the 2×2 matrix. In the case of an ellipse the squares of the two semi-axes are given by the denominators in the canonical form.
Polar coordinates
Development of the conic section as the eccentricity e increases
In polar coordinates, a conic section with one focus at the origin and, if any, the other at a negative value (for an ellipse) or a positive value (for a hyperbola) on the x-axis, is given by the equation
r = l 1 + e cos  θ , {\displaystyle r={\frac {l}{1+e\cos \theta }},}
where e is the eccentricity and l is the semi-latus rectum.
As above, for e = 0, the graph is a circle, for 0 < e < 1the graph is an ellipse, for e = 1 a parabola, and for e > 1 a hyperbola.
The polar form of the equation of a conic is often used in dynamics; for instance, determining the orbits of objects revolving about the Sun. [21]
Properties
Just as two (distinct) points determine a line, five points determine a conic. Formally, given any five points in the plane in general linear position, meaning no three collinear, there is a unique conic passing through them, which will be non-degenerate; this is true in both the Euclidean plane and its extension, the real projective plane. Indeed, given any five points there is a conic passing through them, but if three of the points are collinear the conic will be degenerate (reducible, because it contains a line), and may not be unique; see further discussion.
Four points in the plane in general linear position determine a unique conic passing through the first three points and having the fourth point as its center. Thus knowing the center is equivalent to knowing two points on the conic for the purpose of determining the curve.[22]
Furthermore, a conic is determined by any combination of k points in general position that it passes through and 5 – k lines that are tangent to it, for 0≤k≤5.[23]
Any point in the plane is on either zero, one or two tangent lines of a conic. A point on just one tangent line is on the conic. A point on no tangent line is said to be an interior point (or inner point) of the conic, while a point on two tangent lines is an exterior point (or outer point).
All the conic sections share a reflection property that can be stated as: All mirrors in the shape of a non-degenerate conic section reflect light coming from or going toward one focus toward or away from the other focus. In the case of the parabola, the second focus needs to be thought of as infinitely far away, so that the light rays going toward or coming from the second focus are parallel.[24][25]
Pascal's theorem concerns the collinearity of three points that are constructed from a set of six points on any non-degenerate conic. The theorem also holds for degenerate conics consisting of two lines, but in that case it is known as Pappus's theorem.
Non-degenerate conic sections are always "smooth". This is important for many applications, such as aerodynamics, where a smooth surface is required to ensure laminar flow and to prevent turbulence.
History
Menaechmus and early works
It is believed that the first definition of a conic section is due to Menaechmus (died 320 BCE) as part of his solution[26] of the Delian problem (Duplicating the cube).[27] His work did not survive, not even the names he used for these curves, and is only known through secondary accounts.[28] The definition used at that time differs from the one commonly used today. Cones were constructed by rotating a right triangle about one of its legs so the hypotenuse generates the surface of the cone (such a line is called a generatrix). Three types of cones were determined by their vertex angles (measured by twice the angle formed by the hypotenuse and the leg being rotated about in the right triangle). The conic section was then determined by intersecting one of these cones with a plane drawn perpendicular to a generatrix. The type of the conic is determined by the type of cone, that is, by the angle formed at the vertex of the cone: If the angle is acute then the conic is an ellipse; if the angle is right then the conic is a parabola; and if the angle is obtuse then the conic is a hyperbola (but only one branch of the curve).[29]
Euclid (fl. 300 BCE) is said to have written four books on conics but these were lost as well.[30] Archimedes (died c. 212 BCE) is known to have studied conics, having determined the area bounded by a parabola and a chord in Quadrature of the Parabola. His main interest was in terms of measuring areas and volumes of figures related to the conics and part of this work survives in his book on the solids of revolution of conics, On Conoids and Spheroids.[31]
Apollonius of Perga
Diagram from Apollonius' Conics, in a 9th-century Arabic translation
The greatest progress in the study of conics by the ancient Greeks is due to Apollonius of Perga (died c. 190 BCE), whose eight-volume Conic Sections or Conics summarized and greatly extended existing knowledge. Apollonius's study of the properties of these curves made it possible to show that any plane cutting a fixed double cone (two napped), regardless of its angle, will produce a conic according to the earlier definition, leading to the definition commonly used today. Circles, not constructible by the earlier method, are also obtainable in this way. This may account for why Apollonius considered circles a fourth type of conic section, a distinction that is no longer made. Apollonius used the names ellipse, parabola and hyperbola for these curves, borrowing the terminology from earlier Pythagorean work on areas.[32]
Pappus of Alexandria (died c. 350 CE) is credited with expounding on the importance of the concept of a conic's focus, and detailing the related concept of a directrix, including the case of the parabola (which is lacking in Apollonius's known works).[33]
Al-Kuhi
An instrument for drawing conic sections was first described in 1000 CE by the Islamic mathematician Al-Kuhi.[34][35]
Omar Khayyám
Apollonius's work was translated into Arabic and much of his work only survives through the Arabic version. Persians found applications to the theory; the most notable of these was the Persian[36] mathematician and poet Omar Khayyám who used conic sections to solve algebraic equations.
Europe
Johannes Kepler extended the theory of conics through the "principle of continuity", a precursor to the concept of limits. Kepler first used the term foci in 1604.[37]
Girard Desargues and Blaise Pascal developed a theory of conics using an early form of projective geometry and this helped to provide impetus for the study of this new field. In particular, Pascal discovered a theorem known as the hexagrammum mysticum from which many other properties of conics can be deduced.
René Descartes and Pierre Fermat both applied their newly discovered analytic geometry to the study of conics. This had the effect of reducing the geometrical problems of conics to problems in algebra. However, it was John Wallis in his 1655 treatise Tractatus de sectionibus conicis who first defined the conic sections as instances of equations of second degree.[38] Written earlier, but published later, Jan de Witt's Elementa Curvarum Linearum starts with Kepler's kinematic construction of the conics and then develops the algebraic equations. This work, which uses Fermat's methodology and Descartes' notation has been described as the first textbook on the subject.[39] De Witt invented the term directrix.[39]
Applications
For specific applications of each type of conic section, see Circle, Ellipse, Parabola, and Hyperbola.
The paraboloid shape of Archeocyathids produces conic sections on rock faces
Conic sections are important in astronomy: the orbits of two massive objects that interact according to Newton's law of universal gravitation are conic sections if their common center of mass is considered to be at rest. If they are bound together, they will both trace out ellipses; if they are moving apart, they will both follow parabolas or hyperbolas. See two-body problem.
The reflective properties of the conic sections are used in the design of searchlights, radio-telescopes and some optical telescopes.[40] A parabolic mirror is used as the reflector, with a bulb at the focus, in a searchlight. The 4.2 meter Herschel optical telescope on La Palma, in the Canary islands, uses a primary parabolic mirror to reflect light towards a secondary hyperbolic mirror, which reflects it again to a focus behind the first mirror.
In the real projective plane
The conic sections have some very similar properties in the Euclidean plane and the reasons for this become clearer when the conics are viewed from the perspective of a larger geometry. The Euclidean plane may be embedded in the real projective plane and the conics may be considered as objects in this projective geometry. One way to do this is to introduce homogeneous coordinates and define a conic to be the set of points whose coordinates satisfy an irreducible quadratic equation in three variables (or equivalently, the zeros of an irreducible quadratic form). More technically, the set of points that are zeros of a quadratic form (in any number of variables) is called a quadric, and the irreducible quadrics in a two dimensional projective space (that is, having three variables) are traditionally called conics.
The Euclidean plane R2 is embedded in the real projective plane by adjoining a line at infinity (and its corresponding points at infinity) so that all the lines of a parallel class meet on this line. On the other hand, starting with the real projective plane, a Euclidean plane is obtained by distinguishing some line as the line at infinity and removing it and all its points.
Intersection at infinity
In a projective space over any division ring, but in particular over either the real or complex numbers, all non-degenerate conics are equivalent, and thus in projective geometry one simply speaks of "a conic" without specifying a type. That is, there is a projective transformation that will map any non-degenerate conic to any other non-degenerate conic.[41]
The three types of conic sections will reappear in the affine plane obtained by choosing a line of the projective space to be the line at infinity. The three types are then determined by how this line at infinity intersects the conic in the projective space. In the corresponding affine space, one obtains an ellipse if the conic does not intersect the line at infinity, a parabola if the conic intersects the line at infinity in one double point corresponding to the axis, and a hyperbola if the conic intersects the line at infinity in two points corresponding to the asymptotes.[42]
Homogeneous coordinates
In homogeneous coordinates a conic section can be represented as:
A x 2 + B x y + C y 2 + D x z + E y z + F z 2 = 0. {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dxz+Eyz+Fz^{2}=0.}
Or in matrix notation
( x y z ) ( A B / 2 D / 2 B / 2 C E / 2 D / 2 E / 2 F ) ( x y z ) = 0. {\displaystyle \left({\begin{matrix}x&y&z\end{matrix}}\right)\left({\begin{matrix}A&B/2&D/2\\B/2&C&E/2\\D/2&E/2&F\end{matrix}}\right)\left({\begin{matrix}x\\y\\z\end{matrix}}\right)=0.}
The 3 × 3 matrix above is called the matrix of the conic section.
Some authors prefer to write the general homogeneous equation as
A x 2 + 2 B x y + C y 2 + 2 D x z + 2 E y z + F z 2 = 0 , {\displaystyle Ax^{2}+2Bxy+Cy^{2}+2Dxz+2Eyz+Fz^{2}=0,}
(or some variation of this) so that the matrix of the conic section has the simpler form,
M = ( A B D B C E D E F ) , {\displaystyle M=\left({\begin{matrix}A&B&D\\B&C&E\\D&E&F\end{matrix}}\right),}
but this notation is not used in this article.[43]
If the determinant of the matrix of the conic section is zero, the conic section is degenerate.
As multiplying all six coefficients by the same non-zero scalar yields an equation with the same set of zeros, one can consider conics, represented by (A, B, C, D, E, F) as points in the five-dimensional projective space P 5 . {\displaystyle \mathbf {P} ^{5}.}
Projective definition of a circle
Metrical concepts of Euclidean geometry (concepts concerned with measuring lengths and angles) can not be immediately extended to the real projective plane.[44] They must be redefined (and generalized) in this new geometry. This can be done for arbitrary projective planes, but to obtain the real projective plane as the extended Euclidean plane, some specific choices have to be made.[45]
Fix an arbitrary line in a projective plane that shall be referred to as the absolute line. Select two distinct points on the absolute line and refer to them as absolute points. Several metrical concepts can be defined with reference to these choices. For instance, given a line containing the points A and B, the midpoint of line segment AB is defined as the point C which is the projective harmonic conjugate of the point of intersection of AB and the absolute line, with respect to A and B.
A conic in a projective plane that contains the two absolute points is called a circle. Since five points determine a conic, a circle (which may be degenerate) is determined by three points. To obtain the extended Euclidean plane, the absolute line is chosen to be the line at infinity of the Euclidean plane and the absolute points are two special points on that line called the circular points at infinity. Lines containing two points with real coordinates do not pass through the circular points at infinity, so in the Euclidean plane a circle, under this definition, is determined by three points that are not collinear.[46]
It has been mentioned that circles in the Euclidean plane can not be defined by the focus-directrix property. However, if one were to consider the line at infinity as the directrix, then by taking the eccentricity to be e = 0 a circle will have the focus-directrix property, but it is still not defined by that property.[47] One must be careful in this situation to correctly use the definition of eccentricity as the ratio of the distance of a point on the circle to the focus (length of a radius) to the distance of that point to the directrix (this distance is infinite) which gives the limiting value of zero.
Steiner's projective conic definition
Main article: Steiner conic
Definition of the Steiner generation of a conic section
A synthetic (without the use of coordinates) approach to defining the conic sections in a projective plane was given by Jakob Steiner in 1867.
Given two pencils B ( U ) , B ( V ) {\displaystyle B(U),B(V)} of lines at two points U , V {\displaystyle U,V} (all lines containing U {\displaystyle U} and V {\displaystyle V} resp.) and a projective but not perspective mapping π {\displaystyle \pi } of B ( U ) {\displaystyle B(U)} onto B ( V ) {\displaystyle B(V)} . Then the intersection points of corresponding lines form a non-degenerate projective conic section.[48][49][50][51]
A perspective mapping π {\displaystyle \pi } of a pencil B ( U ) {\displaystyle B(U)} onto a pencil B ( V ) {\displaystyle B(V)} is a bijection (1-1 correspondence) such that corresponding lines intersect on a fixed line a {\displaystyle a} , which is called the axis of the perspectivity π {\displaystyle \pi } .
A projective mapping is a finite sequence of perspective mappings.
As a projective mapping in a projective plane over a field (pappian plane) is uniquely determined by prescribing the images of three lines,[52] for the Steiner generation of a conic section, besides two points U , V {\displaystyle U,V} only the images of 3 lines have to be given. These 5 items (2 points, 3 lines) uniquely determine the conic section.
Line conics
By the Principle of Duality in a projective plane, the dual of each point is a line, and the dual of a locus of points (a set of points satisfying some condition) is called an envelope of lines. Using Steiner's definition of a conic (this locus of points will now be referred to as a point conic) as the meet of corresponding rays of two related pencils, it is easy to dualize and obtain the corresponding envelope consisting of the joins of corresponding points of two related ranges (points on a line) on different bases (the lines the points are on). Such an envelope is called a line conic (or dual conic).
In the real projective plane, a point conic has the property that every line meets it in two points (which may coincide, or may be complex) and any set of points with this property is a point conic. It follows dually that a line conic has two of its lines through every point and any envelope of lines with this property is a line conic. At every point of a point conic there is a unique tangent line, and dually, on every line of a line conic there is a unique point called a point of contact. An important theorem states that the tangent lines of a point conic form a line conic, and dually, the points of contact of a line conic form a point conic.[53]
Von Staudt's definition
Main article: Von Staudt conic
Karl Georg Christian von Staudt defined a conic as the point set given by all the absolute points of a polarity that has absolute points. Von Staudt introduced this definition in Geometrie der Lage (1847) as part of his attempt to remove all metrical concepts from projective geometry.
A polarity, π, of a projective plane, P, is an involutory (i.e., of order two) bijection between the points and the lines of P that preserves the incidence relation. Thus, a polarity relates a point Q with a line q and, following Gergonne, q is called the polar of Q and Q the pole of q.[54] An absolute point (line) of a polarity is one which is incident with its polar (pole).[55]
A von Staudt conic in the real projective plane is equivalent to a Steiner conic.[56]
Constructions
A conic can not be constructed as a continuous curve (or two) with straightedge and compass. However, there are several methods that are used to construct as many individual points on a conic, with straightedge and compass, as desired.
One of them is based on the converse of Pascal's theorem, namely, if the points of intersection of opposite sides of a hexagon are collinear, then the six vertices lie on a conic. Specifically, given five points, A, B, C, D, E and a line passing through E, say EG, \a point F that lies on this line and is on the conic determined by the five points can be constructed. Let AB meet DE in L, BC meet EG in M and let CD meet LM at N. Then AN meets EG at the required point F.[57] By varying the line through E,as many additional points on the conic as desired can be constructed.
Parallelogram method for constructing an ellipse
Another method, based on Steiner's construction and which is useful in engineering applications, is the parallelogram method, where a conic is constructed point by point by means of connecting certain equally spaced points on a horizontal line and a vertical line.[58] Specifically, to construct the ellipse with equation x2/a2 + y2/b2 = 1, first construct the rectangle ABCD with vertices A(a, 0), B(a, 2b), C(−a, 2b) and D(−a, 0). Divide the side BC into n equal segments and use parallel projection, with respect to the diagonal AC, to form equal segments on side AB (the lengths of these segments will be b/a times the length of the segments on BC). On the side BC label the left-hand endpoints of the segments with A1 to An starting at B and going towards C. On the side AB label the upper endpoints D1 to Dn starting at A and going towards B. The points of intersection, AAi ∩ DDi for 1 ≤ i ≤ n will be points of the ellipse between A and P(0, b). The labeling associates the lines of the pencil through A with the lines of the pencil through D projectively but not perspectively. The sought for conic is obtained by this construction since three points A, D and P and two tangents (the vertical lines at A and D) uniquely determine the conic. If another diameter (and its conjugate diameter) are used instead of the major and minor axes of the ellipse, a parallelogram that is not a rectangle is used in the construction, giving the name of the method. The association of lines of the pencils can be extended to obtain other points on the ellipse. The constructions for hyperbolas[59] and parabolas[60] are similar.
Yet another general method uses the polarity property to construct the tangent envelope of a conic (a line conic).[61]
In the complex projective plane
Further unification is possible if one allows complex numbers as coefficients. In the complex projective plane the non-degenerate conics can not be distinguished from one another.
Over the complex numbers ellipses and hyperbolas are not distinct, since −1 is a square; precisely, the ellipse x 2 + y 2 = 1 {\displaystyle x^{2}+y^{2}=1} becomes a hyperbola under the substitution y = i w , {\displaystyle y=iw,} geometrically a complex rotation, yielding x 2 − w 2 = 1 {\displaystyle x^{2}-w^{2}=1} – a hyperbola is simply an ellipse with an imaginary axis length. Thus there is a 2-way classification: ellipse/hyperbola and parabola. Geometrically, this corresponds to intersecting the line at infinity in either 2 distinct points (corresponding to two asymptotes) or in 1 double point (corresponding to the axis of a parabola), and thus the real hyperbola is a more suggestive image for the complex ellipse/hyperbola, as it also has 2 (real) intersections with the line at infinity.
It can be proven that in the complex projective plane CP2 two conic sections have four points in common (if one accounts for multiplicity), so there are never more than 4 intersection points and there is always one intersection point (possibilities: four distinct intersection points, two singular intersection points and one double intersection points, two double intersection points, one singular intersection point and 1 with multiplicity 3, 1 intersection point with multiplicity 4). If there exists at least one intersection point with multiplicity > 1, then the two conic sections are said to be tangent. If there is only one intersection point, which has multiplicity 4, the two conic sections are said to be osculating.[62]
Furthermore, each straight line intersects each conic section twice. If the intersection point is double, the line is said to be tangent and it is called the tangent line. Because every straight line intersects a conic section twice, each conic section has two points at infinity (the intersection points with the line at infinity). If these points are real, the conic section is a hyperbola, if they are imaginary conjugated, the conic section is an ellipse, if the conic section has one double point at infinity it is a parabola. If the points at infinity are (1,i,0) and (1,-i,0), the conic section is a circle (see circular points at infinity). If a conic section has one real and one imaginary point at infinity, or two imaginary points that are not conjugated then it is not a real conic section, because its coefficients cannot be real.
Degenerate cases
Further information: Degenerate conic
What should be considered as a degenerate case of a conic depends on the definition being used and the geometric setting for the conic section. There are some authors who define a conic as a two-dimensional nondegenerate quadric. With this terminology there are no degenerate conics (only degenerate quadrics), but we shall use the more traditional terminology and avoid that definition.
In the Euclidean plane, using the geometric definition, a degenerate case arises when the cutting plane passes through the apex of the cone. The degenerate conic is either: a point, when the plane intersects the cone only at the apex; a straight line, when the plane is tangent to the cone (it contains exactly one generator of the cone); or a pair of intersecting lines (two generators of the cone).[63] These correspond respectively to the limiting forms of an ellipse, parabola, and a hyperbola.
If a conic in the Euclidean plane is being defined by the zeros of a quadratic equation (that is, as a quadric), then the degenerate conics are: the empty set, a point, or a pair of lines which may be parallel, intersect at a point, or coincide. The empty set case may correspond either to a pair of complex conjugate parallel lines such as with the equation x 2 + 1 = 0 , {\displaystyle x^{2}+1=0,} or to an imaginary ellipse, such as with the equation x 2 + y 2 + 1 = 0. {\displaystyle x^{2}+y^{2}+1=0.} An imaginary ellipse does not satisfy the general definition of a degeneracy, and is thus not normally considered as degenerated. The two lines case occurs when the quadratic expression factors into two linear factors, the zeros of each giving a line. In the case that the factors are the same, the corresponding lines coincide and we refer to the line as a double line (a line with multiplicity 2) and this is the previous case of a tangent cutting plane.
In the real projective plane, since parallel lines meet at a point on the line at infinity, the parallel line case of the Euclidean plane can be viewed as intersecting lines. However, as the point of intersection is the apex of the cone, the cone itself degenerates to a cylinder, i.e. with the apex at infinity. Other sections in this case are called cylindric sections.[64] The non-degenerate cylindrical sections are ellipses (or circles).
When viewed from the perspective of the complex projective plane, the degenerate cases of a real quadric (i.e., the quadratic equation has real coefficients) can all be considered as a pair of lines, possibly coinciding. The empty set may be the line at infinity considered as a double line, a (real) point is the intersection of two complex conjugate lines and the other cases as previously mentioned.
To distinguish the degenerate cases from the non-degenerate cases (including the empty set with the latter) using matrix notation, let β be the determinant of the 3×3 matrix of the conic section—that is, β = (AC − B2/4)F + BED − CD2 − AE2/4; and let α = B2 − 4AC be the discriminant. Then the conic section is non-degenerate if and only if β ≠ 0. If β = 0 we have a point when α < 0, two parallel lines (possibly coinciding) when α = 0, or two intersecting lines when α > 0.[65]
Pencil of conics
A (non-degenerate) conic is completely determined by five points in general position (no three collinear) in a plane and the system of conics which pass through a fixed set of four points (again in a plane and no three collinear) is called a pencil of conics.[66] The four common points are called the base points of the pencil. Through any point other than a base point, there passes a single conic of the pencil. This concept generalizes a pencil of circles.
In a projective plane defined over an algebraically closed field any two conics meet in four points (counted with multiplicity) and so, determine the pencil of conics based on these four points. Furthermore, the four base points determine three line pairs (degenerate conics through the base points, each line of the pair containing exactly two base points) and so each pencil of conics will contain at most three degenerate conics.[67]
A pencil of conics can represented algebraically in the following way. Let C1 and C2 be two distinct conics in a projective plane defined over an algebraically closed field K. For every pair λ, μ of elements of K, not both zero, the expression:
λ C 1 + μ C 2 {\displaystyle \lambda C_{1}+\mu C_{2}}
represents a conic in the pencil determined by C1 and C2. This symbolic representation can be made concrete with a slight abuse of notation (using the same notation to denote the object as well as the equation defining the object.) Thinking of C1, say, as a ternary quadratic form, then C1 = 0 is the equation of the "conic C1". Another concrete realization would be obtained by thinking of C1 as the 3×3 symmetric matrix which represents it. If C1 and C2 have such concrete realizations then every member of the above pencil will as well. Since the setting uses homogeneous coordinates in a projective plane, two concrete representations (either equations or matrices) give the same conic if they differ by a non-zero multiplicative constant.
Intersecting two conics
The solutions to a system of two second degree equations in two variables may be viewed as the coordinates of the points of intersection of two generic conic sections. In particular two conics may possess none, two or four possibly coincident intersection points. An efficient method of locating these solutions exploits the homogeneous matrix representation of conic sections, i.e. a 3x3 symmetric matrix which depends on six parameters.
The procedure to locate the intersection points follows these steps, where the conics are represented by matrices:
given the two conics C 1 {\displaystyle C_{1}} and C 2 {\displaystyle C_{2}} , consider the pencil of conics given by their linear combination λ C 1 + μ C 2 . {\displaystyle \lambda C_{1}+\mu C_{2}.}
identify the homogeneous parameters ( λ , μ ) {\displaystyle (\lambda ,\mu )} which correspond to the degenerate conic of the pencil. This can be done by imposing the condition that det ( λ C 1 + μ C 2 ) = 0 {\displaystyle \det(\lambda C_{1}+\mu C_{2})=0} and solving for λ {\displaystyle \lambda } and μ {\displaystyle \mu } . These turn out to be the solutions of a third degree equation.
given the degenerate conic C 0 {\displaystyle C_{0}} , identify the two, possibly coincident, lines constituting it.
intersect each identified line with either one of the two original conics; this step can be done efficiently using the dual conic representation of C 0 {\displaystyle C_{0}}
the points of intersection will represent the solutions to the initial equation system.
Generalizations
Conics may be defined over other fields (that is, in other pappian geometries). However, some care must be used when the field has characteristic 2, as some formulas can not be used. For example, the matrix representations used above require division by 2.
A generalization of a non-degenerate conic in a projective plane is an oval. An oval is a point set that has the following properties, which are held by conics: 1) any line intersects an oval in none, one or two points, 2) at any point of the oval there exists a unique tangent line.
Generalizing the focus properties of conics to the case where there are more than two foci produces sets called generalized conics.
In other areas of mathematics
The classification into elliptic, parabolic, and hyperbolic is pervasive in mathematics, and often divides a field into sharply distinct subfields. The classification mostly arises due to the presence of a quadratic form (in two variables this corresponds to the associated discriminant), but can also correspond to eccentricity.
Quadratic form classifications:
Quadratic forms
Quadratic forms over the reals are classified by Sylvester's law of inertia, namely by their positive index, zero index, and negative index: a quadratic form in n variables can be converted to a diagonal form, as x 1 2 + x 2 2 + ⋯ + x k 2 − x k + 1 2 − ⋯ − x k + ℓ 2 , {\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{k}^{2}-x_{k+1}^{2}-\cdots -x_{k+\ell }^{2},} where the number of +1 coefficients, k, is the positive index, the number of −1 coefficients, ℓ, is the negative index, and the remaining variables are the zero index m, so k + ℓ + m = n . {\displaystyle k+\ell +m=n.} In two variables the non-zero quadratic forms are classified as:
x 2 + y 2 {\displaystyle x^{2}+y^{2}} – positive-definite (the negative is also included), corresponding to ellipses,
x 2 {\displaystyle x^{2}} – degenerate, corresponding to parabolas, and
x 2 − y 2 {\displaystyle x^{2}-y^{2}} – indefinite, corresponding to hyperbolas.
In two variables quadratic forms are classified by discriminant, analogously to conics, but in higher dimensions the more useful classification is as definite, (all positive or all negative), degenerate, (some zeros), or indefinite (mix of positive and negative but no zeros). This classification underlies many that follow.
Curvature
The Gaussian curvature of a surface describes the infinitesimal geometry, and may at each point be either positive – elliptic geometry, zero – Euclidean geometry (flat, parabola), or negative – hyperbolic geometry; infinitesimally, to second order the surface looks like the graph of x 2 + y 2 , {\displaystyle x^{2}+y^{2},} x 2 {\displaystyle x^{2}} (or 0), or x 2 − y 2 {\displaystyle x^{2}-y^{2}} . Indeed, by the uniformization theorem every surface can be taken to be globally (at every point) positively curved, flat, or negatively curved. In higher dimensions the Riemann curvature tensor is a more complicated object, but manifolds with constant sectional curvature are interesting objects of study, and have strikingly different properties, as discussed at sectional curvature.
Second order PDEs
Partial differential equations (PDEs) of second order are classified at each point as elliptic, parabolic, or hyperbolic, accordingly as their second order terms correspond to an elliptic, parabolic, or hyperbolic quadratic form. The behavior and theory of these different types of PDEs are strikingly different – representative examples is that the Poisson equation is elliptic, the heat equation is parabolic, and the wave equation is hyperbolic.
Eccentricity classifications include:
Möbius transformations
Real Möbius transformations (elements of PSL2(R) or its 2-fold cover, SL2(R)) are classified as elliptic, parabolic, or hyperbolic accordingly as their half-trace is 0 ≤ | tr  | / 2 < 1 , {\displaystyle 0\leq |\operatorname {tr} |/2<1,} | tr  | / 2 = 1 , {\displaystyle |\operatorname {tr} |/2=1,} or | tr  | / 2 > 1 , {\displaystyle |\operatorname {tr} |/2>1,} mirroring the classification by eccentricity.
Variance-to-mean ratio
The variance-to-mean ratio classifies several important families of discrete probability distributions: the constant distribution as circular (eccentricity 0), binomial distributions as elliptical, Poisson distributions as parabolic, and negative binomial distributions as hyperbolic. This is elaborated at cumulants of some discrete probability distributions.
In this interactive SVG, move left and right over the SVG image to rotate the double cone
See also
Circumconic and inconic
Conic Sections Rebellion, protests by Yale university students
Director circle
Elliptic coordinate system
Equidistant set
Nine-point conic
Parabolic coordinates
Quadratic function
Notes
Jump up ^ Eves 1963, p. 319
Jump up ^ Brannan, Esplen & Gray 1999, p. 13
Jump up ^ Wilson & Tracey 1925, pp. 111–124
Jump up ^ Brannan, Esplen & Gray 1999, pp. 13–16
Jump up ^ Thomas & Finney 1979, p. 434
Jump up ^ Brannan, Esplen & Gray 1999, p. 19; Kendig 2005, pp. 86, 141
Jump up ^ Brannan, Esplen & Gray 1999, pp. 11–16
Jump up ^ Protter & Morrey 1970, pp. 314–328,585–589
Jump up ^ Protter & Morrey 1970, pp. 290–314
Jump up ^ Wilson & Tracey 1925, p. 130
Jump up ^ the empty set is included as a degenerate conic since it may arise as a solution of this equation
Jump up ^ Protter & Morrey 1970, p. 316
Jump up ^ Brannan, Esplen & Gray 1999, p. 30
Jump up ^ Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, pp. 44–45, ISBN 0-471-75715-2 , Section 3.2, page 45
^ Jump up to: a b Protter & Morrey 1970, p. 326
Jump up ^ Wilson & Tracey 1925, p. 153
Jump up ^ Pettofrezzo, Anthony, Matrices and Transformations, Dover Publ., 1966, p. 110.
^ Jump up to: a b c Spain, Barry, Analytical Conics, Dover, 2007 (originally published 1957 by Pergamon Press).
Jump up ^ Ayoub, Ayoub B., "The eccentricity of a conic section," The College Mathematics Journal 34(2), March 2003, 116–121.
Jump up ^ Ayoub, A. B., "The central conic sections revisited", Mathematics Magazine 66(5), 1993, 322–325.
Jump up ^ Brannan, Esplen & Gray 1999, p. 17
Jump up ^ Whitworth, William Allen. Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions, Forgotten Books, 2012 (orig. Deighton, Bell, and Co., 1866), p. 203 http://www.forgottenbooks.com/search?q=Trilinear+coordinates&t=books
Jump up ^ Paris Pamfilos, "A gallery of conics by five elements", Forum Geometricorum 14, 2014, 295--348. http://forumgeom.fau.edu/FG2014volume14/FG201431.pdf
Jump up ^ Brannan, Esplen & Gray 1999, p. 28
Jump up ^ Downs 2003, pp. 36ff.
Jump up ^ This solution was rejected by Plato on the grounds that it could not be achieved using only straightedge and compass.
Jump up ^ Boyer 2004, pp. 17–18
Jump up ^ Boyer 2004, p. 18
Jump up ^ Katz 1998, p. 117
Jump up ^ Heath, T.L., The Thirteen Books of Euclid's Elements, Vol. I, Dover, 1956, pg.16
Jump up ^ Eves 1963, p. 28
Jump up ^ Eves 1963, p. 30
Jump up ^ Boyer 2004, p. 36
Jump up ^ Stillwell, John (2010). Mathematics and its history (3rd ed.). New York: Springer. p. 30. ISBN 1-4419-6052-X.
Jump up ^ "Apollonius of Perga Conics Books One to Seven" (PDF). Retrieved 10 June 2011.
Jump up ^ Turner, Howard R. (1997). Science in medieval Islam: an illustrated introduction. University of Texas Press. p. 53. ISBN 0-292-78149-0. , Chapter , p. 53
Jump up ^ Katz 1998, p. 126
Jump up ^ Boyer 2004, p. 110
^ Jump up to: a b Boyer 2004, p. 114
Jump up ^ Brannan, Esplen & Gray 1999, p. 27
Jump up ^ Artzy 2008, p. 158, Thm 3-5.1
Jump up ^ Artzy 2008, p. 159
Jump up ^ This form of the equation does not generalize to fields of characteristic two (see below)
Jump up ^ Consider finding the midpoint of a line segment with one endpoint on the line at infinity.
Jump up ^ Faulkner 1952, p. 71
Jump up ^ Faulkner 1952, p. 72
Jump up ^ Eves 1963, p. 320
Jump up ^ Coxeter 1993, p. 80
Jump up ^ Hartmann, p. 38
Jump up ^ Merserve 1983, p. 65
Jump up ^ Jacob Steiner’s Vorlesungen über synthetische Geometrie, B. G. Teubner, Leipzig 1867 (from Google Books: (German) Part II follows Part I) Part II, pg. 96
Jump up ^ Hartmann, p. 19
Jump up ^ Faulkner 1952, pp. 48–49
Jump up ^ Coxeter 1964, p. 60
Jump up ^ Coxeter and several other authors use the term self-conjugate instead of absolute.
Jump up ^ Coxeter 1964, p. 80
Jump up ^ Faulkner 1952, pp. 52–53
Jump up ^ Downs 2003, p. 5
Jump up ^ Downs 2003, p. 14
Jump up ^ Downs 2003, p. 19
Jump up ^ Akopyan & Zaslavsky 2007, p. 70
Jump up ^ Wilczynski, E. J. (1916), "Some remarks on the historical development and the future prospects of the differential geometry of plane curves", Bull. Amer. Math. Soc., 22: 317–329, doi:10.1090/s0002-9904-1916-02785-6 .
Jump up ^ Brannan, Esplen & Gray 1999, p. 6
Jump up ^ "MathWorld: Cylindric section".
Jump up ^ Lawrence, J. Dennis (1972), A Catalog of Special Plane Curves, Dover, p. 63, ISBN 0-486-60288-5
Jump up ^ Faulkner 1952, pg. 64
Jump up ^ Samuel 1988, pg. 50
References
Akopyan, A.V.; Zaslavsky, A.A. (2007). Geometry of Conics. American Mathematical Society. ISBN 0-8218-4323-0.
Artzy, Rafael (2008) [1965], Linear Geometry, Dover, ISBN 978-0-486-46627-9
Boyer, Carl B. (2004) [1956], History of Analytic Geometry, Dover, ISBN 978-0-486-43832-0
Brannan, David A.; Esplen, Matthew F.; Gray, Jeremy J. (1999), Geometry, Cambridge University Press, ISBN 978-0-521-59787-6
Coxeter, H. S. M. (1964), Projective Geometry, Blaisdell
Coxeter, H. S. M. (1993), The Real Projective Plane, Springer Science & Business Media
Downs, J.W. (2003) [1993], Practical Conic Sections / The geometric properties of ellipses, parabolas and hyperbolas, Dover, ISBN 0-486-42876-1
Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon
Hartmann, Erich, Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes (PDF), retrieved 20 September 2014 (PDF; 891 kB).
Katz, Victor J. (1998), A History of Mathematics / An Introduction (2nd ed.), Addison Wesley Longman, ISBN 978-0-321-01618-8
Kendig, Keith (2005), Conics, The Mathematical Association of America, ISBN 978-0-88385-335-1
Faulkner, T. E. (1952), Projective Geometry (2nd ed.), Edinburgh: Oliver and Boyd
Merserve, Bruce E. (1983) [1959], Fundamental Concepts of Geometry, Dover, ISBN 0-486-63415-9
Protter, Murray H.; Morrey, Jr., Charles B. (1970), College Calculus with Analytic Geometry (2nd ed.), Reading: Addison-Wesley, LCCN 76087042
Samuel, Pierre (1988), Projective Geometry, Undergraduate Texts in Mathematics (Readings in Mathematics), New York: Springer-Verlag, ISBN 0-387-96752-4
Thomas, George B.; Finney, Ross L. (1979), Calculus and Analytic Geometry (fifth ed.), Addison-Wesley, p. 434, ISBN 0-201-07540-7
Wilson, W. A.; Tracey, J. I. (1925), Analytic Geometry (Revised ed.), D.C. Heath and Company
External links
Wikimedia Commons has media related to Conic sections.
Wikibooks has a book on the topic of: Conic sections
Wikisource has the text of the 1911 Encyclopædia Britannica article Conic Section.
Conic section (Geometry) at Encyclopædia Britannica
Can You Really Derive Conic Formulae from a Cone? archive 2007-07-15 Gary S. Stoudt (Indiana University of Pennsylvania
Conic sections at Special plane curves.
Weisstein, Eric W. "Conic Section". MathWorld.
Occurrence of the conics. Conics in nature and elsewhere.
See Conic Sections at cut-the-knot for a sharp proof that any finite conic section is an ellipse and Xah Lee for a similar treatment of other conics.
Eight Point Conic at Dynamic Geometry Sketches
Second-order implicit equation locus An interactive Java conics grapher; uses a general second-order implicit equation.
Authority control
NDL: 00562012
Retrieved from "https://en.wikipedia.org/w/index.php?title=Conic_section&oldid=846426239"
Categories:
Conic sections
Euclidean solid geometry
Algebraic curves
Birational geometry
Analytic geometry
Hidden categories:
Wikipedia pages move-protected due to vandalism
Articles with Encyclopædia Britannica links
Wikipedia articles with NDL identifiers
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Article
Talk
Variants
Views
Read
View source
View history
More
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Wikipedia store
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact page
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Wikidata item
Cite this page
Print/export
Create a book
Download as PDF
Printable version
In other projects
Wikimedia Commons
Languages
Afrikaans
አማርኛ
العربية
Asturianu
বাংলা
Беларуская
Беларуская (тарашкевіца)
Български
Bosanski
Català
Čeština
Dansk
Deutsch
Eesti
Ελληνικά
Español
Esperanto
Euskara
فارسی
Français
Gaeilge
Galego
한국어
Հայերեն
हिन्दी
Hrvatski
Ido
Bahasa Indonesia
Íslenska
Italiano
עברית
Қазақша
Latina
Latviešu
Lietuvių
Magyar
മലയാളം
مصرى
Bahasa Melayu
Nederlands
日本語
Norsk
Norsk nynorsk
Occitan
Piemontèis
Polski
Português
Română
Русиньскый
Русский
Scots
Shqip
Sicilianu
Simple English
Slovenčina
Slovenščina
کوردی
Српски / srpski
Srpskohrvatski / српскохрватски
Suomi
Svenska
தமிழ்
ไทย
Türkçe
Українська
اردو
Tiếng Việt
文言
粵語
中文
61 more
Edit links
This page was last edited on 18 June 2018, at 18:19 (UTC).
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.
Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Developers
Cookie statement
Mobile view
Enable previews

key: html

type: local

value: div

attrs: id class

values: mw-page-base noprint

values: mw-head-base noprint

value: a

value: img

attrs: alt src width height srcset data-file-width data-file-height

attrs: href title

attrs: class id

attrs: id class lang

values: firstHeading firstHeading en

values: siteSub noprint

attrs: class href

values: mw-jump-link #mw-head

values: mw-jump-link #p-search

value: p

attrs: alt src width height class srcset data-file-width data-file-height

attrs: href class

attrs: href class title

attrs: class style

values: Cyclopaedia, or an Universal Dictionary of Arts and Sciences

values:
/wiki/Cone_(geometry)
mw-redirect
Cone (geometry)

values:
/wiki/Plane_(mathematics)
mw-redirect
Plane (mathematics)

values:
/wiki/Euclidean_plane
mw-redirect
Euclidean plane

values:
/wiki/Closed_curve
mw-redirect
Closed curve

values: display:block; line-height:1em; margin:0 0.1em;

values: display:block; line-height:1em; margin:0 0.1em; border-top:1px solid;

values: display:inline-block; vertical-align:-0.5em; font-size:85%; text-align:center;

values: vertical-align: -0.671ex; width:1.332ex; height:2.509ex;

values: vertical-align: -0.671ex; width:2.134ex; height:2.009ex;

values: {\displaystyle {\frac {\cos \alpha }{\cos \beta }}.}

values: vertical-align: -2.338ex; width:6.469ex; height:5.176ex;

values:
/wiki/Semi-major_axis
mw-redirect
Semi-major axis

values: vertical-align: -0.671ex; margin-left: -0.089ex; width:6.798ex; height:2.509ex;

values: vertical-align: -0.338ex; width:7.453ex; height:1.676ex;

values: vertical-align: -0.671ex; width:13.209ex; height:3.009ex;

values: vertical-align: -0.338ex; width:1.55ex; height:2.176ex;

values: vertical-align: -0.338ex; width:1.617ex; height:1.676ex;

values: vertical-align: -0.338ex; width:2.324ex; height:1.676ex;

values: vertical-align: -2.171ex; width:13.372ex; height:6.009ex;

values: vertical-align: -3.005ex; width:9.447ex; height:7.509ex;

values: vertical-align: -0.838ex; width:9.5ex; height:3.509ex;

values: vertical-align: -1.838ex; width:2.888ex; height:5.676ex;

values: vertical-align: -3.171ex; width:10.336ex; height:7.009ex;

values: vertical-align: -0.671ex; width:9.422ex; height:3.009ex;

values: vertical-align: -0.338ex; width:2.779ex; height:2.176ex;

values: vertical-align: -1.838ex; width:6.951ex; height:5.343ex;

values: {\displaystyle d={\frac {c}{\sqrt {2}}}.}

values: vertical-align: -2.838ex; width:8.896ex; height:5.676ex;

values: vertical-align: -0.671ex; width:39.393ex; height:3.009ex;

values: vertical-align: -2.505ex; width:55.12ex; height:6.176ex;

values: vertical-align: -4.338ex; width:44.746ex; height:9.843ex;

values: vertical-align: -0.505ex; width:10.331ex; height:2.843ex;

values: vertical-align: -2.505ex; width:13.58ex; height:6.176ex;

values: vertical-align: -0.671ex; width:39.78ex; height:3.009ex;

values: vertical-align: -3.171ex; width:37.483ex; height:8.176ex;

values: vertical-align: -0.838ex; width:49.691ex; height:3.176ex;

values: {\displaystyle \Delta =AC-{\frac {B^{2}}{4}}.}

values: vertical-align: -1.838ex; width:15.685ex; height:5.676ex;

values: vertical-align: -0.671ex; width:39.133ex; height:3.009ex;

values: vertical-align: -0.671ex; width:4.894ex; height:2.843ex;

values: vertical-align: -2.838ex; width:31.617ex; height:6.676ex;

values: vertical-align: -2.671ex; width:30.669ex; height:6.509ex;

values: vertical-align: -0.671ex; width:2.409ex; height:2.509ex;

values: vertical-align: -2.505ex; width:14.673ex; height:6.176ex;

values: vertical-align: -0.838ex; width:36.977ex; height:3.176ex;

values: vertical-align: -0.338ex; width:1.499ex; height:2.176ex;

values: {\displaystyle \Delta =\lambda _{1}\lambda _{2}}

values: vertical-align: -0.671ex; width:9.853ex; height:2.509ex;

values: {\displaystyle r={\frac {l}{1+e\cos \theta }},}

values: vertical-align: -2.171ex; width:15.692ex; height:5.676ex;

values:
/wiki/General_linear_position
mw-redirect
General linear position

values:
/wiki/Tangent_line
mw-redirect
Tangent line

values:
/wiki/Duplicating_the_cube
mw-redirect
Duplicating the cube

values:
/wiki/Omar_Khayy%C3%A1m
mw-redirect
Omar Khayyám

values:
/wiki/Hexagrammum_mysticum
mw-redirect
Hexagrammum mysticum

values:
/wiki/Pierre_Fermat
mw-redirect
Pierre Fermat

values:
/wiki/Jan_de_Witt
mw-redirect
Jan de Witt

values:
/wiki/Double_point
mw-redirect
Double point

values: vertical-align: -0.671ex; width:43.714ex; height:3.009ex;

values: vertical-align: -4.338ex; width:44.672ex; height:9.843ex;

values: vertical-align: -0.671ex; width:47.201ex; height:3.009ex;

values: vertical-align: -4.005ex; width:21.662ex; height:9.176ex;

values: vertical-align: -0.338ex; width:3.528ex; height:2.676ex;

values: vertical-align: -0.838ex; width:11.75ex; height:2.843ex;

values: vertical-align: -0.671ex; width:4.604ex; height:2.509ex;

values: vertical-align: -0.338ex; width:1.783ex; height:2.176ex;

values: vertical-align: -0.338ex; width:1.787ex; height:2.176ex;

values: vertical-align: -0.338ex; width:1.332ex; height:1.676ex;

values: vertical-align: -0.838ex; width:5.356ex; height:2.843ex;

values: vertical-align: -0.838ex; width:5.361ex; height:2.843ex;

values: vertical-align: -0.338ex; width:1.23ex; height:1.676ex;

values:
/wiki/Pappian_plane
mw-redirect
Pappian plane

values: vertical-align: -0.671ex; width:11.7ex; height:3.009ex;

values: vertical-align: -0.671ex; width:7.367ex; height:2.509ex;

values: vertical-align: -0.505ex; width:12.204ex; height:2.843ex;

values:
/wiki/Line-line_intersection
mw-redirect
Line-line intersection

values:
/wiki/Straight_line
mw-redirect
Straight line

values: vertical-align: -0.671ex; width:11.295ex; height:3.009ex;

values: vertical-align: -0.671ex; width:16.35ex; height:3.009ex;

values:
/wiki/Cylinder_(geometry)
mw-redirect
Cylinder (geometry)

values:
/wiki/Pencil_of_circles
mw-redirect
Pencil of circles

values: vertical-align: -0.838ex; width:11.029ex; height:2.676ex;

values: vertical-align: -0.671ex; width:2.716ex; height:2.509ex;

values: {\displaystyle \lambda C_{1}+\mu C_{2}.}

values: vertical-align: -0.838ex; width:11.676ex; height:2.676ex;

values: vertical-align: -0.838ex; width:5.6ex; height:2.843ex;

values: {\displaystyle \det(\lambda C_{1}+\mu C_{2})=0}

values: vertical-align: -0.838ex; width:20.329ex; height:2.843ex;

values: vertical-align: -0.338ex; width:1.355ex; height:2.176ex;

values: vertical-align: -0.838ex; width:1.402ex; height:2.176ex;

values:
/wiki/Characteristic_(field)
mw-redirect
Characteristic (field)

values: vertical-align: -1.171ex; width:39.224ex; height:3.343ex;

values: vertical-align: -0.505ex; width:15.042ex; height:2.343ex;

values: vertical-align: -0.671ex; width:7.439ex; height:3.009ex;

values: vertical-align: -0.338ex; width:2.384ex; height:2.676ex;

values: vertical-align: -0.671ex; width:8.086ex; height:3.009ex;

values: Manifolds with constant sectional curvature

values:
/wiki/Poisson_equation
mw-redirect
Poisson equation

values: {\displaystyle 0\leq |\operatorname {tr} |/2<1,}

values: vertical-align: -0.838ex; width:15.378ex; height:2.843ex;

values: {\displaystyle |\operatorname {tr} |/2=1,}

values: vertical-align: -0.838ex; width:11.117ex; height:2.843ex;

values: {\displaystyle |\operatorname {tr} |/2>1,}

values:
/wiki/Variance-to-mean_ratio
mw-redirect
Variance-to-mean ratio

values:
/wiki/Discrete_probability_distribution
mw-redirect
Discrete probability distribution

values: -moz-column-width: 30em; -webkit-column-width: 30em; column-width: 30em; list-style-type: decimal;

values:
nofollow
external text
//lccn.loc.gov/76087042

values: Encyclopædia Britannica Eleventh Edition

values: wikisource:1911 Encyclopædia Britannica/Conic Section

values:
nofollow
external text
http://www.cut-the-knot.org

values:
nofollow
external text
http://xahlee.org/PageTwo_dir/more.html

values: Category:Wikipedia pages move-protected due to vandalism

values: Category:Articles with Encyclopædia Britannica links

values: Category:Wikipedia articles with NDL identifiers

values: Discussion about edits from this IP address [ctrl-alt-n]

values:
/wiki/Conic_section
View the content page [ctrl-alt-c]
c

values:
This page is protected.
You can view its source [ctrl-alt-e]

values:
/wiki/Main_Page
Visit the main page [ctrl-alt-z]
z

values: Featured content – the best of Wikipedia

values: Find background information on current events

values: A list of recent changes in the wiki [ctrl-alt-r]

values: portal navigation p-interaction p-interaction-label

values: List of all English Wikipedia pages containing links to this page [ctrl-alt-j]

values: Recent changes in pages linked from this page [ctrl-alt-k]

values:
/wiki/Wikipedia:File_Upload_Wizard
Upload files [ctrl-alt-u]
u

values: A list of all special pages [ctrl-alt-q]

values: Permanent link to this revision of the page

values: Link to connected data repository item [ctrl-alt-g]

values: Printable version of this page [ctrl-alt-p]

values: portal navigation p-wikibase-otherprojects p-wikibase-otherprojects-label

values:
interlanguage-link interwiki-af
display: none;

values: የሾጣጣ ክፍሎች – Amharic

values:
interlanguage-link interwiki-am
display: none;

values: قطع مخروطي – Arabic

values:
interlanguage-link interwiki-ast
display: none;

values:
interlanguage-link interwiki-bn
display: none;

values: Канічнае сячэнне – Belarusian

values:
interlanguage-link interwiki-be
display: none;

values: Канічнае сечыва – Belarusian (Taraškievica orthography)

values:
interlanguage-link interwiki-be-x-old
display: none;

values: Конично сечение – Bulgarian

values:
interlanguage-link interwiki-bg
display: none;

values:
interlanguage-link interwiki-bs
display: none;

values:
interlanguage-link interwiki-ca
display: none;

values:
interlanguage-link interwiki-cs
display: none;

values:
https://da.wikipedia.org/wiki/Keglesnit
Keglesnit – Danish
da
da
interlanguage-link-target

values:
interlanguage-link interwiki-da
display: none;

values:
interlanguage-link interwiki-de
display: none;

values:
interlanguage-link interwiki-et
display: none;

values: Κωνική τομή – Greek

values:
interlanguage-link interwiki-el
display: none;

values:
https://eo.wikipedia.org/wiki/Koniko
Koniko – Esperanto
eo
eo
interlanguage-link-target

values:
interlanguage-link interwiki-eo
display: none;

values:
https://eu.wikipedia.org/wiki/Konika
Konika – Basque
eu
eu
interlanguage-link-target

values:
interlanguage-link interwiki-eu
display: none;

values: مقطع مخروطی – Persian

values:
interlanguage-link interwiki-fa
display: none;

values:
https://fr.wikipedia.org/wiki/Conique
Conique – French
fr
fr
interlanguage-link-target

values:
interlanguage-link interwiki-fr
display: none;

values:
interlanguage-link interwiki-ga
display: none;

values:
interlanguage-link interwiki-gl
display: none;

values:
interlanguage-link interwiki-ko
display: none;

values: Կոնական հատույթ – Armenian

values:
interlanguage-link interwiki-hy
display: none;

values: शंकु-परिच्छेद – Hindi

values:
interlanguage-link interwiki-hr
display: none;

values:
https://io.wikipedia.org/wiki/Koniko
Koniko – Ido
io
io
interlanguage-link-target

values:
interlanguage-link interwiki-io
display: none;

values:
interlanguage-link interwiki-is
display: none;

values:
interlanguage-link interwiki-it
display: none;

values: חתכי חרוט – Hebrew

values:
interlanguage-link interwiki-he
display: none;

values: Коника – Kazakh

values:
interlanguage-link interwiki-kk
display: none;

values:
interlanguage-link interwiki-la
display: none;

values:
interlanguage-link interwiki-lv
display: none;

values:
interlanguage-link interwiki-lt
display: none;

values:
interlanguage-link interwiki-hu
display: none;

values: വൃത്തസ്തൂപികാഖണ്ഡം – Malayalam

values:
interlanguage-link interwiki-ml
display: none;

values: القطوع المخروطيه – Egyptian Arabic

values:
interlanguage-link interwiki-arz
display: none;

values:
interlanguage-link interwiki-nl
display: none;

values:
interlanguage-link interwiki-ja
display: none;

values:
interlanguage-link interwiki-no
display: none;

values:
interlanguage-link interwiki-nn
display: none;

values:
https://oc.wikipedia.org/wiki/Conica
Conica – Occitan
oc
oc
interlanguage-link-target

values:
interlanguage-link interwiki-oc
display: none;

values:
interlanguage-link interwiki-pms
display: none;

values:
interlanguage-link interwiki-pl
display: none;

values:
interlanguage-link interwiki-ro
display: none;

values: Коничны перерѣзы – Rusyn

values:
interlanguage-link interwiki-rue
display: none;

values: Коническое сечение – Russian

values:
interlanguage-link interwiki-sco
display: none;

values:
interlanguage-link interwiki-sq
display: none;

values:
https://scn.wikipedia.org/wiki/Conica
Conica – Sicilian
scn
scn
interlanguage-link-target

values:
interlanguage-link interwiki-scn
display: none;

values:
interlanguage-link interwiki-simple
display: none;

values:
interlanguage-link interwiki-sk
display: none;

values:
interlanguage-link interwiki-sl
display: none;

values:
interlanguage-link interwiki-ckb
display: none;

values: Конусни пресек – Serbian

values:
interlanguage-link interwiki-sr
display: none;

values:
interlanguage-link interwiki-sh
display: none;

values:
interlanguage-link interwiki-fi
display: none;

values:
interlanguage-link interwiki-sv
display: none;

values: கூம்பு வெட்டு – Tamil

values:
interlanguage-link interwiki-ta
display: none;

values: ภาคตัดกรวย – Thai

values:
interlanguage-link interwiki-th
display: none;

values:
https://tr.wikipedia.org/wiki/Konikler
Konikler – Turkish
tr
tr
interlanguage-link-target

values:
interlanguage-link interwiki-tr
display: none;

values: Конічні перетини – Ukrainian

values:
interlanguage-link interwiki-uk
display: none;

values: تکونی قطعات – Urdu

values:
interlanguage-link interwiki-vi
display: none;

values:
interlanguage-link interwiki-zh-yue
display: none;

values: All languages (initial selection from common choices by you and others)

values: /static/images/wikimedia-button-1.5x.png 1.5x, /static/images/wikimedia-button-2x.png 2x

values: /static/images/poweredby_mediawiki_132x47.png 1.5x, /static/images/poweredby_mediawiki_176x62.png 2x

values:
suggestions
display: none; font-size: 13px;

values: mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Conic_section rootpage-Conic_section skin-vector action-view