The Pythagorean Theorem

Author
Friedrichs, K.O.
Published in
From Pythagoras to Einstein
Year
1965
Subject
THEOREM
Language
English
Category
C3 Mathematics
Archive number
3388

Open PDF(opens in a new window)

Show full text5 pages

Page 1

View in PDF(opens in a new window)
FRLEORLOMS) KO. vada CHAPTER ONE The Pythagorean Theorem The theorem ascribed to Pythagoras is concerned with the sides of a right triangle. The three sides of such a triangle are the two legs adjacent to the right angle and the hypotenuse opposite to this angle. The Pythagorean theorem gives a relation between the lengths of the three sides; it enables one to compute the length of the hypotenuse if the lengths of the other sides are given. To determine the length of a side, or of any segment of a straight line, one must adopt a unit, or rather a particular segment whose length is taken as unit. Then one may express the length of any segment as a multiple of such a unit segment. To say the length of a segment is three means that it is three times as long as the unit segment. E Figure 1. Right triangle with legs a, è and hypotenuse c In this sense we denote the lengths of the two legs by a and b and the length of the hypotenuse by c (Figure 1). The Pythagorean theorem is embodied in the formula c= a + bd.

Page 2

View in PDF(opens in a new window)
FROM PYTHAGORAS TO EINSTEIN Clearly, when the lengths a and b are given, the length c can be computed since one can compute the square root of any positive number. Thus, by taking the square root of each member of the a PYTHAGOREAN b b THEOREM b 7 a b b a formula above, we find C = va? + bi. a a a b a b (A) a b (B) Figure 3. Proof of the Pythagorean theorem (A) by decomposing a square of area (a + 5)? into two squares of areas a? and & and four triangles of areas } ab; (B) hy decomposing the same square into four triangles of areas } ab and one square of area e? In the present chapter we shall give two geometrical proofs. In the first we consider the square with the side* a + 5 ; see Figure 3. In one corner of this “large square” we place the square with the side* a ; in the opposite corner we place the square with the side b. Evidently two rectangles, each with sides a and 5. remain. Thus the area of the large square is the sum of the areas a? and b* of the squares with sides a and b and twice the area ab of the rectangle with sides a and 6; see Figure 3A. Figure 2. Right triangle with squares over legs and hypotenuse Each rectangle may be regarded as the sum of two right triangles, each with legs a and b. Now, one may place these four triangles The formula c? = a? + b? can be given a direct geometrical meaning. Let us erect the square over each of the two legs of the triangle and over its hypotenuse; see Figure 2. Clearly, the area of a square is the square* of the length of its side. The significance of the formula e = a? + b? can therefore be expressed by saying that the area of the square over the hypotenuse is the sum of the areas of the squares erected over the sides. As a matter of fact, it is this geometrical assertion which is called Pythagoras’ theorem by Euclid. How can the Pythagorean theorem be proved? Many different differently in the large square, as indicated in Figure 3B, so that each ehAaERTinSTey, proofs have been given and we shall present various quite different approaches leading to such proofs. * Here the first word “square” refers to a figure, the second one to the product of a number by itself. is placed in a corner of the large square with its short leg to the left and long leg to the right if looked at from the outside. The figure bounded by the hypotenuses of these triangles is evidently a quadrilateral each of whose sides has length c. In fact this figure is a square; for, at a point of the side a + b where two triangles meet, three angles combine to form a straight angle. Two of them, being opposite to legs a and è of two congruent right triangles, are complementary and therefore add up to a right angle; so the remaining angle is also a right angle. AMES ». FéwesRr * Here we use the term “side” where we should have used the expression “side with length”, This is convenient and we shall continue to use this convenient simplification of language.

Page 3

