# Mathematical Induction

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Chapter 2 Mathematical Induction 2.1 First Examples Suppose we want to find a simple formula for the sum of the first n odd numbers: (2n 1) = n (2k 1). How might we proceed? The most natural approach is to do the calculation for several small values of n. Doing so, we find n = 1 : n = 2 : n = 3 : n = 4 : 1 (2k 1) = 1 2 (2k 1) = = 4 3 (2k 1) = = 9 4 (2k 1) = = 1. These examples lead us to the conjecture n (2k 1) = n 2. (2.1.1) Is our conjecture correct? It certainly agrees with the results obtained for n = 1, 2, 3, 4 above, but how do we know whether it is true for all n? No amount of computing will answer this question; what we need is a general argument - a proof. 1

2 2 CHAPTER 2. MATHEMATICAL INDUCTION Here is one elementary argument: Let S[n] = n following sum is equal to 2S[n]: (2k 1). Then the (2n 3) + (2n 1). (2n 1) + (2n 3) We have n columns with two numbers each, and each column sums o 2n. Thus 2S[n] = n 2n = 2n 2, and hence S[n] = n 2. This example illustrates a common situation in which we want to establish an infinite number of statements, one for each natural number n. In the above example, a bit of clever grouping established the general result. Not surprisingly, the number of situations in which such an argument is possible is small. The Principle of Mathematical Induction will give us a general approach to obtaining proofs of statements like the above. We will discuss this general principle later in the section, once we have established some of the concepts necessary to formulate and explore a wider range of questions Defining sequences through a formula for the n-th term Definition A sequence a of real numbers is a function from the set N 0 of non-negative integers 0, 1, 2, 3,... to the set R of real numbers. We write either a[n] or a n for the value of the function at n and call this value the n-th term of the sequence. We denote the entire sequence by a or {a n }. Note that a[n] and a n are two different notations for the n-th term of the sequence a. We will use them interchangeably (though we will be consistent within any example or proposition.) The former notation may help you remember that a is a function, and that each term is really the value of this function at one of the elements of the domain. It is also the notation we ll use when we write Python programs. The latter notation is the traditional notation for terms in a sequence and will be used when we are not developing a program. Remark 1 (zero indexing). Some books define a sequence a to be a function whose domain is the set N of natural numbers 1, 2, 3,.... Perhaps this definition seems more natural, for then the first five terms are a 1, a 2, a 3, a 4 and a 5 rather than a 0, a 1, a 2, a 3 and a 4. Our reason for starting at zero is that we will be programming in Python, and Python (and many other programming languages) use zero-indexed sequences. We want to make the notation in our examples compatible with the syntax we will use in our programs. Were we British, zero indexing might seem more natural; in a multi-story building, the ground floor is the zeroth floor and the first floor is the next one up.

3 2.1. FIRST EXAMPLES 3 Example In the previous section, we considered the sequence S, where, for n 1, S[n] is the sum of the n odd numbers 1, 3,..., 2n 1. It is reasonable to define S[0] to be the empty sum, so that S[0] = 0. We showed above that S[n] = n 2 for n 1. This formula is also valid for n = 0, and thus we have a simple formula for the n-th term of the sequence S. Sometimes, as above, it is rather easy to guess a formula for the n-th term of a sequence by examining the first few terms. What can we try when it is not so obvious? It is sometimes helpful to look at the sequence of ratios or differences of consecutive terms, or the sequence of differences of consecutive terms in the sequences of differences, etc. We illustrate with some examples. Constant differences; arithmetic sequences. Consider the sequence {a n } of all natural numbers for which the remainder when divided by 10 is 3. The first few terms of the sequence are a 0 = 3, a 1 = 13, a 2 = 23, a 3 = 33,.... Consider the sequence {d n } of differences of consecutive terms. Thus d 0 = a 1 a 0 = 13 3 = 10, d 1 = a 2 a 1 = = 10, d 3 = a 4 a 3 = = 10, and in general d n = a n+1 a n = 10. The sequence {a n } is an example of a sequence for which the sequence of differences is the constant sequence whose n-th term is d n = 10. One can show (see the next exercise) that the n-th term formula for a sequence {a n } is linear in n if and only if the sequence of differences is constant. In this case, a 0 = 3 a 1 = 13 = a 2 = 23 = = = a 3 = 33 = = = a n = 3 + n 10. Exercise Consider the statement: The n-th term formula for a sequence {a n } is linear in n if and only if the sequence {d n } of differences is constant. This fact should be familiar to you even if the phrasing in terms of sequences is not. Reconcile the above statement with what you know about linear functions from algebra. Constant ratios; geometric sequences. Consider the sequence whose terms are the successive powers of 2, beginning with 2 0 = 1. The first few terms of

