TOPICS  
Search

Pythagorean Theorem


DOWNLOAD Mathematica NotebookDownload  Wolfram Notebook

PythagoreanTheoremFigure
For a right triangle with legs aand band hypotenuse c,

a^2+b^2=c^2.
(1)


Many different proofs exist for this most fundamental of all geometric theorems. The theorem can also be generalized from a plane triangle  to a trirectangular tetrahedron, in  which case it is known as de Gua's theorem. The  various proofs of the Pythagorean theorem all seem to require application of some  version or consequence of the parallel postulate:  proofs by dissection rely on the complementarity of the acute angles of the right  triangle, proofs by shearing rely on explicit constructions of parallelograms, proofs  by similarity require the existence of non-congruent similar triangles, and so on  (S. Brodie). Based on this observation, S. Brodie has shown that the parallel postulate is equivalent to the Pythagorean  theorem.

After receiving his brains from the wizard in the 1939 film The Wizard of Oz, the Scarecrow recites the following mangled (and incorrect) form of the Pythagorean  theorem, "The sum of the square roots of any two sides of an isosceles  triangle is equal to the square root of the remaining side." In the fifth  season of the television program The Simpsons, Homer J. Simpson repeats  the Scarecrow's line (Pickover 2002, p. 341). In the Season 2 episode "Obsession"  (2006) of the television crime drama NUMB3RS,  Charlie's equations while discussing a basketball hoop include the formula for the  Pythagorean theorem.
PythagThDissec
A clever proof by dissection which reassembles two small squares into one larger one was given by the Arabian mathematician Thabit ibn  Kurrah (Ogilvy 1994, Frederickson 1997).

PythagoreanThPerigalPythagoreanTheoremTri


Another proof by dissection is due to Perigal (left figure; Pergial 1873; Dudeney 1958; Madachy 1979; Steinhaus 1999, pp. 4-5; Ball  and Coxeter 1987). A related proof is accomplished using the above figure at right,  in which the area of the large square  is four times the area of one of the triangles  plus the area of the interior square.  From the figure, d=b-a,  so

A=4(1/2ab)+d^2
(2)
=2ab+(b-a)^2
(3)
=2ab+b^2-2ab+a^2
(4)
=a^2+b^2
(5)
=c^2.
(6)

PythagThBhaskra
The Indian mathematician Bhaskara constructed a proof using the above figure, and another beautiful dissection proof is shown below (Gardner 1984, p. 154). 
PythagThTriBox
c^2+4(1/2ab)=(a+b)^2
(7)


c^2+2ab=a^2+2ab+b^2
(8)


c^2=a^2+b^2.
(9)

PythagoreanTheoremShear
Several beautiful and intuitive proofs by shearing exist (Gardner 1984, pp. 155-156; Project Mathematics!).

Perhaps the most famous proof of all times is Euclid's geometric proof (Tropfke 1921ab; Tietze 1965, p. 19), although it is neither the simplest nor the most obvious. Euclid's proof used the figure below, which is sometimes known variously as the bride's chair, peacock tail, or windmill. The philosopher Schopenhauer has described this proof as a "brilliant piece of perversity" (Schopenhauer 1977; Gardner 1984, p. 153).
PythagoreanTheorem
Let DeltaABC be a right triangle,  square CAFG,  square CBKH, and  square ABEDbe squares, and CL∥BE. The triangles DeltaFABand DeltaCADare equivalent except for rotation, so

2DeltaFAB=2DeltaCAD.
(10)


Shearing these triangles gives two more equivalent triangles

2DeltaCAD=ADLM.
(11)


Therefore,

square ACGF=ADLM.
(12)


Similarly,

square BC=2DeltaABK=2DeltaBCE=BL
(13)


so
a^2+b^2=cx+c(c-x)=c^2.
(14)


Heron proved that AK,  CL,  and BFintersect in a point (Dunham 1990, pp. 48-53).

Heron's formula for the area of the triangle, contains the Pythagorean theorem implicitly.  Using the form

K=1/4sqrt(2a^2b^2+2a^2c^2+2b^2c^2-(a^4+b^4+c^4))
(15)


and equating to the area

K=1/2ab
(16)


