SlideShare a Scribd company logo
1 of 14
Fall 2002 CMSC 203 - Discrete Structures 1
Follow me for a walk through...
Mathematical
Induction
Fall 2002 CMSC 203 - Discrete Structures 2
Induction
The principle of mathematical induction is a
useful tool for proving that a certain predicate
is true for all natural numbers.
It cannot be used to discover theorems, but
only to prove them.
Fall 2002 CMSC 203 - Discrete Structures 3
Induction
If we have a propositional function P(n), and we
want to prove that P(n) is true for any natural
number n, we do the following:
• Show that P(0) is true.
(basis step)
• Show that if P(n) then P(n + 1) for any nN.
(inductive step)
• Then P(n) must be true for any nN.
(conclusion)
Fall 2002 CMSC 203 - Discrete Structures 4
Induction
Example:
Show that n < 2n for all positive integers n.
Let P(n) be the proposition “n < 2n.”
1. Show that P(1) is true.
(basis step)
P(1) is true, because 1 < 21 = 2.
Fall 2002 CMSC 203 - Discrete Structures 5
Induction
2. Show that if P(n) is true, then P(n + 1) is
true.
(inductive step)
Assume that n < 2n is true.
We need to show that P(n + 1) is true, i.e.
n + 1 < 2n+1
We start from n < 2n:
n + 1 < 2n + 1  2n + 2n = 2n+1
Therefore, if n < 2n then n + 1 < 2n+1
Fall 2002 CMSC 203 - Discrete Structures 6
Induction
3. Then P(n) must be true for any positive
integer.
(conclusion)
n < 2n is true for any positive integer.
End of proof.
Fall 2002 CMSC 203 - Discrete Structures 7
Induction
Another Example (“Gauss”):
1 + 2 + … + n = n (n + 1)/2
1. Show that P(0) is true.
(basis step)
For n = 0 we get 0 = 0. True.
Fall 2002 CMSC 203 - Discrete Structures 8
Induction
2. Show that if P(n) then P(n + 1) for any nN.
(inductive step)
1 + 2 + … + n = n (n + 1)/2
1 + 2 + … + n + (n + 1) = n (n + 1)/2 + (n + 1)
= (2n + 2 + n (n + 1))/2
= (2n + 2 + n2 + n)/2
= (2 + 3n + n2 )/2
= (n + 1) (n + 2)/2
= (n + 1) ((n + 1) + 1)/2
Fall 2002 CMSC 203 - Discrete Structures 9
Induction
3. Then P(n) must be true for any nN.
(conclusion)
1 + 2 + … + n = n (n + 1)/2 is true for all nN.
End of proof.
Fall 2002 CMSC 203 - Discrete Structures 10
Induction
There is another proof technique that is very
similar to the principle of mathematical induction.
It is called the second principle of
mathematical induction.
It can be used to prove that a propositional
function P(n) is true for any natural number n.
Fall 2002 CMSC 203 - Discrete Structures 11
Induction
The second principle of mathematical induction:
• Show that P(0) is true.
(basis step)
• Show that if P(0) and P(1) and … and P(n),
then P(n + 1) for any nN.
(inductive step)
• Then P(n) must be true for any nN.
(conclusion)
Fall 2002 CMSC 203 - Discrete Structures 12
Induction
Example: Show that every integer greater than
1 can be written as the product of primes.
• Show that P(2) is true.
(basis step)
2 is the product of one prime: itself.
Fall 2002 CMSC 203 - Discrete Structures 13
Induction
• Show that if P(2) and P(3) and … and P(n),
then P(n + 1) for any nN. (inductive step)
Two possible cases:
• If (n + 1) is prime, then obviously P(n + 1) is true.
• If (n + 1) is composite, it can be written as the
product of two integers a and b such that
2  a  b < n + 1.
By the induction hypothesis, both a and b can be
written as the product of primes.
Therefore, n + 1 = ab can be written as the
product of primes.
Fall 2002 CMSC 203 - Discrete Structures 14
Induction
• Then P(n) must be true for any nN.
(conclusion)
End of proof.
We have shown that every integer greater
than 1 can be written as the product of primes.

More Related Content

Similar to Induction (1).ppt

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
 
Math induction
Math inductionMath induction
Math inductionasel_d
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2David Wood
 
