TSTST 2018 Problem 3
Let be an acute triangle with incenter , circumcenter , and circumcircle . Let be the midpoint of . Ray meets at . Denote by and the circumcircles of and , respectively. Line meets at and , while line meets at and . Assume that lies inside and . Consider the tangents to at and and the tangents to at and . Given that , prove that these four lines are concurrent on .
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.