Pythagorean theorem

From TCS Wiki
Jump to navigation Jump to search
File:Pythagorean.svg

In mathematics, the Pythagorean theorem or Pythagoras's theorem is a statement about the sides of a right triangle.

One of the angles of a right triangle is always equal to 90 degrees. This angle is the right angle. The two sides next to the right angle are called the legs and the other side is called the hypotenuse. The hypotenuse is the side opposite to the right angle, and it is always the longest side.

The Pythagorean theorem says that the area of a square on the hypotenuse is equal to the sum of the areas of the squares on the legs. In this picture, the area of the blue square added to the area of the red square makes the area of the purple square. It was named after the Greek mathematician Pythagoras:

If the lengths of the legs are a and b, and the length of the hypotenuse is c, then, [math]\displaystyle{ a^2+b^2=c^2 }[/math].

There are many different proofs of this theorem. They fall into four categories:

  1. Those based on linear relations: the algebraic proofs.
  2. Those based upon comparison of areas: the geometric proofs.
  3. Those based upon the vector operation.
  4. Those based on mass and velocity: the dynamic proofs.[1]

Proof

File:Pyth eudoxus.jpg

One proof of the Pythagorean theorem was found by a Greek mathematician, Eudoxus of Cnidus.

The proof uses three lemma (mathematics):

  1. Triangles with the same base and height have the same area.
  2. A triangle which has the same base and height as a side of a square has the same area as a half of the square.
  3. Triangles with two congruent sides and one congruent angle are congruent and have the same area.

The proof is:

  1. The Template:Fontcolor triangle has the same area as the Template:Fontcolor triangle, because it has the same base and height (lemma 1).
  2. Template:Fontcolor and Template:Fontcolor triangles both have two sides equal to sides of the same squares, and an angle equal to a straight angle (an angle of 90 degrees) plus an angle of a triangle, so they are congruent and have the same area (lemma 3).
  3. Template:Fontcolor and Template:Fontcolor triangles' areas are equal because they have the same heights and bases (lemma 1).
  4. Template:Fontcolor triangle's area equals area of Template:Fontcolor triangle's area, because
[math]\displaystyle{ {\color{blue}A_{blue}}={\color{green}A_{green}}={\color{red}A_{red}}={\color{yellow}A_{yellow}} }[/math]
  1. The Template:Fontcolor triangles have the same area for the same reasons.
  2. Template:Fontcolor and Template:Fontcolor each have a half of the area of a smaller square. The sum of their areas equals half of the area of the bigger square. Because of this, halves of the areas of small squares are the same as a half of the area of the bigger square, so their area is the same as the area of the bigger square.

Proof using similar triangles

File:Teorema.png

We can get another proof of the Pythagorean theorem by using similar triangles.

[math]\displaystyle{ \frac{d}{a} = \frac{a}{c} \quad \Rightarrow \quad d = \frac{a^2}{c}\quad (1) }[/math]

From the image, we know that [math]\displaystyle{ c = d + e \,\! }[/math]. And by replacing equations (1) and (2):

[math]\displaystyle{ c = \frac{a^2}{c} + \frac{b^2}{c} }[/math]

Multiplying by c:

[math]\displaystyle{ c^2 = a^2 + b^2 \,\!. }[/math]

Pythagorean Triples

Pythagorean Triples or Triplets are three whole numbers which fit the equation [math]\displaystyle{ a^2+b^2=c^2 }[/math].

The triangle with sides of 3, 4, and 5 is a well known example. If a=3 and b=4, then [math]\displaystyle{ 3^2+4^2=5^2 }[/math] because [math]\displaystyle{ 9+16=25 }[/math]. This can also be shown as [math]\displaystyle{ \sqrt{3^2+4^2}=5. }[/math]

The three-four-five triangle works for all multiples of 3, 4, and 5. In other words, numbers such as 6, 8, 10 or 30, 40 and 50 are also Pythagorean triples. Another example of a triple is the 12-5-13 triangle, because [math]\displaystyle{ \sqrt{12^2+5^2}=13 }[/math]

References

Template:Reflist

  1. Loomis, Elisha S. 1927. The Pythagorean proposition: its proofs analysed and classified and bibliography of sources. Cleveland, Ohio.