定理証明済み
四角形とn角形の内角の和の定理
内容
任意の凸四角形 ABCD において、四つの内角は ∠A+∠B+∠C+∠D=360∘ を満たす。より一般に、n 本の辺をもつ任意の凸多角形(n≥3)において、内角の和は (n−2)⋅180∘ である。
なぜ正しいのか?
四辺以上の多角形を測るために新しい幾何学の公理は必要ない:一つの頂点から対角線に沿って図形を切り分ければ、どんな多角形も内角の和がそれぞれ 180∘ であることが既知の三角形の集まりに帰着するからである。
証明の概略
ステップ1(対角線に沿って四角形を分割する)。凸四角形 ABCD において対角線 AC を引く。図形が凸であるため、この線分は完全に四角形の内部に収まり、四角形を二つの三角形 △ABC と △ACD に分割する。
ステップ2(各部分に三角形の内角の和を適用する)。△ABC において ∠BAC+∠B+∠BCA=180∘ が成り立ち、△ACD において ∠CAD+∠D+∠DCA=180∘ が成り立つ。
ステップ3(二つの等式を足し合わせて一般化する)。両方の等式を辺々足し合わせると (∠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∘ となる。
ステップごとの証明
この定理のステップごとの証明はまだありません。