Mathematical induction. Limits of sequences
|
|
- Scott Miller
- 6 years ago
- Views:
Transcription
1 LATEST EDITION APRIL 7, 205 AT 5:46 Mathematical induction. Limits of sequences Proofreading of English by Laurence Weinstock Table des matières Mathematical induction 2. Domino effect or chain reaction Significance of mathematical induction Axiom of induction Bernoulli s inequality Application to sequences Situations leading to an erroneous conclusion Limit of a sequence 6 2. Finite it Infinite it Limit by comparison and on an interval Operations on its Limit of a sum Limit of a product Limit of a quotient Limit of a geometric sequence Convergence of a monotonic sequence Upper-bounded, lower-bounded and bounded sequences Convergence theorems The method of Heron of Alexandria (st century) PAUL MILAN TERMINALE S
2 TABLE DES MATIÈRES Mathematical induction. Domino effect or chain reaction Mathematical induction is similar to the domino effect. It is analogous to a row of dominoes spaced regularly :? d 0 d d 2 d n d n+ The first domino falls. Primer If the nth domino falls, it knocks over the (n+)th. Propagation The first domino d 0 falls. This primes the reaction. The dominoes are close enough together so that if one domino d n falls the following d n+ also falls. There is therefore propagation along of the row of dominoes. So it can be concluded that all dominoes in the row fall one after the other. Let s transpose this domino effect into a mathematical property. Let (u n ) be the sequence defined by : u 0 = 0, 3 and n N, u n+ = 2 u n+ 2 Consider the property (P) : n N, 0 < u n < The first domino falls : u 0 = 0, 3 then 0 < u 0 <. The property is primed. If a domino falls, the following also falls : If 0 < u n < 0 < 2 u n < 2 2 < 2 u n+ 2 <. We then have 0 < 2 < u n+ <. The property is hereditary. As the first domino has fallen and the others fall by propagation, all the dominoes fall and therefore the property is satisfied for any natural integer..2 Significance of mathematical induction Consider the sequence (u n ) defined by : u 0 = 0 and n N, u n+ = 2u n + We would like to have a formula to explicitly compute u n as a function of n. At first, there is no obvious formula to be seen. In such a situation, calculating the first terms of the sequence is interesting as it often allows you to see a pattern emerge. Let s calculate the first few terms : u = 2u 0 + = (2 ) u 2 = 2u + = 3 (2 2 ) u 3 = 2u 2 + = 7 (2 3 ) u 4 = 2u 3 + = 5 (2 4 ) u 5 = 2u 4 + = 3 (2 5 ) PAUL MILAN 2 TERMINALE S
3 . MATHEMATICAL INDUCTION The terms of (u n ) seem to follow a simple law : by adding to each term, the successive power of 2 is obtained. From this observation, the following conjecture can be put forward : n N, u n = 2 n A conjecture is not a proof (i.e. not necessarily a true affirmation, some conjectures sometimes prove to be false...). It is only the statement of a property resulting from a number of observations. How can this conjecture be confirmed? Note (P) the property, defined by : n N, u n = 2 n Let s assume for any arbitrary n that the property (P) is true : u n = 2 n Then we have : u n+ = 2u n + = 2(2 n )+ = 2 n+ This is the property (P) for the index n+. If the property is true for an arbitrary index n (induction hypothesis) then the property is also true for the following index n+. This is called the induction step. We have checked that the property is true for the indices 0,, 2, 3, 4, 5. This is called the basis step. But with the induction step, it will also be true for the index n = 6, then for the index n = 7 etc. The property is therefore true for all n..3 Axiom of induction Definition : Consider the property (P n ) defined on N. If the property is satisfied for the first index 0 or n 0 : basis step and if the induction step is true from index 0 or n 0, i.e. : n 0 or n n 0 then P n P n+ then the property is true for all n from index 0 or n 0 Note : Mathematical induction is like the domino effect : If a domino falls, then the next one falls. If the first falls then the second falls, then the third, then the fourth... Conclusion : if the first domino falls, then they all fall. Mathematical induction has two steps : Prove the basis step Prove the induction step If we can carry out these two steps then the property is proven for all natural numbers. It must be ensured that the two conditions "basis step" and "induction step" are proven. As a matter of fact, if one of the two conditions is not met, then an erroneous conclusion is made, as shown by two examples in paragraph.6. PAUL MILAN 3 TERMINALE S
4 TABLE DES MATIÈRES.4 Bernoulli s inequality Theorem : Let a be a strictly positive real number. We then have n N, (+ a) n +na OPK Organized Presentation of Knowledge Prove this inequality by mathematical induction. Basis step : (+ a) 0 = and +0a =, then (+ a) 0 +0 a. The basis step is established. Induction step : Supposing that (+ a) n +na, let s show that (+ a) n+ +(n+)a By hypothesis : (+ a) n +na as + a > 0 and as a result : (+ a)(+ a) n (+ a)(+na) (+ a) n+ +na+a+na 2 The induction step is established. +(n+)a+na 2 +(n+)a By reason of both the basis and induction steps : n N, (+ a) n +na Note : For the induction step, the inequality is proven by "transitivity" :.5 Application to sequences a > b and b > c so a > c Let (u n ) be a sequence defined by : u 0 = and n N, u n+ = 2+u n a) Prove for all n, 0 < u n < 2 b) Prove that the sequence is strictly increasing. a) Let s prove by mathematical induction that u n is bounded. Basis step : We know that u 0 = so 0 < u 0 < 2. The basis step is established. Induction step : Supposing that 0 < u n < 2, show that 0 < u n+ < 2. 0 < u n < 2 2 < u n + 2 < 4 As the square root function is increasing on R +, 2 < un + 2 < 2 0 < 2 < u n+ < 2 The induction step is established. Therefore, by reason of both the basis and induction steps, we can conclude that : n N, 0 < u n < 2. PAUL MILAN 4 TERMINALE S
5 . MATHEMATICAL INDUCTION b) Let s show by mathematical induction that the sequence (u n ) is increasing. Basis step : we know that u = 3 so u > u 0. The basis step is established. Induction step : Supposing u n+ > u n, show that u n+2 > u n+. u n+ > u n u n+ + 2 < u n + 2 As the square root function is increasing on R +, un+ + 2 > u n + 2 u n+2 < u n+ The induction step is established. By reason of both the basis and induction steps, the sequence (u n ) is increasing..6 Situations leading to an erroneous conclusion Situation : Only the induction step established. Consider the property : n N, 3 divides 2 n Induction step : Supposing that 3 divides 2 n, show that 3 divides 2 n+. If 3 divides 2 n, then there exists a natural number k such that : 2 n = 3k By multiplying by 2 : 2 n+ = 2 3k = 3(2k). So therefore 3 divides 2 n+ Conclusion : The induction step is established but not the basis step, so it cannot be concluded that the property is true. That is fortunate, because this property is false! Situation 2 : The basis step is established up to a certain index. Consider the following property : n N, n 2 n+4 is a prime number. The basis step is established because for n = 0 we obtain 4 which is a prime number. But there is no mathematical induction even though P(n) is true up to n = 40. This can be seen with a table of prime numbers and a list of the first terms of the sequence (u n ) defined by u n = n 2 n + 4. n u n n u n n u n n u n For n = 4, we have : property is false = 4 2 which is not a prime number. The Conclusion : The truth of a proposition for the first set of values does not make a general rule! PAUL MILAN 5 TERMINALE S
6 TABLE DES MATIÈRES 2 Limit of a sequence 2. Finite it Definition 2 : The sequence (u n ) is said to have a it l if, and only if, all open intervals containing l contain all the terms of the sequence from a certain index onwards. The it is denoted : u n = l and the sequence(u n ) is said to converge tol Note : If the it exists, it is unique (This is easily proven by contradiction). This definition conveys the idea of the accumulation of terms u n around l ] [ Consequently The sequences defined for all natural numbers n = 0 by : l u n = n, v n = n 2, w n = n 3, t n = n, have a it of 0 Algorithm : Determine the integer N from which u n is in an interval containing l. Consider (u n ) defined by : { u0 = 0, u n+ = 2u n ( u n ) This sequence converges tol = 0, 5. We want to find the integer N from which the terms of the sequence are in the open interval centered at 0,5 and with a radius of 0 3. The following program will display N, with a "while" loop. We then obtain : N = 5 and u 5 0, 5 = 3, Variables: N : integer U : real number Inputs and initialization 0, U 0 N Processing while U 0, do 2U( U) U N+ N end Output : Print N, U 0, Infinite it Definition 3 : The sequence(u n ) is said to have a it+ (resp. ) if, and only if, every interval ]A;+ [ (resp. ] ; B[) contains all terms of the sequence from a certain index. The it is denoted : u n = + resp. u n = The sequence is said to diverge to + (resp. ) Note : This definition conveys the idea that the terms of the sequence will always exceed the number A, no matter how large. PAUL MILAN 6 TERMINALE S
7 2. LIMIT OF A SEQUENCE A sequence can have no it. For example : u n = ( 2) n. It is said that the sequence diverges. Consequently The sequences defined for all natural numbers by : u n = n, v n = n 2, w n = n 3, t n = n, have a it of + Algorithm : Determine the number N from which u n is greater than a given number A (increasing sequence). Consider the sequence (u n ) defined by : u 0 = 2 u n+ = 4 3 u n + We can show that this sequence is increasing and diverges to +. We want find the integer N from which u n is greater than 0 3 The following program allows you to find N, by means of a "while loop". We find that : N = 25 and U = 325, 83 Variables: N : integer U : real number Inputs and initialization 2 U 0 N Processing while U 0 3 do 4 3 U+ U N+ N end Output : Print N, U 2.3 Limit by comparison and on an interval Theorem 2 : Let (u n ), (v n ) and (w n ) be three sequences. If, from a certain index : ) "Squeeze" theorem v n u n w n and if 2) Comparison theorem u n v n and if u n w n and if v n = l and w n = l then v n = + then u n = + w n = then u n = u n = l OPK Proof : Only the proof of the comparison theorem is on the syllabus. We know that : v n = +, so for any real number A, there is an integer N such that if n > N then v n ]A;+ [ As u n > v n from the index p so if n > max(n, p) then u n ]A;+ [ Hence we have : Examples : u n = + Prove that the sequence (u n ) defined by : u n = sin n n+ converges. n N, n+ however sin n n+ n+ n+ = n+ = 0 PAUL MILAN 7 TERMINALE S
8 TABLE DES MATIÈRES So, according to the squeeze theorem : u n = 0 Show that the sequence (v n ) defined by : v n = n+sin n diverges to + n N however so according to the comparison theorem : 2.4 Operations on its n+sin n n n = + v n = + You are not required to prove the following theorems. It is fairly intuitive that the it of the sum is the sum of the its, and likewise that the it of the product (or quotient) is the product (or quotient) of the its. Only 4 cases have indeterminate forms. When faced with an indeterminate form, the best approach is to try to change the form of the sequence, or use the comparison or squeeze theorems or the theorem on monotonic sequences (see further on) in order to reach a conclusion Limit of a sum If (u n ) has a it l l l + + If (v n ) has a it l + + then (u n + v n ) has a it l+l + + I.F. Note : I.F. = Indeterminate form Examples : Determine the its of the following sequences : n N, u n = 3n++ 2 n 3n+ = + 2 n = 0 The sum is u n = + n N, v n = ( ) n n ( 3 ) n = 0 5 n = 5 The sum is v n = 5 n N, w n = n 2 n+2 n2 = + I.F. Another method n+2 = must be used Limit of a product If (u n ) has a it l l = 0 0 If (v n ) has a it l then (u n v n ) has a it l l * I.F. * *Follow the usual rules on multiplying unlike or like signs PAUL MILAN 8 TERMINALE S
9 2. LIMIT OF A SEQUENCE Examples : Determine the its of the following sequences : a) n N, u n = n 2 n+2 = n 2 ( n + 2 n 2 ) n2 = + n + 2 n 2 = The product is u n = + n N, v n = (2 n) 3 n 3n = + 2 n = The product is v n = n N, w n = n+ (n2 + 3) n+ = 0 I.F. Expressed in n2 + 3 = + this form Limit of a quotient If (u n ) has a it l l = 0 0 l If (v n ) has a it l = 0 0 () 0 l ( ) un l then has a it l * I.F. 0 * I.F. v n *Follow the usual rules on dividing like or unlike signs () 0 without changing sign Examples : Determine the its of the following sequences : a) n N, u n = 5 2n = 5 2n2 + 3 = + The quotient is u n = 0 b) n N, v n = n n = 0, 5 n 0, 5n = 0 + The quotient is v n = 3 c) n N, w n = n2 + 3 n+ n+ = n + n Factoring out n n+ 3 n = + + n = The quotient is w n = + PAUL MILAN 9 TERMINALE S
10 TABLE DES MATIÈRES 2.5 Limit of a geometric sequence Theorem 3 : Let q be a real number. Consider the following sequences : If q > then qn = + If q = then qn = If < q < then qn = 0 If q then qn does not exist OPK Proof : Only the proof of the first it is on the syllabus. Bernoulli s inequality is proven by mathematical induction. Therefore for all a > 0 n N, (+ a) n +na Let q = + a so if a > 0 then q >. The inequality becomes : q n +na Seeing as a > 0 we have : +na = + According to the comparison theorem : qn = + Note : To prove the third it, let Q =, with 0 < q < therefore Q >. q By taking the it on each side of the equality we can conclude with the quotient of the its. { u0 = 2 Example : Consider the sequence (u n ) defined by : u n+ = 2u n + 5 Let us define the sequence (v n ) such that v n = u n + 5 ) Show that the sequence (v n ) is geometric 2) Express v n then u n in terms of n 3) Deduce the it of (u n ) ) We have to show that x N v n+ = qv n v n+ = u n+ + 5 = (2u n + 5)+5 = 2(u n + 5) = 2v n Therefore (v n ) is a geometric sequence with a common ratio of q = 2 and a st term of v 0 = u = 7 2) It can therefore be deduced that : v n = v 0 q n = 7 2 n so u n = v n 5 = 7 2 n 5 3) According to the aforementioned theorem, 2 >, so 2n = + Using the sum and product of its, we can conclude that : u n = + PAUL MILAN 0 TERMINALE S
11 2. LIMIT OF A SEQUENCE 2.6 Convergence of a monotonic sequence 2.6. Upper-bounded, lower-bounded and bounded sequences Definition 4 : The sequence (u n ) is said to be bounded above if, and only if, there is a real number M such that : n N u n M The sequence (u n ) is said to be bounded below if, and only if, there is a real number m such that : n N u n m The sequence (u n ) is said to be is bounded if it has an upper bound and a lower bound. Example : Show that the sequence (u n ) defined on N by : u n = n+ + n n is bounded on the interval n terms n+ + n {}}{ 2n n + n + + n n+ + n n n n n+ + n n n+ + n n n+ + n n n+ + n n 2 n terms {}}{ 2n + 2n + + 2n n 2n [ ] 2 ; So therefore : 2 u n Convergence theorems Theorem 4 : Divergence If a sequence (u n ) is increasing and not bounded above then the sequence (u n ) diverges to +. If a sequence (u n ) is decreasing and not bounded below then the sequence (u n ) diverges to. PAUL MILAN TERMINALE S
12 TABLE DES MATIÈRES OPK Proof : Let (u n ) be an increasing sequence with no upper bound. (u n ) is not bounded above, so for all intervals ]A;+ [, N N such that : u N ]A;+ [ Seeing as (u n ) is increasing : n > N so u n > u N Hence : n > N and therefore u n ]A;+ [ So from a certain index, all the terms of the sequence are in the interval ]A;+ [. The sequence (u n ) diverges to +. Example : : Consider (u n ) defined by : u 0 = and u n+ = u n + 2n+3. It can easily be shown that the sequence (u n ) is increasing and by induction that u n n 2 (see exercise). So this sequence diverges to + The converse of this theorem is false, if a sequence diverges to +,it is not necessarily increasing. To prove this, let us consider two sequences that diverge to + and that are not monotonic : { u n = n+( ) n vn = n if n is even and v n = 2n if n is odd Theorem 5 : Convergence If a sequence (u n ) is increasing and bounded above then the sequence (u n ) converges. If a sequence (u n ) is decreasing and bounded below then the sequence (u n ) converges. Note : The proof of this theorem is not on the syllabus. This theorem allows us to show that a sequence converges to a it but does not give the value of this it. We can only say that if (u n ) is increasing and bounded above by M then l M and if (u n ) is decreasing and bounded below by m then l m Example : Consider (u n ) defined by : { u0 = 0 u n+ = 3u n + 4 ) Show that the sequence (u n ) is increasing and bounded above by 4. 2) Deduce that the sequence(u n ) converges. By using an algorithm we can conjecture that (u n ) converges to 4 and determine the integer N from which u n > 3, 99. PAUL MILAN 2 TERMINALE S
13 2. LIMIT OF A SEQUENCE ) Show by mathematical induction that the sequence (u n ) is increasing and bounded above by 4, i.e. : n N, 0 u n u n+ 4 Basis step : u 0 = 0 and u = 4 = 2, we therefore find that : 0 u 0 u 4 The basis step is established. Induction step : : Supposing that 0 u n u n+ 4, show that 0 u n+ u n u n u n u n 3u n u n + 4 3u n As the square root function is increasing on R + The induction step is established. 2 3u n + 4 3u n u n+ u n+2 4 By reason of the basis and induction steps, the sequence(u n ) is increasing and bounded above by 4. 2) (u n ) is increasing and bounded above by 4, according to the theorem of monotonic sequences, (u n ) is convergent. The algorithm shown opposite relates to the exercise in paragraph 2.. We want to find the index N from which u n > 3, 99, then u n 4 < 0 2 We find that : N = 7 and u 7 4 0, 007 thus u 7 3, 993 Variables: N : integer U : real number Inputs and initialization 0 U 0 N Processing while U do 3U+ 4 U N+ N end Output : Print N, U The method of Heron of Alexandria (st century) This is a method of calculating an approximation of a square root. It depends on having a first approximate value of A written a. Si a < A a > A A a > A A A a > A So : a < A < A a Similarly, we can show that if a > A then A a < A < a PAUL MILAN 3 TERMINALE S
14 TABLE DES MATIÈRES Algorithm : Knowing the value of a, we can determine an bounded interval containing A. The interval is then reduced by taking the average m of the values a and A. We then have : a m = 2 ( a+ A ) a The value of a is then replaced by the value of m and the process is repeated. u 0 = a Let us construct a sequence (u n ) defined on N by : u n+ = ) (u n + Aun 2 The sequence converges very quickly : after each iteration, the number of correct decimals is doubled! However, in the first century, nobody had ever heard of the decimal system or even the number zero. Calculating these fractions was certainly complicated! The process can be simplified with the following program : The first term is determined by searching for the nearest square A with a "while loop", that value is assigned to U, it takes N iterations to find u N. The approximate value of 43 with 2 iterations is : We then find : U = A = 43, N = , The absolute error is : U Variables: A, N, I integers U : real number Inputs and initialization Input A, N 0 I while A > I 2 do I + I end I U Processing for I from to N do ( U+ A ) U 2 U end Output : Print U, U A PAUL MILAN 4 TERMINALE S
Climbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationMathematical Induction
Mathematical Induction Let s motivate our discussion by considering an example first. What happens when we add the first n positive odd integers? The table below shows what results for the first few values
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationMathematical Induction. Section 5.1
Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationCalculus (Real Analysis I)
Calculus (Real Analysis I) (MAT122β) Department of Mathematics University of Ruhuna A.W.L. Pubudu Thilan Department of Mathematics University of Ruhuna Calculus (Real Analysis I)(MAT122β) 1/172 Chapter
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationMEETING 9 - INDUCTION AND RECURSION
MEETING 9 - INDUCTION AND RECURSION We do some initial Peer Instruction... Predicates Before we get into mathematical induction we will repeat the concept of a predicate. A predicate is a mathematical
More informationProof Techniques (Review of Math 271)
Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil
More informationMathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers
Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationCMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013
CMPSCI 250: Introduction to Computation Lecture 11: Proof Techniques David Mix Barrington 5 March 2013 Proof Techniques Review: The General Setting for Proofs Types of Proof: Direct, Contraposition, Contradiction
More informationCOM S 330 Lecture Notes Week of Feb 9 13
Monday, February 9. Rosen.4 Sequences Reading: Rosen.4. LLM 4.. Ducks 8., 8., Def: A sequence is a function from a (usually infinite) subset of the integers (usually N = {0,,, 3,... } or Z + = {,, 3, 4,...
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES Infinite sequences and series were introduced briefly in A Preview of Calculus in connection with Zeno s paradoxes and the decimal representation
More informationCHAPTER 3. Sequences. 1. Basic Properties
CHAPTER 3 Sequences We begin our study of analysis with sequences. There are several reasons for starting here. First, sequences are the simplest way to introduce limits, the central idea of calculus.
More informationChapter 11: Sequences; Indeterminate Forms; Improper Integrals
Chapter 11: Sequences; Indeterminate Forms; Improper Integrals Section 11.1 The Least Upper Bound Axiom a. Least Upper Bound Axiom b. Examples c. Theorem 11.1.2 d. Example e. Greatest Lower Bound f. Theorem
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3
EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 3 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationDiscrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1
CS 70 Discrete Mathematics and Probability Theory Fall 013 Vazirani Note 1 Induction Induction is a basic, powerful and widely used proof technique. It is one of the most common techniques for analyzing
More informationWe want to show P (n) is true for all integers
Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to
More informationAppendix G: Mathematical Induction
Appendix G: 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
More informationInduction and recursion. Chapter 5
Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1
More informationWith Question/Answer Animations
Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationChapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms
1 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 2 Section 5.1 3 Section Summary Mathematical Induction Examples of
More informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationPower series and Taylor series
Power series and Taylor series D. DeTurck University of Pennsylvania March 29, 2018 D. DeTurck Math 104 002 2018A: Series 1 / 42 Series First... a review of what we have done so far: 1 We examined series
More informationInfinite Series. Copyright Cengage Learning. All rights reserved.
Infinite Series Copyright Cengage Learning. All rights reserved. Sequences Copyright Cengage Learning. All rights reserved. Objectives List the terms of a sequence. Determine whether a sequence converges
More informationInduction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2
Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+
More information1. Propositions: Contrapositives and Converses
Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement
More informationDiscrete Mathematics for CS Spring 2008 David Wagner Note 4
CS 70 Discrete Mathematics for CS Spring 008 David Wagner Note 4 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all natural numbers,
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More informationInduction and Recursion
. All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion
More informationMATH10040: Chapter 0 Mathematics, Logic and Reasoning
MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More information9.4. Mathematical Induction. Introduction. What you should learn. Why you should learn it
333202_090.qxd 2/5/05 :35 AM Page 73 Section 9. Mathematical Induction 73 9. Mathematical Induction What you should learn Use mathematical induction to prove statements involving a positive integer n.
More informationCOT 2104 Homework Assignment 1 (Answers)
1) Classify true or false COT 2104 Homework Assignment 1 (Answers) a) 4 2 + 2 and 7 < 50. False because one of the two statements is false. b) 4 = 2 + 2 7 < 50. True because both statements are true. c)
More information3.4 Introduction to power series
3.4 Introduction to power series Definition 3.4.. A polynomial in the variable x is an expression of the form n a i x i = a 0 + a x + a 2 x 2 + + a n x n + a n x n i=0 or a n x n + a n x n + + a 2 x 2
More informationMAS221 Analysis Semester Chapter 2 problems
MAS221 Analysis Semester 1 2018-19 Chapter 2 problems 20. Consider the sequence (a n ), with general term a n = 1 + 3. Can you n guess the limit l of this sequence? (a) Verify that your guess is plausible
More informationMath Real Analysis
1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch
More informationmeans 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.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More informationC241 Homework Assignment 7
C24 Homework Assignment 7. Prove that for all whole numbers n, n i 2 = n(n + (2n + The proof is by induction on k with hypothesis H(k i 2 = k(k + (2k + base case: To prove H(, i 2 = = = 2 3 = ( + (2 +
More informationPostulate 2 [Order Axioms] in WRW the usual rules for inequalities
Number Systems N 1,2,3,... the positive integers Z 3, 2, 1,0,1,2,3,... the integers Q p q : p,q Z with q 0 the rational numbers R {numbers expressible by finite or unending decimal expansions} makes sense
More informationMath 1b Sequences and series summary
Math b Sequences and series summary December 22, 2005 Sequences (Stewart p. 557) Notations for a sequence: or a, a 2, a 3,..., a n,... {a n }. The numbers a n are called the terms of the sequence.. Limit
More information1.2 The Well-Ordering Principle
36 Chapter 1. The Integers Exercises 1.1 1. Prove the following theorem: Theorem. Let m and a be integers. If m a and a m, thenm = ±a. 2. Prove the following theorem: Theorem. For all integers a, b and
More informationSums of Squares. Bianca Homberg and Minna Liu
Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationLecture 4: Probability, Proof Techniques, Method of Induction Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Probability, Proof Techniques, Method of Induction Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete
More informationSequences. We know that the functions can be defined on any subsets of R. As the set of positive integers
Sequences We know that the functions can be defined on any subsets of R. As the set of positive integers Z + is a subset of R, we can define a function on it in the following manner. f: Z + R f(n) = a
More informationSection 4.2: Mathematical Induction 1
Section 4.: Mathematical Induction 1 Over the next couple of sections, we shall consider a method of proof called mathematical induction. Induction is fairly complicated, but a very useful proof technique,
More informationMath 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10
Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive
More informationRead carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.
THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: January 2011 Analysis I Time Allowed: 1.5 hours Read carefully the instructions on the answer book and make sure that the particulars required are entered
More informationSum of Squares. Defining Functions. Closed-Form Expression for SQ(n)
CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims Lecture 22: Induction Overview Recursion A programming strategy that solves a problem by reducing it to simpler
More information1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0:
Numbers In this book we study the properties of real functions defined on intervals of the real line (possibly the whole real line) and whose image also lies on the real line. In other words, they map
More informationPRINCIPLE OF MATHEMATICAL INDUCTION
Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION 4.1 Overview Mathematical induction is one of the techniques which can be used to prove variety of mathematical statements which are formulated in terms of
More informationPRINCIPLE OF MATHEMATICAL INDUCTION
Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION Analysis and natural philosopy owe their most important discoveries to this fruitful means, which is called induction Newton was indebted to it for his theorem
More informationMA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra
206/7 MA03 Introduction to Abstract Mathematics Second part, Analysis and Algebra Amol Sasane Revised by Jozef Skokan, Konrad Swanepoel, and Graham Brightwell Copyright c London School of Economics 206
More informationSection 11.1 Sequences
Math 152 c Lynch 1 of 8 Section 11.1 Sequences A sequence is a list of numbers written in a definite order: a 1, a 2, a 3,..., a n,... Notation. The sequence {a 1, a 2, a 3,...} can also be written {a
More information8.5 Taylor Polynomials and Taylor Series
8.5. TAYLOR POLYNOMIALS AND TAYLOR SERIES 50 8.5 Taylor Polynomials and Taylor Series Motivating Questions In this section, we strive to understand the ideas generated by the following important questions:
More information( ε > 0) ( N N) ( n N) : n > N a n A < ε.
CHAPTER 1. LIMITS OF SEQUENCES 1.1. An Ad-hoc Definition. In mathematical analysis, the concept of limits is of paramount importance, in view of the fact that many basic objects of study such as derivatives,
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationMATH 215 Final. M4. For all a, b in Z, a b = b a.
MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationNumerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More informationFebruary 13, Option 9 Overview. Mind Map
Option 9 Overview Mind Map Return tests - will discuss Wed..1.1 J.1: #1def,2,3,6,7 (Sequences) 1. Develop and understand basic ideas about sequences. J.2: #1,3,4,6 (Monotonic convergence) A quick review:
More informationCISC-102 Fall 2017 Week 3. Principle of Mathematical Induction
Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition
More informationChapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures
Chapter 2 Section 2.1: Proofs Proof Techniques CS 130 Discrete Structures Some Terminologies Axioms: Statements that are always true. Example: Given two distinct points, there is exactly one line that
More informationMathematical Induction. Defining Functions. Overview. Notation for recursive functions. Base case Sn(0) = 0 S(n) = S(n 1) + n for n > 0
Readings on induction. Mathematical Induction (a) Weiss, Sec. 7.2, page 233 (b) Course slides f lecture and notes recitation. Every criticism from a good man is of value to me. What you hint at generally
More informationMathematics 228(Q1), Assignment 2 Solutions
Mathematics 228(Q1), Assignment 2 Solutions Exercise 1.(10 marks) A natural number n > 1 is said to be square free if d N with d 2 n implies d = 1. Show that n is square free if and only if n = p 1 p k
More informationMath 430 Exam 2, Fall 2008
Do not distribute. IIT Dept. Applied Mathematics, February 16, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 2, Fall 2008 These theorems may be cited at any time during the test
More information1 Implication and induction
1 Implication and induction This chapter is about various kinds of argument which are used in mathematical proofs. When you have completed it, you should know what is meant by implication and equivalence,
More informationProof by Mathematical Induction.
Proof by Mathematical Inuction. Mathematicians have very peculiar characteristics. They like proving things or mathematical statements. Two of the most important techniques of mathematical proof are proof
More informationBasic Logic and Proof Techniques
Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely
More informationDiscrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 3
CS 70 Discrete Mathematics and Probability Theory Spring 06 ao and Walrand Note 3 Mathematical Induction Introduction. In this note, we introduce the proof technique of mathematical induction. Induction
More informationA Guide to Proof-Writing
A Guide to Proof-Writing 437 A Guide to Proof-Writing by Ron Morash, University of Michigan Dearborn Toward the end of Section 1.5, the text states that there is no algorithm for proving theorems.... Such
More information35 Chapter CHAPTER 4: Mathematical Proof
35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationProofs. Joe Patten August 10, 2018
Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital
More informationInduction. Announcements. Overview. Defining Functions. Sum of Squares. Closed-form expression for SQ(n) There have been some corrections to A1
Induction There have been some corrections to A1 Check the website and the newsgroup Announcements Upcoming topic: Recursion Lecture 3 CS 211 Fall 2005 Overview Recursion a programming strategy that solves
More informationMATH 1231 MATHEMATICS 1B CALCULUS. Section 4: - Convergence of Series.
MATH 23 MATHEMATICS B CALCULUS. Section 4: - Convergence of Series. The objective of this section is to get acquainted with the theory and application of series. By the end of this section students will
More informationLimits and Continuity
Chapter Limits and Continuity. Limits of Sequences.. The Concept of Limit and Its Properties A sequence { } is an ordered infinite list x,x,...,,... The n-th term of the sequence is, and n is the index
More information,... We would like to compare this with the sequence y n = 1 n
Example 2.0 Let (x n ) n= be the sequence given by x n = 2, i.e. n 2, 4, 8, 6,.... We would like to compare this with the sequence = n (which we know converges to zero). We claim that 2 n n, n N. Proof.
More informationComplete Induction and the Well- Ordering Principle
Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k
More information2.1 Convergence of Sequences
Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
More information586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationWe have been going places in the car of calculus for years, but this analysis course is about how the car actually works.
Analysis I We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Copier s Message These notes may contain errors. In fact, they almost
More informationWhat can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
More informationDominoes and Counting
Giuseppe Peano (Public Domain) Dominoes and Counting All of us have an intuitive feeling or innate sense for the counting or natural numbers, including a sense for infinity: ={1,, 3, }. The ability to
More informationConjectures and proof. Book page 24-30
Conjectures and proof Book page 24-30 What is a conjecture? A conjecture is used to describe a pattern in mathematical terms When a conjecture has been proved, it becomes a theorem There are many types
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationAt the start of the term, we saw the following formula for computing the sum of the first n integers:
Chapter 11 Induction This chapter covers mathematical induction. 11.1 Introduction to induction At the start of the term, we saw the following formula for computing the sum of the first n integers: Claim
More information