指数函数
a^x 的特征是『每走一步乘一个固定倍数』，而不是加一个固定量。它最终会超过任何多项式，这一点在极限里反复出现。
9 分钟思维方法: 不变量
找一个怎么变都不变的量，用它锁死结论
这一片为什么存在
你大概已经会算 2^10 = 1024。这一片要处理的不是“会不会算”，而是一个几乎人人踩过的坑：把 2^x 和 x² 归成同一类“长得快的函数”。真拿数字排一遍你会发现，在 x = 3 的地方是 x² 领先的——指数一开局其实打不过平方。既然如此，“指数最终一定赢”凭什么成立？凭的是一个跟数值大小完全无关的量。把那个量找出来，你之后在极限、复杂度、复利里遇到的一大半“谁压倒谁”的问题，都能当场判出来，不必再排表。
内容
先别管公式，只问一件事：从 x 走到 x+1，函数身上发生了什么。线性函数是加一个固定量；平方函数 x² 是乘一个倍数，但这个倍数在缩水；指数函数 2^x 是乘一个固定倍数，永远是 2。所以判断“谁最终赢”的正确动作不是看差，是看比。2^x 的相邻比 f(x+1)/f(x) 恒等于 2，走到 x = 3 是 2，走到 x = 300 还是 2。x² 的相邻比是 ((x+1)/x)² = (1+1/x)²，x 越大它越往 1 挤，到 x = 100 只剩 1.0201，也就是每步只涨 2% 出头。于是“都长得快”这句话就散了：平方的每步涨幅是一个正在枯竭的百分比，指数的每步涨幅是一个永不枯竭的百分比。两个人涨薪，一个每年翻倍，另一个涨幅逐年趋近于零——起跑时谁在前面完全不重要，结局已经写死了。顺带说清一件常被误解的事：指数增长不等于“增长很快”。1.001^x 在前几千步慢得让人怀疑人生，但它每步乘的倍数依然是个不变的常数 1.001，所以它照样会碾过 x^100。快慢是暂时的，倍率恒定才是永久的——这才是“指数”这个词真正在说的事。
现在把符号补齐。指数函数写作 f(x) = a^x，其中 a 叫底数（base），要求 a > 0 且 a ≠ 1；x 叫指数（exponent），可以取任意实数。三条规则把它的行为定死：(1) 步进律 a^(x+1) = a · a^x，配上 a^0 = 1，整数处的值就全部确定了——这正是上面“每步乘固定倍数”的正式写法，而那个固定倍数就是底数 a 本身。(2) 负指数律 a^(-x) = 1/(a^x)。指数位置上的负号意思是“取倒数”，不是“取相反数”；所以 2^(-3) = 1/2³ = 1/8 = 0.125，是正的，而且一直是正的。(3) 值域 a^x > 0 对一切实数 x 成立，图像整条都在 x 轴上方，x 轴是它的水平渐近线：可以无限接近，永远碰不到，更谈不上穿过去。最后处理 0 < a < 1 的情形：0.5^x = (1/2)^x = 2^(-x)，它确实是减函数，但“减”的去处是 0，不是负数。0.5^10 = 1/1024 = 0.0009765625，还是正的；再走一万步仍然是正的。递减和变号是两件不相干的事，这一条值得单独记住。
跟着做一遍
拿一张纸，把 x = 1, 2, 3, 4, 5, 6 排成一列，右边写两列：2^x 和 x²。先在心里猜一下谁一路领先，再动手填。填完之后，再加一列“每走一步乘了多少倍”。
- 填值。2^x 得 2, 4, 8, 16, 32, 64；x² 得 1, 4, 9, 16, 25, 36。
- 逐行比大小。x=1 指数领先（2 > 1）；x=2 打平（4 = 4）；x=3 平方反超（9 > 8）；x=4 又打平（2^4 = 16 = 4^2）；x=5 指数领先（32 > 25），从此再没交回去。所以“指数一路碾压”是错的，它前半程一度落后。
- 加倍率列，用分数写，别急着化成小数。2^x 的倍率：2/1、4/2、8/4……全是 2，一个常数。x² 的倍率：4/1、9/4、16/9、25/16、36/25——分子分母是相邻的平方数，这一列其实就是 (1+1/x)²，在一路下滑。
- 找这两列交错的地方。9/4 = 2.25 还大于 2：x 从 2 走到 3 那一步，平方涨得比指数还猛，所以它能在 x=3 反超。下一步 16/9 已经小于 2（把不等式化成整数看：2×9 − 16 = 2 > 0）。从这一步起，指数的倍率永久占优，而且优势只会变大，因为 (1+1/x)² 只降不升。
- 留意倍率占优（第 3→4 步）和数值反超（x = 5）之间差了一两步。平方在前半程攒下了领先，指数拿到倍率优势之后还得花点时间把这份领先吃干净。速度和位置是两件事，别混在一起看。
- 想看清“吃干净”之后有多夸张，跳到 x = 20：2^20 = 1048576，20² = 400，比值 2621.44。再往后不用算了。
结果
交叉发生在 x = 4 之后：所有整数 x ≥ 5 都有 2^x > x²。但真正锁死结论的不是表里任何一行数值，而是“2^x 每步乘的倍数恒等于 2”这个不随 x 变化的量。它一旦压过对手那条正在滑向 1 的倍率曲线，胜负就跟起跑位置无关了。