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

Đặc trưng hình bình hành qua hai đường chéo

Phát biểu

Một tứ giác lồi ABCDABCD có hai đường chéo ACAC và BDBD cắt nhau tại OO là hình bình hành (AB∥CDAB \parallel CD và AD∥BCAD \parallel BC) khi và chỉ khi hai đường chéo của nó cắt nhau tại trung điểm mỗi đường (OA=OCOA = OC và OB=ODOB = OD).

Vì sao đúng?

Sự tương đương này biến một mệnh đề về phương song song (đòi hỏi phải đo góc hoặc hệ số góc) thành một mệnh đề về trung điểm (chỉ cần kiểm tra độ dài bằng nhau trên hai đường chéo).

Phác thảo chứng minh

Bước 1 (hình bình hành suy ra đường chéo cắt nhau tại trung điểm). Giả sử ABCDABCD là hình bình hành. Vì các cạnh đối song song và bằng nhau, ta có AB=CDAB = CD, đồng thời các góc so le trong tạo bởi hai đường chéo thỏa mãn ∠OAB=∠OCD\angle OAB = \angle OCD và ∠OBA=∠ODC\angle OBA = \angle ODC. Theo trường hợp bằng nhau Góc-Cạnh-Góc, △AOB≅△COD\triangle AOB \cong \triangle COD, nên các cạnh tương ứng cho OA=OCOA = OC và OB=ODOB = OD.

Bước 2 (đường chéo cắt nhau tại trung điểm suy ra các tam giác đối bằng nhau). Ngược lại, giả sử OA=OCOA = OC và OB=ODOB = OD. Vì hai góc đối đỉnh tại giao điểm bằng nhau (∠AOB=∠COD\angle AOB = \angle COD), trường hợp Cạnh-Góc-Cạnh cho △AOB≅△COD\triangle AOB \cong \triangle COD, suy ra ∠OAB=∠OCD\angle OAB = \angle OCD. Bằng đúng lập luận Cạnh-Góc-Cạnh đó cho cặp góc đối đỉnh còn lại (∠AOD=∠COB\angle AOD = \angle COB), ta thu được △AOD≅△COB\triangle AOD \cong \triangle COB, suy ra ∠OAD=∠OCB\angle OAD = \angle OCB.

Bước 3 (góc so le trong bằng nhau buộc các cạnh đối song song). Hai đẳng thức ∠OAB=∠OCD\angle OAB = \angle OCD và ∠OAD=∠OCB\angle OAD = \angle OCB khẳng định các cặp góc so le trong tạo bởi cát tuyến đường chéo với cả hai cặp cạnh đối đều bằng nhau, buộc AB∥CDAB \parallel CD và AD∥BCAD \parallel BC. Vậy ABCDABCD là hình bình hành.

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

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 (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)
  2. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited