Pythagoras theorem

Draw a right-angled triangle, build a square outward on each of its three sides, and something remarkable happens: the big square sitting on the hypotenuse has exactly the same area as the other two squares put together. That single fact — algebra hiding inside geometry — is Pythagoras theorem, and it is arguably the most-used result in all of school mathematics. It lets you find a missing side of a right triangle from the other two, check whether a triangle is right-angled at all using its converse, and it underpins mensuration problems for years afterwards: the diagonal of a rectangle, the height of an isosceles triangle, the distance between two points. This article builds the theorem from an area-based proof, works two numerical examples end to end, and flags the traps that lose the most marks.

The core insight

In a right triangle, the square of the hypotenuse equals the sum of the squares of the other two sides, a2+b2=c2a^2+b^2=c^2, and this follows from comparing areas of squares built on each side.

The core idea

The statement. Let △ABC\triangle ABC have a right angle at CC. Call the two sides meeting at CC the legs, and the side opposite CC — the longest side — the hypotenuse. Pythagoras theorem says

a2+b2=c2,a^2 + b^2 = c^2,

where: aa and bb are the lengths of the two legs and cc is the length of the hypotenuse.

The area picture. The same statement can be read as a fact about areas. If a square is drawn outward on each of the three sides, then

Area(square on hypotenuse)=Area(square on leg 1)+Area(square on leg 2).\text{Area(square on hypotenuse)} = \text{Area(square on leg 1)} + \text{Area(square on leg 2)}.

Squaring a length gives the area of a square with that length as its side, so the two readings — numbers squared, and areas of squares — are the same statement in different clothing. This is exactly why the ICSE syllabus insists on an area-based proof: it is not enough to just quote the formula, one should be able to see it in the picture below.

Figure
Right triangle with squares drawn outward on all three sides showing hypotenuse square area equals the sum of the two leg square areas
Squares on the three sides of a right triangle b a c C B A b squared a squared c squared green area equals blue area plus orange area

Converse. If a triangle's sides satisfy a2+b2=c2a^2+b^2=c^2 for its longest side cc, the angle opposite cc must be a right angle. This runs the theorem backwards and turns it into a test: given three lengths, square the longest and compare it with the sum of the squares of the other two.

Derivation AArea-based proof of Pythagoras theorem

