a)
arătăm că triunghiul PON și triunghiul POM sunt congruente.
[PM] congruent cu [PN] (stim din enunt)
unghiul MPO congruent cu unghiul NPO (tot din enunt)
[PO] congruent cu [PO] (latura comuna)
din toate astea => ca triunghiul PON congruent cu triunghiul POM => [OM] congruent cu [ON] => triunghiul MON este isoscel.
b)
dacă MON este isoscel => PO (prelungirea lui PO) perpendicular pe MN, pentru că este înălțime.
