SlideShare una empresa de Scribd logo
1 de 11
Descargar para leer sin conexión
Odd Powers Are Odd

Fact: If m is odd and n is odd, then nm is odd.


Proposition: for an odd number m, mi is odd for all non-negative integer i.




Let P(i) be the proposition that mi is odd.




Idea of induction.      • P(1) is true by definition.
                        • P(2) is true by P(1) and the fact.
                        • P(3) is true by P(2) and the fact.
                        • P(i+1) is true by P(i) and the fact.
                        • So P(i) is true for all i.
Divisibility by a Prime

Theorem. Any integer n > 1 is divisible by a prime number.

•Let n be an integer.

•If n is a prime number, then we are done.

•Otherwise, n = ab, both are smaller than n.

•If a or b is a prime number, then we are done.

•Otherwise, a = cd, both are smaller than a.

•If c or d is a prime number, then we are done.

•Otherwise, repeat this argument, since the numbers are
 getting smaller and smaller, this will eventually stop and
 we have found a prime factor of n.

                   Idea of induction.
Idea of Induction

          Objective: Prove


This is to prove




      The idea of induction is to first prove P(0) unconditionally,

      then use P(0) to prove P(1)

      then use P(1) to prove P(2)

      and repeat this to infinity…
The Induction Rule


                  0 and (from n to n +1),            Much easier to
                                                    prove with P(n) as
                    proves 0, 1, 2, 3,….              an assumption.
  Very easy
   to prove


              P (0), nZ P (n)P (n+1)
valid rule

                     mZ. P (m)


  The point is to use the knowledge on smaller problems
  to solve bigger problems.
Proving an Equality




Let P(n) be the induction hypothesis that the statement is true for n.


Base case: P(1) is true     because both LHS and RHS equal to 1

Induction step: assume P(n) is true, prove P(n+1) is true.


  That is, assuming:



    Want to prove:


  This is much easier to prove than proving it directly,
  because we already know the sum of the first n terms!
Proving an Equality




Let P(n) be the induction hypothesis that the statement is true for n.


Base case: P(1) is true     because both LHS and RHS equal to 1

Induction step: assume P(n) is true, prove P(n+1) is true.



                                     by induction
Proving an Equality




Let P(n) be the induction hypothesis that the statement is true for n.


Base case: P(1) is true


Induction step: assume P(n) is true, prove P(n+1) is true.



                                              by induction
Proving a Property



Base Case (n = 1):

Induction Step: Assume P(i) for some i  1 and prove P(i + 1):

Assume               is divisible by 3, prove                is divisible by 3.




                              Divisible by 3    Divisible by 3 by induction
Proving a Property



Base Case (n = 2):

Induction Step: Assume P(i) for some i  2 and prove P(i + 1):

Assume               is divisible by 6

Prove                           is divisible by 6.




                               Divisible by 6        Divisible by 2
                               by induction          by case analysis
Proving an Inequality




Base Case (n = 3):

Induction Step: Assume P(i) for some i  3 and prove P(i + 1):


Assume                    , prove




                                               by induction

                                               since i >= 3
Proving an Inequality




Base Case (n = 2): is true

Induction Step: Assume P(i) for some i  2 and prove P(i + 1):




                                    by induction

Más contenido relacionado

La actualidad más candente

Math induction
Math inductionMath induction
Math induction
asel_d
 

La actualidad más candente (18)

Fskik 1 nota
Fskik 1   notaFskik 1   nota
Fskik 1 nota
 
Prpositional2
Prpositional2Prpositional2
Prpositional2
 
Math induction
Math inductionMath induction
Math induction
 
Sol74
Sol74Sol74
Sol74
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statements
 
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,Countability
 
Mathematical Induction DM
Mathematical Induction DMMathematical Induction DM
Mathematical Induction DM
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Lect 18
Lect 18Lect 18
Lect 18
 
Inference in First-Order Logic
Inference in First-Order Logic Inference in First-Order Logic
Inference in First-Order Logic
 
AI Lecture 6 (logical agents)
AI Lecture 6 (logical agents)AI Lecture 6 (logical agents)
AI Lecture 6 (logical agents)
 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
 
Mathematical Logic - Part 1
Mathematical Logic - Part 1Mathematical Logic - Part 1
Mathematical Logic - Part 1
 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
 

Similar a Induction

Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
noraidawati
 
17-mathematical-induction.ppt
17-mathematical-induction.ppt17-mathematical-induction.ppt
17-mathematical-induction.ppt
SintaVeDe
 

Similar a Induction (20)

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
 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradiction
 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
 
1-Theory of Computation_formal proofs.pptx
1-Theory of Computation_formal proofs.pptx1-Theory of Computation_formal proofs.pptx
1-Theory of Computation_formal proofs.pptx
 
Proofs and disproofs
Proofs and disproofsProofs and disproofs
Proofs and disproofs
 
