Identifying Errors in Proofs
Updated July 2026
Identifying errors in purported proofs
Identifying errors in purported proofs. Be aware of common mathematical errors in purported proofs; for example, claiming 'if , then ' or assuming 'if , then ' neither of which are valid deductions.
There are lots of pitfalls in setting out proofs and you should start to collect a set of examples of where proofs can go wrong and look out for these sorts of errors and misunderstandings in your own work and in proofs that you are given to study. In this section we shall look at a few examples of the sorts of mistakes and errors that can occur in proofs; but, be warned, this is not an exhaustive list and there are many errors that mathematicians can make when setting out proofs.
Square roots and squaring equations
In this specification we shall take it that means the positive number such that ; this is standard in mathematics. Generally, we need to be careful with equations when we square them. We need to be careful in case we generate extra solutions to the equation. Here are two examples:
Example 1. Given [recall this means ]:
- Square both sides:
- Find all values of which make true:
So, we have generated an extra solution, namely which we didn't have to start with.
Example 2. Find given :
- Square both sides:
- Giving:
- or,
- Factorising:
- Giving solutions: or
Here we can see that by squaring the original equation we have generated an extra solution, namely .
Exercise Q
Dealing with inequality signs
When students first meet inequality signs, they naturally assume they behave the same way as equals signs: they don't. For an equals sign, the general rule that students go by is that "whatever you do to one side of the equals sign you must do to the other" and this is usually fine for equals signs. However, if you use this rule within inequality signs then it might be the case that the inequality is no longer preserved. Here are some pitfalls that you need to watch out for:
Squaring both sides: is correct but on squaring we obtain the false .
Multiplying both sides by a negative number: is true, but on multiplying by we obtain the false .
Taking some function of both sides: is true but on taking the cosine of both sides we obtain the false .
Exercise R
- Given what positive integer values of make true?
- What general characteristics would the function need to have to make given ? [Discuss this with others in your class.]
- Starting with , is it then valid to deduce ? Justify your answer. [Discuss this with others in your class.]