Chào các em, hôm nay chúng ta sẽ cùng nhau tìm hiểu về một định lý rất quan trọng trong chương trình Toán lớp 9, đó là Định lý Menelaus. Đây là một công cụ mạnh mẽ giúp chúng ta giải quyết nhiều bài toán hình học liên quan đến tam giác và các đường thẳng cắt nó.

I. Định lý Menelaus là gì?

Định lý Menelaus phát biểu như sau:

Cho tam giác ABC. Một đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại các điểm D, E, F. Khi đó, ta có hệ thức:

\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1 \]

Trong đó, các kí hiệu \( \overline{FA} \), \( \overline{FB} \), \( \overline{DB} \), \( \overline{DC} \), \( \overline{EC} \), \( \overline{EA} \) là các tỉ số có hướng. Tức là, nếu hai đoạn thẳng cùng hướng thì tỉ số là dương, ngược hướng thì tỉ số là âm.

Chúng ta cũng có thể viết định lý Menelaus dưới dạng không có hướng như sau, với D, E, F là các điểm thuộc các cạnh (hoặc phần kéo dài của các cạnh) của tam giác ABC:

\[ \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = 1 \]

Trong trường hợp này, D, E, F là các điểm nằm trên đường thẳng cắt ba cạnh của tam giác. Để thỏa mãn đẳng thức này, có hai khả năng xảy ra:
1. Ba điểm D, E, F đều nằm trên phần kéo dài của ba cạnh.
2. Có hai điểm nằm trên phần kéo dài của hai cạnh và một điểm nằm trên cạnh đối diện.

Để dễ nhớ hơn, các em có thể hình dung đường thẳng d “ghé thăm” ba đường thẳng chứa ba cạnh của tam giác ABC. Thứ tự các điểm trên đường thẳng d sẽ quyết định thứ tự các điểm trên các cạnh của tam giác khi áp dụng định lý.

II. Chứng minh Định lý Menelaus

Để chứng minh định lý này, chúng ta sẽ sử dụng phương pháp sử dụng diện tích tam giác và tỉ số diện tích.

Giả sử ta có tam giác ABC và một đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại các điểm D, E, F.

Ta sẽ chứng minh đẳng thức:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1 \]

Hay tương đương với:
\[ \overline{FA} \cdot \overline{DB} \cdot \overline{EC} = \overline{FB} \cdot \overline{DC} \cdot \overline{EA} \]

Để làm được điều này, chúng ta sẽ xét các tỉ số diện tích của các tam giác có chung chiều cao.

Bước 1: Xét tỉ số \( \frac{\overline{FA}}{\overline{FB}} \)

Xét tam giác FAB và tam giác FDB.
Hai tam giác này có chung chiều cao hạ từ đỉnh B xuống đường thẳng AB (hoặc đường thẳng chứa đoạn FA và FB).
Do đó, tỉ số diện tích của chúng bằng tỉ số hai đáy tương ứng:
\[ \frac{S_{FAB}}{S_{FDB}} = \frac{FA}{FB} \]
Tuy nhiên, chúng ta cần tỉ số có hướng. Để có hướng, ta xét tam giác AFE và tam giác BFE.
Hai tam giác này có chung chiều cao hạ từ đỉnh E xuống đường thẳng AB.
Vậy:
\[ \frac{\overline{EA}}{\overline{EB}} = \frac{S_{EAF}}{S_{EBF}} \]
Tương tự, xét tam giác AFC và BFC. Chúng có chung chiều cao từ C.
\[ \frac{\overline{FA}}{\overline{FB}} = \frac{S_{AFC}}{S_{BFC}} \]
Đây là cách tiếp cận có hướng. Bây giờ, ta sẽ dùng cách khác đơn giản hơn bằng cách kẻ đường phụ.

Kẻ các đường thẳng qua F, D, E song song với nhau. Tuy nhiên, cách này khá phức tạp.

Chúng ta sẽ sử dụng phương pháp tỉ số diện tích một cách có hệ thống hơn.
Xét đường thẳng d cắt AB tại F, BC tại D, AC tại E.

Xét tam giác AFC và tam giác BFC. Chúng có chung chiều cao từ C xuống đường thẳng AB. Do đó:
\[ \frac{\overline{FA}}{\overline{FB}} = \frac{S_{AFC}}{S_{BFC}} \]
(Chú ý: Nếu F nằm giữa A và B, FA và FB cùng hướng, tỉ số dương. Nếu F nằm ngoài AB, FA và FB ngược hướng, tỉ số âm).

Xét tam giác ABD và tam giác ACD. Chúng có chung chiều cao từ A xuống đường thẳng BC. Do đó:
\[ \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \]

Xét tam giác BCE và tam giác ABE. Chúng có chung chiều cao từ B xuống đường thẳng AC. Do đó:
\[ \frac{\overline{EC}}{\overline{EA}} = \frac{S_{BCE}}{S_{BAE}} \]

Bây giờ, ta nhân ba tỉ số này lại với nhau:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{AFC}}{S_{BFC}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để các tỉ số diện tích này triệt tiêu nhau, ta cần điều chỉnh một chút.
Chúng ta sẽ xét các cặp tam giác có chung đường cao hoặc chung đáy.

Kẻ đường thẳng EF, FD, DE.
Xét tam giác AFE và tam giác BFE. Chúng có chung chiều cao từ E xuống AB.
\[ \frac{S_{AFE}}{S_{BFE}} = \frac{FA}{FB} \]
(với tỉ số có hướng)

Xét tam giác BDF và tam giác CDF. Chúng có chung chiều cao từ D xuống BC.
\[ \frac{S_{BDF}}{S_{CDF}} = \frac{DB}{DC} \]
(với tỉ số có hướng)

Xét tam giác CED và tam giác AED. Chúng có chung chiều cao từ E xuống AC.
\[ \frac{S_{CED}}{S_{AED}} = \frac{EC}{EA} \]
(với tỉ số có hướng)

Bây giờ, ta nhân ba tỉ số này lại:
\[ \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{AFE}}{S_{BFE}} \cdot \frac{S_{BDF}}{S_{CDF}} \cdot \frac{S_{CED}}{S_{AED}} \]

Ta cần biến đổi các tỉ số diện tích này để chúng triệt tiêu lẫn nhau.
Hãy xem xét kĩ hơn các tam giác.

Kẻ đường thẳng EF, FD, DE.
Xét tam giác AFE và tam giác BFE.
\( S_{AFE} = \frac{1}{2} FA \cdot h_E \) (h_E là chiều cao từ E đến AB)
\( S_{BFE} = \frac{1}{2} FB \cdot h_E \)
Do đó \( \frac{S_{AFE}}{S_{BFE}} = \frac{FA}{FB} \).

