
Iz pravokutnog trokuta AA1C slijedi
∣A1A∣2=∣AC∣2+∣CA1∣2,
a iz pravokutnog trokuta BB1C slijedi
∣BB1∣2=∣B1C∣2+∣CB∣2.
Zbrajanjem tih jednakosti dobivamo
∣AA1∣2+∣BB1∣2=∣AC∣2+∣CB∣2+∣CA1∣2+∣B1C∣2=∣AB∣2+∣A1B1∣2,
jer su trokuti ABC i A1B1C pravokutni.