Mathwords logoMathwords

Pythagorean Theorem Proof — Definition, Formula & Examples

A Pythagorean Theorem proof is a logical argument that demonstrates why the square of the hypotenuse of a right triangle always equals the sum of the squares of the other two sides. Over 300 distinct proofs exist, ranging from geometric rearrangements to algebraic manipulations.

A proof of the Pythagorean Theorem establishes that for any triangle ABC\triangle ABC with a right angle at CC, the relation a2+b2=c2a^2 + b^2 = c^2 holds, where a=BCa = BC, b=ACb = AC, and c=ABc = AB is the hypotenuse. A valid proof derives this result from accepted axioms or previously proven theorems without circular reasoning.

Key Formula

a2+b2=c2a^2 + b^2 = c^2
Where:
  • aa = Length of one leg of the right triangle
  • bb = Length of the other leg of the right triangle
  • cc = Length of the hypotenuse (side opposite the right angle)

How It Works

The most accessible proof uses area rearrangement. You construct a large square with side length (a+b)(a + b) and arrange four identical right triangles (each with legs aa and bb) inside it in two different ways. In one arrangement, the uncovered area forms a single square of area c2c^2. In the other, it forms two smaller squares of areas a2a^2 and b2b^2. Since the total area and the area of the four triangles are the same in both cases, the uncovered regions must be equal, giving a2+b2=c2a^2 + b^2 = c^2. This proof requires only basic area formulas and no advanced mathematics.

Example

Problem: Prove that a² + b² = c² using the area-rearrangement method with a square of side (a + b).
Step 1: Build the outer square: Construct a square with side length (a + b). Its total area is:
(a+b)2=a2+2ab+b2(a + b)^2 = a^2 + 2ab + b^2
Step 2: Place four right triangles inside: Arrange four copies of the right triangle (legs a and b, hypotenuse c) inside the square so their hypotenuses form an inner tilted square. The area of each triangle is ½ab, so the four triangles together have area:
412ab=2ab4 \cdot \tfrac{1}{2}ab = 2ab
Step 3: Compute the inner square's area: The inner tilted square has side length c, so its area is c². The outer square equals the four triangles plus the inner square:
a2+2ab+b2=2ab+c2a^2 + 2ab + b^2 = 2ab + c^2
Step 4: Simplify: Subtract 2ab from both sides to isolate the key relationship:
a2+b2=c2a^2 + b^2 = c^2 \quad \blacksquare
Answer: The rearrangement proves a² + b² = c² for any right triangle.

Another Example

Problem: Verify the proof numerically: use a right triangle with legs 3 and 4 and confirm the hypotenuse is 5.
Step 1: Compute the outer square area: Side length is 3 + 4 = 7.
72=497^2 = 49
Step 2: Compute the four triangles' area: Each triangle has area ½(3)(4) = 6.
4×6=244 \times 6 = 24
Step 3: Find the inner square area: Subtract the triangles from the outer square.
4924=25=c249 - 24 = 25 = c^2
Step 4: Confirm: Check directly: 3² + 4² = 9 + 16 = 25 = 5². The numerical result matches the proof.
32+42=9+16=25=52  3^2 + 4^2 = 9 + 16 = 25 = 5^2 \; \checkmark
Answer: The 3-4-5 triangle confirms a² + b² = c², consistent with the geometric proof.

Why It Matters

Understanding the proof—not just the formula—is a core objective in high school geometry courses and appears on standardized tests like the SAT and ACT. Engineers and architects rely on the theorem constantly when calculating distances, slopes, and structural dimensions. Studying proofs also builds deductive reasoning skills that carry into every later math course, from trigonometry to linear algebra.

Common Mistakes

Mistake: Assuming the inner shape in the rearrangement is a square without justification.
Correction: You must verify that each interior angle of the tilted figure is 90°. Each angle sits between two complementary acute angles of the right triangles, and since those two angles sum to 90°, the remaining angle is 180° − 90° = 90°. All four sides are length c, so the figure is indeed a square.
Mistake: Applying the theorem to non-right triangles as if it still produces an equality.
Correction: The relation a² + b² = c² holds only when the angle opposite side c is exactly 90°. For obtuse triangles a² + b² < c², and for acute triangles a² + b² > c². The general version is the Law of Cosines.

Related Terms