1.5 Valeur absolue et distance
La valeur absolue de \(x\in \mathbb{R}\) est définie par \[ |x|:= \begin{cases} x&\text{ si }x\gt 0\,,\\ 0&\text{ si }x=0\,,\\ -x&\text{ si }x\lt 0\,. \end{cases} \]

Exemple:

Les propriétés suivantes suivent de la définition: pour tous \(x,y\in\mathbb{R}\),

  1. \(|x|\geqslant 0\)
  2. \(|-x|=|x|\)
  3. \(|x|=0\) si et seulement si \(x=0\)
  4. \(-|x|\leqslant x\leqslant |x|\)
  5. Si \(a\geqslant 0\), alors \(|x|\leqslant a\) si et seulement si \(-a\leqslant x\leqslant +a\).
  6. \(|x\cdot y|= |x|\cdot |y|\)
  7. Si \(y\neq 0\), \(|\frac{x}{y}|=\frac{|x|}{|y|}\).
  8. Si on divise un réel non-nul \(x\) par sa valeur absolue, on obtient son signe: \[ \frac{x}{|x|}= \begin{cases} +1&\text{ si }x>0\,,\\ -1&\text{ si }x<0\,. \end{cases} \]
(Inégalité triangulaire) Pour tous \(x,y\in \mathbb{R}\), \[|x+y|\leqslant |x|+|y|\,.\]

Si \(x+y\geqslant 0\), alors \[ |x+y|=x+y\leqslant |x|+|y|\,. \] Si \(x+y< 0\), alors \[ |x+y|=-(x+y)=(-x)+(-y)\leqslant |x|+|y|\,. \]

L'inégalité triangulaire sera utilisée très souvent lorsqu'on aura besoin d'estimer des sommes de réels. Plus précisément, considérons la somme de deux nombres \(x\) et \(y\), que l'on sait être ''petits'' dans le sens où on a trouvé un \(\varepsilon>0\) tel que \(|x|\leqslant \varepsilon\) et \(|y|\leqslant \varepsilon\). (Remarquons que ceci n'implique rien sur les signes des nombres \(x\) et \(y\).) Alors, l'inégalité triangulaire permet de garantir que \[ |x+y|\leqslant |x|+|y|\leqslant \varepsilon+\varepsilon=2\varepsilon\,, \] et donc \[ -2\varepsilon \leqslant x+y\leqslant 2\varepsilon\,. \]

Remarque: On peut utiliser la valeur absolue pour caractériser le nombre ''zéro'': c'est l'unique nombre dont la valeur absolue est plus petite que tout nombre positif: \[ x=0\Longleftrightarrow |x|=0 \Longleftrightarrow |x|\leqslant \varepsilon\quad \forall \varepsilon\gt 0\,. \]

Distance

La valeur absolue permet de mesurer la proximité de deux réels \(x,y,\in \mathbb{R}\), en définissant leur distance: \[ \mathrm{dist}(x,y):= |x-y|\,. \]

Lemme: (Propriétés de la distance)

  1. \(d(x,y)\geqslant 0\) pour tous \(x,y\in \mathbb{R}\). De plus, \(d(x,y)=0\) si et seulement si \(x=y\).
  2. \(d(x,y)=d(y,x)\) pour tous \(x,y\in \mathbb{R}\)
  3. Pour tous \(x,y,z\in \mathbb{R}\), \[ \mathrm{dist}(x,y)\leqslant \mathrm{dist}(x,z)+\mathrm{dist}(z,y)\,. \]

Les deux premières affirmations suivent directement des propriétés de la valeur absolue. Pour la troisième, on insère \(-z+z=0\), et on utilise l'inégalité triangulaire: \[\begin{aligned} \mathrm{dist}(x,y)=|x-y|&=|(x-z)+(z-y)|\\ &\leqslant |x-z|+|z-y|\\ &=\mathrm{dist}(x,z)+\mathrm{dist}(z,y)\,. \end{aligned}\] Remarque: En géométrie Euclidienne, l'inégalité triangulaire dit que le chemin direct allant d'un point \(A\) à un point \(B\) est plus court que tout autre chemin passant par un point intermédiaire \(C\):

\[ \mathrm{dist}(A,B)\leqslant \mathrm{dist}(A,C)+\mathrm{dist}(C,B) \,. \]

On utilisera souvent les équivalences suivantes: \[\begin{aligned} \mathrm{dist}(x,a)\leqslant \varepsilon \quad &\Longleftrightarrow \quad |x-a|\leqslant \varepsilon \quad\\ &\Longleftrightarrow \quad a-\varepsilon\leqslant x\leqslant a+\varepsilon\\ \quad &\Longleftrightarrow \quad x\in [a-\varepsilon,a+\varepsilon] \end{aligned}\]

Quiz 1.5-1 : Soit \(a\gt 0\).
  1. Si \(x\leqslant a\), alors \(|x|\leqslant a\).
  2. Si \(x\gt a\), alors \(|x|\gt a\).
  3. Si \(|x|\leqslant a\), alors soit \(x=a\), soit \(-a\lt x\lt a\).
Quiz 1.5-2 : Vrai ou faux?
  1. Si \(\mathrm{dist}(x,y)\gt 0\), alors \(x\neq y\).
  2. Si \(x\geqslant a\) et \(|y|\leqslant a/2\), alors \(x+y\geqslant a/2\).
  3. Si \(x\lt y\), alors \(\mathrm{dist}(x,y)\lt 0\).
  4. Si \(x\lt z\lt y\), alors \(\mathrm{dist}(x,z)\lt \mathrm{dist}(z,y)\).
  5. Si \(y=x/2\), alors \(\mathrm{dist}(x,y)=\frac{x}{2}\).
  6. Si \(\mathrm{dist}(x,y)=\alpha\) et \(\mathrm{dist}(y,z)=\beta\), alors \(\mathrm{dist}(x,z)=\alpha+\beta\).
  7. Si \(x\lt z\lt y\), alors \(\mathrm{dist}(x,y)^2\leqslant \mathrm{dist}(x,z)^2+\mathrm{dist}(z,y)^2\).
  8. ⚡ Si \(\mathrm{dist}(x,y)\leqslant \varepsilon\) pour tout \(\varepsilon\gt 0\), alors \(x=y\).
Quiz 1.5-3 : Vrai ou faux?
  1. Si \(x\gt 0\), alors \(|\sin(x)|=\sin(x)\).
  2. Pour tout \(x\in\mathbb{R}\), \(|x^2+x+1|=x^2+x+1\).
  3. \(|\cos(8)|=\cos(8)\).

Dernière compilation: 2025-07-14 (10:45:40)

Sauf indication contraire, le contenu de ce document est soumis à une licence Creative Commons internationale, Attribution: Pas d'Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 (CC BY-NC-SA 4.0)