📖 一块航空仪表盘，就是一面「函数墙」
座舱里每一块仪表背后都站着一台函数机器：空速表把皮托管感受到的总压与静压之差，按标定曲线换算成指示空速；排气温度表把热电偶的电动势按分度表换算成温度；燃油流量计把涡轮转速换算成每小时流量。这些「物理量 → 读数」的换算关系，有的是解析公式，有的是查表，有的只是一段固化在计算机里的标定程序——形式千差万别，本质完全相同：给定输入，唯一确定输出。飞行员每一次读表，都是在完成一次「求函数值」。
🎯 本章学习目标
- 说清「函数」的本质：不是公式，而是一种对应规则。
- 理解定义域、值域这两个概念，以及它们为什么重要。
- 会用图像读出一个函数的行为，理解「图像」与「规则」的关系。
- 理解反函数：把变化关系「倒过来看」。
- 认识几类基本函数（幂、指数、对数、三角），为后续所有章节打底。
- 会把复合函数「剥洋葱」式拆解，并理解每一层对定义域的约束。
1.1变化关系，无处不在
先别急着背定义。看看你身边，几乎每件事都在「变化」，而且大多是一个量跟着另一个量变：
- 开车时，走过的路程随着时间变。
- 买东西时，总价随着数量变（单价固定的话）。
- 烧水时，水温随着加热时间变。
- 存钱时，本息总额随着年数变。
这些例子里都有一个共同的结构：有一个「主动变」的量，还有一个「跟着变」的量。我们把「主动变」的叫做自变量，「跟着变」的叫做因变量——因为它的取值「因」自变量而定。
数学最大的本事，就是把这种「跟着变」的关系，用一套精确的语言描述出来，然后就能预测、分析、求最优。这套语言的核心，就是本章的主角——函数。
从「描述变化」到「量化变化」
把「一个量跟着另一个量变」这句话拆开，里面有三个要素：谁在主动变（自变量）、谁跟着变（因变量）、按什么方式跟（对应规则）。前两个是角色，最后一个是数学真正要抓住的东西——规则。在函数概念出现之前，数学研究的基本对象是静止的数与图形；17 世纪笛卡尔（Descartes）引入变量的思想之后，数学才第一次有能力精确地讨论「运动」与「变化」——微积分正是在这套变量语言的地基上盖起来的高楼。
还要注意：「主动」与「跟着」是相对的，取决于你先固定谁。把时间当自变量，路程就是因变量，s = f(t)；但如果你问的是「飞完这段航线要多长时间」，就变成 t = g(s)，角色对调了。工程里这种视角切换天天发生：给定推力手柄位置求输出功率是一台函数；反过来，要达到指定功率反查手柄该放多少，就是另一台函数——这正是第 1.5 节「反函数」要处理的事。
另外区分两个容易混淆的角色：常量与参数。常量在整个问题里纹丝不动（如圆周率 π）；参数在具体问题里也是定值，但换个场景可以调整——比如机翼的弦长，对某一架飞机是常数，但换个机型就换了数字。工程手册里大量公式后面都跟着「适用于××范围」，那其实是在交代参数的适用条件。看公式时先分清「变量是谁、参数是谁、常数是谁」，是使用任何工程公式的第一动作。
核心思想 函数不是一串孤立的数字，它描述的是「关系」——给定一个输入，输出就被唯一确定。理解了「关系」，就理解了函数的一半。
1.2函数是什么：一台「规则机器」
想象一台机器：左边有一个口子投入原料，右边吐出一个成品。你投什么进去，出来的东西就由机器内部的「规则」决定。函数就是这台机器。
用符号写，就是：
y = f(x)
读作「y 等于 f 在 x 处的值」。这里的 x 是输入（自变量），y 是输出（因变量），f 是那条规则。注意三个字母的分工：
| 符号 | 是什么 | 类比 |
|---|---|---|
| x | 自变量（输入） | 你投入的原料 |
| f | 对应规则 | 机器内部的加工流程 |
| f(x) 或 y | 因变量（输出） | 吐出的成品 |
这里有一个极其关键、绝对不能含糊的要求：
函数的「唯一性」要求 对每一个输入 x，函数必须给出唯一一个输出 y。一个 x 不能同时对应两个 y。这就像一台合格的机器，同一个原料进去，不能一会儿吐苹果、一会儿吐梨。反过来说，不同的 x 可以对应同一个 y——比如 f(x)=x² 里，x=2 和 x=−2 都输出 4，这完全没问题。
深化：函数是「映射」，不是「公式」
一提到函数，多数人脑海里跳出来的是一个公式，比如 f(x) = x² + 1。但要看清：公式只是函数的一种写法，不是函数本身。更准确地说，函数是从定义域到实数集的一个映射（mapping）：对允许的每一个 x，按某种确定的规则，指定唯一一个 y 与它对应——这个规则可以用公式、用表格、用图像、甚至用一段查表程序来表达，形式不限，只要「给定输入就唯一确定输出」即可。
看三种「没有公式」的函数，个个都货真价实：
- 表格函数：传感器出厂时随附的标定表——输入压力每一档，对应一个输出电压。两列数字之间靠「查表」完成对应，和公式一样精确、一样合法。
- 分段函数：阶梯电价、行李托运收费——不同区间套用不同的式子，合在一起仍然是一条完整的规则。
- 图像函数：风洞试验测得的升力系数随攻角变化曲线——试验点连成的曲线本身，就是「输入攻角、输出系数」的规则。
举个分段函数的完整例子，并且马上动手算一算：
📐 例题 1 分段函数：一件行李的运费
某航班对托运行李按重量 x（千克，0 < x ≤ 60）收费：20 kg 及以内免费；超过 20 kg 的部分每千克收 12 元。写出收费 f(x) 的分段表达式，并求 f(15)、f(20)、f(25)、f(30)、f(60)。
思路 收费规则天然分段：先判断落在哪一段，再用该段的式子计算。关键动作有两个——「按段写式子」和「确认端点 20 归属哪一段」。
解 按规则分段：
f(x) = 0（0 < x ≤ 20）； f(x) = 12(x − 20)（20 < x ≤ 60）
逐点求值：f(15)：15 落在第一段，f(15) = 0。f(20)：20 也落在第一段（端点「及以内」），f(20) = 0。f(25)：25 落在第二段，f(25) = 12 × (25 − 20) = 60（元）。f(30) = 12 × (30 − 20) = 120（元）。f(60) = 12 × (60 − 20) = 480（元，顶格收费）。
答：f(15) = 0，f(20) = 0，f(25) = 60 元，f(30) = 120 元，f(60) = 480 元。 ⚠ 易错点：①分段函数必须逐字确认区间端点的归属——本题若写成「x ≥ 20 收 12(x−20)」，则 f(20) = 0 恰好仍等于 0，两种写法在这个点上「撞不出错」，但若起步价不为 0，两种归属就会给出不同结果，届时差之毫厘、谬以千里；②「超 20 kg 的部分」是 (x − 20) 千克，不是 x 千克——审题时把「超过部分」三个字圈出来。
这个例子还藏着一条伏笔：第一段输出恒为 0，第二段输出从 0 起步——两段在 x = 20 处「接上了」（这叫分段点的衔接，第 4 章连续性会正式讨论）。如果第二段加一个起步价，曲线在 20 处就会「跳一下」，那正是 1.4 节图像上的「断点」。
📖 画不出来的函数：狄利克雷的怪例
有没有「处处有定义、却根本画不出图像」的函数？1837 年前后，德国数学家狄利克雷（Dirichlet）给出一个怪东西：
D(x) = 1（x 是有理数）； D(x) = 0（x 是无理数）
它对每个实数都给出唯一输出，完全符合函数定义；但任何一段无论多小的区间里，它都在 0 和 1 之间上下横跳无穷多次，图像没法画——铅笔还没落下就已经密成一团墨。这个怪例逼迫数学家承认：函数的本质是「对应规则」，公式和图像只是它的外衣。它也成了 19 世纪数学分析走向严格化的导火索之一。
辨析：f(x) 不是 f 乘 x 记号 f(x) 里，f 是规则、括号是「投入」动作，f(x) 是「把 x 投进 f 之后得到的那个值」。所以 f(3) 要读作「f 在 3 处的值」，绝不是「f 乘 3」。同样，f 与 f(x) 也不一样：f 指整台机器，f(x) 指机器吐出的一个成品。口语里常混着说，但落笔推导时必须分清——因为后面「f 的性质」（如单调性）说的是机器整体，「f(x) 的值」说的是单个输出。
工程视角再看一眼：航电系统里每个传感器的标定关系（物理量 → 电压）都固化成一段查表程序或拟合公式，飞控计算机每秒成百上千次地「调用函数」完成解算——映射观不是数学家的洁癖，而是工程的日常：函数就是「输入到输出的确定性变换」，至于是公式还是查表，只是实现方式不同。
📖 名词溯源：「函数」这个词从哪来？ 「函数」的英文 function 来自拉丁语 functio，本意是「执行、履行、运作」。而中文「函数」里，「函」是「包含、容纳」的意思——「函数」即「含变量的数」。最先把 function 作为数学术语使用的是德国数学家莱布尼茨（17 世纪）。不过我们今天用的「输入—输出」这个直觉，要等到 18 世纪欧拉、以及 19 世纪集合论之后才彻底定型。所以你会看到：数学概念的名字，往往是先有朴素的直觉，再慢慢被精确定义——这正是我们这一章要走的路径。
🧠 一句话记忆 函数 = 规则 + 唯一输出。记 f(x) 时，心里默念「投入 x，按规则 f 加工，吐出唯一结果」。
1.3定义域与值域：机器的「入口」和「出口」
一台机器不是随便什么都能投进去的。比如 f(x) = √x（开平方），你投 −4 进去，机器就「罢工」了——因为实数范围内没有哪个数的平方是负数。这引出了第一个重要概念：
定义域：自变量 x 所有允许取的值的集合，记作 D。它是机器的「入口范围」。
值域：因变量 y 所有可能取到的值的集合。它是机器的「出口范围」——即所有输出组成的集合。
来看 f(x) = √x：
- 定义域：x ≥ 0（因为负数不能开平方）。
- 值域：y ≥ 0（因为平方根永远是 ≥ 0）。
求定义域，本质是在问「什么值投进去机器会正常运转？」。有两个最常见的「雷区」要记住：
| 情形 | 限制 | 例子 |
|---|---|---|
| 分母 | 不能为 0 | 1/x：x ≠ 0 |
| 偶次根号（√、⁴√…） | 被开方数 ≥ 0 | √x：x ≥ 0 |
| 对数 logax | 真数 > 0 | ln x：x > 0 |
为什么要纠结定义域？因为定义域直接决定了这个函数「管不管得了」某个问题。同样是「路程 = 速度 × 时间」，如果讨论的是「一个人从出生到现在走了多少路」，时间就不能取负数——这是现实对定义域的约束。数学里的许多错误，都源于「没先看清楚定义域就动手」。
定义域求法：分项立条件，再取交集
上表的「三大雷区」是第一件工具；第二件工具是交集思想。一个函数往往由好几个「零件」拼成（根号套着分式、对数套着根号……），求定义域的固定流程是：第一步，把函数拆成零件；第二步，给每个零件单独立一条限制；第三步，让所有限制同时成立——即取交集。这好比串联的管道：水要一路通到出口，必须每一节都不堵，任何一节堵死，整条管道就不通。
还有一处细节要单独强调：根号出现在分母上时（如 1/√u），条件从「u ≥ 0」收紧为「u > 0」——因为 u = 0 会让分母归零。同理，对数出现在分母上时，除了真数为正，还要真数不等于 1（否则 ln 1 = 0 又把分母变成 0）。每一条限制都要顺着「零件的实际位置」校准松紧。
📐 例题 2 复合函数的定义域：分项、交集、端点逐个过
求函数 f(x) = ln(x² − 1) + 1/√(3 − x) 的定义域，并用具体数值检验结果。
思路 两个零件：对数 ln(x² − 1)、分式 1/√(3 − x)。分别立条件，再取交集。注意第二件的根号在分母上，条件是「严格大于 0」。
解 第一条（对数）：x² − 1 > 0，即 x < −1 或 x > 1。第二条（分母上的开方）：3 − x > 0，即 x < 3。两条同时成立：
D = (−∞, −1) ∪ (1, 3)
检验：x = 2 时 ln(2²−1) = ln 3、1/√(3−2) = 1，两项都合法 ✓；x = 0 时 ln(0−1) = ln(−1) 不存在 ✗；x = 3 时分母 √0 = 0 ✗；x = −2 时 ln(3)、1/√5 均合法 ✓；x = −1 时 ln 0 ✗。每个被排除的点都能指出是哪条条件卡住了它。
答：D = (−∞, −1) ∪ (1, 3)。 ⚠ 易错点：①第二件写成 3 − x ≥ 0，把 x = 3 误收进来（分母为零）；②把两个条件当成「或者」关系相并，误得 D = (−∞, 3)——多条件之间永远是「并且」，要取交集；③解 x² − 1 > 0 时误写 −1 < x < 1，那是解 x² − 1 < 0 的答案，开口向上取「两边」才是大于号。
值域怎么求：三件常用兵器
值域没有万能流程，但有三种常用思路。观察法：利用显然的不等式，如 x² ≥ 0、ex > 0。配方法：把二次式配成「完全平方 + 常数」，最低点一目了然。反解法：把 x 用 y 反解出来，问「y 取什么值时 x 才解得出来」，解得的 y 范围就是值域——这个方法同时是第 1.5 节反函数的预热：能反解，往往意味着能反函数。
📐 例题 3 用配方法求二次函数的值域
求 f(x) = x² − 4x + 5 的值域，并指出最小值在何处取得。
思路 二次函数配方：把「含 x 的部分」凑成完全平方，剩下的常数就是最低（或最高）点。
解 配方：x² − 4x + 5 = (x − 2)² − 4 + 5 = (x − 2)² + 1。由于 (x − 2)² ≥ 0，得 f(x) ≥ 1，且当 x = 2 时恰好取等；向上没有封顶。所以值域是 [1, +∞)。
数值检验：f(0) = 0 − 0 + 5 = 5，f(2) = 4 − 8 + 5 = 1，f(4) = 16 − 16 + 5 = 5——最小值 1 恰好在 x = 2 处，两侧对称回升，与配方结论一致。
答：值域 [1, +∞)，最小值 1 在 x = 2 处取得。 ⚠ 易错点：不配方而靠「试几个点」下结论——比如只算 f(0) = 5、f(1) = 2，就猜「最小是 2」；试点永远试不完，配方一步到位。另注意顶点横坐标 x = −b/(2a) = 4/2 = 2 与配方结果互相印证。
在工程里，定义域和值域有非常具体的名字：量程。一块加速度计标着「量程 ±50 g」，翻译过来：定义域是「输入加速度 ∈ [−50g, +50g]」，值域通常是「输出电压 ∈ [0, 5] V」的某段区间。超量程使用，轻则读数失真，重则传感器损坏——这就是「把定义域之外的东西硬投进机器」的现实代价。航空仪表的校准证书会明确写出测量范围与输出范围的对应关系，本质上就是一张「定义域—值域对照表」。
辨析：值域随定义域而变 值域不是函数的「自由属性」，它由规则 + 定义域共同决定。f(x) = x² 在 D = ℝ 上值域是 [0, +∞)；若把定义域限制成 [0, 3]，值域立刻缩成 [0, 9]。先有定义域，才谈得上值域——这也是为什么做题时永远先求定义域再算别的。
🧠 一句话记忆 定义域管「能投什么进去」，值域管「会吐出什么来」。看到分母、根号、对数，先条件反射地检查定义域。
1.4函数图像：把规则画出来
规则是抽象的，图像是具体的。函数图像，就是把「输入—输出」的一对对关系，标在一个平面坐标系上。
做法很简单：
- 画两条互相垂直的数轴——水平的叫 x 轴（横轴），竖直的叫 y 轴（纵轴），交点叫原点。
- 对每个输入 x，算出输出 y = f(x)，得到一对 (x, y)，在图上标成一个点。
- 把所有这样的点连起来，就得到了函数图像（也叫曲线）。
以 f(x) = x² 为例，取几个点：
| x | −2 | −1 | 0 | 1 | 2 |
|---|---|---|---|---|---|
| y = x² | 4 | 1 | 0 | 1 | 4 |
图像能让我们一眼看出函数的许多性质：它在哪里上升、哪里下降、最高最低点在哪、和坐标轴在哪相交。后面几章我们会反复借助图像建立直觉。
这里要特别强调一个「读图」的判断标准，叫垂直线检验：
垂直线检验（判断是不是函数） 想象一条竖着的直线，在图像上左右移动。如果任何一条竖线都最多与图像相交于一个点，那这个图像就是一个函数的图像；如果存在某条竖线穿过了两个或更多点，它就不是函数（因为同一个 x 对应了多个 y，违反了唯一性）。比如一个圆，竖线会穿过它两次，所以「圆」不是某个函数 y = f(x) 的图像。
一张图推出一族图：平移与缩放
掌握了一类图像的「母版」，其他相关图像不必重新画，靠变换就能得到。最常用的四种：
| 新函数 | 图像效果 | 记忆要点 |
|---|---|---|
| y = f(x) + c | 整条曲线上移 c | 外加减 → 上下移（正上负下） |
| y = f(x + c) | 整条曲线左移 c | 内加减 → 左右移（加左减右，反直觉） |
| y = k·f(x) | 纵坐标整体乘 k（拉伸） | 外乘 → 上下伸缩 |
| y = f(kx) | 横坐标压缩到 1/k | 内乘 → 左右伸缩 |
最反直觉的是第二条：f(x + 2) 是往左移，不是往右。原因可以这样想：要让机器取到原来 x = 0 的输出，现在必须提前 2 步投料（输入 −2）。口诀是「外加减看正负，内加减要反向」。这个反向直觉到第 6 章「链式法则」还会再坑人一次，现在先打疫苗。
描点法的边界：连点成线，其实是在「赌」
描点法只画了有限个点，然后我们顺手把它们连成光滑曲线——严格说这一步并没有依据：相邻两点之间，函数完全可能上蹿下跳，甚至像狄利克雷函数那样疯狂震荡。我们之所以敢连，是默认了函数「平滑变化」。这个默认什么时候成立？第 4 章「连续性」会给出正式回答。眼下先记住：描点连线是直觉工具，不是证明工具。
工程上的对应做法是拟合与插值：风洞试验只能测有限个攻角下的升力系数，试验点之间的曲线靠经验公式或样条函数补齐；结构疲劳试验也只能在有限个载荷水平下测寿命，中间值同样靠拟合。手册里成千上万条性能曲线，全是「离散测点 + 光滑拟合」的产物——你在图上读出的每一个中间值，本质上都是一次对「函数在未测点处行为」的合理推断，工程上用「插值误差」来管控这种推断的风险。
📖 会读曲线，是工程师的看家本领
翼型升力系数 CL 随攻角 α 变化的曲线是每个气动工程师的必读图：小攻角段近似一条斜直线（线性区，好预测、好控制）；接近临界攻角时曲线开始弯头、达到峰值；超过临界角后曲线急剧下跌——这就是「失速」区，机翼上表面气流分离，升力不升反降。设计者关心线性段的斜率与峰值的余量，飞行员关心离失速还有多远：同一个函数图像，不同读者各取所需。图像语言的全部价值，就浓缩在这种「一眼看穿」里。
辨析：「方程的图像」≠「函数的图像」 x² + y² = 1 是一个方程（约束条件），它的图像是单位圆；但圆不是任何 y = f(x) 的图像——竖线穿过两个点，垂直线检验不过关。只有当方程能把 y 唯一地解成 x 的表达式时，它才定义了一个（或几段）函数。看到「方程」先问一句：y 解得出来吗？解出来唯一吗？
🧠 一句话记忆 竖线一刀切，只许一个交点——这就是函数图像的「体检标准」。
1.5反函数：把关系倒过来
函数是「给 x 求 y」。但很多时候，我们想要的是反过来——「已知 y，反推 x」。
例：摄氏温度与华氏温度的换算，F = (9/5)C + 32。你已知摄氏 C，能算华氏 F。但如果你在美国听到天气预报说 86°F，想知道是多少摄氏度，就需要把关系倒过来解出 C：
C = (5/9)(F − 32)
这第二条关系，就是原来函数的反函数。记作 f−1。
反函数是什么 如果函数 f 把 x 送到 y（即 y=f(x)），那么反函数 f−1 把 y 送回 x（即 x=f−1(y)）。它们是一对「来」和「回」。
一个函数能不能有反函数，取决于它是不是「一对一」的——即每个输出是否只来自唯一一个输入。如果两个不同的 x 对应同一个 y，反推时就「分不清了」。
反函数存在的条件：一对一才行
把 f 想成一条「进 → 出」的流水线，要让流水线倒着跑（出 → 进），前提是：每个出口位置只对应唯一一条来路。也就是说，f 必须是一对一（one-to-one，又称单射）的：不同的输入，产出必然不同。若不满足，倒着跑就会「分岔」——已知 y = 4，问是哪个 x 来的？x = 2 也行、x = −2 也行，机器当场死机。所以 y = x² 在整个实数轴上没有反函数。
怎么办？限制定义域。只保留 x ≥ 0 的半支，y = x² 就一对一了——这半支的反函数正是 y = √x。注意由此得出一个重要结论：同一个表达式，配上不同的定义域，就是不同的函数——f₁(x) = x²（D = ℝ）没有反函数；f₂(x) = x²（D = [0, +∞)）有反函数 √x。这再次印证 1.3 节的话：定义域是函数身份的一部分。
怎么快速判断一对一？最常用的充分条件是单调：一台「一直上升」（或一直下降）的机器，输出永远不会重样，反推必然唯一——所以「单调函数必有反函数」。但单调只是充分条件，不是必要条件：y = 1/x 在定义域 x ≠ 0 上左、右两支各自下降，但整体不单调（左支输出全为负、右支全为正，跨越 x = 0 处无法整体比较），却依然一对一——它的反函数就是它自己。判断标准永远回到定义：输出会不会撞车。
从图像上看，反函数和原函数关于直线 y = x（45° 的对角线）对称——因为反函数相当于把「x 轴和 y 轴的角色互换」。这一点很有用：你画得出原函数，沿对角线「翻」一下，反函数就出来了。
把「限制定义域」这件事画出来，对称性看得更清楚：取 y = x² 的右半支（D = [0, +∞)），它的反函数是 y = √x；点 (2, 4) 在抛物线上，点 (4, 2) 在根号曲线上，两个点正好关于 y = x 互为镜像。
📐 例题 4 求分式函数的反函数，并用「往返测试」验证
已知 f(x) = (2x + 3)/(x − 1)，x ≠ 1。求它的反函数，说明其定义域，并用两个具体数值验证。
思路 反解法：把 y = (2x+3)/(x−1) 中的 x 解出来，这一步用「交叉相乘」启动。分式函数先别急着断定「有没有反函数」——看它是否一对一：本题在两支上各严格递减，且左支输出全部小于 2、右支全部大于 2，两支值域不重叠，所以整体一对一，反函数存在。
解 y(x − 1) = 2x + 3 → yx − y = 2x + 3 → yx − 2x = y + 3 → x(y − 2) = y + 3 →
x = (y + 3)/(y − 2) （y ≠ 2）
按惯例把自变量改记为 x，得 f−1(x) = (x + 3)/(x − 2)，定义域 x ≠ 2——这恰是原函数的值域：若 (2x+3)/(x−1) = 2，交叉相乘得 2x + 3 = 2x − 2，即 3 = −2，矛盾，所以 2 永远取不到。
往返测试：f(3) = (6+3)/(3−1) = 9/2 = 4.5；代回 f⁻¹(4.5) = (4.5+3)/(4.5−2) = 7.5/2.5 = 3 ✓ 回到起点。再试 f(0) = 3/(−1) = −3；f⁻¹(−3) = (−3+3)/(−3−2) = 0/(−5) = 0 ✓。
答：f⁻¹(x) = (x + 3)/(x − 2)，定义域 x ≠ 2。 ⚠ 易错点：①把反函数的定义域照抄成 x ≠ 1——反函数的「入口」是原函数的「出口」，两者恰好互换；②求出后不做往返测试就交卷——务必代一两个数回验 f⁻¹(f(x)) = x；③交叉相乘时漏乘某一项，尤其 y(x−1) 展开别把 −y 弄丢。
再看工程里反函数的影子：传感器的标定与解算互为逆过程——标定回答「物理量多少时输出电压多少」，解算回答「电压多少时物理量是多少」，飞控计算机每毫秒都在做后者；电阻色环也一样，「读色环报阻值」与「按阻值写色环」是一对来回。双向换算表之所以能两用，靠的正是反函数的对称性。
辨析：f⁻¹ 不是 1/f 上标 −1 在这里读「反」，不读「负一次方」。f⁻¹(x) 是反函数；倒数函数要写成 1/f(x) 或 [f(x)]⁻¹。历史遗留的坑是 sin⁻¹x：有的教材用它表示反正弦 arcsin x，也有人误读成 1/sin x——所以工程规范里干脆只写 arcsin、arccos 这类无歧义的记号。看到 −1 次方，先问一句：这里说的是「反」还是「倒」？
🧠 一句话记忆 反函数 = 把 x、y 互换再解出 y；图像上，就是沿对角线 y=x 翻个面。
1.6几类基本函数：你的「词汇表」
就像学外语要背基础词汇，学微积分要熟悉几类基本函数。后面所有复杂的函数，几乎都是由它们拼装出来的。这一节只求「认识面孔、记住形状」。
1. 幂函数：xⁿ
形如 f(x) = xn（n 是常数）。x²、x³、x1/2（即 √x）都是幂函数。它是「自己乘自己若干次」的最直接表达。
幂函数是最「物理」的一族：一次（n = 1）是正比关系，弹簧的胡克定律 F = kx、低速下的气动阻力线性项都是它；平方（n = 2）出现在动能 mv²/2、面积、电功率 P = I²R 里；立方（n = 3）主管体积与质量（特征长度放大 k 倍，体积与质量放大 k³ 倍——这就是「尺度效应」，小飞机不能简单等比放大成大飞机的原因之一）；平方根（n = 1/2）把面积换算回特征长度。家族里形状差别很大：n > 1 时在 [1, +∞) 上越走越陡，0 < n < 1 时越走越平缓——抛物线与开方曲线都过 (0, 0) 和 (1, 1)，之后却一上一下分道扬镳。
2. 指数函数：aˣ
形如 f(x) = ax（底数 a > 0 且 ≠ 1）。这里变量在指数位置。它描述「翻倍式增长」：细菌繁殖、复利、放射性衰变都用它。当 a > 1 时，x 越大，值增长得越猛。
指数函数的关键词是复利：「增长的速度与当前规模成正比」。人口增长、细菌繁殖、链式反应、电容充电，全是这个模式；当 0 < a < 1 时它描述衰减——放射性同位素每过一个半衰期就剩一半，机身疲劳试验里的损伤演化也常用指数形式刻画。数学里最重要的底数是自然常数 e ≈ 2.71828（它在第 3 章作为重要极限正式登场），以 e 为底的指数函数有一个独一无二的性质——它的变化率恰好等于它自己（第 5 章导数揭晓），这也是它被称为「自然」的原因。工程直觉：看到「翻倍」「半衰期」「每单位时间固定百分比」，脑子里就该弹出指数函数。
3. 对数函数：logₐx
指数函数的反函数。若 ay = x，则 y = logax（读作「以 a 为底 x 的对数」）。它回答的问题是：「a 要乘自己几次，才能得到 x？」当底数是自然常数 e ≈ 2.718 时，记作 ln x，这是微积分里最常用的对数。
对数最迷人之处：把天大的数字压成顺手的数字。声学里人耳可承受的声压范围横跨约 10⁷ 倍，工程上直接用对数压缩成分贝：
声压级 Lp = 20·log10(p / p0) （单位 dB，基准 p0 = 20 μPa）
声压涨到 10 倍，分贝只加 20；座舱降噪目标若定为 3 dB，对应声压要降到原来的约 70.8%（10−3/20 ≈ 0.708）。同样的压缩思路：地震震级用里氏标度、酸碱度用 pH、火箭的速度增量公式 Δv = u·ln(m₀/m₁)（齐奥尔科夫斯基公式）里干脆直接住着对数。跨越数量级的地方，就有对数。
4. 三角函数：sin、cos、tan
描述「角度」与「边长比」的关系，是研究周期性现象（波动、振动、声光电）的基石。正弦 sin θ、余弦 cos θ、正切 tan θ 会在后续章节频繁出现。
三角函数的关键词是周期：f(x + T) = f(x)，转一圈回到原样。凡有「旋转」与「振动」的地方就有它们：旋转载荷每转一圈给叶片一次激励、交流电压按正弦波动、结构振动响应常被拆成正弦分量的叠加。再提醒一遍将来最关键的约定：微积分里的三角函数一律用弧度（一整圆 = 2π），而不是角度制的 360°——原因在第 3 章讲重要极限时水落石出：只有弧度制下才有 limx→0 (sin x)/x = 1。
5. 拼装与拆解：复合函数
基本函数是零件，复合就是把机器串起来：一台机器的输出接到下一台机器的输入。y = f(g(x)) 读作「f 套 g」——先算内层 g(x)，再把结果投进外层 f。分析复合函数的要诀是剥洋葱：从最外层往里，一层一层认清每台机器；构造复合则方向相反，从里往外一层层套。复合运算是第 6 章「链式法则」的地基，务必练熟。
复合函数的定义域要每一层都合法：内层的定义域自身要成立，外层的「入口」还得容得下内层的「出口」——这正是 1.3 节「多条件取交集」的用武之地。
📐 例题 5 复合函数：剥洋葱、代数值、求定义域
已知 g(x) = √(1 + ln(x + 2))。(1) 把 g 拆成四层基本函数；(2) 求 g(e³ − 2)；(3) 求 g 的定义域。
思路 剥洋葱：最外层是开方 √·，往里依次是「+1」、对数 ln·、最里层「+2」。求定义域时逐层立条件再取交集。
解 (1) 四层分解：u = x + 2（线性层）→ v = ln u（对数层）→ w = 1 + v（线性层）→ g = √w（幂函数层，指数 1/2）。
(2) 由内向外逐层代：x = e³ − 2 时，u = e³，v = ln e³ = 3，w = 1 + 3 = 4，g = √4 = 2。
(3) 逐层立条件：对数层要求 x + 2 > 0，即 x > −2；开方层要求 1 + ln(x + 2) ≥ 0，即 ln(x + 2) ≥ −1，也即 x + 2 ≥ e⁻¹，得 x ≥ e⁻¹ − 2 ≈ −1.6321。取交集：
D = [e⁻¹ − 2, +∞)
检验：边界点 x = e⁻¹ − 2 ≈ −1.6321 处，1 + ln(e⁻¹) = 1 − 1 = 0，g = 0，合法；往左挪一点，如 x = −1.7，则 x + 2 = 0.3，ln 0.3 ≈ −1.204，根号内为负，非法——与结论一致。另验 x = 0：1 + ln 2 ≈ 1.693 > 0，g(0) = √1.693 ≈ 1.301，合法 ✓。
答：四层分解如上；g(e³ − 2) = 2；定义域 D = [e⁻¹ − 2, +∞)。 ⚠ 易错点：①求定义域只顾内层 x > −2，忘了开方层的要求，把 D 错写成 (−2, +∞)；②代数值时从外往里算（先把 e³−2 开方再取对数），顺序全乱——正确方向永远是「由内向外」；③开方层的条件是 ≥ 0（可以取到 0），别顺手写成 > 0。
把四类基本函数的「脸」认熟——往后的章节里，它们会以各种组合反复出现：
最后给一张速查表，把这一节的「词汇」集中起来随时翻看：
| 类型 | 一般形式 | 变量位置 | 典型场景 |
|---|---|---|---|
| 幂函数 | xⁿ | 底数 | 面积、体积 |
| 指数函数 | aˣ | 指数 | 增长、衰变、复利 |
| 对数函数 | logₐx | 真数 | 指数函数的反问题 |
| 三角函数 | sin x、cos x | 角度 | 周期、振动、波 |
在「典型场景」之外再补一列「工程关联」的记忆钩子：幂函数管「面积、体积、胡克定律」这类几何与线性关系；指数函数管「充电、衰变、复利」这类按比例滚雪球的过程；对数函数管「分贝、震级、pH」这类跨数量级的度量；三角函数管「振动、交流电」这类周期现象。
📖 为什么叫「基本」函数？ 因为这些函数是「原子」。就像物质由原子组成，绝大多数你能写出来的函数，都是这四类（再加常数、多项式）通过加减乘除、复合、取反拼起来的。你把这几张「面孔」记熟，后面讲到导数、积分时，就能快速认出「这是哪个老朋友」。
再补一句学习节奏上的建议：第 2 章讲极限时，这几张面孔会立刻登场当主角——现在多花十分钟把它们的形状和脾气记牢，是全书回报率最高的投资之一。
🧠 一句话记忆 四张面孔：幂 xⁿ（变量在下）、指数 aˣ（变量在上）、对数 logₐx（指数反过来）、三角 sin/cos（周期波动）。在这四张面孔之外，「复合」是第五种常用手法——像剥洋葱，由内向外逐层算。
本章小结
- 函数描述变化关系，本质是「一个输入对应唯一一个输出」的规则。
- 符号 y=f(x) 中，x 是自变量、f 是规则、y 是因变量。
- 定义域是允许的输入范围，值域是可能的输出范围；分母、根号、对数要特别检查。
- 函数图像把规则可视化；垂直线检验能判断一条曲线是不是函数。
- 反函数把「来」倒成「回」，图像上关于 y=x 对称。
- 四类基本函数（幂、指数、对数、三角）是后续所有内容的「词汇表」。
- 函数是映射不是公式：表格、分段、图像都可以定义函数，狄利克雷函数证明「画不出来的函数」也货真价实；定义域是函数身份的一部分——同一表达式配不同定义域就是不同的函数。
- 反函数存在的条件是一对一：单调是最常用的充分条件（但不是必要条件，如 1/x）；不满足时可限制定义域「修复」。
- 复合函数像剥洋葱：从外向内拆解、从内向外求值；定义域要每一层都合法，多条件取交集。
读完本章，你应该能……
- 用自己的话说清「函数」的本质，并解释「唯一输出」为什么重要。
- 给定一个具体函数（如 √(x−1)），正确求出它的定义域。
- 画出 y = x² 的图像，并用垂直线检验判断一条曲线是否是函数。
- 由 y = 2x + 3 解出反函数，并说明它与原函数图像的关系。
- 区分幂函数、指数函数、对数函数、三角函数，说出变量各自「长在哪」。
- 把一个分段函数（如行李收费规则）画成图像，并解释端点归属如何影响取值。
- 求出 (2x+3)/(x−1) 的反函数，并用两个具体数值完成「往返测试」。
- 把 y = √(1+ln(x+2)) 拆成四层基本函数，并说出每层的定义域约束、算出总定义域。
思考题
1. 为什么说「圆」不是某个函数 y = f(x) 的图像？用唯一性解释。
提示：同一个 x 值（除了最左最右两点）对应圆上的上下两个 y 值，违反了「一个输入唯一一个输出」。
2. 求 f(x) = 1/(x−2) 的定义域，并说明为什么。
提示：分母 x−2 不能为 0，所以 x ≠ 2；定义域是「除 2 以外的所有实数」。
3. 函数 y = eˣ 与 y = ln x 互为反函数。它们的图像有什么关系？
提示：关于直线 y = x 对称。
4. 「指数函数」和「幂函数」都长得很像，怎么一眼区分？
提示：看变量在哪——xⁿ 变量在底数（下面），aˣ 变量在指数（上面）。
5. 「函数」和「方程」有什么区别？y = x² 是函数，x² + y² = 1 呢？
函数是一种对应规则：每个输入 x 唯一确定一个输出 y。方程是一个约束条件：只要求 x、y 满足某种关系，不保证每个 x 只对应一个 y。y = x² 中每个 x 只给出一个 y，是函数；x² + y² = 1（单位圆）里 x = 0 时 y 可以是 1 或 −1，同一个 x 对应两个 y，不满足唯一性，所以它不是任何 y = f(x) 的图像——垂直线检验正是这个判据的图形化说法。
6. 函数 f(x) = ln(x² − 1) + 1/√(3 − x) 的定义域是什么？分几步求？
分三步：拆零件 → 立条件 → 取交集。零件一 ln(x² − 1) 要求 x² − 1 > 0，即 x < −1 或 x > 1；零件二 1/√(3 − x) 的根号在分母上，要求 3 − x > 0，即 x < 3（严格大于，因为分母不能为零）。两条件同时成立：D = (−∞, −1) ∪ (1, 3)。易错点：把「取交集」误当「取并集」，或把根号条件放宽成 3 − x ≥ 0。
7. y = x² 在整个实数轴上有没有反函数？限制到 [0, +∞) 后呢？为什么？
整个实数轴上没有：x = 2 与 x = −2 都输出 4，已知 y 反推 x 时「分岔」，违反反函数需要的一对一。限制到 [0, +∞) 后，抛物线只保留右半支，变成严格递增的一对一机器，反函数存在且为 y = √x。这说明定义域是函数身份的一部分——改定义域可以改变「有没有反函数」这个根本属性。
8. f⁻¹(x) 会不会和 1/f(x) 混淆？工程上怎么避免？
会，这是记号的历史遗留坑：上标 −1 在 f⁻¹ 里读「反」（反函数），不是「负一次方」（倒数）。工程规范里通常直接使用无歧义名称，如反正弦写 arcsin x、反余弦写 arccos x，而把倒数明确写成 1/f(x) 或 [f(x)]⁻¹。看到上标 −1，先判断语境说的是「反」还是「倒」。