In a recent class with my future secondary math teachers, we had a fascinating discussion concerning how a teacher should respond to the following question from a student:
Is it ever possible to prove a statement or theorem by proving a special case of the statement or theorem?
Usually, the answer is no… even checking many special cases of a conjecture does not mean that the conjecture is correct.
The following example probably appears in every textbook that I’ve seen that handles mathematical induction to convince students that checking even many special cases of a conjecture is not sufficient for proving the conjecture.
Conjecture: If is a positive integer, then
is a prime number.
Is this true? Well, let’s start checking:
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
If , then
, which is a prime number.
Okay, a show of hands… did anyone actually carefully read and check the above 40 lines? I didn’t think so. The point is that the proposition works for . By about
, or so, a student (who didn’t already know the answer) actually did the above work would begin thinking, “Wow, this probably is correct for any value of
.”
Of course, the catch happens at :
If latex n = 41, then ,
which is not a prime number.
All this to say, seeing a trend for the first few special cases… or the first few dozen special cases… does not necessarily mean that the trend will continue.
One thought on “Proving theorems and special cases (Part 1): Is n^2-n+41 always prime?”