Ta sử dụng định lí Thalès đảo để chứng minh hai đường thẳng song song.
Nếu một đường thẳng cắt hai cạnh của một tam giác và định ra trên hai cạnh này những đoạn thẳng tương ứng tỉ lệ thì đường thẳng đó song song với cạnh còn lại của tam giác.
GT |
\(\Delta ABC,D \in AB,E \in AC,\) \(\frac{{AD}}{{AB}} = \frac{{AE}}{{AC}}\) hoặc \(\frac{{AD}}{{BD}} = \frac{{AE}}{{CE}}\) hoặc \(\frac{{BD}}{{AB}} = \frac{{CE}}{{AC}}\) |
KL |
\(DE//BC\) |
Ví dụ: Cho hình vẽ, nếu \(\frac{{AM}}{{MB}} = \frac{{AN}}{{NC}}\) thì MN // BC.
Tương tự, nếu ta có một trong hai tỉ lệ thức \(\frac{{AM}}{{AB}} = \frac{{AN}}{{AC}}\) hoặc \(\frac{{MB}}{{AB}} = \frac{{NC}}{{AC}}\) thì ta cũng có thể kết luận MN // BC.