MathDB
2013 HMIC p3 geometry

Source:

September 20, 2019
circumcirclegeometry

Problem Statement

Triangle ABCABC is inscribed in a circle ω\omega such that A=60o\angle A = 60^o and B=75o\angle B = 75^o. Let the bisector of angle AA meet BCBC and ω\omega at EE and DD, respectively. Let the reflections of AA across DD and CC be DD' and CC' , respectively. If the tangent to ω\omega at AA meets line BCBC at PP, and the circumcircle of APDAPD' meets line ACAC at FAF \ne A, prove that the circumcircle of CFEC'FE is tangent to BCBC at EE.