Learn
Lesson · Linear Equations and Inequalities · Equations

Identities and Contradictions

Solving an equation can end with the variable gone. If what is left is true, every number is a solution; if it is false, none is. Neither outcome is a mistake, and neither of them says x = 0.

2(x + 3) = 2x + 6 → 0 = 0 always true identity, every number 2(x + 3) = 2x + 5 → 6 = 5 always false contradiction, no solution 2(x + 3) = x + 5 → x = −1 true once conditional, one number 0 = 0 does not say x = 0. 0 = 5 does not say x = 5.
The three things a linear equation can be

Core ideas

What this lesson establishes

An equation is a claim, and a claim about every value of x can be true always, false always, or true for some values only. There is no fourth possibility for a linear equation.

1

The variable disappearing is information, not failure

When the x terms cancel, the equation has finished telling you what it knows. What remains is a statement about numbers with no x in it, and that statement is either true or false — which is the answer.

2

An identity is two ways of writing the same expression

2(x + 3) and 2x + 6 are the same expression; the distributive law says so. An equation between them is true for every value because there was only ever one expression in the room.

3

A linear equation has none, one, or all of them, never exactly two

Reduce it to px = q. If p ≠ 0 there is exactly one solution. If p = 0 the statement is 0 = q, which does not mention x and so holds for every number or for no number at all.

The material

Three outcomes, told apart

The names, the theorem behind them, and the two lines of working that get misread.

Definition · Conditional, identity, contradiction

An 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 ones

Every 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 identity

3x + 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.

Interactive

Identity, contradiction, conditional

The three things an equation can be

a statement to solve
left sideright sidewhere they agree

Method

Deciding which of the three it is

Do not judge by appearance. Simplify, subtract, then read.

1

Simplify each side completely

Brackets out, like terms combined, fractions cleared if there are any. Two sides that look alike may differ by a term you have not multiplied out yet.

2

Subtract one whole side from the other

Everything on one side, 0 on the other. This is the step the theorem describes, and it is what produces px = q in a readable form.

3

Read what is left

Still a term in x: conditional, so finish solving it. 0 = 0 or any true numerical statement: identity. A false numerical statement such as 6 = 5: contradiction.

4

Write the answer in words, not as a pretend value

"Every real number", "no solution", or the number itself. Never x = 0 for an identity and never x = 5 for 0 = 5. Then test a couple of values in the original to confirm the verdict.

Three outcomes

Score 0 / 0

The same left side, three right sides

Between A and B only the right-hand constant changes, and that alone turns an identity into a contradiction. C changes the coefficient of x on the right, which is what makes a conditional equation possible at all.

A. 2(x + 3) = 2x + 6 2x + 6 = 2x + 6 − 2x 6 = 6 true, no x left answer identity: every real number is a solution test x = 0: 6 = 6 x = −4: −2 = −2 x = 7/3: 32/3 = 32/3 B. 2(x + 3) = 2x + 5 2x + 6 = 2x + 5 − 2x 6 = 5 false, no x left answer contradiction: no solution test x = 0: 6 ≠ 5 x = −4: −2 ≠ −3 C. 2(x + 3) = x + 5 2x + 6 = x + 5 − x x + 6 = 5 x = −1 answer conditional: exactly one solution, x = −1 check left 2(−1 + 3) = 4 right −1 + 5 = 4 D. 3x − (x − 4) = 2(x + 2) 3x − x + 4 = 2x + 4 both sides are 2x + 4 answer identity: every real number is a solution

In B the tests do not prove there is no solution — two failed values leave infinitely many untested. The proof is the line 6 = 5, which contains no x and is false, so no value of x can rescue it. The tests are there to catch an arithmetic slip in the simplifying.

D is the one to watch for. Distributing the minus correctly gives 3x − x + 4; distributing it over the first term only gives 3x − x − 4 = 2x − 4, and the equation would then look like a contradiction. A sign error can manufacture any of the three outcomes, which is why the simplifying comes first and gets checked.

For a faded classification, expand only the left side of 4(x − 2) + 3 = 4x − 5 to get 4x − 5. Stop there, predict the outcome and solution set, then subtract one whole side and test two different values before comparing with the lab.

Common mistakes

1
Writing x = 0 when the working ends at 0 = 00 = 0 has no x in it, so it cannot be an equation for x. It means the original placed no constraint at all, and the solution set is every real number — the largest possible answer, reported as the smallest.
2
Reading a contradiction as a value0 = 5 is not x = 5, and 6 = 5 is not x = 1. A false statement about numbers means the solution set is empty; there is nothing to read off it.
3
Deciding by appearance before simplifying3x + 5 = 3x + 5 + x has matching starts and is conditional, with solution x = 0. 3x − (x − 4) = 2(x + 2) looks unlike itself and is an identity. Neither verdict is visible until both sides are expanded and collected.

Check your understanding

✓
Finish when a vanished variable tells you something instead of worrying you.

Classify and solve these without the lab: 5x − 2 = 2x + 7, 3(x + 4) = 3x + 12, and 2(x − 1) = 2x + 1. For each, show the simplified remainder and write either the value, every real number, or no solution. Then use px = q to explain why no linear equation has exactly two solutions.

Note: Every method later on can produce these two lines, and they always mean the same thing. In Systems and Matrices a system of equations collapsing to 0 = 0 means the two equations were the same line, and one collapsing to 0 = 5 means the lines are parallel — the same reading, one dimension up.

Kept in this browser only, for you. Nothing is sent anywhere and nothing checks it. Carry it to another device.

Feedback and recommendations

Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.

No recommendations yet for this lesson.