$\\$
`\text{Qua C kẻ Ch//By (Ch nằm đối diện với Ax)}`
`-> hat{yBC}=hat{BCh}` `\text{(2 góc so le trong)}`
`\text{Có :}` `hat{xAC}+hat{yBC}-hat{BCA}=180^o` `\text{(giả thiết)}`
`text{Thay}` `hat{yBC}=hat{BCh}` `text{vào ta được :}`
`-> hat{xAC}+hat{BCh}-hat{BCa}=180^o`
`-> hat{xAC}+ (hat{BCA}+hat{ACh})-hat{BCA}=180^o`
`-> hat{xAC} + hat{BCA} + hat{ACh}-hat{BCA}=180^o`
`-> hat{xAC} + (hat{BCA}-hat{BCA}) + hat{ACh}=180^o`
`-> hat{xAC}+hat{ACh}=180^o`
`\text{Mà 2 góc góc này ở vị trí trong cùng phía}`
`->` `text{Ch//Ax (Dấu hiệu nhận biết 2 đường thẳng //)}`
`\text{Có :}` $\begin{cases} Ch//By\\Ch//Ax \end{cases}$ `\text{(cách kẻ, cmt)}`
`->` `text{Ax//By (Quan hệ từ vuông góc đến song song)}`
`\text{Vậy Ax//By}`
