c'est simple ;
posons S = ce qui est à gauche,
d'après caushy shwarz :
S . { [a/(b+c)]b(b+c) + [b/(c+a)]c(c+a)] + [c/(a+b)]a(a+b) } >= [ a/(b+c) + b/(a+c) + c/(a+b) ] ²
et d'après l'inegalité de Nesbitt on a :
S . { [a/(b+c)]b(b+c) + [b/(c+a)]c(c+a)] + [c/(a+b)]a(a+b) } >= 9/4
ce qui donne : S >= 9/4(ab+ac+bc)
d'où le résultat !