广义罗尔定理的形式.docxVIP

广义罗尔定理的形式 罗尔理性是微分学中的一个重要理性。它不仅传达了函数和导函数之间的关系，也是微积分学中许多理气的基础。罗尔的推理描述如下。 定理1 (Rolle)设函数f(x) 在[a,b]上连续, 在 (a,b) 内可导, 且 f(a) =f(b) , 那么存在一点ξ∈ (a,b) , 使得 f′ (ξ) =0. 罗尔定理对所涉及的函数的要求过于苛刻, 我们希望能得到一个更为宽泛的结论, 因此有必要对其条件进行放宽, 放宽条件后的罗尔定理 (不妨将其称之为广义罗尔定理) 有如下8种形式: 推论1 设函数f(x) 在区间 (a,b) 上连续, 在区间 (a,b) 内可导, 且 limx→a+f(x)=limx→b?f(x)=A,limx→a+f(x)=limx→b-f(x)=A, 其中A为常数, 则存在ξ∈ (a,b) , 使得 f′ (ξ) =0. 推论2 设函数f(x) 在区间[a,b) 上连续, 在区间 (a,b) 内可导, 且 limx→b?f(x)=f(a),limx→b-f(x)=f(a), 则存在ξ∈ (a,b) , 使得 f′ (ξ) =0. 推论3 设函数f(x) 在区间 (a,b]上连续, 在区间 (a,b) 内可导, 且 limx→a+f(x)=f(b),limx→a+f(x)=f(b), 则存在ξ∈ (a,b) , 使得 f′ (ξ) =0. 推论4 设函数f(x) 在区间[a, +∞) 上连续, 在区间 (a, +∞) 内可导, 且 limx→+∞f(x)=f(a),limx→+∞f(x)=f(a), 则存在ξ∈ (a, +∞) , 使得 f′ (ξ) =0. 推论5 设函数f(x) 在区间 (a, +∞) 上连续, 在区间 (a, +∞) 内可导, 且 limx→+∞f(x)=limx→a+f(x)=A,limx→+∞f(x)=limx→a+f(x)=A, 其中A为有限实数, 则存在ξ∈ (a, +∞) , 使得 f′ (ξ) =0. 推论6 设函数f(x) 在区间 (-∞,a]上连续, 在区间 (-∞,a) 内可导, 且 limx→?∞f(x)=f(a),limx→-∞f(x)=f(a), 则存在ξ∈ (a, +∞) , 使得 f′ (ξ) =0. 推论7 设函数f(x) 在区间 (-∞,a) 上连续, 在区间 (-∞,a) 内可导, 且 limx→?∞f(x)=limx→a?f(x)=A,limx→-∞f(x)=limx→a-f(x)=A, 其中A为有限实数, 则存在ξ∈ (-∞,a) , 使得 f′ (ξ) =0. 推论8 设函数f(x) 在区间 (-∞, +∞) 上连续, 在区间 (-∞, +∞) 内可导, 且 limx→?∞f(x)=limx→+∞f(x)=A,limx→-∞f(x)=limx→+∞f(x)=A, 其中A为有限实数, 则存在ξ∈ (-∞, +∞) , 使得 f′ (ξ) =0. 证明以下仅给出推论8的证明.其他推论的证明与此类似. 若f(x) 是常值函数, 则结论显然成立.下面只讨论f(x) 不是常值函数的情形. 在此情形下, 不妨设存在x0∈ (-∞, +∞) , f(x0)A=limx→±∞f(x).f(x0)A=limx→±∞f(x). 因为f(x) 在 (-∞, +∞) 上连续, 根据连续函数介值定理的推广形式可知, 存在 ξ1∈ (-∞,x0) ,ξ2∈ (x0, +∞) , 使得 f(ξ1) =f(ξ2) . 再由罗尔定理知, 存在 ξ∈ (ξ1,ξ2) ? (-∞, +∞) , 使得 f′ (ξ) =0. 结论得证. 推论1到推论8都要求区间两端的极限存在, 下面我们将结论进一步推广. 定理2 若函数f(x) 在区间 (a,b) 内可导, 且 limx→a+f(x)=limx→b?f(x)=±∞.limx→a+f(x)=limx→b-f(x)=±∞. 则存在ξ∈ (a,b) , 使得 f′ (ξ) =0. 证明不妨设 limx→a+f(x)=limx→b?f(x)=+∞.limx→a+f(x)=limx→b-f(x)=+∞. 并令 M=f(a+b2)Μ=f(a+b2), 则存在δ1(0δ1b?a2)δ1(0δ1b-a2), 使得对满足 axa+δ1 的一切x, 均有 f(x) M. 故而存在x1∈ (a,a+δ1) , 使得 f(x1) M. 而对于上述f(x1) , 存在δ2(0δ2b?a2)δ2(0δ2b-a2), 使得对满足 b-δ2xb 的一切x, 均有 f(x) f(x1) , 故而存在x2∈ (b-δ2,b) , 使得 f(x2)f(x1)f(a+b2).f(x2)f(x1)f(a+b2). 由连续函数介值定理知存在ξ1∈(a+b2,x2)ξ1