AH⊥BC olacak şekilde bir H noktası belirleyelim |AH|=h ve |HD|=x olsun. O halde pisagor bağıntılarından
a24−ax+x2+h2=c2
a24+ax+x2+h2=b2
x2+h2=V2a olur. İlk iki denklemi toplayıp üçüncü denklemin iki katını bu toplamdan çıkarırsak 2V2a=b2+c2−a22 olur. Bunun benzerini Vb ve Vc üzerinde de yapabileceğimizden
2.V2a=b2+c2−a22,
2.V2b=a2+c2−b22,
2.V2c=a2+b2−c22 eşitlikleri her zaman sağlanır.