MAS114: Solutions to Exercises

Similar documents
MAS114: Exercises. October 26, 2018

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

PROBLEM SET 3: PROOF TECHNIQUES

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Introduction to Abstract Mathematics

Mathematical Reasoning & Proofs

1 Basic Combinatorics

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

Contribution of Problems

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

MATH 2200 Final LC Review

MATH 2200 Final Review

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

Math 13, Spring 2013, Lecture B: Midterm

Writing Mathematical Proofs

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

MAT115A-21 COMPLETE LECTURE NOTES

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Fundamentals of Pure Mathematics - Problem Sheet

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Elementary Properties of the Integers

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Introducing Proof 1. hsn.uk.net. Contents

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

3 The language of proof

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

The following is an informal description of Euclid s algorithm for finding the greatest common divisor of a pair of numbers:

Cool Results on Primes

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

CHAPTER 4 SOME METHODS OF PROOF

Ch 3.2: Direct proofs

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Homework #2 solutions Due: June 15, 2012

Chapter 2. Divisibility. 2.1 Common Divisors

Writing Assignment 2 Student Sample Questions

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

2 Elementary number theory

CSE 20. Final Review. CSE 20: Final Review

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

The Euclidean Algorithm and Multiplicative Inverses

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Math Review. for the Quantitative Reasoning measure of the GRE General Test

Discrete Math, Spring Solutions to Problems V

PRACTICE PROBLEMS: SET 1

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Induction and Recursion

PGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.

a the relation arb is defined if and only if = 2 k, k

COMP9020 Lecture 3 Session 2, 2014 Sets, Functions, and Sequences. Revision: 1.3

MATH10040: Numbers and Functions Homework 1: Solutions

For all For every For each For any There exists at least one There exists There is Some

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

1 Take-home exam and final exam study guide

MI 4 Mathematical Induction Name. Mathematical Induction

Preparing for the CS 173 (A) Fall 2018 Midterm 1

CS280, Spring 2004: Prelim Solutions

9.4. Mathematical Induction. Introduction. What you should learn. Why you should learn it

Part IA Numbers and Sets

Discrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 6

The theory of numbers


Q 2.0.2: If it s 5:30pm now, what time will it be in 4753 hours? Q 2.0.3: Today is Wednesday. What day of the week will it be in one year from today?

MATH FINAL EXAM REVIEW HINTS

Math 131 notes. Jason Riedy. 6 October, Linear Diophantine equations : Likely delayed 6

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

MT181 Number Systems: Sheet 1. Attempt all numbered questions. To be handed in during the MT181 lecture on Thursday 11th October.

Chapter 5: The Integers

What can you prove by induction?

Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information

5: The Integers (An introduction to Number Theory)

MCS-236: Graph Theory Handout #A4 San Skulrattanakulchai Gustavus Adolphus College Sep 15, Methods of Proof

Name: Mathematics 1C03

Appendix G: Mathematical Induction

11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic

AQA Level 2 Further mathematics Further algebra. Section 4: Proof and sequences

MA103 STATEMENTS, PROOF, LOGIC

Selected problems from past exams

Homework 1 (revised) Solutions

Winter Camp 2009 Number Theory Tips and Tricks

1 Sequences and Summation

Number Theory and the abc Conjecture

Induction and recursion. Chapter 5

MATH CSE20 Homework 5 Due Monday November 4

What is proof? Lesson 1

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

CMSC 250 Spring 2016: Final Exam Review Questions Key

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

1 Overview and revision

Fibonacci mod k. In this section, we examine the question of which terms of the Fibonacci sequence have a given divisor k.

Transcription:

MAS114: s to Exercises Up to week 8 Note that the challenge problems are intended to be difficult! Doing any of them is an achievement. Please hand them in on a separate piece of paper if you attempt them. Sets, functions, logic 1. Learn the Greek alphabet: learn the names of all the lower-case letters α, β, γ, δ, ɛ, ζ, η, θ, ι, κ, λ, µ, ν, ξ, o, π, ρ, σ, τ, υ, φ, χ, ψ, ω. (They re among the commonest of the unfamiliar symbols that mathematicians use. If you re Greek or Cypriot, you have an advantage, but you should still get used to the way their names are pronounced in English.) You re on your own with this one (but millions of primary school children in two countries have done it, so it can t be very difficult). 2. Which of the following rules define a function? For those that are functions, are they injective? Are they surjective? Are they bijective? Give brief explanations where necessary. (i) f : N R defined by f(n) = n; (ii) g : Z R defined by g(n) = n; (iii) h : Z N defined by h(n) = n ; (iv) i : N N defined by taking i(n) = 100 n. (v) j : Z Z defined by j(n) = n; (vi) k : R Z defined by taking k(x) to be the closest integer to x. (i) This is a function, as every natural number has a real square root. It s injective, because every natural has a different square root. It s not surjective, for example because 1/2 is not the square root of a natural number. Hence it s also not bijective. (ii) This is not a function, because 1 does not have a real square root. 1

