Linear Inequalities
Learning goals
- Keep the direction under addition or positive scaling, reverse it under negative scaling
- Derive the reversal from meaning
- Refuse to multiply by an expression of unknown sign in one step
- Split four ways on the parameters
- Read and as intersection and or as union
Which moves keep the solution set
Solving an inequality means the same disciplined thing that solving an equation did. Replace the inequality, step by step, with a simpler one that has the identical solution set, until the set can be read off directly. Two inequalities are equivalent when they have exactly the same solution set, and the whole task is to travel through a chain of equivalent inequalities. So the governing question is the one from lesson 1, asked again. Which operations are guaranteed to turn an inequality into an equivalent one? Sorting the operations answers it.
Adding the same expression to both sides, as long as that expression is defined for every , gives an equivalent inequality. Adding slides both sides the same distance in the same direction, so it never changes which side is larger, and the order (and with it the symbol) is preserved. Adding a constant, or a whole term like , is fine, because each is defined for every real number. Adding something like , undefined at , would not qualify.
Multiplying or dividing both sides by a positive constant keeps both the solution set and the direction of the symbol. It is reversible, undone by dividing or multiplying by that same positive constant. And scaling by a positive factor stretches or shrinks every distance from zero without ever carrying a number across zero. Because nothing crosses zero, the left-to-right order of the two sides is preserved, so the direction survives.
Multiplying or dividing both sides by a negative constant preserves the solution set only if you also reverse the direction of the symbol. This is the move usually handed to students as a rule to memorize, and here is a one-line demonstration that the reversal is not optional. Take and multiply both sides by without touching the symbol, giving . That step is defined for every , and multiplying by again returns you to . So the step is perfectly reversible, yet its solution set is every number above , while the original was every number below . Reversible, and wrong. So reversibility cannot be the standard: the multiplier was negative, and holding the direction fixed silently changed the answer. Reverse the symbol instead, to , and the two sides agree with the original again. The reversal is a forced consequence, not a convention, and the derivation shows exactly why it has to happen.
The same rule solves an ordinary inequality, not just a labeled step. Solve for : divide both sides by and reverse the direction, giving . Check both sides of that boundary: at the original reads , true, while at it reads , false, so the answer really does change sides exactly at . And itself is not a solution, since it gives , which is false, confirming the flip and why the boundary is not included in the solution set.
Why multiplying by a negative constant reverses the direction#
Suppose , so on the number line sits to the left of . Multiplying every number by reflects the whole line through , sending each point to its mirror image on the far side. A reflection turns left into right, so whichever of and started on the left comes out on the right: their order reverses, giving . That is exactly the picture below.
The same fact confirms itself algebraically. It is enough to understand multiplication by , because any negative constant is times a positive one, and multiplying by that positive factor is harmless, since a positive scaling keeps the order, as shown above. Saying is the same as saying the gap is a positive number, since lies above . Multiplying and by produces and , and comparing them through their difference,
shows is now the larger of the two, that is again. Nothing was chosen; the flip is forced by the single fact that was positive to begin with.
Dividing by a negative constant is no different, since dividing by with is multiplying by the positive number and then by . Of those two factors only the final does any flipping, so the direction reverses exactly once.
Multiplying both sides by is a catastrophe of a different kind. It turns any inequality into a statement about and alone: , , or come out false no matter what was, while or come out true no matter what was. Either way, the result no longer remembers anything about the numbers you started with. As with equations, where multiplying by collapsed everything to , the step keeps no record of the original and cannot be undone.
Now the hazard the opening promised. Multiplying or dividing by a constant is safe once you know its sign: positive keeps the direction, negative reverses it, and only is forbidden. But suppose the thing you multiply by is not a constant at all, but an expression like or whose sign changes with . Then you genuinely cannot say what the step does, because the answer depends on a value you have not fixed. Where the expression is positive the direction should stay, where it is negative the direction should flip, and where it is the inequality is destroyed. A single stroke of the pen cannot be all three at once. So multiplying both sides of an inequality by an expression of unknown sign is not a legal single step, not until that sign has been pinned down. It is not one operation but a fork in the road, and writing a single line as though the fork were not there is what loses solutions.
This is the inequality version of the warning from the equation lessons, sharpened. For an equation the fatal question about a multiplier was “can this expression be zero,” because zero was the one value where multiplying could not be undone. For an inequality that question is still fatal, and a second one joins it: “can this expression be negative.” That second question matters because a negative multiplier silently reverses a direction you have left pointing the wrong way. An expression of unknown sign can be negative and can be zero, so it fails both tests at once. That is why an unknown-sign multiplier is doubly barred. The same double failure is why the honest way through, as the rest of the lesson shows, is to split into cases where the sign is known.
Worked example 1 What the opening step destroyed
Return to multiplied by . The multiplier has no fixed sign, so the step should have forked. Where , multiplying keeps the direction and gives ; where , multiplying reverses it and gives ; and at the inequality is simply false. Writing for every quietly used the first branch everywhere, so it can be trusted only where .
Solving properly confirms exactly the boundary the opening found by testing: the inequality holds precisely on , the same interval where and failed and passed.
Compare the two sets. The original has solution set , while the multiplied inequality has solution set . Every solution with was thrown away. Those lost solutions are exactly the values where the multiplier was negative or zero, the very places the single step had no right to speak for. The destroyed solutions were lost at the fork that was never taken.
Check your understanding
You want to multiply both sides of by the expression . Why is that not a legal step on its own?
The sign of depends on : it is negative for , zero at , and positive for .
A legal multiplication keeps the direction only when the multiplier is known to be positive, and reverses it only when the multiplier is known to be negative. So an expression that can be any sign is not a single legal move. The honest route splits into three pieces: keep the direction for , reverse it for , and check directly in the original inequality, since multiplying by there cannot preserve it. At the original reads , which is true, so is a genuine solution that the multiplication step would have had no way to keep.
The parameter case, solving ax > b
Lesson 2 took the equation , let be a parameter you could not inspect, and found that solving it forced a split into cases at . The strict inequality is the direct sequel. Everything from lesson 2 returns, and one thing is added: the sign of now decides not only whether you may divide but which way the symbol points afterward. So the split is no longer just “can I divide” but “divide and keep, divide and flip, or cannot divide at all.”
The four cases of #
Solve for , with and fixed but unknown. Everything turns on the sign of .
If , divide both sides by the positive number . Dividing by a positive keeps the direction, so the solution is , the interval .
If , divide both sides by the negative number . Dividing by a negative reverses the direction, so the solution is , the interval . The flip here is not a rule applied from memory; it is the forced consequence proved above, now triggered because this case placed a negative number under the division.
If , there is nothing to divide by, and the left side is for every . The inequality collapses to , a statement with no in it, whose truth depends only on . When , the claim is true, so every real number is a solution and the solution set is all of . When , the claim is false, so no value of works and the solution set is .
These cases are exhaustive, because is positive, negative, or zero, and in the zero case is negative or it is not. Notice where the dividing line falls. The boundary sits at , and lands on the empty-set side, because is false. This is a genuine difference from the equation of lesson 2, where the fork was against . In lesson 2’s case the value gave every real number, since is true. A strict inequality reads its boundary the other way: passes an equals test but fails a strictly-greater test.
The two cases where the boundary itself is a genuine ray are worth seeing side by side, because what separates them is smaller than the algebra suggests. Take and shade the figure below to the right: that is , the answer when is positive. Now change nothing except the side. The boundary has not moved, the circle is still hollow, and the picture is now , the answer when is negative. Dividing by a negative did not compute a different number. It kept the same number and turned the solution set around it inside out.
The interactive figure below only draws boundary-and-direction answers, so it cannot show the other two cases directly, but every one of the four outcomes still has its own number-line picture. The diagram after the table draws all four together.
| Case | What you may do | Solution | What the picture looks like |
|---|---|---|---|
| divide by positive , keep the direction | ray shaded right of , hollow circle | ||
| divide by negative , reverse the direction | ray shaded left of , hollow circle | ||
| no division is possible; is true | all of | the whole line shaded | |
| no division is possible; is false | nothing shaded |
Dividing by a negative turns the set around, it does not move the boundary
x > -3. Every number to the right of -3 is a solution. -3 itself is not, so its circle is hollow: the sign is strict.
Worked example 2 Solve as a case analysis on
Here , a positive number. Run the three sign cases for .
If , divide by the positive and keep the direction:
If , divide by the negative and reverse the direction:
If , the inequality becomes , which is false, so there is no solution.
Because is positive, the branch can only produce the false statement , so this family never has every real number as its answer. Its three possible outcomes are a ray to the right, a ray to the left, or nothing at all.
Worked example 3 Solve as a case analysis on
The only change from the previous example is the sign of : now , a negative number. The two nonzero cases look the same, but the case turns over.
If , dividing by the positive keeps the direction:
If , dividing by the negative reverses it:
If , the inequality becomes , which is true, so every real number is a solution and the solution set is all of .
Set this beside the previous example. The coefficient steers the two nonzero cases identically in both, so it is not what separates them. At the boundary it is the sign of that decides everything: gave no solution, while gives every real number. That is the very fork lesson 2 pointed out, where once the coefficient vanished it was the constant that split no solution from all of .
Check your understanding
For which values of the parameter does the inequality have no solution at all?
If you can divide by and the solution is a ray, so there is always at least one solution. The only way to lose every solution is .
With the inequality reads , false for every , so the solution set is . Because is positive, this branch is the no-solution case; a negative right-hand side would instead give every real number.
The illegal move, up close
The unknown-sign warning from the first section has a classic trap all its own. Consider . One caution before we touch it: this is not a linear inequality, and this section is not here to teach a general method for solving inequalities like it, only to show the illegal move in full daylight and the one habit that fixes it. The tempting step is to clear the fraction by multiplying both sides by , turning into and concluding . Test that conclusion against the original at : the original reads , which is true, so is a genuine solution, yet is false. The step multiplied by as though were positive, and every negative solution fell through the gap. Multiplying by is the unknown-sign move, and the cure is to split by the sign of , exactly as the refusal rule from earlier in this lesson demands.
Worked example 4 Solve by cases on the sign of
The denominator forbids outright, since is undefined there, so cannot be a solution for any reason. That leaves two honest cases, and in each the sign of is known, so multiplying by is a legal, single-direction step.
Case . Multiplying both sides by the positive number keeps the direction:
So . Every such value is already positive, so the whole ray survives this case.
Case . Multiplying both sides by the negative number reverses the direction:
This says , which every negative number already satisfies, so the entire case works.
Collect the two cases. The solutions are the negative numbers together with the numbers above :
that is, the union . The naive step kept only the half and lost the whole ray, precisely the case where multiplying by should have flipped the symbol.
Check your understanding
Solve by splitting on the sign of . What is the full solution set?
The value is excluded, so split on the sign of .
For positive multiplying keeps the direction and gives ; for negative it reverses and gives , which every negative number already meets. The union is or . Multiplying by in one step would have kept only and lost the whole negative ray.
Compound inequalities as set operations
You already solve compound inequalities mechanically. Here is the single idea that ties them to this lesson. A compound joins two conditions, and each condition has its own solution set; the compound’s solution set is built from those two by a set operation. An and takes the intersection: a value solves ” and ” exactly when it lies in both solution sets, so you keep only what the two share. An or takes the union: a value solves ” or ” when it lies in at least one, so you sweep together everything either piece allows. The chained form is simply the “and” of and , its solution the overlap of two rays.
Seeing a compound as a set operation makes its degenerate answers obvious, and they echo lesson 1’s identity and contradiction exactly. If two “and” conditions share nothing, their intersection is empty and the compound has no solution. That is why a chained statement like names no numbers at all: it asks for and at once. Those two rays and do not overlap, so the intersection is . A union runs the other way, since two “or” pieces can together cover the whole line, and then every real number is a solution. And if solving either piece cancels the variable and leaves a bare statement, that piece is all of when the statement is true and when it is false. That is the same identity-or-contradiction verdict from the equation lesson, now feeding into the intersection or union.
Worked example 5 An 'and' compound whose pieces do not overlap
Solve and together. Solve each piece on its own first. The left piece gives
with solution set . The right piece gives
with solution set .
Now intersect, because the two are joined by “and.” A solution must be greater than and less than at the same time, and no number is both, so the intersection is empty. The compound has no solution, . Written as a chain it would read , ends pointing in conflict, which is the visible signature of an empty “and.”
For contrast, the same two pieces joined by “or” would ask for or . And their union is a large set, everything except the band from to . The word between the pieces, “and” or “or,” is the entire difference between an empty answer and a nearly full line.
Check your understanding
Two solution sets are and . Since , the two rays overlap on . If the two pieces are joined by "or", what is the solution set of the compound?
"Or" takes the union: a value solves the compound if it lies in at least one piece.
Every number below is already covered by the first ray, and every number above is covered by the second, and since the rays overlap on there is no gap left uncovered, so together they cover every real number. Had the same two pieces been joined by "and" instead, the solution would be only the shared part, , the intersection rather than the union.