Kéo dài AB cắt Cy tại E và kéo dài CB cắt Ax tại G như hình vẽ dưới đây:
\(\widehat{ABC}\) = \(\widehat{GBE}\) (1) (vì đối đỉnh)
\(\widehat{GBE}\) = \(\widehat{BCE}\) + \(\widehat{CEB}\) (2) ( vì góc ngoài của tam giác bằng tổng hai góc trong không kề với nó)
\(\widehat{ABC}\) = \(\widehat{GAB}\) + \(\widehat{BCE}\) (3)
Từ (1); (2); (3) ta có: \(\widehat{BCE}\) + \(\widehat{CEB}\) = \(\widehat{GAB}\) + \(\widehat{BCE}\)
⇒ \(\widehat{CEB}\) = \(\widehat{GAB}\)
Mà hai góc CEB và góc GAB là hai góc ở vị trí so le trong nên
Cy // Ax (đpcm)