Định lý Carnot (hình học)

Trong lĩnh vực hình học phẳng, định lý Carnot đặt tên theo Lazare Carnot (1753–1823). Có 4 định lý được đặt tên là định lý Carnot. Định lý thứ nhất nói về tổng khoảng cách từ tâm đường tròn ngoại tiếp đến ba cạnh tam giác. Định lý thứ hai nói về điều kiện cần và đủ để ba đường thẳng vuông góc với ba cạnh tam giác đồng quy, còn gọi là định lý Carnot về tam giác hình chiếu. Định lý thứ ba nói về điều kiện cần và đủ để sáu điểm trên một cạnh của tam giác nằm trên một đường conic gọi là định lý Carnot về đường conic. Định lý thứ tư là một mở rộng định lý đường thẳng Simson.

Định lý Carnot về tổng khoảng cách tâm ngoại tiếp đến ba cạnh tam giác

Định lý Carnot này khẳng định tổng khoảng cách có hướng 'từ tâm đường tròn ngoại tiếp đến ba cạnh tam giác sẽ bằng tổng bán kính của đường tròn nội tiếp cộng ngoại tiếp.

Với các ký hiệu như hình vẽ:

Trong đó r là bán kính đường tròn nội tiếp và R là bán kính đường tròn ngoại tiếp của tam giác. Khoảng cách có dấu được hiểu như sau DX (X = F, G, H) sẽ mang dấu âm khi và chỉ khi nó nằm hoàn toàn bên ngoài tam giác. Trong hình vẽ DF mang dấu âm DG và DH mang dấu dương.

Định lý trên được sử dụng để chứng minh định lý Nhật Bản về tứ giác nội tiếp.

Định lý Carnot về tam giác hình chiếu

Ngoài ra còn có định lý hình học nổi tiếng khác đặt theo tên Carnot là định lý về điều kiện để ba đường thẳng vuông góc với ba cạnh tam giác đồng quy. Định lý này phát biểu như sau: Gọi L,M,N lần lượt là ba điểm nằm trên ba cạnh BC,CA,AB của tam giác, khi đó ba đường thẳng qua L,M,N tương ứng và vuông góc với ba cạnh BC,CA,AB đồng quy khi và chỉ khi:

Định lý Carnot về đường conic

Nội dung định lý như sau: Cho tam giác , các điểm  trên cạnh ; các điểm  trên cạnh ; các điểm  trên cạnh . Khi đó sáu điểm  nằm trên một conic nếu và chỉ nếu:

Định lý Carnot cho đường conic là mở rộng định lý Menelaus. Định lý cũng đúng trong trường hợp một đường bậc cao cắt các cạnh của một tam giác. Định lý Carnot tiếp tục được mở rộng cho các đường bậc cao cắt các cạnh của một đa giác bất kỳ, cụ thể như sau:

Cho một đa giác , cho  điểm  nằm trên cạnh  với . Khi đó  điểm  với  and  nằm trên một đường cong bậc  suy ra: 

Trong đó

Định lý Carnot mở rộng định lý Simson

Chân của một điểm nằm trên đường tròn ngoại tiếp tam giác xuống ba cạnh của tam giác thẳng hàng khi và chỉ khi các góc này bằng nhau.<ref>F. G.-M., Exercise de Géométrie, Éditions Jacques Gabay,

Xem thêm 

 Đường thẳng Simson
 Định lý Nhật Bản về tứ giác nội tiếp
 Định lý Pascal
 Định lý Menelaus

Tham khảo

 Eves, H. W. A Survey of Geometry, rev. ed. Boston, MA: Allyn and Bacon, pp. 256 and 262, 1972.
 Honsberger, R. Mathematical Gems III. Washington, DC: Math. Assoc. Amer., p. 25, 1985.

Liên kết ngoài 

 
 Carnot's Theorem at Cut-The-Knot
 Yet another Carnot's Theorem with multiple applications at Cut-The-Knot* Carnot's Theorem by Chris Boucher. The Wolfram Demonstrations Project.

Hình học Euclid
Hình học sơ cấp
C
Định lý trong hình học phẳng
Hình học tam giác