故在(a,b)内的每一点都可取作定理显然成立 (2)若M≠m,而f(a)=∫(b) 则数M与m中至少有一个不等于端点的数值,不妨设 M≠f(a,从而在区间(a,b)内至少存在一点ξ使得(=M 下面证明f()=0 因f(2)=M,则不论△x>0或△x<0,恒有 ∫(9+△x)-f(4)≤0(5+△x∈(a,b) 当Ax>0时,有(5+A-52≤0 当Ax<0时,有(5+A)-f(5)≥0 (2)
6 故在(a , b)内的每一点都可取作 ξ . 定理显然成立. (2) 若 M m , 而ƒ(a) = ƒ(b) M f a ( ), f ( ) 0. = f x f x a b ( ) ( ) 0 ( ( , )) + − + ( ) ( ) 0 (1) f x f x + − ( ) ( ) 0 (2) f x f x + − 从而在区间(a , b)内至少存在一点 ξ.使得ƒ(ξ) =M 则数 M 与 m 中至少有一个不等于端点的数值, 不妨设 下面证明 因ƒ(ξ)= M,则不论Δx>0或Δx<0, 恒有 当Δx > 0时,有 当Δx < 0时, 有
而x)在(ab)内可导,则f(存在 且f()存在台f(4)=∫()=f(5) 则对式(1)和式(2取极限有 f(5)=∫(4)=lim f(5+A)-f(6)0 x→ f(5)=/(5)=lim(5+△)-f5 ≥0 故必有∫(5)=0
7 而ƒ(x)在(a, b)内可导, 则 f ( ) . 存在 0 ( ) ( ) ( ) ( ) lim 0 x f x f f f x + + → + − = = 0 ( ) ( ) ( ) ( ) lim 0 x f x f f f x − − → + − = = 故必有 f ( ) 0. = 则对式(1)和式(2)取极限有 ( ) ( ) ( ) ( ). f f f f + − 且 存在 = =
注1罗尔定理中的三个条件是充分条件,缺一不可否 则结论不一定成立(一般地说结论正确就需证明;否则, 只须举反例即可用下列各图形分别说明 ∫(a)≠∫(b)f(x)在/a,b内f(x)在(a,b)内有 有间断点 不可导点(尖点) 注2.罗尔定理中的三个条件是充分而不必要的如
8 注1.罗尔定理中的三个条件是充分条件, 缺一不可.否 则结论不一定成立.(一般地说结论正确就需证明;否则, 只须举反例即可)用下列各图形分别说明: o y x a b y=f(x) o y a b x y=f(x) o y a b x y=f(x) ° ° ξ ξ f a f b ( ) ( ) ƒ(x)在[a, b]内 有间断点ξ ƒ(x)在(a, b)内有 不可导点ξ (尖点) 注2.罗尔定理中的三个条件是充分而不必要的,如
3 sinx0≤x≤-元 ∫(x) 3 cosx-兀<X y=f(r) 此函数在其定义域内罗尔定理中的三个条件均 不满足,但是却存在ξ=和ξ=π,使 f(x)=f(z)=0
9 3 sin 0 4 ( ) 3 5 cos 4 4 x x f x x x = 2 此函数在其定义域内罗尔定理中的三个条件均 不满足, 但是却存在 和 ξ = π, 使 o x y=f(x) y ° • π 2 = ( ) ( ) 0. 2 f f = =
注3罗尔定理是定性的结果,它只肯定了至少存在 一个,而不能肯定的个数,也没有指出实际计算 2的值的方法.但对某些简单情形,可从方程中解出 例1.验证函数f(x)=x3+4x2-7x-10在区间[-1,2 上满足罗尔定理的条件,并求出满足此结论中的§值
10 例1. 验证函数 在区间[–1, 2] 上满足罗尔定理的条件, 并求出满足此结论中的 ξ 值. 3 2 f x x x x ( ) 4 7 10 = + − − 注3.罗尔定理是定性的结果, 它只肯定了至少存在 一个ξ , 而不能肯定 ξ 的个数, 也没有指出实际计算 ξ 的值的方法. 但对某些简单情形, 可从方程中解出 ξ