Gọi `Ax` là tiếp tuyến tại `A` của `(O)`
`ΔABC` cân tại `A` $(gt)$ `⇒\hat{ABC}=\hat{ACB}`
Xét `(O)` có:
`\hat{xAC}=1/2sđ`$\mathop{AC}\limits^{\displaystyle\frown}$ (góc tạo bởi tiếp tuyến `Ax` và dây `AC`)
`\hat{ABC}=1/2sđ`$\mathop{AC}\limits^{\displaystyle\frown}$ (góc nội tiếp chắn $\mathop{AC}\limits^{\displaystyle\frown}$)
`⇒\hat{xAC}=\hat{ABC}`
Mà `\hat{ABC}=\hat{ACB}` `(cmt)`
`⇒hat{xAC}=\hat{ACB}`
Mà hai góc này ở vị trí so le trong do `AC` cắt `Ax` và `BC`
`⇒Ax`$//$`BC`