In Grade 7 maths, everyone draws a triangle with a square corner, builds a square on each side, and checks that the two small squares together make the big one.
Bibek draws his short sides 5 cm and 6 cm long: squares of 25 and 36, 61 together. He measures the long side, 7.8 cm, and 7.8 × 7.8 = 60.84. “Nearly 61,” he says. “The rule works.”
Anu isn’t happy. “Nearly isn’t the rule. Is it exactly 61? And does it work for every right triangle, even the ones nobody has drawn?” Nobody can measure every triangle in the world. Can you be sure without a ruler?
Guess first. Bibek measured 7.8 cm, and 7.8 × 7.8 is 60.84, not 61. What does that show?
Pick an answer to see why.
Here is one that needs no ruler, only four copies of a right triangle and a square frame. Try it:
Try it
What is left uncovered
Before you slide, the triangles leave two squares uncovered, one on side a and one on side b. Slid into the corners (never turned), they leave one tilted square on the long side, c.
Change the sides to 3 and 4, and look at the readouts before and after you slide. The uncovered area…
Pick an answer to see why.
Try other shapes: 1 and 6, 4.5 and 2, two equal sides. “Uncovered” never changes when you slide. That is the whole proof, once you see why it must be so.
Why it is a proof
The frame is the same before and after, and the four triangles, only moved, cover the same area. So what they leave uncovered is the same area too:
Nothing was measured. The argument never used the numbers, so it works for every right triangle, even one too big for any page.
One thing to check: is the tilted shape really a square? Its four sides are long sides of the triangles, so they are equal. At each of its corners, on the frame’s side, a sharp angle of one triangle, the corner and the other sharp angle of the next triangle make a straight line, 180°. A triangle’s angles add up to 180°, the right angle takes 90°, so its two sharp angles make 90°. That leaves 90° for the corner: it is a square.
What’s going on
The theorem, and what a proof is
A triangle with a square corner is a right triangle, and its longest side, the one opposite the square corner, is the hypotenuse. You have just shown:
Pythagoras’ theorem: in every right triangle, the square on the hypotenuse equals the squares on the other two sides added together. With the short sides a and b and the hypotenuse c, .
Nepal’s Grade 7 maths books write it : h for the hypotenuse, p for the perpendicular and b for the base. The letters don’t matter; which side is which does.
A theorem is a statement that has been proved. A proof is an argument, each step following from what is already known, that shows a statement is true in every case it talks about. Measuring a hundred triangles is evidence: it makes you believe. A proof makes you certain, because it covers the triangles nobody will ever draw.
A second proof can’t make the theorem truer, but each shows it from another side.
Bhaskara’s five pieces
Cut the big square
In the 1100s, the mathematician and astronomer Bhaskara (1114–1185), head of the observatory at Ujjain, wrote the Bijaganita (“seed arithmetic”), his book of algebra. In it he asks: a triangle has short sides 15 and 20, what is its hypotenuse, “and show the demonstration of the received mode of computation”: prove the rule everyone uses.
One of his proofs puts four copies of the triangle inside the square on the hypotenuse, round a small square in the middle. Try it, with his own numbers:
The square on the hypotenuse is made of five pieces. Turn two of them out, and the same five pieces become a square on side 20 beside a square on side 15. Nothing was added and nothing thrown away, so
and the same cut works for any right triangle.
Counting the pieces, as Bhaskara did
Bhaskara didn’t leave the picture to speak for itself: he added up the pieces. Each triangle is half of a 20 by 15 rectangle, 150, so the four make 600. The small square in the middle has side 20 − 15 = 5, so its area is 25. Together, 600 + 25 = 625, and the square with area 625 has side 25: the hypotenuse.
The same counting works with letters. The four triangles are . The small square’s side is a − b, and Grade 7’s rule for the square of a difference gives its area: . Add the two:
The 2ab taken away in the small square is put back by the four triangles. Bhaskara wrote this rule out in words in his other book, the Lilavati (§ 135; H. T. Colebrooke’s English of 1817): “Twice the product of two quantities, added to the square of their difference, will be the sum of their squares.”
“Behold!”
A famous story says Bhaskara drew this figure and wrote under it a single word, “Behold!”. Elisha Loomis repeated the story in 1940 with a warning: the one word could be fair only if Bhaskara also drew the pieces put together the other way; with the first figure alone, he wrote, it “is hardly defensible”. The book itself, in Colebrooke’s translation, has two proofs with numbers, the count above and a proof by triangles of the same shape (later in this topic), and then, after the rule, places “the same portions of figure in another form” with the word “see”, pointing at a drawing. The one-word proof seems to have grown out of that.
A president’s trapezium
In 1876 James Garfield, then a member of the United States Congress, found a proof that was printed in the New-England Journal of Education. Five years later he became President.
It is half of the first proof’s frame. Two copies of the triangle stand side by side (Figure 18.1), their right angles at the ends of a bottom line a + b long. Their long sides meet in the middle at a right angle (the two sharp angles there make 90°, leaving 90° of the straight line). Join their tops: the gap is half of a square on c.
The whole shape is a trapezium: two parallel sides, a and b, which are a + b apart. Its area (Grade 8) is the average of the parallel sides times the distance between them, . Count it by its pieces instead: two triangles of and one of . The same area counted two ways:
Double both sides: . Grade 7’s square of a sum is , so , and taking away 2ab from both leaves .
The same shape, three sizes
Cut the triangle itself
The proofs so far moved pieces about. This one moves nothing. It was Bhaskara’s first proof in the Bijaganita, and more than seven hundred years later a boy in Germany found it again for himself.
Stand the triangle on its hypotenuse and draw the line from the right angle straight down to it, meeting it square. The triangle falls into two smaller triangles, and the surprise is that both have the same shape as the whole. Each piece has a right angle (where the line meets the hypotenuse), and each shares one sharp angle with the big triangle. A triangle’s angles add up to 180°, so the third angles match too. Three angles the same: the same shape, only a different size. Figures like that are similar, as in Grade 8.
Look at Figure 18.2 again. The long side of the small piece is 3, one of the big triangle’s short sides. The long side of the bigger piece is 4, the other short side. And the long side of the whole is 5.
Same shape, area grows as the square
Double every length of a triangle and four copies of the old one fit inside the new (join the midpoints of its sides and it falls into four): 2 × 2 = 4 times the area. Three times the lengths, 9 times the area. Stretch every length by any number, 2.5 say, and the area grows 2.5 × 2.5 times, just as a square’s does when its side is stretched the same way. So for figures of one shape, the area is always the same fraction of the square on the long side.
For these triangles that fraction is , since the whole triangle has area 6 and the square on its long side is 25:
| Triangle | Long side | Square on it | Area |
|---|---|---|---|
| Small piece | 3 | 9 | 9 × 6/25 = 2.16 |
| Bigger piece | 4 | 16 | 16 × 6/25 = 3.84 |
| Whole | 5 | 25 | 25 × 6/25 = 6 |
And the two pieces make the whole: 2.16 + 3.84 = 6. Divide each area by the same fraction and what is left is the squares: 9 + 16 = 25. For any right triangle the same holds, with the fraction depending on its shape. Call it k: the pieces have areas and , the whole , and since the pieces make the whole,
The argument never used squares, only that the three figures have the same shape. So it works for any three figures of one shape drawn on the sides: half circles, triangles, even three copies of Nepal’s flag, each as wide as its side. The two small ones together always have the area of the big one.
The other way round
A rope with twelve knots
Pythagoras’ theorem says: if the corner is square, then . Is the other way round true as well? If three sides fit the rule, must the corner be square?
That is what a builder needs. To lay out a square corner, the Journal of Light Construction tells carpenters to mark a point 12 feet from the corner along one wall’s line, then stretch two tapes, 9 feet from the corner and 15 feet from that point, and mark where they meet: 81 + 144 = 225, so the second wall’s line, through that mark, is square to the first. A loop of rope knotted into 12 equal parts, pulled tight as 3, 4 and 5, does the same. Try other lengths:
Why the rule works backwards
You will find a square corner for 3, 4, 5 and 6, 8, 10, and none for 6, 8, 9. Here is why the corner must be square when the sides fit the rule.
Take a triangle whose sides fit, . Now build a second triangle with the sides a and b at a square corner. By the theorem, its third side squared is , which is : its third side is c. So the two triangles have the same three sides, and two triangles with the same three sides are congruent, the same in every way (Grade 8’s SSS). So the first triangle’s corner is a right angle too. This is the converse of the theorem: its if and then swapped. (Not every converse is true: “if it is a dog, it is an animal” is true, but “if it is an animal, it is a dog” isn’t.)
Bigger, smaller, and no triangle at all
The widget showed more. When is less than , the corner is less than a right angle; when it is more, the corner is more. Think of a and b as two sticks hinged at the corner: open the hinge wider and their ends move apart, so c grows. At exactly 90°, ; narrower gives a shorter c, wider a longer one.
A triangle has sides 5, 6 and 8. Its biggest angle (opposite the 8) is…
Pick an answer to see why.
Where the rule breaks
Every proof here used flat paper: a square frame, triangles slid without stretching, the angles of a triangle adding up to 180°. On a curved surface those fail, and so does the theorem.
Walk from the North Pole south to the equator, about 10,000 km. Turn left, a square corner, and walk a quarter of the way round the equator, another 10,000 km. Turn left again and walk north: after 10,000 km you are back at the Pole, arriving at a right angle to the path you left on. A triangle with three right angles, and 10,000² + 10,000² is twice 10,000², not 10,000². On the land a house is built on, though, the Earth is so nearly flat that the theorem is right to far better than any tape measure.
Puzzles from old books
These are from Bhaskara’s Lilavati and China’s Nine Chapters. Each hides a right triangle: find it first.
The lotus in the lake
From the Lilavati (§ 153, in Colebrooke’s English): “In a certain lake swarming with ruddy geese and cranes, the tip of a bud of lotus was seen a span above the surface of the water. Forced by the wind, it gradually advanced, and was submerged at the distance of two cubits. Compute quickly, mathematician, the depth of water.” A span is half a cubit.
The stalk swings about its root on the lake bed, so its length stays the same (Figure 18.3). Upright, it is the depth plus half a cubit. Swung over, it is the hypotenuse of a right triangle whose other sides are the depth and the 2 cubits along the surface.
The broken bamboo
The reed in the pond
How many proofs are there?
Hundreds. In 1940 an American teacher, Elisha Scott Loomis, finished the second edition of The Pythagorean Proposition, every proof he could find: 370, 109 using algebra, 255 geometry, and a few odd ones. “And the end is not yet,” he wrote. One of them, counting this topic’s frame with algebra, was sent to him in 1939 from a high school in Indiana: its author was a schoolboy, Maurice Laisnez.
One kind, he said, could never exist. Trigonometry, the maths of angles you meet in Grade 10, is built on the theorem, so “there are no trigonometric proofs”: they would use the theorem to prove itself. Mathematicians have since found ways round the trap (Jason Zimba published one in 2009). Then in December 2022, two high-school students in New Orleans, Calcea Johnson and Ne’Kiya Jackson, took up a bonus question in their school’s maths contest: prove the theorem with trigonometry. After months of work they had new proofs that avoid the trap. They presented them to the American Mathematical Society in March 2023, and in 2024 their paper, “Five or Ten New Proofs of the Pythagorean Theorem”, led the American Mathematical Monthly.
Where this is used
Wherever a distance is worked out from how far across and how far up, the theorem is inside it: the distance formula of coordinate geometry is Pythagoras’ theorem with the two short sides read off the axes, and it is how a computer finds the distance between two points on a map or a screen.
Questions
A right triangle has short sides 8 cm and 15 cm. How long is its hypotenuse?
Pick an answer to see why.
Which of these sets of sides make a right triangle? 7, 24, 25; 6, 8, 9; 20, 21, 29.
Hint
Answer
A 13 m ladder leans on a wall with its foot 5 m from the wall. How high up the wall does it reach?
Hint
Answer
In Bhaskara’s five pieces for a triangle with short sides 5 and 12, what are the four triangles and the small square worth?
Pick an answer to see why.
A phone is sold as having a 6.5-inch screen. Its screen is 3 inches wide. About how tall is it?
Hint
Answer
Draw half circles on the three sides of a right triangle with sides 6, 8 and 10, outward. Show that the two smaller half circles together have the same area as the big one.
Hint
Answer
A box is 3 cm long, 4 cm wide and 12 cm tall. Will a pencil 13 cm long fit inside it, lying from one bottom corner to the opposite top corner?
Hint
Answer
Bhaskara’s rule in the Lilavati (§ 145) makes right triangles with whole-number sides: “Let twice the product of two assumed numbers be the upright; and the difference of their squares, the side: the sum of their squares will be the hypotenuse.” Try it with 1 and 2, and with 2 and 3, and check each answer with the theorem.
Hint
Answer
Where to go next
- Where Did the Missing Square Go? A picture “proof” that lies, and how to catch it.
- Who Is Telling the Truth? Logic and proof with puzzles: how to be sure of an answer without trying every case.
- Is a Pattern That Works Ten Times Always True? Why checking a rule many times, as Bibek did, is not a proof.
- What Is the Shortest Way to the River and Back? A distance puzzle solved with this topic’s triangles.
- How Do You Find Every Right Triangle with Whole Sides? (Grades 9–12) 3, 4, 5 and 20, 21, 29, and a recipe that makes them all.
- Can You Prove √2 Is Not a Fraction? (Grades 9–12) The diagonal of the Babylonians’ square, and why no fraction is exactly it.
- How Does a Calculator Find a Square Root? (Computing, Going Further, Grades 9–12) Every hypotenuse ends in one.
- Grade 10 Math uses the theorem everywhere: the slant height of a pyramid in Area and Volume, and heights and distances in Trigonometry.
Where these facts come from
- Bhaskara’s Bijaganita § 146 (the triangle 15, 20; “show the demonstration of the received mode of computation”; the proof by similar triangles, segments 9 and 16, perpendicular 12; the four triangles round a square of side 5, 600 + 25 = 625; the four triangles placed with “the hypotenuse … without”), Krishna’s note to it (no interior square when the sides are equal), § 147 and the line after it (“Placing the same portions of figure in another form, see”); the Lilavati §§ 134–135 (the rule and “Twice the product of two quantities…”), Ranganatha on the Sringara-tilaca denying “any proof of the rule besides experience”, § 145 (the rule for whole-number triangles), §§ 146, 148 and 153 (the triangles 3, 4, 5 and 5, 12, 13, the bamboo, the lotus, with Bhaskara’s answers): H. T. Colebrooke, Algebra, with Arithmetic and Mensuration, from the Sanscrit of Brahmegupta and Bhascara (London, 1817; public domain), Internet Archive, read October 2026.
- The “Behold!” story, Loomis’s warning (“hardly defensible” without the second figure), 370 proofs (109 algebraic, 255 geometric, 4 quaternionic, 2 dynamic) at the 2nd edition’s completion on 1 May 1940, “And the end is not yet”, the frame counted with algebra by Maurice Laisnez, a high-school boy of South Bend, Indiana (sent 16 May 1939), the Garfield demonstration of about 1876, “there are no trigonometric proofs” and why, “The Carpenter’s Theorem”: Elisha Scott Loomis, The Pythagorean Proposition, 2nd edition (1940; NCTM reissue 1968, ERIC ED037335), Internet Archive, read October 2026.
- Garfield’s proof, printed in the New-England Journal of Education (vol. 3, no. 14, 1 April 1876) while he was a congressman, President in 1881: Wikipedia, “Garfield’s proof of the Pythagorean theorem”, read October 2026.
- The rule in Babylon (Plimpton 322, YBC 7289), the Baudhayana and Apastamba Shulba Sutras, the Zhoubi Suanjing and the gougu rule, Pythagoras’s dates and Heath on the missing early attribution, Euclid I.47 and I.48, the proof by similar triangles “sometimes attributed to Albert Einstein”, similar figures on the sides, the theorem failing on a sphere (a triangle bounding an octant has three right angles): Wikipedia, “Pythagorean theorem”, read October 2026.
- YBC 7289’s numbers (1;24,51,10 ≈ 1.414213, off by less than one part in two million; 42;25,35 for side 30), the date 1800–1600 BC: Wikipedia, “YBC 7289”, read October 2026; the photo: Yale Peabody Museum (YPM BC 021354), CC0, on Wikimedia Commons.
- The Baudhayana Shulba Sutra’s rule in Sanskrit and its meaning, the rule for the diagonal of a square, that the Shulba Sutras mostly don’t contain proofs: Wikipedia, “Baudhayana sutras”, read October 2026 (the English here is our own).
- The Nine Chapters: dates (about 200 BC, or 100 BC to AD 50), Chapter 9’s 24 right-triangle problems and the gougu rule: MacTutor, “Nine chapters on the Mathematical Art”, read October 2026; the reed in the pond (10 square, 1 above, depth 12): ProofWiki, “Chiu Chang Suann Jing/Examples/Example 6”, read October 2026 (told here in our own words).
- Einstein’s boyhood proof (his uncle Jakob, an engineer, who told him of the theorem and set him problems, as his sister Maja and Reiser recalled; “for three weeks”, similarity of triangles by dropping a perpendicular to the hypotenuse, as Moszkowski reported it): Galina Weinstein, “Albert Einstein: Rebellious Wunderkind”, arXiv:1205.4509 (2012), read October 2026.
- Calcea Johnson and Ne’Kiya Jackson: the school contest’s bonus question, the American Mathematical Society’s Spring Southeastern Sectional Meeting in March 2023, five new proofs and a method giving five more, the lead article of the American Mathematical Monthly’s November 2024 issue: LSU College of Humanities & Social Sciences, “LSU’s Calcea Johnson Publishes Groundbreaking Research in The American Mathematical Monthly”, 31 October 2024, and the school’s name: Wikipedia, “St. Mary’s Academy (New Orleans)”, read October 2026; the paper’s title, volume 131, issue 9: Crossref record, doi:10.1080/00029890.2024.2370240, read October 2026 (the paper itself not opened); the contest begun in December 2022, “after months of work”, the conference in Atlanta, and Jason Zimba’s trigonometric proof of 2009: CBS News, 60 Minutes, “How two high school students solved a 2,000-year-old math puzzle”, 5 May 2024, read October 2026.
- Laying out a square corner with 9, 12 and 15 feet: Journal of Light Construction, “Snapping Layout Lines for Walls”, 3 May 2017, read October 2026.
- The ladder angle, “approximately one-quarter of the working length of the ladder”: OSHA, 29 CFR 1926.1053(b)(5)(i), read October 2026.
- Screens sized by their diagonal: Wikipedia, “Display size”, read October 2026.
- The meter first defined as one ten-millionth of the distance from the equator to the North Pole, so that quarter of the Earth is about 10,000 km: Wikipedia’s article on the meter, read October 2026.
- CDC’s Grade 7 experiment and its notation h² = p² + b²: Mathematics, Grade 7 (CDC), § 14.3, Pythagoras Theorem.
- Every number, area and answer in this topic (Bibek’s √61 and the 89.5° triangle, the frame’s areas for every slider setting, Bhaskara’s pieces for 15, 20 and the widget’s other triangles, that the two turned triangles land exactly in place, the pieces 1.8, 3.2, 2.4 and areas 2.16, 3.84, 6, the angles of 3, 4, 5 and 5, 6, 8, the lotus, bamboo and reed, the ladder, the screens, the half circles, the box and Bhaskara’s triangles) was computed in
checks/textbooks/math-further-6-8/18/tmp/pythagoras_numbers.py.
