The sum of the interior angles of any triangle is exactly 180 degrees. This is proven by drawing a line through one vertex parallel to the opposite side and using alternate interior angles. It is one of the most fundamental theorems in Euclidean geometry, enabling us to find unknown angles in triangles and serving as the basis for the polygon angle sum formula.
Have students measure the angles of several triangles and observe they sum to 180. Then show the formal proof using parallel lines. Practice finding the third angle given two. Extend to problems with algebra (angles expressed as variable expressions). Connect to the idea that this theorem fails in non-Euclidean geometry.
The triangle angle sum theorem states that the three interior angles of any triangle — no matter what shape — always add up to exactly 180°. You may have verified this by tearing off the corners of a paper triangle and arranging them in a line, or by measuring many triangles with a protractor. But measuring confirms; it does not prove. The proof is what makes this a theorem rather than a lucky observation.
The standard proof uses the parallel lines work you have already done. Take any triangle ABC. Draw a line through vertex A that is parallel to side BC. Now you have two parallel lines (the new line and BC) cut by transversal AB. By the alternate interior angles theorem, the angle at A between the parallel line and AB equals angle B. Similarly, cut by transversal AC, the other angle at A on the parallel line equals angle C. The three angles at vertex A — angle B (the copy), angle A itself, and angle C (the copy) — sit side by side on a straight line. A straight line measures 180°. Therefore angle A + angle B + angle C = 180°.
The practical application is immediate: if you know two angles of a triangle, you can always find the third by subtracting from 180°. Algebraic problems extend this — when angles are expressed as expressions like (2x + 10)°, you set up the equation (2x + 10) + 55 + 70 = 180 and solve. The same logic applies, just with extra algebra.
A common mistake is applying this theorem to other polygons directly. It holds for triangles only. For a quadrilateral, pentagon, or n-gon, you need the polygon angle sum formula, which is derived by dividing the polygon into triangles and applying the triangle theorem to each one. A quadrilateral splits into 2 triangles (sum = 360°), a pentagon into 3 (sum = 540°), and so on. The triangle theorem is the engine; the polygon formula is derived from it.
One deeper point: this theorem feels obvious, but it is actually non-trivial. It fails in non-Euclidean geometries. On the surface of a sphere, a triangle formed by two longitude lines and the equator can have three 90° angles — a sum of 270°. This is not a contradiction; it reflects the fact that curved surfaces obey different geometric rules. The theorem's dependence on the parallel postulate is what makes Euclidean geometry special — and what makes alternative geometries possible.