ta có: a//b => \(\widehat{A}+\widehat{B}=180^o\)
\(\widehat{A}_1+\widehat{B}_1=\frac{\widehat{A}}{2}+\frac{\widehat{B}}{2}=\frac{\widehat{A}+\widehat{B}}{2}=\frac{180^o}{2}=90^o\)
\(\widehat{O}=180^o-\left(\widehat{A_1}+\widehat{B_1}\right)=180^o-90^o=90^o\)
=> AO_|_BO tại O