(iii) This is a function: every integer has an absolute value which is a natural number. It s not injective, because h( 1) = h(1) = 1. But is surjective, since for every n N, we have h(n) = n. It can t be bijective, as it isn t injective. (iv) This is not a function: we have i(101) = 1 / N. (v) This is a function: every integer can be negated to give another integer. It s injective, since no two different integers have equal negations. It s surjective, since for any n Z we have j( n) = n. Hence it s bijective too! (vi) This is almost a function, but in fact it isn t. For example, there is no integer closest to 1/2, as 0 and 1 are equally close. 3. (i) Write down an injective function from {1,..., 10} to {1,..., 100}. (ii) Write down a surjective function from {1,..., 100} to {1,..., 10}. (iii) Is there an injection from {1,..., 100} to {1,..., 10}, or a surjection from {1,..., 10} to {1,..., 100}? (i) f(n) = n will do (there are many others)! (ii) One possibility is to take g(n) = n/10 (that is, the smallest integer greater than or equal to n/10), so that g(1) = g(2) = = g(10) = 1, g(11) = g(12) = = g(20) = 2,... g(91) = g(92) = = g(100) = 10. There are many ways to describe this function, and many other functions which work. (iii) No. For there to be an injection from {1,..., 100} to {1,..., 10}, there would have to be 100 different objects in the codomain; for there to be a surjection from {1,..., 10} to {1,..., 100} there would have to be at most 10 elements in the codomain. 4. (Challenge 1) How many subsets are there of {1, 2, 3,..., 19, 20} which contain no two consecutive elements? (For example, {1, 4, 18} is okay, but {1, 4, 17, 18} is not okay since it contains the consecutives 17 and 18.) 5. Write down all the elements of each of the following sets: (a) { a N a 2 < 9 } ; (b) { a N a 2 9 } ; (c) { a Z a 2 < 9 } ; (d) { a Z a 2 9 }. The sets are: (a) {0, 1, 2}; (b) {0, 1, 2, 3}; (c) { 2, 1, 0, 1, 2}; (d) { 3, 2, 1, 0, 1, 2, 3}.. Consider the following sets: 2

{1, 2, 4}, {2, 3, 5}, {1, 2, 3, 4, 5}, {2}, {3, 4}. 1. Choose three different sets X, Y and Z from the above such that X Y = Z. 2. Choose three different sets X, Y and Z from the above such that X Y = Z. 3. Choose two different sets X, Y from the above such that X Y =. 1. We have {1, 2, 4} {2, 3, 5} = {1, 2, 3, 4, 5}. 2. We have {1, 2, 4} {2, 3, 4} = {2}. 3. We have {2} {3, 4} =. 7. Suppose U is a set. If X is a subset of U, we ll write X for U\X for the duration of this question. (This is common notation whenever we work at length with subsets of some particular set.) Let A and B be subsets of U. Show that: (i) A B = A B (ii) A B = A B (These are called De Morgan s laws. Remember, from lectures: the best way to prove two sets are equal is often to prove that each is contained in the other. So for each of these two you have two containments to prove: the left-hand side in the right-hand side, and vice versa.) (i) We ll show that each set is contained in the other, showing first that A B A B. Indeed, if x A B, then x U and x / A B. But that means that x / A and x / B, or, equivalently, that x A and x B. Hence x A B, as required. Now we ll show the converse containment, namely that A B A B. The argument above is reversible: if x A B, then x A and x B, and hence x / A and x / B. This gives us that x / A B, or equivalently that x A B. These two containments show that the two sets are equal. (ii) As before, we ll show that each set is contained in the other. We ll show first that A B A B. But, if x A B, then x U and x / A B. As a result, we have x / A or x / B. If x / A, then x A and hence x A B. But if x / B, then x B and hence x A B all the same. This proves the first containment. Now we ll show the other one: that A B A B. However, if x A B, then x U, and x A or x B. 3

