I. Induction. Po-Shen Loh June 16, 2003

Similar documents
Induction and Recursion

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

Mathematical Induction. Section 5.1

Induction and recursion. Chapter 5

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

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

Math 300: Final Exam Practice Solutions

Discrete Mathematics. Spring 2017

Warm-up Quantifiers and the harmonic series Sets Second warmup Induction Bijections. Writing more proofs. Misha Lavrov

Use mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis.

With Question/Answer Animations

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.

COM S 330 Lecture Notes Week of Feb 9 13

Exercises. Template for Proofs by Mathematical Induction

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

MAS114: Solutions to Exercises

Olympiad Constructions Cody Johnson. Constructions. July 14, 2016 Cody Johnson.

Functional Equations

PUTNAM TRAINING MATHEMATICAL INDUCTION. Exercises

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

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

One-to-one functions and onto functions

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

CSE 20 DISCRETE MATH WINTER

Countability. 1 Motivation. 2 Counting

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Solutions to Practice Final

Homework 3 Solutions, Math 55

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

Example. How to Guess What to Prove

CSE 311: Foundations of Computing. Lecture 26: Cardinality

MAT115A-21 COMPLETE LECTURE NOTES

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

Invariants II. LA Math Circle (Advanced) November 15, 2015

12 Sequences and Recurrences

CSI Mathematical Induction. Many statements assert that a property of the form P(n) is true for all integers n.

PUTNAM TRAINING PROBLEMS

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

What can you prove by induction?

USA Mathematical Talent Search Round 4 Solutions Year 20 Academic Year

DR.RUPNATHJI( DR.RUPAK NATH )

Axioms for Set Theory

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Discrete Mathematics for CS Spring 2008 David Wagner Note 4

Section 7.2: One-to-One, Onto and Inverse Functions

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Notes on ordinals and cardinals

MI 4 Mathematical Induction Name. Mathematical Induction

1 Basic Combinatorics

Infinite Continued Fractions

1 Sequences and Summation

Matrix Multiplication

Mathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring

F 2k 1 = F 2n. for all positive integers n.

CHAPTER 8: EXPLORING R

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

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

Lecture 3: Big-O and Big-Θ

21 Induction. Tom Lewis. Fall Term Tom Lewis () 21 Induction Fall Term / 14

Cellular Automata and Tilings

Great Theoretical Ideas in Computer Science. Lecture 5: Cantor s Legacy

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works.

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

Principles of Real Analysis I Fall I. The Real Number System

CMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013

O Notation (Big Oh) We want to give an upper bound on the amount of time it takes to solve a problem.

Mathematical Induction

Intermediate Math Circles February 14, 2018 Contest Prep: Number Theory

Another Proof By Contradiction: 2 is Irrational

All numbered readings are from Beck and Geoghegan s The art of proof.

Mathematical Induction

Math Review for Exam Answer each of the following questions as either True or False. Circle the correct answer.

Contents. Counting Methods and Induction

CS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks

The Different Sizes of Infinity

Divisibility = 16, = 9, = 2, = 5. (Negative!)

0 Sets and Induction. Sets

Discrete Math, Spring Solutions to Problems V

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

CS1800: Mathematical Induction. Professor Kevin Gold

Finite and Infinite Sets

Real Analysis - Notes and After Notes Fall 2008

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

, p 1 < p 2 < < p l primes.

Discrete Mathematics. Spring 2017

Discrete dynamics on the real line

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.

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that

Homework 1 Submission

Laver Tables A Direct Approach

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.

Lecture 12 : Recurrences DRAFT

Transcription:

I. Induction Po-Shen Loh June 16, 2003 1 News Flash From Zuming! Remind Po to take all the markers from CBA 337 Tonight s study session for Red/Blue is in Bessey 104 Future Red lectures are in NM B-7, the Naval Military Base #7 Future Red tests and study sessions are in Bessey 104 All test reviews will be in Bessey 104 2 Warm-Up 1. A coil has an inductance of 2mH, and a current through it changes from 0.2A to 1.5A in a time of 0.2s. Find the magnitude of the average induced emf in the coil during this time. Just kidding. 2. Prove that the number of binary sequences of length n with an even number of 1 s is equal to the number of binary sequences of length n with an odd number of 1 s. Easy induction: Let E n, O n the numbers of even/odd sequences. Induction hypothesis is E n = O n = 2 n 1. Now break E n+1 into two groups: those with first coordinate 0 and with first coordinate 1. Number in first group is E n, and number in second group is O n. So E n+1 = E n + O n, which by induction is 2 n. So O n+1 = 2 n+1 E n+1, done. 3 Equality 1. Let F n be the Fibonacci sequence. Prove that F 2 n = F n 1 F n+1 ± 1. Determine when it s +1 and when it s 1. It s actually Fn 2 = F n 1 F n+1 ( 1) n, under the convention F 0 = 0, F 1 = 1. Inductive step is just evaluating F n F n+2 and expanding out F n+2 = F n + F n+1. F n F n+2 = F n (F n + F n+1 ) = F 2 n + F n F n+1 F n F n+2 ( 1) n+1 = F 2 n+1. = F n 1 F n+1 ( 1) n + F n F n+1 = (F n+1 )F n+1 ( 1) n 1

