Definition · Conditional, identity, contradictionAn equation is conditional when some values of the variable make it true and some make it false. It is an identity when every value makes it true. It is a contradiction when no value does.
The solution sets are, in order: some particular numbers; every real number; and nothing at all.
Theorem · The three outcomes are the only onesEvery linear equation in x can be rewritten as px = q with p and q numbers. If p ≠ 0 it has exactly one solution, q/p. If p = 0 and q = 0 every number is a solution. If p = 0 and q ≠ 0 there are none.
Simplify both sides and subtract the right side from both. Every term is either a multiple of x or a constant, so what is left is px − q = 0 for some numbers p and q, that is px = q.
If p ≠ 0, divide both sides by p. Division by a nonzero number is reversible, so x = q/p is equivalent to the original and is the only solution.
If p = 0 the statement reads 0 = q. It contains no x, so its truth does not depend on x: it is true for every number when q = 0, and false for every number otherwise.
□
So the working itself tells you which case you are in. Simplify, subtract, and look at what survives.
2(x + 3) = 2x + 6 2x + 6 = 2x + 6 − 2x 6 = 6 identity
2(x + 3) = 2x + 5 2x + 6 = 2x + 5 − 2x 6 = 5 contradiction
2(x + 3) = x + 5 2x + 6 = x + 5 − x x = −1 conditional
Read the first line as: whatever x is, the two sides are the same number, so the claim holds. Read the second as: whatever x is, the left side is exactly 1 more than the right, so the claim never holds. The third constrains x to a single value.
The two misreadings
0 = 0 is not x = 0. It is a true statement with no x in it, and the correct answer is "every real number". Reporting x = 0 names one solution out of infinitely many and rejects all the rest.
0 = 5 is not x = 5, and it is not x = 0 either. It is a false statement with no x in it, and the correct answer is "no solution". Both misreadings come from the same habit — expecting the last line of the working to have the shape x = something.
The picture
Draw each side as a graph, as the lab does. A conditional equation is two lines crossing at one point; an identity is one line drawn twice; a contradiction is two parallel lines that never meet. The graphs are a preview — lines are Lines, Functions and Graphs — and the argument above does not depend on them.
Two cautions about identities. First, an identity is what you are proving every time you expand a bracket, so they are not exotic. Second, x/2 + x/3 = (5/6)x is an identity because 1/2 + 1/3 = 3/6 + 2/6 = 5/6, and the only way to be sure of that is to do the addition.
Example · An equation that only looks like an identity3x + 5 = 3x + 5 + x. The two sides begin identically, which invites the answer "every number". Subtracting 3x + 5 from both sides leaves 0 = x, so it is conditional with the single solution x = 0. Check: at x = 0 both sides are 5; at x = 1 the left is 8 and the right is 9. The extra term on the right is the whole story, and only simplifying finds it.