Označimo dijelove četverokuta prema slici:

Primjenom kosinusovog poučka u svakom od četiri trokuta na koje dijagonale dijele zadani četverokut dobivamo:
a2+c2=b2+d2
w2+x2−2wxcosφ+z2+y2−2zycosφ=x2+y2−2xycos(π−φ)+z2+w2−2zwcos(π−φ)
2cosφ⋅(wx+zy)=2cos(π−φ)⋅(xy+zw)
(wx+zy+xy+zw)cosφ=0⟹φ=2π.
Dakle, dijagonale se sijeku pod pravim kutom.