Linear Inequalities

Learning goals

  • Keep the direction under addition or positive scaling, reverse it under negative scaling
  • Derive the reversal from a<ba < b meaning b−a>0b - a > 0
  • Refuse to multiply by an expression of unknown sign in one step
  • 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.

The same rule solves an ordinary inequality, not just a labeled step. Solve −3x>12-3x > 12 for xx: divide both sides by −3-3 and reverse the direction, giving x<−4x < -4. Check both sides of that boundary: at x=−5x = -5 the original reads 15>1215 > 12, true, while at x=−3x = -3 it reads 9>129 > 12, false, so the answer really does change sides exactly at −4-4. And −4-4 itself is not a solution, since it gives 12>1212 > 12, 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 a<ba < b, so on the number line aa sits to the left of bb. 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: their order reverses, giving −b<−a-b < -a. That is exactly the picture below.

The same fact confirms itself algebraically. It is enough to understand multiplication by −1-1, because any negative constant is −1-1 times a positive one, and multiplying by that positive factor is harmless, since a positive scaling keeps the order, as shown above. Saying a<ba < b is the same as saying the gap b−ab - a is a positive number, since bb lies above aa. Multiplying aa and bb by −1-1 produces −a-a and −b-b, and comparing them through their difference,

(−a)−(−b)=b−a>0,(-a) - (-b) = b - a > 0,

shows −a-a is now the larger of the two, that is −b<−a-b < -a again. Nothing was chosen; the flip is forced by the single fact that b−ab - a was positive to begin with.

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 a statement about 00 and 00 alone: 0<00 < 0, 0>00 > 0, or 0≠00 \ne 0 come out false no matter what xx was, while 0≤00 \le 0 or 0≥00 \ge 0 come out true no matter what xx was. Either way, 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 x−2x - 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 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 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.

Solving x2<3xx^2 < 3x properly confirms exactly the boundary the opening found by testing: the inequality holds precisely on 0<x<30 < x < 3, the same interval where x=−1x = -1 and x=4x = 4 failed and x=1x = 1 passed.

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 x≤0x \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 x−1<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 b≥0b \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 b≠0b \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 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 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 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.

CaseWhat you may doSolutionWhat the picture looks like
a>0a > 0divide by positive aa, keep the directionx>bax > \dfrac{b}{a}ray shaded right of ba\dfrac{b}{a}, hollow circle
a<0a < 0divide by negative aa, reverse the directionx<bax < \dfrac{b}{a}ray shaded left of ba\dfrac{b}{a}, hollow circle
a=0, b<0a = 0,\ b < 0no division is possible; 0>b0 > b is trueall of R\mathbb{R}the whole line shaded
a=0, b≥0a = 0,\ b \ge 0no division is possible; 0>b0 > b is false∅\varnothingnothing shaded
The four solution pictures for ax greater than bFour number lines stacked vertically. Top: a ray shaded right of a hollow boundary circle. Second: a ray shaded left of a hollow boundary circle. Third: the whole line shaded solid, no boundary circle. Fourth: the whole line with no shading at all.a > 0x > b/aa < 0x < b/aa = 0, b < 0all of ℝa = 0, b ≥ 0∅, nothing shaded
All four outcomes of ax greater than b, drawn as number lines. A positive a shades a ray to the right of the boundary and a negative a shades a ray to the left, both with a hollow circle at the boundary. When a is 0 the boundary disappears: b less than 0 shades the entire line, and b at least 0 leaves the line completely unshaded.

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 an inequality, starting strict with a hollow endpoint. Try only the Side control: the shading flips to the other side of the boundary while the boundary itself does not move, the whole visible effect of dividing by a negative number. The Endpoint and Endpoint-is controls let you explore other inequalities, but are not part of this demonstration.

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 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 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 1−1=−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, exactly as the refusal rule from earlier in this lesson demands.

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.

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 5 An 'and' compound whose pieces do not overlap

Solve x−2>3x - 2 > 3 and x+4<5x + 4 < 5 together. Solve each piece on its own first. The left piece gives

x−2>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.

Intersection versus union of two raysTop row: the rays x less than 1 and x greater than 5 drawn as outlines with a gap between them, marked as the empty intersection for an and compound. Bottom row: the same two rays shaded solid, covering the line except the band from 1 to 5, marked as the union for an or compound.and: keep only where both are true15no overlapor: keep everything either allows15band unshaded, rest is the union
The same two rays, x greater than 5 and x less than 1, joined two ways. Joined by and, they never overlap, so the intersection is empty. Joined by or, together they cover every number except the band between 1 and 5.

Check your understanding

Two solution sets are (−∞,4)(-\infty, 4) and (1,∞)(1, \infty). Since 1<41 < 4, the two rays overlap on (1,4)(1, 4). If the two pieces are joined by "or", what is the solution set of the compound?

Answer choices

Common mistakes

Practice

Multiple Choice Questions (MCQ)

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

Core practice

Practice problems at the level of the course, to be worked out on paper. Hints one at a time, then the answer or the full worked solution, with your progress kept in this browser.

Core practice Work it out on paper 10 problems 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. The later editor, Walter Warner, gathered the loose pages together and saw the book through the press.

That would be a small footnote if the exact signs turned up somewhere in Harriot’s own hand. In the plain, uncrossed shape that reached print, they do not. A large body of his manuscripts survives, and it does not show that pair of marks in that exact printed form. Who settled on that printed pair, a decade after he stopped writing, is unknown. Warner may simply have introduced them himself while preparing the book, 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 b−ab - a positive. A mark whose own author is a guess is a poor thing to take on authority, and here you never had to.