Voici ce que j'ai fait pour le moment (mais ça n'a pas encore abouti...)
Donc vous êtes pas obligés de lire le pavé
Je vais utiliser les lemmes suivants qu'on peut prouver séparément plus tard (pas trop dur)
Dans tout ce qui suit, a b et c sont positifs
Lemme 1(Titu)Lemme 2 (Inégalité de Nesbitt) (Bon finalement je ne l'utilise pas)Lemme 3 (majoration standard)Appliquons le lemme 1:
On sépare le membre de gauche en deux parties:
Cette inégalité ressemble beaucoup à celle que l'on veut démontrer. Cependant, nous devons comparer le terme entre parenthèses, qui est
avec
On regarde la différence des deux:
On peut affirmer avec le lemme 3 que:
puis en divisant les deux membres par
, cette différence fait:
Cela signifie que
Si on peut supposer (a + b + c) = 1 (pourquoi Ben???) , alors on peut tenter une étude de fonctions:
f(a,b,c) = b^2/(a + b) + c^2/(b+c) + a^2/(a + c)
dont les minima semble atteints en a = b = c, pour lesquels cela vaut 3/2.