SlideShare a Scribd company logo
1 of 6
Download to read offline
Strong induction
Margaret M. Fleck
4 March 2009
This lecture presents proofs by ā€œstrongā€ induction, a slight variant on
normal mathematical induction.
1 A geometrical example
As a warm-up, letā€™s see another example of the basic induction outline, this
time on a geometrical application. Tiling some area of space with a certain
type of puzzle piece means that you ļ¬t the puzzle pieces onto that area of
space exactly, with no overlaps or missing areas. A right triomino is a 2-by-2
square minus one of the four squares. (See pictures in Rosen pp. 277-278.) I
then claim that
Claim 1 For any positive integer n, a 2n
Ɨ 2n
checkerboard with any one
square removed can be tiled using right triominoes.
Proof: by induction on n.
Base: Suppose n = 1. Then our 2n
Ɨ 2n
checkerboard with one
square remove is exactly one right triomino.
Induction: Suppose that the claim is true for some integer k.
That is a 2k
Ɨ 2k
checkerboard with any one square removed can
be tiled using right triominoes.
Suppose we have a 2k+1
Ɨ 2k+1
checkerboard C with any one
square removed. We can divide C into four 2k
Ɨ2k
sub-checkerboards
1
P, Q, R, and S. One of these sub-checkerboards is already miss-
ing a square. Suppose without loss of generality that this one is
S. Place a single right triomino in the middle of C so it covers
one square on each of P, Q, and R.
Now look at the areas remaining to be covered. In each of the
sub-checkerboards, exactly one square is missing (S) or already
covered (P, Q, and R). So, by our inductive hypothesis, each
of these sub-checkerboards minus one square can be tiled with
right triominoes. Combining these four tilings with the triomino
we put in the middle, we get a tiling for the whole of the larger
checkerboard C. This is what we needed to construct.
2 Strong induction
The inductive proofs youā€™ve seen so far have had the following outline:
Proof: We will show P(n) is true for all n, using induction on n.
Base: We need to show that P(1) is true.
Induction: Suppose that P(k) is true, for some integer k. We
need to show that P(k + 1) is true.
Think about building facts incrementally up from the base case to P(k).
Induction proves P(k) by ļ¬rst proving P(i) for every i from 1 up through
k āˆ’ 1. So, by the time weā€™ve proved P(k), weā€™ve also proved all these other
statements. For some proofs, itā€™s very helpful to use the fact that P is true
for all these smaller values, in addition to the fact that itā€™s true for k. This
method is called ā€œstrongā€ induction.
A proof by strong induction looks like this:
Proof: We will show P(n) is true for all n, using induction on n.
Base: We need to show that P(1) is true.
Induction: Suppose that P(1) up through P(k) are all true, for
some integer k. We need to show that P(k + 1) is true.
2
The only new feature about this proof is that, superļ¬cially, we are assum-
ing slightly more in the hypothesis of the inductive step. The diļ¬€erence is
actually only superļ¬cial, and the two proof techniques are equivalent. How-
ever, this diļ¬€erence does make some proofs much easier to write.
3 Postage example
Strong induction is useful when the result for n = kāˆ’1 depends on the result
for some smaller value of n, but itā€™s not the immediately previous value (k).
Hereā€™s a classic example:
Claim 2 Every amount of postage that is at least 12 cents can be made from
4-cent and 5-cent stamps.
For example, 12 cents uses three 4-cent stamps. 13 cents of postage uses
two 4-cent stamps plus a 5-cent stamp. 14 uses one 4-cent stamp plus two
5-cent stamps. If you experiment with small values, you quickly realize that
the formula for making k cents of postage depends on the one for making
k āˆ’ 4 cents of postage. That is, you take the stamps for k āˆ’ 4 cents and add
another 4-cent stamp. We can make this into an inductive proof as follows:
Proof: by induction on the amount of postage.
Base: If the postage is 12 cents, we can make it with three 4-cent
stamps. If the postage is 13 cents, we can make it with two 4-cent
stamps. plus a 5-cent stamp. If it is 14, we use one 4-cent stamp
plus two 5-cent stamps. If it is 15, we use three 5-cent stamps.
Induction: Suppose that we have show how to construct postage
for every value from 12 up through k. We need to show how to
construct k + 1 cents of postage. Since weā€™ve alread proved base
cases up through 15 cents, weā€™ll assume that k + 1 ā‰„ 16.
Since k+1 ā‰„ 16, (k+1)āˆ’4 ā‰„ 12. So by the inductive hypothesis,
we can construct postage for (k + 1) āˆ’ 4 cents using m 4-cent
stamps and n 5-cent stamps, for some natural numbers m and n.
In other words (k + 1) āˆ’ 4) = 4m + 5n.
3
But then k + 1 = 4(m + 1) + 5n. So we can construct k + 1 cents
of postage using m+1 4-cent stamps and n 5-cent stamps, which
is what we needed to show.
Notice that we needed to directly prove four base cases, since we needed
to reach back four integers in our inductive step. Itā€™s not always obvious how
many base cases are needed until you work out the details of your inductive
step.
4 Nim
In the parlour game Nim, there are two players and two piles of matches. At
each turn, a player removes some (non-zero) number of matches from one of
the piles. The player who removes the last match wins.1
Claim 3 If the two piles contain the same number of matches at the start
of the game, then the second player can always win.
Hereā€™s a winning strategy for the second player. Suppose your opponent
removes m matches from one pile. You remove m matches from the other
pile. Letā€™s prove that this strategy works.
Proof by induction on the number of matches (n) in each pile.
Base: If both piles contain 1 match, the ļ¬rst player has only one
possible move: remove the last match from one pile. The second
player can then remove the last match from the other pile and
thereby win.
Induction: Suppose that the second player can win any game that
starts with two piles of n matches, where n is any value from 1
through k. We need to show that this is true if n = k + 1.
So, suppose that both piles contain k + 1 matches. A legal move
by the ļ¬rst player involves removing j matches from one pile,
1
Or, in some variations, loses. There seem to be several variations of this game.
4
where 0 ā‰¤ j ā‰¤ k + 1. The piles then contain k + 1 matches and
k + 1 āˆ’ j matches.
The second player can now remove j matches from the other pile.
This leaves us with two piles of k+1āˆ’j matches. If j = k+1, then
the second player wins. If j < k + 1, then weā€™re now eļ¬€ectively
at the start of a game with k + 1 āˆ’ j matches in each pile. Since
1 ā‰¤ k + 1 āˆ’ j ā‰¤ k, we know by the induction hypothesis that the
second player can win the game.
The induction step in this proof uses the fact that our claim P(n) is
true for a smaller value of n. But since we canā€™t control how many matches
the ļ¬rst player removes, we donā€™t know how far back we have look in the
sequence of earlier results P(1) . . .P(k). Our previous proof about postage
can be rewritten so as to avoid strong induction. Itā€™s less clear how to rewrite
proofs like this Nim example.
5 Prime factorization
The ā€œFundamental Theorem of Arithmeticā€ from lecture 8 (section 3.4) states
that every positive integer n, n ā‰„ 2, can be expressed as the product of one
or more prime numbers. Letā€™s prove that this is true.
Recall that a number n is prime if its only positive factors are one and
n. n is composite if itā€™s not prime. Since a factor of a number must be no
larger than the number itself, this means that a composite number n always
has a factor larger than 1 but smaller than n. This, in turn, means that we
can write n as ab, where a and b are both larger than 1 but smaller than n.2
Proof by induction on n.
Base: 2 can be written as the product of a single prime number,
2.
Induction: Suppose that every integer between 2 and k can be
written as the product of one or more primes. We need to show
2
Weā€™ll leave the details of proving this as an exercise for the reader.
5
that k + 1 can be written as a product of primes. There are two
cases:
Case 1: k + 1 is prime. Then it is the product of one prime, i.e.
itself.
Case 2: k+1 is composite. Then k+1 can be written as ab, where
a and b are integers such that 1 < a, b < k + 1. By the induction
hypothesis, a can be written as a product of primes p1p2 . . . pi and
b can be written as a product of primes q1q2 . . . qj. So then k + 1
can be written as the product of primes p1p2 . . . piq1q2 . . . qj.
In both cases k + 1 can be written as a product of primes, which
is what we needed to show.
Again, the inductive step needed to reach back some number of steps in
our sequence of results, but we couldnā€™t control how far back we needed to
go.
6

