SlideShare a Scribd company logo
1 of 8
Mathematical Induction
Section 5.1
1
Climbing an
Infinite Ladder
2
Suppose we have an infinite ladder:
1. We can reach the first rung of the ladder.
2. If we can reach a particular rung of the ladder,
then we can reach the next rung.
From (1), we can reach the first rung. Then by
applying (2), we can reach the second rung.
Applying (2) again, the third rung. And so on.
We can apply (2) any number of times to reach
any particular rung, no matter how high up.
This example motivates proof by
mathematical induction.
Principle of Mathematical Induction
Principle of Mathematical Induction: To prove that P(n) is true for all
positive integers n, we complete these steps:
– Basis Step: Show that P(1) is true.
– Inductive Step: Show that P(k) → P(k + 1) is true for all positive integers k.
To complete the inductive step, assuming the inductive hypothesis that
P(k) holds for an arbitrary integer k, show that must P(k + 1) be true.
Climbing an Infinite Ladder Example:
– BASIS STEP: By (1), we can reach rung 1.
– INDUCTIVE STEP: Assume the inductive hypothesis that we can reach rung
k. Then by (2), we can reach rung k + 1.
Hence, P(k) → P(k + 1) is true for all positive integers k. We can reach every
rung on the ladder.
3
Important Points About Using Mathematical
Induction
• Mathematical induction can be expressed as the rule
of inference
where the domain is the set of positive integers.
• In a proof by mathematical induction, we don’t assume
that P(k) is true for all positive integers! We show that
if we assume that P(k) is true, then P(k + 1) must also
be true.
• Proofs by mathematical induction do not always start
at the integer 1. In such a case, the basis step begins at
a starting point b where b is an integer.
4
(P(1) ∧ ∀k (P(k) → P(k + 1))) → ∀n P(n),
Remembering How Mathematical Induction
Works
5
Consider an infinite
sequence of dominoes,
labeled 1,2,3, …, where
each domino is standing.
We know that the first domino
is knocked down, i.e., P(1) is
true .
We also know that if whenever
the kth domino is knocked over,
it knocks over the (k + 1)st
domino, i.e, P(k) → P(k + 1) is
true for all positive integers k.
Let P(n) be the
proposition that the
nth domino is
knocked over.
Hence, all dominos are knocked over.
P(n) is true for all positive integers n.
Proving a Summation Formula by
Mathematical Induction
Example: Show that:
Solution:
– BASIS STEP: P(1) is true since 1(1 + 1)/2 = 1.
– INDUCTIVE STEP: Assume true for P(k).
The inductive hypothesis is
Under this assumption,
6
Note: Once we have this
conjecture, mathematical
induction can be used to
prove it correct.
Proving Inequalities
Example: Use mathematical induction to prove that n < 2n
for
all positive integers n.
Solution: Let P(n) be the proposition that n < 2n
.
– BASIS STEP: P(1) is true since 1 < 21
= 2.
– INDUCTIVE STEP: Assume P(k) holds, i.e., k < 2k
, for an
arbitrary positive integer k.
– Must show that P(k + 1) holds. Since by the inductive
hypothesis, k < 2k
, it follows that:
k + 1 < 2(k+1)
≤ 2k
* 21
= 2 ∙ 2k
= 2k+1
Therefore n < 2n
holds for all positive integers n.
8

More Related Content

What's hot

Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)IIUM
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Inductionallyn joy calcaben
 
Sequences and Series (Mathematics)
Sequences and Series (Mathematics) Sequences and Series (Mathematics)
Sequences and Series (Mathematics) Dhrumil Maniar
 
5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical inductionmath260
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
mathematical induction
mathematical inductionmathematical induction
mathematical inductionankush_kumar
 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rulesDawood Faheem Abbasi
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Ikhtiar Khan Sohan
 
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of MatricesAmenahGondal1
 
Linear differential equation with constant coefficient
Linear differential equation with constant coefficientLinear differential equation with constant coefficient
Linear differential equation with constant coefficientSanjay Singh
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiersallyn joy calcaben
 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers Istiak Ahmed
 
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5
Lecture  11   diagonalization & complex eigenvalues -  5-3 & 5-5Lecture  11   diagonalization & complex eigenvalues -  5-3 & 5-5
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5njit-ronbrown
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitionsJan Plaza
 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relationsIIUM
 

What's hot (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
 
Theory of Computation Unit 1
Theory of Computation Unit 1Theory of Computation Unit 1
Theory of Computation Unit 1
 
Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Induction
 