4 4 CHAPTER 2. MATHEMATICAL INDUCTION the sequence are a 0 = 2 0 = 1 a 1 = 2 1 = 2 a 2 = 2 2 = 4 a 3 = 2 3 = 8 a n = 2 n. Observe that this sequence is not arithmetic; the differences of consecutive terms are d 1 = a 1 a 0 = 2 1 = 1 d 2 = a 2 a 1 = 4 2 = 2. Let s look at ratios of consecutive terms: r 1 = a 1 a 0 = 2 1 = 2 r 2 = a 2 a 1 = 4 2 = 2 r 3 = a 3 = 8 a 2 4 = 2 r n = a n = 2n = 2. a n 1 2n 1 Such a sequence, in which the ratio of consecutive terms is constant, is called a geometric sequence Defining sequences recursively For n N 0, the n-th triangular number T n is the number associated with a triangular array of dots in which there are n rows, and each row has one more dot than the preceding row. Thus T 0 = 0 (for we have no rows of dots) and T 1, T 2, and T 3 are represented as follows: Thus the first few triangular numbers are T 0 = 0, T 1 = 1, T 2 = 3, T 3 =, T 4 = 10. We can define the sequence for arbitrary n as follows: T 0 = 0, and for n 1, T n = T n 1 + n. In such a recursive definition for a sequence, the n-th term is defined to be a function of one or more of the terms that precede it. With a recursive definition, one must also separately specify the first few terms; if the n-th term is a function of the preceding k terms, one must specify the first k terms of the sequences..

5 2.1. FIRST EXAMPLES 5 Exercise Write a recursive definition for the arithmetic sequence {3, 13, 23, 33,...} considered above. Exercise Write a recursive definition for the geometric sequence {1, 2, 4, 8,...} considered above. Let us return to our exploration of the triangular numbers. Although we have a recursive definition, we would still like an explicit formula for the n-th term; indeed, with a recursive definition, if we want to know, say, T 1000, we must first generate T 1, T 2,..., T 999. One can obtain an n-th term formula in a number of ways. One straightforward way involves iterating the recursive formula for T n : T n = T n 1 + n = T n 2 + (n 1) + n = T n 3 + (n 2) + (n 1) + n = (n 2) + (n 1) + n n = k. k=0 We can now obtain a simple formula for T n in the same way we obtained a n(n + 1) formula for the sum of the first n odd numbers. We find T n =. 2 Exercise Verify the last assertion. Exercise Give a picture proof of the formula T n = n(n+1) 2 by considering an n by n + 1 rectangular array of dots. We consider another approach; as we did with the arithmetic sequence in the last subsection, let us look at the sequence {d n } of differences of consecutive terms. d n = T n+1 T n = (T n + n + 1) T n = n + 1. This sequence of differences is not constant. However, we may consider the sequence {d (2) n } of differences for the sequence {d n }. We find d (2) n = d n+1 d n = (n + 2) (n + 1) = 1. In other words, the sequence of second differences is now constant. We saw above that when the sequence of first differences of a is constant, then the n-th term formula for a is a linear function of n. Suppose we knew that whenever the second differences are constant, the n-th term is a quadratic function of n. We would then have T n = An 2 + Bn + C

