不等式证明问题 [251-300]
推荐发帖：【代数】【代数索引】(https://jb243.github.io/pages/669)
重构了 IneqMath 训练数据。
P251。 （图尔克维奇不等式）设 $a、b、c、d$ 为非负实数。找到最小常数 $C$，使得以下不等式对于 \in \mathbb{R}^{+}$ 中的所有 $a、b、c、d 成立：
\[a^{4}+b^{4}+c^{4}+d^{4}+C a b c d \geq a^{2} b^{2}+b^{2} c^{2}+c^{2} d^{2}+d^{2} a^{2}+a^{2} c^{2}+b^{2} d^{2}\]S251.1。 $C = 2$
不失一般性，我们可以假设 \(a\ge b\ge c\ge d.\)
让我们表示
\[\开始{对齐} f(a,b,c,d)=&\ a^{4}+b^{4}+c^{4}+d^{4}+2abcd-a^{2}b^{2}-b^{2}c^{2}-c^{2}d^{2} \\ &-d^{2}a^{2}-a^{2}c^{2}-b^{2}d^{2} \\ =&\ a^{4}+b^{4}+c^{4}+d^{4}+2abcd-a^{2}c^{2}-b^{2}d^{2}-\left(a^{2}+c^{2}\right)\left(b^{2}+d^{2}\right)。 \结束{对齐}\]我们有
\[\开始{对齐} &f(a,b,c,d)-f(\sqrt{ac},\,b,\,\sqrt{ac},\,d) \\ =&\ a^{4}+b^{4}+c^{4}+d^{4}+2abcd-a^{2}c^{2}-b^{2}d^{2}-\left(a^{2}+c^{2}\right)\left(b^{2}+d^{2}\right) \\ &-\Bigl(a^{2}c^{2}+b^{4}+a^{2}c^{2}+d^{4}+2abcd-a^{2}c^{2}-b^{2}d^{2}-2ac\left(b^{2}+d^{2}\right)\Bigr) \\ =&\ a^{4}+c^{4}-2a^{2}c^{2}-\left(b^{2}+d^{2}\right)\left(a^{2}+c^{2}-2ac\right) \\ =&\ (a^{2}-c^{2})^{2}-\left(b^{2}+d^{2}\right)(a-c)^{2} \\ =&\ (a-c)^{2}\Bigl((a+c)^{2}-\left(b^{2}+d^{2}\right)\Bigr)\ge 0。 \结束{对齐}\]因此
\[f(a,b,c,d)\ge f(\sqrt{ac},\,b,\,\sqrt{ac},\,d)。\]根据SMV定理，我们只需要在\(a=b=c=t\ge d的情况下证明\)f(a,b,c,d)\ge 0\(即可。\)
我们有
\[\开始{对齐} f(t,t,t,d)\ge 0 &\Longleftrightarrow 3t^{4}+d^{4}+2t^{3}d\ge 3t^{4}+3t^{2}d^{2} \\ &\Longleftrightarrow d^{4}+2t^{3}d\ge 3t^{2}d^{2}, \结束{对齐}\]紧接着 \(AM\ge GM.\)
当 \(a=b=c=d\) 或 \(a=b=c\) 且 \(d=0\)（直至排列）时，发生相等。在这两种情况下，不等式都变为等式，因此 \(C=2\) 是不等式始终成立的最小常数。
因此，答案是\(C=2\)。
S251.2。
S251.3。 \(\frac{3}{2}\,(a^4+b^4+c^4+d^4)\ \ge\ a^2b^2+b^2c^2+c^2d^2+d^2a^2+a^2c^2+b^2d^2\) 很容易理解（例如，通过重排不等式）。另外， \(6abcd\ \le\ a^2b^2+b^2c^2+c^2d^2+d^2a^2+a^2c^2+b^2d^2\) 很容易理解（例如，通过重排不等式）。因此，给定的问题变为：确定临界值 \(p\)，其中 \(\frac{6-p}{4}\,(a^4+b^4+c^4+d^4) + p\,abcd \ \ge\ a^2b^2+b^2c^2+c^2d^2+d^2a^2+a^2c^2+b^2d^2\) 是某些 \(p\) 的紧不等式。 （这可以很容易地看出，当\(p\)较小时，左侧较大，而当\(p\)较大时，右侧较大。）因此，我们可以将其简化为确定临界值\(p\)的问题。如果\(a=b=c=d\)，我们无法获得\(p\)的任何条件。如果\(a,b,c,d\)其中之一是\(0\)并且其他三个都相等，我们可以得出\(p\le 2\)。因此，由于存在紧不等式，临界值\(p\)要么在边界情况下要么在内部极值点处确定，所以我们得到 \(p=2.\)
P252。设$P、L、R$分别表示$\三角形ABC$的面积、周长和外接半径。找到最小常数 $C$，使得以下不等式适用于所有三角形 $\triangle ABC$：
\[\frac{L P}{R^3} \leq C.\]S252。 $C = \frac{27}{4}$
我们有
\[\frac{LP}{R^{3}} =\frac{(a+b+c)abc}{R^{3}\cdot 4R} =\frac{2R(\sin\alpha+\sin\beta+\sin\gamma)\cdot 8R^{3}\sin\alpha\sin\beta\sin\gamma}{4R^{4}}。\]即\(\frac{LP}{R^{3}} =4(\sin\alpha+\sin\beta+\sin\gamma)\sin\alpha\sin\beta\sin\gamma \qquad (1)\)
截至 \(AM\ge GM\) 我们有
\[\sin\alpha\sin\beta\sin\gamma \le \left(\frac{\sin\alpha+\sin\beta+\sin\gamma}{3}\right)^{3}。\]所以通过 (1) 我们得到
\[\frac{LP}{R^{3}} \le \frac{4(\sin\alpha+\sin\beta+\sin\gamma)^{4}}{27} \qquad (2)\]函数 \(f(x)=\sin x\) 在 \([0,\pi]\) 上是凹函数，因此根据 Jensen 不等式我们有
\[\frac{\sin\alpha+\sin\beta+\sin\gamma}{3} \le \sin\left(\frac{\alpha+\beta+\gamma}{3}\right) =\sin\left(\frac{\pi}{3}\right) =\frac{\sqrt{3}}{2}。\]最后由(2)我们得到
\[\frac{LP}{R^{3}} \le \frac{4}{27}\left(\frac{3\sqrt{3}}{2}\right)^{4} =\frac{27}{4}。\]当 \(a=b=c\) 时，即三角形为等边时，相等成立。在这种情况下，\(\frac{LP}{R^{3}}\) 达到最大值，因此 \(C=\frac{27}{4}\) 是不等式始终成立的最小常数。
因此，答案是\(C=\frac{27}{4}\)。
P253。令 $a、b、c、d$ 为正实数，使得 $a b c d = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c、d$ 成立：
\[\frac{1}{a(1+b)}+\frac{1}{b(1+c)}+\frac{1}{c(1+d)}+\frac{1}{d(1+a)} \geq C\]S253。 $C = 2$
替换为 \(a=\frac{x}{y},\quad b=\frac{t}{x},\quad c=\frac{z}{t},\quad d=\frac{y}{z},\) 给定的不等式变为
\[\frac{x}{z+t}+\frac{y}{x+t}+\frac{z}{x+y}+\frac{t}{z+y}\ge 2.\]根据柯西-施瓦茨不等式我们有
\[\开始{对齐} \frac{x}{z+t}+\frac{y}{x+t}+\frac{z}{x+y}+\frac{t}{z+y} &=\frac{x^{2}}{xz+xt}+\frac{y^{2}}{yx+yt}+\frac{z^{2}}{zx+zy}+\frac{t^{2}}{tz+ty} \\ &\ge \frac{(x+y+z+t)^{2}}{(xz+xt)+(yx+yt)+(zx+zy)+(tz+ty)} \\ &= \frac{(x+y+z+t)^{2}}{2xz+2yt+xt+xy+yz+tz}。 \结束{对齐}\]因此只需证明
\[\frac{(x+y+z+t)^{2}}{2xz+2yt+xt+xy+yz+tz}\ge 2,\]这相当于
\[(x-z)^{2}+(y-t)^{2}\ge 0。\]当 \(x=z\) 和 \(y=t\) 时相等，对应于 \(a=c=\frac{1}{b}=\frac{1}{d}.\) 在这种情况下，原始总和达到最小值。因此，\(C=2\) 是不等式始终成立的最大常数。
因此，答案是\(C=2\)。
P254。令 $x, y, z$ 为实数。找到最大常数 $C$，使得以下不等式对于所有 $x, y, z \in \mathbb{R}$ 成立：
\[x^{4}+y^{4}+z^{4} \geq 4 x y z + C\]S254。 $C = -1$
我们有
\[\开始{对齐} x^{4}+y^{4}+z^{4}-4xyz+1 &=\left(x^{4}-2x^{2}+1\right)+\left(y^{4}-2y^{2}z^{2}+z^{4}\right)+\left(2y^{2}z^{2}-4xyz+2x^{2}\right) \\ &=\left(x^{2}-1\right)^{2}+\left(y^{2}-z^{2}\right)^{2}+2(yz-x)^{2}\ge 0。 \结束{对齐}\]所以由此可见
\[x^{4}+y^{4}+z^{4}\ge 4xyz-1。\]当 \(x=1,\ y=z=0\) 或其任何排列时，等式成立，从此所有平方项消失。这给出了 \(C\) 的最小值，因此 \(C=-1\) 是不等式始终成立的最大常数。
因此，答案是\(C=-1\)。
P255。令$a,b,c$为不同于1的实数，使得$a+b+c=1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\frac{1+a^{2}}{1-a^{2}}+\frac{1+b^{2}}{1-b^{2}}+\frac{1+c^{2}}{1-c^{2}} \geq C\]S255。 $C = \frac{15}{4}$
由于 \(a,b,c>0,\ a\ne 1,\ b\ne 1,\ c\ne 1\) 且 \(a+b+c=1\) ，因此 \(0<a,b,c<1.\)
给定的不等式是对称的，因此不失一般性，我们可以假设 \(a\le b\le c.\)
然后我们有
\[1+a^{2}\le 1+b^{2}\le 1+c^{2} \quad\text{和}\quad 1-c^{2}\le 1-b^{2}\le 1-a^{2}。\]因此
\[\frac{1}{1-a^{2}}\le \frac{1}{1-b^{2}}\le \frac{1}{1-c^{2}}。\]现在根据切比雪夫不等式我们有\(\开始{对齐} 一个 &=\frac{1+a^{2}}{1-a^{2}}+\frac{1+b^{2}}{1-b^{2}}+\frac{1+c^{2}}{1-c^{2}} \\ &\ge \frac{1}{3}\left((1+a^{2})+(1+b^{2})+(1+c^{2})\right) \left(\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}}\right), \结束{对齐}\)
即
\[A\ge \frac{a^{2}+b^{2}+c^{2}+3}{3} \left(\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}}\right) \qquad (1)\]我们还有众所周知的不等式
\[a^{2}+b^{2}+c^{2}\ge \frac{(a+b+c)^{2}}{3}=\frac{1}{3}。\]因此通过(1)我们得到
\[A\ge \frac{\frac{1}{3}+3}{3} \left(\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}}\right) =\frac{10}{9}\left(\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}}\right) \qquad (2)\]由于 \(1-a^{2},1-b^{2},1-c^{2}>0,\) 通过使用 \(AM\ge HM\) 我们推导出
\[\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}} \ge \frac{9}{(1-a^{2})+(1-b^{2})+(1-c^{2})} =\frac{9}{3-(a^{2}+b^{2}+c^{2})} \ge \frac{9}{3-\frac{1}{3}} =\frac{27}{8} \qquad (3)\]最后由(2)和(3)我们得到
\[A\ge \frac{10}{9}\left(\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}}\right) \ge \frac{10}{9}\cdot \frac{27}{8} =\frac{15}{4},\]相等 iff \(a=b=c=\frac{1}{3}.\)
当 \(a=b=c=\frac{1}{3},\) 满足 \(a+b+c=1\) 和 \(0<a,b,c<1.\) 时，即可实现相等。在这种情况下，给定表达式的最小值为 \(\frac{15}{4},\)，因此 \(C=\frac{15}{4}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{15}{4}\)。
P256。设$a,b,c \in \mathbb{R}^{+}$。确定最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{abc}{(1+a)(a+b)(b+c)(c+16)} \leq C.\]S256。 $C = \frac{1}{81}$
我们有
\[\开始{对齐} &(1+a)(a+b)(b+c)(c+16) \\ &=\left(1+\frac{a}{2}+\frac{a}{2}\right) \left(a+\frac{b}{2}+\frac{b}{2}\right) \left(b+\frac{c}{2}+\frac{c}{2}\right) \左(c+8+8\右) \\ &\ge 3\sqrt[3]{\frac{a^{2}}{4}}\cdot 3\sqrt[3]{\frac{ab^{2}}{4}}\cdot 3\sqrt[3]{\frac{bc^{2}}{4}}\cdot 3\sqrt[3]{\frac{64c}{4}} \\ &=81\sqrt[3]{\frac{a^{2}\cdot ab^{2}\cdot bc^{2}\cdot 64c}{4^{4}}} =81\sqrt[3]{\frac{64a^{3}b^{3}c^{3}}{256}} =81\sqrt[3]{\frac{a^{3}b^{3}c^{3}}{4}} =\frac{81}{\sqrt[3]{4}}\,abc \ge 81abc。 \结束{对齐}\]因此
\[\frac{abc}{(1+a)(a+b)(b+c)(c+16)}\le \frac{1}{81}。\]当在每个 AM-GM 步骤中，三个总和项相等时，等式成立：
\[1=\frac{a}{2}=\frac{a}{2},\quad a=\frac{b}{2}=\frac{b}{2},\quad b=\frac{c}{2}=\frac{c}{2},\quad c = 8 = 8,\]给出 \(a=2,\ b=4,\ c=8.\) 在这种情况下，表达式达到最大值，因此 \(C=\frac{1}{81}\) 是不等式始终成立的最小常数。
因此，答案是\(C=\frac{1}{81}\)。
P257。令 (1,2)$ 中的 $a, b, c 为实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in (1,2)$ 成立：
\[\frac{b \sqrt{a}}{4 b \sqrt{c}-c \sqrt{a}}+\frac{c \sqrt{b}}{4 c \sqrt{a}-a \sqrt{b}}+\frac{a \sqrt{c}}{4 a \sqrt{b}-b \sqrt{c}} \geq C\]S257。 $C = 1$
由于 \(a,b,c\in(1,2)\) 我们有
\[4b\sqrt{c}-c\sqrt{a}>4\sqrt{c}-2\sqrt{c}=2\sqrt{c}>0。\]类似地，我们得到 \(4c\sqrt{a}-a\sqrt{b}>0\) 和 \(4a\sqrt{b}-b\sqrt{c}>0.\)
我们将证明这一点
\[\frac{b\sqrt{a}}{4b\sqrt{c}-c\sqrt{a}}\ge \frac{a}{a+b+c}\qquad (1)\]由于 \(4b\sqrt{c}-c\sqrt{a}>0\)，不等式 (1) 等价于
\[b(a+b+c)\ge a\left(4b\sqrt{c}-c\sqrt{a}\right) \长左右箭头 b(a+b+c)\ge 4ab\sqrt{c}-ac\sqrt{a}。\]这与
\[b^{2}+bc+ac\ge 4ab\sqrt{c}-ac\sqrt{a}。\]使用 \(a,b,c>0\)，我们将左侧重写为
\[b^{2}+bc+ac=(b+c)(a+b)-(ab)\]并将 \(AM\ge GM\) 应用于 \(a+b\) 和 \(b+c\) 给出
\[(a+b)(b+c)\ge 4b\sqrt{ac}。\]因此\(b(a+b+c)=b^{2}+ab+bc\ge 4b\sqrt{ac}\cdot \frac{a}{\sqrt{a}} = a\left(4b\sqrt{c}-c\sqrt{a}\right),\)
所以(1)成立。
同样我们推断出
\[\frac{c\sqrt{b}}{4c\sqrt{a}-a\sqrt{b}}\ge \frac{b}{a+b+c}\qquad (2)\]和
\[\frac{a\sqrt{c}}{4a\sqrt{b}-b\sqrt{c}}\ge \frac{c}{a+b+c}\qquad (3)\]将(1)、(2)和(3)相加即可得到所需的结果。
当 \(a=b=c\) 时，相等成立。在这种情况下，每一项都变成
\[\frac{b\sqrt{a}}{4b\sqrt{c}-c\sqrt{a}}=\frac{a}{a+a+a}=\frac{1}{3},\]所以总和是\(1\)。这给出了表达式的最小值，因此 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P258。令 $a, b, c$ 为正实数，使得 $a b c = 1$。找到最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)} \geq C\]S258。 $C = \frac{3}{2}$
不失一般性，我们可以假设 \(a\ge b\ge c.\) 设 \(x=\frac{1}{a},\ y=\frac{1}{b},\ z=\frac{1}{c}.\) 那么显然 \(xyz=1.\)
我们有
\[\开始{对齐} \frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)} &=\frac{x^{3}}{\frac{1}{y}+\frac{1}{z}}+\frac{y^{3}}{\frac{1}{z}+\frac{1}{x}}+\frac{z^{3}}{\frac{1}{x}+\frac{1}{y}} \\ &=\frac{x^{3}}{\frac{y+z}{yz}}+\frac{y^{3}}{\frac{z+x}{zx}}+\frac{z^{3}}{\frac{x+y}{xy}} \\ &=\frac{x^{3}yz}{y+z}+\frac{y^{3}zx}{z+x}+\frac{z^{3}xy}{x+y} \\ &=\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y}。 \结束{对齐}\]由于 \(c\le b\le a\) 我们有 \(x\le y\le z。\) 因此
\[x+y\le x+z\le y+z \quad\text{和}\quad \frac{x}{y+z}\le \frac{y}{z+x}\le \frac{z}{x+y}。\]现在通过重排不等式我们得到
\[\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y} \ge \frac{xy}{y+z}+\frac{yz}{z+x}+\frac{zx}{x+y},\]还有
\[\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y} \ge \frac{xz}{y+z}+\frac{yx}{z+x}+\frac{zy}{x+y}。\]所以我们得到
\[\开始{对齐} &2\left(\frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)}\right) \\ &\quad=2\left(\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y}\right) \\ &\quad\ge \left(\frac{xy}{y+z}+\frac{yz}{z+x}+\frac{zx}{x+y}\right) +\left(\frac{xz}{y+z}+\frac{yx}{z+x}+\frac{zy}{x+y}\right) \\ &\quad= \frac{x(y+z)}{y+z}+\frac{y(z+x)}{z+x}+\frac{z(x+y)}{x+y} \\ &\quad= x+y+z \\ &\quad\ge 3\sqrt[3]{xyz}=3, \结束{对齐}\]根据需要。
当 \(a=b=c=1\) 时相等，这意味着 \(x=y=z=1.\) 在这种情况下，总和变为
\[\frac{1}{1^{3}(1+1)}+\frac{1}{1^{3}(1+1)}+\frac{1}{1^{3}(1+1)} =3\cdot\frac{1}{2} =\frac{3}{2}。\]因此，表达式的最小值为 \(\frac{3}{2}\)，因此 \(C=\frac{3}{2}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{3}{2}\)。
P259。找到最小常数 $C$，使得对于所有实数 $x$，以下不等式成立：
\[2 x^{4} + C \geq 2 x^{3} + x^{2}\]S259。 $C = 1$
我们有
\[\开始{对齐} 2x^{4}+1-2x^{3}-x^{2} &=1-x^{2}-2x^{3}(1-x) \\ &=(1-x)(1+x)-2x^{3}(1-x) \\ &=(1-x)\左(1+x-2x^{3}\右) \\ &=(1-x)\左(x(1-x^{2})+(1-x^{3})\右) \\ &=(1-x)\左(x(1-x)(1+x)+(1-x)(1+x+x^{2})\右) \\ &=(1-x)^{2}\left(x(1+x)+1+x+x^{2}\right) \\ &=(1-x)^{2}\left((x+1)^{2}+x^{2}\right)\ge 0。 \结束{对齐}\]当且仅当 \(x=1\) 时，才会出现相等，因为此时 \((1-x)^{2}=0。\) 这给出了 \(C\) 的最小值，因此 \(C=1\) 是不等式始终成立的最小常数。
因此，答案是\(C=1\)。
P260。令 $a、b、c$ 为正实数，使得 $a + b + c = 3$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{a^{3}+2}{b+2}+\frac{b^{3}+2}{c+2}+\frac{c^{3}+2}{a+2} \geq C.\]S260。 $C = 3$截至 \(AM\ge GM\) 我们有
\[\frac{a^{3}+2}{b+2} =\frac{a^{3}+1+1}{b+2} \ge \frac{3\sqrt[3]{a^{3}\cdot 1\cdot 1}}{b+2} =\frac{3a}{b+2}。\]同样我们得到
\[\frac{b^{3}+2}{c+2}\ge \frac{3b}{c+2} \quad\text{和}\quad \frac{c^{3}+2}{a+2}\ge \frac{3c}{a+2}。\]因此
\[\frac{a^{3}+2}{b+2}+\frac{b^{3}+2}{c+2}+\frac{c^{3}+2}{a+2} \ge 3\left(\frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2}\right) \qquad (1)\]应用柯西-施瓦茨不等式我们得到
\[\开始{对齐} \frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2} &=\frac{a^{2}}{a(b+2)}+\frac{b^{2}}{b(c+2)}+\frac{c^{2}}{c(a+2)} \\ &\ge \frac{(a+b+c)^{2}}{a(b+2)+b(c+2)+c(a+2)} \\ &=\frac{(a+b+c)^{2}}{ab+bc+ca+2(a+b+c)}。 \结束{对齐}\]因此
\[\frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2} \ge \frac{(a+b+c)^{2}}{ab+bc+ca+2(a+b+c)} \qquad (2)\]自从
\[(a+b+c)^{2}\ge 3(ab+bc+ca),\]我们有
\[ab+bc+ca \le \frac{(a+b+c)^{2}}{3}。\]因此
\[ab+bc+ca+2(a+b+c)\le \frac{(a+b+c)^{2}}{3}+2(a+b+c)。\]所以从 (2) 我们得到
\[\开始{对齐} \frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2} &\ge \frac{(a+b+c)^{2}}{ab+bc+ca+2(a+b+c)} \\ &\ge \frac{(a+b+c)^{2}}{\frac{(a+b+c)^{2}}{3}+2(a+b+c)} \\ &=\frac{3(a+b+c)^{2}}{(a+b+c)^{2}+6(a+b+c)} =\frac{3(a+b+c)}{(a+b+c)+6}。 \结束{对齐}\]因此
\[\frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2} \ge \frac{3(a+b+c)}{(a+b+c)+6} \qquad (3)\]最后通过 (1), (3) 并且由于 \(a+b+c=3\) 我们得到
\[\frac{a^{3}+2}{b+2}+\frac{b^{3}+2}{c+2}+\frac{c^{3}+2}{a+2} \ge 3\left(\frac{a}{b+2}+\frac{b}{c+2}+\frac{c}{a+2}\right) \ge \frac{9(a+b+c)}{(a+b+c)+6} =\frac{27}{9}=3,\]根据需要。相等发生当且仅当 \(a=b=c=1.\)
当 \(a=b=c=1,\) 时，等式成立 \(a+b+c=3\) 并且每一项变为
\[\frac{1^{3}+2}{1+2}=1,\]所以总和是 \(3.\) 因此，表达式的最小值是 \(3,\) 所以最大常数 \(C\) 是 \(3.\)
因此，答案是\(C=3\)。
P261。令$a、b、c$为三角形的边长，并令$l_{\alpha}、l_{\beta}、l_{\gamma}$为各个角平分线的长度。设 $s$ 为三角形的半周长，$r$ 表示三角形的内半径。确定最小常数 $C$，使得以下不等式适用于所有三角形：
\[\frac{l_{\alpha}}{a}+\frac{l_{\beta}}{b}+\frac{l_{\gamma}}{c} \leq C\frac{s}{r}。\]S261。 $C = \frac{1}{2}$
具有以下身份：
\[l_{\alpha}=\frac{2\sqrt{bc}}{b+c}\sqrt{s(s-a)},\quad l_{\beta}=\frac{2\sqrt{ca}}{c+a}\sqrt{s(s-b)},\quad l_{\gamma}=\frac{2\sqrt{ab}}{a+b}\sqrt{s(s-c)}。\]从明显的不平等
\[\frac{2\sqrt{xy}}{x+y}\le 1\]以及我们之前获得的身份
\[l_{\alpha}\le \sqrt{s(s-a)},\quad l_{\beta}\le \sqrt{s(s-b)},\quad l_{\gamma}\le \sqrt{s(s-c)} \qquad (1)\]还有
\[h_{a}\le l_{\alpha},\quad h_{b}\le l_{\beta},\quad h_{c}\le l_{\gamma} \qquad (2)\]所以我们有
\[\开始{对齐} \frac{l_{\alpha}}{a}+\frac{l_{\beta}}{b}+\frac{l_{\gamma}}{c} &=\frac{l_{\alpha}h_{a}}{2P}+\frac{l_{\beta}h_{b}}{2P}+\frac{l_{\gamma}h_{c}}{2P} \\ &\stackrel{(2)}{\le}\frac{l_{\alpha}^{2}+l_{\beta}^{2}+l_{\gamma}^{2}}{2P} \\ &\stackrel{(1)}{\le}\frac{s(s-a)+s(s-b)+s(s-c)}{2P} \\ &=\frac{3s^{2}-s(a+b+c)}{2P}。 \结束{对齐}\]由于 \(a+b+c=2s\) 和 \(P=rs\)，我们得到
\[\frac{3s^{2}-s(a+b+c)}{2P} =\frac{3s^{2}-2s^{2}}{2rs} =\frac{s^{2}}{2rs} =\frac{s}{2r}。\]因此
\[\frac{l_{\alpha}}{a}+\frac{l_{\beta}}{b}+\frac{l_{\gamma}}{c}\le \frac{s}{2r}。\]当且仅当三角形是等边时，才会出现等式，因为只有在这种情况下，上述所有不等式才成为等式。因此最小常数是 \(C=\frac{1}{2}.\)
因此，答案是\(C=\frac{1}{2}\)。
P262。令 $a, b, c$ 为给定三角形的边长。找到最小常数 $C$，使得以下不等式对于满足三角不等式的所有 $a、b、c$ 成立：
S262。 $C = 2$
令 \(a=x+y,\ b=y+z,\ c=z+x,\quad x,y,z>0。\) 然后我们有
\[\开始{对齐} &(x+y)^{2}+(y+z)^{2}+(z+x)^{2} \\ &\quad<2\bigl((x+y)(y+z)+(y+z)(z+x)+(z+x)(x+y)\bigr), \结束{对齐}\]或同等地
\[2(x^{2}+y^{2}+z^{2})+2(xy+yz+zx)<2(x^{2}+y^{2}+z^{2})+6(xy+yz+zx) \长左右箭头 xy+yz+zx>0,\]这对于 \(x,y,z>0 显然是正确的。\)
等式接近于 \(xy+yz+zx\to 0\)（例如，当 \(x,y,z\to 0^{+}\) 之一时），但对于正数 \(x,y,z.\) 则永远无法实现等式。因此，\(C=2\) 是不等式始终成立的最小常数。
因此，答案是\(C=2\)。
P263。令 $a、b、c$ 为正实数，使得 $a + b + c = 6$。找到最小常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\sqrt[3]{a b + b c} + \sqrt[3]{b c + c a} + \sqrt[3]{c a + a b} \leq C\]S263。 $C = 6$
根据幂均值不平等我们有
\[\frac{\sqrt[3]{ab+bc}+\sqrt[3]{bc+ca}+\sqrt[3]{ca+ab}}{3} \le \sqrt[3]{\frac{(ab+bc)+(bc+ca)+(ca+ab)}{3}},\]即
\[\sqrt[3]{ab+bc}+\sqrt[3]{bc+ca}+\sqrt[3]{ca+ab} \le\sqrt[3]{9(ab+bc+ca)}。\]自从
\[ab+bc+ca\le \frac{(a+b+c)^{2}}{3}=\frac{36}{3}=12,\]我们得到
\[\sqrt[3]{ab+bc}+\sqrt[3]{bc+ca}+\sqrt[3]{ca+ab} \le \sqrt[3]{9\cdot 12} =\sqrt[3]{108} =3\sqrt[3]{4}。\]当 \(a=b=c=2\) 时相等（因此 \(a+b+c=6\)），在这种情况下左侧等于
\[3\sqrt[3]{ab+bc}=3\sqrt[3]{8}=6。\]因此表达式的最大值为 \(6\)，因此最小常数为 \(C=6.\)
因此，答案是\(C=6\)。
P264。设 $n \geq 2, n \in \mathbb{N}$ 和 $x_{1}, x_{2}, \ldots, x_{n}$ 为正实数，使得
\[\frac{1}{x_{1}+1998}+\frac{1}{x_{2}+1998}+\cdots+\frac{1}{x_{n}+1998}=\frac{1}{1998}\]找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $x_{1}, x_{2}, \ldots, x_{n}$ 成立：
\[\sqrt[n]{x_{1} x_{2} \cdots x_{n}} \geq C\]S264。 $C = 1998(n-1)$
设置后
\[\frac{1998}{x_i+1998}=a_i,\qquad i=1,2,\ldots,n,\]身份
\[\frac{1}{x_1+1998}+\frac{1}{x_2+1998}+\cdots+\frac{1}{x_n+1998}=\frac{1}{1998}\]变成
\[a_1+a_2+\cdots+a_n=1。\]我们需要证明
\[\left(\frac{1}{a_1}-1\right)\left(\frac{1}{a_2}-1\right)\cdots\left(\frac{1}{a_n}-1\right)\ge (n-1)^{n}。\]我们有
\[\开始{对齐} \frac{1}{a_i}-1 &=\frac{1-a_i}{a_i} =\frac{a_1+\cdots+a_{i-1}+a_{i+1}+\cdots+a_n}{a_i} \\ &\ge \frac{(n-1)\sqrt[n-1]{a_1\cdots a_{i-1}a_{i+1}\cdots a_n}}{a_i}, \结束{对齐}\]即
\[\frac{1}{a_i}-1 \ge (n-1)\sqrt[n-1]{\frac{a_1\cdots a_{i-1}a_{i+1}\cdots a_n}{a_i^{\,n-1}}}。\]将这些不等式相乘 \(i=1,2,\ldots,n\) 我们得到
\[\prod_{i=1}^{n}\left(\frac{1}{a_i}-1\right) \ge (n-1)^{n}\sqrt[n-1]{\prod_{i=1}^{n}\frac{a_1\cdots a_{i-1}a_{i+1}\cdots a_n}{a_i^{\,n-1}}} =(n-1)^{n},\]这就是期望的不平等。
当所有 \(a_i\) 相等时，相等成立，即
\[a_1=a_2=\cdots=a_n=\frac{1}{n}.\]这对应于
\[\frac{1998}{x_i+1998}=\frac{1}{n} \Longleftrightarrow x_i=1998(n-1) \qquad (i=1,2,\ldots,n)。\]因此此时达到 \(\sqrt[n]{x_1x_2\cdots x_n}\) 的最小值，并且
\[C=1998(n-1)\]是不等式始终成立的最大常数。
因此，答案是\(C=1998(n-1)\)。
P265。令 $a、b、c、d$ 为正实数，使得 $abcd = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c、d$ 成立：\(\frac{1}{(1+a)^{2}}+\frac{1}{(1+b)^{2}}+\frac{1}{(1+c)^{2}}+\frac{1}{(1+d)^{2}} \geq C\)
S265。 $C = 1$
接下来对不等式求和
\[\开始{对齐} &\frac{1}{(1+a)^{2}}+\frac{1}{(1+b)^{2}}\ge \frac{1}{1+ab}, \\ &\frac{1}{(1+c)^{2}}+\frac{1}{(1+d)^{2}}\ge \frac{1}{1+cd}。 \结束{对齐}\]第一个不等式来自
\[\开始{对齐} \frac{1}{(1+a)^{2}}+\frac{1}{(1+b)^{2}}-\frac{1}{1+ab} &=\frac{(1+b)^{2}(1+ab)+(1+a)^{2}(1+ab)-(1+a)^{2}(1+b)^{2}}{(1+a)^{2}(1+b)^{2}(1+ab)} \\ &=\frac{ab(a-b)^{2}+(ab-1)^{2}}{(1+a)^{2}(1+b)^{2}(1+ab)}\ge 0. \结束{对齐}\]（第二个不等式类似。）
如果 \(a=b=c=d=1.\) 则相等成立
当 \(a=b=c=d=1,\) 也满足约束 \(abcd=1.\) 时，上述不等式相等。在这种情况下，每一项是
\[\frac{1}{(1+1)^{2}}=\frac{1}{4},\]所以总和是 \(1.\) 这给出了总和的最小值，所以最大常数 \(C\) 是 \(1.\)
因此，答案是\(C=1\)。
P266。令 $x, y, z$ 为不同于 1 的实数，使得 $x y z = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $x, y, z$ 成立：
\[\left(\frac{3-x}{1-x}\right)^{2}+\left(\frac{3-y}{1-y}\right)^{2}+\left(\frac{3-z}{1-z}\right)^{2} > C\]S266。 $C = 7$
表示
\[A=\left(\frac{3-x}{1-x}\right)^{2}+\left(\frac{3-y}{1-y}\right)^{2}+\left(\frac{3-z}{1-z}\right)^{2}-7。\]我们有
\[A=\left(1+\frac{2}{1-x}\right)^{2}+\left(1+\frac{2}{1-y}\right)^{2}+\left(1+\frac{2}{1-z}\right)^{2}-7。\]让
\[\frac{1}{1-x}=a，\quad \frac{1}{1-y}=b，\quad \frac{1}{1-z}=c。\]然后
\[A=(1+2a)^{2}+(1+2b)^{2}+(1+2c)^{2}-7，\]即
\[A=4a^{2}+4b^{2}+4c^{2}+4a+4b+4c-4。\]此外，条件\(xyz=1\) 等价于
\[(1-x)(1-y)(1-z)=\frac{1}{abc}。\]由于 \(1-x=\frac{1}{a}\)、\(1-y=\frac{1}{b}\)、\(1-z=\frac{1}{c}\) 和
\[x=1-\frac{1}{a}=\frac{a-1}{a},\quad y=\frac{b-1}{b},\quad z=\frac{c-1}{c},\]我们得到
\[xyz=1 \长左右箭头 \frac{(a-1)(b-1)(c-1)}{abc}=1 \长左右箭头 abc=(a-1)(b-1)(c-1),\]扩展到
\[ab+bc+ca=a+b+c-1。\]利用这个，我们得到
\[\开始{对齐} 一个 &=4(a^{2}+b^{2}+c^{2})+4(a+b+c)-4 \\ &=4(a^{2}+b^{2}+c^{2})+4(ab+bc+ca) \\ &=2\left((a+b)^{2}+(b+c)^{2}+(c+a)^{2}\right)\ge 0。 \结束{对齐}\]因此
\[\left(\frac{3-x}{1-x}\right)^{2}+\left(\frac{3-y}{1-y}\right)^{2}+\left(\frac{3-z}{1-z}\right)^{2}\ge 7.\]相等需要 \(a+b=0,\ b+c=0,\ c+a=0,\) 因此 \(a=b=c=0,\) 这是不可能的。因此，不等式是严格的，但始终有效的最大常数仍然是 \(C=7\)。
因此，答案是\(C=7\)。
P267。令$a, b \in \mathbb{R}^{+}$。找到最小常数 $C$，使得以下不等式对于所有 $a, b \in \mathbb{R}^{+}$ 成立：
\[C(a^3 + b^3) \geq (a + b)^3\]S267。 $C = 4$
函数 \(f(x)=x^{3}\) 在 \((0,+\infty),\) 上是凸的，因此根据 Jensen 不等式可以得出：
\[\left(\frac{a+b}{2}\right)^{3}\le \frac{a^{3}+b^{3}}{2} \长左右箭头 4(a^{3}+b^{3})\ge(a+b)^{3}。\]当 \(a=b,\) 时 \(a^{3}+b^{3}=2a^{3}\) 且 \((a+b)^{3}=(2a)^{3}=8a^{3},\) 成立，因此 \(4(a^{3}+b^{3})=8a^{3}=(a+b)^{3}.\) 这给出了 \(C,\) 的最小值，因此\(C=4\) 是不等式始终成立的最小常数。
因此，答案是\(C=4\)。
P268。设 $x, y, z > 0$ 为实数。确定最大常数 $C$，使得以下不等式适用于所有 $x、y、z$：
\[(x y + y z + z x) \left( \frac{1}{(x + y)^2} + \frac{1}{(y + z)^2} + \frac{1}{(z + x)^2} \right) \geq C.\]S268。 $C = \frac{9}{4}$
给定的不等式等价于\(4(xy+yz+zx)\Bigl((z+x)^{2}(y+z)^{2}+(x+y)^{2}(z+x)^{2}+(x+y)^{2}(y+z)^{2}\Bigr) \ge 9(x+y)^{2}(y+z)^{2}(z+x)^{2}。\)
让我们表示
\[p=x+y+z,\quad q=xy+yz+zx,\quad r=xyz。\]通过 \(I_{5}\) 和 \(I_{7}\) 我们有
\[(x+y)^{2}(y+z)^{2}(z+x)^{2}=(pq-r)^{2},\]和
\[(x+y)^{2}(y+z)^{2}+(y+z)^{2}(z+x)^{2}+(z+x)^{2}(x+y)^{2} =(p^{2}+q)^{2}-4p(pq-r)。\]所以我们可以将不等式改写如下：
\[\开始{对齐} &4q\Bigl((p^{2}+q)^{2}-4p(pq-r)\Bigr)\ge 9(pq-r)^{2} \\ &\Longleftrightarrow\ 4p^{4}q-17p^{2}q^{2}+4q^{3}+34pqr-9r^{2}\ge 0 \\ &\Longleftrightarrow\ 3pq\left(p^{3}-4pq+9r\right) +q\left(p^{4}-5p^{2}q+4q^{2}+6pr\right) +r(pq-9r)\ge 0。 \结束{对齐}\]最后一个不等式由 \(N_{1},N_{2},N_{3}\) 以及 \(p,q,r>0.\) 等式得出当且仅当 \(x=y=z.\)
当 \(x=y=z,\) 时，相等成立
\[xy+yz+zx=3x^{2} \quad\text{和}\quad \frac{1}{(x+y)^{2}}+\frac{1}{(y+z)^{2}}+\frac{1}{(z+x)^{2}} =\frac{3}{(2x)^{2}}=\frac{3}{4x^{2}},\]所以左边等于
\[3x^{2}\cdot \frac{3}{4x^{2}}=\frac{9}{4}。\]因此，表达式的最小值为 \(C=\frac{9}{4}.\)
因此，答案是\(C=\frac{9}{4}\)。
P269。令 $a, b, c$ 为三角形的边长。确定最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[(a+b-c)^{a}(b+c-a)^{b}(c+a-b)^{c} \leq C (a^{a} b^{b} c^{c})。\]S269。 $C = 1$
根据加权幂均值不平等，我们有
\[\开始{对齐} \sqrt[a+b+c]{\left(\frac{a+b-c}{a}\right)^{a}\left(\frac{b+c-a}{b}\right)^{b}\left(\frac{c+a-b}{c}\right)^{c}} &\le \frac{1}{a+b+c}\left(a\cdot\frac{a+b-c}{a}+b\cdot\frac{b+c-a}{b}+c\cdot\frac{c+a-b}{c}\right) \\ &=\frac{(a+b-c)+(b+c-a)+(c+a-b)}{a+b+c} =1。 \结束{对齐}\]即
\[(a+b-c)^{a}(b+c-a)^{b}(c+a-b)^{c}\le a^{a}b^{b}c^{c}。\]平等发生时
\[\frac{a+b-c}{a}=\frac{b+c-a}{b}=\frac{c+a-b}{c},\]这相当于 \(a=b=c\) （等边三角形的情况）。因此最小常数是 \(C=1.\)
因此，答案是\(C=1\)。
P270。设 $x, y, z \in \mathbb{R}^{+}$ 使得 $x y z = 1$ 且 $\frac{1}{x} + \frac{1}{y} + \frac{1}{z} \geq x + y + z$。确定最大常数 $C$，使得对于任何自然数 $n$，以下不等式适用于所有 $x、y、z$：
\[\frac{1}{x^{n}} + \frac{1}{y^{n}} + \frac{1}{z^{n}} \geq C (x^{n} + y^{n} + z^{n})。\]S270。 $C = 1$
设置后
\[x=\frac{a}{b},\quad y=\frac{b}{c},\quad z=\frac{c}{a},\]初始条件
\[\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\ge x+y+z\]变成
\[\frac{b}{a}+\frac{c}{b}+\frac{a}{c}\ge \frac{a}{b}+\frac{b}{c}+\frac{c}{a} \长左右箭头 a^{2}b+b^{2}c+c^{2}a\ge ab^{2}+bc^{2}+ca^{2} \长左右箭头 (a-b)(b-c)(c-a)\le 0。\]设\(n\in\mathbb{N}\)，并取
\[A=a^{n},\quad B=b^{n},\quad C=c^{n}。\]然后 \(a\ge b\Longleftrightarrow A\ge B\) 和 \(a\le b\Longleftrightarrow A\le B\) 等。因此
\[(a-b)(b-c)(c-a)\le 0 \长左右箭头 (A-B)(B-C)(C-A)\le 0。\]但是
\[(A-B)(B-C)(C-A)\le 0 \长左右箭头 A^{2}B+B^{2}C+C^{2}A\ge AB^{2}+BC^{2}+CA^{2} \长左右箭头 \frac{B}{A}+\frac{C}{B}+\frac{A}{C}\ge \frac{A}{B}+\frac{B}{C}+\frac{C}{A}。\]自从
\[\frac{B}{A}=\left(\frac{b}{a}\right)^{n}=\frac{1}{x^{n}},\quad \frac{C}{B}=\left(\frac{c}{b}\right)^{n}=\frac{1}{y^{n}},\quad \frac{A}{C}=\left(\frac{a}{c}\right)^{n}=\frac{1}{z^{n}},\]和
\[\frac{A}{B}=x^{n},\quad \frac{B}{C}=y^{n},\quad \frac{C}{A}=z^{n},\]我们得到
\[\frac{1}{x^{n}}+\frac{1}{y^{n}}+\frac{1}{z^{n}}\ge x^{n}+y^{n}+z^{n}。\]当 \(a=b=c,\) 对应于 \(x=y=z=1 时，相等成立。\) 在这种情况下，
\(\frac{1}{x^{n}}+\frac{1}{y^{n}}+\frac{1}{z^{n}}=3 \quad\text{和}\quad x^{n}+y^{n}+z^{n}=3,\)因此不等式变为 \(3\ge C\cdot 3,\) 即 \(C=1.\) 因此最大常数为 \(C=1.\)
因此，答案是\(C=1\)。
P271。令$x, y, z \in \mathbb{R}^{+}$ 使得$x + y + z = 1$。确定最小常数 $C$，使得以下不等式适用于所有 $x、y、z$：
\[\frac{1}{1-x y}+\frac{1}{1-y z}+\frac{1}{1-z x} \leq C.\]S271。 $C = \frac{27}{8}$
设\(p=x+y+z=1,\quad q=xy+yz+zx,\quad r=xyz。\) 可以容易地证明
\[(1-xy)(1-yz)(1-zx)=1-q+pr-r^{2},\]和
\[(1-xy)(1-yz)+(1-yz)(1-zx)+(1-zx)(1-xy)=3-2q+pr。\]所以给定的不等式变为
\[\开始{对齐} 8(3-2q+pr)&\le 27(1-q+pr-r^{2}) \\ \Longleftrightarrow\quad 3-11q+19pr-27r^{2}&\ge 0。 \结束{对齐}\]由于 \(p=1,\) 我们需要证明
\[3-11q+19r-27r^{2}\ge 0。\]通过 \(N_{5}: p^{3}\ge 27r\) 我们有 \(1\ge 27r,\) 即 \(r\ge 27r^{2}.\) 因此
\[3-11q+19r-27r^{2}\ge 3-11q+19r-r=3-11q+18r。\]所以足以证明
\[3-11q+18r\ge 0。\]我们有
\[\开始{对齐} 3-11q+18r\ge 0 &\Longleftrightarrow 3-11(xy+yz+zx)+18xyz\ge 0 \\ &\Longleftrightarrow 11(xy+yz+zx)-18xyz\le 3. \结束{对齐}\]应用 \(AM\ge GM\) 我们推导出
\[\开始{对齐} 11(xy+yz+zx)-18xyz &=xy(11-18z)+11z(x+y) \\ &\le \frac{(x+y)^{2}}{4}(11-18z)+11z(x+y) \\ &=\frac{(1-z)^{2}}{4}(11-18z)+11z(1-z) \\ &=\frac{(1-z)\left((1-z)(11-18z)+44z\right)}{4} \\ &=\frac{11+4z+3z^{2}-18z^{3}}{4}。 \结束{对齐}\]所以还有待证明的是
\[\frac{11+4z+3z^{2}-18z^{3}}{4}\le 3 \长左右箭头 4z+3z^{2}-18z^{3}\le 1 \长左右箭头 18z^{3}-3z^{2}-4z+1\ge 0 \长左右箭头 (3z-1)^{2}(2z+1)\ge 0,\]这是显而易见的。
当 \(x=y=z=\frac{1}{3},\) 时成立，\(x+y+z=1\) 且 \(xy=yz=zx=\frac{1}{9},\) 如此
\[\frac{1}{1-xy}=\frac{1}{1-\frac{1}{9}}=\frac{9}{8},\]总和为 \(3\cdot \frac{9}{8}=\frac{27}{8}.\) 这给出了总和的最大值，因此 \(C=\frac{27}{8}\) 是不等式始终成立的最小常数。
因此，答案是\(C=\frac{27}{8}\)。
P272。令 $\alpha_{i}>0, i=1,2, \ldots, n$ 为实数，使得 $\alpha_{1}+\alpha_{2}+\cdots+\alpha_{n}=1$。确定最大常数$C$，使得以下不等式适用于所有$\alpha_{i}$：
\[\alpha_{1}^{\alpha_{1}} \alpha_{2}^{\alpha_{2}} \cdots \alpha_{n}^{\alpha_{n}} \geq C.\]S272。 $C = \frac{1}{n}$
如果我们采取
\[a_i=\frac{1}{\alpha_i},\qquad i=1,2,\ldots,n,\]然后通过加权 \(AM\text{-}GM\) 不等式我们得到
\[\left(\frac{1}{\alpha_1}\right)^{\alpha_1} \left(\frac{1}{\alpha_2}\right)^{\alpha_2} \c点 \left(\frac{1}{\alpha_n}\right)^{\alpha_n} \le \alpha_1\cdot\frac{1}{\alpha_1} +\alpha_2\cdot\frac{1}{\alpha_2} +\c点 +\alpha_n\cdot\frac{1}{\alpha_n} =n。\]即
\[\frac{1}{\alpha_1^{\alpha_1}\alpha_2^{\alpha_2}\cdots\alpha_n^{\alpha_n}}\le n \长左右箭头 \alpha_1^{\alpha_1}\alpha_2^{\alpha_2}\cdots\alpha_n^{\alpha_n}\ge \frac{1}{n}。\]等式成立时
\[\alpha_1=\alpha_2=\cdots=\alpha_n=\frac{1}{n},\]在这种情况下
\[\alpha_1^{\alpha_1}\cdots\alpha_n^{\alpha_n} =\left(\frac{1}{n}\right)^{\frac{1}{n}+\cdots+\frac{1}{n}} =\left(\frac{1}{n}\right)^{1} =\frac{1}{n}。\]因此，乘积的最小值为 \(\frac{1}{n},\)，因此最大常数为 \(C=\frac{1}{n}.\)
因此，答案是\(C=\frac{1}{n}\)。
P273。设$a、b \in \mathbb{R}^{+}$ 和$n \in \mathbb{N}$。找到最小常数 $C$，使得以下不等式对于所有 $a、b \in \mathbb{R}^{+}$ 和 $n \in \mathbb{N}$ 成立：
\[(a+b)^{n}\left(a^{n}+b^{n}\right) \leq C\left(a^{2 n}+b^{2 n}\right)\]S273。 $C = 2^n$
根据幂均值不等式，对于任何 \(x,y\in\mathbb{R}^{+}\) 和 \(n\in\mathbb{N}\)，我们有
\[\left(\frac{x+y}{2}\right)^{n}\le \frac{x^{n}+y^{n}}{2}。\]因此\(\开始{对齐} (a+b)^{n}\左(a^{n}+b^{n}\右) &=2^{n}\left(\frac{a+b}{2}\right)^{n}\left(a^{n}+b^{n}\right) \\ &\le 2^{n}\left(\frac{a^{n}+b^{n}}{2}\right)\left(a^{n}+b^{n}\right) \\ &=2^{n}\cdot \frac{\left(a^{n}+b^{n}\right)^{2}}{2} \\ &\le 2^{n}\cdot \frac{2\left(a^{2n}+b^{2n}\right)}{2} \\ &=2^{n}\left(a^{2n}+b^{2n}\right)。 \结束{对齐}\)
当 \(a=b\) 时，等式成立，因为在这种情况下，上述所有不等式都变为等式。因此最小的常数是 \(C=2^{n}.\)
因此，答案是\(C=2^{n}\)。
P274。设 $a_{1}, a_{2}, \ldots, a_{n} \in \mathbb{R}^{+}$。找到最小常数 $C$，使得以下不等式对于所有 $a_{1}, a_{2}, \ldots, a_{n}$ 成立：
\[\sum_{k=1}^{n} k a_{k} \leq C + \sum_{k=1}^{n} a_{k}^{k}\]S274。 $C = \binom{n}{2}$
对于 \(1\le k\le n\) 我们有
\[a_{k}^{k}+(k-1)=a_{k}^{k}+\underbrace{1+1+\cdots+1}_{k-1} \ge k\sqrt[k]{a_{k}^{k}\cdot \underbrace{1\cdot 1\cdots 1}_{k-1}} =ka_{k}。\]添加这些不等式 \(1\le k\le n\) 后，我们得到
\[\sum_{k=1}^{n}ka_{k} \le \sum_{k=1}^{n}a_{k}^{k}+\sum_{k=1}^{n}(k-1) =\sum_{k=1}^{n}a_{k}^{k}+\frac{n(n-1)}{2} =\sum_{k=1}^{n}a_{k}^{k}+\binom{n}{2}。\]当所有 \(k\) 的 \(a_{k}=1\) 时，相等成立，从那时起 \(a_{k}^{k}=1\) 和 \(ka_{k}=k\)，因此两边相等。因此最小的常数是
\[C=\binom{n}{2}。\]因此，答案是\(C=\binom{n}{2}\)。
P275。令 $a, b, c$ 为正实数，使得 $a + b + c \geq \frac{1}{a} + \frac{1}{b} + \frac{1}{c}$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[a + b + c \geq \frac{C}{a+b+c} + \frac{2}{abc}。\]S275。 $C = 3$
通过 \(AM\ge HM\) 我们得到
\[a+b+c \ge \frac{1}{a}+\frac{1}{b}+\frac{1}{c} \ge \frac{9}{a+b+c},\]即
\[\frac{a+b+c}{3}\ge \frac{3}{a+b+c}\qquad (1)\]我们将证明
\[\frac{2(a+b+c)}{3}\ge \frac{2}{abc}\qquad (2)\]即
\[a+b+c\ge \frac{3}{abc}。\]利用众所周知的不等式
\[(xy+yz+zx)^{2}\ge 3(xy+yz+zx),\]我们得到
\[(a+b+c)^{2}\ge \left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^{2} \ge 3\left(\frac{1}{ab}+\frac{1}{bc}+\frac{1}{ca}\right) =3\frac{a+b+c}{abc},\]即
\[a+b+c\ge \frac{3}{abc}。\]将（1）和（2）相加后，我们得到所需的不等式。
当 \(a=b=c=1,\) 时等式成立，\(a+b+c=3,\) \(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}=3,\) 和 \(abc=1,\) 因此原来的约束满足等式，不等式变为
\[3\ge \frac{3}{3}+2=3。\]因此，不等式始终成立的 \(C\) 的最大值是 \(C=3.\)
因此，答案是\(C=3\)。
P276。令 $a、b、c、x、y、z$ 为正实数，使得 $x + y + z = 1$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c、x、y、z$：
\[a x + b y + c z + C \sqrt{(x y + y z + z x)(a b + b c + c a)} \leq a+b+c。\]S276.1。 $C = 2$
\(a,b,c\) 中的不等式是齐次的，我们可以假设 \(a+b+c=1。\) 我们应用 AM-GM 不等式，我们发现
\[2\sqrt{(xy+yz+zx)(ab+bc+ca)}\le (xy+yz+zx)+(ab+bc+ca)。\]因此
\[ax+by+cz+2\sqrt{(xy+yz+zx)(ab+bc+ca)} \le ax+by+cz+xy+yz+zx+ab+bc+ca。\]因此，足以证明
\[xy+yz+zx+ab+bc+ca\le 1-ax-by-cz。\]但自从
\[xy+yz+zx=\frac{(x+y+z)^{2}-(x^{2}+y^{2}+z^{2})}{2} =\frac{1-x^{2}-y^{2}-z^{2}}{2},\]和类似地
\[ab+bc+ca=\frac{1-a^{2}-b^{2}-c^{2}}{2},\]我们有
\[xy+yz+zx+ab+bc+ca =\frac{1-x^{2}-y^{2}-z^{2}}{2}+\frac{1-a^{2}-b^{2}-c^{2}}{2}。\]因此期望的不等式等于
\[\frac{1-x^{2}-y^{2}-z^{2}}{2}+\frac{1-a^{2}-b^{2}-c^{2}}{2}\le 1-ax-by-cz,\]这与以下相同
\((x-a)^{2}+(y-b)^{2}+(z-c)^{2}\ge 0。\)当 \(x=a,\ y=b,\ z=c.\) 时，等式成立。在这种情况下，不等式变为等式，\(C=2\) 是不等式始终成立的最大值。
因此，答案是\(C=2\)。
S276.2。 $C = 2$
我们将使用柯西-施瓦茨不等式两次。首先，我们可以写
\[ax+by+cz\le \sqrt{a^{2}+b^{2}+c^{2}}\cdot \sqrt{x^{2}+y^{2}+z^{2}}。\]另外，
\[2\sqrt{(xy+yz+zx)(ab+bc+ca)} =\sqrt{2(ab+bc+ca)}\cdot \sqrt{2(xy+yz+zx)}。\]因此，
\[\开始{对齐} &ax+by+cz+2\sqrt{(xy+yz+zx)(ab+bc+ca)} \\ &\le \sqrt{a^{2}+b^{2}+c^{2}}\cdot \sqrt{x^{2}+y^{2}+z^{2}} +\sqrt{2(ab+bc+ca)}\cdot \sqrt{2(xy+yz+zx)} \\ &\le \sqrt{a^{2}+b^{2}+c^{2}+2(ab+bc+ca)}\cdot \sqrt{x^{2}+y^{2}+z^{2}+2(xy+yz+zx)} \\ &=\sqrt{(a+b+c)^{2}}\cdot \sqrt{(x+y+z)^{2}} =（a+b+c）（x+y+z）。 \结束{对齐}\]如果 \(a+b+c=1\) 且 \(x+y+z=1\)，则右侧等于 \(1.\)
当 \(a=b=c\) 和 \(x=y=z.\) 时，等式成立。在这种情况下，不等式变为等式，并且 \(C=2\) 是不等式始终成立的最大值。
因此，答案是\(C=2\)。
P277。令 $a、b、c$ 为正实数，使得 $ab + bc + ca = 3$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\left(a^{3}-a+5\right)\left(b^{5}-b^{3}+5\right)\left(c^{7}-c^{5}+5\right) \geq C\]S277。 $C = 125$
对于任何实数 \(x,\)，数字 \(x-1,\ x^{2}-1,\ x^{3}-1\) 和 \(x^{5}-1\) 具有相同的符号。
因此
\[(x-1)(x^{2}-1)\ge 0,\quad (x^{2}-1)(x^{3}-1)\ge 0,\quad (x^{2}-1)(x^{5}-1)\ge 0,\]即
\[\开始{对齐} a^{3}-a^{2}-a+1&\ge 0, \\ b^{5}-b^{3}-b^{2}+1&\ge 0, \\ c^{7}-c^{5}-c^{2}+1&\ge 0。 \结束{对齐}\]所以由此可见
\[a^{3}-a+5\ge a^{2}+4,\quad b^{5}-b^{3}+5\ge b^{2}+4,\quad c^{7}-c^{5}+5\ge c^{2}+4。\]将这些不等式相乘得出
\[(a^{3}-a+5)(b^{5}-b^{3}+5)(c^{7}-c^{5}+5) \ge (a^{2}+4)(b^{2}+4)(c^{2}+4) \qquad (1)\]我们将证明这一点
\[(a^{2}+4)(b^{2}+4)(c^{2}+4)\ge 25(ab+bc+ca+2) \qquad (2)\]我们有
\[\开始{对齐} (a^{2}+4)(b^{2}+4)(c^{2}+4) &=a^{2}b^{2}c^{2}+4(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2})+16(a^{2}+b^{2}+c^{2})+64 \\ &=\Bigl(a^{2}b^{2}c^{2}+(a^{2}+b^{2}+c^{2})+2\Bigr) +4\Bigl(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2}+3\Bigr) \\ &\quad +15(a^{2}+b^{2}+c^{2})+50。 \结束{对齐}\]因此
\[(a^{2}+4)(b^{2}+4)(c^{2}+4) =\Bigl(a^{2}b^{2}c^{2}+(a^{2}+b^{2}+c^{2})+2\Bigr) +4\Bigl(a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2}+3\Bigr) +15(a^{2}+b^{2}+c^{2})+50 \qquad (3)\]通过明显的不平等
\[(a-b)^{2}+(b-c)^{2}+(c-a)^{2}\ge 0 \quad\text{和}\quad (ab-1)^{2}+(bc-1)^{2}+(ca-1)^{2}\ge 0,\]我们得到
\[a^{2}+b^{2}+c^{2}\ge ab+bc+ca \qquad (4)\]和
\[a^{2}b^{2}+b^{2}c^{2}+c^{2}a^{2}+3\ge 2(ab+bc+ca)。 \qquad (5)\]我们将证明这一点
\[a^{2}b^{2}c^{2}+(a^{2}+b^{2}+c^{2})+2\ge 2(ab+bc+ca)。 \qquad (6)\]引理。让 \(x,y,z>0.\) 那么
\[3xyz+x^{3}+y^{3}+z^{3}\ge 2\left((xy)^{3/2}+(yz)^{3/2}+(zx)^{3/2}\right)。\]证明。根据 Schur 不等式和 \(AM\ge GM\) 我们有
\[\开始{对齐} x^{3}+y^{3}+z^{3}+3xyz &\ge (x^{2}y+y^{2}x)+(y^{2}z+z^{2}y)+(z^{2}x+x^{2}z) \\ &\ge 2\left((xy)^{3/2}+(yz)^{3/2}+(zx)^{3/2}\right)。 \结束{对齐}\]通过 \(x=a^{2/3},\ y=b^{2/3},\ z=c^{2/3}\) 的引理，我们推出
\[3(abc)^{2/3}+a^{2}+b^{2}+c^{2}\ge 2(ab+bc+ca)。\]因此只需证明
\[a^{2}b^{2}c^{2}+2\ge 3(abc)^{2/3},\]紧接着是 \(AM\ge GM\)。
这样我们就证明了不等式（6）。现在由(3)、(4)、(5)和(6)我们得到不等式(2)。
最后通过 (1), (2) 并且由于 \(ab+bc+ca=3\) 我们得到了所需的不等式。当且仅当 \(a=b=c=1.\) 时才相等
当 \(a=b=c=1,\) 满足 \(ab+bc+ca=3 时，相等成立。\) 在这种情况下，表达式的计算结果为\((1^{3}-1+5)(1^{5}-1^{3}+5)(1^{7}-1^{5}+5)=5\cdot 5\cdot 5=125。\)
这给出了表达式的最小值，因此 \(C=125\) 是不等式始终成立的最大常数。
因此，答案是\(C=125\)。
P278。令 $n$ 为大于 2 的整数。找到最大实数 $C_{\text{min}}$ 和最小实数 $C_{\text{max}}$，使得对于任何正实数 $x_1, x_2, \ldots, x_n$ （其中 $x_n = x_0$ 且 $x_{n+1} = x_1$），以下不等式成立：
\[C_{\text{min}} \leq \sum_{i=1}^{n} \frac{x_i}{x_{i-1} + 2(n-1)x_i + x_{i+1}} \leq C_{\text{max}}\]S278。 \(C_{\text{min}}=\frac{1}{2(n-1)},\quad C_{\text{max}}=\frac{1}{2}.\)
我们将证明\(m_{n}=\frac{1}{2(n-1)},\quad M_{n}=\frac{1}{2}。\)
首先我们来看一下不等式
\[\sum_{i=1}^{n}\frac{x_{i}}{x_{i-1}+2(n-1)x_{i}+x_{i+1}}\ge \frac{1}{2(n-1)}\]是微不足道的，因为
\[x_{i-1}+2(n-1)x_{i}+x_{i+1}\le 2(n-1)\sum_{k=1}^{n}x_{k} \quad\text{对于所有人}\quad i。\]这表明
\[m_{n}\ge \frac{1}{2(n-1)}。\]取\(x_{i}=x^{i}\)，表达式变为
\[\frac{1}{x+x^{n-1}+2(n-1)} +\frac{(n-2)x}{1+2(n-1)x+x^{2}} +\frac{x^{n-1}}{1+2(n-1)x^{n-1}+x^{n-2}},\]当 \(x\ 到 0\) 时取极限，我们发现
\[m_{n}\le \frac{1}{2(n-1)}。\]因此
\[m_{n}=\frac{1}{2(n-1)}。\]现在，我们将证明 \(M_{n}\le \frac{1}{2}.\) 当然，只要证明对于任何 \(x_{1},x_{2},\ldots,x_{n}>0\) 我们有
\[\sum_{i=1}^{n}\frac{x_{i}}{x_{i-1}+2(n-1)x_{i}+x_{i+1}}\le \frac{1}{2}。\]但很明显的是
\[\开始{对齐} \sum_{i=1}^{n}\frac{2x_{i}}{x_{i-1}+2(n-1)x_{i}+x_{i+1}} &\le \sum_{i=1}^{n}\frac{2x_{i}}{2\sqrt{x_{i-1}x_{i+1}}+2(n-1)x_{i}} \\ &=\sum_{i=1}^{n}\frac{1}{(n-1)+\frac{\sqrt{x_{i-1}x_{i+1}}}{x_{i}}}。 \结束{对齐}\]取 \(\frac{\sqrt{x_{i-1}x_{i+1}}}{x_{i}}=a_{i},\) 我们必须证明如果
\[\prod_{i=1}^{n}a_{i}=1,\]然后
\[\sum_{i=1}^{n}\frac{1}{n-1+a_{i}}\le 1.\]但这已经在第84题中得到了证明。因此
\[\sum_{i=1}^{n}\frac{2x_{i}}{x_{i-1}+2(n-1)x_{i}+x_{i+1}}\le 1,\]这产生
\[\sum_{i=1}^{n}\frac{x_{i}}{x_{i-1}+2(n-1)x_{i}+x_{i+1}}\le \frac{1}{2}。\]因此
\[M_{n}\le \frac{1}{2}。\]因为 \(x_{1}=x_{2}=\cdots=x_{n}\) 相等，所以我们推断
\[M_{n}=\frac{1}{2},\]这解决了问题。
下界 \(C_{\text{min}}=\frac{1}{2(n-1)}\) 的相等性是在极限内实现的，因为一个变量趋于零，而其他变量则固定，例如通过取
\[x_{1}=x_{2}=\cdots=x_{n-1}=1,\quad x_{n}\到 0。\]当所有变量都相等时，即可实现上限 \(C_{\text{max}}=\frac{1}{2}\) 的相等，即
\[x_{1}=x_{2}=\cdots=x_{n}。\]因此，答案是
\[C_{\text{min}}=\frac{1}{2(n-1)},\quad C_{\text{max}}=\frac{1}{2}。\]P279。令 $x_{1}, x_{2}, \ldots, x_{n}$ 为非负实数，使得 $x_{1} + x_{2} + \cdots + x_{n} \leq \frac{1}{2}$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $x_{1}, x_{2}, \ldots, x_{n}$ 成立：
\[\left(1 - x_{1}\right)\left(1 - x_{2}\right) \cdots \left(1 - x_{n}\right) \geq C\]S279。 $C = \frac{1}{2}$
根据 \(x_{1}+x_{2}+\cdots+x_{n}\le \frac{1}{2}\) 以及 \(x_{1},x_{2},\ldots,x_{n}\) 为非负的事实，我们推断出
\[0\le x_{i}\le \frac{1}{2}<1, \quad\text{即}\quad -x_{i}>-1, \quad\text{对于所有}\quad i=1,2,\ldots,n。\]因此所有 \(-x_{i}\) 具有相同的符号。
应用伯努利不等式我们得到
\(\开始{对齐} (1-x_{1})(1-x_{2})\cdots(1-x_{n}) &=\left(1+(-x_{1})\right)\left(1+(-x_{2})\right)\cdots\left(1+(-x_{n})\right) \\ &\ge 1+\left((-x_{1})+(-x_{2})+\cdots+(-x_{n})\right) \\ &=1-(x_{1}+x_{2}+\cdots+x_{n}) \\ &\ge 1-\frac{1}{2}=\frac{1}{2}。 \结束{对齐}\)例如，当 \(x_{1}+x_{2}+\cdots+x_{n}=\frac{1}{2}\) 且除一个变量外的所有变量均为零时，相等成立
\[x_{1}=\frac{1}{2},\quad x_{2}=x_{3}=\cdots=x_{n}=0。\]因此，乘积的最小值为 \(\frac{1}{2}\)，因此不等式始终成立的最大常数 \(C\) 为
\[C=\frac{1}{2}。\]因此，答案是\(C=\frac{1}{2}\)。
P280。令$a, b, c \in (-3, 3)$ 使得$\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c}=\frac{1}{3-a}+\frac{1}{3-b}+\frac{1}{3-c}$。确定最大常数 $C$，使得以下不等式对于满足给定条件的所有 $a、b、c$ 成立：
\[\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c} \geq C\]S280。 $C = 1$
根据不等式 \(AM\ge HM\) 我们有
\[\bigl((3+a)+(3+b)+(3+c)\bigr)\left(\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c}\right)\ge 9 \qquad (1)\]和
\[\bigl((3-a)+(3-b)+(3-c)\bigr)\left(\frac{1}{3-a}+\frac{1}{3-b}+\frac{1}{3-c}\right)\ge 9.\]如果我们使用条件\(a+b+c=0\)，那么
\[(3-a)+(3-b)+(3-c)=9-(a+b+c)=9，\]所以之前的不等式就变成了
\[9\left(\frac{1}{3-a}+\frac{1}{3-b}+\frac{1}{3-c}\right)\ge 9, \qquad\text{即}\qquad \frac{1}{3-a}+\frac{1}{3-b}+\frac{1}{3-c}\ge 1 \qquad (2)\]将(1)和(2)相加后我们得到
\[9\left(\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c}\right) +9\left(\frac{1}{3-a}+\frac{1}{3-b}+\frac{1}{3-c}\right) \ge 18.\]特别是，
\[\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c}\ge 1。\]当 \(a=b=c=0 时，相等成立，从那时起\)
\[\frac{1}{3+a}+\frac{1}{3+b}+\frac{1}{3+c} =3\cdot \frac{1}{3}=1。\]因此，总和的最小值为 \(1,\)，因此不等式始终成立的最大常数 \(C\) 为
\[C=1。\]因此，答案是\(C=1\)。
P281。令 $a, b, c$ 为正实数，使得 $a+b+c=3$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\frac{a^{2}}{a+2 b^{3}}+\frac{b^{2}}{b+2 c^{3}}+\frac{c^{2}}{c+2 a^{3}} \geq C\]S281。 $C = 1$
应用 \(AM\ge GM\) 给我们
\[\frac{a^{2}}{a+2b^{3}} =a-\frac{2ab^{3}}{a+2b^{3}} \ge a-\frac{2ab^{3}}{3\sqrt[3]{ab^{4}}} =a-\frac{2ba^{2/3}}{3}。\]类似地，
\[\frac{b^{2}}{b+2c^{3}}\ge b-\frac{2cb^{2/3}}{3}, \quad\text{和}\quad \frac{c^{2}}{c+2a^{3}}\ge c-\frac{2ac^{2/3}}{3}。\]添加这三个不等式意味着
\[\frac{a^{2}}{a+2b^{3}}+\frac{b^{2}}{b+2c^{3}}+\frac{c^{2}}{c+2a^{3}} \ge (a+b+c)-\frac{2}{3}\left(ba^{2/3}+cb^{2/3}+ac^{2/3}\right)。\]所以足以证明
\[(a+b+c)-\frac{2}{3}\left(ba^{2/3}+cb^{2/3}+ac^{2/3}\right)\ge 1,\]即
\[ba^{2/3}+cb^{2/3}+ac^{2/3}\le 3 \qquad (1)\]再次应用 \(AM\ge GM\) 后，我们得到
\[a^{2/3}\le \frac{2a+1}{3},\quad b^{2/3}\le \frac{2b+1}{3},\quad c^{2/3}\le \frac{2c+1}{3}。\]分别乘以 \(b,c,a\) 并求和
\[\开始{对齐} ba^{2/3}+cb^{2/3}+ac^{2/3} &\le \frac{b(2a+1)+c(2b+1)+a(2c+1)}{3} \\ &=\frac{a+b+c+2(ab+bc+ca)}{3}。 \结束{对齐}\]使用
\[ab+bc+ca\le \frac{(a+b+c)^{2}}{3},\]我们得到
\[ba^{2/3}+cb^{2/3}+ac^{2/3} \le \frac{(a+b+c)+\frac{2}{3}(a+b+c)^{2}}{3}。\]对于 \(a+b+c=3\) 这给出
\[ba^{2/3}+cb^{2/3}+ac^{2/3}\le \frac{3+\frac{2}{3}\cdot 9}{3}=3,\]也就是说，我们已经证明了（1），我们就完成了。
当 \(a=b=c=1,\) 时，等式成立，从那时起 \(a+b+c=3\) 并且所有项都相等，因此实现了总和的最小值，并且 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P282。令 $t_{a}、t_{b}、t_{c}$ 为中线长度，$a、b、c$ 为给定三角形的边长。找到最小常数 $C$，使得以下不等式适用于所有三角形：\(t_{a} t_{b}+t_{b} t_{c}+t_{c} t_{a} < C(a b+b c+c a)\)
S282。 $C = \frac{5}{4}$
我们可以很容易地证明不平等
\[t_{a}<\frac{b+c}{2},\quad t_{b}<\frac{a+c}{2},\quad t_{c}<\frac{a+b}{2}。\]添加这些后我们得到
\[t_{a}+t_{b}+t_{c}<a+b+c \qquad (1)\]通过对 (1) 求平方，我们推出
\[t_{a}^{2}+t_{b}^{2}+t_{c}^{2}+2(t_{a}t_{b}+t_{b}t_{c}+t_{c}t_{a}) <a^{2}+b^{2}+c^{2}+2(ab+bc+ca)。 \qquad (2)\]另一方面，我们有
\[t_{a}^{2}=\frac{2(b^{2}+c^{2})-a^{2}}{4},\quad t_{b}^{2}=\frac{2(a^{2}+c^{2})-b^{2}}{4},\quad t_{c}^{2}=\frac{2(a^{2}+b^{2})-c^{2}}{4},\]所以
\[t_{a}^{2}+t_{b}^{2}+t_{c}^{2} =\frac{3}{4}(a^{2}+b^{2}+c^{2})。\]现在使用之前的结果和 (2) 我们得到
\[\开始{对齐} 2(t_{a}t_{b}+t_{b}t_{c}+t_{c}t_{a}) &<a^{2}+b^{2}+c^{2}+2(ab+bc+ca)-\frac{3}{4}(a^{2}+b^{2}+c^{2}) \\ &=\frac{1}{4}(a^{2}+b^{2}+c^{2})+2(ab+bc+ca), \结束{对齐}\]即
\[t_{a}t_{b}+t_{b}t_{c}+t_{c}t_{a} <\frac{1}{8}(a^{2}+b^{2}+c^{2})+(ab+bc+ca)。 \qquad (3)\]我们还有
\[a^{2}+b^{2}+c^{2}<2(ab+bc+ca),\]自从
\[a^{2}+b^{2}+c^{2}-2(ab+bc+ca) =(a-b-c)a+(b-a-c)b+(c-a-b)c<0。\]最后通过(3)式和前面的不等式我们得到
\[t_{a}t_{b}+t_{b}t_{c}+t_{c}t_{a} <\frac{1}{8}\cdot 2(ab+bc+ca)+(ab+bc+ca) =\frac{5}{4}(ab+bc+ca)。\]对于任何非退化三角形来说，上述不等式中的等式永远不会实现，因为使用的所有不等式都是严格的。因此，值 \(C=\frac{5}{4}\) 是不等式始终成立的最小常数，但不等式始终是严格的，并且对于任何三角形都不会相等。
因此，答案是\(C=\frac{5}{4}\)。
P283。设$a, b, c \in \mathbb{R}$ 使得$a + b + c \geq abc$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[a^2 + b^2 + c^2 \geq C \, abc。\]S283。 $C = \sqrt{3}$
我们有
\[\开始{对齐} (a^{2}+b^{2}+c^{2})^{2} &=a^{4}+b^{4}+c^{4}+2a^{2}b^{2}+2b^{2}c^{2}+2c^{2}a^{2} \\ &=a^{4}+b^{4}+c^{4}+a^{2}(b^{2}+c^{2})+b^{2}(c^{2}+a^{2})+c^{2}(a^{2}+b^{2})。 \结束{对齐} \qquad (1)\]根据练习 1.7，可以得出
\[a^{4}+b^{4}+c^{4}\ge abc(a+b+c)。 \qquad (2)\]另外，
\[b^{2}+c^{2}\ge 2bc,\quad c^{2}+a^{2}\ge 2ca,\quad a^{2}+b^{2}\ge 2ab。 \qquad (3)\]现在由(1)、(2)和(3)我们推出
\[\开始{对齐} (a^{2}+b^{2}+c^{2})^{2} &\ge abc(a+b+c)+2a^{2}bc+2b^{2}ca+2c^{2}ab \\ &=abc(a+b+c)+2abc(a+b+c) \\ &=3abc(a+b+c)。 \结束{对齐} \qquad (4)\]由于 \(a+b+c\ge abc,\) 从 (4) 我们有
\[(a^{2}+b^{2}+c^{2})^{2}\ge 3abc(a+b+c)\ge 3(abc)^{2},\]即
\[a^{2}+b^{2}+c^{2}\ge \sqrt{3}\,abc。\]当 \(a=b=c=\sqrt{3},\) 时，相等成立
\[a+b+c=3\sqrt{3},\quad abc=(\sqrt{3})^{3}=3\sqrt{3},\]所以 \(a+b+c=abc,\) 和
\[a^{2}+b^{2}+c^{2}=3\cdot 3=9=\sqrt{3}\cdot 3\sqrt{3}=\sqrt{3}\,abc。\]因此最好的常数是 \(C=\sqrt{3}.\)
因此，答案是\(C=\sqrt{3}\)。
P284。设$a,b,c \in \mathbb{R}^{+}$。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[a^{4}+b^{4}+c^{4} \geq C \cdot a b c (a+b+c)\]S284。 $C = 1$
我们有
\[\开始{对齐} a^{4}+b^{4}+c^{4}\ge abc(a+b+c) &\Longleftrightarrow a^{4}+b^{4}+c^{4}\ge a^{2}bc+b^{2}ca+c^{2}ab \\ &\Longleftrightarrow \frac{T[4,0,0]}{2}\ge \frac{T[2,1,1]}{2}。 \结束{对齐}\]即
\[T[4,0,0]\ge T[2,1,1],\]根据缪尔海德定理，这是正确的。
当 \(a=b=c,\) 时相等成立，从此两边相等：
\[a^{4}+b^{4}+c^{4}=3a^{4} \quad\text{和}\quad abc(a+b+c)=a^{3}\cdot 3a=3a^{4}。\]因此最好的常数是 \(C=1.\)
因此，答案是\(C=1\)。
P285。令$a, b, c \in \mathbb{R}^{+}$ 使得$ab + bc + ca = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
S285。 $C = \frac{9}{2}$
给定的不等式等价于
\[\frac{c(a+b)+ab}{a(a+b)}+\frac{a(b+c)+bc}{b(b+c)}+\frac{b(c+a)+ac}{c(c+a)}\ge \frac{9}{2},\]即
\[\frac{c}{a}+\frac{ab}{a(a+b)}+\frac{a}{b}+\frac{bc}{b(b+c)}+\frac{b}{c}+\frac{ac}{c(c+a)} \ge \frac{9}{2}。\]自从
\[\frac{ab}{a(a+b)}=\frac{b}{a+b},\quad \frac{bc}{b(b+c)}=\frac{c}{b+c},\quad \frac{ac}{c(c+a)}=\frac{a}{c+a},\]这变成
\[\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a}\ge \frac{9}{2}。\]等价地，
\[\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a}\ge \frac{15}{2}。 \qquad (1)\]我们有
\[\开始{对齐} &\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a} \\ &=\left(\frac{a+b}{4b}+\frac{b+c}{4c}+\frac{c+a}{4a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a}\right) +\frac{3}{4}\left(\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a}\right)。 \结束{对齐}\]作者：\(AM\ge GM\)，
\[\开始{对齐} &\frac{a+b}{4b}+\frac{b+c}{4c}+\frac{c+a}{4a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a} \\ &\ge 6\sqrt[6]{\frac{a+b}{4b}\cdot \frac{b+c}{4c}\cdot \frac{c+a}{4a}\cdot \frac{b}{a+b}\cdot \frac{c}{b+c}\cdot \frac{a}{c+a}} =6\sqrt[6]{\frac{1}{64}}=3。 \结束{对齐}\]另外，
\[\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a} =\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+3 \ge 3\sqrt[3]{\frac{a}{b}\cdot \frac{b}{c}\cdot \frac{c}{a}}+3 =6。\]因此
\[\frac{3}{4}\left(\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a}\right)\ge \frac{3}{4}\cdot 6=\frac{9}{2}。\]将最后两个估计值相加得出
\[\frac{a+b}{b}+\frac{b+c}{c}+\frac{c+a}{a}+\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a} \ge 3+\frac{9}{2}=\frac{15}{2},\]这就证明了(1)，从而证明了原来的不等式。
当 \(a=b=c\) 时，相等成立（对于 \(a=b=c=\frac{1}{\sqrt{3}}\) 也满足 \(ab+bc+ca=1\)）。因此最好的常数是
\[C=\frac{9}{2}。\]因此，答案是\(C=\frac{9}{2}\)。
P286。设$a、b、c$为正实数。找到最小的正数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[\frac{a+\sqrt{a b}+\sqrt[3]{a b c}}{C} \leq \sqrt[3]{a \cdot \frac{a+b}{2} \cdot \frac{a+b+c}{3}}\]S286。 $C = 3$
应用 \(AM\ge GM\) 我们得到
\[\sqrt[3]{ab\cdot \frac{a+b}{2}} \ge \sqrt[3]{ab\cdot \sqrt{ab}} =\sqrt{ab}。\]所以
\[a+\sqrt{ab}+\sqrt[3]{abc} \le a+\sqrt[3]{ab\cdot \frac{a+b}{2}}+\sqrt[3]{abc}。\]现在，足以证明
\[a+\sqrt[3]{ab\cdot \frac{a+b}{2}}+\sqrt[3]{abc} \le 3\sqrt[3]{a\cdot \frac{a+b}{2}\cdot \frac{a+b+c}{3}}。\]\(AM\ge GM\) 的另一个应用给出
\[\sqrt[3]{1\cdot \frac{2a}{a+b}\cdot \frac{3a}{a+b+c}} \le \frac{1+\frac{2a}{a+b}+\frac{3a}{a+b+c}}{3},\] \[\sqrt[3]{1\cdot 1\cdot \frac{3b}{a+b+c}} \le \frac{2+\frac{3b}{a+b+c}}{3},\]和
\[\sqrt[3]{1\cdot \frac{2b}{a+b}\cdot \frac{3c}{a+b+c}} \le \frac{1+\frac{2b}{a+b}+\frac{3c}{a+b+c}}{3}。\]相加，我们得到
\[\sqrt[3]{\frac{2a}{a+b}\cdot \frac{3a}{a+b+c}} +\sqrt[3]{\frac{3b}{a+b+c}} +\sqrt[3]{\frac{2b}{a+b}\cdot \frac{3c}{a+b+c}} \le 3.\]即
\[\sqrt[3]{\frac{1}{a}\cdot \frac{2}{a+b}\cdot \frac{3}{a+b+c}} \left(a+\sqrt[3]{ab\cdot \frac{a+b}{2}}+\sqrt[3]{abc}\right) \le 3,\]即
\(a+\sqrt[3]{ab\cdot \frac{a+b}{2}}+\sqrt[3]{abc} \le 3\sqrt[3]{a\cdot \frac{a+b}{2}\cdot \frac{a+b+c}{3}}。\)当 \(a=b=c,\) 时，即所有变量都相等时，相等成立。在这种情况下，不等式两边相等，且不等式始终成立的 \(C\) 的最小值为 \(C=3.\)
因此，答案是\(C=3\)。
P287。令 $a、b、c、d、e$ 为正实数，使得 $a+b+c+d+e=5$。找到最小常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c、d、e$ 成立：
\[a b c + b c d + c d e + d e a + e a b \leq C.\]S287。 $C = 5$
不失一般性，我们可以假设 \(e=\min\{a,b,c,d,e\}.\) 通过 \(AM\ge GM\)，我们有
\[\开始{对齐} abc+bcd+cde+dea+eab &=e(a+c)(b+d)+bc(a+d-e) \\ &\le e\left(\frac{a+c+b+d}{2}\right)^{2}+\left(\frac{b+c+a+d-e}{3}\right)^{3} \\ &=\frac{e(5-e)^{2}}{4}+\frac{(5-2e)^{3}}{27}。 \结束{对齐}\]所以足以证明
\[\frac{e(5-e)^{2}}{4}+\frac{(5-2e)^{3}}{27}\le 5,\]可以重写为
\[(e-1)^{2}(e+8)\ge 0,\]这显然是正确的。
等式成立当且仅当 \(a=b=c=d=e=1,\) 即所有变量都相等时。在这种情况下，
\[abc+bcd+cde+dea+eab=5。\]因此，这给出了表达式的最大值，因此最小常数是 \(C=5.\)
因此，答案是\(C=5\)。
P288。设$a、b、c$为非负实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}_0$ 成立：
\[a^{3}+b^{3}+c^{3}+a b c \geq C(a+b+c)^{3}\]S288。 $C = \frac{1}{7}$
我们有
\[\开始{对齐} (a+b+c)^{3} &=a^{3}+b^{3}+c^{3}+3\left(a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b)\right)+6abc \\ &=\frac{T[3,0,0]}{2}+3T[2,1,0]+T[1,1,1], \结束{对齐}\]和
\[a^{3}+b^{3}+c^{3}+abc=\frac{T[3,0,0]}{2}+\frac{T[1,1,1]}{6}。\]所以我们需要证明
\[7\left(\frac{T[3,0,0]}{2}+\frac{T[1,1,1]}{6}\right) \ge \frac{T[3,0,0]}{2}+3T[2,1,0]+T[1,1,1]。\]这相当于
\[3T[3,0,0]+\frac{T[1,1,1]}{6}\ge 3T[2,1,0],\]这是真的，因为
\[T[3,0,0]\ge T[2,1,0]\]根据缪尔黑德定理，以及 \(T[1,1,1]\ge 0.\)
当 \(a=b=c,\) 时，等式成立，从此所有对称和匹配，不等式变为等式。因此最好的常数是
\[C=\frac{1}{7}。\]因此，答案是\(C=\frac{1}{7}\)。
P289。令 $a, b, c, d > 1$ 为实数。找到最小常数 $C$，使得以下不等式对于所有 $a, b, c, d > 1$ 成立：
\[\sqrt{a-1}+\sqrt{b-1}+\sqrt{c-1}+\sqrt{d-1}\leq C \sqrt{(a b+1)(c d+1)}。\]S289。 $C = 1$
我们将证明对于每个 \(x,y\in\mathbb{R}^{+}\) 我们有
\[\sqrt{x-1}+\sqrt{y-1}\le\sqrt{xy}。\]确实，
\[(\sqrt{x-1}+\sqrt{y-1})^{2} =(x-1)+(y-1)+2\sqrt{(x-1)(y-1)} =x+y-2+2\sqrt{(x-1)(y-1)} \le xy,\]因为
\[xy-(x+y-2)= (x-1)(y-1)+1\ge 2\sqrt{(x-1)(y-1)}。\]因此
\[\sqrt{x-1}+\sqrt{y-1}\le\sqrt{xy}。\]现在我们很容易推断出
\[\sqrt{a-1}+\sqrt{b-1}+\sqrt{c-1}+\sqrt{d-1} \le\sqrt{ab}+\sqrt{cd}。\]另外，
\[(\sqrt{ab}+\sqrt{cd})^{2} =ab+cd+2\sqrt{abcd} \le ab+cd+1+abcd =(ab+1)(cd+1),\]所以
\[\sqrt{ab}+\sqrt{cd}\le \sqrt{(ab+1)(cd+1)}。\]因此，
\[\sqrt{a-1}+\sqrt{b-1}+\sqrt{c-1}+\sqrt{d-1} \le \sqrt{(ab+1)(cd+1)}。\]当 \(ab=cd=1\) 且 \(a=b=c=d=1\) 时，相等成立，因此最佳常数为
\[C=1。\]因此，答案是\(C=1\)。
P290。令 $n > 2$ 并令 $x_{1}, x_{2}, \ldots, x_{n} > 0$ 使得 $\sum_{i=1}^{n} x_i = 1$。找到最大常数 $C$，使得以下不等式适用于所有 $x_{i}$：
\[\prod_{i=1}^{n}\left(1+\frac{1}{x_{i}}\right) \geq C \prod_{i=1}^{n}\left(\frac{n-x_{i}}{1-x_{i}}\right)。\]S290。 $C =1$
最自然的想法是利用以下事实：
\[\frac{n-x_{i}}{1-x_{i}} =1+\frac{n-1}{x_{1}+x_{2}+\cdots+x_{i-1}+x_{i+1}+\cdots+x_{n}}。\]因此，我们有\(\prod_{i=1}^{n}\left(\frac{n-x_{i}}{1-x_{i}}\right) \le \prod_{i=1}^{n}\left(1+\frac{1}{\sqrt[n-1]{x_{1}x_{2}\cdots x_{i-1}x_{i+1}\cdots x_{n}}}\right),\)
我们必须证明不等式
\[\prod_{i=1}^{n}\left(1+\frac{1}{x_{i}}\right) \ge \prod_{i=1}^{n}\left(1+\frac{1}{\sqrt[n-1]{x_{1}x_{2}\cdots x_{i-1}x_{i+1}\cdots x_{n}}}\right)。\]但这并不是很难，因为它立即通过乘以不等式得出
\[\prod_{j\ne i}\left(1+\frac{1}{x_{j}}\right) \ge \left(1+\sqrt[n-1]{\prod_{j\ne i}\frac{1}{x_{j}}}\right)^{\,n-1},\]由惠更斯不等式得到。
我们将证明更多，
\[\prod_{i=1}^{n}\left(1+\frac{1}{x_{i}}\right) \ge \left(\frac{n^{2}-1}{n}\right)^{n}\cdot \prod_{i=1}^{n}\frac{1}{1-x_{i}}。\]显然，这种不平等比最初的不平等更加严重。首先，让我们证明
\[\prod_{i=1}^{n}\frac{1+x_{i}}{1-x_{i}} \ge \left(\frac{n+1}{n-1}\right)^{n}。\]这是根据 Jensen 凸函数不等式得出的
\[f(x)=\ln(1+x)-\ln(1-x)。\]所以，只要证明这一点就足够了
\[\frac{\left(\frac{n+1}{n-1}\right)^{n}}{\prod_{i=1}^{n}x_{i}} \cdot \prod_{i=1}^{n}(1-x_{i})^{2} \ge \left(\frac{n^{2}-1}{n}\right)^{n}。\]但快速浏览一下就会发现，这正是第 121 题解法中证明的不等式。
当 \(x_{1}=x_{2}=\cdots=x_{n}=\frac{1}{n},\) 时，等式成立，\(从那时起所有项都相等，并且上面使用的 AM-GM 和 Jensen 不等式变为等式。因此最大常数是\)C=1.$$
因此，答案是\(C=1\)。
P291。令 $a, b, c \geq 0$ 使得 $a + b + c = 1$。找到最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[a^{2} + b^{2} + c^{2} \leq C(a^{3} + b^{3} + c^{3}) + 3abc\]S291。 $C = 2$
设\(p=a+b+c=1,\quad q=ab+bc+ca,\quad r=abc。\) 给定的不等式等价于
\[1-2q \le 2(1-3q+3r)+3r \长左右箭头 1-2q \le 2-6q+9r \长左右箭头 4q \le 1+9r。\]例如，当两个变量趋向于 \(0\) 而第三个变量趋向于 \(1\) 时，就接近相等
\[(a,b,c)\到 (1,0,0)\]及其排列。在这种情况下，\(q\to 0\) 和 \(r\to 0\)，因此不等式变为
\[0\le 1,\]这是严格限制的。
因此，答案是\(C=2\)。
P292。令 $a, b, c, d > 0$ 为实数，使得 $a \leq 1$、$a+b \leq 5$、$a+b+c \leq 14$ 和 $a+b+c+d \leq 30$。找到最小常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c、d$ 成立：
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d} \leq C\]S292。 $C = 10$
由 \(f(x)=\sqrt{x}\) 定义的函数 \(f:(0,+\infty)\to(0,+\infty)\) 在 \((0,+\infty),\) 上是凹的，因此根据 Jensen 不等式，
\[n=4,\quad \alpha_{1}=\frac{1}{10},\quad \alpha_{2}=\frac{2}{10},\quad \alpha_{3}=\frac{3}{10},\quad \alpha_{4}=\frac{4}{10},\]我们得到
\[\frac{1}{10}\sqrt{a} +\frac{2}{10}\sqrt{\frac{b}{4}} +\frac{3}{10}\sqrt{\frac{c}{9}} +\frac{4}{10}\sqrt{\frac{d}{16}} \le \sqrt{\frac{a}{10}+\frac{b}{20}+\frac{c}{30}+\frac{d}{40}}。\]乘以 \(10\) 收益率
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d} \le 10\sqrt{\frac{a}{10}+\frac{b}{20}+\frac{c}{30}+\frac{d}{40}} =10\sqrt{\frac{12a+6b+4c+3d}{120}}。 \qquad (1)\]另一方面，我们有
\[\开始{对齐} 12a+6b+4c+3d &=3(a+b+c+d)+(a+b+c)+2(a+b)+6a \\ &\le 3\cdot 30+14+2\cdot 5+6\cdot 1 =120。 \结束{对齐}\]通过(1)和最后一个不等式我们得到
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d}\le 10.\]当 \(a=1,\ b=4,\ c=9,\ d=16,\) 时，相等成立，因为这些值满足相等和产量的约束
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d}=1+2+3+4=10。\]因此最小常数是 \(C=10.\)
因此，答案是\(C=10\)。
P293。证明如果 $n \geq 2$ 和 $a_{1}, a_{2}, \ldots, a_{n}$ 是乘积为 1 的实数，则找到最大常数 $C$，使得以下不等式对于所有 $a_{1}, a_{2}, \ldots, a_{n}$ 成立：
S293。 $C = 2$
我们将通过归纳法证明不等式。对于 \(n=2\) 来说这是微不足道的。现在，假设不等式对于 \(n-1\) 数字成立，让我们针对 \(n\) 证明它。首先，很容易看出，证明 \(a_{1},\ldots,a_{n}>0\) 就足够了（否则我们将 \(a_{1},a_{2},\ldots,a_{n}\) 替换为\(\left\|a_{1}\right\|,\left\|a_{2}\right\|,\ldots,\left\|a_{n}\right\|\)，其乘积为\(1\)，但右侧增加）。
现在，令 \(a_{n}\) 为 \(a_{1},a_{2},\ldots,a_{n}\) 中的最大数，并令 \(G\) 为 \(a_{1},a_{2},\ldots,a_{n-1}\) 的几何平均值。首先，我们将证明
\[\开始{对齐} &a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{1}+a_{2}+\cdots+a_{n}-n\right) \\ &\ge a_{n}^{2}+(n-1)G^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{n}+(n-1)G-n\right), \结束{对齐}\]这相当于
\[a_{1}^{2}+a_{2}^{2}+\cdots+a_{n-1}^{2}-(n-1)\sqrt[n-1]{a_{1}^{2}a_{2}^{2}\cdots a_{n-1}^{2}} \ge \frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{1}+a_{2}+\cdots+a_{n-1}-(n-1)\sqrt[n-1]{a_{1}a_{2}\cdots a_{n-1}}\right)。\]因为 \(\sqrt[n-1]{a_{1}a_{2}\cdots a_{n-1}}\le 1\) 和
\[a_{1}+a_{2}+\cdots+a_{n-1}-(n-1)\sqrt[n-1]{a_{1}a_{2}\cdots a_{n-1}}\ge 0,\]足以证明不等式
\[a_{1}^{2}+\cdots+a_{n-1}^{2}-(n-1)G^{2} \ge \frac{2n}{n-1}\sqrt[n]{n-1}\cdot G\cdot\left(a_{1}+\cdots+a_{n-1}-(n-1)G\right)。\]现在，我们对数字应用归纳假设
\[\frac{a_{1}}{G},\ldots,\frac{a_{n-1}}{G},\]其中有产品 \(1\)，我们推断
\[\frac{a_{1}^{2}+\cdots+a_{n-1}^{2}}{G^{2}}-(n-1) \ge \frac{2(n-1)}{n-2}\sqrt[n-1]{n-2}\left(\frac{a_{1}+\cdots+a_{n-1}}{G}-(n-1)\right)。\]所以足以证明
\[\frac{2(n-1)}{n-2}\sqrt[n-1]{n-2}\left(a_{1}+\cdots+a_{n-1}-(n-1)G\right) \ge \frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{1}+\cdots+a_{n-1}-(n-1)G\right),\]这与以下相同
\[1+\frac{1}{n(n-2)}\ge \frac{\sqrt[n]{n-1}}{\sqrt[n-1]{n-2}}。\]这变成了
\[\left(1+\frac{1}{n(n-2)}\right)^{n(n-1)}\ge \frac{(n-1)^{n-1}}{(n-2)^{n}}。\]对于 \(n>4\) 可以得出
\[\left(1+\frac{1}{n(n-2)}\right)^{n(n-1)}>2\]和
\[\frac{(n-1)^{n-1}}{(n-2)^{n}} =\frac{1}{n-2}\left(1+\frac{1}{n-2}\right)\left(1+\frac{1}{n-2}\right)^{n-2} <\frac{e}{n-2}\left(1+\frac{1}{n-2}\right)<2。\]对于 \(n=3\) 和 \(n=4\) 很容易检查。
因此，我们证明了
\[\开始{对齐} &a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{1}+a_{2}+\cdots+a_{n}-n\right) \\ &\ge a_{n}^{2}+(n-1)G^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\left(a_{n}+(n-1)G-n\right), \结束{对齐}\]这足以证明
\[x^{2(n-1)}+\frac{n-1}{x^{2}}-n \ge \frac{2n}{n-1}\sqrt[n]{n-1}\left(x^{n-1}+\frac{n-1}{x}-n\right)\]对于所有\(x\ge 1\)（我们采用\(x=\frac{1}{G}\)）。让我们考虑一下这个函数
\[f(x)=x^{2(n-1)}+\frac{n-1}{x^{2}}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\left(x^{n-1}+\frac{n-1}{x}-n\right)。\]我们有
\[f'(x)=2\cdot \frac{x^{n}-1}{x^{2}}\left[\frac{(n-1)(x^{n}+1)}{x}-n\sqrt[n]{n-1}\right]\ge 0,\]因为
\[x^{n-1}+\frac{1}{x} =x^{n-1}+\frac{1}{(n-1)x}+\cdots+\frac{1}{(n-1)x} \ge n\sqrt[n]{\frac{1}{(n-1)^{n-1}}}。\]因此，\(f\) 正在增加，因此\(f(x)\ge f(1)=0。\) 这证明了不等式。
当 \(a_{1}=a_{2}=\cdots=a_{n}=1,\) 时，等式成立，因为此时乘积为 \(1,\) \(a_{1}^{2}+\cdots+a_{n}^{2}=n,\) 和 \(a_{1}+\cdots+a_{n}=n,\)，因此不等式两边都为零。因此，答案是\(C=2\)。
P294。设$a、b、c$为正实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[\frac{a^{3}}{b^{2}}+\frac{b^{3}}{c^{2}}+\frac{c^{3}}{a^{2}} \geq C \left( \frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a} \right)\]S294.1。 $C = 1$
根据柯西-施瓦茨不等式我们有
\[(a+b+c)\left(\frac{a^{3}}{b^{2}}+\frac{b^{3}}{c^{2}}+\frac{c^{3}}{a^{2}}\right) \ge \left(\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\right)^{2}。\]所以足以证明
\[\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\ge a+b+c。\]但这是柯西-施瓦茨立即得出的结论：
\[\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a} =\frac{a^{3}}{ab}+\frac{b^{3}}{bc}+\frac{c^{3}}{ca} \ge \frac{(a+b+c)^{2}}{ab+bc+ca} \ge a+b+c,\]因为 \(ab+bc+ca\le (a+b+c)^{2}/3.\)
当 \(a=b=c,\) 时，等式成立，在这种情况下，原始不等式的两边都相等。因此最大常数是
\[C=1。\]因此，答案是\(C=1\)。
S294.2。 $C = 1$
我们有
\[\frac{a^{3}}{b^{2}}\ge \frac{a^{2}}{b}+a-b \长左右箭头 a^{3}+b^{3}\ge ab(a+b) \长左右箭头 (a-b)^{2}(a+b)\ge 0,\]这显然是正确的。
写出类似的不等式并将它们相加得到
\[\frac{a^{3}}{b^{2}}+\frac{b^{3}}{c^{2}}+\frac{c^{3}}{a^{2}} \ge \left(\frac{a^{2}}{b}+a-b\right)+\left(\frac{b^{2}}{c}+b-c\right)+\left(\frac{c^{2}}{a}+c-a\right) =\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}。\]另外，
\[\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\ge a+b+c,\]例如 AM-GM：
\[\frac{a^{2}}{b}+\frac{b^{2}}{c}+\frac{c^{2}}{a}\ge 3\sqrt[3]{\frac{a^{2}}{b}\cdot \frac{b^{2}}{c}\cdot \frac{c^{2}}{a}}=3\sqrt[3]{abc}。\]并且通过给定的归一化，这会产生所需的界限（或者使用与上面相同的 Cauchy-Schwarz 步骤）。
当 \(a=b=c,\) 时，相等成立，从此双方相等。因此最大常数是
\[C=1。\]因此，答案是\(C=1\)。
P295。令 $a, b, c$ 为正实数，使得 $a b c \geq 1$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[a+b+c \geq C\left(\frac{1+a}{1+b}+\frac{1+b}{1+c}+\frac{1+c}{1+a}\right)。\]S295。 $C = 1$
我们有
\[\开始{对齐} &a+b+c-\frac{1+a}{1+b}-\frac{1+b}{1+c}-\frac{1+c}{1+a} \\ &=(1+a)\left(1-\frac{1}{1+b}\right)+(1+b)\left(1-\frac{1}{1+c}\right)+(1+c)\left(1-\frac{1}{1+a}\right)-3 \\ &=\frac{(1+a)b}{1+b}+\frac{(1+b)c}{1+c}+\frac{(1+c)a}{1+a}-3 \\ &\ge 3\sqrt[3]{\frac{(1+a)b}{1+b}\cdot \frac{(1+b)c}{1+c}\cdot \frac{(1+c)a}{1+a}}-3 \\ &=3\sqrt[3]{abc}-3 \\ &\ge 0, \结束{对齐}\]从 \(abc\ge 1.\) 开始
因此
\[a+b+c\ge \frac{1+a}{1+b}+\frac{1+b}{1+c}+\frac{1+c}{1+a}。\]当 \(a=b=c=1 时，相等成立，\) 从那时起
\[a+b+c=3 \quad\text{和}\quad \frac{1+a}{1+b}+\frac{1+b}{1+c}+\frac{1+c}{1+a}=3。\]因此最好的常数是 \(C=1.\)
因此，答案是\(C=1\)。
P296。设 $h_{a}、h_{b}$ 和 $h_{c}$ 为高度的长度，$R$ 和 $r$ 分别为给定三角形的外接圆半径和内半径。确定最小常数 $C$，使得以下不等式适用于所有三角形：
\[h_{a}+h_{b}+h_{c} \leq 2R+Cr。\]S296。 $C = 5$
引理21.4 在任意三角形中我们有
\[ab+bc+ca=r^{2}+s^{2}+4rR \quad\text{和}\quad a^{2}+b^{2}+c^{2}=2(s^{2}-4Rr-r^{2})。\]证明我们有
\[\开始{对齐} r^{2}+s^{2}+4rR &=\frac{P^{2}}{s^{2}}+s^{2}+\frac{abc}{P}\cdot \frac{P}{s} \\ &=\frac{(s-a)(s-b)(s-c)}{s}+s^{2}+\frac{abc}{s} \\ &=\frac{s^{3}-as^{2}-bs^{2}-cs^{2}+abs+bcs+cas-abc+s^{3}+abc}{s} \\ &=2s^{2}-s(a+b+c)+ab+bc+ca \\ &=2s^{2}-2s^{2}+ab+bc+ca \\ &=ab+bc+ca。 \结束{对齐}\]因此\(ab+bc+ca=r^{2}+s^{2}+4rR。 \qquad (1)\)
现在由 (1) 我们有
\[\开始{对齐} ab+bc+ca &=r^{2}+s^{2}+4rR \\ &=\frac{1}{2}\left(2r^{2}+8rR+\frac{(a+b+c)^{2}}{2}\right) \\ &=\frac{1}{2}\left(2r^{2}+8rR+\frac{a^{2}+b^{2}+c^{2}}{2}\right)+\frac{ab+bc+ca}{2}, \结束{对齐}\]由此可见
\[ab+bc+ca=2r^{2}+8rR+\frac{a^{2}+b^{2}+c^{2}}{2}。 \qquad (2)\]现在 (1) 和 (2) 产量
\[a^{2}+b^{2}+c^{2}=2(s^{2}-4Rr-r^{2})。 \qquad (3)\]如果没有证明，我们将使用以下引理：在任意三角形中，我们有
\[s^{2}\le 4R^{2}+4Rr+3r^{2}。 \qquad (4)\]在任意三角形中，我们有 \(a^{2}+b^{2}+c^{2}\le 8R^{2}+4r^{2}。\) 由(3)和(4)我们有证明
\[\开始{对齐} a^{2}+b^{2}+c^{2} &=2(s^{2}-4Rr-r^{2}) \\ &\le 2(4R^{2}+4Rr+3r^{2}-4Rr-r^{2}) \\ &=8R^{2}+4r^{2}。 \结束{对齐}\]因此
\[a^{2}+b^{2}+c^{2}\le 8R^{2}+4r^{2}。 \qquad (5)\]现在让我们考虑一下我们的问题。我们有
\[\开始{对齐} 2R(h_{a}+h_{b}+h_{c}) &=2R\left(\frac{2P}{a}+\frac{2P}{b}+\frac{2P}{c}\right) =4PR\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \\ &=4PR\cdot \frac{ab+bc+ca}{abc}。 \结束{对齐}\]使用 \(P=rs\) 和 \(abc=4Rrs\) 我们得到
\[4PR\cdot \frac{ab+bc+ca}{abc} =4R(rs)\cdot \frac{ab+bc+ca}{4Rrs} =ab+bc+ca。\]因此，
\[2R(h_{a}+h_{b}+h_{c})=ab+bc+ca。\]由(2)，
\[2R(h_{a}+h_{b}+h_{c}) =2r^{2}+8rR+\frac{a^{2}+b^{2}+c^{2}}{2}。\]使用（5），
\[\frac{a^{2}+b^{2}+c^{2}}{2}\le 4R^{2}+2r^{2},\]因此
\[2R(h_{a}+h_{b}+h_{c}) \le 2r^{2}+8rR+4R^{2}+2r^{2} =4R^{2}+8Rr+4r^{2}。\]除以 \(2R\) 得出
\[h_{a}+h_{b}+h_{c}\le 2R+4r+\frac{2r^{2}}{R}。\]由于 \(r\le \frac{R}{2}\) 我们有
\[\frac{2r^{2}}{R}\le r,\]所以
\[h_{a}+h_{b}+h_{c}\le 2R+5r。\]相等发生当且仅当 \(a=b=c.\)
当三角形为等边时，相等成立，即 \(a=b=c.\) 在这种情况下，达到界限，最小常数为 \(C=5.\)
因此，答案是\(C=5\)。
P297。令 $a, b, c > 0$ 为实数，使得 $a + b + c = 1$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[\frac{a^{2}+b}{b+c}+\frac{b^{2}+c}{c+a}+\frac{c^{2}+a}{a+b} \geq C\]S297。 $C = 2$
对序列应用柯西-施瓦茨不等式
\[a_{1}=\sqrt{\frac{a^{2}+b}{b+c}},\quad a_{2}=\sqrt{\frac{b^{2}+c}{c+a}},\quad a_{3}=\sqrt{\frac{c^{2}+a}{a+b}}\]和
\[b_{1}=\sqrt{(a^{2}+b)(b+c)},\quad b_{2}=\sqrt{(b^{2}+c)(c+a)},\quad b_{3}=\sqrt{(c^{2}+a)(a+b)},\]我们得到
\[\frac{a^{2}+b}{b+c}+\frac{b^{2}+c}{c+a}+\frac{c^{2}+a}{a+b} \ge \frac{(a^{2}+b^{2}+c^{2}+1)^{2}}{(a^{2}+b)(b+c)+(b^{2}+c)(c+a)+(c^{2}+a)(a+b)}。\]所以足以证明
\[\frac{(a^{2}+b^{2}+c^{2}+1)^{2}}{(a^{2}+b)(b+c)+(b^{2}+c)(c+a)+(c^{2}+a)(a+b)}\ge 2.\]这相当于
\[(a^{2}+b^{2}+c^{2}+1)^{2} \ge 2\Big((a^{2}+b)(b+c)+(b^{2}+c)(c+a)+(c^{2}+a)(a+b)\Big)。\]将右侧展开，
\[\开始{对齐} &(a^{2}+b)(b+c)+(b^{2}+c)(c+a)+(c^{2}+a)(a+b) \\ &=a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b) + (ab+bc+ca) + (ab+bc+ca) \\ &=a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b)+2(ab+bc+ca)。 \结束{对齐}\]因此我们需要
\[(a^{2}+b^{2}+c^{2}+1)^{2} \ge 2\大(a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b)\大)+4(ab+bc+ca)。\]使用 \(a+b+c=1\)，我们有
\[a^{2}(b+c)=a^{2}(1-a),\quad b^{2}(c+a)=b^{2}(1-b),\quad c^{2}(a+b)=c^{2}(1-c),\]所以不等式变成
\[(a^{2}+b^{2}+c^{2}+1)^{2} \ge 2\Big(a^{2}+b^{2}+c^{2}-a^{3}-b^{3}-c^{3}\Big)+4(ab+bc+ca)。\]重新排列，
\[(a^{2}+b^{2}+c^{2})^{2}+2(a^{3}+b^{3}+c^{3}) \ge a^{2}+b^{2}+c^{2}。 \qquad (1)\]现在我们证明(1)。根据切比雪夫不等式，
\[(a+b+c)(a^{2}+b^{2}+c^{2})\le 3(a^{3}+b^{3}+c^{3}),\]因为 \(a+b+c=1\) 这给出
\[a^{3}+b^{3}+c^{3}\ge \frac{a^{2}+b^{2}+c^{2}}{3}。\]另外，\((a^{2}+b^{2}+c^{2})^{2}\ge \frac{a^{2}+b^{2}+c^{2}}{3},\)
因为 \(a^{2}+b^{2}+c^{2}\ge \frac{1}{3}\) 意味着 \(a^{2}+b^{2}+c^{2}\ge \frac{1}{3}=\frac{1}{3}\cdot 1\ge \frac{1}{3}(a^{2}+b^{2}+c^{2})。\) 将最后两个不等式相加得出 (1)。
因此，
\[\frac{a^{2}+b}{b+c}+\frac{b^{2}+c}{c+a}+\frac{c^{2}+a}{a+b}\ge 2.\]当 \(a=b=c=\frac{1}{3},\) 时，相等成立，在这种情况下，左侧等于 \(2\)。因此最好的常数是 \(C=2.\)
因此，答案是\(C=2\)。
P298。令 $a_{1}, a_{2}, \ldots, a_{n}>1$ 为正整数。找到最小常数 $C$，使得对于所有正数序列，$\sqrt[a_{1}]{a_{2}}、\sqrt[a_{2}]{a_{3}}、\ldots、\sqrt[a_{n}]{\sqrt{a_{n}}}、\sqrt[a_{n}]{a_{1}}$ 中的至少一个小于或等于 $C$整数 $a_1, a_2, \ldots, a_n > 1$:
\[\min \left( \sqrt[a_{1}]{a_{2}}, \sqrt[a_{2}]{a_{3}}, \ldots, \sqrt[a_{n}]{\sqrt{a_{n}}}, \sqrt[a_{n}]{a_{1}} \right) \leq C\]S298。 $C=3^{\frac{1}{3}}$
假设我们有
\[a_{i+1}^{\frac{1}{a_i}} > 3^{\frac{1}{3}}\]对于所有\(i\)。首先，我们将证明
\[n^{\frac{1}{n}}\le 3^{\frac{1}{3}}\]对于所有自然数\(n\)。对于 \(n=1,2,3,4\) 来说很清楚。假设对于 \(n\ge 4\) 来说，不等式成立，让我们针对 \(n+1\) 证明它。
自从
\[1+\frac{1}{n}\le 1+\frac{1}{4}<\sqrt[3]{3},\]我们得到
\[3^{\frac{n+1}{3}} =\sqrt[3]{3}\cdot 3^{\frac{n}{3}} \ge \left(1+\frac{1}{n}\right)\cdot n =n+1。\]因此，
\[(n+1)^{\frac{1}{n+1}}\le 3^{\frac{1}{3}},\]感应完成。
利用这一观察，我们有
\[a_{i+1}^{\frac{1}{a_i}} > 3^{\frac{1}{3}} \ge a_{i+1}^{\frac{1}{a_{i+1}}},\]这意味着
\[\frac{1}{a_i}>\frac{1}{a_{i+1}} \quad\Longleftrightarrow\quad a_{i+1}>a_i\]对于所有\(i\)。
因此，
\[a_1<a_2<\cdots<a_n<a_1,\]这是一个矛盾。因此，这样的序列不可能存在，临界常数为
\[C=3^{\frac{1}{3}}。\]因此，答案是\(C=3^{\frac{1}{3}}\)。
P299。令 $a, b, c, d$ 为正实数，使得 $a^2 + b^2 + c^2 + d^2 = 4$。确定最大常数 $C$，使得以下不等式对于所有 $a、b、c、d$ 成立：
\[\frac{a^2 + b^2 + 3}{a + b} + \frac{b^2 + c^2 + 3}{b + c} + \frac{c^2 + d^2 + 3}{c + d} + \frac{d^2 + a^2 + 3}{d + a} \geq C.\]S299。 $C = 10$
观察对于任何实数 \(x,y\) 我们有
\[x^{2}+xy+y^{2}=\left(x+\frac{y}{2}\right)^{2}+\frac{3y^{2}}{4}\ge 0,\]并且等式成立当且仅当 \(x=y=0.\)
因此
\[(a-1)^{2}+(a-1)(b-1)+(b-1)^{2}\ge 0,\]这相当于
\[a^{2}+b^{2}+ab-3a-3b+3\ge 0。\]由此我们得到
\[a^{2}+b^{2}+3\ge 3a+3b-ab,\]即
\[\frac{a^{2}+b^{2}+3}{a+b}\ge 3-\frac{ab}{a+b}。\]截至 \(AM\ge GM\) 我们有
\[\frac{a+b}{2}\ge \sqrt{ab} \quad\Longleftrightarrow\quad \frac{(a+b)^{2}}{4}\ge ab \quad\Longleftrightarrow\quad \frac{a+b}{4}\ge \frac{ab}{a+b}。\]因此，从前面的不等式我们得到
\[\frac{a^{2}+b^{2}+3}{a+b}\ge 3-\frac{a+b}{4}。\]同样，我们得到
\[\frac{b^{2}+c^{2}+3}{b+c}\ge 3-\frac{b+c}{4},\quad \frac{c^{2}+d^{2}+3}{c+d}\ge 3-\frac{c+d}{4},\quad \frac{d^{2}+a^{2}+3}{d+a}\ge 3-\frac{d+a}{4}。\]将这四个不等式相加得出
\[\frac{a^{2}+b^{2}+3}{a+b}+\frac{b^{2}+c^{2}+3}{b+c}+\frac{c^{2}+d^{2}+3}{c+d}+\frac{d^{2}+a^{2}+3}{d+a} \ge 12-\frac{a+b+c+d}{2}。 \qquad (1)\]根据 \(QM\ge AM\) 我们推断
\[\sqrt{\frac{a^{2}+b^{2}+c^{2}+d^{2}}{4}}\ge \frac{a+b+c+d}{4}。\]由于 \(a^{2}+b^{2}+c^{2}+d^{2}=4\) 我们得到
\[a+b+c+d\le 4. \qquad (2)\]由(1)和(2)我们得到
\[\开始{对齐} \frac{a^{2}+b^{2}+3}{a+b}+\frac{b^{2}+c^{2}+3}{b+c}+\frac{c^{2}+d^{2}+3}{c+d}+\frac{d^{2}+a^{2}+3}{d+a} &\ge 12-\frac{a+b+c+d}{2} \\ &\ge 12-\frac{4}{2}=10, \结束{对齐}\]根据需要。当且仅当 \(a=b=c=d=1,\) 时才发生相等，因为 \(a^{2}+b^{2}+c^{2}+d^{2}=4\) 且 \(a+b+c+d=4,\) 因此达到总和的最小值。因此最好的常数是 \(C=10.\)
因此，答案是\(C=10\)。
P300。令 $a、b、c、d、e$ 为非负实数，使得 $a + b + c + d + e = 5$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c、d、e$ 成立：
\[4\left(a^{2}+b^{2}+c^{2}+d^{2}+e^{2}\right)+5abcd \geq C\]S300。 $C = 25$
不失一般性，我们可以假设
\[a\ge b\ge c\ge d\ge e。\]让我们表示
\[f(a,b,c,d,e)=4(a^{2}+b^{2}+c^{2}+d^{2}+e^{2})+5abcd\,e。\]那么我们很容易推断出
\[f(a,b,c,d,e)-f\left(\frac{a+d}{2},\,b,\,c,\,\frac{a+d}{2},\,e\right) =\frac{(a-d)^{2}}{4}(8-5bce)。 \qquad (1)\]由于 \(a\ge b\ge c\ge d\ge e\) 和 \(a+b+c+d+e=5,\) 我们有
\[3\sqrt[3]{bce}\le b+c+e\le \frac{3(a+b+c+d+e)}{5}=3,\]因此
\[\sqrt[3]{bce}\le 1 \quad\Longleftrightarrow\quad 公元前\前1.\]现在，通过 (1) 和最后一个不等式我们得到
\[\开始{对齐} f(a,b,c,d,e)-f\left(\frac{a+d}{2},\,b,\,c,\,\frac{a+d}{2},\,e\right) &=\frac{(a-d)^{2}}{4}(8-5bce) \\ &\ge \frac{(a-d)^{2}}{4}(8-5)\ge 0, \结束{对齐}\]即
\[f(a,b,c,d,e)\ge f\left(\frac{a+d}{2},\,b,\,c,\,\frac{a+d}{2},\,e\right)。\]根据SMV定理尚需证明
\[f(t,t,t,t,e)\ge 25\]在条件下
\[4t+e=5。\]显然 \(4t\le 5.\) 我们有
\[\开始{对齐} f(t,t,t,t,e)\ge 25 &\Longleftrightarrow 4(4t^{2}+e^{2})+5t^{4}e\ge 25 \\ &\Longleftrightarrow 16t^{2}+4(5-4t)^{2}+5t^{4}(5-4t)-25\ge 0 \\ &\Longleftrightarrow (5-4t)(t-1)^{2}(t^{2}+2t+3)\ge 0, \结束{对齐}\]这是真的。
当且仅当 \(a=b=c=d=e=1\) 或 \(a=b=c=d=\frac{5}{4}\) 和 \(e=0\)（直到排列）时，才会相等。
因此最好的常数是\(C=25\)。
因此，答案是\(C=25\)。
输入：2025.12.08 15:51