In Euclidean geometry, Carnot's theorem states that the sum of the signed distances from the circumcenter D to the sides of an arbitrary triangle ABC is
DF + DG + DH = R + r, \
where r is the inradius and R is the circumradius of the triangle. Wikipedia