More Related Content

What's hot

Math induction
Math inductionMath induction
Math inductionasel_d
Ā 
Mathematical Induction DM
Mathematical Induction DMMathematical Induction DM
Mathematical Induction DMRokonuzzaman Rony
Ā 
Skiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilitySkiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilityzukun
Ā 
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEChapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEnszakir
Ā 
Math 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsMath 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsTyler Murphy
Ā 
11X1 T14 10 mathematical induction 3 (2010)
11X1 T14 10 mathematical induction 3 (2010)11X1 T14 10 mathematical induction 3 (2010)
11X1 T14 10 mathematical induction 3 (2010)Nigel Simmons
Ā 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityKiran Munir
Ā 
11X1 T14 08 mathematical induction 1 (2010)
11X1 T14 08 mathematical induction 1 (2010)11X1 T14 08 mathematical induction 1 (2010)
11X1 T14 08 mathematical induction 1 (2010)Nigel Simmons
Ā 
Primes: a quick tour to spplications and challenges!
Primes: a quick tour to spplications and challenges!Primes: a quick tour to spplications and challenges!
Primes: a quick tour to spplications and challenges!Ashutosh Tripathi
Ā 
Analysis Of Algorithms Ii
Analysis Of Algorithms IiAnalysis Of Algorithms Ii
Analysis Of Algorithms IiSri Prasanna
Ā 
Induction
InductionInduction
InductionH K
Ā 
Chapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by ContrapositiveChapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by Contrapositivenszakir
Ā 
1 chapter1 introduction
1 chapter1 introduction1 chapter1 introduction
1 chapter1 introductionSSE_AndyLi
Ā 