6 CHAPTER 2. MATHEMATICAL INDUCTION for constants A, B, and C to be determined. We can solve for these constants. Because we know the first three triangular numbers, 0 = T 0 = C 1 = T 1 = A + B + C 3 = T 2 = 4A + 2B + C. Solving this system gives A = B = 1 2 and C = 0, i.e., T n = 1 2 n n. We obtained the same formula above. It remains to prove that, when the sequence of second differences is constant, the n-th term of the sequence is a quadratic function of n. We leave the proof of this claim to the reader. Exercise Show that the sequence {d (2) n } of second differences of {a n } is a non-zero constant sequence if and only if a n = q(n) for some quadratic function q. In other words, you must prove two things: (i) If there are constants A, B, and C with A non-zero such that a n = An 2 + Bn + C for all n 0, then the sequence of second differences is a non-zero constant sequence. (ii) If the sequence of second differences is a non-zero constant sequence, then there exists a quadratic function q such that a n = q(n) for all n. 2.2 First Programs So far, our sequences have been simple enough that we could do all our calculations by hand. As our examples become more complicated, calculating by hand may become tedious or impossible. We therefore put our technology to use. Let s look for a simple formula for S[n] := n k 2 = n 2. We would like our sequence to be zero-indexed (see Remark 1 above), and so we let S[0] = 0. This definition is consistent with our definition of S[n] for n > 0 because, for n = 0, the sum is empty. Inspired by the example of the triangular numbers, we will generate the first terms of the sequence S and then look at the sequence d (1) of first differences, the sequence d (2) of second differences, and so on. Our goal is to figure out whether there is an m so that the sequence d (m) of m-th differences is constant. Our experience suggests that if such an m exists, then the n-th term formula

7 2.2. FIRST PROGRAMS 7 for S will be S[n] = p(n) where p is a polynomial of degree m. We will still have work to do, for we have only proved this statement for m = 1 and m = 2. But in the next section we will see a powerful technique for proving such conjectures. We use this example to develop our first Python program. If you are new to Python, you should first read the appendix. The first thing the program should do is produce a number of terms in the sequence S. Let s generate the first 15 terms, S[0], S[1],..., S[14]. We can use a simple loop. As above, we will name our list S. Because this sequence is defined recursively, we seed the list with the first term, 0. We now go through a loop 14 times (for 1 n < 15), each time replacing our existing list with the list obtained by appending S[n 1] + n 2 to the old. MAX_ELEMENTS = 15 S = [0] for n in range(1,max_elements): S.append(S[n-1]+n**2) Next, we must generate terms in the sequence d (1) of first differences. Recall that d (1) [0] = S[1] S[0],..., d (1) [13] = S[14] S[13]. Thus because we only generated 15 terms in S, we may only generate the first 14 terms in d (1). We do not need to seed the list d (1), so we may initially define it to be an empty list. d1 = [] for n in range(1,len(s)): d1.append(s[n]-s[n-1]) Similar code generates the first 13 second differences and the first 12 third differences. The full program appears below, with the output included in a comment. MAX_ELEMENTS = 15 S = [0] for n in range(1, MAX_ELEMENTS): S.append( S[n-1] + n**2 ) d1 = [] for n in range(1, len(s)): d1.append( S[n] - S[n-1] ) d2 = [] for n in range(1, len(d1)): d2.append( d1[n] - d1[n-1] ) d3 = [] for n in range(1, len(d2)): d3.append( d2[n] - d2[n-1] )

