ISL 2017 G7
A convex quadrilateral has an inscribed circle with center . Let , and be the incenters of the triangles , and , respectively. Suppose that the common external tangents of the circles and meet at , and the common external tangents of the circles and meet at . Prove that . (Kazakhstan)
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.