ISL 2012 G1
In the triangle the point is the center of the excircle opposite to . This excircle is tangent to the side at , and to the lines and at and respectively. The lines and meet at , and the lines and meet at . Let be the point of intersection of the lines and , and let be the point of intersection of the lines and . Prove that is the midpoint of .
Dataset text NuminaMath olympiads. 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.