IMO 2022 Problem 4
- Day 2
Let be a convex pentagon such that . Assume that there is a point inside with and . Let line intersect lines and at points and , respectively. Assume that the points occur on their line in that order. Let line intersect and at points and , respectively. Assume that the points occur on their line in that order. Prove that the points lie on a circle.
Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.
Official text: IMO 2022 official English paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.