olymmath

ISL 2022 G8

    Let AA′BCC′B′A A^{\prime} B C C^{\prime} B^{\prime} be a convex cyclic hexagon such that ACA C is tangent to the incircle of the triangle A′B′C′A^{\prime} B^{\prime} C^{\prime}, and A′C′A^{\prime} C^{\prime} is tangent to the incircle of the triangle ABCA B C. Let the lines ABA B and A′B′A^{\prime} B^{\prime} meet at XX and let the lines BCB C and B′C′B^{\prime} C^{\prime} meet at YY. Prove that if XBYB′X B Y B^{\prime} 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).

    Locator isl/2022/g8 · Tag J6FWNSY0HQ · Edit this page on GitHub · Keys: j next, k previous