MathLabs
TheoremProved

Interior angle sum of a quadrilateral and an n-gon

Statement

In any convex quadrilateral ABCDABCD, the four interior angles satisfy ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ. More generally, in any convex polygon with nn sides (n≥3n \ge 3), the sum of the interior angles is (n−2)⋅180∘(n - 2) \cdot 180^\circ.

Why is it true?

You do not need a new geometric axiom to measure polygons with four or more sides: slicing the figure along diagonals from a single vertex reduces every polygon to a collection of triangles whose angle sums are already known to be 180∘180^\circ each.

Proof sketch

Step 1 (split the quadrilateral along a diagonal). In convex quadrilateral ABCDABCD, draw the diagonal ACAC. Because the figure is convex, this segment lies entirely inside the quadrilateral and partitions it into two triangles △ABC\triangle ABC and △ACD\triangle ACD.

Step 2 (apply the triangle angle sum to each piece). In △ABC\triangle ABC we have ∠BAC+∠B+∠BCA=180∘\angle BAC + \angle B + \angle BCA = 180^\circ, and in △ACD\triangle ACD we have ∠CAD+∠D+∠DCA=180∘\angle CAD + \angle D + \angle DCA = 180^\circ.

Step 3 (add the two equations and generalize). Adding both equations together gives (∠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. Since the adjacent angles at the two ends of the diagonal recombine into the full vertex angles ∠BAC+∠CAD=∠A\angle BAC + \angle CAD = \angle A and ∠BCA+∠DCA=∠C\angle BCA + \angle DCA = \angle C, this simplifies directly to ∠A+∠B+∠C+∠D=360∘\angle A + \angle B + \angle C + \angle D = 360^\circ. For a convex polygon with nn vertices, drawing all n−3n - 3 diagonals from one vertex cuts the interior into n−2n - 2 triangles whose angles add up to (n−2)⋅180∘(n - 2) \cdot 180^\circ.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

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