Định lý Ceva

Định lý Ceva là một định lý phổ biến trong hình học cơ bản. Cho một tam giác ABC, các điểm D, E, và F lần lượt nằm trên các đường thẳng BC, CA, và AB. Định lý phát biểu rằng các đường thẳng AD, BE và CF là những đường thẳng đồng quy khi và chỉ khi:

Ngoài ra, định lý Ceva còn được phát biểu một cách tương đương trong lượng giác rằng: AD,BE,CF đồng quy khi và chỉ khi 
.Một đường thẳng đi qua đỉnh của tam giác gọi là đường thẳng Cevian ứng với đỉnh đó.Một trong hình vẽ tam giác  là một tam giác Cevian của tam giác ABC.

Chứng minh định lý 

Giả sử ta có: ,  và  đồng quy tại một điểm  nào đó (trong hay ngoài tam giác). Do  và  có chung chiều cao (độ dài của đường cao), ta có:  Tương tự, 

Ta suy ra  (1) 
Tương tự, (2) 
và (3)

(1) x (2) x (3) cho ta:(điều phải chứng minh).

Ngược lại, giả sử rằng ta đã có những điểm ,  và  thỏa mãn đẳng thức. Gọi giao điểm của  và  là , và gọi giao điểm của  và  là . Theo chứng minh trên, 

Kết hợp với đẳng thức trên, ta nhận được: 

Thêm 1 vào mỗi vế và chú ý rằng , ta có 

Do đó , vậy  và  trùng nhau. Vì vậy ,  và = đồng quy tại , và định lý đã được chứng minh (là đúng theo cả hai chiều).

Tham khảo thêm 
Định lý Menelaus
Định lý Carnot
Định lý Routh
Định lý Thales

Tham khảo

 
 .
 
 
 
 

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