Collinearity of an Incenter and Two Circumcenters
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Let ABC be a triangle with excentral triangle A'B'C'. Let I be the incenter and O the circumcenter of ABC, and let be the circumcenter of A'B'C'. Then I, O, and are collinear and O bisects .
Contributed by: Jay Warendorff (March 2011)
Open content licensed under CC BY-NC-SA
"Collinearity of an Incenter and Two Circumcenters"
Wolfram Demonstrations Project
Published: March 7 2011