ISL 2023 G4
Let be an acute-angled triangle with . Denote its circumcircle by and denote the midpoint of arc by . Let the perpendicular from to meet and at and respectively. Let the line through parallel to meet line at and denote the circumcircle of triangle by . Let meet again at . Prove that the line tangent to at , and line intersect on the internal bisector of . (Portugal)
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2023 Shortlist booklet, page 9.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).