2023 USAJMO Problems/Problem 2
Problem
(Holden Mui) In an acute triangle , let
be the midpoint of
. Let
be the foot of the perpendicular from
to
. Suppose that the circumcircle of triangle
intersects line
at two distinct points
and
. Let
be the midpoint of
. Prove that
.