Dandelin spheres

In geometry, the Dandelin spheres are one or two spheres that are tangent both to a plane and to a cone that intersects the plane. The intersection of the cone and the plane is a conic section, and the point at which either sphere touches the plane is a focus of the conic section, so the Dandelin spheres are also sometimes called focal spheres.^[1]

The Dandelin spheres were discovered in 1822.^[1][2] They are named in honor of the French mathematician Germinal Pierre Dandelin, though Adolphe Quetelet is sometimes given partial credit as well.^[3][4][5]

The Dandelin spheres can be used to give elegant modern proofs of two classical theorems known to Apollonius of Perga. The first theorem is that a closed conic section (i.e. an ellipse) is the locus of points such that the sum of the distances to two fixed points (the foci) is constant. The second theorem is that for any conic section, the distance from a fixed point (the focus) is proportional to the distance from a fixed line (the directrix), the constant of proportionality being called the eccentricity.^[6]

A conic section has one Dandelin sphere for each focus. An ellipse has two Dandelin spheres touching the same nappe of the cone, while hyperbola has two Dandelin spheres touching opposite nappes. A parabola has just one Dandelin sphere.

Consider the illustration, depicting a cone with apex S at the top. A plane e intersects the cone in a curve C (with blue interior). The following proof shall show that the curve C is an ellipse.

The two brown Dandelin spheres, G₁ and G₂, are placed tangent to both the plane and the cone: G₁ above the plane, G₂ below. Each sphere touches the cone along a circle (colored white), ${\displaystyle k_{1}}$ and ${\displaystyle k_{2}}$.

Denote the point of tangency of the plane with G₁ by F₁, and similarly for G₂ and F₂ . Let P be a typical point on the curve C.

To Prove: The sum of distances ${\displaystyle d(P,F_{1})+d(P,F_{2})}$ remains constant as the point P moves along the intersection curve C. (This is one definition of C being an ellipse, with ${\displaystyle F_{1}}$ and ${\displaystyle F_{2}}$ being its foci.)

• A line passing through P and the vertex S of the cone intersects the two circles, touching G₁ and G₂ respectively at points P₁ and P₂.
• As P moves around the curve, P₁ and P₂ move along the two circles, and their distance d(P₁, P₂) remains constant.
• The distance from P to F₁ is the same as the distance from P to P₁, because the line segments PF₁ and PP₁ are both tangent to the same sphere G₁.
• By a symmetrical argument, the distance from P to F₂ is the same as the distance from P to P₂.
• Consequently, we compute the sum of distances as ${\displaystyle d(P,F_{1})+d(P,F_{2})\ =\ d(P,P_{1})+d(P,P_{2})\ =\ d(P_{1},P_{2}),}$ which is constant as P moves along the curve.

This gives a different proof of a theorem of Apollonius of Perga.^[6]

If we define an ellipse to mean the locus of points P such that d(F₁, P) + d(F₂, P) = a constant, then the above argument proves that the intersection curve C is indeed an ellipse. That the intersection of the plane with the cone is symmetric about the perpendicular bisector of the line through F₁ and F₂ may be counterintuitive, but this argument makes it clear.

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.

The directrix of a conic section can be found using Dandelin's construction. Each Dandelin sphere intersects the cone at a circle; let both of these circles define their own planes. The intersections of these two parallel planes with the conic section's plane will be two parallel lines; these lines are the directrices of the conic section. However, a parabola has only one Dandelin sphere, and thus has only one directrix.

Using the Dandelin spheres, it can be proved that any conic section is the locus of points for which the distance from a point (focus) is proportional to the distance from the directrix.^[7] Ancient Greek mathematicians such as Pappus of Alexandria were aware of this property, but the Dandelin spheres facilitate the proof.^[6]

Neither Dandelin nor Quetelet used the Dandelin spheres to prove the focus-directrix property. The first to do so may have been Pierce Morton in 1829,^[8] or perhaps Hugh Hamilton who remarked (in 1758) that a sphere touches the cone at a circle which defines a plane whose intersection with the plane of the conic section is a directrix.^{[1][9][10][11]} The focus-directrix property can be used to prove that astronomical objects move along conic sections^{[broken anchor]} around the Sun.^[12]

Wikimedia Commons has media related to Dandelin spheres.

• Dandelin Spheres page by Hop David
• Weisstein, Eric W. "Dandelin Spheres". MathWorld.
• Math Academy page on Dandelin's spheres Archived 2007-04-11 at the Wayback Machine
• Les théorèmes belges by Xavier Hubaut (in French).
• Conic Section Orbits – Dandelin spheres by Greg Egan