$\\$
Qua `C` kẻ $Ch//By$ (`Ch` nằm đối diện với `By`)
`-> hat{yBC} + hat{BCh}=180^o` (2 góc trong cùng phía bù nhau)
`-> hat{BCh}=180^o - hat{yBC}`
Có : `hat{yBC}=hat{ACB}+hat{xAC}`
`-> 180^o - hat{yBC}=180^o - hat{ACB}-hat{xAC}`
`-> hat{BCh}=180^o - hat{ACB} - hat{xAC}`
`-> hat{BCh}+hat{ACB}=180^o - hat{xAC}`
`-> hat{ACh}=180^o - hat{xAC}`
`-> hat{ACh}+hat{xAC}=180^o`
mà 2 góc này ở vị trí trong cùng phía
$→ Ax//Ch$ (Dấu hiệu nhận biết 2 đường thẳng song song)
Có : $\begin{cases} Ax//Ch\\By//Ch\end{cases}$ (chứng minh trên, cách kẻ)
$→ Ax//By$ (Quan hệ từ vuông góc đến song song)
Vậy $Ax//By$
