This site is a work in progress. New lessons are added regularly. Contact us

Linear Inequalities

Learning goals

  • Keep the direction under an increasing operation, reverse under a decreasing one
  • Derive the reversal from a<ba < b meaning ba>0b - a > 0
  • Refuse to multiply by an expression of unknown sign
  • Split ax>bax > b 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 xx, 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 3x3x, is fine, because each is defined for every real number. Adding something like 1x\frac{1}{x}, undefined at x=0x = 0, 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 x<3x < 3 and multiply both sides by 1-1 without touching the symbol, giving x<3-x < -3. That step is defined for every xx, and multiplying by 1-1 again returns you to x<3x < 3. So the step is perfectly reversible, yet its solution set is every number above 33, while the original was every number below 33. 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 x>3-x > -3, 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 a<ba < b, so on the number line aa sits to the left of bb. Saying a<ba < b is the same as saying the gap bab - a is a positive number, since bb lies above aa. It is enough to understand multiplication by 1-1, because any negative constant is 1-1 times a positive one. The positive factor is harmless, since multiplying by a positive constant keeps the order, as we have just seen. Multiplying aa and bb by 1-1 produces a-a and b-b, and the only question is which of those two is larger. Compare them through their difference:

(a)(b)=ba>0.(-a) - (-b) = b - a > 0.

A difference (a)(b)(-a) - (-b) that comes out positive says a-a is the larger of the two, that is b<a-b < -a. So the images arrive in the reversed order, and the reversal was forced by the single fact that bab - a was positive to begin with. Nothing was chosen; the flip is a consequence.

The same fact wears a geometric face. Multiplying every number by 1-1 reflects the whole line through 00, sending each point to its mirror image on the far side. A reflection turns left into right, so whichever of aa and bb 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 k-k with k>0k > 0 is multiplying by the positive number 1k\frac{1}{k} and then by 1-1. Of those two factors only the final 1-1 does any flipping, so the direction reverses exactly once.

Reflecting an inequality through zero reverses its orderA number line with points a and b on the right of 0 in the order a less than b, and their reflections minus a and minus b on the left in the reversed order minus b less than minus a. Arcs join each point to its reflection across 0.reflecting through 0 reverses the order-b-a0ab-b < -aa < b
Multiplying every number by negative one reflects the line through 0. The points a and b, with a to the left of b, map to their mirror images minus a and minus b, and the reflection lands them in swapped order, so minus b sits to the left of minus a and the direction reverses.

Multiplying both sides by 00 is a catastrophe of a different kind. It turns any inequality into either 0<00 < 0 or 000 \le 0, depending on the symbol. The first is false for every xx, and the second is true for every xx. 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 00 collapsed everything to 0=00 = 0, 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 00 is forbidden. But suppose the thing you multiply by is not a constant at all, but an expression like xx or x2x - 2 whose sign changes with xx. 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 00 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 x<3x < 3 multiplied by xx. The multiplier xx has no fixed sign, so the step should have forked. Where x>0x > 0, multiplying keeps the direction and gives x2<3xx^2 < 3x; where x<0x < 0, multiplying reverses it and gives x2>3xx^2 > 3x; and at x=0x = 0 the inequality 0<00 < 0 is simply false. Writing x2<3xx^2 < 3x for every xx quietly used the first branch everywhere, so it can be trusted only where x>0x > 0.

Solve the honest inequality x2<3xx^2 < 3x to see what survived. Bring everything to one side and factor:

x23x<0,x(x3)<0.x^2 - 3x < 0, \qquad x(x - 3) < 0.

A product is negative exactly when one factor is positive and the other is negative. Because x3x - 3 is always smaller than xx, the pairing ”xx negative and x3x - 3 positive” is impossible, since it would demand x<0x < 0 and x>3x > 3 at once. So the only surviving pairing is x>0x > 0 with x3<0x - 3 < 0, which is 0<x<30 < x < 3. That matches the solutions found by testing at the start.

Compare the two sets. The original x<3x < 3 has solution set (,3)(-\infty, 3), while the multiplied inequality has solution set (0,3)(0, 3). Every solution with x0x \le 0 was thrown away. Those lost solutions are exactly the values where the multiplier xx 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 x1<5x - 1 < 5 by the expression x+2x + 2. Why is that not a legal step on its own?

Answer choices

The parameter case, solving ax > b

Lesson 2 took the equation ax=bax = b, let aa be a parameter you could not inspect, and found that solving it forced a split into cases at a=0a = 0. The strict inequality ax>bax > b is the direct sequel. Everything from lesson 2 returns, and one thing is added: the sign of aa 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 ax>bax > b#