View in PDF(opens in a new window)
FROM TO EINSTEIN THE PYTHAGOREAN THEOREM 9 Thus we see that the large square, which can be decomposed into the squares a? and 5? and four right triangles with legs a and b, can as well be decomposed into the square with area c* and again of the second array are to be parallel to the hypotenuses four right triangles with legs a and 6. Imagining the four right perpendicular to the sides of the squares of the first array. refer to these coverings as the first and second “arrays”. The sides of the right triangles whose legs a and è are so placed that they are parallel or triangles removed from both figures, we realize that the area a’ + è remaining in the one figure equals the area c* remaining in the other. In other words, we have derived the statement a? + 6? = e. This proof is very simple—perhaps it is grasped by intuition more easily than any other geometrical proof—but it is not quite direct. Instead of identifying the areas a? + b? and c* directly, the areas of two larger squares are identified. One may wonder whether or not a more direct proof of the Pythagorean theorem is possible. For example. can one cut the two squares a° and 2 into pieces and then recombine these pieces to form the square c*? Such a dissection and recombination is indeed possible; as a matter of fact, it is possible in infinitely many ways. We present a simple “recipe” for this purpose. | OFBradrs oDremart r—ex Figure 4A. Covering of plane by squares with sides a and è We imagine the whole plane covered by squares with sides a and 5 in the manner shown in Figure 4A; we also imagine the plane covered by squares with side c in the manner shown in Figure 4B. We shall A There are many possibilities for the location of the second array in relation to the first one. We certainly can choose the location of one of its vertices at pleasure; of course, the location of all other vertices is then fixed (see Figure 5). If the selected vertex of the second array lies in a particular square of the first array, all other vertices of the second array lie in corresponding positions in congruent squares.

Page 4

View in PDF(opens in a new window)
FROM \ TO EINSTEIN THE FYIMAGURENIN à 21 8 Ua à av squares of the second array cut the squares @ and @ x into pieces. Each such piece either belongs to € or it belongs to one of the squares | congruent to ©. In the latter case this piece is congruent to a piece lying within € cut out by the lines of the first array. If now all the pieces of @ and ® are cut out and reassembled within € , each piece being placed in its corresponding position, then they completely fill out the square €. Thus we recognize that the area of € is precisely x N Xo Ni \ N \ o— TR Figure 5. Second array superimposed on first array In order to explain what we mean by ‘corresponding position” we observe that any square of the first array can be displaced into a congruent one simply by first moving it a distance a horizontally to the right and then a distance b vertically up, as is evident from Figure 5. In this displacement every point of the square goes over into a point in a corresponding position in the new square. The displacement of each point may also be described by saying that the point moves along the legs a and b of a right triangle; clearly, this displacement can be effected more directly just by moving aSEedBAchitATe:s equal to the sum of the areas of @ and @ and are led to the statement c? = a? + dè, that is to say, to the statement of the Pythagorean theorem. N à | In \ a = (i NAT x Figure 6. Subdivisions of squares @ and @ reassembled in square € the point along the hypotenuse c of the triangle. If a vertex of the To be sure, our present argument is not complete inasmuch as we have taken for granted a number of simple geometrical facts without second array is moved along such a hypotenuse, it will evidently end up at a vertex of a congruent square. Applying the same kind of argument to al] four directions leading deriving them rigorously. It would not be difficult to supply these from a vertex of the second array to neighboring vertices, and remissing links for each way of cutting up and reassembling our squares. peating this any number of times, we realize that all vertices of the If this is done, a proof of the Pythagorean theorem results; however, second array have corresponding positions in congruent squares of we have not carried out these details but have given only a ‘‘recipe’’ the first array. for proving the theorem. Note that we have given infinitely many Now, consider a pair of adjacent squares of the first array, say such “recipes”, since we can choose any one of infinitely many places @, ® withsides a and b, and a square € of the second array interfor a vertex of the second array and hence can select the location of secting the squares @ and G ; see Figure 6. Clearly, the sides of the x x#4 oh the square € from an infinity of possibilities. a)gat

Page 5

View in PDF(opens in a new window)
FROM TO a D a EINSTEIN — Figure 7. Simple proof of the Pythagorean theorem by reassembly Were we to fill in all details of our argument to derive a “proof” from a “recipe”, the chain of reasoning would become somewhat long and tedious. If one is primarily interested in a concise and complete proof of the Pythagorean theorem. one may adopt any of the customary arguments such as the first presented here*; or one may specialize our second proof to the case in which, with reference to Figure 6, the lowest vertex of the square € lies on the lower side of the square @.at a distance è from its left endpoint (see Figure 7). On the other hand, in the approach taken here certain essential features of the Pythagorean theorem are more clearly illuminated than in other approaches, Also, some steps of the present approach have counterparts in the approach that we shall develop next, after we have discussed two basic notions: “signed numbers” and “‘ vectors”’. Wi FRom VYTURERRRS = Ve SX E ses * or that indicated in the footnote of p. 28.