Focal Properties of Parabola
Let $A$ lie on a parabola. Then the tangent to the parabola at $A$ makes equal angles with $AF$ and $AA'.$
By definition, $\Delta FAA'$ is isosceles. Let $T$ be the midpoint of $FA'.$ Then the perpendicular bisector $AT$ divides the plane into two parts: one consists of points that are nearer to $F$ than they are to $A';$ the other consists of points that are nearer to $A'.$ Except for $A,$ all points of the parabola lie in the former half. Indeed, let $B$ be a point on the parabola. Then, since $BB'$ is the shortest segment from $B$ to the directrix, $FB = BB' \lt BA'.$ In particular, $B$ does not belong to $AT.$ We conclude that $A$ is the only point of intersection of that line with the parabola. Therefore, $AT$ is tangent to the parabola at $A.$
The property is so simple it has been framed as a proof without words, see [Nelsen, p. 44].
- R. Nelsen, Proofs Without Words, MAA, 1993
Copyright © 1996-2018 Alexander Bogomolny