MathDB
Beautiful conditional geo in China Southeast

Source: 2023 China Southeast Grade 11 P3

July 30, 2023
geometryangle bisector

Problem Statement

In ABC\triangle {ABC}, D{D} is on the internal angle bisector of BAC\angle BAC and ADB=ACD\angle ADB=\angle ACD. E,FE, F is on the external angle bisector of BAC\angle BAC, such that AE=BEAE=BE and AF=CFAF=CF. The circumcircles of ACE\triangle ACE and ABF\triangle ABF intersects at A{A} and K{K} and AA' is the reflection of A{A} with respect to BCBC. Prove that: if AD=BCAD=BC, then the circumcenter of AKA\triangle AKA' is on line ADAD.