首页 > 留学知识库

问题: 其次不等式

老是放缩过头。想展开计算量也太大了。
取等条件是a=b=c=d或者有一个为0,其余三个相等

解答:

所证不等式借用Maple展开为
∑a^3[bc(b+c)+cd(c+d)+db(d+b)]-6∑(bcd)^2+6abcd∑a^2-4abcd∑ab≥0

化简为
ab(c+d)^2*(a-b)^2+ac(b+d)^2*(a-c)^2+ad(b+c)^2*(a-d)^2+
bc(a+d)^2*(b-c)^2+bd(a+c)^2*(b-d)^2+cd(a+b)^2*(c-d)^2≥0