slt memath,
moi j 'ai trouvé une autre méthode
si on multiplie le tout par 2 on aura
a^2+2ab+b^2+a^2+2ac+c^2+c^2+2bc+b^2+1+1+1>=2(a+b)+2(a+c)+2(b+c)
<==>(a+b)^2-2(a+b)+1+(b+c)^2-2(b+c)+1+(a+c)^2-2(a+c)+1>0
<==>(a+b-1)^2+(b+c-1)^2+(a+c-1)^2>=0 ce qui est vrai
avec le même cas d'égalité