2023 USAMO Problems/Problem 1
Let
be the foot from
to
. By definition,
. Thus,
, and
.
From this, we have
, as
. Thus,
is also the midpoint of
.
Now,
iff
lies on the perpendicular bisector of
. As
lies on the perpendicular bisector of
, which is also the perpendicular bisector of
(as
is also the midpoint of
), we are done.
-ApraTrip, Martin2001