Exemples:
Lorsque la valeur absolue contient une expression qui dépend d'une variable, on doit étudier le signe de cette expression.
Exemple: \[\begin{aligned} |x^2-1| &= \begin{cases} x^2-1&\text{ si }x^2-1\geqslant 0\,,\\ -(x^2-1)&\text{ si }x^2-1\lt 0\,, \end{cases}\\ &= \begin{cases} x^2-1&\text{ si }x\in ]-\infty,-1]\cup[1,+\infty[\,,\\ -(x^2-1)&\text{ si }x\in ]-1,1[\,. \end{cases} \end{aligned}\]
Le graphe de la fonction \(x\mapsto |x|\):
Puisque \(|x|\geqslant 0\) pour tout \(x\in \mathbb{R}\), l'équation \(|x|=a\), \(a\in\mathbb{R}\), ne peut clairement pas avoir de solution si \(a\lt 0\). Ceci s'interprète graphiquement, en voyant que le graphe de \(|x|\) n'intersecte pas une droite horizontale à hauteur \(a\lt 0\):

Théorème: Soit \(a\in\mathbb{R}\). On a l'équivalence \[ |x|=a \qquad\Leftrightarrow \qquad a\geqslant 0 \text{ et } \left\{ \begin{array}{l} x=a \\ \hspace{-3mm}\text{\scriptsize ou} \\ x=-a\,.\end{array} \right.\]
Graphiquement, le graphe de \(|x|\) intersecte une droite horizontale en deux points lorsque celle-ci est à hauteur \(a\gt 0\):

En résumé, l'ensemble solution \(S\) de l'équation \(|x|=a\) est donné par
Théorème: Soit \(a\in\mathbb{R}\). On a l'équivalence \[ |x|\leqslant a \qquad\Leftrightarrow \qquad -a\leqslant x\leqslant a \qquad\Leftrightarrow \qquad \left\{ \begin{array}{l} x\leqslant a \\ \hspace{-3mm}\text{\scriptsize et} \\ x\geqslant-a\,.\end{array} \right.\]

Si \(a\lt 0\), alors il n'existe aucun \(x\) qui satisfait à la fois
\(x\leqslant a\lt 0\) et \(x\geqslant -a \gt 0\).
Il n'y a donc pas besoin d'inclure de
condition de positivité (''\(a\geqslant 0\)'') dans la résolution de l'inéquation.
En résumé, l'ensemble solution de l'inéquation \(|x|\leqslant a\) est
L'équation \(|x|\geqslant a\), \(a\in\mathbb{R}\), admet évidemment tout \(x\in\mathbb{R}\) comme solution si \(a\lt 0\), une valeur absolue étant toujours plus grande qu'un nombre négatif. Il n'est donc pas nécessaire de discuter le signe de \(a\)!
Théorème: Soit \(a\in\mathbb{R}\). On a l'équivalence \[ |x|\geqslant a \qquad\Leftrightarrow \qquad \left\{ \begin{array}{l} x\geqslant a \\ \hspace{-3mm}\text{\scriptsize ou} \\ x\leqslant-a\,.\end{array} \right.\]
Similairement à l'inéquation précédente, on constate qu'il n'y a pas besoin de discuter du signe de \(a\). En effet, \(a\lt 0\) signifie que l'inéquation admet une infinité de solutions, puisque dans ce cas \[ ]-\infty,-a] \cup [a,+\infty[=\mathbb{R}\,. \]

En résumé, l'ensemble solution \(S\) de l'équation \(|x|\geqslant a\) est donné par
L'équivalence vue plus haut,
\[
|x|=a
\qquad \Leftrightarrow \qquad
a\geqslant 0
\text{ et }
\left\{ \begin{array}{l} x=a \\
\hspace{-3mm}\text{\scriptsize ou} \\ x=-a\,.
\end{array} \right.
\]
peut se généraliser au cas où \(x\) et \(a\) deviennent des fonctions.
Soient
\(f\) et \(g\) deux fonctions réelles. Pour
\(x\in D_\text{déf,f}\cap D_\text{déf,g}=D_\text{déf}\), on a l'équivalence
\[
|f(x)|=g(x)
\qquad
\Leftrightarrow
\qquad
g(x)\geqslant 0
\quad
\text{ et }
\quad
\left\{
\begin{array}{l}
f(x)=g(x) \\
\hspace{-3mm}\text{\scriptsize ou} \\ f(x)=-g(x)\,.\end{array} \right.
\]
Remarque: On ne discute que le signe de \(g(x)\) (condition de positivité), et pas celui de \(f(x)\). On doit donc résoudre l'équation \(|f(x)|=g(x)\) sur \(D_\text{déf} \cap D_\text{pos}\), où \[D_\text{pos} = \left\{ x\in D_\text{déf} \,|\, g(x) \geqslant 0 \right\}.\]
Exemple: Résolvons, en \(x\in\mathbb{R}\), l'équation \[|x^2+2x-5| = x+1\,.\] Sur \(D_\text{déf}=\mathbb{R}\), l'équation \(|x^2+2x-5|=x+1\) est équivalente à \[ x+1\geqslant 0 \quad \text{ et } \quad \left\{ \begin{array}{ll} x^2+2x-5=x+1&(1) \\ \hspace{-3mm}\text{\scriptsize ou} \\ x^2+2x-5=-(x+1)\,.&(2)\end{array} \right. \] La condition de positivité \(x+1\geqslant 0\) donne \(D_\text{pos}=[-1,+\infty[\).
Exemple: Résolvons en \( x\in\mathbb{R}\) l'équation
\[|x-3m+4|=x+m\,,\]
où le paramètre \(m\in\mathbb{R}\).
Sur \(D_\text{déf} = \mathbb{R}\), la condition de positivité est
\[
D_\text{pos} = \left\{x \,|\, x+ m\geqslant0 \right\} = [-m,+\infty[\,,
\]
ce qui donne
\(D_\text{déf}\cap D_\text{pos}=[-m,+\infty[\).
Ensuite,
sur \(D_\text{déf}\cap D_\text{pos}\),
on résout \(|x-3m+4|=x+m\), qui s'exprime par
\[
\left\{ \begin{array}{ll} x-3m+4=x+m&(1) \\
\hspace{-3mm}\text{\scriptsize ou} \\
x-3m+4=-x-m\,.&(2)\end{array} \right.
\]
On va ensuite généraliser l'inéquation
\[
|x|
\leqslant a
\qquad
\Leftrightarrow
\qquad
\left\{ \begin{array}{l} x\leqslant a \\
\hspace{-3mm}\text{\scriptsize et} \\ x\geqslant-a\end{array} \right.
\]
au cas où \(x\) et \(a\) sont remplacés par des fonctions de \(x\).
Soient \(f\) et \(g\) deux fonctions réelles. Pour \(x\in
D_\text{déf,f}\cap D_\text{déf,g}=D_\text{déf}\), on a l'équivalence
\[|f(x)|\leqslant g(x)
\qquad
\Leftrightarrow
\qquad
\left\{
\begin{array}{l} f(x)\leqslant g(x) \\
\hspace{-3mm}\text{\scriptsize et} \\
f(x)\geqslant-g(x)\,.\end{array} \right.
\]
Comme déjà expliqué, il n'est pas nécessaire de discuter
du signe de \(g(x)\).
Remarque: L'équivalence reste vraie en remplaçant les inégalités larges par les inégalités strictes.
Exemple: Résolvons, en \(x\in\mathbb{R}\), l'inéquation \[|x| + \frac{x-1}{2} \lt 0\,.\] Sur \(D_\text{déf}=\mathbb{R}\), \[ |x| \lt -\frac{x-1}{2} \qquad \Leftrightarrow \qquad \left\{ \begin{array}{ll} x \lt -\frac{x-1}{2}&(1) \\ \hspace{-3mm}\text{\scriptsize et} \\ x \gt \frac{x-1}{2}\,.&(2)\end{array} \right.\]
Exemple:
Résolvons, en \(x\in\mathbb{R}\), l'inéquation
\[ \vert x-m \vert -1 \lt 2x\,,\]
où le paramètre \(m\in\mathbb{R}\).
Sur \(D_\text{déf}=\mathbb{R}\),
\[|x-m| \lt 2x+1
\qquad \Leftrightarrow \qquad
\left\{
\begin{array}{ll} x-m \lt 2x+1 &(1) \\
\hspace{-3mm}\text{\scriptsize et} \\
x-m \gt -2x-1\,.&(2)
\end{array}
\right.\]
On va ensuite généraliser l'inéquation
\[|x|\geqslant a
\qquad
\Leftrightarrow
\qquad
\left\{ \begin{array}{l} x\geqslant a \\
\hspace{-3mm}\text{\scriptsize ou} \\ x\leqslant-a\end{array} \right.
\]
au cas où \(x\) et \(a\) sont remplacés par des fonctions de \(x\).
Soient \(f\) et \(g\) deux fonctions réelles. Pour \(x\in D_\text{déf,f}\cap
D_\text{déf,g}=D_\text{déf}\), on a l'équivalence
\[
|f(x)|\geqslant g(x)
\qquad
\Leftrightarrow
\qquad
\left\{ \begin{array}{l} f(x)\geqslant
g(x) \\ \hspace{-3mm}\text{\scriptsize ou} \\ f(x)\leqslant-g(x)\,.\end{array}
\right.\]
Remarque: L'équivalence reste vraie en remplaçant les inégalités larges par les inégalités strictes.
Exemple: Résolvons, en \(x\in\mathbb{R}\), l'inéquation \[|x-2| \gt \frac{2x-4}{x}\,.\] Sur \(D_\text{déf}=\mathbb{R}^\ast\), on a \[ |x-2| \gt \frac{2x-4}{x} \qquad \Longleftrightarrow \qquad \left\{ \begin{array}{ll} x-2 \gt \frac{2x-4}{x}&(1) \\ \hspace{-3mm}\text{\scriptsize ou} \\ x-2 \lt -\frac{2x-4}{x}\,.&(2)\end{array} \right. \]