===== Теорема =====

Пусть $I$ -- инцентр, а $Z$ -- центроид произвольного треугольника $ABC$. Тогда 
$$IZ^2 = \dfrac19\sqrt{9r^2-3p^2+2 (a^2+b^2+c^2)}$$

====Доказательство====
По теореме Лейбница:
$IA^2+IB^2+IC^2 = 3IZ^2+(AZ^2+BZ^2+CZ^2)$

$IA^2+IB^2+IC^2 = 3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$r^2+(p-a)^2+r^2+(p-b)^2+r^2+(p-c)^2=3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r^2+p^2-2ap+a^2+p^2-2pb+b^2+p^2-2pc+c^2=3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r^2+3p^2-2ap-2pb-2pc+(a^2+b^2+c^2)=3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r^2+3p^2-2p(a+b+c)+(a^2+b^2+c^2)=3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r^2+3p^2-2p\cdot 2p+(a^2+b^2+c^2)=3IZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r^2-p^2+\dfrac23 (a^2+b^2+c^2)=3IZ^2$

$r^2-\dfrac13 p^2+\dfrac29 (a^2+b^2+c^2)=IZ^2$

$IZ^2 = \sqrt{r^2-\dfrac13 p^2+\dfrac29 (a^2+b^2+c^2)}$

$IZ^2 = \dfrac19\sqrt{9r^2-3p^2+2 (a^2+b^2+c^2)}$



===== Теорема =====

Пусть $I_a$ -- эксцентр, а $Z$ -- центроид произвольного треугольника $ABC$. Тогда $$I_aZ^2 = \dfrac19\sqrt{9r_a^2-3(p-a)^2+2 (a^2+b^2+c^2)}$$

====Доказательство====
По теореме Лейбница:
$I_aA^2+I_aB^2+I_aC^2 = 3I_aZ^2+(AZ^2+BZ^2+CZ^2)$

$I_aA^2+I_aB^2+I_aC^2 = 3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$r_a^2+p^2+r_a^2+(p-b)^2+r_a^2+(p-c)^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+p^2+p^2-2pb+b^2+p^2-2pc+c^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+3p^2-2pb-2pc+(b^2+c^2)=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+3p^2-2p(b+c)+(b^2+c^2)=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+3p^2-2p(a+b+c)+2pa+(a^2+b^2+c^2)-a^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+3p^2-4p^2+(a^2+b^2+c^2)+2pa-a^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+(a^2+b^2+c^2)-p^2+2pa-a^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2+(a^2+b^2+c^2)-(p-a)^2=3I_aZ^2+\dfrac{a^2+b^2+c^2}{3}$

$3r_a^2-(p-a)^2+\dfrac{2}{3}(a^2+b^2+c^2)=3I_aZ^2$

$I_aZ^2 = \sqrt{r_a^2-\dfrac13 (p-a)^2+\dfrac29 (a^2+b^2+c^2)}$

$I_aZ^2 = \dfrac19\sqrt{9r_a^2-3(p-a)^2+2 (a^2+b^2+c^2)}$