Mock Geometry AIME 2011 Problems/Problem 14
Problem
The point is a focus of a non-degenerate ellipse tangent to the positive and axes. the locus of the center of the ellipse lies along graph of, where are positive integers with no common factor other than . Find
Solution
We utilize (the proof of) a highly useful lemma.
LEMMA: Let be an ellipse with foci and , and let be a point on . Furthermore, let be the line tangent to at . Then the acute angles formed by and with respect to are equal. (This is analogous to the theorem stating that the angle of incidence is equal to the angle of reflection in optics.)
Proof. Let be the length of the semimajor axis of the ellipse. Denote by the reflection of across . Remark that , which is fixed. Furthermore, for any other point on , the distance is intuitively larger than (since a "bigger" ellipse is needed to pass through ). Hence is the point for which is minimized, and so , , are collinear. Thus the two acute vertical angles formed by and are congruent - tracing back the reflection gives our desired. (For more detail, see http://www.maa.org/sites/default/files/0746834207514.di020724.02p0009e.pdf .)
This reflecting business motivates what to do next. Let and be the reflections of across the and axes respectively, and let be the location of the other focus of our ellipse. Note that said axes are tangent to the ellipse, so we are basically replicating the proof above. Now recall that by the proof and both equal , so they are equal in length to each other. Thus the locus of points is the perpendicular bisector of segment . To find the equation of this perpendicular bisector, remark that the midpoint of is the origin of the plane and that the slope of is , so the equation is .
Finally, we compute the locus of the centers. We could go through a slight coordinate bash (and it isn't that hard to do), but here we shall use Euclidean geometry. Consider the homothety centered at with scale factor . For an arbitrary point on this line, said homothety will take to the midpoint of line segment - which is just the center of the ellipse with foci and ! Hence the desired locus of centers is the line that results when the entire line is transformed under . By basic homothety rules, the line is parallel to . Furthermore, this line must pass through the midpoint of the segment connecting the origin to , or the point . Thus, the equation of the desired locus is Our requested answer is .