Theo bài 8.3 ta đã có ∠A1 = ∠B1 , ∠A2 = ∠C2 (1)
Ta có O là giao điểm của ba đường trung trực của tam giác ABC nên OA = OB = OC, hay các tam giác OAB, OAC, OBC cân tại O. Suy ra ∠(OAB) = ∠(OBA) , ∠(OAC) = ∠(OCA) , ∠(OBC) = ∠(OCB) . Kết hợp với(1) ∠(OBM) = ∠(OAM) , ∠(OCN) = ∠(OAN) , hay ∠(OAM) = ∠(OBC) = ∠(OCB) = ∠(OAN). Vậy OA là tia phân giác góc MAN.