Sample Induction Proofs



Similar documents
3. Mathematical Induction

Math 55: Discrete Mathematics

Math 115 Spring 2011 Written Homework 5 Solutions

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

Solutions for Practice problems on proofs

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.

Mathematical Induction

Mathematical Induction. Mary Barnes Sue Gordon

Full and Complete Binary Trees

SECTION 10-2 Mathematical Induction

Introduction. Appendix D Mathematical Induction D1

Mathematical Induction. Lecture 10-11

Math 55: Discrete Mathematics

Basic Proof Techniques

1(a). How many ways are there to rearrange the letters in the word COMPUTER?

Homework until Test #2

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

arxiv:math/ v1 [math.co] 21 Feb 2002

A Little Set Theory (Never Hurt Anybody)

Answer Key for California State Standards: Algebra I

Discrete Mathematics: Homework 7 solution. Due:

CONTRIBUTIONS TO ZERO SUM PROBLEMS

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

The Mean Value Theorem

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Connectivity and cuts

1. Prove that the empty set is a subset of every set.

Math 319 Problem Set #3 Solution 21 February 2002

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

MATH10040 Chapter 2: Prime and relatively prime numbers

Chapter 17. Orthogonal Matrices and Symmetries of Space

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

Exponential time algorithms for graph coloring

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

Cartesian Products and Relations

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

Continued Fractions and the Euclidean Algorithm

Fibonacci Numbers and Greatest Common Divisors. The Finonacci numbers are the numbers in the sequence 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144,...

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

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

6.2 Permutations continued

Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014

Notes on Determinant

Section IV.1: Recursive Algorithms and Recursion Trees

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

I. Pointwise convergence

v w is orthogonal to both v and w. the three vectors v, w and v w form a right-handed set of vectors.

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.

Lecture 1: Course overview, circuits, and formulas

The thing that started it 8.6 THE BINOMIAL THEOREM

Real Roots of Univariate Polynomials with Real Coefficients

8 Divisibility and prime numbers

Lecture 17 : Equivalence and Order Relations DRAFT

Elements of probability theory

Graph Theory Problems and Solutions

If n is odd, then 3n + 7 is even.

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

LEARNING OBJECTIVES FOR THIS CHAPTER

INCIDENCE-BETWEENNESS GEOMETRY

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

SCORE SETS IN ORIENTED GRAPHS

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

Applications of Fermat s Little Theorem and Congruences

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

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

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

RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

THE DIMENSION OF A VECTOR SPACE

Math Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

NIM with Cash. Abstract. loses. This game has been well studied. For example, it is known that for NIM(1, 2, 3; n)

Similarity and Diagonalization. Similar Matrices

Representation of functions as power series

Practice with Proofs

The Determinant: a Means to Calculate Volume

1. Give the 16 bit signed (twos complement) representation of the following decimal numbers, and convert to hexadecimal:

COMP 250 Fall 2012 lecture 2 binary representations Sept. 11, 2012

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

CS 103X: Discrete Structures Homework Assignment 3 Solutions

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.2. Successive Differences

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.

10.2 Series and Convergence

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Math Common Core Sampler Test

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

1. Introduction circular definition Remark 1 inverse trigonometric functions

15. Symmetric polynomials

The Pointless Machine and Escape of the Clones

Math Workshop October 2010 Fractions and Repeating Decimals

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

ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS

Sequences and Series

5.1 Radical Notation and Rational Exponents

sin(x) < x sin(x) x < tan(x) sin(x) x cos(x) 1 < sin(x) sin(x) 1 < 1 cos(x) 1 cos(x) = 1 cos2 (x) 1 + cos(x) = sin2 (x) 1 < x 2

THE BANACH CONTRACTION PRINCIPLE. Contents

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

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

