CGMO 2015 Problem 6
Let and be two non-overlapping circles. are on and are on such that is an external common tangent to the two circles, and is an internal common tangent to the two circles. and meet at . is a point on , the tangent line to at meets the perpendicular bisector of at . is a line tangent to at . Prove that .
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.