Somme Des Réels : Prouver Que La Somme Ne Dépasse Pas N/3

Salut les passionnés de maths ! Aujourd'hui, on plonge dans un problème super intéressant d'algèbre qui va nous faire réfléchir aux propriétés des nombres réels et aux inégalités. Le défi est le suivant : on a une série de nombres réels, appelons-les $x_1, x_2, \dots, x_n$, qui sont tous coincés dans l'intervalle fermé $[-1, 1]$. Le truc, c'est que la somme de leurs cubes, c'est-à-dire $x_1^3 + x_2^3 + \dots + x_n^3$, est égale à zéro. Notre mission, si on l'accepte, est de prouver que la somme de ces nombres eux-mêmes, $x_1 + x_2 + \dots + x_n$, ne peut pas dépasser $n/3$. Ça a l'air tordu, hein ? Mais restez avec moi, on va décortiquer ça ensemble !

Les Fondations : Comprendre le Problème et les Contraintes

Avant de se lancer dans des démonstrations complexes, il est crucial de bien comprendre le problème et toutes les contraintes. On a nos $n$ nombres réels, les $x_i$, et ils sont tous bornés entre $-1$ et $1$, inclusivement. Ça veut dire que pour chaque $i$, on a $-1 \le x_i \le 1$. C'est une première information super utile. Ensuite, on a une condition sur leurs cubes : $\sum_{i=1}^n x_i^3 = 0$. Cette égalité est la clé de voûte de notre problème. Elle nous dit qu'il y a un équilibre particulier entre les valeurs positives et négatives des cubes. Si tous les $x_i$ étaient positifs, leur somme des cubes serait positive (sauf si tous étaient zéro). De même, si tous étaient négatifs, la somme des cubes serait négative. Donc, cette condition implique nécessairement qu'il doit y avoir à la fois des termes positifs et des termes négatifs dans la somme des cubes. Enfin, le but est de montrer que $\sum_{i=1}^n x_i \le n/3$. On cherche donc une borne supérieure pour la somme des nombres eux-mêmes, et cette borne dépend de $n$, le nombre total de termes. Le fait que la borne soit $n/3$ et non $n$ ou $n/2$ suggère qu'il y a des interactions subtiles entre les nombres qui limitent leur somme globale.

L'intervalle $[-1, 1]$ est aussi très important. Il nous donne des limites sur la magnitude de chaque $x_i$. Puisque $-1 \le x_i \le 1$, alors on a aussi $-1 \le x_i^3 \le 1$. C'est une propriété des fonctions impaires comme $f(x) = x^3$ : si $x$ est dans $[-1, 1]$, alors $x^3$ l'est aussi. L'astuce ici est souvent de trouver une relation entre $x_i$ et $x_i^3$ qui nous permette de faire le lien entre la somme des cubes et la somme des nombres. Des substitutions comme $x_i = \sin(a_i)$ ou $x_i = \cos(a_i)$ sont souvent utiles dans ce genre de contexte, surtout si des angles sont impliqués ou si l'on veut utiliser des propriétés trigonométriques. L'intuition derrière le $n/3$ pourrait venir du fait que pour que la somme des cubes soit nulle, on ne peut pas avoir trop de valeurs positives importantes (car $x^3$ croît vite) sans être compensées par des valeurs négatives. Si on prend des $x_i$ positifs, leur somme est limitée. Si on prend des $x_i$ négatifs, leur somme est aussi limitée. La borne $n/3$ pourrait émerger d'une analyse plus fine de la façon dont ces valeurs positives et négatives s'équilibrent.

Première Piste : L'Inégalité Clé et la Transformation Astucieuse