Transcription:

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 illustrate all of the main types of induction situations that you may encounter and that you should be able to handle. Use these solutions as models for your writing up your own solutions in exams and homework. For additional examples, see the following examples and exercises in the Rosen text: Section 4., Examples 0, Exercises 3, 5, 7, 3, 5, 9,, 3, 5, 45. Section 4.3, Example 6, Exercises 3, 5.. Prove by induction that, for all n Z +, n ( )i i = ( ) n n(n + )/. () n ( ) i i = ( )n n(n + ). Base case: When n =, the left side of () is ( ) =, and the right side is ( )(+)/ =, so both sides are equal and () is true for n =. Induction step: Let k Z + be given and suppose () is true for n = k. Then ( ) i i = ( ) i i + ( ) (k + ) = ( )k k(k + ) = ( )k (k + ) + ( ) (k + ) (by induction hypothesis) (k (k + )) = ( )k (k + ) ( k ) = ( ) (k + ). Thus, () holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, () is true for all n Z +.. Find and prove by induction a formula for n i(i+), where n Z +. () n i(i + ) = n n +. Base case: When n =, the left side of () is /( ) = /, and the right side is /, so both sides are equal and () is true for n =.

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Induction step: Let k Z + be given and suppose () is true for n = k. Then i(i + ) = i(i + ) + (k + )(k + ) = k k + + (by induction hypothesis) (k + )(k + ) k(k + ) + = (by algebra) (k + )(k + ) (k + ) = (k + )(k + ) = k + k +. (by algebra) Thus, () holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, () is true for all n Z +. 3. Find and prove by induction a formula for n n Z +. (i ) (i.e., the sum of the first n odd numbers), where () n (i ) = n. Base case: When n =, the left side of () is, and the right side is =, so both sides are equal and () is true for n =. Induction step: Let k Z + be given and suppose () is true for n = k. Then (i ) = (i ) + ((k + ) ) = k + (k + ) (by induction hypothesis) = k + k + = (k + ). Thus, () holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, () is true for all n. 4. Find and prove by induction a formula for n i= ( i ), where n Z + and n. Proof: We will prove by induction that, for all integers n, () n ( i ) i= = n + n. Base case: When n =, the left side of () is / = 3/4, and the right side is (+)/4 = 3/4, so both sides are equal and () is true for n =.

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Induction step: Let k be given and suppose () is true for n = k. Then i= ( i ) = k i= = k + k ( i ) ( ( (k + ) = k + k (k + ) (k + ) = k + k k(k + ) = k + (k + ). ) (k + ) ) (by induction hypothesis) Thus, () holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, () is true for all n Z + with n. 5. Prove that n! > n for n 4. Proof: We will prove by induction that n! > n holds for all n 4. Base case: Our base case here is the first n-value for which is claimed, i.e., n = 4. For n = 4, the left and right sides of are 4 and 6, respectively, so is true in this case. Induction step: Let k 4 be given and suppose is true for n = k. Then (k + )! = k!(k + ) > k (k + ) (by induction hypothesis) k (since k 4 and so k + )) =. Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, it follows that is true for all n 4. 6. Prove that for any real number x > and any positive integer x, ( + x) n + nx. Proof: Let x be a real number in the range given, namely x >. We will prove by induction that for any positive integer n, ( + x) n + nx. holds for any n Z +. Base case: For n =, the left and right sides of are both + x, so holds. Induction step: Let k Z + be given and suppose is true for n = k. We have ( + x) = ( + x) k ( + x) ( + kx)( + x) (by ind. hyp. and since x > and thus ( + x) > 0) = + (k + )x + kx (by algebra) + (k + )x (since kx 0). Hence holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, it follows that holds for all n Z +. 3

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand 7. Prove that n f i = f nf n+ for all n Z +. Proof: We seek to show that, for all n Z +, n fi = f n f n+. Base case: When n =, the left side of is f =, and the right side is f f = =, so both sides are equal and is true for n =. Induction step: Let k Z + be given and suppose is true for n = k. Then fi = fi + f = f k f + f (by ind. hyp. with n = k) = f (f k + f ) (by algebra) = f f k+ (by recurrence for f n ). Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, it follows that is true for all n Z +. 8. Prove that f n (3/) n for all n Z +. Proof: We will show that for all n Z +, f n (3/) n Base cases: When n =, the left side of is f =, and the right side is (3/) = /3, so holds for n =. When n =, the left side of is f =, and the right side is (3/) 0 =, so both sides are equal and is true for n =. Thus, holds for n = and n =. Induction step: Let k be given and suppose is true for all n =,,..., k. Then f = f k + f k (by recurrence for f n ) (3/) k + (3/) k 3 (by induction hypothesis with n = k and n = k ) = (3/) k ( (3/) + (3/) ) (by algebra) ( = (3/) k 3 + 4 ) 9 = (3/) k 0 9 > (3/)k. Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of strong induction, it follows that is true for all n Z +. Remarks: Number of base cases: Since the induction step involves the cases n = k and n = k, we can carry out this step only for values k (for k =, k would be 0 and out of range). This in turn forces us to include the cases n = and n = in the base step. Such multiple bases cases are typical in proofs involving recurrence sequences. For a three term recurrence we would need to check three initial cases, n =,, 3, and in the induction step restrict k to values 3 or greater. 9. Prove that n f i = f n+ for all n Z +. 4

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand n f i = f n+. Base case: When n =, the left side of is f =, and the right side is f 3 = =, so both sides are equal and is true for n =. Induction step: Let k Z + be given and suppose is true for n = k. Then f i = f i + f = f k+ + f (by ind. hyp. with n = k) = f k+3 (by recurrence for f n ) Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of induction, it follows that is true for all n Z +. Remark: Here standard induction was sufficient, since we were able to relate the n = k + case directly to the n = k case, in the same way as in the induction proofs for summation formulas like n i = n(n + )/. Hence, a single base case was sufficient. 0. Let the Tribonacci sequence be defined by T = T = T 3 = and T n = T n + T n + T n 3 for n 4. Prove that T n < n for all n Z +. Proof: We will prove by strong induction that, for all n Z +, T n < n Base case: We will need to check directly for n =,, 3 since the induction step (below) is only valid when k 3. For n =,, 3, T n is equal to, whereas the right-hand side of is equal to =, = 4, and 3 = 8, respectively. Thus, holds for n =,, 3. Induction step: Let k 3 be given and suppose is true for all n =,,..., k. Then T = T k + T k + T k (by recurrence for T n ) < k + k + k (by strong ind. hyp. with n = k, k, and k ) ( = + 4 + ) 8 = 7 8 <. Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the principle of strong induction, it follows that is true for all n Z +.. Let a n be the sequence defined by a =, a = 8, a n = a n + a n (n 3). Prove that a n = 3 n + ( ) n for all n Z +. Proof: We will prove by strong induction that, for all n Z +, a n = 3 n + ( ) n. Base case: When n =, the left side of is a =, and the right side is 3 0 + ( ) =, so both sides are equal and is true for n =. 5

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand When n =, the left and right sides of are a = 8 and 3 + ( ) = 8, so holds in this case as well. Induction step: Let k Z + with k be given and suppose is true for n =,,..., k. Then a = a k + a k (by recurrence for a n ) = 3 k + ( ) k + ( 3 k + ( ) k ) (by for n = k and n = k ) = 3 ( k + k ) + ( ( ) k + ( ) k ) (by algebra) = 3 k + ( ) (more algebra). Thus, holds for n = k +, and the proof of the induction step is complete. Conclusion: By the strong induction principle, it follows that is true for all n Z +.. Number of subsets: Show that a set of n elements has n subsets. Proof: P (n) We will prove by induction that, for all n Z +, the following holds: Any set of n elements has n subsets. Base case: Since any -element set has subsets, namely the empty set and the set itself, and =, the statement P (n) is true for n =. Induction step: Let k Z + be given and suppose P (k) is true, i.e., that any k-element set has k subsets. We seek to show that P (k + ) is true as well, i.e., that any (k + )-element set has subsets. Let A be a set with (k + ) elements. Let a be an element of A, and let A = A {a} (so that A is a set with k elements). We classify the subsets of A into two types: (I) subsets that do not contain a, and (II) subsets that do contain a. The subsets of type (I) are exactly the subsets of the set A. Since A has k elements, the induction hypothesis can be applied to this set and we get that there are k subsets of type (I). The subsets of type (II) are exactly the sets of the form B = B {a}, where B is a subset of A. By the induction hypothesis there are k such sets B, and hence k subsets of type (II). Since there are k subsets of each of the two types, the total number of subsets of A is k + k =. Since A was an arbitrary (k + )-element set, we have proved that any (k + )-element set has subsets. Thus P (k + ) is true, completing the induction step. Conclusion: By the principle of induction, P (n) is true for all n Z +. 3. Number of -element subsets: Show that a set of n elements has n(n )/ subsets with elements. (Take n = as the base case.) Proof: (Sketch) This can be proved in the same way as the formula for the number of all subsets. For the number of Type I subsets (i.e., those not containing the element a), the induction hypothesis can be used as before. The Type II subsets of A can be counted directly: the latter subsets are those of the form {a, b}, where a is the selected element and b is an arbitrary element in A {a}. There are k choices for b, and hence k subsets of Type II. 4. Generalization of De Morgan s Law to unions of n sets. Show that if A,..., A n are sets, then (A A n ) = A A n. 6

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Proof: P (n): We seek to prove by induction on n the following statement: For all sets A,..., A n we have (A A n ) = A A n. The key to the argument is two set version of De Morgan s Law: ( ) (A B) = A B, which holds for any sets A and B. Base case: For n =, the left and right sides of are both equal to A, so holds trivially in this case. Hence P () is true. Though not absolutely necessary, we can also easily verify the next case, n = : In this case, the left and right sides of are (A A ) and A A, respectively, so the identity is just the two set version of De Morgan s Law, i.e., ( ) with A = A and B = A. Induction step: Let k, and suppose P (k) is true, i.e., suppose that holds for n = k and any sets A,..., A k. We seek to show that P (k + ) is true, i.e., that for any sets A,..., A, holds. Let A,..., A be given sets. Then (A A ) = ((A A k ) A ) = (A A k ) A (by ( ) with A = (A A k ) and B = A ) = ( A A k ) A (by induction hypothesis applied to A,..., A k ) = A A k A. Thus, holds for n = k +, and since the A,..., A were arbitrary sets, we have obtained statement P (k + ). Hence, the proof of the induction step is complete. Conclusion: By the principle of induction, it follows that P (n) is true for all n Z +. 7