引言
不等式是数学中一个重要的分支，它广泛应用于科学、工程、经济学和日常生活中。在学习不等式的过程中，我们常常会遇到一些难题，这些难题往往涉及复杂的数学技巧和解题策略。本文将深入探讨一些不等式选讲难题，并提供详细的解答思路。
一、难题一：证明不等式 \(\sqrt{a^2 + b^2} \geq \frac{a + b}{2}\)
1.1 解题思路
这个不等式可以通过柯西-施瓦茨不等式（Cauchy-Schwarz inequality）来证明。
1.2 详细解答
柯西-施瓦茨不等式表述为：对于任意实数序列 \(x_1, x_2, \ldots, x_n\) 和 \(y_1, y_2, \ldots, y_n\)，都有：
\[ (x_1^2 + x_2^2 + \ldots + x_n^2)(y_1^2 + y_2^2 + \ldots + y_n^2) \geq (x_1y_1 + x_2y_2 + \ldots + x_ny_n)^2 \]
将 \(x_i = 1\) 和 \(y_i = a_i\)，则不等式变为：
\[ (a_1^2 + a_2^2 + \ldots + a_n^2) \geq (a_1 + a_2 + \ldots + a_n)^2 / n \]
取 \(n=2\)，则得到：
\[ a_1^2 + a_2^2 \geq \frac{(a_1 + a_2)^2}{2} \]
两边同时乘以 2，并开方，得到：
\[ \sqrt{a_1^2 + a_2^2} \geq \frac{a_1 + a_2}{2} \]
1.3 结论
通过柯西-施瓦茨不等式，我们证明了不等式 \(\sqrt{a^2 + b^2} \geq \frac{a + b}{2}\)。
二、难题二：求解不等式 \(x^4 - 4x^3 + 6x^2 - 4x + 1 \geq 0\)
2.1 解题思路
这是一个四次多项式不等式，可以通过分析多项式的根和导数来求解。
2.2 详细解答
首先，我们尝试找到多项式的根。观察多项式 \(x^4 - 4x^3 + 6x^2 - 4x + 1\)，我们可以猜测 \(x=1\) 是一个根。通过代入验证，确实如此。
将 \(x=1\) 代入多项式，得到：
\[ 1^4 - 4 \cdot 1^3 + 6 \cdot 1^2 - 4 \cdot 1 + 1 = 0 \]
因此，\(x=1\) 是一个根。接下来，我们尝试分解多项式：
\[ x^4 - 4x^3 + 6x^2 - 4x + 1 = (x-1)^4 \]
由于 \((x-1)^4\) 的所有系数都是非负的，因此对于所有实数 \(x\)，不等式 \(x^4 - 4x^3 + 6x^2 - 4x + 1 \geq 0\) 都成立。
2.3 结论
不等式 \(x^4 - 4x^3 + 6x^2 - 4x + 1 \geq 0\) 对于所有实数 \(x\) 都成立。
三、难题三：证明不等式 \(\ln(1 + x) \leq x\) 对于所有 \(x > -1\) 成立
3.1 解题思路
这个不等式可以通过拉格朗日中值定理（Lagrange’s Mean Value Theorem）来证明。
3.2 详细解答
考虑函数 \(f(x) = \ln(1 + x)\)。我们需要证明对于所有 \(x > -1\)，有 \(f(x) \leq x\)。
根据拉格朗日中值定理，对于闭区间 \([-1, x]\) 上连续且在开区间 \((-1, x)\) 内可导的函数 \(f(x)\)，存在至少一个 \(\xi \in (-1, x)\)，使得：
\[ f'( \xi ) = \frac{f(x) - f(-1)}{x - (-1)} \]
计算 \(f'(x)\)，得到：
\[ f'(x) = \frac{1}{1 + x} \]
将 \(f(x)\) 和 \(f(-1)\) 代入上式，得到：
\[ \frac{1}{1 + \xi} = \frac{\ln(1 + x) - \ln(1 - 1)}{x - (-1)} = \frac{\ln(1 + x)}{x} \]
因此，对于所有 \(x > -1\)，有：
\[ \ln(1 + x) \leq x \]
3.3 结论
通过拉格朗日中值定理，我们证明了不等式 \(\ln(1 + x) \leq x\) 对于所有 \(x > -1\) 成立。
总结
本文通过详细的解答，揭示了三个不等式难题的解决方法。这些难题不仅考察了数学知识，还涉及到解题技巧和策略。希望本文能够帮助读者更好地理解和解决类似的不等式难题。