What's hot (17)

Math induction
Math inductionMath induction
Math induction
Ā 
Mathematical Induction DM
Mathematical Induction DMMathematical Induction DM
Mathematical Induction DM
Ā 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
Ā 
Skiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilitySkiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiability
Ā 
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEChapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Ā 
L04 (1)
L04 (1)L04 (1)
L04 (1)
Ā 
Sol74
Sol74Sol74
Sol74
Ā 
Math 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsMath 189 Exam 1 Solutions
Math 189 Exam 1 Solutions
Ā 
11X1 T14 10 mathematical induction 3 (2010)
11X1 T14 10 mathematical induction 3 (2010)11X1 T14 10 mathematical induction 3 (2010)
11X1 T14 10 mathematical induction 3 (2010)
Ā 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,Countability
Ā 
Sol16
Sol16Sol16
Sol16
Ā 
11X1 T14 08 mathematical induction 1 (2010)
11X1 T14 08 mathematical induction 1 (2010)11X1 T14 08 mathematical induction 1 (2010)
11X1 T14 08 mathematical induction 1 (2010)
Ā 
Primes: a quick tour to spplications and challenges!
Primes: a quick tour to spplications and challenges!Primes: a quick tour to spplications and challenges!
Primes: a quick tour to spplications and challenges!
Ā 
Analysis Of Algorithms Ii
Analysis Of Algorithms IiAnalysis Of Algorithms Ii
Analysis Of Algorithms Ii
Ā 
Induction
InductionInduction
Induction
Ā 
Chapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by ContrapositiveChapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by Contrapositive
Ā 
1 chapter1 introduction
1 chapter1 introduction1 chapter1 introduction
1 chapter1 introduction
Ā 

Viewers also liked

Assignment 01
Assignment 01Assignment 01
Assignment 01IIUM
Ā 
Project part 2 instructions
Project part 2   instructionsProject part 2   instructions
Project part 2 instructionsIIUM
Ā 
Csc1401 q1 - sect3 - answers scheme
Csc1401   q1 - sect3 - answers schemeCsc1401   q1 - sect3 - answers scheme
Csc1401 q1 - sect3 - answers schemeIIUM
Ā 
Csc1100 elements of programming (revised july 2014) 120lh-2-student
Csc1100 elements of  programming (revised july 2014) 120lh-2-studentCsc1100 elements of  programming (revised july 2014) 120lh-2-student
Csc1100 elements of programming (revised july 2014) 120lh-2-studentIIUM
Ā 
Peraturan am mengisi dokumen perjanjian
Peraturan am mengisi dokumen perjanjianPeraturan am mengisi dokumen perjanjian
Peraturan am mengisi dokumen perjanjianIIUM
Ā 
Principle and Practice of Management MGT Ippt chap006
Principle and Practice of Management MGT Ippt chap006Principle and Practice of Management MGT Ippt chap006
Principle and Practice of Management MGT Ippt chap006IIUM
Ā 
Ibm piquant summary
Ibm piquant summaryIbm piquant summary
Ibm piquant summaryIIUM
Ā 
Project final
Project finalProject final
Project finalIIUM
Ā 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoIIUM
Ā 
08review (1)
08review (1)08review (1)
08review (1)IIUM
Ā 
Mid term sem 2 1415 sol
Mid term sem 2 1415 solMid term sem 2 1415 sol
Mid term sem 2 1415 solIIUM
Ā 
Csc1100 lecture02 ch02-datatype_declaration
Csc1100 lecture02 ch02-datatype_declarationCsc1100 lecture02 ch02-datatype_declaration
Csc1100 lecture02 ch02-datatype_declarationIIUM
Ā 
Principle and Practice of Management MGT Ippt chap010
Principle and Practice of Management MGT Ippt chap010Principle and Practice of Management MGT Ippt chap010
Principle and Practice of Management MGT Ippt chap010IIUM
Ā 
Principle and Practice of Management MGT Ippt chap001
Principle and Practice of Management MGT Ippt chap001Principle and Practice of Management MGT Ippt chap001
Principle and Practice of Management MGT Ippt chap001IIUM
Ā 
Redo midterm
Redo midtermRedo midterm
Redo midtermIIUM
Ā 
Chapter 6 1
Chapter 6 1Chapter 6 1
Chapter 6 1IIUM
Ā 
Heaps
HeapsHeaps
HeapsIIUM
Ā 
Introduction fundamentals sets and sequences
Introduction  fundamentals sets and sequencesIntroduction  fundamentals sets and sequences
Introduction fundamentals sets and sequencesIIUM
Ā 