Unit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdfUnit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdfAmayJaiswal4
 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfBhanuCharan9
 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rulesDawood Faheem Abbasi
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functionsallyn joy calcaben
 
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnDMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnhuong996275
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarAnimesh Sarkar
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical inductionDhruvSethi28
 
A Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's ConjectureA Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's Conjecturenikos mantzakouras
 
02 asymptotic notations
02 asymptotic notations02 asymptotic notations
02 asymptotic notationsTarikuDabala1
 

Similar to Induction (1).ppt (20)

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
 
Math induction
Math inductionMath induction
Math induction
 
Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
 
ch3.ppt
ch3.pptch3.ppt
ch3.ppt
 
6e-ch4.ppt
6e-ch4.ppt6e-ch4.ppt
6e-ch4.ppt
 
Unit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdfUnit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdf
 
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
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
 
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
 
Chapter 5
Chapter 5Chapter 5
Chapter 5
 
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnDMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn
DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
 
Proof Techniques
Proof TechniquesProof Techniques
Proof Techniques
 
A Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's ConjectureA Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's Conjecture
 
02 asymptotic notations
02 asymptotic notations02 asymptotic notations
02 asymptotic notations
 

Recently uploaded

VIP Kolkata Call Girl Rishra 👉 8250192130 Available With Room
VIP Kolkata Call Girl Rishra 👉 8250192130  Available With RoomVIP Kolkata Call Girl Rishra 👉 8250192130  Available With Room
VIP Kolkata Call Girl Rishra 👉 8250192130 Available With Roomdivyansh0kumar0
 
Cyberagent_For New Investors_EN_240424.pdf
Cyberagent_For New Investors_EN_240424.pdfCyberagent_For New Investors_EN_240424.pdf
Cyberagent_For New Investors_EN_240424.pdfCyberAgent, Inc.
 
OKC Thunder Reveal Game 2 Playoff T Shirts
OKC Thunder Reveal Game 2 Playoff T ShirtsOKC Thunder Reveal Game 2 Playoff T Shirts
OKC Thunder Reveal Game 2 Playoff T Shirtsrahman018755
 
High Profile Call Girls Kolkata Trisha 🤌 8250192130 🚀 Vip Call Girls Kolkata
High Profile Call Girls Kolkata Trisha 🤌  8250192130 🚀 Vip Call Girls KolkataHigh Profile Call Girls Kolkata Trisha 🤌  8250192130 🚀 Vip Call Girls Kolkata
High Profile Call Girls Kolkata Trisha 🤌 8250192130 🚀 Vip Call Girls Kolkataanamikaraghav4
 
Russian Call Girls Kolkata Indira 🤌 8250192130 🚀 Vip Call Girls Kolkata
Russian Call Girls Kolkata Indira 🤌  8250192130 🚀 Vip Call Girls KolkataRussian Call Girls Kolkata Indira 🤌  8250192130 🚀 Vip Call Girls Kolkata
Russian Call Girls Kolkata Indira 🤌 8250192130 🚀 Vip Call Girls Kolkataanamikaraghav4
 
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girl
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call GirlVIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girl
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girladitipandeya
 
如何办理伦敦大学毕业证(文凭)London学位证书
如何办理伦敦大学毕业证(文凭)London学位证书如何办理伦敦大学毕业证(文凭)London学位证书
如何办理伦敦大学毕业证(文凭)London学位证书Fis s
 
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...aditipandeya
 
slideshare Call girls Noida Escorts 9999965857 henakhan
slideshare Call girls Noida Escorts 9999965857 henakhanslideshare Call girls Noida Escorts 9999965857 henakhan
slideshare Call girls Noida Escorts 9999965857 henakhanhanshkumar9870
 
Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024CollectiveMining1
 
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书如何办理东俄勒冈大学毕业证(文凭)EOU学位证书
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书Fir La
 
Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024CollectiveMining1
 
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663Call Girls Mumbai
 
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service 🧦
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service  🧦CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service  🧦
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service 🧦anilsa9823
 
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024Osisko Gold Royalties Ltd
 

Recently uploaded (20)

VIP Kolkata Call Girl Rishra 👉 8250192130 Available With Room
VIP Kolkata Call Girl Rishra 👉 8250192130  Available With RoomVIP Kolkata Call Girl Rishra 👉 8250192130  Available With Room
VIP Kolkata Call Girl Rishra 👉 8250192130 Available With Room
 
