25.06.2020 Views

epdf.pub_the-nuts-and-bolts-of-proofs-third-edition-an-intr

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

152 The Nuts and Bolts of Proof, Third Edition

some algebraic expression that uses all the numbers we are considering,

namely a, a\ and b. It makes sense to keep using addition as this is the

only operation used to define the opposite of a number. These are some

of the reasons for trying to start from a-\-a! -\-b. Which conclusion

can we reach?) If we use the associative property of addition and

Equation (1), we obtain a-\-a'-\-b = {a-\-a!)-\-h = Q-\-b = h. If we use

the associative and commutative property of addition and Equation

(2), we obtain a-\-a'-\-b = a'-\-{a-\-b) = a'-\-0 = a\ Therefore, we have

l) = a-\-a!-\-b — a'. Thus, b = a', and the opposite of a is unique.

3. a. Proof by induction:

i. The smallest positive integer number to use is 1. Because Inl = 0,

it is true that Inl < 1.

ii. Let us assume that the inequality is true for n. Thus, Inn < n.

iii. We have to prove that ln(n + 1) < (n + 1).

{Remember. ln(n + 1) 7^ Inn + Inl.)

We have to try to use what we know about n and n + 1. One possible

relation is:

n+1

n + 1 = n.

n

Therefore, using the properties of the natural logarithm, we have:

ln(n+l) = ln(^?-^nj

= ln(^)+lnn

= ln(l + l/n) + lnn.

By the inductive hypothesis, Inn < n. Thus, we have ln(n + 1) =

ln(l + 1/n) + lnn< ln(l + l/n) + n. To show that the conclusion is

true, we need to prove that ln(l + 1/n) < 1. Because n> 1, 1/n < 1.

Therefore, 1 +1/n < 1-^ 1 =2 < e = 2.72.... So 1 + 1/n < e. The

function natural logarithm is an increasing function; thus, the larger

its input, the larger the corresponding output. Thus, In (1 + (1/n)) <

Ine = 1. If we use this information in the chain of inequalities, we

obtain ln(n + 1) < ln(l + 1/n) + n < 1 + n, or, equivalently,

ln(n + 1)< n + 1. By the principle of mathematical induction the

proof is now complete.

b. By graphing—The straight Une is the graph of g{x) = x, the other is

the graph off{x) = lnx. From the graph we can say that it seems

plausible that In n < n for all positive integers.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!