Viewers also liked (18)

Assignment 01
Assignment 01Assignment 01
Assignment 01
Ā 
Project part 2 instructions
Project part 2   instructionsProject part 2   instructions
Project part 2 instructions
Ā 
Csc1401 q1 - sect3 - answers scheme
Csc1401   q1 - sect3 - answers schemeCsc1401   q1 - sect3 - answers scheme
Csc1401 q1 - sect3 - answers scheme
Ā 
Csc1100 elements of programming (revised july 2014) 120lh-2-student
Csc1100 elements of  programming (revised july 2014) 120lh-2-studentCsc1100 elements of  programming (revised july 2014) 120lh-2-student
Csc1100 elements of programming (revised july 2014) 120lh-2-student
Ā 
Peraturan am mengisi dokumen perjanjian
Peraturan am mengisi dokumen perjanjianPeraturan am mengisi dokumen perjanjian
Peraturan am mengisi dokumen perjanjian
Ā 
Principle and Practice of Management MGT Ippt chap006
Principle and Practice of Management MGT Ippt chap006Principle and Practice of Management MGT Ippt chap006
Principle and Practice of Management MGT Ippt chap006
Ā 
Ibm piquant summary
Ibm piquant summaryIbm piquant summary
Ibm piquant summary
Ā 
Project final
Project finalProject final
Project final
Ā 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seo
Ā 
08review (1)
08review (1)08review (1)
08review (1)
Ā 
Mid term sem 2 1415 sol
Mid term sem 2 1415 solMid term sem 2 1415 sol
Mid term sem 2 1415 sol
Ā 
Csc1100 lecture02 ch02-datatype_declaration
Csc1100 lecture02 ch02-datatype_declarationCsc1100 lecture02 ch02-datatype_declaration
Csc1100 lecture02 ch02-datatype_declaration
Ā 
Principle and Practice of Management MGT Ippt chap010
Principle and Practice of Management MGT Ippt chap010Principle and Practice of Management MGT Ippt chap010
Principle and Practice of Management MGT Ippt chap010
Ā 
Principle and Practice of Management MGT Ippt chap001
Principle and Practice of Management MGT Ippt chap001Principle and Practice of Management MGT Ippt chap001
Principle and Practice of Management MGT Ippt chap001
Ā 
Redo midterm
Redo midtermRedo midterm
Redo midterm
Ā 
Chapter 6 1
Chapter 6 1Chapter 6 1
Chapter 6 1
Ā 
Heaps
HeapsHeaps
Heaps
Ā 
Introduction fundamentals sets and sequences
Introduction  fundamentals sets and sequencesIntroduction  fundamentals sets and sequences
Introduction fundamentals sets and sequences
Ā 

Similar to Lect 18

Chapter5.pptx
Chapter5.pptxChapter5.pptx
Chapter5.pptxsneha510051
Ā 
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
Ā 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sumsRoberto Anglani
Ā 
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 ProofIT Engineering Department
Ā 
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
Ā 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical inductionKriti Varshney
Ā 
Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)kevinwu1994
Ā 
Aa - Module 1 Fundamentals_2.pdf
Aa  - Module 1  Fundamentals_2.pdfAa  - Module 1  Fundamentals_2.pdf
Aa - Module 1 Fundamentals_2.pdfAayushSharma261
Ā 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarAnimesh Sarkar
Ā 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework HelpExcel Homework Help
Ā 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011noraidawati
Ā 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMarjorie Malveda
Ā 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradictionGC University Fsd
Ā 
Proof By Contradictions
Proof By ContradictionsProof By Contradictions
Proof By ContradictionsGC University Fsd
Ā 

Similar to Lect 18 (20)

Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
Ā 
Chapter5.pptx
Chapter5.pptxChapter5.pptx
Chapter5.pptx
Ā 
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
Ā 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
Ā 
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
Ā 
5.1 Induction
5.1 Induction5.1 Induction
5.1 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
Ā 
Principle of mathematical induction
Principle of mathematical inductionPrinciple of mathematical induction
Principle of mathematical induction
Ā 
Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)
Ā 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
Ā 
Aa - Module 1 Fundamentals_2.pdf
Aa  - Module 1  Fundamentals_2.pdfAa  - Module 1  Fundamentals_2.pdf
Aa - Module 1 Fundamentals_2.pdf
Ā 
Sol80
Sol80Sol80
Sol80
Ā 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
Ā 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework Help
Ā 
Chapter 4 dis 2011
Chapter 4 dis 2011Chapter 4 dis 2011
Chapter 4 dis 2011
Ā 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
Ā 
Proof by contradiction
Proof by contradictionProof by contradiction
Proof by contradiction
Ā 
Proof By Contradictions
Proof By ContradictionsProof By Contradictions
Proof By Contradictions
Ā 

