设函数在区间上具有连续导数,,。
- (1) 证明:存在,使得;
- (2) 证明:若对任意的,,则。
(1) 连续,故在紧区间上可取到最大值 。若 ,则 ,任取 即成立。以下设 ,取 使 ,由两端函数值为零知 。
(2)若 ,对 在 上用拉格朗日中值定理,存在 ,使 。
若 ,在 上用同一定理,存在 ,使 。两种情形的中值点均在 内,结论成立。
(1)反设 ,仍取 使 。对 、 分别用中值定理,并用 ,得 、。除以正数 ,得 、,故 。
(2)于是 。若 ,以 替换 ,全部条件不变,所以可设 。
任取 ,由导数界与中值定理在 、 上分别得到 、。后者给出 ,故 ,连同端点得此式在 成立。
(3)任取 ,在 上同理有 ,故 ;在 上有 ,故 。因此 ,连同端点得此式在 成立。
(4)上述分段表达式在 处的左导数为 、右导数为 ,因 而不相等,与题设在 可导矛盾。故 ,从而 。这里已用可导性推出矛盾,无需声称导数连续是不可削弱的条件。