$\left[BC\right],\left[CA\right],[AB]$ kenarlarına ait yükseklik ayakları $X,Y,Z$ olsun. $A,B,C$ den geçen yükseklikler $(ABC)$ yi sırasıyla $A',B',C'$ noktalarında kessin.
$KX=XA'$ olması gerektiği bilinen bir özellik (değilse, $\angle CBA'=\angle CAX=\angle KBC\Rightarrow BK=BA'\Rightarrow KX=XA'\ $). $X$ noktasının $(ABC)$ çemberine göre kuvveti $BX\cdot XC=AX\cdot XA'=AX\cdot KX$ olacaktır. Aynı zamanda Öklid teoreminden $BX\cdot XC=DX^2$ olduğunu biliyoruz. $DX^2=AX\cdot KX$ eşitliğini elde etmiş olduk.
$\dfrac{{\left[BDC\right]}^2}{\left[ABC\right]\left[BKC\right]}=\dfrac{DX^2\cdot BC^2}{AX\cdot BC\cdot KX\cdot BC}=\dfrac{DX^2}{AX\cdot KX}=1\Rightarrow {\left[BDC\right]}^2=\left[ABC\right]\cdot [BKC]$ elde edilir. Benzer şekilde
${\left[ECA\right]}^2=\left[ABC\right]\cdot [AKC]$ ve ${\left[FAB\right]}^2=\left[ABC\right]\cdot [BKA]$ olacağından taraf tarafa topladığımızda
$x^2+y^2+z^2=\left[ABC\right]\cdot \left(\left[AKC\right]+\left[ABK\right]+\left[BCK\right]\right)=\left[ABC\right]\cdot \left[ABC\right]=u^2$ elde edilir.