辅助线不等式.docx

帮助线不等式（切线法） 对于给出的任何不同的函数，都有一个简洁的方法找到新边界；我们用正 切线为例； 命题 4.2 ：设 f 为实值函数，  m , n R ，假设： |精. ⑴ 对某确定的 R ， f 〔 〕 m n ； |品. |可. |编. |辑. |学. |习. |资. |料. * | ⑵ 对一切包含 的区间 〔 1 , 2 〕 ， x 〔 1 , 2 〕 ，就 ⑶ f 在 处可导 . f 〔 x 〕 mx n ； * | * | 就： f 的帮助线 y mx n 就是 f 在 处的切线； * | |欢. |迎. |下. |载. 证明 ：我们定义一个在 x 〔 1 , 2 〕 区间存在的函数 F 〔 x〕 f 〔 x〕 mx n ，就由 f 在 处可导得：处可导得： FF 〔〔 〕〕 f 〔 〕 m . 由上面的假设⑴和⑵，可见 F 在 处有微小 值，所以一次导数在此为 0 ，即： 0 F 〔 〕 f 〔 〕 m ，即： m f 〔 〕 ， n f 〔 〕 m f 〔 〕 f 〔 〕 . 于是： y mx n f 〔 〕〔 x 〕 f 〔 〕 【内斯比特不等式】对一切正实数 a , b,c ，恒有： a b c 3 b c c a a b 2 【证明】由于三个变量的对称性，可以进行规范化变换： a b c 1 留意到： 0 a , b, c 1 ，此题变为：  cyc f 〔a〕 3 2 即： f 〔a 〕 f 〔 b〕 f 〔c〕 f 1 ，其中： f 〔 x 〕 x 3 3 1 x f 在 x 1 处的切线方程为： y mx n ① 3 1 其中： m f 〔 1 〕 1 9 ， f 〔 1 〕 3 1 3 〔1 x 〕2 1 4 3 3 1 1 2 3 代入 y mx n f 〔 〕〔 x 〕 f 〔 〕 得： y 9 〔 x 1 〕 1 4 3 2 第 1 页 第 1 页，共 4 页 即： y 9 1 3 9 x x 1 9x 1 ，其中： x 〔 0, 1〕 4 2 4 4 4 4 函数： F 〔 x 〕 f 〔 x 〕 mx n x 9 x 1 4 x 〔1 x 〕〔 9 x 1〕 ② 1 x 4 4 〔1 x 〕 因： 4x 〔1 x 〕〔9x 1〕 4x 9x 2 10x 1 〔3x 1〕2 〔3x 1〕 2 代入②式得： F 〔 x 〕 0 ③ 4〔1 x 〕 故： a b c 9a 1 9b 1 9c 1 9〔a b c〕 3 3 |精. |品. |可. |编. |辑. |学. |习. |资. |料. * | * | * | 1 a 1 b 1 c 4 4 4 4 2 将上述的证明一般化， 假如某个函数 f 在函数图象的某点有帮助线， 就 f 在以下情形下满意琴生不等式； 定理 4.5 ：（切线不等式） 设函数 f 为在实数 [a ,b] 空间的一个函数， 假设 [ a, b] ， * | |欢. |迎. |下. |载.  且 m R ，对一切 x  [a , b] 满意： f 〔 x 〕 m 〔 x 〕 f 〔 〕 设： 1 ,..., n 0 且 1 ... n 1 ，就以下不等式成立： 1 f 〔 x1 〕 ... n f 〔 x n 〕 f 〔 〕 〔 4 5 〕 其中： x1,..., x n [a ,b] 且 x1 ... x n s ，其中 s [ na , nb ] . 证明 ：设 〔a, b〕 ，满意： 1 f 〔 x1 〕 ... n f 〔 x n 〕 1 [m 〔 x1 〕 f 〔 〕] ... 1[ m 〔 x n 〕 f 〔 〕] f 〔 〕 对于可导函数，我们可以应用切线不等式推导出琴生不等式； 引理 4.3 ：设 f 为在 〔a , b〕 区间具有二次导数的向下凸函数， 设 y l 〔 x 〕 为 x 处 的切线；就对一切 〔a ,b 〕 恒有： f 〔 x 〕 l 〔 x 〕 . 证明 ：设 〔a, b〕 ，我们要证明切线 y l 〔 x 〕 f 〔 〕〔 x 〕 f 〔 〕 ，就是在 x 处 的帮助线，于是，对一切 x 〔a ,b 〕 都有 f 〔 x 〕 l 〔 x 〕 . 然而，由泰勒定理，我们可以找到一个 x 〔 , x 〕 ，满意： f 〔 x 〕  f 〔 〕  f 〔 〕〔 x f 〔 〕 2 x 〕 〔 x 〕2 f 〔 〕  f 〔 〕〔 x 〕 加权琴生不等式：设连续函数