Problem:
Let and be two circles externally tangent to each other at that are both internally tangent to at points and , respectively. A common external tangent of and is tangent to and at and , respectively, and intersects at points and . Let be the midpoint of the arc that does not contain and . Let be on such that , and suppose the circumcircles of and intersect at . Find, with proof, the value of , in terms of , and , the radii of , and , respectively.
, 2022
Solution
Solution:
By Archimedes lemma, we have are collinear and are collinear as well. Note that inversion at with radius shows that is cyclic. Thus, we have , so lies on the radical axis of and , thus must lie on the line . Thus, we have , which implies triangles and are similar. Thus, we have . However, since the line through and passes through and is perpendicular to , we have lies on line . Additionally, since , inversion at with radius swaps and , and since maps to line , this means also lies on .
Therefore, is the intersection of and , and thus by Monge's Theorem, we must have lies on .
Now, to finish, we will consider triangle . Since is a line that cuts this triangle, by Menelaus, we have
Using the values of the radii, this simplifies to
Now, note that
Now, let and . Plugging this into the above equation gives
Solving gives
To finish, note that