Ví dụ như ở hình dưới đây, chúng ta có một hình lục giác nội tiếp một đường tròn, chúng ta thấy rằng ba giao điểm của ba cặp cạnh đối diện $\{12, 45\}$, $\{23, 56\}$, $\{34, 61\}$ của hình lục giác thẳng hàng.
Có một công cụ rất hiệu quả thường dùng để chứng minh các điểm thẳng hàng, đó là định lý Menelaus. Định lý Menelaus phát biểu như sau:

Định lý Menelaus: Cho tam giác $ABC$ và ba điểm $A'$, $B'$, $C'$ lần lượt nằm trên ba đường thẳng $BC$, $CA$, $AB$. Vậy thì ba điểm $A'$, $B'$, $C'$ thẳng hàng khi và chỉ khi $$\frac{\vec{A'B}}{\vec{A'C}} \times \frac{\vec{B'C}}{\vec{B'A}} \times \frac{\vec{C'A}}{\vec{C'B}} = 1.$$
Hôm nay chúng ta sẽ dùng định lý Menelaus để chứng minh định lý Pascal cho trường hợp đường tròn.

