SlideShare a Scribd company logo
Methods of Proof

         Harshit Kumar
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 >= 8 + 8 = 16 > 15
Contrapositive
• Prove by contrapositive
  » If n2 is divisible by 3, then n is divisible by 3
Contrapositive - Answer
• Contrapositive:
  » If n is not divisible by 3, then n2 is not divisible
    by 3.
     • Case 1: n=3k+1
        – n2 = (3k+1)2 = 9k2 +6k+1 which is not divisible by 3
     • Case 1: n=3k+2
        – n2 = (3k+2)2 = 9k2+12k+4 which is not divisible by 3
  » Hence n2 is not divisible by 3
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 =
  » 1 + 2 + 3 + …. + 9 = 45 > 40
  » Contradiction!
Contradiction
Prove   is irrational

            Given: If n2 is divisible by 3, then n is divisible by 3
Contradiction - Answer
Assume           is rational, then we can write

                         where p and q do not have common factor > 1




                        p2 is divisible by 3, so p is divisible by 3



                       q2 is divisible by 3, so q is divisible by 3

    Since p and q are both divisible by 3, it contradict with our
    assumption. Hence      is irrational.
Contradiction
• For all prime numbers a, b and c,
      a2 + b2 ≠ c2
Contradiction - Answer
• Assume the contrary, there exist prime
  number a, b and c such that a2 + b2 = c2
• Then we get
  » a2 = c2 – b2
  » a2 = (c-b)(c+b)
Contradiction - Answer
• Since a is prime
• There are 3 cases

   Case   c+b   c-b
   1      a     a     Implies b = 0, Contradiction
                      Implies c = 3, b = 2, but 2+3=5 is not perfect
   2      a2    1     square. Contradiction
   3      1     a2    Implies b<=1, c<=1, Contradiction
Contradiction

here are no positive integer solution x and y
for

                  2
                      - y2 = 1
Contradiction - Answer
• Assume the contrary, there exist positive x
  and y such that x2 – y2 = 1
• Then we get
  » (x+y)(x-y) = 1
  » (x+y)=1 or (x+y)=-1
  » Contradiction!
Proof by Induction - 1
                           n +1

                       ∑ i ⋅ 2i = n 2 n + 2 + 2
                           i =1
                                                  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 - 2
7n – 1 is divisible by 6, for all n >= 1.

Base case: n=1     71-1=6 which is divisible by 6.


Assume f(k) is true, i.e. 7k-1=6m for some m
When n = k+1
         7k+1-1 = 7(6m+1) - 1 = 42m + 6 = 6(7m+1)


So by induction 7n – 1 is divisible by 6, for all n >= 1.
Proof by Induction - 3
• For which positive integers n satisfy
  2n+3≤2n? Prove your answer using
  induction.
Proof by Induction - 3
• You can check the statement is wrong for
  n=1,2,3.
• When n=4, 2(4)+3=11<16=24
• Assume 2k+3<2k (k≥4)
• When n=k+1



Hence by induction 2n+3<2n for all integer n≥4
Exercises
• Following exercises can be found in
  textbook
• 3.1: 11
• 3.2: 15
• 3.7: 3 10 17 24
• 4.2: 6 13
• 4.3: 8 19
END

More Related Content

What's hot

Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)
IIUM
 
Indefinite Integral
Indefinite IntegralIndefinite Integral
Indefinite Integral
JelaiAujero
 
Counting, mathematical induction and discrete probability
Counting, mathematical induction and discrete probabilityCounting, mathematical induction and discrete probability
Counting, mathematical induction and discrete probability
SURBHI SAROHA
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
Genie Rose Santos
 
Solving Absolute Value Inequalities
Solving Absolute Value InequalitiesSolving Absolute Value Inequalities
Solving Absolute Value Inequalities
Clayton Rainsberg
 

What's hot (20)

Sequences And Series
Sequences And SeriesSequences And Series
Sequences And Series
 
Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
Truth table
Truth tableTruth table
Truth table
 
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and ProofsDiscrete Math Chapter 1 :The Foundations: Logic and Proofs
Discrete Math Chapter 1 :The Foundations: Logic and Proofs
 
Indefinite Integral
Indefinite IntegralIndefinite Integral
Indefinite Integral
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth Table
 
