MathDB
perpendicular wanted circumcircle related (2018 Kyiv City MO Round2 10.3.1)

Source:

September 14, 2020
geometrycircumcircleperpendicular

Problem Statement

The point OO is the center of the circumcircle of the acute triangle ABCABC. The line ACAC intersects the circumscribed circle ΔABO\Delta ABO for second time at the point XX. Prove that XOBCXO \bot BC.