# 6.8: Conic Sections and Dandelin Spheres

Difficulty Level: At Grade Created by: CK-12
Estimated10 minsto complete
%
Progress
Practice Conic Sections and Dandelin Spheres

MEMORY METER
This indicates how strong in your memory this concept is
Progress
Estimated10 minsto complete
%
Estimated10 minsto complete
%
MEMORY METER
This indicates how strong in your memory this concept is

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?"

Embedded Video:

### Guidance

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 other side of the plane. After we’ve drawn both of these spheres we have this picture:

or

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 C1\begin{align*}C_1\end{align*} and C2\begin{align*}C_2\end{align*} 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 l\begin{align*}l\end{align*} drawn below, cuts off equal segments between the two circles. Let's call d\begin{align*}d\end{align*} the shortest distance along the cone between circles C1\begin{align*}C_1\end{align*} and C2\begin{align*}C_2\end{align*}. This can also be thought of as the shortest distance between C1\begin{align*}C_1\end{align*} and C2\begin{align*}C_2\end{align*} 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, AB=AC\begin{align*}AB=AC\end{align*}. (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 this description for more about this property.)

Now consider the point P\begin{align*}P\end{align*} on the ellipse drawn below. Let QR¯¯¯¯¯¯¯¯\begin{align*}\overline{QR}\end{align*} be the segment of length d\begin{align*}d\end{align*} between C1\begin{align*}C_1\end{align*} and C2\begin{align*}C_2\end{align*} that passes through P\begin{align*}P\end{align*}. The distances between the two foci are marked d1\begin{align*}d_1\end{align*} and d2\begin{align*}d_2\end{align*}. But d1=RP\begin{align*}d_1 =RP\end{align*} and d2=PQ\begin{align*}d_2 =PQ\end{align*} by the property of tangents to spheres discussed above. So d1+d2=RP+PQ=QR=d\begin{align*}d_1 + d_2 = RP + PQ = QR = d\end{align*}. And this sum will always equal d\begin{align*}d\end{align*}, no matter what point P\begin{align*}P\end{align*} 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 focus. 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 directrix. 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 l\begin{align*}l\end{align*} and is found by intersecting the plane defined by circle C\begin{align*}C\end{align*} and the cutting plane (the planes are shown in dashed lines for clarity). Finally, we will call the angle between the planes θ\begin{align*}\theta\end{align*}.

In the above diagram, we have labeled the point where the sphere contacts the cutting plane with F\begin{align*}F\end{align*}, and we’ll call that point the focus of the parabola. Suppose P\begin{align*}P\end{align*} is an arbitrarily chosen point on the parabola. Then, let Q\begin{align*}Q\end{align*} be the point on circle c\begin{align*}c\end{align*} such that PQ¯¯¯¯¯¯¯¯\begin{align*}\overline{P Q}\end{align*} is tangent to the sphere. In other words Q\begin{align*}Q\end{align*} is chosen so that PQ¯¯¯¯¯¯¯¯\begin{align*}\overline{P Q}\end{align*} lies on the cone itself. Let L\begin{align*}L\end{align*} be the point on the directrix l\begin{align*}l\end{align*} such that PL¯¯¯¯¯¯¯\begin{align*}\overline{P L}\end{align*} is perpendicular to l\begin{align*}l\end{align*}. Then PF=PQ\begin{align*}PF = PQ\end{align*} since both segments are tangents to the sphere from the same point P\begin{align*}P\end{align*}. We can also show that PQ=PL\begin{align*}PQ=PL\end{align*}. This follows from the fact that the cutting plane is parallel to one side of the cone. Consider the point P\begin{align*}P'\end{align*} that is the projection of P\begin{align*}P\end{align*} onto the plane containing circle C\begin{align*}C\end{align*}. Then  PPQ\begin{align*}\Box \ PP'Q\end{align*} and  PPL\begin{align*}\Box \ PP'L\end{align*} are both right angles by the definition of a projection.  PQP\begin{align*}\Box \ PQP'\end{align*} and  PLP\begin{align*}\Box \ PLP'\end{align*} are both equal to the angle 90θ\begin{align*}90 - \theta\end{align*} , where θ\begin{align*}\theta\end{align*} is the angle defined above, because the cutting plane and the cone both have an angle of θ\begin{align*}\theta\end{align*} with the horizon. Since they also share a side, triangles PQP\begin{align*}\triangle PQP'\end{align*} and \begin{align*}\triangle PLP'\end{align*} are congruent by \begin{align*}AAS\end{align*}. So the corresponding sides \begin{align*}\overline{P Q}\end{align*} and \begin{align*}\overline{P L}\end{align*} are congruent. By the transitive property we have \begin{align*}PF=PL\end{align*}, so the distance between the point \begin{align*}P\end{align*} on the parabola to the focus is the same as the distance between \begin{align*}P\end{align*} and the directrix \begin{align*}l\end{align*}. 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 \begin{align*}P\end{align*} is an arbitrary point on the hyperbola. We would like to examine the difference \begin{align*}PF_2 - PF_1\end{align*}. Let \begin{align*}C_1\end{align*} be the point on the upper sphere that lies on the line between \begin{align*}P\end{align*} and the vertex of the cone. Let \begin{align*}C_2\end{align*} be the point on the upper sphere when this line is extended (so \begin{align*}P\end{align*}, \begin{align*}C_1\end{align*}, and \begin{align*}C_2\end{align*} are all on the same line and \begin{align*}PC_1 + C_1 C_2 = PC_2\end{align*} and the cone By the common tangent property, \begin{align*}PF_1 = PC_1\end{align*} and \begin{align*}PF_2 = PC_2\end{align*} for some points \begin{align*}C_1\end{align*} and \begin{align*}C_2\end{align*} on the circles where the spheres meet the cone. So \begin{align*}PF_2 - PF_1 = PC_2 - PC_1 = (PC_1 + C_1 C_2) - PC_1 = C_1 C_2\end{align*}. But \begin{align*}C_1 C_2\end{align*} is the distance along the cone between the two circles of tangency and is constant regardless of the choice of \begin{align*}C_1\end{align*} and \begin{align*}C_2\end{align*}. So the difference \begin{align*}PF_2 - PF_1\end{align*} is constant.

