Euclid's WorkshopBook I
← Back to Propositions
Proposition 17 of 48 • Theorem

In any triangle the sum of any two angles is less than two right angles.

Pick any two angles in a triangle and add them up: the result is always less than 180 degrees (two right angles).

Before You Read

A triangle has three angles that add up to 180 degrees (as you may know from school). So any two of them must add up to less than 180 degrees. Euclid hasn't proved the full 180-degree sum yet—he's working up to it. Can he still prove this partial result using only what he's built so far?

Browse All Foundations

All Foundations

Definitions (23)
Postulates (5)
Common Notions (5)
Browse All Propositions

All Propositions

Basic Constructions (5)
Triangle Fundamentals (5)
Perpendiculars & Angles (5)
Exterior Angles & Inequalities (5)
Interior Triangles & Angle Copying (5)
Parallel Lines (5)
Parallel Constructions & Parallelograms (5)
Area Theorems (5)
Area Applications (4)
Grand Finale (4)
B C A D

What Euclid Is Doing

Setup: We have triangle ABC. We want to show that any pair of its angles sums to less than two right angles (less than 180 degrees). We will prove it for ∠ABC + ∠BCA; the other pairs follow by the same argument.

Approach: The strategy is beautifully indirect. Extend BC to D. The exterior angle theorem (Prop 16) tells us ∠ACD > ∠ABC. Then we use the supplementary angle fact (Prop 13) to connect everything: ∠ACD + ∠ACB = two right angles exactly.

Conclusion: Extend BC to D (Postulate 2). By Proposition 16, the exterior angle ∠ACD is greater than the remote interior angle ∠ABC. Add ∠ACB to both sides: ∠ACD + ∠ACB > ∠ABC + ∠ACB. But ∠ACD + ∠ACB = two right angles (Prop 13, since BCD is a straight line). Therefore ∠ABC + ∠ACB < two right angles. The same reasoning applies to any pair of angles in the triangle. ✓

Key Moves

  1. Extend BC to D, creating exterior angle ACD (Postulate 2)
  2. By Proposition 16, the exterior angle ∠ACD > the remote interior angle ∠ABC
  3. Add ∠ACB to both sides: ∠ACD + ∠ACB > ∠ABC + ∠ACB (Common Notion 5)
  4. But ∠ACD + ∠ACB = two right angles (Proposition 13, supplementary angles on a line)
  5. Therefore ∠ABC + ∠ACB < two right angles
  6. The same argument works for any pair of angles in the triangle ✓

Try It Yourself

Draw several triangles—acute, right, obtuse—and pick any two angles in each. Measure their sum. Is it always less than 180 degrees? Now see if you can derive this result using Proposition 16 alone, without knowing the full angle-sum theorem. Euclid's proof here is one step long.

Proof Challenge

Available Justifications

1.

Extend side BC to point D

Drag justification
2.

∠ACD > ∠ABC (exterior angle theorem)

Drag justification
3.

∠ACD + ∠ACB = two right angles (angles on a line)

Drag justification
4.

Since ∠ACD > ∠ABC, replacing gives ∠ABC + ∠ACB < two right angles

Drag justification
0 of 4 steps completed

Curriculum Materials

Get the Teaching Materials

Structured lesson plan, student worksheet, and answer key for Proposition 17.

  • ✓Lesson Plan (prop-17-lesson-plan.pdf)
  • ✓Student Worksheet (prop-17-worksheet.pdf)
  • ✓Answer Key (prop-17-answer-key.pdf)
Browse Curriculum Bundles

Why It Matters

This proposition constrains the geometry of triangles: no two angles can be too large simultaneously. It is essential for proving results about parallel lines and is used directly in Proposition 21. It also implies that a triangle can have at most one right angle or one obtuse angle.

Modern connection: This result underpins the familiar fact that angles in a triangle sum to exactly 180 degrees (which Euclid proves later in Prop 32). In practical terms, surveyors and engineers rely on this constraint when checking that measured angles form a valid triangle.

Historical note: Like Proposition 16, this result depends on the parallel postulate indirectly and fails in non-Euclidean geometry. On a sphere, you can have a triangle with three right angles (summing to 270 degrees), violating this proposition spectacularly.

Discussion Questions

  • This says any two angles sum to less than two right angles. What does that tell you about the maximum size of a single angle in a triangle?
  • How does this proposition relate to the fact that triangle angles sum to exactly 180 degrees (Prop 32)?
  • Could a triangle exist on a curved surface where this proposition fails? What would it look like?
Euclid's Original Proof
In any triangle two angles taken together in any manner are less than two right angles.

Let ABC be a triangle;

I say that two angles of the triangle ABC taken together in any manner are less than two right angles.

For let BC be produced to D. [Post. 2]

Then, since the angle ACD is an exterior angle of the triangle ABC, it is greater than the interior and opposite angle ABC. [I.16]

Let the angle ACB be added to each;

therefore the angles ACD, ACB are greater than the angles ABC, BCA.

But the angles ACD, ACB are equal to two right angles. [I.13]

Therefore the angles ABC, BCA are less than two right angles.

Similarly we can prove that the angles BAC, ACB are also less than two right angles, and so are the angles CAB, ABC as well.

Therefore etc.

Q.E.D.

What's Next

We now know any two angles of a triangle sum to less than two right angles. Propositions 18 and 19 build on this to establish the side-angle inequality: the longer side is opposite the larger angle, and vice versa. These are the tools Euclid needs for the celebrated triangle inequality in Proposition 20.