中值定理符号怎么读_卓里奇《数学分析》答题记录 第五章第三节7、8——达布定理...

请证明：如果函数

在开区间

上有定义并且可微，

则

a)函数

在闭区间

上取遍

和

之间的一切值

（达布定理）

b)如果

在

上也存在，则满足

的点

存在.

---

a)

证明：

我们要证明，对于一切

和

之间的数

，存在

使得

.

对

的情况，不妨设

，并设

考虑函数

可知

这表明

既不可能在

处取最小值，也不可能在

处取最小值，设

在

上取最小值，它同时也是极小值，于是

于是存在

使得

.

对于

的情况，考虑

那么

，于是这种情况下达布定理不成立。

达布定理的推论：函数

只可能有第二类间断点。

点

称为函数

的第一类间断点，如果极限

都存在。如果两个极限至少有一个不存在，则点

称为第二类间断点。

证明：如果函数

有第一类间断点,

若

，不妨设

，取足够小的

，那么开区间

中的点在区间

上无法全部取到

若

，取足够小的

，那么由

和

组成的开区间中的点在区间

上无法全部取到

也就是说具有介值性的函数不可能有第二类间断点。

b)

证明：

引理：
如果

在

上存在，

，那么存在

使得

证明：
反证法，假设命题不成立。
由于导函数具有介值性，所以如果不存在

使得

，必有

或

在开区间

上恒成立。不妨设

恒成立，于是

在开区间

上单调递增，又由于导函数不存在第一类间断点，故

若

在趋向于

的极限为正无穷，那么可以取足够大的

使得

,

在区间

上无法取遍

之间的所有值，矛盾，故

类似得到

，于是

在闭区间

上连续，又在开区间

上可导，所以存在

使得

矛盾，故假设不成立。

原定理的证明：

构造函数

，使得

，那么有

运用定理得到，存在

使得

即存在

使得

---

第八题的b)要求指出一下证明中的错误：

只需要指出拉格朗日中值定理中的

并非任意，于是

无法推出

因此不能说明导函数的连续性。