这几个不等式看起来都很有意思,我们一个个来拆解,争取把它们讲清楚,让大家都能明白其中的思路。
不等式一:
如果我没记错的话,第一个不等式可能是这样的:
证明:设 $a, b$ 为正实数,证明 $a+b ge 2sqrt{ab}$
这个不等式太经典了,有个响亮的名字叫做算术平均数几何平均数不等式(AMGM 不等式),或者叫做均值不等式。它说的是,任何一组非负实数的算术平均数,总是大于或等于它们的几何平均数。对于两个正实数来说,就是上面这个样子。
我们来好好看看怎么证明它。
最直接也最常用的方法,就是从大家都认可的、最基础的数学事实出发。
1. 从一个显而易见的真理开始:平方不小于零。
任何一个实数的平方,无论这个实数是正的、负的还是零,结果肯定是一个非负数。所以,对于两个实数 $x$ 和 $y$,我们一定有 $(xy)^2 ge 0$。
2. 把我们已知的信息代入。
我们想证明的是 $a+b ge 2sqrt{ab}$。这里面有 $a$ 和 $b$,还有它们的平方根。如果我们能构造出 $( sqrt{a} sqrt{b} )^2$,是不是就能跟我们的目标联系起来了?
因为 $a, b$ 是正实数,所以 $sqrt{a}$ 和 $sqrt{b}$ 也是实数。那么,它们的差的平方一定大于等于零。
所以,我们可以写下:
$$(sqrt{a} sqrt{b})^2 ge 0$$
3. 展开这个平方。
回忆一下平方差公式:$(xy)^2 = x^2 2xy + y^2$。
把 $sqrt{a}$ 代替 $x$,$sqrt{b}$ 代替 $y$,我们得到:
$$(sqrt{a})^2 2(sqrt{a})(sqrt{b}) + (sqrt{b})^2 ge 0$$
4. 简化一下。
$(sqrt{a})^2 = a$ (因为 $a$ 是正实数)
$(sqrt{b})^2 = b$ (因为 $b$ 是正实数)
$(sqrt{a})(sqrt{b}) = sqrt{ab}$ (这是根号的性质)
所以,不等式就变成了:
$$a 2sqrt{ab} + b ge 0$$
5. 整理一下,得到目标形式。
把 $2sqrt{ab}$ 移到不等式的右边,就得到:
$$a + b ge 2sqrt{ab}$$
这就证明完了!
什么时候等号成立呢?
等号成立的条件,是我们最开始假设的那个不等式变成等号的时候,也就是:
$$(sqrt{a} sqrt{b})^2 = 0$$
这只有在 $sqrt{a} sqrt{b} = 0$ 的时候才会发生。
移项后就是 $sqrt{a} = sqrt{b}$。
两边平方一下,就得到 $a = b$。
所以,当且仅当 $a=b$ 时,不等式 $a+b ge 2sqrt{ab}$ 取等号。
还有一个角度来理解这个不等式:
我们也可以试着从另一个角度思考。有没有什么办法直接从 $a+b$ 和 $2sqrt{ab}$ 的关系入手?
1. 比较它们的“平方差”。
我们来计算 $(a+b)^2$ 和 $(2sqrt{ab})^2$。
$(a+b)^2 = a^2 + 2ab + b^2$
$(2sqrt{ab})^2 = 2^2 cdot (sqrt{ab})^2 = 4ab$
2. 看看它们的差是什么。
我们来算 $(a+b)^2 (2sqrt{ab})^2$:
$$(a^2 + 2ab + b^2) 4ab = a^2 2ab + b^2$$
3. 这个结果很熟悉!
$a^2 2ab + b^2$ 正好是 $(ab)^2$ 的展开式。
所以,我们得到:
$$(a+b)^2 (2sqrt{ab})^2 = (ab)^2$$
4. 根据已知条件分析。
因为 $a, b$ 是正实数,所以 $a+b$ 和 $2sqrt{ab}$ 都一定是正数。
我们知道 $(ab)^2 ge 0$ 对于任何实数 $a, b$ 都成立。
所以,我们有:
$$(a+b)^2 (2sqrt{ab})^2 ge 0$$
将 $(2sqrt{ab})^2$ 移到右边:
$$(a+b)^2 ge (2sqrt{ab})^2$$
5. 开平方(注意取正值)。
因为 $a+b > 0$ 且 $2sqrt{ab} > 0$,当两个正数满足 $X^2 ge Y^2$ 时,我们一定有 $X ge Y$。
所以,我们就可以直接得到:
$$a+b ge 2sqrt{ab}$$
同样得到了证明。
这次证明同样说明,等号成立的条件是 $(ab)^2 = 0$,也就是 $a=b$。
这个不等式非常基础,但用处极大,在很多数学问题中都有应用。
不等式二:
如果另一个不等式是关于三角函数的,比如:
证明:对于任意实数 $x$,证明 $sin^2 x + cos^2 x = 1$
这个可以说是三角函数中最最基本、最重要的恒等式了,叫做勾股定理(毕达哥拉斯定理)的三角形式。它描述了在一个直角三角形中,两直角边和斜边之间的关系。
怎么证明这个呢?
最直观的理解和证明方式,还是回到几何图形本身。
1. 画一个单位圆。
想象一个以原点 $(0,0)$ 为圆心,半径为 $1$ 的圆。这个圆叫做单位圆。
单位圆的方程就是 $x^2 + y^2 = 1^2$,也就是 $x^2 + y^2 = 1$。
2. 在单位圆上取一个点。
在单位圆上任意取一个点 $P$。为了方便描述,我们通常会从正 $x$ 轴上的点 $(1,0)$ 开始,逆时针旋转一个角度 $ heta$ 来找到这个点 $P$。
那么,点 $P$ 的坐标 $(x_P, y_P)$ 和角度 $ heta$ 就满足一个特定的关系。
3. 定义正弦和余弦。
按照三角函数的定义,对于这个角度 $ heta$:
余弦值 $cos heta$ 就是点 $P$ 的横坐标 $x_P$。
正弦值 $sin heta$ 就是点 $P$ 的纵坐标 $y_P$。
所以,我们可以写成:
$$x_P = cos heta$$
$$y_P = sin heta$$
4. 把定义代入单位圆的方程。
因为点 $P(x_P, y_P)$ 确实在单位圆上,所以它的坐标必须满足单位圆的方程 $x^2 + y^2 = 1$。
我们将 $x_P$ 用 $cos heta$ 代替,将 $y_P$ 用 $sin heta$ 代替,代入方程中:
$$(cos heta)^2 + (sin heta)^2 = 1$$
5. 习惯性的写法。
在数学中,我们通常将 $(cos heta)^2$ 写成 $cos^2 heta$,将 $(sin heta)^2$ 写成 $sin^2 heta$。
所以,不等式就变成了:
$$sin^2 heta + cos^2 heta = 1$$
这个证明非常直接地利用了三角函数的定义和圆的几何性质。对于“任意实数 $x$”,这里的 $x$ 就是我们上面提到的角度 $ heta$。无论这个角度是多少,只要我们在这个单位圆上找到对应的点,它的坐标的平方和就一定是 1。
另一种角度(利用直角三角形):
如果不是从单位圆出发,而是从最基本的直角三角形定义来理解:
1. 考虑一个直角三角形。
画一个直角三角形,设其中一个锐角为 $ heta$。
设这个锐角所对的直角边长度为 $a$,邻边长度为 $b$,斜边长度为 $c$。
2. 三角函数的定义(基于直角三角形)。
在这种定义下:
$sin heta = frac{对边}{斜边} = frac{a}{c}$
$cos heta = frac{邻边}{斜边} = frac{b}{c}$
3. 运用勾股定理。
对于这个直角三角形,根据勾股定理(两直角边平方和等于斜边平方):
$$a^2 + b^2 = c^2$$
4. 将三角函数代入并化简。
我们来计算 $sin^2 heta + cos^2 heta$:
$$sin^2 heta + cos^2 heta = left(frac{a}{c}
ight)^2 + left(frac{b}{c}
ight)^2$$
$$= frac{a^2}{c^2} + frac{b^2}{c^2}$$
$$= frac{a^2 + b^2}{c^2}$$
5. 代入勾股定理的结果。
因为 $a^2 + b^2 = c^2$,所以:
$$frac{a^2 + b^2}{c^2} = frac{c^2}{c^2} = 1$$
这就证明了 $sin^2 heta + cos^2 heta = 1$。
这种方法是从更基础的直角三角形视角出发,但要注意,这种定义方式只适用于锐角 ($0 < heta < 90^circ$)。单位圆的定义更普遍,可以推广到所有实数角度。不过,两者殊途同归,都证明了这个基本恒等式。
不等式三:
最后一个不等式,如果它长这样:
证明:设 $x$ 为实数,证明 $x^2 2x + 5 > 0$
这个不等式涉及一个二次函数。证明它是否大于零,通常有几种方法,我们来看看最常用的。
方法一:配方法
配方法是处理二次表达式非常有效的技巧。它的核心思想是把二次三项式变成一个完全平方项加上一个常数项的形式。
1. 写出原式。
我们想证明 $x^2 2x + 5 > 0$。
2. 关注含 $x$ 的项:$x^2 2x$。
我们想让它变成 $(x ext{something})^2$ 的形式。回忆一下 $(xa)^2 = x^2 2ax + a^2$。
对比 $x^2 2x$,我们可以发现这里的 $2x$ 对应着 $2ax$。
所以,$2x = 2ax$,这意味着 $a=1$。
3. 构造完全平方。
如果我们有 $(x1)^2$,它等于 $x^2 2x + 1$。
我们目标式子里有 $x^2 2x$,还差一个 $+1$ 就能凑成 $(x1)^2$。
4. 调整原式。
我们可以把 $+5$ 分解一下,写成 $+1 + 4$。
$$x^2 2x + 5 = (x^2 2x + 1) + 4$$
5. 替换成完全平方项。
$$= (x1)^2 + 4$$
6. 分析结果。
现在我们得到了表达式 $(x1)^2 + 4$。
我们知道,对于任何实数 $x$, $(x1)$ 也是一个实数。任何实数的平方都大于等于零。
所以,$(x1)^2 ge 0$。
然后,我们在 $(x1)^2$ 上加上 $4$。
$$(x1)^2 + 4 ge 0 + 4$$
$$(x1)^2 + 4 ge 4$$
7. 得出结论。
既然 $(x1)^2 + 4$ 的最小值是 $4$,那么它肯定总是大于零的。
所以,我们证明了:
$$x^2 2x + 5 = (x1)^2 + 4 > 0$$
这个不等式对于所有实数 $x$ 都成立。
方法二:利用二次函数的图像和判别式
二次函数 $f(x) = ax^2 + bx + c$ 的图像是一个抛物线。判断 $ax^2 + bx + c > 0$ 对于所有实数 $x$ 成立,实际上就是判断这个抛物线是否恒在 $x$ 轴的上方。
1. 确定抛物线的开口方向。
对于我们的函数 $f(x) = x^2 2x + 5$,二次项的系数 $a = 1$。
因为 $a > 0$,所以抛物线是开口向上的。
2. 分析抛物线与 $x$ 轴的关系。
一个开口向上的抛物线,如果想恒在 $x$ 轴上方,就必须不与 $x$ 轴相交,也不相切。也就是说,它必须是“独立在 $x$ 轴上方”的。
3. 使用判别式。
抛物线与 $x$ 轴的交点数量,可以通过判别式 $Delta = b^2 4ac$ 来判断:
$Delta > 0$: 有两个不相等的实数根(抛物线与 $x$ 轴相交于两点)。
$Delta = 0$: 有一个实数根(抛物线与 $x$ 轴相切于一点)。
$Delta < 0$: 没有实数根(抛物线与 $x$ 轴不相交)。
为了让抛物线恒在 $x$ 轴上方(对于开口向上的情况),我们需要它没有实数根,也就是 $Delta < 0$。
4. 计算判别式。
在 $f(x) = x^2 2x + 5$ 中,我们有 $a = 1$, $b = 2$, $c = 5$。
计算判别式:
$$Delta = b^2 4ac = (2)^2 4(1)(5)$$
$$= 4 20$$
$$= 16$$
5. 得出结论。
因为 $Delta = 16 < 0$,并且抛物线是开口向上的 ($a=1>0$),所以函数 $f(x) = x^2 2x + 5$ 的图像恒在 $x$ 轴的上方。
这意味着 $x^2 2x + 5 > 0$ 对于所有实数 $x$ 都成立。
这两种方法都清晰地证明了不等式。配方法更侧重于代数变形,而判别式方法则利用了二次函数图像的性质。
希望这些详细的解释能帮助你理解这些不等式是如何被证明的。数学的魅力就在于,很多看似复杂的结论,都能从最基本的原理出发,一步步推导出来。