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 であることが既知の三角形の集まりに帰着するからである。

証明の概略

ステップ1(対角線に沿って四角形を分割する)。凸四角形 ABCDABCD において対角線 ACAC を引く。図形が凸であるため、この線分は完全に四角形の内部に収まり、四角形を二つの三角形 △ABC\triangle ABC と △ACD\triangle ACD に分割する。

ステップ2(各部分に三角形の内角の和を適用する)。△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 が成り立つ。

ステップ3(二つの等式を足し合わせて一般化する)。両方の等式を辺々足し合わせると (∠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