Module 1 · Lesson 1

Geometry: Euclid's axioms, proof, and the parallel postulate

You'll see how geometry grew from practical measuring into a system where every result is proved from a few starting assumptions. You'll work through a proof of the Pythagorean theorem and see why one of Euclid's assumptions troubled mathematicians for two thousand years.

What you will be able to do

Explain how geometry proves results from a small set of axioms, using the Pythagorean theorem as the example.

0% of this lesson · 9 items · 1h 3m total · 48m without the optional problem set

Contents of this lesson9 items

ReadingDo a Triangle's Angles Always Add Up to 180 Degrees?3 min
ReadingFrom Measuring Land to Proving Theorems: Geometry Before and in Greece4 min
ReadingAxioms, Definitions, and Deductive Proof in Euclid's Elements4 min
ReadingSimilar Triangles and the Origins of Trigonometry4 min
ReadingThe Parallel Postulate and Its Independence4 min
Guided ReadingWorked Example: A Picture Proof of the Pythagorean Theorem7 min
Guided ConversationProve the Angle Sum Yourself12 min
Problem Set · optionalRight Triangles, Angles, and Similar Triangles15 min
Knowledge CheckEuclid's axioms, proof, and the parallel postulate10 min

Report an issue on this page

Reading 3 min Done

Do a Triangle's Angles Always Add Up to 180 Degrees?

You probably learned in school that the three angles of any triangle add up to 180 degrees. You can test that claim with a pencil, a ruler, and a protractor. Draw three triangles that look nothing alike: one long and thin, one with three nearly equal sides, and one with a corner that is almost flat. Measure each angle and add the three numbers for each triangle.

Your sums will land near 180, and they will rarely land on it exactly. You might get 178 for one triangle and 181 for another. The protractor's marks are a degree apart, your pencil lines have width, and your eye has to judge where each line crosses the scale. Every reading carries a small error, and three readings add three errors together.

So what have you shown? Three triangles came close to 180. That's good evidence, but it's evidence about three triangles. There are infinitely many triangles, of every shape and size, and you can't measure them all. A triangle the size of a continent is beyond your protractor, and so is one too thin to draw. Measuring, however careful, can't tell you that the rule holds for every triangle.

Greek geometers wanted a different kind of answer. In Euclid's Elements, a work compiled around 300 BCE, the angle-sum rule appears as Proposition 32 of Book I. Euclid doesn't measure anything. He draws one extra line and argues, step by step, that the three angles of any triangle together equal two right angles, which is 180 degrees (Euclid, Elements I.32). The argument covers every triangle at once, because it never uses the particular lengths or angles of any one of them.

That is the trade a proof offers. You give up a number you can see on a scale. In return you get a statement that covers infinitely many cases and carries no measurement error.

There is a catch, and it matters a great deal. Euclid's argument rests on a short list of starting assumptions that he states openly and doesn't prove. One of them concerns parallel lines, meaning lines in the same flat plane that never meet, however far you extend them. That assumption is longer and less self-evident than the others, and the angle-sum proof leans on it directly. Change that one assumption and the proof no longer goes through.

For about two thousand years, mathematicians tried to show that the assumption about parallels follows from the others. So the question you started with, whether a triangle's angles really add up to 180, turns on something you can't check with a protractor: what you're willing to assume about lines that never meet.

References

Euclid. Elements. Edited and translated by David E. Joyce, after T. L. Heath's edition. Worcester, MA: Clark University, 1996–2013.
- Free: Euclid's Elements, Book I (Joyce)

Reading 4 min Done

From Measuring Land to Proving Theorems: Geometry Before and in Greece

Introduction

People measured fields, walls, and grain stores for thousands of years before anyone set out to prove a rule of geometry. The change from "this rule works" to "this rule must hold, and here is why" is what turned geometry into a branch of mathematics. This reading follows that change from Egypt and Babylon to Greece, ending with Euclid's Elements.

Geometry as a Working Tool

Scribes in ancient Egypt and Mesopotamia used practical geometry: rules for computing lengths, areas, and volumes in order to get a job done. They worked out the areas of fields, the volumes of granaries and earthworks, and the quantities of material a building needed, often for land records and taxes (Katz 2018, chap. 1). The rules came with worked examples. They didn't come with arguments for why the rules were right.

Egyptian papyri from the second millennium BCE give a rule for the area of a round field and a rule for the volume of a pyramid with its top cut off (Katz 2018, chap. 1). The first rule is a close approximation; the second is exact. Either way, the scribe's job was to apply the rule to the numbers in front of him.

