Xét tam giác AOM và tam giác BOM có:

AO = BO (gt)

AOM = BOM (OM là tia phân giác của AOB)

OM chung

=> Tam giác AOM = Tam giác BOM (c.g.c)

=> AM = BM (2 cạnh tương ứng)

=> M là trung điểm của AB

=> OM là đường trung tuyến của tam giác OAB cân tại O (OA = OB)

=> OM là đường trung trực của tam giác OAB cân tại O

=> OM _I_ AB

Tam giác NAB có NA vừa là đường cao, vừa là đường trung trực

=> Tam giác NAB cân tại N

=> NA = NB