不等式证明问题 [201-250]
推荐发帖：【代数】【代数索引】(https://jb243.github.io/pages/669)
重构了 IneqMath 训练数据。
P201。令$a, b, c \in \mathbb{R}^{+}$ 使得$ab + bc + ca = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[\frac{1}{a(a+b)}+\frac{1}{b(b+c)}+\frac{1}{c(c+a)} \geq C\]S201。 $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{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)\\ &\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}} +\frac{3}{4}\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+3\right)\\ &=6\sqrt[6]{\frac{1}{64}}+\frac{3}{4}\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+3\right)\\ &=3+\frac{3}{4}\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}+3\right)\\ &\ge 3+\frac{3}{4}\left(3\sqrt[3]{\frac{a}{b}\cdot\frac{b}{c}\cdot\frac{c}{a}}+3\right) =3+\frac{3}{4}(3+3)=\frac{15}{2}, \结束{对齐}\]根据需要。
当 $(a=b=c=\frac{1}{\sqrt{3}})$ 时，等式成立，因为 $(ab+bc+ca=3\left(\frac{1}{\sqrt{3}}\right)^{2}=1)$，并且以上所有步骤都变为等式。 因此，最大常数为$(C=\frac{9}{2})$。
P202。设$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}}\]S202。 $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=3)$。
P203。令 $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.\]S203。 $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)$。
P204。设$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}\]S204。 $C = \frac{1}{7}$
我们有
\[\开始{对齐} (a+b+c)^{3} &=a^{3}+b^{3}+c^{3}+3\big(a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b)\big)+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}。\]P205。令 $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)}。\]S205。 $C = 1$
我们将证明对于每个 $(x,y\in\mathbb{R}^+)$ 我们有
\[\sqrt{x-1}+\sqrt{y-1}\le\sqrt{xy}。\]将柯西-施瓦茨不等式应用于 $((\sqrt{x-1},\,1)) 和 ((1,\,\sqrt{y-1}))$ 给出
\[(\sqrt{x-1}+\sqrt{y-1})^{2} \le \big((x-1)+1\big)\big(1+(y-1)\big) =xy,\]因此
\[\sqrt{x-1}+\sqrt{y-1}\le\sqrt{xy}。\]现在我们推断
\[\sqrt{a-1}+\sqrt{b-1}\le \sqrt{ab}, \qquad \sqrt{c-1}+\sqrt{d-1}\le \sqrt{cd},\]因此
\[\sqrt{a-1}+\sqrt{b-1}+\sqrt{c-1}+\sqrt{d-1} \le\sqrt{ab}+\sqrt{cd}。\]此外，对 $(x=ab+1)$ 和 $(y=cd+1)$ 应用相同的不等式会产生
\[\sqrt{ab}+\sqrt{cd} =\sqrt{(ab+1)-1}+\sqrt{(cd+1)-1} \le \sqrt{(ab+1)(cd+1)}。\]结合这些，我们得到
\[\sqrt{a-1}+\sqrt{b-1}+\sqrt{c-1}+\sqrt{d-1} \le \sqrt{(ab+1)(cd+1)}。\]当 $(a=b=c=d=1)$ 时相等，此时两边都是 $(0)$。 因此，尖锐常数为$(C=1)$。
P206。令 $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)。\]S206。 $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_1x_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_1x_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})$ 时，等式成立，从那时起所有项都相等，上面使用的不等式就变成等式。 因此，答案是$(C=1)$。
P207。令 $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\]S207。 $C = 2$
令$(p=a+b+c=1)$、$(q=ab+bc+ca)$、$(r=abc)$。
给定的不等式等价于
\[1-2q \le 2(1-3q+3r)+3r \quad\Longleftrightarrow\quad 4q \le 1+9r。\]对于 $((a,b,c)=(1,0,0))$ 及其排列，我们有 $(q=0)$ 和 $(r=0)$，因此不等式变为
\[0 \le 1,\]这是满意的。
因此，答案是$(C=2)$。
P208。令 $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\]S208。 $C = 10$
由 $(f(x)=\sqrt{x})$ 定义的函数 $(f:(0,+\infty)\to(0,+\infty))$ 在 $((0,+\infty))$ 上是凹的，因此根据 Jensen 不等式，对于
\[n=4,\qquad \alpha_1=\frac{1}{10},\ \alpha_2=\frac{2}{10},\ \alpha_3=\frac{3}{10},\ \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}}。\]即
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d} \le 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)和最后一个不等式我们得到了所需的结果。
当 $(a=1)、(b=4)、(c=9)、(d=16)$ 时，相等成立，因为这些值满足相等和产量的所有约束
\[\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d}=1+2+3+4=10。\]因此，答案是$(C=10)$。
P209。证明如果 $n \geq 2$ 和 $a_{1}, a_{2}, \ldots, a_{n}$ 是乘积为 1 的实数，则找到最大常数 $C$，使得以下不等式对于所有 $a_{1}, a_{2}, \ldots, a_{n}$ 成立：
\[a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}-n \geq C \cdot\frac{n}{n-1} \cdot \sqrt[n]{n-1}\left(a_{1}+a_{2}+\cdots+a_{n}-n\right)\]S209。 $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}\,(a_1+a_2+\cdots+a_n-n)\\ &\ge a_n^{2}+(n-1)G^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\,(a_n+(n-1)G-n)。 \结束{对齐}\]这相当于\(a_1^{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+\cdots+a_{n-1}-(n-1)\sqrt[n-1]{a_1a_2\cdots a_{n-1}}\right)。\)
因为 $(\sqrt[n-1]{a_1a_2\cdots a_{n-1}}\le 1)$ 和
\[a_1+\cdots+a_{n-1}-(n-1)\sqrt[n-1]{a_1a_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}\,G\,(a_1+\cdots+a_{n-1}-(n-1)G)。\]现在我们将归纳假设应用于具有乘积 $(1)$ 的数字 $(\frac{a_1}{G},\ldots,\frac{a_{n-1}}{G})$，并推断
\[\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}\,(a_1+\cdots+a_{n-1}-(n-1)G) \ge \frac{2n}{n-1}\sqrt[n]{n-1}\,(a_1+\cdots+a_{n-1}-(n-1)G),\]这与以下相同
\[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}\,(a_1+a_2+\cdots+a_n-n)\\ &\ge a_n^{2}+(n-1)G^{2}-n-\frac{2n}{n-1}\sqrt[n]{n-1}\,(a_n+(n-1)G-n)。 \结束{对齐}\]现在就足以证明
\[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)$ 时，相等成立。 因此，答案是$(C=2)$。
P210。设$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)\]S210-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} \ge \frac{(a+b+c)^{2}}{a+b+c} = a+b+c。\]当 $(a=b=c)$ 时，相等成立。因此，最大常数为$(C=1)$。
S210-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}。\]当 $(a=b=c)$ 时，相等成立。因此，最大常数为$(C=1)$。
P211。令 $a, b, c$ 为正实数，使得 $a b c \geq 1$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
S211。 $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)\左(1-\frac{1}{1+c}\右) +(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 \qquad (abc\ge 1)。 \结束{对齐}\]当 $(a=b=c=1)$ 时，相等成立。 因此，最大常数为$(C=1)$。
P212。设 $h_{a}、h_{b}$ 和 $h_{c}$ 为高度的长度，$R$ 和 $r$ 分别为给定三角形的外接圆半径和内半径。确定最小常数 $C$，使得以下不等式适用于所有三角形：
\[h_{a}+h_{b}+h_{c} \leq 2R+Cr。\]S212。 $C = 5$
引理 21.4 在任意三角形中，我们有
\[ab+bc+ca = r^{2}+s^{2}+4rR \quad \text{和} \quad a^{2}+b^{2}+c^{2}=2\bigl(s^{2}-4Rr-r^{2}\bigr)。\]证明。 我们有
\[\开始{对齐} 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 \\ &= \frac12\left(2r^{2}+8rR+\frac{(a+b+c)^{2}}{2}\right) \\ &= \frac12\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\bigl(s^{2}-4Rr-r^{2}\bigr) \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\bigl(s^{2}-4Rr-r^{2}\bigr) \\ &\le 2\bigl(4R^{2}+4Rr+3r^{2}-4Rr-r^{2}\bigr) \\ &= 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(\frac1a+\frac1b+\frac1c\right) \\ &= 4PR\cdot \frac{ab+bc+ca}{abc} = ab+bc+ca \\ &\stackrel{(2)}{=} 2r^{2}+8rR+\frac{a^{2}+b^{2}+c^{2}}{2} \\ &\stackrel{(5)}{\le} 2r^{2}+8rR+\frac{8R^{2}+4r^{2}}{2} \\ &= 4R^{2}+8Rr+4r^{2}。 \结束{对齐}\]因此
\[R(h_a+h_b+h_c) \le 2R^{2}+4Rr+2r^{2}。\]由于 $(r\le \frac{R}{2})$，我们有 $(2r^{2}\le Rr)$，因此
\[R(h_a+h_b+h_c)\le 2R^{2}+5Rr = R(2R+5r),\]所以
\[h_a+h_b+h_c \le 2R+5r。\]相等发生当且仅当 $(a=b=c)$。 因此，答案是$(C=5)$。
P213。令 $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\]S213。 $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.\]我们有
\[\开始{对齐} &\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\Bigl((a^{2}+b)(b+c)+(b^{2}+c)(c+a)+(c^{2}+a)(a+b)\Bigr) \\ \长左右箭头\;& 1+(a^{2}+b^{2}+c^{2})^{2} \ge 2\bigl(a^{2}(b+c)+b^{2}(c+a)+c^{2}(a+b)\bigr) +2(ab+bc+ca) \\ \长左右箭头\;& 1+(a^{2}+b^{2}+c^{2})^{2} \ge 2\bigl(a^{2}(1-a)+b^{2}(1-b)+c^{2}(1-c)\bigr) +2(ab+bc+ca) \\ \长左右箭头\;& 1+(a^{2}+b^{2}+c^{2})^{2} \ge 2(a^{2}+b^{2}+c^{2}-a^{3}-b^{3}-c^{3}) +2(ab+bc+ca) \\ \长左右箭头\;& (a^{2}+b^{2}+c^{2})^{2}+2(a^{3}+b^{3}+c^{3}) \ge 2(a^{2}+b^{2}+c^{2}+ab+bc+ca)-1。 \结束{对齐}\]由于 $(a+b+c=1)$，我们有
\[a^{2}+b^{2}+c^{2}+ab+bc+ca=(a+b+c)^{2}-(ab+bc+ca)=1-(ab+bc+ca),\]因此之前的不等式变为
\[(a^{2}+b^{2}+c^{2})^{2}+2(a^{3}+b^{3}+c^{3}) \ge 1-2(ab+bc+ca) = (a+b+c)^{2}-2(ab+bc+ca) =a^{2}+b^{2}+c^{2}。\]所以我们需要证明
\[(a^{2}+b^{2}+c^{2})^{2}+2(a^{3}+b^{3}+c^{3}) \ge a^{2}+b^{2}+c^{2} \qquad (1)\]由切比雪夫不等式我们推出
\[(a+b+c)(a^{2}+b^{2}+c^{2}) \le 3(a^{3}+b^{3}+c^{3}),\]即
\[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}。\]将这些不等式相加得出 (1)。
当 $(a=b=c=\tfrac13)$ 时相等，从那时起 $(a+b+c=1)$ 并且表达式的计算结果为 $(2)$。 因此，答案是$(C=2)$。
P214。令 $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\]S214。 $C = \sqrt[3]{3}$
假设我们对所有 $(i)$ 有 $(a_{i+1}^{1/a_i} > 3^{1/3})$。 首先，我们将证明对于所有自然数$(n)$，$(n^{1/n}\le 3^{1/3})$。 对于 $(n=1,2,3,4)$ 来说很清楚。 假设对于某些 $(n\ge 4)$ 不等式成立，让我们针对 $(n+1)$ 证明它。
这是从以下事实得出的：
\[1+\frac{1}{n} \le 1+\frac{1}{4} < \sqrt[3]{3}。\]因此
\[\sqrt[3]{3}\cdot n \le \sqrt[3]{3}\cdot 3^{n/3} = 3^{(n+1)/3}。\]由于 $(\sqrt[3]{3} > 1+\frac1n)$，我们得到
\[3^{(n+1)/3} \ge \left(1+\frac{1}{n}\right)n = n+1,\]这意味着
\[(n+1)^{1/(n+1)} \le 3^{1/3}。\]因此，利用这一观察，我们发现
\[a_{i+1}^{1/a_i} > 3^{1/3} \ge a_{i+1}^{1/a_{i+1}} \quad\Longrightarrow\quad \frac{1}{a_i} > \frac{1}{a_{i+1}} \quad\Longrightarrow\quad a_{i+1} > a_i\]对于所有$(i)$。 因此$(a_1<a_2<\cdots<a_n)$，与循环条件$(a_{n+1}=a_1)$矛盾。 因此不存在这样的序列。
因此，答案是$(C=\sqrt[3]{3})$。
P215。令 $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.\]S215。 $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\Longrightarrow\quad \left(\frac{a+b}{2}\right)^{2}\ge ab \quad\Longrightarrow\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},\qquad \frac{c^{2}+d^{2}+3}{c+d} \ge 3-\frac{c+d}{4},\qquad \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)$ 时，相等才会发生。 因此，答案是$(C=10)$。
P216。令 $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\]S216。 $C = 25$
不失一般性，我们可以假设 $(a \ge b \ge c \ge d \ge e)$。 让我们表示
\[f(a,b,c,d,e)=4\left(a^{2}+b^{2}+c^{2}+d^{2}+e^{2}\right)+5abcde。\]那么我们很容易推断出
\[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)$，我们有
\[3\sqrt[3]{bce}\le b+c+e \le \frac{3(a+b+c+d+e)}{5}=3。\]因此可以得出$(bce \le 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\left(4t^{2}+e^{2}\right)+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}\left(t^{2}+2t+3\right)\ge 0, \结束{对齐}\]这是真的。
当且仅当 $(a=b=c=d=e=1)$ 或 $(a=b=c=d=\frac54,\ e=0)$（直到排列）。 因此，答案是$(C=25)$。
P217。设$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}\]S217。 $C = \frac{1}{3}$
通过加权 AM-GM 不平等，我们有
\[\开始{对齐} \left(a^{b} b^{c} c^{a}\right)^{\frac{1}{a+b+c}} &= a^{\frac{b}{a+b+c}}\, b^{\frac{c}{a+b+c}}\, c^{\frac{a}{a+b+c}} \\ &\le \frac{b}{a+b+c}\,a+\frac{c}{a+b+c}\,b+\frac{a}{a+b+c}\,c \\ &= \frac{ab+bc+ca}{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}, \qquad (C(a+b+c))^{a+b+c} = (3Ca)^{3a}。\]因此\(a^{3a} \le (3Ca)^{3a} \quad\Longrightarrow\quad 1 \le (3C)^{3a} \quad\Longrightarrow\quad C \ge \frac{1}{3}。\)
因此 $(C)$ 的最小值为 $(\frac{1}{3})$，答案为
\[C=\frac{1}{3}。\]P218。令 $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\]并保证三角形是等边的。
S218。 $C = 3$
我们表明
\[a^{2}b+b^{2}c+c^{2}a+3abc \ge 2\bigl(ab^{2}+bc^{2}+ca^{2}\bigr),\]相等当且仅当 $(a=b=c)$ （即三角形是等边的）。
使用拉维的替换 $(a=x+y)、(b=y+z)、(c=z+x)$。那么不等式就变成了
\[x^{3}+y^{3}+z^{3}+x^{2}y+y^{2}z+z^{2}x \ge 2\bigl(x^{2}z+y^{2}x+z^{2}y\bigr)。\]由于$(AM\ge GM)$，我们有
\[x^{3}+xz^{2} \ge 2x^{2}z,\qquad y^{3}+yx^{2} \ge 2y^{2}x,\qquad z^{3}+zy^{2} \ge 2z^{2}y。\]添加这些不等式会产生
\[x^{3}+y^{3}+z^{3}+x^{2}y+y^{2}z+z^{2}x \ge 2\bigl(x^{2}z+y^{2}x+z^{2}y\bigr)。\]等式成立当且仅当 $(x=y=z)$ 时成立，这意味着 $(a=b=c)$。
P219。令$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\]S219。 $C = \frac{3}{4}$
显然 $(\lvert EF\rvert = a\cos\alpha)$、$(\lvert FD\rvert = b\cos\beta)$ 和 $(\lvert DE\rvert = 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(\tfrac12\right)^{2}=\tfrac14)$，和为$(3\cdot\tfrac14=\tfrac34)$。 因此，最佳常数为
\[C=\frac{3}{4}。\]P220。令 $a, b, c > 0$ 使得 $abc = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[(a+b)(b+c)(c+a) \geq C(a+b+c-1)\]S220。 $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)\]（使用$(abc=1)$）。
当 $(a=b=c=1)$ 时，相等成立。 因此，答案是$(C=4)$。
P221。设$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)}\]S221。 $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) &= \frac{\frac1{bc}}{\frac1{ac}+\frac1{ab}}(ab+bc) = ab\,\frac{a+c}{b+c}, \\ \frac{y}{z+x}(C+A) &= \frac{\frac1{ac}}{\frac1{ab}+\frac1{bc}}(bc+ac) = bc\,\frac{b+a}{c+a}, \\ \frac{z}{x+y}(A+B) &= \frac{\frac1{ab}}{\frac1{bc}+\frac1{ac}}(ac+ab) = 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} &= \frac{x}{y+z}(B+C)+\frac{y}{z+x}(C+A)+\frac{z}{x+y}(A+B) \\ &\ge \sqrt{3(AB+BC+CA)} \\ &= \sqrt{3\cdot (ab\cdot ac+ab\cdot bc+ac\cdot bc)} \\ &= \sqrt{3abc(a+b+c)}。 \结束{对齐}\)
当 $(a=b=c)$ 时，相等成立。 因此，答案是$(C=\sqrt{3})$。
P222。令$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.\]S222。 $C = \sqrt{3}$
让我们表示 $(u=a^{2}+b^{2})、(v=x^{2}+y^{2}) 和 (w=ax+by)$。 假设
\[ay-bx=1。\]然后
\[\开始{对齐} 紫外线 &=(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} = (\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}。\]当 $(u=v)$ 且等式在 (1) 中与 $(t=w)$ 成立时相等，即当
\[u=v,\quad w=-\frac{1}{\sqrt{3}},\quad ay-bx=1。\]因此，答案是$(C=\sqrt{3})$。
P223。设$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}$。
S223。 $C = 4$
当然，如果$(z)$是$(x,y,z)$中最大的，则$(z\ge \frac12)$。我们看到了
\[\开始{对齐} \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 \frac12)$ （肯定至少有一个这样的数字）。
当 $(x=y=z=\frac12)$ 时，相等成立。 因此，答案是$(C=4)$。
P224。令 $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\]S224。 $C = 6$
设$(a=xy,\b=yz,\c=zx)。那么(xy+yz+zx=1)$，我们可以取
\[x=\tan\frac{\alpha}{2},\qquad y=\tan\frac{\beta}{2},\qquad 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)\,x(y+z)}{xy^{2}z}} \\ &=\sqrt{\frac{(x+y)(y+z)}{y^{2}}}。 \结束{对齐}\]由于 $(x=\tan\frac{\alpha}{2})、(y=\tan\frac{\beta}{2})、(z=\tan\frac{\gamma}{2})$ 和 $(\alpha+\beta+\gamma=\pi),$ 我们有
\[(x+y)(y+z)=\bigl(1+y^{2}\bigr),\]因此
\[\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}}, \qquad \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)$。
P225。令 $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}\]S225。 $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 \bigl(d^{2}+3m^{2}+2\bigr)-\bigl(3m^{2}+3md\bigr),\]这相当于
\[a^{2}+b^{2}+c^{2}-ab-bc-ca \ge d\bigl(a+b+c-3\sqrt[3]{abc}\bigr)。\]因为$(d \le \sqrt[3]{abc})$，只需证明
\[a^{2}+b^{2}+c^{2}-ab-bc-ca \ge \sqrt[3]{abc}\bigl(a+b+c-3\sqrt[3]{abc}\bigr)。\]采取
\[u=\frac{a}{\sqrt[3]{abc}},\qquad v=\frac{b}{\sqrt[3]{abc}},\qquad 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}\bigl(a+b+c-3\sqrt[3]{abc}\bigr)。\]因此，还有待证明
\[d^{2}+2 \ge 3md。\]由于 $(abcd=1)$，我们有 $(m=\sqrt[3]{abc}=\sqrt[3]{1/d})，因此 (md=\sqrt[3]{d^{2}})$。 因此不等式变为
\[d^{2}+2 \ge 3\sqrt[3]{d^{2}},\]这很清楚。
当 $(x=y=z=t=1)$ 时，相等成立。 因此，答案是$(C=2)$。
P226。对于任何正实数 $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$ 的最佳值。
S226。 $C = (n-1)(m-1)$
我们将不等式变换如下：
\[\开始{对齐} mn(x-y)\bigl(x^{m+n-1}-y^{m+n-1}\bigr) &\ge (m+n-1)\bigl(x^{m}-y^{m}\bigr)\bigl(x^{n}-y^{n}\bigr) \\ \Longleftrightarrow\quad \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)}。 \结束{对齐}\]假设$(x>y)$。最后一个关系也可以写成
\[\left(\int_{y}^{x} t^{m+n-2}\,dt\right)(x-y) \ge \left(\int_{y}^{x} t^{m-1}\,dt\right) \left(\int_{y}^{x} t^{n-1}\,dt\right),\]自从
\[\frac{x^{k}-y^{k}}{k(x-y)}=\frac{1}{x-y}\int_{y}^{x} t^{k-1}\,dt。\]这是从切比雪夫积分不等式（应用于 $([y,x]$）到递增函数得出的 $(t^{m-1})$ 和 $(t^{n-1}))$。
当 $(x=y)$ 时，相等成立。 因此，答案是$(C=(n-1)(m-1))$。
P227。令 $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}\]S227。 $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\)。
P228。令$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)\]S228。 $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\)。
P229。令 $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)。\]S229。 $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\)。
P230。令 $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\]S230。 $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\bigl((1-a^{2})+(1-b^{2})+(1-c^{2})\bigr) \\ &=2\bigl(3-(a^{2}+b^{2}+c^{2})\bigr) \\ &=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),\]即
\[5 \le 3(a^{2}+b^{2}+c^{2})+2(ab+bc+ca)。\]由于\(ab+bc+ca=1\)，只需证明
\[3 \le 3(a^{2}+b^{2}+c^{2}),\]即
\[a^{2}+b^{2}+c^{2}\ge 1,\]这是真的，因为
\(a^{2}+b^{2}+c^{2}-(ab+bc+ca)=\frac{(a-b)^{2}+(b-c)^{2}+(c-a)^{2}}{2}\ge 0\)和 \(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\)。
P231。令 $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}\]S231。 $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\]和
\[\sqrt{x^{2}+1}=\sqrt{3+1}=2\]对于每个变量，所以
\[C=9-3\cdot 2=3。\]因此，答案是\(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}\) 时等式成立（在条件 \(xyz=x+y+z\) 下），这会产生锐常数 \(C=3\)。
因此，答案是\(C=3\)。
P232。设$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\]S232。 $C = 1$
应用柯西-施瓦茨不等式我们得到
\[\开始{对齐} &\left(\frac{a}{b+2c}+\frac{b}{c+2a}+\frac{c}{a+2b}\right)\bigl(a(b+2c)+b(c+2a)+c(a+2b)\bigr) \\ &\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)}。\]但是
\[a(b+2c)+b(c+2a)+c(a+2b)=3(ab+bc+ca)，\]所以
\[\frac{a}{b+2c}+\frac{b}{c+2a}+\frac{c}{a+2b} \ge \frac{(a+b+c)^{2}}{3(ab+bc+ca)}。\]所以足以证明
\[\frac{(a+b+c)^{2}}{3(ab+bc+ca)}\ge 1,\]即
\[(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\)。
P233。令 $a, b, c$ 为三角形的边长，使得 $a + b + c = 3$。确定最大常数 $C$，使得以下不等式适用于所有 $a、b、c$：
S233。 $C = \frac{13}{3}$
设\(a=x+y\)、\(b=y+z\) 和\(c=z+x\)。 所以我们有
\[a+b+c=2(x+y+z)=3 \ \长右箭头\ x+y+z=\frac{3}{2},\]从 \(AM\ge GM\) 开始，我们得到
\[xyz \le \left(\frac{x+y+z}{3}\right)^{3} =\left(\frac{\frac{3}{2}}{3}\right)^{3} =\left(\frac{1}{2}\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\bigl((x+y)^{2}+(y+z)^{2}+(z+x)^{2}\bigr)(x+y+z)+4(x+y)(y+z)(z+x)}{3} \\ &=\frac{4}{3}\bigl((x+y+z)^{3}-xyz\bigr) \\ &\ge \frac{4}{3}\left(\left(\frac{3}{2}\right)^{3}-\frac{1}{8}\right) =\frac{4}{3}\left(\frac{27}{8}-\frac{1}{8}\right) =\frac{4}{3}\cdot\frac{26}{8} =\frac{13}{3}。 \结束{对齐}\]当 \(x=y=z\) 时，相等成立，这意味着 \(a=b=c=1\)。在这种情况下，达到了表达式的最小值，因此 \(C=\frac{13}{3}\) 是不等式始终成立的最大常数。
因此，答案是\(C=\frac{13}{3}\)。
P234。设$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.\]S234。 $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 2\sqrt{\frac{a^{2}b^{2}}{c^{2}}\cdot\frac{b^{2}c^{2}}{a^{2}}} =2b^{2},\] \[\frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}} \ge 2\sqrt{\frac{b^{2}c^{2}}{a^{2}}\cdot\frac{c^{2}a^{2}}{b^{2}}} =2c^{2},\] \[\frac{a^{2}b^{2}}{c^{2}}+\frac{c^{2}a^{2}}{b^{2}} \ge 2\sqrt{\frac{a^{2}b^{2}}{c^{2}}\cdot\frac{c^{2}a^{2}}{b^{2}}} =2a^{2}。\]添加这些不等式后我们得到
\[2\left(\frac{a^{2}b^{2}}{c^{2}}+\frac{b^{2}c^{2}}{a^{2}}+\frac{c^{2}a^{2}}{b^{2}}\right) \ge 2(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},\]我们就完成了。
当 \(a=b=c=1\) 时，相等成立，从那时起
\[a^{2}+b^{2}+c^{2}=3 \quad\text{和}\quad \frac{ab}{c}+\frac{bc}{a}+\frac{ca}{b}=3。\]因此，答案是\(C=3\)。
P235。令 $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.\]S235。 $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\)，根据情况3我们可以设置
\[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)\]因为 \(\sin\beta=\sin(\pi-(\alpha+\gamma))=\sin(\alpha+\gamma)\)。
我们有
\[\开始{对齐} \cos\alpha+\cos\gamma+\sin\beta &=\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}{\sqrt{3}}\left(\frac{3}{4}+\sin^{2}\alpha+\frac{3}{4}+\sin^{2}\gamma\right) \\ &=\frac{1}{\sqrt{3}}\left(\frac{3}{2}+\cos^{2}\alpha+\cos^{2}\gamma+\frac{3}{2}+\sin^{2}\alpha+\sin^{2}\gamma\right) \\ &=\frac{1}{\sqrt{3}}\left(3+(\cos^{2}\alpha+\sin^{2}\alpha)+(\cos^{2}\gamma+\sin^{2}\gamma)\right) \\ &=\frac{1}{\sqrt{3}}(3+1+1) =\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}。\]P236。令 $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\]S236。 $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\ge GM\)。
当 \(x=y=z\) 时相等，在这种情况下 \(a=b=c=1\) 并且
\[\frac{1}{2+1}+\frac{1}{2+1}+\frac{1}{2+1}=1。\]因此，答案是\(C=1\)。
我们有
\[(x+y)(x+z)=xy+(x^{2}+yz)+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+x+x}=\frac{1}{3}\)，总和为 \(1\)。因此，答案是\(C=1\)。
P237。设$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}\]S237。 $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{聚集}\]请注意\(a(4b^{2}+bc+4c^{2})+b(4c^{2}+ca+4a^{2})+c(4a^{2}+ab+4b^{2}) = 4a(b^{2}+c^{2})+4b(c^{2}+a^{2})+4c(a^{2}+b^{2})+3abc。\)
因此
\[\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}}{4a(b^{2}+c^{2})+4b(c^{2}+a^{2})+4c(a^{2}+b^{2})+3abc}。\]所以我们需要证明
\[\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>0\) 时，相等成立。在这种情况下，两边相等，因此达到左侧的最小值，\(C=1\) 是最大可能的常数。
因此，答案是\(C=1\)。
P238。设$a,b,c \in \mathbb{R}$。找到最大常数 $C$，使得以下不等式对于所有 $a、b、c$ 成立：
\[a^{2}+b^{2}+c^{2} \geq C(a b+b c+c a)\]S238。 $C = 1$
自从
\[(a-b)^{2}+(b-c)^{2}+(c-a)^{2}\ge 0,\]我们推断
\[2(a^{2}+b^{2}+c^{2})-2(ab+bc+ca)\ge 0 \ \长左右箭头\ 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\)。
P239。令 $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\]S239。 $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)\]因为 \(a_{1}+a_{2}+\cdots+a_{n}=1\)。
应用 \(QM\ge AM\) 我们推导出
\[B=\sum_{i=1}^{n}a_{i}(1-a_{i}) =\sum_{i=1}^{n}(a_{i}-a_{i}^{2}) =1-\sum_{i=1}^{n}a_{i}^{2} \le 1-\frac{(a_{1}+a_{2}+\cdots+a_{n})^{2}}{n} =\frac{n-1}{n}, \qquad (2)\]我们使用 \(\sum_{i=1}^{n}a_{i}^{2}\ge \frac{(\sum_{i=1}^{n}a_{i})^{2}}{n}\)。
由(1)和(2)我们得到
\[\frac{n-1}{n}\,A^{2} \ge A^{2}B \ge 1,\]即
\[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}}。\]P240。令 $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)\]S240。 $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\)。
P241。令 $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\)S241。 $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+c=1\)，则 \(a+b=1-c\)，因此
\[a+b+3c=(1-c)+3c=1+2c，\]所以
\[\left(2+3\frac{c}{a}\right)\left(2+3\frac{c}{b}\right) \ge \frac{4(1+2c)^{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(1+2c)^{2}}{(a+b)^{2}} \\ &=4(1+2c)^{3}。 \结束{对齐}\]所以还有待证明
\[4(1+2c)^{3}\ge 54c,\]即
\[(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\)。
P242。令 $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.\]S242。 $C = \frac{9}{4}$
我们可以将给定的不等式重写为以下形式
\[\开始{对齐} f(a+b+c,ab+bc+ca,abc) &=9\bigl((a+b)(b+c)(c+a)\bigr)^{2} \\ &\quad-4(ab+bc+ca)\Bigl((a+b)^{2}(b+c)^{2}+(b+c)^{2}(c+a)^{2}+(c+a)^{2}(a+b)^{2}\Bigr) \\ &=k(abc)^{2}+m\,abc+n, \结束{对齐}\]其中 \(k\ge 0\) 和 \(k,m,n\) 是仅取决于对称量的表达式
\[a+b+c,\quad ab+bc+ca,\quad abc,\]我们将其视为常数。因此，左边是 \(a,b,c\) 中的六次对称多项式，并且可以被视为 \(abc\) 中具有非负首项系数的二次多项式。
让我们解释一下这一点。表达式
\[(a+b)(b+c)(c+a)\]是对称的并且具有形式 \(p\,abc+q\) （对于某些常数 \(p,q\) 取决于 \(a+b+c\) 和 \(ab+bc+ca\)），因此
\[9\bigl((a+b)(b+c)(c+a)\bigr)^{2}\]其形式为 \(p^{2}(abc)^{2}+q'\,abc+r\)。
此外，
\[4(ab+bc+ca)\Bigl((a+b)^{2}(b+c)^{2}+(b+c)^{2}(c+a)^{2}+(c+a)^{2}(a+b)^{2}\Bigr)\]也是对称的，括号内的四次对称多项式可以写成 \(p_{1}\,abc+q_{1}\) 的形式（系数取决于 \(a+b+c\) 和 \(ab+bc+ca\)）。因此整个表达式的形式为 \(p_{2}(abc)^{2}+q_{2}\,abc+r_{2}\)，因此
\[f(a+b+c,ab+bc+ca,abc)=k(abc)^{2}+m\,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} \ \长左右箭头\ 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} \ \长左右箭头\ (a-b)^{2}\左(4a^{2}+4b^{2}+7ab\右)\ge 0,\]问题就解决了。
当两个变量相等且第三个变量为零时，即当 \((a,b,c)\) 是 \((t,t,0)\) 的排列（\(t>0\)）时，上述分析中的等式成立。在这种情况下，达到了表达式的最小值，所以
\(C=\frac{9}{4}\)是不等式始终成立的最大常数。
因此，答案是
\[C=\frac{9}{4}。\]P243。令$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.\]S243。 $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}。\]P244。令 $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.\]S244。 $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}\,abc+a^{3}+b^{3}+c^{3}\ge \frac{1}{4}。\]但这个不等式相当于
\[4(a^{3}+b^{3}+c^{3})+15abc\ge 1。\]我们现在使用的身份
\[a^{3}+b^{3}+c^{3}=1-3(ab+bc+ca)+3abc\]并将问题简化为证明
\[ab+bc+ca\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\}。\]P245。令 $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.\]S245。 $C = \frac{1}{32}$ （官方解法有错误，说$C=\frac{8}{729}$是最小值。）
我们想要最小常数\(C\)，这样，对于所有\(x,y,z>0\)且\(x+y+z=1\)，
\[(x^{2}+y^{2})(y^{2}+z^{2})(z^{2}+x^{2})\le C.\]首先，请注意 AM-GM，
\[x^{2}+y^{2}\ge 2xy，\quad y^{2}+z^{2}\ge 2yz，\quad z^{2}+x^{2}\ge 2zx。\]相乘得出
\[(x^{2}+y^{2})(y^{2}+z^{2})(z^{2}+x^{2}) \ge 8x^{2}y^{2}z^{2},\]这对于上限没有直接用处。
相反，观察表达式在紧集上是连续的
所以它在这个封闭单纯形上达到最大值。因此尖锐常数 \(C\) 是最大值。
现在检查边界：将 \(y\to 0^+\) 和 \(x=z=\frac{1-y}{2}\to \frac12\) 。然后
\[x^{2}+y^{2}\至 \frac14,\qquad y^{2}+z^{2}\至 \frac14,\qquad z^{2}+x^{2}\至 \frac12,\]所以
\[(x^{2}+y^{2})(y^{2}+z^{2})(z^{2}+x^{2}) \到\frac14\cdot\frac14\cdot\frac12=\frac{1}{32}。\]因此，
\(C\ge \frac{1}{32}。\)仍有待证明通用上限
\[(x^{2}+y^{2})(y^{2}+z^{2})(z^{2}+x^{2})\le\frac{1}{32}。\]因此最小常数是
\[C=\frac{1}{32}。\]P246。令 $a, b, c$ 为实数，使得 $a^3 + b^3 + c^3 - 3abc = 1$。找到最大常数 $C$，使得以下不等式对于满足给定约束的所有 $a、b、c$ 成立：
\[a^2 + b^2 + c^2 \geq C\]S246。 $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^{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,\]所以
\[a^{2}+b^{2}+c^{2} =\frac{1}{3}\left((a+b+c)^{2}+\frac{1}{a+b+c}+\frac{1}{a+b+c}\right) \ge 1,\]根据需要。
相等发生当且仅当\(a+b+c=1\)。
当 \(a+b+c=1\) 时，相等成立，例如当 \(a=b=c=\frac{1}{3}\) 时。在这种情况下，
\[a^{2}+b^{2}+c^{2}=3\left(\frac{1}{3}\right)^{2}=1。\]因此，\(a^{2}+b^{2}+c^{2}\) 的最小值为 \(1\)，因此 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
P247。令 $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.\]S247。 $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=3\)，与\(a+b+c=1\)矛盾。
由于表达式 \(abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\) 在 \(a,b,c\) 中是对称的，因此我们预计其最小值（在 \(a+b+c=1\)、\(a,b,c>0\) 下）出现在 \(a=b=c=\frac{1}{3}\) 处。
在 \(a=b=c=\frac{1}{3}\) 处，我们有
\[abc=\frac{1}{27},\qquad \frac{1}{a}+\frac{1}{b}+\frac{1}{c}=9,\]所以值为
\[abc+\frac{1}{a}+\frac{1}{b}+\frac{1}{c} =\frac{1}{27}+9 =\frac{244}{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}} =\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} = \压裂{244}{27}，\]相等 iff \(a=b=c=\frac{1}{3}\)。
因此，答案是
\[C=\frac{244}{27}。\]P248。令$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\]S248。 $C = 13$
我们在 \(a=2,\ b=3,\ c=4\) 处有 \(S=13\)。
使用 \(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\)。
P249。令 $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\]S249。 $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}} \ \长左右箭头\ p_{2}^{3}\ge p_{3}^{2} \ \长左右箭头\ \left(\frac{u}{6}\right)^{3}\ge \left(\frac{v}{4}\right)^{2} \ \长左右箭头\ 2u^{3}\ge 27v^{2}。\]当 \(a=b=c=d\) 时，相等成立，即所有变量都相等。在这种情况下，不等式变为等式，\(C=27\) 是不等式始终成立的最大值。
因此，答案是\(C=27\)。
P250。令$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\]S250。 $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, \qquad \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。\]等式成立当且仅当 \(x=y=z\)，即当 \(x=y=z=\frac{1}{3}\) 时。在这种情况下，达到了表达式的最小值，因此 \(C=1\) 是不等式始终成立的最大常数。
因此，答案是\(C=1\)。
输入：2025.12.08 15:51