Babylonian clay tablets show something more striking. One small tablet from Yale's collection shows a square with its diagonals drawn in, along with a number that is a very good approximation of the square root of 2, used to get the diagonal's length from the side. Another tablet, known as Plimpton 322 and dated to roughly 1800–1650 BCE, lists rows of numbers that fit the relationship between the sides of a right triangle: the square of the long side equals the sum of the squares of the other two (O'Connor and Robertson 2000). Historians still debate what the tablet was for. But the relationship was in use more than a thousand years before the earliest Greek geometers known by name.

Asking Why

Greek tradition names Thales of Miletus, in the sixth century BCE, as the first to prove statements about figures, and it links Pythagoras and his followers with the right-triangle relationship. These are traditions, not documented facts. None of Thales's writings survive, and most of what is said about him comes from writers many centuries later, such as Proclus, who wrote around 450 CE (O'Connor and Robertson 1999). The same is true of Pythagoras. So the name "Pythagorean theorem" records a later Greek tradition about who first proved the relationship, not about who first knew it.

What the record does show is a change in the question. Greek geometers began to ask why a rule holds, and to answer with deductive geometry: deriving each statement by logic from statements already accepted (Katz 2018, chap. 2). A statement established this way is a theorem. The chain of reasoning that establishes it is a proof, an argument in which each step follows from accepted statements, so that the conclusion holds in every case the statement covers.

Euclid's Elements

Around 300 BCE, Euclid compiled the Elements, thirteen books that organized much of the geometry and number theory known in his time into a single chain of proofs (Katz 2018, chap. 3). Little is known about Euclid himself, and many of the results in the Elements weren't new. What was new was the arrangement: a few starting assumptions stated at the outset, and every later result proved from them or from results already proved.

The table below sums up the change.

Culture	Period	Kind of geometry	Purpose
Egypt	Papyri from the second millennium BCE	Rules for areas and volumes, taught through worked examples	Land, building, grain stores, taxes
Babylon (Mesopotamia)	Old Babylonian tablets, about 1900–1600 BCE	Rules and number tables, including the right-triangle relationship	Land, construction, administration
Early Greece	Sixth and fifth centuries BCE, in later accounts	First arguments for why rules hold	Understanding and persuasion by reasoning
Euclid's Elements	About 300 BCE	One deductive system of proved results	Organizing known geometry into a single chain of proofs

Conclusion

Egyptian and Babylonian scribes knew and used a great deal of geometry, including the right-triangle relationship, without proving it. Greek geometers added the demand for proof, though the stories about who started it come from much later writers. Euclid's Elements gave that demand its lasting form.

Key Terms

Practical geometry: Rules for computing lengths, areas, and volumes, used to solve concrete problems without arguments for why the rules are right.
Deductive geometry: Geometry in which each statement is derived by logic from statements already accepted.
Theorem: A statement established by deductive reasoning.
Proof: An argument in which each step follows from accepted statements, so that the conclusion holds in every case the statement covers.

References

Katz, Victor J. 2018. A History of Mathematics: An Introduction. 3rd ed., Classic Version. New York: Pearson.
- Free: None
- Publisher: Pearson
- Free companion: O'Connor and Robertson 1996a
O'Connor, J. J., and E. F. Robertson. 1999. "Thales of Miletus." MacTutor History of Mathematics Archive, University of St Andrews. Last updated January 1999.
- Free: MacTutor: Thales of Miletus
O'Connor, J. J., and E. F. Robertson. 2000. "Pythagoras's Theorem in Babylonian Mathematics." MacTutor History of Mathematics Archive, University of St Andrews. Last updated December 2000.
- Free: MacTutor: Pythagoras's theorem in Babylonian mathematics

Reading 4 min Done

Axioms, Definitions, and Deductive Proof in Euclid's Elements

Introduction

Euclid's Elements has been studied for more than two thousand years, mainly for how it's built rather than for its individual results. This reading explains Euclid's starting points, how one of his proofs works, and where the Pythagorean theorem sits in the chain. Citations such as Elements I.47 give the book and the proposition number, which every edition uses.

Starting Points You Accept Without Proof

Every chain of proof has to start somewhere. If each statement needs a prior statement to justify it, you need a few statements at the beginning that you accept without proof. Such a statement is an axiom. Euclid calls his geometric axioms postulates, and he adds a few general ones, which he calls common notions, such as the rule that two things each equal to a third thing are equal to each other.

Before the postulates, Book I gives 23 definitions. A definition fixes what a word will mean, so that every later use of the word refers to the same thing. The first reads "A point is that which has no part" (Euclid, Elements I, Def. 1). Others define a line as length without breadth, a circle as a figure whose boundary points all lie at the same distance from a center, and parallel lines as lines in the same plane that never meet, however far they are extended.

The five postulates, in plain words, say:

You can draw a straight line from any point to any other point.
You can extend a straight line segment as far as you like.
You can draw a circle with any center and any radius.
All right angles are equal to one another.
If a straight line crosses two other lines, and the two inside angles on one side add up to less than two right angles, then those two lines, extended far enough, meet on that side.

The fifth postulate stands out. The first four are short and describe things you can do or check on paper. The fifth is long, and it makes a claim about what happens arbitrarily far away, where no one can check.

How a Proof Works

