Y by AlexCenteno2007
Let
be an acute triangle inscribed in a circle
with orthocenter
and altitude
. The line passing through
perpendicular to
intersects
at
. The perpendicular bisector of
intersects
at
. Let
intersect
at
. Let
be the reflection of
across
. The circumcircle of triangle
intersects
at
different from
. Prove that
and
intersect on the circumcircle of triangle
.























