Từ `O` kẻ tia `Ot` sao cho $Ax//Ot$.
Ta có: $Ax//Ot$ `(1)`
`⇒hat{OAx}+hat{AOt}=180^o` (hai góc trong cùng phía bù nhau)
`⇒hat{AOt}=180^o-hat{OAx}=180^o-115^o=65^o`.
Ta lại có: `hat{AOt}+hat{BOt}=90^o` (hai góc phụ nhau)
`⇒hat{BOt}=90^o-hat{AOt}=90^o-65^o=25^o`.
Mà `hat{OBy}=25^o` nên `hat{OBy}=hat{BOt}=25^o`.
Do `hat{OBy}` và `hat{BOt}` là hai góc ở vị trí so le trong nên $By//Ot$. `(2)`
Từ `(1)` và `(2)`, suy ra: $Ax//By$ `(đpcm)`.