r1772

Let O, I be the circumcenter and the incenter. A line perpendicular to OI cuts the sides at A', B', C'. The circumcenters Oa, Ob, Oc of IAA', IBB', ICC' are collinear.


inici