Sequences and Series (Mathematics)
Sequences and Series (Mathematics) Sequences and Series (Mathematics)
Sequences and Series (Mathematics)
 
Recursion DM
Recursion DMRecursion DM
Recursion DM
 
5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical induction
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
mathematical induction
mathematical inductionmathematical induction
mathematical induction
 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rules
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of Matrices
 
Linear differential equation with constant coefficient
Linear differential equation with constant coefficientLinear differential equation with constant coefficient
Linear differential equation with constant coefficient
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
 
Algebraic structures
Algebraic structuresAlgebraic structures
Algebraic structures
 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers
 
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5
Lecture  11   diagonalization & complex eigenvalues -  5-3 & 5-5Lecture  11   diagonalization & complex eigenvalues -  5-3 & 5-5
Lecture 11 diagonalization & complex eigenvalues - 5-3 & 5-5
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relations
 

Similar to 5.1 Induction

Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011noraidawati
 
Lect 18
Lect 18Lect 18
Lect 18IIUM
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionDhruvSethi28
 
17-mathematical-induction.ppt
17-mathematical-induction.ppt17-mathematical-induction.ppt
17-mathematical-induction.pptRishabhNath3
 
17-mathematical-induction.ppt
17-mathematical-induction.ppt17-mathematical-induction.ppt
17-mathematical-induction.pptSintaVeDe
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical inductionKriti Varshney
 
11-Induction CIIT.pptx
11-Induction CIIT.pptx11-Induction CIIT.pptx
11-Induction CIIT.pptxjaffarbikat
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxZenLooper
 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMarjorie Malveda
 
Aa - Module 1 Fundamentals_2.pdf
Aa  - Module 1  Fundamentals_2.pdfAa  - Module 1  Fundamentals_2.pdf
Aa - Module 1 Fundamentals_2.pdfAayushSharma261
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2David Wood
 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfBhanuCharan9
 
Introduction to mathematical Induction.ppt
Introduction to mathematical Induction.pptIntroduction to mathematical Induction.ppt
Introduction to mathematical Induction.pptShaukatAliChaudhry1
 

Similar to 5.1 Induction (20)

Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
 
Chapter5.pptx
Chapter5.pptxChapter5.pptx
Chapter5.pptx
 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
 
Lect 18
Lect 18Lect 18
Lect 18
 
Fskik 1 nota
Fskik 1   notaFskik 1   nota
Fskik 1 nota
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
 
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
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
 
11-Induction CIIT.pptx
11-Induction CIIT.pptx11-Induction CIIT.pptx
11-Induction CIIT.pptx
 
6e-ch4.ppt
6e-ch4.ppt6e-ch4.ppt
6e-ch4.ppt
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptx
 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
 
Chapter 5
Chapter 5Chapter 5
Chapter 5
 
Aa - Module 1 Fundamentals_2.pdf
Aa  - Module 1  Fundamentals_2.pdfAa  - Module 1  Fundamentals_2.pdf
Aa - Module 1 Fundamentals_2.pdf
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
 
1112 ch 11 day 12
1112 ch 11 day 121112 ch 11 day 12
1112 ch 11 day 12
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdf
 
Introduction to mathematical Induction.ppt
Introduction to mathematical Induction.pptIntroduction to mathematical Induction.ppt
Introduction to mathematical Induction.ppt
 

More from showslidedump

Automated Prediction
Automated PredictionAutomated Prediction
Automated Predictionshowslidedump
 
2010 nasig integrating_usage_statistics
2010 nasig integrating_usage_statistics2010 nasig integrating_usage_statistics
2010 nasig integrating_usage_statisticsshowslidedump
 
Slides Chapter10.1 10.2
Slides Chapter10.1 10.2Slides Chapter10.1 10.2
Slides Chapter10.1 10.2showslidedump
 
The life and_times_of_biomet_1977-2012____trine
The life and_times_of_biomet_1977-2012____trineThe life and_times_of_biomet_1977-2012____trine
The life and_times_of_biomet_1977-2012____trineshowslidedump
 
Computational Thinking
Computational ThinkingComputational Thinking
Computational Thinkingshowslidedump
 

More from showslidedump (8)

Automated Prediction
Automated PredictionAutomated Prediction
Automated Prediction
 
2010 nasig integrating_usage_statistics
2010 nasig integrating_usage_statistics2010 nasig integrating_usage_statistics
2010 nasig integrating_usage_statistics
 
