Subsection Section Preview
Investigate!
Start with a square piece of paper. You want to cut this square into smaller squares, leaving no waste (every piece of paper you end up with must be a square). Obviously it is possible to cut the square into 4 squares. You can also cut it into 9 squares. It turns out you can cut the square into 7 squares (although not all the same size). What other numbers of squares could you end up with?
Sometimes, to prove that \(P(k+1)\) is true, it would be helpful to know that \(P(k)\) and \(P(k-1)\) and \(P(k-2)\) are all true. This is certainly the case when proving something about a recurrence relation that is given in as a combination two previous terms.
Example 4.6.1.
Prove that \(2^n\) is a solution to the recurrence relation \(a_n = 5a_{n-1} - 6a_{n-2}\) with initial conditions \(a_0 = 1\) and \(a_1 = 2\text{.}\)
Solution.
Proof.
Let \(P(n)\) be the statement, “\(a_n = 2^n\text{.}\)” We will show this is true for all \(n \ge 0\text{.}\)
Base cases: \(a_0 = 2^0 = 1\) and \(a_1 = 2^1 = 2\) both agree with the initial conditions.
Inductive case: Let \(k \ge 2\) be arbitrary. Assume \(P(k)\) and \(P(k-1)\) are both true. That is, assume \(a_k = 2^k\) and \(a_{k-1} = 2^{k-1}\text{.}\) We will show that \(P(k+1)\) is true. Consider \(a_{k+1}\text{.}\) We have
\begin{align*}
a_{k+1} = \amp 5a_k - 6a_{k-1}\\
= \amp 5\cdot 2^k - 6\cdot 2^{k-1}\\
= \amp 10 \cdot 2^{k-1} - 6 \cdot 2^{k-1}\\
= \amp 4\cdot 2^{k-1}\\
= \amp 2^{k+1}\text{.}
\end{align*}
Therefore, by the principle of mathematical induction, \(P(n)\) is true for all \(n \ge 0\text{.}\)
Well, almost the principle of mathematical induction. Is what we did okay?
There are also times when we might want to go even farther back to use an assumption that \(P(j)\) is true for \(j\) much smaller than \(k+1\text{.}\) This is the idea behind strong induction and the topic of this short section.
Worksheet Preview Activity
1.
Subsection Divide and conquer
Think of recursive definitions as instructions for building a ladder. You can build the ladder as tall as you like because you have instructions for building the next rung, as long as you are standing on the rung before it.
Induction is the corresponding proof technique. To prove that you can climb the ladder as high as you like, you prove that you can step onto the ladder (the base case) and then prove that from any rung, you can get to the next rung (the inductive step).
More specifically, suppose you were trying to prove that you can get to rung 4 on the ladder. You have successfully proved that you can get to rung 1, and that from any rung, you can get to the next. So you can get to rung 1 and from 1 you can get to 2. From 2 you can get to 3, and from 3 you can get to 4. Therefore, you can get to 4.
But notice that along the way, you know you have visited rungs 1 through 3. We might as well assume that we have visited all the rungs below the next one we are trying to reach. This is the idea behind strong induction.
A better ladder metaphor for strong induction is to think of ladders as things we can stack on top of each other. We want to argue that it is possible to climb 20 rungs of a ladder. Let’s divide that into two smaller ladders: say a 12-rung ladder and an 8-rung ladder. We can assume that we can climb both of these since 20 is the least size we are not yet convinced of. Well, put those two ladders together and you get \(12+8 = 20\) rungs.
We better climb down from our shaky metaphor before we hurt ourselves. Let’s look at a formal definition of strong induction.
Strong Induction Proof Structure.
Start by saying what we want to prove: “Let \(P(n)\) be the statement…” Then establish two facts:
Base case: Prove that \(P(0)\) is true. (Perhaps also prove other needed base cases.)
Inductive case: Assume \(P(j)\) is true for all \(j \le k\text{.}\) Prove that \(P(k+1)\) is true.
Conclude, “therefore, by strong induction, \(P(n)\) is true for all \(n \gt 0\text{.}\)”
Of course, it is acceptable to replace 0 with a larger base case if needed.
To illustrate strong induction, let’s return to the chocolate bar problem.
Proposition 4.6.2.
Given a \(n\)-square rectangular chocolate bar, it always takes \(n-1\) breaks to reduce the bar to single squares.
Proof.
Let \(P(n)\) be the statement, “it takes \(n-1\) breaks to reduce a \(n\)-square chocolate bar to single squares.”
Base case: Consider \(P(2)\text{.}\) The squares must be arranged into a \(1\times 2\) rectangle, and we require \(2-1 = 1\) breaks to reduce this to single squares.
Inductive case: Fix an arbitrary \(k\ge 2\) and assume \(P(j)\) is true for all \(j \le k\text{.}\) Consider a \((k+1)\)-square rectangular chocolate bar. Break the bar once along any row or column. This results in two chocolate bars, say of sizes \(a\) and \(b\) . That is, we have an \(a\)-square rectangular chocolate bar, a \(b\)-square rectangular chocolate bar, and \(a+b = k+1\text{.}\)
We also know that \(a \le k\) and \(b \le k\text{,}\) so by our inductive hypothesis, \(P(a)\) and \(P(b)\) are true. To reduce the \(a\)-square bar to single squares takes \(a-1\) breaks; to reduce the \(b\)-square bar to single squares takes \(b-1\) breaks. Doing this results in our original bar being reduced to single squares. All together it took the initial break, plus the \(a-1\) and \(b-1\) breaks, for a total of
\begin{equation*}
1+a-1+b-1 = a+b-1 = k+1 - 1 = k
\end{equation*}
breaks. Thus \(P(k+1)\) is true.
Therefore, by strong induction, \(P(n)\) is true for all \(n \ge 2\text{.}\)
Here is a more mathematically relevant example:
Example 4.6.3.
Prove that any natural number greater than 1 is either prime or can be written as the product of primes.
Solution.
First, the idea: if we take some number \(n\text{,}\) maybe it is prime. If so, we are done. If not, then it is composite, so it is the product of two smaller numbers. Each of these factors is smaller than \(n\) (but at least 2), so we can repeat the argument with these numbers. We have reduced to a smaller case.
Now the formal proof:
Proof.
Let \(P(n)\) be the statement, “\(n\) is either prime or can be written as the product of primes.” We will prove \(P(n)\) is true for all \(n \ge 2\text{.}\)
Base case: \(P(2)\) is true because \(2\) is indeed prime.
Inductive case: assume \(P(j)\) is true for all \(j \le k\text{.}\) We want to show that \(P(k+1)\) is true. That is, we want to show that \(k+1\) is either prime or is the product of primes. If \(k+1\) is prime, we are done. If not, then \(k+1\) has more than 2 divisors, so we can write \(k+1 = m_1 \cdot m_2\text{,}\) with \(m_1\) and \(m_2\) less than \(k+1\) (and greater than 1). By the inductive hypothesis, \(m_1\) and \(m_2\) are each either prime or can be written as the product of primes. In either case, we have that \(m_1\cdot m_2 = k+1\) can be written as the product of primes.
Thus by the strong induction, \(P(n)\) is true for all \(n \ge 2\text{.}\)
Whether you use regular induction or strong induction depends on the statement you want to prove. If you wanted to be safe, you could always use strong induction. It really is stronger, so can accomplish everything “weak” induction can. That said, using regular induction is often easier since there is only one place you can use the induction hypothesis. There is also something to be said for elegance in proofs. If you can prove a statement using simpler tools, it is nice to do so.
Exercises Additional Exercises
1.
Suppose a football team only scores 3-point field goals and 7-point touchdowns (ignore the possibilities of safeties, missed extra points, and two-point conversions). Prove, using strong induction, that the team can get any number of points 12 or greater.
Hint.
If you have three base cases, can you always be sure you can get three points more?
2.
Prove using strong induction that the sum of the interior angles of a convex \(n\)-gon is \((n-2)\cdot 180^\circ\text{.}\) (A convex \(n\)-gon is a polygon with \(n\) sides for which each interior angle is less than \(180^\circ\text{.}\))
Hint.
Start with \((k+1)\)-gon and divide it into two smaller polygons.
3.
Prove that every positive integer is either a power of 2, or can be written as the sum of distinct powers of 2.
4.
Prove, using strong induction, that every natural number is either a Fibonacci number or can be written as the sum of distinct Fibonacci numbers.
Hint.
As with the previous question, we will want to subtract something from \(n\) in the inductive step. There we subtracted the largest power of 2 less than \(n\text{.}\) So what should you subtract here?
Note, you will still need to take care here that the sum you get from the inductive hypothesis, together with the number you subtracted will be a sum of distinct Fibonacci numbers. In fact, you could prove that the Fibonacci numbers in the sum are non-consecutive!
5.
We have previously proved that for any tree, the number of edges is always one less than the number of vertices. That is, a tree with \(v\) vertices and \(e\) edges satisfies \(v = e+1\text{.}\)
Give an alternate proof of this fact using strong induction on the number of vertices. Do so by taking a non-leaf vertex and “splitting” it into two vertices, each belonging to a separate tree.
6.
Suppose that a particular real number \(x\) has the property that \(x + \frac{1}{x}\) is an integer. Prove that \(x^n + \frac{1}{x^n}\) is an integer for all natural numbers \(n\text{.}\)
Hint.
You will need to use strong induction. For the inductive case, try multiplying \(\left (x^k + \frac{1}{x^{k}}\right)\left(x+\frac{1}{x}\right)\) and collect which terms together are integers.
7.
Here is an example of a more complicated induction technique called double induction.
You will prove that the Fibonacci numbers satisfy the identity \(F_n^2 + F_{n+1}^2 = F_{2n+1}\text{.}\) One way to do this is to prove the more general identity,
\begin{equation*}
F_mF_n + F_{m+1}F_{n+1} = F_{m+n+1}\text{,}
\end{equation*}
and realize that when \(m = n\) we get our desired result.
Note that we now have two variables, so we want to prove this for all \(m \ge 0\) and all \(n \ge 0\) at the same time. For each such pair \((m,n)\text{,}\) let \(P(m,n)\) be the statement \(F_mF_n + F_{m+1}F_{n+1} = F_{m+n+1}\)
(a)
First fix \(m = 0\) and give a proof by mathematical induction that \(P(0,n)\) holds for all \(n \ge 0\text{.}\) Note this proof will be very easy.
(b)
Now fix an arbitrary \(n\) and give a proof by strong mathematical induction that \(P(m,n)\) holds for all \(m \ge 0\text{.}\)
(c)
You can now conclude that \(P(m,n)\) holds for all \(m,n\ge 0\text{.}\) Do you believe that? Explain why this sort of induction is valid. For example, why do your proofs above guarantee that \(P(2,3)\) is true?
8.
Given a square, you can cut the square into smaller squares by cutting along lines parallel to the sides of the original square (these lines do not need to travel the entire side length of the original square). For example, by cutting along the lines below, you will divide a square into 6 smaller squares:
Prove, using strong induction, that it is possible to cut a square into \(n\) smaller squares for any \(n \ge 6\text{.}\)
Hint.
You will need three base cases. This is a very good hint actually, as it suggests that to prove \(P(n)\) is true, you would want to use the fact that \(P(n-3)\) is true. So somehow you need to increase the number of squares by 3.