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

微分中值定理证明中辅助函数的构造 1 原函数法 此法是将结论变形并向罗尔定理的结论靠拢，凑出适当的原函数作为辅助函数， 主要思想分为四点： (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 ) f (b) f (a ) gg (x) f (x ) C ， 令 C 0 ， 有 f ( x) gg (x) 0 故 g (b) g( a) g (b) g (a ) f (b) f ( a) g 为所求辅助函数． F (x) f (x ) g (x) g (b) g (a ) a1 a2 an 例 2 ：若 a0 , a1 , a2 , …, an 是使得 a0 … 0 的实数．证明方程 2 3 n 1 2 n a a x a x … a x 0 在（ 0 ，1 ）内至少有一实根． 0 1 2 n 2 n a1 2 a2 3 an n 1 证：由于 (a a x a x … a x )dx a x x x … x C 0 1 2 n 0 2 3 n 1 并且这一积分结果与题设条件和要证明的结论有联系，所以设 a1 2 a2 3 an n 1 F (x)