
Prema Talesovom teoremu o obodnom kutu nad promjerom vrijedi
∠END=90∘i∠EMD=90∘.
Neka je ∣AC∣=b, ∣BC∣=a i ∠BCA=γ. Iz pravokutnog trokuta NCD slijedi
cosγ=b/2∣CN∣,∣CN∣=2bcosγ.(1)
Iz pravokutnog trokuta CME analogno dobivamo
cosγ=a/2∣CM∣,∣CM∣=2acosγ.(2)
Iz (1) i (2) slijedi
∣CN∣∣CM∣=ba.
Prema poučku SKS trokuti CMN i ABC slični su s koeficijentom sličnosti 2cosγ. Stoga je
∣MN∣=21∣AB∣cosγ
odnosno ∣MN∣=21∣AB∣cos∠BCA.