Carnot's Theorem
Given: any triangle ABC
Circumradius: R
Inradius: r
The algebraic sum of the distances from the circumcenter O to the sides: OH+OM+OE
To prove:
OH+OM+OE = R+r
Proof: