(a-b)^2+(a-c)^2+(a-d)^2+(b-c)^2+(b-d)^2+(c-d)^2>=0
3(a^2+b^2+c^2+d^2)-2(ab+ac+ad+bc+bd+cd)>=0
a^2+b^2+c^2+d^2>=2/3(ab+ac+ad+bc+bd+cd)
系数2/3