SlideShare uma empresa Scribd logo
1 de 21
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

Mais conteúdo relacionado

Mais procurados

5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical inductionmath260
 
Lesson 12: Linear Independence
Lesson 12: Linear IndependenceLesson 12: Linear Independence
Lesson 12: Linear IndependenceMatthew Leingang
 
Discrete mathematics counting and logic relation
Discrete mathematics counting and logic relationDiscrete mathematics counting and logic relation
Discrete mathematics counting and logic relationSelf-Employed
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionrey castro
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logicallyn joy calcaben
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction tmath260
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
mathematical induction
mathematical inductionmathematical induction
mathematical inductionankush_kumar
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 

Mais procurados (20)

5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical induction
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Lesson 12: Linear Independence
Lesson 12: Linear IndependenceLesson 12: Linear Independence
Lesson 12: Linear Independence
 
Combinatorics
CombinatoricsCombinatorics
Combinatorics
 
Discrete mathematics counting and logic relation
Discrete mathematics counting and logic relationDiscrete mathematics counting and logic relation
Discrete mathematics counting and logic relation
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth Table
 
Truth table
Truth tableTruth table
Truth table
 
THE BINOMIAL THEOREM
THE BINOMIAL THEOREM THE BINOMIAL THEOREM
THE BINOMIAL THEOREM
 
Presentation binomial theorem
Presentation binomial theoremPresentation binomial theorem
Presentation binomial theorem
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradiction
 
Eulers totient
Eulers totientEulers totient
Eulers totient
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
mathematical induction
mathematical inductionmathematical induction
mathematical induction
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
Domain and range
Domain and rangeDomain and range
Domain and range
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 

Semelhante a 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 2011noraidawati
 
New Pythagorean Triples copy
New Pythagorean Triples copyNew Pythagorean Triples copy
New Pythagorean Triples copyAndrew Erskine
 
Solution3
Solution3Solution3
Solution3H K
 
Complete ncert exemplar class 10
Complete ncert exemplar class 10Complete ncert exemplar class 10
Complete ncert exemplar class 10physicsmaths5
 
X ch 1 real numbers
X  ch 1  real numbersX  ch 1  real numbers
X ch 1 real numbersAmruthaKB2
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
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 KVKMD. G R Ahmed
 
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.ppsxSoftcare Solution
 
Study materialfor class 10 Mathematics
Study materialfor class 10  MathematicsStudy materialfor class 10  Mathematics
Study materialfor class 10 MathematicsMD. G R Ahmed
 
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.pdffatimashifali
 

Semelhante a Proof (20)

Lecture_4.pptx
Lecture_4.pptxLecture_4.pptx
Lecture_4.pptx
 
Proof By Contradictions
Proof By ContradictionsProof By Contradictions
Proof By Contradictions
 
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
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
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
 

Mais de H K

Assignment4
Assignment4Assignment4
Assignment4H K
 
Assignment3
Assignment3Assignment3
Assignment3H K
 
Induction
InductionInduction
InductionH K
 
Solution2
Solution2Solution2
Solution2H K
 
Mid-
Mid-Mid-
Mid-H K
 
Assignment4
Assignment4Assignment4
Assignment4H K
 
Assignment4
Assignment4Assignment4
Assignment4H K
 
Dm assignment3
Dm assignment3Dm assignment3
Dm assignment3H K
 
Resolution
ResolutionResolution
ResolutionH K
 
Assignment description
Assignment descriptionAssignment description
Assignment descriptionH K
 
Dm assignment2
Dm assignment2Dm assignment2
Dm assignment2H K
 
Set
SetSet
SetH K
 
Dm assignment1
Dm assignment1Dm assignment1
Dm assignment1H K
 
Logic
LogicLogic
LogicH K
 
Introduction
IntroductionIntroduction
IntroductionH K
 
Assignment 2 sol
Assignment 2 solAssignment 2 sol
Assignment 2 solH K
 
Assignment sw solution
Assignment sw solutionAssignment sw solution
Assignment sw solutionH K
 
Violinphoenix
ViolinphoenixViolinphoenix
ViolinphoenixH K
 
Ie project
Ie projectIe project
Ie projectH K
 
Assignment cn subnetting
Assignment cn subnettingAssignment cn subnetting
Assignment cn subnettingH K
 

Mais de 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
 

Último

Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...
Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...
Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...Amil Baba Company
 
Zoom In Game for ice breaking in a training
Zoom In Game for ice breaking in a trainingZoom In Game for ice breaking in a training
Zoom In Game for ice breaking in a trainingRafik ABDI
 
(伦敦大学毕业证学位证成绩单-PDF版)
(伦敦大学毕业证学位证成绩单-PDF版)(伦敦大学毕业证学位证成绩单-PDF版)
(伦敦大学毕业证学位证成绩单-PDF版)twfkn8xj
 
Aesthetic Design Inspiration by Slidesgo.pptx
Aesthetic Design Inspiration by Slidesgo.pptxAesthetic Design Inspiration by Slidesgo.pptx
Aesthetic Design Inspiration by Slidesgo.pptxsayemalkadripial4
 
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa Escorts
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa EscortsCash Payment Contact:- 7028418221 Goa Call Girls Service North Goa Escorts
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa EscortsApsara Of India
 
Gripping Adult Web Series You Can't Afford to Miss
Gripping Adult Web Series You Can't Afford to MissGripping Adult Web Series You Can't Afford to Miss
Gripping Adult Web Series You Can't Afford to Missget joys
 