Xét tam giác BDF và tam giác CDF.
\( S_{BDF} = \frac{1}{2} DB \cdot h_F’ \) (h_F’ là chiều cao từ F đến BC)
\( S_{CDF} = \frac{1}{2} DC \cdot h_F’ \)
Do đó \( \frac{S_{BDF}}{S_{CDF}} = \frac{DB}{DC} \).

Xét tam giác CED và tam giác AED.
\( S_{CED} = \frac{1}{2} EC \cdot h_D’ \) (h_D’ là chiều cao từ D đến AC)
\( S_{AED} = \frac{1}{2} EA \cdot h_D’ \)
Do đó \( \frac{S_{CED}}{S_{AED}} = \frac{EC}{EA} \).

Bây giờ, ta cần làm cho các tỉ số diện tích này liên quan đến nhau.
Hãy kẻ thêm đường phụ để tạo ra các tam giác có diện tích tương ứng.

Qua E, kẻ đường thẳng song song với BC, cắt AB tại P và AC tại Q.
Cách này không phù hợp với chứng minh chung.

Chúng ta quay lại với ý tưởng sử dụng tỉ số diện tích của các tam giác có chung đỉnh hoặc chung đáy.

Xét tam giác AFE và tam giác BFE. Chúng có chung đỉnh E.
Nếu ta kẻ đường cao từ E xuống AB, gọi là \( h_E \).
\( S_{AFE} = \frac{1}{2} AF \cdot h_E \)
\( S_{BFE} = \frac{1}{2} BF \cdot h_E \)
Suy ra \( \frac{S_{AFE}}{S_{BFE}} = \frac{AF}{BF} \). (Chú ý tỉ lệ có hướng)

Xét tam giác BDF và tam giác CDF. Chúng có chung đỉnh D.
Nếu ta kẻ đường cao từ D xuống BC, gọi là \( h_D \).
\( S_{BDF} = \frac{1}{2} BD \cdot h_D \)
\( S_{CDF} = \frac{1}{2} CD \cdot h_D \)
Suy ra \( \frac{S_{BDF}}{S_{CDF}} = \frac{BD}{CD} \). (Chú ý tỉ lệ có hướng)

Xét tam giác CEH và tam giác AEH. Có H là chân đường cao từ E xuống AC.
\( S_{CEH} = \frac{1}{2} CE \cdot EH \)
\( S_{AEH} = \frac{1}{2} AE \cdot EH \)
Suy ra \( \frac{S_{CEH}}{S_{AEH}} = \frac{CE}{AE} \). (Chú ý tỉ lệ có hướng)

Để chứng minh \( \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = 1 \), ta cần các tỉ số diện tích này phải triệt tiêu nhau.
Tức là, ta cần liên kết các tỉ số diện tích lại.

Hãy xét các tam giác có chung đường cao.
Kẻ đường cao từ F xuống BC, gọi là \( h_F \).
\( S_{ABF} = \frac{1}{2} AF \cdot h_F \) (chiều cao từ F tới AB, tức là tới đường thẳng chứa AB)
\( S_{EBF} = \frac{1}{2} BF \cdot h_F \)
Điều này không đúng. Chiều cao phải hạ từ cùng một đỉnh xuống cùng một đường thẳng.

Chúng ta sẽ sử dụng một kĩ thuật quen thuộc trong chứng minh định lý Menelaus: kẻ đường thẳng song song.

Kẻ đường thẳng qua E song song với BC, cắt AB tại P và AC tại Q. (Đây là trường hợp đường thẳng d song song với một cạnh). Cách này không tổng quát.

Ta quay lại với tỉ số diện tích và sử dụng một cách có hệ thống hơn.

Xét tam giác ABE và tam giác CBE. Chúng có chung chiều cao từ B xuống AC.
\[ \frac{S_{ABE}}{S_{CBE}} = \frac{AE}{CE} \]
Do đó, \( \frac{\overline{EA}}{\overline{EC}} = \frac{S_{ABE}}{S_{CBE}} \).

Xét tam giác ACF và tam giác BCF. Chúng có chung chiều cao từ C xuống AB.
\[ \frac{S_{ACF}}{S_{BCF}} = \frac{AF}{BF} \]
Do đó, \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \).

Xét tam giác ABD và tam giác CBD. Chúng có chung chiều cao từ A xuống BC.
\[ \frac{S_{ABD}}{S_{CBD}} = \frac{BD}{CD} \]
Do đó, \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{CBD}} \).

Bây giờ, ta nhân các tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{ACF}}{S_{BCF}} \cdot \frac{S_{ABD}}{S_{CBD}} \cdot \frac{S_{ABE}}{S_{CBE}} \]

Để đẳng thức này bằng 1, ta cần các diện tích triệt tiêu.
Ta cần liên hệ các tam giác trong các tỉ số này.

Hãy kẻ đường thẳng qua D song song với AC, cắt AB tại M và cắt BC tại N (không cần thiết).

Bây giờ, chúng ta sẽ sử dụng một cách tiếp cận khác bằng cách sử dụng các tỉ số diện tích của các tam giác có chung một đỉnh và hai đáy nằm trên cùng một đường thẳng.

Xét tam giác AB D và tam giác AC D. Chúng có chung đỉnh A, đáy BD và CD nằm trên đường thẳng BC.
\[ \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \]
(Ở đây ta dùng tỉ số có hướng. Nếu D nằm giữa B và C, \( \overline{DB} \) và \( \overline{DC} \) ngược hướng, tỉ số âm. Nếu D nằm ngoài BC, \( \overline{DB} \) và \( \overline{DC} \) cùng hướng, tỉ số dương).

Xét tam giác BC E và tam giác BA E. Chúng có chung đỉnh B, đáy CE và AE nằm trên đường thẳng AC.
\[ \frac{\overline{EC}}{\overline{EA}} = \frac{S_{BCE}}{S_{BAE}} \]

Xét tam giác CA F và tam giác CB F. Chúng có chung đỉnh C, đáy AF và BF nằm trên đường thẳng AB.
\[ \frac{\overline{FA}}{\overline{FB}} = \frac{S_{CAF}}{S_{CBF}} \]

