SlideShare a Scribd company logo
1 of 27
DISCRETE MATHEMATIC
LEC-03:
Induction
Fall, 2023
Problem
)
(
, k
P
N
k 

n
r
P
A
N
n )
1
(
, 



A compounded amount (including interest)
P principle (the original amount)
r annual rate
n number of year
Example
More examples
 
2
1
,
0



 

k
k
i
N
k
k
i
n
n
n
n
N
n 


 !
,
1
,
Three steps
Example 1
2
)
1
0
(
0
0
0


i
2
)
1
(
0



k
k
i
k
2
)
2
)(
1
(
1
0





k
k
i
k
 
2
1
,
0



 

k
k
i
N
k
k
i
Base Case: P(0)
Inductive Hypothesis: P(k)
Inductive Step: P(k+1)
)
1
(
0
1
0








 


k
i
i
k
k
)
1
(
2
)
1
(



 k
k
k
)
1
2
)(
1
( 


k
k
2
)
2
)(
1
( 


k
k
Example 2
2
2
!
2 
k
k
k 
!
1
)
1
(
)!
1
( 


 k
k
k
Base Case: P(2)
Inductive Hypothesis: P(k)
Inductive Step: P(k+1)
!
)
1
(
)!
1
( k
k
k 


k
k
k )
1
( 

k
k
k )
1
)(
1
( 


1
)
1
( 

 k
k
n
n
n
n
N
n 


 !
,
1
,
Four color theorem
Any map can be colored with
four colors such that any two
adjacent countries must have
different colors.
The problem was first posed
in 1852. It is very difficult to
prove.
It was not until 1976 that the
theorem was finally proved
(with the aid of a computer)
by Appel and Haken.
Two color theorem
We divide the plane
into regions by drawing
straight lines.
R
R R
B
B
B
B
Suppose a map is drawn using only lines that extend
to infinity in both directions; two colors are sufficient
to color the countries so that no pair of countries with
a common border have the same color.
Step 1: Base case
The plane is divided
into 2 parts by 1 line
R
B
Step 2: Inductive hypothesis
Assume a map with n
lines can be two-
colored
R
R
B
B
Assume a map with n
lines can be two-
colored
Step 3: Inductive step
Leave colors on one
side of the (n+1)th line
unchanged.
On the other side of the
line, swap red <-> blue
R
R B
R
B
B
R
B
R
B
The (n+1)th line
Compound interest
n
r
P
A
N
n )
1
(
, 



A compounded amount (including interest)
P principle (the original amount)
r annual rate
n number of year
Example
Base case: P(0)
P
r
P
A 

 0
)
1
(
In year 0 you receive no interest, the
compounded amount is equal to the
principle.
A compounded amount (including interest)
P principle (the original amount)
r annual rate
Inductive hypothesis: P(k)
k
r
P
A )
1
( 

Assume this is the compounded amount
after k year(s).
A compounded amount (including interest)
P principle (the original amount)
r annual rate
Inductive step: P(k+1)
1
)
1
( 

 k
r
P
A
We must show this is the compounded
amount after k+1 year(s).
A compounded amount (including interest)
P principle (the original amount)
r annual rate
1
)
1
(
)
1
(
)
1
( 





 k
k
k
r
P
r
r
P
r
P
A
L-shaped tiles
L-shaped tiles: 2 x 2 square tile with a missing
1 x 1 square.
We want to tile a 2n x 2n square with a missing
1 x 1 square in the middle.
Example
Base case: P(1)
A 2 x 2 square can be tiled with L-shaped tiles
with a missing 1 x 1 square in the middle.
Example
Inductive hypothesis: P(n)
Assume we can tile a 2n x 2n square with a
missing 1 x 1 square in the middle.
Example
Inductive step: P(n+1)
A 2n+1 x 2n+1 square can be broken up into 4
smaller squares of size 2n x 2n.
We can tile the square with the hole being
anywhere.
Example
Strong induction
Inductive hypothesis: Instead of just assuming
P(k) is true, we assume a stronger statement
that P(0), P(1), …, and P(k) are all true.
Example
Base Case: P(2)
Inductive Hypothesis: P(2),P(3),…,and P(k)
Inductive Step: P(k+1)
Every natural number n > 1 can be written as a product of primes.
2 is a prime number.
Every natural number 2 <= n <= k can be written as a product of
primes.
k + 1 can be written as a product of primes.
Case 1: k + 1 is a prime
Case 2: k + 1 = xy, 1 < x,y < k
Example
Base Case: P(8)
Inductive Hypothesis: P(8),…,and P(k)
Inductive Step: P(k+1)
Any integers from 8 upwards can be composed from 3 and 5.
8 = 3 + 5
Every natural number 8 <= n <= k can be composed from 3 and 5.
k+1 = (k-2) + 3
P(9), P(10)
Strong induction vs. simple induction
)
(
)
1
(
)
0
(
)
(
, k
P
P
P
k
Q
N
k 





)
(
, k
P
N
k 

)
1
(
)
(
)
1
(
)
0
(
)
(
)
1
(
)
0
(








k
P
k
P
P
P
k
P
P
P


)
1
(
)
(
)
1
(
)
0
(





k
P
k
P
P
P 
)
0
(
P )
0
(
)
0
( P
Q 
)
(
)
1
(
)
0
( k
P
P
P 

  )
(
)
1
(
)
0
(
)
( k
P
P
P
k
Q 


 
Base Case:
Inductive Hypothesis:
Inductive Step:
Induction and Recursion
Exercises
Exercises
Homework
Problem Set 3

More Related Content

Similar to DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn

Kolev skalna2018 article-exact_solutiontoa_parametricline
Kolev skalna2018 article-exact_solutiontoa_parametriclineKolev skalna2018 article-exact_solutiontoa_parametricline
Kolev skalna2018 article-exact_solutiontoa_parametriclineAlina Barbulescu
 
Talk at CIRM on Poisson equation and debiasing techniques
Talk at CIRM on Poisson equation and debiasing techniquesTalk at CIRM on Poisson equation and debiasing techniques
Talk at CIRM on Poisson equation and debiasing techniquesPierre Jacob
 
SMB_2012_HR_VAN_ST-last version
SMB_2012_HR_VAN_ST-last versionSMB_2012_HR_VAN_ST-last version
SMB_2012_HR_VAN_ST-last versionLilyana Vankova
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2David Wood
 
Analysis of monitoring of connection between
Analysis of monitoring of connection betweenAnalysis of monitoring of connection between
Analysis of monitoring of connection betweenprjpublications
 
Heuristics for counterexamples to the Agrawal Conjecture
Heuristics for counterexamples to the Agrawal ConjectureHeuristics for counterexamples to the Agrawal Conjecture
Heuristics for counterexamples to the Agrawal ConjectureAmshuman Hegde
 
1.02.Mathematical_background.pptx
1.02.Mathematical_background.pptx1.02.Mathematical_background.pptx
1.02.Mathematical_background.pptxPrachiDawer1
 
A family of implicit higher order methods for the numerical integration of se...
A family of implicit higher order methods for the numerical integration of se...A family of implicit higher order methods for the numerical integration of se...
A family of implicit higher order methods for the numerical integration of se...Alexander Decker
 
Proof of Kraft Mc-Millan theorem - nguyen vu hung
Proof of Kraft Mc-Millan theorem - nguyen vu hungProof of Kraft Mc-Millan theorem - nguyen vu hung
Proof of Kraft Mc-Millan theorem - nguyen vu hungVu Hung Nguyen
 
Accelerating Metropolis Hastings with Lightweight Inference Compilation
Accelerating Metropolis Hastings with Lightweight Inference CompilationAccelerating Metropolis Hastings with Lightweight Inference Compilation
Accelerating Metropolis Hastings with Lightweight Inference CompilationFeynman Liang
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsVjekoslavKovac1
 

Similar to DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn (20)

Kolev skalna2018 article-exact_solutiontoa_parametricline
Kolev skalna2018 article-exact_solutiontoa_parametriclineKolev skalna2018 article-exact_solutiontoa_parametricline
Kolev skalna2018 article-exact_solutiontoa_parametricline
 
jalalam.ppt
jalalam.pptjalalam.ppt
jalalam.ppt
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
 
Slide subtopic 5
Slide subtopic 5Slide subtopic 5
Slide subtopic 5
 
Talk at CIRM on Poisson equation and debiasing techniques
Talk at CIRM on Poisson equation and debiasing techniquesTalk at CIRM on Poisson equation and debiasing techniques
Talk at CIRM on Poisson equation and debiasing techniques
 
SMB_2012_HR_VAN_ST-last version
SMB_2012_HR_VAN_ST-last versionSMB_2012_HR_VAN_ST-last version
SMB_2012_HR_VAN_ST-last version
 
CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2CPSC 125 Ch 2 Sec 2
CPSC 125 Ch 2 Sec 2
 
Chapter5.pptx
Chapter5.pptxChapter5.pptx
Chapter5.pptx
 
Analysis of monitoring of connection between
Analysis of monitoring of connection betweenAnalysis of monitoring of connection between
Analysis of monitoring of connection between
 
Heuristics for counterexamples to the Agrawal Conjecture
Heuristics for counterexamples to the Agrawal ConjectureHeuristics for counterexamples to the Agrawal Conjecture
Heuristics for counterexamples to the Agrawal Conjecture
 
1.02.Mathematical_background.pptx
1.02.Mathematical_background.pptx1.02.Mathematical_background.pptx
1.02.Mathematical_background.pptx
 
3320 cyclic codes.ppt
3320 cyclic codes.ppt3320 cyclic codes.ppt
3320 cyclic codes.ppt
 
F ch
F chF ch
F ch
 
A family of implicit higher order methods for the numerical integration of se...
A family of implicit higher order methods for the numerical integration of se...A family of implicit higher order methods for the numerical integration of se...
A family of implicit higher order methods for the numerical integration of se...
 
Proof of Kraft Mc-Millan theorem - nguyen vu hung
Proof of Kraft Mc-Millan theorem - nguyen vu hungProof of Kraft Mc-Millan theorem - nguyen vu hung
Proof of Kraft Mc-Millan theorem - nguyen vu hung
 
Accelerating Metropolis Hastings with Lightweight Inference Compilation
Accelerating Metropolis Hastings with Lightweight Inference CompilationAccelerating Metropolis Hastings with Lightweight Inference Compilation
Accelerating Metropolis Hastings with Lightweight Inference Compilation
 
DAA_LECT_2.pdf
DAA_LECT_2.pdfDAA_LECT_2.pdf
DAA_LECT_2.pdf
 
Mathematical Induction DM
Mathematical Induction DMMathematical Induction DM
Mathematical Induction DM
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operators
 
Unit II PPT.pptx
Unit II PPT.pptxUnit II PPT.pptx
Unit II PPT.pptx
 

Recently uploaded

Catalogue ONG NUOC PPR DE NHAT .pdf
Catalogue ONG NUOC PPR DE NHAT      .pdfCatalogue ONG NUOC PPR DE NHAT      .pdf
Catalogue ONG NUOC PPR DE NHAT .pdfOrient Homes
 
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptx
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptxBanana Powder Manufacturing Plant Project Report 2024 Edition.pptx
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptxgeorgebrinton95
 
Intro to BCG's Carbon Emissions Benchmark_vF.pdf
Intro to BCG's Carbon Emissions Benchmark_vF.pdfIntro to BCG's Carbon Emissions Benchmark_vF.pdf
Intro to BCG's Carbon Emissions Benchmark_vF.pdfpollardmorgan
 
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,noida100girls
 
Monte Carlo simulation : Simulation using MCSM
Monte Carlo simulation : Simulation using MCSMMonte Carlo simulation : Simulation using MCSM
Monte Carlo simulation : Simulation using MCSMRavindra Nath Shukla
 
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...lizamodels9
 
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableCall Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableDipal Arora
 
Vip Female Escorts Noida 9711199171 Greater Noida Escorts Service
Vip Female Escorts Noida 9711199171 Greater Noida Escorts ServiceVip Female Escorts Noida 9711199171 Greater Noida Escorts Service
Vip Female Escorts Noida 9711199171 Greater Noida Escorts Serviceankitnayak356677
 
Call Girls in Gomti Nagar - 7388211116 - With room Service
Call Girls in Gomti Nagar - 7388211116  - With room ServiceCall Girls in Gomti Nagar - 7388211116  - With room Service
Call Girls in Gomti Nagar - 7388211116 - With room Servicediscovermytutordmt
 
Cash Payment 9602870969 Escort Service in Udaipur Call Girls
Cash Payment 9602870969 Escort Service in Udaipur Call GirlsCash Payment 9602870969 Escort Service in Udaipur Call Girls
Cash Payment 9602870969 Escort Service in Udaipur Call GirlsApsara Of India
 
7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...Paul Menig
 
rishikeshgirls.in- Rishikesh call girl.pdf
rishikeshgirls.in- Rishikesh call girl.pdfrishikeshgirls.in- Rishikesh call girl.pdf
rishikeshgirls.in- Rishikesh call girl.pdfmuskan1121w
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdfRenandantas16
 
Call Girls Miyapur 7001305949 all area service COD available Any Time
Call Girls Miyapur 7001305949 all area service COD available Any TimeCall Girls Miyapur 7001305949 all area service COD available Any Time
Call Girls Miyapur 7001305949 all area service COD available Any Timedelhimodelshub1
 
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewas
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service DewasVip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewas
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewasmakika9823
 
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...lizamodels9
 
Keppel Ltd. 1Q 2024 Business Update Presentation Slides
Keppel Ltd. 1Q 2024 Business Update  Presentation SlidesKeppel Ltd. 1Q 2024 Business Update  Presentation Slides
Keppel Ltd. 1Q 2024 Business Update Presentation SlidesKeppelCorporation
 
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...lizamodels9
 
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | Delhi
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | DelhiFULL ENJOY - 9953040155 Call Girls in Chhatarpur | Delhi
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | DelhiMalviyaNagarCallGirl
 

Recently uploaded (20)

Catalogue ONG NUOC PPR DE NHAT .pdf
Catalogue ONG NUOC PPR DE NHAT      .pdfCatalogue ONG NUOC PPR DE NHAT      .pdf
Catalogue ONG NUOC PPR DE NHAT .pdf
 
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptx
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptxBanana Powder Manufacturing Plant Project Report 2024 Edition.pptx
Banana Powder Manufacturing Plant Project Report 2024 Edition.pptx
 
Intro to BCG's Carbon Emissions Benchmark_vF.pdf
Intro to BCG's Carbon Emissions Benchmark_vF.pdfIntro to BCG's Carbon Emissions Benchmark_vF.pdf
Intro to BCG's Carbon Emissions Benchmark_vF.pdf
 
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,
BEST Call Girls In Old Faridabad ✨ 9773824855 ✨ Escorts Service In Delhi Ncr,
 
Monte Carlo simulation : Simulation using MCSM
Monte Carlo simulation : Simulation using MCSMMonte Carlo simulation : Simulation using MCSM
Monte Carlo simulation : Simulation using MCSM
 
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...
Call Girls In Radisson Blu Hotel New Delhi Paschim Vihar ❤️8860477959 Escorts...
 
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableCall Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
 
Vip Female Escorts Noida 9711199171 Greater Noida Escorts Service
Vip Female Escorts Noida 9711199171 Greater Noida Escorts ServiceVip Female Escorts Noida 9711199171 Greater Noida Escorts Service
Vip Female Escorts Noida 9711199171 Greater Noida Escorts Service
 
Call Girls in Gomti Nagar - 7388211116 - With room Service
Call Girls in Gomti Nagar - 7388211116  - With room ServiceCall Girls in Gomti Nagar - 7388211116  - With room Service
Call Girls in Gomti Nagar - 7388211116 - With room Service
 
Cash Payment 9602870969 Escort Service in Udaipur Call Girls
Cash Payment 9602870969 Escort Service in Udaipur Call GirlsCash Payment 9602870969 Escort Service in Udaipur Call Girls
Cash Payment 9602870969 Escort Service in Udaipur Call Girls
 
7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...
 
rishikeshgirls.in- Rishikesh call girl.pdf
rishikeshgirls.in- Rishikesh call girl.pdfrishikeshgirls.in- Rishikesh call girl.pdf
rishikeshgirls.in- Rishikesh call girl.pdf
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
 
Best Practices for Implementing an External Recruiting Partnership
Best Practices for Implementing an External Recruiting PartnershipBest Practices for Implementing an External Recruiting Partnership
Best Practices for Implementing an External Recruiting Partnership
 
Call Girls Miyapur 7001305949 all area service COD available Any Time
Call Girls Miyapur 7001305949 all area service COD available Any TimeCall Girls Miyapur 7001305949 all area service COD available Any Time
Call Girls Miyapur 7001305949 all area service COD available Any Time
 
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewas
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service DewasVip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewas
Vip Dewas Call Girls #9907093804 Contact Number Escorts Service Dewas
 
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...
Lowrate Call Girls In Laxmi Nagar Delhi ❤️8860477959 Escorts 100% Genuine Ser...
 
Keppel Ltd. 1Q 2024 Business Update Presentation Slides
Keppel Ltd. 1Q 2024 Business Update  Presentation SlidesKeppel Ltd. 1Q 2024 Business Update  Presentation Slides
Keppel Ltd. 1Q 2024 Business Update Presentation Slides
 
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...
Call Girls In Connaught Place Delhi ❤️88604**77959_Russian 100% Genuine Escor...
 
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | Delhi
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | DelhiFULL ENJOY - 9953040155 Call Girls in Chhatarpur | Delhi
FULL ENJOY - 9953040155 Call Girls in Chhatarpur | Delhi
 

DMA_Induction (2).pptx nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn

  • 2. Problem ) ( , k P N k   n r P A N n ) 1 ( ,     A compounded amount (including interest) P principle (the original amount) r annual rate n number of year Example
  • 3. More examples   2 1 , 0       k k i N k k i n n n n N n     ! , 1 ,
  • 5. Example 1 2 ) 1 0 ( 0 0 0   i 2 ) 1 ( 0    k k i k 2 ) 2 )( 1 ( 1 0      k k i k   2 1 , 0       k k i N k k i Base Case: P(0) Inductive Hypothesis: P(k) Inductive Step: P(k+1) ) 1 ( 0 1 0             k i i k k ) 1 ( 2 ) 1 (     k k k ) 1 2 )( 1 (    k k 2 ) 2 )( 1 (    k k
  • 6. Example 2 2 2 ! 2  k k k  ! 1 ) 1 ( )! 1 (     k k k Base Case: P(2) Inductive Hypothesis: P(k) Inductive Step: P(k+1) ! ) 1 ( )! 1 ( k k k    k k k ) 1 (   k k k ) 1 )( 1 (    1 ) 1 (    k k n n n n N n     ! , 1 ,
  • 7. Four color theorem Any map can be colored with four colors such that any two adjacent countries must have different colors. The problem was first posed in 1852. It is very difficult to prove. It was not until 1976 that the theorem was finally proved (with the aid of a computer) by Appel and Haken.
  • 8. Two color theorem We divide the plane into regions by drawing straight lines. R R R B B B B Suppose a map is drawn using only lines that extend to infinity in both directions; two colors are sufficient to color the countries so that no pair of countries with a common border have the same color.
  • 9. Step 1: Base case The plane is divided into 2 parts by 1 line R B
  • 10. Step 2: Inductive hypothesis Assume a map with n lines can be two- colored R R B B
  • 11. Assume a map with n lines can be two- colored Step 3: Inductive step Leave colors on one side of the (n+1)th line unchanged. On the other side of the line, swap red <-> blue R R B R B B R B R B The (n+1)th line
  • 12. Compound interest n r P A N n ) 1 ( ,     A compounded amount (including interest) P principle (the original amount) r annual rate n number of year Example
  • 13. Base case: P(0) P r P A    0 ) 1 ( In year 0 you receive no interest, the compounded amount is equal to the principle. A compounded amount (including interest) P principle (the original amount) r annual rate
  • 14. Inductive hypothesis: P(k) k r P A ) 1 (   Assume this is the compounded amount after k year(s). A compounded amount (including interest) P principle (the original amount) r annual rate
  • 15. Inductive step: P(k+1) 1 ) 1 (    k r P A We must show this is the compounded amount after k+1 year(s). A compounded amount (including interest) P principle (the original amount) r annual rate 1 ) 1 ( ) 1 ( ) 1 (        k k k r P r r P r P A
  • 16. L-shaped tiles L-shaped tiles: 2 x 2 square tile with a missing 1 x 1 square. We want to tile a 2n x 2n square with a missing 1 x 1 square in the middle. Example
  • 17. Base case: P(1) A 2 x 2 square can be tiled with L-shaped tiles with a missing 1 x 1 square in the middle. Example
  • 18. Inductive hypothesis: P(n) Assume we can tile a 2n x 2n square with a missing 1 x 1 square in the middle. Example
  • 19. Inductive step: P(n+1) A 2n+1 x 2n+1 square can be broken up into 4 smaller squares of size 2n x 2n. We can tile the square with the hole being anywhere. Example
  • 20. Strong induction Inductive hypothesis: Instead of just assuming P(k) is true, we assume a stronger statement that P(0), P(1), …, and P(k) are all true.
  • 21. Example Base Case: P(2) Inductive Hypothesis: P(2),P(3),…,and P(k) Inductive Step: P(k+1) Every natural number n > 1 can be written as a product of primes. 2 is a prime number. Every natural number 2 <= n <= k can be written as a product of primes. k + 1 can be written as a product of primes. Case 1: k + 1 is a prime Case 2: k + 1 = xy, 1 < x,y < k
  • 22. Example Base Case: P(8) Inductive Hypothesis: P(8),…,and P(k) Inductive Step: P(k+1) Any integers from 8 upwards can be composed from 3 and 5. 8 = 3 + 5 Every natural number 8 <= n <= k can be composed from 3 and 5. k+1 = (k-2) + 3 P(9), P(10)
  • 23. Strong induction vs. simple induction ) ( ) 1 ( ) 0 ( ) ( , k P P P k Q N k       ) ( , k P N k   ) 1 ( ) ( ) 1 ( ) 0 ( ) ( ) 1 ( ) 0 (         k P k P P P k P P P   ) 1 ( ) ( ) 1 ( ) 0 (      k P k P P P  ) 0 ( P ) 0 ( ) 0 ( P Q  ) ( ) 1 ( ) 0 ( k P P P     ) ( ) 1 ( ) 0 ( ) ( k P P P k Q      Base Case: Inductive Hypothesis: Inductive Step: