Lesson
The theory — Inequalities259 words
Solving an inequality means naming the set of values that satisfy it. That set is decided by two separate things: where the boundary is, and whether the boundary point is a member.
What each symbol means
<- a strict relation. The boundary is excluded, and the solution set is open at that end.
≤- a non-strict relation. The boundary is included, and the set is closed at that end.
sup- the supremum — the least value that nothing in the set exceeds. It always exists for a set bounded above, whether or not the set contains it.
- Assumes
- That the boundary is where the two sides are exactly equal, which is why solving an inequality uses the arithmetic of solving an equation. The relation is not doing arithmetic; it is choosing a side and deciding membership.
- Breaks when
- The strict-or-not choice decides something larger than membership: whether a largest value exists at all. On
x ≤ 5the largest solution is 5, and you can hand it to somebody. Onx < 5there is no largest solution — name any candidate below 5 and the midpoint between it and 5 is a larger one still in the set, for ever. The set still has a least upper bound of 5; it simply does not contain it. This is why an optimisation over a strict constraint can fail to have an answer while the same problem with≤has one, and why the distinction that looks like punctuation in a school exercise is load-bearing the moment anything is being maximised.
Problems solved in full
-
A delivery costing 5 plus 2 per kilometre with a budget under 20 7 steps
A delivery costs 5 plus 2 per kilometre. Your budget is under 20. How far can you go — and what happens to the algebra if the fare were quoted as a discount instead?
-
Write it as an inequality rather than an equation, because the question is not what distance costs exactly 20.
-
Subtract 5 from both sides. Adding and subtracting never touch the relation, whatever the sign of what you add.
-
Divide by 2. It is positive, so the relation stays as it is, and the answer is a region open at the top end.
-
Under 7.5 kilometres. The endpoint is excluded because the budget was strictly under 20, and at exactly 7.5 the fare is exactly 20 — which is over budget by the wording, if not by much.
-
Now the discount version. Suppose instead each kilometre took 2 off a 20 credit, and you need to keep the balance above 5.
-
Dividing by −2 reverses the relation, and the answer is the same region as before. It has to be: it is the same journey described from the other end. Skipping the reversal would have given x > 7.5, which is the unaffordable side of the boundary instead of the affordable one.
-
And here the arithmetic stops helping. Both forms give x < 7.5, and neither of them settles whether 7.5 itself is affordable. Whether "under 20" means 19.99 or means 20 is a question about the contract, not about the inequality, and the strict symbol is doing work the algebra cannot check.
Answer
Under 7.5 kilometres, with 7.5 itself excluded. Written as a discount instead, the same journey needs a division by −2 and therefore a reversal, and forgetting it hands you the unaffordable side instead.
-
-
The inequality with no x left in it 6 steps
This preset is 2x + 5 ≥ 2x + 5. Solve it, then decide whether an inequality that loses its x has failed to produce an answer or has produced a very large one.
-
Subtract 2x from both sides. Adding the same quantity to both sides preserves the relation whatever that quantity is, so the move is safe even though it involves x — which is exactly what multiplying by x is not.
-
What is left is 5 ≥ 5. Both sides now carry a coefficient of zero on x, so there is nothing to isolate and nothing to divide by.
-
The boundary formula shows the same obstruction arithmetically. Solving ax + b ≥ cx + d gives x = (d − b)/(a − c), which here is 0 ÷ 0. The panel prints a dash in the boundary row because there is no boundary to print.
-
5 ≥ 5 is true, and it is true without mentioning x. So every real number satisfies the original inequality, and the answer row says so.
-
Make the relation strict and 5 > 5 is false: nothing works. Nudge the right-hand constant to 5.001 instead and the statement becomes 0 ≥ 0.001, false again. Almost the same four numbers, and the solution set goes from the whole line to nothing at all.
-
That jump looks like a discontinuity and is not one. Hold the right-hand side at 5.001 and let the two x coefficients differ by ε instead of matching. The boundary sits at 0.001/ε: at ε = 0.1 the answer is x ≥ 0.01, at ε = 0.001 it is x ≥ 1, at ε = 0.0001 it is x ≥ 10. The half-line retreats towards infinity as ε closes, which is the empty set arriving in slow motion.
Answer
Every x. The empty answer is its twin rather than its opposite: when the two x coefficients match, the x term cancels and the two constants decide alone, so the statement is either true and every number solves it or false and none does. Neither case has a boundary, which is why the boundary row blanks in both and the answer row is the only one worth reading. The strict-or-not choice that moves a single point on every other preset moves the entire real line on this one.
-
Learning path
Solving for x, from the minus sign upward
References (1)
- Where the guarantee comes from that a least upper bound always exists, even when no largest member does: R. Dedekind, Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig, 1872.