Let A′∈(BC),B′∈(CA),C′∈(AB) be the points of tangency of the excribed circles of triangle △ABC with the sides of △ABC. Let R′ be the circumradius of triangle △A′B′C′. Show that R′=2r12R(2R−ha)(2R−hb)(2R−hc)
where as usual, R is the circumradius of △ABC, r is the inradius of △ABC, and ha,hb,hc are the lengths of altitudes of △ABC.