Explicație pas cu pas:
[AN] ≡ [BN] => ΔABN este isoscel
[NM] este bisectoarea ∢ANB => [NM] este înălțime și mediană în triunghiul isoscel
a) [NM] mediană => [AM] ≡ [MB] => M este mijlocul segmentului [AB]
b) [NM] înălțime => [NM] ⊥ [AB] => m(∢AMN) = 90°
q.e.d.