MathDB
tangency implying cyclic quadrilateral

Source: 2021 Iran second round mathematical Olympiad P3

May 15, 2021
geometrycircumcirclecyclic quadrilateral

Problem Statement

Circle ω\omega is inscribed in quadrilateral ABCDABCD and is tangent to segments BC,ADBC, AD at E,FE,F , respectively.DEDE intersects ω\omega for the second time at XX. if the circumcircle of triangle DFXDFX is tangent to lines ABAB and CDCD , prove that quadrilateral AFXCAFXC is cyclic.