Les mathématiciens sont souvent appelés à trouver l'inégalité clé qui débloque un problème. Ici, on cherche à relier $x_i$ à $x_i^3$. Une idée serait de trouver une fonction $f$ telle que $x_i \le C \cdot x_i^3 + D$ pour certaines constantes $C$ et $D$. Si on parvient à prouver une telle relation, on pourrait alors sommer sur tous les $i$ et utiliser la condition $\sum x_i^3 = 0$ pour obtenir une borne sur $\sum x_i$. Pensons à la fonction $f(x) = x - ax^3$. On aimerait que cette fonction soit majorée par une constante, ou qu'elle ait une forme exploitable. Si on étudie la fonction $g(x) = x - \frac{1}{3}x^3$, on remarque que sa dérivée est $g'(x) = 1 - x^2$. Sur l'intervalle $[-1, 1]$, $g'(x) \ge 0$, ce qui signifie que $g(x)$ est croissante sur cet intervalle. Ses valeurs aux bornes sont $g(-1) = -1 - \frac{1}{3}(-1)^3 = -1 + \frac{1}{3} = -\frac{2}{3}$ et $g(1) = 1 - \frac{1}{3}(1)^3 = 1 - \frac{1}{3} = \frac{2}{3}$. Donc, pour tout $x \in [-1, 1]$, on a $-\frac{2}{3} \le x - \frac{1}{3}x^3 \le \frac{2}{3}$. Cette inégalité est intéressante, mais elle ne semble pas directement nous mener à $\sum x_i \le n/3$. On a plutôt $x_i \le \frac{1}{3}x_i^3 + \frac{2}{3}$ et $x_i \ge \frac{1}{3}x_i^3 - \frac{2}{3}$. Si on somme la première, on obtient $\sum x_i \le \frac{1}{3}\sum x_i^3 + \sum \frac{2}{3} = \frac{1}{3}(0) + n \cdot \frac{2}{3} = \frac{2n}{3}$. C'est une borne, mais pas celle qu'on cherche ($n/3$).

Il faut chercher une inégalité différente. Essayons de voir si on peut majorer $x_i$ par quelque chose qui fait intervenir $x_i^3$ de manière plus favorable. Considérons la fonction $h(x) = x - ax^3$. On veut que $h(x)$ soit bornée supérieurement sur $[-1, 1]$. La dérivée est $h'(x) = 1 - 3ax^2$. Pour que $h(x)$ ait un maximum sur $[-1, 1]$, il faut que $h'(x)$ s'annule à l'intérieur de l'intervalle, c'est-à-dire pour $x \in (-1, 1)$. $1 - 3ax^2 = 0$ implique $x^2 = 1/(3a)$. Cela nécessite $3a > 0$, donc $a > 0$. Si $a$ est assez grand, le maximum peut être positif. Cherchons plutôt une inégalité de la forme $x_i \le A(x_i^3 - B)$. Cette forme ne semble pas non plus très prometteuse. Retrouvons l'esprit de l'inégalité $x - \frac{1}{3}x^3$. Ce qui nous a limité c'est la constante $2/3$. Si on modifie légèrement l'inégalité, peut-être en tenant compte de la condition $\sum x_i^3 = 0$? Une autre approche est de considérer des fonctions de la forme $f(x) = x - kx^3$. On cherche à borner $f(x)$. La dérivée est $f'(x) = 1 - 3kx^2$. Si $k=1/3$, $f'(x) = 1-x^2$, $f(x)$ est croissante, max $2/3$ en $x=1$, min $-2/3$ en $x=-1$. Si $k=1$, $f'(x) = 1-3x^2$, s'annule en $x = \pm 1/\sqrt{3}$. $f(1/ \sqrt{3}) = 1/ \sqrt{3} - (1/ \sqrt{3})^3 = 1/ \sqrt{3} - 1/(3 \sqrt{3}) = 2/(3 \sqrt{3})$. $f(-1/ \sqrt{3}) = -2/(3 \sqrt{3})$. Valeurs aux bornes: $f(1)=0, f(-1)=0$. Le maximum est $2/(3 \sqrt{3})$ et le minimum est $-2/(3 \sqrt{3})$. Donc $x - x^3 \le 2/(3 \sqrt{3})$.

