Euclidean Geometry Revisited - Key Proof

ProofProof of the Pythagorean Theorem (Euclid's Proof)

Theorem: In a right triangle with legs $a$ and $b$ and hypotenuse $c$ , we have $a^2 + b^2 = c^2$ .

Proof (Euclid, Elements Book I, Proposition 47):

Consider a right triangle $\triangle ABC$ with right angle at $C$ . We construct squares on each of the three sides:

Square $BCED$ on leg $BC$ (side length $a$ )
Square $ACFG$ on leg $AC$ (side length $b$ )
Square $ABHI$ on hypotenuse $AB$ (side length $c$ )

The proof proceeds by showing that the area of square $ABHI$ equals the sum of areas of squares $BCED$ and $ACFG$ .

Step 1: Draw the altitude from $C$ to $AB$ , meeting $AB$ at point $J$ . Extend this line to meet $HI$ at point $K$ .

Step 2: We prove that rectangle $AJKH$ has the same area as square $ACFG$ :

Triangles $\triangle BAF$ and $\triangle BAC$ have the same area (same base $AB$ , equal heights)
Triangle $\triangle BAF$ has area equal to half of square $ACFG$ (base $AF = b$ , height $b$ )
Triangle $\triangle BAC$ has area equal to half of rectangle $AJKH$
Therefore, area of square $ACFG$ equals area of rectangle $AJKH$ : $b^2$

Step 3: By a symmetric argument, rectangle $JBIK$ has area equal to square $BCED$ : $a^2$

Step 4: Since rectangles $AJKH$ and $JBIK$ together form square $ABHI$ :

c^2 = \text{Area}(ABHI) = \text{Area}(AJKH) + \text{Area}(JBIK) = b^2 + a^2

Therefore, $a^2 + b^2 = c^2$ . ∎

■

Euclid's proof is remarkably elegant, using only the basic properties of areas and congruent triangles. The construction reveals the geometric meaning of the theorem: the squares on the legs literally tile to form the square on the hypotenuse.

Remark

Over 400 proofs of the Pythagorean theorem have been catalogued. Some notable approaches include:

Similar triangles: The altitude to the hypotenuse creates two triangles similar to the original, leading to $a^2 = c \cdot m$ and $b^2 = c \cdot n$ where $m + n = c$ .
Algebraic proof: Place the triangle in a coordinate system with the right angle at the origin, then use the distance formula.
Dissection proofs: Various ways of cutting and rearranging the squares to show equality.
Chinese proof (Zhou Bi Suan Jing, c. 200 BCE): Place four copies of the triangle around a square to form a larger square.

The converse is also true and important: if $a^2 + b^2 = c^2$ for the sides of a triangle, then the triangle is right-angled. This gives a practical method for constructing right angles: any triangle with sides in the ratio 3:4:5 (or any multiple) must be right-angled.

ExampleGeneralization to Higher Dimensions

The Pythagorean theorem extends to $n$ dimensions. If vectors $\mathbf{v}_1, \ldots, \mathbf{v}_n$ are orthogonal in $\mathbb{R}^n$ , then:

\left\| \sum_{i=1}^n \mathbf{v}_i \right\|^2 = \sum_{i=1}^n \|\mathbf{v}_i\|^2

This is the parallelotope identity for orthogonal vectors. It underlies the definition of orthonormal bases and the structure of inner product spaces.

The theorem's importance extends far beyond geometry. In physics, it relates components of vectors and tensors. In probability theory, it appears in the law of large numbers (independence corresponds to orthogonality). In Fourier analysis, Parseval's identity is a generalized Pythagorean theorem for infinite-dimensional spaces.

The Pythagorean theorem characterizes Euclidean geometry: it holds in Euclidean space and fails in non-Euclidean geometries. In hyperbolic space, $a^2 + b^2 > c^2$ ; in spherical geometry, $a^2 + b^2 < c^2$ (for small triangles). This makes it a touchstone for distinguishing geometric models.