si a>=b>=c et c>=1 donc (*)a²+b²+c²+abc>1+1+1+1=4 contradiction , => c<=1 or ab + bc + ca >=ab>=abc , on pose a=x+y et b=x-y donc (*) <=>x^2(2+c)+(2-c)y^2+c^2=4 et ab + bc + ca - abc= (x^2-y^2)(1-c)+2cx ** , pour que (*)<=2 il suffit que 2-c-c(2-c)+2crac(2-c)<=2 (verifie c<=1 , on prend c=o) l'autre sens c'est evident (**)