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

Tổng các góc trong của tứ giác và đa giác n cạnh

Phát biểu

Trong mọi tứ giác lồi ABCDABCD, bốn góc trong thỏa mãn ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ. Tổng quát hơn, trong mọi đa giác lồi có nn cạnh (n≥3n \ge 3), tổng các góc trong bằng (n−2)⋅180∘(n - 2) \cdot 180^\circ.

Vì sao đúng?

Ta không cần thêm một tiên đề hình học mới nào để đo các đa giác từ bốn cạnh trở lên: việc cắt hình dọc theo các đường chéo xuất phát từ một đỉnh đưa mọi đa giác về một tập hợp các tam giác mà mỗi tam giác đã có tổng ba góc bằng 180∘180^\circ.

Phác thảo chứng minh

Bước 1 (chia tứ giác theo một đường chéo). Trong tứ giác lồi ABCDABCD, kẻ đường chéo ACAC. Vì hình lồi nên đoạn thẳng này nằm hoàn toàn bên trong tứ giác và chia nó thành hai tam giác △ABC\triangle ABC và △ACD\triangle ACD.

Bước 2 (áp dụng tổng ba góc tam giác cho từng phần). Trong △ABC\triangle ABC ta có ∠BAC+∠B+∠BCA=180∘\angle BAC + \angle B + \angle BCA = 180^\circ, và trong △ACD\triangle ACD ta có ∠CAD+∠D+∠DCA=180∘\angle CAD + \angle D + \angle DCA = 180^\circ.

Bước 3 (cộng hai đẳng thức và tổng quát hóa). Cộng vế theo vế hai đẳng thức trên cho (∠BAC+∠CAD)+∠B+(∠BCA+∠DCA)+∠D=180∘+180∘=360∘(\angle BAC + \angle CAD) + \angle B + (\angle BCA + \angle DCA) + \angle D = 180^\circ + 180^\circ = 360^\circ. Vì các góc kề nhau ở hai đầu đường chéo ghép lại thành góc đầy đủ ở đỉnh ∠BAC+∠CAD=∠A\angle BAC + \angle CAD = \angle A và ∠BCA+∠DCA=∠C\angle BCA + \angle DCA = \angle C, biểu thức rút gọn trực tiếp thành ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ. Đối với đa giác lồi có nn đỉnh, kẻ tất cả n−3n - 3 đường chéo từ một đỉnh chia miền trong thành n−2n - 2 tam giác có tổng các góc bằng (n−2)⋅180∘(n - 2) \cdot 180^\circ.

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