Show that the circumradius R of a triangle ABC equals the arithmetic mean of the oriented distances from its incenter I and three excenters Ia,Ib,Ic to any tangent τ to its circumcircle. In other words, if δ(P) denotes the distance from a point P to τ, then with appropriate choices of signs, we have
δ(I)±δ(Ia)±δ(Ib)±δ(Ic)=4R
Luis González geometrycircumradiusexcenterincenterdistancecircumcircleTangents