Solution

ID: past-exam-of-the-mathematical-methods-ii-course-of-the-university-of-oxford/2015-resit/10/c/solution

Let , , and define the outward-from-focus unit vectors and . The ellipse is the nondegenerate level curve , with . The previous gradient result gives
If is a unit tangent at , orthogonality to the level-curve gradient implies
Therefore . These absolute dot products are the cosines of the acute angles made by the two focal lines with the unoriented tangent line. Thus those angles are equal.
Equivalently, the outward unit normal is , the bisector of the two unit focal directions. Its denominator is nonzero for a nondegenerate ellipse. Using , the specular reflection formula becomes
This algebra proves the equal-angle statement with the incident and reflected ray directions correctly oriented, rather than confusing the line with the outgoing direction .
Figure 1.
The focal-distance gradient bisects the normal and reflects one focus to the other
. Details.

New to topics? Read the docs here!