Comparăm triunghiurile dreptunghice AOM și BON.
[AO]≡ [BO] (ip) (1)
∡O = ∡ comun (2)
Din (1), (2), conform cazului de congruență (C. U.) ⇒ ΔAOM ≡ ΔBON⇒
⇒ [AM] ≡ [BN] ⇒ AM = BN [q. e. d.]