Dandelin spheres
|
|
DandelinSpheres.gif
In geometry, a nondegenerate conic section formed by a plane intersecting a cone has one or two Dandelin spheres characterized thus:
- Each Dandelin sphere touches, but does not cross, both the plane and the cone.
This concept is named in honor of Germinal Pierre Dandelin.
Each conic section has one Dandelin sphere for each focus.
- An ellipse has two Dandelin spheres, both touching the same nappe of the cone.
- A hyperbola has two Dandelin spheres, touching opposite nappes of the cone.
- A parabola has just one Dandelin sphere.
Dandelin's theorem
The reason for interest in Dandelin spheres is this theorem:
- The point at which the sphere touches the plane is a focus of the conic section.
Proof: Consider the illustration, depicting a plane intersecting a cone in an ellipse. The two Dandelin spheres are shown. Each sphere touches the cone in a circle. Each sphere touches the plane in a point. Call those two points F1 and F2. Let P be a typical point on the ellipse. The sum of distances d(F1, P) + d(F2, P) must be shown to remain constant as the point P moves along the curve. A line passing through P and the vertex of the cone intersects the two circles in points G1 and G2. As P moves along the ellipse, G1 and G2 move along the two circles. The distance from Fi to P is the same as the distance from Gi to P, because both are tangent to the same sphere. Consequently the sum of distances d(F1, P) + d(F2, P) is what we need to show remains constant. But, since P is on a straight line between G1 to G2, this follows from the fact that the distance from G1 to G2 remains constant.
Adaptations of this argument work for hyperbolas and parabolas as intersections of a plane with a cone. Another adaptation works for an ellipse realized as the intersection of a plane with a right circular cylinder.
Consequences of this theorem and its proof
If (as is often done) one takes the definition of the ellipse to be the locus of points P such that d(F1, P) + d(F2, P) = a constant, then the argument above proves that the intersection of a plane with a cone is indeed an ellipse. That the intersection of the plane with the cone is symmetric about the perpendicular bisector of the line through F1 and F2 may be counterintuitive, but this argument makes it clear.
External links
- Dandelin Spheres page by Hop David (http://www.clowder.net/hop/Dandelin/Dandelin.html)
- Dandelin Spheres -- Mathworld (http://mathworld.wolfram.com/DandelinSpheres.html)
- Math Academy page on Dandelin's spheres (http://www.mathacademy.com/pr/prime/articles/dandelin/index.asp)
- Java applet JDandelin (http://www.lostlecture.host.sk/JDandelinEn.htm), on a web site devoted to Richard Feynman's "lost lecture"de:Dandelinsche Kugel