求教 Vasile不等式

abc为实数
（a^2+b^2+c^2）^2>=3(a^3*b+b^3*c+c^3*a)
取等a=b=c或a比b比c=sin^2(4pai/7)比sin^2(2pai/7)比sin^2(pai/7)

等价于∑（a^2-2ab+bc-c^2+ac）^2>=0(个人证法)

@math数学小生 不知道晚了这么多是否还有帮助

神配方

也可以用全导数做，不等式的秘密第二卷给出了三元四次不等式成立的充要条件。

我记得叫这个名字的不等式好多啊

凡赛尔