3.4 Conditional Statements
3.4 Conditional Statements3.4 Conditional Statements
3.4 Conditional Statements
 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradiction
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
INTEGRATION BY PARTS PPT
INTEGRATION BY PARTS PPT INTEGRATION BY PARTS PPT
INTEGRATION BY PARTS PPT
 
Counting, mathematical induction and discrete probability
Counting, mathematical induction and discrete probabilityCounting, mathematical induction and discrete probability
Counting, mathematical induction and discrete probability
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
 
Solving Absolute Value Inequalities
Solving Absolute Value InequalitiesSolving Absolute Value Inequalities
Solving Absolute Value Inequalities
 

Similar to Proof

Number theoryตัวจริง
Number theoryตัวจริงNumber theoryตัวจริง
Number theoryตัวจริง
Nittaya Noinan
 
Number theoryตัวจริง
Number theoryตัวจริงNumber theoryตัวจริง
Number theoryตัวจริง
Nittaya Noinan
 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
noraidawati
 
New Pythagorean Triples copy
New Pythagorean Triples copyNew Pythagorean Triples copy
New Pythagorean Triples copy
Andrew Erskine
 
Unit 5 powerpoint[1] algebra (1)
Unit 5 powerpoint[1] algebra (1)Unit 5 powerpoint[1] algebra (1)
Unit 5 powerpoint[1] algebra (1)
John O'Driscoll
 
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
fatimashifali
 

Similar to Proof (20)

Lecture_4.pptx
Lecture_4.pptxLecture_4.pptx
Lecture_4.pptx
 
Assign1 21314-sol
Assign1 21314-solAssign1 21314-sol
Assign1 21314-sol
 
Number theoryตัวจริง
Number theoryตัวจริงNumber theoryตัวจริง
Number theoryตัวจริง
 
Number theoryตัวจริง
Number theoryตัวจริงNumber theoryตัวจริง
Number theoryตัวจริง
 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
 
Notes 5-7
Notes 5-7Notes 5-7
Notes 5-7
 
New Pythagorean Triples copy
New Pythagorean Triples copyNew Pythagorean Triples copy
New Pythagorean Triples copy
 
Solution3
Solution3Solution3
Solution3
 
Complete ncert exemplar class 10
Complete ncert exemplar class 10Complete ncert exemplar class 10
Complete ncert exemplar class 10
 
Real numbers
Real numbers Real numbers
Real numbers
 
X ch 1 real numbers
X  ch 1  real numbersX  ch 1  real numbers
X ch 1 real numbers
 
Real number by G R Ahmed of KVK
Real number by G R Ahmed of KVKReal number by G R Ahmed of KVK
Real number by G R Ahmed of KVK
 
Class-10-Mathematics-Chapter-1-CBSE-NCERT.ppsx
Class-10-Mathematics-Chapter-1-CBSE-NCERT.ppsxClass-10-Mathematics-Chapter-1-CBSE-NCERT.ppsx
Class-10-Mathematics-Chapter-1-CBSE-NCERT.ppsx
 
Proof Techniques
Proof TechniquesProof Techniques
Proof Techniques
 
Study materialfor class 10 Mathematics
Study materialfor class 10  MathematicsStudy materialfor class 10  Mathematics
Study materialfor class 10 Mathematics
 
Unit 5 powerpoint[1] algebra (1)
Unit 5 powerpoint[1] algebra (1)Unit 5 powerpoint[1] algebra (1)
Unit 5 powerpoint[1] algebra (1)
 
1112 ch 11 day 12
1112 ch 11 day 121112 ch 11 day 12
1112 ch 11 day 12
 
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
23NCBSE09MAT02TP103V01L1_Polynomials_Factorisation_of_Polynomials.pdf
 
Short notes on mathematics
Short notes on mathematicsShort notes on mathematics
Short notes on mathematics
 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
 

More from H K (20)

Assignment4
Assignment4Assignment4
Assignment4
 
Assignment3
Assignment3Assignment3
Assignment3
 
Induction
InductionInduction
Induction
 
Solution2
Solution2Solution2
Solution2
 
Mid-
Mid-Mid-
Mid-
 
Assignment4
Assignment4Assignment4
Assignment4
 
Assignment4
Assignment4Assignment4
Assignment4
 
Dm assignment3
Dm assignment3Dm assignment3
Dm assignment3
 
Resolution
ResolutionResolution
Resolution
 
Assignment description
Assignment descriptionAssignment description
Assignment description
 
