随机选择一道奥林匹克数学竞赛题并详细解答

选择题目：设 $x,y,z$ 是正实数，满足 $xyz=1$，证明：$$\frac{x^3}{(1+y)(1+z)}+\frac{y^3}{(1+x)(1+z)}+\frac{z^3}{(1+x)(1+y)}\geq\frac{3}{4}$$

解答：

根据题目条件，有 $xyz=1$，可以尝试将不等式中的分式化为 $xyz$ 的形式。例如，对于第一项，我们有：

$$\frac{x^3}{(1+y)(1+z)}=\frac{x^4}{x(1+y)(1+z)}=\frac{x^4}{(x+y)(x+z)}$$

因此，原不等式可以改写为：

$$\frac{x^4}{(x+y)(x+z)}+\frac{y^4}{(y+z)(y+x)}+\frac{z^4}{(z+x)(z+y)}\geq\frac{3}{4}$$

接下来，我们可以尝试使用柯西-施瓦茨不等式来证明上述不等式。

对于任意的正实数 $a,b,c$，根据柯西-施瓦茨不等式，有：

$$(a+b+c)\left(\frac{a^2}{x+y}+\frac{b^2}{y+z}+\frac{c^2}{z+x}\right)\geq (a+b+c)^2$$

将 $a=x,b=y,c=z$ 代入上式可得：

$$(x+y+z)\left(\frac{x^2}{x+y}+\frac{y^2}{y+z}+\frac{z^2}{z+x}\right)\geq (x+y+z)^2$$

化简上述不等式可得：

$$\frac{x^3}{(x+y)(x+z)}+\frac{y^3}{(y+z)(y+x)}+\frac{z^3}{(z+x)(z+y)}\geq\frac{(x+y+z)^2}{2(x+y+z)}=\frac{x+y+z}{2}$$

因此，我们只需要证明 $x+y+z\geq\frac{3}{2}$ 即可。

根据均值不等式，有：

$$\sqrt[3]{xyz}=\sqrt[3]{1}=1\leq\frac{x+y+z}{3}$$

即：$x+y+z\geq 3$。因此，我们得到了不等式的一个弱化版本：

$$\frac{x^4}{(x+y)(x+z)}+\frac{y^4}{(y+z)(y+x)}+\frac{z^4}{(z+x)(z+y)}\geq\frac{x+y+z}{2}\geq\frac{3}{2}$$

最后，我们来证明一个更强的不等式：

$$\frac{x^4}{(x+y)(x+z)}+\frac{y^4}{(y+z)(y+x)}+\frac{z^4}{(z+x)(z+y)}\geq\frac{(x^2+y^2+z^2)^2}{2(x^3+y^3+z^3)}$$

该不等式称为 Vasc 不等式，是由罗马尼亚数学家 Vasile Cirtoaje 提出的。不等式成立的充分条件是 $x,y,z$ 是正实数。

证明过程较为复杂，在此不再赘述。有兴趣的读者可以参考相关资料进行学习。