If the former is true, x A, then x / A and so x / A B, and so x A B. If the latter is true, then x / B and so x / A B and so x A B all the same. This completes the proof. 8. (Challenge 2) I foolishly left my dog in a maze, and I m not allowed in to retrieve him. The maze is a 10 m 10 m grid, where some of the grid edges are walls and some aren t. I can t remember anything about where the walls are, but this picture shows an example of a similar maze. My dog is very obedient, but not very clever. He understands the instructions walk 1 m forwards, turn 90 left, and turn 90 right but nothing else of any use. If I shout for him to walk forwards and that would result in him walking into a wall, he ll just do nothing for that order and wait patiently for the next one, wagging his tail. I can t see into the maze, and have no idea whether my orders for him to walk forward are succeeding or not. Is there a sequence of orders I could shout that would get him out of the maze, no matter what the maze looks like and no matter which square I left him at, and no matter which direction I left him facing? 9. An even number is an integer that can be written in the form 2k for some integer k. An odd number is one that can be written in the form 2k +1 for some integer k. Using these definitions and no other facts you may happen to know about odd or even numbers, prove the following implications: 1. If n is even, then n 2 is even. 2. If n and m are odd, then n + m is even. 3. If n and m are odd, then nm is odd. State the converse of each of the above implications. Do you think they are true or false? For the first part: 1. If n is even, then n = 2k for some integer k. That means that n 2 = (2k) 2 = 4k 2 = 2(2k 2 ), which is of the form 2l. Hence n 2 is even. 2. If n and m are odd, then we can write n = 2k + 1 and m = 2l + 1 for some integers k and l. That means that n+m = (2k +1)+(2l +1) = 2k + 2l + 2 = 2(k + l + 1). This is of the form 2a, so n + m is even. 3. Again, if n and m are odd, then we can write n = 2k+1 and m = 2l+1 for some integers k and l. That means that nm = (2k + 1)(2l + 1) = 4kl + 2k + 2l + 1 = 2(2kl + k + l) + 1. That means that nm is odd. For the converses: 1. The converse is if n 2 is even, then n is even, which is true. 4

2. The converse is if n + m is even, then n and m are odd. That need not be true, since we could have n = 4 and m = (for example). 3. The converse is if nm is odd, then n and m are odd. That s true. 10. Which of these statements is true? 1. x R, (x 2 7x + 10 = 0) (x = 2 x = 5) 2. x R, (x 2 7x + 10 = 0) (x = 2 x = 5) It s the second one. It s not possible for x to equal two and for x to equal five. (Nevertheless, students are fond of writing x = 2 and x = 5 when they solve a quadratic equation, rather than the correct x = 2 or x = 5.) 11. Can you translate the following statements into English? Which are true and which are false? 1. a, b, c R, x R s.t. ax 2 + bx + c = 0. 2. a, b, c C, x C s.t. ax 2 + bx + c = 0. 3. a, b, c R, x R s.t. b 2 4ac 0 ax 2 + bx + c = 0. Induction 1. Every quadratic equation with real coefficients has a real solution : this is false (because of equations with negative discriminant); 2. Every quadratic equation with complex coefficients has a complex solution : this is true; 3. Every quadratic equation with real coefficients and nonnegative discriminant has a real solution : this is true. 12. Prove by induction that n i 2 = i=1 for all positive integers n. n(n + 1)(2n + 1), This proof is by induction on n, as requested. For our base case, we show it s true for n = 0. In this case, the left-hand side is the sum of no integers, and is hence zero. The right-hand side is also zero, and so they re equal. (We could also have started from n = 1; and then both sides turn out to be 1.) Now we do the induction step: we assume that it s true for n = k, and we try deducing that it s true for n = k + 1. 5

In other words, we assume that and we try to prove that 1 2 + + k 2 = 1 2 + + (k + 1) 2 = But this is not too hard, since we have both and also 1 + + k 2 + (k + 1) 2 = ( 1 + + k 2) + (k + 1) 2 k(k + 1)(2k + 1), (k + 1)((k + 1) + 1)(2(k + 1) + 1). k(k + 1)(2k + 1) = + (k + 1) 2 (by the induction step) k(k + 1)(2k + 1) + (k + 1)2 = = (2k3 + 3k 2 + k) + (k 2 + 12k + ) = 2k3 + 9k 2 + 13k + (k + 1)((k + 1) + 1)(2(k + 1) + 1) (k + 1)(k + 2)(2k + 3) = = 2k3 + 9k 2 + 13k +. Hence the two are equal, as required. proof. This completes the induction 13. (Challenge 3) Suppose that we have some positive integers (not necessarily distinct) whose sum is 100. How large can their product be? You should prove your answer is best. 14. Prove that for all natural numbers n 2, we have (1 12 ) (1 2 13 ) 2 (1 1n ) 2 = n + 1 2n. Let s prove it by induction on n. Our base case is where n = 2, where we must prove (1 122 ) = 2 + 1 2 2, which is true since both sides are equal to 3/4.