Dm assignment2
Dm assignment2Dm assignment2
Dm assignment2
 
Set
SetSet
Set
 
Dm assignment1
Dm assignment1Dm assignment1
Dm assignment1
 
Logic
LogicLogic
Logic
 
Introduction
IntroductionIntroduction
Introduction
 
Assignment 2 sol
Assignment 2 solAssignment 2 sol
Assignment 2 sol
 
Assignment sw solution
Assignment sw solutionAssignment sw solution
Assignment sw solution
 
Violinphoenix
ViolinphoenixViolinphoenix
Violinphoenix
 
Ie project
Ie projectIe project
Ie project
 
Assignment cn subnetting
Assignment cn subnettingAssignment cn subnetting
Assignment cn subnetting
 

Recently uploaded

Panchayat Season 3 - Official Trailer.pdf
Panchayat Season 3 - Official Trailer.pdfPanchayat Season 3 - Official Trailer.pdf
Panchayat Season 3 - Official Trailer.pdf
Suleman Rana
 

Recently uploaded (12)

Q4 WEEK 1 JUDGE THE RELEVANCE AND WORTH OF IDEAS.pptx
Q4 WEEK 1 JUDGE THE RELEVANCE AND WORTH OF IDEAS.pptxQ4 WEEK 1 JUDGE THE RELEVANCE AND WORTH OF IDEAS.pptx
Q4 WEEK 1 JUDGE THE RELEVANCE AND WORTH OF IDEAS.pptx
 
NO1 Pandit Amil Baba In Uk Usa Uae London Canada England America Italy German...
NO1 Pandit Amil Baba In Uk Usa Uae London Canada England America Italy German...NO1 Pandit Amil Baba In Uk Usa Uae London Canada England America Italy German...
NO1 Pandit Amil Baba In Uk Usa Uae London Canada England America Italy German...
 
The Ultimate Guide to Mom IPTV- Everything You Need to Know in 2024.pdf
The Ultimate Guide to Mom IPTV- Everything You Need to Know in 2024.pdfThe Ultimate Guide to Mom IPTV- Everything You Need to Know in 2024.pdf
The Ultimate Guide to Mom IPTV- Everything You Need to Know in 2024.pdf
 
Lite version of elevator game simplified.pptx
Lite version of elevator game simplified.pptxLite version of elevator game simplified.pptx
Lite version of elevator game simplified.pptx
 
Top Best IPTV Providers in the UK for 2024.pdf
Top Best IPTV Providers in the UK for 2024.pdfTop Best IPTV Providers in the UK for 2024.pdf
Top Best IPTV Providers in the UK for 2024.pdf
 
