SlideShare a Scribd company logo
1 of 6
Proof by
Mathematical
Induction
DISCRETE MATH II
5.1.1
What is Mathematical Induction?
Mathematical induction is a method of proof that will
be used throughout your study. The basic theory is
this:
If we can prove that P(1) is true, and we can prove
that whenever P(𝑘) is true, when 𝑘 ∈ ℤ+ (a positive
integer), then P 𝑘 + 1 is true, then P(𝑛) is true for
all 𝑛 ∈ ℤ+
.
* Keep in mind that P 1 represents the least
element in the set. More on this…
The Well-Ordering Principle
Before we get too involved in mathematical induction, we must address the
issue with ℤ+
. ℤ+
refers to the set of numbers that include the positive
integers. You will sometimes see this as ℕ, which is the set of natural
numbers including the counting numbers; 1, 2, 3, …
So, let’s suppose that 𝑆 ∈ ℤ+, 𝑆 ≠ ∅, and that 𝑆 is bounded below.
The well-ordering principle says that 𝑆 has a least element.
These seems obvious. We have a subset of a discrete (countable) set, it isn’t
empty, and it is bounded below. Therefore, there must be a least element, or
an element in the set whose value is less than all other values.
Can we use mathematical induction with 𝑆 ∈ ℚ+
or 𝑆 ∈ ℝ+
?
Back to Mathematical Induction
Let P 𝑛 denote an open mathematical statement that involves one or
more occurrences of the variable 𝑛, which represents a positive integer:
If 𝑃(1) is true; and
If whenever 𝑃(𝑘) is true (for some particular, but arbitrarily chosen
𝑘 ∈ ℤ+), then 𝑃(𝑘 + 1) is true;
then P 𝑛 is true for all 𝑛 ∈ ℤ+.
Keep in mind that 𝑃(1) just represents the “least element”
Guided Practice
Prove 1 + 3 + 5 + 7 + ⋯ + (2𝑛 − 1) = 𝑛2
for all 𝑛 ≥ 1
𝑖=1
𝑛
(2𝑛 − 1) = 𝑛2
Practice Proofs by
Mathematical
Induction
UP NEXT…

More Related Content

Similar to 5.1.1 Proof by Mathematical Induction.pptx

Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)
IIUM
 
11 ma1aexpandednoteswk3
11 ma1aexpandednoteswk311 ma1aexpandednoteswk3
11 ma1aexpandednoteswk3
dinhmyhuyenvi
 

Similar to 5.1.1 Proof by Mathematical Induction.pptx (20)

Number Theory.pptx
Number Theory.pptxNumber Theory.pptx
Number Theory.pptx
 
Induction
InductionInduction
Induction
 
CC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdfCC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdf
 
Analysis.pptx
Analysis.pptxAnalysis.pptx
Analysis.pptx
 
The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Induction
 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdf
 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rules
 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx
 
1 chapter1 introduction
1 chapter1 introduction1 chapter1 introduction
1 chapter1 introduction
 
Crt
CrtCrt
Crt
 
Lecture1
Lecture1Lecture1
Lecture1
 
Math induction principle (slides)
Math induction principle (slides)Math induction principle (slides)
Math induction principle (slides)
 
Properties of real numbers
Properties of real numbersProperties of real numbers
Properties of real numbers
 
Arithmetic sequence in elementary and HS
Arithmetic sequence in elementary and HSArithmetic sequence in elementary and HS
Arithmetic sequence in elementary and HS
 
1
11
1
 
6300 solutionsmanual free
6300 solutionsmanual free6300 solutionsmanual free
6300 solutionsmanual free
 
11 ma1aexpandednoteswk3
11 ma1aexpandednoteswk311 ma1aexpandednoteswk3
11 ma1aexpandednoteswk3
 
Optimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued ParameterOptimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued Parameter
 
Euler phi
Euler phiEuler phi
Euler phi
 

Recently uploaded

Hyatt driving innovation and exceptional customer experiences with FIDO passw...
Hyatt driving innovation and exceptional customer experiences with FIDO passw...Hyatt driving innovation and exceptional customer experiences with FIDO passw...
Hyatt driving innovation and exceptional customer experiences with FIDO passw...
FIDO Alliance
 
Microsoft BitLocker Bypass Attack Method.pdf
Microsoft BitLocker Bypass Attack Method.pdfMicrosoft BitLocker Bypass Attack Method.pdf
Microsoft BitLocker Bypass Attack Method.pdf
Overkill Security
 
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
TrustArc
 
CORS (Kitworks Team Study 양다윗 발표자료 240510)
CORS (Kitworks Team Study 양다윗 발표자료 240510)CORS (Kitworks Team Study 양다윗 발표자료 240510)
CORS (Kitworks Team Study 양다윗 발표자료 240510)
Wonjun Hwang
 

Recently uploaded (20)

Observability Concepts EVERY Developer Should Know (DevOpsDays Seattle)
Observability Concepts EVERY Developer Should Know (DevOpsDays Seattle)Observability Concepts EVERY Developer Should Know (DevOpsDays Seattle)
Observability Concepts EVERY Developer Should Know (DevOpsDays Seattle)
 
How to Check GPS Location with a Live Tracker in Pakistan
How to Check GPS Location with a Live Tracker in PakistanHow to Check GPS Location with a Live Tracker in Pakistan
How to Check GPS Location with a Live Tracker in Pakistan
 
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
 
AI mind or machine power point presentation
AI mind or machine power point presentationAI mind or machine power point presentation
AI mind or machine power point presentation
 
Event-Driven Architecture Masterclass: Integrating Distributed Data Stores Ac...
Event-Driven Architecture Masterclass: Integrating Distributed Data Stores Ac...Event-Driven Architecture Masterclass: Integrating Distributed Data Stores Ac...
Event-Driven Architecture Masterclass: Integrating Distributed Data Stores Ac...
 
