极值点性质的证明问题

xray

对于一个连续可微的函数，下面命题：
两个极大（小）值点之间必有一个极小（大）值
如何证明啊？

yelv123

涉及到两个定理
（1）若函数

                               
登录/注册后可看大图

可导，且

                               
登录/注册后可看大图

是

                               
登录/注册后可看大图

的极值点，则有

                               
登录/注册后可看大图

，即

                               
登录/注册后可看大图

是

                               
登录/注册后可看大图

的驻点，（驻点即导函数的零点）
（2）第一充分条件：若函数

                               
登录/注册后可看大图

在

                               
登录/注册后可看大图

内连续，

                               
登录/注册后可看大图

是

                               
登录/注册后可看大图

的驻点或者

                               
登录/注册后可看大图

是

                               
登录/注册后可看大图

的不可导点，若在

                               
登录/注册后可看大图

附近的两侧

                               
登录/注册后可看大图

异号，则

                               
登录/注册后可看大图

是极值。明确地说，若在

                               
登录/注册后可看大图

左侧

                               
登录/注册后可看大图

，在

                               
登录/注册后可看大图

右侧

                               
登录/注册后可看大图

，则

                               
登录/注册后可看大图

是极大（小）值。

本题证：不妨设a1、a2分别为函数f（x）的极大值点（设a1<a2）
因为，f（x）为一个连续可微的函数，由定理（1）有f '(a1)=f '(a2)=0
由第一充分条件，存在a1的右邻域(a1,a1+delta1)使得x属于(a1,a1+delta)，有f'（x）<0
a2的左邻域(a2-delta2,a2)，使得x属于(a2-delta2,a2)，有f'(x)>0
又因为：f（x）连续，所以存在e属于(a1,a2)，使得若在e左侧f'（x）<0，在e右侧f'(x)>0,则f(e)是极小值。

xray

“ f'（x）连续，所以存在e属于(a1,a2)，使得若在e左侧f'（x）<0，在e右侧f'(x)>0 ”

这是根据哪个定理啊？前面仅仅是a1的右邻域满足f'（x）<0，而不是e的左邻域啊？

我觉得，根据f'（x）连续，仅仅能推出: 存在e属于(a1,a2)，使得f'(e)=0 啊？

此外，这个性质的证明可以在哪本书上查到啊？

yelv123

原帖由 xray 于 2007-12-29 19:36 发表

                               
登录/注册后可看大图

“ f'（x）连续，所以存在e属于(a1,a2)，使得若在e左侧f'（x）0 ”

这是根据哪个定理啊？前面仅仅是a1的右邻域满足f'（x）

因为
存在a1的右邻域(a1,a1+delta1)使得x属于(a1,a1+delta)，有f'（x）<0

a2的左邻域(a2-delta2,a2)，使得x属于(a2-delta2,a2)，有f'(x)>0
f '（x）连续，则在（a1+delta，a2-delta2），f '(x)有一个变号啊，变号的界限就是e啊

[ 本帖最后由 yelv123 于 2007-12-29 20:59 编辑 ]

xray

噢，基本上懂了，谢谢啊！

不过还有一点小疑问：在（a1+delta，a2-delta2），也可能存在多个变号的过程啊（比如有多个极值点），如何能肯定必然至少有一个从负到正的变号？有没有哪个定理来保证这个？（虽然这个看起来很直观）

yelv123

原帖由 xray 于 2007-12-29 21:35 发表

                               
登录/注册后可看大图

噢，基本上懂了，谢谢啊！

不过还有一点小疑问：在（a1+delta，a2-delta2），也可能存在多个变号的过程啊（比如有多个极值点），如何能肯定必然至少有一个从负到正的变号？有没有哪个定理来保证这个？（虽然 ...

你题目里面限制了在两个极大值（极小值）之间，如果还存在一个变号，那么极小值点（极大值点）的下个变号点一定对应于极大值点（极小值点），这时那就不止仅仅的两个极大值（极小值）点了。