Definition · Linear inequalityA linear inequality in x is a statement of the form ax + b < c, or the same with ≤, > or ≥ in place of <. Its solution set is the set of all numbers that make the statement true.
Two statements are equivalent when they have the same solution set. Solving means writing a chain of equivalent statements ending in one whose solution set can be read off.
< is strict and ≤ is not. The distinction is not decoration: x ≤ 5 contains 5 and x < 5 does not. It shows up as a filled or a hollow endpoint on the number line, and as a square or a round bracket in “Interval and Set-Builder Notation”.
What you may do to both sides
- Add or subtract any number, or any expression in x. The relation is unchanged.
- Multiply or divide by a positive number. Unchanged.
- Multiply or divide by a negative number. The relation reverses: < becomes >, and ≤ becomes ≥.
- Multiply or divide by an expression whose sign you do not know — anything containing x. Not permitted at all, because you cannot say which of the two rules above applies.
One example makes the third rule concrete. 3 < 5 is true. Multiply both sides by −1: −3 and −5. On the number line −3 sits to the right of −5, so −3 > −5. The relation had to turn round or the statement would have become false.
Theorem · The reversal ruleIf a < b and c < 0, then ac > bc.
The same holds with ≤ and ≥ throughout. Dividing by c is multiplying by 1/c, which has the same sign as c, so division by a negative reverses the relation too.
a < b means b − a is positive. c < 0 means −c is positive.
The product of two positive numbers is positive, so (b − a)(−c) > 0. Expanding the left side gives −bc + ac, which is ac − bc.
So ac − bc > 0, and that is exactly the statement ac > bc.
□
Why you cannot divide by x
3x > 5x
divide by x → 3 > 5 false, so "no solutions" WRONG
subtract 3x → 0 > 2x divide by 2 → 0 > x x < 0
check x = -1: 3(-1) = -3 and 5(-1) = -5, -3 > -5 ✓
The first route divides by x, whose sign is unknown, and reaches the conclusion that no number works. The second route only subtracts and then divides by 2, and finds that every negative number works. The check settles it. Whenever a step would divide by something containing the variable, collect terms instead.
Choosing the side that avoids the reversal
5 - 3x ≥ 2x + 15
route A add 3x 5 ≥ 5x + 15
subtract 15 -10 ≥ 5x
divide by 5 -2 ≥ x read it: x ≤ -2
route B subtract 2x 5 - 5x ≥ 15
subtract 5 -5x ≥ 10
divide by -5 x ≤ -2 sign REVERSED
check x = -2: 5 + 6 = 11 and 2(-2) + 15 = 11, 11 ≥ 11 ✓
x = 0: 5 and 15, 5 ≥ 15 false ✓
Both routes are correct and both give x ≤ −2. Route A never divides by a negative, because collecting the variable on the side where its coefficient is larger leaves that coefficient positive. What route A asks instead is that you read −2 ≥ x correctly: turning a statement round left-to-right reverses the relation, exactly as multiplying by −1 does.
Example · The two degenerate cases2x + 1 > 2x reduces to 1 > 0, which is true whatever x is: every real number is a solution. 2x + 1 < 2x reduces to 1 < 0, which is false whatever x is: no number is a solution. These are “Identities and Contradictions”'s identity and contradiction with a relation in place of the equals sign, and they are read the same way.