8 8 CHAPTER 2. MATHEMATICAL INDUCTION print("sequence: " + str(s)) print("first Differences: " + str(d1)) print("second Differences: " + str(d2)) print("third Differences: " + str(d3)) # example output #Sequence: [0, 1, 5, 14, 30, 55, 91, 140, 204, 285, 385, 50, 50, 819, 1015] #First Differences: [1, 4, 9, 1, 25, 3, 49, 4, 81, 100, 121, 144, 19, 19] #Second Differences: [3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27] #Third Differences: [2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2] The output of the program suggests (but does not prove) that the sequence d (3) is constant. Our experience thus far leads us to conjecture that the n-th term of the sequence S is given by S[n] = An 3 + Bn 2 + Cn + D for appropriate constants A, B, C, and D. Exercise As above, obtain a linear system for A, B, C, and D and solve it to obtain S[n] = 1 3 n n2 + 1 n = n(2n2 + 3n + 1) = n(n + 1)(2n + 1). (2.2.1) Exercise Modify the code to generate the sequence T of triangular numbers from the previous subsection, together with its sequences of first, second, and third differences. 2.3 First Proofs; The Principle of Mathematical Induction Our work in the previous section leads to the conjecture: S n := n j 2 = j=1 n(n + 1)(2n + 1) for all n N. This formula agrees with the output of our program. How can we know that the formula is valid for all n? No amount of computing can settle this question; no matter how long we run our program, we will have only checked our result for finitely many n. What we need is a proof. Although many arguments are possible, we give a proof using the principle of mathematical induction. This principle is quite simple. We have an infinite collection of statements P (1), P (2),..., P (n),..., one for each natural number n. Suppose we know (i) P (1) is true, and (ii) whenever P (k) is true P (k + 1) is true. It then follows that P (n) is true for all n.

9 2.3. FIRST PROOFS; THE PRINCIPLE OF MATHEMATICAL INDUCTION9 In our example, the statement P (n) is S n, the sum of the first n perfect squares, equals n(n+1)(2n+1). Consider the base case, i.e., the statement when n = 1. Clearly S 1 = 1 2 = 1. Because 1(1 + 1)(2(1) + 1) = =, it is indeed the case that S 1 = 1(1+1)(2(1)+1). Thus P (1) is true. For the induction step, we suppose that P (k) is true for some k 1 and we consider P (k + 1). In other words, we consider k+1 k S k+1 = j 2 = j 2 + (k + 1) 2. j=1 By the induction hypothesis, P (k) is true, and so the sum of the first k squares can be replaced by k(k+1)(2k+1). We find S k+1 = = = = = j=1 k(k + 1)(2k + 1) + (k + 1) 2 (k + 1) [k(2k + 1) + (k + 1)] (k + 1) [ 2k 2 + 7k + ] (k + 1) [(k + 2)(2k + 3)] (k + 1)[(k + 1) + 1][2(k + 1) + 1]. Thus P (k+1) is true if P (k) is true. By the principle of mathematical induction, P (n) is true for all n. You may have noticed that we did not prove that the principle of mathematical induction is indeed a valid proof technique. The full justification requires us to give a more precise definition of the natural numbers than we did in the first chapter. We defer this discussion to Chapter??. We note, however, that if one accepts the principle of mathematical induction, one can use it to prove a useful generalization: Proposition Consider a collection of statements P (a), P (a + 1), P (a + 2),... for some integer a. Suppose (i) P (a) is true and (ii) whenever P (k) is true for some integer k, P (k + 1) is true. Then P (n) is true for all n a. We leave the proof to the reader. Exercise Prove Proposition The point of the proposition is that we may use the technique of induction even when the base case is some integer other than 1. In the above example of