Call Girls SG Highway 7397865700 Ridhima Hire Me Full Night
Call Girls SG Highway 7397865700 Ridhima Hire Me Full NightCall Girls SG Highway 7397865700 Ridhima Hire Me Full Night
Call Girls SG Highway 7397865700 Ridhima Hire Me Full Nightssuser7cb4ff
 
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full Night
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full NightCall Girls Sabarmati 7397865700 Ridhima Hire Me Full Night
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full Nightssuser7cb4ff
 
North Avenue Call Girls Services, Hire Now for Full Fun
North Avenue Call Girls Services, Hire Now for Full FunNorth Avenue Call Girls Services, Hire Now for Full Fun
North Avenue Call Girls Services, Hire Now for Full FunKomal Khan
 
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170Sonam Pathan
 
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Night
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full NightCall Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Night
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Nightssuser7cb4ff
 
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort Services
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort ServicesHi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort Services
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort ServicesApsara Of India
 
Vip Delhi Ncr Call Girls Best Services Available
Vip Delhi Ncr Call Girls Best Services AvailableVip Delhi Ncr Call Girls Best Services Available
Vip Delhi Ncr Call Girls Best Services AvailableKomal Khan
 
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...Amil baba
 
Taken Pilot Episode Story pitch Document
Taken Pilot Episode Story pitch DocumentTaken Pilot Episode Story pitch Document
Taken Pilot Episode Story pitch Documentf4ssvxpz62
 
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Service
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls ServiceCall Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Service
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Servicedollysharma2066
 
Call Girls Sanand 7397865700 Ridhima Hire Me Full Night
Call Girls Sanand 7397865700 Ridhima Hire Me Full NightCall Girls Sanand 7397865700 Ridhima Hire Me Full Night
Call Girls Sanand 7397865700 Ridhima Hire Me Full Nightssuser7cb4ff
 
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...Amil Baba Dawood bangali
 
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].pp
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].ppGRADE 7 NEW PPT ENGLISH 1 [Autosaved].pp
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].ppJasmineLinogon
 
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证gwhohjj
 

Último (20)

Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...
Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...
Real NO1 Amil baba in Faisalabad Kala jadu in faisalabad Aamil baba Faisalaba...
 
Zoom In Game for ice breaking in a training
Zoom In Game for ice breaking in a trainingZoom In Game for ice breaking in a training
Zoom In Game for ice breaking in a training
 
(伦敦大学毕业证学位证成绩单-PDF版)
(伦敦大学毕业证学位证成绩单-PDF版)(伦敦大学毕业证学位证成绩单-PDF版)
(伦敦大学毕业证学位证成绩单-PDF版)
 
Aesthetic Design Inspiration by Slidesgo.pptx
Aesthetic Design Inspiration by Slidesgo.pptxAesthetic Design Inspiration by Slidesgo.pptx
Aesthetic Design Inspiration by Slidesgo.pptx
 
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa Escorts
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa EscortsCash Payment Contact:- 7028418221 Goa Call Girls Service North Goa Escorts
Cash Payment Contact:- 7028418221 Goa Call Girls Service North Goa Escorts
 
Gripping Adult Web Series You Can't Afford to Miss
Gripping Adult Web Series You Can't Afford to MissGripping Adult Web Series You Can't Afford to Miss
Gripping Adult Web Series You Can't Afford to Miss
 
Call Girls SG Highway 7397865700 Ridhima Hire Me Full Night
Call Girls SG Highway 7397865700 Ridhima Hire Me Full NightCall Girls SG Highway 7397865700 Ridhima Hire Me Full Night
Call Girls SG Highway 7397865700 Ridhima Hire Me Full Night
 
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full Night
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full NightCall Girls Sabarmati 7397865700 Ridhima Hire Me Full Night
Call Girls Sabarmati 7397865700 Ridhima Hire Me Full Night
 
North Avenue Call Girls Services, Hire Now for Full Fun
North Avenue Call Girls Services, Hire Now for Full FunNorth Avenue Call Girls Services, Hire Now for Full Fun
North Avenue Call Girls Services, Hire Now for Full Fun
 
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170
Call Girls Near Taurus Sarovar Portico Hotel New Delhi 9873777170
 
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Night
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full NightCall Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Night
Call Girls Prahlad Nagar 9920738301 Ridhima Hire Me Full Night
 
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort Services
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort ServicesHi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort Services
Hi Class Call Girls In Goa 7028418221 Call Girls In Anjuna Beach Escort Services
 
Vip Delhi Ncr Call Girls Best Services Available
Vip Delhi Ncr Call Girls Best Services AvailableVip Delhi Ncr Call Girls Best Services Available
Vip Delhi Ncr Call Girls Best Services Available
 
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...
NO1 Certified Black magic/kala jadu,manpasand shadi in lahore,karachi rawalpi...
 
Taken Pilot Episode Story pitch Document
Taken Pilot Episode Story pitch DocumentTaken Pilot Episode Story pitch Document
Taken Pilot Episode Story pitch Document
 
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Service
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls ServiceCall Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Service
Call Girls In Moti Bagh (8377877756 )-Genuine Rate Girls Service
 
Call Girls Sanand 7397865700 Ridhima Hire Me Full Night
Call Girls Sanand 7397865700 Ridhima Hire Me Full NightCall Girls Sanand 7397865700 Ridhima Hire Me Full Night
Call Girls Sanand 7397865700 Ridhima Hire Me Full Night
 
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...
NO1 Certified Black magic specialist,Expert in Pakistan Amil Baba kala ilam E...
 
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].pp
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].ppGRADE 7 NEW PPT ENGLISH 1 [Autosaved].pp
GRADE 7 NEW PPT ENGLISH 1 [Autosaved].pp
 
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证
原版1:1复刻卡尔加里大学毕业证UC毕业证留信学历认证
 

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