Absolute value functions (HL)

f(x)={xif x≥0−xif x<0f(x) = \begin{cases} x &\text{if } x \geq 0 \\ -x &\text{if } x <0\end{cases}

When evaluated over a value, it returns the (non-negative) distance from zero.

The analogous modulus is defined for a complex number.

Contents

Properties

∣a∣⋅∣b∣=∣ab∣\lvert a\rvert \cdot \lvert b\rvert = \lvert ab \rvert
∣x−k∣    distance to k\lvert x - k \rvert \;\; \text{distance to }k
∣x+k∣    distance to −k\lvert x + k \rvert \;\; \text{distance to }-k
∣x∣2=x2    (for real x)\lvert x\rvert^2 = x^2 \;\; (\text{for real }x)

Composition of absolute value and functions

This extends ideas from composite functions to involve the absolute value function.

f(∣x∣)\bm{f(\lvert x\rvert)}

This composition throws away the left half of f(x)f(x) where x<0x < 0, and creates an even function using the x≥0x \geq 0 portion.

Unless originally f′(0)=0f'(0) = 0, this new function is not differentiable at x=0x = 0.

Also the new function has the same range as f(x),x≥0f(x), x \geq 0.

Conceptually, f(∣x∣)f(\lvert x\rvert) converts dependence on position into dependence on distance.

∣f(x)∣\bm{\lvert f(x)\rvert}

This composition reflects every portion of f(x)<0f(x) < 0 across the xx-axis to make the entire range non-negative.

If ff is an odd or even function, then ∣f(x)∣\lvert f(x)\rvert is an even function.

This typically creates non-differentiable points at each zero or xx-intercept. Be care when doing calculus by hand on ∣f(x)∣\lvert f(x)\rvert.

The distance traveled while following some one-dimensional velocity function v(t)v(t) from time t1t_1 to t2t_2 is the unsigned area under the absolute value of the velocity function.

distance traveled=∫t1t2∣v(t)∣ dt\text{distance traveled} = \int_{t_1}^{t_2} \lvert v(t)\rvert \d t

Solving absolute value equations and inequalities

∣ax+b∣≥k∣cx+d∣\bm{\lvert ax + b\rvert \geq k\lvert cx + d\rvert}

As surprising as it may sound, many absolute value linear inequalities can involve quadratics.

Example: Solve ∣−2x−5∣>4\lvert -2x - 5\rvert > 4.


Factoring out a ∣−1∣\lvert-1\rvert, yields

∣−2x−5∣>4∣2x+5∣>4(2x+5)2>42(2x+9)(2x+1)>0from (a+b)(a−b)=a2−b2\begin{align*} \lvert-2x -5\rvert &> 4 \\ \lvert 2x + 5\rvert &> 4 \\ (2x + 5)^2 &> 4^2 \\ (2x + 9)(2x + 1) &> 0 & \text{from }(a+b)(a-b)=a^2-b^2 \end{align*}

With the shape of the upward-opening quadratic in mind, the solution is

x<−92    and    x>−12■x < -\frac{9}{2} \;\; \text{and} \;\; x > -\frac{1}{2} \qed

If it is instead finding ∣ax+b∣<k\lvert ax + b \rvert < k then instead you need the single interval between the two roots of the equality.


Example: Solve ∣3x+8∣≤2∣x−2∣\lvert 3x + 8\rvert \leq 2\lvert x - 2\rvert.


∣3x+8∣2≤2∣x−2∣(3x+8)2≤(2(x−2))2(3x+8+(2x−4))(3x+8−(2x−4))≤0(5x+4)(x+12)≤0\begin{align*} \lvert3x + 8\rvert^2 &\leq 2\lvert x - 2\rvert \\ (3x + 8)^2 &\leq \left(2(x-2)\right)^2 \\ \left(3x + 8 + (2x - 4)\right)\left(3x + 8 - (2x - 4)\right) &\leq 0 \\ (5x + 4)(x + 12) &\leq 0 \end{align*}

With the shape of the upward-opening quadratic in mind, the solution is

−12≤x≤−45■-12 \leq x \leq -\frac{4}{5} \qed

One way to check the solutions is to substitute in different values, as you would after solving an equation or inequality.

∣f(x)∣≥k\bm{\lvert f(x)\rvert \geq k}

If asking to solve ∣f(x)∣≥k, k≥0\lvert f(x)\rvert \geq k, \, k \geq 0, then solutions satisfy

either f(x)≥k or f(x)≤−k\textbf{either } f(x) \geq k \text{ or } f(x) \leq -k

If asking to solve ∣f(x)∣≤k, k≥0\lvert f(x)\rvert \leq k, \, k \geq 0, then solutions satisfy

both f(x)≤k and f(x)≥−k\textbf{both } f(x) \leq k \text{ and } f(x) \geq -k

Strategy to solve absolute value equations

Get the absolute value(s) on one side, and square both sides, to turn an linear equation into a quadratic. In some cases, you may need to square both sides twice, while doing some simplification in between and afterwards.

Check all solutions at the end to verify it solves the original equation.

Strategy to solve absolute value inequalities

First solve the equality.

For each interval separated by the roots of the equality, test a value and see if it satisfies the original equation.