Solve ax>bax > b for xx, with aa and bb fixed but unknown. Everything turns on the sign of aa.

If a>0a > 0, divide both sides by the positive number aa. Dividing by a positive keeps the direction, so the solution is x>bax > \frac{b}{a}, the interval (ba,)\left(\frac{b}{a}, \infty\right).

If a<0a < 0, divide both sides by the negative number aa. Dividing by a negative reverses the direction, so the solution is x<bax < \frac{b}{a}, the interval (,ba)\left(-\infty, \frac{b}{a}\right). 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 a=0a = 0, there is nothing to divide by, and the left side axax is 00 for every xx. The inequality collapses to 0>b0 > b, a statement with no xx in it, whose truth depends only on bb. When b<0b < 0, the claim 0>b0 > b is true, so every real number is a solution and the solution set is all of R\mathbb{R}. When b0b \ge 0, the claim 0>b0 > b is false, so no value of xx works and the solution set is \varnothing.

These cases are exhaustive, because aa is positive, negative, or zero, and in the zero case bb is negative or it is not. Notice where the dividing line falls. The boundary sits at b=0b = 0, and b=0b = 0 lands on the empty-set side, because 0>00 > 0 is false. This is a genuine difference from the equation ax=bax = b of lesson 2, where the a=0a = 0 fork was b=0b = 0 against b0b \neq 0. In lesson 2’s a=0a = 0 case the value b=0b = 0 gave every real number, since 0=00 = 0 is true. A strict inequality reads its boundary the other way: b=0b = 0 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 ba=3\frac{b}{a} = -3 and shade the figure below to the right: that is x>3x > -3, the answer when aa is positive. Now change nothing except the side. The boundary has not moved, the circle is still hollow, and the picture is now x<3x < -3, the answer when aa 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 a=0a = 0 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. A number line from -6 to 6. A thick ray covers every number on one side of a marked endpoint, and the circle at that endpoint is filled when it is part of the solution and hollow when it is not. Use the controls below the figure to move the endpoint, switch which side is covered, or switch between a strict sign and one that allows equality. -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 -3
Endpoint Side Endpoint is

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.

A number line carrying the solution set of a strict inequality. The boundary stays where it is while the shading switches from one side to the other, which is the whole visible effect of dividing by a negative number.

Worked example 2 Solve ax>2ax > 2 as a case analysis on aa

Here b=2b = 2, a positive number. Run the three sign cases for aa.

If a>0a > 0, divide by the positive aa and keep the direction:

x>2a.x > \frac{2}{a}.

If a<0a < 0, divide by the negative aa and reverse the direction:

x<2a.x < \frac{2}{a}.

If a=0a = 0, the inequality becomes 0>20 > 2, which is false, so there is no solution.

Because b=2b = 2 is positive, the a=0a = 0 branch can only produce the false statement 0>20 > 2, 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 ax>3ax > -3 as a case analysis on aa

The only change from the previous example is the sign of bb: now b=3b = -3, a negative number. The two nonzero cases look the same, but the a=0a = 0 case turns over.

If a>0a > 0, dividing by the positive aa keeps the direction:

x>3a.x > -\frac{3}{a}.

If a<0a < 0, dividing by the negative aa reverses it:

x<3a.x < -\frac{3}{a}.

If a=0a = 0, the inequality becomes 0>30 > -3, which is true, so every real number is a solution and the solution set is all of R\mathbb{R}.

Set this beside the previous example. The coefficient aa steers the two nonzero cases identically in both, so it is not what separates them. At the boundary a=0a = 0 it is the sign of bb that decides everything: b=2>0b = 2 > 0 gave no solution, while b=3<0b = -3 < 0 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 R\mathbb{R}.

Check your understanding

For which values of the parameter aa does the inequality ax>7ax > 7 have no solution at all?

Answer choices

The illegal move, up close

The unknown-sign warning from the first section has a classic trap all its own. Consider 1x<1\frac{1}{x} < 1. 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 xx, turning 1x<1\frac{1}{x} < 1 into 1<x1 < x and concluding x>1x > 1. Test that conclusion against the original at x=1x = -1: the original reads 11=1<1\frac{1}{-1} = -1 < 1, which is true, so x=1x = -1 is a genuine solution, yet x=1>1x = -1 > 1 is false. The step multiplied by xx as though xx were positive, and every negative solution fell through the gap. Multiplying by xx is the unknown-sign move, and the cure is to split by the sign of xx.

Worked example 4 Solve 1x<1\dfrac{1}{x} < 1 by cases on the sign of xx

The denominator forbids x=0x = 0 outright, since 1x\frac{1}{x} is undefined there, so x=0x = 0 cannot be a solution for any reason. That leaves two honest cases, and in each the sign of xx is known, so multiplying by xx is a legal, single-direction step.