10 10 CHAPTER 2. MATHEMATICAL INDUCTION summing the squares, our proof was a bit more verbose than we will tend to be in the future. For example, we will seldom say explicitly what the statement P (n) is because it is usually obvious. We illustrate by proving another proposition by induction. Note also that our base case will be n = 0 and not n = 1. Proposition (Bernoulli s inequality) Let x 1. Then for every integer n 0, (1 + x) n 1 + nx. (2.3.1) Proof. The proof is by induction on n with base case n = 0. When n = 0, (1 + x) 0 = 1 = 1 + 0x and the result holds. Now suppose the result holds for some k 0 and consider k + 1. Then (1 + x) k+1 = (1 + x)(1 + x) k. By the induction hypothesis, (1+x) k 1+kx. Also, because x 1, 1+x 0. Thus (1 + x) k+1 = (1 + x)(1 + x) k (1 + x)(1 + kx) = 1 + kx + x + kx (k + 1)x + 0, and the result indeed holds for k+1. By the principle of mathematical induction, it holds for all integers n 0. Exercise Induction can be used to prove some divisibility results. Consider, for example, a n = 11 n for n 1. By writing down the prime factorizations of the first few, make a conjecture about a factor they all have in common. Prove your claim. 2.4 Strong Induction Some proofs require the strong principle of mathematical induction: Suppose we have a collection of statements P (n), one for each n N. Suppose (i) P (1) is true and (ii) for k 1, if P (i) is true for all 1 i k, then P (k + 1) is true. Then P (n) is true for all n. Although it seems as if we are assuming more at the induction step, the strong principle of mathematical induction and the usual principle of mathematical induction are, in fact, equivalent. We illustrate with an example why we need this formulation as well. Example Suppose we have 3-cent and 5-cent stamps. What postage can be made?

11 2.5. PROBLEMS 11 Clearly we can not make postage of 1, 2, 4, or 7 cents. It appears that we can make all the others. Indeed, postage of 3 and 5 cents is trivial, and = = = = = , and so on. It thus appears that any postage of 8 cents or more can be made. We prove this conjecture using the strong induction principle. We have just shown explicitly how to make postage of 8, 9, 10, or 11 cents. Suppose now that k 11 and that, for all 8 i k, we can make postage of i cents using 3- and 5-cent stamps. Consider postage of k + 1 cents. Because k 11, (k +1) 3 = k 2 9. By the strong induction hypothesis, we can make postage of k 2 cents, and by adding an additional 3-cent stamp, we can make postage of k + 1 cents. Thus by the strong principle of mathematical induction, we can make any postage of 8 cents or more with 3- and 5-cent stamps. Exercise Determine all postage that can be made using 4- and 7-cent stamps. 2.5 Problems Whenever possible, we pose problems in which you need to explore, conjecture, and prove. You may, of course, explore however you like, using trial and error, doing concrete examples via paper-and-pencil calculations, or using your developing programming skills to write a short program to do many examples quickly for you. There is no right way to explore. Needless to say, most of the problems posed ask you to discover a known result. Thus were you to open other books or go online, you could find formulas and proofs. The point, of course, is to learn how to discover results for yourself. A final note: Just because the title of the chapter is Mathematical Induction does not mean you must or should use induction to do all of these problems. For many of them, induction will work. But for many, other proofs exist as well, and you should look for them. Each new proof gives new insight. 1. Find and prove a formula for the sum of the first n even natural numbers. 2. Find and prove a formula for the sum of the first n perfect cubes, i.e., for n k Find and prove a formula for the sum of the first n powers of 2, beginning n 1 with 2 0. That is, find and prove a formula for 2 k. See if you can give more than one proof. k=0

12 12 CHAPTER 2. MATHEMATICAL INDUCTION n 1 4. Find and prove a formula for 3 k. k=0 n 1 5. A finite geometric series is a series of the form ar k for non-zero a and r. Find and prove a formula for this sum.. Consider the sequence {a n } defined recursively by a 0 = 1 and a n = a n for n 1. Find an explicit formula for a n and an explicit formula for n 1 a k. k=0 7. Recall that a sequence {c n } is called arithmetic if it is given recursively by c 0 = c and c n = c n 1 + d for n 1 and for fixed constants c and d. n 1 Find a formula for c n and for c k. k=0 8. A sequence {a n } is bounded above if there exists an M such that a n M for all n. Let a 0 = 1 and, for n > 0, let a n = 2a n (a) Generate enough terms of the sequence to make a conjecture about whether or not this sequence is bounded above. Prove your conjecture. (b) A sequence {a n } is non-decreasing if, for all n, a n a n+1. We may similarly define non increasing sequences. A sequence is said to be monotone if it is either non-decreasing or non-increasing. Determine whether the sequence in this problem is monotone. 9. Explore the way in which the boundedness and monotonicity of the sequence in the previous problem depend on the value a 0. Give proofs of all your claims. 10. Our experience with polynomials and exponential functions suggests to us that each of the following inequalities should be true, at least for n sufficiently large. Find all n for which each inequality holds. (a) 2 n 2n + 1. (b) 2 n n 2. (c) n! 2 n A game of Poison begins with a row of 10 pennies and two players. On each player s turn, he or she may remove one penny or two pennies. The last penny is poison, and thus the object is to force one s opponent to take the last penny. Would you prefer to be the first player or the second player? Generalize to an n-penny game, with proof, of course. k=0

