$\\$
Qua `O` kẻ $Oh//Ax$ (`Oh` nằm giữa `OA` và `OB`)
`-> hat{AOh}+hat{OAx}=180^o` (2 góc trong cùng phía bù nhau)
`-> hat{AOh}=180^o - hat{OAx}`
`-> hat{AOh}=180^o - 125^o`
`-> hat{AOh}=55^o`
Do `Oh` nằm giữa `OA` và `OB`
`-> hat{AOh}+hat{BOh}=hat{AOB}`
`-> hat{BOh}=hat{AOB}-hat{AOh}`
`-> hat{BOh}=72^o - 55^o`
`-> hat{BOh}=17^o`
Ta xét tổng `hat{BOh}` và `hat{OBy}`
`-> hat{BOh}+hat{OBy}=17^o +163^o=180^o`
mà 2 góc này ở vị trí trong cùng phía
$→ Oh//By$ (Dấu hiệu nhận biết 2 đường thẳng song song)
Có : $\begin{cases} Oh//Ax\\Oh//By \end{cases}$ (cách kẻ, chứng minh trên)
$→ Ax//By$ (Quan hệ từ vuông góc đến song song)
Vậy $Ax//By$
