用柯西不等式啊.a*(b+c)+b*(c+d)+c*(d+a)+d*(a+b)去乘原式X>=(a+b+c+d)^2
只需要证明：（a+b+c+d）^2>=2ab+2ac+2bc+2bd+2cd+2ca+2da+2db
左边展开：a^2+b^2+c^2+d^2+2ab+2ac+2ad+2bc+2bd+2cd
即只需要：a^2+b^2+c^2+d^2>=2ca+2db
然后...均值不等式