Cho hai tia OM và ON vuông góc với nhau, tia OC nằm giữa hai tia đó

Ta có OM⊥ON⇒MON^=90°.

Tia OM là tia phân giác của góc AOC nên AOM^=MOC^.

Tia ON là tia phân giác của góc BOC nên BON^=NOC^.

Xét tổng

 AOC^+BOC^=2MOC^+2NOC^=2MOC^+NOC^=2MON^=2.90°=180°.

Hai góc kề AOC và BOC có tổng bằng  nên hai tia OA, OB đối nhau.

Đường trung trực – Hai góc có cạnh tương ứng vuông góc