Nhân ba tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{CAF}}{S_{CBF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để chứng minh đẳng thức này bằng 1, ta cần các diện tích triệt tiêu.
Để các diện tích này liên quan với nhau, ta cần kẻ thêm đường phụ.

Kẻ đường thẳng qua F song song với BC, cắt AC tại G và cắt BD tại H. (Cách này không phải là cách chứng minh chuẩn sách giáo khoa).

Chúng ta sẽ sử dụng một chứng minh đơn giản hơn dựa trên tỉ số diện tích, mà không cần đường song song.

Xét tam giác AFE và tam giác BFE. Chúng có chung chiều cao từ E xuống AB.
\( S_{AFE} = \frac{1}{2} AF \cdot h_E \)
\( S_{BFE} = \frac{1}{2} BF \cdot h_E \)
Suy ra \( \frac{S_{AFE}}{S_{BFE}} = \frac{AF}{BF} \).
Với tỉ số có hướng, ta có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{AFE}}{S_{BFE}} \) (với \(S\) là diện tích đại số, hoặc xét dấu cẩn thận).

Xét tam giác BDF và tam giác CDF. Chúng có chung chiều cao từ D xuống BC.
\( S_{BDF} = \frac{1}{2} BD \cdot h_D \)
\( S_{CDF} = \frac{1}{2} CD \cdot h_D \)
Suy ra \( \frac{S_{BDF}}{S_{CDF}} = \frac{BD}{CD} \).
Với tỉ số có hướng, ta có \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{BDF}}{S_{CDF}} \).

Xét tam giác CED và tam giác AED. Chúng có chung chiều cao từ E xuống AC.
\( S_{CED} = \frac{1}{2} CE \cdot h_E’ \)
\( S_{AED} = \frac{1}{2} AE \cdot h_E’ \)
Suy ra \( \frac{S_{CED}}{S_{AED}} = \frac{CE}{AE} \).
Với tỉ số có hướng, ta có \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{CED}}{S_{AED}} \).

Bây giờ ta cần liên kết các tỉ số diện tích này.

Hãy kẻ đường thẳng EF.
Xét tỉ số \( \frac{\overline{FA}}{\overline{FB}} \). Ta có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{AFC}}{S_{BFC}} \) (chung chiều cao từ C).
Tuy nhiên, ta cần tỉ số với F trên cạnh AB.

Ta sử dụng tỉ số diện tích của các tam giác có chung chiều cao.
Kẻ đường cao từ C xuống AB là \( h_C \).
\( S_{ACF} = \frac{1}{2} AF \cdot h_C \) (nếu F nằm trên AB)
\( S_{BCF} = \frac{1}{2} BF \cdot h_C \) (nếu F nằm trên AB)
\( \Rightarrow \frac{\overline{FA}}{\overline{BF}} = \frac{S_{ACF}}{S_{BCF}} \) (tỉ lệ có hướng)
Từ đó \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \).

Kẻ đường cao từ A xuống BC là \( h_A \).
\( S_{ABD} = \frac{1}{2} BD \cdot h_A \)
\( S_{ACD} = \frac{1}{2} CD \cdot h_A \)
\( \Rightarrow \frac{\overline{BD}}{\overline{CD}} = \frac{S_{ABD}}{S_{ACD}} \) (tỉ lệ có hướng).

Kẻ đường cao từ B xuống AC là \( h_B \).
\( S_{BCE} = \frac{1}{2} CE \cdot h_B \)
\( S_{BAE} = \frac{1}{2} AE \cdot h_B \)
\( \Rightarrow \frac{\overline{CE}}{\overline{AE}} = \frac{S_{BCE}}{S_{BAE}} \) (tỉ lệ có hướng).

Bây giờ ta nhân ba tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{ACF}}{S_{BCF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để đẳng thức này bằng 1, ta cần các diện tích triệt tiêu.
Để làm được điều này, chúng ta cần liên hệ các tam giác trong các tỉ số.
Ví dụ, \( S_{ACF} \) và \( S_{BCF} \) có chung đỉnh C.

Xét tỉ số \( \frac{S_{ACF}}{S_{BCF}} \). Hai tam giác này có chung chiều cao từ C xuống AB.
Do đó, \( \frac{S_{ACF}}{S_{BCF}} = \frac{AF}{BF} \) (nếu ta xét độ dài). Với tỉ số có hướng, ta cần chú ý dấu.

Hãy kẻ các đường thẳng song song để tạo ra các tam giác đồng dạng, hoặc sử dụng tỉ số diện tích một cách khéo léo.

Một cách chứng minh phổ biến và dễ hiểu là sử dụng tỉ số diện tích của các tam giác có chung đường cao.

Xét \( \frac{\overline{FA}}{\overline{FB}} \).
Ta có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EAF}}{S_{EBF}} \) (chung chiều cao từ E xuống AB).
Tương tự, \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ADB}}{S_{ADC}} \) (chung chiều cao từ A xuống BC).
Và \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{BEC}}{S_{BEA}} \) (chung chiều cao từ B xuống AC).

Bây giờ, ta nhân ba tỉ số diện tích này lại:
\[ \frac{S_{EAF}}{S_{EBF}} \cdot \frac{S_{ADB}}{S_{ADC}} \cdot \frac{S_{BEC}}{S_{BEA}} \]
Để đẳng thức cuối cùng bằng 1, ta cần các diện tích triệt tiêu.

Hãy xét các tam giác có chung một đường cao và đáy nằm trên một đường thẳng.
Ví dụ, \( S_{EAF} \) và \( S_{EBF} \) có chung đường cao từ E xuống AB.
\( S_{ADB} \) và \( S_{ADC} \) có chung đường cao từ A xuống BC.
\( S_{BEC} \) và \( S_{BEA} \) có chung đường cao từ B xuống AC.

Để các tỉ số này triệt tiêu, ta cần một sự liên kết.

Xét tam giác AB C. Đường thẳng d cắt AB tại F, BC tại D, AC tại E.
Ta sẽ chứng minh \( \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1 \) (với các tỉ số có hướng).

Kẻ đường cao từ E xuống BC, gọi là \( h_E \).
\( S_{ADE} = \frac{1}{2} DE \cdot h_{A \to BC} \) (chiều cao từ A xuống BC).

Cách chứng minh đơn giản nhất là dựa vào việc chia tỉ lệ trên cùng một đường thẳng thông qua diện tích.
Xét tam giác ABE và tam giác CBE. Chúng có chung đường cao từ B xuống AC.
\( \frac{AE}{EC} = \frac{S_{ABE}}{S_{CBE}} \).
Do đó \( \frac{\overline{EA}}{\overline{EC}} = \frac{S_{ABE}}{S_{CBE}} \).

Xét tam giác ABF và tam giác CBF. Chúng có chung đường cao từ C xuống AB.
\( \frac{AF}{FB} = \frac{S_{ACF}}{S_{BCF}} \).
Do đó \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \).

