MathLabs
定理已证明

四边形与n边形内角和定理

命题陈述

在任意凸四边形 ABCDABCD 中,四个内角满足 ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ。更一般地,在具有 nn 条边的任意凸多边形(n≥3n \ge 3)中,内角和为 (n−2)⋅180∘(n - 2) \cdot 180^\circ。

为什么成立?

测量四条边及以上的多边形并不需要新的几何公理:从一个顶点出发沿对角线将图形切开,就能把任何多边形归结为若干个三角形的组合,而每个三角形的内角和已知都是 180∘180^\circ。

证明思路

第一步(沿一条对角线分割四边形)。在凸四边形 ABCDABCD 中连接对角线 ACAC。由于图形是凸的,该线段完全位于四边形内部,并将其划分为两个三角形 △ABC\triangle ABC 与 △ACD\triangle ACD。

第二步(对每一部分应用三角形内角和)。在 △ABC\triangle ABC 中有 ∠BAC+∠B+∠BCA=180∘\angle BAC + \angle B + \angle BCA = 180^\circ,而在 △ACD\triangle ACD 中有 ∠CAD+∠D+∠DCA=180∘\angle CAD + \angle D + \angle DCA = 180^\circ。

第三步(将两式相加并推广)。将上述两式相加得 (∠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。由于对角线两端相邻的角重新合并为完整的顶角 ∠BAC+∠CAD=∠A\angle BAC + \angle CAD = \angle A 与 ∠BCA+∠DCA=∠C\angle BCA + \angle DCA = \angle C,上式直接化简为 ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ。对于具有 nn 个顶点的凸多边形,从一个顶点引出全部 n−3n - 3 条对角线可将内部切分为 n−2n - 2 个三角形,它们的内角总和即为 (n−2)⋅180∘(n - 2) \cdot 180^\circ。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)
  2. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited