7.2 Triangle Sum, Exterior Angles & Polygon Angle Formulas

7.2 Triangle Sum, Exterior Angles & Polygon Angle Formulas

1. The Triangle Angle Sum Theorem & Deductive Auxiliary Proof

In Euclidean geometry, the Triangle Angle Sum Theorem establishes that the sum of the interior angles of any triangle is exactly $180^\circ$ ($\pi$ radians):

$$m\angle A + m\angle B + m\angle C = 180^\circ$$

While elementary curricula frequently demonstrate this property inductively by tearing off vertices and arranging them along a line, secondary educators must be prepared to present its formal deductive proof, which relies directly on Euclid's Fifth Postulate and the Alternate Interior Angles Theorem.

Formal Deductive Proof

Given: Arbitrary triangle $\triangle ABC$ with interior angles $\angle A$, $\angle ABC$, and $\angle C$. Prove: $m\angle A + m\angle ABC + m\angle C = 180^\circ$.

1. By Playfair's Axiom (the Parallel Postulate), through vertex $B$ there exists a unique line $\overleftrightarrow{DE}$ coplanar with $\triangle ABC$ such that $\overleftrightarrow{DE} \parallel \overline{AC}$, with point $D$ lying on the side of $B$ opposite to $E$.
2. Points $D$, $B$, and $E$ are collinear, forming straight line $\overleftrightarrow{DE}$. By the Angle Addition Postulate and the definition of a straight angle: $$m\angle DBA + m\angle ABC + m\angle EBC = 180^\circ$$
3. Line $\overleftrightarrow{DE}$ is parallel to segment $\overline{AC}$. Line $\overleftrightarrow{AB}$ intersects both parallel lines, acting as a transversal. By the Alternate Interior Angles Theorem: $$\angle DBA \cong \angle A \implies m\angle DBA = m\angle A$$
4. Similarly, line $\overleftrightarrow{BC}$ acts as a transversal intersecting parallel lines $\overleftrightarrow{DE}$ and $\overline{AC}$. By the Alternate Interior Angles Theorem: $$\angle EBC \cong \angle C \implies m\angle EBC = m\angle C$$
5. By algebraic substitution of equations (3) and (4) into equation (2): $$m\angle A + m\angle ABC + m\angle C = 180^\circ$$

This completes the proof. Notice that without the Parallel Postulate guaranteeing the existence and angle properties of line $\overleftrightarrow{DE}$, the theorem fails (as seen in spherical geometry, where triangle angle sums exceed $180^\circ$, or hyperbolic geometry, where sums are less than $180^\circ$).

---

2. The Exterior Angle Theorem of a Triangle

An exterior angle of a triangle is formed by extending one side of the triangle past a vertex, creating an angle adjacent to the interior angle at that vertex. The two interior angles that do not share a vertex with the exterior angle are termed remote interior angles (or non-adjacent interior angles).

The Exterior Angle Theorem states that the measure of an exterior angle of a triangle is equal to the sum of the measures of its two remote interior angles:

$$m\angle 1_{\text{ext}} = m\angle A + m\angle B$$

Deductive Verification

Let $\angle 1_{\text{ext}}$ be the exterior angle at vertex $C$, adjacent to interior angle $\angle C$:

1. Since $\angle 1_{\text{ext}}$ and $\angle C$ form a linear pair along the extended side: $$m\angle 1_{\text{ext}} + m\angle C = 180^\circ \implies m\angle 1_{\text{ext}} = 180^\circ - m\angle C$$
2. By the Triangle Angle Sum Theorem: $$m\angle A + m\angle B + m\angle C = 180^\circ \implies m\angle A + m\angle B = 180^\circ - m\angle C$$
3. By the transitive property of equality: $$m\angle 1_{\text{ext}} = m\angle A + m\angle B$$

An immediate consequence is the Exterior Angle Inequality: the measure of an exterior angle of a triangle is strictly greater than the measure of either of its remote interior angles ($m\angle 1_{\text{ext}} > m\angle A$ and $m\angle 1_{\text{ext}} > m\angle B$). This inequality plays an essential role in proving the Triangle Inequality Theorem and the Hinge Theorem.

---

3. Polygon Angle Formulas for Convex $n$-Gons

A polygon is convex if every line segment connecting any two internal points lies entirely within the polygon's interior. In a convex $n$-gon ($n \ge 3$):

Interior Angle Sum Formula

Select any single vertex and construct all possible non-intersecting diagonals to non-adjacent vertices. Exactly $n - 3$ diagonals can be drawn from a single vertex, partitioning the $n$-gon into $(n - 2)$ disjoint non-overlapping triangles. Because each triangle contributes $180^\circ$ to the interior angle sum without adding internal vertices:

