Conjectures and proof. Book page 24-30

Similar documents
Discrete Mathematics. Spring 2017

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

Appendix G: Mathematical Induction

Mathematical Induction

9.4. Mathematical Induction. Introduction. What you should learn. Why you should learn it

A guide to Proof by Induction

Discrete Mathematics for CS Spring 2008 David Wagner Note 4

PRINCIPLE OF MATHEMATICAL INDUCTION

MATHEMATICAL INDUCTION

Note that r = 0 gives the simple principle of induction. Also it can be shown that the principle of strong induction follows from simple induction.

MAC-CPTM Situations Project

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

Climbing an Infinite Ladder

Supplementary exercises in propositional logic

AQA Level 2 Further mathematics Further algebra. Section 4: Proof and sequences

Prompt. Commentary. Mathematical Foci

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

3 The language of proof

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

Mat Week 8. Week 8. gcd() Mat Bases. Integers & Computers. Linear Combos. Week 8. Induction Proofs. Fall 2013

Ex. Here's another one. We want to prove that the sum of the cubes of the first n natural numbers is. n = n 2 (n+1) 2 /4.

Student Responsibilities Week 8. Mat Section 3.6 Integers and Algorithms. Algorithm to Find gcd()

n F(n) 2n F(2n) Here are some values of the series in comparison to Fibonacci number:

Mathematical Induction. Defining Functions. Overview. Notation for recursive functions. Base case Sn(0) = 0 S(n) = S(n 1) + n for n > 0

Math Circle: Recursion and Induction

CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction. Linda Shapiro Spring 2016

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

1 Implication and induction

Introducing Proof 1. hsn.uk.net. Contents

Problem Set 5 Solutions

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

1.2 The Well-Ordering Principle

Mathematical Induction

What can you prove by induction?

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

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

Adding and Subtracting Terms

PREFACE. Synergy for Success in Mathematics 8 is designed for Grade 8 students. The textbook contains

At the start of the term, we saw the following formula for computing the sum of the first n integers:

CSE 20. Final Review. CSE 20: Final Review

THE LOGIC OF QUANTIFIED STATEMENTS

After linear functions, the next simplest functions are polynomials. Examples are

FACTORIZATION AND THE PRIMES

FN20.2 INDUCTIVE & DEDUCTIVE REASONING. DAY 1 NOTES: Section 1.1 Make a Conjecture by Observing Patterns and Identifying Properties

ASSIGNMENT 1 SOLUTIONS

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Section 4.2: Mathematical Induction 1

Chapter 4. Induction. 4.1 Chains of Implications

Introduction to Induction (LAMC, 10/14/07)

Hence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n

12.1 Arithmetic Progression Geometric Progression General things about sequences

CSC236 Week 2. Larry Zhang

5 Displacement and Force in Two Dimensions BIGIDEA Write the Big Idea for this chapter.

EECS 1028 M: Discrete Mathematics for Engineers

3.4 Pascal s Pride. A Solidify Understanding Task

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic

2Algebraic. foundations


Mathematical Induction. Section 5.1

, 500, 250, 125, , 2, 4, 7, 11, 16, , 3, 9, 27, , 3, 2, 7, , 2 2, 4, 4 2, 8

MATH STUDENT BOOK. 12th Grade Unit 9

Methods of Mathematics

Chapter 5: Sequences, Mathematic Induction, and Recursion

CHMC: Finite Fields 9/23/17

PRINCIPLE OF MATHEMATICAL INDUCTION

Pierre de Fermat ( )

Climbing an Infinite Ladder

Math 13, Spring 2013, Lecture B: Midterm

Day 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving.

1.1 Inductive Reasoning filled in.notebook August 20, 2015

«Infuse mathematical thinking in a lesson on Pythagoras Theorem»

NOTES: Chapter 11. Radicals & Radical Equations. Algebra 1B COLYER Fall Student Name:

CSE 311: Foundations of Computing. Lecture 14: Induction

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Contents. Counting Methods and Induction

EXPONENT REVIEW!!! Concept Byte (Review): Properties of Exponents. Property of Exponents: Product of Powers. x m x n = x m + n

Prepared by Sa diyya Hendrickson. Package Summary

Convergence of Sequences

F.3 Special Factoring and a General Strategy of Factoring

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Lecture Overview. 2 Weak Induction

Basic Logic and Proof Techniques

Discrete Mathematics

In this unit we will study exponents, mathematical operations on polynomials, and factoring.

Determinants of 2 2 Matrices

Lecture 3.2: Induction, and Strong Induction

Dominoes and Counting

Consider an infinite row of dominoes, labeled by 1, 2, 3,, where each domino is standing up. What should one do to knock over all dominoes?

Some Review Problems for Exam 1: Solutions

Mathematical Induction

Summer HSSP Lecture Notes Week 1. Lane Gunderman, Victor Lopez, James Rowan

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:

Essential Question How can you cube a binomial? Work with a partner. Find each product. Show your steps. = (x + 1) Multiply second power.

Chapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures

MA103 STATEMENTS, PROOF, LOGIC

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction

Sum of Squares. Defining Functions. Closed-Form Expression for SQ(n)

Transcription:

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 of proofs, some of which are - logical deductive reasoning - direct proof - induction

Alan Turing English Mathematician who broke the enigma code in WW2 Alan Turing - Celebrating the life of a genius

