# Inégalité (mathématiques)

En mathématiques, une inégalité est une formule reliant deux expressions numériques avec un symbole de comparaison. Une inégalité stricte compare nécessairement deux valeurs différentes tandis qu’une inégalité large reste valable en cas d’égalité.
Contrairement à une interprétation étymologique, la négation d’une égalité (avec le symbole $\neq$) n’est pas considérée comme une inégalité et se traite différemment.
Les inégalités permettent d’encadrer ou de distinguer des valeurs réelles, de préciser une approximation, de justifier le comportement asymptotique d’une série ou d’une intégrale…
La détermination du domaine de validité d’une inégalité revient à la résolution d’une inéquation.

## Vocabulaire et notations
### Ordre numérique

La définition des inégalités repose sur la relation d’ordre de la droite numérique réelle.
À partir d’une comparaison de petites quantités, se traduisant par des inégalités sur les entiers naturels, puis sur les entiers relatifs par symétrie par rapport à 0, la notation décimale positionnelle étend ces inégalités aux nombres décimaux, et les règles de mise au même dénominateur permettent de traiter toutes les fractions d’entiers.
La définition de l’ordre sur la droite réelle dépend de la construction de R choisie. Elle est illustrée par la position relative sur un axe horizontal orienté usuellement vers la droite : un nombre situé à droite est toujours supérieur à un nombre situé plus à gauche, qui est donc inférieur.

### Formulation

Une inégalité stricte peut s’écrire de l’une des deux manières suivantes :
* $a<b$ (« $a$ est strictement inférieur à $b$ ») ;
* $a>b$ (« $a$ est strictement supérieur à $b$ »).
Une inégalité large peut comparer deux nombres égaux ou différents, sous la forme :
* $a\leqslant b$ (« $a$ est inférieur ou égal à $b$ ») ;
* $a\geqslant b$ (« $a$ est supérieur ou égal à $b$ »).
Les symboles $\leqslant$ et $\geqslant$, recommandés par la norme ISO 80000-2, sont souvent remplacés par les symboles $\leq$ et $\geq$, parfois plus accessibles sur les claviers et défini par un code plus court en LaTeX.
Sans précision supplémentaire, les adjectifs supérieur et inférieur sont en général compris au sens large dans les mathématiques françaises, tandis que l’usage anglophone (greater than/superior et less than/inferior) privilégie l’interprétation stricte, en cohérence avec les acceptions du signe et des variations. Cette convention est parfois également utilisée dans les pays francophones en dehors de la France.
Les expressions « plus grand que » et « plus petit que », en usage dans les premières années d’enseignement et dans le vocabulaire courant, peuvent poser problème pour formuler des comparaisons avec des nombres négatifs.
La comparaison des valeurs peut être renforcée en spécifiant un rapport de grandeur important (par exemple supérieur à $10$), notamment en physique :
* La notation $a\ll b$ signifie que $a$ est très inférieur à $b$ ;
* La notation $a\gg b$ signifie que $a$ est très supérieur à $b$.

## Propriétés

Par transitivité de la relation d’ordre, un enchaînement d’inégalités de même sens donne une inégalité entre l’expression initiale et l’expression finale : quels que soient les réels $a,b,c$,
    si $a\leqslant b$ et $b\leqslant c$ alors $a\leqslant c$.
En outre, si l’une des deux inégalités en hypothèse est stricte alors la troisième aussi.
Différentes opérations et fonctions disponibles sur l’ensemble des nombres réels présentent aussi des compatibilités avec la relation d’ordre et permettent de transformer des inégalités.

### Changement de signe

Le changement de signe change aussi le sens de l’inégalité :
    $\forall a,b\in \mathbb {R} ^{2},\quad a\leqslant b\iff -a\geqslant -b$.

### Addition

L’ensemble des nombres réels forme un groupe ordonné, ce qui signifie en particulier que pour tout triplet de réels $(a,b,c)$,
    $a\leqslant b\iff a+c\leqslant b+c$.
Cette première propriété permet de démontrer que l’on peut additionner deux inégalités de même sens.
    Si $a\leqslant b$ et $a'\leqslant b'$ alors $a+a'\leqslant b+b'$.
En outre, si l’une des deux inégalités en hypothèse est stricte alors la troisième aussi.
Plus généralement, si $(x_{1},\ldots ,x_{n})$ et $(y_{1},\ldots ,y_{n})$ sont deux familles de réels alors
    $\left(\forall i\in \left\{1,\dots ,n\right\},x_{i}\leqslant y_{i}\right)\Rightarrow \sum _{i=1}^{n}x_{i}\leqslant \sum _{i=1}^{n}y_{i}$.
