Skip to Calculator
Pythagoras²Equation Solver
Proofs & Theory

4 Beautiful Proofs of the Pythagorean Theorem: Geometric, Algebraic, Garfield & Euclid

Explore the most famous mathematical proofs of a² + b² = c², including President James A. Garfield's trapezoid proof, Euclid's Windmill, and geometric rearrangement.

Pythagoras Research Team15 de janeiro de 20267 min read

The Pythagorean Theorem is arguably the most widely known and verified mathematical principle in human history. Stated formally:

In any right-angled triangle, the area of the square whose side is the hypotenuse (c) is equal to the sum of the areas of the squares on the other two legs (a and b):

a² + b² = c²

While Pythagoras of Samos (c. 570 – 495 BC) is credited with its classical attribution in Western mathematics, evidence shows ancient Babylonian, Indian, and Chinese mathematicians understood these numerical ratios centuries earlier.

Today, over 370 distinct proofs of the theorem have been documented. Below are the four most elegant and instructive proofs.


Proof 1: Geometric Rearrangement (The Visual Proof)

Consider a large outer square with side length (a + b). Its total area is:

Area_outer = (a + b)² = a² + 2ab + b²

Now, arrange four identical copies of our right triangle (with legs a and b and hypotenuse c) along the inside perimeter of the square:

  1. Each right triangle has area: Area_triangle = ½ · a · b
  2. The four triangles together consume: 4 × (½ · a · b) = 2ab
  3. The remaining unshaded region in the center forms an interior square tilted at an angle, with sides of length c. Its area is: Area_inner = c²

Since the total area is the sum of the interior square and the four triangles:

(a + b)² = c² + 4 × (½ · a · b)

Expanding the left side algebraically:

a² + 2ab + b² = c² + 2ab

Subtracting 2ab from both sides leaves:

a² + b² = c²  ■

Proof 2: President James A. Garfield’s Trapezoid Proof (1876)

In 1876, before becoming the 20th President of the United States, James A. Garfield published an exceptionally clever proof while serving in the U.S. House of Representatives. It was published in the New England Journal of Education.

Garfield’s idea was to construct a right trapezoid using two congruent right triangles placed end-to-end along a straight baseline, connected by a third isosceles right triangle.

1. The Structure:

  • Triangle 1 has base b and height a.
  • Triangle 2 has base a and height b.
  • The two hypotenuses (each of length c) meet at a right angle, creating a third triangle with area ½ · c².
  • The overall figure is a trapezoid with parallel vertical bases of lengths a and b, and height (a + b).

2. Area of the Trapezoid via the Standard Formula:

Area = [(base₁ + base₂) / 2] × height = [(a + b) / 2] × (a + b) = (a + b)² / 2

3. Area by Summing the Three Constituent Triangles:

Area = (½ · a · b) + (½ · a · b) + (½ · c²) = ab + ½ · c²

4. Setting the Two Area Expressions Equal:

(a + b)² / 2 = ab + ½ · c²

Multiply both sides by 2:

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

Expand:

a² + 2ab + b² = 2ab + c²

Subtract 2ab:

a² + b² = c²  ■

Proof 3: Similar Triangles Proof (Einstein’s Favorite)

Albert Einstein reportedly proved the theorem independently at age 12 by using the concept of similar right triangles.

  1. Start with right triangle ABC where angle C = 90°.
  2. Drop an altitude h from vertex C perpendicular to hypotenuse c, meeting c at point D.
  3. This altitude splits triangle ABC into two smaller right triangles: ACD and CBD.
  4. Both smaller triangles share an acute angle with the parent triangle, making all three triangles mutually similar: △ABC ~ △ACD ~ △CBD

Using the ratio of corresponding sides:

  • In △ACD and △ABC: AD / a = a / c ⇒ a² = c · AD
  • In △CBD and △ABC: DB / b = b / c ⇒ b² = c · DB

Now, sum both equations:

a² + b² = (c · AD) + (c · DB) = c · (AD + DB)

Since AD + DB equals the entire hypotenuse c:

a² + b² = c · c = c²  ■

Proof 4: Euclid’s Elements (Proposition I.47 – “The Windmill”)

In Book I, Proposition 47 of Euclid’s Elements, Euclid presented the classical geometric proof known historically as the Windmill or the Bride’s Chair.

Euclid constructs literal square figures on each side of △ABC:

  • Square on side a: BCED
  • Square on side b: ACFG
  • Square on side c: ABHI

By drawing auxiliary lines connecting opposite vertices and dropping an altitude through C down to divide the hypotenuse square into two rectangles, Euclid uses side-angle-side congruence to prove:

  1. The area of the left rectangle under the hypotenuse square equals the area of the square on leg a.
  2. The area of the right rectangle under the hypotenuse square equals the area of the square on leg b.

Since the two rectangles together form the entire square of side c:

Area(ABHI) = Area(BCED) + Area(ACFG)
c² = a² + b²  ■

Interactive Verification

Want to test these mathematical proofs with exact numbers and step-by-step radical simplification? Try our free Right Triangle Solver or explore whole-number Pythagorean Triples.