Từ B kẻ Bz // Ax
=> xAB + ABz = 180o (2 góc trong cùng phía)
mà xAB = 135o
=> ABz = 45o
Ta có: ABz + zBC = ABC (Bz nằm giữa BA, BC)
=> 45o + zBC = 75o
=> zBC = 30o
=> zBC = Bcy (cùng = 30o)
mà chúng ở vị trí so le trong
=> Bz // Cy (dhnb)
mà Bz // Ax (cách vẽ)
=> Cy // Ax (cùng // Bz)
=> đpcm