Math Labs
Định lýĐã chứng minh

Định lý Thales

Phát biểu

Trong tam giác ABCABC, xét một đường thẳng cắt hai cạnh ABAB và ACAC (hoặc phần kéo dài của chúng) lần lượt tại DD và EE. Đường thẳng DEDE song song với BCBC khi và chỉ khi nó định ra trên hai cạnh các đoạn thẳng tương ứng tỉ lệ: ADDB=AEEC\dfrac{AD}{DB} = \dfrac{AE}{EC}, và khi đó ADAB=AEAC=DEBC\dfrac{AD}{AB} = \dfrac{AE}{AC} = \dfrac{DE}{BC}.

Vì sao đúng?

Khi trượt một đường thẳng song song với cạnh đáy BCBC về phía đỉnh AA, tam giác △ADE\triangle ADE co giãn đồng đều so với △ABC\triangle ABC, vì các góc ở đáy vẫn bằng các góc tương ứng của △ABC\triangle ABC. Phép phóng tỉ lệ đồng đều làm co mọi kích thước dài theo cùng một hệ số, nên các đoạn thẳng chắn trên ABAB và trên ACAC, cũng như chính đoạn song song DEDE, đều giữ nguyên cùng một tỉ số.

Phác thảo chứng minh

Theo lập luận diện tích của Euclid (Quyển VI, Mệnh đề 2): nối BEBE và CDCD. Hai tam giác △ADE\triangle ADE và △BDE\triangle BDE có chung đường cao hạ từ EE xuống đường thẳng ABAB, nên tỉ số diện tích của chúng bằng tỉ số hai đáy, [△ADE][△BDE]=ADDB\dfrac{[\triangle ADE]}{[\triangle BDE]} = \dfrac{AD}{DB}; tương tự [△ADE][△CDE]=AEEC\dfrac{[\triangle ADE]}{[\triangle CDE]} = \dfrac{AE}{EC}. Vì DEDE song song với BCBC nên hai tam giác △BDE\triangle BDE và △CDE\triangle CDE có chung đáy DEDE và có chiều cao bằng nhau giữa hai đường thẳng song song, suy ra [△BDE]=[△CDE][\triangle BDE] = [\triangle CDE], từ đó buộc ADDB=AEEC\dfrac{AD}{DB} = \dfrac{AE}{EC}.

Người chứng minh

Chủ đề chứa định lý này

Định lý liên quan

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Euclid (translated by Thomas L. Heath) (1956). The Thirteen Books of Euclid's Elements, Vol. 2 (Book VI, Proposition 2)
  2. Robin Hartshorne (2000). Geometry: Euclid and Beyond · DOI:10.1007/978-0-387-22676-7