这三兄弟是高中函数部分的「地基」:指数运算和对数运算是工具,指数函数和对数函数是互为反函数的一对(图象关于 y=x 对称),幂函数是另一条独立的家族线。几乎所有比较大小、解不等式、判断单调性的题,最后都落回这几条规则——规则记不熟,后面全打摆子。
这三条是指数运算的全部家底:同底相乘指数相加,幂的幂指数相乘,积的幂等于幂的积。规定 a>0,否则分数指数幂(如 a^(1/2)=√a)会出现意义不明的情况。特别地:a^0=1(a≠0),a^(−n)=1/a^n。
| 运算 | 结果 |
|---|---|
| a^m ÷ a^n | a^(m−n) |
| a^(1/n)(n为正整数) | a 的 n 次算术根 ⁿ√a(a≥0) |
| a^(m/n) | ⁿ√(a^m) = (ⁿ√a)^m (a>0) |
⚠ 分数指数幂只在底数>0时讨论(教材范围内),别把负数带进分数指数幂运算。指数运算法则只对同底数直接用,不同底不能直接加减指数。
前提永远是 a>0,a≠1,M>0,N>0。这三条把「积、商、幂」的对数拆成「加、减、倍数」——是对数存在的全部意义:把乘除变加减。
a^(log_a N)=N 是最容易被忽视但最好用的一条——它说「先取对数再还原为幂,等于没变」,常用来化简形如 2^(log_2 5) 这类式子。
⚠ log_a(M+N) ≠ log_aM + log_aN(没有这条法则!);log_a(MN) 拆开前必须保证 M>0 且 N>0,不能只看 MN>0 就拆(比如 M,N 都为负,MN>0,但 log_aM 无意义)。
左边整体算 log_a(MN),右边拆成两块 log_aM 与 log_aN 相加——数值永远相等,这就是运算法则在「数值」上的验证,不是巧合。
| a>1 | 0 | |
|---|---|---|
| 单调性 | 增函数 | 减函数 |
| 图象走势 | 从左下贴近x轴，向右上快速上升 | 从左上快速下降，向右贴近x轴 |
| 定义域 | R(全体实数) | |
| 值域 | (0,+∞) —— 永远>0，图象永不触及x轴 | |
| 过定点 | (0,1) —— 任何底数，x=0时都等于1 | |
a 越大(a>1时),图象在 x>0 一侧越「陡」;a 越接近 0(0
⚠ a=1 时 y=1^x≡1 是常函数,不是指数函数,所以定义里必须排除 a=1;a≤0 会导致 a^x 在某些 x(如 x=1/2)无意义,所以必须 a>0。
拖动滑块改变底数 a:a>1 时曲线从左往右一路上升(增函数),0
| a>1 | 0 | |
|---|---|---|
| 单调性 | 增函数 | 减函数 |
| 定义域 | (0,+∞) —— x必须>0，log的真数不能≤0 | |
| 值域 | R(全体实数) | |
| 过定点 | (1,0) —— 任何底数，x=1时都等于0 | |
对数函数与指数函数互为反函数:y=aˣ 与 y=log_a x 的图象关于直线 y=x 对称。这是因为它们互相「抵消」:log_a(a^x)=x,a^(log_a x)=x。反函数关系还带来定义域值域互换——指数函数值域(0,+∞)恰是对数函数的定义域,指数函数定义域R恰是对数函数的值域。
⚠ 对数函数图象不过原点,且不与y轴相交(x→0⁺时,a>1则y→−∞;0
红色曲线 y=aˣ、蓝色曲线 y=log_a x,把红色沿虚线 y=x 翻折,正好落在蓝色上——这就是「互为反函数」的几何含义。拖动 a 观察两条曲线始终保持镜像。
幂函数与指数函数正好「反过来」:底数变化(x)、指数α固定。所有幂函数图象都过 (1,1)(1的任何次幂都是1)。人教版常考 5 个:y=x、y=x²、y=x³、y=x^(1/2)(即√x)、y=x^(−1)(即1/x)。
| α | 定义域 | 奇偶性 | (0,+∞)上单调性 |
|---|---|---|---|
| 1(y=x) | R | 奇函数 | 增 |
| 2(y=x²) | R | 偶函数 | 增 |
| 3(y=x³) | R | 奇函数 | 增 |
| 1/2(y=√x) | [0,+∞) | 非奇非偶 | 增 |
| −1(y=1/x) | x≠0 | 奇函数 | 减(每支上) |
规律: α>0 时,幂函数在 (0,+∞) 上单调递增;α<0 时,在 (0,+∞) 上单调递减(且x轴、y轴是渐近线，图象不与坐标轴相交)。奇偶性由 α 决定:分子分母都化到最简分数,分子奇分母奇→奇函数;分子偶分母奇→偶函数;其余多为非奇非偶(定义域不对称或不满足)。
⚠ 幂函数只有一项(y=x^α,系数必须是1),y=2x²不是幂函数(是二次函数)。α<0时函数图象在第一象限随x增大而减小，但绝不与坐标轴相交(渐近线思想)。
所有曲线都经过 (1,1)。α>0 的三条(1、2、3次)在第一象限都上升,形状随次数变陡；α=1/2 只在x≥0有定义；α=−1 是双曲线，在第一、三象限，随x增大而减小。
若能化成同底 a^m 与 a^n 比较,a>1时指数大的值大;0 把指数式与对数式借助换底公式或恒等式统一形式,再比较。例如比较 log_2 3 与 log_3 2:前者>1(因为2^1=2<3),后者<1(因为3^1=3>2),故 log_2 3>log_3 2。 ⚠ 比较大小最大陷阱:忘记讨论底数与1的关系就直接"指数大就大"——0方法二:不同底 — 找中间量(常用0和1)
常见中间值 用法 1 a^x 与 b^y 比较:若一个>1、一个<1（或=1），立判大小。如 2^0.3>1>0.8^2 0 log_a x 与 log_b y 比较:若一个>0、一个<0，立判大小。如 log_2 3>0>log_0.5 3 方法三:指对互化
数轴上标出两个值的大致位置,配合1(指数式判断)或0(对数式判断)这条分界线,一眼看出谁大谁小,不用硬算精确值。
计算器/数学软件通常只内置 lg(以10为底)和 ln(以e为底),遇到 log_a b(a、b是任意底数、真数)时,必须先用换底公式转成 lg 或 ln 才能算出数值。这是「换底」在实际计算中的核心用途。
⚠ 换底公式里,新底 c 出现在分子分母的位置不能换:log_a b = (log_c b)/(log_c a),真数在上、底数在下,写反了就是求倒数,结果差之千里。
输入任意 a(>0,≠1)和 b(>0),用换底公式 log_a b=ln b/ln a 直接算出结果,并反代验证 a^(log_a b)=b（应约等于原来的b）。
| 出现 | 要求 |
|---|---|
| log_a(表达式) | 表达式 > 0(真数大于0) |
| log_(表达式) x | 表达式 > 0 且 表达式 ≠ 1(底数条件) |
| 偶次根号下有对数/指数 | 根号内 ≥ 0，再叠加对数/指数自身条件 |
解题模板: ① 先把不等式两边化成同底的指数式或对数式;② 判断底数 a 与1的关系,决定是否翻转不等号;③ 若是对数不等式,额外加上真数>0的定义域限制,最后与主不等式的解集取交集。
⚠ 头号丢分点:解 log_a f(x)>log_a g(x) 时只解出 f(x)>g(x)(或翻转后的形式),却忘了同时要求 f(x)>0、g(x)>0——这两个条件必须都满足,再与主不等式取交集,漏掉会导致定义域外的假解。
| 变换 | 效果 | 过定点变化 |
|---|---|---|
| y=a^x → y=a^(x+h) | 左移h(h>0)/右移(h<0) | (0,1)→(−h,1) |
| y=a^x → y=a^x+k | 上移k(k>0)/下移(k<0) | (0,1)→(0,1+k) |
| y=log_a x → y=log_a(x+h) | 左移h/右移 | (1,0)→(1−h,0) |
| y=log_a x → y=log_a x+k | 上移k/下移 | (1,0)→(1,k) |
找「过定点」的技巧:令括号内使原变量部分恰好等于「原来那个特殊值」(指数函数令指数=0,对数函数令真数=1),解出对应的x,y就是平移后的定值,不受a具体取值影响——这类题常考「无论a为何值,函数恒过定点___」。
⚠ 类似 y=a^(x−1)+2 恒过定点的题,要令 x−1=0 即 x=1,此时 y=a^0+2=1+2=3,定点是(1,3)——与a无关。别代错「谁等于0/1」的位置。
触发信号:题目出现 a^m·a^n、log_a(MN)、换底公式等纯运算表达式,要求化简或求值。
标准动作:统一底数或统一成同一种运算(全部化成指数或全部化成对数),依次套用运算法则,注意每一步的定义域前提(真数>0)。
示例(带解):求 log_2 3 + log_2 5 − log_2 15 的值。原式=log_2(3×5/15)=log_2 1=0。
陷阱:log_a(M+N)错误拆成log_aM+log_aN;拆分前没检查真数是否为正。
触发信号:函数解析式里含有log(...)或分数指数幂、偶次根号,要求定义域。
标准动作:列出所有限制条件(真数>0、底数>0且≠1、根号下≥0、分母≠0),求交集。
示例(带解):求 f(x)=log_2(x−1) 的定义域。要求 x−1>0，即 x>1，定义域为(1,+∞)。
陷阱:把真数>0写成≥0;漏掉底数含参时的≠1条件。
触发信号:题目给出几个形如 a^m、log_a b 的式子,要求比大小或排序。
标准动作:能同底就用单调性直接比;不同底就找0或1做中间量,或指对互化统一形式。
示例(带解):比较 0.3^2 与 2^0.3 的大小。0.3^2<1(底数0<0.3<1,指数正，结果小于1)，2^0.3>1(底数>1，任何正指数结果都>1)。故 0.3^2<2^0.3。
陷阱:忘记讨论底数与1的关系;误把"指数越大值越大"当成绝对规则(0
触发信号:不等式两边可化成同底的 a^f(x)、a^g(x) 形式。
标准动作:化同底后比较指数,a>1不变号、0 示例(带解):解 (1/2)^(x−1) < (1/2)^(2x)。底数1/2∈(0,1)，不等式翻转：x−1 > 2x，解得 x < −1。 陷阱:0
触发信号:不等式两边可化成同底的 log_a f(x)、log_a g(x) 形式。
标准动作:先列出f(x)>0、g(x)>0的定义域条件,再按底数与1的关系比较真数(a>1不变号,0 示例(带解):解 log_2(x) > log_2(3−x)。定义域:x>0且3−x>0即0 陷阱:只解出真数不等式，漏掉定义域限制导致解集偏大。
触发信号:给出y=x^α形式(α为具体数或需要判断的参数),问定义域、奇偶性、单调性或图象经过哪个象限。
标准动作:先确定定义域(注意分母、偶次根号的限制),再判断奇偶性(化最简分数看分子分母奇偶性),最后用α与0的大小关系判断(0,+∞)上的增减。
示例(带解):判断 y=x^(2/3) 的性质。2/3化简后分子2(偶)分母3(奇)→偶函数;定义域R;α=2/3>0，在(0,+∞)上递增。
陷阱:直接用α的正负判断奇偶(奇偶性看的是分子分母奇偶，不是α本身正负);漏查分母为偶数时的定义域限制(如x^(1/2)定义域[0,+∞))。
① 对数真数必须>0,底数必须>0且≠1——每次做题先默念这条,忘了这条会漏解或出现"负数取对数"的荒谬结果。
② log_a(MN)=log_aM+log_aN 拆开前，M和N都必须>0，不能只看MN>0(MN>0时M、N可能同为负，各自的log无意义)。
③ log_a(M+N) ≠ log_aM+log_aN——没有这条法则，别自己发明。
④ 底数a与1的关系决定一切:a>1同向(增，不等号不翻)，0 ⑤ 换底公式 log_a b=log_c b/log_c a，真数在分子、底数在分母，别写反。 ⑥ 幂函数只能是y=x^α(系数为1)，y=2x^α、y=x^α+1都不是幂函数。 ⑦ 解含参对数不等式时，别忘了额外的定义域条件(真数>0)要与主不等式解集取交集，不是并集。 ⑧ 指数函数值域是(0,+∞)，图象永不与x轴相交；对数函数图象永不与y轴相交——用这条快速排除错误图象选项。 ⑨ a^(log_a N)=N 和 log_a(a^x)=x 是两个方向不同的恒等式，别混着用错方向。 ⑩ 比较 log_a M 与 log_a N（同底）时，若0
① 反函数是"运算的逆过程"，不是两个孤立的知识点: 指数运算"已知底数和指数求幂"，对数运算"已知底数和幂求指数"——本质是同一个方程 a^x=N 的两种问法。理解了这一点，图象对称、定义域值域互换都是自然推论，不需要死记。
② 单调性的方向由底数决定，这是贯穿全章的唯一"变量": 指数函数、对数函数增减性都只取决于a与1的大小关系，跟指数或真数的具体表达式无关。做不等式题时，先把"定分类讨论a的位置"当成条件反射，剩下的都是代数操作。
③ 比较大小的本质是找一个"公共参照系": 0和1之所以好用，是因为a^0=1(任何底的0次幂都是1)、a^1=a(通过判断底数与1的大小可以直接确定是否>1)。任何比较大小问题，思路都是"找一个双方都能算出精确值或明确范围的锚点"。
④ 幂函数的奇偶性藏在指数的"最简分数形式"里: 把α写成p/q最简形式(q>0)，p奇q奇→奇函数，p偶q奇→偶函数，q为偶数→定义域受限(非奇非偶或只在非负半轴有定义)。这套规律能秒判任何形如x^(m/n)的幂函数性质，不需要一个个代入验证。
⑤ 三大函数增长速度的直觉排序，是后续导数/数列压轴题的伏笔: 当x足够大时，指数函数(a>1)的增长速度远超任何幂函数，幂函数又超过对数函数——即"指数爆炸>多项式增长>对数缓增"。这个直觉现在建立，高三学到导数比大小、数列放缩时会省下大量时间。
thebest2dan · 数学攻坚包 · 指数函数·对数函数·幂函数