MathDB
force overlay inversion vibes

Source: USAMO 2023/6

March 23, 2023
USAMOgeometryHi

Problem Statement

Let ABCABC be a triangle with incenter II and excenters IaI_a, IbI_b, and IcI_c opposite AA, BB, and CC, respectively. Let DD be an arbitrary point on the circumcircle of ABC\triangle{ABC} that does not lie on any of the lines IIaII_a, IbIcI_bI_c, or BCBC. Suppose the circumcircles of DIIa\triangle{DII_a} and DIbIc\triangle{DI_bI_c} intersect at two distinct points DD and FF. If EE is the intersection of lines DFDF and BCBC, prove that BAD=EAC\angle{BAD} = \angle{EAC}.
Proposed by Zach Chroman