More from IIUM

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhostIIUM
Ā 
Chapter 2
Chapter 2Chapter 2
Chapter 2IIUM
Ā 
Chapter 1
Chapter 1Chapter 1
Chapter 1IIUM
Ā 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimediaIIUM
Ā 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblockIIUM
Ā 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice keyIIUM
Ā 
Group p1
Group p1Group p1
Group p1IIUM
Ā 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009IIUM
Ā 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lformsIIUM
Ā 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answerIIUM
Ā 
Report format
Report formatReport format
Report formatIIUM
Ā 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelinesIIUM
Ā 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
Ā 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
Ā 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516IIUM
Ā 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotationsIIUM
Ā 
Week12 graph
Week12   graph Week12   graph
Week12 graph IIUM
Ā 
Vpn
VpnVpn
VpnIIUM
Ā 
Principle and Practice of Management MGT Ippt chap002
Principle and Practice of Management MGT Ippt chap002Principle and Practice of Management MGT Ippt chap002
Principle and Practice of Management MGT Ippt chap002IIUM
Ā 
Principle and Practice of Management MGT Ippt chap003
Principle and Practice of Management MGT Ippt chap003Principle and Practice of Management MGT Ippt chap003
Principle and Practice of Management MGT Ippt chap003IIUM
Ā 

More from IIUM (20)

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhost
Ā 
Chapter 2
Chapter 2Chapter 2
Chapter 2
Ā 
Chapter 1
Chapter 1Chapter 1
Chapter 1
Ā 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimedia
Ā 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblock
Ā 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice key
Ā 
Group p1
Group p1Group p1
Group p1
Ā 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009
Ā 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lforms
Ā 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answer
Ā 
Report format
Report formatReport format
Report format
Ā 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelines
Ā 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
Ā 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
Ā 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516
Ā 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotations
Ā 
Week12 graph
Week12   graph Week12   graph
Week12 graph
Ā 
Vpn
VpnVpn
Vpn
Ā 
Principle and Practice of Management MGT Ippt chap002
Principle and Practice of Management MGT Ippt chap002Principle and Practice of Management MGT Ippt chap002
Principle and Practice of Management MGT Ippt chap002
Ā 
Principle and Practice of Management MGT Ippt chap003
Principle and Practice of Management MGT Ippt chap003Principle and Practice of Management MGT Ippt chap003
Principle and Practice of Management MGT Ippt chap003
Ā 

Recently uploaded

