# Focal Property of Parabola

## Theorem

## Proof

Consider the following parabola whose axis of symmetry is the y-axis along with an incoming light ray from $B$ which is parallel to the axis of symmetry, reflects off the parabola at the point $P$ and intersects the y-axis at the point $F$. Points $B$, $P$, and $Q$ are co-linear and the point $Q$ also lies on the directrix of the parabola; the line $AT$ is the tangent of the parabola at the point $P$:

By the Law of Reflection the angle of incidence, $90 \degrees - \angle BPT$, is equal to the angle of reflection, $90 \degrees - \angle APF$. Hence

- $\angle BPT = \angle APF$

Note: Incoming and outgoing light rays both follow the same Law of Reflection; hence, this argument is valid for both incoming and outgoing light rays.

From Two Straight Lines make Equal Opposite Angles we also know that

- $\angle BPT = \angle APQ$

We now consider the two triangles $APQ$ and $APF$.

They have an equal side, $AP$, and an equal angle, $\angle APQ = \angle APF$, and by the Triangle Side-Angle-Side Equality triangles $APQ$ and $APF$ will be equal if and only if $FP$ and $PQ$.

From the definition of a parabola it is the locus of the points that are equidistant from the focus and the directrix; hence the point $F$ is the focus.

## Corollary 1

**Tangent bisection property**

The above proof and the accompanying diagram show that the tangent $AP$ bisects the angle $\angle FPQ$.

In other words, the tangent to the parabola at any point bisects the angle between the lines joining the point to the focus and perpendicularly to the directrix.

## Corollary 2

**Reflection of light striking the convex side**

If light travels along the line $QP$, it moves parallel to the axis of symmetry and strikes the convex side of the parabola at $P$. By Two Straight Lines make Equal Opposite Angles it is clear from the above diagram that this light will be reflected directly away from the focus, along an extension of the line $FP$.

## Sources

- 1972: George F. Simmons:
*Differential Equations*... (previous) ... (next): $\S 2.9$: Integrating Factors: Example $2$