# Pythagorean theorem

Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

This editable Main Article is under development and subject to a disclaimer.
The Pythagorean theorem: The sum of the areas of the two squares on the legs (the sides that meet at a right angle) equals the area of the square on the hypotenuse (the side opposite the right angle).

In Euclidean geometry, the Pythagorean theorem states that:

The sum of the areas of the squares on the legs of a right triangle is equal to the area of the square on the hypotenuse.

The "legs" are the two sides of the triangle that meet at a right angle. The hypotenuse is the other side—the side opposite the right angle.

The Pythagorean theorem is commonly known by its algebraic notation:

${\displaystyle a^{2}+b^{2}=c^{2}\,}$

where a and b denote the lengths of the two legs of the right triangle and c is the length of the hypotenuse.

### Proof of the Pythagorean theorem

There are many proofs of the Pythagorean theorem. The following one, which depends on the properties of similar triangles, is one of the shortest. It is already implicit in Book X of Euclid's Elements.

A right triangle with the line from the right angle perpendicular to the hypothenuse.

Take a right triangle with legs of length a and b and hypotenuse of length c. Draw a line from the right angle perpendicular to the hypotenuse as pictured. This line divides the hypotenuse into two segments. Suppose one of them has length d, then the other one has length cd.

This line divides the triangle into two smaller triangles, both of which are similar to the original triangle. (This is evident by the fact that both of these new triangles are right triangles and share a second angle with the original triangle.) Because these triangles are similar to the original triangle, the following proportions hold:

${\displaystyle {\frac {a}{c}}={\frac {d}{a}}\quad {\text{and}}\quad {\frac {b}{c}}={\frac {c-d}{b}}}$

Cross multiplying both equations gives:

${\displaystyle a^{2}=cd\,}$

and

${\displaystyle b^{2}=c(c-d)\quad {\text{or}}\quad b^{2}=c^{2}-cd}$

${\displaystyle a^{2}+b^{2}=c^{2}\,}$