am040104微分中值定理的推论.docVIP

AM040104 微分中值定理的推论 现在我们讨论Lagrange中值定理的推论。 推论1 函数f x 在区间I内为常值函数的充分必要条件是函数f x 在区间I内可导，且导数恒为零。 证 已经知道常值函数的导数为0，也就是条件也是必要的；下面证明条件是充分的。设， 在内任取两个点，则函数在以为端点的区间上满足Lagrange中值定理的条件，所以 ， 即任两点的函数值相等，所以f x 为常值函数。 推论2 设函数和在区间I上可导。则 ，。 证 令函数，则有 。故由推论1知：。 即 ，。 因为，且函数和在区间I上可导，故两边同时取导得：。 推论3 右导数极限定理 设函数在点的某右邻域上连续， 在内可导。若存在 ， 则右导数也存在， 且有。 证 在内任取点，则函数在区间[]上满足Lagrange中值定理的条件，所以 。 1.5 由于，所以由 1.5 及即知在点的右导数也存在， 且有。 注 不存在时， 却未必有不存在。例如对函数 虽然不存在， 但却在点可导 可用定义求得 。 完全类似地有左导数极限定理，从而知成立下述。 定理1.4 导数极限定理 设函数在点的某邻域 内连续， 在内可导。若极限存在， 则也存在， 且 。 由该定理可见， 若函数在区间I上可导，则区间I上的每一点，要么是导函数的连续点， 要么是的第二类间断点。 这就是说，当函数在区间I上点点可导时， 导函数在区间I上不可能有第二类间断点。 推论4 导函数的零点定理 若函数在闭区间上可导， 且 。 证 不妨设，，则知分别存在，且，使得 ，。对于闭区间上连续函数，由最大值最小值定理知，存在一点，使在点取得最大值，且也是在内的极大值点，故由Fermat定理得。 类似于连续函数介值定理的证明，对辅助函数，应用推论4的结果立刻得到 定理1.5 Darboux导函数的介值定理 设函数在区间上可导且。若为介于与之间的任一实数，则。 证 由题意不妨设，构造函数，则有 所以由推论4知：至少存在一点，使得。 即