When is a counter-example?
Question
The fact that is a counter-example to which of the following statements?
- the product of any two odd integers is odd;
- if the product of two integers is not a multiple of then the integers are not consecutive;
- if the product of two integers is a multiple of then the integers are not consecutive;
- any even integer can be written as the product of two even integers.
Solution
In order to be a counter-example to this statement, a fact would have to involve two odd integers whose product is even.
Since is not an odd integer, the fact is not a counter-example to this statement.
In fact, the statement is true, so there are no counter-examples.
The number is not a multiple of , but it is the product of two consecutive integers, and , so we have a counter-example, and the statement is not true.
Since is not a multiple of , the fact that has no bearing on the truth of this statement.
The statement, however, is clearly false — try .
This statement is clearly false, but to provide a counter-example we would have to show that every factorisation of some even integer includes an odd number.
The fact alone is not enough.
But if we listed all the factorisations of , that’s and noted that is never the product of two even numbers, this would be a counter-example to the statement.
Thus the answer is (b).