Alex and Chloe by Daniel Johnson Storyboard
Alex and Chloe by Daniel Johnson StoryboardAlex and Chloe by Daniel Johnson Storyboard
Alex and Chloe by Daniel Johnson Storyboardthephillipta
Ā 
Jeremy Casson - Top Tips for Pottery Wheel Throwing
Jeremy Casson - Top Tips for Pottery Wheel ThrowingJeremy Casson - Top Tips for Pottery Wheel Throwing
Jeremy Casson - Top Tips for Pottery Wheel ThrowingJeremy Casson
Ā 
this is a jarvis ppt for jarvis ai assistant lovers and this is for you
this is a jarvis ppt for jarvis ai assistant lovers and this is for youthis is a jarvis ppt for jarvis ai assistant lovers and this is for you
this is a jarvis ppt for jarvis ai assistant lovers and this is for youhigev50580
Ā 
Patrakarpuram ) Cheap Call Girls In Lucknow (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...
Patrakarpuram ) Cheap Call Girls In Lucknow  (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...Patrakarpuram ) Cheap Call Girls In Lucknow  (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...
Patrakarpuram ) Cheap Call Girls In Lucknow (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...akbard9823
Ā 
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...akbard9823
Ā 
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...hanshkumar9870
Ā 
Jeremy Casson - An Architectural and Historical Journey Around Europe
Jeremy Casson - An Architectural and Historical Journey Around EuropeJeremy Casson - An Architectural and Historical Journey Around Europe
Jeremy Casson - An Architectural and Historical Journey Around EuropeJeremy Casson
Ā 
RAK Call Girls Service # 971559085003 # Call Girl Service In RAK
RAK Call Girls Service # 971559085003 # Call Girl Service In RAKRAK Call Girls Service # 971559085003 # Call Girl Service In RAK
RAK Call Girls Service # 971559085003 # Call Girl Service In RAKedwardsara83
Ā 
Bridge Fight Board by Daniel Johnson dtjohnsonart.com
Bridge Fight Board by Daniel Johnson dtjohnsonart.comBridge Fight Board by Daniel Johnson dtjohnsonart.com
Bridge Fight Board by Daniel Johnson dtjohnsonart.comthephillipta
Ā 
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call Girls
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call GirlsCall Girl Service In Dubai #$# O56521286O #$# Dubai Call Girls
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call Girlsparisharma5056
Ā 
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...akbard9823
Ā 
exhuma plot and synopsis from the exhuma movie.pptx
exhuma plot and synopsis from the exhuma movie.pptxexhuma plot and synopsis from the exhuma movie.pptx
exhuma plot and synopsis from the exhuma movie.pptxKurikulumPenilaian
Ā 
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...anilsa9823
Ā 
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...home
Ā 
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...anilsa9823
Ā 
Deconstructing Gendered Language; Feminist World-Making 2024
Deconstructing Gendered Language; Feminist World-Making 2024Deconstructing Gendered Language; Feminist World-Making 2024
Deconstructing Gendered Language; Feminist World-Making 2024samlnance
Ā 
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...gurkirankumar98700
Ā 
Turn Lock Take Key Storyboard Daniel Johnson
Turn Lock Take Key Storyboard Daniel JohnsonTurn Lock Take Key Storyboard Daniel Johnson
Turn Lock Take Key Storyboard Daniel Johnsonthephillipta
Ā 
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Service
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort ServiceYoungāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Service
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Servicesonnydelhi1992
Ā 

Recently uploaded (20)

Alex and Chloe by Daniel Johnson Storyboard
Alex and Chloe by Daniel Johnson StoryboardAlex and Chloe by Daniel Johnson Storyboard
Alex and Chloe by Daniel Johnson Storyboard
Ā 
Jeremy Casson - Top Tips for Pottery Wheel Throwing
Jeremy Casson - Top Tips for Pottery Wheel ThrowingJeremy Casson - Top Tips for Pottery Wheel Throwing
Jeremy Casson - Top Tips for Pottery Wheel Throwing
Ā 
this is a jarvis ppt for jarvis ai assistant lovers and this is for you
this is a jarvis ppt for jarvis ai assistant lovers and this is for youthis is a jarvis ppt for jarvis ai assistant lovers and this is for you
this is a jarvis ppt for jarvis ai assistant lovers and this is for you
Ā 
Patrakarpuram ) Cheap Call Girls In Lucknow (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...
Patrakarpuram ) Cheap Call Girls In Lucknow  (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...Patrakarpuram ) Cheap Call Girls In Lucknow  (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...
Patrakarpuram ) Cheap Call Girls In Lucknow (Adult Only) šŸ§ˆ 8923113531 š“€“ Esco...
Ā 
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...
Aminabad @ Book Call Girls in Lucknow - 450+ Call Girl Cash Payment šŸµ 8923113...
Ā 
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...
OYO GIRLS Call Girls in Lucknow Best Escorts Service Near You 8923113531 Call...
Ā 
Jeremy Casson - An Architectural and Historical Journey Around Europe
Jeremy Casson - An Architectural and Historical Journey Around EuropeJeremy Casson - An Architectural and Historical Journey Around Europe
Jeremy Casson - An Architectural and Historical Journey Around Europe
Ā 
RAK Call Girls Service # 971559085003 # Call Girl Service In RAK
RAK Call Girls Service # 971559085003 # Call Girl Service In RAKRAK Call Girls Service # 971559085003 # Call Girl Service In RAK
RAK Call Girls Service # 971559085003 # Call Girl Service In RAK
Ā 
Bridge Fight Board by Daniel Johnson dtjohnsonart.com
Bridge Fight Board by Daniel Johnson dtjohnsonart.comBridge Fight Board by Daniel Johnson dtjohnsonart.com
Bridge Fight Board by Daniel Johnson dtjohnsonart.com
Ā 
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call Girls
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call GirlsCall Girl Service In Dubai #$# O56521286O #$# Dubai Call Girls
Call Girl Service In Dubai #$# O56521286O #$# Dubai Call Girls
Ā 
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...
Hazratganj ] (Call Girls) in Lucknow - 450+ Call Girl Cash Payment šŸ§„ 89231135...
Ā 
exhuma plot and synopsis from the exhuma movie.pptx
exhuma plot and synopsis from the exhuma movie.pptxexhuma plot and synopsis from the exhuma movie.pptx
exhuma plot and synopsis from the exhuma movie.pptx
Ā 
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...
Lucknow šŸ’‹ Female Escorts Service in Lucknow | Service-oriented sexy call girl...
Ā 
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...
Authentic # 00971556872006 # Hot Call Girls Service in Dubai By International...
Ā 
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...
Lucknow šŸ’‹ Cheap Call Girls In Lucknow Finest Escorts Service 8923113531 Avail...
Ā 
Deconstructing Gendered Language; Feminist World-Making 2024
Deconstructing Gendered Language; Feminist World-Making 2024Deconstructing Gendered Language; Feminist World-Making 2024
Deconstructing Gendered Language; Feminist World-Making 2024
Ā 
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...
Charbagh / best call girls in Lucknow - Book šŸ„¤ 8923113531 šŸŖ— Call Girls Availa...
Ā 
Turn Lock Take Key Storyboard Daniel Johnson
Turn Lock Take Key Storyboard Daniel JohnsonTurn Lock Take Key Storyboard Daniel Johnson
Turn Lock Take Key Storyboard Daniel Johnson
Ā 
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Service
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort ServiceYoungāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Service
Youngāš”Call Girls in Uttam Nagar Delhi >ą¼’9667401043 Escort Service
Ā 
Indian Deira Call Girls # 0522916705 # Indian Call Girls In Deira Dubai || (UAE)
Indian Deira Call Girls # 0522916705 # Indian Call Girls In Deira Dubai || (UAE)Indian Deira Call Girls # 0522916705 # Indian Call Girls In Deira Dubai || (UAE)
Indian Deira Call Girls # 0522916705 # Indian Call Girls In Deira Dubai || (UAE)
Ā 

