IMO 2021 Problem 4
- Day 2
Let be a circle with centre , and a convex quadrilateral such that each of the segments and is tangent to . Let be the circumcircle of the triangle . The extension of beyond meets at , and the extension of beyond meets at . The extensions of and beyond meet at and , respectively. Prove that
Proposed by Dominik Burek, Poland and Tomasz Ciesla, Poland
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2021 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.