Reflections in Ellipse
Choose two points T_{1}, T_{2} on an ellipse. Imagine a light source at T_{1} sending a ray of light in the direction of T_{2}. Assuming the inner surface of the ellipse fully reflective, the ray will bounce off at T_{2} and reach the ellipse again at T_{3} where it will bounce again and then again at point T_{4} and so on.
What if applet does not run? 
There are three possibilities:

In the latter two cases, the straight lines T_{k}T_{k+1} are said to form an envelope of the ellipse (case 2) or of the hyperbola (case 3.)
Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander BogomolnyReflections in Ellipse
The question is, What happens to a ray of light that hops off an elliptic mirror with a light source inside the ellipse?
One case, i.e. where the light source is located at a focus of the ellipse has been discussed from the first principles elsewhere. In this case, after every reflection the ray will proceed from one focus to the other indefinitely. This answer clearly applies to the case where the first the light source is not at a focus but emits a ray that passes through one.
Only other two possibilities are possible: either every piece of the light trajectory crosses between the foci of the ellipse or none does. In the latter case, the pieces envelope an ellipse, in the former a hyperbola. Bellow, we shall look into the case of ellipse.
What if applet does not run? 
Let the foci of the ellipse be F_{1} and F_{2}, and assume that the light source located at T_{1} on the ellipse emits a ray that reflects of the ellipse at point T_{2} and reaches it again at T_{3}. If T_{1}T_{2} does not cross F_{1}F_{2}, there is an ellipse confocal with the given one that touches T_{1}T_{2}. This is because the whole plane is split into the level curves of the function
We are going to prove that T_{2}T_{3} is tangent to the same ellipse.
Find F'_{1}, the reflection of F_{1} in T_{1}T_{2}, and F'_{2}, the reflection of F_{2} in T_{2}T_{3}. By the optical property of ellipse, the angles between the tangent at T_{2} and F_{1}T_{2} and F_{2}T_{2} are equal. By the construction, so are the angles between the tangent and T_{1}T_{2} and T_{3}T_{2}. It follows that the angles F_{1}T_{2}T_{1} and F_{2}T_{2}T_{3} are equal and so are their doubles:
F_{1}T_{2}F'_{1} = F_{2}T_{2}F'_{2}, 
implying that isosceles triangles F_{1}T_{2}F'_{1} and F_{2}T_{2}F'_{2} are similar. It then follows that triangles F_{1}T_{2}F'_{2} and F'_{1}T_{2}F_{2} are equal. In particular,
F_{2}F'_{1} = F_{1}F'_{2}. 
With respect to the constructed ellipse, the locus of points F'_{1} is a circle with center F_{2} and radius, say,
References
 V. Gutenmacher, N. Vasilyev, Lines and Curves: A Practical Geometry Handbook , Birkhauser, 1 edition (July 23, 2004)
Ellipse

[an error occurred while processing this directive]
Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny