定理已证明
四边形与n边形内角和定理
命题陈述
在任意凸四边形 ABCD 中,四个内角满足 ∠A+∠B+∠C+∠D=360∘。更一般地,在具有 n 条边的任意凸多边形(n≥3)中,内角和为 (n−2)⋅180∘。
为什么成立?
测量四条边及以上的多边形并不需要新的几何公理:从一个顶点出发沿对角线将图形切开,就能把任何多边形归结为若干个三角形的组合,而每个三角形的内角和已知都是 180∘。
证明思路
第一步(沿一条对角线分割四边形)。在凸四边形 ABCD 中连接对角线 AC。由于图形是凸的,该线段完全位于四边形内部,并将其划分为两个三角形 △ABC 与 △ACD。
第二步(对每一部分应用三角形内角和)。在 △ABC 中有 ∠BAC+∠B+∠BCA=180∘,而在 △ACD 中有 ∠CAD+∠D+∠DCA=180∘。
第三步(将两式相加并推广)。将上述两式相加得 (∠BAC+∠CAD)+∠B+(∠BCA+∠DCA)+∠D=180∘+180∘=360∘。由于对角线两端相邻的角重新合并为完整的顶角 ∠BAC+∠CAD=∠A 与 ∠BCA+∠DCA=∠C,上式直接化简为 ∠A+∠B+∠C+∠D=360∘。对于具有 n 个顶点的凸多边形,从一个顶点引出全部 n−3 条对角线可将内部切分为 n−2 个三角形,它们的内角总和即为 (n−2)⋅180∘。