In Precalculus, Discrete Mathematics or Real Analysis, an arithmetic series is often used as a student’s first example of a proof by mathematical induction. Recall, from Wikipedia:
Mathematical induction is a method of mathematical proof typically used to establish a given statement for all natural numbers. It is done in two steps. The first step, known as the base case, is to prove the given statement for the first natural number. The second step, known as the inductive step, is to prove that the given statement for any one natural number implies the given statement for the next natural number. From these two steps, mathematical induction is the rule from which we infer that the given statement is established for all natural numbers.
The simplest and most common form of mathematical induction infers that a statement involving a natural number n holds for all values of n. The proof consists of two steps:
- The basis (base case): prove that the statement holds for the first natural number . Usually, or .
- The inductive step: prove that, if the statement holds for some natural number , then the statement holds for .
The hypothesis in the inductive step that the statement holds for some is called the induction hypothesis (or inductive hypothesis). To perform the inductive step, one assumes the induction hypothesis and then uses this assumption to prove the statement for .
As an inference rule, mathematical induction can be justified as follows. Having proven the base case and the inductive step, then any value can be obtained by performing the inductive step repeatedly. It may be helpful to think of the domino effect. Consider a half line of dominoes each standing on end, and extending infinitely to the right. Suppose that:
- The first domino falls right.
- If a (fixed but arbitrary) domino falls right, then its next neighbor also falls right.
With these assumptions one can conclude (using mathematical induction) that all of the dominoes will fall right.
Mathematical induction… works because is used to represent an arbitrary natural number. Then, using the inductive hypothesis, i.e. that is true, show is also true. This allows us to “carry” the fact that is true to the fact that is also true, and carry to , etc., thus proving holds for every natural number .
When students first encounter mathematical induction (in either Precalculus, Discrete Mathematics, or Real Analysis), the theorems that students are asked to prove usually fall into four categories:
- Calculating a series (examples below).
- Statements concerning divisibility (for example, proving that is always a factor of ).
- Finding a closed-form expression for a recursively defined sequence (for example, if and if , proving that )
- Statements concerning inequality (for example, proving that if )
Here’s a common first (or maybe second) example of mathematical induction applied to an arithmetic series.
Proof. Induction on .
: The left-hand is simply , while the right-hand side is , which is also equal to . So the base case works.
: Assume that the statement holds true for the integer .
. If I replace by in the statement of the theorem, then the right-hand side becomes
I find it helpful to describe this to students as my target. In other words, as I manipulate the left-hand side, my ultimate goal is to end up with this target. Once I have done that, then I have completed the proof.
If I replace by in the statement of the theorem, then the left-hand side will now end on instead of :
Notice that we’ve seen almost all of this before, except for the extra term . So we will substitute using the induction hypothesis, carrying the extra along for the ride.
Now our task is, by hook or by crook, using whatever algebraic tricks we can think of to convert this last expression into the target. Most students are completely comfortable doing this, although they typically multiply out the term unnecessarily. Indeed, many early proofs by induction are simplified by factoring out terms whenever possible — in the example below, is factored on the third step — as opposed to multiplying them out. In my experience, proofs by induction often serve as a stringent test of students’ algebra skills as opposed to their skills in abstract reasoning.
In any event, here’s the end of the proof:
A fair amount of algebra was needed to prove the case. However, the first step — the base case — was especially easy. Indeed, in most proofs by induction seen by students, the base case is often quite trivial… to the point that students often wonder why the base case is needed in the first place.
I first saw this next example in Calculus, by Tom M. Apostol. This next fallacious example illustrates what can happen if the base case is ignored. The statement of this “theorem” doesn’t match the formula for an arithmetic series, and so clearly something is wrong with the following “proof.”
“Proof.” Induction on .
: Let’s just ignore the base case, it’s unimportant.
: Assume that the statement holds true for the integer .
. If I replace by in the statement of the theorem, then the right-hand side — my target — becomes
On the left-hand side, we use the induction hypothesis:
Now our task is, by hook or by crook, using whatever algebraic tricks we can think of to convert this last expression into the target.
So that’s the end of the “proof.”
Clearly, something went wrong with the above proof. What went wrong, obviously, is that we didn’t check the base case. If , then the left-hand side is . However, the right-hand side is . So the base case is false.
So what happened?
We correctly showed that, if the case is true, then the case is also true. The catch, of course, is that the case is never true. Using the domino analogy, we showed that if a domino falls, then the next domino will fall. But the first domino never falls.
All this to say… yes, it’s important to check that the base case actually works.
6 thoughts on “Importance of the base case in a proof by induction”
A simpler fallacious example would have been n + 3 = n + 4.
You’re right, of course. Pedagogically, I think I prefer Apostol’s example, as the “proof” has the appearance of the types of problems that students would be expected to do for homework. But I suppose my preference is really a matter of taste.
I think you made a typo in the last three lines of your inductive step in your fallacious example. The 6 should be turned into an 8
Thanks for catching that. It’s now been fixed.