Để chứng minh OA là phân giác của góc BAC, ta cần chứng minh rằng góc OAB bằng góc OAC.

Vì AB vuông góc với Ox, nên góc OAB là góc vuông. (1)
Vì AC vuông góc với Oy, nên góc OAC là góc vuông. (2)

Ta có:
Góc BAC = Góc OAB + Góc OAC (vì OA, OB, OC là các tia phân giác của góc BAC)
= Góc vuông OAB + Góc vuông OAC (từ (1) và (2))
= 90° + 90°
= 180°

Vì góc BAC bằng 180°, nên OA là phân giác của góc BAC.