Giải thích các bước giải:
Xét hình vẽ như trên:
$\widehat {AOy} + \widehat {OAy'} = {180^ \circ }(xy//x'y')$
Vì $\widehat {AOB} = {{\widehat {AOy}} \over 2}$ (OB là phân giác của $\widehat {AOy}$)
$\widehat {OAB} = {{\widehat {OAy'}} \over 2}$ (AB là tia phân giác của $\widehat {OAy'}$)
$ \Rightarrow \widehat {AOB} + \widehat {OAB} = {{\widehat {AOy} + \widehat {OAy'}} \over 2} = {{{{180}^ \circ }} \over 2} = {90^ \circ }$
Suy ra tam giác OAB vuông tại B hay OB vuông góc với AB.
