第II巻 極限と導関数 — 導関数と微分法
:::info 翻訳状況
このローカライズページでは、ナビゲーション、メタデータ、アーカイブ告知を翻訳しています。数式、例、原稿由来の本文は、手動翻訳が未提供の箇所では簡体字中国語の原文を保持しています。
:::
切线问题
在建立起极限的初步概念之后,可以进一步讨论曲线在某一点的切线应如何严格定义.
古典定义
古典几何中,常把“直线与曲线在某点附近只有一个交点”看作切线的判据. 对圆、椭圆等简单曲线,这种说法便于理解.
当曲线更复杂时,这一判据就不够用了. 下面考察函数 在原点 处的切线.
对直线 而言,当 时有 , 当 时有 . 曲线在原点附近穿过这条直线,但从图形看, 仍应视为原点处的切线.
还会出现唯一性问题. 对任意斜率为负的直线 (), 方程 只有实数解 . 若只按“唯一交点”判断,则所有经过原点且斜率为负的直线都可算作切线,这与切线概念不符.
这说明,用交点个数刻画切线并不充分. 切线反映的是曲线在某一点附近的局部变化趋势,这就需要借助极限.
割线的极限观点
设曲线经过点 . 确定切线只差一个量,即切线的斜率.
斜率公式 需要两个不同的点. 因而在点 附近另取曲线上一点 . 连接 与 所得直线称为割线, 其斜率为 , 它表示函数在区间 上的平均变化率.
当点 沿曲线趋近于点 时,割线 逐步逼近切线. 这一过程可用极限刻画.
从几何上看,割线 在此过程中不断转动. 当 无限接近 时,若割线趋于一个确定位置,就把该极限位置的直线定义为点 处的切线.
与这一几何极限位置对应的,正是割线斜率的极限值. 因而切线斜率应定义为 当 时的极限.
切线斜率的严格定义
据此可把切线斜率写成严格的极限定义.
曲线 在点 处的切线斜率 定义为:
若令 , 则 等价于增量 . 定义式可写为等价的形式:
若此极限存在,则称曲线在该点处的切线存在.
这个定义把“切线”落到一个可计算的量上:割线斜率的极限. 差商在 时会变成 型表达式,因此要先在 时化简,再让 .
再回到 在原点的例子. 连接原点 与曲线上另一点 的割线斜率为
令 , 得 因此原点处的切线斜率是 , 切线方程为 . 这个结果唯一,也与图形相符.
从局部看,光滑曲线在一点附近可近似为一条直线,这条直线就是该点的切线. 因而切线可看作曲线在该点附近的线性近似.
求曲线 在点 处的切线斜率,并写出切线方程.
所求切线斜率,是点 与邻近点 的割线斜率在 时的极限.
割线 的斜率为 先化简分子:
取极限得 . 因此,曲线 在点 处的切线斜率为 .
根据点斜式方程,所求的切线方程为 ,即 .
同一个极限还会出现在更一般的变化率问题中. 极限 既给出切线斜率,也刻画函数在一点处的瞬时变化率. 这一极限称为导数.
本节习题
对函数 , 用极限定义证明其在点 () 处的切线斜率为 $\dfrac{1
2\sqrt{x_0
判断函数 在 处是否有切线. 若有,求出其方程;若无,说明几何与代数原因.
求参数 , 使抛物线 与对数曲线 相切.
求常数 , 使直线 与对数曲线 相切.
求抛物线 上的点,使该点处的法线经过原点 .
证明:对于任意实数 , 不等式 恒成立.
在双曲线 的第一象限分支上任取一点. 证明该点处的切线与两坐标轴围成的三角形面积为常数.
导数的概念
导数用于刻画函数在某一点附近的瞬时变化率. 在几何上,它对应曲线在该点的切线斜率;在物理上,它对应随时间变化的量在某一时刻的瞬时速度.
求瞬时变化率时,已知的是一段区间上的平均变化率. 若直接把区间长度取为 , 差商 便失去意义. 因此需要考察当 时这个差商是否趋于某个确定值.
从几何观点看,这相当于用割线斜率逼近切线斜率. 牛顿从瞬时速度出发,莱布尼茨从切线问题出发,最终都归结到同一思想:先计算平均变化率,再取极限.
由割线到切线
从割线斜率出发. 设曲线 上有两点 . 连接 所得割线的斜率为
它表示函数在区间 上的平均变化率.
逼近过程.
当点 沿曲线向点 移动时,横坐标增量 逐渐趋于 .
当 时,点 逼近点 , 割线 也随之逼近点 处的切线.
用极限刻画切线斜率. 若割线斜率在 时趋于某个确定值,就把这个极限看作点 处的切线斜率:
这样,切线斜率问题与瞬时速度问题便统一为同一种极限过程.
导数的定义
平均变化率在自变量增量趋于零时的极限,称为函数在该点的导数.
设函数 在点 的附近有定义. 如果极限
存在,就称函数 在点 处可导. 这个极限值称为 在点 处的导数, 记作 .
定义中的 先保持非零,差商先有意义,再让 . 因此导数研究的是差商整体的极限. 极限存在时,函数在该点附近有稳定的线性变化趋势.
- 几何意义: 就是曲线 在点 处切线的斜率.
- 物理意义: 如果 是位移关于时间的函数,那么 就是物体在时刻 的瞬时速度.
- 一般意义: 导数 衡量了函数 在点 处变化的快慢程度,是函数的瞬时变化率.
若把函数写成 ,那么导数也常记为
这个记号保留了差商的影子. 当 很小时,差商 已经很接近导数. 继续沿着这个记号往前走,就会引出微分.
微分的引入
设函数 在点 处可导. 按照导数的定义,当 时,. 当 时,可写成 其中 . 两边乘以 , 得 第一项与 成正比,是函数增量中的线性部分. 微分就是把这部分单独记下来.
设函数 在点 处可导. 取自变量的改变量 ,定义函数在点 处的微分 为 其中, 称为自变量的微分, 称为因变量的微分.
把 看成刚才的 ,上面的关系便可写成 . 当 很小时, 与实际增量 很接近. 记录切线给出的线性变化,曲线偏离切线的差别落在 里.
设 . 求其在点 处的微分,并与实际增量比较.
当自变量由 变为 时, 而函数 的导数为 ,因此它的微分为 所以 当 很小时, 比 小得多, 就给出了 的线性近似. 后面讨论切线近似与泰勒展开时,这个式子还会重新出现.
用定义求导
导数的极限定义为
它给出了由平均变化率计算瞬时变化率的统一方法.
在尚未建立求导公式之前,可以直接利用定义求一些基本函数的导数. 这既能熟悉导数的来源,也能为后面的求导法则作准备.
根据导数的定义,求 的导数 可分为三步:第一步求增量, 计算当自变量从 变为 时函数值的增量 ;第二步作商, 计算平均变化率 , 这一步常通过因式分解或有理化把分母中的 约去;第三步取极限, 计算 , 所得的结果就是导函数 .
求函数 (为常数) 的导数.
常数函数对应一条水平直线,导数应为 .
求增量 作商 取极限 结论: . 常数函数没有变化,瞬时变化率恒为零.
求函数 的导数.
的切线斜率随 改变.
结论: . 这说明抛物线 在任意一点 处的切线斜率都等于该点横坐标的两倍. 例如,在 处斜率为 , 在 处斜率为 .
求函数 的导数.
这里需要用到通分.
结论: .
以上例子表明,导数定义可以直接用于计算. 但当函数结构稍复杂时,差商化简会迅速变长,逐次使用定义并不经济.
基本求导公式的诞生
来龙去脉
导数定义可以直接用于计算. 但每次都从
起步,差商会越写越长. 把这些极限计算整理成可反复调用的公式表.
三角函数、指数函数与对数函数的求导,最后都会追到两个关键极限:
前一个用于三角函数求导,后一个给出自然常数 , 进而用于指数函数和对数函数求导. 证明它们之前,先准备一个常用工具:夹逼定理.
夹逼定理的想法很朴素:找到两个容易分析的量,让目标量始终夹在它们之间. 当两侧同时逼近同一个值时,中间量也被迫逼近这个值. 后面证明 的极限时,正要用到这种比较方法.
夹逼定理 *(选读内容)
如果在点 的某个去心邻域内,有三个函数 始终满足 并且 那么
任取 . 由 , 存在 , 使得当 时, , 即 .
由 , 存在 , 使得当 时, , 即 .
由 在点 的某个去心邻域内成立,可取 , 使得当 时, .
取 . 则当 时,同时有 , 从而 .
由极限的 定义,得 .
证明.
这个极限通常从单位圆证明. 下面的角 用弧度制表示,先讨论 的情形.
由几何图形的面积关系,有
单位圆半径是 , 所以这三个面积分别是
代回去并同乘 , 得到 现在要把它改写成 的形式. 当 时, , 所以可以同除以 :
再取倒数,不等号方向反过来: 当 时,左右两端都趋于 , 夹逼定理给出 又因为 这个函数是偶函数,左极限和右极限相同. 因此得到第一个重要极限
第二个重要极限来自复利模型.
设本金是 元,年利率是 . 如果一年计息一次,一年后得到 元. 如果一年分成 次计息,一年后得到 如果一年分成 次计息,一年后得到 如果一年分成 次计息,一年后得到 计息次数越多,每次加上的利息越小,总次数越多. 这一列数稳定逼近一个极限,它描述连续复利下的本利和. 这个极限记作自然常数 .
自然常数 定义为
令 , 则当 时, . 这个复利极限就变成了第二个重要极限
有了这两个极限,就可以从定义推导常用求导公式.
幂函数 (为正整数). 先看幂函数. 这里会用到二项式定理
最后一行中,第一项 与 无关,后面的每一项都至少带一个 因子. 当 时,后面的项趋于 , 只留下首项: 这个公式后来可以推广到任意实数指数. 例如
三角函数 . 这一步要用到重要极限 以及和差化积公式
推导的关键是把差商里的三角项改写成 的形状,以便调用已知极限.
最后一行已拆成两个因子. 第一个因子在 时趋于 , 第二个因子是重要极限的标准形状,其中 . 因此
同理,利用公式
可以得到
指数函数 (). 指数函数的差商里,关键部分是指数增量 . 先把它从整体里提出来:
后面的极限只和底数 有关,记作 : 于是得到 前面的复利极限把 选成了最自然的底数. 当 时, , 所以 的变化率等于函数值本身,因而在微积分中格外重要.
对数函数 (). 对数函数的差商需要先改形. 目标是构造 , 以便使用第二个重要极限.
令 , 则 . 当 时, , 上式变成
这里把 改写成 , 是为了调用 又因为对数函数连续,所以 当底数取 时,立刻得到
把上面的结果整理成表. 其中指数函数和对数函数默认 , 对数函数还要求 .
| 函数 | 导数 \
有了公式表,还要学会把这些公式拼起来用. 最先用到的,就是常数倍法则和加减法则.
设函数 均可导, 为常数,则
- 常数倍法则 [ [c \cdot f(x)]' = c \cdot f'(x)
令 . 直接从导数定义出发:
先证明加法情形. 令 , 则
减法情形完全一样.
到这里为止,由基本函数通过加减和数乘拼出来的表达式,已经可以顺着规则直接求导.
求多项式函数 的导数.
多项式求导的做法很固定:逐项求导,最后合并.
求函数 的导数.
先把根式和分式改写成幂函数: 然后逐项求导:
求函数 的导数.
是常数,其导数等于 .
掌握这张公式表以及加减、数乘法则以后,我们已经能处理很多常见函数.
, , 分别涉及乘积、商和复合. 对应的求导法则如下.
乘、除、复合求导法则
三大运算法则
设函数 和 在点 处均可导,则:
- 乘法法则 语言描述:两函数乘积的导数,等于第一个函数的导数乘以第二个函数,加上第一个函数乘以第二个函数的导数.
- 除法法则
语言描述:两函数商的导数,等于分子的导数乘以分母,减去分子乘以分母的导数,所得的差再除以分母的平方.
3. 链式法则 设函数 的自变量 本身是另一个关于 的函数 , 则复合函数 对 的导数为: 语言描述:复合函数的导数,等于外层函数对内层函数求导,乘以内层函数对自变量求导.
链式法则的莱布尼茨表示. 莱布尼茨符号便于记忆这一法则.若记 ,则链式法则写作: 这种写法有助于记忆导数在复合过程中的传递方式.
这些法则均可由导数的极限定义推导出来. 理解证明过程有助于把握导数的来源.
乘法法则的证明. 证明中需要作构造项.
由于函数 可导则必然连续,所以 . 其余两项分别是 和 的定义. 因此, 证毕.
除法法则的证明. 证明过程与乘法法则类似,先通分,再作构造项.
证毕.
链式法则的证明. 链式法则的严格证明需要细分内层函数增量的情形. 这里先掌握计算用法:识别外层和内层,外层求导后乘以内层导数.
三大法则的应用
先看最外层结构
掌握这三个基本法则后,还要根据函数结构选择相应的求导方法.
先识别函数最外层的代数结构. 最外层是两个函数相乘时用乘法法则,相除时用除法法则,一个函数复合另一个函数时用链式法则. 确定最外层结构后,再对内部需要求导的部分重复同样的识别过程,直到化归为基本求导公式.
求函数 的导数.
结构分析: 函数 是 与 的乘积.因此,首要应用乘法法则.
根据乘法法则 :
求函数 的导数.
结构分析: 函数 是 与 的商.应用除法法则.
根据除法法则 :
在分子上提取公因式 使表达式更为清晰,这是一个良好的代数习惯.
求函数 的导数.
结构分析: 函数 是 与多项式 的复合函数,应用链式法则,按由外到内的顺序求导.
-
外层函数:
-
内层函数:
-
外导: 对 求导,
-
内导: 对 求导,
根据链式法则 :
求函数 的导数.
这是多层复合函数,按链式法则由外向内逐层求导.
层次分解 函数可分解为四层:最外层为 ,第二层为 ,第三层为 ,最内层为 .
逐层求导并应用链式法则 由链式法则 , 有
整理得 .
求函数 的导数.
这是乘积函数. 先用乘法法则,再对根式部分使用链式法则.
由乘法法则 , 有 .
第一部分导数很简单:.
第二部分 需要使用链式法则.将根式写为幂函数形式 . 外层函数是 , 内层函数是 .
将各部分代入乘法法则公式:
通分得
求函数 的导数.
这是商函数. 分子求导用乘法法则,指数项与对数项求导都要用链式法则.
令 , . 先求 与 .
求 (应用乘法法则):
求 (应用链式法则), 得 .
接着,将 代入除法法则 :
求函数 的导数.
这是复合函数与乘积函数的结合,先分清层次,再逐层求导. 函数可分解为四层:最外层是幂函数 ,第二层是自然对数函数 ,第三层是乘积 ,第四层(内嵌于第三层)是复合函数 , 其中 .
由外到内应用链式法则,有 , 且 .
对 应用乘法法则:
将内层结果逐层代回:
求函数 的导数.
底数与指数都含有变量,用对数求导法.
.
左边应用链式法则,右边应用乘法法则,得 .
分别计算右侧各导数:, 且 .
代回方程,得 . 将 乘到右边,并代入其原始表达式,得 .
求函数 的导数.
先处理对数内部的分式. 对分子作有理化,得
因此,原函数可以被重写为 .
再对化简后的函数求导:
直接对原式求导也能得到同一结果,但步骤会明显变长:先用链式法则处理 , 再对 使用商法则,还要继续处理两个根式的导数. 本题的关键是先有理化,把复杂分式化成 .
这个例子说明:对数内部含有复杂分式时,先化简再求导通常更稳妥.
求函数 的导数.
结构分析: 最外层是 与 的乘积,先用乘法法则,再分别用链式法则求 与 .
应用乘法法则,有
分别计算两个需要用链式法则的部分:
-
求 :外层为 , 内层为 .导数为 .
-
求 :外层为 , 内层为 .导数为 .
最后,将计算结果代回乘法法则公式:
-
混淆运算法则
乘积求导要用 . 写成 会把乘法法则误当成线性法则.
-
链式法则遗漏内导
复合函数求导时,外层导数后面还要乘以内层导数. 例如
-
复合层次识别不清
对于 , 其结构是 . 最外层是幂函数 , 内层是三角函数 .
对于 , 最外层是正弦函数 , 内层是幂函数 .
-
先化简,再求导
启动复杂法则前,先检查表达式能否化简. 例如 可先化为 , 再求导.
几种求导方法*
至此,已经建立了基本的求导法则. 但有些关系并不能直接写成 的形式:
- 当函数呈现“幂的幂”或多项因子的乘除结构时,例如 , 直接使用乘除法与链式法则往往较繁.
- 当函数关系由方程给出,例如圆的方程 , 需要另行讨论求导方法.
取对数求导法
当函数表达式含有幂指结构,或由多个因子的乘、除、开方构成时,取对数求导法常较为简洁. 它利用对数运算把乘除化为加减,把幂化为乘积.
对于函数 , 若其表达式由多个因子的积、商或幂指结构 构成,可按下列步骤求导:先在有定义的范围内取 , 再利用对数性质展开右端,然后两边对 求导使左端得到 , 最后解出 .
取对数求导法的作用是把“乘除关系”改写成“加减关系”,把“幂”改写成“乘积关系”. 这样做之后,原来难以下手的幂指结构就能转化成熟悉的乘法法则与链式法则. 取 可以同时覆盖正值与负值情形;使用时,仍要先说明函数在哪个范围内有定义.
求幂指函数 () 的导数.
底数 与指数 都含有变量,可用对数求导.
在 的条件下,两边取自然对数,得 . 于是幂指关系化为三角函数与对数函数的乘积.
方程两边对 求导. 左边用链式法则,右边用乘法法则,得 , 即 . 将 代回整理,得 .
求函数 的导数.
此函数由三个代数式的幂通过乘除构成. 利用对数性质可把运算拆成若干和式.
在函数有定义的区域考察绝对值的对数,利用 及 展开:
两边同时对 求导. 注意 :
最后解出 :
这样可把原先的多重嵌套运算化为若干简单分式的求和.
隐函数求导法
当 和 的关系由方程 确定,而没有或较难写成 的形式时,就称这个关系定义了一个隐函数. 求这类函数的导数时,直接对原方程求导.
当方程 在某区域内确定了 为 的函数时,即使无法显式解出 , 也可以对方程两边关于 求导. 具体做法是:将方程中出现的 都看作 的函数 , 对含 的项按链式法则处理,再从所得的等式中解出 . 这个方法的合理性在于:若 确实可导,则它满足方程 , 两边关于 求导后自然得到 与 的关系. 何时方程能确定可导的隐函数,由隐函数定理保证:当 连续可微且 时,局部存在唯一的可导函数 .
求由圆的方程 所确定的函数在任意点 的导数 .
对方程两边同时关于 求导. 利用加法法则展开:
-
对 求导,得 .
-
对 求导时,由于 是 的函数,所以 是复合函数. 根据链式法则:
将求导结果代回方程: 再把它看作关于 的代数方程来解: 因而圆上任意一点 的切线斜率为 . 例如在点 , 切线斜率为 .
导数与单调性
导数 刻画一点附近的变化趋势. 单调性关心整个区间上的增减. 下面要做的事,是把局部斜率信息转化为区间判断.
理论基石与判定法则
先看函数图像中的转折点. 这些点是单调性可能改变的位置,称为极值点.
设函数 在点 的某个邻域内有定义.
-
如果对于该邻域内任意异于 的点 , 都恒有 , 就称 是函数 的一个极大值, 称 为极大值点.
-
如果对于该邻域内任意异于 的点 , 都恒有 , 就称 是函数 的一个极小值, 称 为极小值点.
极大值与极小值统称为极值,极大值点与极小值点统称为极值点.
极值是局部概念,最值是全局概念. 直接由定义寻找极值并不方便. 对光滑曲线而言,峰顶或谷底处的切线通常是水平的,这一事实可由费马引理精确表述.
如果函数 在点 处满足以下两个条件:
- 在点 处取得极值;
- 在点 处可导;
那么,函数在该点的导数必为零,即 .
以下以 为极大值为例. 根据极大值的定义,存在一个以 为中心的邻域,对于该邻域内任意的 , 都有 , 即 .
考察导数 的定义式. 当自变量从右侧逼近 () 时,分母 , 分子 . 故比值非正,其极限(即右导数)满足 . 当自变量从左侧逼近 () 时,分母 , 分子非正.故比值非负,其极限(即左导数)满足 .
由于函数在 处可导,其左、右导数必须存在且相等,即 . 联立 与 , 唯一可能的情况便是 .
费马引理给出极值点的必要条件. 可导函数在极值点处导数必为零,因而寻找极值点时,先考察导数为零的点以及导数不存在的点. 仅有 还不能推出 是极值点. 例如 在 处导数为零,但函数仍保持递增,该点是拐点.
费马引理把单点处的极值性质与导数性质联系起来. 若要进一步讨论区间上的单调性,还需要中值定理. 先从罗尔定理开始.
如果函数 满足:(1)在闭区间 上连续;(2)在开区间 内可导;(3)在端点处的函数值相等,即 . 那么,在 内至少存在一点 , 使得 .
根据闭区间上连续函数的最值定理, 在 上必取得最大值 和最小值 .
若 , 则 为常数函数,其导数在 内处处为零,结论成立.
若 , 由于 , 则 与 中至少有一个必定在区间的内部某点 处取得.
这意味着点 是一个极值点,且函数在该点可导.根据费马引理,可导函数在极值点处的导数必为零,故 .
:::
罗尔定理要求 , 条件较强. 拉格朗日通过构造辅助函数把一般情形化为罗尔定理.
如果函数 满足:(1)在 上连续;(2)在 内可导. 那么,在 内至少存在一点 ,使得
构造一个满足罗尔定理条件的辅助函数.
连接端点 和 的割线方程为 .
构造辅助函数 .
此函数 代表了曲线 与其端点割线之间的竖直距离.
直接计算得 且 , 故 满足罗尔定理的全部条件.
因此,存在一点 使得 .
对 求导得 .
令 并代入 ,移项后即得定理结论.
:::
拉格朗日中值定理建立了瞬时变化率 与区间平均变化率 之间的联系. 利用这一工具,可以严格证明单调性判定法则.
设函数 在区间 内可导.
- 如果在 内恒有 , 那么函数 在 上是单调递增的.
- 如果在 内恒有 , 那么函数 在 上是单调递减的.
- 如果在 内恒有 , 那么函数 在 上是一个常数函数.
设 是区间 内的任意两点,且 . 在闭区间 上对函数 应用拉格朗日中值定理,可知在开区间 内必定存在一点 ,使得 变形得 由于假设 , 因子 恒为正数. 因而函数值差 的符号由 的符号决定.
-
若在 内 : 由于 , 所以 . 此时 , 即 . 根据定义,函数单调递增.
-
若在 内 : 同理,此时 . 于是 , 即 . 根据定义,函数单调递减.
-
若在 内 : 同理,此时 . 于是 , 即 . 由于 是任意两点,故函数为常数函数.
由此得到利用导数判断函数单调性的法则.
单调性分析的标准流程与应用
根据上述定理,求单调区间通常按四步进行: 确定定义域; 求导数 ; 求分界点, 包括 的根和 无定义的点; 列表分析, 比较各子区间上 的符号.
求函数 的单调区间.
定义域 该函数为多项式函数,定义域为 .
求导数
求解分界点 令 , 解得 或 . 这两个驻点将定义域 划分为三个区间.
列表分析
| 区间 | |||||
|---|---|---|---|---|---|
| 的符号 | |||||
| 的单调性 | (增) | 极大值 | (减) | 极小值 | (增) |
结论 函数 的单调递增区间为 和 , 单调递减区间为 .
求函数 的单调区间.
定义域 函数 的定义域为 .
求导数 利用除法法则:
求解分界点 由于 , 分母 恒为正,所以 的符号完全由分子 决定. 令 , 得 , 解得 .
列表分析
| 区间 | |||
|---|---|---|---|
| 的符号 | |||
| 的单调性 | (增) | 极大值 | (减) |
结论 函数 的单调递增区间为 , 单调递减区间为 .
已知函数 .
- 讨论函数 的单调性,并证明:对任意 , 恒有 .
- 证明:存在唯一的 , 使得曲线 在点 处的切线,与连接点 和 的直线平行.
第 (2) 问要求切线与割线平行,这是在比较两个斜率. 曲线在 处的切线斜率是 , 端点割线斜率是 . 因此问题转化为证明方程 在 内有唯一解.
(1) 讨论 的单调性并证明不等式. 函数 的定义域为 . 对其求导,得: 令 , 解得 . 当 时, , 函数 单调递减. 当 时, , 函数 单调递增. 因此,函数 在 处取得极小值,同时也是全局最小值. 其最小值为 . 由于函数的最小值是 , 所以对任意 , 都有 . 即 , 移项得 .
(2) 证明解的存在性与唯一性. 本问等价于证明方程 在 内有唯一解.
构造辅助函数 . 目标是证明 在 内有唯一零点.
首先证明存在性. 函数 在闭区间 上连续. 计算其在区间端点的值: . . 由于连续函数 在区间 的两端异号,根据零点存在性定理,在开区间 内至少存在一个点 , 使得 .
接着证明唯一性. 再考察函数 在区间 上的单调性. 对其求导,得 . 对于任意 , 都有 . 这说明函数 在整个区间 上是严格单调递增的. 一个严格单调的函数,其图像与 轴最多只有一个交点. 结合已证的存在性,得出结论:函数 在 内有且仅有一个零点. 证毕.
まだコメントはありません。