Định lý Thales

Định lý Thales, hay định lý Thalès, định lý Talet, là một định lý quan trọng trong hình học sơ cấp, được đặt theo tên nhà toán học người Hy Lạp Thales. Mặc dù định lý Thales đã được người Babylon và Ai Cập cổ đại biết đến, bằng chứng đầu tiên về định lý này xuất hiện trong "cuốn Cơ sở" của Euclid.

== Định lý Thales trong tam giác ==
Định lý Thales được phát biểu như sau:

Nếu 1 đường thẳng song song với 1 cạnh của tam giác đó và cắt 2 cạnh còn lại thì nó định ra trên 2 cạnh đó những đoạn thẳng tương ứng tỷ lệ"."
Tại hình vẽ bên nếu có tam giác ABC, d cắt AB tại D, cắt AC tại E, song song với BC, như vậy theo định lý Thales, có:

Định lý Thales có tính hai chiều. Định lý Thales đảo được phát biểu như sau:

Nếu một đường thẳng cắt hai cạnh của 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.Trong hình vẽ bên nếu có tam giác ABC; formula_1 hoặc formula_2 hoặc formula_3, như vậy theo định lý Thales đảo, có: DE song song với BC (DE // BC).

=== Hệ quả của định lý Thales – định lý Thales mở rộng ===
==== Hệ quả 1 định lý Thales ====
Hệ quả 1 của định lý Thales được phát biểu như sau:Nếu một đường thẳng cắt hai cạnh của một tam giác và song song với cạnh còn lại thì sẽ tạo ra một tam giác có ba cạnh tỷ lệ với ba cạnh của tam giác đã cho.

==== Hệ quả 2 định lý Thales ====
Hệ quả 2 của định lý Thales được phát biểu như sau:Có một đường thẳng cắt hai cạnh của một tam giác và song song với cạnh còn lại thì sẽ tạo ra một tam giác mới đồng dạng với tam giác đã cho.

==== Hệ quả 3 – Thales mở rộng ====
Hệ quả 3 – Thales mở rộng được phát biểu như sau:Ba đường thẳng đồng quy thì chắn trên hai đường thẳng song song các cặp đoạn thẳng tỷ lệ.

== Định lý Thales trong hình thang ==
Định lý Thales đối với hình thang như sau:Nếu có một đường thẳng song song với 2 cạnh đáy của hình thang và cắt 2 cạnh bên của hình thì nó định ra trên hai cạnh bên đó những đoạn thẳng tương ứng tỷ lệ.

== Định lý Thales trong không gian ==
Ba mặt phẳng song song chắn trên 2 đường thẳng những đoạn thẳng tỷ lệ.

=== Định lý đảo ===
Cho 2 đường thẳng formula_7 và formula_8 chéo nhau. Lấy các điểm formula_9, formula_10, formula_11 formula_12 và formula_13, formula_14, formula_15 formula_16 sao cho formula_17. Khi đó các đường thẳng formula_18, formula_19, formula_20 cùng song song với một mặt phẳng.

== Các khái niệm liên quan ==
=== Đồng dạng và tam giác đồng dạng ===
Định lý Thales có liên quan chặt chẽ đến khái niệm đồng dạng. Định lý Thales có thể được dùng để chứng minh tam giác đồng dạng, cũng như có thể dùng tam giác đồng dạng để chứng minh định lý Thales.

=== Phép nhân vô hướng trong không gian vectơ ===
Trong không gian định chuẩn, các tiên đề liên quan đến phép nhân vô hướng (đặc biệt là formula_21 và formula_22) đã giúp khẳng định tính đúng đắn của định lý Thales. Trong hình, ta có formula_23.

== Ứng dụng ==
Định lý Thales được áp dụng rất nhiều vào thực tiễn. Đơn giản nhất là công việc đo đạc kích thước của một vật lớn mà con người không thể đo trực tiếp. Một số ví dụ về ứng dụng của định lý này bao gồm: đo khoảng cách giữa hai bờ sông, dùng bóng Mặt Trời và định lý Thales để đo chiều cao vật...

== Xem thêm ==
- Định lý Pythagoras
- Định lý Fermat