WOLFRAM|DEMONSTRATIONS PROJECT

Collinearity of an Incenter and Two Circumcenters

​
Let ABC be a triangle with excentral triangle A'B'C'. Let I be the incenter and O the circumcenter of ABC, and let
O
e
be the circumcenter of A'B'C'. Then I, O, and
O
e
are collinear and O bisects
IO
e
.