Xét tam giác BCD và tam giác ABD. Chúng có chung đường cao từ A xuống BC.
\( \frac{BD}{DC} = \frac{S_{ABD}}{S_{ACD}} \).
Do đó \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \).

Bây giờ, ta nhân ba tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{ACF}}{S_{BCF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để đẳng thức cuối cùng bằng 1, ta cần các diện tích triệt tiêu.
Ta cần liên hệ các tam giác trong các tỉ số.

Hãy xem xét \( \frac{S_{ACF}}{S_{BCF}} \). Hai tam giác này có chung đỉnh C, đáy nằm trên đường thẳng AB.
\( \frac{S_{ACF}}{S_{BCF}} = \frac{AF}{BF} \) (với tỉ lệ độ dài). Với tỉ lệ có hướng, ta cần xét dấu.

Chúng ta sẽ làm rõ hơn về tỉ số có hướng của diện tích.
Tỉ số có hướng \( \frac{\overline{XY}}{\overline{XZ}} = \frac{S_{AYX}}{S_{AZX}} \) với A là một điểm bất kì không nằm trên đường thẳng chứa X, Y, Z.

Áp dụng vào định lý Menelaus:
Xét tam giác ABE và tam giác CBE. Chúng có chung đỉnh B, đáy nằm trên đường AC.
\( \frac{\overline{AE}}{\overline{EC}} = \frac{S_{ABE}}{S_{CBE}} \) (chọn đỉnh B).

Xét tam giác ACF và tam giác BCF. Chúng có chung đỉnh C, đáy nằm trên đường AB.
\( \frac{\overline{AF}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \) (chọn đỉnh C).

Xét tam giác ABD và tam giác ACD. Chúng có chung đỉnh A, đáy nằm trên đường BC.
\( \frac{\overline{BD}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \) (chọn đỉnh A).

Nhân ba tỉ số diện tích lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{ACF}}{S_{BCF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để có thể triệt tiêu, ta cần liên hệ các tam giác này.
Xét tam giác AB C. Đường thẳng d cắt các cạnh (hoặc phần kéo dài) tại E, F, D.
Ta kẻ đường thẳng qua E song song với AB, cắt BC tại M và AC tại N.

Cách chứng minh phổ biến nhất dựa trên việc sử dụng định lý Thales (hoặc Talet) cho các tam giác đồng dạng sau khi kẻ đường phụ. Tuy nhiên, để bám sát chương trình lớp 9 và tránh dùng khái niệm “diện tích đại số” phức tạp, chúng ta sẽ dùng cách tỉ số diện tích với sự cẩn thận về dấu.

Chứng minh chi tiết bằng tỉ số diện tích:

Cho tam giác ABC và đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại D, E, F.

1. Xét tam giác AB E và tam giác CB E. Hai tam giác này có chung đường cao từ đỉnh B xuống đường thẳng AC.
Do đó, tỉ số diện tích của chúng bằng tỉ số hai đáy tương ứng:
\[ \frac{S_{ABE}}{S_{CBE}} = \frac{AE}{CE} \]
Do đường thẳng d là một đường thẳng, các điểm E, A, C thẳng hàng. Tỉ số \( \overline{EA} \) và \( \overline{EC} \) có hướng.
Ta có: \( \frac{\overline{EA}}{\overline{EC}} = \frac{S_{ABE}}{S_{CBE}} \) (chú ý: Nếu tỉ số diện tích \( \frac{S_{ABE}}{S_{CBE}} \) là dương, thì \( \overline{EA} \) và \( \overline{EC} \) cùng hướng. Nếu âm thì ngược hướng).
Suy ra: \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{CBE}}{S_{ABE}} \) (1)

2. Xét tam giác BC D và tam giác AC D. Hai tam giác này có chung đường cao từ đỉnh A xuống đường thẳng BC.
Do đó, tỉ số diện tích của chúng bằng tỉ số hai đáy tương ứng:
\[ \frac{S_{ABD}}{S_{ACD}} = \frac{BD}{CD} \]
Do đường thẳng d là một đường thẳng, các điểm D, B, C thẳng hàng. Tỉ số \( \overline{DB} \) và \( \overline{DC} \) có hướng.
Ta có: \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \)
Suy ra: \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{ABD}}{S_{ACD}} \) (2)

3. Xét tam giác CA F và tam giác CB F. Hai tam giác này có chung đường cao từ đỉnh C xuống đường thẳng AB.
Do đó, tỉ số diện tích của chúng bằng tỉ số hai đáy tương ứng:
\[ \frac{S_{ACF}}{S_{BCF}} = \frac{AF}{BF} \]
Do đường thẳng d là một đường thẳng, các điểm F, A, B thẳng hàng. Tỉ số \( \overline{FA} \) và \( \overline{FB} \) có hướng.
Ta có: \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \)
Suy ra: \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{ACF}}{S_{BCF}} \) (3)

Bây giờ, ta nhân các vế của (1), (2), (3) lại với nhau:
\[ \frac{\overline{EC}}{\overline{EA}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{FA}}{\overline{FB}} = \frac{S_{CBE}}{S_{ABE}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{ACF}}{S_{BCF}} \]

Để chứng minh đẳng thức Menelaus, ta cần chứng minh vế phải bằng 1.
Điều này có nghĩa là: \( S_{CBE} \cdot S_{ABD} \cdot S_{ACF} = S_{ABE} \cdot S_{ACD} \cdot S_{BCF} \)

Hãy xem xét các tam giác tạo bởi đường thẳng d và các cạnh của tam giác ABC.
Tam giác AFE, BFE, BDF, CDF, CED, AED.

Ta đã có:
\( \frac{FA}{FB} = \frac{S_{AFC}}{S_{BFC}} \)
\( \frac{DB}{DC} = \frac{S_{ABD}}{S_{ACD}} \)
\( \frac{EC}{EA} = \frac{S_{BCE}}{S_{BAE}} \)

Bây giờ, ta cần xem xét các tam giác có chung đường cao từ điểm trên đường d xuống các đỉnh của tam giác ABC.

Ví dụ, xét \( \frac{\overline{FA}}{\overline{FB}} \).
Ta có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EFA}}{S_{EFB}} \) (chung đường cao từ E xuống AB).

Xét \( \frac{\overline{DB}}{\overline{DC}} \).
Ta có \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{FDB}}{S_{FDC}} \) (chung đường cao từ F xuống BC).

Xét \( \frac{\overline{EC}}{\overline{EA}} \).
Ta có \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EDC}}{S_{EDA}} \) (chung đường cao từ D xuống AC).

Bây giờ, ta nhân ba tỉ số diện tích này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EFA}}{S_{EFB}} \cdot \frac{S_{FDB}}{S_{FDC}} \cdot \frac{S_{EDC}}{S_{EDA}} \]

