The circle , with radius , is internally tangent to the circle at . The chord of is tangent to at . Let be the midpoint of the arc (not containing ), and let be the foot of the perpendicular from to the line . Prove that . (Posed by Ye Zhonghao)
Solution

Solution It is well known that are collinear. Indeed, consider the dilation centered at that sends to . Then the line is sent to the line parallel to and tangent to , i.e. the line tangent to at (the midpoint of ). Thus, this dilation sends (the points of tangency of the line and ) to (the points of tangency of the line and ), from which it follows that are collinear.
By the power-of-point theorem, we have . It suffices to show that
Set . Then . By the extended sine law, we have . In the right triangle , we also have . Combining the last two equations, we obtain ①.
(We can also derive ① by observing that the triangles and are similar.)
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.