引言
不等式是数学中一种描述量之间大小关系的表达式，它在数学分析、工程计算、经济学等多个领域都有着广泛的应用。在众多不等式中，有些不等式因其简洁的形式和恒成立的特性而备受关注。本文将深入探讨这些神奇的不等式，揭示它们恒成立的奥秘。
一、基本不等式
1.1 平方不等式
平方不等式是最基本的不等式之一，其表达式为：[ a^2 \geq 0 \quad \forall a \in \mathbb{R} ]
平方不等式恒成立的理由很简单：任何实数的平方都是非负的。这是因为实数的平方可以看作是距离的平方，而距离不可能为负。
1.2 平方差不等式
平方差不等式是指对于任意实数 ( a ) 和 ( b )，都有：[ (a + b)^2 \geq 4ab ]
平方差不等式恒成立的证明可以通过代数运算得出。具体如下：
[ (a + b)^2 = a^2 + 2ab + b^2 ] [ 4ab = 4ab + 0 ] [ \Rightarrow a^2 + 2ab + b^2 \geq 4ab ] [ \Rightarrow (a + b)^2 \geq 4ab ]
二、恒成立的不等式
2.1 勒贝格不等式
勒贝格不等式是概率论中的一个重要不等式，其表达式为：[ \int{-\infty}^{+\infty} |f(x)| \, dx \geq \sqrt{\int{-\infty}^{+\infty} f(x)^2 \, dx} ]
勒贝格不等式恒成立的证明依赖于积分的性质。具体证明过程如下：
设 ( f(x) ) 在 ( [-\infty, +\infty] ) 上有界，则 ( |f(x)| ) 和 ( f(x)^2 ) 在 ( [-\infty, +\infty] ) 上也有界。由积分的线性性质，有：
[ \int{-\infty}^{+\infty} |f(x)| \, dx \geq \int{-\infty}^{+\infty} 0 \, dx = 0 ] [ \int{-\infty}^{+\infty} f(x)^2 \, dx \geq \int{-\infty}^{+\infty} 0 \, dx = 0 ]
因此，
[ \sqrt{\int_{-\infty}^{+\infty} f(x)^2 \, dx} \geq 0 ]
由柯西-施瓦茨不等式，得：
[ \left( \int{-\infty}^{+\infty} |f(x)| \, dx \right) \left( \int{-\infty}^{+\infty} \frac{1}{|f(x)|} \, dx \right) \geq \left( \int_{-\infty}^{+\infty} 1 \, dx \right) = +\infty ]
因此，
[ \int{-\infty}^{+\infty} |f(x)| \, dx \geq \sqrt{\int{-\infty}^{+\infty} f(x)^2 \, dx} ]
2.2 马尔可夫不等式
马尔可夫不等式是概率论中另一个重要的不等式，其表达式为：[ P(A) \leq \frac{E(X)}{a} ]
其中，( A ) 是一个事件，( X ) 是一个随机变量，( a ) 是一个正实数。
马尔可夫不等式恒成立的证明依赖于随机变量的期望性质。具体证明过程如下：
设 ( X ) 是一个随机变量，( A ) 是一个事件，( P(A) ) 是事件 ( A ) 发生的概率。由期望的性质，有：
[ E(X) = \int{-\infty}^{+\infty} x \, dP(x) ] [ E(X) = \int{A} x \, dP(x) + \int_{A^c} x \, dP(x) ]
其中，( A^c ) 是事件 ( A ) 的补集。由期望的非负性质，得：
[ \int{A} x \, dP(x) \geq 0 ] [ \int{A^c} x \, dP(x) \geq 0 ]
因此，
[ E(X) = \int{A} x \, dP(x) + \int{A^c} x \, dP(x) \geq 0 ]
又因为 ( a ) 是一个正实数，所以：
[ \frac{E(X)}{a} \geq 0 ]
由概率的非负性质，得：
[ P(A) \leq \frac{E(X)}{a} ]
三、总结
本文介绍了基本不等式和恒成立的不等式，并通过具体的例子分析了它们恒成立的理由。这些不等式在数学和其他领域中都有着广泛的应用，希望本文能帮助读者更好地理解这些神奇的不等式。