Conjectures and proof. Book page 24-30

Size: px
Start display at page:

Download "Conjectures and proof. Book page 24-30"

Transcription

1 Conjectures and proof Book page 24-30

2 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

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

4 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 l + 1 = 2k + 2l + 2 = 2(k + l + 1) Let k + l + 1 = s, s Z a + b = 2s, which is an even number

5 Example 2 Consider the pattern: 1 = = = = 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: (2n 1) = n 2 i.e., the sum of the first n odd positive integers is a perfect square,?

6 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.

7 Exercise 1G page 24 all

8 Example

9 Example

10

11 Proof by induction

12 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

13 Pascal s Triangle

14 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?

15 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

16 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).

17 Proof by induction The domino analogy can be applied to mathematics

18 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.

19 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".

20 Example 1 Proof by induction that the sum of the first n odd numbers is n 2 That is n 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 n 1 = n 2, n 1

21 Using the 3 steps

22 Example 2

23

24 Example 3

25 Answer

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

27 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

28 Type 1 proof - easy Prove that (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 (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

29 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

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

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

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

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

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

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

36 An easy example n = 5 2 n(n + 1)

37 Example 4

38

39 More on sequence proofs

40 Example 5

41

42 Practice Book page 29 exercise 1H # 2

43 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 = 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

44

45 Example 7

46

47 Practice Book page 30 exercise 1I all

48 continued

Discrete Mathematics. Spring 2017

Discrete 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 information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 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 information

Appendix G: Mathematical Induction

Appendix 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 information

Mathematical Induction

Mathematical 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 information

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

9.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 information

A guide to Proof by Induction

A guide to Proof by Induction A guide to Proof by Induction Adapted from L. R. A. Casse, A Bridging Course in Mathematics, The Mathematics Learning Centre, University of Adelaide, 1996. Inductive reasoning is where we observe of a

More information

Discrete Mathematics for CS Spring 2008 David Wagner Note 4

Discrete 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 information

PRINCIPLE OF MATHEMATICAL INDUCTION

PRINCIPLE 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 information

MATHEMATICAL INDUCTION

MATHEMATICAL INDUCTION MATHEMATICAL INDUCTION MATH 3A SECTION HANDOUT BY GERARDO CON DIAZ Imagine a bunch of dominoes on a table. They are set up in a straight line, and you are about to push the first piece to set off the chain

More information

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.

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. Proof by mathematical induction using a strong hypothesis Occasionally a proof by mathematical induction is made easier by using a strong hypothesis: To show P(n) [a statement form that depends on variable

More information

MAC-CPTM Situations Project

MAC-CPTM Situations Project Prompt MAC-CPTM Situations Project Situation 51: Proof by Mathematical Induction Prepared at the University of Georgia Center for Proficiency in Teaching Mathematics 13 October 2006-Erik Tillema 22 February

More information

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

CISC-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 information

Climbing an Infinite Ladder

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 information

Supplementary exercises in propositional logic

Supplementary exercises in propositional logic Supplementary exercises in propositional logic The purpose of these exercises is to train your ability to manipulate and analyze logical formulas. Familiarize yourself with chapter 7.3-7.5 in the course

More information

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

AQA Level 2 Further mathematics Further algebra. Section 4: Proof and sequences AQA Level 2 Further mathematics Further algebra Section 4: Proof and sequences Notes and Examples These notes contain subsections on Algebraic proof Sequences The limit of a sequence Algebraic proof Proof

More information

Prompt. Commentary. Mathematical Foci

Prompt. Commentary. Mathematical Foci Situation 51: Proof by Mathematical Induction Prepared at the University of Georgia Center for Proficiency in Teaching Mathematics 9/15/06-Erik Tillema 2/22/07-Jeremy Kilpatrick Prompt A teacher of a calculus

More information

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

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011 Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell

More information

3 The language of proof

3 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 information

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

Discrete 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 information

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

Mat Week 8. Week 8. gcd() Mat Bases. Integers & Computers. Linear Combos. Week 8. Induction Proofs. Fall 2013 Fall 2013 Student Responsibilities Reading: Textbook, Section 3.7, 4.1, & 5.2 Assignments: Sections 3.6, 3.7, 4.1 Proof Worksheets Attendance: Strongly Encouraged Overview 3.6 Integers and Algorithms 3.7

More information

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.

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. Lecture One type of mathematical proof that goes everywhere is mathematical induction (tb 147). Induction is essentially used to show something is true for all iterations, i, of a sequence, where i N.

More information

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

Student Responsibilities Week 8. Mat Section 3.6 Integers and Algorithms. Algorithm to Find gcd() Student Responsibilities Week 8 Mat 2345 Week 8 Reading: Textbook, Section 3.7, 4.1, & 5.2 Assignments: Sections 3.6, 3.7, 4.1 Induction Proof Worksheets Attendance: Strongly Encouraged Fall 2013 Week

More information

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

n F(n) 2n F(2n) Here are some values of the series in comparison to Fibonacci number: I did my exploration on Lucas numbers because different series fascinate me and it was related to the Fibonacci numbers which is pretty well known to all the mathematicians across the world so I wanted

More information

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

Mathematical 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 information

Math Circle: Recursion and Induction

Math Circle: Recursion and Induction Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting

More information

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

CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction. Linda Shapiro Spring 2016 CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction Linda Shapiro Spring 2016 Background on Induction Type of mathematical proof Typically used to establish a given statement for all natural

More information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

Discrete 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 information

1 Implication and induction

1 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 information

Introducing Proof 1. hsn.uk.net. Contents

Introducing 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 information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION 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 information

1.2 The Well-Ordering Principle

1.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 information

Mathematical Induction

Mathematical 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 information

What can you prove by induction?

What 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 information

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

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture 02 Groups: Subgroups and homomorphism (Refer Slide Time: 00:13) We looked

More information

Writing 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 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 information

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

Use mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis. Exercises Exercises 1. There are infinitely many stations on a train route. Suppose that the train stops at the first station and suppose that if the train stops at a station, then it stops at the next

More information

Adding and Subtracting Terms

Adding and Subtracting Terms Adding and Subtracting Terms 1.6 OBJECTIVES 1.6 1. Identify terms and like terms 2. Combine like terms 3. Add algebraic expressions 4. Subtract algebraic expressions To find the perimeter of (or the distance

More information

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

PREFACE. Synergy for Success in Mathematics 8 is designed for Grade 8 students. The textbook contains Synergy for Success in Mathematics 8 is designed for Grade 8 students. The textbook contains all the required learning competencies and is supplemented with some additional topics for enrichment. Lessons

More information

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

At 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

CSE 20. Final Review. CSE 20: Final Review

CSE 20. Final Review. CSE 20: Final Review CSE 20 Final Review Final Review Representation of integers in base b Logic Proof systems: Direct Proof Proof by contradiction Contraposetive Sets Theory Functions Induction Final Review Representation

More information

THE LOGIC OF QUANTIFIED STATEMENTS

THE LOGIC OF QUANTIFIED STATEMENTS CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Predicates

More information

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

After linear functions, the next simplest functions are polynomials. Examples are Mathematics 10 Fall 1999 Polynomials After linear functions, the next simplest functions are polynomials. Examples are 1+x, x +3x +, x 3. Here x is a variable. Recall that we have defined a function to

More information

FACTORIZATION AND THE PRIMES

FACTORIZATION AND THE PRIMES I FACTORIZATION AND THE PRIMES 1. The laws of arithmetic The object of the higher arithmetic is to discover and to establish general propositions concerning the natural numbers 1, 2, 3,... of ordinary

More information

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

FN20.2 INDUCTIVE & DEDUCTIVE REASONING. DAY 1 NOTES: Section 1.1 Make a Conjecture by Observing Patterns and Identifying Properties FOUNDATIONS 20 FN20.2 INDUCTIVE & DEDUCTIVE REASONING DAY 1 NOTES: Section 1.1 Make a Conjecture by Observing Patterns and Identifying Properties CONJECTURE: INDUCTIVE REASONING: Concepts: #14 EXAMPLE

More information

ASSIGNMENT 1 SOLUTIONS

ASSIGNMENT 1 SOLUTIONS MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement

More information

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

The 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 information

Section 4.2: Mathematical Induction 1

Section 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 information

Chapter 4. Induction. 4.1 Chains of Implications

Chapter 4. Induction. 4.1 Chains of Implications Chapter 4 Induction There is one additional method of proof, known as mathematical induction, that is especially important in discrete mathematics. Since it is rather more complicated than the proof techniques

More information

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

Introduction to Induction (LAMC, 10/14/07) Introduction to Induction (LAMC, 10/14/07) Olga Radko October 1, 007 1 Definitions The Method of Mathematical Induction (MMI) is usually stated as one of the axioms of the natural numbers (so-called Peano

More information

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

Hence, 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 information

12.1 Arithmetic Progression Geometric Progression General things about sequences

12.1 Arithmetic Progression Geometric Progression General things about sequences ENGR11 Engineering Mathematics Lecture Notes SMS, Victoria University of Wellington Week Five. 1.1 Arithmetic Progression An arithmetic progression is a sequence where each term is found by adding a fixed

More information

CSC236 Week 2. Larry Zhang

CSC236 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 information

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

5 Displacement and Force in Two Dimensions BIGIDEA Write the Big Idea for this chapter. 5 Displacement and Force in Two Dimensions BIGIDEA Write the Big Idea for this chapter. Use the What I Know column to list the things you know about the Big Idea. Then list the questions you have about

More information

EECS 1028 M: Discrete Mathematics for Engineers

EECS 1028 M: Discrete Mathematics for Engineers EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs

More information

3.4 Pascal s Pride. A Solidify Understanding Task

3.4 Pascal s Pride. A Solidify Understanding Task 3.4 Pascal s Pride A Solidify Understanding Task Multiplying polynomials can require a bit of skill in the algebra department, but since polynomials are structured like numbers, multiplication works very

More information

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

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic Unit 1: Logic 1.4 Deductive Reasoning Inductive reasoning is not a of anything except for possibilities that you tested. There could always be a just around the corner. In order to prove that something

More information

2Algebraic. foundations

2Algebraic. foundations 2Algebraic foundations 2. Kick off with CAS 2.2 Algebraic skills 2.3 Pascal s triangle and binomial expansions 2.4 The Binomial theorem 2.5 Sets of real numbers 2.6 Surds 2.7 Review c02algebraicfoundations.indd

More information

Q 1 Find the square root of 729. 6. Squares and Square Roots Q 2 Fill in the blank using the given pattern. 7 2 = 49 67 2 = 4489 667 2 = 444889 6667 2 = Q 3 Without adding find the sum of 1 + 3 + 5 + 7

More information

Mathematical Induction. Section 5.1

Mathematical 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 information

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

, 500, 250, 125, , 2, 4, 7, 11, 16, , 3, 9, 27, , 3, 2, 7, , 2 2, 4, 4 2, 8 Warm Up Look for a pattern and predict the next number or expression in the list. 1. 1000, 500, 250, 125, 62.5 2. 1, 2, 4, 7, 11, 16, 22 3. 1, 3, 9, 27, 81 4. 8, 3, 2, 7, -12 5. 2, 2 2, 4, 4 2, 8 6. 7a

More information

MATH STUDENT BOOK. 12th Grade Unit 9

MATH STUDENT BOOK. 12th Grade Unit 9 MATH STUDENT BOOK 12th Grade Unit 9 Unit 9 COUNTING PRINCIPLES MATH 1209 COUNTING PRINCIPLES INTRODUCTION 1. PROBABILITY DEFINITIONS, SAMPLE SPACES, AND PROBABILITY ADDITION OF PROBABILITIES 11 MULTIPLICATION

More information

Methods of Mathematics

Methods of Mathematics Methods of Mathematics Kenneth A. Ribet UC Berkeley Math 10B April 19, 2016 There is a new version of the online textbook file Matrix_Algebra.pdf. The next breakfast will be two days from today, April

More information

Chapter 5: Sequences, Mathematic Induction, and Recursion

Chapter 5: Sequences, Mathematic Induction, and Recursion Chapter 5: Sequences, Mathematic Induction, and Recursion Hao Zheng Department of Computer Science and Engineering University of South Florida Tampa, FL 33620 Email: zheng@cse.usf.edu Phone: (813)974-4757

More information

CHMC: Finite Fields 9/23/17

CHMC: Finite Fields 9/23/17 CHMC: Finite Fields 9/23/17 1 Introduction This worksheet is an introduction to the fascinating subject of finite fields. Finite fields have many important applications in coding theory and cryptography,

More information

PRINCIPLE OF MATHEMATICAL INDUCTION

PRINCIPLE 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 information

Pierre de Fermat ( )

Pierre de Fermat ( ) Section 04 Mathematical Induction 987 8 Find the sum of the first ten terms of the sequence: 9 Find the sum of the first 50 terms of the sequence: 0 Find the sum of the first ten terms of the sequence:

More information

Climbing an Infinite Ladder

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 information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

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

Day 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving. Day 6 Tuesday May 9, 01 1 Basic Proofs We continue our look at basic proofs. We will do a few examples of different methods of proving. 1.1 Proof Techniques Recall that so far in class we have made two

More information

1.1 Inductive Reasoning filled in.notebook August 20, 2015

1.1 Inductive Reasoning filled in.notebook August 20, 2015 1.1 Inductive Reasoning 1 Vocabulary Natural or Counting Numbers Ellipsis Scientific Method Hypothesis or Conjecture Counterexample 2 Vocabulary Natural or Counting Numbers 1, 2, 3, 4, 5... positive whole

More information

«Infuse mathematical thinking in a lesson on Pythagoras Theorem»

«Infuse mathematical thinking in a lesson on Pythagoras Theorem» «Infuse mathematical thinking in a lesson on Pythagoras Theorem» Background information: In year 2011, term 3, I was a relief teacher at NJC. The topic was on Pythagoras Theorem for year 2 students. The

More information

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

NOTES: Chapter 11. Radicals & Radical Equations. Algebra 1B COLYER Fall Student Name: NOTES: Chapter 11 Radicals & Radical Equations Algebra 1B COLYER Fall 2016 Student Name: Page 2 Section 3.8 ~ Finding and Estimating Square Roots Radical: A symbol use to represent a. Radicand: The number

More information

CSE 311: Foundations of Computing. Lecture 14: Induction

CSE 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 information

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

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24 Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using

More information

Contents. Counting Methods and Induction

Contents. Counting Methods and Induction Contents Counting Methods and Induction Lesson 1 Counting Strategies Investigations 1 Careful Counting... 555 Order and Repetition I... 56 3 Order and Repetition II... 569 On Your Own... 573 Lesson Counting

More information

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

EXPONENT REVIEW!!! Concept Byte (Review): Properties of Exponents. Property of Exponents: Product of Powers. x m x n = x m + n Algebra B: Chapter 6 Notes 1 EXPONENT REVIEW!!! Concept Byte (Review): Properties of Eponents Recall from Algebra 1, the Properties (Rules) of Eponents. Property of Eponents: Product of Powers m n = m

More information

Prepared by Sa diyya Hendrickson. Package Summary

Prepared 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 information

Convergence of Sequences

Convergence of Sequences James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 2 Homework Definition Let (a n ) n k be a sequence of real numbers.

More information

F.3 Special Factoring and a General Strategy of Factoring

F.3 Special Factoring and a General Strategy of Factoring F.3 Special Factoring and a General Strategy of Factoring Difference of Squares section F4 233 Recall that in Section P2, we considered formulas that provide a shortcut for finding special products, such

More information

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION One of the most important tasks of mathematics is to discover and characterize regular patterns, such as those associated with processes that

More information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Chapter 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 information

Lecture Overview. 2 Weak Induction

Lecture 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 information

Basic Logic and Proof Techniques

Basic 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 information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics I- MCA / III- CS & IS LECTURE NOTES (B. E OF VTU) VTU-EDUSAT Programme-17 Dr. V. Lokesha Professor of Mathematics DEPARTMENT OF MATHEMATICS ACHARYA INSTITUTE OF TECNOLOGY Soldevanahalli,

More information

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

In this unit we will study exponents, mathematical operations on polynomials, and factoring. GRADE 0 MATH CLASS NOTES UNIT E ALGEBRA In this unit we will study eponents, mathematical operations on polynomials, and factoring. Much of this will be an etension of your studies from Math 0F. This unit

More information

Determinants of 2 2 Matrices

Determinants of 2 2 Matrices Determinants In section 4, we discussed inverses of matrices, and in particular asked an important question: How can we tell whether or not a particular square matrix A has an inverse? We will be able

More information

Lecture 3.2: Induction, and Strong Induction

Lecture 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 information

Dominoes and Counting

Dominoes 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 information

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?

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? 1 Section 4.1 Mathematical Induction Consider an infinite row of dominoes, labeled by 1,, 3,, where each domino is standing up. What should one do to knock over all dominoes? Principle of Mathematical

More information

Some Review Problems for Exam 1: Solutions

Some 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 information

Mathematical Induction

Mathematical Induction Mathematical Induction James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Introduction to the Class Mathematical Induction

More information

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

Summer HSSP Lecture Notes Week 1. Lane Gunderman, Victor Lopez, James Rowan Summer HSSP Lecture Notes Week 1 Lane Gunderman, Victor Lopez, James Rowan July 6, 014 First Class: proofs and friends 1 Contents 1 Glossary of symbols 4 Types of numbers 5.1 Breaking it down...........................

More information

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

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: 03 17 08 3 All about lines 3.1 The Rectangular Coordinate System Know how to plot points in the rectangular coordinate system. Know the

More information

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

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise

More information

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

Essential Question How can you cube a binomial? Work with a partner. Find each product. Show your steps. = (x + 1) Multiply second power. 4.2 Adding, Subtracting, and Multiplying Polynomials COMMON CORE Learning Standards HSA-APR.A.1 HSA-APR.C.4 HSA-APR.C.5 Essential Question How can you cube a binomial? Cubing Binomials Work with a partner.

More information

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

Chapter 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 information

MA103 STATEMENTS, PROOF, LOGIC

MA103 STATEMENTS, PROOF, LOGIC MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking

More information

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

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction Outline We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction Induction P(1) ( n 2)[P(n 1) P(n)] ( n 1)[P(n)] Why Does This Work? I P(1) ( n 2)[P(n

More information

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

Sum 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 information