Conics and Quadrics - Key Proof

ProofProof of the Reflective Property of Ellipses

Theorem: The tangent line at any point $P$ on an ellipse with foci $F_1$ and $F_2$ makes equal angles with the focal radii $PF_1$ and $PF_2$ .

Proof:

Let $P$ be a point on the ellipse with foci $F_1$ and $F_2$ , so $|PF_1| + |PF_2| = 2a$ (constant).

Step 1 (Characterizing the tangent): We prove the tangent at $P$ is the line that makes equal angles with $PF_1$ and $PF_2$ by showing any other line through $P$ intersects the ellipse at another point.

Consider a line $\ell$ through $P$ that doesn't satisfy the equal-angle condition. Reflect $F_1$ across $\ell$ to get $F_1'$ . If the angles were equal, $F_1'$ would lie on line $PF_2$ .

Step 2 (Using the focal property): For any point $Q$ on $\ell$ distinct from $P$ :

|QF_1| + |QF_2| = |QF_1'| + |QF_2|

By the triangle inequality, $|QF_1'| + |QF_2| \geq |F_1'F_2|$ , with equality only when $Q$ lies on segment $\overline{F_1'F_2}$ .

Step 3 (Minimization): The sum $|QF_1| + |QF_2|$ is minimized along $\ell$ when $Q = P$ if and only if $P$ lies on the straight path from $F_1$ to $F_2$ via reflection across $\ell$ —precisely when $\ell$ makes equal angles with $PF_1$ and $PF_2$ .

Step 4 (Conclusion): Since $P$ is on the ellipse, $|PF_1| + |PF_2| = 2a$ . For $\ell$ to be tangent (intersect the ellipse only at $P$ ), we need $|QF_1| + |QF_2| > 2a$ for all $Q \neq P$ on $\ell$ .

This occurs exactly when the equal-angle condition holds. Therefore, the tangent at $P$ bisects the exterior angle between $PF_1$ and $PF_2$ . ∎

■

This elegant proof combines geometric insight (reflection) with the defining property of the ellipse (constant sum of focal distances). The equal-angle property has a physical interpretation: a light ray from $F_1$ hitting the ellipse reflects toward $F_2$ , following the law of reflection (angle of incidence equals angle of reflection).

Remark

Alternative proofs include:

Calculus approach: Parametrize the ellipse, compute the tangent vector, and show it bisects the angle
Analytic geometry: Write the tangent line equation and verify the angle condition using slopes
Differential geometry: Use the variational characterization that geodesics have equal reflection angles

Each approach illuminates different aspects of the theorem.

ExamplePhysical Application

In elliptical billiards, a ball shot from focus $F_1$ reflects off the elliptical wall and passes through focus $F_2$ , then returns to $F_1$ , continuing indefinitely. This creates a stable periodic orbit.

More generally, the study of billiard dynamics in ellipses connects to:

Integrable systems in classical mechanics
Caustics in geometric optics
Symplectic geometry and phase space structure

The proof extends to parabolas (focus reflects to parallel rays) and hyperbolas (focus reflects toward second focus). These three cases unify under the general principle: the tangent at a point minimizes or maximizes appropriate distance functions involving the foci.