ISL 2016 G7
Let be the incentre of a non-equilateral triangle be the -excentre, be the reflection of in , and be the reflection of line in . Define points and line analogously. Let be the intersection point of and . (a) Prove that lies on line where is the circumcentre of triangle . (b) Let one of the tangents from to the incircle of triangle meet the circumcircle at points and . Show that .
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2016 Shortlist booklet, page 11.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.