MathDB
XY_|_PO iff AP is angle bisector

Source: 2020 XXIII All-Ukrainian Tournament of Young Mathematicians named after M. Y. Yadrenko, Qualifying p11

May 4, 2021
perpendicularangle bisectorgeometryUkrainian TYM

Problem Statement

In the acute-angled triangle ABCABC, the segment APAP was drawn and the center was marked OO of the circumscribed circle. The circumcircle of triangle ABPABP intersects the line ACAC for the second time at point XX, the circumcircle of the triangle ACPACP intersects the line ABAB for the second time at the point YY. Prove that the lines XYXY and POPO are perpendicular if and only if PP is the foor of the bisector of the triangle ABCABC.