Now, for the induction step, we ll assume it true for n = k and prove it for n = k + 1. So we re assuming (1 12 ) (1 2 13 ) 2 (1 1k ) 2 = k + 1 2k, and must prove (1 12 ) (1 2 13 ) 2 (1 1k ) ( ) 1 2 1 (k + 1) 2 = k + 2 2(k + 1). But (1 12 2 ) (1 13 2 ) = ((1 12 ) (1 2 13 ) 2 = k + 1 ( ) 1 1 2k (k + 1) 2 = k + 1 (k + 1) 2 1 2k (k + 1) 2 = k + 1 k(k + 2) 2k (k + 1) 2 = k + 2 2(k + 1), (1 1k ) ( 2 1 (1 1k )) ( 2 1 ) 1 (k + 1) 2 1 (k + 1) 2 ) as required. Note that, in the above, the second equation is due to the induction hypothesis. This completes the proof. 15. Prove carefully that 4 n < n! for all natural numbers n 10. (The quantity n! denotes the factorial of n: the product of the natural numbers from 1 up to n.) We ll prove that 4 n < n! for all n 10 by induction on n, starting with the base case of 10 itself. By calculating, we find that 4 10 = 104857, while 10! = 328800, so 4 10 < 10!. Now, for our induction step, suppose that 4 k < k! for some k 10; we ll show that 4 k+1 < (k + 1)!. Indeed, we have 4 k+1 = 4.4 k < (k + 1)k! = (k + 1)!. Here the first equation is by definition of exponentiation. The inequality is because 4 < (k + 1) (as k 10 by assumption) and because of the induction hypothesis (that 4 k < k!). And lastly, the final equation is by the definition of the factorial. 1. The sequence a 0, a 1,... is defined by the following rules: a 0 = 0, 7

a 2n+1 = 9a n + 2 for n 0. a 2n = 4a n + 1 for n 1 Calculate the first few values a 1,..., a 5 by hand. Prove by strong induction that a n n 2 for all n. a 0 = 0, The first few values are: a 1 = 9a 0 + 2 = 2, a 2 = 4a 1 + 1 = 9, a 3 = 9a 1 + 2 = 20, a 4 = 4a 2 + 1 = 37, a 5 = 9a 2 + 2 = 82. We prove the statement that a n n 2 by strong induction on n, as follows. For our base case, we have a 0 = 0 0 2. For the induction step, we assume that a k k 2 for all k < n, and we deduce it for a n. If n is even, then it s equal to 2m for some m, and then a n = a 2m = 4a m + 1 4m 2 + 1 (2m) 2 = n 2. Here we use the induction hypothesis, which tells us that a m m 2. Similarly, if n is odd, then it s equal to 2m + 1 for some m, and then a n = a 2m+1 = 9a m + 2 9m 2 + 2 4m 2 + 4m + 1 = (2m + 1) 2 = n 2. Again we use the induction hypothesis, which tells us that a m m 2. Either way, we see that a n n 2, which concludes the induction step. 17. (Challenge 4) The Fibonacci numbers are a function F : N N defined by F (0) = 0, F (1) = 1, and F (n) = F (n 1) + F (n 2) for n 2. So, for example, F (2) = 1, F (3) = 2, F (4) = 3, F (5) = 5, and so on. Is F (2013) even or odd? Find an odd prime factor of F (2013). Elementary number theory 18. For each of the following statements, either prove them or find a counterexample. Your proofs should proceed directly from the definition of divisibility. (i) Let a, b, c be integers. If a b and b c, then a c. (ii) Let a, b, c be integers. If a b and a c, then a b + c. (iii) Let a, b, c be integers. If a b + c, then a b and a c. (iv) Let a, b, c be integers. If a b and a c, then a bc. (v) Let a, b, c be integers. If a bc, then a b and a c. (vi) Let a, b, c, d be integers. If a b and c d, then ac bd. 8