Cyberagent_For New Investors_EN_240424.pdf
Cyberagent_For New Investors_EN_240424.pdfCyberagent_For New Investors_EN_240424.pdf
Cyberagent_For New Investors_EN_240424.pdf
 
OKC Thunder Reveal Game 2 Playoff T Shirts
OKC Thunder Reveal Game 2 Playoff T ShirtsOKC Thunder Reveal Game 2 Playoff T Shirts
OKC Thunder Reveal Game 2 Playoff T Shirts
 
High Profile Call Girls Kolkata Trisha 🤌 8250192130 🚀 Vip Call Girls Kolkata
High Profile Call Girls Kolkata Trisha 🤌  8250192130 🚀 Vip Call Girls KolkataHigh Profile Call Girls Kolkata Trisha 🤌  8250192130 🚀 Vip Call Girls Kolkata
High Profile Call Girls Kolkata Trisha 🤌 8250192130 🚀 Vip Call Girls Kolkata
 
Russian Call Girls Kolkata Indira 🤌 8250192130 🚀 Vip Call Girls Kolkata
Russian Call Girls Kolkata Indira 🤌  8250192130 🚀 Vip Call Girls KolkataRussian Call Girls Kolkata Indira 🤌  8250192130 🚀 Vip Call Girls Kolkata
Russian Call Girls Kolkata Indira 🤌 8250192130 🚀 Vip Call Girls Kolkata
 
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girl
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call GirlVIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girl
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamirpet high-profile Call Girl
 
如何办理伦敦大学毕业证(文凭)London学位证书
如何办理伦敦大学毕业证(文凭)London学位证书如何办理伦敦大学毕业证(文凭)London学位证书
如何办理伦敦大学毕业证(文凭)London学位证书
 
Model Call Girl in Udyog Vihar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Udyog Vihar Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Udyog Vihar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Udyog Vihar Delhi reach out to us at 🔝9953056974🔝
 
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...
VIP 7001035870 Find & Meet Hyderabad Call Girls Shamshabad high-profile Call ...
 
slideshare Call girls Noida Escorts 9999965857 henakhan
slideshare Call girls Noida Escorts 9999965857 henakhanslideshare Call girls Noida Escorts 9999965857 henakhan
slideshare Call girls Noida Escorts 9999965857 henakhan
 
Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024
 
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书如何办理东俄勒冈大学毕业证(文凭)EOU学位证书
如何办理东俄勒冈大学毕业证(文凭)EOU学位证书
 
Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024Collective Mining | Corporate Presentation - April 2024
Collective Mining | Corporate Presentation - April 2024
 
Call Girls In South Delhi 📱 9999965857 🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SERVICE
Call Girls In South Delhi 📱  9999965857  🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SERVICECall Girls In South Delhi 📱  9999965857  🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SERVICE
Call Girls In South Delhi 📱 9999965857 🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SERVICE
 
Rohini Sector 17 Call Girls Delhi 9999965857 @Sabina Saikh No Advance
Rohini Sector 17 Call Girls Delhi 9999965857 @Sabina Saikh No AdvanceRohini Sector 17 Call Girls Delhi 9999965857 @Sabina Saikh No Advance
Rohini Sector 17 Call Girls Delhi 9999965857 @Sabina Saikh No Advance
 
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663
✂️ 👅 Independent Goregaon Escorts With Room Vashi Call Girls 💃 9004004663
 
Model Call Girl in Uttam Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Uttam Nagar Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Uttam Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Uttam Nagar Delhi reach out to us at 🔝9953056974🔝
 
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service 🧦
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service  🧦CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service  🧦
CALL ON ➥8923113531 🔝Call Girls Vineet Khand Lucknow best Night Fun service 🧦
 
Call Girls 🫤 East Of Kailash ➡️ 9999965857 ➡️ Delhi 🫦 Russian Escorts FULL ...
Call Girls 🫤 East Of Kailash ➡️ 9999965857  ➡️ Delhi 🫦  Russian Escorts FULL ...Call Girls 🫤 East Of Kailash ➡️ 9999965857  ➡️ Delhi 🫦  Russian Escorts FULL ...
Call Girls 🫤 East Of Kailash ➡️ 9999965857 ➡️ Delhi 🫦 Russian Escorts FULL ...
 
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024
Osisko Gold Royalties Ltd - Corporate Presentation, April 23, 2024
 

