Qua B kẻ tia Bz//Ax(Bz và Ax nằm khác phía so với đường thẳng AB)
Ta có: Bz//Ax
=>\(\widehat{zBA}=\widehat{xAB}\)
Ta có: \(\widehat{zBA}+\widehat{zBC}=\widehat{ABC}\)
\(\widehat{xAB}+\widehat{yCB}=\widehat{ABC}\)
mà \(\widehat{zBA}=\widehat{xAB}\)
nên \(\widehat{zBC}=\widehat{yCB}\)
mà hai góc này là hai góc ở vị trí so le trong
nên Bz//Cy
mà Ax//Bz
nên Ax//Cy