ISL 2022 G8
Let be a convex cyclic hexagon such that is tangent to the incircle of the triangle , and is tangent to the incircle of the triangle . Let the lines and meet at and let the lines and meet at . Prove that if is a convex quadrilateral, then it has an incircle.
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2022 Shortlist booklet, page 8.
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).