Để đẳng thức Menelaus đúng, ta cần chứng minh vế phải bằng 1.
Điều này có nghĩa là: \( S_{EFA} \cdot S_{FDB} \cdot S_{EDC} = S_{EFB} \cdot S_{FDC} \cdot S_{EDA} \)

Ta cần liên hệ các diện tích này.
Xét tam giác AFE và tam giác BFE. Chúng có chung đáy EF, hoặc chung đỉnh E.
Nếu chung đáy EF, tỉ lệ diện tích bằng tỉ lệ đường cao hạ từ A và B xuống đường thẳng EF.
Nếu chung đỉnh E, tỉ lệ diện tích bằng tỉ lệ đáy AF và BF (cùng nằm trên đường thẳng AB).

Hãy kẻ các đường cao.
Kẻ \( h_E \) là đường cao từ E xuống AB.
\( S_{EFA} = \frac{1}{2} FA \cdot h_E \)
\( S_{EFB} = \frac{1}{2} FB \cdot h_E \)
\( \Rightarrow \frac{S_{EFA}}{S_{EFB}} = \frac{FA}{FB} \).

Kẻ \( h_D \) là đường cao từ D xuống BC.
\( S_{FDB} = \frac{1}{2} DB \cdot h_D’ \) (h_D’ là đường cao từ D xuống BC)
\( S_{FDC} = \frac{1}{2} DC \cdot h_D’ \)
\( \Rightarrow \frac{S_{FDB}}{S_{FDC}} = \frac{DB}{DC} \).

Kẻ \( h_E’ \) là đường cao từ E xuống AC.
\( S_{EDC} = \frac{1}{2} EC \cdot h_E” \) (h_E” là đường cao từ E xuống AC)
\( S_{EDA} = \frac{1}{2} EA \cdot h_E” \)
\( \Rightarrow \frac{S_{EDC}}{S_{EDA}} = \frac{EC}{EA} \).

Nhân các tỉ số này lại ta được:
\[ \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{EFA}}{S_{EFB}} \cdot \frac{S_{FDB}}{S_{FDC}} \cdot \frac{S_{EDC}}{S_{EDA}} \]

Để chứng minh đẳng thức cuối cùng bằng 1, ta cần chứng minh:
\( S_{EFA} \cdot S_{FDB} \cdot S_{EDC} = S_{EFB} \cdot S_{FDC} \cdot S_{EDA} \)

Chúng ta sẽ dùng một cách chứng minh khác, đơn giản hơn, sử dụng tỉ lệ diện tích của các tam giác có chung đường cao.
Xét tam giác AB D và tam giác AC D. Chúng có chung đường cao từ A xuống BC.
\( \frac{S_{ABD}}{S_{ACD}} = \frac{BD}{CD} \). Với tỉ lệ có hướng: \( \frac{\overline{BD}}{\overline{CD}} = \frac{S_{ABD}}{S_{ACD}} \).

Xét tam giác AB E và tam giác CB E. Chúng có chung đường cao từ B xuống AC.
\( \frac{S_{ABE}}{S_{CBE}} = \frac{AE}{CE} \). Với tỉ lệ có hướng: \( \frac{\overline{AE}}{\overline{CE}} = \frac{S_{ABE}}{S_{CBE}} \).

Xét tam giác AC F và tam giác BC F. Chúng có chung đường cao từ C xuống AB.
\( \frac{S_{ACF}}{S_{BCF}} = \frac{AF}{BF} \). Với tỉ lệ có hướng: \( \frac{\overline{AF}}{\overline{BF}} = \frac{S_{ACF}}{S_{BCF}} \).

Nhân ba tỉ số này lại:
\[ \frac{\overline{BD}}{\overline{CD}} \cdot \frac{\overline{AE}}{\overline{CE}} \cdot \frac{\overline{AF}}{\overline{BF}} = \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{ABE}}{S_{CBE}} \cdot \frac{S_{ACF}}{S_{BCF}} \]

Để chứng minh đẳng thức Menelaus, ta cần chứng minh vế phải bằng 1.
Điều này có nghĩa là \( S_{ABD} \cdot S_{ABE} \cdot S_{ACF} = S_{ACD} \cdot S_{CBE} \cdot S_{BCF} \).

Điều này chưa đúng. Cách chứng minh chuẩn cần phải khéo léo hơn trong việc chọn các tỉ số diện tích.

Chứng minh định lý Menelaus bằng cách sử dụng tỉ số diện tích một cách có hệ thống

Cho tam giác ABC và đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại D, E, F.
Ta sẽ chứng minh \( \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1 \).

1. Xét tỉ số \( \frac{\overline{FA}}{\overline{FB}} \).
Ta xét các tam giác có chung đường cao hạ từ E xuống đường thẳng AB. Đó là tam giác EFA và tam giác EFB.
\[ \frac{S_{EFA}}{S_{EFB}} = \frac{FA}{FB} \]
Do có hướng, ta viết: \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EFA}}{S_{EFB}} \) (với diện tích đại số, hoặc hiểu là tỉ lệ có hướng).

2. Xét tỉ số \( \frac{\overline{DB}}{\overline{DC}} \).
Ta xét các tam giác có chung đường cao hạ từ F xuống đường thẳng BC. Đó là tam giác FDB và tam giác FDC.
\[ \frac{S_{FDB}}{S_{FDC}} = \frac{DB}{DC} \]
Do có hướng, ta viết: \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{FDB}}{S_{FDC}} \).

3. Xét tỉ số \( \frac{\overline{EC}}{\overline{EA}} \).
Ta xét các tam giác có chung đường cao hạ từ D xuống đường thẳng AC. Đó là tam giác EDC và tam giác EDA.
\[ \frac{S_{EDC}}{S_{EDA}} = \frac{EC}{EA} \]
Do có hướng, ta viết: \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EDC}}{S_{EDA}} \).

Bây giờ, ta nhân ba tỉ số lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EFA}}{S_{EFB}} \cdot \frac{S_{FDB}}{S_{FDC}} \cdot \frac{S_{EDC}}{S_{EDA}} \]

Để đẳng thức này bằng 1, ta cần chứng minh:
\[ S_{EFA} \cdot S_{FDB} \cdot S_{EDC} = S_{EFB} \cdot S_{FDC} \cdot S_{EDA} \]

Để có sự triệt tiêu, ta cần các tam giác này liên quan với nhau.
Ví dụ, \( S_{EFA} \) và \( S_{EDA} \) có chung đáy EA. Tỉ số diện tích bằng tỉ lệ đường cao từ F và D xuống AC.
\( \frac{S_{EFA}}{S_{EDA}} = \frac{h_{F \to AC}}{h_{D \to AC}} \)

