SlideShare a Scribd company logo
1
PMAS ARID AGRICULTURE UNIVERSITY RAWALPINDI
BS SE (1B)EVENING.
COURSE TITLE: DISCRETE STRUCTURE
Group member:
1.ASIM SHAH(22-Arid-1019)
2.MASOOD-UR-REHMAN(22-Arid-1018)
3.SALIHA ALTAF(22-Arid-1054)
UNIVERSITY INSTITUTE OF INFORMATION TECHNOLOGY
AGENDA OF TODAY
Principle of mathematical induction 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.
•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(1) 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)
• 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.
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
INDUCTION
Then P(n) must be true for any positive integer.(conclusion)
• n < 2n is true for any positive integer.
• End of proof.
• Another Example
• 1 + 2 + … + n = n (n + 1)/2
1. Show that P(0) is true.
(basis step)
• For n = 0 we get 0 = 0. True.
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
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.
8
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.
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)
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.
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.
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.
•Another example:
1+3+5+…+(2n-1)=n2
INTRODUCTION
14
Step 1: It is true for initial value. So for n=1
P(1):1(1)2
1=1
So p(n) for n=1 is true.
Step 2: We assume that
P(n) is true for n=1,2,3……k
Step: Prove it is true
Then we show that p(n) is true for n=k+1
P(k):1+3+5+…..+(2k-1)=k2
For n=k+1
P(k+1):1+3+5+……+(2K-1)+2(k+1)-1=(k+1)2
K +2k+2-1=(k+1)
K +2k+1=(k+1)
(k+1) =(k+1)
2 2
2 2
2
2

More Related Content

Similar to ppt02.ppt

Math induction
Math inductionMath induction
Math induction
asel_d
 
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
IT Engineering Department
 
Sequences
SequencesSequences
Sequences
Abdur Rehman
 
mathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdfmathematicalinductionanddivisibilityrules-160711105713.pdf
mathematicalinductionanddivisibilityrules-160711105713.pdf
BhanuCharan9
 
Mathematical induction and divisibility rules
Mathematical induction and divisibility rulesMathematical induction and divisibility rules
Mathematical induction and divisibility rules
Dawood Faheem Abbasi
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptx
ZenLooper
 
Dr hasany 2467_16649_1_lec-2-zabist
Dr hasany 2467_16649_1_lec-2-zabistDr hasany 2467_16649_1_lec-2-zabist
Dr hasany 2467_16649_1_lec-2-zabist
Gatewayggg Testeru
 
1 chapter1 introduction
1 chapter1 introduction1 chapter1 introduction
1 chapter1 introduction
SSE_AndyLi
 
Induction.pptx
Induction.pptxInduction.pptx
Induction.pptx
AppasamiG
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
Roberto Anglani
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
David Wood
 
Unit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdfUnit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdf
AmayJaiswal4
 
Asymptotic notation
Asymptotic notationAsymptotic notation
Asymptotic notation
mustafa sarac
 
6e-ch4.ppt
6e-ch4.ppt6e-ch4.ppt
6e-ch4.ppt
HaiderAli252366
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
Kriti Varshney
 
Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
pubggaming58982
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
Animesh Sarkar
 
1_Asymptotic_Notation_pptx.pptx
1_Asymptotic_Notation_pptx.pptx1_Asymptotic_Notation_pptx.pptx
1_Asymptotic_Notation_pptx.pptx
pallavidhade2
 
Recurrences
RecurrencesRecurrences
Recurrences
Ala' Mohammad
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
math260
 

Similar to ppt02.ppt (20)

Math induction
Math inductionMath induction
Math induction
 
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
 
Sequences
SequencesSequences
Sequences
 
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
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptx
 
Dr hasany 2467_16649_1_lec-2-zabist
Dr hasany 2467_16649_1_lec-2-zabistDr hasany 2467_16649_1_lec-2-zabist
Dr hasany 2467_16649_1_lec-2-zabist
 
1 chapter1 introduction
1 chapter1 introduction1 chapter1 introduction
1 chapter1 introduction
 
Induction.pptx
Induction.pptxInduction.pptx
Induction.pptx
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
 
Unit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdfUnit-1 DAA_Notes.pdf
Unit-1 DAA_Notes.pdf
 
Asymptotic notation
Asymptotic notationAsymptotic notation
Asymptotic notation
 
6e-ch4.ppt
6e-ch4.ppt6e-ch4.ppt
6e-ch4.ppt
 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
 
Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
 
1_Asymptotic_Notation_pptx.pptx
1_Asymptotic_Notation_pptx.pptx1_Asymptotic_Notation_pptx.pptx
1_Asymptotic_Notation_pptx.pptx
 
Recurrences
RecurrencesRecurrences
Recurrences
 
5.4 mathematical induction t
5.4 mathematical induction t5.4 mathematical induction t
5.4 mathematical induction t
 

Recently uploaded

ZK on Polkadot zero knowledge proofs - sub0.pptx
ZK on Polkadot zero knowledge proofs - sub0.pptxZK on Polkadot zero knowledge proofs - sub0.pptx
ZK on Polkadot zero knowledge proofs - sub0.pptx
dot55audits
 
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptxNEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
iammrhaywood
 
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
Nguyen Thanh Tu Collection
 
IGCSE Biology Chapter 14- Reproduction in Plants.pdf
IGCSE Biology Chapter 14- Reproduction in Plants.pdfIGCSE Biology Chapter 14- Reproduction in Plants.pdf
IGCSE Biology Chapter 14- Reproduction in Plants.pdf
Amin Marwan
 
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptxBeyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
EduSkills OECD
 
