← Back

Visual Proofs

Interactive geometric representations of famous theorems.

Visual Proofs & Wordless Theorems Handbook

Mathematical Principles & Theorems

Interactive visual and geometric proofs of seminal mathematical theorems: (1) Pythagorean Theorem \(a^2 + b^2 = c^2\) via Bhaskara square dissection \((a+b)^2 = 4(\frac{1}{2}ab) + c^2\); (2) Sum of Squares \(\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}\) via 3D staircase interlocking blocks; (3) Infinite Geometric Series \(\sum_{k=1}^\infty r^k = \frac{r}{1-r}\) via self-similar square tiling; (4) Euler's Identity \(e^{i\theta} = \cos\theta + i\sin\theta\) via circular unit rotation; (5) AM-GM Inequality \(\frac{a+b}{2} \ge \sqrt{ab}\) via semicircle geometric mean altitude.

Operating Instructions

  • Select a proof theorem: Pythagorean Theorem, Sum of Squares, Geometric Series, Euler's Formula, or AM-GM.
  • Adjust geometric parameters (\(a, b, n, r, \theta\)) using the precise numeric value boxes.
  • Click Play / Animate or drag step controls to observe visual rearrangements and geometric dissections.
  • Read the mathematical derivation cards explaining how the visual geometry rigorously proves the theorem.

Parameters

Proof by rearrangement: Place 4 congruent right triangles inside a square of side (a+b). The inner square (rotated) has side c. Area equation: (a+b)² = 4·(½ab) + c² ⟹ a²+b²=c². Over 370 proofs exist.
Visual proof: Three copies of the staircase (k² blocks at height k) fit together to form a rectangle of dimensions n × (n+1) × (2n+1)/6. Equivalently proven by induction or telescoping.
Visual proof (r=1/2): Divide unit square. First half = 1/2, half of remainder = 1/4, etc. After infinitely many steps, area = 1. S = 1/(1−r): multiply both sides by (1−r): S−rS = 1.
e^{iπ} + 1 = 0: At θ=π, point reaches (−1, 0i). Hence e^{iπ} = −1 ⟹ e^{iπ}+1=0. Connects e, π, i, 1, 0. Taylor series: e^{iθ} = Σ(iθ)ⁿ/n! = (1−θ²/2!+θ⁴/4!−...) + i(θ−θ³/3!+...) = cosθ + i sinθ.
Proof: The diameter of the circle = a+b. The height at the junction = √(ab) (geometric mean, by the altitude theorem). The radius = (a+b)/2 (arithmetic mean). Since radius ≥ height: AM ≥ GM. Equality iff a = b.