The Distance from the Circumcenter to an Excenter

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 circumcenter O and let E be the excenter of the excircle opposite A. Let be the circumradius and
the exradius. Then
.
Contributed by: Jay Warendorff (March 2011)
After work by: Antonio Gutierrez
Open content licensed under CC BY-NC-SA
Snapshots
Details
The statement of the theorem is in Problem 157. Distance from the Circumcenter to the Excenter.
Permanent Citation
"The Distance from the Circumcenter to an Excenter"
http://demonstrations.wolfram.com/TheDistanceFromTheCircumcenterToAnExcenter/
Wolfram Demonstrations Project
Published: March 7 2011