Đáp án `+` Giải thích các bước giải:

Kẻ `OC //// By` 

Vì `OC //// By`

`=> \hat (OBy) = \hat (BOC) = 25^@`

Ta có:

`\hat (AOC) + \hat (BOC) = \hat (AOB)`

`\hat (AOC) + \hat 25^@ = 90^@`

`\hat (AOC) = 90^@ - 25^@`

`\hat (AOC) = 65^@`

Lại có:

`\hat (xAO) + \hat (AOC)`

`= 115^@ + 65^@ = 180^@`

Mà `\hat (xAO)` và `\hat (AOC)` là hai góc trong cùng phía

`=> Ax //// OC`

Lại có:

`{:(OC //// By),(Ax //// OC):}} => Ax //// By (đpcm)`