13 2.5. PROBLEMS Suppose we have postage stamps in denominations of a cents and b cents and that a and b have no common factors. What is the largest postage that can not be made? 13. The purpose of this problem is to prove a number of useful inequalities. (a) Suppose x and y are real numbers. Show that 2xy x 2 + y 2. (b) Suppose a and b are non-negative real numbers. Show that ab a + b 2. (This inequality is often called the Arithmetic-Geometric Mean (AGM) inequality.) (c) Let n be a natural number, and suppose a k > 0 for 1 k 2 n. Prove (a 1 a 2 a 2 n) 1 2 n a 1 + a a 2 n 2 n. Programming Project. In this chapter, we introduced arithmetic sequences (where there is a common difference d between consecutive terms) and geometric sequences (where there is a common ratio r between consecutive terms). We also saw examples of sequences for which we had to look at second and third differences in order to guess a formula for the n-th term. Write a program that takes a list consisting of the first six terms of a sequence and finds the first few terms in the sequence of differences or ratios. Then use it to find n-th term formulas for sequences agreeing with the first six terms of each of the following: { a = 3, 3 2, 1 2, 1 8, 1 } 40, 1 240,... { 7 b = 3, 3, 3, 7 }, 1, 1,.... 3

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

### Introduction. Appendix D Mathematical Induction D1

Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to

### Appendix F: Mathematical Induction

Appendix F: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

### SECTION 10-2 Mathematical Induction

73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

### Induction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition

Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### Math 115 Spring 2011 Written Homework 5 Solutions

. Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

### x if x 0, x if x < 0.

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

### 1.2. Successive Differences

1. An Application of Inductive Reasoning: Number Patterns In the previous section we introduced inductive reasoning, and we showed how it can be applied in predicting what comes next in a list of numbers

### 4/1/2017. PS. Sequences and Series FROM 9.2 AND 9.3 IN THE BOOK AS WELL AS FROM OTHER SOURCES. TODAY IS NATIONAL MANATEE APPRECIATION DAY

PS. Sequences and Series FROM 9.2 AND 9.3 IN THE BOOK AS WELL AS FROM OTHER SOURCES. TODAY IS NATIONAL MANATEE APPRECIATION DAY 1 Oh the things you should learn How to recognize and write arithmetic sequences

### Section 6-2 Mathematical Induction

6- Mathematical Induction 457 In calculus, it can be shown that e x k0 x k k! x x x3!! 3!... xn n! where the larger n is, the better the approximation. Problems 6 and 6 refer to this series. Note that

### Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### 1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form

1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### 5.1 Radical Notation and Rational Exponents

Section 5.1 Radical Notation and Rational Exponents 1 5.1 Radical Notation and Rational Exponents We now review how exponents can be used to describe not only powers (such as 5 2 and 2 3 ), but also roots

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Mathematical Induction. Lecture 10-11

Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

### Taylor Polynomials and Taylor Series Math 126

Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### Sample Induction Proofs

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

### a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way

Chapter 3 Distribution Problems 3.1 The idea of a distribution Many of the problems we solved in Chapter 1 may be thought of as problems of distributing objects (such as pieces of fruit or ping-pong balls)

### Pythagorean Triples. Chapter 2. a 2 + b 2 = c 2