A KING’S HEART THE STORY OF TSAR BORIS III (Drama) (Feature Film Project in D...
A KING’S HEART THE STORY OF TSAR BORIS III (Drama) (Feature Film Project in D...A KING’S HEART THE STORY OF TSAR BORIS III (Drama) (Feature Film Project in D...
A KING’S HEART THE STORY OF TSAR BORIS III (Drama) (Feature Film Project in D...
 
Come join us for a night of excitement and fun with our exclusive Indian
Come join us for a night of excitement and fun with our exclusive IndianCome join us for a night of excitement and fun with our exclusive Indian
Come join us for a night of excitement and fun with our exclusive Indian
 
NO1 Pandit Black Magic Specialist Expert In Bahawalpur, Sargodha, Sialkot, Sh...
NO1 Pandit Black Magic Specialist Expert In Bahawalpur, Sargodha, Sialkot, Sh...NO1 Pandit Black Magic Specialist Expert In Bahawalpur, Sargodha, Sialkot, Sh...
NO1 Pandit Black Magic Specialist Expert In Bahawalpur, Sargodha, Sialkot, Sh...
 
Online Lotus ID | India's Top Cricket Betting ID Platform
Online Lotus ID | India's Top Cricket Betting ID PlatformOnline Lotus ID | India's Top Cricket Betting ID Platform
Online Lotus ID | India's Top Cricket Betting ID Platform
 
Panchayat Season 3 - Official Trailer.pdf
Panchayat Season 3 - Official Trailer.pdfPanchayat Season 3 - Official Trailer.pdf
Panchayat Season 3 - Official Trailer.pdf
 
Dehradun Girls 9719300533 Heat-lava { Dehradun } Whiz ℂall Serviℂe By Our
Dehradun Girls 9719300533 Heat-lava { Dehradun } Whiz ℂall Serviℂe By OurDehradun Girls 9719300533 Heat-lava { Dehradun } Whiz ℂall Serviℂe By Our
Dehradun Girls 9719300533 Heat-lava { Dehradun } Whiz ℂall Serviℂe By Our
 
Doorstep ꧁❤8901183002❤꧂Lucknow #ℂall #Girls , Lucknow #ℂall #Girls For Shot...
Doorstep ꧁❤8901183002❤꧂Lucknow  #ℂall #Girls , Lucknow  #ℂall #Girls For Shot...Doorstep ꧁❤8901183002❤꧂Lucknow  #ℂall #Girls , Lucknow  #ℂall #Girls For Shot...
Doorstep ꧁❤8901183002❤꧂Lucknow #ℂall #Girls , Lucknow #ℂall #Girls For Shot...
 

Proof

  • 1. Methods of Proof Harshit Kumar
  • 2. A Quick Review • Direct proof • Proof by contrapositive • Proof by contradiction • Proof by induction
  • 3. 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
  • 4. 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 >= 8 + 8 = 16 > 15
  • 5. Contrapositive • Prove by contrapositive » If n2 is divisible by 3, then n is divisible by 3
  • 6. Contrapositive - Answer • Contrapositive: » If n is not divisible by 3, then n2 is not divisible by 3. • Case 1: n=3k+1 – n2 = (3k+1)2 = 9k2 +6k+1 which is not divisible by 3 • Case 1: n=3k+2 – n2 = (3k+2)2 = 9k2+12k+4 which is not divisible by 3 » Hence n2 is not divisible by 3
  • 7. 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.
  • 8. Contradiction - Answer • Assume the contrary, every bag contain different number of coins. • Minimum number of coin required = » 1 + 2 + 3 + …. + 9 = 45 > 40 » Contradiction!
  • 9. Contradiction Prove is irrational Given: If n2 is divisible by 3, then n is divisible by 3
  • 10. Contradiction - Answer Assume is rational, then we can write where p and q do not have common factor > 1 p2 is divisible by 3, so p is divisible by 3 q2 is divisible by 3, so q is divisible by 3 Since p and q are both divisible by 3, it contradict with our assumption. Hence is irrational.
  • 11. Contradiction • For all prime numbers a, b and c, a2 + b2 ≠ c2
  • 12. Contradiction - Answer • Assume the contrary, there exist prime number a, b and c such that a2 + b2 = c2 • Then we get » a2 = c2 – b2 » a2 = (c-b)(c+b)
  • 13. Contradiction - Answer • Since a is prime • There are 3 cases Case c+b c-b 1 a a Implies b = 0, Contradiction Implies c = 3, b = 2, but 2+3=5 is not perfect 2 a2 1 square. Contradiction 3 1 a2 Implies b<=1, c<=1, Contradiction
  • 14. Contradiction here are no positive integer solution x and y for 2 - y2 = 1
  • 15. Contradiction - Answer • Assume the contrary, there exist positive x and y such that x2 – y2 = 1 • Then we get » (x+y)(x-y) = 1 » (x+y)=1 or (x+y)=-1 » Contradiction!
  • 16. Proof by Induction - 1 n +1 ∑ i ⋅ 2i = n 2 n + 2 + 2 i =1 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
  • 17. Proof by Induction - 2 7n – 1 is divisible by 6, for all n >= 1. Base case: n=1 71-1=6 which is divisible by 6. Assume f(k) is true, i.e. 7k-1=6m for some m When n = k+1 7k+1-1 = 7(6m+1) - 1 = 42m + 6 = 6(7m+1) So by induction 7n – 1 is divisible by 6, for all n >= 1.
  • 18. Proof by Induction - 3 • For which positive integers n satisfy 2n+3≤2n? Prove your answer using induction.
  • 19. Proof by Induction - 3 • You can check the statement is wrong for n=1,2,3. • When n=4, 2(4)+3=11<16=24 • Assume 2k+3<2k (k≥4) • When n=k+1 Hence by induction 2n+3<2n for all integer n≥4
  • 20. Exercises • Following exercises can be found in textbook • 3.1: 11 • 3.2: 15 • 3.7: 3 10 17 24 • 4.2: 6 13 • 4.3: 8 19
  • 21. END