One of the major activities of mathematicians and scientists of all kinds is learning, and attempting to prove, how and why things work.
Since Ancient Greece at the beginning of the millennium, and likely well before, the properties of conic sections have been studied. One that has been explored extensively is the "Focal Property", which we have referred to in nearly every lesson in this section.
There are a number of mathematical proofs of the focal property, but trying to explain such proofs to someone who does not dedicate his or her life to mathematics is difficult. The Dandelin Spheres are one solution.
What are "Dandelin Spheres?"
- James Sousa: Graphing Quadratics
Dandelin Spheres and the equation of an ellipse
It wasn’t until 1822 that the French mathematician Germinal Dandelin thought of this very clever construction. Dandelin found a way to find the foci and prove the focal property in one fell swoop.
Take the conic section in question. Then choose a sphere that is just the right size so that when it’s dropped into the conic, it touches the intersecting plane, as well as being snug against the cone on all sides. If you prefer, you can think of the sphere as a perfectly round balloon that is blown up until it “just fits” inside the cone, still touching the plane. Then do the same on the
side of the plane. After we’ve drawn both of these spheres we have this picture:
These spheres are often called “Dandelin spheres”, named after their discoverer. It turns out that not only is our shape an ellipse (which, like all ellipses satisfies the focal property), but these spheres touch the ellipse exactly at the two foci. To see this, consider this geometric argument.
The first thing to notice is that the circles
shown on the diagram below, where each sphere lies snug against the cone, lie in parallel planes to one another. In particular, each line passing through these circles and the vertex of the cone, such as the line
drawn below, cuts off equal segments between the two circles. Let's call
the shortest distance along the cone between circles
. This can also be thought of as the shortest distance between
that passes through the vertex of the cone.
The next thing to remember is a property of tangents to spheres that you may have learned in geometry. If two segments are drawn between a point and a sphere, and if the line containing each segment is tangent to the sphere, then the two segments are equal. In the diagram below,
. (This follows from the fact that tangents are perpendicular to the radii of a sphere and that two congruent triangles are formed in this configuration. See
for more about this property.)
Now consider the point
on the ellipse drawn below. Let
be the segment of length
that passes through
. The distances between the two foci are marked
by the property of tangents to spheres discussed above. So
. And this sum will always equal
, no matter what point
on the ellipse is chosen. So this proves the focal property of ellipses: that the sum of the distances between any point on the ellipse and the two foci is constant.
Dandelin and the Parabola
Like the ellipse, the parabola has a focal property. And, also like the ellipse, a construction similar to Dandelin’s with the spheres can show us what it is. Dandelin himself didn’t prove the focal property for parabolas that we are about to discuss, but Pierce Morton used a sphere construction similar to Dandelin’s to prove the focal property of parabolas in 1829. We’ll look at Morton’s argument here.
In contrast with the argument we made for the ellipse, for a parabola we can only fit one tangent sphere inside the cone. That is, only one sphere can be tangent to both the cone and the cutting plane. In the diagram below, the sphere fits underneath the cutting plane, but there is no room for a sphere to lie on top of the cutting plane and still be tangent to the cone.
As with the ellipse, the point where the sphere intersects the plane is called a
. But because there is only one sphere in this construction, and this is related to the fact that a parabola has only one focus. The other geometric object of interest is called the
. This is the line that results from the intersection between the cutting plane and the plane that contains the circle of contact between the sphere and the cone. In the diagram below, the directrix is labeled
and is found by intersecting the plane defined by circle
and the cutting plane (the planes are shown in dashed lines for clarity). Finally, we will call the angle between the planes
In the above diagram, we have labeled the point where the sphere contacts the cutting plane with
, and we’ll call that point the focus of the parabola. Suppose
is an arbitrarily chosen point on the parabola. Then, let
be the point on circle
is tangent to the sphere. In other words
is chosen so that
lies on the cone itself. Let
be the point on the directrix
is perpendicular to
since both segments are tangents to the sphere from the same point
. We can also show that
. This follows from the fact that the cutting plane is parallel to one side of the cone. Consider the point
that is the projection of
onto the plane containing circle
are both right angles by the definition of a projection.
are both equal to the angle
is the angle defined above, because the cutting plane and the cone both have an angle of
with the horizon. Since they also share a side, triangles
are congruent by
. So the corresponding sides
are congruent. By the transitive property we have
, so the distance between the point
on the parabola to the focus is the same as the distance between
and the directrix
. We have just proven the focus-directrix property of parabolas.
Dandelin spheres and hyperbolas
To prove the focal property of hyperbolas, we examine Dandelin’s sphere construction. Unlike the construction for ellipses, which used two spheres on one side of the cone, and the sphere construction for parabolas, which used one sphere on one side of the cone, this construction uses two spheres, one on each side of the cone. As with the ellipse construction, each sphere touches the plane at one of the foci of the hyperbola. And as with the argument for the elliptical focal property, the argument uses the fact that tangents from a common point to a sphere are equal.
In the above diagram, suppose
is an arbitrary point on the hyperbola. We would like to examine the difference
be the point on the upper sphere that lies on the line between
and the vertex of the cone. Let
be the point on the upper sphere when this line is extended (so
are all on the same line and
and the cone By the common tangent property,
for some points
on the circles where the spheres meet the cone. So
is the distance along the cone between the two circles of tangency and is constant regardless of the choice of
. So the difference
What would the Dandelin Spheres look like if used to explore a circle?
Since the spheres touch the figure within just at the foci, and since a circle is an ellipse with both foci at the same point, the spheres would sit directly above each other, and would touch the circle at the center point on both sides.
Conceptually speaking, why is there only one Dandelin Sphere used in the proof of a parabola?
As we learned in the proof for an ellipse, the Dandelin sphere must be tangent to both the cone, e.g., the sphere touches the cone all the way around in a circle, and the plane, where the tangency is a single point. In the case of a parabola, the sphere below the plane "fits" just fine, but a sphere above the plane would "sit on" the plane, and not touch the cone all the way around. The figure only allows for one sphere to be tangent.
Explain why for any positive number
, there exists a
is always positive for positive
, this number is always defined. Geometrically, let
be the hypotenuse of a right triangle with side lengths
are balls used to geometrically define the conic sections.
is a location or set of locations which "just touches" a second figure.
Who was the first mathematician who conceptualized dandelin spheres? When?
What is proved by dandelin spheres?
How do you identify the foci of an ellipse using dandelin spheres?
If two tangents are drawn from a single point to a sphere, what can you say about the line segments formed?
How do the tangents relate to a radius of a sphere?
Describe the focal property of ellipses.
How and when did Germinal Dandelin prove the focal property for parabolas?
What is the line that results from the intersection between the cutting plane and the plane that contains the circle of contact between the sphere and cone?
What is defined by the point where the sphere intersects the cutting plane?
Which construction uses two spheres in a single cone?
Which construction uses one sphere in a single cone?
Which construction uses two spheres and two cones?
Identify the parts listed on the diagram as specified below:
Directrix Line - Small Sphere
Directrix Line - Large Sphere
Focus - Small Sphere
Focus - Large Sphere
Vertex - Small Sphere
Vertex - Large Sphere
Directrix Plane - Small Sphere
Directrix Plane - Large Sphere
What conic section is illustrated here?