U pravokutnom trokutu ABC označimo s Ei nožište okomice iz Di na stranicu AC, za sve i=0,1,…,2018. Vrijedi E0=A i E2018=C.

Budući da su pravci DiEi paralelni s BC, prema Talesovom poučku o proporcionalnosti vrijedi
∣E0E1∣=∣E1E2∣=⋯=∣E2017E2018∣.
Iz toga slijedi ∣CEi∣=∣AE2018−i∣, za i=1,…,2017.
Prema Pitagorinom poučku vrijedi
∣CDi∣2=∣DiEi∣2+∣CEi∣2i∣ADi∣2=∣DiEi∣2+∣AEi∣2.
Oduzimanjem dobivamo
∣CDi∣2−∣ADi∣2=∣CEi∣2−∣AEi∣2,i=1,…,2017,
a isto vrijedi i za i=0,2018. Zbrajanjem svih jednakosti dobivamo
==∣CD0∣2+⋯+∣CD2018∣2−∣AD0∣2−⋯−∣AD2018∣2∣CE0∣2+⋯+∣CE2018∣2−∣AE0∣2−⋯−∣AE2018∣2(∣CE0∣2−∣AE2018∣2)+⋯+(∣CE2018∣2−∣AE0∣2)=0.
Budući da je ∣AD0∣=0, tvrdnja je dokazana.