Methods of Proof Leo Cheung. A Quick Review Direct proof Proof by contrapositive Proof by contradiction Proof by induction.

Slides:



Advertisements
Similar presentations
Tutorial 2: First Order Logic and Methods of Proofs
Advertisements

With examples from Number Theory
Introduction to Proofs
PROOF BY CONTRADICTION
Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
Mathematical induction Isaac Fung. Announcement ► Homework 1 released ► Due on 6 Oct 2008 (in class)
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
More Number Theory Proofs Rosen 1.5, 3.1. Prove or Disprove If m and n are even integers, then mn is divisible by 4. The sum of two odd integers is odd.
CSE115/ENGR160 Discrete Mathematics 02/01/11
Logic: Connectives AND OR NOT P Q (P ^ Q) T F P Q (P v Q) T F P ~P T F
What is the first line of the proof? 1.If a divides b, then a divides b – c. 2.If a divides b, then a divides c. 3.Assume a divides b – c. 4.Assume a divides.
Proof by Induction and contradiction Leo Cheung. The TAs Our office is in SHB117, feel free to come if you get problems about the course Or ask your questions.
1 Inference Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
Copyright © Zeph Grunschlag,
Proof Must Have Statement of what is to be proven.
What is the best way to start? 1.Plug in n = 1. 2.Factor 6n 2 + 5n Let n be an integer. 4.Let n be an odd integer. 5.Let 6n 2 + 5n + 4 be an odd.
Strong Induction, WOP and Invariant Method Leo Cheung.
Chapter 10 Sequences, Induction, and Probability Copyright © 2014, 2010, 2007 Pearson Education, Inc Mathematical Induction.
Methods of Proof Lecture 4: Sep 16 (chapter 3 of the book)
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Methods of Proof & Proof Strategies
ICS 253 Presents Mathematical Induction Sultan Almuhammadi muhamadi
Introduction to Proofs
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
1 Methods of Proof CS/APMA 202 Epp, chapter 3 Aaron Bloomfield.
Proofs 1/25/12.
Ch 1.5: Basic Proof Methods II Proof by Contraposition of P => Q Suppose ~Q …proof details here…. Therefore, ~P (via a direct proof) Thus, ~Q => ~P. Therefore,
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
Methods of Proofs PREDICATE LOGIC The “Quantifiers” and are known as predicate quantifiers. " means for all and means there exists. Example 1: If we.
Homework Review notes Complete Worksheet #1. Homework Let A = {a,b,c,d}, B = {a,b,c,d,e}, C = {a,d}, D = {b, c} Describe any subset relationships. 1.
Discrete Mathematics Tutorial 11 Chin
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
9.4 Mathematical Induction
P. 270 #47-49.
Section 3.3: Mathematical Induction Mathematical induction is a proof technique that can be used to prove theorems of the form:  n  Z +,P(n) We have.
Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Introduction to Proofs.
Methods of Proof Dr. Yasir Ali. Proof A (logical) proof of a statement is a finite sequence of statements (called the steps of the proof) leading from.
Chapter 1: Introduction
1 CMSC 341 Math Review. 2 Exponents Identities (X A ) B = X AB X A * X B = X A+B X A / X B = X A-B X A + X B  X A+B.
Introduction to Proofs
1 CMSC 250 Chapter 3, Number Theory. 2 CMSC 250 Introductory number theory l A good proof should have: –a statement of what is to be proven –"Proof:"
Induction Practice CS1050. Prove that whenever n is a positive integer. Proof: Basis Case: Let n = 1, then.
Mathematical Induction I Lecture 5: Sep 20 (chapter of the textbook and chapter of the course notes)
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Direct Proof and Counterexample I Lecture 11 Section 3.1 Fri, Jan 28, 2005.
5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.
1 Formal Proofs. 2 Deductive Proofs From the given statement(s) to a conclusion statement (what we want to prove) Logical progression by direct implications.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Induction (chapter of the book and chapter of the notes)
Chapter 1 Logic and Proof.
Direct Proof by Contraposition Direct Proof by Contradiction
Advanced Algorithms Analysis and Design
Mathematical Induction
Indirect Proof by Contradiction Direct Proof by Cases
PROOF BY CONTRADICTION
Exercise Use mathematical induction to prove the following formula.
Follow me for a walk through...
CS 220: Discrete Structures and their Applications
CS 220: Discrete Structures and their Applications
Section 2.1 Proof Techniques Introduce proof techniques:   o        Exhaustive Proof: to prove all possible cases, Only if it is about a.
Elementary Number Theory & Proofs
Topic Past Papers –Proofs
Dr. Halimah Alshehri MATH 151 Dr. Halimah Alshehri Dr. Halimah Alshehri.
(c) Project Maths Development Team 2011
Introduction to Proofs
Exercise Find the prime factorization of • 52 • 7.
THE WELL ORDERING PROPERTY
Presentation transcript:

Methods of Proof Leo Cheung

A Quick Review Direct proof Proof by contrapositive Proof by contradiction Proof by induction

Contrapositive If 3k+1 is even, then k is odd. Try to prove its contrapositive If k is even, 3k+1 is odd »Let k = 2n »3k + 1 = 3(2n)+1 = 2(3n)+1 which is odd

Contrapositive For any integers a and b, a+b<=15 implies that a<8 or b<8 Try to prove its contrapositive If a>= 8 and b>=8, then a+b>15 »a + b >= = 16 > 15

Contradiction If 40 coins are distributed among 9 bags, so that each bag contains at least one coin. Then at least 2 bags contain the same number of coins.

Contradiction - Answer Assume the contrary, every bag contain different number of coins. Minimum number of coin required = » …. + 9 = 45 > 40 »Contradiction!

Contradiction For all prime numbers a, b and c, a 2 + b 2 ≠ c 2

Contradiction - Answer Assume the contrary, there exist prime number a, b and c such that a 2 + b 2 = c 2 Then we get »a 2 = c 2 – b 2 »a 2 = (c-b)(c+b)

Contradiction - Answer Since a is prime There are 3 cases Casec+bc-b 1aa 2a2a2 1 31a2a2 Implies b = 0, Contradiction Implies b<=1, c<=1, Contradiction Implies c = 3, b = 2, but 2+3=5 is not perfect square. Contradiction

Proof by cases |x||y| = |xy| for all real numbers x, y Case 1: x>=0, y>=0 »|x||y| = xy, |xy| = xy Case 2: x>=0, y<0 »|x||y| = x(-y), |xy| = -(xy) Case 3: x =0 »|x||y| = (-x)y, |xy| = -(xy) Case 4: x<0, y<0 »|x||y| = (-x)(-y), |xy| = xy They are equal in every cases.

Proof by Induction For all integer n >= 0 Base cases: n=0, L.S.= 2 =R.S. Assume f(k) is true, i.e When n = k+1

Proof by Induction 7 n – 1 is divisible by 6, for all n >= 1. Base case: n= =6 which is divisible by 6. Assume f(k) is true, i.e. 7 k -1=6m for some m When n = k+1 7 k+1 -1 = 7(6m+1) - 1 = 42m + 6 = 6(7m+1) So by induction 7 n – 1 is divisible by 6, for all n >= 1.

Exercises Following exercises can be found in textbook 3.1: : : : : 8 19

END