Pythagorean theorem

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&mdash;the side opposite the right angle.

The Pythagorean theorem is commonly known by its algebraic notation:


 * $$ 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.

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 c – d.

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:


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

Cross multiplying both equations gives:


 * $$ a^2 = cd \, $$

and


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

Adding both equations gives


 * $$ a^2 + b^2 = c^2 \, $$

which completes the proof.