Inégalité $\sum \frac{a}{(1+b)^2} \leq \frac{3}{4}$ Pour $abc=1$

Salut les passionnés de maths ! Aujourd'hui, on plonge dans un problème d'inégalité qui va vous faire chauffer les méninges : est-il vrai que pour tous les nombres réels positifs $a, b, c$ tels que leur produit $abc=1$, l'expression $\frac{a}{(1+b)^2} + \frac{b}{(1+c)^2} + \frac{c}{(1+a)^2}$ est toujours inférieure ou égale à $\frac{3}{4}$ ? C'est une question qui sent bon la compétition mathématique et qui nous pousse à explorer les recoins de l'algèbre et des inégalités. Accrochez-vous, car on va tenter de prouver ou de réfuter cette affirmation, en explorant diverses techniques comme la substitution et l'inégalité de Cauchy-Schwarz. Ce genre de défis est parfait pour aiguiser notre compréhension des propriétés fondamentales des nombres et des manipulations algébriques.

Explorer les Fondations : Le Cas de l'Égalité et les Premières Intuitions

Avant de se lancer tête baissée dans des démonstrations complexes, il est souvent judicieux de tester des cas simples pour se faire une idée. Si on prend $a=b=c=1$, alors $abc=1$ est bien vérifié. Dans ce cas, chaque terme de la somme devient $\frac{1}{(1+1)^2} = \frac{1}{4}$. La somme totale est donc $\frac{1}{4} + \frac{1}{4} + \frac{1}{4} = \frac{3}{4}$. Bingo ! L'égalité est atteinte dans ce cas précis, ce qui renforce notre intuition que l'inégalité est probablement vraie. Mais attention, un seul cas ne suffit pas à prouver une inégalité générale. Il faut maintenant montrer que pour toutes les combinaisons de $a, b, c$ positives avec $abc=1$, la somme reste inférieure ou égale à $\frac{3}{4}$. La présence de la condition $abc=1$ est cruciale ; elle nous suggère souvent des substitutions astucieuses ou l'utilisation d'inégalités qui fonctionnent bien avec des produits constants, comme l'inégalité arithmético-géométrique (AM-GM).

L'idée derrière ce type d'inégalité est de trouver une borne supérieure. On cherche à majorer chaque terme de la somme, ou la somme entière, en utilisant les propriétés de $a, b, c$. La structure cyclique de l'expression est également un indice : les permutations de $a, b, c$ dans les termes et les dénominateurs suggèrent que des méthodes symétriques seront probablement efficaces. On pourrait penser à utiliser des substitutions comme $a=x/y, b=y/z, c=z/x$ pour simplifier la condition $abc=1$, ou directement des fonctions de paramètres. Mais avant de s'aventurer là-dedans, explorons les techniques qui semblent les plus prometteuses pour ce type de problème.

Les inégalités impliquant des expressions rationnelles comme celle-ci font souvent appel à des outils puissants. L'inégalité de Cauchy-Schwarz est une candidate naturelle, surtout quand on voit des carrés au dénominateur. Elle peut prendre plusieurs formes, mais une version courante est $(\sum x_i y_i)^2 \leq (\sum x_i^2) (\sum y_i^2)$. Une autre approche pourrait être de tenter de majorer le terme $\frac{a}{(1+b)^2}$ individuellement. Par exemple, on pourrait essayer de trouver une borne pour $(1+b)^2$ en fonction de $a$ et $c$, en utilisant $abc=1$. Cependant, le fait que le dénominateur dépende de $b$ et que le numérateur dépende de $a$ rend la majoration directe un peu délicate sans une astuce.

Une autre piste serait de travailler sur le dénominateur $(1+b)^2$. On sait que $1+b \geq 2\sqrt{b}$ par AM-GM. Donc $(1+b)^2 \geq 4b$. Ceci donnerait $\frac{a}{(1+b)^2} \leq \frac{a}{4b}$. La somme deviendrait alors $\sum \frac{a}{4b} = \frac{1}{4} (\frac{a}{b} + \frac{b}{c} + \frac{c}{a})$. Par AM-GM appliqué à $\frac{a}{b}, \frac{b}{c}, \frac{c}{a}$, on sait que leur somme est $\geq 3\sqrt[3]{\frac{a}{b} \frac{b}{c} \frac{c}{a}} = 3$. Donc $\sum \frac{a}{4b} \geq \frac{3}{4}$. Cela ne prouve pas notre inégalité, au contraire, ça montre que cette majoration est trop grossière car elle donne une borne inférieure. Il faut donc une approche différente pour majorer.

L'une des stratégies consiste à utiliser des inégalités plus fines pour le dénominateur ou pour l'ensemble du terme. Par exemple, on pourrait essayer de relier $(1+b)^2$ à $a$ et $c$ d'une manière qui permette une majoration. Une idée serait de chercher une expression de la forme \frac{a}{(1+b)^2} \leq k cdot ( ext{quelque chose avec } a, c ext{ et } abc=1). C'est là que les substitutions avancées ou des techniques spécifiques aux inégalités deviennent nécessaires. Le fait que $a=b=c=1$ donne $\frac{3}{4}$ est un excellent point de départ, et nous incite à croire que cette valeur est effectivement le maximum.

