chapter 6 pythagorean theorem
TRANSCRIPT
Chapter 6
Pythagorean theoremΒ©David Morin, October 2021.Draft chapter from eventual book Algebra & Geometry for the Enthusiastic Beginner. Estimatedcompletion date: Fall 2023. More details at https://scholar.harvard.edu/david-morin/books
The Pythagorean theorem is one of the most beautiful theorems in mathematics.It is simple to state, easy to use, and highly accessible β it doesnβt require a hugeamount of mathematical machinery to prove. Weβll be able to prove it (in numerousways!) with what weβve learned so far.
Weβll begin by stating the basics of the Pythagorean theorem in Section 6.1, andthen in Section 6.2 weβll discuss the general form of Pythagorean triples, which aretriples of integers that satisfy the Pythagorean theorem. Weβll then prove the theoremin many (seven!) ways in Section 6.3. Some of the proofs require nothing more thanthe πβ/2 formula for the area of a triangle. And some donβt even require that!Section 6.4 covers an interesting real-life application of the Pythagorean theorem,namely, how far you can see to the horizon from a tall building. Section 6.5then presents many examples and exercises for practice. Weβll end with a generaldiscussion in Section 6.6 about the benefits of working with letters instead ofnumbers.
6.1 The theorem
The Pythagorean theorem deals with right triangles. To repeat a few things wementioned in Chapter 5: Right triangles are ones that have a 90β¦ angle (which iscalled a βright angleβ). A 90β¦ angle is simply what you have at the corner of arectangle. The two sides that meet at the right angle are perpendicular to eachother. These two perpendicular sides in a right triangle are called the legs. Thethird side (opposite the 90β¦ angle) is called the hypotenuse. So in Fig. 6.1 thehypotenuse has length π, and the legs have lengths π and π. As with other words
255
256 Chapter 6. Pythagorean theorem
like βradiusβ and βcircumference,β the words βhypotenuseβ and βlegβ can refer toeither the segment itself (as in the preceding sentence), or the length of the segment(as in βthe hypotenuse is πβ). The usage is generally clear from the context. Thestandard notation for a right angle is a little square, as we have drawn.
a
b
c
Figure 6.1
As mentioned in Section 5.4, the Pythagorean theorem states that the sides of aright triangle are related by
π2 + π2 = π2 (Pythagorean theorem) (6.1)
This statement of the Pythagorean theorem was certainly known before Pythagorasβtime, although it is unknown how much earlier. The date (and creator) of the firstproof is also unknown. In any case, we can only wonder what Pythagorasβ firstencounter with the theorem looked like. . .
Pythagoras wept and despairedAs he added the legs and compared.Then he jumped up with glee,βThough they donβt add to π,Itβs a match if the lengths are all squared!β
Weβll prove the theorem in Section 6.3 below, but there are a few things weshould discuss first. If you draw a triangle with a random shape, the odds are that itwonβt be a right triangle. That is, most random sets of three numbers π, π, π donβtsatisfy Eq. (6.1). Only special sets do, and hence yield a right triangle. The simplestset of integers that satisfy the theorem is 3, 4, 5. These lengths produce a righttriangle because
32 + 42 = 52 ββ 9 + 16 = 25. (6.2)
Most right triangles donβt have integer lengths for all three sides. Or said in anotherway, if you pick integers for two sides of a right triangle, the third side probablywonβt be an integer. For example, if we pick the two legs to be 1 and 1, then thehypotenuse is given by
12 + 12 = π2 =β π2 = 2 =β π =β
2 β 1.414, (6.3)
6.1. The theorem 257
which isnβt an integer. (This triangle is our old friend, the 45-45-90 right triangle.)Or if we pick the hypotenuse to be 8 and one leg to be 5, then the other leg is givenby
π2 + 52 = 82 =β π2 + 25 = 64. (6.4)
Subtracting 25 from both sides of this equation (as we learned in Section 4.5), andthen taking the square root of both sides, gives
π2 = 39 =β π =β
39 β 6.245, (6.5)
which isnβt an integer.If all three sides of a right triangle are integers, then we call the set of these
integers a Pythagorean triple (or just a triple, for short). People often list theintegers of a triple inside parentheses, like β(π, π, π).β For example, in addition tothe Pythagorean triple (3, 4, 5) mentioned above, a few other triples are (6, 8, 10),(5, 12, 13), and (8, 15, 17) because, as you can verify,
62 + 82 = 102, 52 + 122 = 132, 82 + 152 = 172. (6.6)
A quick way of producing new triples from other known triples is to use the factthat any integer multiple of the three numbers in a triple yields three new numbersthat are again a triple. This is true because if (π, π, π) is a triple, then we can multipleboth sides of the Pythagorean theorem by π 2 (where π is an integer) to obtain anothertrue statement. (If the two sides of an equation are equal, then multiplying thesetwo equal quantities by the same number π 2 yields two new quantities that are againequal.) This multiplication by π 2 yields
π2 + π2 = π2 =β π 2π2 + π 2π2 = π 2π2 =β (π π)2 + (π π)2 = (π π)2. (6.7)
But this is just the statement that (π π, π π, π π) is a Pythagorean triple, as we wantedto show. For example, the (6, 8, 10) triple mentioned above is the (3, 4, 5) triplemultiplied by π = 2.
This multiplication of each side of a right triangle by π and ending up withanother right triangle makes intuitive sense. If youβre given a right triangle, and ifyou scale it up uniformly by multiplying all of the sides by the same factor, thenthe new triangle has the same shape as the old one, so itβs still a right triangle. Thenew triangle is similar to the old one (it has the same shape); recall the discussionof similarity in Section 5.4. Even if π isnβt an integer, weβll still end up with a righttriangle. But if the sides arenβt integers, we donβt call it a Pythagorean triple.
Note that the Pythagorean theorem in Eq. (6.1) is symmetric in π and π. Thatis, both π and π are raised to the same power (namely 2), and the two terms havethe same coefficient (namely 1). This symmetry follows from the fact that it canβtmatter which leg you arbitrarily choose to label as π, and which one you label as
258 Chapter 6. Pythagorean theorem
π. If someone claimed that the theorem took the form of, say, π2 + 2π2 = π2, thenyou would get a different result for π if you switched your π and π labels. So thisβtheoremβ canβt be correct.
For example, if the two legs are 5 and 8, and if we label them as π = 5and π = 8 (which weβre free to do), then the π2 + 2π2 = π2 βtheoremβ gives52 + 2 Β· 82 = π2 =β 153 = π2 =β π =
β153 = 12.4. However, if we label
the legs as π = 8 and π = 5 (which weβre also free to do), the βtheoremβ gives82 + 2 Β· 52 = π2 =β 114 = π2 =β π =
β114 = 10.7. But there can be only one
value of π, of course. So the fact that our formula gives two different values meansit canβt be correct.
6.2 General form of triples
It turns out that there is a very simple and general way to produce Pythagoreantriples, beyond the easy ones that are simply integer multiples of other triples. Weclaim that if we start with any two integers π and π, then the following three integersπ, π, π are a Pythagorean triple, that is, they satisfy the Pythagorean theorem:
π = π2 β π2, π = 2ππ, π = π2 + π2. (6.8)
You can verify this claim by doing the following exercise.
Exercise 6.1 Show that the π, π, and π expressions in Eq. (6.8) satisfyEq. (6.1), by calculating the sum π2 + π2 and then showing that the resultequals π2.
For integers π, π, who knewThat π is their product times 2?And π? Itβs a fact:Form the squares and subtract.And then π? Instead add up the two.
The preceding exercise is the standard way of showing that the π, π, and π
expressions in Eq. (6.8) form a Pythagorean triple. Hereβs another way. We wantto show that π2 + π2 = π2, and this relation is equivalent to (by subtracting π2 fromboth sides) π2 = π2 β π2. We can now invoke the handy difference-of-squares result
6.2. General form of triples 259
from Eq. (3.22) to write π2 β π2 as (π + π) (π β π). So our goal is to show that thisproduct equals π2. Plugging in the expressions for π and π from Eq. (6.8) gives
π2 β π2 = (π + π)(π β π)
=((π2 +οΏ½οΏ½π
2) + (π2 βοΏ½οΏ½π2)
) ((οΏ½οΏ½π2 + π2) β (οΏ½οΏ½π2 β π2)
)= (2π2) (2π2) = 4π2π2 = (2ππ)2 = π2, (6.9)
as desired.
Exercise 6.2 Show again that the π, π, and π expressions in Eq. (6.8) satisfyEq. (6.1), by applying the difference-of-squares result like we just did, butnow with the Pythagorean theorem written as π2 = π2 β π2.
It turns out that not only does Eq. (6.8) generate Pythagorean triples, it generatesall of them. That is, there are no triples that arenβt of the form in Eq. (6.8); everytriple has an associated (π, π) pair. The proof of this statement (βIf three numbersare a triple, then they take the form of Eq. (6.8)β) is more involved than our aboveproofs of the reverse statement (βIf three numbers take the form of Eq. (6.8), thenthey are a tripleβ). So weβll just accept it here.
Table 6.1 lists the triples that Eq. (6.8) generates for various (π, π) pairs. Someof the triples are multiples of others. For example, (24, 10, 26) is 2 times (5, 12, 13),although in a different order.
π π π
π π π2 β π2 2ππ π2 + π2
2 1 3 4 53 1 8 6 103 2 5 12 134 1 15 8 174 2 12 16 204 3 7 24 255 1 24 10 265 2 21 20 295 3 16 30 345 4 9 40 41
Table 6.1: Pythagorean triples
260 Chapter 6. Pythagorean theorem
Exercise 6.3 Pick a few of the triples in Table 6.1 and verify that they doindeed satisfy the Pythagorean theorem.
If you stare at Table 6.1 long enough, a few things become clear, one of whichis the following. Look at the cases where π = π β 1. So (π, π) takes the formof (2, 1), (3, 2), (4, 3), (5, 4), etc. The π values associated with these pairs are,respectively, the odd numbers 3, 5, 7, and 9, which equal π + π. And in each case,you will observe that π and π differ by 1 and add up to π2. For example, in the(5, 4) case we have 40 + 41 = 92. And in the (4, 3) case we have 24 + 25 = 72. Thefollowing example shows that this pattern holds for all of the (π, π) = (π, π β 1)cases.
Example 6.1 For the π = π β 1 cases, show that π is odd and equals π + π.And show that π and π differ by 1 and add up to π2.
Solution: If we plug π = πβ1 into the expressions for π, π, and π in Eq. (6.8),we obtain
π = π2 β (π β 1)2 =οΏ½οΏ½π2 β (οΏ½οΏ½π2 β 2π + 1) = 2π β 1,π = 2π(π β 1) = 2π2 β 2π,
π = π2 + (π β 1)2 = π2 + (π2 β 2π + 1) = 2π2 β 2π + 1. (6.10)
We want to show four things:
β’ π is odd: Since π takes the form of 2π β 1 where π is an integer, wesee that π is indeed odd. (Even numbers take the form of 2π, and oddnumbers take the form of 2π β 1. Or equivalently 2π + 1.)
β’ π = π + π: Since π + π = π + (π β 1) = 2π β 1, we see that π is equalto π + π, as desired. Alternatively, the difference-of-squares result inEq. (3.22) tells us that if π = π β 1, then
π = π2 β π2 = (π + π) (π β π) = (π + π) (1) = π + π, (6.11)
because the difference between π and π is 1.
β’ π and π differ by 1: The forms we found for π and π in Eq. (6.10) tell usthat π = π + 1, so they do in fact differ by 1.
6.2. General form of triples 261
β’ π + π = π2: The sum of π and π is
π + π = (2π2 β 2π) + (2π2 β 2π + 1) = 4π2 β 4π + 1. (6.12)
This is indeed equal to π2 since
π2 = (2π β 1)2 = 4π2 β 4π + 1. (6.13)
Here are a few exercises, two involving numbers and two involving letters.
Exercise 6.4 The size of a rectangular computer screen is generally specifiedby giving the length of the diagonal line. What is the size of a screen that is11.3 inches wide and 7.0 inches tall? Or 14.4 inches wide and 9.0 inches tall?
Exercise 6.5 An American football field is 100 yards long (excluding theend zones) and 53.33 yards (160 feet) wide. If you walk from one corner tothe opposite one, what distance do you save by walking diagonally instead ofalong two sides?
Exercise 6.6 In Table 6.1, another thing you may have noticed is that for theπ = 1 cases, π and π are obtained by taking half of π, squaring the result, andthen adding or subtracting 1. For example, in the (5, 1) case, π is 10. Half ofthis is 5, and 52 is 25. Adding or subtracting 1 then gives 24 and 26, whichare indeed the π and π values. The concise way of stating this result is that πand π take the form of (π/2)2 Β± 1. Explain why this is true by letting π = 1 inEq. (6.8).
Exercise 6.7 Another way of stating the π = π β 1 result discussed abovein Example 6.1 is the following. Take an odd number (call it π) and squareit. Then add or subtract 1 from the result. And then divide each of thesetwo numbers by 2. Call the results π and π. (So if we start with π = 9, weobtain 81, and then 82 and 80, and then 41 and 40. This is the last triple inTable 6.1.)
For an (π, π, π) triplet generated this way, calculate the sum π2 + π2 and thenshow that it equals π2. Hint: Since π is an odd number, it takes the generalform of 2π β 1 where π is an integer. (This problem gets a little messy. Youβllneed to square a trinomial, but stick with it!)
262 Chapter 6. Pythagorean theorem
6.3 Seven proofs of the theorem
Letβs now prove the Pythagorean theorem β in seven different ways! Weβll present allof these proofs as exercises, so that youβll have the chance to do them yourself. Wedonβt want you to miss out on any of the fun! Some of the proofs are great examplesof what algebra can do for you, while others (the third and fourth ones) are purelygeometric and donβt require any algebra at all. You might think itβs excessive toinclude seven proofs here, but the strategies involved are varied and instructive. Andbesides, itβs always hard to pass up any new opportunity to prove the Pythagoreantheorem! Hereβs the statement of the theorem:
Pythagorean theorem: If the sides of a right triangle are π, π, and π, with π beingthe hypotenuse, then π2 + π2 = π2.
Proof: And here are the proofs:
Exercise 6.8 (Proof 1) Prove the Pythagorean theorem by using the fact thatthe area of the overall square in Fig. 6.2 equals the sum of the areas of thefour triangles plus the area of the smaller square. (Thereβs a bit of an opticalillusion in this figure. The sides of the overall square are indeed vertical andhorizontal, even if they donβt look it!)
a
a
bc
Figure 6.2
Exercise 6.9 (Proof 2) Fig. 6.3 shows a square with side length π subdividedinto four right triangles with legs π and π (and hypotenuse π), along with asquare in the middle with side length π β π. Prove the Pythagorean theoremby using the fact that (as in the preceding proof) the area of the overall squareequals the sum of the areas of the four triangles plus the area of the smallersquare.
6.3. Seven proofs of the theorem 263
a
a
b
b β a
b β a
b
c
c
Figure 6.3
Exercise 6.10 (Proof 3) This proof requires no algebra; itβs basically ageometry-only interpretation of the first proof above. Perhaps it shouldnβtcount as a separate proof, but itβs so slick, I think it should. Itβs the quickestand simplest proof of them all.
Fig. 6.4 shows four shaded triangles inside a square. Show how to rearrangethe triangles in a way that makes it clear that the area of the white region(which is π2) also equals π2 + π2.
b
b
c
a
a
c2
Figure 6.4
Exercise 6.11 (Proof 4) Hereβs another geometry-only proof. Fig. 6.5 showsa combo version of Figs. 6.2 and 6.3. Rearrange some of the shapes to showthat π2 + π2 = π2. Weβve given a hint by drawing two shaded squares withareas π2 and π2. (These shapes are indeed squares, since all sides are eitherπ or π.)
Exercise 6.12 (Proof 5) The overall right triangle in Fig. 6.6 has side lengthsπ, π, and π. The altitude to the hypotenuse is drawn. Explain why the twosmaller right triangles produced are similar to (that is, they have the same
264 Chapter 6. Pythagorean theorem
a
a
a
b
b
b c
c
Figure 6.5
angles as) the overall right triangle. Then use this similarity to find the twolengths that π is divided into. The Pythagorean theorem will follow from thefact that these two lengths add up to π.
a
b
c
Figure 6.6
Exercise 6.13 (Proof 6) In the preceding proof, we found that the two sub-triangles in Fig. 6.6 are similar to the overall triangle. This similarity allowsus to use the scaling results from Section 5.5 to determine how the areas of thesub-triangles are related to the area of the overall triangle. The Pythagoreantheorem will follow from the fact that the two sub-areas add up to the overallarea.
Exercise 6.14 (Proof 7) This final proof is how Euclid proved the Pythagoreantheorem. Itβs a bit more involved than the preceding six proofs, and it relieson one fact that we havenβt covered yet β the (entirely believable) βside-angle-sideβ (SAS) postulate, which says that if two triangles have two sides incommon, along with the angle between them, then they are congruent (whichis a fancy word for identical; they have the same shape and same size). If youplay around with a few examples, youβll be convinced that this postulate iscorrect.
6.3. Seven proofs of the theorem 265
In Fig. 6.7, we have drawn squares on the sides of right triangle π΄π΅πΆ. Provingthe Pythagorean theorem is equivalent to showing that the sum of the areasof the two smaller squares (π2 + π2) equals the area of the big square (π2).
Your task: First show that the triangles in each shaded pair in Fig. 6.7 arecongruent, and then explain how their areas relate to the areas of the smallersquares, and also to the two rectangular sub-areas π 1 and π 2 of the largesquare, defined by the dashed line drawn. Hint: The area of a triangle is halfthe base times the height. Find some helpful bases and heights! For example,triangle π΄1π΅π΄ can be considered to have base π΄1π΅ and height π΄1π΄2.
a
a
b
b
A2
A1
C1
C2
R2
R1
B1 B2
C
B
A
cc
c
Figure 6.7
266 Chapter 6. Pythagorean theorem
Having worked through all of these proofs, you can now say without a doubtthat you understand the Pythagorean theorem! And that has its perks. . .
Itβs quick to spot which kids are cool,As they saunter the halls of the school.βWhoβs got the swagger? Us!We know Pythagoras!Sure, weβre all square, but we rule!β
The converse
The Pythagorean theorem says, βIf a triangle is right, then its side lengths satisfyπ2 + π2 = π2.β The reverse statement (the converse) is also true:
Converse: If a triangleβs side lengths satisfy π2 + π2 = π2, then the triangle is right.
As with the βforwardβ direction of the theorem we proved above, there are manydifferent ways to prove the converse. Weβll present just one proof here.
Weβre starting with the assumption that π2 + π2 = π2, and our goal is to showthat the triangle is right. That is, we want to show that it cannot look like either ofthe triangles (obtuse or acute) in Fig. 6.8, where the π side is tilted. So for both ofthese possibilities, our goal is to show that π₯ must be zero. That is, the π₯ segmentmust in fact not exist; equivalently the top vertex is actually directly over the left endof the π side. Weβll address the obtuse case here. (The acute case proceeds in thesame manner, with only one small sign modification, as you can check.) This proofmakes use of the βforwardβ direction of the Pythagorean theorem, so it assumes(quite correctly!) that weβve already proved that.
a a
b2 β x2
x x
bc
(a)(obtuse) (acute)
(b)
bc
b2 β x2
Figure 6.8
From the Pythagorean theorem, the vertical leg of the small right triangle inFig. 6.8(a) has length
βπ2 β π₯2, as shown. The Pythagorean theorem applied to the
6.4. Distance to the horizon 267
overall big right triangle then gives
(π + π₯)2 +(β
π2 β π₯2)2 = π2
=β (π2 + 2ππ₯ +οΏ½οΏ½π₯2) + (π2 βοΏ½οΏ½π₯
2) = π2. (6.14)
Subtracting π2 from both sides yields
(π2 + π2 β π2) + 2ππ₯ = 0 =β 0 + 2ππ₯ = 0, (6.15)
where we have used the given information that π2 + π2 = π2 =β π2 + π2 β π2 = 0.We see that the product 2ππ₯ equals zero. And since neither 2 nor π is zero, it mustbe the case that π₯ = 0. In other words, the π side is vertical, and the triangle is aright triangle, as we wanted to show.
6.4 Distance to the horizon
Hereβs an interesting real-life application of the Pythagorean theorem: If youβre ina tall building with height β, how far can you see to the horizon? Letβs assume thatthe building is at the ocean shore, so that we donβt need to worry about trees andhills and such.
The basic setup is shown in Fig. 6.9. The height β weβve drawn is very muchexaggerated (being about 1/5 of the earthβs radius π ), to make it easier to see whatβsgoing on. In reality, thereβs no chance that β (for any everyday-type scenario) wouldbe comparable to the earthβs radius π . Even at the altitude of the International SpaceStation (which is about 250 miles), β is only 1/16 of π (which is about 4000 miles).
R
R
hd
you
you can see to here
Figure 6.9
Our goal is to find the distance π in the figure, in terms of the known quantitiesβ and π . Now, the desired distance you can see to the horizon is slightly ambiguous.Do we mean the straight-line distance π drawn, or do we mean the curved distancealong the surface of the earth? Fortunately it doesnβt matter, because these twodistances are essentially equal for any reasonable (not excessively large) value of β.But for concreteness letβs say that our goal is to find the straight-line distance π.
268 Chapter 6. Pythagorean theorem
The straight line representing the distance π is tangent to the earth. Weβll talkabout βtangentsβ below in Exercise 6.24, but in short, a tangent line is one that justbarely skims the circle. The tangent line is in fact the line of sight weβre concernedwith, because if you look at an angle that is slightly too high, youβll be looking ata point in the sky; and if you look at an angle that is slightly too low, youβll belooking at a nearby point on the ground (which therefore wonβt be the farthest pointyou can see). So we are indeed concerned with the tangent line β the cutoff betweenthe ground and the sky. Weβll see in Exercise 6.24 that a tangent line is alwaysperpendicular to the radius at the point of contact with the circle. Letβs just acceptthis (quite believable) fact for now. We therefore have the right triangle shown inFig. 6.9, which means that we can apply the Pythagorean theorem.
Letβs do a numerical example first, and then weβll find the general solution interms of letters. Weβll pick β to be
β = 100 meters, (6.16)
which is about 330 feet β a reasonably tall building. We could work with any unitof length (feet, yards, meters, etc.), but weβll choose the metric systemβs metersbecause other lengths in it (like kilometers) are obtained by multiplying by simplepowers of 10. A kilometer is 1000 meters. (The prefix βkiloβ means 1000.) Theabbreviations for meter and kilometer are βmβ and βkm.β A meter is about 39.4inches, which is a little more that a yard (3 feet, or 36 inches).
In addition to assuming weβre at the ocean shore (so that we donβt need to worryabout trees and hills), weβll work in the approximation where the earth is a perfectsphere. It actually isnβt; it bulges a little at the equator because itβs spinning. Theradius of the earth varies from about 6,356 km at the poles to 6,378 km at the equator.Thereβs no need for that level of accuracy here, so weβll just round these values upto 6,400 km. Hence
π = 6,400 km (or equivalently 6,400,000 meters), (6.17)
which is the same as the 4000 miles we stated above. This follows from the factthat there are 1609 meters in a mile, and hence about 1.6 kilometers in a mile (amile is the larger of the two units). So to go from km to miles, you divide by1.609, or equivalently multiply by 0.62. (A 10 km race is 6.2 miles.) This checks:(6400) (0.62) β 4000, and (4000) (1.6) = 6400.
We can now apply the Pythagorean theorem. In Fig. 6.9, the three sides ofour right triangle are the desired distance π, the radius π = 6,400,000 m, and thehypotenuse π + β = 6,400,100 m. The Pythagorean theorem therefore gives
π2 + (6,400,000 m)2 = (6,400,100 m)2. (6.18)
Subtracting (6,400,000 m)2 from both sides of this equation gives
π2 = (6,400,100 m)2 β (6,400,000 m)2 = 1,280,010,000 m2. (6.19)
6.4. Distance to the horizon 269
Taking the square root of both sides then gives
π =β
1,280,010,000 m2 β 35,800 m β 36 km. (6.20)
You can therefore see about 36 kilometers (or about (36)(0.62) = 22 miles) from a100-meter building. Thatβs quite far!
Using letters
You undoubtedly noticed that the above calculation contained some large numbers,which were somewhat of a pain. The numbers would have been smaller if we hadchosen to work with kilometers instead of meters (the lengths would have beenπ = 6400 km and π + β = 6400.1 km), but numbers are still often a hassle to workwith. So letβs now solve the problem algebraically, that is, in terms of letters. Thereare significant advantages to working with letters, as weβll spell out in Section 6.6.
In terms of letters, applying the Pythagorean theorem to the triangle in Fig. 6.9gives (in place of Eq. (6.18) with numbers)
π2 + π 2 = (π + β)2 =β π2 +οΏ½οΏ½π 2 =οΏ½οΏ½π
2 + 2π β + β2
=β π =β
2π β + β2, (6.21)
where we have subtracted π 2 from both sides, and then taken the square root ofboth sides, to obtain the last line. This
β2π β + β2 result is the general answer to
the problem. For any values of π and β weβre given, we can simply plug theminto
β2π β + β2 to obtain the desired distance π. You can check that if you plug
in the π = 6,400,000 m and β = 100 m values we used above, you will reproduceEq. (6.20).
Eq. (6.21) is a nice clean result. But we can go one step further to obtain aneven cleaner result. In a real-life situations, the β2 term is much smaller than the2π β term. It is smaller by the factor β/2π (since 2π β Β· β/2π = β2), which is verysmall for any everyday value of β. If youβre in a tall building with height β = 100 m(330 feet), then
β
2π =
100 m2(6,400,000 m) =
1128,000
β 8 Β· 10β6. (6.22)
Even at the height of a commercial airplane (about 10,000 m, or 33,000 feet), thevalue of β/2π , which is 100 times larger than for 100 m (or 330 feet), is still only1/1280. So to a good approximation we can simply ignore the β2 term in Eq. (6.21)and say that
π ββ
2π β. (6.23)
This is an extremely clean result! Now, whenever you derive an approximateanswer like we just did, you gain something and you lose something. You lose
270 Chapter 6. Pythagorean theorem
some truth, of course, because your new answer is an approximation and thereforetechnically not correct (although the error becomes very small in the appropriatelimit β small β here). But you gain some aesthetics. Your new answer is invariablymuch cleaner (often involving only one term), which makes it much easier to seewhatβs going on.
For example, a quick look at Eq. (6.23) tells you that π does not grow linearlywith β (that is, it isnβt directly proportional to β), but instead grows like the squareroot of β. So if you want to make π be, say, 5 times larger, then you need to makeβ be 25 times larger. Simply increasing β by a factor of 5 wonβt do it. Similarly, ifyou want to increase π by a factor of 10, you need to increase β by a factor of 100.Or said in a slightly different way, if you increase β by a factor of 100, you increaseπ by a factor of only 10. Simple relations like these between π and β arenβt obviousfrom looking at the correct (but not as simple) result in Eq. (6.21).
How close is the approximate answer in Eq. (6.23) to the exact answer inEq. (6.21) when π = 6,400,000 and β = 100? Plugging in the numbers gives (thefirst result here is just a repeat of Eq. (6.20), without the rounding)
πexact =β
2π β + β2 =β
1,280,010,000 m2 = 35,777.23 m,
πapprox =β
2π β =β
1,280,000,000 m2 = 35,777.09 m. (6.24)
We see that ourβ
2π β approximation is a very good one. No one could possibly careabout an error of 0.14 m = 14 cm, when weβre talking about distances of roughly36 km. Thereβs truly no harm in ignoring the comparatively tiny β2 term. Even atthe top of a tall mountain, the β2 term will have no noticeable effect (when comparedwith the distance you can see).
When looking afar from peak,Remember this useful technique:In finding the distance,Ignore the existenceOf terms whose effect is quite weak.
Exercise 6.15 The height of the International Space Station is β β π /16,which equals 250 miles, or 400 km. In terms of π , find the exact andapproximate answers for π in Eqs. (6.21) and (6.23). Then plug in π =6,400 km to find the actual distances. By how much do they differ?
6.4. Distance to the horizon 271
What does Eq. (6.23) give for some other values of β? If youβre standing at theshore of the ocean, letβs say that your eyes are at a height of β = 2 m. We then have
π =β
2π β =β
2(6,400,000 m) (2 m) = 5060 m β 5 km β 3 miles. (6.25)
On one hand, this might seem like a large distance, given that your eyes are only 2meters above the ground. But on the other hand, this distance is much smaller thanit would be if the earth were flat!
The values of π ββ
2π β for a few other values of β are listed in Table 6.2.The ββs are given in meters, and the πβs are given in both kilometers and miles.Remember, to go from kilometers to miles, we multiply by 0.62. Are the variousvalues of π larger or smaller than what you expected? (In some cases weβve keptmore significant figures than weβre entitled to. Weβve done this so that you cancheck your calculations if you want to reproduce the numbers yourself. Weβve used6,400,000 m for π , and 0.62 for the conversion from kilometers to miles, althoughthese are just rounded figures.)
Location β (in m) π (in km) π (in miles)Standing ant 0.01 0.36 0.2 (1200 ft)Your eye near ground 0.1 1.1 0.7Person standing 2 5 3Somewhat tall building 100 36 22Burj Khalifa observatory 550 84 52Pikeβs Peak, Colorado 4300 235 145Commercial airplane 10,000 358 222Space Station 400,000 2263 1403
Table 6.2: Distances to the horizon
Concerning the first entry in Table 6.2, the standing ant would need to be at theshore of very still water. Even the tiniest ripples (near where the tangent line inFig. 6.9 touches the earth) would ruin our perfect-sphere assumption for the earth.As β gets larger, ripples (and eventually big waves) can be ignored.
Mt. Everest is about 8850 m tall, which is roughly the same as the 10,000 mcommercial-airplane entry in the table. So you can see about 200 miles from thetop of Mt. Everest. Or rather, you could see that far if there werenβt other mountainsaround.
Depending on where the measurement is taken, the straight-line distance betweenthe east and west coasts of the US is about 2500 miles. Therefore, since the SpaceStation can see 1400 miles in either direction, for a total of 2800 miles, it can (justbarely) see both coasts at the same time.
272 Chapter 6. Pythagorean theorem
Hereβs an easy formula to remember if you want to determine the distance π
associated with a given height β. Let β be π meters. (So π is just a pure numberwithout any units.) Then
π =β
2π β =β
2(6,400,000 m)(π m) β (3600 m)βπ. (6.26)
So we can write π as
π β (3.6 km)βπ or (2.2 miles)
βπ. (6.27)
So whatever the height β is in meters, you simply need to take the square root ofthat and then multiply by either 3.6 km or 2.2 miles, depending on how you want toexpress your answer. But remember that in either case, π is the number of meters.
Note that if we square both sides of Eq. (6.23), we obtain π2 = 2π β. Dividingboth sides by 2π (and switching sides) then gives β in terms of π:
β =π2
2π . (6.28)
This equation gives the answer to the question: If you want to see a given distance π,what does your height β need to be? (This is the opposite of our original question offinding π in terms of β.) If you want to see π = 160 km (100 miles), then Eq. (6.28)gives the required β as (weβll work entirely with kilometers here, although you couldvery well use meters; there would just be some additional 0βs in the numbers)
β =(160 km)2
2(6,400 km) = 2 km = 2000 m. (6.29)
This translates to about 6,600 feet, which is a fairly tall mountain. This case liesbetween the Burj Khalifa and Pikeβs Peak entries in Table 6.2.
Exercise 6.16 If you dig a straight tunnel from Boston to New York City(about 300 km apart), what is the depth β of the tunnel at its deepest point?(Make a guess before solving the problem.) Hint: Draw a picture and lookfor a useful right triangle. Ignore the β2 term you will encounter, as we didabove. Assume the earth is a perfect sphere.
6.5. Many examples and exercises 273
6.5 Many examples and exercises
Letβs now do a number of examples and exercises. As always, you are encouragedto treat the examples as exercises and try them on your own first.
Example 6.2 In Example 5.4 we used the area of an octagon to produce anestimate of π. Letβs obtain another estimate here, now using the perimeter.Weβll need to find the octagonβs side length; the altitude we drew in Fig. 5.46is helpful for this.
Solution: Fig. 6.10 shows a 45β¦ pie piece (just the triangle, without therounded end). Letting the radius be 1 as usual, the 45-45-90 triangle in theleft part of the pie piece has legs with lengths 1/
β2 (from Section 5.4), as
shown.
1
s1
1 β
45
45
2/1 2/
1 2/
Figure 6.10
The important point to realize now is that the bottom side of the pie piece haslength 1, because itβs also a radius. So a length 1 β 1/
β2 is left for the short
segment on the right side, as shown. The Pythagorean theorem applied to theright triangle in the right part of the pie piece then gives the octagonβs sidelength π as
π 2 =(1/β
2)2 +
(1 β 1/
β2)2 = 1/2 +
(1 β 2/
β2 + 1/2
)= 2 β
β2. (6.30)
Taking the square root of both sides yields π =β
2 ββ
2 β 0.765, and thenmultiplying this by 8 to find the perimeter of the octagon gives πoct β 6.12.The πΆcirc > πoct statement that the circumference of the circle is greater thanthe perimeter of the octagon is then 2π > 6.12, or equivalently π > 3.06,after dividing by 2. This value is about 97% of the true π β 3.14 value, sothe approximation is a very good one.
274 Chapter 6. Pythagorean theorem
Example 6.3 Show that if the side lengths of a right triangle are equallyspaced (that is, if the hypotenuse exceeds the longer leg by the same amountthat the longer leg exceeds the shorter leg), then the sides are in the ratio of3 : 4 : 5.
Solution: Let π be the difference between successive sides, and let the longerleg be π. Then the side lengths are π β π, π, and π + π. So the Pythagoreantheorem gives
π2 + (π β π)2 = (π + π)2 =β π2 = (π + π)2 β (π β π)2 (6.31)
=β π2 = (@@π2 + 2ππ +οΏ½οΏ½π2) β (@@π2 β 2ππ +οΏ½οΏ½π
2)=β π2 = 4ππ =β π = 4π =β π = π/4.
The second-to-last equation is obtained by dividing both sides of the previousone by π, and then the last equation is obtained by further dividing by 4, andthen switching sides. (Or we could have simply divided by 4π in a singlestep.)
The π β π leg of the triangle is therefore π β π = π β π/4 = 3π/4. And thehypotenuse is π + π = π + π/4 = 5π/4. So the three sides are 3π/4, π, and5π/4. Scaling all of these up by a factor of 4 gives sides of 3π, 4π, and 5π.These are indeed in the ratio of 3 : 4 : 5.
Remarks:
1. Before doing any work on this problem, we already knew that a (3, 4, 5)right triangle has equally spaced lengths, since 5 β 4 = 4 β 3. What wedid in this solution was show that there are no other ratios (that is, no othershapes) that also have this property.
2. Letβs be more precise about how we solved Eq. (6.31). When we arrivedat the π2 = 4ππ equation, what we technically should have done was toget everything on one side of the equation, and then factor. So subtracting4ππ from both sides gives π2 β 4ππ = 0, and then factoring this givesπ(π β 4π) = 0. There are two ways the lefthand side can be zero. One isfor π to be zero. However, although π = 0 is a solution to our mathematicalequation, it isnβt a solution to our problem, because the side lengths π β π,π, and π+π are then βπ, 0, and π. And since side lengths must be positive,we therefore reject this solution, even though it does mathematically satisfyπ2 + π2 = π2.
6.5. Many examples and exercises 275
The other solution is the one weβre concerned with. The binomial π β 4πis zero when π = 4π, or equivalently when π = π/4, as we found above.When we divided by π above in Eq. (6.31), we were tacitly (and correctly)assuming that π couldnβt be zero.
3. In the above solution, we let the longer leg be π. What if we instead let theshorter leg be π? If π is again the common spacing, the sides are now π,π + π, and π + 2π. So the Pythagorean theorem gives
π2 + (π + π)2 = (π + 2π)2
=β π2 + (π2 + 2ππ + π2) = π2 + 4ππ + 4π2. (6.32)
Getting all of the terms over on the righthand side by subtracting 2π2, 2ππ,and π2 from both sides gives
0 = 3π2 + 2ππ β π2. (6.33)
To solve this equation for π in terms of π, we can use the factoring methodwe learned in Section 4.2.3. After a little guessing and checking withFOIL, we find that Eq. (6.33) can be factored into
0 = (3π β π) (π + π). (6.34)
The first binomial on the right side is zero when 3π = π =β π = π/3, andthe second is zero when π = βπ. This second root isnβt allowed, becausethe side lengths π, π + π, and π + 2π are then π, 0, and βπ. And as wenoted in the preceding remark, the side lengths must be positive.The π = π/3 solution is the one weβre concerned with. The longer leg isthen π + π = π + π/3 = 4π/3, and the hypotenuse is π + 2π = π + 2 Β· π/3 =5π/3. So the three sides are π, 4π/3, and 5π/3. Scaling all of these upby a factor of 3 gives sides of 3π, 4π, and 5π, which are in the ratio of3 : 4 : 5. β£
Example 6.4 In Fig. 6.11 circles with radii π and π lie on top of a line (thatis, they are tangent to it) and touch each other at a single point. What isthe distance π΅π΄ between the points of contact on the line? (Use the factthat a tangent line is perpendicular to the radius at the point of contact; seeExercise 6.24 below.)
Solution: The key is the shaded right triangle in the figure. The hypotenuseis the sum of the radii, so it equals π + π, as shown. And the vertical leg is
276 Chapter 6. Pythagorean theorem
a
a
a β b
b
B A
b
Figure 6.11
the difference of the radii, so it equals π β π. (This is how much higher onecenter is than the other.) The horizontal leg is the desired distance π΅π΄, so thePythagorean theorem gives
(π΅π΄)2 + (π β π)2 = (π + π)2
=β (π΅π΄)2 = (π + π)2 β (π β π)2
= (οΏ½οΏ½π2 + 2ππ +@@π2) β (οΏ½οΏ½π2 β 2ππ +@@π
2)= 4ππ
=β π΅π΄ =β
4ππ = 2βππ. (6.35)
Note that the algebraic steps here are the same as in Exercise 3.9.
In the special case where π = π, Eq. (6.35) gives π΅π΄ = 2βπ2 = 2π. This
makes sense, because we have two equally sized circles sitting next to eachother, so π΅π΄ spans the sum of the two (equal) radii.
Remark: The quantityβππ is called the geometric mean (GM) of π and π.
Another type of mean is the arithmetic mean (AM), which is just the average(π+π)/2. (Weβll talk about these means in Chapter 12.) Now, the hypotenuseof a right triangle, which is π+ π in the present setup, is always greater than orequal to each leg, in particular the horizontal leg which we just found equals2βππ here. (They are equal if the other leg π β π is zero, which happens if
π = π. The βtriangleβ is then just a flat line, which admittedly isnβt much of atriangle.) So we have
hypotenuse β₯ leg =β π + π β₯ 2βππ =β π + π
2β₯βππ, (6.36)
where we have divided both sides by 2. This result tells us that the arithmeticmean is always greater than or equal to the geometric mean (with equality
6.5. Many examples and exercises 277
occurring if π = π). This statement is called the βAM-GM inequality.β Youcan test it for various values of π and π. For example, if π = 12 and π = 3,then the AM is (12 + 3)/2 = 7.5, and the GM is
β12 Β· 3 =
β36 = 6. And 7.5
is indeed greater than 6.
With no mention of triangles, the above proof of the AM-GM inequalityessentially boils down to the following sequence of inequalities:
(π + π)2 β₯ (π + π)2 β (π β π)2 =β (π + π)2 β₯ 4ππ =β π + π
2β₯βππ.
(6.37)The first of these inequalities follows from the fact that (π β π)2, being asquare, is always greater than or equal to zero (independent of which of π or πis larger). And since weβre subtracting it from (π + π)2 on the righthand side,the result must be less than or equal to (π + π)2. The second inequality comesfrom the cancelations in Eq. (6.35). And the third inequality is obtained bytaking the square root of both sides and then dividing both sides by 2.
In terms of the right triangle in Fig. 6.11, the lefthand side of the first inequalityin Eq. (6.37) is the square of the hypotenuse, and the righthand side is thesquare of the π΅π΄ leg (from the Pythagorean theorem usage in Eq. (6.35)). β£
Example 6.5 Fig. 6.12 shows a right triangle with sides π, π, and π. Theinscribed circle is drawn, and the contact points with the three sides dividethem into lengths π, π, and π, as shown. (The lower-right lengths on sides πand π are in fact equal to the radius π , because of the square that arises fromthe fact that a radius is always perpendicular to a tangent; see Exercise 6.24below. Also, the two π lengths shown are indeed equal, as are the two π
lengths, because the two tangents drawn from a given point have the samelength; again see Exercise 6.24. Weβll just accept these facts here.)
br
r
r
r
r
a
c
n
n
m
m
Figure 6.12
278 Chapter 6. Pythagorean theorem
(a) Write down and simplify the statement of the Pythagorean theorem, whenwritten in terms of π, π, and π.
(b) Find the area of the triangle in terms of π, π, and π.
(c) Use your result from part (a) to rewrite the area, and show that it equalsππ (the product of the lengths into which the hypotenuse is divided).
Solution:
(a) The side lengths are π + π, π + π, and π + π, so the Pythagorean theoremgives
(π + π)2 + (π + π)2 = (π + π)2
=β (οΏ½οΏ½π2 + 2ππ + π2) + (@@π2 + 2ππ + π2) = (οΏ½οΏ½π2 + 2ππ +@@π2)
=β 2ππ + 2ππ + 2π2 = 2ππ
=β ππ + ππ + π2 = ππ. (6.38)
(b) Since the legs (the base and height of the triangle) have lengths π = π + πand π = π + π, the area of the triangle is
π΄ =ππ
2=
(π + π) (π + π)2
=ππ + ππ + ππ + π2
2. (6.39)
(c) From Eq. (6.38), the sum of the last three terms in the numerator ofEq. (6.39) is ππ. Substituting this in, the area in Eq. (6.39) becomes
π΄ =ππ + (ππ + ππ + π2)
2=ππ + ππ
2=
AA2ππ
AA2= ππ, (6.40)
as desired.
The above solution to this problem wasnβt too long, but letβs now spend sometime discussing various things further.
Remarks:
1. The simplicity of the above ππ result for the area suggests that there mightbe a clean geometric way of seeing why itβs true, without needing to doany algebra. And indeed, if we consider the π and π segments on the legs(instead of on the hypotenuse) we can draw a suggestive figure. Fig. 6.13shows the idea.The goal is to show that the ππ area of the π-by-π rectangle in the upper-left part of the figure equals the area of triangle π΄π΅πΆ, or equivalently
6.5. Many examples and exercises 279
r
rr
rr
r
r
n
AD
CB
n
m
m
Figure 6.13
triangle π΄π΅π·. And this is indeed the case, because the π-by-π rectanglecan be transformed into triangle π΄π΅π· by moving the shaded triangles asshown. (The like-shaded right triangles are congruent, because they are (1)similar due to the common angle where they touch, and also the commonright angle, and hence the common third angle, and (2) they have the samesize due to the common π leg.)
2. Since Eq. (6.38) tells us that ππ = ππ + ππ + π2, the above π΄ = ππ resultcan also be written as
π΄ = ππ = ππ + ππ + π2 = (π + π + π)π = ππ, (6.41)
where π is the βsemiperimeterβ (half the perimeter). That is, π = π/2 =(2π + 2π + 2π)/2 = π + π + π . This π΄ = ππ result actually holds for alltriangles, not just right triangles. To see why, consider Fig. 6.14, wheretriangle π΄π΅πΆ is divided into sub-triangles π΅πΆπ·, πΆπ΄π·, and π΄π΅π·. Thesetriangles have bases π, π, and π, and they all have the same altitude π. Sothe sum of their areas (which is the area of triangle π΄π΅πΆ) is
ππ
2+ ππ
2+ ππ
2=π + π + π
2Β· π = π
2π = ππ, (6.42)
as desired.
She found a new way to expressA triangleβs π΄ with success.The method prescribed:Take the circle inscribed,And then multiply π by the π.
Going one step further, this π΄ = ππ result actually holds for all polygons(not just triangles) that have an inscribed circle, that is, one that tangen-tially touches all sides. (A randomly drawn polygon with four or more
280 Chapter 6. Pythagorean theorem
B C
D
b
a
c
rr
r
A
Figure 6.14
sides doesnβt in general have this inscribed-circle property. Only specialpolygons do.) The triangle result in Eq. (6.42) is a special case of the moregeneral π΄ = (π/2)π = ππ result for polygons in Eq. (5.51) in the solutionto Exercise 5.24 (where π was equal to 1).
3. Working backwards through the steps of this exercise, we can actuallyproduce another (an 8th!) proof of the Pythagorean theorem. Weβll startwith two expressions for the area (the standard πβ/2 one in Eq. (6.39), andthe ππ semiperimeter one in Eq. (6.42)) and equate them:
ππ =πβ
2=β (π + π + π)π = (π + π) (π + π)
2. (6.43)
Weβll now proceed through a series of steps that will turn this equationinto the Pythagorean theorem. Expanding the products and multiplyingboth sides by 2 gives
2ππ + 2ππ + 2π2 = ππ + ππ + ππ + π2. (6.44)
Subtracting ππ + ππ + π2 from both sides then yields
ππ + ππ + π2 = ππ. (6.45)
Multiplying both sides by 2 and then adding π2 + π2 to both sides gives
2ππ + 2ππ + 2π2 + π2 + π2 = 2ππ + π2 + π2. (6.46)
Finally, grouping the terms in a helpful manner yields
(π2 + 2ππ + π2) + (π2 + 2ππ + π2) = π2 + 2ππ + π2
=β (π + π)2 + (π + π)2 = (π + π)2
=β π2 + π2 = π2, (6.47)
6.5. Many examples and exercises 281
which is the statement of the Pythagorean theorem, as desired.Admittedly, the above sequence of steps would be a bit out of the blue if wehadnβt already solved the exercise in the βforwardβ direction. But havingalready performed those steps, along with knowing what we were aimingfor (the second line in Eq. (6.47)), things were reasonably predictable.Once we produced Eq. (6.45), we just needed to proceed through Eq. (6.38)in reverse.In addition to the πβ/2 and ππ expressions for the area, there is alsothe ππ one, which is justified via Fig. 6.13. Equating any two of thesethree expressions will produce Eq. (6.45) (as you can quickly verify) andtherefore likewise produce the Pythagorean theorem. In other words, theequalities πβ/2 = ππ and ππ = ππ are the starting points of two moreproofs. If you want to count these as distinct new proofs, weβre now up to10 of them! β£
Exercise 6.17 A rectangular box has length π, width π, and height π. Whatis the length of the diagonal between two opposite corners? (You will needto use the Pythagorean theorem twice.)
Exercise 6.18 A large cylindrical storage tank with diameter π and heightβ has a spiral staircase, as shown in Fig. 6.15, which runs once around thecylinder as it climbs the height β. (The slope of the staircase is uniform.)What is the length of the staircase? In the special case where π = β, what isthe length in terms of β? Hint: A cylinder is a βflatβ space, in the sense thatyou can make one out of a piece of paper without ripping the paper.
h
d
Figure 6.15
Exercise 6.19 A pendulum with length π swings back and forth, moving inthe arc of a circle. When it is a distance π₯ off to the side, as shown in Fig. 6.16,
282 Chapter 6. Pythagorean theorem
what is its height π¦ above the lowest point, in terms of π₯ and π ? Assume thatπ¦ is much smaller than π (even though we havenβt drawn it that way), andmake an appropriate approximation. Some helpful lines are drawn.
y
x
Rpath ofpendulum
pivot
Figure 6.16
Exercise 6.20 In addition to being the smallest Pythagorean triple, a 3-4-5right triangle shows up in a very simple geometric setup. Fig. 6.17 shows twoidentical large circles, both with radius 1, tangent to each other and to a line.A small circle is then drawn tangent to the two large circles and the line. Findthe radius π of the small circle, and then show that the right triangle drawnhas a 3-4-5 shape.
rr
1 1
1
r
Figure 6.17
Exercise 6.21 In Exercise 5.22 we used the area of a dodecagon to producean estimate of π. Obtain another estimate here, now using the perimeter. Youwill need to find the dodecagonβs side length; the altitude we drew in Fig. 5.53is helpful for this.
Exercise 6.22 The goal of this exercise is to generalize the procedure inExample 6.2 and Exercise 6.21.
(a) In Fig. 6.18, π΄πΆ is a side of an π-gon inscribed in a circle with radius1, and π΄π΅ and π΅πΆ are sides of a 2π-gon. Assume that you somehow
6.5. Many examples and exercises 283
already know the π΄πΆ = ππ side length of the π-gon. Your task: Showthat the π΄π΅ = π΅πΆ = π2π side length of the 2π-gon is given in terms ofππ by
π2π =
β2 β 2
β1 β π2
π/4 . (6.48)
(You will need to find the π₯ and π¦ lengths shown.)
1
1
an/2
an/2
x
A
C
By
360 /n
360 /2n
a2n
Figure 6.18
(b) Using the known π4 =β
2 side length of a square inscribed in a circlewith radius 1, show that the above formula reproduces the result inExample 6.2 for the π8 side of an octagon.Going one step further, what is π16? And what is the resulting estimateof π? (Itβs easier to work in terms of decimals here, so just plug yoursquare roots into a calculator.) You can keep going and obtain estimatesof π by using a 32-gon and a 64-gon, etc., if you wish!
Exercise 6.23
(a) Show that if you inscribe a triangle in a circle, with a diameter being oneof the sides, then the triangle is a right triangle (with the diameter as thehypotenuse). Hint: Make use of the isosceles triangles in Fig. 6.19(a),after explaining why they are in fact isosceles.
(b) Now prove the βreverseβ statement: Show that if you circumscribe acircle around a right triangle, then the hypotenuse is a diameter of thecircle. Hint: Your goal is to show that the midpoint of the hypotenuse is
284 Chapter 6. Pythagorean theorem
(b)
d
dd ?
(a)
Figure 6.19
the center of the circle, which is equivalent to showing that its distanceto the right-angled vertex (the long-dashed line drawn in Fig. 6.19(b)) isthe same as the (common) distance π to the two other vertices. A helpfulvertical (short-dashed) line is drawn. Look for some similar triangles.
Exercise 6.24 A tangent is a line that touches a circle at exactly one point.That is, it just barely touches the circle. The word βtangentβ can be used as anoun, as in the preceding sentence, and also as an adjective, as in βThis lineis tangent to the circle.β
Weβve encountered tangents on a few occasions already. This exercise containstwo theorems about them. You might consider these theorems to be fairlyobvious, but itβs still good to formally prove them.
(a) Prove that a tangent to a circle is perpendicular to the radius at thepoint of contact, as shown in Fig. 6.20(a). Hint: You can prove this bymaking use of the left/right symmetry in the picture. Or you can seewhat incorrect result the Pythagorean theorem would imply if the radiusand tangent werenβt perpendicular.
(b) From a given point π outside a circle, draw the two tangent lines to thecircle. Prove that these two tangents have the same length, as shown inFig. 6.20(b).
Exercise 6.25 (This exercise is an extension of Example 6.4.) If we add athird circle to the setup in Fig. 6.11, as shown in Fig. 6.21, what is its radiusπ , in terms of the other two radii π and π? Hint: Apply the result fromExample 6.4 multiple times, and use the fact that the segments along π΅π΄ mustadd up properly. Solving for π in the equation you obtain will involve a fewalgebraic steps.
6.5. Many examples and exercises 285
A B
P
d d
(a) (b)
Figure 6.20
a
br
B C A
Figure 6.21
Exercise 6.26 (This exercise is very similar to Example 6.4.) Fig. 6.22 showsa circle with radius π centered at π΅. From an arbitrary point π΄ outside thecircle, the tangents (the dashed lines) are drawn; let their length be π. A circlewith radius π is then drawn, centered at π΄. Find the length π of the commontangent to the two circles. Hint: You can quickly determine two sides of theshaded triangle.
bb
B
C
A
aa
d = ?
Figure 6.22
286 Chapter 6. Pythagorean theorem
6.6 Benefits of using letters
In Section 6.4 we solved the distance-to-horizon problem twice, first using numbers,and then using letters (plugging in the numbers only at the end). The logic behindthe solutions was the same, but they looked a bit different on paper. The techniqueof using letters instead of numbers is called solving a problem symbolically, whichbasically just means youβre doing algebra (with letters) instead of arithmetic (withnumbers).
If youβre solving a problem where the quantities are specified numerically, itis often advantageous to immediately change the numbers to letters (like replacing6,400 m with π , and 100 m with β in the horizon example). You can then solve theproblem in terms of the letters. After you obtain a symbolic answer, you can plug inthe actual numerical values to obtain a numerical answer. There are many benefitsof solving problems symbolically. And now that you have algebra at your fingertips,you should take advantage of these benefits. Letβs list them out.
β’ It is quicker. Itβs much easier to multiply an π by an β by writing themdown on a piece of paper next to each other, than it is to multiply theirnumerical values on a calculator. If solving a problem involves five or tensuch operations, the time would add up if you performed all the operations ona calculator.
β’ You are less likely to make a mistake. Numbers can get messy. Itβs veryeasy to mistype an 8 for a 9 in a calculator, but youβre probably not going tomiswrite a π for an β on a piece of paper. But even if you do, youβll quicklyrealize that it should be an β. You certainly wonβt just give up on the problemand deem it unsolvable because no one gave you the value of π!
β’ You can do the problem once and for all. If someone comes along andsays, oops, the value of β is actually 90 m instead of 100 m, then you wonβtneed to do the whole problem again. You can simply plug the new value ofβ into your symbolic answer. Thatβs the beauty of working with letters. Asymbolic answer is valid for any value of the letter you might want to plugin (well, subject to any approximations, like the β βͺ π one in the horizonexample).
β’ You can see the general dependence of your answer on the variousparameters (letters). For example, you can see that the π =
β2π β result
in Eq. (6.23) increases as either π or β increases. (For short, we say in this
6.6. Benefits of using letters 287
case that βπ grows with π and β.β) Furthermore, you can see how π growswith π and β: It grows in a square-root manner for both. So if you increase β
by a factor of 100, you can see only 10 times as far. Equivalently, the square(instead of square root) behavior in the β = π2/2π result in Eq. (6.28) tells usthat if we increase the distance π by a factor of 10, then we need to increase β
by a factor of 100. There is much more information contained in the symbolicanswer in Eq. (6.23) than in the numerical answer in Eq. (6.20).
As a bonus, symbolic answers nearly always look nice and pretty. Even incases like in Eq. (6.21) where the symbolic answer isnβt super pretty, there isstill a huge amount of information. Under the β βͺ π approximation, youcan say that the β2 term is very small compared with the 2π β term, whichmeans that you can ignore it. This leaves you with the result in Eq. (6.23),which is in fact super pretty.
β’ You can check special/extreme cases. (This is a long bullet point, sinceitβs so important.) This benefit goes hand-in-hand with the previous βgeneraldependenceβ advantage. Since symbolic answers allow you to see the depen-dence on the various letters, you can easily determine what your answer is(or at least how it behaves) in various special or extreme cases. For example,perhaps you can determine what your answer is when a particular letter equalszero. Or when it is very large. Or when two letters are equal to each other.And so on.
It is often the case that your intuition gives you information about what theanswer should be in special/extreme cases, even if you donβt have any intuitionabout general values of the letters. You should take advantage of this. Forexample, I have no clue how far I can see to the horizon from a height of,say, 500 meters. But I do know for sure that I can see zero distance fromzero height. (Itβs up to you whether you want to call this βintuitionβ or just anobvious fact.) And indeed, the π =
β2π β result in Eq. (6.23) correctly equals
zero when β = 0. If you accidentally replaced the β here with π and endedup with an answer of
β2π 2, or if you simply forgot the β and ended up withβ
2π , then these answers donβt equal zero when β = 0. So youβd know thatyou needed to go back and check over your work. Likewise if you accidentallywrote the result in Eq. (6.21) as, say,
β2π β + π 2.
You donβt need to be a magician,Or cough up a hefty tuition.When you check an extreme,Thereβs a nice simple scheme:Test your answer against intuition!
288 Chapter 6. Pythagorean theorem
In the other extreme, where β gets very large, the π =β
2π β + β2 result inEq. (6.21) also gets very large, which makes sense; π correctly grows as β
grows. (For large β, theβ
2π β result in Eq. (6.23) isnβt valid, since it wasderived under the assumption that β is much smaller than π . So we need touse the
β2π β + β2 expression here.) In particular, if β is much larger than π
(imagine that youβre on the moon, looking at the earth), then the 2π β termis small compared with the β2 term (it is smaller by the factor 2π /β). So toa reasonable approximation, we can ignore the 2π β in
β2π β + β2, in which
case weβre left with π βββ2 = β. This makes sense; from the moon, the
distance π to the earthβs horizon is approximately equal to the distance β tothe nearest point on the earth; see Fig. 6.23.
R
R h
d
you
Figure 6.23
A better intuitive approximation for π is β + π , due to the extra distance ofroughly π to reach the horizon, as opposed to just the nearest point on theearth. Equivalently, the long leg π in Fig. 6.23 is approximately equal tothe hypotenuse β + π since the right triangle is very thin. (However, weβreassuming π is much smaller than β, so the distinction between β and β+π isnβttoo important.) If you made a mistake and obtained a π of, say,
β2π β + 2β2,
then ignoring the 2π β term would yield an approximate answer ofβ
2β. Whenβ is large, this answer is much larger than either of our approximate intuitiveanswers (β or β + π ). It therefore canβt be correct. So youβd know to go backand check over your work.
As another example, consider the 2πΏπ + 2ππ + 4π2 result in Eq. (5.5) inExample 5.1. In the special case where π = 0, the frame has no width, so thearea clearly has to be zero. And the above answer is indeed zero when π = 0.If you made a mistake and accidentally replaced the first π with an πΏ, yielding2πΏ2 + 2ππ + 4π2, then youβd know this couldnβt be correct, because it equals2πΏ2, instead of zero, when π = 0.
Likewise for the 2πππ + ππ2 result in Eq. (5.17) for the area of a ring betweentwo circles. The answer must equal zero when the thickness π of the ringis zero, and the above expression correctly has this property. Furthermore,when π is very small, but not exactly zero, we can ignore the very small π2
term, in which case the expression reduces to 2πππ. This is consistent with
6.6. Benefits of using letters 289
the fact that the area of the ring is (when π is very small) essentially equalto the circumference 2ππ times the thickness π, as we saw in Eq. (5.19). Ifyou made a mistake and dropped the 2 and obtained an answer of πππ + ππ2,then although the π = 0 special case correctly yields zero, the π-small-but-not-exactly-zero case doesnβt yield 2ππ times π. So youβd know to go backand check over your work. No matter how many special cases you check thatare correct, if you obtain even just one that isnβt correct, then you know thatyour answer must be wrong.
Another example of checking a special case is the π8 β π8 = (π4 + π4) (π2 +π2)(π + π) (π β π) factoring result in Eq. (4.38) in Example 4.6. In the specialcase where π = π, the lefthand side is zero. And the righthand side is correctlyalso zero. (Likewise for the π = βπ special case; both sides are zero.) If youforgot the π β π factor on the right, then the righthand side wouldnβt be zero,so youβd know you made a mistake in your factoring. As another example, inthe solution to Example 6.4 we noted that the π΅π΄ = 2
βππ result in Eq. (6.35)
correctly reduces to 2π in the special case where π = π.
Bottom line: When you arrive at an answer after solving a problem, youshould always look for special/extreme cases to check. And you should dothis not because Iβm telling you to(!), but rather because it will either (a) giveyou the definite information that your answer is incorrect (in which case younow know you need to go fix it), or (b) allow you to feel a little more confidentabout your answer if youβve checked a number of special/extreme cases andthey all agree with what you know must be true. Such is the case with the sumformulas in Exercises 4.16, 4.17, and 4.18. After checking those formulasfor a number of small values of π, you will certainly be more confident thattheyβre actually correct.
Of course, checking special/extreme cases will never tell you that your answeris definitely correct. Itβs quite possible that youβve produced an incorrectanswer that just happens by luck to give the correct answer for a number ofspecial cases. However, as weβve noted, looking at a special/extreme casemight very well tell you that your answer is definitely incorrect. If pluggingin a special value for a letter gives an answer that doesnβt agree with youintuition, then (assuming that your intuition is correct) you have obtained theirrefutable information that your answer is wrong. This seemingly dispiritinginformation is actually a good thing, because as mentioned above, at least younow know that you should go back and check over your work. This outcomecertainly beats pressing onward in blissful ignorance, thinking that you havethe correct answer, when in fact you donβt!
290 Chapter 6. Pythagorean theorem
β’ You can check units. In addition to checking special/extreme cases, sym-bolic answers also allow you to easily check units. In the π =
β2π β result
in Eq. (6.23), both π and β have units of meters (or feet, or whatever unit oflength youβre working with). So the units of the π are
βm Β· m =
βm2 = m,
which is correct. (In determining the units, we can ignore the numerical factor2, since it doesnβt have any units.)
If you made a mistake and obtained an answer ofβ
2π /β, with the β inthe denominator, then youβd know it had to be wrong, because the units areβ
m/m =β
1 = 1, where the 1 here simply means thatβ
2π /β doesnβt haveany units. This is incorrect, since π must have units of meters. Similarly, ifyou accidentally dropped the π and obtained an answer of
β2β, this has units
ofβ
m, which is incorrect.
Of course, the units will also work out (assuming you donβt make a mistake)if you solve a problem in terms of numbers instead of letters, as we saw inEqs. (6.18)β(6.20). You therefore can (and should) also check the units ofyour answer when working with numbers. But again, solving a problem interms of numbers instead of letters can often be a pain.
In summary, there are many significant benefits of using letters instead of num-bers. And now that youβve had lots of practice with algebra, youβre able to workwith letters at will. So take advantage of all of their wonderful benefits β theyβllmake your life much more pleasant!
They strove to be mighty trend setters,And be free from numerical fetters.Their motto on numbers?βReject what encumbers!And bask in the glory of letters!β
6.7. Exercise solutions 291
6.7 Exercise solutions
1. Plugging the π and π expressions from Eq. (6.8) into Eq. (6.1) gives
π2 + π2 = (π2 β π2) + (2ππ)2
= (π4 β 2π2π2 + π4) + 4π2π2
= π4 + 2π2π2 + π4
= (π2 + π2)2
= π2, (6.49)
as desired.
2. Since π2 β π2 equals (π + π)(π β π), our goal is to show that this product equalsπ2. Plugging in the expressions for π and π from Eq. (6.8) gives
π2 β π2 = (π + π)(π β π) (6.50)
=((π2 + π2) + 2ππ
) ((π2 + π2) β 2ππ
)= (π + π)2(π β π)2 =
((π + π) (π β π)
)2 = (π2 β π2)2 = π2,
as desired. In the last line, we used the difference-of-squares result in reverse.
3. Weβll just check a few of the triples here. The following relations are all true:
72 + 242 = 252 ββ 49 + 576 = 625,212 + 202 = 292 ββ 441 + 400 = 841,92 + 402 = 412 ββ 81 + 1600 = 1681. (6.51)
4. From the Pythagorean theorem, the diagonal of 11.3-by-7 rectangle isβ11.32 + 72 =
β176.7 = 13.3. (6.52)
And the diagonal of a 14.4-by-9.0 rectangle isβ14.42 + 92 =
β288.4 = 17. (6.53)
For the first of these, people usually just call it a 13-inch screen, althoughtechnically itβs 13.3.
There are many (an infinite number of) other shapes of rectangles, with differentwidth-to-height ratios (called the βaspect ratioβ), that also have diagonals of 13.3and 17. However, computers generally stick to a few common aspect ratios, like16 : 10 (equivalently 8 : 5), 16 : 9, and 4 : 3.
292 Chapter 6. Pythagorean theorem
5. If you walk along two sides, the distance (in yards) is simply 100+53.33 = 153.33.From the Pythagorean theorem, the length of the diagonal isβ
1002 + 53.332 =β
12,844 = 113.33. (6.54)
So you save 153.33 β 113.33 = 40 yards by walking diagonally. The diagonalisnβt that much longer than the long side (113 vs. 100), so you save almost asmuch as the short side (40 vs. 53).
Interestingly, if youβve ever wondered how big an acre is, itβs a little less thana football field. This follows from the fact that an acre is defined to be 43,560square feet (1/640 of a square mile, as you can verify, since 1 mile = 5,280 feet),and a football field (300 feet by 160 feet) is 48,000 square feet.
6. If π = 1, the expressions in Eq. (6.8) become
π = π2 β 1, π = 2π, π = π2 + 1. (6.55)
Since π/2 is simplyπ, we see that π and π do indeed take the form of (π/2)2Β±1 =π2 Β± 1.
7. Starting with π = 2π β 1 and following the given recipe, we first square π toobtain
π2 = (2π β 1)2 = 4π2 β 4π + 1. (6.56)
We then add or subtract 1 to obtain 4π2 β 4π + 2 and 4π2 β 4π . Finally, we divideby 2 and label the results as π and π:
π = 2π2 β 2π + 1, π = 2π2 β 2π. (6.57)
Our goal is to show that (π, π, π) is a Pythagorean triple, that is, that π2+π2 = π2.The sum π2 + π2 equals
π2 + π2 = (2π β 1)2 + (2π2 β 2π)2
= (4π2 β 4π + 1) + (4π4 β 8π3 + 4π2)= 4π4 β 8π3 + 8π2 β 4π + 1. (6.58)
We want to show that this equals π2, which is obtained by squaring the trinomialfor π in Eq. (6.57). Using the trinomial result from Example 3.6, we obtain
(2π2 β 2π + 1)2 =((2π2)2 + (β2π)2 + 12
)+ 2
((2π2) (β2π) + (2π2) (1) + (β2π)(1)
)=
(4π4 + 4π2 + 1
)+
(β 8π3 + 4π2 β 4π
)= 4π4 β 8π3 + 8π2 β 4π + 1, (6.59)
6.7. Exercise solutions 293
in agreement with the π2 + π2 sum in Eq. (6.58), as desired.
This calculation was a bit long, and there were many places where we could havemade a mistake. But we were careful, and it all worked out. The reward for theeffort was two long expressions that were exactly equal to each other. Perhapsthe most likely error in the calculation is forgetting to distribute the 2 into allthree terms in the parentheses in the second line of Eq. (6.59).
The purpose of this exercise was to get some algebra practice. If the goal wereinstead to show as quickly as possible that π2+π2 = π2 (once π and π are obtainedin Eq. (6.57)), then the best route would be to write this as π2 = π2 β π2, andthen use the difference-of-squares result. This method is much quicker, as youcan verify!
Note that our starting π = 2π β 1 expression, along with the expressions for πand π in Eq. (6.57), are the same as the expressions for π, π, and π in Eq. (6.10)(which came from Eq. (6.8)), with π replaced by π . So we already knew fromour original proof in Exercise 6.1 that the π2 + π2 = π2 relation holds. But again,the purpose of this exercise was to verify that π2 + π2 = π2 holds by doing somealgebra.
8. The overall square has side length π + π, so its area is (π + π)2. The area of thesmaller square is π2. And the area of each of the four triangles is ππ/2 (sinceeach one has a base of π and a height of π, or vice versa). So the statement thatthe overall area equals the sum of the areas of the sub-regions is
(π + π)2 = 4 Β· ππ2
+ π2
=β π2 +οΏ½οΏ½οΏ½2ππ + π2 =οΏ½οΏ½οΏ½2ππ + π2
=β π2 + π2 = π2, (6.60)
as desired. The third line is obtained by canceling the 2ππ terms on each sideof the second line (or more precisely, by subtracting 2ππ from both sides of thesecond line, as explained in the second terminology bullet point on page 163).
9. The area of the overall square is π2, and the area of the smaller square is (πβ π)2.The area of each of the four triangles is ππ/2 (since each one has a base of π anda height of π, or vice versa), So the statement that the overall area equals the sumof the areas of the sub-regions is
π2 = 4 Β· ππ2
+ (π β π)2
=οΏ½οΏ½οΏ½2ππ + (π2 βοΏ½οΏ½οΏ½2ππ + π2)= π2 + π2, (6.61)
as desired.
294 Chapter 6. Pythagorean theorem
10. Fig. 6.24 shows the rearrangement. The white squares that are formed have sidelengths π and π, because those are the legs of the four shaded rectangles in theoriginal figure. So the area of the white region is indeed π2 + π2.
Note that we donβt even need to know that the area of a triangle is πβ/2 here, aswe did in the first two proofs above. All we need to know is that the area of asquare is the side length squared.
bb
b
c b2
a2
c2
ba
a
a
a
Figure 6.24
11. We just need to move the two dark-shaded triangles in Fig. 6.25 as indicated. (Itdoesnβt matter which one goes where, since theyβre identical.) The total shadedarea (light and dark) is the same in the two figures. And since this area is π2 + π2
in the left figure and π2 in the right, it follows that π2 + π2 = π2.
a
a
a
b
b
b c
ca
a
a
b
b
b c
c
Figure 6.25
This proof and the preceding one show that sometimes a proof doesnβt requireany words (even though we did use some). A simple picture by itself can do thetrick!
6.7. Exercise solutions 295
The proof she gave somehow succeeded(a bit odd, given how it proceeded).But the picture she drewSoon convinced us itβs trueThat in some cases words are not needed!
12. For convenience in Fig. 6.26, let β π΄ be labeled asπΌ, as shown. Then β π΅ = 90β¦βπΌbecause β π΄πΆπ΅ = 90β¦, and the three angles in triangle π΄π΅πΆ must add up to 180β¦.
a
A
B
C
Da2/c
ab/cb2/c
Ξ±
Ξ±
b
90 β Ξ±
c90 β Ξ±
Figure 6.26
Similarly, in right triangle π΄πΆπ·, we have β π΄πΆπ· = 90β¦βπΌ because β π΄π·πΆ = 90β¦,and the three angles in triangle π΄πΆπ· must add up to 180β¦.
Finally, due to the original right angle at πΆ, we have
β π·πΆπ΅ = 90β¦ β β π·πΆπ΄ = 90β¦ β (90β¦ β πΌ) = πΌ. (6.62)
You can also deduce this πΌ angle by demanding that the angles in triangle πΆπ΅π·
add up to 180β¦.
We therefore see that all three of the triangles π΄π΅πΆ, π΄πΆπ·, andπΆπ΅π· have anglesof 90β¦, πΌ, and 90β¦ β πΌ. Hence they are all similar, as we wanted to show.
We can now use the similarity of the triangles to write down some useful ratios.In the overall triangle π΄π΅πΆ, the short leg π is π/π times the hypotenuse π, andthe long leg π is π/π times the hypotenuse π. Since the other two smaller righttriangles are similar to the overall one, they must have these same ratios. Thatis, in each triangle, the short leg is π/π times the hypotenuse, and the long leg isπ/π times the hypotenuse.
So in the smallest triangle, the short leg π΅π· is π/π times the hypotenuse, whichis πΆπ΅ = π. So π΅π· = (π/π)π = π2/π, as shown.
And in the medium triangle, the long leg π΄π· is π/π times the hypotenuse, whichis π΄πΆ = π. So π΄π· = (π/π)π = π2/π, as shown.
296 Chapter 6. Pythagorean theorem
We can now use the fact that π΅π· + π΄π· equals the hypotenuse π of the overalltriangle. This gives
π΅π· + π΄π· = π =β π2
π+ π2
π= π =β π2 + π2 = π2, (6.63)
where this last equation is obtained from the middle one by multiplying bothsides by π.
Remark: We can also find the length of the altitude, πΆπ·, in various differentways. In the smallest triangle, the long leg πΆπ· is π/π times the hypotenuse,which is πΆπ΅ = π. So πΆπ· = (π/π)π = ππ/π, as shown.
Alternatively, in the medium triangle, the short leg πΆπ· is π/π times the hy-potenuse, which is π΄πΆ = π. So πΆπ· = (π/π)π = ππ/π.
Alternatively again, we can findπΆπ· by writing down two valid πβ/2 expressionsfor the area of the overall triangle. We can consider π to be the base and π tobe the height. Or we can consider π to be the base and πΆπ· to be the height.Equating the two resulting expressions for the area gives
ππ
2=π(πΆπ·)
2=β ππ
π= πΆπ· , (6.64)
where the second equation is obtained from the first by multiplying both sidesby 2/π. β£
13. Let the three triangles (overall, medium, and smallest) be labeled π1, π2, and π3,respectively. The hypotenuse of π1 is π, and the hypotenuse of π2 is π. So π2 isobtained by scaling down π1 by the factor π = π/π. The results from Section 5.5then tell us that the areas are related by π΄2 = π 2π΄1 =β π΄2 = (π/π)2π΄1.
Similarly, the hypotenuse of π3 is π, so π3 is obtained by scaling down π1 bythe factor π = π/π. The areas are therefore related by π΄3 = π 2π΄1 =β π΄3 =(π/π)2π΄1.
The π΄2 + π΄3 = π΄1 relation for areas then becomes
π2
π2 π΄1 +π2
π2 π΄1 = π΄1 =β π2
π2 + π2
π2 = 1 =β π2 + π2 = π2, (6.65)
as desired. The last equation is obtained by dividing both sides of the firstequation by π΄1, and then multiplying both sides of the second equation by π2.(Or you can just multiply by π2/π΄1 in one step.)
6.7. Exercise solutions 297
14. The dark-shaded triangles π΄1π΅π΄ and πΆπ΅πΆ1 in Fig. 6.7 both have sides withlengths π and π. So if we can show that the angles β π΄1π΅π΄ and β πΆπ΅πΆ1 betweenthese common sides are equal, then by the SAS postulate weβll know that the twotriangles are congruent. These angles are indeed equal because
β π΄1π΅π΄ = β π΄1π΅πΆ + β πΆπ΅π΄ = 90β¦ + β πΆπ΅π΄,
and β πΆπ΅πΆ1 = β π΄π΅πΆ1 + β πΆπ΅π΄ = 90β¦ + β πΆπ΅π΄. (6.66)
So both angles are 90β¦ plus β πΆπ΅π΄, and hence are equal. Triangles π΄1π΅π΄ andπΆπ΅πΆ1 are therefore congruent by the SAS postulate. So they have the same area.
Note: Another (quick) way of seeing why triangles π΄1π΅π΄ and πΆπ΅πΆ1 are con-gruent is to imagine rotating triangle πΆπ΅πΆ1 clockwise by 90β¦ around point π΅. Itwill turn into triangle π΄1π΅π΄.
All of the above reasoning holds with the light-shaded triangles too, so they arealso congruent and hence have the same area.
We now claim that the area of triangle π΄1π΅π΄ is half the area of the square withside π. This is true because in the standard (1/2)πβ expression for the area of atriangle, we can pick the base to be the π΄1π΅ = π side, in which case the altitudefrom π΄ to the (extension of the) π΄1π΅ side has length π, as shown in Fig. 6.27(a).So the area of triangle π΄1π΅π΄ is (1/2)πβ = (1/2)π Β· π = π2/2, which is indeedhalf the area of the square with side π.
a
C1
C
B
c
x
ah = a
h = x
a
A2
A1 R1
C
(a) (b)
B
(height)
(height)
(base)
(base)
A
c
Figure 6.27
We also claim that the area of triangleπΆπ΅πΆ1 is half the area of the π 1 rectangularpart of the square with side π that is above/left of the dashed line. This is true
298 Chapter 6. Pythagorean theorem
because in the standard (1/2)πβ expression for the area of a triangle, we canpick the base to be the π΅πΆ1 = π side, in which case the altitude from πΆ to the(extension of the) π΅πΆ1 side has the length π₯ shown in Fig. 6.27(b). So the areaof triangle πΆπ΅πΆ1 is (1/2)πβ = (1/2)π Β· π₯ = ππ₯/2, which is indeed half the areaof the π 1 rectangle with sides π and π₯.
The preceding two paragraphs, combined with the fact that triangles π΄1π΅π΄ andπΆπ΅πΆ1 are congruent, tell us that π2/2 = ππ₯/2, which (after multiplying bothsides by 2) means that π2 = ππ₯. So the ππ₯ area of the π 1 rectangle is simply π2.
We can now repeat (or rather, just imagine repeating) the entire process above,but with the light-shaded congruent triangles. The result will be that the area ofthe π 2 rectangular part of the square with side π that is below/right of the dashedline equals π2.
Finally, since the π2 and π2 areas of the π 1 and π 2 rectangles add up to the π2
area of the square with side π, we conclude that π2 + π2 = π2, as desired.
The above proof might seem long, but hereβs the quick summary: Trianglesπ΄1π΅π΄ and πΆπ΅πΆ1 are congruent because they can be rotated into each other.So they have the same area. Fig. 6.27 then shows that these triangles have(with appropriately chosen bases) the same heights as the π2 square and the π 1rectangle. This square and rectangle therefore also have the same area (bothtwice the common triangle area). So the π 1 rectangle has area π2. Likewise, theπ 2 rectangle has area π2. Finally, the π 1 and π 2 areas add up to π2.
15. In terms of π , plugging β = π /16 into Eqs. (6.21) and (6.23) gives
πexact =β
2π β + β2 =β
2π (π /16) + (π /16)2
=βπ 2(1/8 + 1/256) = π
β0.1289 = (0.3590)π ,
πapprox =β
2π β =β
2π (π /16)=
βπ 2(1/8) = π
β0.125 = (0.3536)π . (6.67)
With π = 6,400 km, these results become
πexact = (0.3590)(6,400 km) = 2298 km,
πapprox = (0.3536)(6,400 km) = 2263 km. (6.68)
The difference in these answers is only 35 km, which is about 0.015 (equivalently,1.5%) of the exact 2298 km distance. So the approximation in Eq. (6.23) is stillvery good, even for the large (but still small compared with π ) β value of theSpace Station.
6.7. Exercise solutions 299
R β h
hBostonNYC
R
d/2d/2
Figure 6.28
16. The setup is shown in Fig. 6.28. The desired maximum depth is β, and the totaldistance from Boston to NYC is π = 300 km.
There is technically an ambiguity about whether the 300 km is the straight-linedistance or the curved distance along the surface of the earth. But it doesnβtmatter since these two distances are essentially the same. If the two cities weresignificantly farther apart, then we would have to worry about this issue. Thestraight-line distance is the useful one in Fig. 6.28, so if (as would be the casein real life) weβre given the curved distance, the first thing weβd have to dois somehow calculate the straight-line distance. But thereβs no need to do thathere, since the two distances are indistinguishable (because 300 km is sufficientlysmall compared with the 6,400 km radius of the earth). Itβs possible to show (withtrigonometry; see Chapter 16) that the two distances differ by only about 0.01%.
The right triangle in Fig. 6.28 has legs π/2 and π β β, and hypotenuse π . So thePythagorean theorem gives
(π/2)2 + (π β β)2 = π 2 =β (π/2)2 = π 2 β (π β β)2
=β π2/4 =οΏ½οΏ½π 2 β (οΏ½οΏ½π 2 β 2π β + β2). (6.69)
As we did in the distance-to-horizon problem in the text, we can ignore the β2
term, because it is negligible compared with the 2π β term. Weβre then left with
π2
4= 2π β =β β =
π2
8π , (6.70)
where we have divided both sides by 2π (and then switched sides). Plugging inthe Boston-NYC distance of 300 km gives
β =(300 km)2
8(6,400 km) β 1.75 km β 1.1 miles. (6.71)
Is this answer larger or smaller than what you expected? Personally, my firstguess was that the tunnel would be deeper than this. But in retrospect, the earthis nearly flat on the scale of 300 km, so this small value of β is quite believable.
300 Chapter 6. Pythagorean theorem
Note that our earlier result for the tower height β in Eq. (6.28) is 4 times theresult for the depth β in Eq. (6.70). So if you build a tower in Boston tall enoughto see NYC (the ground there, not just the skyline), and if you also dig a tunnelbetween the two cities, then the tower will be 4 times as tall as the tunnel isdeep. Since we just found that the tunnel will be 1.75 km deep, the tower will be4(1.75 km) = 7 km (or 4.3 miles) tall.
17. The setup is shown in Fig. 6.29. In the bottom face of the box, we have a righttriangle with legs π and π, so our first application of the Pythagorean theoremgives the hypotenuse π1 as
π2 + π2 = π21 =β π1 =
βπ2 + π2. (6.72)
This is the length of a diagonal of the bottom (or top) face of the box, not thewhole box itself.
a
d1
d2
b
c
Figure 6.29
We now note that we have another right triangle β the vertical one with legs π1and π, and hypotenuse π2. So our second application of the Pythagorean theoremgives
π21 + π2 = π2
2 . (6.73)
Substituting the value of π21 from Eq. (6.72) into this equation gives
(π2 + π2) + π2 = π22 =β π2 =
βπ2 + π2 + π2. (6.74)
This is the desired length of the diagonal of the box. This expression is symmetricin π, π, and π, because (just as with the Pythagorean theorem) it canβt matterwhich of the three dimensions you arbitrarily choose to label as π, or π, orπ. Said in another way, if your first application of the Pythagorean theoreminstead involved one of the side faces, you would still end up with the same finalπ2 =
βπ2 + π2 + π2 result.
6.7. Exercise solutions 301
18. The key is to unroll the cylinder into a flat rectangle, as shown in Fig. 6.30. Thewidth of the rectangle is the ππ circumference of the cylinder, and the diagonalπΏ is the desired length of the staircase. (Yes, the sides in Fig. 6.30 are in factin the correct proportion, for the given cylinder shown in Fig. 6.15. The ππ
circumference is longer than you might think.)
h
L
Οd
Figure 6.30
Applying the Pythagorean theorem to the right triangle in the figure gives thelength πΏ of the staircase as
(ππ)2 + β2 = πΏ2 =β πΏ =βπ2π2 + β2. (6.75)
This is the answer in terms of the general lengths π and β. But in the special casewhere π = β, we have
πΏ =βπ2β2 + β2 =
β(π2 + 1)β2 =
βπ2 + 1 Β· β β (3.3)β. (6.76)
We see that the length πΏ of the staircase is only slightly longer than the circum-ference ππ. This is because the long leg of the right triangle, πβ, is significantlylonger than the short leg, β.We can check our general result in Eq. (6.75) for some special cases. If β = 0,then the cylinder has zero height, so the βstaircaseβ is just a horizontal circle. AndEq. (6.75) correctly gives the
βπ2π2 + 02 = ππ circumference of the circle. In the
other extreme, if π = 0, the cylinder is just a vertical segment, so the βstaicraseβis a vertical ladder. And Eq. (6.75) correctly gives the
βπ2 Β· 02 + β2 = β height
of the segment.
19. If the pendulum is presently π¦ above the lowest point, then it is π β π¦ below thepivot (the center of the circular arc), as shown in Fig. 6.31. So the sides of theright triangle in the figure are π₯, π β π¦, and π . The Pythagorean theorem thengives
π₯2 + (π β π¦)2 = π 2 =β π₯2 = π 2 β (π β π¦)2
=β π₯2 =οΏ½οΏ½π 2 β (οΏ½οΏ½π 2 β 2π π¦ + π¦2)
=β π₯2 = 2π π¦ β π¦2. (6.77)
302 Chapter 6. Pythagorean theorem
R β y
y
x
R
Figure 6.31
Weβll now make the approximation where we ignore the π¦2 term since it is muchsmaller than the 2π π¦ term. (π¦2 is π¦/2π times 2π π¦, and this factor of π¦/2π issmall, since weβre assuming that π¦ is much smaller than π .) Weβre therefore leftwith
π₯2 β 2π π¦ =β π¦ β π₯2
2π . (6.78)
This problem is just an upside-down version of the tunnel setup in Exercise 6.16,with π/2 replaced with π₯, and β replaced with π¦. The pendulum moves in thearc of a circle with radius π , just like the surface of the earth took the shape of acircle with radius π in Exercise 6.16.
The π₯2 in Eq. (6.78) means that the pendulumβs motion takes (approximately,assuming π¦ is much smaller than π ) the form of a parabola. Parabolas arefunctions of the form π¦ = π΄π₯2. Weβll talk about these, along with other types offunctions, in Chapter 8. What weβve shown in this exercise is that a circle lookslike a parabola, at least near the bottom point. The circle/parabola starts out flatand then gradually gets steeper. If you double the π₯ value from, say, π to 2π,then the π¦ value quadruples from π2/2π to (2π)2/2π = 4 Β· π2/2π . Similarly,increasing π₯ by a factor of 10 increases π¦ by a factor of 102 = 100 (assuming π¦
is still much smaller than π ).
20. Since weβve chosen the radii of the large circles be 1, the hypotenuse of the righttriangle has length 1 + π. And the vertical leg has length 1 β π, because its topand bottom ends are at heights of, respectively, 1 and π above the bottom line.The right triangle therefore has legs 1 and 1 β π, and hypotenuse 1 + π.
Since the side lengths of 1β π, 1, and 1 + π are equally spaced (with the commonspacing being π), we can simply invoke the result from Example 6.3, which tellsus that the sides are in the ratio of 3 : 4 : 5, as desired. So weβre done. But letβswork it out again anyway. The Pythagorean theorem applied to the right triangle
6.7. Exercise solutions 303
in Fig. 6.17 gives
1 + (1 β π)2 = (1 + π)2 =β 1 = (1 + π)2 β (1 β π)2
=β 1 = (AA1 + 2π + οΏ½οΏ½π2) β (AA1 β 2π + οΏ½οΏ½π2)=β 1 = 4π =β π = 1/4. (6.79)
The legs of the right triangle are then 1 β π = 3/4, and 1. And the hypotenuse is1 + π = 5/4. Scaling all of these up by a factor of 4 gives sides of 3, 4, and 5, asdesired.
If you instead start with a general radius π for the large circles, instead of 1, youwill (as you can verify) end up with sides of 3π /4, π , and 5π /4, which are againin the ratio of 3 : 4 : 5. The value of π is different (π /4 instead of 1/4), but the3 : 4 : 5 ratio isnβt affected.
21. This exercise is very similar to Example 6.2. Fig. 6.32 shows a 30β¦ pie piece(just the triangle, without the rounded end). Letting the radius be 1 as usual, the30-60-90 triangle in the left part of the pie piece has legs with lengths 1/2 andβ
3/2 (from Section 5.4), as shown.
2
s
1
30
60
3/23/
2/
1 β
1
Figure 6.32
Since the bottom side of the pie piece has length 1 (because itβs also a radius),a length 1 β
β3/2 is left for the short segment on the right side, as shown. The
Pythagorean theorem applied to the right triangle in the right part of the pie piecethen gives the dodecagonβs side length π as
π 2 = (1/2)2 +(1 β
β3/2
)2 = 1/4 +(1 β
β3 + 3/4
)= 2 β
β3. (6.80)
So π =β
2 ββ
3 β 0.518. Multiplying this by 12 to find the perimeter ofthe dodecagon gives πdodec β 6.21. The πΆcirc > πdodec statement that thecircumference of the circle is greater than the perimeter of the dodecagon is then2π > 6.21, or equivalently π > 3.1, after dividing by 2. This value is about 99%of the true π β 3.14 value, so the approximation is a very good one.
304 Chapter 6. Pythagorean theorem
22. (a) The upper-left right triangle in Fig. 6.18 has hypotenuse 1 and vertical legππ/2. So the Pythagorean theorem gives the horizontal leg π₯ as
π₯2 + (ππ/2)2 = 12 =β π₯2 = 1 β π2π/4 =β π₯ =
β1 β π2
π/4. (6.81)
Since π₯ + π¦ equals the radius 1, we have π¦ = 1 β π₯ = 1 ββ
1 β π2π/4.
We can now use the upper-right right triangle in Fig. 6.18 to solve for thehypotenuse π2π. The legs are ππ/2 and π¦ (which we just found), so thePythagorean theorem gives
π22π = (ππ/2)2 + π¦2
= (ππ/2)2 +(1 β
β1 β π2
π/4)2
=οΏ½οΏ½οΏ½π2π/4 +
(1 β 2
β1 β π2
π/4 + (1 βοΏ½οΏ½οΏ½π2π/4)
)= 2 β 2
β1 β π2
π/4
=β π2π =
β2 β 2
β1 β π2
π/4 , (6.82)
as desired. This isnβt the cleanest answer, but as least itβs an answer. If weknow ππ, we just need to plug it into this expression, and π2π pops out.
(b) Table 6.3 shows the ππ values for various πβs (powers of 2), along with theresulting estimate of π (a lower bound), and also the ratio of this estimate tothe true value of π. The perimeter of the π-gon is π Β·ππ, so theπΆcirc > ππ-gonstatement is 2π Β· 1 > πππ =β π > πππ/2. This is the estimate of π in thethird column. Each ππ in the table is obtained from the preceding oneby plugging that one into Eq. (6.82). Note that the π8 =
β2 β
β2 value
correctly agrees with the result in Example 6.2.
π ππ πππ/2 (πππ/2)/π2 2 2 0.644
β2 2
β2 = 2.83 0.90
8β
2 ββ
2 4β
2 ββ
2 = 3.06 0.97416 0.39018064 3.1214 0.993632 0.19603428 3.13655 0.998464 0.09813535 3.14033 0.99960128 0.04908246 3.141277 0.99990256 0.02454308 3.141514 0.999975
Table 6.3: Estimates of π using π-gons, where π is a power of 2
6.7. Exercise solutions 305
It is in fact legal to start the table with the π = 2 case, as we have done. Ofcourse, a 2-sided polygon isnβt much of a polygon. Itβs the back-and-forthdiameter we encountered in Exercise 5.23, so it has βsidesβ of π2 = 2.Plugging this into Eq. (6.82) correctly gives the π4 =
β2 side of a square.
However, if youβre uncomfortable using the π = 2 case, you can simply startthe table with the π = 4 case.
Remarks: Itβs possible to write the ππ lengths in terms of square roots forπ = 16 and higher, but the expressions become long and tedious. So weopted to use the (approximate) decimal forms in the table. In most cases, wedidnβt actually need to keep as many digits as we did, as far as a specific ππis concerned. However, the accuracy of any given ππ affects the accuracyof higher ππβs. And the higher the π, the more digits we need to know. Forexample, for π = 16 our πππ/2 estimate for π differs from the actual valueof π (β 3.14159) in the second digit after the decimal point, whereas forπ = 256 it differs in the fifth digit.Fig. 6.33 shows a 32-gon, which is very close to a smooth circle. The0.9984 (equivalently, 99.84%) ratio in Table 6.3 for π = 32 seems quitereasonable, since the perimeter of the 32-gon is essentially equal to thecircumference of the circle in which it is inscribed. We havenβt drawn thecircle, because it would be nearly indistinguishable from the 32-gon.
(n = 32)
Figure 6.33
An inspection of Table 6.3 shows that the error (the difference from 1) inthe (πππ/2)/π value in the last column decreases by a factor of 4 from one πto the next (except for the first few small values of π). For example, 0.9984differs from 1 by 0.0016, and then 0.99960 differs from 1 by 0.0004, andthen 0.99990 differs from 1 by 0.0001. Each of these differences is 1/4of the previous one. To prove that this pattern holds in general, we wouldneed more machinery than we have at our disposal, so weβll just accept itas an interesting fact here.
306 Chapter 6. Pythagorean theorem
When producing a π estimation,Use π-gons without hesitation,Because doubling your π,Yet again, and again,Yields improvement with each iteration!
You can also make another table of doubled π values, but now starting withπ = 3. The π values will be 3, 6, 12, 24, 48, and so on. From Exercise 5.23,the π3 side of an equilateral triangle (assuming a circle radius of 1, as usual)is π3 =
β3. You can quickly show that plugging this into Eq. (6.82) correctly
gives the π6 = 1 side of a hexagon. And then plugging this into Eq. (6.82)reproduces the π12 =
β2 β
β3 dodecagon result from Exercise 6.21. β£
23. (a) The two sub-triangles in Fig. 6.34 are indeed isosceles, because they eachhave two sides equal to the radius π . Let the angle at π΄ be πΌ. Then becausetriangle π΄π·πΆ is isosceles, we have the other angle πΌ shown.
C
Ar
Ξ± Ξ²
Ξ²Ξ±
r
r
BD
Figure 6.34
Likewise, let the angle at π΅ be π½. Then because triangle π΅π·πΆ is isosceles,we have the other angle π½ shown. The three angles in the overall triangleare then β π΄ = πΌ, β π΅ = π½, and β πΆ = πΌ + π½. The sum of these angles mustbe 180β¦, so
πΌ + π½ + (πΌ + π½) = 180β¦ =β 2πΌ + 2π½ = 180β¦
=β πΌ + π½ = 90β¦. (6.83)
The lefthand side of this last relation is simply β πΆ, so we have shown thatβ πΆ = 90β¦, as desired. This 90β¦ result for β πΆ is a special case of a moregeneral theorem weβll prove in Chapter 11.
Remark: The above β πΆ = 90β¦ result provides a quick answer to thequestion of how to classify all the different possible shapes of rectanglesthat have a specified length πΏ for their diagonal. We can do this by drawing
6.7. Exercise solutions 307
a circle with diameter πΏ. If we draw the horizontal diameter, along withany other arbitrary diameter (the dashed lines in Fig. 6.35), weβll endup with a rectangle, because the result of this exercise tells us that thehorizontal diameter leads to two right angles (the solid little boxes shown),and the titled dashed diameter leads to two others (the dashed little boxes).Depending on how tilted the dashed diameter is, we can produce a thinrectangle like the one on the left, or the βfatβ square on the right.
L L
Figure 6.35
Exercise 6.4 dealt with a computer screen with a 13.3 inch (or 17 inch)diagonal. We now see how to generate all possible rectangular screens witha 13.3 inch diagonal. However, probably no one is going to want to use ascreen as squat as the left rectangle in Fig. 6.35. In the old days, screenswere more square-ish, but theyβve gotten wider (although not as wide asthe left one in Fig. 6.35) as the years have gone by. β£
(b) In Fig. 6.36, let the sides of right triangle π΄π΅πΆ be 2π, 2π, and 2π, forconvenience (so that we wonβt have a bunch a 1/2 factors floating around).Let π· be the midpoint of the hypotenuse, so that π΅π· = π·π΄ = π. Draw thevertical segment π·πΈ . Then triangle π΄π·πΈ is similar to triangle π΄π΅πΆ (theyboth have a right angle along with the common angle at π΄, which meansthat their third angles are also the same), and it is half a large (since itsπ΄π· = π hypotenuse is half the π΄π΅ = 2π hypotenuse). So π·πΈ = π (half ofπ΅πΆ), and π΄πΈ = π (half of π΄πΆ). This leaves π for πΆπΈ , as shown. From thePythagorean theorem applied to triangles π΄π·πΈ and πΆπ·πΈ , the lengths ofπ΄π· and πΆπ· are both
βπ2 + π2 (which equals π). So they are equal (and
hence also equal to π·π΅), as desired. π· is therefore the center of the circlepassing through π΄, π΅, and πΆ. And since any chord of a circle containingthe center is a diameter, we see that π΄π΅ is a diameter, as we wanted to show.To succinctly summarize the results in parts (a) and (b) of this exercise:If a triangle is inscribed in a circle, then (a) If one side is a diameter,then the triangle is right, and (b) If the triangle is right, then one side
308 Chapter 6. Pythagorean theorem
B
C
2a
A
D
Eb b
c
ca
Figure 6.36
(the hypotenuse) is a diameter. These two statements are the converses(reverses) of each other.
Remark: We just showed in part (b) that for a given hypotenuse length,the midpoint of the hypotenuse is always the same distance (half the lengthof the hypotenuse) from the right angle, no matter what the lengths of thelegs are. It doesnβt matter if the right triangle is a βfatβ 45-45-90 one,or a thin 1-89-90 one. As long as the hypotenuse has a fixed length, thedistance from the midpoint to the right angle is always the same (half thehypotenuse).This fact is relevant to the famous βsliding ladderβ problem. A ladder slidesdown a wall, as shown in Fig. 6.37, always maintaining contact with thewall and the floor. What is the path taken by the midpoint? Since themidpoint of the ladder (the midpoint of the hypotenuse; the dots shown) isalways the same distance from the corner, we see that the midpoint tracesout a quarter circle, as shown. β£
24. (a) First proof: Weβll present two proofs. The first uses a symmetry argument,which is a standard (and slick) method of proof. Fig. 6.38(a) shows a circlesitting on top of a line; the line is tangent to the circle. This setup hasleft/right symmetry, meaning that if we flip it over (so that left and rightare reversed), it looks the same. Equivalently, the mirror image looks thesame. Said in yet another way, it looks the same if we view it through theback of the paper.If we flip over the setup in Fig. 6.38(a), it turns into Fig. 6.38(b), whichmean that the πΌ and π½ angles have switched; πΌ is now on the right, and π½
is on the left. However, the above left/right symmetry property tells us thatFig. 6.38(b) must be exactly the same setup as Fig. 6.38(a), which meansthat the πΌ angle must still be on the left, and likewise the π½ angle must stillbe on the right. Putting the preceding two sentences together, we see that
6.7. Exercise solutions 309
wall
floor
Figure 6.37
A A
Ξ± Ξ±Ξ² Ξ²
B B
flip over
(a) (b)
Figure 6.38
the left angle in Fig. 6.38(b) must be equal to both πΌ (from the precedingsentence) and also π½ (from two sentences ago). We therefore conclude thatπΌ = π½. And since these two equal angles add up to 180β¦ (since togetherthey form a straight line), they must each be 90β¦, as we wanted to show.
Second proof: For this second proof, weβll use the Pythagorean theoremin what is called a proof by contradiction. In a proof by contradiction,if weβre trying to prove a particular statement (letβs label the statement asβπβ), the strategy is to make the assumption that π is not true (which is theopposite of what weβre actually trying to show). The goal is to then showthat this assumption leads to a false statement. It then logically follows thatour not-π assumption must have been incorrect, because true things canβtlogically lead to false things. So our original π statement must be correct(because if not-π is false, then π must be true), as we wanted to show.For example, consider the statement, βThere are no integers (positive ornegative) π and π for which 2π + 6π = 5.β Now, thereβs no chance oftesting all of the infinite number of possible π and π values and showing
310 Chapter 6. Pythagorean theorem
that none of them work. So we need a different method of proof, and aproof by contradiction works well here. In search of a contradiction, letβsassume that there do exist integers π and π for which 2π + 6π = 5. It thenfollows (by dividing both sides by 2) that there exist integers π and π forwhich π + 3π = 5/2. But this is a false statement, because the lefthand sideis an integer (if π and π are integers), whereas the righthand side is not.Our initial assumption (that there do exist integers. . . ) must therefore havebeen incorrect, which means that we have successfully proved that thereare no integers π and π for which 2π + 6π = 5. Weβll discuss proofs bycontradiction in more detail in Chapter 12.
In our present tangent-line problem, our assumption (which weβll end upshowing is incorrect) is that the tangent line is not perpendicular to theradius at the point of contact. If this assumption is true, then of the twoangles the radius makes with the tangent, one must be larger than 90β¦, andone must be smaller than 90β¦, as shown in Fig. 6.39. (Donβt try to make toomuch sense of this figure, since weβre going to show that it canβt actuallylook this way.)
radius (R)
circle
tangent
smaller than 90A
center
Figure 6.39
Consider the angle that is smaller than 90β¦, and draw a right trianglecontaining that angle, as shown. Since the leg of a right triangle is (due tothe Pythagorean theorem) always shorter than the hypotenuse, which is π
here, the vertical leg of our right triangle is smaller than π . This impliesthat point π΄ must be inside the circle (because its distance from the centeris less than the radius π ). This contradicts the fact that every point on atangent line lies outside the circle (except for the single point that lies on thecircle). Therefore, since our assumption of non-perpendicularity leads to afalse statement (that π΄ is inside the circle), we conclude that the assumptionmust have been incorrect. The radius and tangent line must therefore in factbe perpendicular.
6.7. Exercise solutions 311
(b) First proof: Weβll again present two proofs. As in part (a), the firstone uses a symmetry argument, and the second one uses the Pythagoreantheorem (but isnβt a proof by contradiction). In Fig. 6.40(a), the two tangentsare drawn from a point directly above the center of the circle. As with thesetup in part (a), this system has left/right symmetry. So if we flip it over(or look at it in a mirror, or through the back of the paper), we obtain theidentical system in Fig. 6.40(b). The length π1 is now on the right. Butsince itβs the same setup, the length π2 must also be on the right. Henceπ1 = π2, as desired. This is exactly the same reasoning that led to the πΌ = π½
conclusion in part (a).
(a)
d2 d2d1 d1
(b)
Figure 6.40
Second proof: From part (a), we know that the tangents are perpendicularto the radii where they touch, as shown in Fig. 6.41. The two right trianglesshown have a common hypotenuse πΏ, along with a common leg (the radiusπ ). So the Pythagorean theorem tells us that the other legs have the samelength (both equal to
βπΏ2 β π 2), as desired.
R R
P
L
Figure 6.41
25. Eq. (6.35) in Example 6.4 tells us that π΅π΄ = 2βππ. And since Eq. (6.35) is
valid for any two circles that touch tangentially, we can also apply it to the lefttwo circles in Fig. 6.21, with radii π and π. π΅ and πΆ are now the relevant pointsof contact on the tangent line, so Eq. (6.35) tells us that π΅πΆ = 2
βππ. Likewise,
applying Eq. (6.35) to the right two circles in Fig. 6.21, with radii π and π, givesπΆπ΄ = 2
βππ.
312 Chapter 6. Pythagorean theorem
We can now use the fact that π΅πΆ + πΆπ΄ = π΅π΄, which gives
2βππ + 2
βππ = 2
βππ =β
βπ(β
π +βπ)=βππ
=ββπ =
βππ
βπ +
βπ, (6.84)
where we have divided both sides by 2, factored out theβπ on the lefthand side,
and then divided both sides byβπ +
βπ. Squaring both sides then gives
π =
( βππ
βπ +
βπ
)2
=ππ
(βπ +βπ)2
. (6.85)
Note that in the special case where π = π, we have (replacing every π in Eq. (6.85)with π)
π =π Β· π
(2βπ)2 =π2
4π=π
4. (6.86)
So the small circle has 1/4 the radius of the large circles. This agrees with theresult in Exercise 6.20, where we solved the π = π case directly (with π = π = 1).
26. As in Example 6.4, the short leg of the shaded triangle is the π β π difference ofthe radii. But the hypotenuse here isnβt π + π, as it was in Example 6.4. Instead,it equals
βπ2 + π2 because it is the hypotenuse of right triangle π΄π΅πΆ. This is
indeed a right triangle, because the dashed tangent is perpendicular to the radiusof the left circle at πΆ, from Exercise 6.24(a).
The long leg of the shaded triangle is the desired distance π, so applying thePythagorean theorem to the shaded triangle gives
π2 + (π β π)2 =(β
π2 + π2)2
=β π2 =(β
π2 + π2)2 β (π β π)2
= (οΏ½οΏ½π2 +@@π2) β (οΏ½οΏ½π2 β 2ππ +@@π
2)= 2ππ
=β π =β
2ππ =β
2βππ = (1.41)
βππ. (6.87)
Thisβ
2βππ = (1.41)
βππ answer is smaller than the 2
βππ answer in Exam-
ple 6.4. This makes sense, because the centers of the circles are closer togetherin this exercise (the circles partially overlap here).
In the special case where π = π, we obtain π =β
2βπ2 =
β2π. In this case, the
π΅πΆ and π΄πΆ segments are two sides of a square, with side length π. The distanceπ is the same as the diagonal π΅π΄ of this square (the distance between the centersof the circles), as you can verify by drawing a picture. And the diagonal of asquare with side π correctly has length
β2π.