La réciproque de cette implication est fausse en général.
En outre, on ne peut soustraire des inégalités de même sens. On peut ajouter une constante négative aux deux membres d’une inégalité, ou additionner la première avec l’opposé de la seconde, mais cette dernière change alors de sens :
    si $a\leqslant b$ et $c\leqslant d$ alors $-d\leqslant -c$ et $a-d\leqslant b-c$.

### Multiplication et division

L’ensemble des réels forme un corps ordonné, ce qui signifie en particulier que pour tout triplet de réels $(a,b,c)$,
    $a\leqslant b\ {\text{et}}\ c\geqslant 0\Rightarrow ac\leqslant bc$.
Ce résultat permet de montrer les équivalences suivantes :
    si $c>0:\quad a\leqslant b\iff ac\leqslant bc\iff {\frac {a}{c}}\leqslant {\frac {b}{c}}$ (préservation de l’inégalité)
    si $c<0:\quad a\leqslant b\iff ac\geqslant bc\iff {\frac {a}{c}}\geqslant {\frac {b}{c}}$ (changement de sens de l’inégalité)
et on peut alors multiplier des inégalités de même sens entre nombres positifs :
    si $0\leqslant a\leqslant b$ et $0\leqslant a'\leqslant b'$ alors $aa'\leqslant bb'$.
Comme pour l’addition, cette propriété s’étend aux produits finis : si $(x_{1},\ldots ,x_{n})$ et $(y_{1},\ldots ,y_{n})$ sont deux familles de réels positifs alors
    $\left(\forall i\in \left\{1,\dots ,n\right\},0\leqslant x_{i}\leqslant y_{i}\right)\Rightarrow \prod _{i=1}^{n}x_{i}\leqslant \prod _{i=1}^{n}y_{i}$.

### Passage à l'inverse

Le passage à l’inverse renverse les inégalités entre nombres (non nuls) de même signe : pour tout couple de réels $(a,b)$ non nuls,
    $0<a\leqslant b\iff 0<{\frac {1}{b}}\leqslant {\frac {1}{a}}$
    $a\leqslant b<0\iff {\frac {1}{b}}\leqslant {\frac {1}{a}}<0$
En revanche, le sens de l’inégalité est préservé entre deux nombres de signes différents :
    $a<0<b\iff {\frac {1}{a}}<0<{\frac {1}{b}}$
Comme pour la soustraction, on ne peut pas diviser deux inégalités, même entre termes de signe positif, mais on peut multiplier par la première inégalité par l’inverse de la seconde, avec un changement de sens.

### Fonctions monotones

Le sens de variation des fonctions peut être utilisé pour transformer une inégalité en une autre de même sens (si la fonction est croissante) ou de sens contraire (si la fonction est décroissante).
On peut par exemple appliquer la fonction exponentielle aux deux membres d'une inégalité :
    $a<b\Leftrightarrow {\rm {e}}^{a}<{\rm {e}}^{b}.$

### Passage à la limite

Si $(u_{n})$ et $(v_{n})$ sont deux suites réelles convergentes telles que pour tout entier $n$ à partir d’un certain rang, $u_{n}\leqslant v_{n}$ alors $\lim _{n\to \infty }u_{n}\leqslant \lim _{n\to \infty }v_{n}$.
En particulier, si $\sum u_{n}$ et $\sum v_{n}$ sont deux séries numériques convergentes telles que pour tout entier n on ait u$_n$ ⩽ v$_n$, alors $\sum _{n=0}^{\infty }u_{n}\leqslant \sum _{n=0}^{\infty }v_{n}$.
De même si $f$ et $g$ sont deux fonctions intégrables sur un intervalle $I$ telles que pour tout $x\in I$ on ait $f(x)\leqslant g(x)$, alors $\int _{I}f(x)\mathrm {d} x\leqslant \int _{I}g(x)\mathrm {d} x$.
Si $X$ et $Y$ sont deux variables aléatoires réelles admettant une espérance telles que $X\leqslant Y$ (presque sûrement), alors $\mathbf {E} (X)\leqslant \mathbf {E} (Y)$.

## Exemples
### Par étude de fonction

