il s'agit de montrer que 0<(a+b+c)^8 -2048(a+b+c)² +4096(ab+ac+bc)
on sait que la fonction x^8-2048x²+4096*3 est croissante dans ]3;+++[
donc (a+b+c)^8 -2048(a+b+c)²+4096*3 est croissante aussi car
a+b+c>3 et positive sur cette intervale
donc 0< (a+b+c)^8 -2048(a+b+c)²+4096*3<(a+b+c)^8 -2048(a+b+c)² +4096(ab+ac+bc)
donc 0<(a+b+c)^8 -2048(a+b+c)² +4096(ab+ac+bc)