MathDB
circumcenter of ABC lies on the bisector of the original angle

Source: Tournament of Towns Spring 1998 Seniors O p5

May 11, 2020
geometryangle bisectorreflectioncircle

Problem Statement

A circle with center OO is inscribed in an angle. Let AA be the reflection of OO across one side of the angle. Tangents to the circle from AA intersect the other side of the angle at points BB and CC. Prove that the circumcenter of triangle ABCABC lies on the bisector of the original angle.
(I.Sharygin)