Why slicing a cone gives an ellipse (beautiful proof)

This video presents a beautifully accessible geometric proof that three seemingly different definitions of an ellipse—a stretched circle, the two-thumbtacks-and-string construction, and a cone sliced at an angle—all yield the same curve. The key insight is the introduction of two spheres, known as Dandelin spheres, nestled inside the cone above and below the slicing plane, whose points of tangency with that plane become the ellipse’s foci. By showing that distances from any point on the curve to these foci sum to a constant, the proof elegantly connects the cone slice to the classic string-and-tacks property. The narrator argues this proof exemplifies mathematical beauty because it requires little background knowledge while showcasing genuine cleverness. Ultimately, the video reframes mathematical ingenuity not as an inexplicable miracle but as the product of accumulated experience, making genius feel inspirational rather than untouchable.

• ▶ 0:04 The section opens by challenging the viewer to pick one proof that best shows why math is beautiful, emphasizing it should be accessible to many backgrounds and capture mathematical cleverness.
• ▶ 0:20 The motivation comes from a Reddit question after the narrator's Feynman's Lost Lecture video on MinutePhysics: why is the two-thumbtacks-and-string ellipse the same as slicing a cone?
• ▶ 0:38 The narrator introduces the chosen proof as "one of my all-time favorite proofs" — a lovely bit of 3D geometry that requires almost no background knowledge yet still shows mathematical inventiveness.
• ▶ 0:51 Three geometric definitions are introduced: a stretched circle (multiply x-coordinates), the two-thumbtacks-and-string construction (constant sum of distances to foci), and slicing a cone at an angle.
• ▶ 2:00 Eccentricity, humorously called "squishification," ranges from 0 for a circle to near 1 for a highly stretched ellipse; it appears in the thumbtack definition as the focal distance divided by the major axis, and in the cone definition as the slope of the cutting plane.
• ▶ 3:07 The central question: why should all three distinct methods produce precisely the same family of symmetric curves — especially since intuition might expect the cone intersection to be a lopsided egg shape?

• ▶ 4:40 The key idea is to introduce two spheres into the cone-and-plane picture—one above and one below the slicing plane—each tangent to the cone along a circle and tangent to the plane at a single point.

• ▶ 5:25 The two points where the spheres touch the slicing plane are proposed as the ellipse's foci, with the proof strategy being to draw lines from these foci to an arbitrary point on the ellipse and show their sum is constant.

• ▶ 5:59 A key observation is that each line from a focus to an ellipse point is tangent to its respective sphere, and the proof must also exploit the spheres' defining circles of tangency with the cone.

• ▶ 6:31 A line drawn along the cone from the top circle to the bottom circle crosses the ellipse, giving two segments whose sum is constant for every point on the ellipse—mirroring the thumbtack property, but with distances to the circles, not the foci.
• ▶ 7:29 The conjecture is that the distance from an ellipse point down to the big circle equals its distance to the first proposed focus, and the distance up to the small circle equals its distance to the second proposed focus.
• ▶ 8:05 The proof works because both relevant line segments are tangent to the same sphere from the same external point, so their lengths are equal—applied twice to relate the cone lines to the focus lines and establish the constant sum.
• ▶ 9:18 Slicing a cone produces the same curve as the thumbtack (string-and-foci) construction, because the curve satisfies the constant focal sum property of an ellipse.
• ▶ 9:30 The proof is attributed to Germinal Dandelin (1822), giving the spheres used in the proof their name: Dandelin spheres.
• ▶ 9:44 The same approach shows that slicing a cylinder at an angle also produces an ellipse, and connecting this to projecting a tilted plane demonstrates the equivalence with the "stretched circle" definition.
• ▶ 10:06 This proof represents mathematics well because it is substantive and beautiful without demanding heavy background, and it shows that mathematics often values equivalences between definitions over a single "most fundamental" approach.
• ▶ 10:45 The creative core—adding the two spheres—raises the question of where such ideas come from, and the narrator argues we can say more than Paul Lockhart does about its origin.
• ▶ 12:11 Ingeniousness is not an inexplicable miracle but the residue of experience, which reframes genius from something mesmerizing into something actively inspirational.

• ▶ 0:04 Introduction and Motivation (0:04 - 0:49) - - Why this proof was chosen as a beautiful example of mathematics, motivated by Feynman and a Reddit question.
• ▶ 0:49 Ellipse Definitions and Their Expected Equivalence (0:49 - 3:52) - - Presents the three geometric definitions of an ellipse and asks why they should all describe the same curve.
• ▶ 3:52 Dandelin Spheres: Setup and Proposed Foci (3:52 - 6:31) - - Introduces two tangent spheres, identifies their tangent points as the proposed foci, and states the goal.
• ▶ 6:31 Proving the Conjecture with Tangent Lines (6:31 - 9:18) - - Uses equal tangent lengths along the cone to prove the distance property of the ellipse.
• ▶ 9:18 Conclusion and Cylinder Extension (9:18 - 10:06) - - Concludes that cone-slicing matches the thumbtack construction, then extends the idea to cylinders.
• ▶ 10:06 Why This Proof Represents Mathematics (10:06 - 12:28) - - Reflects on why this proof exemplifies mathematical beauty and where the sphere-adding idea comes from.