Data structure chapter-1-proofs
Data structure chapter-1-proofsData structure chapter-1-proofs
Data structure chapter-1-proofs
 
6e-ch4.ppt
6e-ch4.ppt6e-ch4.ppt
6e-ch4.ppt
 
Aa - Module 1 Fundamentals_2.pdf
Aa  - Module 1  Fundamentals_2.pdfAa  - Module 1  Fundamentals_2.pdf
Aa - Module 1 Fundamentals_2.pdf
 
ppt02.ppt
ppt02.pptppt02.ppt
ppt02.ppt
 
Slide subtopic 3
Slide subtopic 3Slide subtopic 3
Slide subtopic 3
 
DM(1).pptx
DM(1).pptxDM(1).pptx
DM(1).pptx
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
Proof By Contradictions
Proof By ContradictionsProof By Contradictions
Proof By Contradictions
 
17-mathematical-induction.ppt
17-mathematical-induction.ppt17-mathematical-induction.ppt
17-mathematical-induction.ppt
 
17-mathematical-induction.ppt
17-mathematical-induction.ppt17-mathematical-induction.ppt
17-mathematical-induction.ppt
 
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
 
Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
 
5.1 Induction
5.1 Induction5.1 Induction
5.1 Induction
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
 

Más de H K (20)

Assignment4
Assignment4Assignment4
Assignment4
 
Assignment3
Assignment3Assignment3
Assignment3
 
Solution3
Solution3Solution3
Solution3
 
Solution2
Solution2Solution2
Solution2
 
Mid-
Mid-Mid-
Mid-
 
Assignment4
Assignment4Assignment4
Assignment4
 
Assignment4
Assignment4Assignment4
Assignment4
 
Dm assignment3
Dm assignment3Dm assignment3
Dm assignment3
 
Proof
ProofProof
Proof
 
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
 

Último

EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
Earley Information Science
 

Último (20)

Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CVReal Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your Business
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 

Induction

  • 1. Odd Powers Are Odd Fact: If m is odd and n is odd, then nm is odd. Proposition: for an odd number m, mi is odd for all non-negative integer i. Let P(i) be the proposition that mi is odd. Idea of induction. • P(1) is true by definition. • P(2) is true by P(1) and the fact. • P(3) is true by P(2) and the fact. • P(i+1) is true by P(i) and the fact. • So P(i) is true for all i.
  • 2. Divisibility by a Prime Theorem. Any integer n > 1 is divisible by a prime number. •Let n be an integer. •If n is a prime number, then we are done. •Otherwise, n = ab, both are smaller than n. •If a or b is a prime number, then we are done. •Otherwise, a = cd, both are smaller than a. •If c or d is a prime number, then we are done. •Otherwise, repeat this argument, since the numbers are getting smaller and smaller, this will eventually stop and we have found a prime factor of n. Idea of induction.
  • 3. Idea of Induction Objective: Prove This is to prove The idea of induction is to first prove P(0) unconditionally, then use P(0) to prove P(1) then use P(1) to prove P(2) and repeat this to infinity…
  • 4. The Induction Rule 0 and (from n to n +1), Much easier to prove with P(n) as proves 0, 1, 2, 3,…. an assumption. Very easy to prove P (0), nZ P (n)P (n+1) valid rule mZ. P (m) The point is to use the knowledge on smaller problems to solve bigger problems.
  • 5. Proving an Equality Let P(n) be the induction hypothesis that the statement is true for n. Base case: P(1) is true because both LHS and RHS equal to 1 Induction step: assume P(n) is true, prove P(n+1) is true. That is, assuming: Want to prove: This is much easier to prove than proving it directly, because we already know the sum of the first n terms!
  • 6. Proving an Equality Let P(n) be the induction hypothesis that the statement is true for n. Base case: P(1) is true because both LHS and RHS equal to 1 Induction step: assume P(n) is true, prove P(n+1) is true. by induction
  • 7. Proving an Equality Let P(n) be the induction hypothesis that the statement is true for n. Base case: P(1) is true Induction step: assume P(n) is true, prove P(n+1) is true. by induction
  • 8. Proving a Property Base Case (n = 1): Induction Step: Assume P(i) for some i  1 and prove P(i + 1): Assume is divisible by 3, prove is divisible by 3. Divisible by 3 Divisible by 3 by induction
  • 9. Proving a Property Base Case (n = 2): Induction Step: Assume P(i) for some i  2 and prove P(i + 1): Assume is divisible by 6 Prove is divisible by 6. Divisible by 6 Divisible by 2 by induction by case analysis
  • 10. Proving an Inequality Base Case (n = 3): Induction Step: Assume P(i) for some i  3 and prove P(i + 1): Assume , prove by induction since i >= 3
  • 11. Proving an Inequality Base Case (n = 2): is true Induction Step: Assume P(i) for some i  2 and prove P(i + 1): by induction