不等式证明问题 [301-350]
推荐发帖：【代数】【代数索引】(https://jb243.github.io/pages/669)
重构了 IneqMath 训练数据。
P301。设$a、b、c$为正实数。找到最小常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[a^{b} b^{c} c^{a} \leq\left(C(a+b+c)\right)^{a+b+c}\]S301。 $C = \frac{1}{3}$
根据加权幂均值不平等，我们有
\[\开始{对齐} \left(a^{b} b^{c} c^{a}\right)^{\frac{1}{a+b+c}} &= a^{\frac{b}{a+b+c}}\cdot b^{\frac{c}{a+b+c}}\cdot c^{\frac{a}{a+b+c}} \\ &\le \frac{ba+cb+ac}{a+b+c} \le \frac{(a+b+c)^2}{3(a+b+c)} = \frac{a+b+c}{3}。 \结束{对齐}\]当 \(a=b=c\) 时相等，在这种情况下
\[a^b b^c c^a = a^{a}a^{a}a^{a}=a^{3a} \quad\text{和}\quad \left(C(a+b+c)\right)^{a+b+c}=(3Ca)^{3a}。\]所以
\[a^{3a}\le (3Ca)^{3a} \quad\右箭头\quad 1\le 3C \quad\右箭头\quad C\ge \frac{1}{3}。\]因此，\(C\) 的最小值为\(\frac{1}{3}\)。
因此，答案是\(C=\frac{1}{3}\)。
P302。令 $a, b, c$ 为三角形的边长。找到常数 $C$，使得以下方程对于所有 $a、b、c$ 都成立：
\(2(a b^{2} + b c^{2} + c a^{2}) = a^{2} b + b^{2} c + c^{2} a + C a b c\) 并保证三角形是等边的。
S302。 $C = 3$
我们将展示这一点
\[a^{2}b+b^{2}c+c^{2}a+3abc \ge 2\left(ab^{2}+bc^{2}+ca^{2}\right)\]相等当且仅当\(a=b=c\)，即三角形是等边的。
让我们使用拉维的替换，即
\[a=x+y,\quad b=y+z,\quad c=z+x。\]那么给定的不等式就变成了
\[x^{3}+y^{3}+z^{3}+x^{2}y+y^{2}z+z^{2}x \ge 2\left(x^{2}z+y^{2}x+z^{2}y\right)。\]自从 \(AM \ge GM\) 我们有
\[x^{3}+z^{2}x \ge 2x^{2}z,\quad y^{3}+x^{2}y \ge 2y^{2}x,\quad z^{3}+y^{2}z \ge 2z^{2}y。\]添加这些不等式后我们得到
\[x^{3}+y^{3}+z^{3}+x^{2}y+y^{2}z+z^{2}x \ge 2\left(x^{2}z+y^{2}x+z^{2}y\right)。\]当且仅当 \(x=y=z\) 时，相等成立，这意味着 \(a=b=c\)，即三角形是等边三角形。这给出了唯一值\(C=3\)，该方程适用于所有\(a,b,c\)，并确保三角形是等边的。
因此，答案是\(C=3\)。
P303。令$D、E$和$F$分别为从顶点$A、B$和$C$下降的三角形$ABC$的高的脚。确定最大常数 $C$，使得以下不等式适用于所有三角形 $ABC$：
\[\left(\frac{\overline{EF}}{a}\right)^{2}+\left(\frac{\overline{FD}}{b}\right)^{2}+\left(\frac{\overline{DE}}{c}\right)^{2} \geq C\]S303。 $C = \frac{3}{4}$
显然\(\overline{EF}=a\cos\alpha\)，\(\overline{FD}=b\cos\beta\)，\(\overline{DE}=c\cos\gamma\)，并且给定的不等式变为
\[\cos^{2}\alpha+\cos^{2}\beta+\cos^{2}\gamma \ge \frac{3}{4}。\]当三角形为等边时，相等成立，即 \(\alpha=\beta=\gamma=60^\circ\)，因此
\[\cos^{2}60^\circ=\left(\frac{1}{2}\right)^2=\frac{1}{4}\]总和为 \(3\cdot\frac{1}{4}=\frac{3}{4}\)。这给出了最小值，因此 \(C=\frac{3}{4}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{3}{4}\)。
P304。令 $a, b, c > 0$ 使得 $abc = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[(a+b)(b+c)(c+a) \geq C(a+b+c-1)\]S304.1。 $C = 4$
我们将利用以下事实：
\[(a+b)(b+c)(c+a)\ge \frac{8}{9}(a+b+c)(ab+bc+ca)。\]所以，足以证明
\[\frac{2}{9}(ab+bc+ca)+\frac{1}{a+b+c}\ge 1.\]利用 AM-GM 不等式，我们可以写出
\(\frac{2}{9}(ab+bc+ca)+\frac{1}{a+b+c} \ge 3\sqrt[3]{\frac{(ab+bc+ca)^2}{81(a+b+c)}}\ge 1,\)因为
\[(ab+bc+ca)^2 \ge 3abc(a+b+c)=3(a+b+c)。\]当 \(a=b=c=1\) 时，相等成立，因此 \(abc=1\) 且 \((a+b)(b+c)(c+a)=8\)，\(a+b+c-1=2\)，因此实现 \(C=4\)。这给出了不等式始终成立的 \(C\) 的最大值。
因此，答案是\(C=4\)。
S304.2。
使用身份
\[(a+b)(b+c)(c+a)=(a+b+c)(ab+bc+ca)-abc\]我们将问题简化为以下一个
\[ab+bc+ca+\frac{3}{a+b+c}\ge 4.\]现在，我们可以应用以下形式的 AM-GM 不等式
\[ab+bc+ca+\frac{3}{a+b+c} \ge 4\sqrt[4]{\frac{(ab+bc+ca)^3}{(a+b+c)}}。\]所以这足以证明
\[(ab+bc+ca)^3 \ge (a+b+c)。\]但这很容易，因为我们显然有 \(ab+bc+ca\ge 3\) 并且
\[(ab+bc+ca)^2 \ge 3abc(a+b+c)=3(a+b+c)。\]当 \(a=b=c=1\) 时，相等成立，从那时起 \(abc=1\)、\(a+b+c=3\)、\(ab+bc+ca=3\) 和 \((a+b)(b+c)(c+a)=8\)。这给出了给定约束的最小值 \((a+b)(b+c)(c+a)\)，因此 \(C=4\) 是最大常数。
因此，答案是\(C=4\)。
P305。设$a、b、c$为正实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[a b \frac{a+c}{b+c}+b c \frac{b+a}{c+a}+c a \frac{c+b}{a+b} \geq C \sqrt{a b c(a+b+c)}\]S305。 $C = \sqrt{3}$
设 \(x=\frac{1}{bc},\ y=\frac{1}{ac},\ z=\frac{1}{ab}\) 和 \(A=ac,\ B=ab,\ C=bc\)。 我们有
\[\开始{对齐} \frac{x}{y+z}(B+C) &= ab\frac{a+c}{b+c},\\ \frac{y}{z+x}(C+A) &= bc\frac{b+a}{c+a},\\ \frac{z}{x+y}(A+B) &= ca\frac{c+b}{a+b}。 \结束{对齐}\]使用以下推论：设 \(a,b,c\) 和 \(x,y,z\) 为正实数。然后
\[\frac{x}{y+z}(b+c)+\frac{y}{z+x}(c+a)+\frac{z}{x+y}(a+b)\ge \sqrt{3(ab+bc+ca)},\]以及我们之前获得的身份
\[\开始{对齐} &ab\frac{a+c}{b+c}+bc\frac{b+a}{c+a}+ca\frac{c+b}{a+b}\\ &\quad=\frac{x}{y+z}(B+C)+\frac{y}{z+x}(C+A)+\frac{z}{x+y}(A+B)\\ &\quad\ge \sqrt{3(AB+BC+CA)}=\sqrt{3abc(a+b+c)}。 \结束{对齐}\]当 \(a=b=c\) 时，等式成立，因为在这种情况下，所有项都相等，不等式变为等式。这给出了左侧的最小值，因此 \(C=\sqrt{3}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\sqrt{3}\)。
P306。令$a, b, x, y \in \mathbb{R}$ 使得$a y - b x = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、x、y$ 成立：
\[a^{2}+b^{2}+x^{2}+y^{2}+a x+b y \geq C.\]S306。 $C = \sqrt{3}$
让我们表示 \(u=a^{2}+b^{2}\)、\(v=x^{2}+y^{2}\) 和 \(w=ax+by\)。 然后
\[\开始{对齐} uv&=(a^{2}+b^{2})(x^{2}+y^{2})\\ &=a^{2}x^{2}+a^{2}y^{2}+b^{2}x^{2}+b^{2}y^{2}\\ &=a^{2}x^{2}+b^{2}y^{2}+2axby+a^{2}y^{2}+b^{2}x^{2}-2axby\\ &=(ax+by)^{2}+(ay-bx)^{2}\\ &=w^{2}+1。 \结束{对齐}\]从明显的不等式 \((t\sqrt{3}+1)^{2}\ge 0\) 我们推出
\[3t^{2}+1\ge -2t\sqrt{3},\]即
\[4t^{2}+4\ge 3-2t\sqrt{3}+t^{2},\]即
\[4t^{2}+4\ge (\sqrt{3}-t)^{2}。 \qquad (1)\]现在我们有
\[(u+v)^{2}\ge 4uv=4(w^{2}+1)\stackrel{(1)}{\ge}(\sqrt{3}-w)^{2},\]从中我们得到 \(u+v\ge \sqrt{3}-w\)，相当于
\[u+v+w\ge\sqrt{3}。\]当 \(ay-bx=1\) 且 \(ax+by=-\frac{\sqrt{3}}{2}\) 时，等式成立，其中
\[a^{2}+b^{2}=x^{2}+y^{2}=\frac{\sqrt{3}}{2}。\]这给出了 \(a^{2}+b^{2}+x^{2}+y^{2}+ax+by\) 的最小值，因此 \(C=\sqrt{3}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\sqrt{3}\)。
P307。设$x,y,z$为满足条件的正实数
\[x y + x z + y z + 2 x y z = 1。\]找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $x, y, z$ 成立：\(\frac{1}{x} + \frac{1}{y} + \frac{1}{z} - C(x + y + z) \geq \frac{(2z-1)^2}{z(2z+1)}。\)
，其中 $z=\max {x, y, z}$。
S307。 $C = 4$
当然，如果\(z\)是\(x,y,z\)中最大的数字，那么\(z\ge \frac{1}{2}\)；我们看到了
\[\开始{对齐} \frac{1}{x}+\frac{1}{y}-4(x+y) &=(x+y)\left(\frac{1}{xy}-4\right)\\ &\ge \frac{2}{2z+1}(2z+1)\\ &=\frac{2(2z-1)(2z+3)}{2z+1} =4z-\frac{1}{z}+\frac{(2z-1)^{2}}{z(2z+1)}。 \结束{对齐}\]从那里我们得到不平等
\[\frac{1}{x}+\frac{1}{y}+\frac{1}{z}-4(x+y+z)\ge \frac{(2z-1)^{2}}{z(2z+1)}。\]当然，右边的 \(z\) 可以替换为 \(\ge \frac{1}{2}\) 这三个数字中的任何一个（当然至少有一个这样的数字）。
当 \(x=y=z=\frac{1}{2}\) 时，等式成立，从此满足约束条件，不等式变为等式。这给出了不等式始终成立的 \(C\) 的最大值，即 \(C=4\)。
因此，答案是\(C=4\)。
P308。令 $a、b、c$ 为正实数，使得 $a + b + c = 1$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[\sqrt{\frac{1}{a}-1} \sqrt{\frac{1}{b}-1} + \sqrt{\frac{1}{b}-1} \sqrt{\frac{1}{c}-1} + \sqrt{\frac{1}{c}-1} \sqrt{\frac{1}{a}-1} \geq C\]S308。 $C = 6$
设\(a=xy,\b=yz,\c=zx\)。那么 \(xy+yz+zx=1\) 我们可以采取
\[x=\tan\frac{\alpha}{2},\quad y=\tan\frac{\beta}{2},\quad z=\tan\frac{\gamma}{2}\]其中 \(\alpha,\beta,\gamma\in(0,\pi)\) 和 \(\alpha+\beta+\gamma=\pi\)。
我们有
\[\开始{对齐} \sqrt{\frac{1}{a}-1}\sqrt{\frac{1}{b}-1} &=\sqrt{\frac{(1-a)(1-b)}{ab}} =\sqrt{\frac{(1-xy)(1-yz)}{xy^{2}z}}\\ &=\sqrt{\frac{(yz+zx)(zx+xy)}{xy^{2}z}} =\sqrt{\frac{z(x+y)\cdot x(y+z)}{xy^{2}z}}\\ &=\sqrt{\frac{(x+y)(y+z)}{y^{2}}} =\frac{\sqrt{(1+y^{2})}}{y}\\ &=\frac{\sqrt{1+\tan^{2}\frac{\beta}{2}}}{\tan\frac{\beta}{2}} =\frac{1}{\sin\frac{\beta}{2}}。 \结束{对齐}\]同样我们得到
\[\sqrt{\frac{1}{b}-1}\sqrt{\frac{1}{c}-1}=\frac{1}{\sin\frac{\gamma}{2}} \quad\text{和}\quad \sqrt{\frac{1}{c}-1}\sqrt{\frac{1}{a}-1}=\frac{1}{\sin\frac{\alpha}{2}}。\]现在给定的不等式变为
\[\frac{1}{\sin\frac{\alpha}{2}}+\frac{1}{\sin\frac{\beta}{2}}+\frac{1}{\sin\frac{\gamma}{2}}\ge 6.\]到 \(AM\ge HM\) 我们有
\[\frac{1}{\sin\frac{\alpha}{2}}+\frac{1}{\sin\frac{\beta}{2}}+\frac{1}{\sin\frac{\gamma}{2}} \ge \frac{9}{\sin\frac{\alpha}{2}+\sin\frac{\beta}{2}+\sin\frac{\gamma}{2}}。\]所以我们需要证明
\[\sin\frac{\alpha}{2}+\sin\frac{\beta}{2}+\sin\frac{\gamma}{2}\le \frac{3}{2}。\]当且仅当 \(\alpha=\beta=\gamma=\frac{\pi}{3}\) 时才相等，即 \(a=b=c=\frac{1}{3}\)。在这种情况下，达到了表达式的最小值，因此 \(C=6\) 是不等式始终成立的最大常数。
因此，答案是\(C=6\)。
P309。令 $x, y, z, t \in \mathbb{R}^{+}$。找到最小常数 $C$，使得以下不等式对于所有正 $x, y, z, t$ 成立：
\[x^{4}+y^{4}+z^{4}+t^{4}+C x y z t \geq x^{2} y^{2}+y^{2} z^{2}+z^{2} t^{2}+t^{2} x^{2}+x^{2} z^{2}+y^{2} t^{2}\]S309。 $C = 2$
显然，只要 \(xyzt=1\) 就足以证明不等式，因此问题变为：
如果 \(a,b,c,d\) 有产品 \(1\)，那么
\[a^{2}+b^{2}+c^{2}+d^{2}+2 \ge ab+bc+cd+da+ac+bd。\]令 \(d\) 为 \(a,b,c,d\) 中的最小值，并令 \(m=\sqrt[3]{abc}\)。我们将证明
\[a^{2}+b^{2}+c^{2}+d^{2}+2-(ab+bc+cd+da+ac+bd) \ge d^{2}+3m^{2}+2-\left(3m^{2}+3md\right),\]这实际上是
\[a^{2}+b^{2}+c^{2}-ab-bc-ca \ge d\left(a+b+c-3\sqrt[3]{abc}\right)。\]因为 \(d\le \sqrt[3]{abc}\)，证明第一个不等式归结为不等式
\[a^{2}+b^{2}+c^{2}-ab-bc-ca \ge \sqrt[3]{abc}\left(a+b+c-3\sqrt[3]{abc}\right)。\]采取\(u=\frac{a}{\sqrt[3]{abc}},\quad v=\frac{b}{\sqrt[3]{abc}},\quad w=\frac{c}{\sqrt[3]{abc}}。\)
利用问题 74，我们发现
\[u^{2}+v^{2}+w^{2}+3 \ge u+v+w+uv+vw+wu,\]这正是
\[a^{2}+b^{2}+c^{2}-ab-bc-ca \ge \sqrt[3]{abc}\left(a+b+c-3\sqrt[3]{abc}\right)。\]因此，还有待证明的是
\[d^{2}+2 \ge 3md \长左右箭头 d^{2}+2 \ge 3\sqrt[3]{d^{2}},\]这很清楚。
当 \(x=y=z=t=1\) 时，等式成立，因为此时原始不等式的两边都相等：\(4+2\cdot 1=6\) 和 \(6\)。这给出了 \(C\) 的最小值，因此 \(C=2\) 是不等式始终成立的最小常数。
因此，答案是\(C=2\)。
P310。对于任何正实数 $x、y$ 和任何正整数 $m、n$，存在一个常数 $C$，使得以下不等式成立：
\(C\left(x^{m+n} + y^{m+n}\right) + (m+n-1)\left(x^m y^n + x^n y^m\right) \geq m n\left(x^{m+n-1} y + y^{m+n-1} x\right)。\) 确定 $C$ 的最佳值。
S310。 $C = (n-1)(m-1)$
我们将不等式变换如下：
\[\开始{聚集} mn(x-y)\左(x^{m+n-1}-y^{m+n-1}\右) \ge (m+n-1)\左(x^{m}-y^{m}\右)\左(x^{n}-y^{n}\右) \ \长左右箭头\\ \长左右箭头 \frac{x^{m+n-1}-y^{m+n-1}}{(m+n-1)(x-y)} \ge \frac{x^{m}-y^{m}}{m(x-y)}\cdot \frac{x^{n}-y^{n}}{n(x-y)}。 \end{聚集}\]（我们假设\(x>y\)）。最后一个关系也可以写成
\[(x-y)\int_{y}^{x} t^{m+n-2}\,dt \ge \left(\int_{y}^{x} t^{m-1}\,dt\right)\left(\int_{y}^{x} t^{n-1}\,dt\right),\]这是根据切比雪夫积分不等式得出的。
当 \(x=y\) 时，等式成立，因为所有项都相等，并且不等式变为等式。这给出了 \(C\) 的最小值，因此最优值为 \(C=(n-1)(m-1)\)。
因此，答案是\(C=(n-1)(m-1)\)。
P311。令 $a, b, c$ 为正实数，使得 $a+b+c=1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\left(a^{a}+b^{a}+c^{a}\right)\left(a^{b}+b^{b}+c^{b}\right)\left(a^{c}+b^{c}+c^{c}\right) \geq C(\sqrt[3]{a}+\sqrt[3]{b}+\sqrt[3]{c})^{3}\]S311。 $C = 1$
根据霍尔德不等式我们得到
\[\left(a^{a}+b^{a}+c^{a}\right)^{\frac{1}{3}} \left(a^{b}+b^{b}+c^{b}\right)^{\frac{1}{3}} \left(a^{c}+b^{c}+c^{c}\right)^{\frac{1}{3}} \ge a^{\frac{a+b+c}{3}}+b^{\frac{a+b+c}{3}}+c^{\frac{a+b+c}{3}}。\]由于\(a+b+c=1\)，结论如下。
当 \(a=b=c=\frac{1}{3}\) 时，等式成立，在这种情况下，不等式两边都相等。这给出了左侧的最小值，因此 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P312。令$a, b, c \in \mathbb{R}^{+}$ 使得$abc = 1$。找到最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{1}{1+a+b}+\frac{1}{1+b+c}+\frac{1}{1+c+a} \leq C \left( \frac{1}{2+a}+\frac{1}{2+b}+\frac{1}{2+c} \right)\]S312。 $C = 1$
设\(x=a+b+c\) 和\(y=ab+bc+ca\)。使用蛮力，很容易看出左侧是
\[\frac{x^{2}+4x+y+3}{x^{2}+2x+y+xy},\]而右手边是
\[\frac{12+4x+y}{9+4x+2y}。\]现在，不等式变为
\[\frac{x^{2}+4x+y+3}{x^{2}+2x+y+xy}-1 \le \frac{12+4x+y}{9+4x+2y}-1 \ \长左右箭头\ \frac{2x+3-xy}{x^{2}+2x+y+xy} \le \frac{3-y}{9+4x+2y}。\]对于最后一个不等式，我们清除分母。然后利用不等式
\[x\ge 3,\quad y\ge 3,\quad x^{2}\ge 3y,\]我们有
\[\frac{5}{3}x^{2}y \ge 5x^{2},\quad \frac{x^{2}y}{3}\ge y^{2},\quad xy^{2}\ge 9x,\quad 5xy\ge 15x,\quad xy\ge 3y,\quad x^{2}y\ge 27。\]总结这些不平等，就得出了理想的不平等。当 \(a=b=c=1\) 时，等式成立，从那时起 \(abc=1\) 并且原始不等式的两边都相等。这给出了 \(C\) 的最小值，因此 \(C=1\) 是不等式始终成立的最小常数。
因此，答案是\(C=1\)。
P313。令 $a、b、c$ 为正实数，使得 $a + b + c = 3$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[\left(1 + a + a^2\right)\left(1 + b + b^2\right)\left(1 + c + c^2\right) \geq C(ab + bc + ca)。\]S313。 $C = 9$
让我们表示\(x=a+b+c=3\)，\(y=ab+bc+ca\)，\(z=abc\)。 现在给定的不等式可以重写为
\[z^{2}-2z-2xz+z(x+y)+x^{2}+x+y^{2}-y+3xy+1 \ge 9y,\]即
\[(z-1)^{2}-(z-1)(x-y)+(x-y)^{2}\ge 0,\]这显然是正确的。等式成立当且仅当\(a=b=c=1\)。
当 \(a=b=c=1\) 时，相等，此时 \(ab+bc+ca=3\) 且 \(\left(1+a+a^{2}\right)^{3}=27\)，因此不等式变为 \(27 \ge 9\cdot 3=27\)。因此，\(C=9\) 是不等式始终成立的最大常数，这给出了 \(C\) 的最小值。
因此，答案是\(C=9\)。
P314。令 $a, b, c \in (-1, 1)$ 为实数，使得 $a b + b c + a c = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[C \sqrt[3]{\left(1-a^{2}\right)\left(1-b^{2}\right)\left(1-c^{2}\right)} \leq 1 + (a + b + c)^2\]S314。 $C = 6$
由于\(a,b,c\in(-1,1)\)，我们有\(1-a^{2}>0\)，\(1-b^{2}>0\)，\(1-c^{2}>0\)。 通过 \(AM\ge GM\) 我们得到
\[\开始{对齐} 6\sqrt[3]{(1-a^{2})(1-b^{2})(1-c^{2})} &=2\cdot 3\sqrt[3]{(1-a^{2})(1-b^{2})(1-c^{2})}\\ &\le 2\left((1-a^{2})+(1-b^{2})+(1-c^{2})\right)\\ &=2\左(3-(a^{2}+b^{2}+c^{2})\右)\\ &=6-2(a^{2}+b^{2}+c^{2})。 \结束{对齐}\]我们将展示这一点
\[6-2(a^{2}+b^{2}+c^{2})\le 1+(a+b+c)^{2}。\]这个不等式相当于
\[6-2(a^{2}+b^{2}+c^{2}) \le 1+a^{2}+b^{2}+c^{2}+2(ab+bc+ca),\]即
\[3 \le 3(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)。\]由于\(ab+bc+ca=1\)，足以证明
\[a^{2}+b^{2}+c^{2}\ge 1,\]这是真的，因为
\[a^{2}+b^{2}+c^{2}\ge ab+bc+ca=1。\]当 \(a=b=c=\pm\frac{1}{\sqrt{3}}\) 时，相等成立，从那时起 \(ab+bc+ca=1\) 和 \(a^{2}+b^{2}+c^{2}=1\)。在这种情况下，不等式变为相等，因此 \(C=6\) 是最大可能值。
因此，答案是\(C=6\)。
P315。令 $x, y, z > 0$ 满足条件 $x + y + z = xyz$。找到最大常数 $C$，使得以下不等式对于满足给定条件的所有 $x, y, z$ 成立：
\[xy + xz + yz \geq C + \sqrt{x^2 + 1} + \sqrt{y^2 + 1} + \sqrt{z^2 + 1}\]S315.1。 $C = 3$
另一个改进如下。开始于
\[\frac{1}{x^{2}}+\frac{1}{y^{2}}+\frac{1}{z^{2}} \ge \frac{1}{xy}+\frac{1}{xz}+\frac{1}{yz}=1 \ \右箭头\ x^{2}y^{2}+x^{2}z^{2}+y^{2}z^{2}\ge x^{2}y^{2}z^{2}。\]这相当于
\[(xy+xz+yz)^{2}\ge 2xyz(x+y+z)+x^{2}y^{2}z^{2}=3(x+y+z)^{2}。\]进一步来说，
\[\开始{对齐} (xy+xz+yz-3)^{2} &=(xy+xz+yz)^{2}-6(xy+xz+yz)+9\\ &\ge 3(x+y+z)^{2}-6(xy+xz+yz)+9\\ &=3(x^{2}+y^{2}+z^{2})+9, \结束{对齐}\]这样
\[xy+xz+yz \ge 3+\sqrt{3(x^{2}+y^{2}+z^{2})+9}。\]但是
\[\sqrt{3(x^{2}+y^{2}+z^{2})+9}\ge \sqrt{x^{2}+1}+\sqrt{y^{2}+1}+\sqrt{z^{2}+1}\]是柯西-施瓦茨不等式的结果，我们有第二个改进并证明了所需的不等式：
\[\开始{对齐} 坐标+坐标+坐标 &\ge 3+\sqrt{3(x^{2}+y^{2}+z^{2})+9}\\ &\ge 3+\sqrt{x^{2}+1}+\sqrt{y^{2}+1}+\sqrt{z^{2}+1}。 \结束{对齐}\]当 \(x=y=z=\sqrt{3}\) 时，相等成立，因为 \(x+y+z=3\sqrt{3}\) 和 \(xyz=(\sqrt{3})^{3}=3\sqrt{3}\)，因此满足条件。在这种情况下，
\(xy+xz+yz=3\cdot 3=9 \quad\text{和}\quad \sqrt{x^{2}+1}=\sqrt{3+1}=2\)对于每个变量，因此 \(C=9-3\cdot 2=3\)。这给出了最小值
\[xy+xz+yz-\left(\sqrt{x^{2}+1}+\sqrt{y^{2}+1}+\sqrt{z^{2}+1}\right),\]所以最大常数 \(C\) 是 \(3\)。
因此，答案是\(C=3\)。
S315.2。 $C = 3$
我们有
\[xyz=x+y+z \ge 2\sqrt{xy}+z \ \右箭头\ z(\sqrt{xy})^{2}-2\sqrt{xy}-z\ge 0。\]因为三项式 \(zt^{2}-2t-z\) 的正根是
\[\frac{1+\sqrt{1+z^{2}}}{z},\]我们从这里得到
\[\sqrt{xy}\ge \frac{1+\sqrt{1+z^{2}}}{z} \ \长左右箭头\ z\sqrt{xy}\ge 1+\sqrt{1+z^{2}}。\]当然，我们还有另外两个类似的不平等。然后，
\[\开始{对齐} 坐标+坐标+坐标 &\ge x\sqrt{yz}+y\sqrt{xz}+z\sqrt{xy}\\ &\ge 3+\sqrt{x^{2}+1}+\sqrt{y^{2}+1}+\sqrt{z^{2}+1}, \结束{对齐}\]我们既有给定不平等的证明，也有对其的一点改进。
当 \(x=y=z=\sqrt{3}\) 时，相等成立，从那时起 \(x+y+z=3\sqrt{3}=xyz\)，并且
\[xy+xz+yz=9,\quad \sqrt{x^{2}+1}+\sqrt{y^{2}+1}+\sqrt{z^{2}+1}=6,\]所以差值等于\(3\)，即\(C=3\)。
因此，答案是\(C=3\)。
P316。设$a,b,c \in \mathbb{R}^{+}$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[\frac{a}{b+2 c}+\frac{b}{c+2 a}+\frac{c}{a+2 b} \geq C\]S316。 $C = 1$
应用柯西-施瓦茨不等式我们得到
\[\开始{对齐} &\left(\frac{a}{b+2c}+\frac{b}{c+2a}+\frac{c}{a+2b}\right)\left(a(b+2c)+b(c+2a)+c(a+2b)\right)\\ &\quad\ge (a+b+c)^{2}。 \结束{对齐}\]因此
\[\frac{a}{b+2c}+\frac{b}{c+2a}+\frac{c}{a+2b} \ge \frac{(a+b+c)^{2}}{a(b+2c)+b(c+2a)+c(a+2b)} = \frac{(a+b+c)^{2}}{3(ab+bc+ca)}。\]所以足以证明
\[\frac{(a+b+c)^{2}}{3(ab+bc+ca)}\ge 1, \quad\text{即}\quad (a+b+c)^{2}\ge 3(ab+bc+ca),\]这相当于 \(a^{2}+b^{2}+c^{2}\ge ab+bc+ca\)，并且显然成立。相等发生当且仅当\(a=b=c\)。
当 \(a=b=c\) 时相等，在这种情况下
\[\frac{a}{b+2c}+\frac{b}{c+2a}+\frac{c}{a+2b}=1。\]这给出了表达式的最小值，因此 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P317。令 $a, b, c$ 为三角形的边长，使得 $a + b + c = 3$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[a^{2} + b^{2} + c^{2} + \frac{4 a b c}{3} \geq C.\]S317。 $C = \frac{13}{3}$
设\(a=x+y\)、\(b=y+z\) 和\(c=z+x\)。 所以我们有
\[x+y+z=\frac{3}{2},\]从 \(AM\ge GM\) 开始，我们得到
\[xyz\le \left(\frac{x+y+z}{3}\right)^{3}=\frac{1}{8}。\]现在我们得到
\[\开始{对齐} a^{2}+b^{2}+c^{2}+\frac{4abc}{3} &=\frac{(a^{2}+b^{2}+c^{2})(a+b+c)+4abc}{3}\\ &=\frac{2\left((x+y)^{2}+(y+z)^{2}+(z+x)^{2}\right)(x+y+z)+4(x+y)(y+z)(z+x)}{3}\\ &=\frac{4}{3}\left((x+y+z)^{3}-xyz\right)\\ &\ge \frac{4}{3}\left(\left(\frac{3}{2}\right)^{3}-\frac{1}{8}\right)=\frac{13}{3}。 \结束{对齐}\]当 \(x=y=z\) 时，相等成立，这意味着 \(a=b=c=1\)。在这种情况下，达到了表达式的最小值，因此 \(C=\frac{13}{3}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{13}{3}\)。
P318。设$a, b, c \in \mathbb{R}^{+}$ 且$a^{2}+b^{2}+c^{2}=3$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{a b}{c}+\frac{b c}{a}+\frac{c a}{b} \geq C.\]S318。 $C = 3$
给定的不等式等价于
\[\left(\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b}\right)^{2}\ge 9 \ \长左右箭头\ \frac{a^{2}b^{2}}{c^{2}}+\frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}}+2(a^{2}+b^{2}+c^{2})\ge 3(a^{2}+b^{2}+c^{2}),\]即
\(\frac{a^{2}b^{2}}{c^{2}}+\frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}} \ge a^{2}+b^{2}+c^{2}。\)此外，应用 \(AM\ge GM\) 我们得到
\[\frac{a^{2}b^{2}}{c^{2}}+\frac{b^{2}c^{2}}{a^{2}} \ge 2b^{2},\quad \frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}} \ge 2c^{2},\quad \frac{a^{2}b^{2}}{c^{2}}+\frac{c^{2}a^{2}}{b^{2}}\ge 2a^{2}。\]添加这些不等式后我们得到
\[\frac{a^{2}b^{2}}{c^{2}}+\frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}} \ge a^{2}+b^{2}+c^{2},\]我们就完成了。
当 \(a=b=c=1\) 时，相等成立，从那时起 \(a^{2}+b^{2}+c^{2}=3\) 并且
\[\frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b}=3。\]这给出了表达式的最小值，因此不等式始终成立的最大常量 \(C\) 是 \(C=3\)。
因此，答案是\(C=3\)。
P319。令 $a、b、c$ 为正实数，使得 $a + b + c = 1$。确定最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{a}{a + bc} + \frac{b}{b + ca} + \frac{\sqrt{abc}}{c + ab} \leq C.\]S319。 $C = 1 + \frac{3\sqrt{3}}{4}$
由于\(a+b+c=1\)，我们使用以下替换\(a=xy,\ b=yz,\ c=zx\)，其中\(x,y,z>0\)，并且给定的不等式变为
\[\frac{xy}{xy+(yz)(zx)}+\frac{yz}{yz+(zx)(xy)}+\frac{zx}{zx+(xy)(yz)} \le 1+\frac{3\sqrt{3}}{4},\]即
\[\frac{1}{1+z^{2}}+\frac{1}{1+x^{2}}+\frac{y}{1+y^{2}} \le 1+\frac{3\sqrt{3}}{4}, \qquad (1)\]其中\(xy+yz+zx=1\)。
由于\(xy+yz+zx=1\)，我们可以设置
\[x=\tan\frac{\alpha}{2},\quad y=\tan\frac{\beta}{2},\quad z=\tan\frac{\gamma}{2},\]其中 \(\alpha,\beta,\gamma\in(0,\pi)\) 和 \(\alpha+\beta+\gamma=\pi\)。
那么不等式(1)变为
\[\frac{1}{1+\tan^{2}\frac{\gamma}{2}}+\frac{1}{1+\tan^{2}\frac{\alpha}{2}} +\frac{\tan\frac{\beta}{2}}{1+\tan^{2}\frac{\beta}{2}} \le 1+\frac{3\sqrt{3}}{4},\]即
\[\cos^{2}\frac{\gamma}{2}+\cos^{2}\frac{\alpha}{2}+\frac{\sin\beta}{2} \le 1+\frac{3\sqrt{3}}{4}。\]使用三角恒等式 \(\cos x=2\cos^{2}\frac{x}{2}-1\)，最后一个不等式变为
\[\frac{\cos\gamma+1}{2}+\frac{\cos\alpha+1}{2}+\frac{\sin\beta}{2} \le 1+\frac{3\sqrt{3}}{4},\]即
\[\cos\gamma+\cos\alpha+\sin\beta \le \frac{3\sqrt{3}}{2}。 \qquad (2)\]我们有
\[\开始{对齐} \cos\alpha+\cos\gamma+\sin\beta &=\cos\alpha+\cos\gamma+\sin(\pi-(\alpha+\gamma))\\ &=\cos\alpha+\cos\gamma+\sin(\alpha+\gamma)\\ &=\cos\alpha+\cos\gamma+\sin\alpha\cos\gamma+\cos\alpha\sin\gamma\\ &=\frac{2}{\sqrt{3}}\left(\frac{\sqrt{3}}{2}\cos\alpha+\frac{\sqrt{3}}{2}\cos\gamma\right) +\frac{1}{\sqrt{3}}\left(\sqrt{3}\sin\alpha\cos\gamma+\sqrt{3}\cos\alpha\sin\gamma\right)\\ &\le \frac{1}{\sqrt{3}}\left(\frac{3}{4}+\cos^{2}\alpha+\frac{3}{4}+\cos^{2}\gamma\right)\\ &=\frac{1}{2\sqrt{3}}\left(3\sin^{2}\alpha+\cos^{2}\alpha+3\sin^{2}\gamma+\cos^{2}\gamma\right)\\ &=\frac{\sqrt{3}}{2}+\frac{\sqrt{3}}{2}\left(\sin^{2}\alpha+\cos^{2}\alpha\right) +\frac{\sqrt{3}}{2}\left(\sin^{2}\gamma+\cos^{2}\gamma\right)\\ &=\frac{3\sqrt{3}}{2}。 \结束{对齐}\]当 \(\alpha=\beta=\gamma=\frac{\pi}{3}\) 时，上述不等式相等，对应于 \(a=b=c=\frac{1}{3}\)。在这种情况下，左侧达到最大值，因此
\[C=1+\frac{3\sqrt{3}}{4}\]是不等式始终成立的最小常数。
因此，答案是\(C=1+\frac{3\sqrt{3}}{4}\)。
P320。令 $x, y, z$ 为正实数。找到最小常数 $C$，使得以下不等式对于 \in \mathbb{R}^{+}$ 中的所有 $x, y, z 成立：
\[\frac{x}{x+\sqrt{(x+y)(x+z)}}+\frac{y}{y+\sqrt{(y+z)(y+x)}}+\frac{z}{z+\sqrt{(z+x)(z+y)}} \leq C\]S320.1。 $C = 1$
从惠更斯不等式我们有
\[\sqrt{(x+y)(x+z)}\ge x+\sqrt{yz},\]并将这个不等式用于我们得到的类似不等式\(\开始{对齐} \frac{x}{x+\sqrt{(x+y)(x+z)}}+\frac{y}{y+\sqrt{(y+z)(y+x)}}+\frac{z}{z+\sqrt{(z+x)(z+y)}} &\le \frac{x}{2x+\sqrt{yz}}+\frac{y}{2y+\sqrt{zx}}+\frac{z}{2z+\sqrt{xy}}。 \结束{对齐}\)
现在，我们表示
\[a=\frac{\sqrt{yz}}{x},\quad b=\frac{\sqrt{zx}}{y},\quad c=\frac{\sqrt{xy}}{z},\]不等式变为
\[\frac{1}{2+a}+\frac{1}{2+b}+\frac{1}{2+c}\le 1.\]从上面的记号我们可以看出\(abc=1\)，所以最后的不等式在清除分母后变为：
\[ab+bc+ca\ge 3,\]这是由 AM-GM 不等式得出的。
当 \(x=y=z\) 时相等，在这种情况下 \(a=b=c=1\) 并且
\[\frac{1}{2+1}+\frac{1}{2+1}+\frac{1}{2+1}=1。\]这给出了原始表达式的最大值，因此 \(C=1\) 是不等式始终成立的最小常数。
因此，答案是\(C=1\)。
S320.2。 $C = 1$
我们有
\[(x+y)(x+z)=xy+\left(x^{2}+yz\right)+xz \ge xy+2x\sqrt{yz}+xz=(\sqrt{xy}+\sqrt{xz})^{2}。\]因此
\[\sum \frac{x}{x+\sqrt{(x+y)(x+z)}} \le \sum \frac{x}{x+\sqrt{xy}+\sqrt{xz}}。\]但是
\[\sum \frac{x}{x+\sqrt{xy}+\sqrt{xz}} =\sum \frac{\sqrt{x}}{\sqrt{x}+\sqrt{y}+\sqrt{z}} =1,\]这解决了问题。
当 \(x=y=z\) 时，等式成立，从那时起，每一项都变成
\[\frac{x}{x+\sqrt{x^{2}}+\sqrt{x^{2}}}=\frac{x}{x+x+x}=\frac{1}{3},\]总和是 \(1\)。这给出了总和的最大值，因此 \(C=1\) 是最小的，使得不等式始终成立。
因此，答案是\(C=1\)。
P321。设$a、b、c$为非负实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}^{+}$ 成立：
\[\frac{a}{4 b^{2}+b c+4 c^{2}}+\frac{b}{4 c^{2}+c a+4 a^{2}}+\frac{c}{4 a^{2}+a b+4 b^{2}} \geq C \cdot \frac{1}{a+b+c}\]S321。 $C = 1$
根据柯西-施瓦茨不等式我们有 \(\开始{聚集} \frac{a}{4b^{2}+bc+4c^{2}}+\frac{b}{4c^{2}+ca+4a^{2}}+\frac{c}{4a^{2}+ab+4b^{2}}\\ \ge \frac{(a+b+c)^{2}}{a(4b^{2}+bc+4c^{2})+b(4c^{2}+ca+4a^{2})+c(4a^{2}+ab+4b^{2})}。 \end{聚集}\)
所以我们需要证明
\[\frac{(a+b+c)^{2}}{4a(b^{2}+c^{2})+4b(c^{2}+a^{2})+4c(a^{2}+b^{2})+3abc} \ge \frac{1}{a+b+c},\]这相当于
\[(a+b+c)^{3}\ge 4a(b^{2}+c^{2})+4b(c^{2}+a^{2})+4c(a^{2}+b^{2})+3abc,\]即
\[a^{3}+b^{3}+c^{3}+3abc \ge a(b^{2}+c^{2})+b(c^{2}+a^{2})+c(a^{2}+b^{2}),\]这就是舒尔不等式。
当 \(a=b=c\) 时，例如 \(a=b=c>0\) 时，相等成立。在这种情况下，不等式两边相等，因此达到左边的最小值，\(C=1\) 是最大可能的常数。
因此，答案是\(C=1\)。
P322。设$a,b,c \in \mathbb{R}$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[a^{2}+b^{2}+c^{2} \geq C(a b+b c+c a)\]S322。 $C = 1$
由于 \((a-b)^{2}+(b-c)^{2}+(c-a)^{2}\ge 0\) 我们推出
\[2(a^{2}+b^{2}+c^{2}) \ge 2(ab+bc+ca) \ \长左右箭头\ a^{2}+b^{2}+c^{2}\ge ab+bc+ca。\]当且仅当 \(a=b=c\) 时才发生相等，在这种情况下双方相等。这给出了最小值
\[a^{2}+b^{2}+c^{2}-C(ab+bc+ca),\]所以 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P323。令 $a_{1}, a_{2}, \ldots, a_{n}$ 为正实数，使得 $a_{1}+a_{2}+\cdots+a_{n}=1$。找到最大常数 $C$，使得以下不等式对于所有 $a_{1}, a_{2}, \ldots, a_{n}$ 成立：
\[\frac{a_{1}}{\sqrt{1-a_{1}}}+\frac{a_{2}}{\sqrt{1-a_{2}}}+\cdots+\frac{a_{n}}{\sqrt{1-a_{n}}} \geq C\]S323。 $C = \sqrt{\frac{n}{n-1}}$
让我们表示\(\开始{对齐} A&=\frac{a_{1}}{\sqrt{1-a_{1}}}+\frac{a_{2}}{\sqrt{1-a_{2}}}+\cdots+\frac{a_{n}}{\sqrt{1-a_{n}}},\\ B&=a_{1}(1-a_{1})+a_{2}(1-a_{2})+\cdots+a_{n}(1-a_{n})。 \结束{对齐}\)
根据霍尔德不等式我们有
\[A^{2}B \ge (a_{1}+a_{2}+\cdots+a_{n})^{3}=1。 \qquad (1)\]应用 \(QM\ge AM\) 我们推导出
\[B=1-(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}) \le 1-\frac{(a_{1}+a_{2}+\cdots+a_{n})^{2}}{n} =\frac{n-1}{n}。 \qquad (2)\]由(1)和(2)我们得到
\[\frac{n-1}{n}\cdot A^{2} \ge A^{2}B \ge 1, \quad\text{即}\quad A \ge \sqrt{\frac{n}{n-1}}。\]当 \(a_{1}=a_{2}=\cdots=a_{n}=\frac{1}{n}\) 时，等式成立，从此 Hölder 不等式和 QM-AM 不等式都变为等式。这给出了 \(A\) 的最小值，所以
\[C=\sqrt{\frac{n}{n-1}}\]是不等式始终成立的最大常数。
因此，答案是\(C=\sqrt{\frac{n}{n-1}}\)。
P324。令 $a、b、c$ 为实数。找到最大常数 $C$，使得以下不等式对于所有 $a, b, c \in \mathbb{R}$ 成立：
\[\left(a^{2}+b^{2}+c^{2}\right)^{2} \geq C\left(a^{3} b+b^{3} c+c^{3} a\right)\]S324。 $C = 3$
根据众所周知的不等式 \((x+y+z)^{2}\ge 3(xy+yz+zx)\)
\[x=a^{2}+bc-ab,\quad y=b^{2}+ca-bc,\quad z=c^{2}+ab-ca,\]我们得到了所需的不等式。
当 \(a=b=c\) 时，等式成立，在这种情况下，不等式两边都相等。这给出了不等式始终成立的 \(C\) 的最大值，即 \(C=3\)。
因此，答案是\(C=3\)。
P325。令 $a, b, c$ 为正实数，使得 $a+b+c=1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[(a+b)^{2}(1+2 c)(2 a+3 c)(2 b+3 c) \geq C a b c\]S325。 $C = 54$
给定的不等式可以重写如下
\[(a+b)^{2}(1+2c)\left(2+3\frac{c}{a}\right)\left(2+3\frac{c}{b}\right)\ge 54c。\]通过柯西-施瓦茨不等式和 \(AM\ge GM\) 我们有
\[\开始{对齐} \left(2+3\frac{c}{a}\right)\left(2+3\frac{c}{b}\right) &\ge \left(2+\frac{3c}{\sqrt{ab}}\right)^{2} \ge \left(2+\frac{6c}{a+b}\right)^{2}\\ &=\frac{(2(a+b)+6c)^{2}}{(a+b)^{2}} =\frac{4(a+b+3c)^{2}}{(a+b)^{2}}。 \结束{对齐}\]然后我们有
\[\开始{对齐} (a+b)^{2}(1+2c)\左(2+3\压裂{c}{a}\右)\左(2+3\压裂{c}{b}\右) &\ge (a+b)^{2}(1+2c)\cdot \frac{4(a+b+3c)^{2}}{(a+b)^{2}}\\ &=4(1+2c)(a+b+3c)^{2}。 \结束{对齐}\]如果\(a+b+c=1\)，则\(a+b=1-c\)，因此\(a+b+3c=1+2c\)。因此，
\[4(1+2c)(a+b+3c)^{2}=4(1+2c)^{3},\]仍有待证明
\[4(1+2c)^{3}\ge 54c, \quad\text{即}\quad (1+2c)^{3}\ge \frac{27c}{2}。\]截至 \(AM\ge GM\) 我们有
\[(1+2c)^{3}=\left(\frac{1}{2}+\frac{1}{2}+2c\right)^{3} \ge 27\cdot \frac{1}{2}\cdot \frac{1}{2}\cdot 2c =\frac{27c}{2},\]根据需要。
当且仅当 \(a=b=\frac{3}{8}\) 和 \(c=\frac{1}{4}\) 时相等。这给出了不等式始终成立的 \(C\) 的最大值，因此 \(C=54\) 是最大值。
因此，答案是\(C=54\)。
P326。令 $a, b, c > 0$ 为实数。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[(a b + b c + c a) \left( \frac{1}{(a + b)^2} + \frac{1}{(b + c)^2} + \frac{1}{(c + a)^2} \right) \geq C.\]S326。 $C = \frac{9}{4}$
我们可以将给定的不等式重写为以下形式
\(\开始{对齐} &f(a+b+c,\,ab+bc+ca,\,abc) \\ &= 9\左((a+b)(b+c)(c+a)\右)^2 \\ &\quad-4(ab+bc+ca)\Big((a+b)^2(b+c)^2+(b+c)^2(c+a)^2+(c+a)^2(a+b)^2\Big) \\ &= k(abc)^2+m\cdot abc+n, \结束{对齐}\)其中 \(k\ge 0\) 和 \(k,m,n\) 是仅取决于常数以及 \(a+b+c\) 和 \(ab+bc+ca\) （我们将其视为常数）的数量。因此，左边是 \(a,b,c\) 中的六次对称多项式，并且可以被视为 \(abc\) 中具有非负首项系数的二次多项式。
让我们解释一下这一点。
表达式
\[(a+b)(b+c)(c+a)=(a+b+c)(ab+bc+ca)-abc\]其形式为 \(M-abc\)，因此
\[9\左((a+b)(b+c)(c+a)\右)^2 =9(abc)^2-18M\cdot abc+9M^2,\]其形式为\(k(abc)^2+m\cdot abc+n\)。
此外，
\[4(ab+bc+ca)\大((a+b)^2(b+c)^2+(b+c)^2(c+a)^2+(c+a)^2(a+b)^2\大)\]是对称六次多项式，固定\(a+b+c\)和\(ab+bc+ca\)后，也可以表示为\(\tilde k(abc)^2+\tilde m\cdot abc+\tilde n\)形式。因此整个表达式
\[f(a+b+c,\,ab+bc+ca,\,abc)\]其形式为 \(k(abc)^2+m\cdot abc+n\)。
因此，当 \((a-b)(b-c)(c-a)=0\) 或 \(abc=0\) 时，该函数达到最小值。
如果\((a-b)(b-c)(c-a)=0\)，那么不失一般性，我们可以假设\(a=c\)，并且给定的不等式等价于
\[\开始{对齐} &\left(a^{2}+2ab\right)\left(\frac{1}{4a^{2}}+\frac{2}{(a+b)^{2}}\right)\ge \frac{9}{4} \\ &\Leftrightarrow (a-b)^{2}\left(\frac{2a+b}{2a(a+b)^{2}}-\frac{1}{(a+b)^{2}}\right)\ge 0 \\ &\Leftrightarrow b(a-b)^{2}\ge 0, \结束{对齐}\]根据需要。
如果 \(abc=0\)，我们可以假设 \(c=0\) 并且给定的不等式变为
\[\开始{对齐} &ab\left(\frac{1}{(a+b)^{2}}+\frac{1}{a^{2}}+\frac{1}{b^{2}}\right)\ge \frac{9}{4} \\ &\Leftrightarrow (a-b)^{2}\left(\frac{1}{ab}-\frac{1}{4(a+b)^{2}}\right)\ge 0 \\ &\Leftrightarrow (a-b)^{2}\left(4a^{2}+4b^{2}+7ab\right)\ge 0, \结束{对齐}\]问题就解决了。
当两个变量相等且第三个变量为零时，即当 \((a,b,c)\) 是 \((t,t,0)\) 的排列（\(t>0\)）时，上述分析中的等式成立。在这种情况下，达到了表达式的最小值，因此 \(C=\frac{9}{4}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{9}{4}\)。
P327。令$k \in \mathbb{N}$ 和$a_{1}、a_{2}、\ldots、a_{n}$ 为正实数，使得$a_{1} + a_{2} + \cdots + a_{n} = 1$。找到最大常数 $C$，使得以下不等式对于所有 $a_{1}, a_{2}, \ldots, a_{n}$ 成立：
\[a_{1}^{-k} + a_{2}^{-k} + \cdots + a_{n}^{-k} \geq C.\]S327。 $C = n^{k+1}$
自从 \(AM \ge GM\) 我们有
\[\sqrt[n]{a_{1}a_{2}\cdots a_{n}} \le \frac{a_{1}+a_{2}+\cdots+a_{n}}{n} =\frac{1}{n},\]或
\[n \le \sqrt[n]{\frac{1}{a_{1}}\cdot\frac{1}{a_{2}}\cdots\frac{1}{a_{n}}}。\]因此
\[n^{k} \le \sqrt[n]{a_{1}^{-k}a_{2}^{-k}\cdots a_{n}^{-k}} \le \frac{a_{1}^{-k}+a_{2}^{-k}+\cdots+a_{n}^{-k}}{n},\]即
\[a_{1}^{-k}+a_{2}^{-k}+\cdots+a_{n}^{-k} \ge n^{k+1},\]根据需要。
当 \(a_{1}=a_{2}=\cdots=a_{n}=\frac{1}{n}\) 时，相等成立，从那时起，对于每个 \(i\)，\(a_i^{-k}=n^k\)，因此总和为 \(n\cdot n^k=n^{k+1}\)。这给出了总和的最小值，因此 \(C=n^{k+1}\) 是不等式始终成立的最大常数。
因此，答案是\(C=n^{k+1}\)。
P328。令 $a, b, c, d > 0$ 使得 $a+b+c=1$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c、d$ 成立：
\[a^{3}+b^{3}+c^{3}+a b c d \geq C.\]S328。 $C=\min\left{\frac{1}{4},\frac{1}{9}+\frac{d}{27}\right}.$
假设不等式是假的。然后，考虑到
\[abc\le \frac{1}{27},\]我们有
\[d\left(\frac{1}{27}-abc\right) > a^{3}+b^{3}+c^{3}-\frac{1}{9}。\]我们可以假设
\[abc<\frac{1}{27}。\]现在我们将通过证明来得出矛盾
\[a^{3}+b^{3}+c^{3}+abcd \ge \frac{1}{4}。\]足以证明\(\frac{a^{3}+b^{3}+c^{3}-\frac{1}{9}}{\frac{1}{27}-abc}\cdot abc+a^{3}+b^{3}+c^{3}\ge \frac{1}{4}。\)
但这个不等式相当于
\[4\sum a^{3}+15abc \ge 1。\]我们现在使用的身份
\[\sum a^{3}=3abc+1-3\sum ab\]并将问题简化为证明
\[\sum ab \le \frac{1+9abc}{4},\]这就是舒尔不等式。
当 \(a=b=c=\frac{1}{3}\) （\(d\) 任意）时，相等成立，从那时起
\[a^{3}+b^{3}+c^{3}+abcd =3\left(\frac{1}{3}\right)^{3}+\left(\frac{1}{27}\right)d =\frac{1}{9}+\frac{d}{27}。\]因此，答案是
\[C=\min\left\{\frac{1}{4},\frac{1}{9}+\frac{d}{27}\right\}。\]P329。令 $x, y, z > 0$ 为实数，使得 $x + y + z = 1$。确定最小常数 $C$，使得以下不等式适用于所有 $x、y、z$：
\[\left(x^{2}+y^{2}\right)\left(y^{2}+z^{2}\right)\left(z^{2}+x^{2}\right) \leq C.\]S329。 $C = \frac{1}{32}$ （原始解决方案错误地建议 $\frac{8}{729}$ 作为答案。）
设\(p=x+y+z=1\)，\(q=xy+yz+zx\)，\(r=xyz\)。 然后我们有
\[\开始{对齐} x^{2}+y^{2} &=(x+y)^{2}-2xy \\ &=(1-z)^{2}-2xy \\ &=1-2z+z^{2}-2xy \\ &=1-z-z(1-z)-2xy \\ &=1-z-z(x+y)-2xy \\ &=1-z-q-xy。 \结束{对齐}\]类似地我们推导出
\[y^{2}+z^{2}=1-x-q-yz \quad\text{和}\quad z^{2}+x^{2}=1-y-q-zx。\]所以给定的不等式变为
\[(1-z-q-xy)(1-x-q-yz)(1-y-q-zx)\le \frac{1}{32}。 \qquad (1)\]经过代数变换我们发现不等式(1)等价于
\[q^{2}-2q^{3}-r(2+r-4q)\le \frac{1}{32}。 \qquad (2)\]假设 \(q\le \frac{1}{4}\)。 使用 \(p^{3}-4pq+9r\ge 0\)，得出
\[9r\ge 4q-1,\quad\text{即}\quad r\ge \frac{4q-1}{9},\]显然\(q\le \frac{1}{3}\)。 由此可见
\[2+r-4q \ge 2+\frac{4q-1}{9}-4q =\frac{17-32q}{9} \ge \frac{17-\frac{32}{3}}{9} >0。\]所以我们有
\[\开始{对齐} q^{2}-2q^{3}-r(2+r-4q) &\le q^{2}-2q^{3} = q^{2}(1-2q) \\ &=\frac{q}{2}\cdot 2q(1-2q) \le \frac{q}{2}\left(\frac{2q+(1-2q)}{2}\right)^{2} =\frac{q}{8} \le \frac{1}{32}, \结束{对齐}\]即不等式 (2) 对于 \(q\le \frac{1}{4}\) 成立。
我们只需要考虑 \(q>\frac{1}{4}\) 时的情况。 让
\[f(r)=q^{2}-2q^{3}-r(2+r-4q)。 \qquad (3)\]显然\(r\ge \frac{4q-1}{9}\)。 使用 \(pq-9r\ge 0\) 可以得到 \(9r\le q\)，即 \(r\le \frac{q}{9}\)。 我们有
\[f'(r)=4q-2-2r \le \frac{4}{3}-2-2r \le 0。\]这意味着 \(f\) 是一个严格递减函数
\[\left(\frac{4q-1}{9},\,\frac{q}{9}\right),\]由此可见
\[f(r)\le f\left(\frac{4q-1}{9}\right) = q^{2}-2q^{3}-\frac{1}{81}(4q-1)(17-32q),\]即
\[f(r)\le \frac{81\left(q^{2}-2q^{3}\right)-(4q-1)(17-32q)}{81}。 \qquad (4)\]让
\[g(q)=81\left(q^{2}-2q^{3}\right)-(4q-1)(17-32q)。 \qquad (5)\]然后
\[g'(q)=-486q^{2}+418q-100。\]由于 \(\frac{1}{4}<q\le \frac{1}{3}\)，我们得到
\[g'(q)=-486q^{2}+418q-100 <\frac{-486}{16}+\frac{418}{3}-100 <0。\]因此 \(g\) 在 \(\left(\frac{1}{4},\frac{1}{3}\right)\) 上减小，即
\[g(q)<g\left(\frac{1}{4}\right)=\frac{81}{32}。 \qquad (6)\]最后由(3)、(4)、(5)、(6)我们得到
\[\开始{对齐} q^{2}-2q^{3}-r(2+r-4q) &= f(r) \le f\left(\frac{4q-1}{9}\right) \\ &=\frac{81\left(q^{2}-2q^{3}\right)-(4q-1)(17-32q)}{81} \\ &=\frac{g(q)}{81} <\frac{g\left(\frac{1}{4}\right)}{81} =\frac{\frac{81}{32}}{81} =\frac{1}{32}, \结束{对齐}\]根据需要。
\(\left(x^2+y^2\right)\left(y^2+z^2\right)\left(z^2+x^2\right)\le \frac{1}{32}\) 相等 对于 \(\left(\frac12,\frac12,0\right)\) 的排列成立，因为
\(\left(\left(\frac12\right)^2+\left(\frac12\right)^2\right)\left(\left(\frac12\right)^2+0^2\right)\left(0^2+\left(\frac12\right)^2\right) =\left(\frac12\right)\left(\frac14\right)\left(\frac14\right)=\frac{1}{32}。\)如果我们另外要求 \(x,y,z>0\)，则无法达到相等，但边界 \(\frac{1}{32}\) 是尖锐的，并且随着一个变量趋向于 \(0\) 而接近。
因此，答案是\(C=\frac{1}{32}\)。
P330。令 $a, b, c$ 为实数，使得 $a^3 + b^3 + c^3 - 3abc = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[a^2 + b^2 + c^2 \geq C\]S330。 $C = 1$
观察一下
\[\开始{对齐} 1 &=a^{3}+b^{3}+c^{3}-3abc \\ &=(a+b+c)\left(a^{2}+b^{2}+c^{2}-ab-bc-ca\right) \\ &=\frac{a+b+c}{2}\left((a-b)^{2}+(b-c)^{2}+(c-a)^{2}\right)。 \结束{对齐}\]自从
\[(a-b)^{2}+(b-c)^{2}+(c-a)^{2}\ge 0,\]我们必须有\(a+b+c>0\)。
根据
\[(a+b+c)\左(a^{2}+b^{2}+c^{2}-ab-bc-ca\右)=1\]我们推断
\[(a+b+c)\left(a^{2}+b^{2}+c^{2}-\frac{(a+b+c)^{2}-a^{2}-b^{2}-c^{2}}{2}\right)=1,\]因此
\[(a+b+c)\left(\frac{3}{2}(a^{2}+b^{2}+c^{2})-\frac{(a+b+c)^{2}}{2}\right)=1。\]因此，
\[3(a^{2}+b^{2}+c^{2})-(a+b+c)^{2}=\frac{2}{a+b+c},\]所以
\[a^{2}+b^{2}+c^{2}=\frac{1}{3}\left((a+b+c)^{2}+\frac{2}{a+b+c}\right)。\]由于 \(a+b+c>0\) 我们可以使用 \(AM \ge GM\) 如下：
\[(a+b+c)^{2}+\frac{1}{a+b+c}+\frac{1}{a+b+c} \ge 3\sqrt[3]{(a+b+c)^{2}\cdot\frac{1}{a+b+c}\cdot\frac{1}{a+b+c}} =3。\]因此，
\[a^{2}+b^{2}+c^{2} =\frac{1}{3}\left((a+b+c)^{2}+\frac{2}{a+b+c}\right) \ge \frac{1}{3}\cdot 3 =1,\]根据需要。
平等发生当且仅当
\[(a+b+c)^{2}=\frac{1}{a+b+c},\]即当且仅当 \(a+b+c=1\)。例如， \(a=b=c=\frac{1}{3}\) 满足此条件，然后
\[a^{2}+b^{2}+c^{2}=3\left(\frac{1}{3}\right)^{2}=\frac{1}{3}。\]所以最小值为\(\frac{1}{3}\)，尖锐常数为
\[C=\frac{1}{3}。\]因此，答案是\(C=\frac{1}{3}\)。
P331。令 $a、b、c$ 为正实数，使得 $a + b + c = 1$。找到最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[a b c + \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geq C.\]S331。 $C = \frac{244}{27}$
通过不等式 \(AM \ge GM\) 我们得到
\[abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \ge 4\sqrt[4]{abc\cdot\frac{1}{a}\cdot\frac{1}{b}\cdot\frac{1}{c}} =4。\]然而，这一步中的平等需要
\[abc=\frac{1}{a}=\frac{1}{b}=\frac{1}{c},\]这意味着 \(a=b=c=1\)，与 \(a+b+c=1\) 矛盾。
所以我们需要一个更准确的估计。
假设 \(a,b,c>0\) 且 \(a+b+c=1\)。
我们的目标是证明
选择常数 \(81\)，以便在对称点 \(a=b=c=\frac{1}{3}\) 我们有
\[abc=\frac{1}{81a}=\frac{1}{81b}=\frac{1}{81c}=\frac{1}{27}。\]现在将表达式重写为
\[abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c} = \left(abc+\frac{1}{81a}+\frac{1}{81b}+\frac{1}{81c}\right) +\frac{80}{81}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)。 \qquad (1)\]通过 \(AM \ge GM\)，
\[abc+\frac{1}{81a}+\frac{1}{81b}+\frac{1}{81c} \ge 4\sqrt[4]{abc\cdot\frac{1}{81a}\cdot\frac{1}{81b}\cdot\frac{1}{81c}} =4\sqrt[4]{\frac{1}{81^{3}}} =\frac{4}{27}。 \qquad (2)\]通过 \(AM \ge HM\)，
\[\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \ge \frac{9}{a+b+c} =9。 \qquad (3)\]结合 \((1),(2),(3)\) 给出
\[abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \ge \frac{4}{27}+\frac{80}{81}\cdot 9 =\frac{4}{27}+\frac{80}{9} =\frac{244}{27}。\]当 \(a=b=c=\frac{1}{3}\) 时等式成立，满足 \(a+b+c=1\) 并产生
\[abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c} =\frac{1}{27}+9 =\frac{244}{27}。\]因此，尖锐常数为
\[C=\frac{244}{27}。\]P332。令$a, b, c \in \mathbb{R}^{+}$ 使得$a + 2b + 3c \geq 20$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：\(S = a + b + c + \frac{3}{a} + \frac{9}{2b} + \frac{4}{c} \geq C\)
S332。 $C = 13$
\(S=13\) 在点 \(a=2,\ b=3,\ c=4\) 处。
使用 \(AM \ge GM\) 我们得到
\[a+\frac{4}{a}\ge 2\sqrt{a\cdot \frac{4}{a}}=4,\quad b+\frac{9}{b}\ge 2\sqrt{b\cdot \frac{9}{b}}=6,\quad c+\frac{16}{c}\ge 2\sqrt{c\cdot \frac{16}{c}}=8。\]即
\[\frac{3}{4}\left(a+\frac{4}{a}\right)\ge 3,\quad \frac{1}{2}\left(b+\frac{9}{b}\right)\ge 3,\quad \frac{1}{4}\left(c+\frac{16}{c}\right)\ge 2.\]添加最后三个不等式
\[\frac{3}{4}a+\frac{1}{2}b+\frac{1}{4}c+\frac{3}{a}+\frac{9}{2b}+\frac{4}{c}\ge 8. \qquad (1)\]使用 \(a+2b+3c\ge 20\) 我们得到
\[\frac{1}{4}a+\frac{1}{2}b+\frac{3}{4}c\ge 5. \qquad (2)\]最后，将(1)和(2)相加，我们得到
\[a+b+c+\frac{3}{a}+\frac{9}{2b}+\frac{4}{c}\ge 13,\]根据需要。
当 \(a=2\)、\(b=3\)、\(c=4\) 时，相等成立，因为此时
\[a+2b+3c=2+6+12=20\]和
\[S=2+3+4+\frac{3}{2}+\frac{9}{2\cdot 3}+\frac{4}{4} =9+\frac{3}{2}+\frac{3}{2}+1 =13。\]因此\(S\)的最小值是\(13\)，尖锐常数是\(C=13\)。
因此，答案是\(C=13\)。
P333。令 $a, b, c, d > 0$ 为实数。设 $u = ab + ac + ad + bc + bd + cd$ 且 $v = abc + abd + acd + bcd$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c、d > 0$ 成立：
\[2u^3 \geq Cv^2\]S333。 $C = 27$
我们有
\[p_{2}=\frac{u}{\binom{4}{2}}=\frac{u}{6} \quad\text{和}\quad p_{3}=\frac{v}{\binom{4}{3}}=\frac{v}{4}。\]根据麦克劳林不等式我们有
\[p_{2}^{\frac{1}{2}} \ge p_{3}^{\frac{1}{3}} \quad\Leftrightarrow\quad p_{2}^{3}\ge p_{3}^{2} \quad\Leftrightarrow\quad \left(\frac{u}{6}\right)^{3}\ge \left(\frac{v}{4}\right)^{2} \quad\Leftrightarrow\quad 2u^{3}\ge 27v^{2}。\]当 \(a=b=c=d\) 时，等式成立，即所有变量都相等，在这种情况下，麦克劳林不等式变为等式。因此锐常数是
\[C=27。\]因此，答案是\(C=27\)。
P334。令$x, y, z \in \mathbb{R}^{+}$ 使得$x + y + z = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $x, y, z$ 成立：
\[\frac{x y}{z}+\frac{y z}{x}+\frac{z x}{y} \geq C\]S334。 $C = 1$
我们有
\[\frac{xy}{z}+\frac{yz}{x}+\frac{zx}{y} =\frac{1}{2}\left(\frac{xy}{z}+\frac{yz}{x}\right) +\frac{1}{2}\left(\frac{yz}{x}+\frac{zx}{y}\right) +\frac{1}{2}\left(\frac{zx}{y}+\frac{xy}{z}\right)。 \qquad (1)\]自从 \(AM \ge GM\) 我们有
\[\frac{1}{2}\left(\frac{xy}{z}+\frac{yz}{x}\right) \ge \sqrt{\frac{xy}{z}\cdot\frac{yz}{x}} =\sqrt{y^{2}} =y。\]类似地我们得到
\[\frac{1}{2}\left(\frac{yz}{x}+\frac{zx}{y}\right)\ge z \quad\text{和}\quad \frac{1}{2}\left(\frac{zx}{y}+\frac{xy}{z}\right)\ge x。\]将这三个不等式相加，我们得到
\[\frac{xy}{z}+\frac{yz}{x}+\frac{zx}{y}\ge x+y+z=1。\]等式成立当且仅当
\[\frac{xy}{z}=\frac{yz}{x}=\frac{zx}{y},\]这相当于\(x=y=z\)。在 \(x+y+z=1\) 下，这给出
\[x=y=z=\frac{1}{3}。\]因此表达式的最小值是\(1\)，锐常数是\(C=1\)。
因此，答案是\(C=1\)。
P335。设$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}\]S335。 $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) \\ &=\Big(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)\Big) \\ &\quad-\Big((ac)^{2}+b^{4}+(ac)^{2}+d^{4}+2abcd-(ac)^{2}-b^{2}d^{2}-2ac\left(b^{2}+d^{2}\right)\Big) \\ &=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}\left((a+c)^{2}-\left(b^{2}+d^{2}\right)\right)\ge 0, \结束{对齐}\]因为 \(a\ge b\ge c\ge d\ge 0\) 意味着 \(a+c\ge b\ge 0\)，因此 \((a+c)^{2}\ge b^{2}\ge b^{2}+d^{2}\)。
因此
\[f(a,b,c,d)\ge f(\sqrt{ac},\,b,\,\sqrt{ac},\,d)。\]根据\(uvw\)型（平滑）原理，在\(a=b=c=t\ge d\)的情况下，足以证明\(f(a,b,c,d)\ge 0\)。
我们有
\[\开始{对齐} f(t,t,t,d)\ge 0 &\Leftrightarrow 3t^{4}+d^{4}+2t^{3}d \ge 3t^{4}+3t^{2}d^{2} \\ &\Leftrightarrow d^{4}+2t^{3}d \ge 3t^{2}d^{2}。 \结束{对齐}\]如果 \(d=0\) 不平等是显而易见的。对于 \(d>0\)，除以 \(d^{2}\) 得到
\[d^{2}+2t^{3}\cdot\frac{1}{d}\ge 3t^{2}。\]现在将 \(AM\ge GM\) 应用于三个正数 \(d^{2}\)、\(t^{3}/d\)、\(t^{3}/d\)：
\[d^{2}+\frac{t^{3}}{d}+\frac{t^{3}}{d}\ge 3\sqrt[3]{d^{2}\cdot\frac{t^{3}}{d}\cdot\frac{t^{3}}{d}}=3t^{2},\]这证明了\(f(t,t,t,d)\ge 0\)。
当 \(a=b=c=d\) 或 \(d=0\) 和 \(a=b=c\)（直到排列）时，发生相等。
因此，尖锐常数为\(C=2\)。
P336。设$P、L、R$分别表示$\三角形ABC$的面积、周长和外接半径。找到最小常数 $C$，使得以下不等式适用于所有三角形 $\triangle ABC$：
\[\frac{L P}{R^3} \leq C.\]S336。 $C = \frac{27}{4}$
我们有
\[\frac{LP}{R^{3}} =\frac{(a+b+c)abc}{4R^{4}}。\]使用 \(a=2R\sin\alpha\)、\(b=2R\sin\beta\)、\(c=2R\sin\gamma\)，我们得到
\[a+b+c=2R(\sin\alpha+\sin\beta+\sin\gamma)\]和
\[abc=8R^{3}\sin\alpha\sin\beta\sin\gamma。\]因此
\[\frac{LP}{R^{3}} =\frac{2R(\sin\alpha+\sin\beta+\sin\gamma)\cdot 8R^{3}\sin\alpha\sin\beta\sin\gamma}{4R^{4}} =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}。\]因此
\[\sin\alpha+\sin\beta+\sin\gamma \le \frac{3\sqrt{3}}{2}。\]最后由(2)我们得到
\[\frac{LP}{R^{3}} \le \frac{4}{27}\left(\frac{3\sqrt{3}}{2}\right)^{4} =\frac{4}{27}\cdot\frac{729}{16} =\frac{27}{4}。\]当 \(\alpha=\beta=\gamma=\frac{\pi}{3}\) 时，相等成立，即 \(a=b=c\) 并且三角形是等边三角形。因此尖锐常数为
\[C=\frac{27}{4}。\]P337。令 $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\]S337。 $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+zy+tz}。 \结束{对齐}\]因此只需证明
\[\frac{(x+y+z+t)^{2}}{2xz+2yt+xt+xy+zy+tz}\ge 2,\]这相当于
\[(x+y+z+t)^{2}\ge 4xz+4yt+2xt+2xy+2zy+2tz。\]扩展和简化给出
\[(x-z)^{2}+(y-t)^{2}\ge 0,\]这是真的。
当 \(x=z\) 和 \(y=t\) 时相等，对应于
\[a=\frac{x}{y}=\frac{z}{t}=c \quad\text{和}\quad b=\frac{t}{x}=\frac{y}{z}=d。\]因此左侧的最小值是\(2\)，因此尖锐常数是\(C=2\)。
因此，答案是\(C=2\)。
P338。令 $x, y, z$ 为实数。找到最大常数 $C$，使得以下不等式对于所有 $x, y, z \in \mathbb{R}$ 成立：
\[x^{4}+y^{4}+z^{4} \geq 4 x y z + C\]S338。 $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) \\ &=(x^{2}-1)^{2}+(y^{2}-z^{2})^{2}+2(yz-x)^{2} \\ &\ge 0。 \结束{对齐}\]所以由此可见
\[x^{4}+y^{4}+z^{4}\ge 4xyz-1。\]等式成立时
\[x^{2}=1,\quad y^{2}=z^{2},\quad yz=x,\]给出 \(x=1\) 和 \(y=z=1\) 或 \(x=-1\) 和 \(y=z=-1\)。特别是，采用 \(x=y=z=1\) 会产生相等：
\[1+1+1=4\cdot 1\cdot 1\cdot 1-1。\]因此锐常数是
\[C=-1。\]因此，答案是\(C=-1\)。
P339。令$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\]S339。 $C = \frac{15}{4}$
由于 \(a,b,c>0\) 且 \(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})}。\]使用 \(a^{2}+b^{2}+c^{2}\ge \frac{1}{3}\) 给出
\[\frac{1}{1-a^{2}}+\frac{1}{1-b^{2}}+\frac{1}{1-c^{2}} \ge \frac{9}{3-\frac{1}{3}}=\frac{27}{8}。 \qquad (3)\]最后由(2)和(3)我们得到
\[A\ge \frac{10}{9}\cdot\frac{27}{8}=\frac{15}{4}。\]当 \(a=b=c=\frac{1}{3}\) 时，相等成立。确实如此，那么
\(A=3\cdot\frac{1+\left(\frac{1}{3}\right)^{2}}{1-\left(\frac{1}{3}\right)^{2}} =3\cdot\frac{\frac{10}{9}}{\frac{8}{9}} =3\cdot\frac{5}{4} =\frac{15}{4}。\)因此，尖锐常数为
\[C=\frac{15}{4}。\]P340。设$a,b,c \in \mathbb{R}^{+}$。确定最小常数 $C$，使得以下不等式适用于所有 $a、b、c$：
\[\frac{abc}{(1+a)(a+b)(b+c)(c+16)} \leq C.\]S340。 $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 \left(3\sqrt[3]{1\cdot\frac{a}{2}\cdot\frac{a}{2}}\right) \left(3\sqrt[3]{a\cdot\frac{b}{2}\cdot\frac{b}{2}}\right) \left(3\sqrt[3]{b\cdot\frac{c}{2}\cdot\frac{c}{2}}\right) \left(3\sqrt[3]{c\cdot 8\cdot 8}\right) \\ &= 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]{64c} \\ &=81\sqrt[3]{\frac{a^{3}b^{3}c^{3}}{64}\cdot 64} =81\sqrt[3]{a^{3}b^{3}c^{3}} =81abc。 \结束{对齐}\]因此
\[\frac{abc}{(1+a)(a+b)(b+c)(c+16)}\le \frac{1}{81}。\]等式成立时
\[1=\frac{a}{2},\quad a=\frac{b}{2},\quad b=\frac{c}{2},\quad c=8,\]这给出了
\[a=2，\quad b=4，\quad c=8。\]确实如此，那么
\[\frac{abc}{(1+a)(a+b)(b+c)(c+16)} =\frac{2\cdot 4\cdot 8}{(1+2)(2+4)(4+8)(8+16)} =\frac{64}{3\cdot 6\cdot 12\cdot 24} =\frac{1}{81}。\]因此，尖锐常数为
\[C=\frac{1}{81}。\]P341。令 (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\]S341。 $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(4b\sqrt{c}-c\sqrt{a})\cdot\frac{\sqrt{a}}{a},\]即
\[b(a+b+c)\ge 4b\sqrt{ac}-ac。\]这可以重写为
\[ab+b^{2}+bc+ac \ge 4b\sqrt{ac},\]或
\[(a+b)(b+c)\ge 4b\sqrt{ac},\]\(AM\ge GM\) 的说法是正确的：
\[a+b\ge 2\sqrt{ab},\quad b+c\ge 2\sqrt{bc} \quad\右箭头\quad (a+b)(b+c)\ge 4b\sqrt{ac}。\]同样我们推断出
\[\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）相加，我们得到
\[\frac{b\sqrt{a}}{4b\sqrt{c}-c\sqrt{a}} +\frac{c\sqrt{b}}{4c\sqrt{a}-a\sqrt{b}} +\frac{a\sqrt{c}}{4a\sqrt{b}-b\sqrt{c}} \ge \frac{a+b+c}{a+b+c}=1。\]平等要求每个 \(AM\ge GM\) 步骤都平等，因此
\[a=b=c。\]对于 \(a=b=c=t\in(1,2)\)，每个分母是
\[4t\sqrt{t}-t\sqrt{t}=3t\sqrt{t},\]所以每一项都等于
\[\frac{t\sqrt{t}}{3t\sqrt{t}}=\frac{1}{3},\]总和是 \(1\)。
因此，尖锐常数为
\[C=1。\]P342。令 $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\]S342。 $C = \frac{3}{2}$
不失一般性，我们可以假设\(a\ge b\ge c\)。 让
\[x=\frac{1}{a},\quad y=\frac{1}{b},\quad 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\右箭头\quad \frac{1}{y+z}\le \frac{1}{z+x}\le \frac{1}{x+y},\]还有
\[x^{2}\le y^{2}\le z^{2}。\]因此，通过重排不等式，
\[\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y} \ge \frac{x^{2}}{x+y}+\frac{y^{2}}{z+x}+\frac{z^{2}}{y+z}。\]现在逐项应用 \(AM\ge GM\)：
\[\frac{x^{2}}{x+y}\ge \frac{x^{2}}{2x}=\frac{x}{2},\quad \frac{y^{2}}{x+z}\ge \frac{y^{2}}{2y}=\frac{y}{2},\quad \frac{z^{2}}{y+z}\ge \frac{z^{2}}{2z}=\frac{z}{2}。\]添加这些给出
\[\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y} \ge \frac{x+y+z}{2}。\]因此，
\[2\left(\frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)}\right) =2\left(\frac{x^{2}}{y+z}+\frac{y^{2}}{z+x}+\frac{z^{2}}{x+y}\right) \ge x+y+z。\]最后，由\(AM\ge GM\)，
\[x+y+z\ge 3\sqrt[3]{xyz}=3,\]所以
\[\frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)}\ge \frac{3}{2},\]根据需要。
当 \(x=y=z=1\) 时，相等成立，即 \(a=b=c=1\)。在这种情况下，
\[\frac{1}{a^{3}(b+c)}+\frac{1}{b^{3}(c+a)}+\frac{1}{c^{3}(a+b)} =3\cdot\frac{1}{1^{3}(1+1)}=\frac{3}{2},\]所以界限是尖锐的，尖锐常数是
\[C=\frac{3}{2}。\]因此，答案是\(C=\frac{3}{2}\)。
P343。找到最小常数 $C$，使得对于所有实数 $x$，以下不等式成立：
\[2 x^{4} + C \geq 2 x^{3} + x^{2}\]S343。 $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)\left(x(1-x^{2})+1-x^{3}\right) \\ &=(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=1。\]因此，答案是\(C=1\)。
P344。令 $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.\]S344。 $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)}。 \结束{对齐} \qquad (2)\]自从
\[(a+b+c)^{2}\ge 3(ab+bc+ca),\]我们推断
\[ab+bc+ca\le \frac{(a+b+c)^{2}}{3}。 \qquad (3)\]由(2)和(3)我们得到
\(\开始{对齐} \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}。 \结束{对齐} \qquad (4)\)最后通过 (1), (4)，由于 \(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\) 时，相等成立，因为那时每一项都等于
\[\frac{1^{3}+2}{1+2}=1,\]所以总和是\(3\)。因此最小值为 \(3\)，锐常数为
\[C=3。\]因此，答案是\(C=3\)。
P345。令$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}。\]S345。 $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{s\left(3s-(a+b+c)\right)}{2P} =\frac{s(3s-2s)}{2P} =\frac{s^{2}}{2P}。 \结束{对齐}\]由于\(P=rs\)，我们得到
\[\frac{s^{2}}{2P}=\frac{s^{2}}{2rs}=\frac{s}{2r}。\]因此
\[\frac{l_{\alpha}}{a}+\frac{l_{\beta}}{b}+\frac{l_{\gamma}}{c}\le \frac{s}{2r}。\]当且仅当三角形是等边时才会相等，因为 (1) 中的相等要求 \(a=b=c\) ，然后 (2) 也是相等的。因此尖锐常数为
\[C=\frac{1}{2}。\]P346。令 $a, b, c$ 为给定三角形的边长。找到最小常数 $C$，使得以下不等式对于满足三角不等式的所有 $a、b、c$ 成立：
\[a^{2}+b^{2}+c^{2} < C(a b+b c+c a)\]S346。 $C = 2$
令\(a=x+y\)、\(b=y+z\)、\(c=z+x\)，其中\(x,y,z>0\)。 然后
\[a^{2}+b^{2}+c^{2} =(x+y)^{2}+(y+z)^{2}+(z+x)^{2}。\]另外，
\[ab+bc+ca =(x+y)(y+z)+(y+z)(z+x)+(z+x)(x+y)。\]我们有
\[\开始{对齐} 2(ab+bc+ca)-(a^{2}+b^{2}+c^{2}) &=2\Big((x+y)(y+z)+(y+z)(z+x)+(z+x)(x+y)\Big) \\ &\quad-\Big((x+y)^{2}+(y+z)^{2}+(z+x)^{2}\Big) \\ &=2(xy+yz+zx)。 \结束{对齐}\]由于 \(x,y,z>0\)，因此 \(xy+yz+zx>0\)，因此
\[a^{2}+b^{2}+c^{2}<2(ab+bc+ca)。\]因此锐常数是\(C=2\)。 \(x,y,z>0\) 无法达到相等，但当三角形退化时，例如当\(x,y,z\)之一趋于\(0^{+}\)时。
因此，答案是\(C=2\)。
P347。令 $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\]S347。 $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 3\sqrt[3]{\frac{2(ab+bc+ca)}{3}} =\sqrt[3]{18(ab+bc+ca)}。 \qquad (1)\]自从
\[ab+bc+ca\le \frac{(a+b+c)^{2}}{3}=\frac{6^{2}}{3}=12,\]由(1)我们得到\(\sqrt[3]{ab+bc}+\sqrt[3]{bc+ca}+\sqrt[3]{ca+ab} \le\sqrt[3]{18\cdot 12} =\sqrt[3]{216} =6。\)
当 \(a=b=c=2\) 时，相等成立，从那时起 \(a+b+c=6\) 并且
\[\sqrt[3]{ab+bc}+\sqrt[3]{bc+ca}+\sqrt[3]{ca+ab} =3\sqrt[3]{4+4} =3\sqrt[3]{8} =6。\]因此，尖锐常数为
\[C=6。\]P348。设 $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\]S348。 $C = 1998(n-1)$
设置后
\[\frac{1998}{x_{i}+1998}=a_{i}\]对于 \(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}。 \qquad (1)\]我们有
\[\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}}。\]由 \(AM\ge GM\) 应用于 \(n-1\) 数字
\[a_{1},\ldots,a_{i-1},a_{i+1},\ldots,a_{n},\]我们得到
\[a_{1}+\cdots+a_{i-1}+a_{i+1}+\cdots+a_{n} \ge (n-1)\sqrt[n-1]{a_{1}\cdots a_{i-1}a_{i+1}\cdots a_{n}}。\]因此
\[\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}}}。\]但是
\[\prod_{i=1}^{n}\left(a_{1}\cdots a_{i-1}a_{i+1}\cdots a_{n}\right) =(a_{1}a_{2}\cdots a_{n})^{n-1},\]所以根式就变成了
\[\sqrt[n-1]{\frac{(a_{1}a_{2}\cdots a_{n})^{n-1}}{(a_{1}a_{2}\cdots a_{n})^{n-1}}}=1。\]因此，
\[\prod_{i=1}^{n}\left(\frac{1}{a_{i}}-1\right)\ge (n-1)^{n},\]这正是 (1)。
当 \(a_{1}=a_{2}=\cdots=a_{n}=\frac{1}{n}\) 时，相等成立。然后
\[\frac{1998}{x_{i}+1998}=\frac{1}{n} \quad\右箭头\quad x_{i}=1998(n-1)\]对于所有\(i\)。因此
\[\sqrt[n]{x_{1}x_{2}\cdots x_{n}}=1998(n-1),\]这是最小值。
因此，尖锐常数为
\[C=1998(n-1)。\]P349。令 $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\]S349。 $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。 \结束{对齐}\]同样，
\[\frac{1}{(1+c)^{2}}+\frac{1}{(1+d)^{2}}-\frac{1}{1+cd} =\frac{cd(c-d)^{2}+(cd-1)^{2}}{(1+c)^{2}(1+d)^{2}(1+cd)}\ge 0。\]将两个不等式相加得出
\[\frac{1}{(1+a)^{2}}+\frac{1}{(1+b)^{2}}+\frac{1}{(1+c)^{2}}+\frac{1}{(1+d)^{2}} \ge \frac{1}{1+ab}+\frac{1}{1+cd}。\]如果另外 \(abcd=1\)，则 \(cd=\frac{1}{ab}\) 并且
\[\frac{1}{1+ab}+\frac{1}{1+cd} =\frac{1}{1+ab}+\frac{1}{1+\frac{1}{ab}} =\frac{1}{1+ab}+\frac{ab}{1+ab} =1。\]因此
\(\frac{1}{(1+a)^{2}}+\frac{1}{(1+b)^{2}}+\frac{1}{(1+c)^{2}}+\frac{1}{(1+d)^{2}} \ge 1.\)当 \(a=b=c=d=1\) 时，等式成立，满足 \(abcd=1\)，则每一项等于 \(\frac{1}{4}\)，因此总和为 \(1\)。因此尖锐常数为
\[C=1。\]P350。令 $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\]S350。 $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。\]我们有 \(\frac{3-x}{1-x}=\frac{(1-x)+2}{1-x}=1+\frac{2}{1-x},\)
所以
\[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。\]让
\[a=\frac{1}{1-x},\quad b=\frac{1}{1-y},\quad c=\frac{1}{1-z}。\]然后
\[A=(1+2a)^{2}+(1+2b)^{2}+(1+2c)^{2}-7，\]即
\[A=4a^{2}+4b^{2}+4c^{2}+4a+4b+4c-4。 \qquad (1)\]此外，条件\(xyz=1\) 等价于
\[(1-x)(1-y)(1-z)=1-x-y-z+xy+yz+zx-xyz,\]并使用 \(xyz=1\) 这变成
\[(1-x)(1-y)(1-z)=xy+yz+zx-(x+y+z)。\]就 \(a,b,c\) 而言，由于 \(1-x=\frac{1}{a}\) 等，我们有
\[\frac{1}{abc}= \left(1-\frac{1}{a}\right)\left(1-\frac{1}{b}\right)\left(1-\frac{1}{c}\right),\]这简化为
\[ab+bc+ca=a+b+c-1。 \qquad (2)\]使用（1）和（2）我们得到
\[\开始{对齐} 一个 &=4(a^{2}+b^{2}+c^{2})+4(a+b+c-1) \\ &=4(a^{2}+b^{2}+c^{2})+4(ab+bc+ca) \\ &=4(a^{2}+b^{2}+c^{2}+ab+bc+ca) \\ &=2\左((a+b)^{2}+(b+c)^{2}+(c+a)^{2}\右) \ge 0。 \结束{对齐}\]等式成立当且仅当
\[a+b=0,\quad b+c=0,\quad c+a=0,\]这意味着 \(a=b=c=0\) 不可能，因为 \(a=\frac{1}{1-x}\)、\(b=\frac{1}{1-y}\)、\(c=\frac{1}{1-z}\) 已定义且非零。
因此，
\[A>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}>7。\]此外，边界 \(7\) 是尖锐的：将 \(x=y=t\) 和 \(z=\frac{1}{t^{2}}\) 与 \(t\to 0^{+}\) 给出 \(a\to 1\)、\(b\to 1\)、\(c\to 0\)，因此
\[A=2\left((a+b)^{2}+(b+c)^{2}+(c+a)^{2}\right)\to 0,\]所以左边接近\(7\)。
因此锐常数是
\[C=7。\]输入：2025.12.08 15:51