After the starting points come the propositions. A proposition is a statement Euclid states and then proves, or a construction he shows how to carry out. Book I has 48 of them. Each comes with a deductive proof: a chain of steps in which every step is justified by a definition, a postulate, a common notion, or a proposition already proved.

Take the angle sum of a triangle (Euclid, Elements I.32). Euclid extends one side of the triangle and draws a line through one corner parallel to the opposite side, which a prior proposition shows how to do (I.31). Another prior result says that when a line crosses two parallel lines, certain angles are equal (I.29). A third says that the angles on one side of a straight line add up to two right angles (I.13). Put together, these show that the triangle's three angles add up to two right angles.

Proposition I.29 is the first in Book I that uses the fifth postulate. The first 28 propositions don't need it. Every result that leans on I.29, including the angle sum, inherits that dependence.

The Pythagorean Theorem as Proposition I.47

The Pythagorean theorem is Proposition 47 of Book I. Put in plain words, it says that in a right triangle the square on the side opposite the right angle equals the squares on the other two sides together (Euclid, Elements I.47). "Square on a side" means a square built with that side as one edge, so the theorem is a statement about areas.

Euclid's proof builds a square on each side of the triangle, draws a line parallel to two sides of the largest square, and compares triangles and rectangles. Its steps cite Propositions I.4, I.14, I.31, I.41, and I.46, along with postulates and common notions. Each of those propositions rests on prior ones in turn. Trace the chain back and you reach the definitions and postulates, and nothing else. Proposition I.48, which follows it, proves the converse: if the squares fit together this way, the angle is a right angle.

Why the Structure Lasted

The Elements showed that a large body of knowledge could be derived from a short, stated list of assumptions. If you accept the starting points and check each step, you must accept the conclusion. That pattern of stated assumptions and checked steps became the standard form for presenting mathematics. It also made the assumptions visible, so that each one could be questioned.

Conclusion

Euclid's Elements begins with definitions, five postulates, and a few common notions, and proves each later proposition from those or from propositions already proved. The Pythagorean theorem, I.47, sits near the end of Book I on a long chain of prior results. The fifth postulate, first used in I.29, is the assumption that later drew the most scrutiny.

Key Terms

Axiom (postulate): A statement accepted without proof as a starting point for a chain of proofs; Euclid calls his geometric axioms postulates.
Definition: A statement that fixes what a word will mean, so that every later use of the word refers to the same thing.
Proposition: A statement Euclid states and then proves, or a construction he shows how to carry out.
Deductive proof: A chain of steps in which every step is justified by a definition, an axiom, or a result already proved.

References

Euclid. Elements. Edited and translated by David E. Joyce, after T. L. Heath's edition. Worcester, MA: Clark University, 1996–2013.
- Free: Euclid's Elements, Book I (Joyce)

Reading 4 min Done

Similar Triangles and the Origins of Trigonometry

Introduction

Some lengths can't be measured with a tape: the height of a tree, the width of a river, the distance to the Moon. Geometry offers a way around the tape, and the way is to compare triangles. This reading explains similar triangles, how they let you measure what you can't reach, and how tables built on them grew into trigonometry.

Same Shape, Different Size

Two triangles have the same shape when their angles match: each angle in one triangle equals an angle in the other. Triangles like this are called similar triangles. A photograph and its enlargement show the same idea: everything is bigger, nothing is distorted.

When triangles are similar, their matching sides are in proportion. A ratio compares two quantities by dividing one by the other. In similar triangles, the ratio of any two sides in one triangle equals the ratio of the matching sides in the other. A triangle with sides 3, 4, and 5 and a triangle with sides 6, 8, and 10 are similar. Every side of the second is twice the matching side of the first, and the ratio of the shortest side to the longest is $3/5$ in both.

Measuring What You Can't Reach

Similarity turns a measurement you can make into one you can't. Suppose a stick 1 meter tall casts a shadow 0.8 meters long, and at the same moment a tree casts a shadow 12 meters long. The sun's rays reach both at the same angle, and both stand upright on level ground. So the stick, its shadow, and the ray from its tip form a triangle similar to the one formed by the tree, its shadow, and the ray from its top.

The ratio of height to shadow must then be the same for both. For the stick it is $1/0.8 = 1.25$ . So the tree's height is $1.25 \times 12 = 15$ meters. You measured two shadows and a stick, and you got the height of a tree you never climbed.

From Ratios to Tables

The key fact behind this is that in a right triangle, the ratios of the sides depend only on the angles, not on the size. Measure them once for each angle and write them down, and you never need to measure them again. That is the idea behind trigonometric tables.

The earliest tables weren't built on triangles but on circles. A chord is a straight line segment joining two points on a circle. The first known table of chords was produced by the Greek astronomer Hipparchus in about 140 BCE. It is now lost (O'Connor and Robertson 1996b). Ptolemy later produced another, with the circle divided into 360 degrees.