Induction (1).ppt

  • 1. Fall 2002 CMSC 203 - Discrete Structures 1 Follow me for a walk through... Mathematical Induction
  • 2. Fall 2002 CMSC 203 - Discrete Structures 2 Induction The principle of mathematical induction is a useful tool for proving that a certain predicate is true for all natural numbers. It cannot be used to discover theorems, but only to prove them.
  • 3. Fall 2002 CMSC 203 - Discrete Structures 3 Induction If we have a propositional function P(n), and we want to prove that P(n) is true for any natural number n, we do the following: • Show that P(0) is true. (basis step) • Show that if P(n) then P(n + 1) for any nN. (inductive step) • Then P(n) must be true for any nN. (conclusion)
  • 4. Fall 2002 CMSC 203 - Discrete Structures 4 Induction Example: Show that n < 2n for all positive integers n. Let P(n) be the proposition “n < 2n.” 1. Show that P(1) is true. (basis step) P(1) is true, because 1 < 21 = 2.
  • 5. Fall 2002 CMSC 203 - Discrete Structures 5 Induction 2. Show that if P(n) is true, then P(n + 1) is true. (inductive step) Assume that n < 2n is true. We need to show that P(n + 1) is true, i.e. n + 1 < 2n+1 We start from n < 2n: n + 1 < 2n + 1  2n + 2n = 2n+1 Therefore, if n < 2n then n + 1 < 2n+1
  • 6. Fall 2002 CMSC 203 - Discrete Structures 6 Induction 3. Then P(n) must be true for any positive integer. (conclusion) n < 2n is true for any positive integer. End of proof.
  • 7. Fall 2002 CMSC 203 - Discrete Structures 7 Induction Another Example (“Gauss”): 1 + 2 + … + n = n (n + 1)/2 1. Show that P(0) is true. (basis step) For n = 0 we get 0 = 0. True.
  • 8. Fall 2002 CMSC 203 - Discrete Structures 8 Induction 2. Show that if P(n) then P(n + 1) for any nN. (inductive step) 1 + 2 + … + n = n (n + 1)/2 1 + 2 + … + n + (n + 1) = n (n + 1)/2 + (n + 1) = (2n + 2 + n (n + 1))/2 = (2n + 2 + n2 + n)/2 = (2 + 3n + n2 )/2 = (n + 1) (n + 2)/2 = (n + 1) ((n + 1) + 1)/2
  • 9. Fall 2002 CMSC 203 - Discrete Structures 9 Induction 3. Then P(n) must be true for any nN. (conclusion) 1 + 2 + … + n = n (n + 1)/2 is true for all nN. End of proof.
  • 10. Fall 2002 CMSC 203 - Discrete Structures 10 Induction There is another proof technique that is very similar to the principle of mathematical induction. It is called the second principle of mathematical induction. It can be used to prove that a propositional function P(n) is true for any natural number n.
  • 11. Fall 2002 CMSC 203 - Discrete Structures 11 Induction The second principle of mathematical induction: • Show that P(0) is true. (basis step) • Show that if P(0) and P(1) and … and P(n), then P(n + 1) for any nN. (inductive step) • Then P(n) must be true for any nN. (conclusion)
  • 12. Fall 2002 CMSC 203 - Discrete Structures 12 Induction Example: Show that every integer greater than 1 can be written as the product of primes. • Show that P(2) is true. (basis step) 2 is the product of one prime: itself.
  • 13. Fall 2002 CMSC 203 - Discrete Structures 13 Induction • Show that if P(2) and P(3) and … and P(n), then P(n + 1) for any nN. (inductive step) Two possible cases: • If (n + 1) is prime, then obviously P(n + 1) is true. • If (n + 1) is composite, it can be written as the product of two integers a and b such that 2  a  b < n + 1. By the induction hypothesis, both a and b can be written as the product of primes. Therefore, n + 1 = ab can be written as the product of primes.
  • 14. Fall 2002 CMSC 203 - Discrete Structures 14 Induction • Then P(n) must be true for any nN. (conclusion) End of proof. We have shown that every integer greater than 1 can be written as the product of primes.