4.4: Pythagorean Theorem
- Page ID
- 34138
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In a right triangle, the sides of the right angle are called the legs of the triangle and the remaining side is called the hypotenuse. In Figure \(\PageIndex{1}\), side \(AC\) and \(BC\) are the legs and side \(AB\) is the hypotenuse.
The following is one of the most famous theorems in mathematics.
In a right triangle, the square of the hypotenuse is equal to the sum of the squares of the legs. That is,
\[\text{leg}^{2}+\text{leg}^{2}=\text{hypotenuse}^{2}\]
Thus, for the sides of the triangle in Figure \(\PageIndex{1}\),
\[a^{2}+b^{2}=c^{2} \nonumber\]
Before we prove Theorem \(\PageIndex{1}\), we will give several examples.
Find \(x\)
Solution
\(\begin{array} {rcl} {\text{leg}^2 + \text{leg}^2} & = & {\text{hyp}^2} \\ {3^2 + 4^2} & = & {x^2} \\ {9 + 16} & = & {x^2} \\ {25} & = & {x^2} \\ {5} & = & {x} \end{array}\)
Check:
Answer: \(x = 5\).
Find \(x\):
Solution
\(\begin{array} {rcl} {\text{leg}^2 + \text{leg}^2} & = & {\text{hyp}^2} \\ {5^2 + x^2} & = & {10^2} \\ {25 + x^2} & = & {100} \\ {x^2} & = & {75} \\ {x} & = & {\sqrt{75} = \sqrt{25} \sqrt{3} = 5\sqrt{3}} \end{array}\)
Check:
Answer: \(x = 5\sqrt{3}\).
Find \(x\):
Solution
\(\begin{array} {rcl} {\text{leg}^2 + \text{leg}^2} & = & {\text{hyp}^2} \\ {5^2 + 5^2} & = & {x^2} \\ {25 + 25} & = & {x^2} \\ {50} & = & {x^2} \\ {x} & = & {\sqrt{50} = \sqrt{25} \sqrt{2} = 5\sqrt{2}} \end{array}\)
Check:
Answer: \(x = 5\sqrt{2}\).
Find \(x\)
Solution
\(\begin{array} {rcl} {\text{leg}^2 + \text{leg}^2} & = & {\text{hyp}^2} \\ {x^2 + (x + 1)^2} & = & {(x + 2)^2} \\ {x^2 + x^2 + 2x + 1} & = & {x^2 + 4x + 4} \\ {x^2 + x^2 + 2x + 1 - x^2 - 4x - 4} & = & {0} \\ {x^2 - 2x - 3} & = & {0} \\ {(x - 3)(x + 1)} & = & {0} \end{array}\)
\(\begin{array} {rcl} {x - 3} & = & {0} \\ {x} & = & {3} \end{array}\) \(\begin{array} {rcl} {x + 1} & = & {0} \\ {x} & = & {-1} \end{array}\)
We reject \(x = -1\) because \(AC = x\) cannot be negative.
Check, \(x = 3\):
Answer: \(x = 3\).
We will now restate and prove Theorem \(\PageIndex{1}\):
In a right triangle, the square of the hypotenuse is equal to the sum of the squares of the legs. That is,
\(\text{leg}^2 + \text{leg}^2 = \text{hypotenuse}^2.\)
In Figure \(\PageIndex{1}\),
\(a^2 + b^2 = c^2.\)
- Proof
-
In Figure \(\PageIndex{1}\), draw \(CD\) perpendicular to \(AB\). Let \(x = AD\). Then \(BD = c - x\) (Figure \(\PageIndex{2}\)). As in Example \(\PageIndex{3}\), section 4.2, \(\triangle ABC \sim \triangle ACD\) and \(\triangle ABC \sim \triangle CBD\). From these two similarities we obtain two proportions:
The converse of the Pythagorean Theorem also holds:
In a triangle, if the square of one side is equal to the sun of the squares of the other two sides then the triangle is a right triangle.
In Figure \(\PageIndex{3}\), if \(c^2 = a^2 + b^2\) then \(\triangle ABC\) is a right triangle with \(\angle C = 90^{\circ}\).
- Proof
-
Draw a new triangle, \(\triangle DEF\), so that \(\angle F = 90^{\circ}\), \(d = a\), and \(e = b\) (Figure \(\PageIndex{4}\)). \(\triangle DEF\) is a right triangle, so by Theorem \(\PageIndex{1}\), \(f^2 = d^2 + e^2\). We have \(f^2 = d^2 + e^2 = a^2 + b^2 = c^2\) and therefore \(f = c\). Therefore \(\triangle ABC \cong \triangle DEF\) because \(SSS = SSS\). Therefore, \(\angle C + \angle F = 90^{\circ}\).
Figure \(\PageIndex{4}\): Given \(\triangle ABC\), draw \(\triangle DEF\) so that \(\angle F = 90^{\circ}\), \(d = a\) and \(e = b\).
Is \(\triangle ABC\) a right triangle?
Solution
\(\text{AC}^2 = 7^2 = 49\)
\(\text{BC}^2 = 9^2 = 81\)
\(\text{AB}^2 = (\sqrt{130})^2 = 130\)
\(49 + 81 = 130\).
so by Theorem \(\PageIndex{2}\), \(\triangle ABC\) is a right triangle.
Answer: yes.
Find \(x\) and \(AB\):
Solution
\(\begin{array} {rcl} {x^2 + 12^2} & = & {13^2} \\ {x^2 + 144} & = & {169} \\ {x^2} & = & {169 - 144} \\ {x^2} & = & {25} \\ {x} & = & {5} \end{array}\)
\(CDEF\) is a rectangle so \(EF = CD = 20\) and \(CF = DE = 12\). Therefore \(FB = 5\) and \(AB = AE + EF + FB = 5 + 20 + 5 = 30\).
Answer: \(x = 5\), \(AB = 30\).
Find \(x\), \(AC\) and \(BD\):
Solution
\(ABCD\) is a rhombus. The diagonals of a rhombus are perpendicular and bisect each other.
\(\begin{array} {rcl} {6^2 + 8^2} & = & {x^2} \\ {36 + 64} & = & {x^2} \\ {100} & = & {x^2} \\ {10} & = & {x} \end{array}\)
\(AC = 8 + 8 = 16, BD = 6 + 6 = 12.\)
Answer: \(x = 10, AC = 16, BD = 12\).
A ladder 39 feet long leans against a building, How far up the side of the building does the ladder reach if the foot of the ladder is 15 feet from the building?
Solution
\(\begin{array} {rcl} {\text{leg}^2 + \text{leg}^2} & = & {\text{hyp}^2} \\ {x^2 + 15^2} & = & {39^2} \\ {x^2 + 225} & = & {1521} \\ {x^2} & = & {1521 - 225} \\ {x^2} & = & {1296} \\ {x} & = & {\sqrt{1296} = 36} \end{array}\)
Answer: 36 feet.
Pythagoras (c. 582 - 507 B.C.) was not the first to discover the theorem which bears his name. It was known long before his time by the Chinese, the Babylonians, and perhaps also the Egyptians and the Hindus, According to tradition, Pythagoras was the first to give a nroof of the theorem, His proof probably made use of areas, like the one suggested. In Figure \(\PageIndex{5}\) below, (each square contains four congruent right triangles with sides of lengths \(a\), \(b\), and \(c\), In addition the square on the left contains a square with side a and a square with side \(b\) while the one on the right contains a square with side c.)
um theorem for triangles, the properties of parallel lines, and the theory of similar triangles and proportions.
Problems
1 - 10. Find \(x\). Leave answers in simplest radical form.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11 - 14. Find \(x\) and all sides of the triangle:
11.
12.
13.
14.
15 - 16. Find \(x\):
15.
16.
17. Find \(x\) and \(AB\).
18. Find \(x\):
19. Find \(x, AC\) and \(BD\):
20. Find \(x, AC\) and \(BD\):
21. Find \(x\) and \(y\):
22. Find \(x\), \(AC\) and \(BD\):
23. Find \(x, AB\) and \(BD\):
24. Find \(x, AB\) and \(AD\):
25 - 30. Is \(\triangle ABC\) a right triangle?
25.
26.
27.
28.
29.
30.
31. A ladder 25 feet long leans against a building, How far up the side of the building does the ladder reach if the foot of the ladder is 7 feet from the building?
32. A man travels 24 miles east and then 10 miles north. At the end of his journey how far is he from his starting point?
33. Can a table 9 feet wide (with its legs folded) fit through a rectangular doorway 4 feet by 8 feet?
34. A baseball diamond is a square 90 feet on each side, Find the distance from home plate to second base (leave answer in simplest radical form).