Hyatt driving innovation and exceptional customer experiences with FIDO passw...
Hyatt driving innovation and exceptional customer experiences with FIDO passw...Hyatt driving innovation and exceptional customer experiences with FIDO passw...
Hyatt driving innovation and exceptional customer experiences with FIDO passw...
 
Microsoft BitLocker Bypass Attack Method.pdf
Microsoft BitLocker Bypass Attack Method.pdfMicrosoft BitLocker Bypass Attack Method.pdf
Microsoft BitLocker Bypass Attack Method.pdf
 
Frisco Automating Purchase Orders with MuleSoft IDP- May 10th, 2024.pptx.pdf
Frisco Automating Purchase Orders with MuleSoft IDP- May 10th, 2024.pptx.pdfFrisco Automating Purchase Orders with MuleSoft IDP- May 10th, 2024.pptx.pdf
Frisco Automating Purchase Orders with MuleSoft IDP- May 10th, 2024.pptx.pdf
 
Vector Search @ sw2con for slideshare.pptx
Vector Search @ sw2con for slideshare.pptxVector Search @ sw2con for slideshare.pptx
Vector Search @ sw2con for slideshare.pptx
 
How to Check CNIC Information Online with Pakdata cf
How to Check CNIC Information Online with Pakdata cfHow to Check CNIC Information Online with Pakdata cf
How to Check CNIC Information Online with Pakdata cf
 
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
Continuing Bonds Through AI: A Hermeneutic Reflection on ThanabotsContinuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
 
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
TrustArc Webinar - Unified Trust Center for Privacy, Security, Compliance, an...
 
Navigating the Large Language Model choices_Ravi Daparthi
Navigating the Large Language Model choices_Ravi DaparthiNavigating the Large Language Model choices_Ravi Daparthi
Navigating the Large Language Model choices_Ravi Daparthi
 
ERP Contender Series: Acumatica vs. Sage Intacct
ERP Contender Series: Acumatica vs. Sage IntacctERP Contender Series: Acumatica vs. Sage Intacct
ERP Contender Series: Acumatica vs. Sage Intacct
 
CORS (Kitworks Team Study 양다윗 발표자료 240510)
CORS (Kitworks Team Study 양다윗 발표자료 240510)CORS (Kitworks Team Study 양다윗 발표자료 240510)
CORS (Kitworks Team Study 양다윗 발표자료 240510)
 
AI in Action: Real World Use Cases by Anitaraj
AI in Action: Real World Use Cases by AnitarajAI in Action: Real World Use Cases by Anitaraj
AI in Action: Real World Use Cases by Anitaraj
 
Top 10 CodeIgniter Development Companies
Top 10 CodeIgniter Development CompaniesTop 10 CodeIgniter Development Companies
Top 10 CodeIgniter Development Companies
 
WebRTC and SIP not just audio and video @ OpenSIPS 2024
WebRTC and SIP not just audio and video @ OpenSIPS 2024WebRTC and SIP not just audio and video @ OpenSIPS 2024
WebRTC and SIP not just audio and video @ OpenSIPS 2024
 
2024 May Patch Tuesday
2024 May Patch Tuesday2024 May Patch Tuesday
2024 May Patch Tuesday
 
AI+A11Y 11MAY2024 HYDERBAD GAAD 2024 - HelloA11Y (11 May 2024)
AI+A11Y 11MAY2024 HYDERBAD GAAD 2024 - HelloA11Y (11 May 2024)AI+A11Y 11MAY2024 HYDERBAD GAAD 2024 - HelloA11Y (11 May 2024)
AI+A11Y 11MAY2024 HYDERBAD GAAD 2024 - HelloA11Y (11 May 2024)
 

5.1.1 Proof by Mathematical Induction.pptx

  • 2. What is Mathematical Induction? Mathematical induction is a method of proof that will be used throughout your study. The basic theory is this: If we can prove that P(1) is true, and we can prove that whenever P(𝑘) is true, when 𝑘 ∈ ℤ+ (a positive integer), then P 𝑘 + 1 is true, then P(𝑛) is true for all 𝑛 ∈ ℤ+ . * Keep in mind that P 1 represents the least element in the set. More on this…
  • 3. The Well-Ordering Principle Before we get too involved in mathematical induction, we must address the issue with ℤ+ . ℤ+ refers to the set of numbers that include the positive integers. You will sometimes see this as ℕ, which is the set of natural numbers including the counting numbers; 1, 2, 3, … So, let’s suppose that 𝑆 ∈ ℤ+, 𝑆 ≠ ∅, and that 𝑆 is bounded below. The well-ordering principle says that 𝑆 has a least element. These seems obvious. We have a subset of a discrete (countable) set, it isn’t empty, and it is bounded below. Therefore, there must be a least element, or an element in the set whose value is less than all other values. Can we use mathematical induction with 𝑆 ∈ ℚ+ or 𝑆 ∈ ℝ+ ?
  • 4. Back to Mathematical Induction Let P 𝑛 denote an open mathematical statement that involves one or more occurrences of the variable 𝑛, which represents a positive integer: If 𝑃(1) is true; and If whenever 𝑃(𝑘) is true (for some particular, but arbitrarily chosen 𝑘 ∈ ℤ+), then 𝑃(𝑘 + 1) is true; then P 𝑛 is true for all 𝑛 ∈ ℤ+. Keep in mind that 𝑃(1) just represents the “least element”
  • 5. Guided Practice Prove 1 + 3 + 5 + 7 + ⋯ + (2𝑛 − 1) = 𝑛2 for all 𝑛 ≥ 1 𝑖=1 𝑛 (2𝑛 − 1) = 𝑛2