|
O-17
Posted 2023-3-24 23:51
比较暴力的方法...
齐次化, 等价于证
$$
\left(\sum a\right)^2\left(\sum a^2\right)^3\geqslant\left(\sum a^2b^2\right)^2
$$
注意到
\begin{align*}
&\left(\sum a\right)^2\left(\sum a^2\right)^3-\left(\sum a^2b^2\right)^2\\
&=\frac12\sum(a-b)^8+6\sum ab(a-b)^6+26\sum a^2b^2(a-b)^4+48\sum a^3b^3(a-b)^2\\
&~~~~~+\sum c^4(a-b)^4+2\left(\sum ab\right)\left(\sum ab(a-c)^2(b-c)^2\right)\\
&~~~~~+\left(\prod a\right)\left(14\sum c^3(a-b)^2+2\sum a^3(a-b)(a-c)+6\sum c(a^2+ab+b^2)(a-b)^2\right)\\
&\geqslant0.~\square
\end{align*}
配的可能不太好, 毕竟是八次, 然后又很松, 所以没怎么动脑子, 就看到什么消什么了... |
|