What can we say if a point on an ellipse is directly above the focus?
Question
The point is a focus of the ellipse , and is a point on the ellipse such that is perpendicular to the axis of . The tangent and normal to the ellipse at meet the axis of in and respectively. If is the other focus of the ellipse prove that .
Suggestion
[interactive embed (geogebra-iframe): //www.geogebratube.org/material/iframe/id/mSqSVCQr/width/700/height/550/border/888888/rc/false/ai/false/sdz/false/smb/false/stb/false/stbh/false/ld/false/sri/true/asb/false/at/html5] — not part of the text import; see the source page.
Download GeoGebra file
The lengths and are measured on the diagram.
As we vary and , how do the two lengths compare? Can we now turn this into a proof?
What are the foci of an ellipse? What are their coordinates on the -axis (if the -axis contains the semi major axis)?
Assume that the focus is on the positive -axis, without any loss of generality. Once we know the coordinates of , how can we find the coordinates of ? (Again, let this point be in the first quadrant.)
What is the gradient of the ellipse at an arbitrary point of the ellipse?
We now have and a general form for the gradient. What are the equations of the normal and tangent to the curve at this point? What then are the two intercepts and ?
Solution
Firstly, we can work out the coordinates of .
It is a standard property of ellipses that the distance from the centre
to either
focus
is
(with the convention that
). Thus at points
and
we have
. Thus the
-coordinate of
is
so and so since we have picked to be in the top right quadrant. Thus has coordinates .
Now let’s work out the equation of the tangent to the ellipse at .
We differentiate the equation of the ellipse implicitly to find the gradient of the tangent at
: we have
and so
Thus at point
the derivative is
The equation of the tangent to the ellipse through therefore has the equation
We can use this equation to work out the coordinates of .
When
we get point
, where
so has coordinates . (Without loss of generality we are assuming .)
Now let’s work out the equation of the normal at and the coordinates of .
Similarly, the equation of the normal at
is
When
we get the point
, where
so has coordinates .
Now we want to prove that .
The other focus of the ellipse, , has coordinates .
Therefore we have
Similarly, since we know that is above the -axis and is below it (had we chosen the other focus as this would be reversed.)
Thus as required.
For an alternative solution using the geometry of the ellipse, look at Solution 2.
Solution 2
We’ve added points and , where and are the points at which the tangent and normal intersect the axis.
We’ll use the reflection property of the ellipse. This states that any light beam sent from one focus will always reflect back to the other focus.
In our diagram, this is equivalent to the statement that .
Let this angle be and let , so that any right-angled triangle for which one angle is either or must have angles , and (as they must sum to ).
We can now find most of the angles in the diagram.
We can see that and are both isosceles. This tells us that and and so .
As the foci are equidistant from the minor axis, we know that the -axis bisects , and so must also bisect .
Hence , which gives us that , as required.
What can we deduce about the quadrilateral ?
As an extension, show that . What can we deduce about the polygon ?
Does this result still hold when is any point on the ellipse?