View source for Conic section

{{short description|Curve from a cone intersecting a plane}}
{{pp-semi-vandalism|small=yes}}
{{pp-move|small=yes}}
[[File:Conic Sections.svg|right|thumb|upright=1.2|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.]]
[[File:Conic section with torch light.svg|thumb|Conic sections visualized with torch light]]
[[File:Conics-Converge-Diverge.jpg|thumb|alt=2D side view of cone being sectioned by planes at three different angles. The ellipse converges on the opposite side and so closes around the cone to form a closed profile. The hyperbola is parallel with the opposite side of the cone and so it never closes around it and the open ends extend to infinity. The hyperbola diverges from the opposite side. so it looks like the parabola but also has another part where it intersects with a mirror image of the cone|This diagram clarifies the different angles of the cutting planes that result in the different properties of the three types of conic section.]]

A '''conic section''', '''conic''' or a '''quadratic curve''' is a [[curve]] obtained from a [[Conical surface|cone's surface]] intersecting a [[plane (mathematics)|plane]]. The three types of conic section are the [[hyperbola]], the [[parabola]], and the [[ellipse]]; the [[circle]] is a special case of the ellipse, though it was sometimes considered a fourth type. The [[Greek mathematics|ancient Greek mathematicians]] studied conic sections, culminating around 200&nbsp;BC with [[Apollonius of Perga]]'s systematic work on their properties.

The conic sections in the [[Euclidean plane]] have various distinguishing properties, many of which can be used as alternative definitions.  One such property defines a non-circular conic<ref>{{harvnb|Eves|1963|page=319}}</ref> to be the [[set (mathematics)|set]] of those points whose distances to some particular point, called a ''[[Focus (geometry)|focus]]'', and some particular line, called a ''directrix'', are in a fixed ratio, called the ''[[Eccentricity (mathematics)|eccentricity]]''. The type of conic is determined by the value of the eccentricity. In [[analytic geometry]], a conic may be defined as a [[algebraic curve|plane algebraic curve]] of degree 2; that is, as the set of points whose coordinates satisfy a [[quadratic equation]] in two variables which can be written in the form <math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0.</math> The geometric properties of the conic can be deduced from its equation.

In the Euclidean plane, the three types of conic sections appear quite different, but share many properties. By extending the Euclidean plane to include a line at infinity, obtaining a [[projective plane]], the apparent difference vanishes: the branches of a hyperbola meet in two points at infinity, making it a single closed curve; and the two ends of a parabola meet to make it a closed curve tangent to the line at infinity. Further extension, by expanding the [[Real number|real]] coordinates to admit [[Complex number|complex]] coordinates, provides the means to see this unification algebraically.

==Euclidean geometry==
[[File:TypesOfConicSections.jpg|thumb|Types of conic sections:<br /> {{nowrap|1: [[Circle]]}} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{{nowrap|2: [[Ellipse]]}}<br>{{nowrap|3: [[Parabola]]}}&nbsp; {{nowrap|4: [[Hyperbola]]}}]]
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===
A conic is the curve obtained as the intersection of a [[plane (geometry)|plane]], called the ''cutting plane'', with the surface of a double [[Cone (geometry)|cone]] (a cone with two ''nappes''). It is usually 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 cases|''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 order ellipse/parabola/hyperbola is important in discussions and applications; please retain. --> The [[circle]] is a special kind of ellipse, although historically Apollonius considered it a fourth type. Ellipses 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, this means the cutting plane is perpendicular to the axis. If the cutting plane is [[Parallel (geometry)|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'': the plane intersects ''both'' halves of the cone, producing two separate unbounded curves.

Compare also [[circle of a sphere|spheric section]] (intersection of a plane with a sphere, producing a circle or point), and [[spherical conic]] (intersection of an elliptic cone with a concentric sphere).

===Eccentricity, focus and directrix===
[[Image:Eccentricity.png|thumb|right|upright=1.25|Conic sections of varying [[eccentricity (mathematics)|eccentricity]] sharing a focus point and directrix line, including an ellipse (red, {{math|1=''e'' = 1/2}}), a parabola (green, {{math|1=''e'' = 1}}), and a hyperbola (blue, {{math|1=''e'' = 2}}). The conic of eccentricity {{math|0}} in this figure is an [[infinitesimal]] circle centered at the focus, and the conic of eccentricity {{math|∞}} is an infinitesimally separated pair of lines.{{pb}} A circle of finite radius has an infinitely distant directrix, while a pair of lines of finite separation have an infinitely distant focus.]]

Alternatively, one can define a conic section purely in terms of plane geometry: it is the [[locus (mathematics)|locus]] of all points {{mvar|P}} whose distance to a fixed point {{mvar|F}} (called the ''[[focus (geometry)|focus]]'') is a constant multiple {{mvar|e}} (called the ''[[Eccentricity (mathematics)|eccentricity]]'') of the distance from {{mvar|P}} to a fixed line {{mvar|L}} (called the ''directrix'').
For {{math|0 < ''e'' < 1}} we obtain an ellipse, for {{math|1=''e'' = 1}} a parabola, and for {{math|''e'' > 1}} a hyperbola.

A circle is a limiting case and is not defined by a focus and directrix in the Euclidean plane. The eccentricity of a circle is defined to be zero and its focus is the center of the circle, but its directrix can only be taken as the line at infinity in the projective plane.<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=13}}</ref>

The eccentricity of an ellipse can be seen as a measure of how far the ellipse deviates from being circular.<ref>Cohen, D., ''Precalculus: With Unit Circle Trigonometry'' ([[Stamford, Connecticut|Stamford]]: [[Thomson Corporation|Thomson Brooks/Cole]], 2006), [https://books.google.com/books?id=_cIT_pRdfJIC&pg=PA844 p. 844].</ref>

If the angle between the surface of the cone and its axis is <math>\beta</math> and the angle between the cutting plane and the axis is <math>\alpha,</math> the eccentricity is <math>\frac{\cos\alpha}{\cos\beta}.</math><ref>{{harvnb|Thomas|Finney|1979|page=434}}</ref>

A proof that the above curves defined by the [[Dandelin spheres#Proof of the focus-directrix property|focus-directrix property]] are the same as those obtained by planes intersecting a cone is facilitated by the use of [[Dandelin spheres]].<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=19}}; {{harvnb|Kendig|2005|pages=86, 141}}</ref>

Alternatively, an ellipse can be defined in terms of two focus points, as the locus of points for which the sum of the distances to the two foci is {{math|2''a''}}; while a hyperbola is the locus for which the difference of distances is {{math|2''a''}}. (Here {{math|''a''}} is the semi-major axis defined below.) A parabola may also be defined in terms of its focus and latus rectum line (parallel to the directrix and passing through the focus): it is the locus of points whose distance to the focus plus or minus the distance to the line is equal to {{math|2''a''}}; plus if the point is between the directrix and the latus rectum, minus otherwise.

===Conic parameters===
[[File:Ellipse parameters 2.svg|right|thumb|upright=1.25|Conic parameters in the case of an ellipse]]

In addition to the eccentricity ({{mvar|e}}), foci, and directrix, various geometric features and lengths are associated with a conic section.

The ''principal axis'' is the line joining the foci of an ellipse or hyperbola, and its midpoint is the curve's ''center''. A parabola has no center.

The ''linear eccentricity'' ({{mvar|c}}) is the distance between the center and a focus.

The ''latus rectum'' is the [[Chord (geometry)|chord]] parallel to the directrix and passing through a focus; its half-length is the ''semi-latus rectum'' ({{mvar|ℓ}}).

The ''focal parameter'' ({{mvar|p}}) is the distance from a focus to the corresponding directrix.

The ''major axis'' is the chord between the two vertices: the longest chord of an ellipse, the shortest chord between the branches of a hyperbola. Its half-length is the ''[[semi-major axis]]'' ({{mvar|a}}). When an ellipse or hyperbola are in standard position as in the equations below, with foci on the {{mvar|x}}-axis and center at the origin, the vertices of the conic have coordinates {{math|(−''a'', 0)}} and {{math|(''a'', 0)}}, with {{mvar|a}} non-negative.

The ''minor axis'' is the shortest diameter of an ellipse, and its half-length is the ''semi-minor axis'' ({{mvar|b}}), the same value {{mvar|b}} as in the standard equation below. By analogy, for a hyperbola the parameter {{mvar|b}} in the standard equation is also called the semi-minor axis.

The following relations hold:<ref>{{harvnb|Brannan|Esplen|Gray|1999|pages=13–16}}</ref>
* <math>\ \ell = p e</math>
* <math>\ c = a e</math>
* <math>\ p+c = \frac ae</math>

For conics in standard position, these parameters have the following values, taking <math>a ,b > 0</math>.
{| class="wikitable"
! conic section
! equation
! eccentricity ({{math|''e''}})
! linear eccentricity ({{math|''c''}})
! semi-latus rectum ({{math|''ℓ''}})
! focal parameter ({{math|''p''}})
|-
| [[circle]]
|| <math>x^2+y^2=a^2 \,</math>
|| <math> 0 \,</math>
|| <math> 0 \,</math>
|| <math> a \,</math>
|| <math> \infty</math>
|-
| [[ellipse]]
|| <math>\frac{x^2}{a^2}+\frac{y^2}{b^2}=1</math>
|| <math>\sqrt{1-\frac{b^2}{a^2}}</math>
|| <math>\sqrt{a^2-b^2}</math>
|| <math>\frac{b^2}{a}</math>
|| <math>\frac{b^2}{\sqrt{a^2-b^2}}</math>
|-
| [[parabola]]
|| <math>y^2=4ax \,</math>
|| <math> 1 \,</math>
|| N/A
|| <math> 2a \,</math>
|| <math> 2a \, </math>
|-
| [[hyperbola]]
|| <math>\frac{x^2}{a^2}-\frac{y^2}{b^2}=1</math>
|| <math>\sqrt{1+\frac{b^2}{a^2}}</math>
|| <math>\sqrt{a^2+b^2}</math>
|| <math>\frac{b^2}{a}</math>
|| <math>\frac{b^2}{\sqrt{a^2+b^2}}</math>
|}

===Standard forms in Cartesian coordinates===
[[File:Conic section - standard forms of an ellipse.png|thumb|upright=1.25|Standard forms of an ellipse]]
[[File:Conic section - standard forms of a parabola.png|thumb|upright=1|Standard forms of a parabola]]
[[File:Conic section - standard forms of a hyperbola.png|thumb|upright=1.25|Standard forms of a hyperbola]]
After introducing [[Cartesian coordinate system|Cartesian coordinates]], the focus-directrix property can be used to produce the equations satisfied by the points of the conic section.<ref>{{harvnb|Brannan|Esplen|Gray|1999|pages=11–16}}</ref> By means of a change of coordinates ([[Rotation of axes#Rotation of conic sections|rotation]] and [[Translation of axes#Translation of conic sections|translation of axes]]) these equations can be put into ''standard forms''.<ref>{{harvnb|Protter|Morrey|1970|pp=314–328, 585–589}}</ref> For ellipses and hyperbolas a standard form has the {{mvar|x}}-axis as principal axis and the origin (0,0) as center. The vertices are {{math|(±''a'', 0)}} and the foci {{math|(±''c'', 0)}}. Define {{mvar|b}} by the equations {{math|1=''c''<sup>2</sup> = ''a''<sup>2</sup> − ''b''<sup>2</sup>}} for an ellipse and {{math|1=''c''<sup>2</sup> = ''a''<sup>2</sup> + ''b''<sup>2</sup>}} for a hyperbola. For a circle, {{math|1=''c'' = 0}} so {{math|1=''a''<sup>2</sup> = ''b''<sup>2</sup>}}, with ''[[radius]]'' {{math|1=''r'' = ''a'' = ''b''}}. For the parabola, the standard form has the focus on the {{mvar|x}}-axis at the point {{math|(''a'', 0)}} and the directrix the line with equation {{math|1=''x'' = −''a''}}. In standard form the parabola will always pass through the origin.

For a  ''rectangular'' or ''equilateral'' hyperbola, one whose asymptotes are perpendicular, there is an alternative standard form in which the asymptotes are the coordinate axes and the line {{math|1=''x'' = ''y''}} is the principal axis. The foci then have coordinates {{math|(''c'', ''c'')}} and {{math|(−''c'', −''c'')}}.<ref>{{harvnb|Protter|Morrey|1970|pp=290–314}}</ref>

* Circle:
*: <math>x^2 + y^2 = a^2,</math>
* Ellipse:
*: <math>\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1,</math>
* Parabola:
*: <math>y^2 = 4ax, \text{ with } a > 0,</math>
* Hyperbola:
*: <math>\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1,</math>
* Rectangular hyperbola:<ref>{{harvnb|Wilson|Tracey|1925|page=130}}</ref>
*:<math>xy = c^2.</math>

The first four of these forms are symmetric about both the {{math|''x''}}-axis and {{math|''y''}}-axis (for the circle, ellipse and hyperbola), or about the {{math|''x''}}-axis only (for the parabola). The rectangular hyperbola, however, is instead symmetric about the lines {{math|''y'' {{=}} ''x''}} and {{math|''y'' {{=}} −''x''}}.

These standard forms can be written [[parametric equation|parametrically]] as,
* [[Circle]]:
*: <math>(a \cos\theta, a \sin\theta),</math>
* [[Ellipse]]:
*: <math>(a \cos\theta, b \sin\theta),</math>
* [[Parabola]]:
*: <math>(at^2, 2at),</math>
* [[Hyperbola]]:
*: <math>(a\sec\theta, b\tan\theta), \text{ or } (\pm a\cosh \psi, b \sinh \psi)</math>,
* [[Rectangular hyperbola]]:
*: <math>\left(dt, \frac dt\right), \text{ where } d = \frac c{\sqrt{2}}.</math>

===General Cartesian form===
In the [[Cartesian coordinate system]], the [[Graph of a function|graph]] of a [[quadratic equation]] in two variables is always a conic section (though it may be [[#Degenerate cases|degenerate]]),{{efn|The empty set is included as a degenerate conic, since it may arise as a solution of this equation.}} and all conic sections arise in this way. The most general equation is of the form<ref>{{harvnb|Protter|Morrey|1970|p=316}}</ref>

:<math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0, </math>

with all coefficients [[real number]]s and {{mvar|A, B, C}} not all zero.

====Matrix notation====
{{Main|Matrix representation of conic sections}}

The above equation can be written in matrix notation as<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=30}}</ref>
<math display="block">\begin{pmatrix}x & y \end{pmatrix} \begin{pmatrix}A & B/2\\B/2 & C\end{pmatrix} \begin{pmatrix}x\\y \end{pmatrix} + \begin{pmatrix}D & E \end{pmatrix} \begin{pmatrix} x\\y \end{pmatrix} + F= 0. </math>

The general equation can also be written as
<math display="block">\begin{pmatrix}x & y & 1\end{pmatrix} \begin{pmatrix}A & B/2 & D/2\\B/2 & C & E/2\\D/2&E/2&F\end{pmatrix} \begin{pmatrix}x\\y\\1\end{pmatrix} = 0. </math>

This form is a specialization of the homogeneous form used in the more general setting of projective geometry (see [[#In the real projective plane|below]]).

====Discriminant====
The conic sections described by this equation can be classified in terms of the value <math>B^2 - 4AC</math>, called the [[discriminant]] of the equation.<ref>{{citation
|title=Math refresher for scientists and engineers
|first1=John R.
|last1=Fanchi
|publisher=John Wiley and Sons
|year=2006
|isbn=0-471-75715-2
|pages=44–45
|url=https://books.google.com/books?id=75mAJPcAWT8C}}, [https://books.google.com/books?id=75mAJPcAWT8C&pg=PA45 Section 3.2, page 45]
</ref>
Thus, the discriminant is {{math|− 4Δ}} where {{math|Δ}} is the [[determinant|matrix determinant]] <math>\left|\begin{matrix}A & B/2\\B/2 & C\end{matrix}\right|. </math>

If the conic is [[Degenerate conic|non-degenerate]], then:<ref name="Protter 1970 326">{{harvnb|Protter|Morrey|1970|p=326}}</ref>
* if {{math|''B''<sup>2</sup> − 4''AC'' < 0}}, the equation represents an [[ellipse]];
** if {{math|1=''A'' = ''C''}} and {{math|1=''B'' = 0}}, the equation represents a [[circle]], which is a special case of an ellipse;
* if {{math|1=''B''<sup>2</sup> − 4''AC'' = 0}}, the equation represents a [[parabola]];
* if {{math|''B''<sup>2</sup> − 4''AC'' > 0}}, the equation represents a [[hyperbola]];
** if {{math|1=''A'' + ''C'' = 0}}, the equation represents a [[rectangular hyperbola]].
In the notation used here, {{mvar|A}} and {{mvar|B}} are polynomial coefficients, in contrast to some sources that denote the semimajor and semiminor axes as {{mvar|A}} and {{mvar|B}}.

====Invariants====

The discriminant {{math|''B''<sup>2</sup> – 4''AC''}} of the conic section's quadratic equation (or equivalently the [[determinant]] {{math|''AC'' – ''B''<sup>2</sup>/4}} of the 2&thinsp;×&thinsp;2 matrix) and the quantity {{math|''A'' + ''C''}} (the [[Trace (linear algebra)|trace]] of the 2&thinsp;×&thinsp;2 matrix) are invariant under arbitrary rotations and translations of the coordinate axes,<ref name="Protter 1970 326"/><ref>{{harvnb|Wilson|Tracey|1925|page=153}}</ref><ref>Pettofrezzo, Anthony, ''Matrices and Transformations'', Dover Publ., 1966, p. 110.</ref> as is the determinant of the [[#Matrix notation|3&thinsp;×&thinsp;3 matrix above]].<ref name=Spain/>{{rp|pp. 60–62}} The constant term {{math|''F''}} and the sum {{math|''D''<sup>2</sup> + ''E''<sup>2</sup>}} are invariant under rotation only.<ref name=Spain/>{{rp|pp. 60–62}}

====Eccentricity in terms of coefficients====
When the conic section is written algebraically as

:<math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0, \,</math>

the eccentricity can be written as a function of the coefficients of the quadratic equation.<ref>Ayoub, Ayoub B., "The eccentricity of a conic section", ''[[The College Mathematics Journal]]'' 34(2), March 2003, 116–121.</ref> If {{math|1=4''AC'' = ''B''<sup>2</sup>}} 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

:<math>e=\sqrt{\frac{2\sqrt{(A-C)^2 + B^2}}{\eta (A+C) + \sqrt{(A-C)^2 + B^2}}},</math>

where {{math|1=η = 1}} if the determinant of the [[#Matrix notation|3&thinsp;×&thinsp;3 matrix above]] is negative and {{math|1=η = −1}} if that determinant is positive.

It can also be shown<ref name=Spain>Spain, B., [https://books.google.com/books?id=qHFXUAau5vcC ''Analytical Conics''] (Mineola, NY: Dover, 2007). Originally published in 1957 by [[Pergamon Press|Pergamon]].</ref>{{rp|p. 89}} that the eccentricity is a positive solution of the equation

:<math>\Delta e^4+[(A+C)^2-4\Delta]e^2-[(A+C)^2-4\Delta]=0,</math>

where again <math>\Delta =AC-\frac{B^2}{4}.</math> 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

:<math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0 \,</math>

can be converted to canonical form in transformed variables <math> \tilde{x}, \tilde{y}</math> as<ref>Ayoub, A. B., "The central conic sections revisited", ''[[Mathematics Magazine]]'' 66(5), 1993, 322–325.</ref>

:<math>\frac{\tilde{x}^2}{-S / (\lambda_1^2\lambda_2)}+\frac{\tilde{y}^2}{-S / (\lambda_1\lambda_2^2)} = 1,</math>

or equivalently

:<math>\frac{\tilde{x}^2}{-S / (\lambda_1\Delta)}+\frac{\tilde{y}^2}{-S / (\lambda_2\Delta)} = 1,</math>

where <math>\lambda_1</math> and <math>\lambda_2</math> are the [[eigenvalue]]s of the matrix <math>\left( \begin{matrix}A & B/2\\B/2 & C\end{matrix}\right)</math> — that is, the solutions of the equation

:<math>\lambda^2-(A+C)\lambda +(AC-(B/2)^2) = 0</math>

— and <math>S</math> is the determinant of the [[#Matrix notation|3&thinsp;×&thinsp;3 matrix above]], and <math>\Delta = \lambda_1\lambda_2</math> is again the determinant of the 2&thinsp;×&thinsp;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===
[[File:Conics anim.gif|right|upright=1.25|thumb|Development of the conic section as the eccentricity ''e'' increases]]

In [[Polar coordinate system|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 {{math|''x''}}-axis, is given by the equation
: <math>r=\frac{l}{{1+e\cos\theta}},</math>
where {{math|''e''}} is the eccentricity and {{math|''l''}} is the semi-latus rectum.

As above, for {{math|1=''e'' = 0}}, the graph is a circle, for {{math|0 < ''e'' < 1}} the graph is an ellipse, for {{math|1=''e'' = 1}} a parabola, and for {{math|''e'' > 1}} a hyperbola.

The polar form of the equation of a conic is often used in [[Dynamics (mechanics)|dynamics]]; for instance, determining the orbits of objects revolving about the Sun.<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=17}}</ref>

===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 [[Line (geometry)|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 [[Degenerate conic#Points to define|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.<ref name=WW>[[William Allen Whitworth|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.</ref>

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.<ref>{{cite journal |first=Paris |last=Pamfilos |title=A gallery of conics by five elements |journal=Forum Geometricorum |volume=14 |year=2014 |pages=295–348 |url=https://forumgeom.fau.edu/FG2014volume14/FG201431.pdf }}</ref>

Any point in the plane is on either zero, one or two [[tangent line]]s 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.<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=28}}</ref><ref>{{harvnb|Downs|2003|pages=36ff.}}</ref>

[[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 hexagon theorem|Pappus's theorem]].

Non-degenerate conic sections are always "[[smoothness|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 was given by [[Menaechmus]] (died 320 BC) as part of his solution of the Delian problem ([[Duplicating the cube]]).{{efn|According to [[Plutarch]], this solution was rejected by Plato on the grounds that it could not be achieved using only straightedge and compass, however this interpretation of Plutarch's statement has come under criticism. {{harvnb|Boyer|2004|loc=p.14, footnote 14.}}}}<ref>{{harvnb|Boyer|2004|pages=17–18}}</ref> His work did not survive, not even the names he used for these curves, and is only known through secondary accounts.<ref>{{harvnb|Boyer|2004|page=18}}</ref> 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 [[wikt:generatrix|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).<ref>{{harvnb|Katz|1998|page=117}}</ref>

[[Euclid]] (fl. 300 BC) is said to have written four books on conics but these were lost as well.<ref>Heath, T.L., ''The Thirteen Books of Euclid's Elements'', Vol. I, Dover, 1956, pg.16</ref> [[Archimedes]] (died {{circa|212}} BC) 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''.<ref>{{harvnb|Eves|1963|page=28}}</ref>

===Apollonius of Perga===
[[File:Conica of Apollonius of Perga fol. 6b-7a DETAIL.jpg|thumb|upright=1.25|right|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 {{circa|190}} BC), whose eight-volume [[Apollonius of Perga#Conics|''Conic Sections'' or ''Conics'']] summarized and greatly extended existing knowledge.<ref>Apollonius of Perga, [https://books.google.com/books?id=hRtaAQAAQBAJ ''Treatise on Conic Sections''], edited by [[Thomas Heath (classicist)|T. L. Heath]] (Cambridge: Cambridge University Press, 2013).</ref> 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.<ref>{{harvnb|Eves|1963|page=30}}.</ref>

[[Pappus of Alexandria]] (died {{circa|350}} AD) is credited with expounding on the importance of the concept of a conic's focus, and detailing the related concept of a [[#Eccentricity, focus and directrix|directrix]], including the case of the parabola (which is lacking in Apollonius's known works).<ref>{{harvnb|Boyer|2004|page=36}}.</ref>

=== Islamic world ===

Apollonius's work was translated into Arabic, and much of his work only survives through the Arabic version. [[Islamic mathematicians]] found applications of the theory, most notably the Persian mathematician and poet [[Omar Khayyám]],<ref>{{cite book |title=Science in Medieval Islam: An Illustrated Introduction |first=Howard R. |last=Turner |publisher=[[University of Texas Press]] |year=1997 |isbn=0-292-78149-0 |page=53 |url=https://books.google.com/books?id=BbpaBAAAQBAJ}}</ref> who found a geometrical method of solving [[cubic equations]] using conic sections.<ref>[[Carl Benjamin Boyer|Boyer, C. B.]], & [[Uta Merzbach|Merzbach, U. C.]], ''A History of Mathematics'' ([[Hoboken, New Jersey|Hoboken]]: [[Wiley (publisher)|John Wiley & Sons, Inc.]], 1968), [https://books.google.com/books?id=V6RUDwAAQBAJ&pg=PA219 p. 219].</ref><ref>[[Bartel Leendert van der Waerden|Van der Waerden, B. L.]], ''Geometry and Algebra in Ancient Civilizations'' ([[Berlin]]/[[Heidelberg]]: [[Springer Science+Business Media|Springer Verlag]], 1983), [https://books.google.com/books?id=-pTzCAAAQBAJ&pg=PA73 p. 73].</ref>

A century before the more famous work of Khayyam, [[Abu al-Jud]] used conics to solve [[Quartic function|quartic]] and cubic equations,<ref>{{Cite book| publisher = Springer Science & Business Media| isbn = 978-3-642-36736-6| last1 = Sidoli| first1 = Nathan| last2 = Brummelen| first2 = Glen Van| title = From Alexandria, Through Baghdad: Surveys and Studies in the Ancient Greek and Medieval Islamic Mathematical Sciences in Honor of J.L. Berggren| date = 2013-10-30|page=110}}</ref> although his solution did not deal with all the cases.<ref>{{Cite book| publisher = Springer Science & Business Media| isbn = 978-3-642-51599-6| last = Waerden| first = Bartel L. van der| title = A History of Algebra: From al-Khwārizmī to Emmy Noether| date = 2013-06-29|page=29}}</ref>

An instrument for drawing conic sections was first described in 1000 AD by [[Abū Sahl al-Qūhī|Al-Kuhi]].<ref>{{cite book|last=Stillwell|first=John|title=Mathematics and its history|year=2010|publisher=Springer|location=New York|isbn=978-1-4419-6052-8|page=[https://books.google.com/books?id=DOYlBQAAQBAJ&pg=PA30 30]|author-link=John Stillwell|edition=3rd}}</ref><ref>{{cite web|title=Apollonius of Perga Conics Books One to Seven|url=http://www.math.psu.edu/katok_s/Commentaries-new.pdf|access-date=10 June 2011|archive-date=17 May 2013|archive-url=https://web.archive.org/web/20130517180611/http://www.math.psu.edu/katok_s/Commentaries-new.pdf|url-status=dead}}</ref>

===Europe===
[[File:Table of Conics, Cyclopaedia, volume 1, p 304, 1728.jpg|thumb|right|Table of conics, ''[[Cyclopaedia, or an Universal Dictionary of Arts and Sciences|Cyclopaedia]]'', 1728]][[Johannes Kepler]] extended the theory of conics through the "[[Smooth function#Geometric continuity|principle of continuity]]", a precursor to the concept of limits. Kepler first used the term 'foci' in 1604.<ref>{{harvnb|Katz|1998|page=126}}.</ref>

[[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 {{lang|la|Tractatus de sectionibus conicis}} who first defined the conic sections as instances of equations of second degree.<ref>{{harvnb|Boyer|2004|page=110}}.</ref> Written earlier, but published later, [[Jan de Witt]]'s {{lang|la|Elementa Curvarum Linearum}} starts with Kepler's [[Kinematics|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.<ref name="BoyerDeWitt">{{harvnb|Boyer|2004|page=114}}.</ref> De Witt invented the term 'directrix'.<ref name=BoyerDeWitt />

==Applications==<!-- This section is linked from [[Orbital elements]] -->
{{For|specific applications of each type of conic section|Circle|Ellipse|Parabola|Hyperbola}}

Conic sections are important in [[astronomy]]: the [[orbit]]s of two massive objects that interact according to [[gravity|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.<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=27}}</ref> A searchlight uses a parabolic mirror as the reflector, with a bulb at the focus; and a similar construction is used for a [[parabolic microphone]]. The 4.2 meter [[William Herschel Telescope|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 {{math|''R''<sup>2</sup>}} is embedded in the real projective plane by adjoining a [[line at infinity]] (and its corresponding [[Point at infinity|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 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.<ref>{{harvnb|Artzy|2008|loc=p. 158, Thm 3-5.1}}</ref>

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.<ref>{{harvnb|Artzy|2008|loc=p. 159}}</ref>

===Homogeneous coordinates===
In [[homogeneous coordinates]] a conic section can be represented as:

:<math>Ax^2 + Bxy + Cy^2 +Dxz + Eyz + Fz^2 = 0. </math>

Or in [[Matrix (mathematics)|matrix]] notation

: <math>\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.</math>

The 3&thinsp;×&thinsp;3 matrix above is called ''the matrix of the conic section''.

Some authors prefer to write the general homogeneous equation as

:<math>Ax^2 + 2Bxy + Cy^2 +2Dxz + 2Eyz + Fz^2 = 0,</math>

(or some variation of this) so that the matrix of the conic section has the simpler form,

:<math>M = \left( \begin{matrix}A & B & D\\B & C & E\\D&E&F\end{matrix}\right),</math>

but this notation is not used in this article.{{efn|This form of the equation does not generalize to fields of characteristic two.}}

If the determinant of the matrix of the conic section is zero, the conic section is [[#Degenerate cases|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 {{math|(''A'', ''B'', ''C'', ''D'', ''E'', ''F'')}} as points in the five-dimensional [[projective space]] <math>\mathbf{P}^5.</math>

===Projective definition of a circle===
[[Metric space|Metrical]] concepts of Euclidean geometry (concepts concerned with measuring lengths and angles) can not be immediately extended to the real projective plane.{{efn|Consider finding the midpoint of a line segment with one endpoint on the line at infinity.}} They must be redefined (and generalized) in this new geometry. This can be done for arbitrary [[projective plane]]s, but to obtain the real projective plane as the extended Euclidean plane, some specific choices have to be made.<ref>{{harvnb|Faulkner|1952|page=71}}</ref>

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 {{mvar|A}} and {{mvar|B}}, the ''midpoint'' of line segment {{mvar|AB}} is defined as the point {{mvar|C}} which is the [[projective harmonic conjugate]] of the point of intersection of {{mvar|AB}} and the absolute line, with respect to {{mvar|A}} and {{mvar|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]].<ref>{{harvnb|Faulkner|1952|page=[https://books.google.com/books?id=3TwCIg_O2yMC&pg=PA72 72]}}</ref>

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 {{math|1=''e'' = 0}} a circle will have the focus-directrix property, but it is still not defined by that property.<ref>{{harvnb|Eves|1963|page=320}}</ref> 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|Steiner conic}}
[[File:Steiner-erz-def-s.svg|thumb|Definition of the Steiner generation of a conic section]]
A [[Synthetic geometry|synthetic]] (coordinate-free) approach to defining the conic sections in a projective plane was given by [[Jakob Steiner]] in 1867.
* Given two pencils <math>B(U),B(V)</math> of lines at two points <math>U,V</math> (all lines containing <math>U</math> and  <math>V</math> resp.) and a [[projectivity|projective]] but not [[perspectivity|perspective]] mapping <math>\pi</math> of <math>B(U)</math> onto <math>B(V)</math>. Then the intersection points of corresponding lines form a non-degenerate projective conic section.<ref>{{harvnb|Coxeter|1993}}, p.&nbsp;80</ref><ref name=Hartmann1>{{harvnb|Hartmann|loc=p. 38}}</ref><ref>{{harvnb|Merserve|1983|loc=p. 65}}</ref><ref>''Jacob Steiner's Vorlesungen über synthetische Geometrie'', B. G. Teubner, Leipzig 1867 (from Google Books: [https://archive.org/details/bub_gb_jCgPAAAAQAAJ (German) Part II follows Part I]) Part II, pg. 96</ref>

A ''perspective'' mapping <math>\pi</math> of a pencil <math>B(U)</math> onto a pencil <math>B(V)</math> is a [[bijection]] (1-1 correspondence) such that corresponding lines intersect on a fixed line <math>a</math>, which is called the ''axis'' of the perspectivity <math>\pi</math>.

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,<ref>{{harvnb|Hartmann|loc=p. 19}}</ref> for the Steiner generation of a conic section, besides two points <math>U,V</math> 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 [[Duality (projective geometry)|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.<ref>{{harvnb|Faulkner|1952|pages=[https://books.google.com/books?id=3TwCIg_O2yMC&pg=PA48 48–49]}}.</ref>

===Von Staudt's definition===
{{main|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'', {{pi}}, of a projective plane {{mvar|''P''}} is an [[involution (mathematics)|involutory]] [[bijection]] between the points and the lines of {{mvar|''P''}} that preserves the [[Incidence (geometry)|incidence relation]]. Thus, a polarity associates a point {{mvar|''Q''}} with a line {{mvar|''q''}} by {{math|1=''π''(''Q'') = ''q''}} and {{math|1=''π''(''q'') = ''Q''}}. Following [[Gergonne]], {{mvar|''q''}} is called the [[pole and polar|''polar'']] of {{mvar|''Q''}} and {{mvar|''Q''}} the [[pole and polar|''pole'']] of {{mvar|''q''}}.<ref>{{harvnb|Coxeter|1964|page=60}}</ref> An ''absolute point'' (or ''line'') of a polarity is one which is incident with its polar (pole).{{efn|Coxeter and several other authors use the term 'self-conjugate' instead of 'absolute'.}}

A von Staudt conic in the real projective plane is equivalent to a [[Steiner conic]].<ref>{{harvnb|Coxeter|1964|page=80}}</ref>

===Constructions===
No continuous arc of a conic can be constructed with straightedge and compass. However, there are several straightedge-and-compass constructions for any number of individual points on an arc.

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, {{math|''A'', ''B'', ''C'', ''D'', ''E''}} and a line passing through {{mvar|E}}, say {{math|{{overline|''EG''}}}}, a point {{mvar|F}} that lies on this line and is on the conic determined by the five points can be constructed. Let {{math|{{overline|''AB''}}}} meet {{math|{{overline|''DE''}}}} in {{mvar|L}}, {{math|{{overline|''BC''}}}} meet {{math|{{overline|''EG''}}}} in {{mvar|M}} and let {{math|{{overline|''CD''}}}} meet {{math|{{overline|''LM''}}}} at {{mvar|N}}. Then {{math|{{overline|''AN''}}}} meets {{math|{{overline|''EG''}}}} at the required point {{mvar|F}}.<ref>{{harvnb|Faulkner|1952|pages=[https://books.google.com/books?id=3TwCIg_O2yMC&pg=PA52 52–53]}}</ref> By varying the line through {{mvar|E}}, as many additional points on the conic as desired can be constructed.

[[File:Ellipse construction - parallelogram method.gif|thumb|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.<ref>{{harvnb|Downs|2003|page=5}}</ref> Specifically, to construct the ellipse with equation {{math|1={{sfrac|''x''<sup>2</sup>|''a''<sup>2</sup>}} + {{sfrac|''y''<sup>2</sup>|''b''<sup>2</sup>}} = 1}}, first construct the rectangle {{math|''ABCD''}} with vertices {{math|''A''(''a'', 0), ''B''(''a'', 2''b''), ''C''(−''a'', 2''b'')}} and  {{math|''D''(−''a'', 0)}}. Divide the side {{math|{{overline|''BC''}}}} into {{mvar|n}} equal segments and use parallel projection, with respect to the diagonal {{math|{{overline|''AC''}}}}, to form equal segments on side {{math|{{overline|''AB''}}}} (the lengths of these segments will be {{math|{{sfrac|''b''|''a''}}}} times the length of the segments on {{math|{{overline|''BC''}}}}). On the side {{math|{{overline|''BC''}}}} label the left-hand endpoints of the segments with {{math|''A''<sub>1</sub>}} to {{math|''A''<sub>n</sub>}} starting at {{mvar|B}} and going towards {{mvar|C}}. On the side {{math|{{overline|''AB''}}}} label the upper endpoints {{math|''D''<sub>1</sub>}} to {{math|''D''<sub>n</sub>}} starting at {{mvar|A}} and going towards {{mvar|B}}. The points of intersection, {{math|{{overline|''AA''}}<sub>i</sub> ∩ {{overline|''DD''}}<sub>i</sub>}} for {{math|1 ≤ ''i'' ≤ ''n''}} will be points of the ellipse between {{mvar|A}} and {{math|''P''(0, ''b'')}}. The labeling associates the lines of the pencil through {{mvar|A}} with the lines of the pencil through {{mvar|D}} projectively but not perspectively. The sought for conic is obtained by this construction since three points {{math|''A'', ''D''}} and {{mvar|P}} and two tangents (the vertical lines at {{mvar|A}} and {{mvar|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<ref>{{harvnb|Downs|2003|page=14}}</ref> and parabolas<ref>{{harvnb|Downs|2003|page=19}}</ref> are similar.

Yet another general method uses the polarity property to construct the tangent envelope of a conic (a line conic).<ref>{{harvnb|Akopyan|Zaslavsky|2007|page=70}}</ref>

==In the complex geometry==

In the [[complex coordinate plane]] {{math|'''C'''<sup>2</sup>}}, ellipses and hyperbolas are not distinct: one may consider a hyperbola as an ellipse with an imaginary axis length. For example, the ellipse <math>x^2+y^2=1</math> becomes a hyperbola under the substitution <math>y=iw,</math> geometrically a complex rotation, yielding <math>x^2-w^2=1</math>. Thus there is a 2-way classification: ellipse/hyperbola and parabola. Extending the curves to the [[complex projective plane]], 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); thus the real hyperbola is a more suggestive real image for the complex ellipse/hyperbola, as it also has 2 (real) intersections with the line at infinity.

Further unification occurs in the [[complex projective plane]] {{math|'''CP'''<sup>2</sup>}}: the non-degenerate conics cannot be distinguished from one another, since any can be taken to any other by a [[projective linear transformation]].

It can be proven that in {{math|'''CP'''<sup>2</sup>}}, two conic sections have four points in common (if one accounts for [[Multiplicity (mathematics)|multiplicity]]), so there are between 1 and 4 [[Bézout's theorem|intersection]] points. The intersection possibilities are: four distinct points, two singular points and one double point, two double points, one singular point and one with multiplicity 3, one point with multiplicity 4. If any intersection point has multiplicity > 1, the two curves are said to be [[tangent]]. If there is an intersection point of multiplicity at least 3, the two curves are said to be [[osculating curve|osculating]]. If there is only one intersection point, which has multiplicity 4, the two curves are said to be ''superosculating''.<ref>{{Citation |first=E. J. |last=Wilczynski |title=Some remarks on the historical development and the future prospects of the differential geometry of plane curves |journal=Bull. Amer. Math. Soc. |volume=22 |issue=7 |year=1916 |pages=317–329 |doi=10.1090/s0002-9904-1916-02785-6|doi-access=free }}.</ref>

Furthermore, each [[straight line]] intersects each conic section twice. If the intersection point is double, the line is a [[tangent line]].
Intersecting with the line at infinity, each conic section has two points at infinity. If these points are real, the curve is a [[hyperbola]]; if they are imaginary conjugates, it is an [[ellipse]]; if there is only one double point, it is a [[parabola]]. If the points at infinity are the [[cyclic points]] {{math|[1: ''i'': 0]}} and {{math|[1: –''i'': 0]}}, the conic section is a [[circle]]. If the coefficients of a conic section are real, the points at infinity are either real or [[complex conjugate]].

{{anchor|Degenerate conics}}

==Degenerate cases==
{{further|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_(geometry)|apex]] of the cone.
The degenerate conic is either: a [[point (geometry)|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).<ref>{{harvnb|Brannan|Esplen|Gray|1999|page=6}}</ref> 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 <math>x^2+1=0,</math> or to an ''imaginary ellipse'', such as with the equation <math>x^2 +y^2+1=0.</math> An imaginary ellipse does not satisfy the general definition of a [[degeneracy (mathematics)|degeneracy]], and is thus not normally considered as degenerated.<ref>Korn, G. A., & [[Theresa M. Korn|Korn, T. M.]], ''Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review'' ([[Mineola, New York|Mineola, NY]]: [[Dover Publications]], 1961), [https://books.google.com/books?id=A4XCAgAAQBAJ&pg=PA42 p. 42].</ref> 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 (mathematics)|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 (geometry)|cylinder]], i.e. with the apex at infinity. Other sections in this case are called ''cylindric sections''.<ref>{{cite web | title=MathWorld: Cylindric section| url=http://mathworld.wolfram.com/CylindricSection.html}}</ref> 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 line]]s 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 {{math|''β''}} be the determinant of the 3&thinsp;×&thinsp;3 [[Matrix representation of conic sections|matrix of the conic section]]—that is, {{math|1=''β '' = (''AC'' − {{sfrac|''B''<sup>2</sup>|4}})''F'' + {{sfrac|''BED'' − ''CD''<sup>2</sup> − ''AE''<sup>2</sup>|4}}}}; and let {{math|1=''α'' = ''B''<sup>2</sup> − 4''AC''}} be the discriminant. Then the conic section is non-degenerate if and only if {{math|''β'' ≠ 0}}.  If {{math|1=''β ''= 0}} we have a point when {{math|''α'' < 0}}, two parallel lines (possibly coinciding) when {{math|1=''α'' = 0}}, or two intersecting lines when {{math|''α'' > 0}}.<ref>{{citation|last=Lawrence|first=J. Dennis|title=A Catalog of Special Plane Curves|publisher=Dover|year=1972|isbn=0-486-60288-5|page=[https://archive.org/details/catalogofspecial00lawr/page/63 63]|url-access=registration|url=https://archive.org/details/catalogofspecial00lawr/page/63}}</ref>
<!-- Material omitted in reorganization
 in which case three degenerate cases occur: two parallel lines, known as a ribbon (corresponding to an ellipse with one axis infinite and the other axis real and non-zero, the distance between the lines), a double line (an ellipse with one infinite axis and one axis zero), and no intersection (an ellipse with one infinite axis and the other axis imaginary).

For a given <math>a\ </math>, the closer <math>e\ </math> is to 1, the smaller is the [[semi-minor axis]].

Moreover, in the case of a non-degenerate ellipse (with <math>B^2 - 4AC < 0 </math> and ∆&nbsp;≠&nbsp;0), we have a real ellipse if ''C''∆ < 0 but an imaginary ellipse if ''C''∆ > 0. An example is <math>x^2 + y^2 + 10 = 0 </math>, which has no real-valued solutions.

=== Modified form ===
{{Unreferenced section|date=June 2010}}

[[File:Conic sections3.svg|right|thumb|upright=2|Three different types of conic sections. Focal-points corresponding to all conic sections are placed at the origin.]]

For some practical applications, it is important to re-arrange the standard form so that the focal-point can be placed at the origin. The mathematical formulation for a general conic section, with the other focus if any placed at a positive value (for an ellipse) or a negative value (for a hyperbola) on the horizontal axis, is then given in the polar form by

:<math>r = \frac{\ell}{1-e\cos\theta}</math>

and in the Cartesian form by

:<math>\begin{alignat}{7}
\sqrt{x^2+y^2} = \left(\ell+e x\right) \\
\Rightarrow \left(\frac{x-\frac{le}{1-e^2}}{\frac \ell {1-e^2}}\right)^2+\frac{(1-e^2) y^2}{\ell^2} = 1
\end{alignat}</math>
From the above equation, the linear eccentricity (''c'') is given by
<math>c=\left(\frac{\ell e}{1-e^2}\right)</math>.

From the general equations given above, different conic sections can be represented as shown below:
* Circle: <math>x^2+y^2 = r^2 \,</math>
* Ellipse: <math>\frac{(x-\sqrt{a^2-b^2})^2}{a^2}+\frac{y^2}{b^2} = 1</math>
* Parabola: <math>y^2 = 4a(x+a)</math>
* Hyperbola: <math>\frac{\left(x+\sqrt{a^2+b^2}\right)^2}{a^2}-\frac{y^2}{b^2} = 1</math>
-->

== Pencil of conics ==
{{main|Pencil (mathematics)#Pencil of conics}}

A (non-degenerate) conic is completely determined by [[Five points determine a conic|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''.<ref>{{harvnb|Faulkner|1952|loc=pg. [https://books.google.com/books?id=3TwCIg_O2yMC&pg=PA64 64]}}.</ref> 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 (mathematics)#Pencil of circles|pencil of circles]].<ref>[[Marcel Berger|Berger, M.]], ''Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry'' (Berlin/Heidelberg: Springer, 2010), [https://books.google.com/books?id=pN0iAVavPR8C&pg=PA127 p. 127].</ref>

== 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 3&thinsp;×&thinsp;3 [[symmetric matrix]] which depends on six parameters.

The procedure to locate the intersection points follows these steps, where the conics are represented by matrices:<ref>{{harvnb|Richter-Gebert|2011|page=196}}</ref>
* given the two conics <math>C_1</math> and <math>C_2</math>, consider the pencil of conics given by their linear combination <math>\lambda C_1 + \mu C_2.</math>
* identify the homogeneous parameters <math>[\lambda :\mu]</math> which correspond to the degenerate conic of the pencil. This can be done by imposing the condition that <math>\det(\lambda C_1 + \mu C_2) = 0</math> and solving for <math>\lambda</math> and <math>\mu</math>. These turn out to be the solutions of a third degree equation.
* given the degenerate conic <math>C_0</math>, identify the two, possibly coincident, lines constituting it.
* intersect each identified line with either one of the two original conics.
* 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 plane|pappian geometries]]).  However, some care must be used when the field has [[Characteristic (field)|characteristic]] 2, as some formulas can not be used. For example, the matrix representations used [[#General Cartesian form|above]] require division by 2.

A generalization of a non-degenerate conic in a projective plane is an [[oval (projective plane)|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 conic]]s.

The intersection of an [[Cone#Elliptic cone|elliptic cone]] with a sphere is a [[spherical conic]], which shares many properties with planar 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 form]]s: 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 <math>n</math> variables can be converted to a [[diagonal form]], as <math>x_1^2+x_2^2+\cdots+x_k^2-x_{k+1}^2-\cdots-x_{k+\ell}^2,</math> where the number of +1 coefficients, <math>k,</math> is the positive index, the number of −1 coefficients, <math>\ell,</math> is the negative index, and the remaining variables are the zero index <math>m,</math> so <math>k+\ell+m=n.</math> In two variables the non-zero quadratic forms are classified as:
:* <math>x^2+y^2</math> — positive-definite (the negative is also included), corresponding to ellipses,
:* <math>x^2</math> — degenerate, corresponding to parabolas, and
:* <math>x^2-y^2</math> — 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 (mathematics)|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 <math>x^2+y^2,</math> <math>x^2</math> (or 0), or <math>x^2-y^2</math>. 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 equation]]s (PDEs) of [[Partial differential equation#Linear equations of second order|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 (mathematics)#Analogous classifications|Eccentricity classifications]] include:
;[[Möbius transformation]]s: Real Möbius transformations (elements of [[PSL2(R)|{{math|PSL<sub>2</sub>('''R''')}}]] or its 2-fold cover, [[SL2(R)|{{math|SL<sub>2</sub>('''R''')}}]]) are [[Möbius transformation#Classification|classified]] as elliptic, parabolic, or hyperbolic accordingly as their half-trace is <math>0\leq |\operatorname{tr}|/2 < 1,</math> <math>|\operatorname{tr}|/2 = 1,</math> or <math>|\operatorname{tr}|/2 > 1,</math> mirroring the classification by eccentricity.
;[[Variance-to-mean ratio]]: The variance-to-mean ratio classifies several important families of [[discrete probability distribution]]s: the constant distribution as circular (eccentricity 0), [[binomial distribution]]s as elliptical, [[Poisson distribution]]s as parabolic, and [[negative binomial distribution]]s as hyperbolic. This is elaborated at [[Cumulant#Cumulants of some discrete probability distributions|cumulants of some discrete probability distributions]].

[[File:conic section interactive visualisation.svg|thumb|link={{filepath:conic_section_interactive_visualisation.svg}}|In [[Special:Filepath/Conic section interactive visualisation.svg|this interactive SVG]], move left and right over the SVG image to rotate the double cone]]

==See also==
* [[Confocal conic sections]]
* [[Circumconic and inconic]]
* [[Director circle]]
* [[Elliptic coordinate system]]
* [[Equidistant set]]
* [[Parabolic coordinates]]
* [[Quadratic function]]
* [[Spherical conic]]
{{clear}}

==Notes==
{{notelist}}

==References==
{{Reflist}}

==Bibliography==
* {{cite book |last1=Akopyan |first1=A.V.  |last2=Zaslavsky |first2=A.A. | title=Geometry of Conics | publisher=[[American Mathematical Society]] | year=2007 | isbn=978-0-8218-4323-9 }}
* {{citation|first=Rafael|last=Artzy|author-link=Rafael Artzy|title=Linear Geometry|year=2008|orig-year=1965|publisher=Dover|isbn=978-0-486-46627-9}}
* {{citation|first=Carl B.|last=Boyer|author-link=Carl Benjamin Boyer|title=History of Analytic Geometry|url=https://books.google.com/books?id=2T4i5fXZbOYC|publisher=Dover|year=2004|orig-year=1956|isbn=978-0-486-43832-0}}
* {{citation|first1=David A.|last1=Brannan|first2=Matthew F.|last2=Esplen|first3=Jeremy J.|last3=Gray|title=Geometry|url=https://books.google.com/books?id=q49lhAzXTFEC|year=1999|publisher=Cambridge University Press|isbn=978-0-521-59787-6}}
* {{citation|first=H.S.M.|last=Coxeter|author-link=Harold Scott MacDonald Coxeter|title=Projective Geometry|url=https://books.google.com/books?id=gjAAI4FW0tsC|publisher=Blaisdell|year=1964|isbn=9780387406237}}
* {{citation|first=H.S.M.|last=Coxeter|title=The Real Projective Plane|publisher=Springer Science & Business Media|year=1993}}
* {{citation|first=J.W.|last=Downs|title=Practical Conic Sections: The geometric properties of ellipses, parabolas and hyperbolas|url=https://books.google.com/books?id=PE7CAgAAQBAJ|year=2003|orig-year=1993|publisher=Dover|isbn=0-486-42876-1}}
* {{citation|first=Howard|last=Eves|author-link=Howard Eves|title=A Survey of Geometry (Volume One)|year=1963|publisher=Allyn and Bacon|place=Boston}}
* {{citation|first1=Georg|last1=Glaeser|author1-link=Georg Glaeser|first2=Hellmuth|last2=Stachel|first3=Boris|last3=Odehnal|title=The Universe of Conics: From the ancient Greeks to 21st century developments|year=2016|publisher=Springer|place=Berlin}}
* {{citation|first=Erich|last=Hartmann|title=Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes|url=http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf|access-date= 20 September 2014}} (PDF; 891&nbsp;kB).
* {{citation|first=Victor J.|last=Katz|author-link=Victor J. Katz|title=A History of Mathematics / An Introduction|edition=2nd|year=1998|publisher=Addison Wesley Longman|isbn=978-0-321-01618-8|url-access=registration|url=https://archive.org/details/historyofmathema00katz}}
* {{citation|first=Keith|last=Kendig|title=Conics|year=2005|publisher=[[The Mathematical Association of America]]|isbn=978-0-88385-335-1}}
* {{citation|first=T. E.|last=Faulkner|title=Projective Geometry|edition=2nd|url=https://books.google.com/books?id=3TwCIg_O2yMC|publisher=Oliver and Boyd|place=Edinburgh|year=1952|isbn=9780486154893}}
* {{citation|first=Bruce E.|last=Merserve|title=Fundamental Concepts of Geometry|url=https://books.google.com/books?id=Y6jDAgAAQBAJ|year=1983|orig-year=1959|publisher=Dover|isbn=0-486-63415-9}}
* {{ citation | first1 = Murray H. | last1 = Protter | first2=Charles B. Jr. | last2=Morrey | year = 1970 | lccn = 76087042 | title = College Calculus with Analytic Geometry | edition = 2nd | publisher = [[Addison-Wesley]] | location = Reading }}
* {{cite book |first=Jürgen | last=Richter-Gebert | title=Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry  | publisher=Springer| year=2011 | isbn=9783642172854 }}
* {{citation|first=Pierre|last=Samuel|author-link=Pierre Samuel|title=Projective Geometry|publisher=Springer-Verlag|place=New York|year=1988|series=[[Undergraduate Texts in Mathematics]] (Readings in Mathematics)|isbn=0-387-96752-4|url-access=registration|url=https://archive.org/details/projectivegeomet0000samu}}
* {{citation|first1=George B.|last1=Thomas|first2=Ross L.|last2=Finney|title=Calculus and Analytic Geometry|publisher=Addison-Wesley|edition=fifth|date=1979|page=434|isbn=0-201-07540-7}}
* {{citation|first1=W.A.|last1=Wilson|first2=J.I.|last2=Tracey|title=Analytic Geometry|year=1925|publisher=D.C. Heath and Company|edition=Revised}}

== External links ==
{{commons category|Conic sections}}
{{wikibooks|Conic sections}}
{{EB1911 poster|Conic Section}}

* {{MathWorld | urlname=ConicSection | title=Conic Section}}
* [https://web.archive.org/web/20060406010638/http://britton.disted.camosun.bc.ca/jbconics.htm Occurrence of the conics. Conics in nature and elsewhere].
{{Algebraic curves navbox}}
{{Authority control}}

[[Category:Conic sections|*]]
[[Category:Euclidean solid geometry]]
[[Category:Algebraic curves]]
[[Category:Birational geometry]]
[[Category:Analytic geometry]]
[[Category:Greek mathematics]]