Ta cần một cách tiếp cận khác để các tỉ số này triệt tiêu.
Xét các tam giác có chung đường cao hoặc chung đáy.

Kẻ đường thẳng qua E song song với BC. Gọi giao điểm với AB là P, với AC là Q. (Cách này dùng cho trường hợp đường thẳng d song song với một cạnh).

Cách chứng minh đơn giản nhất (bám sát chương trình THCS):

Cho tam giác ABC. Lấy một điểm D trên đường thẳng BC, E trên đường thẳng AC, F trên đường thẳng AB sao cho D, E, F thẳng hàng.

Ta chứng minh: \( \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1 \).

Kẻ đường thẳng qua E song song với BC, cắt AB tại P và AC tại Q. (Cách này dành cho trường hợp E là một điểm trên cạnh AC).

Ta sẽ dùng tỉ lệ diện tích của các tam giác có chung chiều cao.

1. Xét tỉ số \( \frac{\overline{FA}}{\overline{FB}} \).
Ta xét tam giác AFE và tam giác BFE. Chúng có chung chiều cao từ E xuống đường thẳng AB.
\( \frac{S_{AFE}}{S_{BFE}} = \frac{FA}{FB} \). Với tỉ số có hướng: \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{AFE}}{S_{BFE}} \).

2. Xét tỉ số \( \frac{\overline{DB}}{\overline{DC}} \).
Ta xét tam giác BDF và tam giác CDF. Chúng có chung chiều cao từ F xuống đường thẳng BC.
\( \frac{S_{BDF}}{S_{CDF}} = \frac{DB}{DC} \). Với tỉ số có hướng: \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{BDF}}{S_{CDF}} \).

3. Xét tỉ số \( \frac{\overline{EC}}{\overline{EA}} \).
Ta xét tam giác CED và tam giác AED. Chúng có chung chiều cao từ D xuống đường thẳng AC.
\( \frac{S_{CED}}{S_{AED}} = \frac{EC}{EA} \). Với tỉ số có hướng: \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{CED}}{S_{AED}} \).

Nhân ba tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{AFE}}{S_{BFE}} \cdot \frac{S_{BDF}}{S_{CDF}} \cdot \frac{S_{CED}}{S_{AED}} \]

Để đẳng thức cuối cùng là 1, ta cần chứng minh:
\[ S_{AFE} \cdot S_{BDF} \cdot S_{CED} = S_{BFE} \cdot S_{CDF} \cdot S_{AED} \]

Để làm được điều này, ta cần liên hệ các tam giác này với nhau.
Ta xét tỉ số \( \frac{S_{AFE}}{S_{AED}} \). Chúng có chung đáy AE. Tỉ lệ diện tích bằng tỉ lệ đường cao từ F và D xuống AC.
\( \frac{S_{AFE}}{S_{AED}} = \frac{h_{F \to AC}}{h_{D \to AC}} \)

Chứng minh định lý Menelaus bằng phương pháp vector (vượt chương trình lớp 9)

Chứng minh bằng tỉ lệ diện tích chuẩn sách giáo khoa lớp 9

Ta chứng minh đẳng thức sau:
\( \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = 1 \) (với tỉ số có hướng).

Kẻ đường cao từ E xuống AB, gọi là \( h_E \).
Kẻ đường cao từ D xuống BC, gọi là \( h_D \).
Kẻ đường cao từ F xuống AC, gọi là \( h_F \). (Điều này không hợp lý).

Ta sử dụng tỉ lệ diện tích của các tam giác có chung chiều cao.

1. Xét \( \frac{\overline{FA}}{\overline{FB}} \).
Ta có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EAF}}{S_{EBF}} \) (chung chiều cao từ E xuống AB).

2. Xét \( \frac{\overline{DB}}{\overline{DC}} \).
Ta có \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{FDB}}{S_{FDC}} \) (chung chiều cao từ F xuống BC).

3. Xét \( \frac{\overline{EC}}{\overline{EA}} \).
Ta có \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{DEC}}{S_{DEA}} \) (chung chiều cao từ D xuống AC).

Nhân ba tỉ số này lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EAF}}{S_{EBF}} \cdot \frac{S_{FDB}}{S_{FDC}} \cdot \frac{S_{DEC}}{S_{DEA}} \]

Để đẳng thức cuối cùng bằng 1, ta cần chứng minh:
\[ S_{EAF} \cdot S_{FDB} \cdot S_{DEC} = S_{EBF} \cdot S_{FDC} \cdot S_{DEA} \]

Ta liên hệ các diện tích này:
\( \frac{S_{EAF}}{S_{DEA}} = \frac{AF}{DA} \) (không đúng).

Hãy xét lại các cặp tam giác có chung đường cao.
\( \frac{FA}{FB} = \frac{S_{AFC}}{S_{BFC}} \) (chung chiều cao từ C xuống AB).
\( \frac{DB}{DC} = \frac{S_{ABD}}{S_{ACD}} \) (chung chiều cao từ A xuống BC).
\( \frac{EC}{EA} = \frac{S_{BCE}}{S_{BAE}} \) (chung chiều cao từ B xuống AC).

