In any triangle, if one of the sides is produced, then the exterior angle equals the sum of the two interior and opposite angles, and the sum of the three interior angles of the triangle equals two right angles.
The three interior angles of any triangle add up to exactly 180 degrees (two right angles). Also, when you extend one side of a triangle, the exterior angle formed equals the sum of the two non-adjacent interior angles. This is THE angle sum theorem — one of the most important results in all of geometry.
Before You Read
Tear the three corners off any triangle and lay them side by side along a straight edge—they fit together perfectly into a flat line. Every triangle, no matter how lopsided, seems to obey this rule. But why must it always be true?
Browse All Foundations
All Foundations
Definitions (23)
- D1 — Point
- D2 — Line
- D3 — Ends of a Line
- D4 — Straight Line
- D5 — Surface
- D6 — Edges of a Surface
- D7 — Plane Surface
- D8 — Plane Angle
- D9 — Rectilinear Angle
- D10 — Right Angle & Perpendicular
- D11 — Obtuse Angle
- D12 — Acute Angle
- D13 — Boundary
- D14 — Figure
- D15 — Circle
- D16 — Center of a Circle
- D17 — Diameter
- D18 — Semicircle
- D19 — Rectilinear Figures
- D20 — Types of Triangles (by sides)
- D21 — Types of Triangles (by angles)
- D22 — Quadrilaterals
- D23 — Parallel Lines●
Postulates (5)
Browse All Propositions
All Propositions
Basic Constructions (5)
- Prop 1 — To construct an equilateral triangle on a given fi…
- Prop 2 — To place a straight line equal to a given straight…
- Prop 3 — To cut off from the greater of two given unequal s…
- Prop 4 — If two triangles have two sides equal to two sides…
- Prop 5 — In isosceles triangles the angles at the base equa…
Triangle Fundamentals (5)
Perpendiculars & Angles (5)
- Prop 11 — To draw a straight line at right angles to a given…
- Prop 12 — To draw a straight line perpendicular to a given i…
- Prop 13 — If a straight line stands on a straight line, then…
- Prop 14 — If with any straight line, and at a point on it, t…
- Prop 15 — If two straight lines cut one another, then they m…
Exterior Angles & Inequalities (5)
- Prop 16 — In any triangle, if one of the sides is produced, …
- Prop 17 — In any triangle the sum of any two angles is less …
- Prop 18 — In any triangle the angle opposite the greater sid…
- Prop 19 — In any triangle the side opposite the greater angl…
- Prop 20 — In any triangle the sum of any two sides is greate…
Interior Triangles & Angle Copying (5)
- Prop 21 — If from the ends of one of the sides of a triangle…
- Prop 22 — To construct a triangle out of three straight line…
- Prop 23 — To construct a rectilinear angle equal to a given …
- Prop 24 — If two triangles have two sides equal to two sides…
- Prop 25 — If two triangles have two sides equal to two sides…
Parallel Lines (5)
- Prop 26 — If two triangles have two angles equal to two angl…
- Prop 27 — If a straight line falling on two straight lines m…
- Prop 28 — If a straight line falling on two straight lines m…
- Prop 29 — A straight line falling on parallel straight lines…
- Prop 30 — Straight lines parallel to the same straight line …
Parallel Constructions & Parallelograms (5)
- Prop 31 — To draw a straight line through a given point para…
- Prop 32 — In any triangle, if one of the sides is produced, …●
- Prop 33 — Straight lines which join the ends of equal and pa…
- Prop 34 — In parallelogrammic areas the opposite sides and a…
- Prop 35 — Parallelograms which are on the same base and in t…
Area Theorems (5)
- Prop 36 — Parallelograms which are on equal bases and in the…
- Prop 37 — Triangles which are on the same base and in the sa…
- Prop 38 — Triangles which are on equal bases and in the same…
- Prop 39 — Equal triangles which are on the same base and on …
- Prop 40 — Equal triangles which are on equal bases and on th…
Area Applications (4)
What Euclid Is Doing
Setup: We have triangle ABC. We produce side BC to a point D, forming the exterior angle ∠ACD. We must prove two things: (1) the exterior angle ∠ACD equals ∠CAB + ∠ABC, and (2) the three interior angles ∠CAB + ∠ABC + ∠BCA equal two right angles.
Approach: Euclid draws a line CE through vertex C parallel to side AB (using Proposition 31). The transversal AC crossing parallels AB and CE creates equal alternate interior angles. The transversal BD crossing the same parallels creates equal corresponding angles. These two equalities decompose the exterior angle into exactly the two remote interior angles.
Conclusion: Draw CE parallel to AB through C (Proposition 31). The transversal AC crosses parallels AB and CE, so alternate interior angles ∠BAC = ∠ACE (Proposition 29). The transversal BD crosses parallels AB and CE, so the exterior angle ∠ECD = the corresponding angle ∠ABC (Proposition 29). Now the exterior angle ∠ACD = ∠ACE + ∠ECD = ∠BAC + ∠ABC. This proves part (1). For part (2): ∠ACD + ∠ACB = two right angles (Proposition 13, angles on a straight line). Substituting: (∠BAC + ∠ABC) + ∠ACB = two right angles. That is, ∠BAC + ∠ABC + ∠BCA = two right angles (Common Notions 1 and 2). ✓
Key Moves
- Produce BC to D, forming exterior angle ∠ACD at vertex C.
- Draw CE through C parallel to AB (Proposition 31).
- Transversal AC crosses parallels AB and CE: alternate angles ∠BAC = ∠ACE (Proposition 29).
- Transversal BD crosses parallels AB and CE: corresponding angles ∠ABC = ∠ECD (Proposition 29).
- Exterior angle ∠ACD = ∠ACE + ∠ECD = ∠BAC + ∠ABC ✓
- ∠ACD + ∠ACB = two right angles (Proposition 13, straight line).
- Substituting: ∠BAC + ∠ABC + ∠BCA = two right angles ✓
Try It Yourself
Draw a triangle and extend one of its sides beyond a vertex to form an exterior angle. Measure the exterior angle, then measure the two non-adjacent interior angles and add them—do they match? Try several very different-shaped triangles and see if the relationship holds every time.
Proof Challenge
Available Justifications
Extend side BC to point D
Through vertex C, draw line CE parallel to AB
∠ACE = ∠BAC (alternate angles, AB ∥ CE with transversal AC)
∠ECD = ∠ABC (corresponding angles, AB ∥ CE with transversal BD)
∠ACD = ∠ACE + ∠ECD = ∠BAC + ∠ABC, so exterior angle equals sum of remote interior angles
∠ACB + ∠ACD = two right angles (Prop 13), so ∠ACB + ∠BAC + ∠ABC = two right angles
Curriculum Materials
Get the Teaching Materials
Structured lesson plan, student worksheet, and answer key for Proposition 32.
- ✓Lesson Plan (prop-32-lesson-plan.pdf)
- ✓Student Worksheet (prop-32-worksheet.pdf)
- ✓Answer Key (prop-32-answer-key.pdf)
Why It Matters
This is THE angle sum theorem — arguably the most famous result in elementary geometry. It tells us that every triangle in the Euclidean plane has interior angles summing to exactly 180 degrees, regardless of the triangle's shape or size. It also gives the full version of the exterior angle result: where Proposition 16 could only say 'greater than', Proposition 32 gives the exact value. Nearly every geometric calculation involving angles flows from this theorem.
Modern connection: The 180-degree angle sum is so deeply embedded in our thinking that it feels like a fact of nature. But it depends entirely on the parallel postulate (through Proposition 29 and 31). In spherical geometry (the geometry of the Earth's surface), triangle angles sum to more than 180 degrees. In hyperbolic geometry, they sum to less. GPS satellites must account for these non-Euclidean effects. The angle sum is thus a diagnostic: it tells you what kind of geometry you are in.
Historical note: The Pythagoreans are credited with discovering the angle sum property before Euclid, but their proof is lost. Euclid's proof using a parallel through the apex is considered one of the most elegant arguments in mathematics. The dependence on the parallel postulate was not fully appreciated until the 19th century, when Bolyai, Lobachevsky, and Gauss showed that the angle sum can differ from 180 degrees in non-Euclidean geometries — making this theorem the sharpest dividing line between Euclidean and non-Euclidean worlds.
Discussion Questions
- Proposition 16 proved that the exterior angle is strictly greater than each remote interior angle. Proposition 32 now proves it equals their sum. Why could Euclid not prove this stronger result back at Proposition 16? What tool was missing?
- The proof constructs a parallel line through vertex C. What happens to this proof in hyperbolic geometry, where the parallel postulate fails? Does the construction still work, and if so, where does the argument break down?
- If you measure the angles of a triangle drawn on a basketball (a sphere), they add up to more than 180 degrees. How does this connect to the role of the parallel postulate in this proof?
Euclid's Original Proof
In any triangle, if one of the sides be produced, the exterior angle is equal to the two interior and opposite angles, and the three interior angles of the triangle are equal to two right angles. Let ABC be a triangle, and let one side of it BC be produced to D; I say that the exterior angle ACD is equal to the two interior and opposite angles CAB, ABC, and the three interior angles of the triangle ABC, BCA, CAB are equal to two right angles. For let CE be drawn through the point C parallel to the straight line AB. [I.31] Then, since AB is parallel to CE, and AC has fallen upon them, the alternate angles BAC, ACE are equal to one another. [I.29] Again, since AB is parallel to CE, and the straight line BD has fallen upon them, the exterior angle ECD is equal to the interior and opposite angle ABC. [I.29] But the angle ACE was also proved equal to the angle BAC; therefore the whole angle ACD is equal to the two interior and opposite angles BAC, ABC. [C.N. 2] Let the angle ACB be added to each; therefore the angles ACD, ACB are equal to the three angles ABC, BCA, CAB. [C.N. 2] But the angles ACD, ACB are equal to two right angles; [I.13] therefore the angles ABC, BCA, CAB are also equal to two right angles. [C.N. 1] Therefore etc. Q.E.D.
What's Next
With the angle sum theorem in hand, Euclid moves to the geometry of quadrilaterals—specifically to proving that when you join the ends of two equal, parallel segments on the same side, the joining lines are themselves equal and parallel. That's Proposition 33, the first step toward the theory of parallelograms.