Conic section

In mathematics, a conic section (or just conic) is a curved locus of points, formed by intersecting a cone with a plane. The conic sections were named and studied as long ago as 200 BC, when Apollonius of Perga undertook a systematic study of their properties.

Contents

1 Types of conics

1.1 Eccentricity

2 Semi-latus rectum and polar coordinates

3 Applications

4 Dandelin spheres

5 Derivation

5.1 Derivation of the parabola
5.2 Derivation of the ellipse
5.3 Derivation of the hyperbola

6 See also

7 External links

Types of conics

Two well-known conics are the circle and the ellipse. These arise when the intersection of cone and plane is a closed curve. The circle is a special case of the ellipse in which the plane is perpendicular to the axis of the cone. If the plane is parallel to a generator line of the cone, the conic is called a parabola. Finally, if the intersection is an open curve and the plane is not parallel to a generator line of the cone, the figure is a hyperbola. (In this case the plane will intersect both halves of the cone, producing two separate curves, though often one is ignored.)

The degenerate cases, where the plane passes through the apex of the cone, resulting in an intersection figure of a point, a straight line or a pair of lines, are often excluded from the list of conic sections.

In the Cartesian coordinate system, the graph of a quadratic equation in two variables is always a conic section, and all conic sections arise in this way. If the equation is of the form

$ax^2 + 2hxy + by^2 +2gx + 2fy + c = 0\;$

then:

if h² = ab, the equation represents a parabola;
if h² < ab, the equation represents an ellipse;
if h² > ab, the equation represents a hyperbola;
if a = b and h = 0, the equation represents a circle;
if a + b = 0, the equation represents a rectangular hyperbola.

Eccentricity

An alternative definition of conic sections starts with a point F (the focus), a line L not containing F (the directrix) and a positive number e (the eccentricity). The corresponding conic section consists of all points whose distance to F equals e times their distance to L. For 0 < e < 1 we obtain an ellipse, for e = 1 a parabola, and for e > 1 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 a / e, where a is the semi-major axis of the ellipse, or the distance from the center to the tops of the hyperbola.

In the case of a circle e = 0 and one imagines the directrix to be infinitely far removed from the center. However, the statement that the circle consists of all points whose distance is e times the distance to L is not useful, because we get zero times infinity.

The eccentricity of a conic section is thus a measure of how far it deviates from being circular.

For a given a, the closer e is to 1, the smaller is the semi-minor axis.

Semi-latus rectum and polar coordinates

Semi-latus rectum in the case of an ellipse

The semi-latus rectum of a conic section, usually denoted l, is the distance from the single focus, or one of the two foci, to the conic section itself, measured along a line perpendicular to the major axis. It is related to a and b by the formula al = b².

In polar coordinates, a conic section with one focus at the origin and, if any, the other on the positive x-axis, is given by the equation

$r (1 - e \cos \theta) = l \,$

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.

Dandelin spheres

See Dandelin spheres for a short elementary argument showing that the characterization of these curves as intersections of a plane with a cone is equivalent to the characterization in terms of foci, or of a focus and a directrix.

Derivation

Let there be a cone whose axis is the z-axis. Let its vertex be the origin. The equation for the cone is

$x^2 + y^2 - a^2 z^2 = 0 \qquad \qquad (1)$

where

$a = \tan \theta > 0 \;$

and

$\;\!\theta$

is the angle which the generators of the cone make with respect to the axis. Notice that this cone is actually a pair of cones: one cone standing upside down on the vertex of the other cone -- or, as mathematicians say, this cone consists of two "nappes."

Let there be a plane with a slope running along the x direction but which is level along the y direction. Its equation is

$z = mx + b \qquad \qquad (2)$

where

$m = \tan \phi > 0 \;$

and

$\;\!\phi$

is the angle of the plane with respect to the x-y plane.

We are interested in finding the intersection of the cone and the plane, which means that equations (1) and (2) shall be combined. Both equations can be solved for z and then equate the two values of z. Solving equation (1) for z yields

$z = \sqrt{x^2 + y^2 \over a^2}$

therefore

$\sqrt{x^2 + y^2 \over a^2} = m x + b.$

Square both sides and expand the squared binomial on the right side,

${x^2 + y^2 \over a^2} = m^2 x^2 + 2 m b x + b^2. \;$

Grouping by variables yields

$x^2 \left( {1 \over a^2} - m^2 \right) + {y^2 \over a^2} - 2 m b x - b^2 = 0. \qquad \qquad (3)$

Note that this is the equation of the projection of the conic section on the xy-plane, hence contracted in the x-direction compared with the shape of the conic section itself.

Derivation of the parabola

The parabola is obtained when the slope of the plane is equal to the slope of the generators of the cone. When these two slopes are equal, then the angles

$\;\!\theta$

and

$\;\!\phi$

become complementary. This implies that

$\tan \theta = \cot \phi \;$

therefore

$m = {1 \over a} \qquad \qquad (4)$

Substituting equation (4) into equation (3) makes the first term in equation (3) vanish, and the remaining equation is

${y^2 \over a^2} - {2 \over a} b x - b^2 = 0.$

Multiply both sides by a²,

$y^2 - 2 a b x - a^2 b^2 = 0 \;$

then solve for x,

$x = {1 \over 2 a b} y^2 - {a b \over 2}. \qquad \qquad (5)$

Equation (5) describes a parabola whose axis is parallel to the x-axis. Other versions of equation (5) can be obtained by rotating the plane around the z-axis.