Slides Chapter10.1 10.2
Slides Chapter10.1 10.2Slides Chapter10.1 10.2
Slides Chapter10.1 10.2
 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
 
2.1 Sets
2.1 Sets2.1 Sets
2.1 Sets
 
Exam 2 Study Guide
Exam 2 Study GuideExam 2 Study Guide
Exam 2 Study Guide
 
The life and_times_of_biomet_1977-2012____trine
The life and_times_of_biomet_1977-2012____trineThe life and_times_of_biomet_1977-2012____trine
The life and_times_of_biomet_1977-2012____trine
 
Computational Thinking
Computational ThinkingComputational Thinking
Computational Thinking
 

Recently uploaded

Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Celine George
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon AUnboundStockton
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptxVS Mahajan Coaching Centre
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...Marc Dusseiller Dusjagr
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
PSYCHIATRIC History collection FORMAT.pptx
PSYCHIATRIC   History collection FORMAT.pptxPSYCHIATRIC   History collection FORMAT.pptx
PSYCHIATRIC History collection FORMAT.pptxPoojaSen20
 

Recently uploaded (20)

Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon A
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
 
PSYCHIATRIC History collection FORMAT.pptx
PSYCHIATRIC   History collection FORMAT.pptxPSYCHIATRIC   History collection FORMAT.pptx
PSYCHIATRIC History collection FORMAT.pptx
 

5.1 Induction

  • 2. Climbing an Infinite Ladder 2 Suppose we have an infinite ladder: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder, then we can reach the next rung. From (1), we can reach the first rung. Then by applying (2), we can reach the second rung. Applying (2) again, the third rung. And so on. We can apply (2) any number of times to reach any particular rung, no matter how high up. This example motivates proof by mathematical induction.
  • 3. Principle of Mathematical Induction Principle of Mathematical Induction: To prove that P(n) is true for all positive integers n, we complete these steps: – Basis Step: Show that P(1) is true. – Inductive Step: Show that P(k) → P(k + 1) is true for all positive integers k. To complete the inductive step, assuming the inductive hypothesis that P(k) holds for an arbitrary integer k, show that must P(k + 1) be true. Climbing an Infinite Ladder Example: – BASIS STEP: By (1), we can reach rung 1. – INDUCTIVE STEP: Assume the inductive hypothesis that we can reach rung k. Then by (2), we can reach rung k + 1. Hence, P(k) → P(k + 1) is true for all positive integers k. We can reach every rung on the ladder. 3
  • 4. Important Points About Using Mathematical Induction • Mathematical induction can be expressed as the rule of inference where the domain is the set of positive integers. • In a proof by mathematical induction, we don’t assume that P(k) is true for all positive integers! We show that if we assume that P(k) is true, then P(k + 1) must also be true. • Proofs by mathematical induction do not always start at the integer 1. In such a case, the basis step begins at a starting point b where b is an integer. 4 (P(1) ∧ ∀k (P(k) → P(k + 1))) → ∀n P(n),
  • 5. Remembering How Mathematical Induction Works 5 Consider an infinite sequence of dominoes, labeled 1,2,3, …, where each domino is standing. We know that the first domino is knocked down, i.e., P(1) is true . We also know that if whenever the kth domino is knocked over, it knocks over the (k + 1)st domino, i.e, P(k) → P(k + 1) is true for all positive integers k. Let P(n) be the proposition that the nth domino is knocked over. Hence, all dominos are knocked over. P(n) is true for all positive integers n.
  • 6. Proving a Summation Formula by Mathematical Induction Example: Show that: Solution: – BASIS STEP: P(1) is true since 1(1 + 1)/2 = 1. – INDUCTIVE STEP: Assume true for P(k). The inductive hypothesis is Under this assumption, 6 Note: Once we have this conjecture, mathematical induction can be used to prove it correct.
  • 7. Proving Inequalities Example: Use mathematical induction to prove that n < 2n for all positive integers n. Solution: Let P(n) be the proposition that n < 2n . – BASIS STEP: P(1) is true since 1 < 21 = 2. – INDUCTIVE STEP: Assume P(k) holds, i.e., k < 2k , for an arbitrary positive integer k. – Must show that P(k + 1) holds. Since by the inductive hypothesis, k < 2k , it follows that: k + 1 < 2(k+1) ≤ 2k * 21 = 2 ∙ 2k = 2k+1 Therefore n < 2n holds for all positive integers n.
  • 8. 8