Voici ma solution :
procédant pas la substitution : a=1-x , b=1-y , c=1-z (0<x,y,z< 2)
l'inégalité est équivalente a :
Assumant x>=y>=z
la dérivé par rapport a x est
f'(x)=y+z-2
considérant les cas suivant :
si y,z >=1
alors f est croisante donc
f(x) >=f(1)=2-y-z+yz=1+(z-1)(y-1)>=0 .
Si y,z =< 1 alors f est décroisssante
d'ou f(x) > f(2)=yz >0 .
dernier cas : x,y>=1 et z=<1 .
dérivant maintenant par rapport a z on a :
f'(z)=x+y-2 >=0 d'ou f est croissante
alors f(z) > f(0)=4+xy-2x-2y=(x-2)(y-2) > 0 .
fin de la démonstration
.