直观理解指数（为什么 x² 只是重复乘法，直到它不再是）
直观理解指数（为什么 x² 只是重复乘法，直到它不再是）
对大多数学生来说，指数往往是他们与"看上去比实际大得多"的数学记号的第一次正式相遇。一个小数字坐在大数字旁边，突然就跳出一整页规则：相乘时把指数相加，相除时相减，零次幂等于 1，负指数把分式翻过来，分数指数表示根。整张清单看起来都是任意规定的，多数学生于是把它当成一道死记硬背的题。
并不是这样。指数底层只有一个想法，清单上每一条规则不过是把这个想法推到位之后的结果。一旦想法清楚了，所有规则都可以在不到一分钟内推出来，比硬记之后还要担心是不是把符号搞反了要快得多。
这篇文章讲的就是这个想法。它代替不了练习，你仍然得反复操练直到规则自动跳出来。但意义必须放在前面。没有意义的练习只是把符号挪来挪去。
唯一的想法：数副本
当你写下 x²，你的意思是 x 乘以 x。写下 x³，意思是 x 乘以 x 乘以 x。上面那个小数字只是简写："你把多少个 x 的副本乘到一起"。
这就是出发点的全部。当指数是正整数时，x^n 表示 n 个 x 的副本叠成一摞，全部相乘。五的平方是两个五相乘，等于 25。二的三次方是三个二相乘，等于 8。再没有别的。
你被要求背下来的几乎每条规则，都是这一幅图的直接推论。
为什么规则不是规则
看规则 x^a 乘 x^b 等于 x^(a + b)。看上去这是必须要记住的东西。其实不是。它只是数数。
如果 x^3 是三个 x，x^4 是四个 x，那么 x^3 乘 x^4 就是三个副本加上四个副本，全部相乘，也就是七个副本。这就是 x^7。指数相加，是因为你把两份副本的清单合成了一份。规则不是规则。它只是把两摞 x 并排放在一起时发生的事。
除法也一样。x^7 除以 x^4 是分子上七个 x、分母上四个 x。上下成对约掉，剩下三个，就是 x^3。指数相减，是因为你在拿掉副本，而不是加上副本。
幂的幂，(x^a)^b 等于 x^(a · b)，是同样的把戏，提高一层。(x^3)^4 表示把 x^3 这一组乘以自己四次。每个 x^3 是三个 x，这样的组合有四份，加起来就是十二个 x，也就是 x^12。指数相乘，是因为你在把组放进组里堆叠。
一旦把指数看成"多少个副本"，规则就不再像一张清单，而是同一幅图的记账。
跳跃：零、负数、分数怎么办？
"数副本"的图，对正整数指数完全适用。但 x^0 是什么？你没办法在字面意义上把 x 乘自己 0 次。x^(-2)? 把 x 乘自己负二次毫无意义。x^(1/2)? 半个 x 的副本根本不存在。
这就是大多数学生撞墙的地方，因为课本只是宣布：x^0 等于 1，x^(-n) 等于 1/x^n，x^(1/n) 是 n 次根，至于为什么，没说。
有更好的看法。数学家不是用命令决定这些值。他们到达这些值，是因为问了一个问题：怎样定义 x^0、x^(-n) 和 x^(1/n)，才能让已经有的规则继续成立？
这个唯一的问题就强制了每一个值，看清这一点之后，"跳跃"就不再像跳跃了。
为什么 x^0 = 1
看一下从上往下的 2 的幂的模式：
- 2^4 = 16
- 2^3 = 8
- 2^2 = 4
- 2^1 = 2
- 2^0 = ?
每次指数下降 1，就除以 2。16 除以 2 等于 8，8 除以 2 等于 4，4 除以 2 等于 2。按这个模式，下一个值应该是 2 除以 2，也就是 1。
或者用除法规则：x^a 除以 x^a 等于 x^(a - a) 等于 x^0。但任何数除以它自己都等于 1。所以 x^0 必须等于 1，否则除法规则就破了。
这不是从外部强加的定义。它是保持其它一切自洽的唯一值。任何用了几周指数的人都会独立得到同样的结论，因为其它选择会让规则自相矛盾。
唯一有争议的例外是 0^0，那是另一回事，得看上下文。对于任何非零底数，x^0 都等于 1，原因是机械的。
为什么负指数会翻转
把模式继续。2^0 = 1 之后，下一步同样是除以 2：
- 2^0 = 1
- 2^(-1) = 1/2
- 2^(-2) = 1/4
- 2^(-3) = 1/8
负指数就是分母上的正指数。x^(-n) 等于 1/x^n。减号不是做减法。它是翻转。
从除法规则也能得到同样结论。x^3 除以 x^5 是 x^(3 - 5)，也就是 x^(-2)。而按数副本的方法，x^3 除以 x^5 等于 1/x^2。所以 x^(-2) 必须等于 1/x^2。规则和数数对得上，整件事的要点就是这个。
为什么分数指数是根
这是把最多人绕晕的跳跃，因为"半个指数"没有"数副本"的图。但代数依然照样运作。
设 x^(1/2) 是某个还没确定的数。用幂的幂规则：(x^(1/2))^2 等于 x^(1/2 · 2) 等于 x^1 等于 x。所以无论 x^(1/2) 是什么，把它平方就得到 x。这正好是平方根的定义。因此 x^(1/2) 必须等于 √x。
同样的把戏对任何分数都成立。x^(1/3) 的立方等于 x，所以 x^(1/3) 是立方根。x^(2/3) 就是 (x^(1/3))^2，即立方根的平方。分数指数只是写根的紧凑写法，分母上的 n 告诉你是哪一种根。
这不是魔法。它是唯一让已有规则保持一致的值。记号被扩展，是因为我们坚持它应该被扩展。
与对数的联系
一旦把指数看作"数副本"，对数 也就不再神秘。对数是反过来的问题："要多少个副本"。如果 2^5 = 32，那么以 2 为底 32 的对数就是 5。指数回答的是"得到什么"。对数回答的是"用了多少副本"。
指数的每条规则都有一条对应的对数规则，它们互为镜像。指数式相乘对应指数相加，所以乘积的对数是对数相加。乘方对应指数相乘，所以幂的对数等于该幂乘上原来的对数。是同一幅图，从相反方向看。
指数实际出现在哪些地方
指数是任何"每一步以固定倍数变大或变小"的事物的语言。
复利。 储蓄账户年利率 5%，每年余额乘以 1.05。十年后乘了 1.05^10，约 1.63 倍。三十年后乘了 1.05^30，超过原本金的四倍。复利就是一个指数，线性增长和指数增长的差别，正是早开始储蓄如此重要的根本原因。
人口、病毒、爆款内容。 每一个成员都产出差不多数量的下一代副本时，量都会指数增长。分裂的细胞、扩散的传闻、被转发的内容也是如此。指数也许不大，但它在上面，上面的小数字累积得很快。
放射性衰变、药物半衰期、冷却。 每一步损失固定比例的事物都是指数衰减。一个半衰期后剩下一半，两个半衰期后剩四分之一，三个半衰期后剩八分之一。每一步的倍数是 1/2，指数就是已经过去的半衰期数目。
计算机内存与文件大小。 一千字节约为 10^3 字节，一兆字节为 10^6，一吉字节为 10^9。计算机硬件大约每两年翻一倍（摩尔定律），它本身就是指数。
科学记数法。 太阳质量约为 2 × 10^30 公斤，氢原子半径约为 5 × 10^(-11) 米。表达极大和极小数字的词汇就是指数，因为没人愿意手写三十个零。
任何"每一步乘以固定倍数"的量，指数就是合适的工具。这样的情境很多，所以这个主题会出现在化学、生物、经济、金融、计算机科学、物理，以及大部分大学预科数学里。
为什么指数常常教得不好
如果指数这么干净，为什么这么多学生在这里撞墙？
第一，从整数指数到零、负、分数指数的跳跃，通常是当作一份新规则清单提出来的，没有说明为什么必须是那些值。学生把新规则当成任意约定，于是好忘也好混。
第二，规则本身是孤立地教，而不是从"数副本"的结果中推出来。学生背下"相乘时把指数相加"，遇到 (x^a)^b 就慌了，不知道该加还是该乘。如果有那幅图，两秒钟就能判断，可是那幅图缺席。
第三，分数指数和根被当作不同的章节来教。它们是同一个想法。把 x^(1/2) 和 √x 看成两个不相关对象的学生，要记的东西多一倍，混乱的次数也多一倍。
补救办法是花一个小时和"数副本"的图相处，用推导代替死记规则，然后训练到自动。训练是必要的，但大部分痛苦不是。
练到自动为止
把这篇文章读一遍，你得到的是那幅图。让指数真正流畅，是另一项工作。
用小数字把每条规则亲手推一遍。 坐下来，写下 2^3 乘 2^4、2^5 除以 2^2、(2^3)^2，用数副本的方法验证每条规则。一旦你看见规则是从数副本里"长"出来的，以后就不会再搞混。
专门训练零、负、分数的情形。 这是最多学生跌倒的地方，因为图变了。专门花一节练习只做改写：x^(-3)、x^0、x^(1/2)、x^(2/3)，直到操作自动跳出来。
把指数和别的代数结合起来。 正如我们在代数那篇 中说过的，代数大部分内容是按有几何含义的规则做重组。在代数题里练习指数（解 2^x = 32，化简 (xy^2)^3，计算 27^(2/3)），才能建立标准化考试奖励的那种流畅。
早早把指数和对数连起来。 双向训练，"已知指数求结果"和"已知结果求指数"，把它们其实是同一个事实这件事钉进身体里。把它们当成两个独立主题的学生，工作量直接翻倍。
在应用题里用指数。 复利、半衰期、人口增长正是指数在校门之外重要的场景。每周做几道这样的题，能让这门课和现实保持联系，不至于变得抽象。
Math Zen 在哪里发挥作用
Math Zen 的桶式进阶恰好契合指数应有的学习方式。早期的桶覆盖整数指数、积与商的规则、幂的幂。中段的桶反复训练零、负、分数指数，直到动作自动。后期的桶覆盖指数方程、科学记数法、增长与衰减的应用题。
由于练习短小、混合、间隔分布，规则就不再是每次都要重新推导的清单，而是不到一秒就能调用的事实。这正是让 SAT、AP Calculus、以及大多数化学、物理题感觉日常而不紧张的那种流畅程度。通往这种流畅的路，不是更多教科书页数，而是每天十到十五分钟练对题型。
结论
x^n 表示 n 个 x 相乘。所有关于正整数指数的规则，都只是这幅图的记账。零、负、分数指数是为了让规则继续成立而选择的扩展，并不是另外需要硬背的事实。
一旦你拥有那幅图，规则就不再争夺脑容量。指数式相乘对应指数相加，因为你把副本堆首尾相接。相除对应相减，因为你在两两抵消。零次幂等于一，因为模式要求如此。负号翻转，因为不翻就不自洽。分数是根，因为 (x^(1/n))^n 必须等于 x。
这就是全部基础。下次再看到 x^(-2/3)，不要想"又是一条规则"。想：x 平方的立方根的倒数，因为任何别的值都会让数学崩掉。从死记到推导的这一转变，才是把指数从一堵墙变成一件工具的关键。