ch14-極限與導數
{/* label: chap:ch14 */}
微積分學处理變化與运动. 考虑一個物體沿直線运动, 其位置由时間 的函數 给出. 為了刻画物體在某一时刻 的运动状态, 僅知道位置是不够的, 还需要知道其“瞬时速度”. 在时間段 内, 物體的平均速度定義為位移與时間的比值:
在几何上, 若考虑 - 平面上的曲線 , 该比值對應于连接点 與点 的割線斜率.
\begin{figure}[htbp]
\end{figure} 圖:平均速度對應的割線斜率與瞬时速度對應的切線斜率.
物理直觉表明, 当观测的时間間隔 越来越短时, 平均速度應当逼近某個确定的數值, 即瞬时速度. 几何上, 這對應于点 沿曲線趋近于点 , 割線趋向于曲線在点 处的切線. 然而, 若直接令 , 上述比值變為 , 這在代數运算中是未定義的.
為了解决這一矛盾, 必须引入 極限 (limit) 的概念来严格描述“无限趋近”這一過程. 但在定義極限之前, 必须先考察極限运算所依赖的數係. 如果數係本身存在“空隙”, 那么極限過程可能会指向一個不存在的數, 從而導致理論失效.
实數係的完備性
{/* label: sec:ch14-s01 */}
我们首先指出有理數係 在处理连續量时的局限性, 進而引入完備性公理. 這一公理保證了实數轴上没有“空隙”, 從而為極限的存在性提供了逻辑保障.
- : 自然數集 .
- : 整數集 .
- : 有理數集 .
- : 实數集.
有理數集 對加、减、乘、除 (除數非零) 四则运算封闭, 且其元素在數轴上是稠密的. 然而, 僅靠有理數不足以度量所有的几何量. 考虑边长為 的正方形, 其對角線长度 满足 .
不存在有理數 , 使得 .
假设存在 使得 . 设 , 其中 且 .
由 得 . 故 為偶數, 從而 為偶數. 设 . 代入得 . 故 為偶數, 從而 亦為偶數. 這表明 至少有公约數 , 與 矛盾.
上述定理表明數轴上存在无法用有理數表示的点 (无理數). 若僅在 中讨論, 極限過程可能失效. 例如, 一個由有理數構成的序列 可以无限趋近于 , 但其“極限”却不在有理數係内. 因此, 必须将數係擴充為实數係 , 并赋予其 完備性.
為了形式化描述“填补空隙”, 先引入上界與确界的概念.
设 是 的非空子集. 若存在 , 使得對所有 都有 , 则称 為 的一個 上界 (upper bound).
對于上有界的集合, 上界通常不唯一. 我们關注所有上界中最小的那一個, 它紧贴着集合的边缘.
设 非空且上有界. 若实數 满足以下条件, 则称 為 的 上确界 (supremum), 记作 :
- 是 的上界;
- 任何小于 的數都不是 的上界 (即 是最小的上界).
注意, 上确界 不一定属于集合 . 例如 , .
在有理數係 中, 一個有界集合的上确界可能不存在. 考虑 . 在 中有上界 (如 ), 但没有最小的有理上界 (因 ). 实數係的完備性公理断言 中不存在這种現象.
中任何非空且上有界的子集, 必有上确界.
這一公理在几何上刻画了实數轴的“连續性” (continuity).
可以将实數轴想象為一条无限延伸的直線.對于直線上的一個点集 ,若它没有向右无限延伸(即上有界),那么它必然会在某個位置“终止”.完備性公理保證了這一终止处的边界点是确定的、存在的.
具體而言,考虑所有大于 中元素的數, 它们構成了 的“右侧外部”.
- 在有理數係 中, 集合 與其右侧外部之間可能存在缝隙.例如 , 其右侧没有任何有理數能紧贴着 的边缘(因為 缺失),就像數轴上有一個针孔大小的断裂.
- 在实數係 中, 完備性公理填补了這些断裂.它断言: 與其右侧外部之間存在一個精确的分界点(上确界).這個点既不给 留出向右“生长”的余地, 也不與 之間留有空隙.
\begin{figure}[htbp]
\end{figure} 圖:有理數係的“空隙”與实數係的完備性對比.
簡言之,完備性意味着实數轴上没有“漏洞”.当我们不断逼近某個位置时,那里一定有一個实數在等待我们,而不是一片虚空.
極限的定義*
{/* label: sec:ch14-s02 */}
我们通過上述的讨論,容易得到以下極限的定義:
当變量 无限地、但永不抵达地趋近于某個定值 时, 如果函數值 也无限地趋近于一個确定的數值 , 那么我们就称 是函數 在 趋向于 时的極限.
這种描述方式非常直观,它抓住了極限的核心思想——過程與结果.我们用符号来记錄這個過程:
這里的箭头“”代表“趋近于”的动态過程.
- : 是英文“limit”的缩寫,它宣告我们正在讨論一個極限問題.
- : 寫在 的下方, 它描述了自變量 的运动趋势.它意味着 從 的左右两侧无限靠近 , 可以與 的距离要多近有多近, 但永远不真正取到 .
- : 是我们研究的對象, 它的值随着 的變化而變化.
- : 這是整個極限表达式的结論.它表明, 在 的過程中, 的值最终的归宿是唯一的、确定的常數 .
這個定義的灵魂在于它只關心“過程”,而不關心“终点”本身.也就是說,我们只在乎当 在 附近时 的表現, 而完全不在乎 在 這一点上的取值到底是多少,甚至它在這一点可以没有定義.
考察函數 , 我们来探究当 时的極限.
首先我们注意到,当 时, 分母為 , 函數 在该点没有定義.
但是,極限并不關心 的情况, 只關心 在 附近的情况.
当 时,我们可以對函數進行化簡:
這個化簡告诉我们,函數 的圖像是一条直線 , 只不過在点 处有一個“空心”的洞.
接着,我们来观察“趋近”的過程:
当 從 的右侧趋近于 (例如 ) 时,
当 從 的左侧趋近于 (例如 ) 时,
尽管 不存在, 但当 從两侧无限趋近于 时, 的值都无限趋近于同一個确定的數 . 因此,我们說這個極限存在且等于 :
這個例子完美地诠释了極限的精髓:極限值是函數值在某点附近的“趋势值”,而非该点的“实际值”.
在前面的例子中,我们探究 时, 本能地做了两件事:观察 從比 1 大的一侧(如 1.1, 1.01)趋近时函數值的變化, 也观察了 從比 1 小的一侧(如 0.9, 0.99)趋近时函數值的變化.我们發現,這两条“路径”最终都指向了同一個“目的地”——數字 2.
這個“分左右路径”的思想是如此重要,以至于數學家们為它赋予了專门的定義和符号.
- 右極限: 当 從大于 的一侧无限趋近于 时, 如果 无限趋近于一個确定的常數 , 我们称 為 在 的右極限.记作:
這里的“+”号上標,形象地表示了我们是從 $x$ 坐標轴的“正方向”(右侧)靠近 $x_0$.
- 左極限: 当 從小于 的一侧无限趋近于 时, 如果 无限趋近于一個确定的常數 , 我们称 為 在 的左極限.记作:
這里的“-”号上標,则表示我们是從 $x$ 坐標轴的“负方向”(左侧)靠近 $x_0$.
\begin{figure}[htbp]
\end{figure}
有了左、右極限的定義,我们就能给出一個判断(雙边)極限是否存在的黄金准则.
函數 在点 处的極限 存在且等于 的充分必要条件是:
函數 在点 处的左極限與右極限都存在, 并且都等于 .
用符号表示為:
{這個定理的直观意義是:只有当從左边走和從右边走,最终能到达同一個地方时,我们才承认“極限”這個共同目的地的存在.如果左右两边的路通向了不同的地方,那么極限就不存在.}
考察函數 在 时的極限.
首先,我们将函數寫成分段形式,這样更便于分析:
接着我们分别计算左、右極限:
右極限 ( 從右侧趋近0, 此时 )
左極限 ( 從左侧趋近0, 此时 )
我们發現,左極限和右極限都存在,但它们并不相等:
根据極限存在的充要条件,我们得出结論:
這就像两条岔路,虽然都通向 這個位置, 但它们在函數值的高度上却指向了 和 两個不同的“悬崖边”.
尽管這种直观的定義有助于我们快速建立對極限的初步印象,但“无限趋近”终究是一個模糊的文學性词汇,而非严谨的數學語言.
\textcolor{red}{警告:由于高中數學课本并未给出極限的定義與相關知识,請在答題时使用“極限的趋势”来表达你想的那种“極限”.比如:时, 函數 一個數或正负无穷.并且我需要說明:下面的两個定義并不做要求,属于選讀内容,但是后面的證明有可能会用到這两個定義,你也可以跳過!}
為了让“靠近”這個模糊的概念變得精确,數學家引入了“邻域”這一强大的工具,它為我们提供了一把测量“靠近程度”的工具.
以点 為中心的任何開区間称為点 的邻域, 记作 .
其中 (delta) 是一個任意小的正數,称為邻域的半径.
点 的邻域去掉中心点 之后, 剩下的部分称為点 的去心邻域 或空心邻域.
這個概念至關重要,因為它精确地表达了“ 趋近于 但不等于 ”的含義.
\begin{figure}[htbp]
\end{figure} 圖:邻域與去心邻域的示意圖
有了邻域這個工具,我们就可以将先前的定義升级為一個更具操作性的版本.
设函數 在点 的某個去心邻域内有定義.如果当自變量 在 的去心邻域内无限地趋近于 时, 對應的函數值 无限地趋近于一個确定的常數 , 那么我们就称 是函數 当 趋近于 时的極限,记作:
這個定義明确了極限成立的前提——函數只需在 的“附近”(去心邻域)有定義即可, 而 本身的情况无關紧要.這比第一重定義更加清晰,但“无限趋近”一词依然带有动态和模糊的色彩.數學的严谨性要求我们用静态的、可量化的關係来彻底取代它.
邻域的定義虽然更進一步,但“无限趋近”仍是一個动态的、描述性的词語.數學的殿堂需要一個能經受任何逻辑拷問的静态定義.這就是19世纪數學家柯西 和魏尔斯特拉斯的伟大贡献—— 極限的 (epsilon-delta) 語言.
设函數 在点 的某個去心邻域内有定義. 若對于任意给定的正數 (无論它有多小), 总存在一個正數 , 使得当自變量 满足不等式 时, 對應的函數值 都满足不等式 , 那么我们就称常數 是函數 当 时的極限. 用逻辑符号可以簡洁地表示為:
這個定義将“无限趋近”這個动态過程,巧妙地转化為一场严谨的静态逻辑游戏.\footnote{有兴趣的讀者可以閱讀《普林斯顿微積分讀本》一書附錄關于極限定義的說明.} 我们可以将這场游戏分解為三個步骤来圖解:\footnote{此圖解思路引用自阿德里安·班纳 (Adrian Banner) 所著《普林斯顿微積分讀本》一書的附錄“極限及其證明”.}
游戏開始,挑战者首先出招.他任意指定一個正數 (无論多小), 以此来规定函數值 與極限值 之間的最大允许誤差.這個 在 轴上以 為中心, 構建了一個宽度為 的水平“目標区域” .挑战者的要求是:你必须设法让 的值落入我指定的這個区域内.
\begin{figure}[htbp]
\end{figure}
面對挑战,我们的任务是找到一個有效的應對策略.我们需要在 轴上, 以 為中心, 寻找一個正數 .這個 确定了一個去心邻域 , 即一個垂直的“控制区域”.我们的目標是, 通過将 限制在這個区域内, 来确保 能满足第一步的要求.
\begin{figure}[htbp]
\end{figure}
這是决胜的一步.我们必须验證所選的 是否有效.檢验的標准是:對于任何一個落在蓝色控制区域 内的 值, 其對應的函數值 是否必然会落入红色的目標区域 内.從几何上看,這意味着位于蓝色垂直带内的那段函數圖像(不含中心点),必须被完全限制在红色水平带之中.
\begin{figure}[htbp]
\end{figure}
極限存在的真正含義,就是我们在這场游戏中永远不会输.无論挑战者提出的 有多么苛刻, 我们总能相應地找到一個足够小的 来赢得這场博弈.這种“总能找到”的确定性,将“无限趋近”從一個模糊不清的动态過程,升华為一個无懈可击的静态逻辑關係.
此版本的定義告诉我们,極限不是一個寻找的過程,而是一個验證的關係. 對 的依赖性 () 是其核心, 保證了无論對方的要求()多么苛刻, 我们总有办法()满足.這才是極限存在的真正含義.
\textcolor{red}{看不懂?没事,高考不考,别看了!不過能讀到這也說明你是一名即好奇又悠闲的學生,让我们再探一下這個定義到底在干嘛?}想象一下,我们称“当 靠近 时, 就会靠近 ”.這是一個很模糊的說法.到底要多“近”才算“靠近”? 定義就是要把這個模糊的說法“严谨化”了.接着我们再次回到“游戏”的說法,接着“你”“我”出场,這有助于理解:
你,作為一名考官,先提出一個精度要求.你說:“我要求函數值 和那個所谓的極限值 之間的距离, 必须小于某個非常小的數值 .” 這個 可以是你想象到的任何正數, 比如 , 或者更苛刻的 , 反正“要多小有多小”.你通過设定 , 实际上是在 的上下画了两条線, 形成了一個很窄的“目標区域”.一言以蔽之, 是和的接近程度,或者說是距离.
然后,我,作為考生,就要根据你提出的 给出我的要求.我的答案是:“簡單拿捏!只要你保證让自變量 和 的距离, 小于我算出的另一個數值 , 我就能保證 绝對会落入你指定的那個目標区域里.”一言以蔽之, 是 和 的接近程度, 只要两者足够接近, 與是可以达到我们可以接受的接近程度的, 換言之, 无限趋近于.
反過来,如果 不是真的趋近于 , 那么当你的要求苛刻到一定程度时, 我就没戏唱了!再也找不到任何一個 能保證 落入你的目標区域了.那时,我的答案就是錯的,極限也就不存在.
使用 定義證明極限 .
我们的目標是證明,對于任意给定的 , 我们总能找到一個 , 使得只要 满足 , 不等式 就必然成立.
分析過程
這部分是寻找 的探索過程,我们從结論倒推.
我们的目標是让 .
首先,對目標不等式左边進行變形,尝试凑出我们能控制的項 :
我们希望這個整體小于 , 即 .
我们已經可以通過選取 来让 任意小, 但麻烦在于 并非一個常數, 它的大小也随着 的變化而變化.
但是,極限研究的是 在 附近的行為.既然 离 很近, 那么 的值應该也离 很近.我们可以通過預先限制 的一個范围来“框住”.
不妨先做一個临时的、合理的限制,比如我们要求 .
如果 , 那么当 时, 必然有 .
這個不等式展開就是 , 两边同时加 得到 .
既然 在 和 之間, 那么它的绝對值 必然小于 .
接着,我们對 有了一個固定的上界 . 再次回到我们的變形:
為了实現最终目標 , 我们只需要让 即可.
這表明,我们應该取 .
好了,我们接着對 有两個要求: 和 .為了同时满足這两個要求,我们只需取它们中较小的那個即可.
于是,我们找到了 的取法:.
證明過程
對任意给定的 ,我们取
显然 .
現檢验当 满足 时, 不等式 是否成立.
因為 , 所以由 可知 .
這蕴含了 , 從而 , 因此 .
同时,因為 , 所以 .
将以上结論结合起来,我们有:
這就證明了 成立.
根据極限的 定義,原命題得證.
本节習題
\exerciseentry { 考察函數 , 其中 表示不大于 的最大整數. 研究函數 在 处的極限是否存在. } { 运用極限的 定義, 證明 , 其中 均為实常數且 . }
\exerciseentry { 运用極限的 定義, 證明 , 其中 為任意正实數. } { 研究函數 在 时的極限. }
\exerciseentry { 考虑極限 . 對于给定的 , 請求出一個具體的正數 , 使得当 时, 恒有 . } { 證明極限的唯一性:若 且 , 则 . }
\exerciseentry { 运用極限的 定義, 證明 . } { 设函數 满足 . 若 , 證明:存在一個正數 , 使得對于所有满足 的 , 都有 . }
習題解析
第一題
函數 表示 的小數部分. 為判断在 处的極限是否存在,我们必须分别考察其左極限與右極限.
\begin{figure}[htbp]
\end{figure}
当 從右侧趋近于 时, 记作 . 此时 的取值略大于 , 例如 . 對于這些 值, . 因此,右極限為:
当 從左侧趋近于 时, 记作 . 此时 的取值略小于 , 例如 . 對于這些 值, . 因此,左極限為:
由于左極限與右極限存在但不相等 (), 根据極限存在的充要条件, 函數 在 处的極限不存在.
第二題
根据定義,我们需要證明:對于任意给定的 , 总存在一個 , 使得当 时, 不等式 恒成立.
我们從目標不等式 出發進行分析, 以寻找 與 之間的關係.
我们希望 . 由于 , 故 . 我们可以将不等式两边同除以 :
此分析表明,只要我们能控制 小于 , 就能达成目標. 這就為我们選取 提供了明确的指引.
下面是严格的證明過程: 對任意给定的 , 我们選取 . 由于 且 , 故 .
對于任何满足 的 ,我们有:
将此不等式两边同乘以 :
即
這恰好是我们需要證明的不等式. 故根据定義,原命題得證.
第三題
我们的目標是證明:對任意 , 存在 , 使得当 时, 恒有 .
我们先對目標不等式 進行變形, 以期建立它與 的联係.
我们希望 .
注意到分母中的 不是常數.但由于 趋近于 , 我们可以對 的范围做一個初步的限制,從而得到分母的一個下界. 不妨預先要求 . 若 , 则 , 蕴含了 . 在此限制下,分母 . 為簡化计, 我们取一個更宽松的下界:.
于是,我们有:
為使上式小于 , 我们只需令 , 即 . 綜合两個對 的要求, 我们可取 .
下面是严格的證明過程: 對任意给定的 ,我们取
由于 , 故 . 当 时, 我们同时有 和 . 由 可知 , 從而 . 故 .
接着,我们進行關键的推導:
這證明了 成立. 根据定義,原命題得證.
第四題
函數 在 时的極限不存在. 為證明這一点,我们只需找到两個都趋近于 的序列 和 , 但對應的函數值序列 和 收敛到不同的極限.
\begin{figure}[htbp]
\end{figure}
我们構造第一個序列,使得函數值始终為 . 令 , 其中 為正整數. 则 . 当 时, 显然 . 對應的函數值為:
因此,.
接着,我们構造第二個序列,使得函數值始终為 . 令 , 其中 為正整數. 则 . 当 时, 显然 . 對應的函數值為:
因此,.
我们找到了两条趋近于 的路径, 但它们在函數 的映射下却到达了两個不同的终点 ( 和 ). 這意味着函數在 时并没有一個确定的、唯一的归宿. 故 不存在.
第五題
我们的目標是找到一個 , 使得当 时, 恒有 .
首先分析不等式 .
我们希望這個乘積小于 .
我们能直接控制的項是 . 麻烦在于項 随 變化. 但由于 在 附近, 我们可以通過預先限制 的范围来“框住” 的大小.
不妨先做一個合理的限制,例如,我们要求 . 如果 , 则 . 在此范围内,我们来估计 的上界. 由于 在此区間均為正的增函數, 故其和在 处取最大值.
结合這個上界,我们的不等式變為:
為了满足 , 我们只需要 . 這要求 .
我们對 提出了两個要求: 和 . 為同时满足,我们取二者中较小的一個即可. 显然 , 故我们可取 .
例如,取 . 這是一個满足条件的具體正數.
第六題
我们采用反證法. 假设極限存在但不唯一,即 且 , 其中 .
既然 , 那么它们之間的距离 是一個正數. 我们選取一個特定的 , 令 . 显然 .
根据極限的定義: 因為 , 所以對于上述選定的 , 存在一個 , 使得当 时,有
又因為 , 所以對于同一個 , 也存在一個 , 使得当 时,有
接着,我们取 . 這是一個正數. 当 满足 时, 上述两個關于 的不等式将同时成立.
對于這样的 , 我们考察 ,并巧妙地添項减項:
我们将 代入上式,得到
我们得到了一個严格的矛盾不等式 . 這個矛盾源于我们最初的假设 . 因此,该假设必定是錯誤的.
故必有 . 極限的唯一性得證.
第七題
我们需要證明:對任意 , 存在 , 使得当 时, 有 .
我们從目標不等式出發進行分析.
我们知道,對于任意非零实數 , 正弦函數的值域為 , 因此 . 故對于任意 , 恒有 .
利用這個性質,我们可以對表达式進行放缩:
我们的目標是让 小于 . 根据上述放缩, 只要我们能保證 小于 ,目標就能达成.
這為我们選取 提供了極為簡洁的方案.
下面是严格的證明過程: 對任意给定的 , 我们選取 . 由于 , 故 .
對于任何满足 的 , 即 的 ,我们有:
這證明了 成立. 根据定義,原命題得證.
第八題
该命題的本質是,如果一個函數无限趋近于一個正數,那么在充分靠近该点的邻域内,函數值也必然是正的.
我们已知 , 且 . 根据極限的 定義, 對于任意给定的 , 都存在一個 , 使得当 时, 恒有 .
這個定義的關键在于 可以是任意小的正數. 我们可以根据我们的需要, 巧妙地選取一個特定的 来达到證明目的.
由于 , 我们可以選取 . 這是一個合法的正數.
根据定義,對應于這個特定的 , 必然存在一個 , 使得只要 满足 ,不等式
就成立.
我们将這個绝對值不等式展開:
在不等式两边同时加上 :
化簡得到:
我们特别關注這個不等式的左半部分:. 因為我们已知 , 所以 也必然是一個正數.
因此,對于所有满足 的 , 都有 .
這就證明了存在一個正數 , 使得在 的去心邻域 内, 函數值 恒為正. 證毕.
切線問題
{/* label: sec:ch14-s03 */}
在建立起極限的初步概念之后,我们立即着手解决那個最初激發我们思考的古老几何問題:如何严格地定義一条曲線在某一点的切線?
古典定義
古希腊的几何學家们對于圓、椭圓等二次曲線的切線已有深刻的认识.他们所依赖的定義,其核心思想是:一条直線若與曲線在某点附近僅有一個交点,则此直線為该曲線在该点的切線. 這一基于交点個數的判别法,對于具有良好凸性的簡單曲線是直观且有效的.
然而,当數學家们的探索深入到更為複杂的函數曲線时,這個朴素的定義開始暴露出其根本性的缺陷. 我们考察函數 在原点 处的切線.從直观上看, 水平的 轴似乎是最佳的候選者.但是,若我们试圖用古典定義来檢验它,便会立即陷入矛盾.
\begin{figure}[htbp]
\end{figure} 圖:曲線 在原点的切線問題
對于直線 (即 轴), 它與曲線 在原点接触. 但当 时, , 曲線在直線上方;当 时, ,曲線在直線下方. 這意味着该直線在接触点处穿過了曲線,這與切線應“支撑”于曲線一侧的直观感受相悖.
更為严重的是唯一性問題. 考察任意一条斜率為负的直線 (). 方程 僅有唯一实數解 . 若依据“唯一交点”准则,那么任何一条穿過原点的、斜率為负的直線都有資格成為切線,這显然是荒谬的.
這些矛盾揭示了一点:依赖于曲線全局交点個數的静态定義是不足够的.我们需要一种能够精确捕捉曲線在某一点附近的局部动态趋势的全新方法.這個方法,正是由極限理論所提供的.
割線的極限观点
我们寻求确定曲線在点 处的切線. 根据解析几何的基本原理, 确定一条直線需要两個要素:一個点與一個斜率. 点 已然在握,因此,切線問題的全部症结,便凝聚于如何确定其斜率之上.
然而,斜率的定義 内在地依赖于两個相异的点. 僅凭点 自身, 我们无法直接计算任何斜率. 為克服此障碍, 我们采取一种迂回但極具建设性的策略:既然一点不足, 我们便引入第二点. 在点 的邻近, 于曲線上另取一個相异的点 . 连接 與 的直線, 我们称之為曲線的一条割線. 其斜率 可以被精确地计算:
此值精确地量化了函數在 這段区間内的平均變化率.
這条割線并非我们的最终目標,但它是一個完美的近似. 一個自然的想法是,当点 與点 越接近, 割線 對点 处切線的近似就越精确. 我们将此“无限逼近”的直观過程, 转化為严谨的數學語言——極限. 想象点 沿着曲線向点 移动, 這意味着点的横坐標 无限地趋近于 .
\begin{figure}[htbp]
\end{figure} 圖:当点 沿曲線趋近于点 时, 割線 的極限位置即為在点 处的切線.
從几何上看,割線 在此過程中会不断旋转. 当 與 无限接近时, 這条动态的割線将稳定于一個确定的極限位置. 此極限位置的直線, 我们便定義為曲線在点 处的切線.
這個几何上的極限位置,必然對應着代數上這些割線斜率的極限值. 因此,点 处切線的斜率, 正是割線斜率 当 时的極限.
切線斜率的严格定義
我们将上述的直观思想转化為严谨的數學語言. 曲線在点 处的切線斜率, 正是当 时, 割線斜率 的極限.
曲線 在点 处的切線斜率 定義為:
若令 , 则 等价于增量 . 定義式可寫為等价的形式:
若此極限存在,则称曲線在该点处的切線存在.
這個基于極限的定義是革命性的. 它完美地解决了古典定義的所有困境,并為 型的不定式赋予了确切的几何意義. 我们不再尝试直接令 , 而是考察当 无限趋近于 时,整個比值的归宿.
我们再次回到 在原点的例子. 连接原点 與曲線上另一点 的割線斜率為:
我们接着考察当 时此斜率的極限:
這個極限是唯一且确定的. 極限的计算告诉我们,无論动点從左侧还是右侧趋近原点,割線的斜率都唯一地趋向于 . 因此, 在原点处的切線, 其斜率必然是 . 對應的切線方程就是 , 即 . 這個定義给出了唯一且符合直观的结果,彻底解决了之前的矛盾.
極限的威力在于它提供了一种“局部放大”的视角. 在一個无限小的尺度下,任何光滑曲線都近似于一条直線,這条直線就是它的切線. 切線,是曲線在该点附近最佳的線性近似.
求曲線 在点 处的切線斜率,并寫出切線方程.
我们所寻找的切線斜率,是连接定点 與其邻近动点 的割線斜率在 时的極限.
割線 的斜率為:
注意到,若直接令 , 我们将得到 的无意義形式. 我们的任务是在取極限之前,對表达式進行代數化簡,以消除這個不定形式. 展開分子:
当 时,我们可以提取公因式并约分:
這個化簡结果表明,只要 点不與 点重合, 割線的斜率就精确地等于 .
接着,我们取極限,考察当 时此斜率的趋势:
因此,曲線 在点 处的切線斜率為 .
根据点斜式方程,所求的切線方程為:
即
\begin{figure}[htbp]
\end{figure}
通過對切線問題的深入探讨,我们發現, 這一特定形式的極限,不僅是解决一個古老几何难題的關键,它本身还蕴含着描述“瞬时變化”的深刻物理意義.這個结構是如此地核心與普适,以至于它構成了整個微積分學的基石,并值得拥有一個属于自己的名字——導數.
本节習題
\exerciseentry { 考察函數 . 运用極限的定義, 證明其在任意点 () 处的切線斜率為 . } { 求所有通過点 且與抛物線 相切的直線方程. }
\exerciseentry { 考虑函數 . 判断该函數在点 处是否存在切線. 若存在,求出其方程;若不存在,請阐述其几何與代數原因. } { 确定參數 的值, 使得抛物線 與對數曲線 恰好相切. }
\exerciseentry { 确定常數 的值, 使得直線 與對數曲線 相切. } { 求抛物線 上的点, 使得该点处的法線通過坐標原点 . }
\exerciseentry { 證明:對于任意实數 , 不等式 恒成立. } { 考虑雙曲線 在第一象限的分支. 證明由该曲線上任意一点的切線與两坐標轴所围成的三角形的面積是一個與切点位置无關的常數. }
習題解析
第一題
设 為定義域内任意正实數. 我们需计算曲線在点 处的切線斜率.
根据切線斜率的定義,我们考察连接点 與其邻近动点 的割線斜率, 在 时的極限.
此為 型不定式. 為消去此不定性,我们采用分子有理化的代數技巧,即乘以其共轭表达式:
当 时, 可以约去公因子 :
接着,计算当 时的極限:
此结論對于任意 均成立. 證毕.
第二題
注意到,所求切線的切点并非给定的点 , 该点位于曲線之外. 因此, 我们必须设切点為曲線上的一般点 .
曲線 在点 处的切線斜率, 我们在正文中已求得為 . 故通過点 的切線方程為:
整理得
此切線必须通過点 , 因此点 的坐標满足切線方程:
我们得到了一個關于未知切点横坐標 的二次方程:
因式分解得 , 解得 或 .
這意味着存在两条满足条件的切線.
当 时, 切点為 , 切線斜率為 . 切線方程為:
当 时, 切点為 , 切線斜率為 . 切線方程為:
故所求的切線方程為 與 .
第三題
函數 可寫為分段函數形式:
切線存在的充分必要条件是定義切線斜率的極限存在,即割線斜率的左、右極限均存在且相等. 我们需在点 处分别考察其左、右两侧割線斜率的極限. 注意到 .
從右侧考察,当 时, , 此时 .
從左侧考察,当 时, , 此时 .
由于左、右極限不相等 (), 因此函數在点 处割線斜率的極限 不存在.
所以函數 在点 处不存在切線. 其代數原因為割線斜率的左、右極限不一致;几何原因為该点是一個尖点,曲線在此处發生了剧烈的方向转折,无法用唯一的直線進行線性近似.
第四題
两条曲線在某点相切,要求它们在该点有共同的函數值和切線斜率. 设切点為 , .
首先,函數值相等: .
其次,切線斜率相等. 對于 , 在 处的斜率為:
對于 , 在 处的斜率為 (此過程依赖重要極限 ):
令斜率相等: .
這是一個關于 和 的方程组. 從 (2) 解得 . 代入 (1) 得:
解得切点横坐標 . 将 代回 的表达式: . 故所求參數 .
\begin{figure}[htbp]
\end{figure}
第五題
若直線 與曲線 相切于点 , 则在切点处,二者的斜率必须相等. 直線 的斜率恒為 . 曲線 在点 处的斜率我们已在上一題中通過極限定義求得, 為 . 令两斜率相等:
由此确定切点的横坐標為 . 在该点两曲線的函數值必须相等:
联立可得 , 解得 . 故当 时, 直線 與曲線 在点 处相切.
\begin{figure}[htbp]
\end{figure}
第六題
法線是與切線在切点处相互垂直的直線. 设切点為 . 首先计算抛物線 在点 处的切線斜率:
当 时, 法線的斜率 . 過点 的法線方程為:
此法線通過原点 ,故其坐標满足方程:
解得 , 即 . 對應的点為 和 .
当 时, 切線斜率為 (水平線), 法線為竖直直線 . 此法線通過原点. 此时切点為 .
綜上,存在三個满足条件的点:, 和 .
第七題
该不等式可以從切線的角度给予深刻的几何诠释. 我们首先验證直線 是曲線 的切線. 在 处, , 直線 , 故点 是公共点. 曲線 在 的切線斜率 (依赖重要極限 ):
直線 的斜率也是 . 故 是 在点 的切線.
為證明不等式,我们構造辅助函數 . 原不等式等价于證明 恒成立. 我们考察函數 在任意点 处的斜率:
令此斜率為 , 即 , 解得 . 当 时, , 故斜率 , 函數 在此区間减小. 当 时, , 故斜率 , 函數 在此区間增加.
因此,函數 在 处取得唯一的全局最小值. 该最小值為 . 由于函數的最小值是 , 故對于任意实數 , 恒有 , 即 . 證毕.
\begin{figure}[htbp]
\end{figure}
第八題
设 為雙曲線上 分支的任意一点. 首先计算曲線 在点 处的切線斜率:
過点 的切線方程為:
令 , 求 轴截距: . 截点為 . 令 , 求 轴截距: . 截点為 .
所求三角形是由原点 、点 和点 構成的直角三角形. 其面積為:
由于 (第一象限),
此面積值是一個常數 , 與切点 的選取无關. 證毕.
\begin{figure}[htbp]
\end{figure}
函數的连續性
{/* label: sec:ch14-s04 */}
在前面的讨論中,我们關注的是当 趋近于 时, 的“趋势值”或“归宿”. 我们刻意强调了極限值 與函數在该点自身的“实际值” 是两個独立的概念, 它们可能相等, 也可能不相等, 甚至 可能根本不存在.
然而,在我们日常接触的大多數函數中,例如多項式函數 , 当我们考察 时的極限时, 我们發現 , 而這個極限值恰好就等于函數在 处的实际值 . 這种“極限值”與“函數值”恰好相等的优美性質,在几何上表現為函數圖像在该点是“连續不断”的,没有出現任何孔洞、断裂或跳跃.
這個“连續不断”的直观概念,在數學中有着至關重要的地位. 我们需要运用極限這一精确的工具,来给它一個严谨的定義.
连續性的定義
设函數 在点 及其某個邻域内有定義. 如果函數 当 时的極限存在, 并且等于它在点 处的函數值, 那么我们就称函數 在点 处连續.
這個定義包含了三個不可或缺的条件:
- 函數在点 处有定義, 即 存在.
- 函數在点 处的極限存在, 即 存在.
- 極限值等于函數值,即 .
如果上述三個条件中任何一個不满足,我们就称函數 在点 处不连續或間断.
函數在一点连續的本質是:極限過程的终点,就是函數在该点的实际落点. 符号表示為:
\begin{figure}[htbp]
\end{figure} 圖:连續與間断的几何直观
圖(a)展示了连續函數的情形,当 從两侧逼近 时, 函數值 所逼近的高度, 正好就是 的高度. 圖(b)展示了一种間断情况,虽然 存在, 但 在该点无定義(或取了别的值),形成了一個“孔洞”. 這种間断称為可去間断点. 圖(c)展示了另一种間断情况,左極限與右極限存在但不相等,函數圖像在此处發生了“跳跃”. 這种間断称為跳跃間断点.
\paragraph{区間上的连續性} 我们将点的连續性概念自然地推廣到区間上.
- 如果函數 在開区間 内的每一点都连續, 我们就称 在開区間 上连續.
- 如果函數 在開区間 上连續, 并且在左端点 处右连續 (), 在右端点 处左连續 (), 我们就称 在闭区間 上连續.
我们高中階段學習的所有基本初等函數,在其定義域内的每一個区間上都是连續的. 這包括:
-
幂函數
-
指數函數
-
對數函數
-
三角函數
-
常數函數
此外,由這些基本初等函數經過有限次的四则运算和複合运算所構成的函數,在其定義域内也是连續的.
這個结論極為重要,它正是下一节我们将要學習的“直接代入法”求極限的理論基石.對于一個在点 连續的函數 , 根据定義, 求 就等价于直接计算函數值 .
極限的运算
{/* label: sec:ch14-s05 */}
来龙去脉
我们已經對極限有了直观的认识,即函數值在一個点附近的“归宿”. 但如果遇到由多個簡單函數通過加、减、乘、除组合而成的複杂函數,我们该如何求其極限呢? 例如,我们想求 . 一個非常自然、符合直觉的想法是:当 趋近于 时, 趋近于 , 趋近于 . 那么整個表达式的極限, 是否就是這些部分極限的簡單加减呢?即 .
幸运的是,這個猜想是正确的. 極限的运算性質非常“友好”,它允许我们将一個複杂函數的極限問題,分解為若干個簡單函數極限的四则运算問題.這大大簡化了極限的求解過程.
極限的四则运算法则
對于任意实數 和 ,以下不等式恒成立:
對于任意实數 , 我们有 . 因此,對于实數 和 ,我们有:
将這两個不等式相加,得到:
這個複合不等式 正是绝對值不等式 的另一种寫法. 因此,上述不等式等价于:
證毕.
如果 且 , 那么:
- 和差法则:
(和的極限等于極限的和)
2. 乘積法则:
(積的極限等于極限的積)
3. 常數倍法则 (乘積法则的特例):
- 商法则: 如果 , 那么
(商的極限等于極限的商, 前提是分母極限不為零)
根据題设,我们已知 和 . 這意味着,根据極限的 定義:
-
對于任意 , 存在一個 , 使得当 时, 有 .
-
對于任意 , 存在一個 , 使得当 时, 有 .
我们将使用這些条件来證明法则.
我们只證明和法则,差法则的證明完全類似.我们的目標是證明:對于任意给定的 , 存在一個 , 使得当 时, 有 .
考虑目標表达式,根据引理9.2.2:
為了使上式的最终结果小于 , 我们可以让其右侧的每一項都小于 .
根据極限的定義:
-
取 , 则存在 , 使得当 时, 有 .
-
取 , 则存在 , 使得当 时, 有 .
接着,我们選择 .這样, 当 时,上述两個不等式同时成立.
因此,對于這样的 ,我们有:
這就證明了和法则.
剩余的不再證明了,否则跑远了,有兴趣的可以參閱《普林斯顿微積分讀本》或《托马斯大學微積分》.
{這些法则的本質是:極限符号可以“穿透”四则运算. 只要每個部分的極限都存在,并且在除法中分母的極限不為零,我们就可以先對每個部分求極限,再進行运算.}
试利用極限的运算法则,计算 .
我们的目標是,将這個看似整體的極限,一步步分解到最基本的極限形式.
對于最基本的極限 , 其值显然為 2. 将此结果代入:
這個例題的详细步骤揭示了一個重要的事实:對于任意一個多項式函數 , 其極限 的值, 总是等于将 直接代入多項式计算出的函數值 . 這正是后續"直接代入法"的理論基礎.
對于绝大多數我们在高中階段遇到的“表現良好”的函數,如多項式函數、有理分式函數(分母不為零时)、三角函數、指數函數和對數函數,它们都具有一种非常好的性質——连續性. 對于连續函數而言,函數在某一点的極限值,恰好就等于它在该点的函數值.
對于所有初等函數, 在其定義域内的任意一点 , 求極限 的第一步永远是: 尝试将 直接代入函數表达式.
- 如果能算出一個确定的數值,那么這個數值就是所求的極限.
- 如果代入后出現分母為零的情况,则說明直接代入法失效,需要使用其他方法.
求下列極限: (1) (2)
(1) 這是一個多項式函數, 在 处连續. 直接代入:
(2) 這是一個有理分式函數, 当 时,分母不為零. 直接代入:
本节習題
\exerciseentry { 计算極限 . } { 计算極限 . } \exerciseentry { 计算極限 , 其中 為常數. } { 计算極限 . } \exerciseentry { 已知 , 求常數 的值. } { 考虑函數
若函數 $f(x)$ 在点 $x=1$ 处连續, 求常數 $k$ 的值.
} \exerciseentry { 计算極限 . } { 确定常數 的值, 使得 . } \exerciseentry { 计算極限 , 其中 為任意实數. } { 计算極限 . } \exerciseentry { 求函數 的所有渐近線. } { 设函數 满足 , 其中 為非零常數. 求極限 . } \exerciseentry { 设函數 定義為 , 其中 為正整數. 试确定常數 的值, 使得 是一個连續函數. } { 證明:方程 在区間 内至少存在一個实數根. }
習題解析
第一題
当 时, 分母 , 分子 .
這是一個 型的不定式極限. 這表明分子與分母都含有因子 ,我们需通過因式分解来消除此不定形式.
分母的因式分解是直接的:.
對于分子,由于 是其根, 我们可以使用多項式除法或綜合除法得到 .
接着,我们重寫極限表达式:
在 的過程中 , 故可以约去公因子 :
此时,分母的極限不再為零,我们可以直接代入 来求值.
第二題
当 时, 這是一個 型的不定式. 分子分母均含有无理式,我们需分别進行有理化.
為处理分子的平方根,我们乘以其共轭表达式 .
為处理分母的立方根,我们利用立方差公式 , 乘以表达式 .
约去因子 后, 直接代入 求值:
第三題
当 时, 這是一個 型的不定式. 我们通過分子有理化的技巧来转化其形式.
由于 , 為正, 故 .
当 时, 且 .
第四題
注意到 . 在這种情况下, 是一個绝對值很大的负數.
当 时, 根据绝對值的定義, .
我们将分子分母同时除以 .
由于 , .
当 时, .
第五題
当 时, 分母 .
因為極限值為一個有限數 , 這說明分子在 时也必须趋于 ,否则整個分式的極限将是无穷大.
因此,我们得到第一個条件: .
由于多項式函數是连續的,直接代入可得:
從此条件我们可以解出 . 将其代回原極限表达式中:
此極限的值為 . 根据題设, 此極限等于 .
将 代入 (1) 式, 得 .
故所求常數為 .
第六題
函數 在点 处连續的定義是 .
根据函數的定義,. 我们需要计算当 时的極限.
這是一個 型的不定式. 為了利用重要極限 , 我们進行變量代換.
令 , 则 . 当 时, .
為了凑出重要極限的形式,我们對分母進行调整.
因此,.
要使函數连續,必须有 .
第七題
由于绝對值函數的存在,我们需要分别考察当 從 的左侧和右侧趋近时的極限.
当 时, , 故 , 此时 .
当 时, , 故 , 此时 .
由于左極限與右極限不相等,
根据極限存在的充要条件,该極限不存在.
第八題
首先對括号内的表达式進行通分,化為一個單一的有理分式.
我们要求此分式在 时的極限為 .
這是一個有理分式在无穷远处的極限問題. 分母的最高次幂為 .
若要極限為 ,分子的次數必须严格小于分母的次數.
因此,分子中 的係數必须為零.
当 时, 表达式變為 .
此时,分子分母的最高次幂均為 . 根据有理函數在无穷远处的極限法则,其極限為最高次項係數之比.
根据題设,此極限為 .
故所求常數為 .
第九題
此極限的求解依赖于第二個重要極限 及其推論.
我们利用對數與指數的互逆關係重寫表达式.
這是一個 型的不定式.
我们進行如下的恒等變形以構造出已知的極限形式:
對于第一個極限,令 , 当 时 . 故该極限為 .
對于第二個極限,
因此,原極限 .
第十題
這是一個 型的不定式, 涉及三角函數. 我们的目標是利用重要極限 .
首先對分子進行三角恒等變形.
利用二倍角公式的變形 .
代回原極限表达式:
第一個極限為 , 第二個極限為 .
對于第三個極限,我们進行凑形式:
将各部分结果相乘:
第十一題
函數 的定義域為 , 即 .
垂直渐近線: 函數在其定義域内是连續的,因此不存在垂直渐近線.
水平或斜渐近線: 我们需要分别考察 和 的情况.
当 时: 我们计算斜渐近線 的斜率 :
接着计算截距 :
因此,当 时, 函數有一条斜渐近線 .
当 时:
因此,当 时, 函數有一条斜渐近線 .
綜上,函數有两条渐近線: 和 .
第十二題
我们的目標是计算 .
這是一個 型的不定式. 核心思想是通過代數變形, 凑出已知的極限形式 .
我们對表达式進行如下重構:
根据極限的乘法法则,我们可以分别计算各部分的極限.
對于第一部分 ,我们進行變量代換. 令 . 当 时, 显然有 .
對于第二部分 ,我们利用重要極限.
将两部分極限值相乘,得到最终结果.
第十三題
函數 是一個極限形式定義的函數, 其具體表达式依赖于 的取值. 我们需要分情况讨論 與 的關係.
当 时, 且 当 .
当 时, . 我们将分子分母同除以最高次項 .
当 时,
当 时,
綜上,我们得到 的分段表达式:
要使 為连續函數, 它必须在分界点 和 处连續.
在 处连續,要求左極限、右極限與函數值相等.
因此必须有 . 解得 .
在 处连續,要求左極限、右極限與函數值相等.
因此必须有 . 解得 .
两個条件得到的 值相同. 故当 时, 函數 是一個连續函數.
第十四題
我们利用零点存在性定理来證明.
構造函數 . 這是一個多項式函數, 因此它在整個实數域上都是连續的, 特别地, 它在闭区間 上是连續的.
接着,我们计算函數在区間端点的值.
在左端点 处:
在右端点 处:
我们發現,函數在区間 的两個端点处的函數值异号, 即 且 .
根据零点存在性定理,一個在闭区間上连續且在端点处函數值异号的函數,其圖像必然在该開区間内至少穿越 轴一次.
因此,在開区間 内至少存在一個实數 , 使得 .
這就證明了方程 在区間 内至少存在一個实數根.
无穷远处的極限與无穷小量
{/* label: sec:ch14-s06 */}
至此,我们讨論的極限都是当 趋近于一個有限值 时的情形. 但在很多應用中, 我们更關心的是当自變量 變得无限大或无限小时,函數的长期變化趋势.
為了描述這种“最终趋势”,我们引入了 时的極限. 這個概念是理解函數渐近線、比较函數增长速度以及后續许多重要理論的基礎.
无穷远处的極限
如果当 无限增大时, 函數值 无限趋近于一個确定的常數 , 那么我们就称 是函數 当 趋于无穷时的極限,记作:
几何上,這表示函數 的圖像有一条水平渐近線 .
對于任意正數 和任意常數 , 我们有:
根据極限的定義,我们要證明的命題 意味着: \begin{quote} 對于任意给定的 , 我们都能找到一個实數 , 使得当 时, 不等式 恒成立. \end{quote}
接着我们分類讨論.
情况一:
如果 , 那么對于所有 , 函數值為 . 因此,不等式為 , 即 . 由于 被定義為任意一個正數, 所以 恒成立.在這种情况下, 我们可以選择任意的 (例如 ),结論都成立.
情况二:
我们的目標是找到一個 (它会依赖于 的值), 使得当 时, 成立.
我们從需要满足的不等式開始分析:
由于 , 我们只關心 的情况, 此时 , 所以 .不等式可以寫為:
因為 且 ,我们可以交叉相乘而不改變不等号方向:
接着,我们解出 :
因為 , 我们可以對不等式两边取 次方根,這不会改變不等号方向:
這個分析告诉我们,只要 大于 , 我们最初的目標不等式就会成立.這就為我们如何選择 提供了依据.
對于任意给定的 , 我们選择 如下:
接着我们来验證這個選择.假设 是任何一個满足 的數,那么:
将两边同时取 次方(因為 且两边都為正,操作合法):
由于 和 均為正數,我们可以整理得到:
這正是我们要證明的不等式 .
綜合以上两种情况,我们已經證明,對于任意 , 我们总能找到一個對應的 , 使得当 时, 成立.因此,根据極限的定義,定理得證.
證毕.
{這個公式是求有理函數在无穷远处極限的理論基石. 它告诉我们,当分母的幂次為正时,随着 无限增大,分式的值将无限趋近于0.}
高次項、低次項與“抓高次”原则
当我们处理多項式或有理分式在无穷远处的極限时,一個極其强大的思想是:在无穷的尺度下,只有增长最快的那一項才重要.
在一個多項式中,我们称次數最高的項為最高次項或高階項,其余的項為低階項.
例如, 在多項式 中:
- 是最高次項.
- 都是低次項.
当 變得非常大时 (例如 ), 的值将远远超過所有低次項之和,低次項的影响變得可以忽略不计. 這就是所谓的“抓高次”原则.
当 时,一個多項式或有理分式的極限,完全由其分子和分母的最高次項所决定.
求極限 .
方法一:推導法
分母的最高次幂是 . 我们将分子、分母同时除以 :
当 时, 所有形如 的項的極限都為0.
方法二:“抓高次”
当 时,我们只關心分子和分母的最高次項. 分子中的最高次項是 . 分母中的最高次項是 .
對于有理函數 , 其在 时的極限可以快速判断:
- 若 (分子次數 > 分母次數), 则極限為 或 (不存在).
- 若 (分子次數 < 分母次數), 则極限為 .
- 若 (分子次數 = 分母次數), 则極限為最高次項係數之比 .
高階无穷大與低階无穷大
“抓高次”原则的升維
我们在前面遇到的“抓高次”原则,本質上是在比较不同次幂的幂函數 在 时的增长速度.我们發現 比 增长得快, 又比 增长得快.
但如果問題變成了比较 和 , 哪個增长得更快呢?或者比较 和 呢?此时,僅僅比较“次數”已經不够用了.我们需要一個更普适的工具来描述和比较任意函數在趋于无穷时的增长速率.這就是“階”的概念.
假设 且 . 我们通過考察它们的比值在 时的極限来比较它们的增长速度:
- 如果 , 我们称 是比 更高階的无穷大. 這說明 增长得比 快得多.
- 如果 , 我们称 是比 更低階的无穷大. 這說明 增长得比 慢得多.
- 如果 ( 為非零常數), 我们称 與 是同階无穷大. 這說明它们的增长速度“在同一個量级”. 例如 和 就是同階无穷大.
当 时,我们熟知的几類函數,其增长速度存在着一道清晰的"鄙视链":
對數函數 幂函數 指數函數 更高階的函數
更具體地說,對于任意的 ,有以下两個極為重要的極限:
一個更形象的排序是 (從慢到快):
当 时,求一個由不同階无穷大相加减構成的分式極限时,我们只需要保留分子和分母中最高階的无穷大,其余低階項均可忽略.
求極限 .
思路分析:“抓高次”
首先,我们要确定分子和分母中的“高次”,也就是最高階的无穷大.
在分子 中, 根据增长速度階梯, 指數函數 是最高階的无穷大. 和 都是它的低階无穷大.
在分母 中, 同理, 也是最高階的无穷大. 是它的低階无穷大.
求解過程
我们只保留分子分母的最高階項,其余項均可忽略.
严格寫法
為了让過程更严谨,我们可以像处理有理函數一样,分子分母同除以最高階的无穷大,即 .
根据增长速度階梯,当 时:
所以,
常见函數的極限圖像分析
下面我们通過观察函數圖像,直观地总结几類基本初等函數在无穷远处或定義域边界处的極限行為.
\paragraph{幂函數 } \begin{figure}[htbp]
\end{figure}
- 当 為正整數时, 圖像向两侧无限延伸.
- 当 為负整數时 (如 ), 圖像以 轴為水平渐近線.
\paragraph{指數函數 } \begin{figure}[htbp]
\end{figure}
- 当底數 时, 函數單调递增, 向右侧无限增长, 向左侧无限趋近于0.
- 当底數 时, 函數單调递减, 向左侧无限增长, 向右侧无限趋近于0.
\paragraph{對數函數 } \begin{figure}[htbp]
\end{figure}
- 当底數 时, 函數單调递增. 圖像向右无限缓慢上升, 以 轴為垂直渐近線向下无限延伸.
- 当底數 时, 函數單调递减. 圖像向右无限缓慢下降, 以 轴為垂直渐近線向上无限延伸.
\paragraph{三角函數 } \begin{figure}[htbp]
\end{figure} 從圖像可以看出, 当 无限增大时, 和 的值在 和 之間永无休止地振荡, 它们并不趋近于任何一個确定的常數.
本节習題
\exerciseentry { 分析函數 在 处的渐近行為, 并绘制其函數圖像的示意圖. } { 分析函數 的渐近線 (包含水平與垂直渐近線), 并绘制其函數圖像的示意圖. } \exerciseentry { 分析函數 在 时的極限, 阐述其几何意義并绘制示意圖. } { 分析函數 在 时的極限, 阐述其几何意義并绘制示意圖. } \exerciseentry { 分析函數 的渐近線, 并绘制其函數圖像的示意圖. } { 分析函數 的水平渐近線, 并绘制其示意圖. } \exerciseentry { 分析函數 在 與 处的極限, 绘制示意圖以展示其两条不同的水平渐近線. } { 分析函數 的水平渐近線, 并绘制示意圖. } \exerciseentry { 分析函數 的水平渐近線, 并绘制其示意圖. } { 分析函數 的水平渐近線, 并绘制其示意圖. } \exerciseentry { 分析函數 的渐近行為. 阐述该函數為何有两条不同的斜渐近線并求出其方程, 随后绘制示意圖. (請先了解反三角函數,這在三角函數一章,此題可跳過) } { 求函數 的所有斜渐近線, 并绘制其示意圖. } \exerciseentry { 确定常數 的值, 使得 , 并解释 取值背后的數學原理. } { 考虑函數 , 其中 為正整數. 請分段寫出 的解析式, 分析其間断点, 并绘制其函數圖像的示意圖. }
習題解析
第一題
函數 的定義域為 , 因為分母 恒成立. 考察 时的極限. 分子的最高次幂為 , 分母的最高次幂為 . 由于分子次數严格小于分母次數, 故極限為 .
這意味着直線 (即 轴) 是函數圖像的水平渐近線.
第二題
函數 的定義域為 .
水平渐近線: 考察 . 分子與分母的最高次幂均為 . 極限值為最高次項係數之比.
故 為水平渐近線.
垂直渐近線: 考察分母為零的点 .
故 為垂直渐近線. 同理可分析 亦為垂直渐近線.
第三題
当 时, 這是一個 型的不定式. 我们采用分子有理化的方法.
此極限的几何意義是, 当 趋于正无穷时, 函數 的圖像无限趋近于直線 . 故 是函數在正无穷方向的水平渐近線.
第四題
当 时, 這依然是 型的不定式. 我们令 , 则当 时, .
接着對此 的極限表达式進行有理化:
此極限的几何意義是, 当 趋于负无穷时, 函數 的圖像无限趋近于直線 . 故 是函數在负无穷方向的水平渐近線.
第五題
函數 定義域為 . 垂直渐近線: . 故 是垂直渐近線.
斜渐近線: 分子次數比分母次數高一, 存在斜渐近線 . .
故斜渐近線為 .
第六題
函數 的分子分母中均含有振荡項. 然而, 当 时, 是无穷大, 而 與 均是有界函數. 我们将分子分母同除以最高次項 :
根据夹逼定理, যেহেতু , 我们有 . 当 时, , 故 . 同理 . 因此, 原極限為:
函數有水平渐近線 .
第七題
当 时: . 我们将分子分母同除以 .
故 為正无穷方向的水平渐近線.
当 时: . 我们将分子分母同除以 .
故 為负无穷方向的水平渐近線.
第八題
函數 定義域為 . 考察 时的極限. 這是一個 型不定式. 根据函數增长階梯, 幂函數 的增长速度快于對數函數 . 因此, 極限值為 .
故 是函數的水平渐近線.
第九題
考察 时的極限, 以确定水平渐近線.
令 , 当 时, .
這是一個重要的極限, 其值為 . 故函數存在水平渐近線 .
第十題
此極限是重要極限 的變形. 我们可以将其重寫為:
故函數存在水平渐近線 .
第十一題
函數 的渐近行為在正负无穷方向不同.
当 时: . . 故有斜渐近線 .
当 时: . . 故有斜渐近線 .
第十二題
函數 定義域為 , 即 .
当 时: . . 故斜渐近線為 .
当 时: . . 令 . . 故斜渐近線為 .
第十三題
我们分析極限 . 這是一個 型不定式.
首先, 為使極限為一個有限數, 两部分的无穷大必须是同階的, 且能够相互抵消. (当 ). . 為使它们能够抵消, 必须有 , 故 .
当 时, 極限變為 . 我们對此表达式進行有理化:
這是一個有理分式形式, 分子分母的最高次幂均為 . 其極限為最高次項係數之比.
根据題设, 此極限為 .
故所求常數為 .
第十四題
函數表达式依赖于 的取值, 我们需分情况讨論 與 的關係.
当 时: 且 .
当 时: . 我们将分子分母同除以 .
当 时:
当 时:
綜上, 的分段表达式為:
間断点為 和 .
導數的概念
{/* label: sec:ch14-s07 */}
在極限的帮助下,我们终于可以触及一個在科學與哲學上困扰了人類近两千年的古老难題:如何精确地描述一個事物在某一瞬間的變化速度?
古希腊的芝诺悖論就揭示了這一困境:一支飞行的箭,在任何一個确定的瞬間,它都占据着一個确定的位置,似乎是静止的.那么,它的“运动”究竟體接着哪里?這個問題本質上是混淆了“瞬間”和“时間段”的区别.在有限的时間段内,我们可以计算平均速度,但在一個没有长度的“瞬間”,速度的概念似乎失效了.
直到17世纪,科學的發展迫切需要解决這一难題.天文學家開普勒需要研究行星运动的瞬时速度,物理學家伽利略需要描述落體在每一时刻的速度.他们都遇到了同样的問題,但只能用近似和模糊的語言来描述.這個挑战,最终由两位旷世奇才,牛顿和莱布尼茨,以一种惊人相似的思路攻克了.
站在巨人的肩膀上
牛顿從物理學的视角出發,關心物體的瞬时速度;莱布尼茨则從几何學的视角入手,醉心于曲線的切線問題.尽管切入点不同,但他们都意识到,自己面對的是同一個核心矛盾:我们只能计算“两点之間”的量(平均變化率),却想知道“在一点处”的量(瞬时變化率).直接计算会導致 的困境.
他们的解决方法,是人類思想史上的一次伟大飞跃:既然无法直接“到达”那一点,就用无限“逼近”来代替.
让我们跟随莱布尼茨的几何思路来重溫這一過程:
\paragraph{從割線斜率出發} 要研究曲線 在点 的倾斜程度, 我们无法直接下手.但是, 我们可以在曲線上另取一点 , 然后计算连接 两点的割線的斜率.這是一個非常簡單的初中數學問題:
這個值,代表了函數在 到 這段区間内的平均變化率.
\paragraph{动态逼近的過程} 接着,想象一下,让点 沿着曲線向点 移动.這個過程的实質, 就是让横坐標的增量 越来越小, 趋向于 .
\begin{figure}[htbp]
\end{figure} 圖:割線旋转逼近切線的過程
随着 , 点 无限逼近点 , 那条连接它们的割線也在不断地“旋转”.它的最终归宿, 就是那条我们梦寐以求的、在点 处與曲線“相切”的切線.
\paragraph{用極限锁定最终结果} 割線的斜率 在這個過程中也在不断變化.它所无限逼近的那個極限值,理所当然就是切線的斜率. 這個“无限逼近”的思想,完美地绕開了 直接等于 的障碍.我们不問当 时是什么, 我们只問当 时,比值的極限是什么.
至此,几何上的切線斜率問題和物理上的瞬时速度問題,都通過這個统一的、基于極限的思想得到了完美的解决.
導數的诞生
這個通過“平均變化率求極限”得到的“瞬时變化率”,是一個如此基本而又强大的概念,以至于數學家们给了它一個專门的名字——導數.
函數 在点 处的導數 ,定義為函數在该点的平均變化率当自變量增量趋于零时的極限,即:
如果這個極限存在,我们就說函數 在点 处是可導的.
- 几何意義: 就是曲線 在点 处切線的斜率.
- 物理意義: 如果 是位移關于时間的函數, 那么 就是物體在时刻 的瞬时速度.
- 一般意義: 導數 衡量了函數 在点 处變化的快慢程度,是函數的瞬时變化率.
用定義求導
我们已經将“求瞬时變化率”這個模糊的想法,精确地固化為了導數的極限定義:
這個定義是整個微分學的逻辑基石.那么,我们如何运用這個最原始、最根本的工具,去实际地计算一個函數的導數呢?
在接下来的内容中,我们将扮演早期微積分先驱的角色,不借助任何現成的求導公式,僅凭極限的定義這一原始工具,去求解一些簡單函數的導數.這個過程不僅能加深我们對導數“瞬时變化率”本質的理解,更能让我们在稍后學習求導公式时,深刻體会到那些公式是何等的优越與便捷.
根据導數的定義,求解函數 的導數 的過程可以清晰地分為三步:
- 求增量. 计算当自變量從 變為 时, 函數值的增量 .
- 作商. 计算平均變化率 .這一步的核心目標是進行代數化簡, 尤其是通過因式分解、有理化等技巧, 约分掉分母中的 , 從而消除 时 的不定形式.
- 取極限. 计算 , 所得的结果就是導函數 .
求函數 (為常數) 的導數.
這是一個最簡單但意義重要的例子.它代表了一条水平直線,我们直觉上认為它的變化率(斜率)处处為0.
求增量
作商
取極限
结論: . 這印證了我们的直觉:常數函數没有變化,其瞬时變化率恒為零.
求函數 的導數.
這是我们遇到的第一個非線性函數,它的“倾斜程度”是随 變化的.
结論: . 這是一個深刻的结果!它告诉我们, 抛物線 在任意一点 处的切線斜率, 其值恰好是该点横坐標的两倍.例如, 在 处, 斜率為 ;在 处, 斜率為 .導數本身是一個新的函數.
求函數 的導數.
這個例子需要我们运用分式通分的技巧.
结論: .
有同學問:“捏吗!每次想求個導都這么麻烦!”,“有没有什么更好的方法呢!?”
通過以上例子,我们真切地體会到,導數的定義本身就蕴含着强大的计算能力.然而,這個過程虽然逻辑清晰,但對于稍微複杂一点的函數(比如 或 ),代數變形将變得异常繁琐和困难.
這正是數學家们所面临的困境.為了摆脱這种每次都從極限定義的“石器时代”開始计算的窘境,他们基于定義推導出了一係列普适的、可以像查字典一样直接使用的求導法则與公式.這将是我们下一节要學習的、能極大解放我们生产力的强大工具.
基本求導公式的诞生
来龙去脉
在上一节中,我们亲身體验了使用導數定義進行计算的“三步法”.這個過程虽然严谨,但對于每一個新函數,我们都必须重複一遍複杂的極限运算,這无疑是低效的.正如我们不会每次计算乘法都去重複地做加法一样,數學家们也渴望拥有更直接、更高效的求導工具.
這一节,我们的任务就是進行最后一次“艰苦的劳动”,利用導數的極限定義,係统地推導出我们高中階段遇到的所有基本初等函數的導數.一旦這些基本求導公式被建立起来,它们就会成為我们手中的“乘法表”和“计算器”,让我们從繁琐的極限运算中彻底解放出来.
但是在這之前,我们先暂且停下,思考個問題:在我们即将開始的對三角函數、指數函數和對數函數求導的征程中,会遇到两個“拦路虎”——它们是以 或 形式出現的特定極限.直接使用極限的四则运算法则對它们无能為力.這两個極限就是:
它们是连接代數世界與超越函數世界的關键桥梁.為了攻克它们,我们必须先掌握一個非常直观且强大的極限法则——三明治定理.
三明治定理 *(選讀内容)
如果在点 的某個去心邻域内, 有三個函數 始终满足:
并且,“上下两片面包”的極限存在且相等:
那么,被夹在中間的“馅料” 的極限也必然存在, 且等于 :
我们的目標是證明 .根据極限的 定義,我们需要證明: \begin{quote} 對于任意给定的 , 我们都能找到一個实數 , 使得当 时, 不等式 恒成立. \end{quote}
我们從已知条件出發:
- .這意味着, 對于我们上面给定的同一個 , 存在一個 , 使得当 时, 有 . 這個不等式可以展開為:
- .這意味着, 對于同一個 , 存在一個 , 使得当 时, 有 . 這個不等式可以展開為:
- .這個条件在点 的某個去心邻域内成立.我们设這個邻域的半径為 .即, 当 时,该不等式成立.
接着,為了让這三個条件同时生效,我们需要選择一個足够小的范围,使得 同时位于這三個邻域之内.因此, 我们定義一個新的 如下:
由于 都是正數, 所以 也必定是一個正數.
接着,我们来考察任何一個满足 的 .對于這样的 ,上述三個条件都成立.我们可以将它们串联起来:
-
從条件1,我们知道 .
-
從条件3,我们知道 .
将這两個不等式结合,我们得到左半部分的“三明治”:
接下来,
-
從条件3,我们知道 .
-
從条件2,我们知道 .
将這两個不等式结合,我们得到右半部分的“三明治”:
接着,我们将左右两部分的“三明治”结果合并,就得到了一個關于 的不等式链:
這個不等式链可以被寫回绝對值的形式:
至此,我们已經證明:對于任意给定的 , 我们都找到了一個 (即 ), 使得当 时, 有 .
這完全符合極限的 定義.
證毕.
證明.
這個極限的證明是三明治定理最經典的几何應用. 我们考虑在單位圓中,一個很小的正角 (弧度制).
\begin{figure}[htbp]
\end{figure}
從几何圖形的面積關係,我们显而易见:
我们分别计算這三個面積(單位圓中半径 ):
- 面積
- 面積
- 面積
代入面積不等式,并同乘以2,得到:
因為我们考虑的是一個很小的正角 , 所以 .将不等式同除以 :
取倒數,不等号反向:
接着,三明治的结構已經形成!我们考察“上下两片面包”的極限:
根据三明治定理,被夹在中間的函數極限也必须是1:
對于 的情况, 由于 是一個偶函數,其左極限等于右極限. 因此,我们證明了第一個重要極限:
第二個重要極限的推導,更像是一個“發現”與“定義”的過程.它源于對複利問題的思考.
假设银行年利率為100
- 如果每年计息一次,一年后本利和為: 元.
- 如果每半年计息一次,一年后本利和為: 元.
- 如果每月计息一次,一年后本利和為: 元.
- 如果每天计息一次,一年后本利和為: 元.
我们發現,随着计息周期越来越短(即计息次數 越来越大), 本利和 似乎在逼近一個确定的數值. 數學家们證明了這個極限确实存在,并把這個極限值定義為一個極其重要的无理數——自然常數 .
自然常數 定義為当 趋于无穷时, 表达式 的極限值.
通過變量代換,令 , 则当 时, .于是我们得到了這個極限的另一种等价形式,也就是我们的第二個重要極限:
這两個重要極限,将作為我们求導工具箱中不可或缺的利器.
\paragraph{幂函數 (為正整數)} 這是最重要、最基礎的求導公式.推導它的關键是二項式定理: .
当 时, 除了第一項 外, 所有其余項都含有 因子,因此它们的極限都為0.
這個公式對于任意实數 都成立, 例如我们之前求過的 和 都符合该规律.
\paragraph{三角函數 } 推導三角函數的導數,需要用到一個重要的極限:. 以及和差化積公式:.
由于 且 ,所以:
同理可證(作為練習):
\paragraph{指數函數 } 推導指數函數的導數,需要用到另一個重要的極限,它與自然對數的底 有關:.
根据重要極限的定義,我们得到:
当底數是特殊的 时, 由于 ,我们得到了最簡洁、最优雅的求導公式:
這個函數 的神奇之处在于,它在任意一点的變化率,都恰好等于它在该点本身的函數值!
\paragraph{對數函數 } 這是推導中技巧性最强的一個,它需要用到對數运算法则以及 的極限定義:.
為了凑出 的定義, 我们進行代換:令 , 则 , 当 时 .
利用對數的換底公式 ,我们得到最终结果:
同样,当底數是 时, 由于 ,我们得到一個非常簡洁的形式:
經過艰苦的推導,我们终于获得了這些珍贵的成果.它们是進行一切複杂求導运算的原子和基石,必须熟记于心!
| 函數 | 導數 \
很好!接着我们已經拥有了一张内容丰富的基本求導公式表.這就像是我们在學習算术时,拥有了“乘法口诀表”.接着,我们需要學習如何运用這些基本公式,去处理由它们通過加、减、乘、除等运算组合而成的更複杂的函數.
告别了每次都要從極限定義出發的“石器时代”,我们将進入一個高效、流畅的“公式化时代”.首先,我们来學習求導运算中最基礎的两個法则.
设函數 均可導,c為常數,则:
- 常數倍法则 [ [c \cdot f(x)]' = c \cdot f'(x)
[f(x) \pm g(x)]' = f'(x) \pm g'(x)
我们令 , 并利用導數的定義来求 .
根据導數的定義:
這就證明了常數係數在求導时可以被直接提到求導符号的外面.
我们令 , 并利用導數的定義来求 .
根据導數的定義:
重新组合分子中的項:
将分數拆分成两部分,并利用極限的加法运算法则:
最后,根据 和 的定義,我们得到:
“和的導數等于導數的和”得證.减法法则的證明過程完全類似,只需将上述過程中的加号替換為减号即可.
结合基本求導公式和這两個运算法则,我们已經能够解决一大類常见函數的求導問題了.
求多項式函數 的導數.
评注: 這是求導运算中最基本、最核心的應用.我们看到,一個複杂的多項式求導被分解為一係列簡單的幂函數求導的组合.
求函數 的導數.
關键将所有項都改寫為幂函數 的形式.
接着,我们可以像处理多項式一样来求導:
求函數 的導數.
這個例子混合了三角函數、指數函數和一個常數項(注意: 是一個常數!).
我们看到,掌握了基本求導公式和加减、數乘运算法则后,我们已經能够像熟練的工匠一样,轻松地“拆解”并处理任何由基本函數加减组合而成的函數了.
但是,現实世界中的函數關係远比這複杂.如果函數是相乘或相除的呢?比如 ?或者更加複杂的複合函數, 如 ?
對于這些情况,簡單的加减法则已經无能為力.我们需要更强大的工具——乘法法则、除法法则和链式法则.它们将是我们下一階段要攻克的目標.
乘、除、複合求導法则
三大运算法则
设函數 和 在点 处均可導,则:
- 乘法法则
語言描述:两函數乘積的導數,等于第一個函數的導數乘以第二個函數,加上第一個函數乘以第二個函數的導數.
2. 除法法则
語言描述:两函數商的導數,等于分子的導數乘以分母,减去分子乘以分母的導數,所得的差再除以分母的平方.
3. 链式法则 设函數 的自變量 本身是另一個關于 的函數 , 则複合函數 對 的導數為:
語言描述:複合函數的導數,等于外层函數對内层函數求導,乘以内层函數對自變量求導.
\paragraph{链式法则的Leibniz表示} Leibniz符号為此法则提供了绝佳的记忆方式.若记 $y=f(u), u=g(x)$,则链式法则寫作:
此形式在结構上酷似分數的约分,非常直观.它提醒我们,導數的传递過程是逐层相乘的.
這些法则均可通過導數的極限定義進行严格推導.理解證明過程有助于深化對導數本質的认识.
\paragraph{乘法法则的證明} 證明的關键在于構造項,即“添一項,减一項”的技巧.
由于函數 可導则必然连續, 所以 .其余两項分别是 和 的定義.因此,
證毕.
\paragraph{除法法则的證明} 證明過程與乘法法则類似,首先對分數作差進行通分,再應用構造項的技巧.
證毕.
\paragraph{链式法则的證明} 链式法则的严格證明涉及對内层函數增量是否為零的讨論,過程较為精细,此处從略.我们重点關注其應用.
三大法则的應用與实战
核心策略
掌握了這三個基本法则后,我们的任务是學会有策略地應用它们来解决由基本初等函數構成的任意複杂函數的求導問題.
解决問題的核心策略只有一步:准确识别函數最外层的代數结構. 一個给定的函數,其最外层是两個函數相乘(應用乘法法则)、相除(應用除法法则),还是一個函數複合另一個函數(應用链式法则)? 一旦确定了最外层结構,就施加對應的法则.在施加法则的過程中,如果遇到某個组成部分需要求導,再對该部分重複這個识别過程,直至所有求導問題都化归為基本求導公式.這個過程可以看作是一個递归分析的過程.
求函數 的導數.
结構分析: 函數 是 與 的乘積.因此,首要應用乘法法则.
根据乘法法则 :
求函數 的導數.
结構分析: 函數 是 與 的商.應用除法法则.
根据除法法则 :
在分子上提取公因式 使表达式更為清晰,這是一個良好的代數習惯.
求函數 的導數.
结構分析: 函數 的结構是 函數複合一個多項式 .這是一個典型的複合函數,必须使用链式法则,如同分析一個語法结構,從外层向内层逐层处理.
-
外层函數:
-
内层函數:
-
外導: 對 求導,
-
内導: 對 求導,
根据链式法则 :
求函數 的導數.
思路分析: 這是一個典型的多层複合函數,结構层次清晰,需要我们從最外层開始,如剥茧抽丝般逐层向内求導,并将每一层的導數相乘.
层次分解 我们可以将函數分解為四层:
-
最外层:
-
第二层:
-
第三层:
-
最内层:
逐层求導并應用链式法则 根据链式法则 ,我们有:
整理可得最终结果:
求函數 的導數.
思路分析: 函數的最外层结構是两個部分 和 的乘積.因此, 我们必须首先應用乘法法则.在计算 的過程中,需要應用链式法则.
根据乘法法则 ,我们先寫出求導的框架:
第一部分導數很簡單:
第二部分 需要使用链式法则.将根式寫為幂函數形式 . 外层函數是 , 内层函數是 .
将各部分代入乘法法则的框架中:
為了得到更簡洁的形式,我们進行通分:
求函數 的導數.
思路分析: 此函數最外层结構是商,因此我们的主框架是除法法则.然而,分子 本身是一個乘積, 求其導數需要乘法法则.分子中的 和分母 求導则需要链式法则.
令 , .我们先求出 和 .
求 (應用乘法法则):
求 (應用链式法则):
接着,将 代入除法法则 :
求函數 的導數.
思路分析: 這是一個层层嵌套的複合函數,需要極高的耐心和准确性.
- 最外层是幂函數 .
- 第二层是自然對數函數 .
- 第三层是乘積 .
- 第四层(内嵌于第三层)是複合函數 , 其中 .
我们需要计算 .應用乘法法则:
将第三步的结果代入第二步,再将第二步的结果代入第一步:
求函數 的導數.
思路分析: 函數形式為 ,底數和指數均為變量,必须使用對數求導法.
左边應用链式法则,右边應用乘法法则.
我们分别计算右侧的導數:
代回方程:
将 乘到右边,并代入其原始表达式:
求函數 的導數.
思路分析: 直接對這個複杂的複合函數求導是可行的,但這会涉及繁琐的商法则和链式法则,且后續化簡極其困难.面對複杂的表达式,一個优秀的解題者会首先尝试化簡.
我们先對對數内部的表达式進行化簡.通過分子有理化(乘以其共轭表达式):
因此,原函數可以被重寫為:
接着對這個簡化后的函數求導,就容易多了:
若不化簡直接求導,根据複合函數求導的链式法则 , 其中 .
首先寫出链式法则的框架:
我们集中精力计算右侧的商法则部分. 令 為分子, 為分母.
我们先计算 和 :
接着,應用商法则 :
将這個複杂的结果代回 的表达式:
虽然最终也能化簡到 ,但過程的繁琐程度和出錯风险远高于法一.
從這里可以看出,化簡后再求導是必须的,某年的高考題,對數里面套了個分式,若你直接硬導出錯率会急剧上升,而你又不像我編書的时候可以使用计算器(至少在高考的时候),因此,先化簡,记住了.
求函數 的導數.
结構分析: 此函數最外层的结構是 乘以 , 因此首要步骤是應用乘法法则.在计算乘法法则的各個部分时, 我们發現 和 的计算需要用到链式法则.
應用乘法法则,我们先寫出框架:
接着,分别计算两個需要链式法则求導的部分:
-
求 :外层為 , 内层為 .導數為 .
-
求 :外层為 , 内层為 .導數為 .
最后,将计算结果代回乘法法则的框架中:
-
混淆运算法则
一個根本性錯誤是将乘法或除法法则誤用為線性法则,例如认為 .必须明确,導數运算對于乘法和除法不具有這种簡單的分配性質.
-
链式法则遗漏内導
這是應用链式法则时最频發的錯誤:只對外层函數求導,而忘记乘以内层函數的導數.例如,将 錯誤地计算為 .
正确過程: .内层的導數是链条中不可或缺的一环.
-
複合层次识别不清
對于 , 其真实结構是 .最外层是幂函數 , 内层是三角函數 .
求導: .
而對于 , 最外层是正弦函數 , 内层是幂函數 .
求導: .
-
技巧:先化簡,再求導
在启动複杂的求導法则之前,應先审视函數表达式是否可以化簡.例如,對函數 求導, 若直接使用链式法则, 则 .若先化簡 , 则 ,過程更為簡捷.
求導技巧選讲*
至此,我们已經構建了一套强大的、普适的求導法则體係.對于任何能明确寫成 形式的函數,我们似乎都能通過“三驾马车”解决.然而,數學的世界充满了更多奇特的结構:
- 当一個函數的结構是“幂的幂”或者“一长串的乘積”时,比如 ,直接使用乘除法和链式法则,那确实不是人算的了!
- 当函數關係并非以 的“显式”形式给出, 而是隐藏在一個方程中, 比如圓的方程 , 我们该如何求出曲線上任意一点的切線斜率 呢?
取對數求導法
在处理導數問題时,若函數表达式呈現出“變量的變量次幂”或“多項因子的乘除開方”结構,常规的求導法则往往導致运算冗杂.取對數求導法利用對數运算将乘除转化為加减、将幂转化為乘積的代數性質,從而簡化求導结構.
對于函數 , 若其表达式由多項因子的積、商或幂指结構 構成,可按如下路径求導:
- 考虑等式两边绝對值的自然對數 ;
- 利用對數性質展開右端,将其化為各項的代數和;
- 视 為 的函數, 两边對 求導, 左端應用链式法则得到 ;
- 解出 , 即 .
求幂指函數 () 的導數.
观察函數结構,底數 與指數 均随變量變化,既非單纯的幂函數也非指數函數,无法直接套用基本公式.考虑引入對數以分离底數與指數.
在 的假设下,两边取自然對數:
此时,複杂的幂指關係转化為三角函數與對數函數的乘積.
方程两边對 求導.左边應用链式法则,右边應用乘法法则:
即
将 代回整理,得最终结果:
求函數 的導數.
此函數由三個代數式的幂通過乘除構成.若直接使用商的求導法则,分子部分需嵌套乘法法则,且涉及根式求導,计算路径冗长.利用對數性質将运算“線性化”更加自然.
在函數有定義的区域考察绝對值的對數,利用 及 展開:
两边同时對 求導.注意 ,运算被簡化為簡單的分式求和:
最后解出 ,即用原函數表达式乘以對數導數項:
通過這种變換,原本需要多重嵌套法则的运算被分解為独立的對數求導,结構清晰且易于檢验.
隐函數求導法
当 和 的關係由一個方程 确定, 而没有(或很难)寫成 的形式时,我们就称這個關係定義了一個隐函數.求這种函數的導數,需要直接在方程上动手术.
核心: 将方程中的 看作是 的一個未知函數 .然后, 将方程两边同时對 求導.在這個過程中, 凡是遇到與 相關的項, 都要應用链式法则.最后, 從得到的方程中解出 .
求由圓的方程 所确定的函數在任意点 的導數 .
思路分析: 這是典型的隐函數.我们将方程两边同时對 求導.
利用加法法则展開:
- 對 求導, 就是我们熟悉的 .
- 對 求導, 這是一個關键!因為 是 的函數, 所以 是一個複合函數.外层是平方运算, 内层是 .根据链式法则:
将求導结果代回方程:
接着,我们把它当作一個關于 的普通代數方程来解:
结果解讀: 這個结果非常优美且符合几何直观.它告诉我们,圓上任意一点 的切線斜率就是 .例如, 在点 , 切線斜率為 .
單调性
我们已經确立,導數 精确地刻画了函數在一点的瞬时變化率,其几何意義為该点切線的斜率.這是一個很好的局部性質.一個自然且至關重要的問題随之而来:我们能否利用函數在每一点的瞬时變化信息,来推断其在整個区間上的宏观行為,即函數的增减趋势,或称單调性?
導數的正负符号,直观上預示了函數的走向:正的導數意味着上升趋势,负的導數意味着下降趋势.然而,這还是不够严谨,因此本节的目標,正是要為這一直观建立坚实的理論基石,并最终形成一套行之有效的分析方法.
從理論基石到判定法则
我们的探索始于對函數圖像中那些關键的“转折点”的精确描述,這些点是函數單调性可能發生改變的地方,我们称之為極值点.
设函數 在点 的某個邻域内有定義.
-
如果對于该邻域内任意异于 的点 , 都恒有 , 那么我们称 是函數 的一個極大值, 称 為極大值点.
-
如果對于该邻域内任意异于 的点 , 都恒有 , 那么我们称 是函數 的一個極小值, 称 為極小值点.
極大值與極小值统称為極值,極大值点與極小值点统称為極值点.
極值是一個局部概念,它只關心一個点在其“邻里”中的地位.而最值是全局概念.此定義告诉我们“什么是”極值,但未指明“如何寻找”它们.直接用定義去比较无穷多個点的大小是不現实的.我们的直观再一次提供了線索:在任何光滑曲線的“峰顶”或“谷底”,切線必然是水平的.這一观察被精确地表述為费马引理.
如果函數 在点 处满足以下两個条件:
- 在点 处取得極值;
- 在点 处可導;
那么,函數在该点的導數必為零,即 .
我们以 為極大值為例進行證明. 根据極大值的定義,存在一個以 為中心的邻域, 對于该邻域内任意的 , 都有 , 即 .
考察導數 的定義式. 当自變量從右侧逼近 () 时, 分母 , 分子 . 故比值非正, 其極限(即右導數)满足 . 当自變量從左侧逼近 () 时, 分母 , 分子非正.故比值非负, 其極限(即左導數)满足 .
由于函數在 处可導, 其左、右導數必须存在且相等, 即 . 联立 與 , 唯一可能的情况便是 .
费马引理是一個必要条件,而非充分条件!
它的真正含義是:可導函數的極值点,必定是導數為零的点. 這為我们提供了一個寻找極值点的有效策略:只需在所有導數為零的点(也称驻点或稳定点)以及導數不存在的点(奇点)中進行筛選.
然而,反之不成立!即 并不能保證 就是極值点. 經典反例是 在 处,其導數為零但函數持續递增,该点是一個拐点.
费马引理联係了單個点的極值性質與導數性質.要從“点”的性質推廣到“区間”的性質,我们需要一座桥梁.這座桥梁便是中值定理.我们先從其特殊形式——罗尔定理開始.
如果函數 满足:(1)在闭区間 上连續;(2)在開区間 内可導;(3)在端点处的函數值相等, 即 . 那么,在 内至少存在一点 , 使得 .
根据闭区間上连續函數的最值定理, 在 上必取得最大值 和最小值 . 若 , 则 為常數函數, 其導數在 内处处為零,结論显然成立. 若 , 由于 , 则 與 中至少有一個必定在区間的内部某点 处取得. 這意味着点 是一個極值点, 且函數在该点可導.根据费马引理, 可導函數在極值点处的導數必為零, 故 .
\begin{figure}[htbp]
\end{figure} 圖:罗尔定理的几何意義:若曲線两端点等高,则其間必有水平切線.
罗尔定理要求 ,条件较為苛刻.拉格朗日将其推廣到了一般情形,其思想是通過構造辅助函數,将任意函數“旋转”至满足罗尔定理条件的状态.
如果函數 满足:(1)在 上连續;(2)在 内可導. 那么,在 内至少存在一点 ,使得
證明的思路是構造一個辅助函數,使其恰好满足罗尔定理的条件. 连接端点 和 的割線方程為 . 我们構造辅助函數 . 此函數 代表了曲線 與其端点割線之間的竖直距离. 不难验證 且 , 故 满足罗尔定理的全部条件. 因此,存在一点 使得 . 對 求導得 . 令 并代入 ,移項后即得定理结論.
\begin{figure}[htbp]
\end{figure} 圖:拉格朗日中值定理的几何意義
拉格朗日中值定理建立了瞬时變化率 與区間平均變化率 之間的桥梁.至此,所有理論工具已准備就绪,我们可以严谨地證明單调性判定法则了.
设函數 在区間 内可導.
- 如果在 内恒有 , 那么函數 在 上是單调递增的.
- 如果在 内恒有 , 那么函數 在 上是單调递减的.
- 如果在 内恒有 , 那么函數 在 上是一個常數函數.
设 是区間 内的任意两点, 且 . 在闭区間 上對函數 應用拉格朗日中值定理, 可知在開区間 内必定存在一点 ,使得
變形得到核心關係式:
因為我们假设 , 所以因子 恒為正數. 因此,函數值的差 的符号, 完全由導數值 的符号决定.
-
若在 内 : 由于 , 所以 . 此时 , 即 . 根据定義,函數單调递增.
-
若在 内 : 同理,此时 . 于是 , 即 . 根据定義,函數單调递减.
-
若在 内 : 同理,此时 . 于是 , 即 . 由于 是任意两点,故函數為常數函數.
至此,我们從一個直观的观察出發,通過一係列严谨的定義和證明,最终坚实地确立了利用導數判断函數單调性的法则.
單调性分析的標准流程與應用
根据上述定理,我们可以总结出求解函數單调区間的標准流程:
- 确定定義域: 這是最基礎也是最容易被忽略的一步.后續所有讨論都必须在定義域内進行.
- 求出導數: 计算出導函數 .
- 求解驻点與奇点: 求解方程 的根(驻点), 并找出 不存在的点(奇点).這些点是划分單调区間的分界点.
- 列表分析: 用表格清晰地展示出定義域被分界点划分成的各個子区間,以及每個子区間上 的符号和 的單调性.
求函數 的單调区間.
定義域 该函數為多項式函數,定義域為 .
求導數
求解分界点 令 , 解得 或 . 這两個驻点将定義域 划分為三個区間.
列表分析
| 区間 | |||||
|---|---|---|---|---|---|
| 的符号 | |||||
| 的單调性 | (增) | 極大值 | (减) | 極小值 | (增) |
结論 函數 的單调递增区間為 和 , 單调递减区間為 .
求函數 的單调区間.
定義域 函數 的定義域為 .
求導數 利用除法法则:
求解分界点 由于 , 分母 恒為正, 所以 的符号完全由分子 决定. 令 , 得 , 解得 .
列表分析
| 区間 | |||
|---|---|---|---|
| 的符号 | |||
| 的單调性 | (增) | 極大值 | (减) |
结論 函數 的單调递增区間為 , 單调递减区間為 .
已知函數 .
- 讨論函數 的單调性, 并證明:對任意 , 恒有 .
- 證明:存在唯一的 , 使得曲線 在点 处的切線, 與连接点 和 的直線平行.
在開始严格證明前,我们先用刚刚建立的拉格朗日中值定理来洞察第 (2) 問的本質. 題目的要求是證明"存在唯一的 ,使得切線與割線平行".
曲線在 $x_0$ 处的切線斜率是 $f'(x_0)$. 我们计算 $f'(x) = (\ln x + 1)$.
连接点 $A(1,f(1))$ 和 $B(e,f(e))$ 的割線斜率為 $k_{AB} = \frac{f(e)-f(1)}{e-1} = \frac{e\ln e - 1\ln 1}{e-1} = \frac{e}{e-1}$.
因此,第 (2) 問本質上是在證明方程 $f'(x_0) = \frac{f(e)-f(1)}{e-1}$ 在 $(1,e)$ 内有唯一解.這正是拉格朗日中值定理的直接表述!由于 $f(x)=x\ln x$ 在 $[1,e]$ 上显然连續且可導, 中值定理保證了這样的 $x_0$ **至少存在一個**.
唯一性则源于導函數 $f'(x) = \ln x + 1$ 自身的單调性.其二階導數為 $f''(x) = \frac{1}{x}$.在 $(1,e)$ 上, $f''(x) \> 0$, 說明 $f'(x)$ 是严格單调递增的.一個严格單调递增的函數, 其函數值当然只能取到 $\frac{e}{e-1}$ 一次.
至此,我们從高观点已經完全洞悉了題目的底牌.接下来,我们将回归到更基礎的工具進行严格的證明.
\paragraph{(1) 讨論 的單调性并證明不等式} 函數 的定義域為 . 對其求導,得:
令 , 解得 . 当 时, , 函數 單调递减. 当 时, , 函數 單调递增. 因此,函數 在 处取得極小值,同时也是全局最小值. 其最小值為 . 由于函數的最小值是 , 所以對任意 , 都有 . 即 , 移項得 .
\paragraph{(2) 證明解的存在性與唯一性} 如思路分析所述,本問等价于證明方程 在 内有唯一解.
我们構造辅助函數 . 目標是證明 在 内有唯一的零点.
首先證明存在性. 函數 在闭区間 上连續. 我们计算其在区間端点的值: . . 由于连續函數 在区間 的两端异号, 根据零点存在性定理, 在開区間 内至少存在一個点 , 使得 .
接着證明唯一性. 我们考察函數 在区間 上的單调性. 對其求導,得 . 對于任意 , 显然有 . 這說明函數 在整個区間 上是严格單调递增的. 一個严格單调的函數,其圖像與 轴最多只有一個交点. 结合已證的存在性,我们得出结論:函數 在 内有且僅有一個零点. 證毕.
中值定理的應用與推廣
{/* label: sec:ch14-s08 */}
在前一节中,我们引入了费马引理、罗尔定理及拉格朗日中值定理. 這些定理構成了微分學的主要理論框架,并成功地将導數的符号與函數的單调性联係起来. 本章将视線從“定性判断”转向“定量分析”. 我们将探讨如何利用中值定理建立函數增量與導數數值范围的联係,從而證明不等式;如何评估線性近似的精确度;并最终将拉格朗日中值定理推廣至处理两個函數比值的形式——柯西中值定理,為处理未定式極限奠定基礎.
利用中值定理證明不等式
拉格朗日中值定理的等式形式為:
该等式提供了一個精确的代數關係,将函數在区間两端的增量 转化為導數在某中間点的值 與自變量增量 的乘積.
尽管 的具體位置未知, 但如果我们能根据 這一信息估计出導數 的取值范围(即上界或下界),就能導出函數增量的大小關係. 這是一种從“局部變化率”推導“整體改變量”的有效方法.
基本方法與实例
證明形如 的不等式, 通常可转化為證明 . 若视 為区間的一個端点,便可構造函數并在相應区間上應用中值定理.
證明:当 时, 成立不等式 .
不等式可變形為 . 考虑函數 . 该函數在闭区間 上连續, 在 内可導. 根据拉格朗日中值定理,存在 ,使得
代入函數具體的表达式,得
由于 , 利用指數函數的單调性可知 . 又因為 , 所以 . 即 , 亦即 .
對于包含對數或分式的不等式,直接比较往往较為困难,而利用中值定理可以将問題转化為比较簡單的倒數或線性函數.
證明:對于任意 ,成立
首先观察中間項 ,這提示我们利用對數函數的增量公式. 構造函數 . 显然 在区間 上满足拉格朗日中值定理的条件. 于是存在 ,使得
即
由于 , 且函數 在 上單调递减,故有
因為 , 所以 . 在上述不等式各項同时乘以 ,得
代入 ,即證得结論.
中值定理與近似计算的誤差分析
在工程與科學计算中,常利用切線来近似曲線. 這种方法称為線性近似. 设函數 在点 处可導, 则 在 附近的線性近似(或一階泰勒近似)定義為:
几何上,這是用切線 代替曲線 . 近似带来的誤差记為:
显然,当 时, 誤差 是比 高階的无穷小. 但通過推廣中值定理的思想, 我们可以给出誤差 的具體表达式,從而量化近似的精确度.
设函數 在包含 的区間上具有二階導數. 则對于区間内任意一点 , 存在介于 與 之間的 ,使得
即誤差項為 .
這是一個固定点 的問題. 我们引入一個參數 , 使得等式在 处成立:
由此定義辅助函數 , 描述函數值與近似值在變动点 处的偏差:
显然 . 由 的定義可知 . 根据罗尔定理,在 與 之間存在一点 , 使得 . 對 求導:
注意 . 現在我们有了 和 . 再次對 在区間 (或 ) 上應用罗尔定理, 可知存在 介于 與 之間(也就是介于 與 之間), 使得 . 计算二階導數:
由 可得 , 即 . 将 代回原式,即得證.
该结論表明,線性近似的誤差大小取决于函數二階導數 的界. 曲線越“弯曲”(二階導數越大),切線近似的誤差就越大. 這也為后續引入高階泰勒公式提供了理論范式.
柯西中值定理
拉格朗日中值定理建立了單個函數增量與導數的關係. 如果我们考察两個函數 和 的增量比值,便得到了柯西中值定理. 它是拉格朗日中值定理的推廣,也是处理“不定式”極限(洛必达法则)的理論基石.
如果函數 和 满足:
- 在闭区間 上连續;
- 在開区間 内可導;
- 對任意 , .
那么,在 内至少存在一点 ,使得
注意:
- 若取 , 则 ,定理退化為拉格朗日中值定理.
- 条件 保證了分母 (否则由罗尔定理知存在一点導數為零).
- 该式不能簡單地通過對 和 分别應用拉格朗日定理得到, 因為那样会得到两個不同的点 和 ,无法消去.
證明思路仍是利用罗尔定理. 我们需要構造一個辅助函數,使得该函數在端点 处的值相等. 将结論變形為 . 這提示我们構造如下辅助函數 :
验證端点值:
可见 . 由 的性質知 在 上连續, 在 内可導. 根据罗尔定理, 存在 使得 . 求導得:
移項并整理,即得
几何意義
柯西中值定理具有清晰的几何解释. 考虑平面上的參數方程曲線:
此时,比值 代表了连接曲線起点 和终点 的弦的斜率. 而比值 代表了曲線在參數 對應点处的切線斜率.
定理表明:對于一条光滑的參數曲線,在起点和终点之間,必然存在一点,该处的切線與连接两端点的弦平行.
\begin{figure}[htbp]
\end{figure} 圖:柯西中值定理的几何意義:參數曲線上的切線平行于弦.
這一结論為下一章我们将要學習的洛必达法则提供了直接的理論支持:当 时, . 当 时, ,這便沟通了函數極限與導數極限.
導數的綜合應用:方程根、零点與不等式證明
{/* label: sec:ch14-s09 */}
在掌握了利用導數分析函數單调性與極值的方法后,本章将视野拓展至更複杂的綜合性問題.這些問題通常不直接询問函數的性态,而是要求讨論方程根的分布、确定函數零点的個數,或證明含有參數的不等式恒成立.
解决此類問題的核心在于構建一個係统性的分析框架,将“存在性”、“個數”與“恒成立”等代數命題,转化為函數圖像的几何特征(如最值、交点、趋势),進而利用導數工具進行精确计算.
函數零点問題
函數的零点即方程 的实根. 零点分布問題连接了函數性态分析與方程求解理論. 依据解析式中是否含有變动參數,此類問題通常分為定係數情形與含參情形讨論.
基本判定准则
零点的存在性由介值定理保證:若连續函數 在区間 端点取值异号, 即 , 则 内至少存在一個零点. 導數则進一步约束了零点的個數.
若 在区間 内單调, 则 在 内至多有一個零点.
對于非單调函數,确定零点個數的一般策略是利用導數划分單调区間,计算極值,并结合区間端点(或无穷远处)的極限,通過極值点與 的大小關係勾勒函數圖像的起伏.
定係數函數的零点
当函數解析式确定时,零点個數完全取决于極值符号與边界条件. 對于常见的多項式或超越函數,只需按照“求導—極值—端点”的流程操作.
确定函數 的零点個數.
定義域為 . 求導得 . 令 , 解得驻点 , .
考察極值與單调性:
-
当 时, ,單调递增;
-
当 时, ,單调递减;
-
当 时, ,單调递增.
極大值為 . 極小值為 .
考察边界趋势: , .
由 , 在 存在唯一零点; 由 , 在 存在唯一零点; 由 , 在 存在唯一零点. 綜上,该函數共有 個零点.
\begin{figure}[htbp]
\end{figure} 圖:利用極大值與極小值的符号判定三次函數的零点個數
(2024重庆南開中學)设函數 .
- 当 时, 求 的最值;
- 讨論函數 在区間 内的零点個數.
(1)單调性分析 對 求導:
当 时:
-
若 , 则 ;
-
若 , 则 .
故 在 上單调递增. 最小值為 . 最大值為 .
(2)分段考察零点 函數解析式為 . 定義域為 . 由于含有三角函數,應利用其符号周期性分区間讨論.
区間 : 当 时, , 故 . 同时 . 由此 ,该区間无零点.
点 : , 故 是一個零点.
区間 : 当 时, , 且 , 故 . 又 . 两項均為正,故 ,该区間无零点.
区間 : 此区間内 ,各項异号,需结合導數或特殊点值判定(介值定理). 考察關键点取值:
-
端点处:, 且 . 函數在 右侧起始為正.
-
中点处: 时, (由 ),故
- 端点处: 时,
结論綜合:
- 由 及 可知,函數從原点出發向上;
- 由 , 函數在 必穿過 轴一次(存在零点 );
- 由 , 函數在 必再次穿過 轴向上(存在零点 ).
經導數進一步分析(單调性细节略)可知上述区間内函數形态單一,不产生额外震荡.
綜上所述, 在 上共有 個零点(分别為 ).
\begin{figure}[htbp]
\end{figure} 圖:超越函數 的零点分布示意圖
含參方程的零点
当方程含有參數时,零点個數随參數變化而改變. 此时需對參數進行分類讨論. 常用方法有两种:
- 直接分析法:研究含參函數 的極值点位置及極值大小與參數的關係.
- 參變分离法:将方程變形為 的形式, 转化為固定曲線 與水平直線 的交点問題.
下例采用直接分析法演示.
讨論關于 的方程 () 的实根個數.
構造與求導 令 , 定義域為 . 求導得 .
單调性與極值 由于 , 導數符号僅取决于 . 当 时, ,函數递减; 当 时, ,函數递增. 故 在 处取得極小值,亦為最小值:
边界趋势
函數圖像呈“U”型,两端趋于正无穷.
分類讨論 零点個數取决于最小值 與 的關係:
- 若 , 即 , 圖像整體位于 轴上方,无实根.
- 若 , 即 , 圖像與 轴相切于顶点,有唯一实根.
- 若 , 即 , 極小值小于 且两端趋于 , 分别在 與 各有一個实根,共两個.
\begin{figure}[htbp]
\end{figure} 圖:參數 改變了 極小值的位置與大小,從而改變零点個數
(2024成都七中三诊)已知函數 , 其中 .
- 若 , 證明:;
- 若函數 在 内有唯一零点, 求实數 的取值范围.
(1)二階導數定性 当 时, . 求導得:
由于直接判断符号困难,考察 的導數(即原函數二階導):
当 时, , 且 , 故 . 這表明 在 上單调递增.
又 , 故当 时, . 進而 在 上單调递增. 又 , 故對于 , 恒有 . 命題得證.
(2)分類與比较 由題意,需讨論方程 在 上的根.
**情形一:} 利用第 (1) 問结論進行缩放.
由 (1) 知第一部分大于 ;由 及 知 . 故 ,函數无零点.
**情形二:} 考察 在 附近的局部性質. 计算二階導數值:. 因 , 故 .
由于 且 , 導函數 在 的右侧邻域内單调递减,取值為负. 由此, 在 的右侧邻域内單调递减. 因為 , 所以 開始取负值(即存在 使得 ).
另一方面,考察右端点 :
令 , 显然 在 时递增, 故 .
綜合分析: 函數 從 出發, 先递减至负值, 最终在 处為正值. 由介值定理, 在 内至少存在一個零点. (注:進一步分析 可證 只有一個變号点, 從而 呈“先减后增”形态,保證零点唯一,此处略去冗长计算).
綜上,满足題意的 的取值范围是 .
\begin{figure}[htbp]
\end{figure} 圖:參數 改變了函數在 附近的凹凸性與單调性
(2022全国乙卷)已知函數 .
- 当 时, 求曲線 在点 处的切線方程;
- 若 在区間 和 各恰有一個零点, 求 的取值范围.
(1)切線求解 当 时, . . 切点為 . 求導得:
故切線斜率 . 切線方程為 , 即 .
(2)转化與分類 函數定義域為 . 求導并通分:
设辅助函數 . 当 时, 分母恒正, 故 與 同号.
情形一: 当 时, 且 . 若 , 则 恒成立. 此时 在 單调递增. 又 , 故当 时, ,不存在零点. 不合題意.
情形二: 考察 的導數:. 当 时, , 且 (因 负 正), 故 . 單调递增, 且 . 故在 上 . 單调递增, 且 , 故 ,无零点. 不合題意.
情形三: 此时 .
1. 区間 的分析: 时, . 结合 , 存在 使得 . 当 时 ( 增);当 时 ( 减). 為極大值. 注意到 , 且 . 函數圖像先由 升至 , 再降至 . 這就意味着必然有 , 且在 内存在唯一零点.
2. 区間 的分析: . 因 , , 故 , 單调递增. , 且 时 . 故存在唯一 使得 . 当 时 ( 减);当 时 ( 增). 為極小值. 由于 , 函數從 開始下降至 , 再上升至 . 显然 , 故在 内存在唯一零点.
綜上所述,当 时,满足題设要求.
\begin{figure}[htbp]
\end{figure} 圖: 时函數 呈現出的“雙谷”形态與零点分布
不等式恒成立問題
證明“對于区間 内的任意 , 不等式 恒成立”, 即全称命題 . 此類問題通常有两种处理策略:最值法與參數分离法.
最值法
原理:将不等式變形為 .要保證“处处非负”, 只需保證“最低点非负”.即转化為求 在 上的最小值 .
求实數 的取值范围, 使得 對所有 恒成立.
構造函數 .問題转化為:求 使得 . 求導得 .
情形1:若 . 此时 恒成立, 函數 在 上單调递增. 当 时, .這說明必然存在 使得不等式不成立.故 不合題意.
情形2:若 . 令 , 解得唯一的驻点 .
-
当 时, ,單调递减;
-
当 时, ,單调递增.
故 在 处取得全局最小值:
要使恒成立,需 , 即 . 观察辅助函數 .易知 .求導 . 当 时, 取得最大值 0. 因此,只有当 时, 最小值 成立;若 ,则最小值必然小于 0.
綜上,符合条件的 只有 . (注:几何上,這對應于 是曲線 在 处的切線,切線始终在凸曲線下方)
參數分离法
原理:若能将參數 與變量 完全分离, 例如變形為 的形式.则“ 始终小于等于 ”等价于“ 小于等于 的下确界(或最小值)”, 即 . 此法避免了對含參函數求導时複杂的分類讨論.
若對任意 , 不等式 恒成立, 求 的取值范围.
由于 , 故 .不等式可變形為分离參數的形式:
令 ().問題转化為求 . 對 求導:
令分子為 .则 . 当 时, , 故 單调递减. 又 , 所以当 时, . 進而可知 , 函數 在 上單调递减.
考察函數的值域(下界): 利用洛必达法则求極限:
函數從 1 單调递减趋向于 0.因此,要使 對一切 成立, 必须有 . (注:若取 為正數, 当 足够大时 会趋近于 0 從而小于 ,導致不等式失效).
(2018浙江卷)已知函數 .
- 若 在 处的導數相等, 證明:;
- 若 , 證明:對于任意 , 直線 與曲線 有唯一公共点.
(1)換元與構造
求導得 . 令 , 则 對應 . 由 且 , 可知 是方程 的两個不同根.
约去 , 得 . 由此可知 . 又 . 由此推得 .
目標式 . 代入關係式得 . 令 , 構造 . . 当 时, ,函數單调递增. 故 . 證毕.
(2)转化零点問題 直線與曲線的公共点等价于方程 的根.
边界分析:(主導項 ), (主導項 ). 由介值定理,至少存在一個零点. 要證唯一性,需分析函數起伏.
求導:. 令 , 導數符号由 决定(). 方程 的右边设為 . . 在 递增, 在 递减. 最大值為 .
**情形一:} 此时 恒成立(僅在 处為0). 單调递减,必有唯一零点.
**情形二:} 方程 有两個根, 對應 和 . 在 递减, 在 递增, 在 递减. 圖像走势為:. 要保證只有唯一零点,必须确保極小值 (從而圖像在 处不穿過 轴).
计算極小值 , 其中 :
令 . 需證明對于 , 恒有 . . 在 上 ,函數單调递减. 故 . 已知 , 故 .
因為極小值 , 函數在 区間内恒正, 僅在 單调下降穿過 轴一次. 綜上,公共点唯一.
\begin{figure}[htbp]
\end{figure} 圖:当 时, 利用極小值大于 保證零点唯一
解題策略的進階视点
上面几道例題带给我们的启示是,其实处理零点問題可归纳為對函數“形态”與“位置”的两方面的綜合考察. 導數负责确定函數的形态(單调性、凹凸性),而边界值與極值则确定函數圖像在坐標係中的位置.
当 為超越方程难以直接求解时,不可强行计算,而應分析導數表达式的结構.
- 提取公因式:若 且 恒正, 则 的單调性完全由辅助函數 决定.
- 高階求導:若 的符号不明, 可继續對 求導. 二階導數 的符号能确定 的單调性, 進而确定 的零点(即原函數的極值点).
- 隐零点代換:若 的解 无法用初等函數显式表达, 保留 的形式, 利用 導出的代數關係(如 )對極值 進行降次或化簡.
而在处理含參范围問題时,直接讨論往往分支繁杂. 有效的策略是先寻找必要条件.
- 端点與特殊点限制:若要求 有零点, 函數在区間端点或特殊点(如 )的值往往受到限制.
- 趋势分析:考察 或定義域边界时的極限. 若两端趋向于 ,则函數必有下界,零点個數取决于最小值的符号.
确定參數的必要范围后,再在缩小的范围内證明充分性.
又或者說当精确计算困难时,可利用不等式對函數進行“夹逼”或“放缩”.
设 在区間 上连續.
- 若存在函數 使得 且 的最小值為正, 则 无零点.
- 若存在点 使得 且 , 则 必有零点. 在寻找 时, 常用切線放缩(如 )或泰勒展開簡化函數表达式.
\begin{figure}[htbp]
\end{figure} 圖:參數變化導致函數圖像竖向平移,極值点相對于 轴的位置决定零点個數
不等式中的存在性問題
與“恒成立”對應的是“存在性”問題,即特称命題 .
转化逻辑:
- 恒成立 (最坏的情况都要达標);
- 存在性 (只要最好的情况达標即可).
已知函數 .問:是否存在区間 内的 , 使得 ?求 的范围.
問題等价于:在区間 上, . 求導得 . 在 上, 驻点為 .
-
, ,函數递减;
-
, ,函數递增.
極小值 . 端点值 , . 比较可知,最大值 . 因此,只要 , 就存在這样的 .
隐零点與雙變量問題初步
在处理高階導數或複杂函數时,經常会遇到導函數的零点 无法通過方程 显式解出的情况(如方程 ).此时需采用“设而不求”的策略.
隐零点代換(设而不求)
策略:若 是方程 的根, 则有關係式 .在后續求最值或證明不等式时, 将目標式中的參數(或超越項)用含有 的代數式替換, 從而将雙變量( 與參數)問題转化為關于 的單變量函數問題.
已知函數 () 有两個零点 ().證明:.
由 可知 且 . 這意味着 是方程 的两個根.
令 .求導得 . 是 的極小值点. 由于 , 直線 與曲線 确有两個交点, 分布在 两侧, 即 .
構造對称点法: 要證 , 即證 . 由于 , 故 . 注意到 和 均落在区間 内. 在该区間上,函數 單调递增. 因此,證明 等价于證明 .
已知 , 故只需證明 . 代入表达式,即證:
令 .不等式两边取對數, 變形為 . 设 . 求導得:
對于 , 恒有 . 故 在 上單调递减.
證毕.
\begin{figure}[htbp]
\end{figure} 圖:利用函數的單调性與對称性处理隐零点問題
高階導數與泰勒展開初步
{/* label: sec:ch14-s10 */}
在前几章中,我们主要利用一階導數 来研究函數的單调性與極值. 一階導數刻画了函數的瞬时變化率, 几何上對應切線的斜率. 本章我们将引入高階導數, 特别是二階導數 ,以探究函數圖像的弯曲程度(凹凸性).
更進一步,我们将探讨數學分析中一個至關重要的思想:利用多項式函數去逼近任意複杂的函數. 這一思想的结晶——泰勒公式,不僅连接了初等數學與高等數學,也為不等式的證明提供了强有力的“降維打击”工具.
高階導數與函數的凹凸性
高階導數的定義
如果函數 的導函數 仍然可導, 那么 的導數称為 的二階導數, 记作 或 . 類似地, 二階導數的導數称為三階導數, 记作 或 .
物理意義:若 表示物體运动的位移, 则 是瞬时速度 , 而 是瞬时加速度 .
几何意義: 描述了切線斜率 的變化快慢.
- 若 , 說明斜率 單调递增,曲線變得越来越“陡峭”(向上弯曲).
- 若 , 說明斜率 單调递减,曲線變得越来越“平缓”(向下弯曲).
函數的凹凸性
函數的二階導數直接决定了函數圖像的弯曲方向,即凹凸性.
设函數 在区間 上连續.
- 下凸 (Convex/凹函數):若圖像上任意两点连成的弦,始终位于這段曲線的上方. 形象地,圖像形如 .
- 上凸 (Concave/凸函數):若圖像上任意两点连成的弦,始终位于這段曲線的下方. 形象地,圖像形如 .
国内外教材對“凹”與“凸”的中文命名常有差异. 為避免歧義,本节主要關注圖像的几何形状: 型與 型.
设 在区間 上具有二階導數.
- 若在 内恒有 , 则 的圖像是下凸的 ().
- 若在 内恒有 , 则 的圖像是上凸的 ().
\begin{figure}[htbp]
\end{figure} 圖:函數凹凸性與弦的位置關係
拐点
连續曲線 上凹凸性發生改變的点,称為拐点.
若 存在, 则 是点 為拐点的必要条件. 判定拐点的關键在于檢查 在 两侧是否變号.
極值的第二充分条件
利用二階導數,我们可以不通過單调性列表,直接判断驻点是極大值还是極小值.
设 且 存在.
- 若 , 则 是極小值 (圖像 且切線水平).
- 若 , 则 是極大值 (圖像 且切線水平).
- 若 ,该判定法失效,需回归第一充分条件(單调性分析).
泰勒展開:用多項式逼近函數
我们熟悉一次函數(直線)和二次函數(抛物線),它们性質簡單,易于计算. 對于像 這样複杂的超越函數, 我们能否用一個多項式 去模仿它?
逼近的逻辑
假设我们要用一個多項式在 附近逼近函數 .
- 零階近似:. (高度相同)
- 一階近似(切線):. (高度、斜率相同)
- 二階近似(抛物線):. (高度、斜率、弯曲程度相同)
沿着這個逻辑,如果我们要求多項式 在 处的 到 階導數都與 相同,我们就得到了泰勒公式.
带有佩亚诺余項的麦克劳林公式
如果函數 在 处具有 階導數,则有:
其中 称為佩亚诺余項, 表示当 时, 誤差是比 更高階的无穷小.
常用函數的展開式
以下展開式在 时成立,是处理極限與不等式的重要素材:
泰勒近似在不等式證明中的應用
泰勒公式不僅用于计算,更是證明不等式的强力工具. 其核心思想是:将超越函數替換為多項式,并控制余項的符号.
“切線放缩”的再审视
在上一章中,我们證明了 . 這实际上是 的一階泰勒展開.
- 因為 , 函數下凸, 圖像位于切線 上方, 故 .
- 推廣:若 , 则 .
高階展開的應用实例
利用更高階的展開,我们可以得到更精确的不等式.
證明:当 时, .
這本質上是比较 與其三階泰勒多項式. 構造辅助函數 . 我们需要證明当 时 . 對 逐次求導:
分析 : 對于任意 , , 故 . 這說明二階導數 在 上單调递增. 又 , 所以当 时, . 同理,由于 , 一階導數 單调递增. 又 , 所以当 时, . 最后,由于 , 原函數 單调递增. 又 , 所以当 时, . 即 成立.
此例展示了“降維”的威力:通過不断求導,我们将正弦函數的問題转化為了常數與 0 的比较問題,再层层反推回去. 這正是泰勒公式背后的逻辑链条.
洛必达法则與極限计算的係统策略
{/* label: sec:ch14-s11 */}
在第一章中,我们接触了極限的多种计算方法,但面對形如 或 這類不定式極限,除了少數特殊形式外,我们缺乏一种普适性的处理工具. 在第五章中,柯西中值定理為解决此類問題埋下了伏笔.
本章将正式介绍由该定理導出的洛必达法则 (L'Hôpital's Rule),這是一种通過求導来计算不定式極限的强大算法. 同时,我们将係统梳理極限的求解策略,建立一套分层的方法論體係,以應對各种複杂的極限問題.
洛必达法则
在正式應用洛必达法则之前,有必要先探究其思想:為什么两個函數導數的比值,竟然可以代替原函數的比值?
当 时, 如果 和 都趋向于 (或 ), 那么它们的比值極限, 本質上取决于它们各自趋向于 (或 )的相對速度. 而在微積分中,描述變化“速度”的最精准工具,正是導數.
我们可以通過一個物理比喻来建立直观认识. 想象 和 是两名赛跑選手, 终点線是 . 已知两人同时到达终点, 即 . 此时, 直接比较位置(即计算 )是没有意義的. 但我们可以比较他们的冲刺速度:如果 冲向 的速度是 的两倍, 我们有理由推测, 在终点附近的任意时刻, 的值大约也是 的两倍, 即極限為 . 在數學上, 在 处的瞬时速度即為 . 因此,一個非常朴素的猜想诞生了:
這一猜想可以通過導數的定義得到初步验證. 考虑最簡單的情形:, 且在 处導數存在, . 回顾導數的定義, 当 充分接近 时, 我们有近似關係 和 . 将两者相除, 公因子 被消去,立刻得到:
這表明,洛必达法则本質上是用函數在 点附近的**“切線”(線性近似)**来替代原函數進行计算.
然而,在实际問題中, 或 可能不存在,或者比值本身仍是不定式. 此时需要依赖更坚实的理論基礎——柯西中值定理. 根据柯西中值定理,對于区間 , 必然存在一点 介于 和 之間,使得函數增量的比值等于導數的比值:
利用条件 , 等式左边即簡化為 . 現在,對等式两边同时取 的極限. 這一步最精妙之处在于變量的传递:因為 被“夹”在 和 之間 (), 当端点 无限逼近 时, 中間点 别无選择, 只能无限逼近 . 因此, 對 的作用等价于 . 于是我们得到:
這就严格證明了,原函數的極限問題可以转化為導函數的極限問題. 柯西中值定理精确地建立了函數增量比與導數比值之間的桥梁.
洛必达法则的核心思想是:在特定条件下,两個函數之比的極限,等于它们導數之比的極限. 這意味着我们可以利用導數(切線斜率)的信息来推断函數值的趋近行為.
设函數 和 在点 的某去心邻域内可導, 且 . 若满足以下两類条件之一:
- ** 型}: 且 ;
- ** 型}: 且 ;
并且極限 存在(或為 ), 那么
该法则對于 的情况同样适用.
證明思路
以 型為例,其證明直接依赖于第五章的柯西中值定理. 若补充定義 , 则函數在闭区間 上连續. 根据柯西中值定理:
其中 介于 與 之間. 当 时, 必有 . 若 , 则 , 從而證明了原極限也為 .
基本應用实例
计算 .
這是 型不定式.
计算 .
這是 型不定式.
结論:對數函數的增长速度远慢于幂函數.
计算 ().
這是 型. 连續使用 次洛必达法则(或直至分子變為常數):
结論:指數函數的增长速度远快于任何多項式函數.
法则的滥用與陷阱
洛必达法则虽然强大,但并非万能钥匙. 盲目使用往往導致錯誤或死循环.
陷阱1:非不定式誤用
法则僅适用于 或 型. 若直接代入非不定式,法则将给出錯誤结果.
- 錯誤示例:计算 .
- 誤解:.
- 正解:直接代入得 .
陷阱2:導數極限不存在
若 不存在(振荡),并不意味着原極限不存在,只是說明洛必达法则在此失效,需改用夹逼定理或定義法.
计算 .
原極限显然存在且為 1. 但若使用洛必达法则:
由于 在 处振荡,该極限不存在. 此时法则失效.
陷阱3:循环與繁琐
對于某些函數(如 ), 求導后形式可能更複杂或循环出現, 導致无法得出结果. 此外, 對于簡單的因式分解能解决的問題(如 ),使用洛必达法则往往显得笨拙.
其他類型的不定式
對于 , , , , 等非標准型不定式, 必须先通過代數變形将其转化為 或 型.
\texorpdfstring{ 型
{0 times infinity type}} 转化策略:将乘積 變形為商 或 . 通常選择求導较簡單的函數放在分子,较複杂的倒數放在分母.
计算 .
這是 型. 将 下放:
\texorpdfstring{ 型
{infinity minus infinity type}} 转化策略:通分、提取公因式或有理化,合并為一個分式.
计算 .
连續使用洛必达法则(或结合泰勒展開)可得極限為 0.
\texorpdfstring{幂指函數型 ()
{power-exponential type}} 转化策略:取對數. 利用恒等式 . 设 , 则 , 转化為 型.
计算 .
令 ,取對數:
令 , 当 时 :
故 , 原極限 .
極限求解的策略总览
面對不同類型的極限問題,選择合适的解法至關重要。我们可以根据方法的複杂度和适用场景,将常用的求解策略分為三個层次。
方法分层
- 第一层
- 直接代入:首先檢查是否為不定式。若分母不為零,函數连續性保證了極限值等于函數值。
- 初等變形:包括因式分解、分子/分母有理化、提取最高次幂等。這通常适用于有理分式或簡單的根式。
- 重要極限:利用已知的標准结果,如 或 。
- 第二层
- 等价无穷小替換:在 时, 利用 等替換。此法计算簡便,但通常僅适用于乘除因子的替換,在加减法中使用需極度谨慎,以防精度丢失。
- 夹逼定理:适用于处理含有振荡項(如 )或无法直接计算的數列極限,通過放缩确立上下界。
- 第三层
- 洛必达法则:适用于满足条件的 或 型不定式。当函數求導后形式簡化时,此法最為有效。
- 泰勒展開:适用于 且涉及加减消項的複杂组合。與等价无穷小相比,泰勒展開提供了多項式的高階近似,能够精确控制誤差階數,适用于高精度的分析。
实例對比
计算 .
法一:洛必达法则 该極限為 型,满足法则条件。
此過程需要连續使用三次洛必达法则。
法二:泰勒展開 利用 代入分子:
通過保留三階項,直接观察到分子的階數特征。
方法的選择建议
- 對于乘除形式的因子,优先考虑等价无穷小替換,以簡化表达式。
- 對于加减形式的不定式,若求導后各項變得簡單,可使用洛必达法则。
- 對于高階无穷小相抵消(如 )或涉及複合函數的複杂極限,泰勒展開通常是最稳健和係统的方法。
專題:必要性探路與端点分析法*
{/* label: sec:ch14-s12 */}
在运用導數处理不等式恒成立問題时,例如證明或求解參數范围使得 在区間 上恒成立, 最經典的方法是寻求函數 在区間 上的全局最小值 , 并确保 . 這种方法是一种充分性的構造,它直接验證了不等式在最不利情况下的成立性,逻辑上直接且有力.
然而,在许多複杂問題中,函數的導函數可能异常繁琐,導致其驻点难以求解,或者函數的最值点并非驻点而是端点.在這些情况下,强行求解全局最小值的方法可能變得异常困难甚至不可行.此时,一种逆向的思維方式,即必要性分析,為我们提供了另一条解决問題的路径.
我们不再直接構造不等式成立的充分条件,而是反向探寻“若不等式恒成立,则必然在某些特殊点满足何种条件?”.這种從结論出發,反推初始条件的分析方法,其核心在于考察函數在边界点的“初始状态”與“运动趋势”.当不等式的临界情况恰好發生在区間的端点时,這种方法尤為有效,我们称之為端点分析法.
端点分析法则
我们考虑一類典型問題:已知函數 在区間 上满足 , 要求證或求參使得 在此区間上恒成立.
此时,函數圖像從点 出發.為了保證后續的函數值不小于零,一個直观的判断是,函數在出發点不能有“向下”的趋势,即其初始變化率必须為非负.進一步地,如果函數的“加速度”是确定的,例如二階導數恒正,那么這個初始趋势就足以决定函數的全程行為.
设函數 在区間 上可導, 且其導函數 在 上严格單调递增.若 , 则不等式 在区間 上恒成立的充分必要条件是 .
導函數 在 上严格單调递增的条件, 可以通過 在 上恒成立来保證.
充分性證明 (證明 ). 已知 在 上严格單调递增, 且 . 對于任意 , 根据導函數的單调性, 我们有 . 结合条件 , 可得 . 這意味着,函數 在整個区間 上是严格單调递增的. 因此,對于任意 , 恒有 . 结合已知条件 , 我们得到 在 上恒成立.
必要性證明 (證明 ). 我们回归導數最原始的定義.函數 在端点 处的導數 定義為:
根据題设,對于所有 , 恒有 且 . 因此,差商的分子 . 差商的分母 . 故整個差商表达式 . 根据極限的保号性,一個非负函數的極限(如果存在)也必然是非负的. 因此,.
綜上所述,充分性與必要性均得以證明.
此法则的物理學释義為:一個從原点出發的質点,若其初始速度非负,且其加速度始终為正(即速度單调递增),则该質点将永远不会运动到坐標轴的负半轴.此定理将一個涉及整個区間的恒成立問題,巧妙地转化為了一個僅需檢验端点处導數值的問題,極大地簡化了分析過程.
應用與思辨
已知函數 .
- 若 , , 求 的取值范围.
- 證明 的圖像是中心對称圖形. 若不等式 成立的充分必要条件是 , 求 的取值范围.
\begin{figure}[htbp]
\end{figure} 圖:在临界点 , 函數的“初始趋势” 决定了其是否能满足題设条件
函數的定義域由 确定, 解得 .
\paragraph{第一問} 当 时, . 其導函數為 . 要使 在 上恒成立, 等价于 恒成立. 令 . 我们需求 大于等于 的最大值. 對 求導得 . 令 , 得 . 易知 在 处取得最大值, . 故 的取值范围是 .
\paragraph{第二問} 為證明 的圖像是中心對称圖形, 我们考察 .
因此, 的圖像關于点 中心對称.
接着分析不等式条件.題设“ 成立的充要条件是 ”蕴含了三個信息: (1) 對所有 , 成立. (2) 對所有 , 成立. (3) 在临界点 处, 由连續性可知必有 .
由 可确定參數 的值. . 故 .
此时,条件转化為:当 时, 函數 在 处函數值為 , 在 上函數值大于 , 在 上函數值不大于 . 這表明函數 必须在其定義域 内是严格單调递增的.
因此,問題转化為求解參數 的范围, 使得当 时, 函數 在 上严格單调递增. 這等价于其導函數 在 上恒成立,且等号僅在孤立点处取得.
. 代入 得, .
化簡括号内的表达式: .
于是,不等式變為 . 当 且 时, 可约去正因子 ,得到: .
此不等式需對所有 恒成立. 因此, 必须大于或等于函數 在该定義域上的最大值(上确界).
令 , 其在 处取得最大值 . 故 在 内的值域為 . 因此,函數 的值域為 . 其上确界為 .
故我们必须有 , 即 .
最后檢验,当 时, . 由于 , 故括号内表达式 . 等号僅在 且 时成立.因此 恒成立, 且僅在 取零,满足严格單调递增的条件.
綜上所述, 的取值范围是 .
已知函數 , .
- 若 , 讨論 的單调性;
- 若 恒成立, 求 的取值范围.
函數 的定義域為 . 首先對函數 求導. 我们注意到 . 其導數為 . 因此,導函數為 .
\paragraph{第一問} 当 时, . 為研究其符号,我们令 . 為分析函數 的單调性, 進行變量代換. 令 , 则 . 此时 转化為關于 的函數 , . 對 求導得 . 在区間 内, . 這說明 在 上严格單调递增, 故 在 上也严格單调递增.
令 , 即 . . 解得 (另一解 舍去). 在定義域内唯一解為 .
由于 單调递增, 当 时, , 故 . 当 时, , 故 .
因此,函數 的單调递增区間為 , 單调递减区間為 .
\paragraph{第二問} 不等式 恒成立, 即 在 上恒成立. 我们構造辅助函數 . 原問題等价于 在 上恒成立.
我们考察函數在端点 处的趋势. . 函數從 出發,且要求后續函數值恒為负,這提供了一個强烈的必要性条件:函數在出發点不能有增加的趋势,即其導數在该点必须非正.
我们计算 . 令 ,考察導數的極限: . 由于要求 恒成立, 且 , 则必须有 . 由此得到必要条件 , 即 .
接下来,我们验證当 时, 该条件是否為充分条件. 我们只需證明当 时 恒成立即可. 当 时, . 為分析其符号,我们進行變量代換, 令 , . 转化為關于 的函數 , .
對 求導:. 令分子為 . , 故 在 上單调递减. 由于 , 所以對于任意 , 都有 . 因此 , 在 上严格單调递增.
由于 單调递增,其值必小于其上界: .
這證明了当 时, 在 上恒成立. 因此, 在 上严格單调递减. 结合 , 可得 在 上恒成立. 若 , 则 恒小于零也成立.
綜上所述, 的取值范围是 .
極限的局部保号性*
我们时常需要從一個函數極限的性質,推断出该函數在其極限点附近的性質.一個最為基本且深刻的联係便是,如果一個函數无限趋近于一個非零的常數,那么在充分靠近極限点的邻域内,该函數值的符号必然與極限值的符号保持一致.這個看似显而易见的直观结論,是连接極限與函數局部行為的重要桥梁,值得我们進行一次严谨的探讨.
想象一個變量 的值正在无限地逼近一個正數 . 這意味着 與 之間的距离 可以變得任意小.如果我们要求這個距离小于 , 即 , 那么 的值就必须被限制在区間 之内.這個区間内的所有數显然都是正數.
這個簡單的思想实验揭示了一個深刻的原理:只要一個函數收敛于一個非零極限,我们总能通過设置一個足够小的誤差范围,将函數值“框定”在一個不包含零的区間内.我们将這個直观思想形式化,便得到了極限的局部保号性定理.
设函數 在 时的極限存在且等于 .
- 若 , 则必然存在点 的一個去心邻域 , 使得對于任意属于此邻域的 , 恒有 .
- 若 , 则必然存在点 的一個去心邻域 , 使得對于任意属于此邻域的 , 恒有 .
我们以 的情形為例進行證明, 的情况完全類似.
我们的目標是證明存在一個正數 , 使得当 时, 恒有 .
證明的關键在于巧妙地選取 定義中的 . 我们需要選取一個足够小的 , 使得由不等式 所确定的区間 完全位于 轴的上方, 即 .
一個簡洁而有效的選择是令 . 由于 , 故 是一個合法的正數.
根据極限的 定義, 對于我们選定的這個 , 必然存在一個正數 , 使得当自變量 满足 时,不等式
恒成立.
我们将這個绝對值不等式展開:
在不等式三边同时加上 :
化簡得到:
我们特别關注此不等式的左半部分.由于 , 故 . 因此,我们得到了 , 這直接證明了 .
至此,我们已經證明了存在一個去心邻域 , 使得對于其中所有的 , 都有 . 證毕.
\begin{figure}[htbp]
\end{figure} 圖:極限局部保号性的几何诠释
極限的局部保号性定理有一個極為重要的推論,它处理的是極限與不等号的關係.
设函數 在 时的極限存在.如果在点 的某個去心邻域内, 恒有 , 那么
同理,若恒有 , 那么 .
我们采用反證法. 假设 . 根据我们刚刚證明的局部保号性定理,若極限 為负, 则必然存在 的一個去心邻域, 使得對于此邻域内的所有 , 都有 .
這與題目给出的条件“在 的某個去心邻域内恒有 ”产生了直接的矛盾. 因此,我们的初始假设“”必定是錯誤的. 故必有 .
一個必须注意的细节是,即使在邻域内恒有严格不等式 , 其極限也只能保證是非负的, 即 ,而不能保證是严格大于零的.
例如,考虑函數 在 时的極限.對于任意去心邻域 , 恒有 . 然而, 其極限為 .
應用與思辨
極限的保不等式性虽然看似簡單,但它在许多證明中扮演着基石的角色.回顾我们在“端点分析法”一节中的論證,我们正是运用了此推論.
在證明端点分析法则的必要性时,我们有:若 在 上恒成立且 , 则 . 我们的證明過程是:
我们論證了對于所有 , 差商 是一個非负的量. 接着,我们正是运用了極限的保不等式性,得出结論:一個非负函數在 时的極限,也必然是一個非负數.
這便是 的严格數學依据.可见,保号性定理是我们進行严谨分析时不可或缺的底层逻辑.
方法的局限性與全局分析的回归
我们已經认识到,端点分析法的有效性严格依赖于函數一階導數的單调性.当此前提条件不被满足时,该方法将由充分必要条件退化為僅具有必要性,從而可能導出錯誤的结論.理解此方法的局限性,對于在複杂問題中正确選择分析策略至關重要.
端点分析法失效的根本原因在于函數的一階導數 在所考察的区間上不具備單调性. 考虑在区間 上, 函數 满足 的情形.即使在端点处满足必要条件 , 若 在区間 内并非單调递增,则可能存在以下過程:
- 的值在初始為正或零之后, 随 的增大而减小.
- 在区間的某個内部点, 的值可能由正转负, 這意味着原函數 的單调性由增转减,形成一個局部極大值.
- 若此后 持續為负, 函數 将進入單调递减階段.如果此單调递减的趋势足够显著, 函數 的值完全可能下降至小于其初始值 .
最终,函數可能在区間的内部某点 取得一個極小值 .這個極小值在端点分析中是不可见的,我们称之為隐蔽極小值.
设函數 在区間 上二階可導, 且满足 .
- 若 在区間 内恒有 (或 ), 则 在该区間上單调.此时, 不等式 在 上恒成立的充分必要条件是 .
- 若 在区間 内的符号不定, 则 在该区間上不具備單调性.此时, 端点分析法失效:条件 僅為不等式 恒成立的必要非充分条件.問題的解决必须转為對 在区間 上的全局最小值進行分析.
證明第1条 (适用情形): 我们只證明 的情况. 充分性: 假设 . 由于 , 故 在 上單调递增. 因此, 對于任意 , 有 . 這表明 在 上是單调递增的.故對于任意 , 都有 . 必要性: 假设 在 上恒成立. 采用反證法, 假设 . 由于 , 是單调递增的. 若 , 则根据 的连續性, 存在一個 , 使得對于所有 , 都有 . 這意味着 在 上是單调递减的.因此, 對于任意 , 有 . 這與 恒成立的假设相矛盾.故 必须成立.
證明第2条 (失效情形): 当 符号不定时, 不單调.我们已經通過前文的分析說明, 存在這样的函數, 它满足 和 , 但由于 在 上變号, 導致 在区間内部出現了小于零的極小值. 這個反例清晰地表明,当 符号不定时, 即使满足了必要条件 , 也不能保證 恒成立.因此,该条件不再是充分的.
已知函數 . 当 时, , 求 的取值范围.
原不等式等价于 在区間 上恒成立. 構造辅助函數 . 問題转化為求解參數 的范围, 使得 對所有 成立.
计算函數在端点 的值:. 计算其一階導數:. 由于 且要求 , 一個必要条件是 . 經计算,, 该必要条件恒成立, 未能提供關于參數 的直接约束.
我们進一步分析,寻求一個能确保 的充分条件.最直接的条件是令 在 上單调递增, 即 在此区間恒成立. 令 . 我们現在分析使 在 恒成立的 的范围. 我们注意到 . 這再次構成了一個端点值為零的恒成立問題.為确保 , 我们可施加其單调递增的充分条件, 即 在 恒成立.
计算 : . 問題转化為求解 的范围, 使得 在 恒成立. 此时,可以使用參數分离法: . 令 . 我们需要 大于或等于 在 上的最大值.
. 令 , 得 . 在 处取得最大值 . 由此,我们得到条件 , 即 .
接下来,我们需論證此条件的充分性與必要性. 充分性: 若 , 则對于任意 , . 令 . . 易知 在 处取得最小值 . 故 成立, 因此 在 上恒成立. 保證了 在 上單调递增, 故 . 即 , 這保證了 在 上單调递增, 故 .
必要性: 若 , 则 . 则存在 使得 , 即 . 同时,我们计算 . 只要 略小于临界值, 仍有 , 此时 . 在 处為正, 而在点 处為负, 說明 在 上不單调. 考虑到 且 初始递增, 后转為递减, 且 , 故 必在某点 后變為负值. 在 上有正值区間也有负值区間, 那么原函數 必然是先增后减的. 從 開始递增,达到一個正的極大值后,開始递减. 由于 . 一個從 開始, 最终趋于 的连續函數, 必然在某個点 处有 . 這與 恒成立矛盾.
綜合充分性與必要性,所求 的取值范围是 .
何时有效,何时失效?
由上节我们知道,端点分析法是一种極其强大的工具,但它并非万能的灵丹妙药.其有效性严格地依赖于一個前提:函數一階導數的單调性.在應用此方法之前,對其适用性進行审慎的檢验,是保證结論正确性的關键步骤.
我们回顾端点分析法所处理的核心模型:證明 在 上恒成立, 其中已知 . 此方法的精髓在于,如果函數在出發点 的“初始速度” 是非负的,并且其“加速度”始终能保證這個“速度”不会在中途變為负值,那么函數值就永远不会“跌破”零.
這里的“加速度”在數學上由二階導數 刻画, 它决定了一階導數 的單调性.
對于端点值為零的不等式恒成立問題,判断端点分析法是否适用的可操作步骤如下:
- 構造函數與求導: 構造满足 的辅助函數 , 并计算其一階導數 和二階導數 .
- 檢验二階導數符号: 分析 在区間 上的符号.
- 若 恒為非负 (或恒為非正): 這表明 在该区間上是單调的.此时, 端点分析法完全适用.不等式 恒成立的充分必要条件就是 .
- 若 符号不定: 這表明 在该区間上不單调.此时, 端点分析法失效.条件 僅僅是一個必要条件,不再是充分条件.
- 選择策略: 若适用,则通過檢验 的符号直接得出结論;若失效, 则必须放棄端点分析, 回归到求解 的零点, 通過分析 的單调性来寻找其在 上的全局最小值.
我们通過一個具體的例子来深刻理解為何当 不單调时,端点分析法会導出錯誤的结論.
已知函數 . 若不等式 在区間 上恒成立, 求实數 的取值范围.
原不等式等价于 在 上恒成立. 我们構造辅助函數 . 考察函數在端点 的值:
這是一個端点值為零的恒成立問題.
一個看似合理的想法是,為了使 從 出發后始终保持非负, 我们只需保證它在 处不下降,并且“初始加速度”也支持它不下降.我们来逐階考察其在端点处的導數值.
计算一階導數:. 檢验端点值得 . 计算二階導數:. 檢验端点值得 . 计算三階導數:. 檢验端点值得 . 计算四階導數:. 檢验端点值得 .
根据高階導數在零点的性質,函數 在 附近的性态由第一個非零的導數值决定.為了使 成為一個局部極小值点, 需要 . 由此我们得到 , 即 .
這個结論似乎暗示了 就是最终的答案.然而, 這种僅依赖于 点局部信息的分析方法, 忽略了函數在整個 区間上的全局行為.二階導數 的符号在 上并非恒定(例如当 时),因此端点分析法的基礎——導函數單调性,并不成立.這种局部“探路”得到的必要条件,在此例中恰好與正确答案吻合,但這具有相当的偶然性,并不能構成严谨的證明. 我们對參數 的符号進行分類讨論.
情况一:
当 时, 對于任意 , 均有 . 因此, .
我们只需證明 在 上恒成立即可. 這是一個逐階求導分析單调性的經典過程.
.
. .
. .
.
對于任意 , 我们有 , 故 . 由于 , 故 在 上單调递增. 因此對于 , . 由于 , 故 在 上單调递增. 因此對于 , . 由于 , 故 在 上單调递增. 因此對于 , .
我们證明了 . 故当 时, . 不等式恒成立.
情况二:
我们需要證明,若 , 则必然存在 使得 . 我们不依赖任何先验的不等式,而是考察函數在无穷远处的行為.
将 變形為:
我们考察当 时,括号内表达式的極限. 根据夹逼定理,因為 , 所以 . 当 时, , 故 .
同时, 且 .
因此,括号内表达式的極限為:
由于我们假设 , 故極限值 是一個负數.
根据極限的定義(或保号性),如果一個函數在无穷远处的極限為一個负數,那么当自變量 足够大时,该函數的值也必然為负. 即,存在一個足够大的數 , 使得對于所有 , 都有
對于這样的 , 乘以一個正數 之后,不等号方向不變:
這就證明了,只要 , 总能找到一個足够大的 , 使得 .
因此,当 时,不等式不恒成立.
结論
綜合两种情况,所求实數 的取值范围是 .
求实數 的取值范围, 使得對于任意 , 恒有不等式 成立.
第一步:構造函數與初步分析
我们構造辅助函數 . 考察函數在端点 的值:
這是一個端点值為零的恒成立問題.
第二步:檢验适用性
计算一階與二階導數:
我们發現,二階導數 在区間 上的符号是不定的. 当 时, , 導函數 單调递减. 当 时, , 導函數 單调递增.
由于 在考察的区間上不具備單调性,我们得出结論:端点分析法在此問題中失效.
第三步:剖析失效原因與回归正确方法
如果我们无视适用性檢验,而錯誤地應用端点分析法,会得到什么呢? 我们会從“ 恒成立”推出必要条件 .
如果我们誤将此必要条件当作充分条件,就会得出錯誤的答案 .
我们来验證這個答案的錯誤性.取 (满足 ), 则 . 当 时, , 與題设 恒成立相矛盾.
這個矛盾的根源在于:虽然初始速度 保證了函數在 附近是增加的, 但由于 在 上递减, 導致速度 持續减小, 甚至可能在某点變為负值, 從而使函數 转為递减.這种后續的递减可能導致函數值“跌破”轴,形成一個在端点处不可见的“隐蔽極小值”.
因此,我们必须放棄端点分析,回归到對函數全局最小值的分析. 原不等式 . 由于 , 問題等价于 在 上恒成立.
函數 是一個開口向上的二次函數, 其對称轴為 . 由于對称轴位于区間 内部, 所以函數 在此区間上的最小值在顶点处取得.
為使 恒成立,我们必须有其最小值非负:
\begin{figure}[htbp]
\end{figure}
所求实數 的取值范围是 .
此例深刻地揭示了机械套用端点分析法的危险性.在处理端点值為零的恒成立問題时,计算并分析二階導數 的符号, 是判断该方法是否有效的黄金准则.若 符号恒定, 则端点分析是通往正确答案的捷径;若 符号不定,则必须警惕"隐蔽極小值"的存在,并回归到更為根本的全局最值分析方法.
本节習題
\exerciseentry { 求实數 的取值范围, 使得對于任意 , 恒有不等式 成立. } { 求实數 的取值范围, 使得對于任意 , 恒有不等式 成立. } \exerciseentry { 求实數 的取值范围, 使得對于任意 , 恒有不等式 成立. } { 已知函數 . 若 對任意 恒成立, 求实數 的取值范围. } \exerciseentry { 求实數 的取值范围, 使得對于任意 , 恒有不等式 成立. 請首先檢验端点分析法在此問題中能用與否,然后再求解. } { 已知函數 . 若当 时, 不等式 恒成立, 求实數 的取值范围. 請首先檢验端点分析法在此問題中能用與否,然后再求解. }
習題解析
第一題
原不等式等价于 在区間 上恒成立. 我们構造辅助函數 .
考察函數在端点 的值:
這是一個端点值為零的恒成立問題. 我们首先檢验端点分析法的适用性.
计算一階與二階導數:
對于任意 , 恒有 . 這表明導函數 在区間 上是严格單调递增的.
因此,端点分析法适用. 不等式 恒成立的充分必要条件是 .
解得 . 故所求实數 的取值范围是 .
\begin{figure}[htbp]
\end{figure}
第二題
原不等式等价于 在区間 上恒成立. 構造辅助函數 .
考察函數在端点 的值:
這是一個端点值為零的恒成立問題. 檢验适用性.
计算一階與二階導數:
對于任意 , 恒有 . 這表明 在 上严格單调递增.
因此,端点分析法适用. 不等式 恒成立的充分必要条件是 .
解得 . 故所求实數 的取值范围是 .
\begin{figure}[htbp]
\end{figure}
第三題
原不等式等价于 在区間 上恒成立. 構造辅助函數 .
考察函數在端点 的值:
這是一個端点值為零的恒成立問題. 檢验适用性.
计算一階與二階導數:
對于任意 , 恒有 . 這表明 在 上严格單调递增.
因此,端点分析法适用. 不等式 恒成立的充分必要条件是 .
解得 .
此结論亦可由參數分离法验證:当 时, . 由于函數 在 上單调递减, 其最大值(上确界)為 . 故 . 所求实數 的取值范围是 .
第四題
不等式 在 上恒成立. 我们構造辅助函數 .
考察端点值: . 這是一個端点值為零的恒成立問題. 導函數為 .
為應用端点分析法,我们需考察 的單调性, 即 的符号.
對于任意 , 恒有 , 故 . 這表明 在 上是严格單调递增的.
因此,端点分析法适用. 不等式 恒成立的充分必要条件是 .
解得 . 所求实數 的取值范围是 .
第五題
原不等式為 在区間 上恒成立. 我们構造辅助函數 .
考察函數在端点 的值:
這是一個端点值為零的恒成立問題. 我们首先檢验端点分析法的适用性.
计算一階與二階導數:
我们發現,二階導數 在区間 上的符号是不定的. 当 时, , 導函數 單调递减. 当 时, , 導函數 單调递增. 由于 不具備單调性,端点分析法在此問題中失效.
条件 僅僅是 恒成立的必要条件,但不再是充分条件. . 我们可以用此必要条件缩小范围, 但不能作為最终结論. 例如, 若取 (满足 ), 则 . 当 时, ,與題设矛盾.
我们必须回归到對函數全局最小值的分析. 原不等式 . 由于 , 問題等价于 在 上恒成立.
函數 是一個開口向上的二次函數, 其對称轴為 . 由于對称轴位于区間 内部, 所以函數 在此区間上的最小值在顶点处取得.
為使 恒成立,我们必须有其最小值非负:
\begin{figure}[htbp]
\end{figure}
所求实數 的取值范围是 .
第六題
原不等式等价于 在区間 上恒成立. 我们構造辅助函數 . 問題转化為求解參數 的范围, 使得 對所有 成立.
考察函數在端点 的值:. 這是一個端点值為零的恒成立問題. 计算其一階導數:. 由于 且要求 , 一個必要的条件是 . 經计算,. 此必要条件恒成立, 未能提供關于參數 的直接约束.
為使 在 上單调递增, 一個充分条件是 在此区間恒成立. 我们令 . 于是問題转化為分析 在 恒成立的条件. 我们注意到 . 這再次構成了一個端点值為零的恒成立問題.
為确保 , 我们可施加其單调递增的充分条件, 即 在 恒成立. 计算 : .
問題最终转化為求解 的范围, 使得 在 恒成立. 此时,函數结構已足够簡化,可以使用參數分离法: . 令 . 我们需要 大于或等于 在 上的最大值.
. 令 , 得 . 在 处取得最大值 . 由此,我们得到条件 , 即 .
接下来,我们需論證此条件的充分性與必要性. 充分性: 若 , 则對于任意 , 恒成立. 保證了 在 上單调递增, 故 . 保證了 在 上單调递增, 故 .
必要性: 若 , 则存在 使得 . 同时, . 只要 略小于临界值, 仍有 , 此时 . 在 上符号不定, 說明 不單调. 從 出發, 先增后减. 又因 , 故 必在某点后變為负值. 符号不定, 導致 先增后减. 從 出發, 先递增至一個正的極大值, 之后開始递减. 又因 , 故 必然在某点后變為负值. 這與 恒成立矛盾.
綜合充分性與必要性,所求 的取值范围是 .
專題研讨:極值点偏移問題
{/* label: sec:ch14-s13 */}
在处理雙零点或雙極值点問題时,我们常常会遇到一類看似與對称性相關,但实际上存在“偏移”的难題。
例如,已知函數 有两個零点 , 題目要求證明 (其中 為極值点)。如果函數關于 對称(如二次函數), 显然有 。然而, 大多數超越函數并不具備完美的對称性, 這就導致中点 偏离了極值点 。這一現象被称為“極值点偏移”。
本專題将係统介绍处理此類問題的三种核心方法,從通用的構造法到巧妙的變量代換,层层递進。
問題的引入與识别
典型情景
極值点偏移問題通常以以下两种形式出現:
- 零点偏移:函數 有两個零点 , 證明 或 。
- 極值偏移:函數 有两個極值点 (即導函數的零点), 證明 。
核心特征與典例
這類問題的核心在于“伪對称”:函數圖像在極值点两侧看起来相似,但实际上增长或下降的速度并不一致。常见的模型函數如 , , 等,其導數往往包含指數或對數項,導致了非對称性。
已知函數 。若 且 , 求證:。
直观分析:求導得 。函數在 处取得極小值。 如果 的圖像關于直線 對称, 那么显然 。 结論 暗示两根的中点偏向了極值点的左侧。這是因為在 左侧()函數趋于0, 比较平缓;而在右侧函數增长極快。為了达到相同的高度, 左侧的点 必须跑得比右侧的点 更远。
解法一:構造對称函數法
這是处理此類問題最通用、最严谨的方法。既然函數本身不對称,我们就人為構造一個對称的结構来進行比较。
核心思想
设 , 其中 是極值点。我们想比较 與“ 關于 的對称点 ”的大小。 構造辅助函數 , 利用函數的單调性来推導 與 的關係。
操作步骤
以典例 為例, 證明 。極值点 。
- 设而不求:不妨设 。我们要證 , 即證 。 由于 在 上單调递减, 上述不等式等价于 。 又因為 , 問題转化為證明: 對于 成立。
- 構造辅助函數: 令 , 其中 。 目標是證明 。
- 分析單调性: 求導:
代入 :
因為 , 所以 。 同时 , 由 單调递增可知 。 因此,對于 , 恒有 。 4. 得出结論: 函數 在 上單调递增。
即 。 令 , 则 。 代回 , 得 。 因為 和 都在單调递减区間 内, 所以 , 即 。證毕。
解法二:對數均值不等式 / 變換主元法
對于指數或對數型函數,往往可以通過代數變形,将雙變量問題转化為單變量不等式問題。
核心思想
利用 這一等式, 将 用一個新的變量 (通常设 或 )表示出来, 從而将待證不等式转化為關于 的函數不等式。
操作步骤
仍以 為例。
- 代數變形:由 , 两边取對數(注意 均為负數,取對數需取绝對值,或移項變形)。 變形為:。 或者更直接地: (设 )。 整理得 。
- 變換主元:令 。因為 , 所以 。 将 與 联立求解:
- 構造新函數: 要證 ,即證:
整理得 (注意 )。 设 ()。 求導 。 此处需仔细檢查符号或二次求導。 实际上,對于此類標准形式,利用對數均值不等式 往往更為快捷。
解法三:泰勒展開 / 高階導數分析法(“降維打击”)
這是一种從高等數學视角出發的分析方法。極值点偏移的本質原因是函數在極值点两侧的“弯曲程度”不同,而弯曲程度由高階導數控制。
核心思想
我们将函數 在極值点 处展開。 设 , ()。 由泰勒公式:
代入 并利用 :
這暗示了 和 的大小關係取决于三階導數 的符号。
判定准则
- 若 ,函數在極值点附近局部對称性强,偏移極小。
- 若 , 通常意味着極值点右侧“更陡峭”, 為了达到相同高度, 右侧所需的距离 更小, 即 。 此时 。
- 若 , 同理可得 。
此方法虽不严谨(不能直接作為解答步骤),但它能迅速指明不等式的方向,是檢验猜想和指導構造辅助函數的强大工具。例如在典例中, 易算得為正, 故迅速判断出 。
建议
- 首選解法一:構造對称函數法逻辑最严密,适用范围最廣,是解答題的標准动作。
- 辅助解法二:變換主元法技巧性强,對于 组合的問題往往有奇效,可作為備選思路。
- 高观点解法三:作為教师或高階學生的直觉训練工具,帮助洞察問題本質,預判结論方向。
還沒有留言。