ch03-函數
{/* label: chap:ch03 */}
\begin{figure}[htbp]
\end{figure} 圖:從出租车计价看函數的對應關係
函數是現代數學的中心概念之一,它為變量之間的依赖關係提供了形式化的語言. 本章的目標是係统地建立函數的理論. 我们将從其作為一种特殊映射的严格定義出發,進而研究其核心性質——單调性、奇偶性、周期性等. 随后,我们将分析几類基本初等函數,它们是構造與分析更複杂函數的基礎. 最后,我们将探讨函數的圖像變換,并将函數模型應用于解决实际問題.
函數的概念
{/* label: sec:ch03-s01 */}
數學中,映射 (mapping) 是一個普适的概念,它描述了從一個集合 到另一個集合 的元素間的對應法则. 函數是這類關係中最為重要的一种特例, 其特殊之处在于集合 和 的元素均為數.
函數的定義
设 為两個非空的实數子集. 一個從 到 的函數 (function) , 是一個為 中每一個元素 , 都在 中指派唯一确定的一個元素 的法则.
此函數可记作 ,其對應關係通常寫作:
我们称 為自變量, 為因變量, 集合 為函數的定義域, 集合 為陪域.
一個函數由三部分構成:定義域 、陪域 和對應法则 . 定義直接蕴含了两条核心约束,這两条约束继承自映射的定義:
- 穷尽性:法则 必须對定義域 中的所有元素都有效.
- 唯一性:對于 中给定的任意元素 , 其在 中對應的元素 必须是唯一的. 這意味着一個输入不能产生多個输出.
值得强调的是,定義并不禁止多個不同的输入 對應同一個输出 (即 的情况).
在记号 中, 必须精确区分 和 . 指代整個函數(即法则本身), 而 是一個具體的數值, 它是在法则 作用下, 與自變量 對應的值.
陪域和值域是两個相關但不同的概念.
- 陪域 是函數定義时預先指定的目標集合,它包含了所有可能的输出值.
- 值域 是所有实际输出值的集合,由定義域和對應法则完全确定. 其严谨定義為:
值域始终是陪域的一個子集,即 $f(A) \subseteq B$.
例如,對于函數 , 其法则為 . 此函數的陪域是 , 但其值域是 .
将研究對象限定于數集,極大地拓展了可用的分析工具. 首先,我们可以對函數表达式進行代數运算,例如構造两個函數的和 . 其次, 也是更根本的, 我们可以利用笛卡尔坐標係, 将函數與平面几何對象關联起来. 函數 的圖像 被定義為点集:
這种代數與几何的联係,使得我们可以通過几何直观来研究函數的抽象性質.
函數的三要素
在分析函數时,我们的注意力通常集中在三個核心要素上:定義域、對應法则和值域.
定義域 指定了函數的合法输入集合. 任何關于函數的讨論都必须以其定義域為前提,此即“定義域优先”原则. 定義域记作 或 . 若一個函數僅由解析式给出而未明确指定定義域, 则其定義域约定為使该解析式在实數范围内有意義的所有 的集合,称為自然定義域.
對應法则 描述了输入與输出之間的具體關係. 它最常由解析式给出,如 . 圖像與表格也是表示對應法则的有效形式.
值域 是所有函數值構成的集合. 它并非函數的初始構成部分,而是由定義域和對應法则完全决定的派生集合. 探求一個函數的值域,是理解其行為的核心任务之一,也是數學中一類重要且富有技巧性的問題.
定義域
{/* label: sec:ch03-s02 */}
函數的自然定義域 (natural domain),是指使该函數的解析式在实數域 内有意義的全體自變量 構成的集合. 求解此集合通常归结為建立并求解一個或多個由函數代數结構决定的约束条件(通常是不等式或方程).
基本代數结構的约束
以下是構成函數解析式的基本代數结構所引入的典型约束条件:
- **分式 }:分母不為零, 即 . 這是因為除以零在实數域中没有定義.
- **偶次根式 ()}:被開方數非负, 即 . 這是因為在实數域中, 任何數的偶次幂均為非负數.
- 對數 :真數大于零, 即 . 此约束源于對數的定義. 對數 是指數方程 () 的解 . 由于指數函數 的值域是 , 真數 必须為正.
- 零次幂 :底數不為零, 即 . 這是基于指數运算法则 建立的, 其中除法运算要求 . 表达式 在標准分析中是未定式.
实际問題中的隐性定義域
当函數模型源于实际問題时, 其定義域除受上述代數结構约束外, 还必须符合問題本身的物理或逻辑意義. 例如, 代表时間、长度或數量的變量通常被限制為非负數. 這些隐性条件是模型有效性的前提.
求函數 的定義域.
该函數的定義域由两個代數约束确定. 其一, 偶次根式 的被開方數必须非负. 其二, 分母 不得為零. 這两個条件共同構成了一個不等式體係:
该體係的解為 且 .
因此, 函數的定義域為 .
求函數 的定義域.
函數的定義域是使其所有组成部分均有意義的自變量 的集合.
對于根式項 , 被開方數必须非负, 即 , 解得 .
對于對數項 , 真數必须為正, 即 , 解得 .
函數的定義域是這两個解集的交集. 联立不等式组:
其解集為 . 因此, 函數的定義域為 .
求函數 的定義域.
要确定此函數的定義域, 必须满足三個条件.
首先, 零次幂的底數 不為零, 這意味着 且 .
其次, 分母 不為零, 即 , 两边平方得 , 故 .
最后, 分母中的根式要求被開方數 非负, 即 .
綜合這三個条件, 自變量 必须在区間 内, 且不等于 和 . 注意到 已自动排除了 的情况.
因此, 定義域為 .
求函數 的定義域.
此為複合函數, 其定義域的约束条件需由外向内逐层分析. 最外层的根式结構要求其被開方數非负:
由于對數底數 , 對數函數 是严格單调递减的. 同时, 根据對數函數的性質, . 因此, 上述不等式等价于其真數满足:
此分式不等式组可分解為两個不等式:
對于不等式 \eqref{eq:def-ex4-1}, 其解集為 . 對于不等式 \eqref{eq:def-ex4-2}, 移項通分得 , 其解集為 .
\begin{figure}[htbp]
\end{figure}
函數的定義域是這两個解集的交集, 即 .
因此, 定義域為 .
已知函數 的定義域為 . 求函數 的定義域.
函數 的定義域為 , 這意味着 的有效输入值必须属于该区間.
對于函數 , 其自變量 必须同时满足以下两個条件.
第一, 的输入量 必须在其定義域内:
解此不等式得 .
第二, 表达式 要求分母不為零且根号内非负, 即 .
联立這两個条件, 的取值范围是区間 與 的交集.
因此, 函數 的定義域為 .
單调性
{/* label: sec:ch03-s03 */}
函數的基本性質之一是其值的變化趋势.單调性是對函數值随自變量有序變化這一趋势的精确刻画.它将函數圖像“上升”或“下降”的几何直观,转化為严格的代數語言,并揭示了函數如何保持或反转其定義域上的序结構.對單调性的分析是比较函數值、求解不等式以及探求函數極值的理論基礎.
單调性的定義與判定策略
设函數 的定義域為 , 区間 .
-
若對于 内任意 , 当 时, 恒有 , 则称 在 上严格單调递增.
-
若對于 内任意 , 当 时, 恒有 , 则称 在 上严格單调递减.
若将上述定義中的严格不等号 和 分别替換為 和 , 则得到單调递增 (或称非减) 和單调递减 (或称非增) 的定義.严格單调函數與單调函數统称為單调函數.
從代數的观点看, 严格單调递增的函數是保序的, 而严格單调递减的函數是逆序的.
\begin{figure}[htbp]
\end{figure} 圖:單调性的几何直观
判定一個函數單调性的任务, 本質上是證明一個全称量词命題.其一般性策略如下: 首先, 理解目標. 目標是證明一個形如 “” (以严格递增為例) 的命題. 核心問題是如何比较任意两個函數值 與 的大小.
其次, 拟定方案. 比较大小的基本途径有两种. 其一是代數途径, 即直接考察差 的符号, 或在函數值恒正时考察商 與 的關係. 此即定義法. 其二是分析途径, 即利用導數工具. 若函數可導, 其單调性與導函數的符号有直接联係, 此即導數法.
最后, 执行與回顾. 执行方案, 完成代數或微積分的推導. 随后回顾論證過程, 识别出使問題得以解决的關键步骤(例如, 某個特定的因式分解技巧, 或導函數零点的确定), 這有助于将方法内化為解决一類問題的通用能力.
單调性的判定方法
定義法
此方法是單调性定義的直接應用, 其核心在于通過代數變形判断函數值之差的符号. 其逻辑步骤為:
- 在指定区間 内, 任取 , 并设 .
- 構造差式 .
- 對差式進行恒等變形, 目標是将其化為若干符号易于判定的因式的乘積或商.
- 依据区間 的约束条件判定差式的最终符号, 從而确定 與 的大小關係.
證明函數 在区間 上严格單调递减, 在 上严格單调递增.
设 為函數定義域内两点且 . 我们已在上一节的分析中将差式變形為:
由于 , 因子 恒為负. 差式的符号取决于因子 和分母 .
若 且 , 则分母 , 且 , 故因子 . 差式的符号為 , 即 . 因此, 在 上严格單调递增.
若 且 , 则分母 , 且 , 故因子 . 差式的符号為 , 即 . 因此, 在 上严格單调递减.
單调性是定義在單一区間上的性質.例如, 函數 在 上严格單调递减, 在 上也严格單调递减.但是, 不能断言 在其定義域的并集 上是單调递减的.
為證此言, 只需一個反例:取 .显然 , 但 , 這不满足單调递减的定義.因此, 陈述函數的單调区間时, 必须分别列出, 如用"和"或逗号连接, 而非使用并集符号.
導數法
對于可導函數, 其單调性與其導函數的符号密切相關.
设函數 在区間 上可導.
- 若在 的内部恒有 , 则 在 上單调递增.
- 若在 的内部恒有 , 则 在 上單调递减.
此定理将判定單调性的問題转化為求解不等式.導函數的零点是划分單调区間的關键点.
求函數 的單调区間.
函數 的定義域為 .其導函數為 . 令 , 即 , 解得 或 . 這两個根将实數轴划分為三個区間: , , .
当 时, . 当 时, .
由于函數 在 和 处连續, 我们可以将單调区間擴展至闭区間.因此, 函數 的單调递增区間是 和 , 單调递减区間是 .
複合函數的單调性
複合函數 的單调性由其内层函數 和外层函數 的單调性共同决定, 其规律可概括為“同增异减”.
设複合函數 在区間 上有定義.若 在 上單调, 且 在對應的区間 上單调, 则:
- 若 與 的單调性相同 (同為增或同為减), 则 在 上單调递增.
- 若 與 的單调性相异 (一增一减), 则 在 上單调递减.
设 且 .令 .
若 和 均單调递增, 则 .複合函數递增.
若 和 均單调递减, 则 .複合函數递增.
若 递增而 递减, 则 .複合函數递减.
最后一种情况( 递减, 递增)的證明是類似的.
求函數 的單调区間.
首先, 函數的定義域由 确定, 解得 .
我们将函數分解為: 外层函數 和内层函數 .
外层函數 因底數 在其定義域 上严格單调递减.
内层函數 是開口向上的二次函數, 對称轴為 .在其定義域的子区間 上, 严格單调递减; 在 上, 严格單调递增.
在区間 上, 递减, 递减.根据定理, 單调性相同, 故複合函數單调递增.
在区間 上, 递增, 递减.根据定理, 單调性相异, 故複合函數單调递减.
因此, 函數的單调递增区間是 , 單调递减区間是 .
奇偶性
{/* label: sec:ch03-s04 */}
對称是蕴藏于宇宙與數學深处最本質的美學原则之一. 從雪花的六重對称到物理學中的守恒定律,對称性无处不在.
在函數的世界里,圖像的對称性同样是其内在结構與性質的直观體現. 我们需要一套精准的代數語言来刻画這种几何上的對称,這便是奇偶性理論的出發点.
定義
我们首先關注两种最基本、最重要的對称形式:關于 轴的轴對称與關于原点的中心對称.
设函數 的定義域 是一個關于原点對称的數集 (即, 若 , 则必有 ).
- 如果對于任意 , 恒有 , 则称 為偶函數. 其圖像關于 轴對称.
- 如果對于任意 , 恒有 , 则称 為奇函數. 其圖像關于原点中心對称.
此定義包含两個不可分割的部分. 首先,定義域的對称性是讨論奇偶性的逻辑前提,它保證了当 在定義域内取值时, 其相反數 同样有意義, 從而使得 的考察成為可能. 其次, 代數恒等式 是奇偶性的本質判据, 它必须對定義域内的每一個 都成立.
\begin{figure}[htbp]
\end{figure} 圖:偶函數與奇函數的几何直观
(1) 下列函數在定義域上是偶函數的是 ( )
\item[A.] \item[B.] \item[C.] \item[D.]
(2) 已知定義在 上的函數 满足 . 定義在 上的函數 满足 , 则 ( )
\item[A.] 不是奇函數 \item[B.] 既是奇函數也是偶函數 \item[C.] 是奇函數 \item[D.] 既不是奇函數也不是偶函數
(1) 我们需要逐一檢验每個選項的奇偶性. 值得注意的是,在判断奇偶性之前,我们务必首先确定函數的定義域是否關于原点對称.
\item[A.] . 其定義域為 , 显然不關于原点對称. 因此, 不可能是偶函數. \item[B.] . 其定義域為 , 關于原点對称. 考察 . 因此, 是偶函數. \item[C.] . 在之前的例題中我们已經證明了 是一個奇函數, 并且它的定義域為 . 注意到 . 所以 . 因此 是奇函數,而非偶函數. \item[D.] . 其定義域需要满足 且 . 由 解得 . 由 解得 且 . 綜上, 其定義域為 , 關于原点對称. 考察 . 显然, 一般情况下 , 故 不是偶函數.
綜上所述, 只有 B 選項是偶函數.
(2) 這個問題需要我们從函數方程中提取信息.
對于 , 我们注意到 對任意 成立. 這是一個非常强的条件. 為了探究 的奇偶性, 我们需要考察 與 的關係. 這启發我们選取特殊的 值, 使得等式中出現 項.
一個自然的想法是令 , 则 . 這意味着 . 換句话說, 是一個正比例函數, 其形式為 , 其中 是一個常數.
那么 的值是多少呢? 我们将 代入原方程 .
為了让這個等式對任意 都成立, 唯一的可能是 . 因此, (恒等于零). 這是一個特殊的函數, 它既是奇函數又是偶函數.
接下来分析 . 我们已知 . 我们的目標是判断 的奇偶性. 這需要我们考察 與 的關係.
一個直接的想法是设法求出 的表达式. 我们可以令 , 则 . 于是
因此, . 于是 . 故 是一個奇函數.
綜上,正确選項是 B 和 C.
函數的奇偶分解定理
奇偶性似乎只是部分特殊函數的属性. 一個自然而深刻的問題是:一個定義在對称区間上的任意函數,是否能與奇偶函數建立某种联係?答案是肯定的,并且揭示了一個优美的结構性事实.
任何一個定義在對称区間 上的函數 , 都可以唯一地表示為一個偶函數 與一個奇函數 的和,即
其中,
我们首先構造性地證明存在性,再論證其唯一性.
不妨设 可以分解為 , 其中 為偶函數, 為奇函數. 将 替換為 ,我们得到
現在我们得到了一個關于 和 的線性方程组:
两式相加除以 2,得到 . 两式相减除以 2,得到 . 這表明如果分解存在,则其形式必是如此.
接下来,我们只需验證這样構造出的 和 确实分别是偶函數和奇函數. 對于 ,我们考察
故 是偶函數. 對于 ,我们考察
故 是奇函數. 并且, 它们的和 , 恰好还原為 .
至此,我们不僅證明了分解的存在性,其推導過程本身也蕴含了唯一性. 任何满足条件的分解必须满足该線性方程组,而该方程组有唯一的解. 證毕.
這個定理的意義是重大的. 它告诉我们,奇函數集合與偶函數集合并非两個孤立的群體,而是共同構成了一個更廣阔的函數空間的“基石”. 任何定義在對称域上的函數都可以被投影到這两個“正交”的子空間中.
将函數 分解為一個偶函數與一個奇函數之和.
函數 的定義域為 ,是關于原点對称的. 根据奇偶分解定理,其偶部為
其奇部為
這两個函數在高等數學中極為重要,它们分别被称為雙曲余弦函數和雙曲正弦函數,记作 和 . 于是, 我们得到了指數函數的一個深刻分解:.
运算封闭性與對称推廣
我们已經定義了奇函數與偶函數,它们是满足特定對称性的函數類. 一個自然的問題是,這些對称性在函數的基本代數运算(加法與乘法)下,会如何保持或改變?探索這一問題,将揭示奇偶性背后深刻的代數结構.
不妨设 和 是两個定義在同一個對称区間 上的函數.
首先考虑加法. 令 . 我们来探究 的奇偶性. 若 和 均為偶函數, 那么根据定義, 有 和 . 于是,
這表明,两個偶函數的和仍然是一個偶函數. 若 和 均為奇函數, 那么 和 . 于是,
這表明,两個奇函數的和仍然是一個奇函數.
接下来,我们以同样的方式探究乘法. 令 . 若 和 均為偶函數,则
乘積是偶函數. 若 是偶函數而 是奇函數,则
乘積是奇函數. 一個最值得關注的情形是,当 和 均為奇函數时:
這是一個非常重要的结果:两個奇函數的乘積是一個偶函數.
這些运算法则與整數的符号法则惊人地相似. 如果我们将“偶函數”看作“正号”或“+1”,将“奇函數”看作“负号”或“-1”,那么函數的乘法规则就完全對應于符号的乘法:
這個類比不僅是记忆的技巧,更暗示了奇偶性是一种具有二元结構的性質.
运算封闭性與對称推廣
我们已經定義了奇函數與偶函數,它们是满足特定對称性的函數類. 一個自然的問題是,這些對称性在函數的基本代數运算(加法與乘法)下,会如何保持或改變?探索這一問題,将揭示奇偶性背后深刻的代數结構.
不妨设 和 是两個定義在同一個對称区間 上的函數.
首先考虑加法. 令 . 我们来探究 的奇偶性. 若 和 均為偶函數, 那么根据定義, 有 和 . 于是,
這表明,两個偶函數的和仍然是一個偶函數. 若 和 均為奇函數, 那么 和 . 于是,
這表明,两個奇函數的和仍然是一個奇函數.
接下来,我们以同样的方式探究乘法. 令 . 若 和 均為偶函數,则
乘積是偶函數. 若 是偶函數而 是奇函數,则
乘積是奇函數. 一個最值得關注的情形是,当 和 均為奇函數时:
這是一個非常重要的结果:两個奇函數的乘積是一個偶函數.
這些运算法则與整數的符号法则惊人地相似. 如果我们将“偶函數”看作“正号”或“+1”,将“奇函數”看作“负号”或“-1”,那么函數的乘法规则就完全對應于符号的乘法:
這個類比不僅是记忆的技巧,更暗示了奇偶性是一种具有二元结構的性質.
對称性的推廣
函數關于 轴和原点的對称性, 本質上是關于直線 和点 的對称. 這一概念可以被自然地推廣到任意的對称轴和對称中心.
\begin{description} \item[關于直線 對称] 若函數 的圖像關于直線 對称, 這意味着對于數轴上任意一對關于点 對称的点 和 ,它们所對應的函數值必须相等. 也就是說,
這個關係式對于所有使得 在定義域内的 都成立. 為了得到一個更通用的關于變量 的表达式, 我们可以進行變量代換. 令 , 则 . 于是, 等式右边的自變量變為 . 代入上式,我们便得到其等价的代數判据:
\item[關于点 對称] 若函數 的圖像關于点 中心對称, 這意味着對于任意一對自變量 和 , 它们對應的函數值 和 的算术平均值必须恰好是 . 換言之, 点 是连接点 與 的線段的中点. 這给出了關係:
整理得到 . 同样地, 為了得到關于 的表达式, 令 , 则 . 代入后得到等价的代數判据:
\end{description} 不难發現,標准的奇偶性正是這些廣義對称性的特例. 当對称轴為 () 时, , 這正是偶函數的定義. 当對称中心為 () 时, , 即 ,這正是奇函數的定義.
\paragraph{一個更具操作性的判别方法} 在处理具體的函數方程以判定對称性时,我们往往面對形如 的表达式. 直接套用 的形式可能不便. 然而, 我们注意到一個深刻的共性:在 中, 两個自變量 和 的和是一個常數 . 這一观察為我们提供了识别對称性的一個更為直接和强大的工具.
设函數 满足某個函數方程.
- 轴對称: 若该方程可化為 的形式, 且自變量之和 (常數), 则函數 的圖像關于直線 對称.
- 点對称: 若该方程可化為 (常數) 的形式, 且自變量之和 (常數), 则函數 的圖像關于点 中心對称.
-
對于 且 , 令 . 我们可以设 . 那么 . 于是原方程化為 , 這正是函數關于 對称的定義式.
-
對于 且 , 令 . 同样设 , 则 . 于是原方程化為 , 這正是函數關于点 對称的定義式.
這個定理将複杂的函數方程與直观的几何對称性联係起来,其核心在于檢验“自變量之和是否為常數”.
我们現在可以迅速判定一些常见形式的對称性.
- 若 , 自變量之和為 . 故對称轴為 . 当 时, , 對称轴為 .
- 若 , 自變量之和為 , 函數值之和為 . 故對称中心為 . 特别地, 若 , 则 , 自變量之和為 , 函數值之和為 , 故對称中心為 .
设函數 定義在 上. 已知 是一個偶函數, 而 是一個奇函數. 试證明 是一個周期函數.
本題的实質是利用廣義對称性推導周期性. 我们首先将題设条件翻译為 本身的對称性.
设 . 題设 為偶函數, 即 . 代入定義, 得 . 這是一個 的形式. 自變量之和為 . 根据上述定理, 的圖像關于直線 對称.
设 . 題设 為奇函數, 即 . 代入定義, 得 , 即 . 這是一個 的形式. 自變量之和為 , 函數值之和為 . 因此, 的圖像關于点 中心對称.
現在我们拥有了關于 的两個對称性法则:
我们的目標是寻找一個常數 使得 . 這需要我们巧妙地複合运用這两個法则.
我们從 出發, 為了能够利用對称性, 先将其平移. 考虑 . 為了應用關于点 的對称法则二, 我们将其寫成 .
現在,我们需要处理 . 為了應用關于直線 的對称法则一, 我们将其寫成 .
将此结果代回上一步的推導,我们得到了一個關键的中間關係:
這個關係 尚未是周期性,但它揭示了一种“反周期”的结構. 我们只需再迭代一次. 将上式中的 替換為 , 我们得到 , 即 . 结合两個式子,我们最终得到:
此式對任意 恒成立. 故 是一個周期函數, 其一個周期為 .
回顾此例,我们看到,两個不同位置的對称性(一個轴對称,一個中心對称)相互作用,最终在函數上生成了一個全局的平移不變性——周期性. 這深刻地揭示了不同函數性質之間内在的、非平凡的联係.
设函數 是定義在 上的增函數. 我们将探讨在两种不同的附加条件下, 该函數所展現出的性質.
情形一: 若 满足柯西函數方程 .
- 求 的值.
- 求證 是奇函數.
- 若 , 求实數 的取值范围.
情形二: 若 满足函數方程 .
- 求 的值.
- 求證 是奇函數.
- 若 , 求实數 的取值范围.
本題旨在揭示,不同的函數方程可能蕴含着相同的核心代數性質. 我们的策略是通過對函數方程進行精巧的赋值,從中“榨取”出關于 和奇偶性的信息,并利用這些性質以及函數的單调性来解决不等式問題.
\paragraph{情形一的解析} 我们面對的是著名的柯西函數方程 .
(1) 為了探求特定点(如 )的函數值, 最直接的思路是在方程中進行赋值, 以期簡化方程或直接解出该值. 一個自然的選择是令 .
此式唯一解為 .
(2) 欲證明 為奇函數, 我们的目標是建立 與 的關係. 關键在于如何通過赋值在方程中同时引入 和 . 令 是一個绝佳的策略, 因為 , 而 的值我们刚刚已經求得.
由于 , 我们立即得到 , 即 . 故 是奇函數.
(3) 現在我们来解决不等式 . 此时, 我们已經掌握了 的两個核心性質: 奇函數和增函數.
首先, 移項得到 . 利用 的奇函數性質, 我们可以将负号“吸收”到函數内部. 事实上, . 于是, 原不等式等价于
接下来, 作為增函數的性質便派上了用场. 對于一個增函數, 函數值的大小關係直接對應于其自變量的大小關係. 因此,
整理得 , 分解因式為 . 解此一元二次不等式, 得到 的取值范围為 .
\paragraph{情形二的解析} 現在我们转向一個形式上更複杂的函數方程 . 我们的分析思路保持不變:通過特殊赋值来揭示其内在性質.
(1) 求 . 為了分离出 , 我们可以令其中一個變量為 . 不妨设 . (思考: 為何不直接令 ?)
這與情形一的结果完全一致.
(2) 證明奇偶性. 再次使用令 的策略.
此等式對任意 均成立. 当 时, 我们可以安全地约去 , 得到 . 当 时, 我们已知 , 故 亦成立. 因此, 對所有实數 , 均有 , 即 是奇函數.
(3) 解不等式. 注意到, 尽管函數方程的形式大相径庭, 我们從中推導出的核心性質—— 是定義在 上的奇函數和增函數——與情形一完全相同.
因此, 不等式 的求解過程與情形一完全一致. 其解集依然是 .
\paragraph{回顾與反思} 這個例子深刻地說明, 解决抽象函數問題的關键在于识别并利用其内在的、不随具體表达式變化的结構性性質 (如奇偶性、單调性、周期性). 不同的函數方程可能只是同一组性質的不同“外衣”. 一旦我们通過巧妙的代數技巧剥离外衣、抓住本質, 解决問題的道路便豁然開朗.
模型:狗造具有特定對称性的函數
在掌握了奇偶性的基本概念后,一個富有创造性的問題随之而来:我们能否主动地構造出具有特定奇偶性的函數?熟记若干结論是低效且违背數學思想的,我们真正的目標是掌握構造這些函數的内在逻辑. 我们将從定義的源头 出發,探究如何對基本函數(如指數、對數函數)進行“對称化”改造.
\paragraph{源于指數函數的對称構造} 指數函數 () 本身是非奇非偶的. 然而, 我们不久前學習的奇偶分解定理 给予了我们强大的启示. 任何定義在對称域上的函數, 都可以分解為其“偶部”和“奇部”. 對指數函數 應用此思想,我们便能“提炼”出其内在的對称成分.
其偶部為 , 奇部為 . 不难验證,任意常數 與它们的乘積,即
分别是偶函數和奇函數的典范. 它们是構造更複杂函數的基礎單元.
一個看似不同的常见奇函數模型是 . 我们来探究其對称性的来源.
其定義域為 , 即 . 這是一個對称的定義域. 我们考察 :
這里的關键技巧是分子分母同乘 , 以此恢複與 的联係.
故 是一個奇函數. 事实上,通過簡單的代數變形,可以發現它與我们之前導出的雙曲函數模型有深刻联係.
\paragraph{源于對數函數的對称構造} 對于對數函數 , 其奇偶性完全取决于其宗量 的性質. 若 為奇函數, 则必须满足
這要求其宗量必须满足關係 . 若 為偶函數, 则必须满足
這要求其宗量必须是偶函數, 即 .
基于此原理,我们可以構造出大量的對數型奇偶函數.
判断函數 的奇偶性.
函數定義域要求 . 注意到 , 因此 . 当 时, . 当 时, . 故 恒為正, 定義域為 .
我们考察其宗量 .
是否等于 ? 我们来计算它们的乘積, 這启發我们使用平方差公式.
由此可见, 确实成立. 于是,
因此, 是一個奇函數. 這是一個非常重要且优美的模型.
同理, 讀者可以自行验證, 形如 的函數, 其宗量 也满足 , 故它也是奇函數.
\paragraph{普适的對称性構造法则} 除了针對特定函數類型的改造, 还存在一些更為普适的構造方法.
- 绝對值化構造偶函數: 對于定義域關于原点對称的任意函數 , 函數 必然是偶函數.
.
這個構造的几何意義是, 舍棄 轴左侧的圖像, 然后将 轴右侧的圖像反射到左侧, 從而强制地创造出關于 轴的對称性.
-
複合函數法则: 设函數 與 的奇偶性已知. 複合函數 的奇偶性遵循“内偶则偶,内奇看外”的原则. \begin{itemize}
-
若 是偶函數, 则 必為偶函數 (思考: 為什么與 的奇偶性无關?).
-
若 是奇函數, 则 的奇偶性與 相同.
\item 平凡模型: 最簡單的偶函數是常數函數 , 最簡單(非零)的奇函數是正比例函數 . \end{itemize} 通過以上從具體到一般的構造性分析, 我们便无需再孤立地记忆所谓的“常见模型”. 任何一個给定的函數, 我们都可以通過审视其结構, 判断它是否符合上述某一种構造原理, 從而确定其奇偶性. 這才是真正深入理解并掌握知识的方法.
已知函數 , . 判断函數 的奇偶性.
我们首先分析構成 的两個部分.
函數 完美地契合了我们讨論過的奇函數模型 (此处 ). 因此, 是一個奇函數.
接下来考察 . 這是“绝對值化構造偶函數”法则的直接應用. 對于任何函數, 經過 的改造后, 必然成為偶函數. 严谨地验證: 令 , 则 . 故 是偶函數.
函數 是一個基本的偶函數, .
最终, 是一個偶函數 與另一個偶函數 的乘積. 根据我们推導的运算法则 (偶 偶 = 偶), 函數 必然是偶函數.
求解不等式: .
直接解這個不等式似乎非常棘手. 然而, 我们應该敏锐地识别出其结構與我们熟知的典范模型相關.
令 . 我们已經證明, 這是一個定義在 上的奇函數.
現在观察不等式中的第二項, . 它的形式與 的“共轭”形式 極其相似. 注意到
我们知道 . 因此,
至此, 原不等式通過函數性質的运用, 被成功地化簡為:
我们还需要考察 的單调性. 函數 是增函數 (因為 和 都是增函數), 而 也是增函數. 根据複合函數單调性法则, 是 上的增函數.
因為 是增函數, 所以由 可以直接得到 , 這意味着 , 即 .
所以, 原不等式的解集為 . 這個例子展示了识别典范模型并利用其性質 (奇偶性、單调性) 来簡化複杂問題的威力.
设 , . 判断複合函數 的奇偶性.
我们遵循“先内后外”的原则, 首先确定内外层函數的奇偶性.
内层函數 . 它是奇函數 與偶函數 的乘積. 根据运算法则 (奇 偶 = 奇), 是奇函數.
外层函數 . 其定義域由 给出, 是對称区間. 我们考察 :
故 是偶函數.
現在我们判断複合函數 . 我们考察 :
因為 是奇函數, 所以 . 代入得:
又因為 是偶函數, 所以 對其定義域内任意的 成立. 于是:
因此, 是一個偶函數. 這验證了我们总结的複合函數法则: 内层函數為奇, 複合函數的奇偶性與外层函數相同.
设定義在 上的偶函數 满足, 当 时, . 求解方程 .
本題的核心在于如何利用已知的偶函數性質, 将問題從僅知的正半轴推廣到整個定義域.
我们分两种情况讨論.
情形一: 当 时, 方程 直接等价于
两边同乘 (因為 ), 得到 . 利用求根公式, 解得 . 由于 , 即 , 所以两個根 和 均為正數, 符合本情形的假设.
情形二: 当 时, 我们不能直接使用给定的解析式. 但我们知道 是偶函數, 因此
因為 , 所以 . 這意味着我们可以對 使用已知的解析式.
于是, 在 的区間上, 方程 等价于
两边同乘 (注意 ), 得到 . 解得 . 两個根 和 均為负數, 符合本情形的假设.
綜上所述, 方程 的所有解為 和 .
设 為定義在 上的奇函數. 求證: 函數 也是奇函數.
這是一個更具抽象性的證明題. 問題的關键在于從“是奇函數”這一条件中, 提炼出其宗量 必须满足的代數性質.
因為 是奇函數, 所以 .
由于對數函數是單射, 两边宗量必定相等, 即
這個關係是后續證明的基石.
現在, 我们来考察函數 . 我们的目標是计算 并将其與 比较.
将我们刚刚推導出的核心關係 代入上式:
為了化簡這個繁分數, 我们将分子分母同乘以 :
此式表明 是一個奇函數. 證毕.
事实上, 我们可以观察到 的结構與典范奇函數模型 極為相似. 若令 , 则 . 于是 . 這從另一個角度揭示了其奇函數属性的来源.
周期性
{/* label: sec:ch03-s05 */}
除了單调性與奇偶性這两种刻画函數局部與對称形态的性質外,函數的第三种宏观性質是周期性.它描述了函數值在定義域上的一种平移不變性,即函數圖像以固定間隔進行无尽的自我複制.對周期性的分析是研究所有振荡、波动現象(如声波、電磁场、行星轨道)的數學基礎, 也是簡化函數相關计算的重要工具.
周期性的定義
我们将函數圖像沿水平方向平移后與自身重合的几何直观,精确化為如下代數定義.
设函數 的定義域為 . 若存在一個非零常數 , 使得對于任意 , 恒有 , 并且满足:
则称 為周期函數, 称為它的一個周期.
此定義蕴含了三個不可或缺的要素.其一,周期 必须是非零常數, 以确保其描述的是一种有意義的重複模式.其二, 定義域 必须在平移 的操作下是封闭的, 這保證了對任意 , 均有定義.因此, 周期函數的定義域必然是无界的, 例如 或 .其三, 核心等式 必须對定義域内的所有 成立.
\begin{figure}[htbp]
\end{figure} 圖:周期函數的几何意義:圖像的平移不變性
由定義可直接推得:若 是一個周期, 则對任意非零整數 , 也是一個周期.此外, 若 是周期, 则 , 故 也是周期.
若一個周期函數的所有正周期中存在一個最小值, 则称此數為该函數的最小正周期. 通常語境下所称的“周期”即指最小正周期.
值得注意的是,并非所有周期函數都有最小正周期.例如,常數函數 , 任何非零实數 都是它的周期, 故不存在最小的正周期.一個更深刻的例子是狄利克雷函數:
對于任意非零有理數 , 当 是有理數时, 也是有理數, 故 ; 当 是无理數时, 也是无理數, 故 .因此, 任何非零有理數都是它的周期, 而正有理數集合没有最小值, 故狄利克雷函數不存在最小正周期.
周期性的四则运算
当两個独立的周期性現象叠加时, 其合成的現象是否仍具有周期性?例如, 将两個不同频率的纯音(對應两個正弦函數)混合, 得到的混合音是否仍是周期性的?這個問題的答案, 揭示了周期性在線性运算下的传递规律, 其核心在于周期的公度性.
设 和 是定義在同一集合 上的两個周期函數, 周期分别為 和 .
- 若 與 可公度 (即其比值為有理數), 则它们的和 , 差 , 積 仍然是周期函數, 其一個周期 是 和 的最小公倍數.
- 若 與 不可公度, 则它们的和、差、積不一定是周期函數.
我们以和函數 為例進行證明.
為了使 具有周期性, 我们必须寻找一個非零常數 , 使得對任意 , 恒有 , 即
要使此等式无条件成立, 一個充分条件是 與 同时回归到 與 , 即
第一個条件要求 必须是 的周期 的整數倍, 即 (). 第二個条件要求 必须是 的周期 的整數倍, 即 ().
因此, 存在周期的充要条件是, 存在非零整數 使得 . 此式等价于
這表明, 两個周期的比值必须是一個有理數. 這正是周期 與 可公度的數學定義.
当此条件满足时, 任何满足 的 都是 的一個周期. 我们所寻求的最小正周期, 正是 和 的所有正公倍數中的最小值, 即它们的最小公倍數, 记作 .
然而, 如果两個周期不可公度, 例如 (周期 ) 與 (周期 ), 其周期之比 是一個无理數. 我们用反證法證明其和 不是周期函數. 假定 是周期函數, 其周期為 . 那么 必须同时是 和 的公倍數. 即存在非零整數 使得
联立两式可得 , 消去 后得到 . 這意味着 是一個有理數, 與事实矛盾. 因此, 我们的假设不成立, 不是周期函數. 證毕.
\begin{figure}[htbp]
\end{figure} 圖:具有不可公度周期的两個函數 (虚線與点線) 之和 (粗实線) 不再是周期函數, 而是呈現出複杂的、永不重複的准周期行為.
求函數 的最小正周期.
我们将函數 视為两個周期函數之和: 與 .
首先分析 . 函數 的周期為 . 經過绝對值變換后, 轴下方的圖像被翻折到上方. 原本在 区間的负半周圖像, 與 区間的正半周圖像完全相同. 因此, 的最小正周期為 .
接着分析 . 其最小正周期為 .
两個函數的周期分别為 . 它们的比值為 , 是有理數, 故周期可公度.
因此, 是周期函數, 其最小正周期為 .
我们可以通過代數變形来验證此结論. 利用二倍角公式,
于是 . 這是一個關于 的複合函數. 由于 的最小正周期為 , 故 的最小正周期也為 .
求函數 的最小正周期.
我们将函數 视為两個周期函數 與 的和. 我们的策略是首先分别确定這两個基函數的最小正周期, 然后檢验其公度性, 最后求解它们的最小公倍數.
對于函數 , 其角频率為 , 故其最小正周期為
對于函數 , 其角频率為 , 故其最小正周期為
接下来, 我们考察這两個周期的公度性. 计算它们的比值:
由于比值 是一個有理數, 两個周期是可公度的. 因此, 函數 必然是周期函數. 其最小正周期 是 和 的最小公倍數.
對于两個分數形式的周期 和 , 它们的最小公倍數可以通過以下方式计算:
在本例中, 我们需要计算
應用上述法则,
因此, 函數 的最小正周期為 .
考察函數 的周期性, 其中 表示小數部分函數.
此函數由两個周期函數 和 的差構成.
首先分析 . 我们知道, 基本的小數部分函數 的最小正周期為 . 對于複合函數 , 其周期為 . 因此, 的最小正周期為 . 我们可以验證這一点: . 由于為一個數加上整數不改變其小數部分, 故 .
接着分析 . 其角频率為 , 故最小正周期為 .
我们檢验這两個周期的公度性. 其比值為
這是一個有理數, 故函數 是周期函數. 其最小正周期 是 和 的最小公倍數.
因此, 函數 的最小正周期為 .
\begin{figure}[htbp]
-\sin(\pi x)$}{h(x)={2x}-sin(pi x)} 的圖像. 尽管其構成部分周期不同 (\texorpdfstring{$T_1=0.5, T_2=2$}{T1=0.5, T2=2}), 合成后的函數呈現出清晰的周期性, 最小正周期為 \texorpdfstring{$T=2$}{T=2}.}
\end{figure} *圖:函數 \texorpdfstring{$h(x)={2x*
對称性與周期性的關係
函數的周期性常常由其對称性導出.一個深刻的几何事实是, 两种不同位置的對称性(轴對称或中心對称)相複合, 可以生成一种新的對称性——平移對称, 即周期性.
设函數 的定義域為 .
- 雙轴對称: 若 的圖像關于两条不同的直線 和 對称, 则 是周期函數, 且 是其一個周期.
- 雙中心對称: 若 的圖像關于两個不同的点 和 中心對称, 则 是周期函數, 且 是其一個周期.
- 轴對称與中心對称: 若 的圖像關于直線 對称, 且關于点 中心對称, 则 是周期函數, 且 是其一個周期.
我们逐一證明這三個由對称性導出周期性的重要结論. 證明的核心思想在于, 将几何上的對称操作翻译為代數恒等式, 并通過對這些恒等式進行巧妙的複合與迭代, 最终推導出形如 的周期關係.
\paragraph{1. 雙轴對称} 我们已知函數 的圖像關于两条不同的直線 和 對称. 這在代數上意味着以下两個恒等式對定義域内所有 成立:
我们的目標是構造出平移不變性. 為此, 我们连續施行這两個對称變換.
從 出發, 首先應用關于 的對称性 \eqref{eq:sym-axis-a}:
接着, 我们對上式右端的函數 應用關于 的對称性 \eqref{eq:sym-axis-b}. 這需要将 \eqref{eq:sym-axis-b} 中的自變量 替換為 :
将以上两步连接起来, 我们得到
這正是周期函數的定義. 若令 , 则 . 因此, 是一個周期函數, 且 是其一個周期.
\paragraph{2. 雙中心對称} 我们已知 的圖像關于点 和 中心對称. 其代數表述為:
從這两個關係式中, 我们可以分别解出 和 :
我们再次通過複合變換来建立远距离自變量之間的联係. 考虑自變量 , 我们可以将其巧妙地構造為 .
首先應用關于点 的對称性 \eqref{eq:sym-center-a}, 将其自變量 替換為 :
整理得
現在, 利用關于点 的對称性 \eqref{eq:sym-center-b} 来替換上式右端的 :
此關係式揭示了一個深刻的事实: 函數 在平移 后, 其函數值会产生一個固定的增量 . 這种结構称為准周期性.
為使 成為严格意義上的周期函數, 该增量必须為零, 即 , 這当且僅当 . 因此, 若 關于 和 (注意纵坐標相同) 對称, 则 , 故 是其一個周期.
\paragraph{3. 轴對称與中心對称} 我们已知 關于直線 對称, 且關于点 中心對称. 其代數恒等式為:
此證明的關键在于寻找一個“反周期”關係, 然后通過迭代将其转化為周期關係.
我们從 出發, 先應用轴對称 \eqref{eq:sym-mix-axis}, 再應用中心對称 \eqref{eq:sym-mix-center}.
從 \eqref{eq:sym-mix-center} 中解出 . 将此式應用于 :
结合两步, 我们得到 . 整理后得到一個反周期關係:
這個關係表明, 自變量增加 后, 新的函數值與原函數值關于水平線 對称. 為了消除這种對称性并恢複恒等關係, 我们對此式進行迭代. 将上式中的 替換為 :
此式正是周期函數的定義. 故 是函數的一個周期.
對于定義在 上的函數 , 若存在非零常數 , 满足以下關係之一, 则 為周期函數:
- 若 , 则 是一個周期.
- 若 且 的值域不包含零, 则 是一個周期.
- 若 , 则 是一個周期.
證明均通過對给定關係式進行迭代完成, 這是一种探求周期性的基本技巧.
-
.
-
.
-
這是一個更具挑战性的迭代.
我们發現 . 再次迭代, . 故 是一個周期.
已知函數 () 不是常函數, 且满足 及 . 求 .
這是一個抽象函數問題, 其解的關键在于通過對變量 赋特殊值来探究 的内在结構性質.
首先, 在 中, 令 , 得 , 即 . 此式可化為 . 由于 不是常函數(特别地, 不是恒為零的函數), 必存在 使得 . 因此, 必然有 , 即 .
接着, 探究函數的奇偶性. 令 , 得 . 代入 , 我们得到 , 這立即導出 . 故 是一個偶函數.
然后, 我们利用已知条件 . 令 ,
由于 是偶函數, . 于是上式變為 .
這個递推關係暗示了周期性. 我们来探寻這個模式. 将 替換為 , 得 . 将 代入上式: , 故 . 再将 替換為 : .
我们得到了一個反周期關係 . 對此關係進行迭代:
因此, 是一個周期函數, 其一個周期為 .
最后, 我们的目標是计算 . 利用周期性, 我们考察 除以 的余數.
故 .
為了求 , 我们再次利用递推關係. 在 中, 令 , 得 . 由于 是偶函數, . 因此, .
綜上, .
凹凸性
{/* label: sec:ch03-s06 */}
函數的單调性描述了其圖像的升降趋势, 這是一個關于變化率符号的性質. 然而, 函數圖像的形态远比單纯的升降要丰富. 考虑函數 與 (在 时), 它们都是單调递增的, 但它们的增长“姿态”截然不同. 的增长越来越快, 其圖像向上弯曲; 而 的增长越来越慢, 其圖像向下弯曲.
凹凸性正是為了精确刻画函數圖像的這种弯曲方向而引入的概念. 它所關注的, 不再是變化率的符号, 而是變化率自身的變化趋势.
凹凸性的几何直观與定義
要捕捉曲線的弯曲特性, 我们可以從两個等价的几何观点出發.
\paragraph{观点一:割線斜率的演變} 一個更具动态的观点是考察连接曲線上两点的割線斜率如何變化. 设想我们在一個向上弯曲的曲線上固定一点 , 然后让另一点 沿着曲線從左向右移动. 我们会直观地發現, 连接 和 的割線, 其斜率是單调递增的.
\begin{figure}[htbp]
\end{figure} 圖:下凸函數割線斜率的單调性
\paragraph{观点二:函數圖像與弦的相對位置} 另一個等价的、也是更為經典的几何刻画, 是比较函數圖像本身 (弧) 與连接其上任意两点的線段 (弦) 的相對位置.
- 對于一個向上弯曲的函數, 其圖像总是位于连接其上任意两点的弦的下方 (或重合).
- 對于一個向下弯曲的函數, 其圖像总是位于连接其上任意两点的弦的上方 (或重合).
為了将這個几何观察转化為精确的代數語言, 我们需要一种方式来表示弦上的点. 设弦的两個端点為 和 . 對于任意 , 表达式 给出了線段 上的一個点. 對應地, 弦上具有相同横坐標的点的纵坐標, 是端点纵坐標的同权重線性组合, 即 . 而函數圖像上對應点的纵坐標是 . 比较這两個纵坐標的大小, 便得到了凹凸性的严格定義.
\begin{figure}[htbp]
\end{figure} 圖:下凸函數的代數定義圖解
设函數 定義在区間 上.
- 若對于任意 和任意 , 恒有
则称 $f(x)$ 為 $I$ 上的**下凸函數**.
- 若對于任意 和任意 , 恒有
则称 $f(x)$ 為 $I$ 上的**上凸函數**.
若当 且 时上述不等式均取严格不等号, 则称函數為严格下凸或严格上凸.
這個不等式是凸性理論的基石. 特别地, 当我们取 时, 它退化為一個極其常用且直观的形式:
- 下凸函數: (中点的函數值不大于函數值的中点).
- 上凸函數: (中点的函數值不小于函數值的中点).
凹凸性的分析判定法
凹凸性的代數定義虽然严谨, 但在实际操作中直接應用不等式進行判定往往十分繁琐. 我们需要一個更具操作性的分析工具. 這一工具的建立, 源于對凹凸性几何直观的深刻洞察:函數圖像的弯曲方向, 本質上由其切線斜率的變化趋势所决定.
我们考察一個下凸函數的圖像. 当我们從左至右观察其切線时, 会發現切線的倾斜程度在持續增大. 即使在函數递减的部分, 切線的斜率也是從一個较大的负數向一個较小的负數變化, 始终处在增加的過程中. 這一观察是建立分析判定法的關键桥梁.
\begin{figure}[htbp]
\end{figure} 圖:下凸函數: 切線斜率 單调递增
事实上, 函數的凹凸性與其一階導數的單调性是等价的.
设函數 在区間 上可導.
- 在 上是下凸函數的充分必要条件是其導函數 在 上單调递增.
- 在 上是上凸函數的充分必要条件是其導函數 在 上單调递减.
我们僅證明下凸的情形.
回顾割線斜率的几何直观, 對于下凸函數, 任意满足 的三点, 其割線斜率满足
我们考察任意两点 且 . 在上述不等式中, 令 .
首先, 令 , 则左侧的割線斜率趋近于 . 于是我们得到
接着, 令 , 则右侧的割線斜率趋近于 . 于是我们得到
将這两個不等式结合起来, 我们立即導出 . 由于此结論對任意 均成立, 故導函數 在 上單调递增. 反方向的證明可由拉格朗日中值定理構造, 此处從略.
這個定理将凹凸性的判定問題, 转化為了我们已經熟悉的單调性判定問題, 只不過判定的對象是導函數 . 我们知道, 一個函數 (此处為 ) 的單调性由其自身的導數 (即 ) 的符号所决定. 這便引出了最终的、也是最常用的分析判定法.
设函數 在区間 上二階可導.
- 若在 内恒有 , 则 在 上是下凸的.
- 若在 内恒有 , 则 在 上是上凸的.
此定理将判断凹凸性的問題最终归结為求解一個不等式, 即判断二階導數 的符号.
拐点
函數從一种弯曲形态過渡到另一种的临界点, 在几何上具有特殊的重要性.
若函數 的圖像在点 处凹凸性發生改變, 则称点 為该函數圖像的一個拐点.
根据二階導數判定法, 拐点的出現意味着二階導數 在该点两侧的符号發生了改變. 因此, 若函數在拐点 处二階可導, 则必然有 . 值得注意的是, 只是拐点的一個必要条件, 而非充分条件. (思考: 考虑函數 , 其在 处二階導數為零, 但该点并非拐点.)
确定函數 的凹凸区間及拐点.
我们的策略是计算函數的二階導數, 并分析其符号.
首先求一階導數:
接着求二階導數:
令 , 解得 . 這個点是可能存在拐点的唯一候選. 我们以此点為界, 考察 的符号:
-
当 时, . 根据定理, 函數 在此区間上是上凸的.
-
当 时, . 根据定理, 函數 在此区間上是下凸的.
由于函數在 两侧的凹凸性發生了改變, 因此点 是一個拐点. 计算拐点的纵坐標: .
綜上, 函數 的上凸区間為 , 下凸区間為 , 其拐点為 .
Jensen 不等式
凹凸性的定義本身蕴含了一個深刻的不等式结構. 当我们将定義中连接两点的弦與弧的關係, 從两個点自然地推廣到任意多個点时, 便得到了數學分析中一個極為重要且應用廣泛的不等式——Jensen 不等式.
Jensen 不等式的一般形式
Jensen 不等式的核心思想是: 對于下凸函數, 變量的加权平均的函數值, 不大于函數值的同权重加权平均值.
设 是定義在区間 上的函數.
- 若 為下凸函數, 则對于任意 以及任意一组满足 的非负权重 , 恒有:
- 若 為上凸函數, 则上述不等号方向相反.
對于严格凹凸函數, 等号成立的充分必要条件是 .
此定理的加权形式是其最完整的表述. 当我们取所有权重相等, 即 时, 便得到了其更為人熟知的算术平均形式.
设 是定義在区間 上的函數.
- 若 為下凸函數, 则對于任意 , 有:
此即“平均的函數值不大于函數值的平均”.
2. 若 為上凸函數, 则不等号方向相反.
我们以下凸函數為例, 使用數學归纳法證明.
奠基: 当 时, 不等式為 . 這正是下凸函數定義中取 的直接推論, 命題成立.
归纳假设: 假设命題對所有小于等于 的正整數均成立. (這是一個稍强的归纳假设, 称為强归纳法, 它使得證明過程更為簡洁).
归纳递推: 我们需要證明命題對 成立. 考虑 個点 . 令它们的算术平均值為 . 證明的核心技巧在于, 将這個 個点的平均值, 巧妙地表示為两個点的加权平均, 以便利用奠基步骤 () 的结論.
這是一個以 和 為权重的加权平均. 根据下凸函數的定義 (加权形式), 我们有:
現在, 對于上式右侧的第一項 , 我们可以應用對 個点成立的归纳假设:
将此不等式代入, 得到:
這證明了命題對 成立. 故由數學归纳法, Jensen不等式對所有整數 成立.
應用: 從 Jensen 不等式到均值不等式
许多著名不等式是 Jensen 不等式的特例.
證明算术-几何平均值不等式: 對于正數 , .
考虑函數 , 定義域為 . 其二階導數為 . 在 内, 恒成立, 故 是严格上凸函數.
根据上凸函數的 Jensen 不等式:
利用對數性質, 不等式左侧可化為:
代入原不等式, 得 .
由于對數函數是严格單调递增的, 上述不等關係等价于其自變量之間的不等關係:
證毕.
在处理多元函數極值問題时, 若目標表达式形如 (例如 或 ), 且變量满足和為定值的约束 , 這便是應用 Jensen 不等式的强烈信号.
在 中, 求 的最大值.
此問題符合上述應用模式.考虑函數 , 定義域為内角范围 , 變量满足 .
函數 的二階導數為 . 在区間 内, , 故 . 因此 是严格上凸函數.
應用上凸函數的 Jensen 不等式:
代入约束条件 :
解得 .
等号成立条件為 , 此条件可以达到 (当 為正三角形时). 因此, 的最大值為 .
反函數
{/* label: sec:ch03-s07 */}
函數定義了一個從定義域到值域的确定性映射.一個自然的問題是,此過程是否可逆?即,能否根据输出值唯一地确定输入值?实現這一“逆過程”的函數即為反函數.反函數的概念不僅在函數理論中至關重要, 其背后蕴含的坐標互換與圖像對称思想, 是解决問題的有力工具.
反函數存在的条件
一個函數 的逆過程要成為一個函數, 必须保證對于值域中的任意一個元素 , 在定義域中都存在唯一的 與之對應.這要求原函數 的映射關係是无损的, 即没有多個输入映射到同一個输出.
称一個函數 是單射 (或称一一映射), 如果對于其定義域 内任意两個不同的元素 , 其對應的函數值也必然不同, 即 .
一個函數 存在反函數的充分必要条件是 為單射.
在几何上, 函數是否為單射可以通過水平線檢验法直观判断:若任意一条水平直線與函數圖像至多只有一個交点, 则该函數為單射, 存在反函數.严格單调函數是單射函數的一個重要子類.
\begin{figure}[htbp]
\end{figure} 圖:水平線檢验法
反函數的定義與求解
设函數 的定義域為 , 值域為 , 且 為單射.對于任意 , 方程 存在唯一的解 . 這個解 依赖于 , 因此我们可以定義一個新函數 , 使得 . 函數 称為 的反函數, 记作 .
按照惯例, 我们用 表示自變量, 表示因變量, 故将 寫為 . 此时, 反函數的定義域是原函數的值域 .
符号 是反函數的標准记法, 它與 绝无關係.
求解反函數的標准步骤為:
- 反解: 從 中解出 , 得到 .
- 互換: 将 與互換, 得到 .
- 注明定義域: 反函數的定義域是原函數的值域.
求函數 的反函數.
首先确定原函數 的值域.将 變形為 .由于 , 故 . 原函數的值域為 , 此即反函數的定義域.
接着, 從 中反解 :
互換 得到 .
因此, 所求反函數為 , 其定義域為 .
反函數的性質
互為反函數的两個函數在代數性質與几何圖像上存在紧密的對偶關係.
设 是一個存在反函數 的函數.
- 圖像對称性: 的圖像與 的圖像關于直線 對称.
- 定義域與值域互換: 的定義域是 的值域, 的值域是 的定義域.
- 單调性一致性: 若 在某個区間上單调递增(减), 则其反函數 在對應的区間上也單调递增(减).
- 複合抵消性: 對于 定義域中的任意 , .對于 定義域中的任意 , .
若点 在 的圖像上, 则 .根据反函數的定義, 這等价于 .這意味着点 在 的圖像上.点 與 關于直線 對称, 此结論對圖像上所有点均成立, 故两函數圖像關于 對称.
\begin{figure}[htbp]
\end{figure} 圖:函數與反函數圖像關于 對称
已知 是方程 的根, 是方程 的根, 求 .
這两個方程无法直接求解.我们從函數圖像的角度分析.
方程一的根 是函數 與 圖像交点的横坐標. 方程二的根 是函數 與 圖像交点的横坐標.
我们分析這三個函數的對称性. 與 互為反函數, 它们的圖像關于直線 對称. 的反函數是其自身, 故其圖像也關于直線 對称.
设 是 與 的一個交点. 由于 和 的圖像都關于 對称的圖像分别是 和 , 那么 與 的交点 必然是 關于直線 的對称点.
因此, 的坐標為 , 即 .
由 点的定義, 有 . 结合 , 我们得到 .
故 .
函數的反函數
{/* label: sec:ch03-s08 */}
函數定義了一個從定義域到值域的确定性映射.一個自然的問題是,此過程是否可逆?即,能否根据输出值唯一地确定输入值?实現這一“逆過程”的函數即為反函數.反函數的概念不僅在函數理論中至關重要, 其背后蕴含的坐標互換與圖像對称思想, 是解决問題的有力工具.
反函數存在的条件
一個函數 的逆過程要成為一個函數, 必须保證對于值域中的任意一個元素 , 在定義域中都存在唯一的 與之對應.這要求原函數 的映射關係是无损的, 即没有多個输入映射到同一個输出.
称一個函數 是單射 (或称一一映射), 如果對于其定義域 内任意两個不同的元素 , 其對應的函數值也必然不同, 即 .
一個函數 存在反函數的充分必要条件是 為單射.
在几何上, 函數是否為單射可以通過水平線檢验法直观判断:若任意一条水平直線與函數圖像至多只有一個交点, 则该函數為單射, 存在反函數.严格單调函數是單射函數的一個重要子類.
\begin{figure}[htbp]
\end{figure} 圖:水平線檢验法
反函數的定義與求解
设函數 的定義域為 , 值域為 , 且 為單射.對于任意 , 方程 存在唯一的解 . 這個解 依赖于 , 因此我们可以定義一個新函數 , 使得 . 函數 称為 的反函數, 记作 .
按照惯例, 我们用 表示自變量, 表示因變量, 故将 寫為 . 此时, 反函數的定義域是原函數的值域 .
符号 是反函數的標准记法, 它與 绝无關係.
求解反函數的標准步骤為:
- 反解: 從 中解出 , 得到 .
- 互換: 将 與互換, 得到 .
- 注明定義域: 反函數的定義域是原函數的值域.
求函數 的反函數.
首先确定原函數 的值域.将 變形為 .由于 , 故 . 原函數的值域為 , 此即反函數的定義域.
接着, 從 中反解 :
互換 得到 .
因此, 所求反函數為 , 其定義域為 .
反函數的性質
互為反函數的两個函數在代數性質與几何圖像上存在紧密的對偶關係.
设 是一個存在反函數 的函數.
- 圖像對称性: 的圖像與 的圖像關于直線 對称.
- 定義域與值域互換: 的定義域是 的值域, 的值域是 的定義域.
- 單调性一致性: 若 在某個区間上單调递增(减), 则其反函數 在對應的区間上也單调递增(减).
- 複合抵消性: 對于 定義域中的任意 , .對于 定義域中的任意 , .
若点 在 的圖像上, 则 .根据反函數的定義, 這等价于 .這意味着点 在 的圖像上.点 與 關于直線 對称, 此结論對圖像上所有点均成立, 故两函數圖像關于 對称.
\begin{figure}[htbp]
\end{figure} 圖:函數與反函數圖像關于 對称
已知 是方程 的根, 是方程 的根, 求 .
這两個方程无法直接求解.我们從函數圖像的角度分析.
方程一的根 是函數 與 圖像交点的横坐標. 方程二的根 是函數 與 圖像交点的横坐標.
我们分析這三個函數的對称性. 與 互為反函數, 它们的圖像關于直線 對称. 的反函數是其自身, 故其圖像也關于直線 對称.
设 是 與 的一個交点. 由于 和 的圖像都關于 對称的圖像分别是 和 , 那么 與 的交点 必然是 關于直線 的對称点.
因此, 的坐標為 , 即 .
由 点的定義, 有 . 结合 , 我们得到 .
故 .
函數的複合
{/* label: sec:ch03-s09 */}
函數的複合是一种基本运算, 它通過依次施加多個函數的作用, 由已知函數構造新函數.深刻理解複合函數的構造過程及其性質的传递规律, 是分析複杂函數的關键.
複合函數的定義
设有两個函數, 和 .函數的複合過程如下:自變量 首先由函數 作用, 得到中間值 .该中間值 继而作為函數 的自變量, 得到最终值 .這個從 到 的连續作用過程定義了一個新的函數.
设有函數 和 , 则通過代換形成的函數
称為由函數 和 構成的複合函數.其中, 是自變量, 是中間變量.我们称 為内层函數, 為外层函數.
複合函數 得以良定義的前提是:内层函數 的值域必须是外层函數 定義域的子集.
複合函數的基本性質
定義域
複合函數的定義域由一個核心原则支配:複合過程的每一步都必须有意義.
设函數 的定義域為 , 函數 的定義域為 .则複合函數 的定義域 是同时满足以下两個条件的自變量 構成的集合:
- (内层函數有意義);
- (外层函數有意義).
即 .
已知函數 的定義域為 , 求函數 的定義域.
此問題的核心在于确定外层函數 的定義域. 由題设, 当 时, 有意義.這意味着 的输入量 (即中間變量 ) 的取值范围是由 决定的. 当 时, . 因此, 外层函數 的定義域為 .
對于新函數 , 其定義域由以下不等式组确定:
由于 , 第二個条件等价于 , 平方得 . 联立两個条件, 函數 的定義域為 .
值域
求解複合函數的值域, 是一個“由内向外”的分析過程. 對于函數 :
- 确定内层函數的值域: 在複合函數的定義域内, 求出内层函數 的值域 .
- 求解外层函數的值域: 将 作為外层函數 的新定義域, 在此定義域上求 的值域, 即為原複合函數的值域.
求函數 的值域.
通過換元法识别其複合结構.令 , 则原函數可视為 . 這是一個由内层函數 和外层函數 構成的複合函數.
内层函數 的定義域為 , 其值域為 .
問題转化為求二次函數 在定義域 上的值域. 此為開口向上, 對称轴為 的抛物線.由于對称轴 位于定義域 内, 函數在 处取得最小值 .
因此, 原函數的值域為 .
單调性與奇偶性
複合函數的單调性與奇偶性遵循明确的传递法则.
设複合函數 在区間 上有定義, 且 與 在各自對應的定義域区間上單调.
- 若 與 單调性相同, 则 為增函數.
- 若 與 單调性相异, 则 為减函數.
设複合函數 的定義域 關于原点對称.
- 若内层函數 是偶函數, 则 必為偶函數.
- 若内层函數 是奇函數, 则複合函數的奇偶性與外层函數 相同.
令 .
- 若 為偶函數: . 故 為偶函數.
- 若 為奇函數: . 若 為偶函數, , 故 為偶函數. 若 為奇函數, , 故 為奇函數.
函數相等
判定两個函數是否為同一函數, 需满足严格的条件.
若两個函數 和 的定義域相同, 且對應法则也相同, 则称這两個函數相等, 记為 .
判定时必须同时审查這两個方面.對應法则的审查, 通常在将解析式化至最簡形式后進行.
判断 與 是否為同一函數.
审查定義域: 的定義域為 . 的分母不能為零, 即 . 其定義域為 .
由于定義域不同, 這两個函數不是同一函數.
函數的圖像變換
{/* label: sec:ch03-s10 */}
函數的圖像是其代數表达式的几何实現.圖像變換提供了一套係统性的方法, 使我们能從基本函數圖像出發, 通過平移、伸缩、對称等操作, 精确構造出更複杂函數的圖像.本节旨在建立這些几何操作與其代數表示之間的严格联係, 并揭示其背后的统一原理.
變換的统一原理
所有圖像變換均可归结為一個代數原理:新旧坐標的代換關係.
设原函數圖像满足方程 , 其上任意一点為 .經過變換, 该点移动至新圖像上的点 .若新旧坐標間的變換關係可表示為
则将此關係代入原方程 , 即得新圖像的方程 .
核心在于, 方程的變換與点的坐標變換在形式上是"逆向"的.例如, 将圖像上的所有点 向右平移 個單位得到新点 , 其坐標關係為 .為建立新坐標 满足的方程, 必须用新坐標表示旧坐標, 即 , 然后代入原方程, 得到 .注意到, 作用于坐標的變換是 , 而作用于方程中變量的變換是 .
基本圖像變換
设原函數為 , 均為正实數.
- 水平平移: 的圖像由 向右平移 個單位得到.
- 竖直平移: 的圖像由 向上平移 個單位得到.
- 水平伸缩: 的圖像由 上各点的横坐標變為原来的 倍得到 (纵坐標不變).
- 竖直伸缩: 的圖像由 上各点的纵坐標變為原来的 倍得到 (横坐標不變).
设原函數為 .
- 關于 x轴 對称的圖像方程為 .
- 關于 y轴 對称的圖像方程為 .
- 關于 原点 對称的圖像方程為 .
- 關于直線 y=x 對称的圖像方程為 (即反函數圖像).
上述變換均可通過统一原理直接推導.
複合變換
對于形如 的函數, 其圖像變換顺序至關重要.為避免混淆, 我们首先将其改寫為標准形式:
此形式揭示了從基函數 到目標函數的坐標映射關係:
反解出新坐標 與旧坐標 的關係:
此坐標變換過程可分解為伸缩(或對称)變換與平移變換的複合.一個可靠的作圖法则是先伸缩, 后平移.具體而言, 水平變換與竖直變換的次序无關, 但各自内部的“先伸缩后平移”的次序不應颠倒.
叙述由 的圖像變換得到 圖像的過程.
将目標函數改寫為標准形式 . 變換過程如下:
1. 水平變換: (a) 将 圖像上所有点的横坐標變為原来的 倍, 得到 的圖像. (b) 再将所得圖像向右平移 個單位, 得到 的圖像.
2. 竖直變換: (a) 将前一步所得圖像上所有点的纵坐標變為原来的 倍 (即伸长到2倍, 再關于x轴對称), 得到 的圖像. (b) 最后将所得圖像向上平移 個單位, 得到最终圖像.
绝對值變換
含绝對值的函數圖像變換是一种基于坐標轴的翻折操作.
设原函數為 .
- 函數 的圖像: 由 可知, 新函數為偶函數. 其圖像的構造方法為: 保留 圖像在 y轴右侧 (含y轴) 的部分, 并将此部分關于 y轴對称翻折到左侧, 構成完整的圖像.
- 函數 的圖像: 由 可知, 新函數的值域非负. 其圖像的構造方法為: 保留 圖像在 x轴上方 (含x轴) 的部分, 并将 x轴下方的部分關于 x轴對称翻折到上方.
\begin{figure}[htbp]
\end{figure} 圖:翻折變換示例
導函數的對称性
若可導函數 的圖像關于直線 轴對称, 则其導函數 的圖像關于点 中心對称.
函數 圖像關于 對称的代數表达式為 .對此恒等式两边關于 求導, 應用链式法则:
此關係式即為導函數 的圖像關于点 中心對称的定義.
\begin{figure}[htbp]
\end{figure} 圖:轴對称原函數與中心對称導函數
常见多項式函數
{/* label: sec:ch03-s11 */}
多項式函數 是由幂函數通過有限次加法與數乘运算複合而成的函數類, 它们是函數世界中最基本、性質最良好、應用最廣泛的基石. 其定義域為全體实數 , 且在定義域内处处连續、光滑可導. 本节将簡要回顾一次與二次函數的核心性質, 并重点剖析三次函數的對称性、單调性與根的性質, 以期建立一個分析任意多項式函數的係统性视角.
一次與二次函數回顾
一次函數 的本質特征是其變化率恒定. 它的導數 是一個常數, 這意味着其圖像——直線——的斜率处处相等. 几何上, 直線是自身在每一点的切線, 并且關于其上任意一点都構成中心對称圖形.
二次函數 的本質特征是其變化率的變化率恒定. 它的二階導數 是一個非零常數, 這意味着其圖像——抛物線——的凹凸性在整個定義域上保持不變. 抛物線最根本的性質是其轴對称性, 對称轴為直線 . 這一對称性深刻地联係了函數的几何與代數性質. 不妨设方程 的两根為 , 根据韦达定理, 根與係數的關係為 . 注意到, 對称轴的横坐標恰好是两根的算术平均值 . 這一事实揭示了對称轴作為函數零点几何中心的代數根源.
三次函數
三次函數 展現了更為丰富的形态與性質, 其行為主要由其一階與二階導數所支配.
注意到, 一階導數是二次函數, 决定了原函數的單调性與極值; 二階導數是一次函數, 决定了原函數的凹凸性與拐点. 從高階導數反向研究原函數, 是分析函數性質的根本方法.
單调性與極值
三次函數的單调性完全取决于其導函數 的符号. 作為一個二次函數, 的符号由其判别式 决定.
- 当 时, 即 , 方程 有两個不相等的实數根 . 這两個根是 的極值点. 函數 在 和 上單调, 在 上單调性相反. 函數圖像呈現典型的“S”形, 拥有一個極大值点和一個極小值点.
- 当 时, 即 , 方程 有两個相等的实數根 . 此时 在 上除一点外恒為正或恒為负. 函數 在整個定義域 上是單调的, 没有極值点. 但在 处, 其切線斜率為零, 该点是一個水平拐点.
- 当 时, 即 , 方程 无实數根. 在 上恒為正或恒為负. 函數 在整個定義域 上是严格單调的, 既无極值点, 也无水平切線.
\begin{figure}[htbp]
\end{figure} 圖:三次函數的三种基本形态 ()
對称性
二次函數具有轴對称性, 而三次函數则具有更為深刻的中心對称性.
任何三次函數 的圖像都是中心對称圖形, 其對称中心是唯一的拐点 .
函數的拐点是其凹凸性改變之处, 由二階導數 确定.
此即拐点的横坐標. 事实上, 该点也是導函數 這条抛物線的對称轴.
為證明点 是對称中心, 我们只需验證 對任意实數 恒成立. 将 與 分别代入 的表达式, 經過直接但略显繁琐的代數运算, 可以消去所有含 的奇次幂項, 最终验證该恒等式成立.
這一對称性具有重要的推論. 若三次函數存在两個極值点 , 它们必然關于對称中心的横坐標 對称, 即 . 同时, 两個極值点 也關于對称中心的纵坐標 對称, 即 .
三次方程实根個數的判定
探究三次方程 实根的個數, 本質上是考察函數圖像 與 轴的交点個數. 這一几何問題的代數判据, 完全蕴含于函數的極值性質之中.
我们分析的出發点是導函數 . 其判别式 是分類讨論的第一個枢纽.
首先, 我们考察函數不存在極值的情形. 当 时, 導函數 在实數域上至多有一個零点, 從而 恒為非负或恒為非正. 這意味着原函數 在整個定義域 上是單调的. 一個在 上连續的單调函數, 其圖像與任何一条水平直線(包括 轴)至多有一個交点. 又因 符号相反, 故必有一個交点. 因此, 在此情形下, 方程 有且僅有一個实根.
一個更為微妙的情形是当 时. 此时, 函數 存在一個極大值與一個極小值, 不妨设其發生在 與 处. 函數圖像不再單调, 而是呈現“升-降-升”或“降-升-降”的形态. 此时, 圖像與 轴的交点個數, 完全取决于两個極值 和 相對于 轴的位置. 這一几何位置關係, 可以通過考察两個極值的乘積 的符号来精确刻画.
- 若 , 這意味着两個極值点均在 轴的同一侧(同為正或同為负). 此时, 函數圖像在达到一個極值后“折返”, 但在到达另一個極值前并未能触及 轴. 因此, 圖像僅與 轴有一個交点, 方程僅有一個实根.
- 若 , 這意味着其中一個極值点恰好落在 轴上. 此时, 函數圖像在 轴上有一個切点(二重根)和一個穿根点. 因此, 方程有两個不相等的实根.
- 若 , 這意味着極大值在 轴上方, 而極小值在 轴下方. 根据连續函數介值定理, 函數圖像在两個極值点之間必然要穿越一次 轴. 加上两端趋于无穷的行為, 圖像共與 轴有三個不同的交点. 因此, 方程有三個不相等的实根.
\begin{figure}[htbp]
\end{figure} 圖:三次函數存在極值时, 实根個數的几何情形
綜上所述, 我们可以将三次方程实根個數的判定条件总结如下: 设 , 且 是其導函數 的根.
- 一個实根的充要条件是 , 或 且 .
- 两個不等实根的充要条件是 且 .
- 三個不等实根的充要条件是 且 .
确定方程 的实根個數.
此問題等价于考察函數 的圖像與 轴的交点個數. 我们的分析策略是首先通過導數确定函數的單调性與極值, 進而根据極值與零的位置關係来判定根的數目.
首先求其導函數:
令 , 我们得到两個临界点 和 . 這表明函數 存在两個極值点.
接下来, 我们计算這两個極值的大小:
我们注意到, 極小值 恰好為零. 這意味着函數圖像在点 处與 轴相切.
為了确定根的总數, 我们考察極值的乘積:
根据我们的判定准则, 当極值之積為零时, 函數圖像與 轴有一個切点和一個穿根点.
因此, 原方程有两個不相等的实根 (其中一個是二重根).
讨論關于 的方程 的实根個數随參數 的變化情况.
此問題要求我们根据參數 的取值, 對一個三次方程的根的结構進行完整的分類讨論. 我们可以将方程變形為 , 并令 . 問題的核心便是分析函數 的零点個數.
首先, 我们考察 的極值存在性. 其導函數為:
令 , 解得極值点為 和 . 注意到極值点的存在與參數 无關.
接下来, 我们计算两個極值, 它们将是 的表达式:
方程实根的個數取决于這两個極值乘積的符号:
我们現在可以對參數 進行分類讨論:
-
当有三個不等实根时, 必须满足 , 即 . 解此不等式得 .
-
当有两個不等实根时, 必须满足 , 即 . 解得 或 .
-
当僅有一個实根时, 必须满足 , 即 . 解得 或 .
綜上所述, 当 时, 方程有三個不等实根; 当 时, 方程有两個不等实根; 当 时, 方程僅有一個实根.
一個等价且几何直观更强的视角是分离參數. 原方程 的根的個數, 等价于函數 的圖像與水平直線 的交点個數. 通過分析 的極大值 與極小值 , 我们可以直观地得出相同的结論.
已知函數 . 若 在区間 内恰有一個極值点, 求实數 的取值范围.
注意到, 可以進行因式分解:
這是一個錯誤的分解. 让我们重新尝试配方法或直接使用求根公式.
让我们重新审视 . 這是一個開口向上的抛物線. 它在区間 内恰有一個根, 這意味着该区間穿過了抛物線與 轴的一個交点. 這在几何上對應两种可能:
- 抛物線在 内只有一個根(可能是重根, 但此处判别式 需大于等于零, 故 ).
- 抛物線在 和 处的函數值异号, 即 .
我们来计算 和 :
對于 , 其值恒為正.
因此, 条件 就等价于 .
解得 .
我们还需檢验边界情况. 若 , 则 或 . 当 时, . 根為 和 . 区間 内无根, 不符. 当 时, . 根為 (二重根). 区間 内无根, 不符.
若 , 由于 恒大于零, 此情况不会發生.
綜上所述, 使得 在 内恰有一個根的充要条件是 .
最后, 我们必须确保在此条件下 确实存在極值点, 即 有实根. 這要求判别式 , 即 .
将两個条件取交集, 我们得到 的最终取值范围是 .
设函數 . 若 , 判断函數 在区間 内的零点個數.
此問題的核心在于判断函數 在指定区間 上的單调性, 并结合端点处的函數值符号来确定零点的個數. 這是一個典型的结合了導數與连續函數介值定理的分析問題.
首先, 我们考察函數的導數以确定其單调趋势:
根据題设条件 , 可知 . 對于任意 , 我们有 且 . 因此, 在区間 内, 两個因子 與 异号, 故其乘積 恒成立.
這表明 在区間 上是严格單调递减的.
接下来, 我们考察函數在区間端点处的函數值. 在左端点, . 在右端点, . 由于 , 必然有 , 故 .
函數 在闭区間 上连續, 在開区間 上严格單调递减, 且其在区間两端点的值异号 (). 根据连續函數介值定理, 在区間 内存在唯一一個零点.
故函數在区間 上恰好有1個零点.
设 為实數, 函數 .
- 求 的極值.
- 若函數 恰好有两個零点, 求 的值.
(1) 函數的極值由其導數的零点决定. 我们求其導函數:
令 , 即 , 解得 .
通過考察 的符号, 我们可知: 当 时, , 函數單调递减; 当 时, , 函數單调递增.
因此, 在 处取得極小值, 在 处取得極大值. 極小值為: . 極大值為: .
(2) 函數 的圖像恰好有两個零点, 這在几何上意味着其圖像與 轴恰有两個交点. 對于一個具有極大值和極小值的三次函數而言, 這当且僅当其中一個極值点恰好落在 轴上, 即極大值或極小值之一為零.
因此, 我们有
解得 或 .
已知函數 , 且其在 处取得極值.
- 求函數 的單调区間.
- 若函數 在闭区間 上有且僅有一個零点, 求实數 的取值范围.
(I) 函數的極值点必然是其導函數為零的点. 我们首先计算導函數:
根据題设, 在 处取得極值, 故必有 . 将 代入導函數表达式:
解得 .
由此, 導函數得以确定: . 令 , 解得 或 . 令 , 解得 .
因此, 函數 的严格單调递增区間是 和 , 严格單调递减区間是 .
(II) 根据(I)的结論, 我们所研究的函數為 . 此函數在 上递增, 在 上递减, 在 上递增. 我们需要分析其在闭区間 上的行為. 為此, 我们计算函數在区間端点及内部極值点处的函數值:
函數圖像在 上的形态是固定的, 僅随參數 發生竖直平移. 為使函數在此区間上有且僅有一個零点, 函數圖像的最高点與最低点必须几乎完全位于 轴的一侧. 我们分两种情形讨論:
情形一: 函數圖像的極大值低于 轴, 即 . 此条件為 , 即 . 在此条件下, , 及 均為负值. 要存在唯一零点, 必须且只需函數在区間右端点的值非负, 即 . 此条件為 , 即 . 綜合此情形下的两個条件, 我们得到 .
情形二: 函數圖像的極小值高于 轴, 即 . 此条件為 . 在此条件下, 均為正值. 要存在唯一零点, 必须且只需 , 即 . 這两個条件 與 相互矛盾, 故此情形不可能發生.
我们还需檢验边界情况. 若 , 即 , 则函數在 处有二重根, 且 , , 故在 内还有一根, 不符. 若 , 即 , 则 , 其零点為 和 . 在 内有两個零点, 不符.
綜合以上所有分析, 实數 的取值范围是 .
根與係數的關係
设方程 的三個根(可能為複數根)為 , 则:
由因式定理, 多項式 可唯一地分解為 . 展開右侧的表达式, 并與左侧的同次項係數進行比较, 即可導出上述三個關係式.
切線問題
一個有趣的問題是:過平面上任意一点, 可以作三次函數圖像的几条切線? 设切点為 , 则切線方程為 . 若该切線經過点 , 则
将 和 的表达式代入, 這是一個關于切点横坐標 的三次方程. 此方程实根的個數即為過点 可作的切線条數. 對此三次方程根的個數進行分析, 可以得到一個优美的几何结論.
三次函數 的圖像及其在拐点处的切線(称之為拐点切線), 将整個平面划分為四個区域.
- 若点 位于由函數圖像與拐点切線所夹的两個開区域内, 则過该点可作3条不同的切線.
- 若点 位于函數圖像上或拐点切線上 (但非拐点本身), 则可作2条切線.
- 若点 位于其余两個開区域内, 或 恰為拐点, 则僅可作1条切線.
{/* latex-label: fig:tangent-regions */} \begin{figure}[htbp]
\end{figure} 圖:過平面一点作三次函數切線条數的区域划分 ()
已知函數 , 若過点 可作曲線 的三条切線, 求实數 的取值范围.
理解題意的第一步, 是将“可作三条切線”這一条件转化為点 的几何位置约束. 根据切線条數判定定理, 点 必须严格位于函數圖像 與其拐点切線之間. 我们的方案是, 分别求出在横坐標 处, 函數圖像的纵坐標與拐点切線的纵坐標, 的值必须介于此二者之間.
首先, 计算函數在 处的值:
接下来, 我们需要确定拐点切線的方程. , 進而 . 令 , 解得拐点的横坐標為 . 拐点处的函數值為 . 拐点处的切線斜率為 .
因此, 拐点切線的方程為 , 化簡得 .
現在, 我们计算当 时, 這条切線上的点的纵坐標:
点 的纵坐標 必须严格地介于函數值 與拐点切線上的值 之間.
故, 实數 的取值范围是 .
對称性
函數的對称性與其導函數的對称性之間存在着一种优美的對偶關係,也就是對称性.
设可導函數 .
- 若 的圖像關于直線 轴對称, 则其導函數 的圖像關于点 中心對称.
- 若 的圖像關于点 中心對称, 则其導函數 的圖像關于直線 轴對称.
第一条性質已在前面章节證明. 我们在此證明第二条, 以展現其推導的簡洁與深刻.
函數 圖像關于点 對称的代數表达式為 . 注意到這是一個關于變量 的恒等式. 我们對此恒等式两边關于 求導, 并應用链式法则:
由此我们得到 . 這正是導函數 的圖像關于直線 轴對称的定義.
現在, 我们可以從一個更高的视角重新审视三次函數的對称性. 我们已經證明, 任何三次函數 都關于其唯一的拐点 中心對称, 其中 . 根据上述定理, 其導函數 的圖像必然關于直線 轴對称. 這與我们熟知的二次函數對称轴公式完全吻合, 展現了不同层级理論之間的和谐统一.
極值点连線的几何性質
当三次函數存在两個極值点时, 连接這两個点的直線(割線)的几何性質, 與函數在拐点处的微观性質(切線斜率)之間, 存在一個令人惊讶的定量關係.
若三次函數 存在两個極值点 與 , 则连接這两点的割線斜率满足:
不僅如此, 该斜率與拐点处的切線斜率 存在正比關係:
其中 是函數拐点的横坐標.
此證明旨在揭示函數宏观几何性質(割線斜率)與局部微观性質(切線斜率)之間的内在联係.
首先, 極值点 是導函數 的两根. 根据韦达定理, 我们有 以及 .
我们来计算割線斜率.
為建立一個更簡洁的關係, 我们利用 這一事实来消去 , 即 . 代入斜率表达式:
注意到 . 代入得:
這是一個非對称的表达式, 我们尝试另一种途径. 回到 , 将其用係數 表示. . 代入斜率表达式:
現在我们计算 .
故第一個等式成立.
接下来, 拐点横坐標 , 此处的導數值為:
比较斜率與 的表达式, 我们清晰地看到:
證毕.
此定理揭示了一個深刻的几何事实:连接三次函數两個極值点的直線的斜率, 恰好是其拐点处切線斜率的 . 拐点处的切線斜率是整個導函數 的極值, 代表了原函數變化率最快或最慢的瞬間. 因此, 這一關係定量地刻画了函數的宏观起伏(由極值点决定)與其局部變化最剧烈处(拐点)的内在關联.
指數函數
{/* label: sec:ch03-s12 */}
在自然界與社会經济現象中,许多係统的增长或衰减過程具有一個共同的特征:其變化率與係统当前的总量成正比. 例如,在理想条件下,一個细胞群落的增殖速率與其現有的细胞數量成正比;放射性元素的衰變速率與其剩余的原子核數量成正比;一笔按複利计息的存款,其利息的增长速率與当前的本利和成正比.
為了精确地刻画這類“自催化”式的增长模式,我们需要一种新的函數模型. 我们的探索始于對幂运算的推廣,并最终引出數學中最為重要的函數之一——指數函數.
指數的擴张與指數函數的定義
我们已經熟悉了整數指數幂的运算, 例如 以及 . 為了将指數的概念從整數域 拓展至整個实數域 , 我们必须分步進行, 并确保每一步拓展都與原有的运算律相容.
首先, 我们定義有理數指數幂. 對于任意正实數 和有理數 (), 我们定義
此定義是基于保持幂运算律 的期望而自然導出的.
一個深刻的挑战在于如何為无理數指數幂赋予一個明确的意義. 例如, 的值究竟是什么?我们无法将其理解為有限次的乘法或開方. 解决此問題的關键在于利用实數係的完備性. 我们可以用一串有理數 (例如 的十進制小數展開 ) 来无限逼近无理數 . 相應地, 數列 将会逼近一個确定的实數. 实數係的完備性保證了這個極限的存在且唯一. 我们便将此極限值定義為 .
通過這种方式, 我们可以将 的定義域從有理數集 拓展至整個实數集 .
函數 ( 且 ) 称為指數函數, 其中 是自變量. 其定義域為全體实數 .
我们要求底數 為正數, 是為了确保函數在整個实數域上都有定義 (例如, 在实數域内无意義). 而 是因為当 时, 是一個常數函數, 其性質平庸, 通常不單独作為指數函數研究.
若函數 是指數函數, 求參數 的值.
要确定參數 的值, 我们必须回归指數函數的严格定義. 一個函數被称為指數函數, 其標准形式為 , 這蕴含了两個不可或缺的代數约束:
- 函數的係數必须為 .
- 底數 必须為正數且不等于 .
我们将這两個约束条件應用于给定的函數表达式 .
首先, 係數部分必须為 :
移項整理, 我们得到一個關于 的一元二次方程:
通過因式分解, , 解得两個可能的參數值為 或 .
接下来, 我们必须檢验這两個候選值是否满足底數 的约束条件, 即 且 .
-
当 时, 且 . 此条件满足.
-
当 时, 且 . 此条件同样满足.
两個候選值均通過了檢验. 因此, 參數 的值為 或 .
已知指數函數 的圖像經過点 , 求 的值.
題目明确指出 是一個指數函數, 這為我们提供了其基本的代數形式. 不妨设 , 其中底數 满足 且 .
函數圖像經過点 這一几何信息, 意味着当自變量 时, 其對應的函數值 必為 . 将此条件代入函數的一般形式, 我们得到一個關于底數 的方程:
解此方程, 得 或 .
根据指數函數定義中對底數的约束 (), 我们必须舍去 這個解. 因此, 底數 被唯一确定為 .
至此, 我们完全确定了该指數函數的具體表达式:
最后, 我们计算所求的函數值 :
故 的值為 .
指數函數的圖像與性質
指數函數的性質由其底數 的取值范围决定. 我们分 和 两种情形来讨論.
\begin{figure}[htbp]
\end{figure} 圖:指數函數的圖像
指數函數 () 具有以下核心性質:
- 定義域與值域: 其定義域為 , 值域為 .
- 特定点: 无論底數 為何值, 函數圖像恒過定点 , 因為 .
- 單调性:
- 当 时, 指數函數在 上是严格單调递增的.
- 当 时, 指數函數在 上是严格單调递减的.
- 渐近線: 轴是指數函數圖像的水平渐近線.
我们以 的情形為例, 利用定義法严格證明其單调性.
不妨设 . 在定義域 中任取 且 . 我们考察其函數值的比值:
由于 , 故 . 当底數 且指數為正數时, 幂的值必然大于 . 即 . 因此, . 又因為指數函數的值域為 , 恒為正, 故可得 . 根据定義, 函數 在 时是严格單调递增的. 的情形可類似證明.
求解不等式 .
此不等式两端的底數不同, 直接比较指數是无意義的. 解决此類問題的關键在于, 通過代數變形将不等式两端统一為相同的底數, 從而利用指數函數的單调性将問題转化為指數部分的不等式.
注意到, 不等式中的底數 和 都是 的幂. 這是一個强烈的信号, 提示我们将底數统一為 .
将此關係代入原不等式:
根据幂的运算法则, 上式等价于:
現在, 不等式两端是同一個指數函數 在两個不同点 和 的取值.
由于底數 , 指數函數 在其定義域 上是严格單调递增的. 因此, 函數值的大小關係 等价于其自變量的大小關係 .
整理此一元二次不等式:
通過因式分解, 我们得到 .
此不等式的解集為 .
求解方程 .
直接求解此方程是困难的, 因為它包含了三個不同的底數. 然而, 我们注意到這些底數 之間存在深刻的代數联係, 它们均可由 和 的幂次组合而成: . 這一结構提示我们, 或许可以通過某种除法运算来簡化方程, 减少底數的种類.
一個有效的策略是, 将方程两边同除以某一項, 以期得到一個關于某個比值的方程. 不妨将方程两边同除以 . (思考: 為何選取 ? 因為 恒為正, 除法是安全的, 且它可以产生形式上最簡洁的項).
利用指數运算法则 , 上式化為:
至此, 原方程的内在结構已經清晰地暴露出来. 它是一個關于變量 的一元二次方程.
令 . 由于指數函數的值域為正, 我们有 . 上述方程转化為:
因式分解得 . 解得 或 .
我们必须结合 的约束来筛選解. 不符合要求, 舍去. 因此, 唯一有效的解是 .
将 的值代回換元關係式:
由于任何非零实數的零次幂等于 , 我们立即得到 .
回顾整個解題過程, 關键步骤在于识别底數之間的代數關係, 并通過除法运算将原方程转化為一個隐藏的二次方程. 這种通過代數變形揭示問題内在结構的方法, 是解决複杂數學問題的核心思想之一.
某池塘中浮萍的面積 (單位: ) 與时間 (單位: 月) 的關係為指數函數模型 (), 其圖像如圖所示. 试判断下列說法的正誤. \begin{figure}[htbp]
\end{figure}
[label=\Alph*.]
- 浮萍每月增加的面積都相等.
- 第6個月时, 浮萍的面積会超過 .
- 浮萍面積從 蔓延到 只需經過 5 個月.
- 若浮萍面積蔓延到 所經過的时間分别為 , 则 .
首先, 我们需要從圖像中提取關键信息以确定函數模型的具體參數. 圖像明确地經過点 , 這為我们提供了一個直接的约束. 将其代入 , 我们得到:
因此, 函數模型簡化為 . 不僅如此, 圖像还清晰地經過点 . 将此点代入, 可确定底數 :
為验證此模型的准确性, 我们檢验点 : , 與圖像吻合. 因此, 该浮萍面積的增长模型為 .
現在我们逐一分析各個命題.
對于命題 A, “每月增加的面積”在數學上表示為差分 .
此增量是时間 的函數, 随 的增加而指數级增长, 并非一個固定的常量. 故 A 項錯誤.
對于命題 B, 我们计算在第6個月末 (即 时) 的面積:
由于 , 故 B 項正确.
對于命題 C, 此命題的本質是求解一個时間差. 面積為 對應的时間由方程 给出, 解得 . 面積為 對應的时間由 给出, 解得 . 所需时間為 個月. 故 C 項正确.
對于命題 D, 此命題探究的是指數函數自變量與因變量之間更深层次的代數關係. 根据題意, 我们有:
這在對數語言中等价于 , , . 我们需要檢验等式 是否成立. 考察等式左侧:
考察等式右侧:
由于二者相等, 故 D 項正确.
綜上所述, 正确的說法為 B, C, D.
選項 D 揭示了一個深刻的性質:若指數函數的因變量構成一個等比數列 (本例中 的公比為 ), 则其對應的自變量必然構成一個等差數列. 這是對數运算将乘法關係转化為加法關係的直接體現.
某地区计划對总面積為 的老旧房屋進行“平改坡”工程. 經测算, 若改造模式為每年改造的面積是当年剩余未改造面積的一個固定百分比 , 要在10年内完成工程总量的一半, 试估算這個百分比 的值. (參考數据: )
此問題本質上是建立一個描述剩余量的指數衰减模型. 设工程总面積為 , 年后剩余未改造的面積為 . 初始状态為 .
根据題意, 每年改造的面積是当年剩余面積的百分比 . 這意味着, 第 年末的剩余面積 與第 年末的剩余面積 之間的關係為:
這是一個公比為 的递推關係, 其通項公式為 .
題目给出的核心条件是, 10年后完成工程总量的一半, 即 时, 剩余面積為初始面積的一半: . 将此条件代入我们建立的模型中:
消去 , 我们得到 .
由此, 我们可以解出公比 :
利用題目给出的參考數据 , 我们得到 .
因此, 所求的固定百分比 .
故每年约需改造当年剩余面積的 .
值得注意的是, 這种按剩余量百分比進行改造的模式, 理論上永远无法完成100%的工程, 因為剩余量总是在不断减小但永不為零. 這與每年改造固定面積 (例如, 总面積的 ) 的線性模型有着本質区别. 在線性模型中, 工程将在确定的 20 年后完成.
自然底數 \texorpdfstring{
{e} 的引入} 在指數函數 的大家族中, 底數 可以是任何不為1的正实數. 不同的底數决定了函數增长或衰减的“剧烈程度”. 一個自然而深刻的問題是:在所有這些可能的底數中, 是否存在一個“最自然”或“最基本”的底數, 使其對應的指數函數具有某种独特的、不可替代的簡洁性?
這個問題的答案, 令人惊讶地源于一個看似无關的金融問題:连續複利.
设想我们将一笔本金存入银行, 年利率為 . 若每年计息一次, 一年后本利和為 . 若每半年计息一次, 则每次计息的利率為 , 一年内计息两次. 一年后本利和為 . 若每月计息一次, 则一年后本利和為 .
一般地, 若一年内计息 次, 则每次的利率為 , 一年后本利和為:
我们不禁要問:当计息周期无限缩短, 即计息频率 趋于无穷大时, 最终的本利和是会无限制地增长, 还是会收敛到一個确定的極限值?
為了探究其數學本質, 不妨设本金為1單位, 年利率為 (即 ), 以剥离无關參數, 聚焦于核心的數學结構. 此时, 一年后的本利和表达式為:
我们的問題转化為研究当 时, 此表达式的極限行為. 通過计算可以發現, 随着 的增大, 這個值确实在增长, 但增长的步伐越来越慢, 并稳定地趋向于一個特定的數值.
- :
- :
- :
- :
可以严格證明 (尽管這需要更高等的分析工具), 這個極限是存在且唯一的. 這個極限值是一個无理數, 在數學中扮演着至關重要的角色, 我们用字母 来表示它.
自然底數 定義為如下極限:
事实上, 對于任意年利率 , 连續複利下的本利和極限為 . 這表明, 正是單位利率下單位本金连續增长的極限倍率.
然而, 连續複利模型僅僅揭示了 的一种来源, 其在數學中的核心地位源于一個更為深刻的分析性質. 我们回到最初的問題:是否存在一個“最自然”的底數?從微積分的观点看, “自然”意味着“簡洁”. 我们不禁要問:在所有的指數函數 中, 哪一個的變化率 (即其導數) 與其函數值本身的關係最為簡洁?
可以證明, 指數函數 的導數與其自身成正比, 即 , 其中比例常數 完全由底數 决定. 我们能否找到一個底數 , 使得這個比例常數恰好為1, 從而使得函數的變化率在每一点都精确地等于其函數值?
這個特殊的底數正是自然底數 .
以 為底的指數函數 (称為自然指數函數) 是唯一满足初始条件 且其導數恒等于自身的函數, 即:
這個性質使得 成為描述所有“增长率正比于存量”的物理、生物及經济過程的數學基石. 它的簡洁性與普适性, 使 当之无愧地成為指數函數家族中“最自然”的底數.
\begin{figure}[htbp]
\end{figure} 圖:自然指數函數的几何意義:圖像上任意一点的切線斜率等于该点的函數值.
幂函數
{/* label: sec:ch03-s13 */}
我们已經探讨了變量位于指數位置的函數, 即指數函數 . 現在, 我们将注意力转向另一類基本函數, 其中變量位于底數位置.
定義與辨析
形如 的函數称為幂函數, 其中 是自變量, 是一個常數, 称為指數.
在深入研究之前, 辨析幂函數與指數函數的根本区别至關重要. 尽管它们的表达式都涉及幂运算, 但變量在其中的角色截然不同, 這導致了它们性質上的巨大差异.
- 幂函數 : 自變量 是底數, 指數 是常數.
- 指數函數 : 自變量 是指數, 底數 是常數.
這种结構上的對偶性, 使得它们在定義域、圖像形态、單调性等方面的行為迥异. 例如, 函數 與 在 时均為增函數, 但它们的增长“姿态”完全不同. 的增长是多項式的, 而 的增长是指數级的, 后者在 足够大时将远远超過前者.
\begin{figure}[htbp]
\end{figure} 圖:幂函數與指數函數的增长比较. 在 后, 指數函數的增长速度远超幂函數.
圖像與性質的係统性分析
幂函數的性質由其指數 的值深刻决定. 不同的 值赋予函數截然不同的几何形态與分析性質. 我们将通過考察几個典型的 值来係统地归纳其共性與差异.
\begin{figure}[htbp]
\end{figure} 圖:不同指數 下幂函數的圖像
通過對圖像的观察與代數分析, 我们可以总结出幂函數 的一般性質:
- 定義域: 定義域依赖于 . 若 為正整數, 定義域為 . 若 為负整數, 定義域為 . 若 為分數, 则需根据分母的奇偶性确定, 例如 的定義域為 .
- 奇偶性: 奇偶性同样取决于 . 若 的定義域關于原点對称, 则当 是整數时, 其奇偶性與 的奇偶性一致. 若 (最簡分數), 则当 為奇數时, 其奇偶性與分子 的奇偶性一致.
- 公共点: 无論 為何值 (除 外), 幂函數的圖像恒過定点 , 因為 .
- 單调性 (在第一象限, 即 时):
- 当 时, 函數在 上严格單调递增.
- 当 时, 函數在 上严格單调递减.
- 凹凸性 (在第一象限, 即 时):
- 当 或 时, 圖像是下凸的 (向上弯曲).
- 当 时, 圖像是上凸的 (向下弯曲).
這些性質的组合, 决定了幂函數在比较大小、求解不等式等問題中的關键作用.
比较 的大小.
此問題涉及的三個數, 其底數和指數均不相同, 直接比较十分困难. 解决此類問題的關键策略是引入一個或多個中間量作為“桥梁”, 将複杂的比较分解為若干個簡單的、可以利用函數單调性解决的比较.
我们首先观察這三個數, 注意到 與另外两個數分别共享了底數和指數, 這使其成為一個理想的中間桥梁.
首先, 我们考察 與 . 這可以视為指數函數 在两個不同点上的取值. 由于底數 , 此指數函數在 上是严格單调递减的. 因為 , 根据單调递减的定義, 必有 , 即 .
接着, 我们转向比较 與 . 這可以视為幂函數 在两個不同点上的取值. 由于指數 , 此幂函數在定義域 上是严格單调递增的. 因為 , 根据單调递增的定義, 必有 , 即 .
綜合以上两方面的分析, 我们便可建立一個完整的大小關係链:
因此, 三個數的大小顺序為 .
已知函數 是一個幂函數, 且在区間 上是减函數, 求实數 的值.
此問題綜合考察了幂函數的定義及其單调性與指數的關係. 我们需要從題设的两個条件中分别提炼出對參數 的约束.
根据幂函數的定義, 其標准形式為 , 這要求自變量前的係數必须為 . 因此, 给定函數的係數部分必须满足:
整理得 . 因式分解為 , 解得两個可能的 值為 或 .
我们再利用第二個条件来筛選這两個候選值. 題设函數在区間 上是减函數. 根据幂函數的性質, 当 时, 函數 單调递减的充要条件是其指數 . 在本題中, 指數為 . 故必须满足:
最后, 我们将两個条件得到的解集求交集. 第一個条件给出的可能值為 . 第二個条件要求 . 唯一同时满足這两個条件的 值是 .
故实數 的值為 .
對數函數
{/* label: sec:ch03-s14 */}
指數函數 建立了一個從自變量 (指數) 到函數值 (幂) 的映射. 一個自然而深刻的問題随之而来:這一過程是否可逆?即, 若已知幂的值 和底數 , 我们能否唯一地确定其對應的指數 ?
例如, 求解方程 是直接的, 我们知道 . 然而, 若要求解 , 我们会發現 并非一個有理數. 尽管如此, 從指數函數 的严格單调递增圖像上可以看出, 必然存在一個唯一的实數 與 對應. 為了表示這個數, 我们需要引入一种新的记号, 一种描述“求解指數”這一逆运算的語言. 這便是對數概念的起源.
對數的定義與對數函數
若 (), 则數 称為以 為底 的對數, 记作
其中, 称為對數的底數, 称為真數.
這個定義揭示了對數與指數之間深刻的互逆關係:. 對數 的本質, 就是“求使 的幂等于 的那個指數”.
基于此定義, 我们可以建立對數函數.
函數 () 称為對數函數, 其中 是自變量.
對數函數的定義域與底數的约束条件, 并非凭空规定, 而是由其作為指數函數逆运算的身份所继承而来.
- 底數约束 (): 與指數函數完全相同.
- 定義域 (真數约束 ): 對數函數的自變量 對應于指數函數 的因變量 . 由于指數函數的值域是 , 故對數函數的定義域也必须是 .
對數函數的圖像與性質
對數函數 是指數函數 的反函數. 這一事实决定了它们在几何與代數性質上的全部對偶關係. 最直观的體現是, 它们的圖像關于直線 對称.
\begin{figure}[htbp]
\end{figure} 圖:指數函數與對數函數圖像的對称性 ()
對數函數 () 的核心性質如下:
- 定義域與值域: 其定義域為 , 值域為 . (這恰好是指數函數定義域與值域的互換).
- 特定点: 无論底數 為何值, 函數圖像恒過定点 , 因為 .
- 單调性:
- 当 时, 對數函數在 上是严格單调递增的.
- 当 时, 對數函數在 上是严格單调递减的.
- 渐近線: 轴 (即直線 ) 是對數函數圖像的垂直渐近線.
已知對數函數 的圖像與一次函數 的圖像交于 两点, 且点 的横坐標為 . \begin{figure}[htbp]
\end{figure}
- 求 的解析式.
- 若關于 的不等式 恰有 1 個整數解, 求实數 的取值范围.
首先, 我们需要确定對數函數 的具體形式. 设其解析式為 , 其中 且 .
点 作為两個函數圖像的公共点, 其坐標必须同时满足两個函數的解析式. 已知点 的横坐標為 , 我们可以计算其纵坐標:
因此, 点 的坐標為 .
将点 的坐標代入 中, 我们得到一個關于底數 的方程:
根据對數的定義, 此式等价于 , 故 . 因此, 函數 的解析式為 .
接下来, 我们分析不等式 . 将已求得的 解析式代入, 不等式左侧呈現出一個指數與對數複合的结構.
根据對數與指數的互逆關係, , 上述不等式可以被極大地簡化為:
然而, 對此不等式的讨論必须在原函數 的定義域内進行. 的定義域為 .
因此, 不等式的完整解集是 . 我们的任务是寻找參數 的取值, 使得開区間 内恰好包含一個整數.
区間 内的整數從小到大依次為 . 要使该区間内恰好包含一個整數, 這個整數必然是 .
為了让 成為解集的一部分, 必须有 . 為了让 不成為解集的一部分, 必须有 .
綜合這两個条件, 我们得到 . 故实數 的取值范围是 .
如圖, 對數函數 () 圖像上的点 與 轴上的点 和点 構成以 為斜边的等腰直角三角形. 若 與 相似, 点 在函數 的圖像上, 点 位于点 的右侧, 且两個三角形的相似比為 , 求底數 的值. \begin{figure}[htbp]
\end{figure}
此問題的核心在于将複杂的几何条件转化為点坐標之間的代數關係.
我们首先分析 的几何性質. 设点 的坐標為 . 由于 , 函數 在 上單调递增, 故 . 是以 為斜边的等腰直角三角形, 且 点在其上方, 這意味着 点到斜边 的垂線段 (即其高) 恰好是斜边长度的一半, 且垂足是 的中点.
点 的纵坐標 即為三角形的高. 设 点坐標為 , 则斜边长為 . 我们得到關係 . 同时, 点 的横坐標 必為 的中点横坐標, 即 .
從這两個關于 的關係式中, 我们可以消去 . 由 代入前式, 得 . 這揭示了一個關键的约束:圖像上的点 必须满足線性關係 .
接下来, 我们引入 的信息. 设点 的坐標為 . 由于 且相似比為 , 其對應高的比也為 . 的高即為点 的纵坐標 . 因此, .
因為点 和 均在函數 的圖像上, 我们有:
结合 , 我们得到 . 由于對數函數是單射, 此式蕴含了 .
我们还需要一個關于 的關係. 同样利用 的几何性質, 其底边 的长度是 的两倍, 即 . 点 的横坐標 是 的中点横坐標.
現在我们拥有一個關于 的方程组:
将第一、二個式子代入第三個式子:
整理得到一個關于 的一元二次方程:
因式分解得 , 解得 或 .
若 , 则 , 這将導致 退化為一個線段, 不合題意, 故舍去. 因此, .
当 时, . 故点 的坐標為 .
最后, 将点 的坐標代入函數解析式以求解底數 :
根据對數的定義, . 由于題设 , 我们得到 .
對數的运算法则
對數的运算法则并非独立存在, 它们是指數运算法则在對數語言下的直接“翻译”. 每一個對數法则的背后, 都隐藏着一個對應的指數法则.
设 , 且 .
- (積的對數等于對數的和).
- (商的對數等于對數的差).
- () (幂的對數等于指數乘以底的對數).
我们的策略是将對數表达式转換回其本源的指數形式, 在指數的世界里运用我们熟知的法则, 然后再转換回来.
不妨设 且 . 根据對數的定義, 這两個等式分别等价于:
我们将這两個指數式相乘, 以構造出真數 :
根据指數的运算法则, 我们得到:
現在, 我们将這個最终的指數式重新翻译回對數語言. 根据定義, 它等价于:
最后, 将 和 的原始定義代回, 即得所證:
其余法则的證明思想完全類似.
在实际计算與理論推導中, 统一不同對數的底數是一個常见的需求. 這需要一個重要的工具——換底公式.
设 且 , . 则
设 . 则 . 對此指數式两边取以 為底的對數:
應用對數的幂运算法则, 我们得到 . 由于 , , 故可解得 . 将 代回, 即得公式.
換底公式有两個極其有用的推論:
- (通過令 得到).
- (通過換底到以 為底的對數得到).
求解不等式 .
此不等式涉及對數函數, 其求解必须在一個严格的前提下進行:所有對數的真數必须為正. 這構成了我们解集的一個基本约束.
第一個不等式 的解集為 . 第二個不等式 的解集為 . 两個解集的交集為 . 這是我们考虑原不等式时, 自變量 必须满足的范围.
現在, 我们在定義域 内求解原不等式. 不等式两端是同一個對數函數 在两個不同点 和 的取值.
由于底數 , 對數函數 在其定義域上是严格單调递减的. 因此, 函數值的大小關係 等价于其自變量的反向大小關係 .
整理此一元二次不等式:
此方程 的根為 . 故不等式 的解集為 .
最后, 我们必须将此解集與我们最初确定的函數定義域 求交集. 注意到 , 因此 , 即 . 同时, .
因此, 两個区間的交集為 .
故原不等式的解集為 .
已知函數 ().
- 求 的定義域.
- 判断 的奇偶性.
函數的定義域由其真數必须為正的条件决定:
此分式不等式等价于 , 即 . 解得 . 故 的定義域為開区間 .
接下来, 我们判断其奇偶性. 注意到定義域 是一個關于原点對称的区間, 這使得讨論奇偶性成為可能. 我们考察 的表达式:
為了将此表达式與 建立联係, 我们利用對數的运算法则. 注意到 . 因此,
此關係對定義域内的所有 恒成立, 故函數 是一個奇函數.
此函數是一個重要的奇函數模型. 更一般地, 任何形如 的函數, 若其宗量满足 , 则该函數必為奇函數.
函數模型與應用
{/* label: sec:ch03-s15 */}
數學的力量不僅在于其内部逻辑的严谨與和谐, 更在于其作為一种普适語言, 能够對自然、社会及經济現象中的複杂關係進行抽象、描述與預测. 将一個实际問題转化為數學结構的過程, 称為數學建模. 在此過程中, 核心任务之一是根据問題的内在规律和經验數据, 從已知的函數類型中選择一個或多個作為候選模型, 估算其參數, 并最终通過檢验與比较, 确定一個最能反映問題本質的函數表达式.
這個過程本質上是一种數學化的科學探究, 它包含以下几個密不可分的环节:
- 數据分析與模型初選: 审视經验數据, 分析其變化趋势 (增长或衰减)、變化速率 (加速、匀速或减速) 等宏观特征, 以此為依据, 筛選出具有相似理論行為的函數類型作為候選模型.
- 參數估计: 利用數据中的若干關键信息 (通常是特定的數据点), 建立關于模型待定參數的方程组, 并求解這些參數.
- 模型檢验與优化: 将拟合出的具體函數模型用于預测其他數据点, 并通過比较預测值與真实值的差异 (即誤差) 来评估模型的优劣. 若誤差過大, 则可能需要更換模型或修正參數.
通過以下实例, 我们将完整地展現這一思想過程.
某养殖场随着技术的進步和规模的擴大, 肉鸡产量在不断增加. 現收集到 2020 年前 10 個月该养殖场上市的肉鸡數量 (單位: 万只) 與月份 的數据如下表:
| 月份 | 1 | 2 | 3 | 4 | 5 |
|---|---|---|---|---|---|
| 數量 | 1.020 | 2.000 | 2.578 | 2.997 | 3.313 |
| 月份 | 6 | 7 | 8 | 9 | 10 |
| 數量 | 3.578 | 3.804 | 4.000 | 4.173 | 4.329 |
數量 和月份 之間可能存在以下四种函數關係:
\item[\textcircled{1}] \item[\textcircled{2}] \item[\textcircled{3}] \item[\textcircled{4}] ()
- 請從這四個函數模型中去掉一個與表格中數据不吻合的函數模型, 并說明理由.
- 請從表格中選择 2 月份和 8 月份的數据, 再從第(1)問剩下的三個模型中任選两個函數模型進行建模, 求出其函數表达式, 再分别求出這两個模型下 4 月份的肉鸡數量, 并說明哪個函數模型更好. (參考數据: )
(1) 我们首先分析經验數据所呈現的宏观趋势. 從表格中可以清晰地看到, 數量 随月份 的增加而增加, 表明這是一個增长過程. 然而, 增长的速率并非恒定. 我们考察相邻月份的增量:
注意到, 每月增加的數量是递减的. 這表明该增长過程具有减速增长的特征.
現在, 我们来分析四個候選模型的理論行為.
-
模型 \textcircled{1} : 這是一個指數增长模型. 為保證增长, 必须有 . 在此条件下, 其增量為 , 這是一個随 增加而严格递增的量. 這意味着指數模型描述的是加速增长過程.
-
模型 \textcircled{2} : 這是一個幂函數模型. 為保證增长, 需 . 若 , 其增长率是递减的; 若 , 其增长率是递增的.
-
模型 \textcircled{3} : 這是一個對數函數模型. 為保證增长, 需 . 對數函數的增长率是递减的.
-
模型 \textcircled{4} (修正為增长模型): 這是一個反比例函數平移后的模型. 其增长率也是递减的.
比较理論行為與數据特征, 模型 \textcircled{1} 所描述的加速增长與數据所反映的减速增长存在根本性的矛盾. 因此, 與表格中數据最不吻合的函數模型是 \textcircled{1}.
(2) 我们選取 2 月份的數据 和 8 月份的數据 . 不妨選择模型 \textcircled{2} 和 \textcircled{3} 進行拟合.
對于模型 \textcircled{2: }
将數据点 和 代入, 得到關于參數 的方程组:
两式相除, 以消去參數 :
解得 . 将 代回第一個方程: , 解得 . 因此, 幂函數模型為 .
利用此模型預测 4 月份的肉鸡數量:
對于模型 \textcircled{3: }
将數据点 和 代入, 得到關于參數 的方程组:
两式相减, 以消去參數 :
根据對數的定義, . 由于底數 , 故 . 将 代回第一個方程: , 解得 . 因此, 對數函數模型為 .
利用此模型預测 4 月份的肉鸡數量:
模型比较
為了判断哪個模型更好, 我们将两個模型的預测值與表格中 4 月份的真实數据 進行比较.
模型 \textcircled{2} 的預测誤差為 . 模型 \textcircled{3} 的預测誤差為 .
由于對數函數模型的預测誤差远小于幂函數模型, 我们可以认為, 在描述此項生产數据时, 對數函數模型 \textcircled{3} 更加精确, 是一個更好的模型.
物理世界中, 声音的强度 (声强 , 單位: ) 的變化范围極其巨大, 而人耳對其响度的感知并非線性關係. 為此, 科學家引入了声强级 (單位: 分贝) 的概念, 它通過一個對數模型将声强映射到一個更符合人類感知的標度上. 其公式為:
其中 是人耳能听到的阈值声强.
- 平常人交谈时的声强约為 , 求其声强级.
- 一般常人能听到的最低声强级是 0 分贝, 求能听到的最低声强為多少?
- 比较理想的睡眠环境要求声强级 分贝. 已知熄灯后两位同學在宿舍說话的声强為 , 問這两位同學是否会影响其他同學休息? (參考數据: )
此問題旨在應用對數函數模型来量化声音的物理强度與其被人耳感知到的响度之間的關係. 核心模型為声强级 與声强 之間的對數關係.
對于平常人交谈的情形, 已知声强 . 我们的任务是计算其對應的声强级 . 将此声强值代入模型公式, 我们得到:
故平常人交谈时的声强级约為 60 分贝.
接着, 我们探究人耳能听到的最低声强. 此情形對應于声强级為 0 分贝, 即 . 這要求我们求解方程:
此方程等价于 . 根据常用對數的性質, 僅当真數為 1 时, 其對數值為 0. 故
此即人耳能感知的阈值声强, 也正是模型公式中作為基准的參考声强.
最后, 我们来评估宿舍内谈话声是否会影响他人休息. 為此, 我们需计算声强 對應的声强级, 并将其與理想睡眠环境的上限 50 分贝進行比较.
利用對數的运算法则, 将積的對數拆分為對數的和:
為了估算 , 我们巧妙地利用 .
计算结果 分贝显著高于 50 分贝的阈值. 因此, 這两位同學的谈话声会影响其他同學休息.
為何在声學、地震學 (里氏震级)、化學 (pH值) 等领域廣泛采用對數標度?其根本原因在于, 這些物理量的變化范围極其廣阔, 且人類或仪器的感知與物理量的绝對值不成正比, 而是與其數量级的變化更為相關. 對數函數恰好能将乘法關係 (數量级的變化) 转化為加法關係 (標度值的線性變化), 從而将一個巨大的动态范围压缩到一個易于处理的区間内, 這正是對數模型的核心价值所在.
函數的零点(一)
{/* label: sec:ch03-s16 */}
函數的零点, 這一概念在代數與几何之間架起了一座至關重要的桥梁. 從代數的观点看, 函數 的零点是方程 的实數根; 從几何的观点看, 它则是函數圖像 與 轴的交点的横坐標. 這三种表述——函數的零点、方程的根、圖像的横截距——是同一數學對象的不同侧面. 對零点的研究, 其本質便是探究方程 解的存在性、個數與具體位置.
零点的存在性:介值定理的直观應用
一個基本的問題是:我们如何能确信一個函數必定存在零点, 尤其是在我们无法直接解出方程 的情况下?答案蕴含于函數的一個根本性質——连續性之中.
设想一条连續不断的曲線, 如果它的一個端点在 轴下方, 而另一個端点在 轴上方, 那么這条曲線在從一端运动到另一端的過程中, 必然会穿越 轴. 這一直观的几何事实, 正是零点存在性定理的精髓.
若函數 在闭区間 上的圖像是一条连續不断的曲線, 并且其在区間端点处的函數值异号, 即 , 则在開区間 内, 函數 至少存在一個零点.
\begin{figure}[htbp]
\end{figure} 圖:零点存在性定理的几何直观. 由于 與 异号, 连續曲線必然穿越 轴.
值得注意的是, 条件 僅僅是函數在 内存在零点的一個充分条件, 而非必要条件. 一個函數完全可能在区間内存在零点, 却不满足此条件. 例如, 函數 在区間 上显然有零点 , 但 . 這种情况通常發生在函數圖像與 轴相切, 或在区間内穿越 轴偶數次.
\begin{figure}[htbp]
\end{figure} 圖:零点存在性定理条件的非必要性
函數 的零点所在的区間是 ( ). A. B. C. D.
要确定函數零点的位置, 我们首先需要理解该函數的基本性状. 函數 的定義域為 .
在直接求解方程 不可行的情况下, 零点存在性定理是我们定位其根的主要工具. 然而, 该定理僅保證零点的存在性, 而非唯一性. 為了得到一個更强的结論, 我们不妨先考察函數的單调性, 這将决定其零点是否唯一.
其導函數為 . 注意到, 對于定義域内的任意 , 均有 且 , 因此 恒成立. 這表明函數 在其整個定義域 上是严格單调递增的. 一個严格單调函數至多只有一個零点. 我们的任务因此從寻找一個零点, 簡化為定位這唯一的一個零点.
現在, 我们的策略是逐一檢验題目所给区間的端点, 寻找函數值發生符号變化的区間.
我们從最簡洁的整數点開始考察. 考虑区間端点 :
由于 為负, 根据函數的單调递增性, 零点 必然位于 的右侧, 即 . 這一推論使我们能够立刻排除選項 A 和 B.
接下来, 我们檢验選項 C 的右端点. 考察 :
由于 , , 故 .
我们已經發現, 函數在区間 的两個端点处异号: 且 . 根据零点存在性定理, 函數 在開区間 内必存在一個零点.
结合其單调性, 此零点是唯一的. 因此, 函數的零点落在区間 内.
故選 C.
零点的求解與個數判定
在确认零点存在后, 下一步便是确定其具體位置與個數. 解决這一問題的策略, 往往需要将代數分析與几何直观紧密结合.
代數變換與圖像分析
對于複杂的方程 , 一個極其有力的思想是将其等价變形為两個更簡洁、我们更熟悉的函數圖像的交点問題. 方程 的根, 與方程 的根是相同的, 只要 . 通過巧妙地構造 和 , 我们可以将一個抽象的求根問題, 转化為一個直观的几何問題:判断两条曲線的交点個數.
判断函數 的零点個數.
直接分析函數 的性質较為複杂. 一個更具启發性的思路是, 将求解 的問題转化為求解 .
這样, 原問題便等价于考察函數 與函數 的圖像的交点個數.
我们分别分析這两個函數的性質與圖像. 函數 是由基本對數函數 的圖像向左平移 1 個單位得到的. 其定義域為 , 在定義域内严格單调递增, 且圖像過原点 .
函數 是一個反比例函數, 其圖像在第一、三象限.
現在, 我们在同一坐標係中绘制這两個函數的草圖, 以便直观地判断交点情况.
\begin{figure}[htbp]
\end{figure} 圖:函數 與 的圖像
從圖像上观察, 两条曲線在第一象限似乎有且僅有一個交点. 為严格證明這一点, 我们需要更深入的分析.
注意到, 在区間 上, 是严格單调递增的, 而 是严格單调递减的. 一個严格增函數與一個严格减函數的圖像, 在一個公共定義区間内至多只有一個交点.
我们只需验證在此区間内确实存在一個交点. 考察 处, , . 考察 处, , . 注意到 . 而在 趋于 时, , . 故在 内必有交点.
在区間 内, 的值域為 , 而 的值域也為 . 两者均為增函數, 交点情况不明显, 但可以構造辅助函數 . , 故 在 上單调递增. 又 , , 故在此区間内无零点.
綜上所述, 两個函數圖像僅有一個交点, 故原函數 有且僅有 1 個零点.
單调性與極值分析
對于无法轻易分离為两個簡單函數的 , 判定其零点個數的根本方法是研究其自身的單调性. 函數的單调区間由其導函數 的符号决定, 而單调区間的端点 (即極值点) 的函數值, 则成為判断零点存在的關键.
其一般性策略是:
- 求導數 , 并求解 得到所有临界点.
- 根据临界点划分函數的單调区間.
- 计算函數在所有極值点处的函數值, 并考察函數在无穷远处的極限行為.
- 结合單调性與上述關键点的函數值符号, 在每個單调区間内應用零点存在性定理, 最终确定零点的总個數.
讨論函數 () 的零点個數.
此問題等价于考察方程 的根的個數, 亦即曲線 與直線 的交点個數. 直線 是一条過原点的直線, 其斜率 是變化的參數. 這是一個典型的动态几何問題.
我们從分析函數 的單调性入手. 其導函數為 .
令 , 得 . 此方程解的存在性取决于參數 的值.
情形一: 在此情形下, 无解, 且 對所有 恒成立. 故 在 上严格單调递增. 一個在 上连續的严格單调函數, 其圖像與 轴至多有一個交点. 由于 (当 ) 或 (当 ), 且 , 根据介值定理, 函數必有一個零点. 因此, 当 时, 函數有且僅有 1 個零点.
情形二: 在此情形下, 有唯一解 . 当 时, , 單调递减. 当 时, , 單调递增. 因此, 函數在 处取得唯一的極小值, 也是最小值.
函數零点的個數, 完全取决于這個最小值與零的大小關係.
-
若 , 即 . 由于 , 這等价于 , 即 , 解得 . 此时, 函數的最小值大于零, 圖像恒在 轴上方, 故函數没有零点.
-
若 , 即 . 由于 , 這等价于 , 即 , 解得 . 此时, 函數的最小值恰好為零, 圖像與 轴僅有一個切点, 故函數有且僅有 1 個零点.
-
若 , 即 . 由于 , 這等价于 , 即 , 解得 . 此时, 函數的最小值小于零. 考虑到 , 函數圖像在極小值点左侧和右侧必然各與 轴相交一次. 故函數有 2 個零点.
\begin{figure}[htbp]
\end{figure} 圖:方程 根的個數的几何解释
綜上所述, 函數 的零点個數為:
- 当 时, 有 1 個零点.
- 当 时, 有 0 個零点.
- 当 时, 有 2 個零点.
分段函數
{/* label: sec:ch03-s17 */}
在數學建模的实践中, 许多現象的變化规律在不同的階段会遵循截然不同的法则. 例如, 所得税的税率随收入水平的分级而變化, 物體在不同介質中的运动遵循不同的物理定律. 為了精确地刻画這類在定義域的不同部分具有不同對應法则的函數關係, 單一的解析表达式往往显得力不從心. 這促使我们引入一种更具灵活性的函數構造方式——分段函數. 對這類函數的分析, 核心在于理解其在各個“片段”上的局部性質, 以及這些性質在“拼接点”处如何衔接, 從而决定其整體行為, 如连續性與可導性.
定義與基本示例
一個分段函數是指在其定義域的不同子集上, 分别由不同的解析式所定義的函數. 其一般形式為:
其中, 各個子集 互不相交 (即 對任意 ), 且它们的并集 構成了函數 的完整定義域 .
我们可以将分段函數理解為一個具有多套计价规则的收费係统,例如出租车计费.
- 输入 (): 乘客乘坐的里程.
- 输出 (): 最终需要支付的车费.
- 函數 (): 整個计费规则的集合.
计费规则可能会是這样:
- 规则1: 如果里程不超過3公里 (), 则车费固定為13元.
- 规则2: 如果里程超過3公里 (), 则车费為13元加上超出部分的费用, 每公里2.4元.
這個计费係统就是一個分段函數, 我们可以将其精确地寫為:
這里的核心思想是:對于任何一個给定的里程 , 我们首先要判断它属于哪個“计价区間”, 然后再應用该区間對應的“计价公式”来计算费用. 整個過程構成了一個單一、明确的函數關係.
現在, 我们可以回头审视形式化的定義, 并理解其每個部分的精确含義. \begin{description} \item[ (定義域的划分)] 這對應于出租车计费的各個“里程区間”. 它们将所有可能的输入值 (整個定義域) 分割成若干個互不重叠的部分.
\item[ (不同的法则)] 這對應于每個里程区間所使用的不同“计价公式”. 它们是函數在特定区域的行為准则.
\item[“互不相交” ()] 這是确保其成為一個函數的根本. 它意味着任何一個输入值 都只能落入唯一一個子定義域 中. 這就保證了對于一個输入, 只会有一個计价公式被激活, 從而产生唯一的输出值. 一次5公里的行程, 不能同时适用“3公里内”和“3公里外”的规则.
\item[“并集構成完整定義域”] 這保證了规则的完備性. 對于任何一個允许的输入值, 係统中都存在一個對應的规则来处理它, 不会存在“无法计价”的情况. \end{description} 因此, 分段函數并非多個独立函數的簡單拼凑, 而是一個定義完整的函數. 它的特殊之处在于其對應法则是有条件的, 需要根据自變量的取值来選择执行.
一個分段函數是指在其定義域的不同子集上, 分别由不同的解析式所定義的函數. 其一般形式為:
其中, 各個子集 互不相交 (即 對任意 ), 且它们的并集 構成了函數 的完整定義域 .
分段函數的核心在于其定義域的划分. 函數在某一点 的取值, 完全取决于 属于哪個子定義域. 绘制分段函數的圖像, 本質上是在同一坐標係中, 将各個函數片段 在其各自的定義域 上的圖像“拼接”起来. 在這個過程中, 必须特别關注各個分段的端点. 這些点是函數性質可能發生突變的地方, 我们称之為分段点. 在分段点处, 必须仔细判断该点是属于前一段还是后一段, 并在圖像上用实心点與空心点加以区分, 以确保函數的單值性.
设函數 . 求 與 的值.
為求 , 我们首先判断自變量 所在的区間. 由于 , 适用第一個解析式, 故 .
為求 , 我们需计算 . 自變量 满足 , 适用第二個解析式, 故 . 因此, .
设函數 . 求 的值.
為求 , 我们首先需要确定自變量 属于哪個子定義域.
由于 , 自變量 满足第一個条件.
因此, 我们應用第一個解析式 来计算函數值.
故 的值為 .
设函數 . 求 的值.
求解複合函數值 需要一個由内向外的计算過程.
首先, 我们计算内层函數的值 . 自變量 满足条件 . 因此, 我们應用第二個解析式 .
接下来, 我们将此结果作為外层函數的自變量, 即计算 . 自變量 满足条件 . 因此, 我们再次應用第二個解析式.
故 的值為 .
已知函數 . 若 , 求 的值.
此問題要求我们寻找一個自變量 , 使得其函數值為 . 由于函數的解析式是分段的, 我们需要分别在每個子定義域上進行讨論.
情形一: 假设 . 在此条件下, 函數的解析式為 . 我们令 , 两边平方得 . 我们需要檢验此解是否满足本情形的假设. 由于 , 该解是有效的.
情形二: 假设 . 在此条件下, 函數的解析式為 . 我们令 , 解得 . 我们需要檢验此解是否满足本情形的假设. 由于 并不小于 , 该解是无效的, 必须舍去.
綜合以上两种情形, 唯一有效的解是 .
连續性與可導性
分段函數的分析, 關键在于其在分段点处的行為.
设 是函數 的一個分段点. 在 处连續的充要条件是其在该点的左極限、右極限均存在且等于该点的函數值, 即
若此条件不满足, 则称函數在 处間断.
\begin{figure}[htbp]
\end{figure} 圖:分段点处的连續與間断
若函數 在分段点 处连續, 则其在该点可導的充要条件是其左導數與右導數存在且相等, 即
若左右導數不相等, 则函數在 处不可導, 其圖像在该点形成尖点或角点.
分析函數 在 处的连續性與可導性.
函數 可寫為分段函數形式 .
在 处, 左極限 . 右極限 . 函數值為 . 由于左極限 = 右極限 = 函數值, 函數在 处连續.
左導數為 . 右導數為 . 由于 , 函數在 处不可導.
\begin{figure}[htbp]
\end{figure} 圖:分段点处的光滑與尖点
整體性質的判定
一個函數在各分段区間上具有某种性質 (如單调性), 并不保證该函數在整個定義域上都具有此性質. 整體性質的判定必须额外考察函數在分段点处的衔接行為.
例如, 一個分段函數若要在整個定義域上單调递增, 必须满足:
- 函數在每個子定義域上均單调递增.
- 在任意相邻的两個子定義域 (设 在 左侧) 的分界点 处, 必须有 .
\begin{figure}[htbp]
\end{figure} 圖:一個在各分段区間均递增, 但整體非單调的函數.
已知函數 在 上單调递减, 求实數 的取值范围.
為使函數 在整個定義域 上單调递减, 必须同时满足三個条件.
首先, 函數在第一個子定義域 上必须單调递减. 此段為線性函數, 其單调性由斜率决定.
其次, 函數在第二個子定義域 上必须單调递减. 此段為指數函數, 其單调性由底數决定.
最后, 在分段点 处, 左侧区間的终点值必须不小于右侧区間的起点值, 以保證單调性的延續.
计算得:
我们将這三個条件联立, 求解其交集:
由于 且 , 這三個区間的公共部分為 .
故实數 的取值范围是 .
讨論方程 的根的個數, 其中 .
此問題等价于考察函數 的圖像與水平直線 的交点個數. 解决此問題的最有效途径是分析函數 的圖像, 特别是其單调性、極值與端点行為.
我们分段分析函數 .
当 时, . 這是一個開口向下, 對称轴為 的抛物線. 在区間 上, 函數單调递增. 在区間 上, 函數單调递减. 函數在 处取得極大值 . 在分段点 处, .
当 时, . 這是一個严格單调递增的對數函數. 其在 时的極限為 .
綜合两段的信息, 我们可以绘制出函數的草圖. 函數在 处是连續的. 它從 增长到極大值 , 然后下降到 , 再從 開始无限增长.
\begin{figure}[htbp]
\end{figure} 圖:函數 與水平直線 的交点情况
通過观察圖像與水平直線 的交点個數, 我们可以得出结論:
-
当 时, 直線與圖像在第一段和第二段各有一個交点, 共 2 個交点.
-
当 时, 直線與圖像在 处相切, 并在第二段有一個交点, 共 2 個交点.
-
当 时, 直線與圖像在第一段的两個分支以及第二段各有一個交点, 共 3 個交点.
-
当 时, 直線與圖像在 和 处相交, 共 2 個交点.
-
当 时, 直線僅與圖像在第一段有一個交点, 共 1 個交点.
总结可知, 方程 的根的個數為:
此分析表明, 函數的零点(或更一般的, 方程的根)個數, 由常數 與函數的關键值(極大值 和连接点值 )之間的關係所决定.
函數的基本要素分析
分段函數的定義域、值域與單调性等基本性質, 由其各個组成部分的性質以及它们在分段点处的衔接方式共同决定. 對其分析的核心原则是“分段考察, 整體联立”.
定義域與值域
\paragraph{定義域} 分段函數的定義域是其所有子定義域的并集.
這通常在函數定義时已明确给出.
\paragraph{值域} 分段函數的值域是其在各個子定義域上取得的值的集合的并集. 求解過程分為两步:
- 分别求出函數 在其對應定義域 上的值域 .
- 将所有這些局部值域合并, 即求其并集 .
求函數 的值域.
我们分别考察函數在每一個子定義域上的取值范围, 然后将這些范围合并.
-
当 时, . 這是一個單调递增的線性函數. 其在该区間上的值域為 , 即 .
-
当 时, . 這是一個二次函數, 在区間 上递减, 在 上递增. 其在该区間上的值域為 , 即 .
-
当 时, . 這是一個常數函數, 其值域為單点集 .
函數 的总值域是這三個部分值域的并集:
\begin{figure}[htbp]
\end{figure} 圖:函數 的圖像及其值域
因此, 函數的值域為 .
單调性
一個分段函數若要在整個定義域上單调, 必须同时满足两個条件:
- 函數在每個子定義域上均具有相同的單调性 (例如, 均為單调递增).
- 在所有分段点处, 函數的衔接必须保持這种單调趋势. 對于單调递增函數, 這意味着后一段的起始值必须不小于前一段的结束值.
若第二個条件不满足, 即使函數在每個局部区間上都單调, 其整體也非單调函數.
\begin{figure}[htbp]
\end{figure} 圖:一個在各分段区間均递增, 但因在 处發生“向下跳跃”而整體非單调的函數.
已知函數 在 上單调递减, 求实數 的取值范围.
為使函數 在整個定義域 上單调递减, 必须同时满足三個条件.
首先, 函數在第一個子定義域 上必须單调递减. 此段為線性函數, 其單调性由斜率决定.
其次, 函數在第二個子定義域 上必须單调递减. 此段為指數函數, 其單调性由底數决定.
最后, 在分段点 处, 左侧区間的终点值必须不小于右侧区間的起点值, 以保證單调递减趋势的延續.
计算得:
我们将這三個条件联立, 求解其交集:
由于 且 , 這三個区間的公共部分為 .
故实數 的取值范围是 .
應用示例
分段函數是描述現实世界中条件依赖關係的有力工具. 以下示例展示了如何将几何問題與生活中的计价规则转化為分段函數的數學模型.
如圖, 在边长為 4 的正方形 的边上有一动点 , 沿着折線 运动. 设点 运动的路程為 , 的面積為 .
- 求 與 之間的函數關係式.
- 求面積最大时, 的取值范围.
\begin{figure}[htbp]
\end{figure}
(1) 理解問題. 三角形 的底边 长度固定為 4. 因此, 其面積 完全由高决定, 這個高是点 到边 的垂直距离.
点 的运动路径由三条边構成, 其在不同边上运动时, 高 與路程 的關係不同. 這表明 是一個分段函數.
我们分段進行分析.
第一段: 点 在边 上运动. 此时, 從 运动到 . 路程 的取值范围是 . 点 到 的高 等于它從点 向上运动的距离, 即路程 . 故 . 面積 .
第二段: 点 在边 上运动. 此时, 從 运动到 . 路程 從 4 增加到 . 其取值范围是 . 点 在 上运动时, 它到 的高 始终等于正方形的边长 4. 故 . 面積 .
第三段: 点 在边 上运动. 此时, 從 运动到 . 路程 從 8 增加到 . 其取值范围是 . 点 到 的高 等于它與点 的距离. 总路程為 12, 已走路程為 , 剩余路程即為 的长度. 故 . 面積 .
綜合以上三段, 我们得到函數關係式:
(2) 為求面積的最大值, 我们分析函數 在其定義域 上的行為.
-
在 上, 是增函數, 最大值為 .
-
在 上, 是常數函數.
-
在 上, 是减函數, 其值域為 .
\begin{figure}[htbp]
\end{figure} 圖:面積函數 的圖像
通過分析各段的值域并结合圖像, 函數 的最大值為 8. 這個最大值在 时首次达到, 并一直保持到 . 因此, 当面積最大时, 的取值范围是 .
某市空调公共汽车的票价按下列规则制定:
- 乘坐汽车 5 km 以内, 票价 2 元;
- 5 km 以上, 每增加 5 km, 票价增加 1 元 (不足 5 km 的按 5 km 计算).
已知两個相邻的公共汽车站間相距约為 1 km, 如果沿途 (包括起点站和终点站) 设 20 個汽车站, 請根据題意寫出票价與里程之間的函數解析式.
首先, 我们需要确定函數的自變量和因變量. 设乘客乘坐的里程為 (km), 對應的票价為 (元).
接着, 确定自變量 的取值范围. 線路共有 20 個站, 站間距為 1 km, 因此总里程為 km. 乘客乘坐的里程 的范围是 .
然后, 我们根据计价规则, 将定義域 分割成不同的计价区間. 计价规则以 5 km 為一個台階.
第一区間: . 根据规则 (1), 在此里程范围内, 票价固定為 2 元.
第二区間: . 里程超過 5 km, 進入第一個增价区間. 根据规则 (2), 票价在 2 元的基礎上增加 1 元. 票价為 元.
第三区間: . 里程超過 10 km, 進入第二個增价区間. 票价在 3 元的基礎上再增加 1 元. 票价為 元.
第四区間: . 里程超過 15 km, 進入第三個增价区間. 票价在 4 元的基礎上再增加 1 元. 票价為 元.
綜合以上分析, 我们可以寫出票价 關于里程 的分段函數解析式:
這是一個階梯函數.
\begin{figure}[htbp]
\end{figure} 圖:公交票价函數圖像
设函數 . 若 存在最小值, 求实數 的最大值.
此問題的核心是分析函數在不同參數 下的形态, 并确定其是否存在一個全局的最小值. 函數的表达式由線性部分與二次函數部分構成, 其整體行為取决于分段点 的位置. 我们對 的取值進行分類讨論.
情形一: . 此时, 線性部分 的斜率 大于零, 函數在该区間 上單调递增. 然而, 題目要求的是最小值. 让我们重新审视. 当 时, 斜率 . 故 在 上單调递增. 当 时, . 函數无下界, 因此不存在最小值.
情形二: . 此时函數為 . 在区間 上, 函數值為常數 . 在区間 上, 函數 在 处取得最小值 . 綜合来看, 函數 的最小值為 . 故 是一個可能的值.
情形三: . 此时, 線性部分 的斜率 小于零, 函數在该区間 上單调递减.
我们根据分段点 與抛物線顶点 的相對位置, 進一步细分.
子情形 3a: . 函數在 上單调递减, 其值的下确界為 . 在 上, 函數 先递减后递增, 在 处取得最小值 . 要使函數存在全局最小值, 函數必须有下界. 這意味着当 從左侧趋近于 时, 函數值不能趋于一個比全局最小值更小的值. 若 , 则函數在 上的下确界為负, 且无法取到, 故不存在最小值. 因此, 必须满足 , 即 . 结合本情形的假设 , 我们得到 .
子情形 3b: . 函數在 上單调递减. 在 上, 由于 , 函數 是單调递增的. 因此, 函數的圖像在 点处可能存在一個最低点. 函數的下确界為 . 為使最小值存在, 该下确界必须在 处取到, 即 .
整理得 , 即 . 此二次多項式的判别式 . 由于其開口向上, 故 恒為正. 不等式 无解. 因此, 在 的情况下, 函數不存在最小值.
\begin{figure}[htbp]
\end{figure} 圖:不同 值下函數圖像形态示意
綜合所有情形, 函數 存在最小值的条件是 . 因此, 实數 的最大值為 .
设函數 . 若存在实數 , 使得函數 有 3 個零点, 则 的取值范围為\underline{}.
函數 有 3 個零点, 等价于方程 有 3 個不同的实數根. 這在几何上意味着, 存在一条水平直線 , 與函數 的圖像有 3 個不同的交点.
為实現 3 個交点, 函數 的圖像必须存在某种形式的“峰”與“谷”, 即非單调. 我们分析函數 的结構.
在 处, 函數的左值為 . 其右極限為 .
我们對參數 進行分類讨論.
情形一: . 当 时, 在此区間上單调递减. 当 时, . 這是一個顶点在 的開口向上的抛物線, 故在 上單调递增. 函數圖像的整體形态是先下降后上升, 任何水平直線至多與其有两個交点. 故此情形不满足条件.
情形二: . 当 时, 在 上單调递减, 在 上單调递增. 函數在 处取得一個局部最小值 . 当 时, 在 上單调递增.
函數 的整體圖像形态為: 從 下降至 , 再上升至分段点 , 然后在 处發生一個跳跃, 從 開始继續上升至 .
要使水平直線 能與圖像产生 3 個交点, 它必须穿過位于 区間的上升段, 并且同时穿過位于 区間的上升段. 這要求在分段点 处發生一個“向下的跳跃”, 形成一個局部的“峰”與“谷”.
\begin{figure}[htbp]
\end{figure} 圖:当 时, 函數圖像形态與水平線
這個“向下的跳跃”的代數条件是, 函數在分段点左侧的值大于其右極限:
整理得 , 即 .
结合本情形的假设 , 上述不等式等价于 , 即 .
当 时, 我们确实有 . 此时, 只要選取一個介于“谷底”與“峰顶”之間的 值, 即 , 水平直線 就会與函數圖像产生 3 個交点.
反之, 若 , 则 . 函數在 之后是單调不减的, 任何水平直線至多有两個交点.
綜上所述, 使得函數 有 3 個零点存在的条件是 . 故 的取值范围為 .
设 為实數, 函數 .
- 若 , 求 的取值范围;
- 讨論 的單调性;
- 当 时, 讨論 在 上的零点個數.
(1) 根据函數表达式, 我们有 . 条件 即 . 我们根据 的取值對绝對值進行分段讨論.
若 , 不等式為 , 即 , 整理得 , 解得 . 與 求交集, 得 .
若 , 不等式為 , 即 , 整理得 , 解得 或 . 與 求交集, 得 .
若 , 不等式為 , 即 , 整理得 . 该二次不等式的解為 或 . 與 求交集, 得 .
綜上所述, 的取值范围是 .
(2) 函數 的结構可视為複合函數. 令 , 则 . 原函數可表示為關于 的函數 . 這是一個開口向上的二次函數, 對称轴為 . 由于 , 函數 在其定義域 上是严格單调递增的.
内层函數 在区間 上單调递减, 在区間 上單调递增. 根据複合函數單调性法则: 在区間 上, 内层函數递减, 外层函數递增, 故 單调递减. 在区間 上, 内层函數递增, 外层函數递增, 故 單调递增.
(3) 设 . 当 时, 我们需要讨論方程 的根的個數. 我们根据绝對值的零点 和 将函數寫為分段形式.
当 时, . 当 时, . 当 时, .
我们分析函數 的單调性. 在 上, . 由于 , , 函數單调递减. 在 上, . 由于 , , 函數單调递减. 在 上, . 由于 , , 函數單调递增.
綜上, 函數 在 上單调递减, 在 上單调递增. 因此, 在 处取得全局最小值.
我们计算几個關键点的函數值: . . 由于 , . . .
零点的個數取决于最小值 的符号.
若 , 则 , 故 . 此时, 函數的最小值為正, 圖像恒在 轴上方, 故 没有零点.
若 , 则 . 此时, 函數的最小值為零, 圖像與 轴僅在最低点 处相切, 故 有 1 個零点.
若 , 则 , 故 . 此时, 函數的最小值為负. 由于 且 , 函數在 上必有一個零点. 由于 且 , 函數在 上必有一個零点. 故 有 2 個零点.
绝對值函數
{/* label: sec:ch03-s18 */}
在數學的诸多概念中, 绝對值以其形式的簡洁與内涵的深刻而独树一帜. 它不僅是代數运算的基礎, 更為“距离”這一核心几何概念提供了最原初的代數刻画. 對绝對值函數的深入理解, 是掌握不等式恒等變形、分析函數圖像以及领会近代數學中“范數”思想的基石.
绝對值的定義與核心性質
我们首先從其代數定義出發.
实數 的绝對值, 记作 , 定義為一個分段函數:
此定義的直接几何诠释是: 表示实數 在數轴上對應的点到原点的距离. 類似地, 则表示數 與數 在數轴上對應点之間的距离. 這一几何观点是化解众多複杂绝對值問題的直观来源.
由定義可直接導出绝對值的几個根本性質.
對于任意实數 , 以下性質恒成立:
- 非负性: .
- 正定性: .
- 積性: .
- 三角不等式: . 等号成立的充要条件是 .
此不等式的證明是展示分類讨論思想的绝佳范例, 其依据完全是绝對值的定義.
若 中至少一個為零, 不等式显然成立. 故不妨设 均非零.
情形一: . 此时 . 于是 , , . 不等式化為 , 等号成立.
情形二: . 此时 . 于是 , , . 不等式化為 , 等号成立.
情形三: 异号. 不妨设 . 若 , 则 . 不等式為 . 由于 , , 故 , 不等式严格成立. 若 , 则 . 不等式為 . 這等价于 , 即 , 由于 , 此式成立.
綜合所有情形, 恒成立. 等号僅在 同号或至少其一為零时取得, 這等价于 .
\begin{figure}[htbp]
\end{figure} 圖:三角不等式的數轴诠释
绝對值函數圖像與性質
函數 是最基本的分段函數之一, 其圖像與性質是分析更複杂绝對值函數的基礎.
\begin{figure}[htbp]
\end{figure} 圖:函數 的圖像
含绝對值的方程與不等式
求解含绝對值的方程與不等式, 其根本思想是**“化去绝對值”. 实現這一目標的核心方法論是零点分段讨論法**, 其逻辑根源在于绝對值的定義本身.
该方法的步骤是:
- 找出所有绝對值符号内部表达式的零点.
- 這些零点将整個实數轴划分為若干個開区間.
- 在每個開区間内, 所有绝對值符号内部表达式的符号是恒定的, 從而可以去掉绝對值符号, 将原方程(或不等式)转化為一個不含绝對值的常规問題.
- 分别求解在各個区間上的問題, 并将解集與该区間的范围求交集, 得到该区間内的有效解.
- 将所有区間上的有效解合并, 得到原問題的完整解集.
求解不等式 .
我们首先确定讨論的零点. 令绝對值内部的表达式 , 解得 . 此点将实數轴划分為两個区間: 和 .
情形一: . 在此区間内, , 故 . 原不等式转化為 , 解得 . 将此解與本情形的约束 求交集, 得到该区間的解為 .
情形二: . 在此区間内, , 故 . 原不等式转化為 , 解得 , 即 . 将此解與本情形的约束 求交集, 得到该区間的解為 .
最后, 我们将两個情形下得到的解集合并:
故原不等式的解集為 .
對于特定形式的绝對值問題, 也存在一些更簡洁的等价转化.
- .
- .
- .
已知函數 在 上是增函數, 函數 在 上的最大值 與最小值 的差為 . 求 的值.
此問題包含两個独立的条件, 我们分别對其進行分析.
首先, 我们考察函數 的單调性. 其導函數為
由于 在区間 上是增函數, 故 在该区間上恒成立. 這等价于 對所有 成立. 函數 在 上單调递增, 其上界為 . 因此, 參數 必须满足 .
接下来, 我们分析函數 在区間 上的極值. 函數 的行為取决于其绝對值内部表达式 的符号. 其零点為 . 由于 , 我们有 . 函數 在 处取得其最小值, 因為当 时 递减, 当 时 递增.
我们需要根据 與区間 的相對位置進行讨論.
情形一: , 即 . 在此情形下, 临界点 位于考察区間的右侧或恰在右端点. 因此, 函數 在整個区間 上是單调递减的. 其最大值 在 处取得, 最小值為 在 处取得.
两者之差為 . 這與題设条件 矛盾. 故此情形不成立.
情形二: , 即 . 在此情形下, 临界点 位于考察区間的内部. 函數 在 上單调递减, 在 上單调递增. 其最小值 在 处取得:
其最大值 必然在区間的两個端点 或 处取得.
我们比较 與 . (因 ). (因 ). 考察 . 由于 , , 故 . 因此, 最大值為 .
根据題设条件 , 我们建立方程:
解得 .
最后, 我们檢验此解是否满足本情形的约束条件 . 由于 , 该解是有效的.
綜上所述, 的值為 .
距离和的最小值
绝對值函數的组合可以構造出许多在优化問題中具有重要意義的模型. 其中最經典的是求解动点到若干定点距离之和的最小值問題.
求函數 的最小值.
從几何的观点看, 表示數轴上动点 到两個定点 和 的距离之和. 直观上, 当动点 位于两個定点之間时, 其距离之和恰好等于两定点間的距离, 此时應取得最小值. 我们通過代數方法严格證明這一猜想.
我们以两個零点 和 為分界, 對 的取值進行分段讨論.
情形一: . 此时 . . 這是一個單调递减的函數.
情形二: . 此时 . . 函數在此区間上為常數.
情形三: . 此时 . . 這是一個單调递增的函數.
綜合三段的分析, 函數 的圖像先下降, 然后在区間 上保持為常數 , 之后再上升. 因此, 函數的最小值為 , 在闭区間 上的任意一点均可取得.
\begin{figure}[htbp]
\end{figure} 圖:函數 的圖像
此例可以推廣至更一般的情形. 對于函數 , 其几何意義是动点 到 個定点 的距离之和. 可以證明, 该函數的最小值在诸 的中位數处取得. 這是一個在统计學和运筹學中具有重要應用的深刻结論.
两点距离模型:平底锅與破锅圖像
函數 的圖像形态具有一般性. 我们可以係统地考察两類與數轴上两点距离相關的函數模型.
\paragraph{距离和模型} 考虑函數 , 其中 . 此函數可视為數轴上动点 到两定点 的距离之和. 通過零点分段讨論, 可得其分段表达式:
函數圖像由两条射線和一個水平線段構成, 形似平底锅. 其最小值為 , 在区間 上取得.
\begin{figure}[htbp]
\end{figure} 圖:函數 的圖像 (平底锅圖像)
\paragraph{距离差模型} 與距离和模型對應, 我们考察距离差模型 , 其中 . 其分段表达式為:
函數圖像由两条水平射線和一条斜率為 2 的線段構成. 其圖像形态常被称為“破锅”圖像. 函數的值域為 .
\begin{figure}[htbp]
\end{figure} 圖:函數 的圖像 (破锅圖像)
作為范數的绝對值
绝對值的概念可以被抽象和推廣, 從而引出近代數學中的一個核心概念——范數. 在一個向量空間中, 范數是為每個向量赋予一個“长度”或“大小”的函數. 绝對值 正是定義在一維实向量空間 上的范數. 我们之前列出的绝對值的基本性質, 正是范數定義的三個公理:
- 正定性: , 且 .
- 齐次性: (這推廣了積性).
- 三角不等式: .
從這個观点看, 绝對值不再僅僅是一個初等函數, 而是廣阔的泛函分析领域的一個最原初、最具體的实例. 例如, 在二維平面 中, 一個向量 的欧几里得范數(或称模长)定義為 , 它同样满足上述三条公理. 這正是绝對值概念在更高維度上的自然推廣.
函數解析式的求解
{/* label: sec:ch03-s19 */}
探求一個未知函數的解析式, 本質上是一场逻辑推理的智力游戏. 我们所掌握的線索, 可能是函數满足的特定代數關係 (函數方程), 可能是其圖像經過的若干点, 抑或是其具備的某种内在性質 (如奇偶性、周期性). 解决這類問題的核心, 在于根据已知信息的结構特征, 選取最恰当的數學工具, 将這些線索转化為關于函數表达式的代數方程, 從而揭示其“庐山真面目”. 不同的線索结構, 對應着不同的求解策略.
待定係數法(当函數類型已知时)
若題设已經明示或强烈暗示了函數的類型 (例如, 一次函數、二次函數、指數函數等), 那么函數解析式的“骨架”便已确定, 未知的僅僅是其中的若干個係數. 我们的任务, 便是利用给定的条件構造一個關于這些待定係數的方程组, 進而解出其值.
已知二次函數 满足 , 且其圖像的對称轴為直線 , 顶点在 轴下方, 與 轴两交点間的距离為 . 求 的解析式.
此問題提供了關于一個二次函數的若干几何信息, 我们的目標是将其逐一翻译為代數约束.
注意到, 顶点坐標與對称轴是二次函數性質的核心. 對称轴為 這一信息, 强烈建议我们采用函數的顶点式作為求解的出發点, 因為它能最直接地體現這一對称性.
不妨设 , 其中 .
接下来, 我们利用“與 轴两交点間的距离為 ”這一条件. 由于抛物線的對称性, 两個交点必然關于對称轴 對称. 设两交点的横坐標為 , 则 且 . 由此可解得, 两根分别為 和 .
這為我们提供了另一种设定函數形式的可能性——两根式:
此形式同样内蕴了對称轴為 的信息.
現在, 我们利用最后一個条件, 函數圖像經過点 , 将其代入两根式中以确定係數 :
解得 .
将 的值代回, 我们便得到了函數的完整解析式:
最后, 我们回顾并檢验所有条件. 顶点坐標為 , 位于 轴下方, 與題设吻合.
對于二次函數, 其一般式、顶点式與两根式分别适用于不同的条件. 灵活地根据已知信息的结構, 選取最能簡化计算的函數形式, 是待定係數法中的核心策略.
已知 為二次函數, 且 , . 求 .
由于函數類型已知為二次函數, 我们可以设其一般形式為 .
由条件 , 可直接确定常數項 . 故 .
接下来, 我们处理函數方程 . 我们首先计算 :
然后構造差式:
根据題设, 此差式恒等于 .
這是一個關于 的恒等式. 根据多項式恒等定理, 两边同次項的係數必须相等. 比较 的一次項係數: , 解得 . 比较常數項: . 将 代入, 得 , 解得 .
至此, 所有待定係數均已确定. 故 .
利用函數性質法(奇偶性、周期性與對称性)
当一個函數的具體類型未知, 但其具備某些确定的全局性質 (如奇偶性、周期性或更一般的對称性) 时, 這些性質本身就構成了强大的约束条件. 它们使得函數在定義域某一部分的行為, 能够决定其在另一部分的形态. 求解解析式的過程, 便是利用這些性質建立不同定義域子集上函數值之間的代數联係.
利用奇偶性
若一個奇函數或偶函數的解析式在部分定義域 (通常是 的部分) 上已知, 我们可以直接利用其對称性定義, 推導出其在對称的另一部分定義域上的解析式.
其核心逻辑是: 欲求 时的 , 我们構造 . 由于此时 , 的值可由已知解析式求出. 随后, 根据 (偶函數) 或 (奇函數) 的關係, 即可解出 .
设函數 為定義在 上的奇函數, 且当 时, . 求当 时 的解析式.
我们的目標是确定当 时 的表达式.
设任意一個 . 根据奇函數的定義, 我们有 .
由于 , 其相反數 必然大于 . 因此, 属于函數解析式已知的区間 . 我们可以将 代入已知的表达式中, 以计算 的值.
将此结果代回奇函數的定義關係式中:
此表达式對所有 均成立.
我们还需考虑 的情况. 對于奇函數, 若 有定義, 则必有 . 在已知的 的表达式中, , 與奇函數的性質吻合.
綜上, 函數 的完整解析式為:
利用周期性
若一個函數 是周期為 的周期函數, 那么其在任何一個长度為 的区間 (例如 ) 上的表达式, 就决定了它在整個定義域上的行為.
其核心逻辑是: 對于任意一個自變量 , 我们总能通過加上或减去整數倍的周期 , 将其“平移”到已知的基准区間内.
求解 的過程, 便是寻找恰当的整數 , 使得 落入已知解析式的定義域.
已知定義在 上的函數 满足 , 且当 时, . 求当 时 的解析式.
条件 表明 是一個周期為 2 的周期函數.
我们的目標是求当 时 的表达式. 设任意一個 .
為了利用已知的在 上的解析式, 我们需要對自變量 進行平移, 使其落入区間 . 考虑 . 当 时, .
根据周期性, 我们有 .
由于 属于函數解析式已知的区間, 我们可以将 代入表达式 中 (此处 ).
因此, 当 时,
換元法與配凑法(处理複合函數)
当已知条件涉及複合函數, 例如给出 的表达式而要求解 时, 我们的核心目標是“剥离”内层函數 的影响, 还原出外层函數 對其自變量的原始作用. 实現這一目標的標准方法是換元法.
其逻辑步骤是: 首先, 将内层函數设為一個新變量, 例如 . 接着, 确定新變量 的取值范围, 這将構成最终函數 的定義域. 然后, 尝试将原方程右侧的表达式完全用新變量 来表示. 這通常通過從 中反解出 并代入来实現. 最后, 将得到的 的表达式中的 替換回 , 便得到所求的解析式.
已知函數 , 求 的解析式.
為探求 的表达式, 我们的目標是分离出其自變量. 一個自然的策略是令中間變量 .
此举引入了一個新的變量 , 我们必须确定其取值范围, 這将成為新函數 的定義域. 由于 , 故 .
接下来, 我们需要将原表达式右侧的 全部用新變量 来表示. 從 中, 我们反解出 . 進而, .
将這些關係代入已知的函數方程中:
展開并化簡右侧表达式:
我们已經得到了函數 在新變量 下的表达式. 按照惯例, 我们将自變量換回 , 并注明其定義域.
故 , 其定義域為 .
有时, 直接從 中反解 是困难的或不雅的. 此时, 我们應转換视角, 考察已知表达式的右侧, 能否直接“配凑”成關于中間變量 的代數组合. 這种更具技巧性的方法称為配凑法.
已知 , 求 .
令 . 直接從此式中反解 将導致複杂的根式, 并非良策.
我们转而分析表达式的右侧 . 我们熟知立方和公式, 并尝试将其與 建立联係. 利用恒等式 , 我们有:
此式清晰地表明, 函數值的表达式可以完全由中間變量 来表示.
将 代入, 我们得到 .
最后, 确定定義域. 由于 的值域為 , 故函數 的定義域為 .
因此, , 定義域為 .
若 , 则 .
此問題包含两個步骤. 首先, 我们需要從已知關係式中求出函數 的解析式. 其次, 将 代入所得的解析式中.
令 . 由于 , 新變量 的取值范围是 . 我们的目標是将表达式 用 来表示. 利用三角函數的二倍角公式, 我们有 .
将此關係代入原方程:
用 替換 , 我们得到:
因此, 函數 的解析式為 , 其定義域為 .
接下来, 我们计算 . 這意味着将 替換為 代入 的表达式中.
為了與選項匹配, 我们可以再次使用二倍角公式的變體 .
故選 D.
已知 , 则 的解析式為 .
我们采用換元法. 令 .
首先, 我们需要從這個關係式中反解出 , 以便用 来表示原方程的右侧.
接下来, 我们将 代入表达式 中.
将這两個结果相除:
因此, 我们得到 .
将自變量換回 , 得到 . 故選 B.
方程组法(利用對称性與對合關係)
当未知函數 出現在一個包含其自身與其他相關項 (如 ) 的方程中时, 我们可以通過對自變量進行巧妙的代換, 構造出另一個關于這些項的方程, 從而形成一個方程组. 此时, 我们可以将 等视為独立的未知量, 通過解方程组的方法求得其表达式.
這种方法的有效性, 根植于代換操作的對合性質, 即连續施行两次代換会使變量回归其自身. 常见的對合代換包括 和 .
设函數 满足 , 求 的解析式.
此方程的精妙之处在于, 變量 與 之間存在對合關係. 這一结構启發我们将原方程中的自變量 全部替換為 , 以期得到一個新方程.
将 替換為 , 原方程變為:
化簡得:
現在, 我们将原方程與這個新導出的方程联立, 形成一個關于“變量” 和 的二元一次方程组:
為消去 , 我们将方程 (1) 的两边乘以 2, 然后减去方程 (2):
解得 .
已知 的定義域為 , 满足 . 求函數 .
此方程涉及 與 , 且代換 具有對合性.
我们将原方程记為 (1):
在方程 (1) 中, 将所有 替換為 , 得到新方程 (2):
我们将 和 视為未知量, 联立方程组:
為消去 , 将 (1) 式乘以 3, (2) 式乘以 5:
两式相减, 得到 .
故 .
已知函數 對定義域 内的任意实數 满足 , 则 .
此方程涉及 與 . 我们考察代換 . 若令 , 则 . 此代換同样具有對合性.
原方程為:
将 替換為 :
化簡得:
联立方程组:
為消去 , 将 (2) 式乘以 2, 再與 (1) 式相加:
解得 .
赋值法與递推(探索函數方程)
對于更為抽象的函數方程, 我们往往无法預知其函數類型. 此时, 赋值法成為一种强大的探索工具. 通過為方程中的變量赋予一些特殊的、能使方程结構簡化的值 (如 等), 我们可以逐步揭示函數的某些關键性質或递推關係, 從而為最终求解其解析式铺平道路.
已知函數 對任意实數 均满足 , 且 . 求 的解析式.
這是一個典型的柯西型函數方程. 我们通過一係列的特殊赋值来探寻其结構.
令 , 得 , 故 .
令 , 得 . 由于 , 我们得到 . 這揭示了函數奇偶分解的線索.
我们尝试寻找一個递推關係. 令 , 得 . 代入 , 我们得到一個一階差分方程:
此關係暗示函數可能是一個多項式. 让我们考察其在整數点上的取值. . . . .
观察到 對自然數 成立. 我们大胆猜测 .
現在, 我们来验證這個猜测. 将 代入原方程的左侧: . 代入原方程的右侧: .
左右两侧完全相等. 且 也满足.
因此, 函數的解析式為 .
通過赋值法, 我们首先發現了函數在整數点上的规律, 從而形成了一個關于其解析式的合理猜想. 随后通過严格的代數验證, 将此猜想推廣至整個实數域. 這种“由特殊到一般, 從离散到连續”的思維路径, 是解决函數方程問題的常用策略.
已知函數 的定義域為 , 且 , . 請寫出一個满足条件的函數 .
這是一個著名的达朗贝尔函數方程. 我们通過特殊赋值来探究其性質.
令 , 得 . 化簡得 , 故 是一個偶函數.
令 , 得 . 代入 , 我们得到 .
這個關係式與三角函數中的二倍角公式 具有惊人的一致性.
我们猜测 可能是一個解. 代入 的条件: , 满足.
現在验證其是否满足原方程. 左侧: . 利用和差化積公式, 左侧 . 右侧: .
左右两侧恒等. 因此, 對任意实數 都是一個解.
題目要求寫出一個满足条件的函數, 我们可以取最簡單的非平凡情况, 例如 .
故一個满足条件的函數是 .
已知函數 满足 , 且 . 求 的解析式.
此方程的结構较為特殊, 右侧不僅有 , 还显式地含有 . 我们的目標是通過巧妙的赋值, 消去其中一個自變量, 或将方程转化為更簡洁的形式.
一個有效的策略是令 等于一個特定的常數, 以便利用已知条件 .
令 , 则 . 将此關係代入原方程:
代入 :
由此, 我们可以直接解出 的表达式:
這是一個非常直接的解法, 其關键在于识别出可以通過令 為常數来直接利用已知条件.
函數值域的求解
{/* label: sec:ch03-s20 */}
探求函數的值域, 即确定函數所有可能的输出值構成的集合, 是分析函數行為的核心任务之一. 它不僅揭示了函數纵向的运动范围, 更與方程解的存在性、不等式的成立范围等問題紧密相连. 若将定義域的求解视為從法则出發探究其“合法输入”的過程, 那么值域的求解便是探究其“必然输出”的逆向思維過程.
求解值域并无万能的法则, 而是需要根据函數表达式的代數结構與几何特征, 灵活地選取恰当的分析工具. 其根本思想, 是在代數變換的严谨性與几何直观的启發性之間建立联係.
观察法與基本函數
對于基本初等函數, 其值域是我们必须熟知的先验知识, 它们是構造更複杂函數值域的基石.
- 線性函數 : 值域為 .
- 二次函數 : 值域為 (当 ) 或 (当 ).
- 反比例函數 : 值域為 .
- 指數函數 : 值域為 .
- 對數函數 : 值域為 .
- 正弦與余弦函數 : 值域為 .
分析法
對于可導函數, 其值域的边界必然在区間的端点或導數為零的临界点处取得. 這一深刻的联係, 使得我们可以借助導數這一强大的分析工具, 係统性地探求函數的值域. 其理論基石在于, 连續函數在一個闭区間上的最大值與最小值决定了其值域.
此方法的逻辑步骤是: 首先, 求出函數的導數 , 并解出所有临界点 (即 的根). 其次, 比较函數在所有临界点以及定義域端点处的函數值. 最后, 綜合這些值, 确定函數的最大值與最小值, 從而得到其值域.
求函數 在区間 上的值域.
我们首先考察函數在指定区間内的變化趋势. 其導函數為:
在区間 内, 令 , 解得 . 此為区間内唯一的临界点.
現在, 我们只需比较函數在区間端点 與临界点 处的函數值:
通過比较可知, 函數在区間 上的最大值為 , 最小值為 . 因此, 函數的值域為 .
代數法
代數方法的核心在于通過精巧的恒等變形, 将原函數转化為一种我们熟知其值域的结構, 或建立一個關于因變量 的存在性约束.
換元法與配方法
当函數可以视為某個中間變量的簡單函數 (特别是二次函數) 时, 換元法便成為一种有力的工具. 其關键在于, 准确地确定中間變量的取值范围, 這将成為外层函數的新定義域.
求函數 的值域.
此函數的结構提示我们, 它可以被看作一個關于 的二次函數.
我们進行換元, 令 . 首先必须确定新變量 的取值范围. 由于正弦函數的值域為 , 故 .
原問題等价于求解二次函數 在定義域 上的值域.
我们對 進行配方, 以揭示其顶点位置與單调性:
這是一個開口向上, 對称轴為 的抛物線.
由于對称轴 恰好是新定義域 的左端点, 函數 在此定義域上是严格單调递增的. 因此, 其最小值在 处取得, 最大值在 处取得.
故原函數 的值域為 .
反函數法 (方程法)
此方法提供了一個优雅的视角转換. 其深刻之处在于利用了“原函數的值域即為其反函數的定義域”這一對偶性質. 即使原函數不存在反函數 (非單射), 這一思想仍然有效, 故更普适地称為方程法.
其核心思想是, 将 视為一個關于 的方程. 函數的值域, 正是所有使得這個關于 的方程有实數解的 值構成的集合.
求函數 的值域.
设 . 我们将此式看作一個關于 的方程, 并尝试從中反解 .
整理方程, 消去分母:
将所有項移至一边, 得到一個關于 的標准一元二次方程形式:
函數的值域, 就是使得這個關于 的方程有实數解的所有 的集合.
我们對係數 進行分類讨論.
情形一: , 即 . 此时方程退化為 , 解得 . 這表明 是一個合法的实數解, 故 是值域的一部分.
情形二: , 即 . 此时方程是一個標准的一元二次方程. 它有实數解的充要条件是其判别式 .
利用平方差公式分解:
解此不等式, 得到 .
綜合两种情形, 并考虑到 , 我们得到 的取值范围是 .
合并這些集合, 最终得到函數的值域為 .
不等式法
在处理特定结構的函數时, 尤其是分式函數或根式函數, 我们可以利用基本不等式 (如均值不等式) 来探求其值的边界.
求函數 的值域.
此函數的定義域為 . 我们需要分情况讨論.
情形一: . 此时, 與 均為正數, 這提示我们可以應用算术-几何平均值不等式.
等号成立的条件是 , 即 . 由于 , 解得 . 因此, 当 时, 函數的值域為 .
情形二: . 此时, 與 均為负數. 我们可以對它们的相反數應用均值不等式. 令 , 其中 .
由于 , 我们已知 . 因此, . 等号在 , 即 时取得. 因此, 当 时, 函數的值域為 .
綜合两种情形, 函數 的完整值域為 .
數形结合法
函數的值域, 在几何上直观地表現為函數圖像在 轴上的投影. 绘制出函數的草圖, 并观察其纵向的分布范围, 是求解值域問題中最直观、最富启發性的方法. 這种方法常常與其他代數方法结合使用, 以几何的直观引導代數的计算, 以代數的严谨验證几何的猜想.
\begin{figure}[htbp]
\end{figure} 圖:函數 在定義域 上的值域
還沒有留言。