Lesson 4.1
Triangle Angle Sum, Exterior Angles, and Polygon Sums
Focus: conjecture and proof attempt — honest accounting of what is assumed — three connected results
Most students already know the answer is 180°. The goal of this lesson is not the answer. It is the proof — and more specifically, the experience of getting close to a proof and finding that you cannot close it because a foundation is missing. That experience is the lesson.
Several proof approaches emerged when this was first taught. Each one is worth celebrating on its own terms, and each one contains a dependency that will not be resolved until Lesson 4.2. The most important approaches to watch for:
Cutting squares in half: valid for right triangles. Students can correctly argue that a square has 360° from four right angles — this is not circular reasoning, it is direct. But cutting a square in half only proves the result for right triangles. One student went further and identified the limitation precisely: actually, only for isosceles right triangles. That correction is worth more than the result. It is exactly the kind of boundary-finding that distinguishes mathematical thinking from answer-finding. That correction is worth naming explicitly in the moment: ‘That is a mathematician’s correction. You just found the boundary of your own argument.’ Students who develop the habit of looking for the limits of their reasoning — not just whether they got the right answer, but what exactly they’ve proven and what they haven’t — are developing the most important mathematical habit there is. From there one student suggested cutting a generic rectangle in half would complete the proof for all right triangles.
Drawing an altitude through the opposite vertex: creates two right triangles, each with angle sum 180°, so the original triangle’s angles also sum to 180°. This is legitimate — but it depends on being able to construct a perpendicular from a point to a line, which is Proposition 12. That construction is established in Lesson 4.2.
Drawing a line through the opposite vertex parallel to the base: this is the cleaner proof path and the one to build toward. If a group finds it, note their board for the gallery walk. If no group finds it, give the hint: ‘What if you drew a line through the top vertex, parallel to the base?’ This approach also has a dependency: it requires being able to construct a parallel through a given point (Proposition 31), also established in Lesson 4.2.
Important precision: Playfair’s axiom tells us the parallel line exists — but existence and constructability are different claims. The postulate guarantees the object is real; the proposition gives us the procedure. Students who write ‘by Playfair’s axiom’ should be asked: does Playfair tell us how to construct the line, or only that it exists?