(i) This is true: to say that a b is to say that am = b for some integer m. To say that b c is to say that bn = c for some integer c. If both of these are true, then we have amn = bn = c, and hence a c, as required. (ii) This is true: if a b and a c, we have that am = b for some m Z, and an = c for some n Z. This means that a(m + n) = am + an = b + c, and hence a b + c. (iii) This is false: consider that 2 2, but 2 1 and 2 1. (iv) This is true: since b bc, it follows immediately from the first part. (v) This is false: we have 4 4, but 4 2 and 4 2. (vi) This is true: if a b and c d, then am = b for some m Z, and cn = d for some n Z. This means that acmn = bd, and so ac bd as required. 19. 1. Show that the product n(n + 1)(n + 2)(n + 3) of any four consecutive numbers is a multiple of 24. 2. Show that, given any four numbers a, b, c, d whatsoever, the product of their differences is a multiple of 12. (a b)(a c)(a d)(b c)(b d)(c d) 20. This can be done by a slow induction, but we do it more directly. Exactly one of every four consecutive numbers is a multiple of 4, and the number two less or two greater is a multiple of 2. Hence the product is a multiple of 8. Also, one of every three consective numbers is a multiple of 3, so the product is. Hence it s a multiple of 24. 21. First we show it a multiple of 4, and then a multiple of 3. If the numbers are all even or all odd, then all the differences are even, and so the product is a multiple of 4 (in fact, of 4). If three are even and one is odd, or one is even and three are odd, then the differences of the three that have the same parity are even, and so the product is a multiple of 4 (in fact, of 8). If two are even and two are odd, then the difference of the even pair and the difference of the odd pair are both even, so the product is a multiple of 4. So, in any case, it s a multiple of 4. Of the four numbers, some may be of the form 3k, some of the form 3k +1 and the rest of the form 3k+2. There are at least two in the same category, and their difference is a multiple of 3. Hence the product is a multiple of 12. 22. Compute the following, showing your working: (a) gcd(89, 1200); (b) gcd(12345789, 98754321). 9

(a) We have gcd(89, 1200) = gcd(1200, 89) = gcd(1 89 + 304, 89) = gcd(304, 89) = gcd(89, 304) = gcd(2 304 + 288, 304) = gcd(288, 304) = gcd(304, 288) = gcd(1 288 + 1, 288) = gcd(1, 288) = gcd(288, 1) = gcd(18 1 + 0, 1) = gcd(0, 1) = 1. (b) We have gcd(12345789, 98754321) = gcd(98754321, 12345789) = gcd(8 12345789 + 9, 12345789) = gcd(9, 12345789) = gcd(12345789, 9) = gcd(0, 9) = 9. = gcd(13717421 9 + 0, 9) 23. (Challenge 5) Show that any two numbers of the form 2 2n +1 are coprime (where n is a nonnegative integer), and thus give an alternative proof that there are infinitely many primes. 24. Find all integer solutions to the following linear diophantine equations: (a) 10x + 17y = 88; (b) 9x + 15y = 100. 1. We can use Euclid to find that gcd(10, 17) = 1. By working backwards through Euclid s algorithm one can find a solution to 10x + 17y = 1 and multiply both sides by 88 to get a solution. However, one may prefer to spot that 10 2 + 17 4 = 88. Suppose (x, y) is another solution, we have and so (by subtracting), 10 2 + 17 4 = 88 10x + 17y = 88, 10(x 2) + 17(y 4) = 0. This means that y 4 must be a multiple of 10, so y 4 = 10k. But then x 2 = 17k. Thus x = 2 17k, y = 10k + 4. 10

We ve shown that if x and y are solutions, then they re of these form; we should also check that any x and y of this form are solutions. But 10(2 17k) + 17(10k + 4) = 20 + 8 = 88, so it does work, and so this is the general solution. 2. The greatest common divisor of 9 and 15 is 3, so the left-hand-side can never equal 100, which is not a multiple of 3. So there are no solutions. 25. Look again at the proof that if a prime p divides ab, then p divides a or b. Simplify it to obtain a proof that, for any integers n, a, and b, if n ab and gcd(n, a) = 1, then n b. If gcd(n, a) = 1, then there are integers u and v with nu+av = 1. Multiplying both sides by b, we get nub+avb = b. The integer n divides the left-hand side since it divides n and ab, so we have n b. 2. Let F (n) be the nth Fibonacci number. What is gcd(f (n), F (n + 1))? Prove your answer by induction. We ll prove that gcd(f (n), F (n + 1)) = 1 by induction on n. or our base case n = 0, we have to prove that gcd(0, 1) = 1, which is clearly true. Now, let s assume it for n = k and prove it for n = k+1. So we re assuming that gcd(f (k), F (k+1)) = 1 and have to prove gcd(f (k+1), F (k+2)) = 1. But gcd(f (k + 1), F (k + 2)) = gcd(f (k + 1), F (k) + F (k + 1)) (by definition) = gcd(f (k + 1), F (k)) (by the method of Euclid s algorithm) =1 (by the induction hypothesis). That s exactly what we needed to prove, so it completes the induction step. 27. (Challenge ) Prove that there are infinitely many primes of the form 4n 1. (Hint: Try thinking about numbers of the form 4p 1 p 2... p k 1.) 11