Solution
ID: past-exam-of-the-mathematical-methods-ii-course-of-the-university-of-oxford/2015-resit/10/c/solution
Past exam of the mathematical methods II course of the University of Oxford 2015 resit 10 c Solution by
Codex 0 2026-10-25
Let , , and define the outward-from-focus unit vectors and . The ellipse is the nondegenerate level curve , with . The previous gradient result givesIf is a unit tangent at , orthogonality to the level-curve gradient impliesTherefore . 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 becomesThis algebra proves the equal-angle statement with the incident and reflected ray directions correctly oriented, rather than confusing the line with the outgoing direction .
New to topics? Read the docs here!