2. (Titu98) Let a be a real number such that sin a + cos a is a rational number. Prove that for all n N, sin n a + cos n a is rational. Clearly true for n = 2, since sin 2 + cos 2 = 1; then to go from n n + 1, just multiply the 1-case by the n case; use the fact that n = 1, 2 show that sin cos Q. Specifically, (sin n + cos n )(sin + cos) = sin n+1 + cos n+1 + sin cos(sin n 1 + cos n 1 ). Since we only need this for n 2, we have everything we need already rational, except for sin cos. But that is 1 2 [(sin + cos)2 sin 2 cos 2 ], already known to be rational by base case. 3. You ve seen maps in geography books. Did you know that they could all be colored with just 4 colors? (That is, colored in the sense that no two adjacent countries are the same color. Note that if two countries share a corner, they do not count as being adjacent.) Prove it! too hard. Well, this is actually the 4-color theorem, which was proved via computer. So don t try 4. (Ricky03 from Internet) I m playing the color-country game against Bob. We take turns; on my turn, I draw in a country. On Bob s turn, he chooses any color for the country, but he must make sure that no adjacent countries share the same color. Is it possible for me to force Bob to use more than 4 colors? Yes it is. Prove the following statement by induction: for any N, I can force Bob to use N colors, and furthermore, every time I draw a new country, there is some part of the new country s border that can see the point at infinity (topologically connected, not straight-line vision). This is clearly true for N = 2. For the inductive step, suppose we have it for N, and we are trying to get N + 1. Well, then start a blob of countries, and force Bob to use 1 color in that blob. Next, start another new blob in a remote area far away, and use the previous algorithm until Bob uses a second color (different from the 1 already used); note that this is still exposed to the point at infinity. Proceed until we have N blobs, spread far apart, each with a different one of the N colors exposed to infinity. Now engulf everything in a huge (not simply-connected) region; that region must have a color different from the N colors. So we are done. 5. (MOP98) Let S be the set of nonnegative integers. Let h : S S by a bijective function. Prove that there do not exist functions f, g from S to itself, f injective and g surjective, such that f(n)g(n) = h(n) for all n S. Use contradiction; assume that f and g exist, and define F = f h 1, G = g h 1 ; now F is injective and G is surjective, and f(n)g(n) = h(n) F (n)g(n) = n. Prove by strong induction that F (n) = n: at n = 1, we have F (1)G(1) = 1 F (1) = 1 since we are in nonnegative integers. But then if true up to N, then F (N + 1)G(N + 1) = N + 1 F (N + 1) [1, N + 1] and by injectivity, F (N + 1) = N + 1. Hence G can only take on two values, 1 and something else, so not surjective. Contradiction. 6. Show that every 2 n 2 n board with one square removed can be covered by Triominoes. First we inductively prove that we can tile any 2 n 2 n board such that we only miss one of the corners. Very easy, since we can cut into quarters, tile each one such that NW, NE, and SW are missing the corners in the center of the big square, and SE is missing the SE corner. One more triomino fills in the gap in the middle of the big square. Then look at a general 2 n 2 n board and split it into 4 equal squares. One of the squares contains the missing block, and we can use the previous result to tile the other 3 major squares, in such a way that the missing corners form a triomino in the center of the big square. Recursively descend. 2

4 Inequality 1. Prove the AM-GM inequality by induction. Easy for n = 1, 2; use n to show 2n, and then use n to show n 1. For n 2n, plug in (a k + a k+1 )/2; for the other one, use a n = (a 1 + + a n 1 )/(n 1). 2. (Zuming97) Let a 1 = 2 and a n+1 = a n /2 + 1/a n for n = 1, 2,.... Prove that 2 < a n < 2 + 1/n. Draw a picture to see why it is always greater than 2. Also use AM-GM to prove that we must be beyond 2. For the other side, induct and bound a n+1 < ( 2 + 1/n)/2 + 1/ 2 = 2 + 1/(2n) 3. (Zuming97) For the positive sequence {a n } with a 2 n a n a n+1, prove that a n < 1/(n + 2). Positive sequence, so a 1 1, and a 2 1/4 by AM-GM, or function theory. Now a n+1 a n (1 a n ) 1 ( 1 1 ) = 1 n + 2 n + 2 n + 2 4. (Zuming97) For a > 0, prove that: a + 2a + 3a + n + 1 n + 2 1 n + 2 n + 2 n + 3 = 1 n + 3 4a + 5a < a + 1 k: True for n = 1. Let f k (a) be the k-th iteration evaluated at a. Then if it s true for some f k+1 (a) 2 < f k (2a) + a < 2a + 1 + a < a + 2 a + 1 = ( a + 1) 2 5. Prove that 1 + 1 2 + 1 3 + = Bunch the terms in packs of 1, 2, 4, 8, 16, etc. Each pack will exceed 1, and there are infinitely many of them. 6. Prove that 1 + 1 2 2 + 1 3 2 + + 1 n 2 < 2 to 2. Similar bunching, but now the bunches are bounded by 1/2 k, geometric series converges 3

