`a)` Có :
\(\widehat{CAx}=\widehat{ACz}\)( gt)
Mà 2 góc ở vị trí so le trong
`=> Ax` // `Cz`
`b)` Có :
\(\widehat{BCz}=\widehat{CBy}\)(gt)
Mà 2 góc ở vị trí so le trong
`=> By` // `Cz`
`c)`
Có : `Ax` // `Cz`(c/m câu a)
`By` // `Cz`(c/m câu b)
`=> Ax` // `By` (vì cùng // vs `Cz`