D10 - Modulus functions and inequalities

D10 - Modulus functions and inequalities

A modulus turns a signed value into a distance from zero. You will use its piecewise definition to build graphs, solve inequalities by distance or by cases, and keep the sign and domain restrictions that prevent false solutions.

The piecewise definition of modulus

If a graph dips below the horizontal axis, how can we make every output non-negative without moving any input? Replace each negative output by its opposite: −5-5 becomes 5, while 5 and 0 stay unchanged. This operation is called taking the modulus, written with vertical bars.

For a real number uu, its modulus ∣u∣|u| is its distance from zero. The distance is non-negative, not always positive: ∣0∣=0|0|=0.

Modulus

For real uu,

∣u∣={u,u≥0−u,u<0|u|=\begin{cases}u,&u\ge0\\-u,&u<0\end{cases}

Thus ∣−5∣=5|-5|=5, ∣5∣=5|5|=5, and ∣0∣=0|0|=0. The second branch has a non-negative output because it is used only when uu is negative.

With u=f(x)u=f(x), split the domain where the inside expression changes sign. The switch is not necessarily at x=0x=0. At a zero, either branch formula gives zero, so you can assign that endpoint to either branch consistently.

Worked example 1: a linear expression in modulus

Question. Write ∣2x−6∣|2x-6| as a piecewise function and find its value at x=−1x=-1.

Plan. Find where 2x−62x-6 is negative, then negate that whole expression on that branch.

2x−6<0⟺x<3∣2x−6∣={6−2x,x<32x−6,x≥3\begin{aligned} 2x-6<0&\quad\Longleftrightarrow\quad x<3\\ |2x-6|&=\begin{cases}6-2x,&x<3\\2x-6,&x\ge3\end{cases} \end{aligned}

At x=−1x=-1, use the left branch: 6−2(−1)=86-2(-1)=8.

Answer. The piecewise function above, with ∣2(−1)−6∣=8|2(-1)-6|=8.

Check. Directly, the inside value at −1-1 is −8-8, whose distance from zero is 8. Both branch formulas give zero at the switch x=3x=3.

Change only the constant from −6-6 to +6+6. The switching input moves to the other side of zero; the output remains a distance.

Worked example 2: moving the switching input

Question. Write ∣2x+6∣|2x+6| as a piecewise function and find its value at x=−4x=-4.

Plan. Solve 2x+6=02x+6=0, then use the inside expression's sign on each side.

2x+6=0⟹x=−3∣2x+6∣={−2x−6,x<−32x+6,x≥−3\begin{aligned} 2x+6=0&\quad\Longrightarrow\quad x=-3\\ |2x+6|&=\begin{cases}-2x-6,&x<-3\\2x+6,&x\ge-3\end{cases} \end{aligned}

At x=−4x=-4, the first branch gives −2(−4)−6=2-2(-4)-6=2.

Answer. The piecewise function above, with value 2 at x=−4x=-4.

Check. Direct substitution gives ∣−8+6∣=∣−2∣=2|-8+6|=|-2|=2. At x=0x=0, the second branch gives 6, agreeing with ∣6∣|6|.

The minus sign outside the first branch in the definition acts on every term inside the bars.

Watch out

Wrong: for x<3x<3, ∣2x−6∣=−2x−6|2x-6|=-2x-6. Negate the whole bracket: −(2x−6)=6−2x-(2x-6)=6-2x. Do not replace just the xx-term's sign.

Apply the sign test to a new linear expression.

Modulus graphs

Taking the modulus of a function's output leaves points on or above the horizontal axis in place and reflects points below it in that axis. Each input stays the same. This is the graphical answer to the opening question.

For a line such as y=2x−6y=2x-6, this creates a V with vertex (3,0)(3,0). For a quadratic, the reflected pieces are curved: a modulus graph is not necessarily a V. Its zeros remain where the original function was zero.

Worked example 3: folding part of a parabola

Question. Describe the key features needed to sketch y=∣x2−4∣y=|x^2-4|, including the branch formulas, zeros and vertical-axis intercept.

Plan. Find where x2−4x^2-4 is negative and reflect only that portion of its parabola.

x2−4<0⟺−2<x<2∣x2−4∣={4−x2,−2<x<2x2−4,x≤−2 or x≥2\begin{aligned} x^2-4<0&\quad\Longleftrightarrow\quad -2<x<2\\ |x^2-4|&=\begin{cases}4-x^2,&-2<x<2\\x^2-4,&x\le-2\text{ or }x\ge2\end{cases} \end{aligned}

The middle section becomes a downward-facing cap, meeting the unchanged outer sections at (−2,0)(-2,0) and (2,0)(2,0). The vertical-axis intercept is (0,4)(0,4), the highest point of that middle cap. All outputs are non-negative and the graph is symmetric about the vertical axis.

Answer. Two upward outer branches, a reflected central cap, zeros at ±2\pm2, and vertical-axis intercept (0,4)(0,4), with the branch formulas above.

Check. At x=1x=1, the original output −3-3 becomes 3, agreeing with 4−124-1^2. At x=3x=3, the original output 5 stays 5. This checks one reflected and one unchanged portion.

Change only the constant from −4-4 to −1-1. The roots move closer together and the reflected cap becomes lower.

Worked example 4: a narrower reflected section

Question. Describe the key features needed to sketch y=∣x2−1∣y=|x^2-1|, including the branch formulas, zeros and vertical-axis intercept.

Plan. Split at the zeros −1-1 and 1 of the inside expression.

∣x2−1∣={1−x2,−1<x<1x2−1,x≤−1 or x≥1|x^2-1|=\begin{cases}1-x^2,&-1<x<1\\x^2-1,&x\le-1\text{ or }x\ge1\end{cases}

The central cap now runs between (−1,0)(-1,0) and (1,0)(1,0), through (0,1)(0,1). Outside, the upward parabola pieces are unchanged.

Answer. Zeros x=±1x=\pm1, vertical-axis intercept (0,1)(0,1), central branch 1−x21-x^2, and outer branches x2−1x^2-1, on the stated domains.

Check. At x=1/2x=1/2, ∣1/4−1∣=3/4|1/4-1|=3/4, matching the central cap. At x=2x=2, ∣4−1∣=3|4-1|=3, matching an outer branch. Both switch values give zero.

The pictures compare the original and folded curves using the same coordinates in each panel.

[DIAGRAM: asset_name: Reflecting negative quadratic outputs; asset_slug: aqa7367-modulus-parabolas; caption: Only the portions below the horizontal axis are reflected upwards; description: Two panels show dashed original parabolas y equals x squared minus 4 and y equals x squared minus 1, with solid blue modulus graphs on the same axes. The central negative sections appear as reflected caps above the axis. Zeros minus 2 and 2 in the left panel and minus 1 and 1 in the right are labelled, with cap heights 4 and 1. The outer positive sections coincide with the originals.]
Only the portions below the horizontal axis are reflected upwards

Unlike a smooth minimum of a parabola, the joins at these simple roots form corners. Reflecting the whole parabola would incorrectly turn its positive outer sections negative.

Key idea

For y=∣f(x)∣y=|f(x)|, keep every non-negative output and change the sign of every negative output. The graph can touch zero, but cannot go below it.

Describe a new quadratic modulus graph without needing a drawing tool.

Solving inequalities by distance or cases

The inequality ∣x−3∣<2|x-3|<2 asks for numbers less than distance 2 from 3, so 1<x<51<x<5. A greater-than sign selects the two outside regions instead. For a positive bound aa, the same reasoning applies to any real expression uu.

Modulus bounds

For real uu and a>0a>0,

∣u∣<a⟺−a<u<a∣u∣>a⟺u<−a or u>a\begin{aligned} |u|<a&\quad\Longleftrightarrow\quad -a<u<a\\ |u|>a&\quad\Longleftrightarrow\quad u<-a\text{ or }u>a \end{aligned}

For ≤\le or ≥\ge, include the equality boundaries. Not in the formula booklet: learn it.

For example, ∣2x−3∣≤5|2x-3|\le5 gives −5≤2x−3≤5-5\le2x-3\le5, hence −1≤x≤4-1\le x\le4. An upper bound of zero allows only u=0u=0 when equality is permitted; an upper bound below zero gives no solutions. A comparison ∣u∣>a|u|>a with a<0a<0 is true for every input on which uu is defined.

With a quadratic inside the bars, solve the two quadratic comparisons and combine their interval sets. This can produce more than two allowed intervals.

Worked example 5: three solution intervals

Question. Solve ∣x2−3x∣>2|x^2-3x|>2, giving an exact answer.

Plan. Split the comparison into x2−3x>2x^2-3x>2 or x2−3x<−2x^2-3x<-2, then solve each quadratic inequality.

x2−3x−2>0⟹x<3−172 or x>3+172x2−3x+2<0⟺(x−1)(x−2)<0⟹1<x<2\begin{aligned} x^2-3x-2>0 &\quad\Longrightarrow\quad x<\frac{3-\sqrt{17}}2 \text{ or }x>\frac{3+\sqrt{17}}2\\ x^2-3x+2<0 &\quad\Longleftrightarrow\quad (x-1)(x-2)<0\\ &\quad\Longrightarrow\quad 1<x<2 \end{aligned}

Each implication uses the positive quadratic's outside-positive, inside-negative signs. The original comparison asks for either case, so take their union.

Answer.

x<3−172,1<x<2,orx>3+172x<\frac{3-\sqrt{17}}2, \qquad 1<x<2, \qquad\text{or}\qquad x>\frac{3+\sqrt{17}}2

Check. At x=3/2x=3/2, the modulus is 9/4>29/4>2, confirming the central interval. At x=0x=0, it is 0, so the nearby gap is correctly excluded. At x=−1x=-1 and 4, it is 4, confirming both outer intervals. Every listed boundary has modulus exactly 2 and is excluded.

Change just the comparison to ≥\ge. The four boundaries now belong, while the open-interval signs stay unchanged.

Worked example 6: including every equality boundary

Question. Solve ∣x2−3x∣≥2|x^2-3x|\ge2, giving an exact answer.

Plan. Solve x2−3x≥2x^2-3x\ge2 or x2−3x≤−2x^2-3x\le-2.

x2−3x≥2⟹x≤3−172 or x≥3+172x2−3x≤−2⟹1≤x≤2\begin{aligned} x^2-3x\ge2 &\quad\Longrightarrow\quad x\le\frac{3-\sqrt{17}}2 \text{ or }x\ge\frac{3+\sqrt{17}}2\\ x^2-3x\le-2 &\quad\Longrightarrow\quad 1\le x\le2 \end{aligned}

Answer.

(−∞,3−172]∪[1,2]∪[3+172,∞)\left(-\infty,\frac{3-\sqrt{17}}2\right] \cup[1,2]\cup \left[\frac{3+\sqrt{17}}2,\infty\right)

Check. At the two surd boundaries, x2−3x=2x^2-3x=2; at 1 and 2, it equals −2-2. All four give modulus 2, so every closed bracket is justified directly in the original inequality.

This gives a surprising connection to graph folding: one horizontal line can meet a folded quadratic four times, producing three separate regions above that line. “Modulus means two solutions” is not a general rule.

Watch out

Wrong: ∣u∣>a|u|>a requires u<−au<-a and u>au>a. Those cases are alternatives, so join them with “or”. By contrast, ∣u∣<a|u|<a requires both bounds −a<u<a-a<u<a.

Use the same two-case method with a new quadratic.

Keeping sign and domain restrictions

Taking a modulus does not make an undefined expression defined. Nor does it make a negative expression on the other side of an inequality positive. These are separate restrictions to preserve throughout a solution.

For example, ∣x−2∣≤x|x-2|\le x can hold only for x≥0x\ge0. On x<2x<2, it becomes 2−x≤x2-x\le x, giving 1≤x<21\le x<2; on x≥2x\ge2, it becomes x−2≤xx-2\le x, which is always true. The union is x≥1x\ge1.

If you square both sides instead, you obtain (x−2)2≤x2(x-2)^2\le x^2, hence x≥1x\ge1 again, but the justification needs both sides to be non-negative. Squaring arbitrary signed quantities does not preserve their order: 1>−21>-2, whereas 12<(−2)21^2<(-2)^2. For ∣u∣≤v|u|\le v, use v≥0v\ge0 as well as u2≤v2u^2\le v^2. For ∣u∣>v|u|>v, all inputs with v<0v<0 already work; squaring them may lose solutions.

The following pair focuses on the other restriction: an excluded input that survives cancellation.

Worked example 7: a modulus with an excluded input

Question. Solve ∣x2−1x−1∣<3\left|\frac{x^2-1}{x-1}\right|<3.

Plan. Record the original domain before cancelling, then solve the simpler distance inequality on that domain.

x≠1x2−1x−1=(x−1)(x+1)x−1=x+1x≠1∣x+1∣<3⟺−3<x+1<3⟺−4<x<2\begin{aligned} x&\ne1\\ \frac{x^2-1}{x-1} &=\frac{(x-1)(x+1)}{x-1}=x+1 &&x\ne1\\ |x+1|<3 &\quad\Longleftrightarrow\quad -3<x+1<3\\ &\quad\Longleftrightarrow\quad -4<x<2 \end{aligned}

Remove the forbidden input 1 from that interval.

Answer. (−4,1)∪(1,2)(-4,1)\cup(1,2).

Check. At x=0x=0, the original modulus is 1 and works; at x=3/2x=3/2, it is 5/25/2 and works. At x=1x=1, the original expression is 0/00/0, which has no value even though the cancelled formula would give 2.

Change only << to ≤\le. Equality adds the two distance boundaries, but still cannot restore the undefined input.

Worked example 8: equality does not fill a hole

Question. Solve ∣x2−1x−1∣≤3\left|\frac{x^2-1}{x-1}\right|\le3.

Plan. Solve ∣x+1∣≤3|x+1|\le3 with the inherited restriction x≠1x\ne1.

−3≤x+1≤3⟺−4≤x≤2,x≠1-3\le x+1\le3 \quad\Longleftrightarrow\quad -4\le x\le2, \qquad x\ne1

Answer. [−4,1)∪(1,2][-4,1)\cup(1,2].

Check. In the original fraction, x=−4x=-4 gives −3-3 and x=2x=2 gives 3, so their moduli equal 3 and both endpoints belong. The denominator is still zero at 1, so the two brackets facing that hole remain round.

Whenever a domain is specified, the final operation is intersection with that domain. Modulus changes values, while the domain determines which values exist in the first place.

Watch out

Wrong: cancelling a factor makes its zero admissible. Cancellation is valid only where the cancelled factor is nonzero. Retain the original exclusion before applying distance rules or squaring.

Now combine the sign check with a quadratic modulus and a straight line. Both are defined for every real input, so there are no denominator exclusions. The line's sign still determines which comparisons are valid. With a negative right side, a non-negative modulus is automatically greater, but can never be less.

Worked example 9: a quadratic modulus above a line

Question. Solve ∣x2−5x∣>x+3|x^2-5x|>x+3, giving an exact answer.

Plan. Deal with negative right-hand values first, then split the remaining comparison into two quadratic inequalities.

For x<−3x<-3, the right side is negative, so every such input works. For x≥−3x\ge-3, the right side is non-negative and the two alternatives are

x2−5x>x+3⟺x2−6x−3>0⟺x<3−23 or x>3+23x2−5x<−(x+3)⟺x2−4x+3<0⟺(x−1)(x−3)<0⟺1<x<3\begin{aligned} x^2-5x>x+3 &\quad\Longleftrightarrow\quad x^2-6x-3>0\\ &\quad\Longleftrightarrow\quad x<3-2\sqrt3 \text{ or }x>3+2\sqrt3\\ x^2-5x<-(x+3) &\quad\Longleftrightarrow\quad x^2-4x+3<0\\ &\quad\Longleftrightarrow\quad (x-1)(x-3)<0\\ &\quad\Longleftrightarrow\quad 1<x<3 \end{aligned}

Intersect these case results with x≥−3x\ge-3, then unite them with x<−3x<-3. Since 3−23>−33-2\sqrt3>-3, the first allowed interval joins across −3-3; the line's zero is not itself an equality boundary here.

Answer.

(−∞,3−23)∪(1,3)∪(3+23,∞)(-\infty,3-2\sqrt3)\cup(1,3)\cup(3+2\sqrt3,\infty)

Check. Directly in the original inequality, x=−4x=-4 gives 36>−136>-1, confirming the automatically allowed negative-right-side region. At x=2x=2, 6>56>5 confirms the middle interval; at x=0x=0 and 4, the comparisons 0>30>3 and 4>74>7 are false. The four equality boundaries give equal original outputs and are excluded.

Change only >> to <<, keeping the same quadratic and line. The alternatives become simultaneous bounds, and a non-positive right side is now impossible.

Worked example 10: the same modulus below the line

Question. Solve ∣x2−5x∣<x+3|x^2-5x|<x+3, giving an exact answer.

Plan. Require x+3>0x+3>0, then solve both sides of −(x+3)<x2−5x<x+3-(x+3)<x^2-5x<x+3.

The right-side condition gives x>−3x>-3. On that domain,

x2−5x<x+3⟺x2−6x−3<0⟺3−23<x<3+23x2−5x>−(x+3)⟺(x−1)(x−3)>0⟺x<1 or x>3\begin{aligned} x^2-5x<x+3 &\quad\Longleftrightarrow\quad x^2-6x-3<0\\ &\quad\Longleftrightarrow\quad 3-2\sqrt3<x<3+2\sqrt3\\ x^2-5x>-(x+3) &\quad\Longleftrightarrow\quad (x-1)(x-3)>0\\ &\quad\Longleftrightarrow\quad x<1\text{ or }x>3 \end{aligned}

Here both bounds must hold, so intersect their solution sets with each other and with x>−3x>-3. The latter restriction removes no further inputs because the first interval starts above −3-3.

Answer.

(3−23,1)∪(3,3+23)(3-2\sqrt3,1)\cup(3,3+2\sqrt3)

Check. At x=0x=0, 0<30<3, and at x=4x=4, 4<74<7, so both selected intervals contain a valid point. At x=−4x=-4, the comparison 36<−136<-1 is impossible. At x=2x=2, 6<56<5 is false, confirming the central gap. At each of the four boundary inputs, the two original outputs are equal, so all four endpoints remain excluded.

The graph interpretation is the same as the algebra: the first comparison selects where the folded quadratic lies above the line; the second selects where it lies below. Locate equality boundaries, check the line's sign, and combine the allowed intervals. Do not square a comparison until the signs justify it.

Try a fresh quadratic and line using the final example's simultaneous-bound method.

Quick Recap

  • Modulus keeps non-negative values and reverses negative values.
  • Reflect only the portions of a graph below the horizontal axis.
  • Positive upper bounds give a two-sided condition; positive lower bounds give two alternative cases.
  • Keep original domains and check the signs before squaring a comparison.

The opening graph becomes non-negative by reflecting its negative outputs upwards, with every input left in place.