Xét tam giác AMN và BNM ta có:
AM = BN
MN chung
AMN^=BNM^ (do tam giác MNP cân tại P)
Suy ra ΔAMN=ΔBNM (c.g.c) => ANM^=BMN^ hay ONM^=OMN^
Vậy tam giác OMN là tam giác cân tại O
