ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 3 — Calcul algébrique · Sommes doubles

Exercice 21

DémonstrationCalcul

Soit n⩾1n \geqslant 1 et x1x_{1}, …, xnx_{n} des réels strictement positifs. Montrer que (∑i=1nxi)(∑j=1n1xj)⩾n2.\Big(\sum_{i=1}^{n} x_{i}\Big)\Big(\sum_{j=1}^{n} \frac{1}{x_{j}}\Big) \geqslant n^{2}. On écrira le produit comme une somme double, et l'on regroupera les termes d'indices (i,j)(i,j) et (j,i)(j,i). Étudier le cas d'égalité.

Corrigé

Par la proposition 7 du cours, le produit vaut P=∑1⩽i,j⩽nxixjP = \sum_{1 \leqslant i,j \leqslant n} \frac{x_{i}}{x_{j}}. Les nn termes diagonaux valent 11. Les autres se regroupent par paires {(i,j),(j,i)}\{(i,j), (j,i)\} avec i<ji < j, au nombre de n(n−1)2\frac{n(n-1)}{2}, et pour u=xixj>0u = \frac{x_{i}}{x_{j}} > 0, u+1u−2=(u−1)2u⩾0.u + \frac{1}{u} - 2 = \frac{(u - 1)^{2}}{u} \geqslant 0. Donc P⩾n+2×n(n−1)2=n2P \geqslant n + 2 \times \frac{n(n-1)}{2} = n^{2}. (∑i=1nxi)(∑j=1n1xj)⩾n2, avec eˊgaliteˊ si et seulement si tous les xi sont eˊgaux.\boxed{\Big(\sum_{i=1}^{n} x_{i}\Big)\Big(\sum_{j=1}^{n} \frac{1}{x_{j}}\Big) \geqslant n^{2}, \text{ avec égalité si et seulement si tous les } x_{i} \text{ sont égaux.}} L'égalité impose u=1u = 1 pour chaque paire. Cette inégalité exprime que la moyenne arithmétique des xix_{i} est supérieure à leur moyenne harmonique ; elle se déduira aussi de l'inégalité de Cauchy-Schwarz du chapitre 19.

Dans l'édifice

Thèmes

sommes doubles

Ouvrir dans l'atlas interactif →