gives

1/4a^2b^2=1/(16)[2a^2b^2+2a^2c^2+2b^2c^2-(a^4+b^4+c^4)].
(17)


Rearranging and simplifying gives

a^2+b^2=c^2,
(18)


the Pythagorean theorem, where Kis the area of a triangle  with sides a,  b,  and c (Dunham 1990, pp. 128-129).
PythagoreanTheoremTrap
A novel proof using a trapezoid was discovered by James Garfield (1876), later president of the United States, while serving in the House  of Representatives (Gardner 1984, pp. 155 and 161; Pappas 1989, pp. 200-201;  Bogomolny).

A_(trapezoid)=1/2sum[bases] ·[altitude]
(19)
=1/2(a+b)(a+b)
(20)
=1/2ab+1/2ab+1/2c^2.
(21)


Rearranging,

1/2(a^2+2ab+b^2)=ab+1/2c^2
(22)


a^2+2ab+b^2=2ab+c^2
(23)


a^2+b^2=c^2.
(24)


An algebraic proof (which would not have been accepted by the Greeks) uses the Euler formula. Let the sides of a trianglebea,  b,  and c,  and the perpendicular legs of right  triangle be aligned along the real and imaginary axes. Then

a+bi=ce^(itheta).
(25)


Taking the complex conjugate gives

a-bi=ce^(-itheta).
(26)


Multiplying (25) by (26) gives

a^2+b^2=c^2
(27)


(Machover 1996).
PythagoreanTheoremSim
Another algebraic proof proceeds by similarity. It is a property of right triangles, such as the one shown in the above left figure, that the right  triangle with sides x, a, and d(small triangle in the left figure; reproduced in the right  figure) is similar to the right triangle with sides  d,  b,  and y (large triangle in the left figure; reproduced in the middle figure). Letting c=x+yin the above left figure then gives

x/a=a/c
(28)
y/b=b/c
(29)


so
a^2=cx
(30)
b^2=cy
(31)


and

a^2+b^2=c(x+y)=c^2
(32)


(Gardner 1984, p. 155 and 157). Because this proof depends on proportions of potentially irrational numbers and cannot be  translated directly into a geometric construction,  it was not considered valid by Euclid.


See also

Bride's Chair, de Gua's Theorem, Law of Cosines, Peacock  Tail, Pythagoras's Theorem, Pythagorean  Triple, Right Triangle, Windmill Explore this  topic in the MathWorld classroom

Explore with Wolfram|Alpha



WolframAlpha
 


More things to try:


● pythagorean theorem

●675 & 0x00ff
●expand sin(x+y+z)
  

References

