ELMO SL 2013 G13
In , . and are the feet of the internal and external angle bisectors of , respectively. is the midpoint of segment , and is the circumcircle of . Suppose is on the minor arc of such that is tangent to . meets again at , and the line through perpendicular to meets at . Prove is tangent to the circumcircle of .
Proposed by Ray Li
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.