Tớ kẻ AB ⊥ Ox; AC ⊥ Oy cho dễ chứng minh.
Xét ΔOAB và ΔOAC có:
+ \(\widehat{B_1}=\widehat{C_1}=90^o\) (AB ⊥ Ox; AC ⊥ Oy)
+ OA là cạnh chung.
+ \(\widehat{O_1}=\widehat{O_2}\) (Oz là tia phân giác \(\widehat{xOy}\))
=> ΔOAB = ΔOAC (cạnh huyền - góc nhọn)
=> \(\widehat{OAB}=\widehat{OAC}\) (2 góc tương ứng)