一、从两个熟悉的函数说起
初中你学过正比例函数 y = kx，高中必修第一册把它的「兄弟」请了出来——指数函数 y = aˣ（a > 0 且 a ≠ 1）。为什么要限定 a > 0 且 a ≠ 1？
- 若 a < 0，例如 a = −2，当 x = 1/2 时 y = (−2)^(1/2) 在实数范围内无意义；
- 若 a = 0，当 x ≤ 0 时无意义；
- 若 a = 1，则 y = 1 恒成立，是一条平行于 x 轴的直线，没有研究单调性的必要。
所以这三条限制不是「规定着好玩」，而是为了让函数在实数集上有意义、有变化。
现实中的指数增长无处不在：细胞每 20 分钟分裂一次，n 次之后数量是原来的 2ⁿ 倍；放射性元素每年按固定比例衰减——这些都是指数函数的模型。
二、图像：两类、四条
在同一坐标系内画 y = 2ˣ、y = 3ˣ、y = (1/2)ˣ、y = (1/3)ˣ，可以得到四条关键结论：
- 定义域是 R，值域是 (0, +∞)。图像永远在 x 轴上方，永远不与 x 轴相交，但可以无限接近——x 轴是渐近线。
- 所有图像都过定点 (0, 1)，因为 a⁰ = 1，与底数无关。
- a > 1 时函数单调递增，且 a 越大，图像在 y 轴右侧越陡（2ˣ 在 3ˣ 的下方）；0 < a < 1 时单调递减，a 越小，图像在 y 轴左侧越陡。
- 对称性：y = aˣ 与 y = (1/a)ˣ 的图像关于 y 轴对称，因为 (1/a)ˣ = a⁻ˣ。
| 底数 a | 单调性 | 过定点 | 图像走势 |
|---|---|---|---|
| a > 1 | 在 R 上递增 | (0, 1) | 左低右高，从左贴近 x 轴 |
| 0 < a < 1 | 在 R 上递减 | (0, 1) | 左高右低，从右贴近 x 轴 |
三、四个常用性质
性质1（单调性）：a > 1 时，若 m < n，则 aᵐ < aⁿ；0 < a < 1 时，若 m < n，则 aᵐ > aⁿ。这是比较大小类题目的唯一依据。
性质2（同底比较）：底数相同、指数不同，直接用单调性比大小。
性质3（不同底比较）：底数不同、指数相同，可用「指数相同看底数」的规律：当 x > 0 时，底数越大值越大；当 x < 0 时，底数越大值越小。若底数与指数都不同，往往需要插入「中间量」——最常用的是 1（因为 a⁰ = 1），有时用 0 或与另一个已知值比较。
性质4（复合函数 y = a^(f(x)) 的单调性）：遵循「同增异减」——当 a > 1 时，y 与 f(x) 的单调性相同；当 0 < a < 1 时，两者单调性相反。
四、例题解析
例1 比较 1.7^2.5 与 1.7^3 的大小。 解析：构造指数函数 y = 1.7ˣ，底数 1.7 > 1，函数单调递增。因为 2.5 < 3，所以 1.7^2.5 < 1.7^3。
例2 比较 0.8^(−0.1) 与 0.8^(−0.2) 的大小。 解析：底数 0 < 0.8 < 1，函数递减。因为 −0.1 > −0.2，自变量越大函数值越小，所以 0.8^(−0.1) < 0.8^(−0.2)。
例3 比较 1.7^0.3 与 0.9^3.1 的大小。 解析：底数与指数都不同，插入中间量 1。因为 y = 1.7ˣ 递增且 0.3 > 0，所以 1.7^0.3 > 1.7⁰ = 1；因为 y = 0.9ˣ 递减且 3.1 > 0，所以 0.9^3.1 < 0.9⁰ = 1。因此 1.7^0.3 > 0.9^3.1。
例4 求函数 y = (1/2)^(x² − 2x) 的单调递增区间。 解析：令 t = x² − 2x = (x − 1)² − 1，其对称轴为 x = 1，在 (−∞, 1] 上递减，在 [1, +∞) 上递增。外层 y = (1/2)^t 关于 t 单调递减，按「同增异减」，复合函数在 t 递减的地方反而递增。故单调递增区间为 (−∞, 1]。
五、指数型不等式的解法
思路：化同底，用单调性脱掉底数。
例：解不等式 2^(x² − x) < 4。 第一步，把右边化成同底：4 = 2²。 第二步，利用 y = 2ˣ 递增：x² − x < 2。 第三步，解一元二次不等式：x² − x − 2 < 0，即 (x − 2)(x + 1) < 0，得 −1 < x < 2。
若底数是分数，例如 (1/3)^(x−1) ≥ 9，则把 9 写成 (1/3)^(−2)，因为底数小于 1，不等号要变向：x − 1 ≤ −2，得 x ≤ −1。这一步学生最容易漏掉「变号」。
六、趣味练习
- 函数 y = 5ˣ 的图像必过的定点是？值域是？
- 比较 0.7^0.7 与 0.7^0.8 的大小，并说明理由。
- 比较 2^0.5 与 3^0.5 的大小。
- 函数 y = 3^(−x²+4x) 的最大值是多少？
- 解不等式 3^(2x−1) > 1/27。
答案：1. (0, 1)；(0, +∞)；2. 递减，0.7^0.7 > 0.7^0.8；3. 指数相同且 x > 0，底数大的值大，2^0.5 < 3^0.5；4. 令 t = −x² + 4x = −(x−2)² + 4 ≤ 4，外层递增，故最大值为 3⁴ = 81；5. 化为 3^(2x−1) > 3^(−3)，底数大于 1 直接脱底：2x − 1 > −3，得 x > −1。
七、课后作业
基础题：在同一直角坐标系中画出 y = 2ˣ、y = (1/2)ˣ、y = 3ˣ 的图像，并标出定点与渐近线。 提高题：已知函数 f(x) = aˣ 在 [−1, 1] 上的最大值与最小值之差为 1，求 a 的值。（提示：分 a > 1 与 0 < a < 1 讨论） 挑战题：讨论函数 y = a^(x²−2x)（a > 0，a ≠ 1）的单调区间与值域，并按 a 的取值分类写出结论。
八、易错提醒
- 忘了定义域是 R 而值域是 (0, +∞)，把指数函数与幂函数 y = x² 的图像混为一谈；
- 不同底比较时硬套「底数越大值越大」，忽略了它只在指数相同时成立，且要分清 x > 0 还是 x < 0；
- 解指数不等式时，底数小于 1 忘记变号；
- 复合函数单调性只判断了内层，忘了外层底数与 1 的大小关系。
把「同增异减」和「中间量 1」这两招练熟，指数函数这一节的题目基本可以一网打尽。