Ball, W. W. R. and Coxeter, H. S. M. Mathematical  Recreations and Essays, 13th ed. New York: Dover, pp. 87-88, 1987.Bogomolny,  A. "Pythagorean Theorem." http://www.cut-the-knot.org/pythagoras/index.shtml.Brodie,  S. E. "The Pythagorean Theorem Is Equivalent to the Parallel Postulate."  http://cut-the-knot.org/triangle/pythpar/PTimpliesPP.html.Dixon,  R. "The Theorem of Pythagoras." §4.1 in Mathographics.  New York: Dover, pp. 92-95, 1991.Dudeney, H. E. Amusements  in Mathematics. New York: Dover, p. 32, 1958.Dunham, W.  "Euclid's Proof of the Pythagorean Theorem." Ch. 2 in Journey  through Genius: The Great Theorems of Mathematics. New York: Wiley, 1990.Frederickson,  G. Dissections:  Plane and Fancy. New York: Cambridge University Press, pp. 28-29, 1997.Friedrichs,  K. O. From  Pythagoras to Einstein. Washington, DC: Math. Assoc. Amer., 1965.Gardner,  M. "The Pythagorean Theorem." Ch. 16 in The  Sixth Book of Mathematical Games from Scientific American. Chicago, IL: University  of Chicago Press, pp. 152-162, 1984.Garfield, J. A. "Pons  Asinorum." New England J. Educ. 3, 161, 1876.Kern,  W. F. and Bland, J. R. Solid  Mensuration with Proofs, 2nd ed. New York: Wiley, p. 3, 1948.Loomis,  E. S. The  Pythagorean Proposition: Its Demonstrations Analyzed and Classified and Bibliography  of Sources for Data of the Four Kinds of "Proofs," 2nd ed. Reston,  VA: National Council of Teachers of Mathematics, 1968.Machover, M. "Euler's  Theorem Implies the Pythagorean Proposition." Amer. Math. Monthly 103,  351, 1996.Madachy, J. S. Madachy's  Mathematical Recreations. New York: Dover, p. 17, 1979.Ogilvy,  C. S. Excursions  in Mathematics. New York: Dover, p. 52, 1994.Pappas, T.  "The Pythagorean Theorem," "A Twist to the Pythagorean Theorem,"  and "The Pythagorean Theorem and President Garfield." The  Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp. 4, 30,  and 200-201, 1989.Parthasarathy, K. R. "Ann-Dimensional Pythagoras Theorem." Math. Scientist 3,  137-140, 1978.Perigal, H. "On Geometric Dissections and Transformations."  Messenger Math. 2, 103-106, 1873.Pickover, C. A.  "The Scarecrow Formula." Ch. 103 in The  Mathematics of Oz: Mental Gymnastics from Beyond the Edge. New York: Cambridge  University Press, pp. 217-218 and 341, 2002.Project Mathematics.  "The Theorem of Pythagoras." Videotape. http://www.projectmathematics.com/pythag.htm.Schopenhauer,  A. The  World as Will and Idea, 3 vols. New York: AMS Press, 1977.Shanks,  D. Solved  and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, pp. 123-127,  1993.Steinhaus, H. Mathematical  Snapshots, 3rd ed. New York: Dover, 1999.Talbot, R. F.  "Generalizations of Pythagoras' Theorem in nDimensions." Math. Scientist 12, 117-121,  1987.Tietze, H. Famous  Problems of Mathematics: Solved and Unsolved Mathematics Problems from Antiquity  to Modern Times. New York: Graylock Press, p. 19, 1965.Tropfke,  J. Geschichte der Elementar-Mathematik, Band 1. Berlin: p. 97, 1921a.Tropfke,  J. Geschichte der Elementar-Mathematik, Band 4. Berlin: pp. 135-136,  1921b.Wells, D. The  Penguin Dictionary of Curious and Interesting Geometry. London: Penguin,  pp. 202-207, 1991.Yancey, B. F. and Calderhead, J. A.  "New and Old Proofs of the Pythagorean Theorem." Amer. Math. Monthly 3,  65-67, 110-113, 169-171, and 299-300, 1896.Yancey, B. F. and Calderhead,  J. A. "New and Old Proofs of the Pythagorean Theorem." Amer. Math.  Monthly 4, 11-12, 79-81, 168-170, 250-251, and 267-269, 1897.Yancey,  B. F. and Calderhead, J. A. "New and Old Proofs of the Pythagorean  Theorem." Amer. Math. Monthly 5, 73-74, 1898.Yancey,  B. F. and Calderhead, J. A. "New and Old Proofs of the Pythagorean  Theorem." Amer. Math. Monthly 6, 33-34 and 69-71, 1899.

Cite this as:


Weisstein, Eric W. "Pythagorean Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/PythagoreanTheorem.html

Subject classifications



● Geometry

● Plane Geometry

● Triangles

● Triangle Properties


● Recreational Mathematics

● Mathematics in the Arts

● Mathematics in Films

● The Wizard of Oz (1939)


● Recreational Mathematics

● Mathematics in the Arts

● Mathematics in Television

● NUMB3RS


● Recreational Mathematics

● Mathematics in the Arts

● Mathematics in Television

● The Simpsons

More...Less...
 

●About MathWorld
●MathWorld Classroom
●Contribute
●MathWorld Book
●wolfram.com
  

●13,181 Entries
●Last Updated: Fri Jun 7 2024
●©1999–2024 Wolfram Research, Inc.
●Terms of Use
  

Wolfram
●wolfram.com
●Wolfram Language
●Mathematica
●Wolfram Demonstrations
●Wolfram for Education
  
Created, developed and nurtured by Eric Weisstein at Wolfram Research