$$S_{\text{int}} = (n - 2) \cdot 180^\circ$$

For a regular $n$-gon (equilateral and equiangular), all $n$ interior angles are congruent. Dividing the total sum by $n$ yields the measure of each individual interior angle $I$:

$$I = \frac{(n - 2) \cdot 180^\circ}{n} = 180^\circ - \frac{360^\circ}{n}$$

Exterior Angle Sum Theorem

If one exterior angle is drawn at each vertex of any convex $n$-gon (traversing the perimeter in a consistent clockwise or counterclockwise direction), the sum of the exterior angles is invariant:

$$S_{\text{ext}} = 360^\circ \quad \text{for any convex polygon, regardless of } n$$

Proof: At each of the $n$ vertices, the interior angle $I_k$ and exterior angle $E_k$ form a linear pair: $I_k + E_k = 180^\circ$. Summing across all $n$ vertices:

$$\sum_{k=1}^n (I_k + E_k) = n \cdot 180^\circ \implies S_{\text{int}} + S_{\text{ext}} = n \cdot 180^\circ$$

Substitute $S_{\text{int}} = (n - 2) \cdot 180^\circ$:

$$(n - 2) \cdot 180^\circ + S_{\text{ext}} = n \cdot 180^\circ$$ $$n \cdot 180^\circ - 360^\circ + S_{\text{ext}} = n \cdot 180^\circ \implies S_{\text{ext}} = 360^\circ$$

For a regular $n$-gon, each exterior angle $E$ measures:

$$E = \frac{360^\circ}{n}$$

Reference Table: Regular Polygon Angle Measures

---

4. Regular Tessellations of the Euclidean Plane

A tessellation (or tiling) is a repeating pattern of geometric figures that covers a two-dimensional plane completely without gaps and without overlaps. A regular tessellation uses exactly one type of regular polygon to tile the entire plane.

For regular $n$-gons to tile the plane, the interior angles of the polygons meeting at any common vertex must sum to exactly $360^\circ$. Let $k$ represent the number of regular $n$-gons meeting at each vertex ($k \ge 3$, $n \ge 3$):

$$k \cdot I = 360^\circ \implies k \cdot \frac{(n - 2) \cdot 180^\circ}{n} = 360^\circ$$

Dividing both sides by $180^\circ$:

$$\frac{k(n - 2)}{n} = 2 \implies k(n - 2) = 2n \implies kn - 2k - 2n = 0$$

Add $4$ to both sides to factor via Simon's Favorite Factoring Trick:

$$(k - 2)(n - 2) = 4$$

Since $k$ and $n$ must be integers greater than or equal to $3$, we find all integer factor pairs of $4$:

1. $k - 2 = 1 \implies k = 3$; $n - 2 = 4 \implies n = 6$ (Regular Hexagons: $3$ hexagons meet at each vertex, $3 \times 120^\circ = 360^\circ$).
2. $k - 2 = 2 \implies k = 4$; $n - 2 = 2 \implies n = 4$ (Squares: $4$ squares meet at each vertex, $4 \times 90^\circ = 360^\circ$).
3. $k - 2 = 4 \implies k = 6$; $n - 2 = 1 \implies n = 3$ (Equilateral Triangles: $6$ triangles meet at each vertex, $6 \times 60^\circ = 360^\circ$).

No other integer solutions exist. Regular pentagons cannot tile the plane because $I = 108^\circ$, and $\frac{360^\circ}{108^\circ} = 3.\overline{33}$, which is not an integer ($3 \times 108^\circ = 324^\circ < 360^\circ$, leaving a $36^\circ$ gap, while $4 \times 108^\circ = 432^\circ > 360^\circ$). Thus, exactly three regular tessellations exist in Euclidean space.

---

5. Quadrilateral Classification & Hierarchical Properties

Secondary mathematics curricula adhere to an inclusive hierarchical classification of quadrilaterals:

• A Trapezoid is a quadrilateral with at least one pair of parallel opposite sides. (Under the inclusive definition favored by Florida standards, all parallelograms are trapezoids).
• A Parallelogram is a quadrilateral with two pairs of parallel opposite sides.
• A Rectangle is an equiangular parallelogram (four right angles).
• A Rhombus is an equilateral parallelogram (four congruent sides).
• A Square is both a rectangle and a rhombus (four right angles and four congruent sides).
• A Kite is a quadrilateral with two distinct pairs of adjacent congruent sides.