13.07.2015 Views

Homework 4 Solutions: Thm. 2.20. There do not exists natural ...

Homework 4 Solutions: Thm. 2.20. There do not exists natural ...

Homework 4 Solutions: Thm. 2.20. There do not exists natural ...

SHOW MORE
SHOW LESS

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

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

<strong>Homework</strong> 4 <strong>Solutions</strong>:<strong>Thm</strong>. <strong>2.20.</strong> <strong>There</strong> <strong>do</strong> <strong>not</strong> <strong>exists</strong> <strong>natural</strong> numbers m and n such that 24m 3 = n 3 .Proof: Let m, n ∈ N.Using the Fundamental Theorem of Arithmetic, express m = p r 11 · · · p rnn and n = q t 11 · · · q tm mwith p i , q j prime and r i , t j ∈ N for any i and j.Then m 3 = (p r 11 · · · p rnn ) 3 = p 3r 11 · · · p 3rnn and n 3 = (q t 11 · · · q tm m ) 3 = q 3t 11 · · · q 3tmm .Also, 24 = 2 3 ∗ 3.Case 1: p i ≠ 3 for any i.Then the prime factorization of 24m 3 contains 3 1 .Since every exponent in the prime factorization of n 3 is a multiple of 3, we see that 24m 3and n 3 have different prime factorizations.Case 2: p i = 3 for some i.Then the prime factorization of 24m 3 contains 3 3r i+1 , and 3r i + 1 is <strong>not</strong> a multiple of 3.Since every exponent in the prime factorization of n 3 is a multiple of 3, we see that 24m 3and n 3 have different prime factorizations.Thus in either case, 24m 3 and n 3 have different prime factorizations, so 24m 3 ≠ n 3 .Ex. 2.22. Show that √ 12 is irrational.Proof: For the sake of contradiction, assume that √ 12 is rational, i.e.a, b ∈ Z and b ≠ 0.Then √ 12b = a =⇒ 12b 2 = a 2 .√12 =abHowever, 12 = 2 2 ∗ 3, so following the logic of <strong>Thm</strong>. 2.20, the prime factorization of 12b 2has an odd number of 3’s, but the prime factorization of a 2 has an even number of (or zero)3’s.Thus 12b 2 ≠ a 2 , and we have our contradiction.∴ √ 12 is irrational.<strong>Thm</strong>. 2.26 Let p be a prime and let a be an integer. Then p <strong>do</strong>es <strong>not</strong> divide a if an<strong>do</strong>nly if gcd(a, p) = 1.Proof: By definition, gcd(a, p) divides both a and p.Since p is prime, only 1 and p divide p, so either gcd(a, p) = 1 or gcd(a, p) = p.(=⇒) Assume p ∤ a.If gcd(a, p) = p, then p | a, which is a contradiction.So gcd(a, p) = 1.with1


(⇐=) Assume gcd(a, p) = 1.If p | a, then p divides both p and a, which implies gcd(a, p) = p.Thus p ∤ a. .<strong>Thm</strong>. 2.32. For all <strong>natural</strong> numbers n, we have gcd(n, n + 1) = 1.Proof: For the sake of contradiction, assume gcd(n, n + 1) = d where d > 1.Then d divides n and n + 1, so n = d ∗ x and n + 1 = d ∗ y for some x, y ∈ Z.Then (n + 1) − n = 1 = dy − dx = d(y − x) =⇒ d | 1, which is a contradiction.∴ gcd(n, n + 1) = 1.<strong>Thm</strong>. A.19. For every <strong>natural</strong> number n,1 2 + 2 2 + · · · + n 2 =n(n + 1)(2n + 1).6Proof:Base case, n = 1: 1 2 = 1 = 1(2)(3)6= 1(1+1)(2∗1+1)6.Induction step, assume P k is true, i.e. 1 2 + 2 2 + · · · + k 2 = k(k+1)(2k+1)6.Then 1 2 + 2 2 + · · · + k 2 + (k + 1) 2= k(k+1)(2k+1) + (k + 1) 26= (k + 1)( k(2k+1) + 6(k+1) )6 6= (k + 1) 2k2 +k+6k+66= (k + 1) 2k2 +7k+66= (k + 1) (k+2)(2k+3)6= (k+1)((k+1)+1)(2(k+1)+1) , and so P6 k+1 is true.<strong>Thm</strong>. A.21. For every <strong>natural</strong> number n,Proof:Base case, n = 1: 1 3 = 1 = (1) 2 .Induction step: Assume P k is true, i.e.1 3 + 2 3 + · · · + n 3 = (1 + 2 + ... + n) 2 .1 3 + 2 3 + · · · + k 3 = (1 + 2 + ... + k) 2 .Then 1 3 + 2 3 + · · · + k 3 + (k + 1) 3 2


= (1 + 2 + ... + k) 2 + (k + 1) 3= ( k(k+1) ) 2 + (k + 1) 3 (by <strong>Thm</strong>. A.10.)2= (k + 1) 2 ( k2 + 4(k+1) )4 4= (k + 1) 2 ( k2 +4k+4)4= (k + 1) 2 ( (k+2)22 2 )= ( (k+1)(k+2)2) 2= (1 + 2 + · · · + (k + 1)) 2 , so P k+1 is true.Consider the following game involving two plyers, whom we will call player 1 and player2. Two piles each containing the same number of rocks sit between the players. At eachturn a player may remove any number of rocks (other than zero) from one of the piles. Theplayer to remove the last rock wins. Player 1 always goes first.<strong>Thm</strong>. A.29 For any <strong>natural</strong> number n of rocks in each pile to begin, player 2 has awinning strategy.Proof (by strong induction):Base case, n = 1: Here both piles have 1 rock. Player 1 must choose 1 rock whicheliminates 1 pile. Then player 2 chooses the other rock, which removes all rocks from thegame, so player 2 wins.Induction step: Assume that for any k ≤ n, P k is true, i.e. if each pile consists of k ≤ nrocks on player 1’s turn, then player 2 has a winning strategy.Now assume that the game starts with n + 1 rocks in each piles.Player 1 must choose some amount of rocks from one of the pile, say he chooses j rocksfrom pile x, where j ≥ 1 and x is either 1 or 2.Now pile x has n + 1 − j rocks and the other pile, call it pile y, still has n + 1 rocks.Let player 2’s strategy be taking j rocks from pile y.After player 2’s turn, it will be player 1’s turn and both piles will have n + 1 − j ≤ nrocks.Thus by the induction hypothesis, from this point on player 2 has a winning strategy.∴ P k+1 is true.<strong>Thm</strong>. A.31. Every <strong>natural</strong> number greater than 7 can be written as a sum of 3’s and5’s.Proof (by strong induction):Base cases (we will show this is true for n = 8, 9, and 10, the reason for this will becomeclear in the induction step).3


n = 8 : 8 = 3 + 5.n = 9 : 9 = 3 + 3 + 3.n = 10 : 10 = 5 + 5.Induction step: Now let n + 1 > 10 and assume P k is true for all 7 < k ≤ n, i.e. any<strong>natural</strong> number between 8 and n inclusive can be expressed as a sum of 3’s and 5’s.y.Then n + 1 = (n − 2) + 3, where 7 < n − 2 ≤ n.By the induction hypothesis, n − 2 can be expressed as a sum of 3’s and 5’s.Say there are x 3’s and y 5’s in the expression for n − 2 for some positive integers x andThen (n − 2) + 3 = n + 1 can be expressed as the sum of (x + 1) 3’s and y 5’s.∴ P k+1 is true.4

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

Saved successfully!

Ooh no, something went wrong!