Wound healing PPT
Wound healing PPTWound healing PPT
Wound healing PPT
Jyoti Chand
 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
PsychoTech Services
 
Walmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdfWalmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdf
TechSoup
 
How to Setup Warehouse & Location in Odoo 17 Inventory
How to Setup Warehouse & Location in Odoo 17 InventoryHow to Setup Warehouse & Location in Odoo 17 Inventory
How to Setup Warehouse & Location in Odoo 17 Inventory
Celine George
 
How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17
Celine George
 
How to Create a More Engaging and Human Online Learning Experience
How to Create a More Engaging and Human Online Learning Experience How to Create a More Engaging and Human Online Learning Experience
How to Create a More Engaging and Human Online Learning Experience
Wahiba Chair Training & Consulting
 
How to deliver Powerpoint Presentations.pptx
How to deliver Powerpoint  Presentations.pptxHow to deliver Powerpoint  Presentations.pptx
How to deliver Powerpoint Presentations.pptx
HajraNaeem15
 
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptxPengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Fajar Baskoro
 
Constructing Your Course Container for Effective Communication
Constructing Your Course Container for Effective CommunicationConstructing Your Course Container for Effective Communication
Constructing Your Course Container for Effective Communication
Chevonnese Chevers Whyte, MBA, B.Sc.
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
eBook.com.bd (প্রয়োজনীয় বাংলা বই)
 
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptxC1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
mulvey2
 
Advanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docxAdvanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docx
adhitya5119
 
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
Leena Ghag-Sakpal
 
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UPLAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
RAHUL
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
Dr. Mulla Adam Ali
 

Recently uploaded (20)

ZK on Polkadot zero knowledge proofs - sub0.pptx
ZK on Polkadot zero knowledge proofs - sub0.pptxZK on Polkadot zero knowledge proofs - sub0.pptx
ZK on Polkadot zero knowledge proofs - sub0.pptx
 
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptxNEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
NEWSPAPERS - QUESTION 1 - REVISION POWERPOINT.pptx
 
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 9 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2024-2025 - ...
 
IGCSE Biology Chapter 14- Reproduction in Plants.pdf
IGCSE Biology Chapter 14- Reproduction in Plants.pdfIGCSE Biology Chapter 14- Reproduction in Plants.pdf
IGCSE Biology Chapter 14- Reproduction in Plants.pdf
 
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptxBeyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptx
 
Wound healing PPT
Wound healing PPTWound healing PPT
Wound healing PPT
 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
 
Walmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdfWalmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdf
 
How to Setup Warehouse & Location in Odoo 17 Inventory
How to Setup Warehouse & Location in Odoo 17 InventoryHow to Setup Warehouse & Location in Odoo 17 Inventory
How to Setup Warehouse & Location in Odoo 17 Inventory
 
How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17How to Make a Field Mandatory in Odoo 17
How to Make a Field Mandatory in Odoo 17
 
How to Create a More Engaging and Human Online Learning Experience
How to Create a More Engaging and Human Online Learning Experience How to Create a More Engaging and Human Online Learning Experience
How to Create a More Engaging and Human Online Learning Experience
 
How to deliver Powerpoint Presentations.pptx
How to deliver Powerpoint  Presentations.pptxHow to deliver Powerpoint  Presentations.pptx
How to deliver Powerpoint Presentations.pptx
 
Pengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptxPengantar Penggunaan Flutter - Dart programming language1.pptx
Pengantar Penggunaan Flutter - Dart programming language1.pptx
 
Constructing Your Course Container for Effective Communication
Constructing Your Course Container for Effective CommunicationConstructing Your Course Container for Effective Communication
Constructing Your Course Container for Effective Communication
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
 
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptxC1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
 
Advanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docxAdvanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docx
 
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
Bed Making ( Introduction, Purpose, Types, Articles, Scientific principles, N...
 
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UPLAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
LAND USE LAND COVER AND NDVI OF MIRZAPUR DISTRICT, UP
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
 

ppt02.ppt

  • 1. 1 PMAS ARID AGRICULTURE UNIVERSITY RAWALPINDI BS SE (1B)EVENING. COURSE TITLE: DISCRETE STRUCTURE Group member: 1.ASIM SHAH(22-Arid-1019) 2.MASOOD-UR-REHMAN(22-Arid-1018) 3.SALIHA ALTAF(22-Arid-1054) UNIVERSITY INSTITUTE OF INFORMATION TECHNOLOGY
  • 2. AGENDA OF TODAY Principle of mathematical induction 2.
  • 3. 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. •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(1) 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. • 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. 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. INDUCTION Then P(n) must be true for any positive integer.(conclusion) • n < 2n is true for any positive integer. • End of proof. • Another Example • 1 + 2 + … + n = n (n + 1)/2 1. Show that P(0) is true. (basis step) • For n = 0 we get 0 = 0. True.
  • 7. 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
  • 8. 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. 8
  • 9. 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.
  • 10. 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)
  • 11. 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.
  • 12. 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.
  • 13. 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. •Another example: 1+3+5+…+(2n-1)=n2
  • 14. INTRODUCTION 14 Step 1: It is true for initial value. So for n=1 P(1):1(1)2 1=1 So p(n) for n=1 is true. Step 2: We assume that P(n) is true for n=1,2,3……k Step: Prove it is true Then we show that p(n) is true for n=k+1 P(k):1+3+5+…..+(2k-1)=k2 For n=k+1 P(k+1):1+3+5+……+(2K-1)+2(k+1)-1=(k+1)2 K +2k+2-1=(k+1) K +2k+1=(k+1) (k+1) =(k+1) 2 2 2 2 2 2