世界数学史上的十个著名不等式
八个著名的不等式
第八讲 几个著名的不等式在数学领域里，不等式知识占有广阔的天地，而一个个的重要不等式又把这片天地装点得更加丰富多彩．这些著名不等式是数学家们长期致力于不等式理论研究的重要成果，它们将成为我们学习数学、研究数学、应用数学的得力工具。
下面择要介绍一些著名的不等式． 1.柯西（Cauchy ）不等式 定理：设()n i R b a i i Λ2,1,=∈则()22211nn b a b a ba Λ++≤()()2222122221n n b b b a a aΛΛ++⋅++等号成立当且仅当()n i ka b i i ≤≤=1.。
[一般形式的证明] 作函数()()()()()())(222222122112222212222211≥+++++-+++=-++-+-=x b b b x b a b a b a x a a a b x a b x a b x a x f n n n n n n ΛΛΛΛ0≤∆∴ 此时044121221≤⎪⎭⎫⎝⎛⎪⎭⎫ ⎝⎛-⎪⎭⎫ ⎝⎛=∆∑∑∑===n i i n i i ni i i b a b a⎪⎭⎫⎝⎛⎪⎭⎫ ⎝⎛≤⎪⎭⎫ ⎝⎛∴∑∑∑===n i i n i i ni i i b a b a 121221，得证。
[向量形式的证明]令(),2,1n a a a A Λρ= (),2,1n b b b B Λρ=()()()22221222212211cos nn n n b b b a a aB A B A b a b a b a B A ΛΛρρρρΛρρ++⋅+++=≤=++=⋅θ()1cos 1≤≤-θ两边同时平方得：()22211nn b a b a ba Λ++≤()()2222122221n n b b b a a aΛΛ++⋅++，得证。
[柯西不等式的应用]例1.1设()()22121111,1n a a a a a a n i R a n n i ≥⎪⎪⎭⎫ ⎝⎛++++++≤≤∈+ΛΛ求证 解：由柯西不等式可知，原不等式可化为()()()⎥⎥⎦⎤⎢⎢⎣⎡⎪⎪⎭⎫ ⎝⎛++⎪⎪⎭⎫ ⎝⎛+⎪⎪⎭⎫ ⎝⎛⎥⎦⎤⎢⎣⎡+++2222122221111n na a a a a a ΛΛ()22111n n =++≥43421Λ个 当且仅当,1,1,12211n na k a a k a a k a ===Λ时等号成立即n a a a Λ==21，故原不等式得证。
几个著名的不等式公式
⼏个著名的不等式公式在数学领域⾥，不等式知识占有⼴阔的天地，⽽⼀个个的重要不等式⼜把这⽚天地装点得更加丰富多彩．下⾯择要介绍⼀些著名的不等式。
三⾓形内⾓的嵌⼊不等式三⾓形内⾓的嵌⼊不等式，在不⾄于引起歧义的情况下简称嵌⼊不等式。
该不等式指出，若A、B、C是⼀个三⾓形的三个内⾓，则对任意实数 x、y、z，有：算术-⼏何平均值不等式在数学中，算术-⼏何平均值不等式是⼀个常见⽽基本的不等式，表现了两类平均数：算术平均数和⼏何平均数之间恒定的不等关系。
设为 n 个正实数，它们的算术平均数是，它们的⼏何平均数是。
算术-⼏何平均值不等式表明，对任意的正实数，总有：等号成⽴当且仅当。
算术-⼏何平均值不等式仅适⽤于正实数，是对数函数之凹性的体现，在数学、⾃然科学、⼯程科学以及经济学等其它学科都有应⽤。
算术-⼏何平均值不等式经常被简称为平均值不等式（或均值不等式），尽管后者是⼀组包括它的不等式的合称。
例⼦在 n = 4 的情况，设: ，那么可见。
历史上，算术-⼏何平均值不等式拥有众多证明。
n = 2的情况很早就为⼈所知，但对于⼀般的 n，不等式并不容易证明。
1729年，英国数学家麦克劳林最早给出了⼀般情况的证明，⽤的是调整法，然⽽这个证明并不严谨，是错误的。
柯西的证明1821年，法国数学家柯西在他的著作《分析教程》中给出了⼀个使⽤逆向归纳法的证明：命题P n：对任意的 n 个正实数，1. 当 n=2 时，P2显然成⽴。
2. 假设Pn成⽴，那么P2n成⽴。
证明：对于2n 个正实数，3. 假设P n成⽴，那么P n-1成⽴。
证明：对于n - 1 个正实数，设，，那么由于Pn成⽴，。
但是，，因此上式正好变成综合以上三点，就可以得到结论：对任意的⾃然数，命题P n都成⽴。
这是因为由前两条可以得到：对任意的⾃然数 k，命题都成⽴。
因此对任意的，可以先找 k 使得，再结合第三条就可以得到命题P n成⽴了。
归纳法的证明使⽤常规数学归纳法的证明则有乔治·克⾥斯托（George Chrystal）在其著作《代数论》（algebra）的第⼆卷中给出的：由对称性不妨设xn+1是中最⼤的，由于，设，则，并且有。
几个著名不等式
几个著名不等式1 著名不等式柯西不等式对于任意两组实数和有上述不等式只有当时，等号才能成立．证明因为对任意x，有将上式展开得上述二次三项式对任意x均大于等于0，故其判别式不能大于0，所以当判别式等于0时，上述方程有重根，设重根为x=k，则这时所以上述不等式只有当时等号才能成立。
如令，则得柯西不等式在高等代数中的意义是：两个向量的数积不大于两个向量长度的乘积．若则其中例１若都是正数，求证证明构造两个实数列则由柯西不等式得即*赫勒德尔不等式由柯西不等式可得但所以有同理有一般地有现在证明上述不等式对任意不等于2m的正整数也成立（假定所有数列均为正数列）．设共k个实数列设共k个再令则有但所以所以即该不等式对任意不等于2m的整数k也成立．上述不等式的证明有些麻烦，不好记，现用反归纳法给出一个简洁的证明．由证明知，不等式对无穷多个自然数k=2m成立．现在假设不等式对m=k成立．（是k个数列）≤但是左边所以即不等式对m=k-1也成立。
由反归纳法知，不等式对任意整数k均成立．例２设非负实数满足求证．证明当n=1时，结论显然正确．假设命题在n=k时正确，非负实数满足则成立．现设为k+1个非负实数，满足+要证令，则由归纳假设但是，因为，所以所以证毕如果令．这里均为正实数，则得现在证明下面不等式其中均为正有理数，且证明上面的不等式称为赫勒德尔不等式．当为正无理数且满足条件时，上述不等式当然也成立，只要根据“每一无理数都有理数的极限”，便可证明．最后，再应用“算术平均值大于几何平均值”来证明赫勒德尔不等式．对于，得即于是有所以上式是两个实数列的赫勒德尔不等式．对三个实数列情况，即令这时即赫勒德尔不等式对三个实数列也成立．同理可得赫勒德尔不等式又四个…实数列也成立。
令这里．则得当时，上式就是柯西不等式．由上述不等式可得其中，所以即上述不等式称为明可夫斯基不等式．当k=2时，它的几何意义是两个向量和的模小于每个向量模的和．2 凸函数下面我们给出凸函数定义及其性质．定义2.1如果函数f(x)满足以下条件：对任意x1和x2，有其中，则称f(x)为下凸函数．如果函数f(x)满足下面条件，对任意的x1和x2有其中，则称f(x)为上凸函数．凸函数的几何意义分别用图２－１和图２－２表示．下凸函数的几何特征是曲线f(x)上的点均在相应弦的下方，而上凸函数的几何特征是曲线f(x)上的点均在弦的上方．显然，当时，即是x1与x2中间的点．反之，当x是x1与x2中间的点时，即x1<x< x2，令有，且，有所以闭区间中所有点均为的形式．反之，也是区间中的点．定理2.1若f(x)是下凸函数，则下面不等式成立：其中证明当n=2时，上式即为下凸函数定义，所以定理成立．现假设k=n时定理成立．当k=n+1时，令这时所以所以定理对k=n+1也成立．同理，对上凸函数f(x)也有其中例３由图形知是上凸函数．所以令，则有除去对数符号，得如果令，上式的意义即为算术平均值大于几何平均值．例４设这时（以后说明为什么下凸函数，所以是下凸函数消去，得除去对数符号，得令，则得即几何平均值大于等于的调和值．例５求证圆内接n边形中，以正n边形面积为最大．证明设圆的半径为Ｒ，内接n边形的面积为Ｓ，n边形各边所对应的圆心角为．则因为都区间是上凸函数．所以上式只有在时等号才能成立，也就是说正n边形面积最大．最后我们给出一些与分析有关的不等式．例６若，求证证明因为，令，所以在上式中，如果令，则令，得另一方面，因为所以当，有令，得当时，．练习2.21.设求证．提示2.已知为实数，，求的极大值．3.利用为凸函数性质，证明算术平均值大于等于几何平均值．。
世界数学史上的十个著名不等式
数学史上的十个著名不等式在数学领域里，不等式知识占有广阔的天地，而一个个的重要不等式又把这片天地装点得更加丰富多彩．下面择要介绍一些著名的不等式．一、平均不等式（均值不等式）设，，…，是个实数，叫做这个实数的算术平均数．当这个实数非负时，叫做这个非负数的几何平均数．当这个实数均为正数时，叫做这个正数的调和平均数．设，，…，为个正数时，对如下的平均不等式：，当且仅当时等号成立．平均不等式是一个重要的不等式，它的应用非常广泛，如求某些函数的最大值和最小值即是其应用之一．设，，…，是个正的变数，则（1）当积是定值时，和有最小值，且；（2）当和是定值时，积有最大值，且两者都是当且仅当个变数彼此相等时，即时，才能取得最大值或最小值．在中，当时，分别有，平均不等式经常用到的几个特例是（下面出现的时等号成立；（3），当且仅当时等号成立；（4），当且仅当时等号成立．二、柯西不等式（柯西—许瓦兹不等式或柯西—布尼雅可夫斯基不等式）对任意两组实数，，…，；，，…，，有，其中等号当且仅当时成立．柯西不等式经常用到的几个特例（下面出现的，…，；，…，都表示实数）是：（1），，则（2）（3）柯西不等式是又一个重要不等式，有许多应用和推广，与柯西不等式有关的竞赛题也频频出现，这充分显示了它的独特地位．三、闵可夫斯基不等式设，，…，；，，…，是两组正数，，则（）（）当且仅当时等号成立．闵可夫斯基不等式是用某种长度度量下的三角形不等式，当时得平面上的三角形不等式：右图给出了对上式的一个直观理解．若记，，则上式为四、贝努利不等式（1）设，且同号，则（2）设，则（ⅰ）当时，有；（ⅱ）当或时，有，上两式当且仅当时等号成立．不等式（1）的一个重要特例是（）．五、赫尔德不等式已知（）是个正实数，，则上式中若令，，，则此赫尔德不等式即为柯西不等式．六、契比雪夫不等式（1）若，则；（2）若，则下面给出一个时的契比雪夫不等式的直观理解．如图，矩形OPAQ中，，，显然阴影部分的矩形的面积之和不小于空白部分的矩形的面积之和，（这可沿图中线段MN向上翻折比较即知）．于是有，也即七、排序不等式设有两组数，，…，；，，…，满足，则有，式中的，，…，是1，2，…，的任意一个排列，式中的等号当且仅当或时成立．以上排序不等式也可简记为：反序和乱序和同序和这个不等式在不等式证明中占有重要地位，它使不少困难问题迎刃而解．八、含有绝对值的不等式为复数，则，左边的等号仅当的幅角差为时成立，右边的等号仅当的幅角相等时成立，这个不等式也称为三角形不等式，其一般形式是，也可记为绝对值不等式在实数的条件下用得较多。
世界数学史上的十个著名不等式
数学史上的十个著名不等式在数学领域里，不等式知识占有广阔的天地，而一个个的重要不等式又把这片天地装点得更加丰富多彩．下面择要介绍一些著名的不等式．一、平均不等式（均值不等式）设，，…，是个实数，叫做这个实数的算术平均数．当这个实数非负时，叫做这个非负数的几何平均数．当这个实数均为正数时，叫做这个正数的调和平均数．设，，…，为个正数时，对如下的平均不等式：，当且仅当时等号成立．平均不等式是一个重要的不等式，它的应用非常广泛，如求某些函数的最大值和最小值即是其应用之一．设，，…，是个正的变数，则（1）当积是定值时，和有最小值，且；（2）当和是定值时，积有最大值，且两者都是当且仅当个变数彼此相等时，即时，才能取得最大值或最小值．在中，当时，分别有，平均不等式经常用到的几个特例是（下面出现的时等号成立；（3），当且仅当时等号成立；（4），当且仅当时等号成立．二、柯西不等式（柯西—许瓦兹不等式或柯西—布尼雅可夫斯基不等式）对任意两组实数，，…，；，，…，，有，其中等号当且仅当时成立．柯西不等式经常用到的几个特例（下面出现的，…，；，…，都表示实数）是：（1），，则（2）（3）柯西不等式是又一个重要不等式，有许多应用和推广，与柯西不等式有关的竞赛题也频频出现，这充分显示了它的独特地位．三、闵可夫斯基不等式设，，…，；，，…，是两组正数，，则（）（）当且仅当时等号成立．闵可夫斯基不等式是用某种长度度量下的三角形不等式，当时得平面上的三角形不等式：右图给出了对上式的一个直观理解．若记，，则上式为四、贝努利不等式（1）设，且同号，则（2）设，则（ⅰ）当时，有；（ⅱ）当或时，有，上两式当且仅当时等号成立．不等式（1）的一个重要特例是（）．五、赫尔德不等式已知（）是个正实数，，则上式中若令，，，则此赫尔德不等式即为柯西不等式．六、契比雪夫不等式（1）若，则；（2）若，则下面给出一个时的契比雪夫不等式的直观理解．如图，矩形OPAQ中，，，显然阴影部分的矩形的面积之和不小于空白部分的矩形的面积之和，（这可沿图中线段MN向上翻折比较即知）．于是有，也即七、排序不等式设有两组数，，…，；，，…，满足，则有，式中的，，…，是1，2，…，的任意一个排列，式中的等号当且仅当或时成立．以上排序不等式也可简记为：反序和乱序和同序和这个不等式在不等式证明中占有重要地位，它使不少困难问题迎刃而解．八、含有绝对值的不等式为复数，则，左边的等号仅当的幅角差为时成立，右边的等号仅当的幅角相等时成立，这个不等式也称为三角形不等式，其一般形式是，也可记为绝对值不等式在实数的条件下用得较多。
53几个重要的不等式
5．3几个重要的不等式具备了不等式的基本知识和技能之后，就可以进一步欣赏一些优美而又魅力无限的重要结果。
正如音乐家能够将很少几组音符变化发展为动听美妙的旋律一样，数学家则往往能够通过不多几步逻辑推理揭示出简明优美的结果。
这里要介绍的一些有关不等式的结果就是数学家依靠并不复杂的逻辑推理得到的，然而在其来龙去脉被领悟以前，却常常象变戏法似的神秘莫测。
除了前面已经介绍的贝努利不等式之外，本节将讨论的一些重要不等式包括：柯西不等式，排序不等式，平均不等式等。
这些重要的不等式不仅形式优美、应用广泛，而且也是今后进一步学习高等数学的重要工具。
1． 柯西（Cauchy ）不等式在上一节，我们已经粗略地了解了形如22222)())((bd ac d c b a +≥++的不等式，因其是由大数学家柯西（Canchy ）发现的，故而一般称之为柯西不等式。
柯西不等式有着丰富的几何背景。
可以通过几何解释加深对其本质特征的认识与理解。
请同学们回忆一下我们曾经学过的余弦定理的内容？我们将利用它来解释柯西不等式。
如图，在三角形OPQ 中，θ=∠QOP d c Q b a P ),,(),,(，则 ,,2222d c OQ b a OP +=+=.)()(22d b c a PQ -+-=将以上三式代入余弦定理2222⋅-+=OP OQ OP PQ2222cos dc b a bdac +⋅++=θ或.))(()(cos 222222d c b a bd ac +++=θ 因为1cos 02≤≤θ，所以，1))(()(22222≤+++d c b a bd ac ，于是22222)())((bd ac d c b a +≥++.讨论：借助图形分析，柯西不等式中等号成立的条件是什么?柯西不等式应用相当广泛，我们先通过一些简单的例子加以体会。
例1．已知.1,12222=+=+y x b a 求证：.1≤+by ax （1） 证明：由柯西不等式，.1))(()(22222=++≤+y x b a by ax 所以（1）成立。
几个著名的不等式
（1）
(1
x)n
1
nx( x
0)
，推广为
(1
x)n
1
nx
n(n 1) 2
x2(x
0)
等等.
（2） (1
x )n n
1
x
x2
xn (x
0) .
6.
2n 2n
1
的放缩
n
n
1
(2n 1)2 (2n)2
1
2n 1 2n
(2n 1)2 (2n)2 1
2n 2n
1 1
.
7.
2n 2n
b
2
.
特别地，
（1）若 a12 a22 an2 1 ， b12 b22 bn2 1，则 a1 b1 a2bn anbn 1 . （2） a1a2 a2a3 a3a1 a12 a22 a32 . （3） (a1 a2 an )2 n(a12 a22 an2 ) . （二）推论
1
aikbik ) k
；
当且仅当 a1 a2 an 或 b1 b2 bn 时取等号.
特别地，若
a1
a2
， b1
b2
，则
a1b1
a2b2 2
(a1
a2 )(b1 22
b2
)
；
若
a1
a2
， b1
b2
，则
a1b1
a2b2 2
(a1
a2 )(bБайду номын сангаас 22
b2 )
.
推论 2. 多组正数 a1, a2 ,, an ；b1, b2 ,, bn ；…； z1, z2 ,, zn ；满足 a1 a2 an ， b1 b2 bn ， … ， z1 z2 zn ， 每 组 取 一 个 数 相 乘 再 求 和 S ， 则 有
吴文俊的几个不等式
吴文俊的几个不等式引言吴文俊（1919年-2014年）是中国著名的数学家和科学家，被誉为中国现代数学的奠基人之一。
他在数学领域做出了许多重要贡献，其中包括一些著名的不等式。
本文将介绍吴文俊提出的几个重要不等式，并对其背景、内容和应用进行详细阐述。
1. 吴文俊不等式吴文俊不等式是吴文俊在1962年提出的一组重要不等式，它们被广泛应用于数学、物理和工程领域。
这些不等式在优化问题、泛函分析、非线性偏微分方程等方面具有重要意义。
1.1 不等式一第一个吴文俊不等式是关于函数的凸性质的一个刻画。
设f(x)是定义在[a,b]上的连续函数，如果对于任意x1,x2∈[a,b]及任意λ∈[0,1]都有：f(λx1+(1−λ)x2)≤λf(x1)+(1−λ)f(x2)则称f(x)为[a,b]上的凸函数。
1.2 不等式二第二个吴文俊不等式是关于矩阵特征值的一个重要结果。
设A为n×n的实对称矩阵，其特征值按非降序排列为λ1≤λ2≤...≤λn，则对于任意正整数k≤n，有：|λ1λ2...λk|≤|λ1||λ2|...|λk|1.3 不等式三第三个吴文俊不等式是关于泛函的一个重要结果。
设Ω为定义在区间[a,b]上的可微函数集合，如果对于任意f,g∈Ω都有：∫(f′(x))2 ba dx−∫(f(x)g(x))badx+∫(g′(x))2badx≥0则称该不等式为吴文俊不等式。
2. 吴文俊不等式的应用吴文俊提出的这些不等式在科学研究和工程实践中具有广泛应用。
2.1 凸函数在优化问题中的应用凸函数的性质在优化领域中具有重要作用。
通过利用吴文俊提出的凸函数判定条件，可以判断一个函数是否是凸函数。
在数学规划、最优化理论和算法中，凸函数的性质被广泛应用于求解各种优化问题，如线性规划、二次规划和非线性规划等。
2.2 矩阵特征值在物理和工程中的应用矩阵特征值在物理和工程领域中具有重要意义。
通过吴文俊提出的不等式，我们可以对实对称矩阵的特征值进行估计和分析。
著名不等式公式
三角形内角的嵌入不等式三角形内角的嵌入不等式，在不至于引起歧义的情况下简称嵌入不等式。
该不等式指出，若A、B、C是一个三角形的三个内角，则对任意实数x、y、z，有：算术-几何平均值不等式在数学中，算术-几何平均值不等式是一个常见而基本的不等式，表现了两类平均数：算术平均数和几何平均数之间恒定的不等关系。
设为n个正实数，它们的算术平均数是，它们的几何平均数是。
算术-几何平均值不等式表明，对任意的正实数，总有：等号成立当且仅当。
算术-几何平均值不等式仅适用于正实数，是对数函数之凹性的体现，在数学、自然科学、工程科学以及经济学等其它学科都有应用。
算术-几何平均值不等式经常被简称为平均值不等式（或均值不等式），尽管后者是一组包括它的不等式的合称。
例子在n = 4 的情况，设: ，那么.可见。
历史上的证明历史上，算术-几何平均值不等式拥有众多证明。
n = 2的情况很早就为人所知，但对于一般的n，不等式并不容易证明。
1729年，英国数学家麦克劳林最早给出了一般情况的证明，用的是调整法，然而这个证明并不严谨，是错误的。
柯西的证明1821年，法国数学家柯西在他的著作《分析教程》中给出了一个使用逆向归纳法的证明[1]：命题P n：对任意的n个正实数，1. 当n=2 时，P2显然成立。
2. 假设P n成立，那么P2n成立。
证明：对于2n个正实数，3. 假设Pn成立，那么P n− 1成立。
证明：对于n- 1 个正实数，设，，那么由于P n成立，。
但是，，因此上式正好变成综合以上三点，就可以得到结论：对任意的自然数，命题P n都成立。
这是因为由前两条可以得到：对任意的自然数k，命题都成立。
因此对任意的，可以先找k使得，再结合第三条就可以得到命题P n成立了。
归纳法的证明使用常规数学归纳法的证明则有乔治·克里斯托（George Chrystal）在其著作《代数论》（algebra）的第二卷中给出的[2]：由对称性不妨设xn + 1是中最大的，由于，设，则，并且有。
世界数学史上十个著名不等式
数学史上的十个著名不等式在数学领域里，不等式知识占有广阔的天地，而一个个的重要不等式又把这片天地装点得更加丰富多彩．下面择要介绍一些著名的不等式．一、平均不等式（均值不等式）设，，…，是个实数，叫做这个实数的算术平均数．当这个实数非负时，叫做这个非负数的几何平均数．当这个实数均为正数时，叫做这个正数的调和平均数．设，，…，为个正数时，对如下的平均不等式：，当且仅当时等号成立．平均不等式是一个重要的不等式，它的应用非常广泛，如求某些函数的最大值和最小值即是其应用之一．设，，…，是个正的变数，则（1）当积是定值时，和有最小值，且；（2）当和是定值时，积有最大值，且两者都是当且仅当个变数彼此相等时，即时，才能取得最大值或最小值．在中，当时，分别有，平均不等式经常用到的几个特例是（下面出现的时等号成立；（3），当且仅当时等号成立；（4），当且仅当时等号成立．二、柯西不等式（柯西—许瓦兹不等式或柯西—布尼雅可夫斯基不等式）对任意两组实数，，…，；，，…，，有，其中等号当且仅当时成立．柯西不等式经常用到的几个特例（下面出现的，…，；，…，都表示实数）是：（1），，则（2）（3）柯西不等式是又一个重要不等式，有许多应用和推广，与柯西不等式有关的竞赛题也频频出现，这充分显示了它的独特地位．三、闵可夫斯基不等式设，，…，；，，…，是两组正数，，则（）（）当且仅当时等号成立．闵可夫斯基不等式是用某种长度度量下的三角形不等式，当时得平面上的三角形不等式：右图给出了对上式的一个直观理解．若记，，则上式为四、贝努利不等式（1）设，且同号，则（2）设，则（ⅰ）当时，有；（ⅱ）当或时，有，上两式当且仅当时等号成立．不等式（1）的一个重要特例是（）．五、赫尔德不等式已知（）是个正实数，，则上式中若令，，，则此赫尔德不等式即为柯西不等式．六、契比雪夫不等式（1）若，则；（2）若，则下面给出一个时的契比雪夫不等式的直观理解．如图，矩形OPAQ中，，，显然阴影部分的矩形的面积之和不小于空白部分的矩形的面积之和，（这可沿图中线段MN向上翻折比较即知）．于是有，也即七、排序不等式设有两组数，，…，；，，…，满足，则有，式中的，，…，是1，2，…，的任意一个排列，式中的等号当且仅当或时成立．以上排序不等式也可简记为：反序和乱序和同序和这个不等式在不等式证明中占有重要地位，它使不少困难问题迎刃而解．八、含有绝对值的不等式为复数，则，左边的等号仅当的幅角差为时成立，右边的等号仅当的幅角相等时成立，这个不等式也称为三角形不等式，其一般形式是，也可记为绝对值不等式在实数的条件下用得较多。
希尔伯特空间 柯西施瓦布不等式
希尔伯特空间柯西施瓦布不等式全文共四篇示例，供读者参考第一篇示例：希尔伯特空间是数学中重要的概念，它是一个拓扑线性空间，满足完备性和内积结构的特殊空间。
希尔伯特空间的研究广泛应用于数学分析、泛函分析、量子力学等领域。
在希尔伯特空间中，存在着许多重要的不等式，其中柯西施瓦布不等式是其中之一。
柯西施瓦布不等式是希尔伯特空间中非常重要的不等式之一，这个不等式以19世纪著名数学家奥古斯丁·柯西和约瑟夫·施瓦布的名字命名。
柯西施瓦布不等式描述了希尔伯特空间中内积的性质，它在数学分析和泛函分析中有着广泛的应用。
在希尔伯特空间中，内积是定义在两个向量之间的一种特殊二元运算，它满足线性性、对称性和正定性。
内积可以衡量两个向量之间的夹角和长度关系，因此内积是希尔伯特空间中非常重要的概念。
柯西施瓦布不等式就是描述了内积的一种重要性质。
柯西施瓦布不等式的表述如下：对于希尔伯特空间中的任意两个向量x和y，有|⟨x, y⟨| ≤ ||x|| * ||y||其中⟨x, y⟨表示向量x和y的内积，||x||表示向量x的范数。
柯西施瓦布不等式告诉我们，希尔伯特空间中的内积的绝对值不会超过向量的范数的乘积。
这个不等式的证明比较简单，可以通过内积的性质和基本不等式来推导得到。
第二篇示例：希尔伯特空间是数学里一个非常重要的概念，它是一个完备的内积空间。
希尔伯特空间在函数分析、数学物理和量子力学等领域都有广泛的应用。
在希尔伯特空间中，有一些重要的定理和不等式，其中柯西施瓦布不等式是一个很有意义的不等式。
柯西施瓦布不等式是希尔伯特空间中一个非常重要的不等式，它是由法国数学家柯西和施瓦布在19世纪提出的。
该不等式描述了希尔伯特空间中两个向量内积的关系。
具体来说，柯西施瓦布不等式可以表述为：对于希尔伯特空间中的两个向量x 和y，有|<x, y>| ≤ ||x|| ||y||，其中<x, y> 表示x 和y 的内积，||x|| 表示向量x 的范数。
著名不等式公式(供知识拓展)
三角形角的嵌入不等式三角形角的嵌入不等式，在不至于引起歧义的情况下简称嵌入不等式。
该不等式指出，若A、B、C是一个三角形的三个角，则对任意实数x、y、z，有：算术-几平均值不等式在数学中，算术-几平均值不等式是一个常见而基本的不等式，表现了两类平均数：算术平均数和几平均数之间恒定的不等关系。
设为n个正实数，它们的算术平均数是，它们的几平均数是。
算术-几平均值不等式表明，对任意的正实数，总有：等号成立当且仅当。
算术-几平均值不等式仅适用于正实数，是对数函数之凹性的体现，在数学、自然科学、工程科学以及经济学等其它学科都有应用。
算术-几平均值不等式经常被简称为平均值不等式（或均值不等式），尽管后者是一组包括它的不等式的合称。
例子在n = 4 的情况，设: ，那么.可见。
历史上的证明历史上，算术-几平均值不等式拥有众多证明。
n = 2的情况很早就为人所知，但对于一般的n，不等式并不容易证明。
1729年，英国数学家麦克劳林最早给出了一般情况的证明，用的是调整法，然而这个证明并不谨，是错误的。
柯西的证明1821年，法国数学家柯西在他的著作《分析教程》中给出了一个使用逆向归纳法的证明[1]：命题P n：对任意的n个正实数，1. 当n=2 时，P2显然成立。
2. 假设P n成立，那么P2n成立。
证明：对于2n个正实数，3. 假设P n成立，那么P n−1成立。
证明：对于n- 1 个正实数，设，，那么由于P n成立，。
但是，，因此上式正好变成综合以上三点，就可以得到结论：对任意的自然数，命题P n都成立。
这是因为由前两条可以得到：对任意的自然数k，命题都成立。
因此对任意的，可以先找k使得，再结合第三条就可以得到命题P n成立了。
归纳法的证明使用常规数学归纳法的证明则有乔治·克里斯托（George Chrystal）在其著作《代数论》（algebra）的第二卷中给出的[2]：由对称性不妨设x n+ 1是中最大的，由于，设，则，并且有。
逻辑理论家数学名著38个定理
逻辑理论家数学名著38个定理数学家和逻辑理论家们贡献了大量的定理，它们构成了现代数学的基础。
下面是38个著名的定理：1）笛卡尔不变量定理。
2）欧几里得文书定理。
3）拉格朗日等式定理。
4）拉斯维加斯大定理。
5）贝尔米特定理。
6）黎曼不变量定理。
7）费马小定理。
8）欧拉定理。
9）哥德巴赫猜想。
10）欧拉几何定理。
11）莱布尼茨计数定理。
12）欧拉-拉扎尔定理。
13）地图着色定理。
14）古典拉斯维加斯定理。
15）笛卡尔维尔斯定理。
16）日志可能性定理。
17）图灵机定理。
18）螺旋框架定理。
19）哈密顿定理。
20）康托尔定理。
21）阿基米德定理。
22）欧拉-埃尔文定理。
23）菲波那切定理。
24）赫尔曼-欧拉定理。
25）埃尔文抽象空间定理。
26）希尔伯特-罗尔斯定理。
27）费马大定理。
28）大数定理。
29）罗素不可分定理。
30）费马假设。
31）哈密顿回路定理。
32）拉斯维加斯定理。
33）康拉德定理。
34）莱布尼茨极限定理。
35）拉斯维加斯定理。
36）哥德巴赫猜想。
37）费尔马定理。
38）可计算性定理。
笛卡尔不变量定理，也称为笛卡尔维尔斯定理，是由歐拉所提出的一種數學定理。
它表明，在一個空間中，任何一個標準的坐標系統（例如笛卡爾座標系）都會得到相同的結果。
欧几里得文书定理，也称为欧几里得不等式，是由古希腊数学家欧几里得提出的一种定理。
它表明，在任何一个三角形中，最长的边的平方等于其他两边的平方和。
拉格朗日等式定理，也称为拉格朗日不等式，是一种数学定理，由拉格朗日提出，表明在一个空间中，任何一个点都可以用一个等式来描述。
拉斯维加斯大定理，也称为拉斯维加斯猜想，是由拉斯维加斯提出的一个数学猜想，它指出在一个空间中，任意多边形都可以从一个点到另一点，而不穿过任何其他点。
贝尔米特定理，也称为贝尔米特定理，是由贝尔米特提出的一种数学定理。
它表明，在任何一个凸多边形中，每一条边都有两条角度相等的边，而且每个角都是三角形。
著名不等式公式
三角形内角的嵌入不等式三角形内角的嵌入不等式，在不至于引起歧义的情况下简称嵌入不等式。
该不等式指出，若A、B、C是一个三角形的三个内角，则对任意实数x、y、z，有：算术-几何平均值不等式在数学中，算术-几何平均值不等式是一个常见而基本的不等式，表现了两类平均数：算术平均数和几何平均数之间恒定的不等关系。
设为n个正实数，它们的算术平均数是，它们的几何平均数是。
算术-几何平均值不等式表明，对任意的正实数，总有：等号成立当且仅当。
算术-几何平均值不等式仅适用于正实数，是对数函数之凹性的体现，在数学、自然科学、工程科学以及经济学等其它学科都有应用。
算术-几何平均值不等式经常被简称为平均值不等式（或均值不等式），尽管后者是一组包括它的不等式的合称。
例子在n = 4 的情况，设: ，那么.可见。
历史上的证明历史上，算术-几何平均值不等式拥有众多证明。
n = 2的情况很早就为人所知，但对于一般的n，不等式并不容易证明。
1729年，英国数学家麦克劳林最早给出了一般情况的证明，用的是调整法，然而这个证明并不严谨，是错误的。
柯西的证明1821年，法国数学家柯西在他的著作《分析教程》中给出了一个使用逆向归纳法的证明[1]：命题P n：对任意的n个正实数，1. 当n=2 时，P2显然成立。
2. 假设P n成立，那么P2n成立。
证明：对于2n个正实数，3. 假设Pn成立，那么P n− 1成立。
证明：对于n- 1 个正实数，设，，那么由于P n成立，。
但是，，因此上式正好变成综合以上三点，就可以得到结论：对任意的自然数，命题P n都成立。
这是因为由前两条可以得到：对任意的自然数k，命题都成立。
因此对任意的，可以先找k使得，再结合第三条就可以得到命题P n成立了。
归纳法的证明使用常规数学归纳法的证明则有乔治·克里斯托（George Chrystal）在其著作《代数论》（algebra）的第二卷中给出的[2]：由对称性不妨设xn + 1是中最大的，由于，设，则，并且有。
韦耶尔不等式
韦耶尔不等式
韦耶尔不等式是一个著名的数学定理，由英国数学家菲利普·韦耶尔（Philip Weyl）在1910年首次提出。
它的定义和证明都受到他非常大的贡献。
他的大部分
贡献在于总结了在众多领域的研究结果，使其结论形式更加整洁，在一定条件下也更加准确。
韦耶尔不等式的最简单形式是：对任意实数a,b,c和d，有：ad - bc≤(a+b)(c+d)。
它是根据古典几何概念尤其于矩形集合的性质来推导出来的：对于两个矩形R和S，不管它们的尺寸怎样，R和S的面积的乘积都不会大于它们的总面积的乘积。
当讨论韦耶尔不等式时，最重要的概念是它表明弱减小原理（ Weak Decrease Principle）的结果。
该原理提出，如果面积不减少，则在形状和面积之间有一种关系：量的增加可能会增加面积。
换句话说，以比较同一形状的两个实体，其面积越大，则证据关于形状相同的实体就越强烈。
此外，韦耶尔不等式还指出在有限和可枚举的集合之间有一个重要的均衡关系：对于每一对给定的集合A和B，其中|A|=n，|B|=m，有A中任意n个元素和B中任意m个元素的组合存在乘积不大于nm的元素。
总而言之，韦耶尔不等式是一种优美而优雅的数学定理，它在有限和可枚举的集合之间建立了一个均衡的基础，可以判断实体的实际尺寸以及实体的形状等。
它也是古典几何矩形集合性质的重要结果，它也是弱减小原理的重要结果，为数学家们提供了一条新的路径，以改善矩形形状与大小之间的关系。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
数学史上的十个著名不等式
在数学领域里，不等式知识占有广阔的天地，而一个个的重要不等式又把这 片天地装点得更加丰富多彩•下面择要介绍一些著名的不等式.
一、平均不等式(均值不等式)
当这：个实数非负时叫做这-•个非负数的几何平均数.
当这：个实数均为正数时， • • •叫做这；个正数的调和平均数. 设'，—，•••，‘■•为'•个正数时，对如下的平均不等式: =—二，当且仅 当八 —J 时等号成立.
平均不等式」；是一个重要的不等式，它的应用非常广泛，如求某些函数的 最大值和最小值即是其应用之一.
设是'•个正的变数，贝U
(1)当积是定值时，和I 】1 ■有最小值，且
「是定值时，积有最大值，且
设"，
-是」个实数， ■ 叫做这」个实数的算术平均数
.
两者都是当且仅当：个变数彼此相等时，即J时，才能取得最大值或最小值.
a i + a2 > rr-
在」；中，当「时，分别有；’,
—①=»•• = a =—平均不等式」二经常用到的几个特例是（下面出现的-时等号成立；
（口］ + 十 * ・ * + + —卡.* * + 2 輕'
（3）■■- ，当且仅当「卩〜…"<■时等号
成立；
^ + -1 > 2 _
（4），当且仅当'「时等号成立.
二、柯西不等式（柯西一许瓦兹不等式或柯西一布尼雅可夫斯基不等
式）
对任意两组实数'，_，•••，「；；，•••，：：，有
（◎禹+码為+…£ +昇+…*<）•（獰+衬+…+盯）其中等号当且仅当丑.鱼生
啓切%时成立.
柯西不等式经常用到的几个特例（下面出现的 ''都表示实数）是：
1磧席+…+盯=1贝*禹乜迟+-" + t3Al-1
(1)
(2) + 金尹了+a3cJ L£ E] + +
（3）■-：「” -「・■-
柯西不等式是又一个重要不等式，有许多应用和推广，与柯西不等式有关的竞赛题也频频出现，这充分显示了它的独特地位.
二、闵可夫斯基不等式
设'，‘ ,•••,「；；，•••，：：是两组正数，；！…」，则
[£他+駢]”空｛严+（£們・
- 一.一（’，：.）
.■-I .■-：.■-! （.-. 1）
当且仅当「宀'时等号成立.
闵可夫斯基不等式是用某种长度度量下的三角形不等式，当'…-时得平
面上的三角形不等式：
A
右图给出了对上式的一个直观理解.
若记厂心畧，则上式为
a^b<a + H
四、贝努利不等式
（1）设 --- ”■' ,且同号，则（1十帀）（1+花）…（｝+耳）〉1十吗
（2）设〔，则（i）当〔m 时，有1■ ■ r - ■ ;（n）当：「或
1•时，有i ，上两式当且仅当：|时等号成立.
不等式（1）的一个重要特例是|“ -腸（'—“—）. 五、赫尔德不等式
已知；•；r ■■■ ）是•，个正实数，宀」，则
+ +…吗＜（口】+心+…扌务产©十&厂…+耳尸
上式中若令「:，"，二'，则此赫尔德不等式即为柯西不等式.
六、契比雪夫不等式
玄…■金和％•昭…殂则
—(ah -^ab + -■ • + ab) 2」- ------- 」——
(2)若” •.…二■、' ] "1 ■'■ ■■ ■■ ■ ■ ■：则
詬”必7+呦J*勺十…叫
F面给出一个，：时的契比雪夫不等式的直观理解.
如图，矩形OPAQK ' 「，匸，显然
阴影部分的矩形的面积之和不小于空白部分的矩形的
面积之和，（这可沿图中线段MN向上翻折比较即
知）•于是有
（曲+也）（囱十右打 < 维角+色為）也即
七、排序不等式
设有两组数'，“，…，一；-，•，••;:满足：：「-…-亠二-二-' -■■■
贝q有拆夜+的占皆1 +…+耳外冬轉如+心如"・・+皱码£%血卡砌妇+…+爲A，式中的
,二…；,是1,2,…；的任意一个排列，式中的等号当且仅当—---------------- •或「厂…：时成立.
以上排序不等式也可简记为：反序和二乱序和二同序和
这个不等式在不等式证明中占有重要地位，它使不少困难问题迎刃而解.
八、含有绝对值的不等式
':为复数，则I ' ’，左边的等号仅当’’的幅角差为『时成立，右边的等号仅当一…的幅角相等时成立，这个不等式也称为三角形不等式，
其一般形式是
同+①+…+叫卜|內卜忆|+…斗W
也可记为ml j-1
绝对值不等式在实数的条件下用得较多
九、琴生不等式
设’「是（-：）内的凸函数，贝U对于（-：）内任意的几个实数有
/( _= --------- ) ■ -[f(X1) */(花)十…十了(耳)]等号当且仅当、时取得.
琴生不等式是丹麦数学家琴生于1905年到1906年间建立的。
利用琴生不等式
我们可以得到一系列不等式，比如“幕平均不等式”，“加权的琴生不等式”等
也可记为ml j-1
等.
十、艾尔多斯一莫迪尔不等式
设p为hABC内部或边界上一点，P到三边距离分别为PD PE, PF,则
PA + PB^PC> 2（FD+ FE + FF）
当且仅当二盘'为正三角形，且P为三角形中心时上式取等号.
这是用于几何问题的证明和求最大（小）值时的一个重要不等式.
如果以上这些著名不等式是数学家们长期致力于不等式理论研究的重要成果，它们已
变成了我们学习数学、研究数学、应用数学的得力工具.。