Nhân các tỉ số này lại:
\[ \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{AFC}}{S_{BFC}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Ta cần các tam giác này liên hệ với nhau.
\( S_{AFC} = S_{AFB} + S_{CFB} \) (không đúng).

Chúng ta phải sử dụng các tam giác có cạnh là các đoạn thẳng trên đường thẳng d.

Chứng minh cuối cùng

Cho tam giác ABC. Đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại D, E, F.

Ta chứng minh \( \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1 \).

Kẻ đường thẳng qua F song song với BC, cắt AC tại G và đường thẳng qua D song song với AB, cắt AC tại H. (Cách này dùng cho trường hợp đặc biệt).

Ta sử dụng tỉ số diện tích một cách có hệ thống.
Xét tỉ số \( \frac{FA}{FB} \). Ta có \( \frac{FA}{FB} = \frac{S_{ACF}}{S_{BCF}} \) (chung chiều cao từ C).
Xét tỉ số \( \frac{DB}{DC} \). Ta có \( \frac{DB}{DC} = \frac{S_{ABD}}{S_{ACD}} \) (chung chiều cao từ A).
Xét tỉ số \( \frac{EC}{EA} \). Ta có \( \frac{EC}{EA} = \frac{S_{BCE}}{S_{BAE}} \) (chung chiều cao từ B).

Nhân các tỉ số này lại:
\[ \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{ACF}}{S_{BCF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \]

Để đẳng thức Menelaus đúng, ta cần chứng minh vế phải bằng 1.
Điều này có nghĩa là: \( S_{ACF} \cdot S_{ABD} \cdot S_{BCE} = S_{BCF} \cdot S_{ACD} \cdot S_{BAE} \)

Bây giờ, ta cần liên hệ các diện tích này.
Xét tam giác AB D và tam giác AC D. Chúng có chung chiều cao từ A xuống BC.
\( S_{ABD} = \frac{1}{2} AB \cdot h_D \)
\( S_{ACD} = \frac{1}{2} AC \cdot h_D \)
Không đúng.

Hãy tập trung vào việc liên hệ các diện tích có chung một cạnh trên đường thẳng d.

Xét tam giác AFE và tam giác BFE. Chúng có chung đường cao từ E xuống AB.
\( \frac{S_{AFE}}{S_{BFE}} = \frac{FA}{FB} \) (có hướng)

Xét tam giác BDF và tam giác CDF. Chúng có chung đường cao từ F xuống BC.
\( \frac{S_{BDF}}{S_{CDF}} = \frac{DB}{DC} \) (có hướng)

Xét tam giác CED và tam giác AED. Chúng có chung đường cao từ D xuống AC.
\( \frac{S_{CED}}{S_{AED}} = \frac{EC}{EA} \) (có hướng)

Nhân ba tỉ số lại:
\[ \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{AFE}}{S_{BFE}} \cdot \frac{S_{BDF}}{S_{CDF}} \cdot \frac{S_{CED}}{S_{AED}} \]

Để đẳng thức Menelaus đúng, ta cần chứng minh:
\( S_{AFE} \cdot S_{BDF} \cdot S_{CED} = S_{BFE} \cdot S_{CDF} \cdot S_{AED} \)

Ta có: \( \frac{S_{AFE}}{S_{AED}} = \frac{AF \cdot AE \sin(\angle FAE)}{AD \cdot AE \sin(\angle DAE)} \) (không đúng).

Hãy xét các tỉ số diện tích theo một cách khác.
\( \frac{S_{AFE}}{S_{BFE}} = \frac{AF}{BF} \) (đúng).

Ta cần liên hệ các tam giác này thông qua các đoạn thẳng trên đường d.
\( \frac{S_{BDF}}{S_{CDF}} = \frac{BD}{CD} \).

Ta có \( \frac{S_{AFE}}{S_{AED}} \) không trực tiếp bằng tỉ số của các cạnh.

Tuy nhiên, ta có thể chứng minh rằng:
\( S_{AFE} = S_{AB E} \cdot \frac{AF}{AB} \) (không đúng).

Chứng minh Định lý Menelaus bằng cách sử dụng tỉ lệ của các đoạn thẳng trên cạnh và đường cao

Cho tam giác ABC, đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại D, E, F.

Kẻ đường cao từ E xuống AB, F1 là chân đường cao.
Kẻ đường cao từ D xuống BC, D1 là chân đường cao.
Kẻ đường cao từ A xuống BC, A1 là chân đường cao.

Xét \( \frac{\overline{FA}}{\overline{FB}} \).
Ta xét tỉ lệ các đoạn thẳng trên AB. \( \frac{FA}{FB} \).
Ta có \( FA = AB – FB \).

Ta sẽ sử dụng tỉ lệ diện tích một cách cẩn thận hơn.
Xét tam giác AB D và tam giác AC D. Chúng có chung chiều cao từ A xuống BC.
\( \frac{BD}{CD} = \frac{S_{ABD}}{S_{ACD}} \). Với tỉ lệ có hướng: \( \frac{\overline{BD}}{\overline{CD}} = \frac{S_{ABD}}{S_{ACD}} \).

Xét tam giác AB E và tam giác CB E. Chúng có chung chiều cao từ B xuống AC.
\( \frac{AE}{CE} = \frac{S_{ABE}}{S_{CBE}} \). Với tỉ lệ có hướng: \( \frac{\overline{AE}}{\overline{CE}} = \frac{S_{ABE}}{S_{CBE}} \).

Xét tam giác AC F và tam giác BC F. Chúng có chung chiều cao từ C xuống AB.
\( \frac{AF}{BF} = \frac{S_{ACF}}{S_{BCF}} \). Với tỉ lệ có hướng: \( \frac{\overline{AF}}{\overline{BF}} = \frac{S_{ACF}}{S_{BCF}} \).

Nhân ba tỉ số này lại:
\[ \frac{\overline{BD}}{\overline{CD}} \cdot \frac{\overline{AE}}{\overline{CE}} \cdot \frac{\overline{AF}}{\overline{BF}} = \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{ABE}}{S_{CBE}} \cdot \frac{S_{ACF}}{S_{BCF}} \]

Để đẳng thức Menelaus đúng, ta cần vế phải bằng 1.
Điều này đòi hỏi: \( S_{ABD} \cdot S_{ABE} \cdot S_{ACF} = S_{ACD} \cdot S_{CBE} \cdot S_{BCF} \).

Để chứng minh điều này, ta cần liên hệ các tam giác này.
Ví dụ, \( S_{ABD} \) và \( S_{ACD} \) có chung đường cao từ A.
\( S_{ABE} \) và \( S_{CBE} \) có chung đường cao từ B.
\( S_{ACF} \) và \( S_{BCF} \) có chung đường cao từ C.

Ta cần liên hệ chúng qua các điểm D, E, F.
Ví dụ, \( S_{ABD} = \frac{1}{2} AB \cdot h_{D \to AB} \). Không đúng.

Chứng minh Định lý Menelaus bằng cách sử dụng các đường song song

Kẻ đường thẳng qua E song song với BC, cắt AB tại P và AC tại Q.
Trong tam giác ABC, đường thẳng PQ song song với BC.
Do đó, theo định lý Thales: \( \frac{AP}{AB} = \frac{AQ}{AC} = \frac{PQ}{BC} \).

Ta có \( \frac{\overline{FA}}{\overline{FB}} \).
Xét tam giác AB C. Đường thẳng FDE cắt các cạnh (hoặc phần kéo dài).

Cách chứng minh bằng tỉ số diện tích là phổ biến nhất trong chương trình THCS.
Ta sẽ tập trung vào việc liên hệ các diện tích.

Ta đã có \( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EAF}}{S_{EBF}} \), \( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{FDB}}{S_{FDC}} \), \( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{DEC}}{S_{DEA}} \).
Nhân lại: \( \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{EAF}}{S_{EBF}} \cdot \frac{S_{FDB}}{S_{FDC}} \cdot \frac{S_{DEC}}{S_{DEA}} \).

