Problem: Show that all horses are of the same color.
“Solution”: We will show, by induction, that for any set of horses, every horse in that set has the same color. Suppose , this is obviously true. Now suppose for all sets of horses, every horse in the set has the same color. Consider any set of horses. We may pick a horse at random, , and remove it from the set, getting a set of horses. By the inductive hypothesis, all of the remaining horses are the same color.
On the other hand, if we remove a different horse , we again get a set of horses which are all the same color. Let us call this color “brown,” just to give it a name. In particular, is brown. But when we removed , we got that all the remaining horses had the same color as . So must also be brown. Hence, all horses in are brown.
Explanation: The argument here is valid for almost all . For large , it is a very natural argument that follows from the inductive hypothesis. However, it fails for (and this is the only time it fails). By having only two horses, we cannot conclude that the removed horses have the same color, because there aren’t any horses remaining in to apply the transitivity of “having the same color as.”
This false proof highlights the danger of neglecting the base case of an inductive argument. Here the true base case was not , but rather . Since the base case is false, we should have prudently stopped our argument there before embarrassing ourselves.