#### Example A

What would the Dandelin Spheres look like if used to explore a circle?

Solution

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.

#### Example B

Conceptually speaking, why is there only one Dandelin Sphere used in the proof of a parabola?

Solution

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.

#### Example C

Explain why for any positive number \begin{align*}b\end{align*} and \begin{align*}a\end{align*}, there exists a \begin{align*}c\end{align*} such that \begin{align*}b^2=c^2-a^2\end{align*}.Let \begin{align*}c = \sqrt{a^2+b^2}\end{align*}.

Solution

Since \begin{align*}a^2 + b^2\end{align*} is always positive for positive \begin{align*}a\end{align*} and \begin{align*}b\end{align*}, this number is always defined. Geometrically, let \begin{align*}c\end{align*} be the hypotenuse of a right triangle with side lengths \begin{align*}a\end{align*} and \begin{align*}b\end{align*}.

### Vocabulary

The Dandelin Spheres are balls used to geometrically define the conic sections.

A tangency is a location or set of locations which "just touches" a second figure.

### Practice

1. Who was the first mathematician who conceptualized dandelin spheres? When?
2. What is proved by dandelin spheres?
3. How do you identify the foci of an ellipse using dandelin spheres?
4. If two tangents are drawn from a single point to a sphere, what can you say about the line segments formed?
5. How do the tangents relate to a radius of a sphere?
6. Describe the focal property of ellipses.
7. How and when did Germinal Dandelin prove the focal property for parabolas?
8. 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?
9. What is defined by the point where the sphere intersects the cutting plane?
10. Which construction uses two spheres in a single cone?
11. Which construction uses one sphere in a single cone?
12. Which construction uses two spheres and two cones?

Identify the parts listed on the diagram as specified below:

1. Directrix Line - Small Sphere
2. Directrix Line - Large Sphere
3. Focus - Small Sphere
4. Focus - Large Sphere
5. Vertex - Small Sphere
6. Vertex - Large Sphere
7. Directrix Plane - Small Sphere
8. Directrix Plane - Large Sphere
9. Cutting Plane
10. What conic section is illustrated here?

### Notes/Highlights Having trouble? Report an issue.

Color Highlighted Text Notes

### Vocabulary Language: English

TermDefinition
Conic Conic sections are those curves that can be created by the intersection of a double cone and a plane. They include circles, ellipses, parabolas, and hyperbolas.
Dandelin Spheres Dandelin spheres are spheres used to geometrically define the conic sections.
Ellipse Ellipses are conic sections that look like elongated circles. An ellipse represents all locations in two dimensions that are the same distance from two specified points called foci.
Ellipses Ellipses are conic sections that look like elongated circles. An ellipse represents all locations in two dimensions that are the same distance from two specified points called foci.
hyperbola A hyperbola is a conic section formed when the cutting plane intersects both sides of the cone, resulting in two infinite “U”-shaped curves.
Parabola A parabola is the set of points that are equidistant from a fixed point on the interior of the curve, called the '''focus''', and a line on the exterior, called the '''directrix'''. The directrix is vertical or horizontal, depending on the orientation of the parabola.
tangency A tangency is a point (or set of points) which "just touch" a figure.

Show Hide Details
Description
Difficulty Level:
Tags:
Subjects:

## Concept Nodes:

Date Created:
Nov 01, 2012
Jul 22, 2016
Files can only be attached to the latest version of Modality
Image Detail
Sizes: Medium | Original

MAT.ALY.640.L.1