ZH=23√9R2−(a2+b2+c2)
OZ=13√9R2−(a2+b2+c2)
OH=√9R2−(a2+b2+c2)
По теореме Лейбница имеем:
HA2+HB2+HC2=3ZH2+(AZ2+BZ2+CZ2)
12R2−(a2+b2+c2)=3ZH2+13(a2+b2+c2)
3ZH2=12R2−43(a2+b2+c2)
ZH=23√9R2−(a2+b2+c2)
Тогда в силу свойств прямой Эйлера:
OZ=13√9R2−(a2+b2+c2)
OH=√9R2−(a2+b2+c2)