a, Ta có:
=> 
Mà OB nằm trong
=>
=> 
Trên cùng một mặt phẳng bờ là Ox, ta có: 
=> OA nằm trong
(1) =>
=>
(2)
Từ (1) và (2), ta có đpcm (OA là tia phân giác của
)
b, Ta có Oy là tia phân giác của
=> 
Vì OA và OC nằm ở hai nửa mặt phẳng khác nhau của bờ Oy, OA và OB nằm ở cùng một mặt phẳng bờ Oy
=> OB và OC nằm hai hai nửa mặt phẳng khác nhau bờ Oy
=> Oy nằm giữa OB và OC => 
=> 