|
以下 $\sum_{cyc}$ 简写为 $\sum$
$$\sum\frac{1-a^2}{b+c}<\sum\frac{1-a^2}{b^2+c^2}$$
转化为证明 $$a,b,c,d\in(0,1),a+b+c+d=3,\sum\frac{1-a}{b+c}\leq\frac23$$
即证
$$4-\sum\frac{2-2a}{b+c}=\sum\frac{2a+b+c-2}{b+c}\geq\frac83$$
$$\begin{align*}
S & =\sum\frac{2a+b+c-2}{b+c}\sum\Big((2a+b+c-2)(b+c)\Big)\\
& =\sum\frac{2a+b+c-2}{b+c}\sum\Big((a-d+1)(3-a-d)\Big)\\
& =\sum\frac{2a+b+c-2}{b+c}\sum\Big(-a^2+d^2+2a-4d+3\Big)\\
& =\sum\frac{2a+b+c-2}{b+c}\cdot6
\end{align*}$$
又
$$S\geq\left(\sum(2a+b+c-2)\right)^2=16$$
故得证. |
|