Il faut une approche plus directe qui utilise la somme des cubes. L'astuce pourrait venir de l'observation suivante: si $x a \in [-1, 1]$, alors $x^3 \le x$. Ceci est vrai si $x^3-x \le 0$, soit $x(x^2-1) \le 0$. Comme $x^2-1 \le 0$ pour $x \in [-1, 1]$, on a bien $x(x^2-1) \le 0$. Donc $x^3 \le x$ pour tout $x \in [-1, 1]$. En sommant sur tous les $i$, $\sum x_i^3 \le \sum x_i$. Comme $\sum x_i^3 = 0$, on obtient $0 \le \sum x_i$. Cela nous donne une borne inférieure, mais pas la borne supérieure $n/3$. On cherche $\sum x_i \le n/3$. Le fait que $\sum x_i^3 = 0$ est crucial. Il implique qu'il y a des $x_i$ positifs et des $x_i$ négatifs (ou tous nuls). Considérons l'inégalité suivante : pour tout $x \in [-1, 1]$, on a $x \le \frac{1}{3} (x^3 + 1)$ ? Non, par exemple si $x=1$, $1 \le \frac{1}{3}(1+1) = 2/3$ faux. Que diriez-vous de $x \le \frac{1}{2}(x^3+1)$? Si $x=1$, $1 \le \frac{1}{2}(1+1) = 1$. Vrai. Si $x=-1$, -1 \le rac{1}{2}(-1+1)=0. Vrai. Si $x=0$, 0 \le rac{1}{2}(0+1)=1/2. Vrai. Si $x=0.5$, 0.5 \le rac{1}{2}(0.125+1)=0.5625. Vrai. En fait, l'inégalité $x \le \frac{1}{2}(x^3+1)$ est équivalente à $2x \le x^3+1$, ou $x^3 - 2x + 1 \ge 0$. Posons $P(x) = x^3 - 2x + 1$. On sait que $P(1) = 1-2+1 = 0$. Donc $(x-1)$ est un facteur. Par division polynomiale ou inspection, $P(x) = (x-1)(x^2+x-1)$. Les racines de $x^2+x-1=0$ sont $x = \frac{-1 \pm \sqrt{1 - 4(1)(-1)}}{2} = \frac{-1 \pm \sqrt{5}}{2}$. La racine positive est $\frac{-1 + \sqrt{5}}{2} \approx \frac{-1+2.23}{2} \approx 0.618$ (le nombre d'or $\phi-1$). La racine négative est $\frac{-1 - \sqrt{5}}{2} \approx -1.618$. Sur l'intervalle $[-1, 1]$, les racines sont $1$ et $\frac{-1 + \sqrt{5}}{2}$. L'expression $(x-1)(x^2+x-1)$ est positive quand $x \in [-1, \frac{-1 + \sqrt{5}}{2}]$ ou $x \in [1, \infty)$. Donc, sur $[-1, 1]$, l'inégalité $x \le \frac{1}{2}(x^3+1)$ est vraie pour $x a \in [-1, \frac{-1 + \sqrt{5}}{2}]$. Elle n'est pas vraie pour tout $x a \in [-1, 1]$. Cette piste ne fonctionne pas.

La Bonne Inégalité : L'astuce du polynôme

Après avoir exploré plusieurs pistes, revenons à l'essence du problème : $\sum x_i^3 = 0$ et on veut $\sum x_i \le n/3$. L'astuce pourrait résider dans une inégalité polynomiale spécifique qui lie $x$ et $x^3$ d'une manière qui, une fois sommée, donne le résultat souhaité. Considérons le polynôme $P(x) = x - ax^3 - b$. On veut que $P(x) \le 0$ pour $x \in [-1, 1]$, avec des conditions sur $a$ et $b$ qui utilisent le fait que $\sum x_i^3 = 0$. Essayons d'établir une inégalité de la forme $x_i \le \frac{1}{3} x_i^3 + C$ pour une constante $C$. Si on peut prouver que pour tout $x a \in [-1, 1]$, $x \le \frac{1}{3}x^3 + \frac{2}{3}$, alors en sommant, on obtient $\sum x_i \le \frac{1}{3} \sum x_i^3 + \sum \frac{2}{3} = \frac{1}{3}(0) + n \cdot \frac{2}{3} = \frac{2n}{3}$. Ce n'est pas encore $n/3$. Il faut une borne plus serrée. L'astuce consiste à trouver une inégalité qui s'active différemment pour les valeurs positives et négatives de $x_i$, ou une inégalité qui exploite mieux la condition $\sum x_i^3 = 0$. Une inégalité souvent utilisée dans ce genre de problème est basée sur le fait que pour $x a \in [-1, 1]$, $x^3$ est