Explicație pas cu pas:
ABC triunghi oarecare, AB <AC,
AM bisectoare, M ∈ BC
N ∈ AC, AN ≡ AB
notăm AM ∩ BN = {P}
AM bisectoare => ∢BAP ≡ ∢NAP
AP latură comună
=> ΔAPB ≡ ΔAPN
=> ∢APB ≡ ∢APN
P ∈ BN => ∢APB ≡ ∢APN = 90°
=> AP ⊥ BN
=> AM ⊥ BN
