B ASIC P ROOF M ETHODS HWW Math Club Meeting #3 (October 18, 2010) Presentation by Julian Salazar.

Slides:



Advertisements
Similar presentations
With examples from Number Theory
Advertisements

Discrete Math Methods of proof 1.
Mathematical Induction
Introduction to Proofs
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.
Chapter 3 Elementary Number Theory and Methods of Proof.
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Basic properties of the integers
Induction and recursion
1.  The set N = {1,2,3,4,……..} is known as natural numbers or the set of positive integers  The natural numbers are used mainly for :  counting  ordering.
Logic: Connectives AND OR NOT P Q (P ^ Q) T F P Q (P v Q) T F P ~P T F
So far we have learned about:
Mathematical Induction Assume that we are given an infinite supply of stamps of two different denominations, 3 cents and and 5 cents. Prove using mathematical.
Geometry Cliff Notes Chapters 4 and 5.
C OURSE : D ISCRETE STRUCTURE CODE : ICS 252 Lecturer: Shamiel Hashim 1 lecturer:Shamiel Hashim second semester Prepared by: amani Omer.
Methods of Proof & Proof Strategies
Induction and recursion
Discrete Mathematics, 1st Edition Kevin Ferland
Introduction to Proofs
Mathematics Review Exponents Logarithms Series Modular arithmetic Proofs.
Imaginary & Complex Numbers 5-3 English Casbarro Unit 5: Polynomials.
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
Proofs 1/25/12.
Conditional Statements CS 2312, Discrete Structures II Poorvi L. Vora, GW.
M ODULAR A RITHMETIC Lesson 4.6. This section, we are grouping numbers, based on their reminders. 18 ÷ 4 = 4 r ÷ 4 = 5 r ÷ 4 = 19 r. 2 These.
CSC201 Analysis and Design of Algorithms Asst.Proof.Dr.Surasak Mungsing Oct-151 Lecture 2: Definition of algorithm and Mathematical.
Methods of Proofs PREDICATE LOGIC The “Quantifiers” and are known as predicate quantifiers. " means for all and means there exists. Example 1: If we.
Discrete Mathematics Tutorial 11 Chin
Theorems and conjectures
9.4 Mathematical Induction
Proofs, Induction and Recursion Basic Proof Techniques Mathematical Induction Recursive Functions and Recurrence Relations.
Chap 3 –A theorem is a statement that can be shown to be true –A proof is a sequence of statements to show that a theorem is true –Axioms: statements which.
Copyright © 2009 Pearson Education, Inc. Chapter 5 Section 1 - Slide 1 Chapter 1 Number Theory and the Real Number System.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
Discrete Structures & Algorithms More on Methods of Proof / Mathematical Induction EECE 320 — UBC.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
To prove by induction that 3 is a factor of 4 n - 1, n  N Next (c) Project Maths Development Team 2011.
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
October 3, 2001CSE 373, Autumn Mathematical Background Exponents X A X B = X A+B X A / X B = X A-B (X A ) B = X AB X N +X N = 2X N 2 N +2 N = 2 N+1.
Nirmalya Roy School of Electrical Engineering and Computer Science Washington State University Cpt S 223 – Advanced Data Structures Math Review 1.
Inductive Proofs and Inductive Definitions Jim Skon.
Mathematical Induction Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If.
Mathematical Induction
CS104:Discrete Structures Chapter 2: Proof Techniques.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
COMPSCI 102 Introduction to Discrete Mathematics.
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.
5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.
Using Inductive Reasoning to Make Conjectures Geometry Farris 2015.
Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach a particular.
EXAMPLE 3 Write an indirect proof Write an indirect proof that an odd number is not divisible by 4. GIVEN : x is an odd number. PROVE : x is not divisible.
Analyze Conditional Statements Objectives: 1.To write a conditional statement in if-then form 2.To write the negation, converse, inverse, and contrapositive.
Chapter 2, Section 1 Conditional Statements. Conditional Statement Also know as an “If-then” statement. If it’s Monday, then I will go to school. Hypothesis:
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
Chapter 1 Logic and Proof.
Induction: One Step At A Time
5.6 Indirect Proof and Inequalities in Two Triangles
CST 24 – Logic.
Induction and recursion
Chapter 5 Induction and Recursion
Induction and recursion
Induction: One Step At A Time
Induction: One Step At A Time
Section 2.1 Proof Techniques Introduce proof techniques:   o        Exhaustive Proof: to prove all possible cases, Only if it is about a.
Mathematical Induction
Geometry.
Induction Chapter
Examples of Mathematical Proof
5.6 Inequalities in Two Triangles and Indirect Proof
Presentation transcript:

