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
Snapshots
Details
detailSectionParagraphPermanent Citation
"Collinearity of an Incenter and Two Circumcenters"
http://demonstrations.wolfram.com/CollinearityOfAnIncenterAndTwoCircumcenters/
Wolfram Demonstrations Project
Published: March 7 2011