MathDB
Incenters and concyclic points

Source: China Mathematical Olympiad 2018 Q4

November 16, 2017
geometry

Problem Statement

ABCDABCD is a cyclic quadrilateral whose diagonals intersect at PP. The circumcircle of APD\triangle APD meets segment ABAB at points AA and EE. The circumcircle of BPC\triangle BPC meets segment ABAB at points BB and FF. Let II and JJ be the incenters of ADE\triangle ADE and BCF\triangle BCF, respectively. Segments IJIJ and ACAC meet at KK. Prove that the points A,I,K,EA,I,K,E are cyclic.