Kẻ Bt //Ax
Ta có: \(\widehat{xAB}=\widehat{ABt}\) (2 góc so le trong)
Vì \(\widehat{xAB}+\widehat{BCy}=\widehat{ABC}\) , \(\widehat{ABt}+\widehat{tBC}=\widehat{ABC}\)
mà \(\widehat{xAB}=\widehat{tBA}\) (cmt)
=> \(\widehat{BCy}=\widehat{tBC}\) mà 2 góc này nằm ở vị trí so le trong
=> Bt // Cy
Vì Bt // Cy, Bt // Ax
=> Ax // Cy ( từ vuông góc đến song song)