Frequent Links
Conic section
This article needs additional citations for verification. (March 2012) |
In mathematics, a conic section (or just conic) is a curve obtained as the intersection of a cone (more precisely, a right circular conical surface) with a plane. In analytic geometry, a conic may be defined as a plane algebraic curve of degree 2, and as a quadric of dimension 1. There are a number of other geometric definitions possible. One of the most useful, in that it involves only the plane, is that a non-circular conic^{[1]} consists of those points whose distances to some point, called a focus, and some line, called a directrix, are in a fixed ratio, called the eccentricity.
Traditionally, 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 is sometimes called the fourth type of conic section. The type of a conic corresponds to its eccentricity, those with eccentricity less than 1 being ellipses, those with eccentricity equal to 1 being parabolas, and those with eccentricity greater than 1 being hyperbolas. In the focus-directrix definition of a conic the circle is a limiting case with eccentricity 0. In modern geometry certain degenerate cases, such as the union of two lines, are included as conics as well.
The conic sections were named and studied at least since 200 BC, when Apollonius of Perga undertook a systematic study of their properties.
Contents
History
Menaechmus and early works
It is believed that the first definition of a conic section is due to Menaechmus (died 320 BC). His work did not survive and is only known through secondary accounts. The definition used at that time differs from the one commonly used today in that it requires the plane cutting the cone to be perpendicular to one of the lines, (a generatrix), that generates the cone as a surface of revolution. Thus the shape of the conic is determined by the angle formed at the vertex of the cone (between two opposite generatrices): 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. Note that the circle cannot be defined this way and was not considered a conic at this time.
Euclid ( fl. 300 BC ) is said to have written four books on conics but these were lost as well.^{[2]} Archimedes (died c. 212 BC) is known to have studied conics, having determined the area bounded by a parabola and an ellipse. The only part of this work to survive is a book on the solids of revolution of conics.
Apollonius of Perga
The greatest progress in the study of conics by the ancient Greeks is due to Apollonius of Perga (died c. 190 BC), whose eight-volume Conic Sections summarized the existing knowledge at the time and greatly extended it. Apollonius's major innovation was to characterize a conic using properties within the plane and intrinsic to the curve; this greatly simplified analysis. With this tool, it was now possible to show that any plane cutting the cone, regardless of its angle, will produce a conic according to the earlier definition, leading to the definition commonly used today.
Pappus of Alexandria (died c. 350 CE) is credited with discovering importance of the concept of a focus of a conic, and the discovery of the related concept of a directrix.
Al-Kuhi
An instrument for drawing conic sections was first described in 1000 CE by the Islamic mathematician Al-Kuhi.^{[3]}^{[4]}
Omar Khayyám
Apollonius's work was translated into Arabic (the technical language of the time) 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^{[5]} 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.
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.
Meanwhile, René Descartes applied his newly discovered Analytic geometry to the study of conics. This had the effect of reducing the geometrical problems of conics to problems in algebra.
Features
The three types of conics are the ellipse, parabola, and hyperbola. The circle can be considered as a fourth type (as it was by Apollonius) or as a kind of ellipse. The circle and the ellipse arise when the intersection of 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 as in the picture at the top of the page 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 (nappes) of the cone, producing two separate unbounded curves.
Various parameters are associated with a conic section, as shown in the following table. (For the ellipse, the table gives the case of a>b, for which the major axis is horizontal; for the reverse case, interchange the symbols a and b. For the hyperbola the east-west opening case is given. In all cases, a and b are positive.)
conic section | equation | eccentricity (e) | linear eccentricity (c) | semi-latus rectum (ℓ) | focal parameter (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> | <math> - \, </math> | <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> |
The non-circular conic sections are exactly those curves that, for a point F, a line L not containing F and a non-negative number e, are the locus of points whose distance to F equals e times their distance to L. F is called the focus, L the directrix, and e the eccentricity.
The linear eccentricity (c) is the distance between the center and the focus (or one of the two foci).
The latus rectum (2ℓ) is the chord parallel to the directrix and passing through the focus (or one of the two foci).
The semi-latus rectum (ℓ) is half the latus rectum.
The focal parameter (p) is the distance from the focus (or one of the two foci) to the directrix.
The following relations hold:
- <math>p e = \ell \, </math>
- <math>a e = c. \, </math>
Construction
There are many methods to construct a conic. One of them, that is useful in engineering applications, being parallelogram method, where a conic is constructed point by point by means of connecting certain equally spaced points on horizontal line and vertical line.
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 over both the affine plane and 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.^{[6]}^{:p. 203}
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.^{[7]}
Irreducible 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.
Intersection at infinity
An algebro-geometrically intrinsic form of this classification is by the intersection of the conic with the line at infinity, which gives further insight into their geometry:
- ellipses intersect the line at infinity in 0 points—rather, in 0 real points, but in 2 complex points, which are conjugate;
- parabolas intersect the line at infinity in 1 double point, corresponding to the axis—they are tangent to the line at infinity, and close at infinity, as distended ellipses;
- hyperbolas intersect the line at infinity in 2 points, corresponding to the asymptotes—hyperbolas pass through infinity, with a twist. Going to infinity along one branch passes through the point at infinity corresponding to the asymptote, then re-emerges on the other branch at the other side but with the inside of the hyperbola (the direction of curvature) on the other side – left vs. right (corresponding to the non-orientability of the real projective plane)—and then passing through the other point at infinity returns to the first branch. Hyperbolas can thus be seen as ellipses that have been pulled through infinity and re-emerged on the other side, flipped.
Degenerate cases
There are five degenerate cases: three in which the plane passes through apex of the cone, and three that arise when the cone itself degenerates to a cylinder (a doubled line can occur in both cases).
When the plane passes through the apex, the resulting conic is always degenerate, and is either: a point (when the angle between the plane and the axis of the cone is larger than tangential); a straight line (when the plane is tangential to the surface of the cone); or a pair of intersecting lines (when the angle is smaller than the tangential). These correspond respectively to degeneration of an ellipse, parabola, and a hyperbola, which are characterized in the same way by angle. The straight line is more precisely a double line (a line with multiplicity 2) because the plane is tangent to the cone, and thus the intersection should be counted twice.
Where the cone is a cylinder, i.e. with the vertex at infinity, cylindric sections are obtained;^{[8]} this corresponds to the apex being at infinity. Cylindrical sections are ellipses (or circles), unless the plane is vertical (which corresponds to passing through the apex at infinity), 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).
Eccentricity, focus and directrix
The four defining conditions above can be combined into one condition that depends on a fixed point <math>F</math> (the focus), a line <math>L</math> (the directrix) not containing <math>F</math> and a nonnegative real number <math>e\ </math> (the eccentricity). The corresponding conic section consists of the locus of all points whose distance to <math>F</math> equals <math>e\ </math> times their distance to <math>L</math>. For <math>0 < e < 1</math> we obtain an ellipse, for <math>e = 1</math> a parabola, and for <math>e > 1</math> a hyperbola.
For an ellipse and a hyperbola, two focus-directrix combinations can be taken, each giving the same full ellipse or hyperbola. The distance from the center to the directrix is <math>a/e</math>, where <math>a \ </math> is the semi-major axis of the ellipse, or the distance from the center to the tops of the hyperbola. The distance from the center to a focus is <math>a\,e \ </math>.
The circle is a limiting case and is not defined by a focus and directrix in the plane. However, if one were to consider the directrix to be infinitely far from the center (the line at infinity), then by taking the eccentricity to be <math>e = 0</math> a circle will have the focus-directrix property, but is still not defined by that property.^{[9]} 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.
The eccentricity of a conic section is thus a measure of how far it deviates from being circular.
For a given <math>a\ </math>, the closer <math>e\ </math> is to 1, the smaller is the semi-minor axis.
Generalizations
Conics may be defined over other fields, and may also be classified in the projective plane rather than in the affine plane.
Over the complex numbers ellipses and hyperbolas are not distinct, since −1 is a square; precisely, 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> – 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.
In 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, as type is not meaningful. Geometrically, the line at infinity is no longer special (distinguished), so while some conics intersect the line at infinity differently, this can be changed by a projective transformation – pulling an ellipse out to infinity or pushing a parabola off infinity to an ellipse or a hyperbola.
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.
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 <math>x_1^2+x_2^2+\cdots+x_k^2-x_{k+1}^2-\cdots-x_{k+l}^2,</math> where the number of +1 coefficients, k, is the positive index, the number of −1 coefficients, l, is the negative index, and the remaining variables are the zero index m, so <math>k+l+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 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 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 PSL_{2}(R) or its 2-fold cover, SL_{2}(R)) are 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 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.
Cartesian coordinates
In the Cartesian coordinate system, the graph of a quadratic equation in two variables is always a conic section (though it may be degenerate), and all conic sections arise in this way. The equation will be of the form
- <math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0\text{ with }A, B, C\text{ not all zero.} \, </math>
As scaling all six constants yields the same locus of zeros, one can consider conics as points in the five-dimensional projective space <math>\mathbf{P}^5.</math>
Discriminant classification
The conic sections described by this equation can be classified with the discriminant^{[10]}
- <math>B^2 - 4AC .\,</math>
If the conic is non-degenerate, then:
- if <math>B^2 - 4AC < 0 </math>, the equation represents an ellipse;
- if <math>A = C </math> and <math>B = 0 </math>, the equation represents a circle, which is a special case of an ellipse;
- if <math>B^2 - 4AC = 0 </math>, the equation represents a parabola;
- if <math>B^2 - 4AC > 0 </math>, the equation represents a hyperbola;
- if we also have <math>A + C = 0 </math>, the equation represents a rectangular hyperbola.
To distinguish the degenerate cases from the non-degenerate cases, let ∆ be the determinant of the 3×3 matrix [A, B/2, D/2 ; B/2, C, E/2 ; D/2, E/2, F ]: that is, ∆ = (AC - B^{2}/4)F + BED/4 - CD^{2}/4 - AE^{2}/4. Then the conic section is non-degenerate if and only if ∆ ≠ 0. If ∆=0 we have a point ellipse, two parallel lines (possibly coinciding with each other) in the case of a parabola, or two intersecting lines in the case of a hyperbola.^{[11]}^{:p.63}
Moreover, in the case of a non-degenerate ellipse (with <math>B^2 - 4AC < 0 </math> and ∆≠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.
Note that A and B are polynomial coefficients, not the lengths of semi-major/minor axis as defined in some sources.
Matrix notation
The above equation can be written in matrix notation as
- <math>\begin{bmatrix}x & y \end{bmatrix} . \begin{bmatrix}A & B/2\\B/2 & C\end{bmatrix} . \begin{bmatrix}x\\y\end{bmatrix} +Dx +Ey+F= 0. </math>
The type of conic section is solely determined by the determinant of middle matrix: if it is positive, zero, or negative then the conic is an ellipse, parabola, or hyperbola respectively (see geometric meaning of a quadratic form). If both the eigenvalues of the middle matrix are non-zero (i.e. it is an ellipse or a hyperbola), we can do a transformation of variables to obtain
<math>\left(\begin{array}{c} x-a\\ y-c\end{array}\right)^{T}\left(\begin{array}{cc} A & \frac{B}{2}\\ \frac{B}{2} & C\end{array}\right)\left(\begin{array}{c} x-a\\ y-c\end{array}\right)=G</math>
where a,c, and G satisfy <math>D+2aA+Bc=0,\, E+2Cc+Ba=0,\,</math> and <math> G=Aa^{2}+Cc^{2}+Bac-F</math>.
The quadratic can also be written as
- <math>\begin{bmatrix}x & y & 1\end{bmatrix} . \begin{bmatrix}A & B/2 & D/2\\B/2 & C & E/2\\D/2&E/2&F\end{bmatrix} . \begin{bmatrix}x\\y\\1\end{bmatrix} = 0. </math>
If the determinant of this 3×3 matrix is non-zero, the conic section is not degenerate. If the determinant equals zero, the conic is a degenerate parabola (two parallel or coinciding lines), a degenerate ellipse (a point ellipse), or a degenerate hyperbola (two intersecting lines).
Note that in the centered equation with constant term G, G equals minus one times the ratio of the 3×3 determinant to the 2×2 determinant.
As slice of quadratic form
The equation
- <math>Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 \,</math>
can be rearranged by taking the affine linear part to the other side, yielding
- <math>Ax^2 + Bxy + Cy^2 = -(Dx + Ey + F). \,</math>
In this form, a conic section is realized exactly as the intersection of the graph of the quadratic form <math>z = Ax^2 + Bxy + Cy^2</math> and the plane <math>z = -(Dx + Ey + F).</math> Parabolas and hyperbolas can be realized by a horizontal plane (<math>D=E=0</math>), while ellipses require that the plane be slanted. Degenerate conics correspond to degenerate intersections, such as taking slices such as <math>z=-1</math> of a positive-definite form.
Eccentricity in terms of parameters of the quadratic form
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 parameters of the quadratic equation.^{[12]} If 4AC = B^{2} the conic is a parabola and its eccentricity equals 1 (if it is non-degenerate). Otherwise, assuming the equation represents either a non-degenerate hyperbola or a non-degenerate, non-imaginary 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 η = 1 if the determinant of the 3×3 matrix is negative and η = −1 if that determinant is positive.
Standard form
Through change of coordinates (a rotation of axes and a translation) these equations can be put in standard forms:
- Circle: x^{2} + y^{2} = a^{2}
- Ellipse: x^{2}/a^{2} + y^{2}/b^{2} = 1
- Parabola: y^{2} = 4ax, x^{2} = 4ay
- Hyperbola: x^{2}/a^{2} − y^{2}/b^{2} = 1, x^{2}/b^{2} − y^{2}/a^{2} = −1
- Rectangular hyperbola: xy = c^{2}
The first four of these forms are symmetrical about both the x-axis and y-axis (for the circle, ellipse and hyperbola), or about either but not both (for the parabola). The rectangular hyperbola, however, is instead symmetrical about the lines y = x and y = −x.
These standard forms can be written as parametric equations,
- Circle: (a cos θ, a sin θ),
- Ellipse: (a cos θ, b sin θ),
- Parabola: (at^{2}, 2at),
- Hyperbola: (a sec θ, b tan θ) or (±a cosh u, b sinh u),
- Rectangular hyperbola: (ct , c/t).
Invariants of conics
The trace and determinant of <math>\begin{bmatrix}A & B/2\\B/2 & C\end{bmatrix} </math> are both invariant with respect to both rotation of axes and translation of the plane (movement of the origin).^{[13]}
The constant term F is invariant under rotation only.
Modified form
This section does not cite any references or sources. (June 2010) |
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{l}{1-e\cos\theta}</math>
and in the Cartesian form by
- <math>\begin{alignat}{7}
\sqrt{x^{2}+y^{2}} = \left(l+e x\right) \\ \Rightarrow\left(\frac{x-\frac{le}{1-e^{2}}}{\frac{l}{1-e^{2}}}\right)^{2}+\frac{\left(1-e^{2}\right)y^{2}}{l^{2}} = 1 \end{alignat}</math> From the above equation, the linear eccentricity (c) is given by <math>c=\left(\frac{le}{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{\left(x-\sqrt{a^{2}-b^{2}}\right)^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}=1</math>
- Parabola: <math>y^{2}=4a\left(x+a\right)</math>
- Hyperbola: <math>\frac{\left(x+\sqrt{a^{2}+b^{2}}\right)^{2}}{a^{2}}-\frac{y^{2}}{b^{2}}=1</math>
Homogeneous coordinates
In homogeneous coordinates a conic section can be represented as:
- <math>A_1x^2 + A_2y^2 + A_3z^2 + 2B_1xy + 2B_2xz + 2B_3yz = 0.</math>
Or in matrix notation
- <math>\begin{bmatrix}x & y & z\end{bmatrix} . \begin{bmatrix}A_1 & B_1 & B_2\\B_1 & A_2 & B_3\\B_2&B_3&A_3\end{bmatrix} . \begin{bmatrix}x\\y\\z\end{bmatrix} = 0. </math>
The matrix <math>M=\begin{bmatrix}A_1 & B_1 & B_2\\B_1 & A_2 & B_3\\B_2&B_3&A_3\end{bmatrix}</math> is called the matrix of the conic section.
<math> \Delta = \det(M) = \det\left(\begin{bmatrix}A_1 & B_1 & B_2\\B_1 & A_2 & B_3\\B_2&B_3&A_3\end{bmatrix}\right) </math> is called the determinant of the conic section. If Δ = 0 then the conic section is said to be degenerate; this means that the conic section is either a union of two straight lines, a repeated line, a point or the empty set.
For example, the conic section <math>\begin{bmatrix}x & y & z\end{bmatrix} . \begin{bmatrix}1 & 0 & 0\\0 & -1 & 0\\0&0&0\end{bmatrix} . \begin{bmatrix}x\\y\\z\end{bmatrix} = 0 </math> reduces to the union of two lines:
- <math> \{ x^2 - y^2 = 0\} = \{(x+y)(x-y)=0\} = \{x+y=0\} \cup \{x-y=0\}. \, </math>
Similarly, a conic section sometimes reduces to a (single) repeated line:
- <math>\{x^2+2xy+y^2 = 0\} = \{(x+y)^2=0\}=\{x+y=0\} \cup \{x+y=0\} = \{x+y=0\}. \,</math>
<math> \delta = \det\left(\begin{bmatrix}A_1 & B_1\\B_1 & A_2\end{bmatrix}\right) </math> is called the discriminant of the conic section. If δ = 0 then the conic section is a parabola, if δ < 0, it is an hyperbola and if δ > 0, it is an ellipse. A conic section is a circle if δ > 0 and A_{1} = A_{2} and B_{1} = 0, it is an rectangular hyperbola if δ < 0 and A_{1} = −A_{2}. It can be proven that in the complex projective plane CP^{2} 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.^{[14]}
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 must be a hyperbola, if they are imaginary conjugated, the conic section must be 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 it has two imaginary points that are not conjugated then it not a real conic section (its coefficients are complex).
Polar coordinates
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
- <math>r=\frac{l}Template:1+e\cos\theta,</math>
where e is the eccentricity and l is the semi-latus rectum (see above). As above, for e = 0, we have a circle, for 0 < e < 1 we obtain an ellipse, for e = 1 a parabola, and for e > 1 a hyperbola.
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.^{[15]} 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.^{[16]}
A pencil of conics can represented algebraically in the following way. Let C_{1} and C_{2} 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:
- <math>\lambda C_1 + \mu C_2</math>
represents a conic in the pencil determined by C_{1} and C_{2}. 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 C_{1}, say, as a ternary quadratic form, then C_{1} = 0 is the equation of the "conic C_{1}". Another concrete realization would be obtained by thinking of C_{1} as the 3×3 symmetric matrix which represents it. If C_{1} and C_{2} 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 <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; this step can be done efficiently using the dual conic representation of <math>C_0</math>
- the points of intersection will represent the solutions to the initial equation system.
Applications
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.
In projective geometry, the conic sections in the projective plane are equivalent to each other up to projective transformations.
For specific applications of each type of conic section, see the articles circle, ellipse, parabola, and hyperbola.
For certain fossils in paleontology, understanding conic sections can help understand the three-dimensional shape of certain organisms.
See also
- Circumconic and inconic
- Conic Sections Rebellion
- Dandelin spheres
- Director circle
- Elliptic coordinate system
- Focus (geometry), an overview of properties of conic sections related to the foci
- Lambert conformal conic projection
- Matrix representation of conic sections
- Nine-point conic
- Parabolic coordinates
- Projective conics
- Quadratic function
- Quadrics, the higher-dimensional analogs of conics
- Rotation of axes
Notes
- ^ Eves 1963, p. 319
- ^ Heath, T.L., The Thirteen Books of Euclid's Elements, Vol. I, Dover, 1956, pg.16
- ^ Stillwell, John (2010). Mathematics and its history (3rd ed. ed.). New York: Springer. p. 30. ISBN 1-4419-6052-X.
- ^ "Apollonius of Perga Conics Books One to Seven" (PDF). Retrieved 10 June 2011.
- ^ 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
- ^ Whitworth, William Allen. Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions, Forgotten Books, 2012 (orig. Deighton, Bell, and Co., 1866). http://www.forgottenbooks.com/search?q=Trilinear+coordinates&t=books
- ^ Paris Pamfilos, "A gallery of conics by five elements", Forum Geometricorum 14, 2014, 295--348. http://forumgeom.fau.edu/FG2014volume14/FG201431.pdf
- ^ "MathWorld: Cylindric section".
- ^ Eves 1963, p. 320
- ^ 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
- ^ Lawrence, J. Dennis, A Catalog of Special Plane Curves, Dover Publ., 1972.
- ^ Ayoub, Ayoub B., "The eccentricity of a conic section," The College Mathematics Journal 34(2), March 2003, 116–121.
- ^ Pettofrezzo, Anthony, Matrices and Transformations, Dover Publ., 1966, pp. 101-111.
- ^ 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.
- ^ Faulkner 1952, pg. 64
- ^ Samuel 1988, pg. 50
References
- Akopyan, A.V. and Zaslavsky, A.A. (2007). Geometry of Conics. American Mathematical Society. p. 134. ISBN 0-8218-4323-0.
- Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon
- Faulkner, T. E. (1952), Projective Geometry (2nd ed.), Edinburgh: Oliver and Boyd
- Samuel, Pierre (1988), Projective Geometry, Undergraduate Texts in Mathematics (Readings in Mathematics), New York: Springer-Verlag, ISBN 0-387-96752-4
External links
40x40px | Wikimedia Commons has media related to Conic sections. |
40x40px | Wikibooks has a book on the topic of: Conic sections |
40x40px | Wikisource has the text of the 1911 Encyclopædia Britannica article Conic Section. |
- Derivations of Conic Sections at Convergence
- Conic sections at Special plane curves.
- Weisstein, Eric W., "Conic Section", MathWorld.
- Determinants and Conic Section Curves
- Occurrence of the conics. Conics in nature and elsewhere.
- Conics. An essay on conics and how they are generated.
- 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.
- Cone-plane intersection MATLAB code
- Eight Point Conic at Dynamic Geometry Sketches
- An interactive Java conics grapher; uses a general second-order implicit equation.
Lua error in Module:Authority_control at line 346: attempt to index field 'wikibase' (a nil value).