探讨定积分不等式的证明方法模板计划总结计划模板计划模板.doc

探讨定积分不等式的证明方法 摘要：文章针对被积函数的特性，给出了几种关于定积分不等式的有效 证明方法。 关键词：定积分 不等式 证法 不等式的证明在高等数学的学习中很常见，但关于定积分不等式的证明 却一直是一个难点。要证明定积分不等式，首先要看被积函数，其性质确定 证明方法。本文根据被积函数的连续性、单调性、可导性等分别给出几种证 法。 1．运用定积分中值定理证明 定积分中值定理是将定积分转化为连续函数在该区间上某点的函数值与 该区间长度的乘积，即将定积分转化为函数来证明不等式。 a ∈[0,1] 有 a 例 1：设 f ( x) 在[0,1] 上连续且单调不增， 证明 f (x)dx ≥ 0 1 a f (x)dx． 0 a a 1 证明：由原不等式变形得 0 f (x)dx ≥ a（ f (x)dx 0 0 a 1 即是要证： (1 a) f (x)dx≥ a f (x)dx, 0 0  f (x)dx) , 对左式， f (x) 在[0,1] 上连续， 故 由 定 积 分 中 值 定 理 知 ： 1 0，a 使 a a(1 a) f ( 1 ) , （1 a) f (x)dx 0 1 a(1 a)f ( ) 同理对右式： 2 a， a f (x)dx 2 , 1 使 0 显然， 1＜ 2 又 f(x) 在[0,1] 上单调不增， ∴ f ( 1)≥ f ( 2) a f (x)dx ≥ a 1 f (x)dx成立 . 故原不等式 0 0 定积分中值定理的运用直观易懂，它的条件也极其简单，易于掌握。 2．运用辅助函数证明 构造辅助函数 F(x) 证明不等式，首先是做函数将要证结论中的积分上限（下限）换成 x，移项使不等式的一边为零，另一边的表达式即是辅助函数。然后再求 F’(x)，并运用单调性及区间端点值特性证明不等式。 2：设 f ( x) 在[a，b]上连续 ,且 f (x) >0. b b 1 (b a) 2 试证： f (x)dx dx a a f (x) 证明：构造辅助函数 F ( x) x x 1 (x a) 2 a f (t )dt dt （将 b 换成 x）， a f (t ) 则 F ' (x) x 1 dt 1 x 2( x a) f (x) f ( x) f (t )dt a f (t) a x f ( x) x f (t ) x = a dt dt 2dt f (t ) a f ( x) a x f ( x) f (t ) 2)dt = ( f (t) f ( x) a f (x) f (t) 2 0 ， ∵ f (x) ＞0，∴ f (x) f (t) 又 a < x ，∴ F ' (x) 0 ， 即 F ( x) 单调不减，又 F (a) 0 ，∴ F (b) F (a) 0 ， 故 b f ( x)dx b 1 dx (b a) 2 a a f (x) ． 该题构造出积分上限函数，其目的是用单调性来证明不等式。这种方法 开门见山、直截了当。 3．运用定积分的性质和几何意义证明 与定积分的概念相联系“以直代曲”的“近似代替”的思想，加上积分 的几何直观使得不等式的证明变得更加简捷。 例３：证明不等式 3 sin x dx ． x (1 2 1 e x ) 12e 证明：因为 1 x3 时 x sin x 1 ，两端积分得： (1 2 ) e(1 x 2 e x ) 3 sin x dx 1 3 1 x 2 ) e 1 1 x 2 12e 1 e (1 x 例４：设 a,b 1 时，证明不等式 ab ea 1 b ln b ． 证明： bln b b a 1 a 1 x dx 1 ， ln xdx b 1， e e 1 0 根据定积分的几何意义知： b a 1 bln b ea b ， （a 1)b ln xdx ex dx 1 1 0 即 ab ea 1 b ln b . 本题关键在于深刻领悟定积分概念的由来，即求曲边梯形的面积问题推 导的四个步骤：分割、取点、作和与求极限，这里充分运用了“近似代替” 的几何直观来加以证明。 4．运用拉格朗日中值定理证明 利用拉格朗日中值定理证明不等式，首先要构造满足中值定理条件的函 数和区间，然后进行不等式放缩，再用定积分比较定理、估值定理或函数的 绝对值不等式等。 例 5：设 f ( x) 在 [ a, b] 上可导，且 f '( x） M ， f (a) 0 ， b M (b a)2 . 试证： f ( x)dx a 2 证明：由题设 x [ a, b] ， f ( x) 在[a，b] 上都满足拉氏中值定理的条件， 于是有： f (