## Conic Sections

As is well known there are three (proper) *conic sections*: *ellipse*, *parabola* and *hyperbola*. They are so called because one way to obtain them is to cut with a plane through a (circular) cone. Depending on the relative position of the plane and the cone, the intersection will present
one of the three conic sections. (But there are also exceptional cases.)

Ellipse is known by its focal definition: it's a locus of all points P in the plane the sum of whose distances from two fixed points F_{1} and F_{2}, the *foci*, has a constant value. In 1822, the Belgian mathematician G. P. Dandelin gave a beatiful proof of the following result:

*When a conic section is a finite shape it's always an ellipse.*

That such a simple proof of the result known yet to ancient Greeks was discovered in the 19th century is nothing short of wonderful.

### Proof

Imagine first a huge sphere S_{1} inside the cone. Let the sphere be so big as to not touch the cutting plane. Assume it touches the cone over the circle K_{1}. Shrink the sphere S_{1} (suck it into the cone) until it touches the plane at point F_{1}. From the other side, near the vertex O, imagine another sphere S_{2}, now so small as not to touch the plane. Let it touch the cone over a circle K_{2}. Let S_{2} grow until it finally touches the plane at F_{2}. As you may have guessed, F_{1} and F_{2} are the two foci we need to establish that the conic section is indeed an ellipse.

Observe first that the circles K_{1} and K_{2} are parallel. Therefore any straight line on the surface of the cone passing through its vertex will cut a segment Q_{1}Q_{2} of constant length between the two circles.

Next, let P be a point on the conic section. Draw a line OQ_{1}Q_{2} through P. Since Both PQ_{1} and PF_{1} are tangent to S_{1}, we have _{1} = PF_{1}._{2} = PF_{2}_{2} and PF_{2} are tangent to S_{2}. Therefore, _{1} + PF_{2} = PQ_{1} + PQ_{2}.

(The spheres S_{1} and S_{2} are now known as *Dandelin's spheres*. Similar proofs and spheres are constructed for hyperbola and parabola.)

Then there is a way to visualize conic sections. Watch the shadow thrown by a ball when a light source moves around it. The border of the shadow is liable to be one of the three conic sections.

### References

- R.Courant and H.Robbins,
*What is Mathematics?*, Oxford University Press, 1996 - D.Hilbert and S.Cohn-Vossem,
*Geometry and Imagination*, Chelsea Publishing Co., NY, 1990 - R.Honsberger,
*More Mathematical Morsels*, MAA, New Math Library, 1991

There is an extensive bibliography of the related materials available online at the exemplary site by Xah Lee.

### Remarks on Exceptional Sections

First of all, a cone is characterized by three elements: its vertex, its axis of symmetry and its generating line. When the cutting plane is perpendicular to the axis of symmetry, the elliptic section reduces to its particular case, a circle. A circle is an ellipse, for which two focal points coalesce into one - the center of the circle.

Second of all, three exceptional cases arise when the cutting plane passes through the vertex of the cone. The plane may have no other points in common with the cone, so that the vertex - a single point - should be considered a conic section in its own right. A plane through the vertex that meets a cone in other points may be either tangent to the cone at one of the generating lines or cross the cone at two straight lines that meet at the vertex. Seeing the former case as the limiting configuration of the latter, it's customary to say that in both cases the section consists of two straight lines, that coincide when the plane is tangent to the cone.

The three exceptional cases are known as *degenerate conics*.

Third of all, the vertex may be moved to infinity. The cone then *degenerates* into a cylinder, that, besides an ellipse, may have two parallel lines or even an empty set as its sections.

|Contact| |Front page| |Contents| |Geometry| |Up|

Copyright © 1996-2018 Alexander Bogomolny