Goal
See why for a right triangle with legs a and b and hypotenuse c we have a^2 + b^2 = c^2, using a visual rearrangement (the kind in Roger B. Nelsen's Proofs Without Words). This is a geometric, nearly picture-only proof you can understand step by step.
What you need
- A right triangle with legs a and b and hypotenuse c (so the triangle's side lengths are a, b, c).
- Four copies of that triangle (all congruent) and two squares of side lengths a and b, or equivalently one square of side c.
Step-by-step visual argument
- Start with one big square whose side is c. Inside the big square place four identical right triangles (each with legs a and b and hypotenuse c) so that their hypotenuses lie along the square's sides. If you place them symmetrically, they form a smaller central square whose side length equals |a - b| or, in the usual arrangement, a square of side (b - a) if b > a. But there is an even more useful arrangement below.
- Now look at the area of the big square in two different ways:
- By side length: area = c^2.
- As a union of parts: the four triangles plus the central piece. Each triangle has area (1/2)ab, so four triangles have area 4 * (1/2)ab = 2ab. The remaining central piece (in the standard arrangement) is a square whose side is (b - a), so its area is (b - a)^2.
- Expand (b - a)^2 = b^2 - 2ab + a^2. Plugging in: c^2 = 2ab + (b^2 - 2ab + a^2) = a^2 + b^2. That gives the Pythagorean identity c^2 = a^2 + b^2.
Why this is a "proof without words"
Roger B. Nelsen and others make these proofs mostly graphical: the picture of the big square tiled by triangles and a central square already suggests the two ways to compute area. The arithmetic (expanding (b - a)^2) is tiny; most of the idea is visible in the figure.
Simple ASCII-style diagram (sketch)
Imagine a big square of side c. Place the four right triangles in the corners with their right angles pointing inward, so their legs line the edges of the big square. The triangles leave a centered small square. +---------------------------+ | \ /\ /\ /\ /\ | | \ / \ / \ / \ / | | X X X X | <-- central small square (side = |b-a| in this arrangement) | / \ / \ / \ / \ | | / \/ \/ \/ \ | +---------------------------+ Area(big) = c^2 = area(4 triangles) + area(center square) = 4*(1/2 ab) + (b-a)^2 = a^2 + b^2.
Connection to chess
Chessboards make it easy to think about squares and counting. For example, the number of squares in an 8×8 chessboard is 1^2 + 2^2 + 3^2 + ... + 8^2 = 204. That sum-of-squares idea reminds you that "square of a length" counts area. The Pythagorean theorem is about how areas of squares built on triangle sides relate to each other.
Connection to game theory and chess strategy
- Chess is a two-player, perfect-information, zero-sum game. Game theory studies optimal strategies, evaluation of positions, and search (minimax, alpha-beta pruning). That thinking is more algorithmic and decision-focused than geometric proofs, but both use careful, logical steps: build a model, analyze possibilities, and justify a conclusion.
- Visual proofs (like this one) are like chess pattern recognition: you learn to spot a shape or configuration and immediately know a consequence. In chess, seeing a tactical motif (fork, pin) gives you a quick, nearly visual reason to make a move; in geometry, a particular tiling or partition can instantly show an identity like a^2 + b^2 = c^2.
- Be careful: combinatorial game theory (Sprague–Grundy theory) applies to impartial games (like Nim), not directly to chess. Chess is partisan (players have different moves) and much more complex, but the rigorous, mathematical approach to both games and proofs is similar: break the problem into cases, use invariants, count or compare areas/values, and reason step by step.
Try this yourself (exercise)
- Draw a right triangle and copy four of them. Arrange them inside a square of side c so their hypotenuses lie along the outer edges. Shade the center. Compute areas the two ways and verify the algebra.
- On a chessboard, count all the squares (1×1, 2×2, …). Notice you are summing squares — like a^2 + b^2 + ... — and think about how counting area with squares relates to algebraic identities.
Further reading
Look up Roger B. Nelsen's book Proofs Without Words (and Proofs Without Words II) for many elegant pictures. For game theory basics and chess algorithms, search for minimax and alpha-beta pruning and for combinatorial game theory (e.g., "Winning Ways" and Sprague–Grundy) to see how rigorous mathematical thinking applies to games.
If you want, I can draw a clear labeled diagram step-by-step or give a short animation idea so you can make it physically (cut out four triangles and rearrange them) — which often makes the proof feel obvious.