Derivation of the ellipse

An ellipse happens when the angles

$\;\!\theta$

and

$\;\!\phi$

, when added together, do not measure up to a right angle:

$\theta + \phi < {\pi \over 2} \qquad \qquad \mbox{(ellipse)}$

which implies that the tangent of the sum of these two angles is positive.

$\tan (\theta + \phi) > 0. \;$

But a trigonometric identity states that

$\tan (\theta + \phi) = {\tan \theta + \tan \phi \over 1 - \tan \theta \tan \phi}$

therefore

$\tan (\theta + \phi) = {m + a \over 1 - m a} > 0 \qquad \qquad (6)$

but m + a is positive, since the summands are given to be positive, so inequality (6) is positive if the denominator is also positive:

$1 - m a > 0. \qquad \qquad (7)$

From inequality (7) we can deduce

$m a < 1, \;$

$m^2 a^2 < 1, \;$

$1 - m^2 a^2 > 0, \;$

${1 \over m^2 a^2} > 1,$

${1 \over m^2 a^2} - 1 > 0,$

${1 \over a^2} - m^2 > 0 \qquad \qquad \mbox{(ellipse)}.$

Let us start out again from equation (3),

$x^2 \left( {1 \over a^2} - m^2 \right) + {y^2 \over a^2} - 2 m b x - b^2 = 0, \qquad \qquad (3)$

but this time the coefficient of the x² term does not vanish but is instead positive. Solve for y,

$y = a \sqrt{ b^2 + 2 m b x - x^2 \left( {1 \over a^2} - m^2 \right)} \qquad \qquad (8)$

This would clearly describe an ellipse were it not for the second term under the radical, the 2 m b x: it would be the equation of a circle which has been stretched proportionally along the directions of the x-axis and the y-axis. Equation (8) is an ellipse but it is not obvious, so it will be rearranged further until it is obvious. Complete the square under the radical,

$y = a \sqrt{ b^2 - \left[ x \sqrt{ {1 \over a^2} - m^2} - {b \over \sqrt{ {1 \over a^2 m^2} - 1}} \right]^2 + \left( {b^2 \over {1 \over a^2 m^2} - 1} \right)}.$

Group together the b² terms,

$y = a \sqrt{ b^2 \left( 1 + {1 \over {1 \over a^2 m^2} - 1} \right) - \left[x \sqrt{ {1 \over a^2} - m^2} - {b \over \sqrt{{1 \over a^2 m^2} - 1}} \right]^2 }.$

Divide by a then square both sides,

${y^2 \over a^2} + \left( x \sqrt{{1 \over a^2} - m^2} - {b \over \sqrt{{1 \over a^2 m^2} - 1}} \right)^2 = b^2 \left( 1 + {1 \over {1 \over a^2 m^2} - 1} \right)$

The x has a coefficient. It is desired to pull this coefficient out by factoring it out of the second term which is a square,

${y^2 \over a^2} + \left( {1 \over a^2} - m^2 \right) \left( x - {b \over \sqrt{ \left( {1 \over a^2 m^2} - 1 \right) \left( {1 \over a^2} - m^2 \right)}} \right)^2 = b^2 \left( 1 + { 1 \over {1 \over a^2 m^2} - 1} \right)$

Further rearrangements of constants finally leads to

${y^2 \over 1 - a^2 m^2} + \left( x - {m b \over {1 \over a^2} - m^2} \right)^2 = { a^2 b^2 \over (1 - a^2 m^2)^2}.$

The coefficient of the y term is positive (for an ellipse). Renaming of coefficients and constants leads to

${y^2 \over A} + (x - C)^2 = R^2 \qquad \qquad (9)$

which is clearly the equation of an ellipse. That is, equation (9) describes a circle of radius R and center (C,0) which is then stretched vertically by a factor of

$\sqrt{A}$

. The second term on the left side (the x term) has no coefficient but is a square, so that it must be positive. The radius is a product of squares, so it must also be positive. The first term on the left side(the y term) has a coefficient which is positive, so the equation describes an ellipse.

Derivation of the hyperbola

The hyperbola happens when the angles

$\;\!\theta$

and

$\;\!\phi$

add up to an obtuse angle, which is greater than a right angle. The tangent of an obtuse angle is negative. All the inequalities which were valid for the ellipse become reversed. Therefore

$1 - a^2 m^2 < 0 \qquad \qquad \mbox{(hyperbola)}.$

Otherwise the equation for the hyperbola is the same as equation (9) for the ellipse, except that the coefficient A of the y term is negative. The sign change is enough to convert an ellipse into a hyperbola. This is because the equation of a real ellipse contains an imaginary hyperbola, and the equation of a real hyperbola contains an imaginary ellipse (see imaginary number). The sign change of coefficient A causes real and imaginary values of the function y=f(x) equivalent to equation (9) to swap.

External links

Special plane curves: Conic sections (http://xahlee.org/SpecialPlaneCurves_dir/ConicSections_dir/conicSections.html)
http://mathworld.wolfram.com/Focus.html
Occurrence of the conics (http://ccins.camosun.bc.ca/~jbritton/jbconics.htm) in nature and elsewhere

de:Kegelschnitt es:Sección cónica fr:Conique he:חתך חרוטי nl:Kegelsnede ja:円錐曲線 pl:Krzywa stożkowa ru:Коническое сечение sl:Stožnica sv:Kägelsnitt zh:圆锥曲线

Categories: Conic sections

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.