Select Page
Why all horses have the same colour #### October 18, 2022

What if I told you that all horses have the same colour? And that 2 = 1? And, to top it off, that I could prove it? You would probably say I’m delusional and that my proof must contain a mistake. However, there are proofs that do not contain mistakes which conclude these statements to be true! What they do contain, however, are mathematical fallacies. What are these and why do they occur?

The mathematical fallacy is different from a mistake in a proof, as a mistake leads to an invalid proof, whereas a mathematical fallacy contains an element of concealment of deception in the presentation of the proof. I will give several examples of a mathematical fallacy, some more infuriating than others.

2 = 1

A “proof” of the statement 2 = 1 is as follows: we let and be equal, nonzero quantities. Then: In this case, the mathematical fallacy is in line 5, where we have divided by . However, since , this means dividing by zero, which is undefined, making this argument invalid.

A mathematical fallacy has the interesting quality that, as typically presented, it does not only yield absurd results, but does so in a deceiving, clever way. In this case, dividing out a common factor is usually fine, however, since , you are dividing by zero without really noticing.

All horses have the same colour

To (not) prove that all horses have the same colour, we will use (incorrect) mathematical induction.

1. For , let be: in a group of horses, all horses have the same colour.
2. For , we have in a group of one horse, all horses have the same colour. Since there is only one horse in the group, obviously the horse has the same colour as itself. Hence, is true.
3. Let be given and suppose is true, that is, in a group of horses, all horses have the same colour.
4. Let . Since we know is true, when removing a horse from a group of horses who have the same colour, the remaining group must also have the same colour.
5. If we add another horse to the group, we again have a group of horses, and since we know that is true, this new group of horses must also have the same colour.
6. Now, we have constructed two groups of horses of the same colour, with horses in common. Since the two horses they do not have in common must be the same colour as the other horses, they also must have the same colour as each other.
7. Thus, combining all the horses, we now have a group of horses of the same colour.
8. Since (1) is true, (2) is true is true, and (3) is arbitrarily given, by the method of Mathematical Induction, is true for all .
9. Therefore, we can conclude that all horses have the same colour.

Of course, common sense tells us that not all horses have the same colour. The fallacy in this proof is in step 4. For , using the reasoning of this step, the two groups of horses have horses in common, so they cannot have the same colour. Hence, the group of horses does not necessarily have the same colour. In other words, the reasoning that every group of horses has the same colour implies that every group of has the same colour, works for any , but not for . Thus, this induction hypothesis is not true for all .

Conclusion

One can see there are many ways to be deceived by a mathematical fallacy, some more crafty than others. Underlying a mathematical fallacy is usually a seemingly obvious contradiction or phony reasoning, so always be mindful of deception when presented with unbelievable claims!

Nice extra: howlers

As a little encore, I would like to tell you briefly about the most infuriating mathematical fallacy I have encountered so far: the howler. An example is as follows: Though the outcome is correct, for obvious reasons, the argument could not be more wrong, making this another, sickening mathematical fallacy.

Sources

Heuser, Harro (1989), Lehrbuch der Analysis – Teil 1 (6th ed.), Teubner, p. 51, ISBN 978-3-8351-0131-9.

Maxwell, E. A. (1959), Fallacies in mathematics, Cambridge University Press, ISBN 0-521-05700-0, MR 0099907.

Pólya, George (1954). Induction and Analogy in Mathematics. Mathematics and plausible reasoning. Vol. 1. Princeton. p. 120.