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