5 Additional Problems 1. (Titu98) Prove that for every n N, there exists a finite set of points in the plane such that for every point of the set there exist exactly n other points of the set at distance equal to 1 from that point. n-dimensional Hypercube, squashed into the plane. Basically, at each step translate the given point set by a unit distance. Just need to show there is a valid angle for this unit translation. But there are only a finite number of conflicts, (number of points 2 because pair of circles has 2 intersections), and an infinite number of angles. 2. (Titu98) Let f : N N be such that f(n + 1) > f(f(n)) for all n N. Prove that f(n) = n for all n. We will prove by strong induction the statement P n : all f(a) = a for a < n, and the n-th smallest value in the set {f(i)} is uniquely f(n). That is, the unique index which attains that mark is i = n. For n = 0, there is nothing to prove. For n = 1, consider the smallest value, and suppose it is attained (possibly not uniquely) by f(a). Then the recursion says f(a) > f(f(a 1)). So if a 1, then the RHS is defined, and we have another f(i) smaller than the MIN. Thus a = 1, and that is unique. This establishes P 1. For P 2, consider the 2nd smallest value, say f(a). Recall P 1 says the smallest value is uniquely attained by f(1). Again, f(a) > f(f(a 1)). We know a 1 since f(1) is the smallest. So, f(a 1) is defined; let it be b. Now we have f(a) > f(b). Thus f(b) must be the smallest, hence b = 1. So f(a 1) = b = 1. But 1 is the minimum of the range, so we must actually have a 1 = 1, so we now know that f(1) = 1 and f(2) is uniquely the 2nd smallest, giving P 2. Now proceed inductively. Suppose P n is true. Consider the (n + 1)-st smallest value in the range, suppose it is attained by f(a). Again, f(a) > f(f(a 1)), and since we know a 1 (or else it would be the very smallest), we have f(a 1) = b. So f(b) is one of the n smallest values. If it were some i {1,..., n 1}, then we would also know that b = i by P n, further giving f(a 1) = b = i, forcing a 1 = i as well, and hence a = i + 1. But then again by P n, we know f(i + 1) is one of the n smallest values, contradiction. Therefore, f(b) is precisely the n-th smallest value, so b = n. This gives f(a 1) = b = n, which (since the n 1 smallest values are known to be {1,..., n 1}) implies that n is the n-th smallest value, i.e., a 1 = n. This shows that f(n) = n and a = n + 1, i.e., f(n + 1) uniquely achieves the (n + 1)-st smallest value. 3. (MOP97) Let F k be the Fibonacci sequence, where F 0 = F 1 = 1 and F n+2 = F n + F n+1. Prove that for every n, k N: F n F k F n k + F k+1 F n k 1 F n+1 Write-up for 1997 MOP test 11, problem 3. 4. (MOP97) Prove that for n, k Z, n > 0, k 0: F n+2 F k F n k F k+1 F n k 1 = F k+1 F n k Write-up for 1997 MOP test 11, problem 3. 5. (MOP97) Given a sequence of numbers {a 1,..., a n }, define the derived sequence {a 1,..., a n+1} by a k = S a k 1 a k, where S = min (a k 1 + a k ) + max (a k 1 + a k ) 1 k n+1 1 k n+1 4

and a 0 = a n+1 = 0. Thus, if we start with the sequence {1} of length 1 and apply the derived sequence operation again and again, we get the family of sequences: {1}, {1, 1}, {2, 1, 2}, {3, 2, 2, 3}, {5, 3, 4, 3, 5},... Show that when we apply the operation 2n times in succession to the initial sequence {1} (with n 1), we get a sequence whose middle (i.e. (n + 1)-st) term is a perfect square. Write-up for 1997 MOP test 11, problem 3. 6. (MOP97) Suppose that each positive integer not greater than n(n 2 2n + 3)/2 is colored one of two colors (red or blue). Show that there must be an n-term monochromatic sequence a 1 < a 2 < a n satisfying a 2 a 1 a 3 a 2 a n a n 1. Write-up for 1997 MOP IMO test 3, problem 2. 5