Lect 18

  • 1. Strong induction Margaret M. Fleck 4 March 2009 This lecture presents proofs by ā€œstrongā€ induction, a slight variant on normal mathematical induction. 1 A geometrical example As a warm-up, letā€™s see another example of the basic induction outline, this time on a geometrical application. Tiling some area of space with a certain type of puzzle piece means that you ļ¬t the puzzle pieces onto that area of space exactly, with no overlaps or missing areas. A right triomino is a 2-by-2 square minus one of the four squares. (See pictures in Rosen pp. 277-278.) I then claim that Claim 1 For any positive integer n, a 2n Ɨ 2n checkerboard with any one square removed can be tiled using right triominoes. Proof: by induction on n. Base: Suppose n = 1. Then our 2n Ɨ 2n checkerboard with one square remove is exactly one right triomino. Induction: Suppose that the claim is true for some integer k. That is a 2k Ɨ 2k checkerboard with any one square removed can be tiled using right triominoes. Suppose we have a 2k+1 Ɨ 2k+1 checkerboard C with any one square removed. We can divide C into four 2k Ɨ2k sub-checkerboards 1
  • 2. P, Q, R, and S. One of these sub-checkerboards is already miss- ing a square. Suppose without loss of generality that this one is S. Place a single right triomino in the middle of C so it covers one square on each of P, Q, and R. Now look at the areas remaining to be covered. In each of the sub-checkerboards, exactly one square is missing (S) or already covered (P, Q, and R). So, by our inductive hypothesis, each of these sub-checkerboards minus one square can be tiled with right triominoes. Combining these four tilings with the triomino we put in the middle, we get a tiling for the whole of the larger checkerboard C. This is what we needed to construct. 2 Strong induction The inductive proofs youā€™ve seen so far have had the following outline: Proof: We will show P(n) is true for all n, using induction on n. Base: We need to show that P(1) is true. Induction: Suppose that P(k) is true, for some integer k. We need to show that P(k + 1) is true. Think about building facts incrementally up from the base case to P(k). Induction proves P(k) by ļ¬rst proving P(i) for every i from 1 up through k āˆ’ 1. So, by the time weā€™ve proved P(k), weā€™ve also proved all these other statements. For some proofs, itā€™s very helpful to use the fact that P is true for all these smaller values, in addition to the fact that itā€™s true for k. This method is called ā€œstrongā€ induction. A proof by strong induction looks like this: Proof: We will show P(n) is true for all n, using induction on n. Base: We need to show that P(1) is true. Induction: Suppose that P(1) up through P(k) are all true, for some integer k. We need to show that P(k + 1) is true. 2
  • 3. The only new feature about this proof is that, superļ¬cially, we are assum- ing slightly more in the hypothesis of the inductive step. The diļ¬€erence is actually only superļ¬cial, and the two proof techniques are equivalent. How- ever, this diļ¬€erence does make some proofs much easier to write. 3 Postage example Strong induction is useful when the result for n = kāˆ’1 depends on the result for some smaller value of n, but itā€™s not the immediately previous value (k). Hereā€™s a classic example: Claim 2 Every amount of postage that is at least 12 cents can be made from 4-cent and 5-cent stamps. For example, 12 cents uses three 4-cent stamps. 13 cents of postage uses two 4-cent stamps plus a 5-cent stamp. 14 uses one 4-cent stamp plus two 5-cent stamps. If you experiment with small values, you quickly realize that the formula for making k cents of postage depends on the one for making k āˆ’ 4 cents of postage. That is, you take the stamps for k āˆ’ 4 cents and add another 4-cent stamp. We can make this into an inductive proof as follows: Proof: by induction on the amount of postage. Base: If the postage is 12 cents, we can make it with three 4-cent stamps. If the postage is 13 cents, we can make it with two 4-cent stamps. plus a 5-cent stamp. If it is 14, we use one 4-cent stamp plus two 5-cent stamps. If it is 15, we use three 5-cent stamps. Induction: Suppose that we have show how to construct postage for every value from 12 up through k. We need to show how to construct k + 1 cents of postage. Since weā€™ve alread proved base cases up through 15 cents, weā€™ll assume that k + 1 ā‰„ 16. Since k+1 ā‰„ 16, (k+1)āˆ’4 ā‰„ 12. So by the inductive hypothesis, we can construct postage for (k + 1) āˆ’ 4 cents using m 4-cent stamps and n 5-cent stamps, for some natural numbers m and n. In other words (k + 1) āˆ’ 4) = 4m + 5n. 3
  • 4. But then k + 1 = 4(m + 1) + 5n. So we can construct k + 1 cents of postage using m+1 4-cent stamps and n 5-cent stamps, which is what we needed to show. Notice that we needed to directly prove four base cases, since we needed to reach back four integers in our inductive step. Itā€™s not always obvious how many base cases are needed until you work out the details of your inductive step. 4 Nim In the parlour game Nim, there are two players and two piles of matches. At each turn, a player removes some (non-zero) number of matches from one of the piles. The player who removes the last match wins.1 Claim 3 If the two piles contain the same number of matches at the start of the game, then the second player can always win. Hereā€™s a winning strategy for the second player. Suppose your opponent removes m matches from one pile. You remove m matches from the other pile. Letā€™s prove that this strategy works. Proof by induction on the number of matches (n) in each pile. Base: If both piles contain 1 match, the ļ¬rst player has only one possible move: remove the last match from one pile. The second player can then remove the last match from the other pile and thereby win. Induction: Suppose that the second player can win any game that starts with two piles of n matches, where n is any value from 1 through k. We need to show that this is true if n = k + 1. So, suppose that both piles contain k + 1 matches. A legal move by the ļ¬rst player involves removing j matches from one pile, 1 Or, in some variations, loses. There seem to be several variations of this game. 4
  • 5. where 0 ā‰¤ j ā‰¤ k + 1. The piles then contain k + 1 matches and k + 1 āˆ’ j matches. The second player can now remove j matches from the other pile. This leaves us with two piles of k+1āˆ’j matches. If j = k+1, then the second player wins. If j < k + 1, then weā€™re now eļ¬€ectively at the start of a game with k + 1 āˆ’ j matches in each pile. Since 1 ā‰¤ k + 1 āˆ’ j ā‰¤ k, we know by the induction hypothesis that the second player can win the game. The induction step in this proof uses the fact that our claim P(n) is true for a smaller value of n. But since we canā€™t control how many matches the ļ¬rst player removes, we donā€™t know how far back we have look in the sequence of earlier results P(1) . . .P(k). Our previous proof about postage can be rewritten so as to avoid strong induction. Itā€™s less clear how to rewrite proofs like this Nim example. 5 Prime factorization The ā€œFundamental Theorem of Arithmeticā€ from lecture 8 (section 3.4) states that every positive integer n, n ā‰„ 2, can be expressed as the product of one or more prime numbers. Letā€™s prove that this is true. Recall that a number n is prime if its only positive factors are one and n. n is composite if itā€™s not prime. Since a factor of a number must be no larger than the number itself, this means that a composite number n always has a factor larger than 1 but smaller than n. This, in turn, means that we can write n as ab, where a and b are both larger than 1 but smaller than n.2 Proof by induction on n. Base: 2 can be written as the product of a single prime number, 2. Induction: Suppose that every integer between 2 and k can be written as the product of one or more primes. We need to show 2 Weā€™ll leave the details of proving this as an exercise for the reader. 5
  • 6. that k + 1 can be written as a product of primes. There are two cases: Case 1: k + 1 is prime. Then it is the product of one prime, i.e. itself. Case 2: k+1 is composite. Then k+1 can be written as ab, where a and b are integers such that 1 < a, b < k + 1. By the induction hypothesis, a can be written as a product of primes p1p2 . . . pi and b can be written as a product of primes q1q2 . . . qj. So then k + 1 can be written as the product of primes p1p2 . . . piq1q2 . . . qj. In both cases k + 1 can be written as a product of primes, which is what we needed to show. Again, the inductive step needed to reach back some number of steps in our sequence of results, but we couldnā€™t control how far back we needed to go. 6