标签：题目 不等式 选择 另一个 为什么 rac sum 证明
题目 证明:对实数$x,y,z$有$16\sum{x^4}-20\sum{x^3(y+z)}+9\sum{y^2z^2}+25\sum{x^2yz}\geq 0$.
证明:$16\sum{x^4}-20\sum{x^3(y+z)}+9\sum{y^2z^2}+25\sum{x^2yz}=\frac{1}{2}\sum{(5x-4y-4z)^2(y-z)^2}\geq 0$.
故原不等式成立.
以陈计先生之功力发现这样的恒等式应是小菜一碟，可是他为什么选择了另一个稍繁的恒等式？这让本人感到困惑。
标签：题目 不等式 选择 另一个 为什么 rac sum 证明
原文地址：http://www.cnblogs.com/ydwu/p/6424756.html
