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 , bốn góc trong thỏa mãn . Tổng quát hơn, trong mọi đa giác lồi có cạnh (), tổng các góc trong bằng .
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 .
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 , kẻ đường chéo . 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 và .
Bước 2 (áp dụng tổng ba góc tam giác cho từng phần). Trong ta có , và trong ta có .
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 . Vì các góc kề nhau ở hai đầu đường chéo ghép lại thành góc đầy đủ ở đỉnh và , biểu thức rút gọn trực tiếp thành . Đối với đa giác lồi có đỉnh, kẻ tất cả đường chéo từ một đỉnh chia miền trong thành tam giác có tổng các góc bằng .
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
- Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)
- H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited