kẻ `Ax'` là tia đối của tia `Ax`
ta có `hat(xAB)+hat(BAx')=180^o` ( kề bù )
`=>hat(BAx')=180^o-120^o`
`=>hat(BAx')=60^o`
ta có `hat(uBy)=hat(BAx')=60^o`
mà hai góc này ở vị trí đồng vị
do đó $Ax'//By(1)$
ta có `hat(BAx')+hat(x'AC)=hat(BAC)`
`=>hat(x'AC)=80^o-60^o`
`=>hat(x'AC)=20^o`
ta có `hat(x'AC)+hat(ACz)=20^o +160^o=180^o`
mà hai góc này ở vị trí trong cùng phía
do đó $Ax'//Cz(2)$
từ `(1);(2)` suy ra $Ax'//By//Cz$
mà `Ax'` là tia đối của `Ax`
`=>` $Ax//By//Cz (Đpcm)$
