(完整版)推广的罗尔定理的证明

推广的罗尔定理
设函数()f x 在(,)a +∞上可导，且满足 lim ()lim ()x x a f x f x A +→+∞
→==(有限或为±∞)， 则必存在(,+)a ξ∈∞，使得()=0f ξ'.
（1） A 为有限数情况
证明1： 若()f x 恒等于A ，则()=0f x '，(,+)a ξ∞可以取中的任何值，都有()=0f ξ'. 若()f x 不恒等于A ，首先作变量代换， 令tan ,(arctan ,)2
x t t a π=∈，则()(tan )(),(arctan ,)2f x f t g t t a π
→=∈ ----------- 这一步把无穷区间转化为有限区间 再构造辅助函数()(arctan ,)2()arctan 2
g t t a F t A t a t ππ⎧∈⎪⎪=⎨⎪==⎪⎩和, -------- 这一步把开区间转化为闭区间 显然()F t 在[arctan ,
]2a π上满足罗尔定理的三个条件，所以(arctan ,)2a πη∃∈，使得()=0F η'， 由于在(arctan ,)2a π
上，()=g ()F t t ''，因而()=g ()=0F ηη''.
2()=[(tan )](tan )sec g t f t f t t '''=，故2()(tan )sec =0g f ηηη''=，由于在(arctan ,)2a π上， 2sec 0η≠，(221sec 0,(arctan ,)(,)cos 222
a πππηηη=≠∈⊂-), 所以(tan )=0f η'， 令=tan (,)a ξη∈+∞，则有()=0f ξ'. 证毕.
证明2：若()f x 恒等于A ，则()=0f x '，(,+)a ξ∞可以取中的任何值，都有()=0f ξ'. 若()f x 不恒等于A ，则存在0(,)x a ∈+∞，使得0()f x A ≠，不妨设0()f x A >(对0()f x A < 的情形同理可证)，由于lim ()lim ()x x a f x f x A +→+∞
→==，且()f x 在(,)a +∞上连续，则一定存在1020(,),(,)x a x x x ∈∈+∞使得012()()()2
f x A f x f x +==，任意取定实数μ，使其满足00()+()2
f x A f x μ<<，显然()f x 在1002[,],[,]x x x x 上连续，在这两个区间上分别应用介值定理，得到110202(,),(,)x x x x ηη∈∈使得12()()f f ηημ==，最后在12[,]ηη上应用罗尔定理，得到12(,)(,+)a ξηη∃∈⊂∞，使得()=0f ξ'.
（2） A =+∞的情况（A =-∞的情况同理可证）
由于lim ()lim ()+x x a f x f x +→+∞
→==∞，取定00(,)()x a f x μ∈+∞>及， 则由于()f x 在(,)a +∞上连续，故1020(,),(,)x a x x x ∃∈∈+∞，使12()()f x f x μ==， 在闭区间上12[,]x x 上对()f x 应用罗尔定理，12(,)(,+)x x a ξ∃∈⊂∞，使得()=0f ξ'.
注： 若将区间(,)a +∞变为(,)-∞+∞，只需将证明1的变换改为tan ,(,)22x t t ππ=∈-， 其余不变。

推广的罗尔定理以后在其它命题的证明中可以直接当结论用。