不等式专题----理论和技巧.DOC

不等式专题（tobeenough编译） 第 PAGE 6 页 不等式专题定理和技巧 （tobeenough编译） 引言： 不等式在所有数学领域都有用，本书阐述不等式定理的基本技巧。读者将看到一些经典定理，如舒尔不等式、缪尔海德定理、柯西-苏瓦茨不等式、幂平均不等式、不等式、霍尔德定理。 对学生： 本书的读者面向高年级的有想进一步提高数学水平的高中生和大学生，本书提到的技巧是不等式难题的窍门，学生们也可以发现自己功课不同难题的方法。 目录： 1、几何不等式 1.1拉维换元 1.2三角方法 1.3复数的应用 2、4个基本技巧 2.1三角换元 2.2代数换元 2.3增函数定理 2.4建立新边界 3、齐次化和标准化 3.1齐次化 3.2舒尔不等式和缪尔海德定理 3.3标准化 3.4柯西-苏瓦茨不等式和霍尔德定理。 4、凸函数 4.1琴生不等式 4.2幂平均不等式 4.3最优化不等式 4.4辅助线不等式 5、例题 5.1多变量不等式 5.2帕特南研讨会 Ch1. 几何不等式 1.1拉维换元 许多不等式因采用合适的换元而简单化，让我们从三角几何的经典不等式开始。 最重要的几何不等式是哪个？1746年，察柏尔证明了一个定理： 定理1.1：设和分别代表的外接圆半径和内切圆半径，则.当且仅当等边三角形时取等号。 证明：设的三边分别为，半周长，面积为， 则： 还有： 且： 式就是海伦公式。 由得：，而由式得：，那么相当于 即： 定理1.2：设为三角形的三个边长，则有： 等号当且仅当时成立。 证明：采用拉维换元，设，，，其中 那么，，则：，， 式即： 而： 即：. 证毕。 CABODEF【练习1】设 C A B O D E F 如图，对直角三角形，设为直角边，为斜边， 则，且，是三角形外接圆半径。 【试证】三角形的面积：， 则：，即： 将代入得： = 1 \* GB3 ① 即令： = 2 \* GB3 ② 采用均值不等式：，代入 = 2 \* GB3 ②式 得： 代入 = 1 \* GB3 ①式得：. 证毕. 定理1.3：设，则： 等号当且仅当时成立。 证明：既然不等式的变量是对称的，不适一般性，设，则：，. 若，则：构成三角形的三边（两边之和大于第三边）； 此时，由定理2可得到结果。 现在，假设，则： 定理1.2的不等式，在当中部分变量为零时依然成立。 定理1.4：设，则： 证明：既然，我们发现正数列，，，数列具有 ，， 由定理2得到： 两边讨论极限，我们得到结果。 很明显，当时等号成立。 然而，和，不能保证得到. 事实上，对，等式等效于 或，或，或， 可以理解为当变量为0时的等式结果。 可以直接证明等式： 故：定理4是舒尔不等式的特例。 （注：舒尔不等式：对于非负数和正数，有，仅当 = 1 \* roman i或 = 2 \* roman ii且，或且，或且时等号成立；当为偶数时，不等式对所有实数都成立。） 【试题1】设是正数且，试证：. 【解析】既然且，主要是，采用换元，，， 则不等式为： 即： 即：. 为定理4. 拉维换元对像三角形的三边长的不等式很有用，拉维换元后，可以消去三角形的三边长的条件。 【试题2】设是一个三角形的三边长，试证：. 【解析】采用拉维换元，，，，且. 则不等式变为： 展开化简为： 两边同除以得： 采用柯西-苏瓦茨不等式：，即证。 【练习2】设是一个三角形的三边长，试证：. 【试证】采用拉维换元，令，， 则： 同理：；. 三式相加得： 即：. 证毕。 【练习3】设是一个三角形的三边长，试证：. 和：. 【试证】先化简，再用拉维换元 由于共有12项，分成3份，每份4项. = 1 \* GB3 ① 采用拉维换元：令，，， 则： 三式相加并除以2得： = 2 \* GB3 ② 则 = 2 \* GB3 ②式乘以就等于 = 1 \* GB3 ①式。 由： 得 = 2 \* GB3 ②式不小于，即 = 1 \* GB3 ①式不小于. 证毕。 第二个式子证法与此类似，请读者自证。 我们现在开始研究魏琴伯克不等式，也称外森比克不等式。 【试题3】设是一个面积为三角形的三边长，试证： 这个式称为外森比克不等式。 【解析】采用拉维换元，，，，且. 不等式变为： 其中：，（为半周长） 推导如下： 由于： 所以： 则： 定理1.5：对任何面积为、边长为的三角形，有不等式： 这个不等式称为芬斯勒-哈德威格不等式。 证明：采用拉维换元，，，，且. 及： 代入式得： 式可由恒等式： 得证。 也可采用凸函数性质证明。 证法二：由许多方法证明： 对于凸函数，用琴生不等式可以证明： 当时， 故： （注：琴生不等式：对于向下凸出的函数，函数的均值不小