Linear Inequalities
Learning goals
- Keep the direction under an increasing operation, reverse under a decreasing one
- Derive the reversal from meaning
- Refuse to multiply by an expression of unknown sign
- 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.
Why multiplying by a negative constant reverses the direction#
Suppose , so on the number line sits to the left of . Saying is the same as saying the gap is a positive number, since lies above . It is enough to understand multiplication by , because any negative constant is times a positive one. The positive factor is harmless, since multiplying by a positive constant keeps the order, as we have just seen. Multiplying and by produces and , and the only question is which of those two is larger. Compare them through their difference:
A difference that comes out positive says is the larger of the two, that is . So the images arrive in the reversed order, and the reversal was forced by the single fact that was positive to begin with. Nothing was chosen; the flip is a consequence.
The same fact wears a geometric face. 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, and their order is reversed. That is exactly the picture below. 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 either or , depending on the symbol. The first is false for every , and the second is true for every . So whichever of the two you land on, 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 move. 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 .
Solve the honest inequality to see what survived. Bring everything to one side and factor:
A product is negative exactly when one factor is positive and the other is negative. Because is always smaller than , the pairing ” negative and positive” is impossible, since it would demand and at once. So the only surviving pairing is with , which is . That matches the solutions found by testing at the start.
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 and , where the sign is settled.
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 with a solution 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 figure cannot show you the other two cases, and that is worth saying rather than working around. When the solution set is every real number or none at all, and neither of those has a boundary to mark or a side to shade. A picture built from an endpoint and a direction has nothing to draw when the answer has neither. That absence is a fair summary of why those cases feel so different from the first two.
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 it is not here to teach a general recipe for such things. It is the shortest example that exposes the illegal move in full daylight. 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 .
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.
Worked example 5 Solve by cases on the sign of
Again is excluded, and again the work splits on the sign of .
Case . Multiply by the positive , keeping the direction:
Combined with , this case contributes .
Case . Multiply by the negative , reversing the direction:
This asks for , but the case assumed , and no number is both, so this case contributes nothing.
The solution set is just , the interval . Two sign cases need not each yield solutions: here one produced a whole interval and the other produced the empty set. Notice how different this bounded answer is from the union in the previous example. Multiplying an inequality through by the variable really does depend on that variable’s sign, and only splitting it can be trusted.
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 6 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.