Around 500 CE, the Indian mathematician Aryabhata gave tables of half-chords, which he called jya (O'Connor and Robertson 1996b). A half-chord is what we now call a sine. In modern terms, the sine of an angle in a right triangle is the ratio of the side opposite the angle to the longest side. In a circle of radius 1, it is half the chord that spans twice the angle.

The word itself traveled. Arabic scholars adopted jya as jiba, which was later read as jaib, a word meaning a fold. European authors translating Arabic works into Latin rendered jaib as sinus, Latin for a fold, and sinus became "sine" (O'Connor and Robertson 1996b). Mathematicians writing in Arabic also worked with sines and cosines in their own right; by 980, Abu'l-Wafa knew a formula for the sine of a doubled angle. Arabic tables of shadows appeared around 860, close cousins of the stick-and-tree method.

Similarity Put to Work

Trigonometry is the study of how the angles of triangles relate to the ratios of their sides, first organized as tables and later as functions. It is similarity turned into a reusable tool. Its early driving use was astronomy, where the distances and angles involved can't be measured directly. It later served surveying and navigation for the same reason.

Conclusion

Similar triangles have equal angles and proportional sides, which lets a measurable triangle stand in for one that can't be measured. Tables of chord and sine values, from Hipparchus through Aryabhata and Arabic scholars, turned that fact into trigonometry. The modern sine function descends from those tables.

Key Terms

Similar triangles: Triangles whose angles match, so that they have the same shape, though they may differ in size.
Ratio: A comparison of two quantities made by dividing one by the other.
Chord: A straight line segment joining two points on a circle.
Sine: For an angle in a right triangle, the ratio of the side opposite the angle to the longest side; in a circle of radius 1, half the chord that spans twice the angle.
Trigonometry: The study of how the angles of triangles relate to the ratios of their sides, first organized as tables and later as functions.

References

O'Connor, J. J., and E. F. Robertson. 1996b. "Trigonometric Functions." MacTutor History of Mathematics Archive, University of St Andrews. Last updated June 1996.
- Free: MacTutor: Trigonometric functions

Reading 4 min Done

The Parallel Postulate and Its Independence

Introduction

For about two thousand years, some of the best mathematicians tried to prove one of Euclid's assumptions from the others, and all of them failed. The failure turned out to be a discovery. This reading explains the assumption, the attempts to prove it, and the 19th-century work that showed no proof is possible.

The Postulate in Modern Form

Euclid's fifth postulate concerns lines that cross. If a line crosses two others and the two inside angles on one side add up to less than two right angles, those two lines meet on that side. It's usually stated today in an equivalent form that John Playfair proposed in 1795: given a line and a point not on it, exactly one line through the point is parallel to the given line (O'Connor and Robertson 1996a). This statement is called the parallel postulate.

It looks true on paper. The trouble is that parallel lines are defined as lines that never meet, however far they are extended, and no one can check what happens infinitely far away. So mathematicians tried to prove the postulate from Euclid's other four, which seemed safer.

Two Thousand Years of Attempts

The attempts began in antiquity. Proclus, writing in the fifth century CE, pointed out a flaw in an attempted proof by Ptolemy (O'Connor and Robertson 1996a). Many later proofs failed the same way: somewhere they quietly assumed a statement that turns out to be equivalent to the postulate itself.

The most ambitious attempt came from the Italian Jesuit Girolamo Saccheri, in a book published in 1733. He assumed the postulate was false and set out to derive a contradiction (O'Connor and Robertson 2009). One of his cases led to a contradiction. The other, now called the acute-angle hypothesis, didn't. Saccheri derived many strange results from it, results that hold in what is now called non-Euclidean geometry, but he rejected the hypothesis with an argument that even he wasn't happy with. Johann Lambert pushed further in 1766 and noticed that, under this hypothesis, a triangle's angle sum grows as its area shrinks (O'Connor and Robertson 1996a).

A New Geometry, Found Three Times

In the early 19th century, three mathematicians reached the same conclusion: the denial of the postulate leads to a consistent geometry of its own, not to a contradiction. In it, many lines through a point can be parallel to a given line, and triangles have angle sums below 180 degrees. Any geometry in which the parallel postulate fails is called a non-Euclidean geometry.

Carl Friedrich Gauss was convinced by 1817 that the postulate couldn't be proved from the others, but he never published his work on it. Nikolai Lobachevsky published his geometry in 1829 in a Russian journal at Kazan. In Hungary, János Bolyai worked out the same geometry in the 1820s and published it as an appendix to a textbook by his father (O'Connor and Robertson 1996a). When Gauss saw Bolyai's work, he praised it and also said he had reached the same ideas first. Because Gauss's claim rests on unpublished notes and letters, how much credit he deserves is still discussed; Lobachevsky and Bolyai are generally credited as independent discoverers.

Proving That It Can't Be Proved

Finding a geometry without contradictions so far isn't the same as showing none will ever appear. That question was settled in 1868, when Eugenio Beltrami built a model of the new geometry inside ordinary Euclidean geometry, on a curved surface called a pseudosphere (O'Connor and Robertson 1996a). Felix Klein completed the work in 1871.

A model like this has a strong consequence. Any contradiction in the new geometry would show up as a contradiction in Euclid's geometry, too. So the new geometry has the same consistency as Euclid's: it is free of contradictions provided Euclid's geometry is. It follows that the parallel postulate has independence from the other four: it can't be proved from them, and it can't be disproved from them either.

Conclusion

The parallel postulate can't be derived from Euclid's other axioms, so geometry with it and geometry without it are both consistent, provided Euclid's is. That result established that an axiom can be independent and that more than one geometry is logically possible. Which one describes physical space became a separate question, one for measurement rather than proof.

Key Terms

Parallel postulate: The statement that, given a line and a point not on it, exactly one line through the point is parallel to the given line; it is equivalent to Euclid's fifth postulate.
Non-Euclidean geometry: Any geometry in which the parallel postulate fails.
Consistency: Freedom from contradictions; a geometry is as consistent as Euclid's if any contradiction in it would produce one in Euclid's.
Independence: The property of an axiom that can't be proved from the other axioms and can't be disproved from them either.

References

O'Connor, J. J., and E. F. Robertson. 1996a. "Non-Euclidean Geometry." MacTutor History of Mathematics Archive, University of St Andrews. Last updated February 1996.
- Free: MacTutor: Non-Euclidean geometry
O'Connor, J. J., and E. F. Robertson. 2009. "Giovanni Girolamo Saccheri." MacTutor History of Mathematics Archive, University of St Andrews. Last updated April 2009.
- Free: MacTutor: Giovanni Girolamo Saccheri

Guided Reading 7 min Done

Worked Example: A Picture Proof of the Pythagorean Theorem

Introduction

The Pythagorean theorem says that in a right triangle, the square of the longest side equals the sum of the squares of the other two. This reading works through one of its shortest proofs, which compares two ways of counting the area of one square. It then checks every assumption the argument made, because a proof is only as strong as the facts it rests on.

The Problem

Start with a right triangle: a triangle with one 90-degree angle. Call the two sides that form the right angle the legs, with lengths $a$ and $b$ . Call the longest side, opposite the right angle, the hypotenuse, with length $c$ . The letters stand for any lengths at all, so whatever you prove about them holds for every right triangle.

The goal is to show that

a^2 + b^2 = c^2

for every right triangle. In words: the area of a square built on the hypotenuse equals the combined areas of the squares built on the two legs.

You have four identical copies of the triangle and a large square whose sides each have length $a + b$ .

Figure: A large square with side length a + b. On each side, a mark divides the side into a piece of length a and a piece of length b, going around in the same direction. Joining neighboring marks cuts off four right triangles at the corners, each with legs a and b, and leaves a tilted square with side c in the middle. Alt text: A square with four right triangles in its corners, arranged so their long sides enclose a smaller tilted square in the center.

Working It Through

Step 1: Arrange the four triangles inside the large square

Go around the large square and mark each side so that it splits into a piece of length $a$ followed by a piece of length $b$ , always in the same direction. Join each mark to the mark on the next side. This cuts off one triangle at each corner of the large square.

Each corner triangle has a right angle, because the corners of a square are right angles. Its two legs have lengths $a$ and $b$ . So each corner triangle has the same two legs and the same angle between them as the original triangle, and it is a copy of it, with a long side of length $c$ . The four long sides enclose a four-sided shape in the middle, tilted relative to the large square, with every side of length $c$ .

Step 2: Find the area of the large square in two ways

The first way uses the formula for the area of a square, side times side:

\text{area} = (a + b)^2

The second way adds up the pieces. Each triangle has area one half of base times height, which for a right triangle is $\tfrac12 ab$ . There are four of them. If the middle shape is a square of side $c$ , its area is $c^2$ . So the total is

\text{area} = 4 \times \tfrac12 ab + c^2 = 2ab + c^2

Both expressions describe the same area.

Step 3: Expand and simplify

Set the two expressions equal:

(a + b)^2 = 2ab + c^2

Multiplying out the left side gives $(a + b)(a + b) = a^2 + 2ab + b^2$ . So

a^2 + 2ab + b^2 = 2ab + c^2

The term $2ab$ appears on both sides. Subtract it from both, and what remains is

a^2 + b^2 = c^2

A quick test with numbers: take $a = 3$ and $b = 4$ , so the large square has side 7 and area 49. The four triangles have area $4 \times \tfrac12 \times 3 \times 4 = 24$ . The middle square must then have area $49 - 24 = 25$ , so $c = 5$ . And $3^2 + 4^2 = 9 + 16 = 25$ , as the theorem says.

Step 4: Check which facts the argument assumed

The algebra is airtight. The geometry needs checking, because Step 2 assumed the middle shape is a square. All four of its sides have length $c$ , but a shape with four equal sides can be a squashed diamond. It's a square only if its corners are right angles.

Look at one corner of the middle shape. It sits on a side of the large square, where two triangles meet. Along that straight side, three angles sit next to each other: an acute angle of one triangle, the corner of the middle shape, and the other acute angle of the next triangle. Angles that together make up a straight line add to 180 degrees (Euclid, Elements I.13). The two acute angles of a right triangle add to 90 degrees, because all three angles of any triangle add to 180 and the right angle takes 90 of them (Euclid, Elements I.32). So the corner of the middle shape is $180 - 90 = 90$ degrees. The same holds at all four corners, so the middle shape is a square.

Step 1 also assumed a fact. It used the claim that two triangles with two equal sides and an equal angle between them are copies of each other (Euclid, Elements I.4), to conclude that each corner triangle has a long side of length $c$ .

Step 5: Compare with Euclid's own proof

Euclid proves the same theorem as Proposition 47 of Book I, by a different route (Euclid, Elements I.47). He builds a square outward on each side of the triangle. He then draws a line from the right-angle corner, parallel to two sides of the square on the hypotenuse, which splits that square into two rectangles. Using pairs of matching triangles, he shows that one rectangle has the same area as the square on one leg, and the other rectangle the same area as the square on the other leg.

His proof uses no algebra. It cites prior propositions instead, including how to draw a parallel line (I.31) and the fact that a parallelogram is twice a triangle on the same base between the same parallels (I.41). Both proofs reach the same equation, and both rest, at some point, on facts about parallel lines.

Key Considerations

What the proof rests on. The middle shape is a square only because the two acute angles of a right triangle add to 90 degrees. That fact comes from the angle sum of a triangle. Euclid proves the angle sum using a result about angles formed when a line crosses two parallel lines (I.29), and that result is the first in the Elements to use the parallel postulate: the assumption that through a point not on a line, exactly one parallel line can be drawn. So this short proof inherits a dependence on the parallel postulate. On a curved surface such as a sphere, where that postulate fails, the theorem fails too.

The common mistake: treating the picture as the proof. A picture shows one triangle with particular proportions, and it can hide a false assumption. A drawing in which the middle shape looks square doesn't show that it is square. The proof is the reasoning in Steps 2 to 4: the two area counts, the algebra, and the argument that every corner of the middle shape is a right angle. A picture with a careful argument attached is a proof. A picture on its own is a persuasive example.

About the name. The relationship was known and used in Babylon more than a thousand years before the Greek geometers who are traditionally credited with proving it. The name records a later tradition about Pythagoras, not who first knew the fact.

Summary

Counting the area of one large square in two ways, and checking that the middle piece is a square, proves that $a^2 + b^2 = c^2$ for every right triangle. Here is the solution, with each line labeled by what justifies it:

A square of side $a + b$ holds four copies of the triangle and a middle shape with four sides of length $c$ . (Construction; Euclid I.4)
Each corner of the middle shape is 90 degrees, so the middle shape is a square of side $c$ . (Angles on a straight line sum to 180, I.13; a triangle's angles sum to 180, I.32)
$(a + b)^2 = 4 \times \tfrac12 ab + c^2$ (the same area counted two ways)
$a^2 + 2ab + b^2 = 2ab + c^2$ (multiplying out the left side)
$a^2 + b^2 = c^2$ (subtracting $2ab$ from both sides)
Check: with $a = 3$ and $b = 4$ , the large square has area 49, the triangles 24, and the middle square $49 - 24 = 25 = 5^2 = 3^2 + 4^2$ .

Line 2 is where the parallel postulate enters, through the angle sum.

References

Euclid. Elements. Edited and translated by David E. Joyce, after T. L. Heath's edition. Worcester, MA: Clark University, 1996–2013.
- Free: Euclid's Elements, Book I (Joyce)

Guided Conversation 12 min Done

Prove the Angle Sum Yourself

In this conversation you'll rebuild, with hints as you need them, the classic proof that a triangle's three angles add up to 180 degrees. You'll leave able to state the proof in three sentences and to say which assumption it can't do without.

You'll have this conversation with an AI assistant, using your own account. Choose a button to open a new chat with the prompt already filled in, then press send to start. If the chat opens empty, copy the prompt and paste it in.

Run this conversation in whichever assistant you already use:

Open in Claude Open in ChatGPT

Claude desktop app

To use another LLM, simply copy and paste the prompt into its chat window.

Show the full prompt (it lists misreadings to watch for, so skip it if you would rather come to the conversation fresh)

Guided Conversation: Prove the Angle Sum Yourself (about 12 minutes)

Note to the learner: press send to start. Everything below is facilitator guidance for the AI. It lists misconceptions to watch for, so skip it if you'd rather come to the conversation fresh.

Please facilitate a coached problem session with me. I'm an adult who is comfortable with basic high-school algebra but may be rusty or uneasy with math, exploring what geometry is and whether to study it further. I'm studying how geometry proves results from a few starting assumptions. Follow this guidance for the whole conversation.

GOAL
Help me explain how geometry proves results from axioms by reconstructing, mostly on my own, the proof that the three angles of any triangle add up to 180 degrees, and by finding the assumption about parallel lines that the proof depends on.

HOW TO RUN THE CONVERSATION
- Ask one question at a time, then wait for my reply. Keep each of your turns under about 120 words.
- Don't lecture. Explain a point only when I need it to continue, then return to my sketch and my reasoning.
- Be curious, collegial, and patient. Give hints and ask questions; don't solve the problem for me. Ask for my approach before any hint, give one hint at a time, and never state a step before I've tried it. Define terms briefly on first use. Welcome disagreement when I give a reason.
- Write math in plain text, for example a + b + c = 180.
- Plain conversation only: don't search the web or create files or documents.
- Aim for about 12 minutes, with most of the time on topics 1 and 2. If my replies are brief, offer one concrete prompt, such as "Which angle on your new line looks the same size as the triangle's angle at A?", and move on. If I seem uncertain, shorten the conversation to 5-7 minutes. Always reach the final topic.
- Start now. Open with one or two warm sentences: this is a conversation, not a quiz; trying an idea matters more than being right; I can ask you to clarify anything. Then ask me to sketch any triangle on paper, label its corners A, B, and C, and tell you what I'd try first to show its angles add to 180 degrees.

TOPICS, IN ORDER
1. The extra line. Let me suggest an approach first. If I'm stuck, hint that one extra line through a corner can help. If still stuck, suggest a line through B parallel to the opposite side AC. Ask what I notice about the three angles along that new line at B. Follow-up: what do angles along a straight line add up to?
2. Matching angles. Ask me which angles along the new line match angles inside the triangle, and why. If I need it, introduce alternate angles: when a line crosses two parallel lines, the angles on opposite sides of the crossing line, between the parallels, are equal. Let me find both matching pairs (one matching the angle at A, one matching the angle at C) before you confirm. Follow-up: so what do the three angles of the triangle add up to?
3. The hidden assumption. Ask where my argument used the fact that the new line is parallel to AC, and whether I could be sure such a line exists and is the only one. Explain briefly that Euclid's fifth postulate (through a point not on a line, exactly one parallel can be drawn) is what guarantees the alternate angles are equal. Ask what might happen on a ball, where there are no parallel lines.
4. Closing. Ask me to state the whole proof in three sentences, in my own words. Help me tighten it if a step is missing, so I leave with a proof I could use when working problems on right triangles and similar triangles.

CORRECT METHOD AND ANSWER
- Draw the line through B parallel to AC. Call the angles at A, B, and C inside the triangle a, b, and c.
- Along the new line at B there are three angles side by side: one on the side of A, angle b in the middle, one on the side of C. They sit on a straight line, so they add up to 180 degrees.
- AB crosses the two parallel lines, so the angle next to it on the new line equals angle a (alternate angles). CB crosses them too, so the angle on the other side equals angle c.
- Substituting: a + b + c = 180 degrees. The argument works for every triangle because it never used particular sizes.
- The equality of alternate angles depends on the parallel postulate. Without it, the proof breaks. On a sphere, triangle angles add up to more than 180 degrees.

MISCONCEPTIONS TO CORRECT GENTLY
When one appears, name the accurate version briefly, then return to my sketch.
- "Measuring enough triangles proves it": measuring can only check particular triangles, with some error; a proof covers every triangle at once.
- "The fifth postulate is obviously true, so it doesn't matter": it can't be proved from Euclid's other assumptions, and geometries without it are just as consistent.
- "Pythagoras discovered the theorem about right triangles": the relationship was known and used in Babylon long before; Greek tradition, recorded much later, credits him with a proof.

LIMITS
- No coordinate geometry or trigonometry; stay with lines and angles.
- Write math in plain notation only.
- Don't give the proof, or any step of it, before I've tried.

TO FINISH
After my three-sentence proof, close in one short turn:
- Affirm one specific thing I worked out, in my own words where possible.
- Suggest one or two next steps that fit how the conversation went. Possible steps: try the same proof with the parallel line drawn through a different corner; work out the third angle of a triangle when two are given; see how the angle sum shows that a right triangle's two other angles add to 90 degrees; revisit what alternate angles are.
- Restate my three-sentence proof on its own line, labeled "My proof", so I can copy it.

Problem Set 15 minOptional Done

Right Triangles, Angles, and Similar Triangles

Overview

This optional problem set gives you practice with three facts from geometry: the Pythagorean theorem, the angle sum of a triangle, and similar triangles. The Pythagorean theorem says that in a right triangle (a triangle with a 90-degree angle), the square of the longest side equals the sum of the squares of the other two sides. The angle sum says that a triangle's three angles add up to 180 degrees. Similar triangles have matching angles, so their matching sides are in proportion.

Work through the problems in order. For each one:

Sketch the situation and label what you know.
Solve it, and write down which fact you used.
Compare your work with the answer and method given.

Problems

Problem 1

A right triangle has two shorter sides of length 3 and 4. How long is the longest side?

Once you've tried the problem, check your work against the solution.Show the solution to Problem 1Hide the solution

Answer: 5

Method:

The fact to use is the Pythagorean theorem, $a^2 + b^2 = c^2$ , where $a$ and $b$ are the two shorter sides and $c$ is the longest side.
Square the two shorter sides and add: $3^2 + 4^2 = 9 + 16 = 25$ .
So $c^2 = 25$ , and $c$ is the positive number whose square is 25: $c = \sqrt{25} = 5$ .

Most common error: Adding the sides instead of their squares, $3 + 4 = 7$ . The theorem is about squares, and the longest side of a triangle is always shorter than the other two put together.

Problem 2

Is a triangle with sides 5, 12, and 13 a right triangle?

Once you've tried the problem, check your work against the solution.Show the solution to Problem 2Hide the solution

Answer: Yes, it is a right triangle.

Method:

The fact to use is the converse of the Pythagorean theorem: if the square of the longest side equals the sum of the squares of the other two, the triangle has a right angle.
Square the two shorter sides and add: $5^2 + 12^2 = 25 + 144 = 169$ .
Square the longest side: $13^2 = 169$ .
The two results match, so the angle opposite the side of length 13 is a right angle.

Most common error: Testing the wrong side as the longest one, for example checking whether $5^2 + 13^2$ equals $12^2$ . The longest side always goes alone on one side of the equation.

Problem 3

Two angles of a triangle measure 50 degrees and 60 degrees. What is the third angle?

Once you've tried the problem, check your work against the solution.Show the solution to Problem 3Hide the solution

Answer: 70 degrees

Method:

The fact to use is the angle sum: the three angles of a triangle add up to 180 degrees.
The two known angles add up to $50 + 60 = 110$ degrees.
The third angle is what's left: $180 - 110 = 70$ degrees.

Most common error: Using 360 degrees as the total. That's the angle sum of a four-sided shape, such as a rectangle, not of a triangle.

Problem 4

A 10 m ladder leans against a vertical wall. Its foot is on level ground, 6 m from the wall. How high up the wall does the top of the ladder reach?

Once you've tried the problem, check your work against the solution.Show the solution to Problem 4Hide the solution

Answer: 8 m

Method:

The wall, the ground, and the ladder form a right triangle, with the right angle where the wall meets the ground. The ladder is the longest side, $c = 10$ . The distance from the wall is one shorter side, $a = 6$ . The height $h$ is the other shorter side.
The fact to use is the Pythagorean theorem: $6^2 + h^2 = 10^2$ .
So $36 + h^2 = 100$ , which gives $h^2 = 100 - 36 = 64$ .
The height is $h = \sqrt{64} = 8$ m.

Most common error: Putting the ladder in the wrong place in the equation and adding, $6^2 + 10^2 = 136$ , which would make the height longer than the ladder. The ladder is the longest side, so its square is the total.

Problem 5

A 2 m pole casts a 3 m shadow. At the same time, a tree nearby casts a 12 m shadow. How tall is the tree?

Once you've tried the problem, check your work against the solution.Show the solution to Problem 5Hide the solution

Answer: 8 m

Method:

The sun's rays reach the pole and the tree at the same angle, and both stand upright. So the triangle formed by the pole, its shadow, and the ray from its top is similar to the triangle formed by the tree, its shadow, and the ray from its top.
The fact to use is that similar triangles have matching sides in proportion. So height divided by shadow is the same for both: $2/3 = h/12$ , where $h$ is the tree's height.
Multiply both sides by 12: $h = 12 \times 2/3 = 8$ m.
Check against your sketch: the tree's shadow is four times the pole's, so the tree should be four times as tall, and $4 \times 2 = 8$ .

Most common error: Setting up the proportion upside down on one side only, such as $2/3 = 12/h$ , which gives 18 m. Keep the same order on both sides: height over shadow, or shadow over height, but not one of each.

Self-Check

When you're done, check that:

Each answer is in the right units: lengths in meters where the problem gives meters, and angles in degrees.
You named the fact you used for each problem: the Pythagorean theorem, its converse, the angle sum, or similar triangles.
Your answer to Problem 5 makes sense against your sketch: the tree's height is the same multiple of the pole's height as its shadow is of the pole's shadow.

Knowledge Check 10 min Done

Euclid's axioms, proof, and the parallel postulate

This ungraded knowledge check assesses your understanding of how geometry became a system of proved results. You'll be asked about geometry before and in Greece, axioms and deductive proof in Euclid's Elements, similar triangles and the origins of trigonometry, and the parallel postulate and its independence.

Note: Use this to test yourself, review the feedback on any questions you miss, and retry until you feel confident before moving forward.

5 questions · ungraded · retry as often as you like