Direct proof A direct proof can be checked by an established method Using our knowledge of odd and even numbers we can proof that the sum of two odd numbers is always even Odd number: 2k + 1, Even number: 2k Let a = 2k + 1 and b = 2l + 1 2k + 1 + 2l + 1 = 2k + 2l + 2 = 2(k + l + 1) Let k + l + 1 = s, s Z a + b = 2s, which is an even number

Example 2 Consider the pattern: 1 = 1 2 1 + 3 = 2 2 1 + 3 + 5 = 3 2 1 + 3 + 5 + 7 = 4 2 The pattern shows that the sum of the first two positive odd integers is a perfect square, the sum of the first three positive odd integers is a perfect square and the sum of the first four positive odd integers is a perfect square. Can we then say, based on the first few lines of this pattern, that: 1 + 3 + 5 + 7 + + (2n 1) = n 2 i.e., the sum of the first n odd positive integers is a perfect square,?

Solution This can be checked, as the positive odd integers form an arithmetic progression with a = 1 and d = 2. The sum of the first n terms is given by In this example we had a method to verify our guess. This will not always be the case.

Exercise 1G page 24 all

Example

Example

Proof by induction

Problem: direct proof is not useful Pascal s triangle is named after the French Mathematician Blaise Pascal in 1653 The first rows are shown below

Pascal s Triangle

Things to think about a) Find the sum of the numbers in I row 0 ii row 1 iii row 2 iv row 3 v row 4 b) What do you suspect is the sum of the numbers in row n? c) Suppose your suggestion in (b) is true for the nth row of Pascal s triangle. i) can you then show that it is true for the (n + 1)th row as well ii) How do we know we have proven a statement to be true?

Proof by induction Proof by induction is a mathematical way to prove statements about sequences Mathematical Induction Imagine n dominos arranged in a row in the same way If the first falls, the second one will fall 2 nd step N dominoes added at end, will also fall 3 rd step We can add as many dominos as we like, they will fall if the 1 st is tilted towards the 2 nd

This process can be summarized Step 1: the first expression must be true (the first domino falls) Step 2: assuming that a general expression is true (assume that some domino in the series falls) Step 3: prove that the next expression is true (prove that the next domino in the series falls) Step 4: if all of these events happen then we know by induction that all of the expressions are true and thus the original formula is true (all the dominoes will fall).

Proof by induction The domino analogy can be applied to mathematics

Strong and weak induction Weak induction uses "if p(k) is true then p(k+1) is true" while in strong induction you use "if p(i) is true for all i less than or equal to k then p(k+1) is true", where p(k) is some statement depending on the positive integer k They are NOT "identical" but they are equivalent. It is easy to see that if weak induction is true then strong induction is true: if you know that statement p(i) is true for all i less than or equal to k, then you know that it is true, in particular, for i=k and can use simple induction.

It is harder to prove, but still true, that if strong induction is true, then weak induction is true. That is what we mean by "equivalent". The reason this distinction remains is that it serves a pedagogical purpose. The first proofs by induction that we teach are usually sequences The proofs of these naturally suggest "weak" induction, which students learn as a pattern to mimic. Later, we teach more difficult proofs where that pattern no longer works. To give a name to the difference, we call the new pattern "strong induction" so that we can distinguish between the methods when presenting a proof in lecture. Then we can tell a student "try using strong induction", which is more helpful than just "try using induction".

Example 1 Proof by induction that the sum of the first n odd numbers is n 2 That is 1 + 3 + 5 + 7 + + 2n 1 = n 2, n 1 Solution First we need to state what our proposition is. We do this as follows: Let P(n) be the proposition that 1 + 3 + 5 + 7 + + 2n 1 = n 2, n 1

Using the 3 steps

Example 2

Example 3

Answer

Plan A didn t work, what is YOUR plan B?

What do you know? Three steps: show true for base case Assume true for n = k RTS true for n = k+1 Two different types 1. Use sequences and add the next term to show n = k + 1 is true

Type 1 proof - easy Prove that 1 + 5 + 9 + + (4n 3) = n(2n 1) Show true for n = 1 Assume true for n = k 4k 3 = k (2k 1) RTS using the assumption true for n = k + 1 4 (k + 1) 3 = (k + 1) [2(k +1)-1] = (k+ 1)(2k + 1) Rewrite left side adding the last two terms of the sequence (4k 3) + (4(k + 1) 3) and replace (4k 3) with assumption

Type 2 proof more difficult Manipulate the expression Rewrite sums to get the sum of the assumption Insert bracket to get common factor Regroup to factor Add and subtract the same number Keep in mind the expression you want to prove

Yesterday s example Prove n 2 > 7n + 1, n 8 Easier solution: Rewrite the equation n 2 7n 1 > 0 Flight Of The Phoenix

Example Prove by induction that3 n > 1 + 2n, n > 1

Another way to prove read at home You chose which method you prefer 3 n 1 + 2n, n Z, n 0

Try this on your own Prove by induction that 2 n 1 + n, n 1

Another example Prove by induction that 2 n n, n 1

Can you do this? 8 n n 3, n 1

An easy example 5 + 10 + 15 + 5n = 5 2 n(n + 1)

Example 4

More on sequence proofs

Example 5

Practice Book page 29 exercise 1H # 2

Example 6 Prove by induction that 9 n 1 is divisible by 8 for all n 1, where n is an integer Solution Let P(n) be the proposition that 9 n 1 is divisible by 8 for all n 1, where n is an integer Step 1: This is true when n = 1 since 9 1 1 = 8, which is divisible by 8 Step 2: Assume P(n) is true for n = k. Assume true for 9 k 1 = 8m, where m is an integer

Example 7

Practice Book page 30 exercise 1I all

continued