Y by HWenslawski, Adventure10, Mango247
Let
be the circumcentre of the acute non-isosceles triangle
. Let
and
be points on the altitude
such that
and
are perpendicular to
and
respectively. Let
be the midpoint of
and
be the circumcentre of triangle
. Prove that
.













