Y by Adventure10, Mango247
Let
be an acute non isosceles triangle. The angle bisector of angle
meets again the circumcircle of the triangle
in
. Let
be the circumcenter of the triangle
. The angle bisectors of
, and
meet the circle
of diameter
in
and
respectively. The line
meets the perpendicular bisector of
in
. Prove that
.