La Puissance de la Substitution : Simplifier le Problème

L'une des méthodes les plus efficaces pour aborder les inégalités avec la condition $abc=1$ est la substitution. Puisque $a, b, c$ sont des réels positifs, on peut les exprimer en fonction de deux variables. Par exemple, posons $a = x/y$, $b = y/z$, $c = z/x$ pour des réels positifs $x, y, z$. Cette substitution garantit que $abc = (x/y)(y/z)(z/x) = 1$. L'inégalité à prouver devient alors :

$$\frac{x/y}{(1+y/z)^2} + \frac{y/z}{(1+z/x)^2} + \frac{z/x}{(1+x/y)^2} \leq \frac{3}{4}$$

Simplifions le premier terme : $\frac{x/y}{(1+y/z)^2} = \frac{x/y}{(\frac{z+y}{z})^2} = \frac{x}{y} \frac{z^2}{(y+z)^2} = \frac{xz^2}{y(y+z)^2}$. L'inégalité devient :

$$\frac{xz^2}{y(y+z)^2} + \frac{yz^2}{z(z+x)^2} + \frac{zx^2}{x(x+y)^2} \leq \frac{3}{4}$$

Simplifions encore : on remarque qu'il y a une faute dans la deuxième et la troisième fraction lors de la substitution. Reprenons : $a=x/y$, $b=y/z$, $c=z/x$. Le premier terme est $\frac{a}{(1+b)^2} = \frac{x/y}{(1+y/z)^2} = \frac{x/y}{((z+y)/z)^2} = \frac{x}{y} \frac{z^2}{(y+z)^2} = \frac{xz^2}{y(y+z)^2}$.

Le deuxième terme est $\frac{b}{(1+c)^2} = \frac{y/z}{(1+z/x)^2} = \frac{y/z}{((x+z)/x)^2} = \frac{y}{z} \frac{x^2}{(x+z)^2} = \frac{yx^2}{z(x+z)^2}$.

Le troisième terme est $\frac{c}{(1+a)^2} = \frac{z/x}{(1+x/y)^2} = \frac{z/x}{((y+x)/y)^2} = \frac{z}{x} \frac{y^2}{(x+y)^2} = \frac{zy^2}{x(x+y)^2}$.

L'inégalité à prouver est donc :

$$\frac{xz^2}{y(y+z)^2} + \frac{yx^2}{z(x+z)^2} + \frac{zy^2}{x(x+y)^2} \leq \frac{3}{4}$$

Cette forme, bien que symétrique, n'est pas immédiatement plus simple à résoudre que l'originale. La présence des variables $x, y, z$ à la fois aux numérateurs et aux dénominateurs, ainsi que leur position spécifique, rend l'application directe d'inégalités standards comme AM-GM ou Cauchy-Schwarz moins évidente. On pourrait être tenté de faire une autre substitution, peut-être en fixant une des variables, mais cela risquerait de perdre la symétrie utile. Le problème réside dans la combinaison du terme linéaire au numérateur et du terme quadratique au dénominateur, où le carré est à l'intérieur d'une somme.

Une autre approche avec la substitution $a=x/y, b=y/z, c=z/x$ pourrait être de manipuler les dénominateurs différemment. On a $(1+b)^2 = (1+y/z)^2 = (\frac{z+y}{z})^2$. Le terme devient $\frac{x/y}{((y+z)/z)^2} = \frac{xz^2}{y(y+z)^2}$. Il semble que la simplification était correcte. Le défi est maintenant de majorer $\sum_{cyc} \frac{xz^2}{y(y+z)^2}$.

Pensons à une borne pour $(y+z)^2$. Par AM-GM, $y+z \geq 2\sqrt{yz}$. Donc $(y+z)^2 \geq 4yz$. On aurait $\frac{xz^2}{y(y+z)^2} \leq \frac{xz^2}{y(4yz)} = \frac{xz^2}{4y^2z} = \frac{xz}{4y^2}$. L'inégalité deviendrait alors $\sum_{cyc} \frac{xz}{4y^2} \leq \frac{3}{4}$. Soit $\frac{1}{4} (\frac{xz}{y^2} + \frac{yx}{z^2} + \frac{zy}{x^2}) \leq \frac{3}{4}$. Ce qui équivaut à $\frac{xz}{y^2} + \frac{yx}{z^2} + \frac{zy}{x^2} \leq 3$. Cette dernière inégalité est fausse en général. Par exemple, si $x=n^2, y=1, z=1$, on a $\frac{n^2}{1} + \frac{n^2}{1} + \frac{1}{n^4} = 2n^2 + \frac{1}{n^4}$, qui peut être arbitrairement grand. Donc cette voie via AM-GM sur $y+z$ n'est pas la bonne.

Il faut une inégalité qui