Khác biệt giữa bản sửa đổi của “Định lý Ceva”

Nội dung được xóa Nội dung được thêm vào
n replaced: định lí → định lý (4), Định lí → Định lý (4) using AWB
Dòng 1:
[[Tập tin:Ceva's theorem 1.svg|thumb|300px|phải|Định Ceva]]
'''Định Ceva''' là một định 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 ]] phát biểu rằng các [[đường thẳng]] ''AD'', ''BE'' và ''CF'' là những [[đường thẳng]] [[đồng qui]] khi và chỉ khi:
:<math>\frac{\overline{FA}}{\overline{FB}} \cdot \frac{\overline{DB}}{\overline{DC}} \cdot \frac{\overline{EC}}{\overline{EA}} = 1</math>
 
Ngoài ra, định 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 qui]] khi và chỉ khi<br />
<math>\frac{\sin\angle BAD}{\sin\angle CAD}\times\frac{\sin\angle ACF}{\sin\angle BCF}\times\frac{\sin\angle CBE}{\sin\angle ABE}=1</math>.
 
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 <math>DEF</math> là một '''tam giác Cevian''' của tam giác ABC.
 
== Chứng minh định ==
 
Giả sử ta có: <math>AD</math>, <math>BE</math> và <math>CF</math> đồng qui tại một điểm <math>O</math> nào đó (trong hay ngoài tam giác). Do <math>\triangle BOD</math> và <math>\triangle COD</math> có chung chiều cao (độ dài của đường cao), ta có: <math>\frac{|\triangle BOD|}{|\triangle COD|}=\frac{BD}{DC}.</math> Tương tự, <math>\frac{|\triangle BAD|}{|\triangle CAD|}=\frac{BD}{DC}.</math>
Dòng 24:
Thêm 1 vào mỗi vế và chú ý rằng <math>AF''+F''B=AF+FB=AB</math>, ta có <math>\frac{AB}{F'B}=\frac{AB}{FB}.</math>
 
Do đó <math>F''B=FB</math>, vậy <math>F</math> và <math>F''</math> trùng nhau. Vì vậy <math>AD</math>, <math>BE</math> và <math>CF</math>=<math>CF''</math> đồng qui tại <math>O</math>, và định đã được chứng minh (là đúng theo cả hai chiều).
 
== Tham khảo thêm ==
*[[Định Menelaus]]
*[[Định lý Carnot (hình học)|Định lý Carnot]]
*[[Định lý Routh]]