Beautiful conditional geo in China Southeast
Source: 2023 China Southeast Grade 11 P3
July 30, 2023
geometryangle bisector
Problem Statement
In , is on the internal angle bisector of and . is on the external angle bisector of , such that and . The circumcircles of and intersects at and and is the reflection of with respect to . Prove that: if , then the circumcenter of is on line .