Problem 5
Two circles and are contained inside the circle , and are tangent to at the distinct points and , respectively. passes through the center of . The line passing through the two points of intersection of and meets at and . The lines and meet at and , respectively. Prove that is tangent to .
Step 5 of 6: Use the two tangencies to
In plain words
The two distance equations determine the needed coordinate.
Detailed analysis
Internal tangency gives and . Subtracting eliminates and yields the displayed expression for .