B ASIC P ROOF M ETHODS HWW Math Club Meeting #3 (October 18, 2010) Presentation by Julian Salazar

I NTRO : RABBITS! You start with one pair of young rabbits (N) After one month, all pairs of young rabbits mature (M) Every month afterwards, each mature pair survives and produces one pair of young rabbits Is there a pattern to the number of rabbit pairs?

I NTRO : RABBITS! Fun fact: In 37 months, there would be more rabbits than Canadians

D IRECT P ROOF Establishing a new fact directly from previously known facts without making any assumptions

D IVISIBILITY 6 | | | | ∤ ∤ 23 Primes have exactly two distinct factors; itself and 1. Two numbers are coprime when gcd(a,b) = 1. All numbers divide 0.

D IVISIBILITY AND D IRECT P ROOF Find, with proof, all integers n ≥ 1 such that n is prime. n 3 – 1 = (n 2 + n + 1)(n – 1) For n 3 – 1 to be prime, exactly one of (n 2 + n + 1) and (n – 1) must equal 1. n 2 + n + 1 ≠ 1 ∀ n ∈ ℤ + n - 1 = 1 iff n = 2 ∀ n ∈ ℤ + n 3 – 1 ∀ n ∈ ℤ + is prime iff n = 2 ▪

M ODULAR (C LOCK ) A RITHMETIC 81 ≡ 0 (mod 9) 56 ≡ 0 (mod 7) 7 ≡ 3 (mod 4) 899 ≡ -1 (mod 9) 15 ≡ 9 (mod 6) ≡ 3 (mod 6) ≡ 1 (mod 103) Addition, multiplication, and subtraction always work on both sides of the congruence. …BUT NOT DIVISION D=< (well, not regular division)

M ODULAR A RITHMETIC Prove that cannot be written as the sum of any number of even square numbers. n n … + n i 2 ≠ ∀ { n i | 2 | n i, i ∈ ℤ + } Note that n 2 ≡ 0 (mod 4) ∀ even numbers. Note that ≡ 2 (mod 4). 0 (mod 4) + 0 (mod 4) +… ≠ 2 (mod 4). ▪

P ROOF BY C ONTRADICTION If you have a statement you want to prove: Assume the logical negative. IF You reach a contradiction THEN The original statement must be true.

P ROOF BY C ONTRADICTION Prove (21n + 4) / (14n + 3) is in lowest terms for all non- zero integers n. (IMO, 1959) Proof: Contradiction. Assume the fraction is not in lowest terms. There exists |x| > 1 such that x | 21n + 4 and x | 14n n + 4 ≡ 0 mod x  42n + 8 ≡ 0 mod x 14n + 3 ≡ 0 mod x  42n + 9 ≡ 0 mod x This is impossible for integers |x| > 1, so our assumption must be false and the original statement is true. ▪

P ROOF BY I NDUCTION If a statement is true for a base case AND If being true for one case makes it true for the next case THEN It is true for all cases.

P ROOF BY I NDUCTION Prove that you can knock over dominoes arranged standing beside each other. a.) Base Case: You can knock over the first domino. b.) Inductive Hypothesis: When any domino is knocked over, the one after it is also knocked over. Therefore, all the dominoes will be knocked over.

P ROOF BY I NDUCTION Theorem: 7 n – 1 is divisible by 6 for all whole numbers n. Proof: Induction i.) Base case: 7 0 – 1 = 0, and 6 | 0 ii.) Inductive hypothesis: Suppose 6 | 7 n – 1. 7 n+1 – 1 = 7(7 n ) – 1 = 6(7 n ) + 7 n – 1. By induction, the theorem is true. ▪

TEH ENDS Did you know that… the area of all simple lattice polygons P are expressible in terms of the number of lattice points on its boundary and its interior? (Pick’s Theorem) Did you know that… there is a closed-form formula that generates the nth term of the Fibonacci sequence: Can you prove why it works?