VMO 2023 Problem 4
Given is a triangle and let be the midpoint the major arc of its circumcircle. Let be the midpoints of and are the touchpoints of the incircle of with . The line intersects at respectively; intersects the circle at and intersects at .
a) Prove that passes through the midpoint of and is perpendicular to .
b) Let respectively be the perpendicular projection of on . Take the points on respectively such that and are both perpendicular to . Prove that the three lines and are concurrent .
Dataset text AI-MO AoPS. 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.