中值定理构造辅助函数.docxVIP

中值定理构造辅助函数 中值定理构造辅助函数 PAGE / NUMPAGES 中值定理构造辅助函数 微分中值定理证明中辅助函数的构造 原函数法 此法是将 形并向 定理的 靠 ，凑出适当的原函数作 助函数， 主要思想分 四点： (1) 将要 的 中的 成 x ；(2) 通 恒等 形将 化 易 消除 数符号的形式； (3) 用 察法或 分法求出原函数 （等式中不含 数符号），并 取 分常数 零； (4) 移 使等式一 零，另一 即 所求 助函数 F (x) ． 例 1： 明柯西中 定理． 分 析 ： 在 柯 西 中定 理 的f (b) f ( a) f ( ) 中 令 x ， 得 g (b) g(a) g ( ) f (b) f (a) f ( x) ， 先形f (b) f (a)gg ( x) f (x) 再 两同分 得 g(b) g( a) g (x) g (b) g(a) f (b) f (a)gg( x) f ( x) C ， 令 C0，有 f ( x) f (b) f (a) gg (x) 0 故 g(b) g( a) g(b) g(a) F ( x) f (x) f (b) f ( a) gg( x) 所求 助函数． g (b) g (a) 例 2：若 a0 , a1 , a2 , ? , a1 a2 ? an 0 的 数． 明方程 an 是使得 a0 3 n 1 2 a0 a1x a2 x2 ? an xn 0 在（ 0，1）内至少有一 根． ：由于 (a0 a1x a2 x2 ? an xn )dx a0 x a1 x2 a2 x3 ? an xn 1 C 2 3 n 1 并且 一 分 果与 条件和要 明的 有 系，所以 F ( x) a1 x 2 a2 x 3 ? an x n 1 （取 C 0）， a0 x 3 n 1 2 1） F (x) 在[0 ， 1] 上 2） F (x) 在（ 0，1）内可 3） F (0) =0， F (1) a0 a1 a2 ? an 0 2 3 n 1 故 F (x)足定 理 的 条 件 ， 由定 理 ， 存在 (0,1) 使F( ) 0 ，即 a1 2 a2 3 ? an x n 1 ) x 2 ? an n 0 ． (a0 x x x n 1 0 亦即 a0 a1 a2 2 3 这说明方程 a0 a1 x a2 x2 ? an xn 0 在（ 0， 1）内至少有实根 x ． 积分法 对一些不易凑出原函数的问题，可用积分法找相应的辅助函数． 例 3：设 f ( x) 在[1 ，2] 上连续，在（ 1， 2）内可导， f (1) 1 ， f (2) 2 ．证明 2 存在 (1,2) 使 f ( ) 2 f ( ) ． 分析：结论变形为 f ( ) 2 f ( ) 0 ，不易凑成 ( ) 0 ．我们将 换为 x ， F x x 结论变形为 f (x) 2 0 ，积分得： ln f ( x) 2ln x ln f ( x) ln c ，即 f ( x) c ，从而 f ( x) x x2 x2 可设辅助函数为 F ( x) f ( x) ，有 F (1) F (2) 1 ．本题获证． x2 2 例 4：设函数 f ( x) ， g( x) 在 [ a,b] 上连续，在 ( a, b) 内可微， f (a) f (b) 0 ．证 明存在 (a,b) ，使得： f ( ) f ( ) g ( ) 0 ． 证：将 f ( ) f ( )g ( ) 0 变形为 f ( ) f ( ) g ( ) f ( ) g ( )，将 换 f ( ) 为 x ， 则 f (x) g ( x) ，两边关于 x 积分，得： f (x) f (x) dx g ( )dx 1 d[ f (x)] d[ g( x)] ln f ( x) g(x) C ， 所 以 f (x) f ( x) f (x) exp( g (x) C ) exp( g( x))gexp( C ) K exp( g ( x)) ，其中 K exp( C ) ， 由 f (x) Kexp( g (x)) 可得 K f (x)exp( g (x)) ．由上面积分的推导可知， f (x)exp( g( x)) 为一常数 K ，故其导数必为零，从整个变形过程知，满足这样结论的 的存在是不成 问题的．因而令 F ( x) f (x)exp( g(x)) ，易验证其满足罗尔定理的条件，原题得证． 几何直观法 此法是通过几何图形考查两函数在区间端点处函数值的关系， 从而建立适当的辅 助函数． 例