Des inégalités dites grossières expriment simplement les ensembles images de fonctions de référence, en particulier :
* $\forall x\in \mathbb {R} ,\quad x^{2}\geqslant 0,\quad e^{x}>0$
* $\forall x\in \mathbb {R} ^{+},\quad {\sqrt {x}}\geqslant 0$
* $\forall x\in \mathbb {R} ,\quad -1\leqslant \sin(x)\leqslant 1,\quad -1\leqslant \cos(x)\leqslant 1$.
D’autres inégalités s’obtiennent facilement par une étude de la différence entre les deux membres :
* $\forall x\in \mathbb {R} ,\quad \mathrm {e} ^{x}\geqslant 1+x$
* $\forall x\in \mathbb {R} ^{+*},\quad \ln(x)\leqslant x-1$
* $\forall x\in \left[0,{\frac {\pi }{2}}\right[,\quad \sin(x)\leqslant x\leqslant \tan(x),\quad \cos(x)\geqslant 1-{\frac {x^{2}}{2}}$.

### Par récurrence

La démonstration par récurrence permet de justifier certains résultats :
* l’inégalité de Bernoulli : pour tout entier $n\geqslant 0$, pour tout réel $x\geqslant -1,\ (1+x)^{n}\geqslant 1+nx$,
* certaines comparaisons de suites sous-linéaires ou sous-géométriques :
    si pour tout entier $n\geqslant 0$ on a $u_{n+1}\leqslant u_{n}+r$ alors on a aussi $u_{n}\leqslant u_{0}+nr$ pour tout $n\geqslant 0$
    si pour tout entier $n\geqslant 0$ on a $0\leqslant u_{n+1}\leqslant u_{n}\times q$ alors on a aussi $u_{n}\leqslant u_{0}\times q^{n}$ pour tout $n\geqslant 0$.

### Par convexité

De nombreuses inégalités classiques découlent des propriétés de convexité ou de concavité d’une fonction réelle d’une ou plusieurs variables réelles. La formulation discrète est généralisée par l’inégalité de Jensen qui, appliquée à la fonction logarithme (qui est concave), permet de démontrer l’inégalité arithmético-géométrique puis une kyrielle d’autres résultats :
* inégalité de Carleman, inégalité de Gibbs,
* inégalité de Young, inégalité de Hölder, inégalité de Minkowski, inégalité de Hardy,
* inégalités de Newton, inégalité de Maclaurin

### Analyse complexe

Il n’y a pas d’inégalités entre nombres complexes du fait de l’absence de relation d’ordre compatible avec la structure de corps sur C. Cependant, l’utilisation du module permet d’étendre l’inégalité triangulaire dans ce cadre, et de formuler d’autres inégalités comme le principe du maximum ou l’inégalité de Cauchy.

### Géométrie

* inégalité triangulaire
* inégalité isopérimétrique
* inégalité de Cauchy-Schwarz

### Théorie des probabilités

* Inégalités de Boole et de Bonferroni
* inégalité de Markov, inégalité de Bienaymé-Tchebychev, inégalité de Chernoff
* inégalité de corrélation, inégalité FKG, inégalité de Harris et inégalité de Tchebychev pour les sommes

### Théorie des nombres

* inégalité de Bonse

## Succession d'inégalités

La notation $a<b<c$ est équivalente à $a<b$ et $b<c$, d'où l'on peut déduire, avec les propriétés de transitivité, que $a<c$. Avec les autres propriétés des inégalités, on peut ajouter ou soustraire n'importe quel terme à l'ensemble des termes comparés, ou les multiplier (ou diviser) par un nombre, en faisant attention à changer le signe si nécessaire. Par exemple, $a<b+e<c$ est équivalent à $a-e<b<c-e$.
On peut généraliser cette notation à un nombre plus important de termes. De fait, $a_{1}\leqslant a_{2}\leqslant \ldots \leqslant a_{n}$ signifie que, pour tout $i$ entre $1$ et $n-1$, on a $a_{i}\leqslant a_{i+1}$. Par transitivité, cela signifie alors que l'on a $a_{i}\leqslant a_{j}$ pour tout $1\leqslant i\leqslant j\leqslant n$.
Lorsque l'on souhaite résoudre des inéquations utilisant cette notation, il est parfois nécessaire de devoir résoudre celles-ci de façon séparée. Par exemple, on ne peut, pour résoudre l'inégalité $4x<2x+1\leqslant 3x+2$, isoler $x$ dans un des termes. Il faut alors résoudre les inéquations séparément, puis de chercher l'intersection des solutions.
On peut aussi observer de telles notations mélangeant plusieurs comparaisons. Ainsi, $a<b=c\leqslant d$ signifie que $a<b$, $b=c$ et que $c\leqslant d$ (et donc, par transitivité, que $a<d$, par exemple).
Une succession d’inégalités permet aussi de définir un encadrement de la valeur intermédiaire.

## Inégalités entre moyennes

Il existe des inégalités entre les diverses sortes de moyennes. Par exemple, pour des nombres strictement positifs $a_{1},a_{2},\ldots ,a_{n}$, si
    $H={\frac {n}{1/a_{1}+1/a_{2}+\cdots +1/a_{n}}}$  (moyenne harmonique), $G={\sqrt[{n}]{a_{1}\cdot a_{2}\cdots a_{n}}}$(moyenne géométrique), $A={\frac {a_{1}+a_{2}+\cdots +a_{n}}{n}}$(moyenne arithmétique), $Q={\sqrt {\frac {a_{1}^{2}+a_{2}^{2}+\cdots +a_{n}^{2}}{n}}}$(moyenne quadratique),
on a : $H\leqslant G\leqslant A\leqslant Q$
Plus généralement, en notant $a$ le $n$-uplet de réels strictement positifs $(a_{1},\ldots ,a_{n})$, on peut définir la moyenne d'ordre $p$ de $a$ pour tout nombre réel $p$, notée $M_{p}(a)$, de la manière suivante :
    $M_{p}(a)={\begin{cases}\left(\displaystyle {\frac {1}{n}}\sum _{i=1}^{n}{a_{i}}^{p}\right)^{\frac {1}{p}}&{\mbox{si }}p\neq 0\\{\sqrt[{n}]{\displaystyle \prod _{i=1}^{n}{a_{i}}}}&{\mbox{si }}p=0\end{cases}}$ ;
on a alors l'inégalité qui suit dès que $p_{i}<p_{2}$ (ce qui traduit la croissance de la fonction $p\mapsto M_{p}(a)$) :
    $M_{p_{1}}(a)\leq M_{p_{2}}(a)$.
(On avait ci-dessus $H=M_{-1}(a),\ G=M_{0}(a),\ A=M_{1}(a)$ et $Q=M_{2}(a)$ ; on peut de plus montrer que la définition de $M_{0}(a)$ par la moyenne géométrique assure la continuité en $0$ de $p\mapsto M_{p}(a)$.)

## Quelques inégalités

* Inégalité triangulaire : Si $a,b$ réels ou complexes, alors $|a+b|<|a|+|b|$ ($\mid \ .\mid$ est une norme, par exemple la valeur absolue pour les réels ou le module pour les complexes).
* Si $x>0$, alors
       $x^{x}\geq \left({\frac {1}{\rm {e}}}\right)^{\dfrac {1}{\rm {e}}}.\,$
* Si $x>0$, alors
       $x^{x^{x}}\geq x.\,$
* Si $x,y,z>0$, alors
       $(x+y)^{z}+(x+z)^{y}+(y+z)^{x}>2.\,$
* Si $x,y,z>0$, alors
       $x^{x}y^{y}z^{z}\geq (xyz)^{(x+y+z)/3}.\,$
* Si $a,b>0$, alors
       $a^{a}+b^{b}\geq a^{b}+b^{a}.\,$
* Si $a,b>0$, alors
       $a^{ea}+b^{eb}\geq a^{eb}+b^{ea}.\,$
* Si $a,b,c>0$, alors
       $a^{2a}+b^{2b}+c^{2c}\geq a^{2b}+b^{2c}+c^{2a}.\,$
* Si $a_{1},\ldots ,a_{n}>0$, alors
       $a_{1}^{a_{2}}+a_{2}^{a_{3}}+\cdots +a_{n}^{a_{1}}>1.\,$

## Codage
### Symbole

Dans les langages de programmation, les inégalités larges sont souvent notées à l’aide des opérateurs >= et <=, qui n’utilisent que des caractères ASCII.
En XML, les chevrons < et > étant réservés, leur notation est remplacée par les codes &lt; et &gt;.
Codages des différents chevrons utilisés pour les inégalités :
| Inégalité | Symbole | Unicode | HTML | LaTeX |
| stricte | < | U+003C | &lt; | < |
| stricte | > | U+003E | &gt; | > |
| large | ≤ | U+2264 | &le; | \le |
| large | ≥ | U+2265 | &ge; | \ge |
| large | ⩽ | U+2A7D | | \leqslant |
| large | ⩾ | U+2A7E | | \geqslant |
D’autres symboles similaires sont disponibles dans les tables de caractères Unicode des symboles mathématiques (U2200) et le supplément d’opérateurs mathématiques (U2A00).

### Enchainement

Dans la plupart des langages de programmation, un enchainement d’inégalités $a<b<c$ est encodé par une conjonction :
    (a < b) and (b < c).
En Python cependant, un enchainement d’inégalités peut être saisi comme en mathématiques, y compris avec des sens contraires, chaque inégalité étant traitée entre deux termes consécutifs.