微积分D39 函数性态.pptVIP

§ 3 . 9 3. 9. 1 函数单调性的判定法 机动 目录 上页 下页 返回 结束 3. 9. 3 函数凸性的定义 函数的单调性与凸性 第 3 章 3. 9. 2 函数单调性的应用 3. 9. 4 函数凸性的判定法 3. 9. 5 函数的拐点与凸区间的判定 3.9.1 函数单调性的判定法 内可导， 定 理 : 则 证: 先证单调增的情形： ⅰ） 必要性： 在开区间 机动 目录 上页 下页 返回 结束 ⅰ） 在 上单调增 （减） ⅱ） 在 上严格单调增 （减） 且 内离散子集 （不充满 的任一子区间）。 为 又函数可导， 取 且 设函数 故 充分性： 在以 为端点的区间里满足Lagrange 中值定理的一切条件， 在开区间 内至少存在一点 满足： 即函数 显然 机动 目录 上页 下页 返回 结束 因 与 且 在闭区间 上单调不减 ； ⅱ） 必要性： 由ⅰ）得知 ： 用反证法 ： 若 使得 则 这与函数 闭区间 上严格单调增矛盾； 充分性： 用反证法 ： 若函数 在闭区间 上非严格单调增， 此， 也就是说 即函数 使得： 机动 目录 上页 下页 返回 结束 且 不防设 必有： 这与条件 不充满 的任一子区间矛盾。 再证单调减少的情形： 且 ⅰ） 单调