Case x>0x > 0. Multiplying both sides by the positive number xx keeps the direction:

1x<1    1<x.\frac{1}{x} < 1 \;\Rightarrow\; 1 < x.

So x>1x > 1. Every such value is already positive, so the whole ray x>1x > 1 survives this case.

Case x<0x < 0. Multiplying both sides by the negative number xx reverses the direction:

1x<1    1>x.\frac{1}{x} < 1 \;\Rightarrow\; 1 > x.

This says x<1x < 1, which every negative number already satisfies, so the entire case x<0x < 0 works.

Collect the two cases. The solutions are the negative numbers together with the numbers above 11:

x<0orx>1,x < 0 \quad\text{or}\quad x > 1,

that is, the union (,0)(1,)(-\infty, 0) \cup (1, \infty). The naive step kept only the x>1x > 1 half and lost the whole (,0)(-\infty, 0) ray, precisely the case where multiplying by xx should have flipped the symbol.

Worked example 5 Solve 4x>1\dfrac{4}{x} > 1 by cases on the sign of xx

Again x=0x = 0 is excluded, and again the work splits on the sign of xx.

Case x>0x > 0. Multiply by the positive xx, keeping the direction:

4x>1    4>x.\frac{4}{x} > 1 \;\Rightarrow\; 4 > x.

Combined with x>0x > 0, this case contributes 0<x<40 < x < 4.

Case x<0x < 0. Multiply by the negative xx, reversing the direction:

4x>1    4<x.\frac{4}{x} > 1 \;\Rightarrow\; 4 < x.

This asks for x>4x > 4, but the case assumed x<0x < 0, and no number is both, so this case contributes nothing.

The solution set is just 0<x<40 < x < 4, the interval (0,4)(0, 4). 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 5x<1\dfrac{5}{x} < 1 by splitting on the sign of xx. What is the full solution set?

Answer choices

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 ”PP and QQ” exactly when it lies in both solution sets, so you keep only what the two share. An or takes the union: a value solves ”PP or QQ” when it lies in at least one, so you sweep together everything either piece allows. The chained form a<x<ba < x < b is simply the “and” of x>ax > a and x<bx < b, 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 3<x<13 < x < 1 names no numbers at all: it asks for x>3x > 3 and x<1x < 1 at once. Those two rays (3,)(3, \infty) and (,1)(-\infty, 1) do not overlap, so the intersection is \varnothing. 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 R\mathbb{R} when the statement is true and \varnothing 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 x2>3x - 2 > 3 and x+4<5x + 4 < 5 together. Solve each piece on its own first. The left piece gives

x2>3    x>5,x - 2 > 3 \;\Rightarrow\; x > 5,

with solution set (5,)(5, \infty). The right piece gives

x+4<5    x<1,x + 4 < 5 \;\Rightarrow\; x < 1,

with solution set (,1)(-\infty, 1).

Now intersect, because the two are joined by “and.” A solution must be greater than 55 and less than 11 at the same time, and no number is both, so the intersection is empty. The compound has no solution, \varnothing. Written as a chain it would read 5<x<15 < x < 1, 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 x>5x > 5 or x<1x < 1. And their union (,1)(5,)(-\infty, 1) \cup (5, \infty) is a large set, everything except the band from 11 to 55. The word between the pieces, “and” or “or,” is the entire difference between an empty answer and a nearly full line.

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Free Response Questions (FRQ)

Longer questions in parts, to be worked out on paper. Progressive hints, the answer on its own so you can check yourself and try again, then the full worked solution, plus a rubric to mark your own work against.

Free response Work it out on paper 5 questions Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (Optional)

Two of the most familiar marks in mathematics have no certain author.

The signs << and >> reached print in 16311631, in an algebra book credited to Thomas Harriot, an English mathematician. He had been dead for ten years by then. His executor, Walter Warner, gathered the loose pages together and saw the book through the press.

That would be a small footnote if the signs turned up somewhere in Harriot’s own hand. They do not. A large body of his manuscripts survives, and scholars who have worked through it report the two marks nowhere in it. They appear only in the printed book, a decade after he stopped writing. Warner may simply have introduced them himself, and nobody is in a position to rule it out.

You will still find Harriot called their inventor, stated flatly, in textbooks and on websites. The honest version is shorter and less satisfying. The symbols entered mathematics through that one book, and who first drew them is unknown.

Set that beside what this lesson did with the signs. It refused to hand you the reversal as a rule to accept on somebody’s word. It derived the reversal, out of the single fact that a<ba < b makes bab - a positive. A mark whose own author is a guess is a poor thing to take on authority, and here you never had to.