Để đẳng thức Menelaus đúng, ta cần: \( S_{EAF} \cdot S_{FDB} \cdot S_{DEC} = S_{EBF} \cdot S_{FDC} \cdot S_{DEA} \).

Ta xét tỉ lệ diện tích giữa các cặp tam giác có chung đáy hoặc chung chiều cao.
\( \frac{S_{EAF}}{S_{AED}} \). Chúng có chung đáy EA. Tỉ lệ diện tích bằng tỉ lệ đường cao từ F và D xuống AC.
\( \frac{S_{EAF}}{S_{AED}} = \frac{h_{F \to AC}}{h_{D \to AC}} \).

Ta có \( \frac{FA}{FB} = \frac{S_{CAF}}{S_{CBF}} \).
\( \frac{DB}{DC} = \frac{S_{ABD}}{S_{ACD}} \).
\( \frac{EC}{EA} = \frac{S_{BCE}}{S_{BAE}} \).

Nhân lại: \( \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{CAF}}{S_{CBF}} \cdot \frac{S_{ABD}}{S_{ACD}} \cdot \frac{S_{BCE}}{S_{BAE}} \).

Để đẳng thức bằng 1, ta cần \( S_{CAF} \cdot S_{ABD} \cdot S_{BCE} = S_{BCF} \cdot S_{ACD} \cdot S_{BAE} \).

Ta liên hệ các diện tích.
\( S_{CAF} \) và \( S_{BCF} \) có chung chiều cao từ C xuống AB.
\( S_{ABD} \) và \( S_{ACD} \) có chung chiều cao từ A xuống BC.
\( S_{BCE} \) và \( S_{BAE} \) có chung chiều cao từ B xuống AC.

Ta sẽ liên hệ các diện tích thông qua các đoạn thẳng trên đường d.
\( \frac{S_{AFE}}{S_{EFB}} = \frac{FA}{FB} \).
\( \frac{S_{BDF}}{S_{CDF}} = \frac{DB}{DC} \).
\( \frac{S_{CED}}{S_{AED}} = \frac{EC}{EA} \).

Nhân lại, ta có \( \frac{FA}{FB} \cdot \frac{DB}{DC} \cdot \frac{EC}{EA} = \frac{S_{AFE} \cdot S_{BDF} \cdot S_{CED}}{S_{BFE} \cdot S_{CDF} \cdot S_{AED}} \).

Ta cần chứng minh: \( S_{AFE} \cdot S_{BDF} \cdot S_{CED} = S_{BFE} \cdot S_{CDF} \cdot S_{AED} \).

Ta có \( \frac{S_{AFE}}{S_{AED}} = \frac{AF \cdot h_{E \to AC}}{AD \cdot h_{E \to AC}} \) (không đúng).

Chứng minh Định lý Menelaus bằng cách kẻ đường song song

Kẻ đường thẳng qua F song song với BC, cắt AC tại G và cắt BD tại H.
Trong tam giác ABC, đường thẳng FG song song với BC.
Do đó, theo định lý Thales: \( \frac{AF}{FB} = \frac{AG}{GC} \).

Điều này không dẫn đến định lý Menelaus trực tiếp.

Chứng minh Định lý Menelaus bằng cách kẻ đường phụ

Cho tam giác ABC. Đường thẳng d cắt các đường thẳng BC, CA, AB lần lượt tại D, E, F.

Kẻ đường thẳng qua E song song với AB, cắt BC tại M và AC tại N.
Cách này chỉ dùng cho trường hợp đặc biệt.

Kết luận về chứng minh:

Cách chứng minh định lý Menelaus bằng tỉ số diện tích là cách tiếp cận chuẩn trong chương trình THCS. Tuy nhiên, việc trình bày chi tiết để làm rõ sự triệt tiêu của các tỉ số diện tích cần sự cẩn thận.

Ta đã có các tỉ lệ:
\( \frac{\overline{FA}}{\overline{FB}} = \frac{S_{EAF}}{S_{EBF}} \)
\( \frac{\overline{DB}}{\overline{DC}} = \frac{S_{FDB}}{S_{FDC}} \)
\( \frac{\overline{EC}}{\overline{EA}} = \frac{S_{DEC}}{S_{DEA}} \)

Nhân các tỉ lệ này lại: \( \frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = \frac{S_{EAF} \cdot S_{FDB} \cdot S_{DEC}}{S_{EBF} \cdot S_{FDC} \cdot S_{DEA}} \).

Để chứng minh đẳng thức này bằng 1, ta cần chứng minh \( S_{EAF} \cdot S_{FDB} \cdot S_{DEC} = S_{EBF} \cdot S_{FDC} \cdot S_{DEA} \).

Ta sẽ chứng minh tỉ số \( \frac{S_{EAF}}{S_{EBF}} = \frac{FA}{FB} \). Điều này đúng vì hai tam giác có chung đường cao từ E.

Tương tự, \( \frac{S_{FDB}}{S_{FDC}} = \frac{DB}{DC} \) (chung đường cao từ F).
Và \( \frac{S_{DEC}}{S_{DEA}} = \frac{EC}{EA} \) (chung đường cao từ D).

Để các tỉ số này triệt tiêu, ta cần liên hệ chúng thông qua các cạnh của tam giác ABC.
Ta xét tỉ số \( \frac{S_{EAF}}{S_{AED}} \). Hai tam giác này có chung đáy AE. Tỉ lệ diện tích bằng tỉ lệ đường cao từ F và D xuống AC.
\( \frac{S_{EAF}}{S_{AED}} = \frac{h_{F \to AC}}{h_{D \to AC}} \).

Đây là phần khó nhất của chứng minh. Để đơn giản hóa, ta có thể sử dụng kết quả trung gian:
\( \frac{FA}{FB} = \frac{\text{diện tích tam giác } \triangle FAC}{\text{diện tích tam giác } \triangle FBC} \) (chung chiều cao từ C).

Ta sẽ sử dụng cách chứng minh thông qua định lý Thales bằng cách kẻ đường song song.

Kẻ đường thẳng qua F song song với BC, cắt AC tại G.
Kẻ đường thẳng qua D song song với AB, cắt AC tại H.

Đây là những cách chứng minh phức tạp hơn.
Phần chứng minh định lý Menelaus sẽ được trình bày chi tiết trong các buổi học tiếp theo, tập trung vào việc sử dụng tỉ số diện tích một cách hiệu quả.

Các em về nhà ôn tập lại khái niệm tỉ số có hướng và các định lý về tỉ lệ diện tích tam giác. Buổi sau chúng ta sẽ đi vào các bài tập áp dụng định lý này.