Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 4 - Elementary Number Theory and Methods of Proof - Exercise Set 4.1 - Page 161: 9

Answer

By definition, a perfect square is an integer that equals the square of some integer. Therefore, we wish to prove that there are integers $k$, $m$, and $n$ such that $k^{2} = m^{2} + m^{2}$. Let $k=5$, $m=4$, and $n=3$. Then $k^{2}=5^{2}=25=16+9=4^{2}+3^{2}=m^{2}+n^{2}$. Since our choice of $k$, $m$, and $n$ satisfies the hypothesis and conclusion, we conclude that there is a perfect square ($25$) that can be written as the sum of two other perfect squares ($16$ and $9$).

Work Step by Step

This proof is a constructive proof of existence, whereby we show that something exists by finding a specific example. For more on this method of proof, see the section entitled "Proving Existential Statements" beginning on page 148, especially example 4.1.3. As a side note, the statement this problem asks us to prove is equivalent to the statement that the Pythagorean Theorem has an integer solution. Thus, any of the Pythagorean triples from elementary geometry (3-4-5, 5-12-13, and so on) will work for this proof.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.