MathDB
cyclic wanted, 3 reflections and incircle related

Source: INAMO Shortlist 2014 G1

July 13, 2019
geometrygeometric transformationreflection

Problem Statement

The inscribed circle of the ABCABC triangle has center II and touches to BCBC at XX. Suppose the AIAI and BCBC lines intersect at LL, and DD is the reflection of LL wrt XX. Points EE and FF respectively are the result of a reflection of DD wrt to lines CICI and BIBI respectively. Show that quadrilateral BCEFBCEF is cyclic .