# Focal Property of Parabola

This page has been identified as a candidate for refactoring of basic complexity.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Theorem

## Proof

This article needs proofreading.Please check it for mathematical errors.If you believe there are none, please remove `{{Proofread}}` from the code.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Proofread}}` from the code. |

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$