Today I will begin sharing the results of my investigation into reflections in parabolas. For a refresher on the problem, see my post Parabolic Reflections.
First of all, I have chosen to investigate only upward-facing parabolas with their verticies at the origin. If the conjecture is true for those parabolas, then it is true for parabolas in general, because the lines involved in the problem will form the same angles if translated, rotated, or reflected.
Proposition: Consider the parabola $x^2=4py$, where $0<p$. Let $a$ be a real number. Let $A$ be the vertical line $x=a$. Let $B$ be the line through $F=(0, p)$, the focus of the parabola, and $R=(a,\frac{a^2}{4p})$, the point where $A$ intersects the parabola. Let $C$ be the line tangent to the parabola at $R$. Then, for all $a$, the acute or right angle formed by $A$ and $C$ is equal to the acute or right angle formed by $B$ and $C$.
The relationships can bee seen in the figure below.

I found it necessary to split my proof into cases, depending on the value of $a$. The figure above represents the case $a=2p$. In that case, the slope of $B$ is zero. The other relevant cases are $a>2p$, where the slope of $B$ is positive, $0<a<2p$, where the slope of $B$ is negative, and $a=0$, where the slope of $B$ is undefined. The last of these cases is pictured below. As you can see, the proposition is trivially true when $a=0$ because $A$ and $B$ are the same line.

I will not discuss the cases where $a<0$. Because a parabola is symmetrical, it is sufficient to prove that the proposition holds for one half of it. (I did, in fact, consider those cases. I initially did the proof for the left side of the parabola instead of the right side. The math for the right side is slightly simpler, though, so that is what I will be presenting here.)
Tune in tomorrow for the proof for the case $a=2p$. It’s quite simple if you know that the slope of the line tangent to the parabola at $x$ is $\frac{x}{2p}$. Readers might enjoy seeing if they can work it out for themselves.
Leave a Reply