The slope at any point is 2x. To find the focus, we require the y-value where the slope equals 1, that occurs when

So the focus is at the point:

Now, we want to consider all points x. At every such point

The line from the focus (superimposed in magenta on our old diagram) has the slope at every point of:

Rather than deal explicitly with calculating angles, I'm going to use vectors. There are three of them in this problem. It doesn't matter whether we take the vectors in their forward or reverse directions, so I'll consider IN as

the reverse of the unit vector of light coming in:

The reverse of the vector of light coming out calculated above, and the slope are:

What we are trying to prove is that the angle between OUT (magenta arrow) and M (slope or tangent to the curve at the magenta point) is the same as the angle between IN (blue dotted line) and M.

In vector algebra, the dot product

where the absolute value of the vectors comes from Pythagoras, and θ is the angle between them. In the language of vectors, we claim that the angles for the two vector comparisons are the same, and therefore:

So the left-hand side is just 2x.

The right-hand side looks complicated but it is easily simplified. The numerator is:

The denominator is:

Cancel x

^{2}+ 1/4 from both top and bottom, leaving 2x, and the identity is verified! There is one more question, however, and that is whether we can generalize this result to

*any*parabola. That will have to wait.

## No comments:

Post a Comment