Mathematical Induction. Part Two
|
|
- Tyrone Charles Taylor
- 6 years ago
- Views:
Transcription
1 Mathematical Induction Part Two
2 Announcements Problem Set due Friday, January 8 at the start of class. Problem Set checkpoints graded, will be returned at end of lecture. Afterwards, will be available in the filing cabinets in the Gates Open Area.
3 The principle of mathematical induction states that if for some property P(n), we have that If it starts P(0) is true and For any n N, we have P(n) P(n + ) Then and it keeps going then it's always true. For any n N, P(n) is true.
4 n(n+ ) Theorem: For any natural number n, i= Proof: By induction. Let P(n) be 2 n n(n+ ) P(n) i= i= 2 For our base case, we need to show P(0) is true, meaning that 0 0(0+ ) i= i= 2 Since the empty sum is defined to be 0, this claim is true. n+ i= n i= n i= For the inductive step, assume that for some n N that P(n) holds, so n(n+ ) i= 2 We need to show that P(n + ) holds, meaning that n+ (n+ )(n+ 2) i= i= 2 To see this, note that n n(n+ ) n(n+ )+ 2(n+ ) (n+ )(n+ 2) i= i+ (n+ )= + n+ = = i= Thus P(n + ) is true, completing the induction.
5 Induction in Practice Typically, a proof by induction will not explicitly state P(n). Rather, the proof will describe P(n) implicitly and leave it to the reader to fill in the details. Provided that there is sufficient detail to determine what P(n) is, that P(0) is true, and that whenever P(n) is true, P(n + ) is true, the proof is usually valid.
6 Theorem: For any natural number n, Proof: By induction on n. For our base case, if n = 0, note that and the theorem is true for 0. For the inductive step, assume that for some n the theorem is true. Then we have that n(n+ ) n(n+ )+ 2(n+ ) (n+ )(n+ 2) i+ (n+ )= + n+ = = n+ i= n i= i= 0 i= i= so the theorem is true for n +, completing the induction. n i= 0(0+ ) =0 2 i= n(n+ ) 2
7 A Variant of Induction
8 n 2 versus 2 n 0 2 = 0 2 = 2 2 = = = = = = = = = 00 < < = > = < < < < < < 2 0 = 2 = = = = = = = = = = n n is is much much bigger bigger here. here. Does Does the the trend trend continue? continue?
9 Theorem: For any natural number n 5, n 2 < 2 n. Proof: By induction on n. As a base case, if n = 5, then we have that 5 2 = 25 < 32 = 2 5, so the claim holds. For the inductive step, assume that for some n 5, that n 2 < 2 n. Then we have that (n + ) 2 = n 2 + 2n + Since n 5, we have (n + ) 2 = n 2 + 2n + < n 2 + 2n + n (since < 5 n) = n 2 + 3n < n 2 + n 2 (since 3n < 5n n 2 ) = 2n 2 So (n + ) 2 < 2n 2. Now, by our inductive hypothesis, we know that n 2 < 2 n. This means that (n + ) 2 < 2n 2 (from above) < 2(2 n ) (by the inductive hypothesis) = 2 n + Completing the induction.
10 Induction Starting at k To prove that P(n) is true for all natural numbers greater than or equal to k: Show that P(k) is true. Show that for any n k, that P(n) P(n + ). Conclude P(k) holds for all natural numbers greater than or equal to k.
11 An Important Observation
12 One Major Catch In In an an inductive inductive proof, proof, to to prove prove P(5), P(5), we we can can only only assume assume P(4). P(4). We We cannot cannot rely rely on on any any of of our our earlier earlier results! results!
13 Strong Induction
14 The principle of strong induction states that if for some property P(n), we have that Assume Assume that that P(n) P(n) holds holds for for all all natural natural numbers numbers smaller smaller than than n. n. P(0) is true and For any n N with n 0, if P(0), P(),, and P(n ) are true, then P(n) is true then For any n N, P(n) is true.
15 Induction and Dominoes
16 Strong Induction and Dominoes
17 Weak and Strong Induction Weak induction (regular induction) is good for showing that some property holds by incrementally adding in one new piece. Strong induction is good for showing that some property holds by breaking a large structure down into multiple small pieces.
18 Why Use Weak Induction? Any proof done by weak induction can be done by strong induction. It is never wrong to use strong induction. However, if you only need the immediately previous result, weak induction can be a lot cleaner. More on that later on.
19 The principle of strong induction states that if for some property P(n), we have that Assume Assume that that P(n) P(n) holds holds for for all all natural natural numbers numbers smaller smaller than than n. n. P(0) is true and For any n N with n 0, if P(n') is true for all n' N satisfying 0 n' < n, then P(n) is true then For any n N, P(n) is true.
20 Proof by Strong Induction State that you are attempting to prove something by strong induction. State what your choice of P(n) is. Prove the base case: State what P(0) is, then prove it. Prove the inductive step: State that you assume for all 0 n' < n, that P(n') is true. State what P(n) is. (this is what you're trying to prove) Go prove P(n).
21 The Candy Bar Problem C A N D Y!
22 The Candy Bar Problem You are given a candy bar with n pieces. How many breaks do you have to make to separate it into n individual pieces?
23 n = 0 0 Breaks n = Break n = 2 2 Breaks n = 3 3 Breaks
24 n pieces k pieces k breaks n - k pieces n k breaks
25 Theorem: Breaking a chocolate bar with n pieces into individual pieces requires n breaks. Proof: By strong induction. Let P(n) be breaking a chocolate bar with n pieces into individual pieces requires n breaks. We prove P(n) holds for all n N with n. For our base case, we prove P(), that breaking a candy bar with one piece into individual pieces takes zero breaks. Since the candy bar is already in individual pieces, no breaks are required, so P() holds. For the inductive step, assume that for some n N with n, that for any n' N with n' < n, that P(n') is true and any candy bar with n' pieces requires n' breaks. We will prove P(n), that breaking any candy bar with n pieces requires n breaks. To see this, consider any possible break made in the candy bar. This will split the candy bar into two pieces, one of size k and one of size n k, where k < n. Note that n k < n as well, since the second piece is not empty and is not the entire candy bar. Since k < n, by our inductive hypothesis, breaking the k-piece candy bar requires k breaks. Since n k < n, by our inductive hypothesis, breaking the (n k)-piece candy bar takes n k breaks. Counting all breaks, we need k + n k + = n breaks for the n-piece candy bar. Thus P(n) holds, completing the induction.
26 Application: Continued Fractions
27 Continued Fractions
28 Continued Fractions
29 Continued Fractions A continued fraction is an expression of the form a + a 2 + a a n Formally, a continued fraction is either An integer n, or n + / F, where n is an integer and F is a continued fraction. Continued fractions have numerous applications in number theory and computer science. (They're also really fun to write!)
30 Fun with Continued Fractions Every rational number, including negative rational numbers, has a continued fraction representation. Harder result: every irrational number has an (infinite) continued fraction representation. Even harder result: If we truncate an infinite continued fraction for an irrational number, we can get progressively better approximations of that number.
31 π as a Continued Fraction π=
32 Approximating π π= = And And he he made made the the Sea Sea of of cast cast bronze, bronze, ten ten cubits cubits from from one one brim brim to to the the other; other; it it was was completely completely round. round. [ [ A] A] line line of of thirty thirty cubits cubits measured measured its its circumference. Kings Kings 7:23, 7:23, New New King King James James Translation Translation
33 Approximating π π= = /7 = Greek Greek mathematician Archimedes knew knew of of this this approximation, circa circa BCE BCE
34 Approximating π π= = /7 = /06 = /3 = Chinese Chinese mathematician 祖沖之祖沖之 (Zu (Zu Chongzhi) Chongzhi) discovered discovered this this approximation in in the the early early fifth fifth century; century; this this was was the the best best approximation of of π for for over over a a thousand thousand years. years.
35 Approximating π π= = /7 = /06 = /3 = /3302 =
36 More Continued Fractions =
37 An Interesting Continued Fraction x=
38 An Interesting Continued Fraction x= / 2 / 3 / 2 5 / 3 8 / 5 3 / 8 Each Each fraction fraction is is the the ratio ratio of of consecutive consecutive Fibonacci Fibonacci numbers! numbers! + 2 / 3 34 / 2
39 The Golden Ratio ϕ= = ϕ
40 The Golden Spiral
41 How do we prove all rational numbers have continued fractions?
42 Constructing a Continued Fraction = = = 3+ 2
43 Constructing a Continued Fraction = > 7 > 2 > 2
44 The Division Algorithm The division algorithm is the following theorem: For any integers a and b, with b > 0, there exists unique integers q and r such that and a = qb + r 0 r < b q is the quotient and r is the remainder. Given a = and b = 4: = Given a = -37 and b = 42: -37 =
45 The Division Algorithm n d = q+ d r n = qd + r
46 Theorem: Every rational has a continued fraction. Proof: By strong induction. Let P(d) be any rational with denominator d has a continued fraction. We prove that P(d) is true for all positive natural numbers. Since all rationals can be written with a positive denominator, this proves that all rationals have continued fractions. For our base case, we prove P(), that any rational with denominator has a continued fraction. Consider any rational with denominator ; let it be n /. Since n is a continued fraction and n = n /, P() holds. For our inductive step, assume that for some d N with d >, that for any d' N where d' < d, that P(d') is true, so any rational with denominator d' has a continued fraction. We prove P(d) by showing that any rational with denominator d has a continued fraction. Take any rational with denominator d; let it be n / d. Using the division algorithm, write n = qd + r, where 0 r < d. We consider two cases: Case : r = 0. Then n = qd, so n / d = q. Then q is a continued fraction for n / d. n Case 2: r 0. Given that n = qd + r, we have d =q+ r d =q+ d /r. Since r < d, by our inductive hypothesis there is some continued fraction for d / r; call it F. Then q + / F is a continued fraction for n / d. In either case, we find a continued fraction for n / d, so P(d) holds, completing the induction.
47 For more on continued fractions:
48 When Use Strong Induction? Normal (weak) induction is good for when you are shrinking the problem size by exactly one. Peeling one final term off a sum. Making one weighing on a scale. Considering one more action on a string. Strong induction is good when you are shrinking the problem, but you can't be sure by how much. Breaking a candy bar into two arbitrary smaller pieces. Taking the remainder of one number divided by another.
49 Next Time Graphs and Relations Representing structured data. Categorizing how objects are connected.
Mathematical Induction. Part Two
Mathematical Induction Part Two The principle of mathematical induction states that if for some property P(n), we have that If it starts P(0) is true and and it keeps going For any n N, we have P(n) P(n
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 informationMathematical Induction Part Two
Mathematical Induction Part Two Recap from Last Time Let P be some predicate. The principle of mathematical induction states that if If it starts true and it stays P(0) is true true and k ℕ. (P(k) P(k+1))
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 informationCSC236H Lecture 2. Ilir Dema. September 19, 2018
CSC236H Lecture 2 Ilir Dema September 19, 2018 Simple Induction Useful to prove statements depending on natural numbers Define a predicate P(n) Prove the base case P(b) Prove that for all n b, P(n) P(n
More information1 Continued Fractions
Continued Fractions To start off the course, we consider a generalization of the Euclidean Algorithm which has ancient historical roots and yet still has relevance and applications today.. Continued Fraction
More informationMathematical Induction
Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical
More informationMathematical Induction Assignments
1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationCheckpoint Questions Due Monday, October 1 at 2:15 PM Remaining Questions Due Friday, October 5 at 2:15 PM
CS103 Handout 03 Fall 2012 September 28, 2012 Problem Set 1 This first problem set is designed to help you gain a familiarity with set theory and basic proof techniques. By the time you're done, you should
More informationCS173 Strong Induction and Functions. Tandy Warnow
CS173 Strong Induction and Functions Tandy Warnow CS 173 Introduction to Strong Induction (also Functions) Tandy Warnow Preview of the class today What are functions? Weak induction Strong induction A
More informationGrade 8 Chapter 7: Rational and Irrational Numbers
Grade 8 Chapter 7: Rational and Irrational Numbers In this chapter we first review the real line model for numbers, as discussed in Chapter 2 of seventh grade, by recalling how the integers and then the
More informationGrade 7/8 Math Circles Winter March 20/21/22 Types of Numbers
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles Winter 2018 - March 20/21/22 Types of Numbers Introduction Today, we take our number
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 informationThe Inductive Proof Template
CS103 Handout 24 Winter 2016 February 5, 2016 Guide to Inductive Proofs Induction gives a new way to prove results about natural numbers and discrete structures like games, puzzles, and graphs. All of
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 informationCS1800: Mathematical Induction. Professor Kevin Gold
CS1800: Mathematical Induction Professor Kevin Gold Induction: Used to Prove Patterns Just Keep Going For an algorithm, we may want to prove that it just keeps working, no matter how big the input size
More informationTHE DIVISION THEOREM IN Z AND R[T ]
THE DIVISION THEOREM IN Z AND R[T ] KEITH CONRAD 1. Introduction In both Z and R[T ], we can carry out a process of division with remainder. Theorem 1.1. For any integers a and b, with b nonzero, there
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 informationLecture 3.2: Induction, and Strong Induction
Lecture 3.2: Induction, and Strong Induction CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag Course Admin Mid-Term 1 Graded; to be returned
More informationCHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction
N UMBER S YSTEMS NUMBER SYSTEMS CHAPTER. Introduction In your earlier classes, you have learnt about the number line and how to represent various types of numbers on it (see Fig..). Fig.. : The number
More informationCS 173: Induction. Madhusudan Parthasarathy University of Illinois at Urbana-Champaign. February 7, 2016
CS 173: Induction Madhusudan Parthasarathy University of Illinois at Urbana-Champaign 1 Induction February 7, 016 This chapter covers mathematical induction, and is an alternative resource to the one in
More informationx 2 + 6x 18 x + 2 Name: Class: Date: 1. Find the coordinates of the local extreme of the function y = x 2 4 x.
1. Find the coordinates of the local extreme of the function y = x 2 4 x. 2. How many local maxima and minima does the polynomial y = 8 x 2 + 7 x + 7 have? 3. How many local maxima and minima does the
More information3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
More informationPrepared by Sa diyya Hendrickson. Package Summary
Introduction Prepared by Sa diyya Hendrickson Name: Date: Package Summary Defining Decimal Numbers Things to Remember Adding and Subtracting Decimals Multiplying Decimals Expressing Fractions as Decimals
More informationCSC236 Week 2. Larry Zhang
CSC236 Week 2 Larry Zhang 1 Announcements Tutorials start this week. Problem Set 1 will be out by Friday 2 Mathematical Induction 3 Mathematical Induction It s a proof technique It s an old proof technique
More informationWhat Fun! It's Practice with Scientific Notation!
What Fun! It's Practice with Scientific Notation! Review of Scientific Notation Scientific notation provides a place to hold the zeroes that come after a whole number or before a fraction. The number 100,000,000
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 Mathematical Induction:
More informationReading and Writing. Mathematical Proofs. Slides by Arthur van Goetham
Reading and Writing Mathematical Proofs Slides by Arthur van Goetham What is a proof? Why explanations are not proofs What is a proof? A method for establishing truth What establishes truth depends on
More informationCS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks
CS 220: Discrete Structures and their Applications Mathematical Induction 6.4 6.6 in zybooks Why induction? Prove algorithm correctness (CS320 is full of it) The inductive proof will sometimes point out
More informationHence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n
Appendix A: The Principle of Mathematical Induction We now present an important deductive method widely used in mathematics: the principle of mathematical induction. First, we provide some historical context
More informationDirect Proof Division into Cases
Direct Proof Division into Cases Lecture 16 Section 4.4 Robb T. Koether Hampden-Sydney College Mon, Feb 10, 2014 Robb T. Koether (Hampden-Sydney College) Direct Proof Division into Cases Mon, Feb 10, 2014
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 informationCS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques
CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed
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 informationCSE 311: Foundations of Computing. Lecture 14: Induction
CSE 311: Foundations of Computing Lecture 14: Induction Mathematical Induction Method for proving statements about all natural numbers A new logical inference rule! It only applies over the natural numbers
More informationIntroduction to Techniques for Counting
Introduction to Techniques for Counting A generating function is a device somewhat similar to a bag. Instead of carrying many little objects detachedly, which could be embarrassing, we put them all in
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 informationChapter 2. Mathematical Reasoning. 2.1 Mathematical Models
Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................
More informationGCSE AQA Mathematics. Numbers
GCSE Mathematics Numbers Md Marufur Rahman Msc Sustainable Energy Systems Beng (Hons) Mechanical Engineering Bsc (Hons) Computer science & engineering GCSE AQA Mathematics 215/16 Table of Contents Introduction:...
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 information1 Sequences and Summation
1 Sequences and Summation A sequence is a function whose domain is either all the integers between two given integers or all the integers greater than or equal to a given integer. For example, a m, a m+1,...,
More informationFall 2017 Test II review problems
Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and
More informationLecture Overview. 2 Weak Induction
COMPSCI 30: Discrete Mathematics for Computer Science February 18, 019 Lecturer: Debmalya Panigrahi Lecture 11 Scribe: Kevin Sun 1 Overview In this lecture, we study mathematical induction, which we often
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationAnnouncements. Problem Set 1 out. Checkpoint due Monday, September 30. Remaining problems due Friday, October 4.
Indirect Proofs Announcements Problem Set 1 out. Checkpoint due Monday, September 30. Grade determined by attempt rather than accuracy. It's okay to make mistakes we want you to give it your best effort,
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 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 informationINDUCTION AND RECURSION. Lecture 7 - Ch. 4
INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!
More informationCSC236 Week 3. Larry Zhang
CSC236 Week 3 Larry Zhang 1 Announcements Problem Set 1 due this Friday Make sure to read Submission Instructions on the course web page. Search for Teammates on Piazza Educational memes: http://www.cs.toronto.edu/~ylzhang/csc236/memes.html
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationInference and Proofs (1.6 & 1.7)
EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for
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 informationDiscrete Mathematics and Probability Theory Fall 2014 Anant Sahai Note 7
EECS 70 Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Note 7 Polynomials Polynomials constitute a rich class of functions which are both easy to describe and widely applicable in topics
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 informationUNIT 4 NOTES: PROPERTIES & EXPRESSIONS
UNIT 4 NOTES: PROPERTIES & EXPRESSIONS Vocabulary Mathematics: (from Greek mathema, knowledge, study, learning ) Is the study of quantity, structure, space, and change. Algebra: Is the branch of mathematics
More informationSection 3.6 Complex Zeros
04 Chapter Section 6 Complex Zeros When finding the zeros of polynomials, at some point you're faced with the problem x = While there are clearly no real numbers that are solutions to this equation, leaving
More informationWriting proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction
Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction
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 informationCS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3
CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3 This third problem set explores graphs, relations, functions, cardinalities, and the pigeonhole principle. This should be a great way to get a
More informationarxiv: v1 [math.co] 21 Sep 2015
Chocolate Numbers arxiv:1509.06093v1 [math.co] 21 Sep 2015 Caleb Ji, Tanya Khovanova, Robin Park, Angela Song September 22, 2015 Abstract In this paper, we consider a game played on a rectangular m n gridded
More informationCS1800: Strong Induction. Professor Kevin Gold
CS1800: Strong Induction Professor Kevin Gold Mini-Primer/Refresher on Unrelated Topic: Limits This is meant to be a problem about reasoning about quantifiers, with a little practice of other skills, too
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 informationTHE DIVISION THEOREM IN Z AND F [T ]
THE DIVISION THEOREM IN Z AND F [T ] KEITH CONRAD 1. Introduction In the integers we can carry out a process of division with remainder, as follows. Theorem 1.1. For any integers a and b, with b 0 there
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 informationCHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction
N UMBER S YSTEMS NUMBER SYSTEMS CHAPTER. Introduction In your earlier classes, you have learnt about the number line and how to represent various types of numbers on it (see Fig..). Fig.. : The number
More informationDiscrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 8
CS 70 Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 8 Polynomials Polynomials constitute a rich class of functions which are both easy to describe and widely applicable in
More informationMHF4U. Advanced Functions Grade 12 University Mitchell District High School. Unit 3 Rational Functions & Equations 6 Video Lessons
MHF4U Advanced Functions Grade 12 University Mitchell District High School Unit 3 Rational Functions & Equations 6 Video Lessons Allow no more than 15 class days for this unit! This includes time for review
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 informationMAT 243 Test 2 SOLUTIONS, FORM A
MAT 24 Test 2 SOLUTIONS, FORM A 1. [1 points] Prove the following using Mathematical Induction. L 2 i = L n L n+1 + 2 where L is the Lucas sequence: L 0 = 2 L 1 = 1 L n = L n 1 + L n 2, n 2 Solution: Let
More informationCONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 15, 2014
CONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 5, 204. Basic definitions and facts A continued fraction is given by two sequences of numbers {b n } n 0 and {a n } n. One
More informationDivisibility of Natural Numbers
10-19-2009 Divisibility of Natural Numbers We now return to our discussion of the natural numbers. We have built up much of the mathematical foundation for the natural numbers (N = 1, 2, 3,...). We used
More informationMathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring
Mathematical Induction EECS 203: Discrete Mathematics Lecture 11 Spring 2016 1 Climbing the Ladder We want to show that n 1 P(n) is true. Think of the positive integers as a ladder. 1, 2, 3, 4, 5, 6,...
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
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 informationFractions. Warm up galleryitem. If I eat the two pizza slices shown, how much of the pizza did I eat?
Fractions Warm up 2017-01-09 20.04.33.galleryitem If I eat the two pizza slices shown, how much of the pizza did I eat? When my family gets a Papa Murphy s pizza, I cut it like this for people who like
More informationThe Dynamics of Continued Fractions
The Dynamics of Continued Fractions Evan O Dorney May 3, 20 The Story I was first introduced to the Intel Science Talent Search in ninth grade. I knew I would have no trouble entering this contest, as
More informationLecture 2: Continued fractions, rational approximations
Lecture 2: Continued fractions, rational approximations Algorithmic Number Theory (Fall 204) Rutgers University Swastik Kopparty Scribe: Cole Franks Continued Fractions We begin by calculating the continued
More informationProblem One: Order Relations i. What three properties does a binary relation have to have to be a partial order?
CS103 Handout 16 Fall 2011 November 4, 2011 Extra Practice Problems Many of you have expressed interest in additional practice problems to review the material from the first four weeks of CS103. This handout
More informationCarmen s Core Concepts (Math 135)
Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 4 1 Principle of Mathematical Induction 2 Example 3 Base Case 4 Inductive Hypothesis 5 Inductive Step When Induction Isn t Enough
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Jan Stelovsky based on slides by Dr. Baek and Dr. Still Originals by Dr. M. P. Frank and Dr. J.L. Gross Provided by
More informationOutline Goals and Assumptions Real Numbers Rational and Irrational. L11: Numbers. Alice E. Fischer
L11: Numbers Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing March 5-8, 2018 1 Goals and Assumptions 2 Real Numbers 3 Rational and Irrational Assumptions We rely the following assumptions:
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 informationAssignment #2 COMP 3200 Spring 2012 Prof. Stucki
Assignment #2 COMP 3200 Spring 2012 Prof. Stucki 1) Construct deterministic finite automata accepting each of the following languages. In (a)-(c) the alphabet is = {0,1}. In (d)-(e) the alphabet is ASCII
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 informationEpsilon Delta proofs
Epsilon Delta proofs Before reading this guide, please go over inequalities (if needed). Eample Prove lim(4 3) = 5 2 First we have to know what the definition of a limit is: i.e rigorous way of saying
More informationCIS Spring 2018 (instructor Val Tannen)
CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 09 Tuesday, February 13 PROOFS and COUNTING Figure 1: Too Many Pigeons Theorem 9.1 (The Pigeonhole Principle (PHP)) If k + 1 or more pigeons fly to
More informationMath 3361-Modern Algebra Lecture 08 9/26/ Cardinality
Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same
More informationProof: If (a, a, b) is a Pythagorean triple, 2a 2 = b 2 b / a = 2, which is impossible.
CS103 Handout 07 Fall 2013 October 2, 2013 Guide to Proofs Thanks to Michael Kim for writing some of the proofs used in this handout. What makes a proof a good proof? It's hard to answer this question
More informationFinding Prime Factors
Section 3.2 PRE-ACTIVITY PREPARATION Finding Prime Factors Note: While this section on fi nding prime factors does not include fraction notation, it does address an intermediate and necessary concept to
More informationINTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.
INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b
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 informationMath 016 Lessons Wimayra LUY
Math 016 Lessons Wimayra LUY wluy@ccp.edu MATH 016 Lessons LESSON 1 Natural Numbers The set of natural numbers is given by N = {0, 1, 2, 3, 4...}. Natural numbers are used for two main reasons: 1. counting,
More informationMathematical Induction
Mathematical Induction Everybody do the wave! The Wave If done properly, everyone will eventually end up joining in. Why is that? Someone (me!) started everyone off. Once the person before you did the
More informationMore Polynomial Equations Section 6.4
MATH 11009: More Polynomial Equations Section 6.4 Dividend: The number or expression you are dividing into. Divisor: The number or expression you are dividing by. Synthetic division: Synthetic division
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 informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3
More informationACCUPLACER MATH 0310
The University of Teas at El Paso Tutoring and Learning Center ACCUPLACER MATH 00 http://www.academics.utep.edu/tlc MATH 00 Page Linear Equations Linear Equations Eercises 5 Linear Equations Answer to
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More information