Giải thích các bước giải:
Từ `O`, kẻ $Oz // Ax, By$
$Oz//Ax$ `⇒ \hat{xAO}+\hat{AOz}=180^o` (2 góc trong cùng phía)
`⇒ 115^o + \hat{AOz}=180^o`
`=> \hat{AOz}=65^o`
$Oz//By$ `⇒ \hat{zOB}=\hat{OBy}=25^o` (2 góc so le trong)
`⇒ \hat{AOB}=\hat{AOz}+\hat{zOB}=65^o + 25^o=90^o`
`⇒ AO ⊥ BO(đpcm)`