25.06.2020 Views

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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Solutions for the Exercises at the End of the Sections and the Review Exercises 145

Therefore

(^1 n ^2 n... n ^„ n An+x)'^ {{Ax n yi2 n... n A„) n An+it

Using the fact that we are now deahng with two sets (namely the set in

parentheses and ^„+i), we have

(^1 n ^2 n... n ^„ n An+x) = [{Ax n ^2 n... n ^„) n An+x^

= (^inA2n...n^yuA;+i.

The inductive hypothesis and the associative property of intersection

yield

(^1 n ^2 n... n ^ n An+x)' = [{Ax n ^2 n... n A„) n A^+i]'

= {AxnA2r\,..f\An)'yJA!^^^

^(4u4u...u4)u^;^i

= 4u4u...u4u4^i.

Therefore, by the principle of mathematical induction, the equahty is

true for all n > 2.

9. a. The smallest value of n we can use is 0. If a set has 0 elements it is

the empty set. The only subset of the empty set is itself. Therefore, a

set with 0 elements has 1 subset, and 1 = 2^. So the statement is

true for n = 0.

b. Assume that if A = {xx,X2,.. .,Xn}, then A has 2" subsets,

c. Let B= {bx.bi,... ,bn,bn^x] be a set with n+1 elements. Does B

have 2"+^ subsets? We can write B = {fci,&2,• •. ,fcn} U {&„+i}. The

set {bx,b2,. ..,bn} has n elements; therefore, it has 2" subsets,

Bx, B2, B3,..., J52«. None of these subsets includes bn+x- Every one of

these subsets is a subset of B as well, and it uses only the first n

elements of B. Thus, we can construct more sets of B using bn+x-

Thus, we have the following subsets of B: Bx, B2, B3,..., B2n,

Bx U {fc„+i}, B2 U {fc„+i}, 53 U {b„+i},.. .,^2" U {fe„+i}. Therefore, B

has 2" + 2" = 2"+^ subsets. Thus, by the principle of mathematical

induction, the statement is true for all n>0.

EQUALITY OF NUMBERS

1. Part 1. Let us assume that {x - yf -\-{x- y)^ = 0. Will this imply that

x = yl Using the distributive property, we can rewrite this equahty as

{x — y)^[{x — yf' + 1] = 0. The product of several factors is equal to

zero if and only if at least one of the factors equals zero. Therefore,

either {x -yf = 0 or [{x - yf -{-!] = 0. The first equahty implies

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

Saved successfully!

Ooh no, something went wrong!