ma lemme pour les cycliques.....

soit:


avec x,y,z,t,u des constantes
et soient:










si G(d,1,1)>=0 et f_k>=0 ( 0<=k<=4) pr tt 0<=d<=1 alors G(a,b,c)>=0 pr ts a;b;c>=0
si G(d,1,1)>=0 et G(d,0,1)>=0 et f_k<=0 (0<=k<=3) pr tt 0<=d<=1 alors G(a,b,c)>=0 pr ts a,b,c>=0
A+

c'est faux!