Chapter Pythagorean Triples The Pythagorean Theorem, that beloved formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

### CHAPTER 3 Numbers and Numeral Systems

CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,

### Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

### CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

### Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.

Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that

### Math Workshop October 2010 Fractions and Repeating Decimals

Math Workshop October 2010 Fractions and Repeating Decimals This evening we will investigate the patterns that arise when converting fractions to decimals. As an example of what we will be looking at,

### CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

### Chapter 11 Number Theory

Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications

### 9.2 Summation Notation

9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

### We can express this in decimal notation (in contrast to the underline notation we have been using) as follows: 9081 + 900b + 90c = 9001 + 100c + 10b

In this session, we ll learn how to solve problems related to place value. This is one of the fundamental concepts in arithmetic, something every elementary and middle school mathematics teacher should

### Notes on Factoring. MA 206 Kurt Bryan

The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

### Notes: Chapter 2 Section 2.2: Proof by Induction

Notes: Chapter 2 Section 2.2: Proof by Induction Basic Induction. To prove: n, a W, n a, S n. (1) Prove the base case - S a. (2) Let k a and prove that S k S k+1 Example 1. n N, n i = n(n+1) 2. Example

### Acquisition Lesson Planning Form Key Standards addressed in this Lesson: MM2A3d,e Time allotted for this Lesson: 4 Hours

Acquisition Lesson Planning Form Key Standards addressed in this Lesson: MM2A3d,e Time allotted for this Lesson: 4 Hours Essential Question: LESSON 4 FINITE ARITHMETIC SERIES AND RELATIONSHIP TO QUADRATIC

### MATH 10034 Fundamental Mathematics IV

MATH 0034 Fundamental Mathematics IV http://www.math.kent.edu/ebooks/0034/funmath4.pdf Department of Mathematical Sciences Kent State University January 2, 2009 ii Contents To the Instructor v Polynomials.

### ALGEBRA. sequence, term, nth term, consecutive, rule, relationship, generate, predict, continue increase, decrease finite, infinite

ALGEBRA Pupils should be taught to: Generate and describe sequences As outcomes, Year 7 pupils should, for example: Use, read and write, spelling correctly: sequence, term, nth term, consecutive, rule,

### Homework until Test #2

MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

### Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

### CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents

### Mathematical induction. Niloufar Shafiei

Mathematical induction Niloufar Shafiei Mathematical induction Mathematical induction is an extremely important proof technique. Mathematical induction can be used to prove results about complexity of

### Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

### CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

### Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

### MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

### Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)

NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 8 Student Outcomes Students know the definition of a number raised to a negative exponent. Students simplify and write equivalent expressions that contain

### CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

### Real Numbers and Monotone Sequences

Real Numbers and Monotone Sequences. Introduction. Real numbers. Mathematical analysis depends on the properties of the set R of real numbers, so we should begin by saying something about it. There are

### Mathematical Induction. Mary Barnes Sue Gordon

Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by

### Applications of Methods of Proof

CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

### Basic Proof Techniques

Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

### Diagonalisation. Chapter 3. Introduction. Eigenvalues and eigenvectors. Reading. Definitions

Chapter 3 Diagonalisation Eigenvalues and eigenvectors, diagonalisation of a matrix, orthogonal diagonalisation fo symmetric matrices Reading As in the previous chapter, there is no specific essential

### 1 Review of complex numbers

1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely

### 3.4 Complex Zeros and the Fundamental Theorem of Algebra

86 Polynomial Functions.4 Complex Zeros and the Fundamental Theorem of Algebra In Section., we were focused on finding the real zeros of a polynomial function. In this section, we expand our horizons and

### MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

### Worksheet on induction Calculus I Fall 2006 First, let us explain the use of for summation. The notation

Worksheet on induction MA113 Calculus I Fall 2006 First, let us explain the use of for summation. The notation f(k) means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other

### Fractions and Decimals

