把d分离就可以了
a+b+c=6-d,a^2+b^2+c^2=12-d^2
由柯西不等式
（1+1+1）（a^2+b^2+c^2）>=(a+b+c)^2
所以3(12-d^2)>=(6-d)^2
得0