The goal is to show, using only the triangle-area theorems already known from the ICSE syllabus (triangles on the same base between the same parallels have equal area, and a triangle's area is half that of a parallelogram on the same base between the same parallels), that the square drawn outward on the hypotenuse of a right triangle has the same area as the two squares drawn outward on the legs combined, without assuming any trigonometry or coordinate algebra.

Step 1. Set up the figure. Let △ABC\triangle ABC have its right angle at CC. Draw squares outward on all three sides: square BCEDBCED on leg BCBC, square ACFGACFG on leg ACAC, and square ABMLABML on hypotenuse ABAB. From CC, drop the altitude to ABAB, meeting it at NN, and extend CNCN to meet LMLM at a point PP. This line splits the hypotenuse-square ABMLABML into two rectangles: ANPLANPL (nearer AA) and NBMPNBMP (nearer BB).

Step 2. Compare the rectangle near AA with the square on ACAC. Consider triangles ACLACL and ABGABG. Both sit on sides of equal length coming out of the square on ACAC and the square on ABAB respectively, and a careful angle-chase (using that ∠CAB\angle CAB and ∠GAL\angle GAL are both right angles plus a shared angle) shows △ACL≅△AGB\triangle ACL \cong \triangle AGB by SAS, so they have equal area. But △ACL\triangle ACL has the same area as half of rectangle ANPLANPL (same base ALAL, between the same parallels), and △AGB\triangle AGB has the same area as half of square ACFGACFG (same base AGAG, between the same parallels). Doubling both equal halves gives Area(ANPL)=Area(ACFG)\text{Area}(ANPL) = \text{Area}(ACFG), that is, the rectangle near AA equals the square on leg ACAC.

Step 3. Repeat the same argument on the other side, comparing rectangle NBMPNBMP with the square on leg BCBC using triangles BCDBCD and BAEBAE; congruence again gives Area(NBMP)=Area(BCED)\text{Area}(NBMP) = \text{Area}(BCED), the rectangle near BB equals the square on leg BCBC.

Step 4. Add the two rectangle areas. Since the two rectangles together make up the whole square on the hypotenuse, Area(ANPL)+Area(NBMP)=Area(ABML)\text{Area}(ANPL) + \text{Area}(NBMP) = \text{Area}(ABML). Substituting Step 2 and Step 3, Area(ACFG)+Area(BCED)=Area(ABML)\text{Area}(ACFG) + \text{Area}(BCED) = \text{Area}(ABML), which is exactly AC2+BC2=AB2AC^2 + BC^2 = AB^2, or in the usual letters a2+b2=c2a^2+b^2=c^2. No coordinates, no trigonometry — only area theorems already available at this stage were used.

Worked example

A right-angled triangle has legs 9 cm9\text{ cm} and 12 cm12\text{ cm}. Find its hypotenuse, and then check separately whether a second triangle with sides 7 cm7\text{ cm}, 24 cm24\text{ cm} and 25 cm25\text{ cm} is right-angled.

Step 1. Apply the theorem to the first triangle. With legs a=9a=9 and b=12b=12, the hypotenuse cc satisfies c2=a2+b2=92+122=81+144=225c^2 = a^2+b^2 = 9^2+12^2 = 81+144=225.

Step 2. Take the square root: c=225=15 cmc=\sqrt{225}=15\text{ cm}. This is the 99–1212–1515 triple, a scaled copy of the basic 33–44–55 triple (multiply every side by 33); any such scaled copy of a Pythagorean triple automatically satisfies a2+b2=c2a^2+b^2=c^2 again.

Step 3. Now test the second triangle with the converse. Its longest side is 25 cm25\text{ cm}, so check whether 25225^2 equals the sum of the squares of the other two sides: 72+242=49+576=6257^2+24^2 = 49+576=625, and 252=62525^2=625 too.

Step 4. Since 72+242=2527^2+24^2=25^2, the converse of Pythagoras theorem confirms the second triangle is right-angled, with the right angle opposite the 25 cm25\text{ cm} side — that is, at the vertex between the sides of length 7 cm7\text{ cm} and 24 cm24\text{ cm}. Final answers: hypotenuse =15 cm=15\text{ cm} for the first triangle; the second triangle is right-angled, confirmed by the converse.

Competitive stretch

If instead the hypotenuse (15 cm15\text{ cm}) and one leg (9 cm9\text{ cm}) of the first triangle were given, the missing leg follows by rearranging: a2=c2−b2=152−92=225−81=144a^2=c^2-b^2 = 15^2-9^2=225-81=144, so a=144=12 cma=\sqrt{144}=12\text{ cm} — matching the original data and showing the theorem works equally well to recover either a leg or the hypotenuse.

Common traps

  • Squaring the wrong side as the hypotenuse. The hypotenuse is always opposite the right angle (and the longest side); plugging a leg into the "c2c^2" slot gives a wrong equation.
  • Adding lengths instead of squares. Pythagoras theorem relates squares of lengths, not the lengths themselves; a+b≠ca+b \ne c in general.
  • Forgetting the final square root. Solving for c2c^2 is not the answer — the length needs c2\sqrt{c^2}.
  • Testing the wrong pair with the converse. Always square the largest of the three given sides and compare it with the sum of squares of the other two; testing a different pair gives a false negative.

Ask the tutor: Want the full area-rearrangement proof walked through step by step with a hands-on diagram, or more practice problems mixing the theorem and its converse? Ask the AI tutor.

Why does squaring the sides matter — why not just add the two legs to get the hypotenuse?

Because the relationship is genuinely about areas, not lengths. Picture the squares drawn outward on the three sides: the theorem says the area of the hypotenuse-square equals the combined area of the two leg-squares, and area scales with the square of a length, not the length itself. Try it numerically with legs 9 and 12: adding gives 21, but the true hypotenuse is 15, since 92+122=225=1529^2+12^2=225=15^2. Only the squared version balances.

How do I quickly tell if three given numbers can be the sides of a right triangle without drawing anything

Square all three numbers, then check whether the square of the largest equals the sum of the squares of the other two. For 7, 24, 25: 72+242=49+576=6257^2+24^2=49+576=625, and 252=62525^2=625, so yes. For 7, 10, 13: 72+102=49+100=1497^2+10^2=49+100=149, but 132=16913^2=169, so no — this triangle is not right-angled. This converse test is exactly Pythagoras theorem run backwards, and it needs no diagram at all.

Is it worth memorising triples like 3-4-5 and 5-12-13, or should I always calculate from scratch

Both skills matter, but memorising a handful of small triples (3–4–5, 5–12–13, 7–24–25, and their multiples like 6–8–10 or 9–12–15) is a genuine time-saver, since these appear constantly in exam questions and mental recognition is faster than squaring and adding under time pressure. That said, always be ready to calculate from scratch for numbers that are not a known triple — most right triangles in real problems will not have neat integer sides, and c=a2+b2c=\sqrt{a^2+b^2} then gives an irrational answer, which is perfectly normal.

Before this

Where this leads