智能计算数学基础——常用不等式

不一样的天蝎座

已于 2022-10-14 10:06:40 修改

阅读量589

点赞数

分类专栏：智能计算数学基础文章标签：智能计算数学基础常用不等式

于 2021-07-10 22:23:22 首次发布

本文链接：https://blog.csdn.net/Mr____Cheng/article/details/118637657

版权

智能计算数学基础专栏收录该内容

6 篇文章 3 订阅

订阅专栏

常用不等式

1、绝对值不等式

求和的绝对值≤绝对值的求和
$|a_1+\cdots +a_n|≤|a_1|+\cdots+|a_n|$
即： $|\displaystyle\sum_{i=1}^{n}a_i|≤(\displaystyle\sum_{i=1}^{n}a_i^2)$

2、Cauchy(柯西)不等式

$(\displaystyle\sum_{i=1}^{n}a_ib_i)^2≤\displaystyle\sum_{i=1}^{n}a_i^2\displaystyle\sum_{i=1}^{n}b_i^2\tag{1}$
$\Leftrightarrow|<a,b>|≤||a||·||b||$

证明1：
式(1)右边-左边
$=\displaystyle\sum_{i=1}^{n}a_i^2\displaystyle\sum_{i=1}^{n}b_i^2-(\displaystyle\sum_{i=1}^{n}a_ib_i)^2$
$=\displaystyle\sum_{i,j}^{n}(a_ib_j-a_jb_i)^2$ $\geq 0$
不等式成立。
证明2：
显而易见， $\forall \lambda ≥0，\displaystyle\sum_{i=1}^{n}(a_i-\lambda b_i)^2≥0$
$\Rightarrow\displaystyle\sum_{i=1}^{n}(a_i^2-2a_ib_i\lambda+ b_i^2\lambda^2)≥0$
$\Rightarrow(\displaystyle\sum_{i=1}^{n}b_i^2)\lambda^2-2(\displaystyle\sum_{i=1}^{n}a_ib_i)\lambda+\displaystyle\sum_{i=1}^{n}a_i^2≥0$
记 $f(\lambda)=(\displaystyle\sum_{i=1}^{n}b_i^2)\lambda^2-2(\displaystyle\sum_{i=1}^{n}a_ib_i)\lambda+\displaystyle\sum_{i=1}^{n}a_i^2$ ，它是一个二次函数，
$f(\lambda)≥0$ ，则方程 $f(\lambda)=0$ 根的判别式≤0。
即： $b^2-4ac$
$=4(\displaystyle\sum_{i=1}^{n}a_ib_i)^2-4\displaystyle\sum_{i=1}^{n}a_i^2\displaystyle\sum_{i=1}^{n}b_i^2≤0$
$(\displaystyle\sum_{i=1}^{n}a_ib_i)^2≤\displaystyle\sum_{i=1}^{n}a_i^2\displaystyle\sum_{i=1}^{n}b_i^2$

判别式：判定方程实根个数及分布情况的公式。
对于一元二次方程 $ax^2+bx+c=0(a≠0)$ 来说，根的判别式为 $\Delta =b^2-4ac$ ，
①当方程有两个不相等的实数根时， $\Delta$ >0；
②当方程有两个相等的实数根时， $\Delta$ =0；
③当方程没有实数根时， $\Delta$ <0。

3、算术-几何平均不等式

给定一组数： $a_1,\cdots,a_n$
算术平均值为 $(\displaystyle\sum_{i=1}^{n}a_i)/n$
几何平均值为 $(\displaystyle\prod_{i=1}^{n}a_i)^{\frac{1}{n}}$
算术-几何平均不等式： $\frac{1}{n}(\displaystyle\sum_{i=1}^{n}a_i)≥(\displaystyle\prod_{i=1}^{n}a_i)^{\frac{1}{n}}$

证明：
当 $n = 2$ 时，
$\frac{1}{2}(a_1+a_2)≥\sqrt{a_1a_2}$
$\Leftrightarrow(a_1+a_2)^2≥4a_1a_2$
$\Leftrightarrow(a_1-a_2)^2≥0$
当 $n = 3$ 时，
$\frac{1}{3}(a_1+a_2+a_3)≥(a_1a_2a_3)^{\frac{1}{3}}$
$\Leftrightarrow x^3+y^3+z^3≥3xyz$
$\Leftrightarrow (x+y+z)[(x-y)^2+(y-z)^2+(z-x)^2]≥0$