Kỳ trước chúng ta đã học về
định lý lục giác Pascal.
Định lý Pascal nói rằng nếu trên
đường cônic chúng ta vẽ một hình
lục giác nội tiếp thì ba cặp cạnh đối diện của hình lục giác sẽ cắt nhau tại
ba điểm thẳng hàng.
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.