Fractions and Decimals Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles December 1, 2005 1 Introduction If you divide 1 by 81, you will find that 1/81 =.012345679012345679... The first

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

### (x + a) n = x n + a Z n [x]. Proof. If n is prime then the map

22. A quick primality test Prime numbers are one of the most basic objects in mathematics and one of the most basic questions is to decide which numbers are prime (a clearly related problem is to find

### LEARNING OBJECTIVES FOR THIS CHAPTER

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

### Notes on Determinant

ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### We now explore a third method of proof: proof by contradiction.

CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement

### The last three chapters introduced three major proof techniques: direct,

CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

### Patterns in Pascal s Triangle

Pascal s Triangle Pascal s Triangle is an infinite triangular array of numbers beginning with a at the top. Pascal s Triangle can be constructed starting with just the on the top by following one easy

### Answer Key for California State Standards: Algebra I

Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

### Some Notes on Taylor Polynomials and Taylor Series

Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited

### APPLICATIONS OF THE ORDER FUNCTION

APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and

### MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### IB Maths SL Sequence and Series Practice Problems Mr. W Name

IB Maths SL Sequence and Series Practice Problems Mr. W Name Remember to show all necessary reasoning! Separate paper is probably best. 3b 3d is optional! 1. In an arithmetic sequence, u 1 = and u 3 =

### The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

### Stanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions

Stanford Math Circle: Sunday, May 9, 00 Square-Triangular Numbers, Pell s Equation, and Continued Fractions Recall that triangular numbers are numbers of the form T m = numbers that can be arranged in

### The Inverse of a Matrix

The Inverse of a Matrix 7.4 Introduction In number arithmetic every number a ( 0) has a reciprocal b written as a or such that a ba = ab =. Some, but not all, square matrices have inverses. If a square

### Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important

### Lesson 6: Proofs of Laws of Exponents

NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 6 8 Student Outcomes Students extend the previous laws of exponents to include all integer exponents. Students base symbolic proofs on concrete examples to

### Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

### 5544 = 2 2772 = 2 2 1386 = 2 2 2 693. Now we have to find a divisor of 693. We can try 3, and 693 = 3 231,and we keep dividing by 3 to get: 1

MATH 13150: Freshman Seminar Unit 8 1. Prime numbers 1.1. Primes. A number bigger than 1 is called prime if its only divisors are 1 and itself. For example, 3 is prime because the only numbers dividing

### U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

### n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

### Diagonal, Symmetric and Triangular Matrices

Contents 1 Diagonal, Symmetric Triangular Matrices 2 Diagonal Matrices 2.1 Products, Powers Inverses of Diagonal Matrices 2.1.1 Theorem (Powers of Matrices) 2.2 Multiplying Matrices on the Left Right by

### 8 Divisibility and prime numbers

8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments

### Introduction to Diophantine Equations

Introduction to Diophantine Equations Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles September, 2006 Abstract In this article we will only touch on a few tiny parts of the field

### Properties of sequences Since a sequence is a special kind of function it has analogous properties to functions:

Sequences and Series A sequence is a special kind of function whose domain is N - the set of natural numbers. The range of a sequence is the collection of terms that make up the sequence. Just as the word

### 0018 DATA ANALYSIS, PROBABILITY and STATISTICS

008 DATA ANALYSIS, PROBABILITY and STATISTICS A permutation tells us the number of ways we can combine a set where {a, b, c} is different from {c, b, a} and without repetition. r is the size of of the

### Assignment 5 - Due Friday March 6

Assignment 5 - Due Friday March 6 (1) Discovering Fibonacci Relationships By experimenting with numerous examples in search of a pattern, determine a simple formula for (F n+1 ) 2 + (F n ) 2 that is, a

### Creating, Solving, and Graphing Systems of Linear Equations and Linear Inequalities

Algebra 1, Quarter 2, Unit 2.1 Creating, Solving, and Graphing Systems of Linear Equations and Linear Inequalities Overview Number of instructional days: 15 (1 day = 45 60 minutes) Content to be learned