L'inégalité de Cauchy-Schwarz est l'inégalité remarquable suivante.
Inégalité de Cauchy-Schwarz
Soient $a_1, \ldots, a_n \in \mathbb{R}$ et $b_1, \ldots, b_n \in \mathbb{R}$. On a l'inégalité
$$(a_1b_1 + \ldots + a_nb_n)^2 \leq \left(a_1^2 + \ldots + a_n^2\right)\cdot\left(b_1^2 + \ldots + b_n^2\right),$$ ce qui s'écrit aussi, à l'aide du signe somme,
$$\left(\sum_{i=1}^n a_i b_i\right)^2 \leq
\left(\sum_{i=1}^n a_i^2\right) \cdot
\left(\sum_{i=1}^n b_i^2\right).$$ De plus, l'égalité a lieu si et seulement si les vecteurs $(a_1, \ldots, a_n)$ et $(b_1, \ldots, b_n)$ sont proportionnels, c'est-à-dire si $a_i = 0$ pour tout $i \in \{1, \ldots, n\}$ ou s'il existe $\lambda \in \mathbb{R}$ tel que $b_i = \lambda a_i$ pour tout $i \in \{1, \ldots, n\}$.
Cette inégalité est parfois mieux connue sous la forme suivante (que l'on obtient en prenant la racine carrée de chaque membre) :
$$\left|\sum_{i=1}^n a_i b_i\right| \leq
\sqrt{\sum_{i=1}^n a_i^2} \cdot
\sqrt{\sum_{i=1}^n b_i^2},$$ qui est bien sûr également vraie en supprimant les valeurs absolues puisque $x \leq |x|$ pour tout $x \in \mathbb{R}$.
Démonstration
On remarque que l'inégalité de Cauchy-Schwarz peut se réécrire
$$\left(2\sum_{i=1}^n a_i b_i\right)^2 - 4
\left(\sum_{i=1}^n a_i^2\right) \cdot
\left(\sum_{i=1}^n b_i^2\right) \leq 0$$ Cela ressemble à la condition "$b^2-4ac \leq 0$" apparaissant dans l'étude du signe d'un polynôme $ax^2 + bx + c$. Ici, le polynôme correspondant est alors
$$P(x) = \left(\sum_{i=1}^n a_i^2\right) x^2 + \left(2\sum_{i=1}^n a_ib_i\right) x + \left(\sum_{i=1}^n b_i^2\right).$$ Si les $a_i$ sont tous nuls, alors l'inégalité de Cauchy-Schwarz est trivialement vérifiée (et on a même l'égalité). On peut donc à présent supposer qu'ils ne sont pas tous nuls de sorte que $P$ soit bien un polynôme du second degré (le coefficient $\displaystyle\left(\sum_{i=1}^n a_i^2\right)$ de $x^2$ est dans ce cas non-nul).
Comme nous l'avons vu, l'inégalité de Cauchy-Schwarz sera vérifiée si et seulement si le polynôme $P(x)$ est du signe de $\displaystyle\left(\sum_{i=1}^n a_i^2\right)$, c'est-à-dire positif, pour tout $x \in \mathbb{R}$. Or, on remarque qu'on a justement
$$\begin{align}
P(x) & = \sum_{i=1}^n \left(a_i^2 x^2 + 2a_ib_i x + b_i^2\right)\\
& = \sum_{i=1}^n \left(a_i x + b_i\right)^2 \geq 0,
\end{align}$$ ce qui signifie que l'inégalité de Cauchy-Schwarz est bel et bien vérifiée.
Enfin, on aura l'égalité si et seulement si les $a_i$ sont tous nuls (comme nous l'avons déjà vu) ou si "$b^2 - 4ac = 0$", c'est-à-dire s'il existe un certain $x \in \mathbb{R}$ tel que $P(x) = 0$. Cela est équivalent à dire que $a_i x + b_i = 0$ pour tout $i \in \{1, \ldots, n\}$, ou encore que $b_i = - x a_i$ pour tout $i \in \{1, \ldots, n\}$. En posant $\lambda = -x$, on a bien le cas d'égalité annoncé.
Interprétation géométrique
Il existe en fait une intuition géométrique derrière l'inégalité de Cauchy-Schwarz. En effet, pour $n = 2$ et $n = 3$ (cela se généralise en fait pour tout $n \in \mathbb{N}$, quoique cela soit moins intuitif), l'expression $\displaystyle\sqrt{\sum_{i=1}^n a_i^2}$ est la norme $\|\vec{a}\|$ du vecteur $\vec{a} = (a_1, \ldots, a_n)$. D'autre part, l'expression $\displaystyle\sum_{i=1}^n a_i b_i$ est le produit scalaire $\vec{a} \cdot \vec{b}$ des deux vecteurs $\vec{a} = (a_1, \ldots, a_n)$ et $\vec{b} = (b_1, \ldots, b_n)$. Cela signifie que l'inégalité de Cauchy-Schwarz se réécrit en fait simplement
$$|\vec{a} \cdot \vec{b}| \leq \|\vec{a}\| \cdot \|\vec{b}\|,$$ et que l'égalité a lieu si et seulement si les vecteurs $\vec{a}$ et $\vec{b}$ sont parallèles.
En plus de donner une intuition géométrique, cette constatation permet de retenir assez facilement l'inégalité de Cauchy-Schwarz.