跳转到内容

指数不只是“乘几次”

学生第一次听到指数,通常没有太大阻力。

232^3 就是 2222\cdot2\cdot2。这个解释很好用,直观,省力,也符合学生已有的乘法经验。

麻烦从 212^{-1} 开始。如果指数就是“乘自己多少次”,那负一次、半次、2\sqrt2 次都说不通。问题不在学生,而在这句话本来就只适合正整数指数。

后面要换解释。先保住指数律,再用连续性补上实数指数。到了微积分里,exe^x 又会因为求导性质单独站出来。学生如果一直拿“乘几次”硬套,迟早会卡住。

2n2^n 开始,但不要停在那里

Section titled “从 2n2^n2n 开始,但不要停在那里”

先从 232^3 开始没有问题。

23=2222^3=2\cdot2\cdot2

在正整数指数范围内,重复乘法解释得很干净。它还能推出指数律:

2324=(222)(2222)=272^3\cdot2^4=(2\cdot2\cdot2)(2\cdot2\cdot2\cdot2)=2^7

所以我们得到

2m2n=2m+n2^m\cdot2^n=2^{m+n}

这个等式一开始只是在正整数范围内看出来的。接下来要问的是:如果还想让这个等式成立,新指数应该怎么定义?

这时定义就不是补丁了。它是在回答一条已经出现的规则还能不能继续用。

问学生:

23212^3\cdot2^{-1}

如果指数律还要成立,它应该等于

23+(1)=222^{3+(-1)}=2^2

也就是

821=48\cdot2^{-1}=4

所以

21=122^{-1}=\frac12

这时不要急着说“负指数就是倒数”。顺序要讲清楚:不是先知道 212^{-1} 是什么,再验证指数律;是指数律把 212^{-1} 的取值逼出来了。

同样,

23=1232^{-3}=\frac1{2^3}

理由不是“负三次乘法”有什么神秘意义。理由是

2323=20=12^3\cdot2^{-3}=2^0=1

这一步顺手也能解释 20=12^0=1。很多学生把 a0=1a^0=1 当成一条孤立规定,其实它也来自同一个结构要求:

2320=232^3\cdot2^0=2^3

那么 202^0 就只能是 1。

到这里,指数已经第一次换了意义。正整数指数还可以说“乘几次”,负指数和零指数更准确的说法是:为了保留 2m2n=2m+n2^m2^n=2^{m+n},它们必须这样定义。

接下来问:

21/22^{1/2}

如果我们还想保留

(2x)n=2nx(2^x)^n=2^{nx}

那么

(21/2)2=21=2(2^{1/2})^2=2^{1}=2

所以 21/22^{1/2} 应该是那个平方后等于 2 的正数,也就是

21/2=22^{1/2}=\sqrt2

这不是“把 2 乘自己半次”。这里值得停一下。分数指数要找的是一个数,使它在指数律里放得进去。

23/22^{3/2} 也一样。它可以写成

23/2=(21/2)3=(2)32^{3/2}=(2^{1/2})^3=(\sqrt2)^3

也可以写成

23/2=(23)1/2=82^{3/2}=(2^3)^{1/2}=\sqrt8

两个算法给出同一个数,分数指数才站得住。否则 23/22^{3/2} 只是一个新记号,跟原来的指数律接不上。

更一般地,2p/q2^{p/q} 可以理解为那个 qq 次方后等于 2p2^p 的正数:

(2p/q)q=2p(2^{p/q})^q=2^p

这里不用把课讲成实数理论。话说准就够了:有理数指数来自根式和指数律的配合,不是“乘自己 p/qp/q 次”。

222^{\sqrt2} 会让“乘几次”的解释彻底失效。

2\sqrt2 不是一个能数出来的次数。它不是 1 次多一点、2 次少一点这样就能解释完的东西。我们可以用小数近似它:

1.4,1.41,1.414,1.4142,1.4,\quad 1.41,\quad 1.414,\quad 1.4142,\ldots

这些都是有理数,所以 21.42^{1.4}21.412^{1.41}21.4142^{1.414} 都已经有意义。随着指数越来越接近 2\sqrt2,对应的数值也应该越来越接近某个确定的数。这个极限就是我们要叫作 222^{\sqrt2} 的东西。

课堂上不用搬出 Dedekind 截断或实数完备性。图像先够用:我们已经在有理数点上定义了 2x2^x,这些点排得很密;如果指数函数要是一条不断裂的曲线,222^{\sqrt2} 就不能随便填。

这就是连续延拓的直觉版本。

讲到这里,指数函数已经离开“重复乘法”很远了。整数靠重复乘法,负数和分数靠指数律,无理数靠连续性。把这三层分开,后面讲图像、变换、反函数会少很多含混。

指数函数讲到实数指数后,对数可以顺手出现。

a>0a>0a1a\ne1 时,axa^x 把实数轴上的指数,对应到正数。以 2x2^x 为例,2x=82^x=8 是在问:2 要升到多少次方才得到 8?答案是 3。于是

log28=3\log_2 8=3

对数在这里不是新主题,只是指数问题的反向说法。它有助于学生理解“指数已经不只是次数”,因为对数问的那个“多少”,也可能是负数、分数、无理数。

这一节不要顺手展开换底公式、对数方程和图像变换。这里需要的只是让学生知道:指数函数如果是一条连续单调的对应关系,对数就是沿着这条关系倒着问。

现在再看 exe^x,就不那么突兀了。

如果一上来讲 ee,学生容易觉得这是一个突然出现的特殊常数。他们更可能只记住一句话:exe^x 求导还是 exe^x

这句话没错,但最好晚一点出现。

先让学生知道,对每个底数 a>0a>0,我们都可以得到一个指数函数 axa^x。当 a1a\ne1 时,这些函数都有一个共同特征:变化率和当前数值成比例。底数大于 1 时它增长,底数在 0 和 1 之间时它衰减。换成微积分语言,就是

ddxax=kax\frac{d}{dx}a^x = k a^x

其中 kk 取决于底数 aa。底数越大,kk 越大;如果 0<a<10<a<1,这个 kk 是负的。

那么 ee 可以这样出现:在所有底数里面,有一个底数让这个比例常数刚好等于 1。这个底数就是 ee。所以

ddxex=ex\frac{d}{dx}e^x=e^x

这比“因为 ee 是自然常数所以重要”更适合连接高中微积分和微分方程。exe^x 特别,是因为求导时没有额外系数。

到一阶微分方程时,这一点尤其明显。

y=kyy'=ky

这句话的意思是:变化率和当前量成正比。解会长成指数函数:

y=Cekxy=Ce^{kx}

这里的 ekxe^{kx} 不是凭空猜出来的答案。它正好是那类“求导后只改变一个比例”的函数。二阶常系数微分方程里反复出现 erxe^{rx},也是同一个原因:微分算子作用在它身上时,行为特别简单。

对学生来说,这也为以后看到 eiθe^{i\theta} 留下一点空间。先不用讲复指数,但可以埋一句:当我们把指数函数理解成“求导后按比例改变”的函数时,它就不再被“乘自己多少次”这个旧解释限制住了。

真上课时,我会先承认 232^3 是重复乘法,让学生放心。然后追问 202^0212^{-1} 为什么必须分别是 1 和 12\frac12,把理由落在指数律上。接着处理 21/22^{1/2}:它是平方后等于 2 的正数,不是“乘半次”。

最后才问 222^{\sqrt2}。这一步不要装作学生应该懂。它本来就需要新想法。可以给出几串近似:

21.4,21.41,21.414,2^{1.4},\quad 2^{1.41},\quad 2^{1.414},\ldots

让学生看到我们在用有理数指数逼近无理数指数,并且默认指数函数应该连续。讲到这里,再把问题推向微积分:既然 2x2^x3x3^x10x10^x 都可以定义,为什么教材总是偏爱 exe^x?答案留给求导。

这条路会慢一点。好处也很具体:学生知道什么时候还能说“乘几次”,什么时候必须换成指数律,什么时候又要请连续性进来。

这节课用 AI,不该让它直接写一份完整讲义。我会让它查边界。

比如把自己的讲义片段贴进去,问它:哪些句子把“指数就是重复乘法”说过头了?哪里需要补一句“这是为了保留指数律”?哪里已经偷偷用到了连续性?

这个问题比“帮我设计一节指数函数课”窄得多,也更有用。AI 适合帮我们找自己说滑了的地方,最后那句课堂语言还是要自己改。尤其是这节课,少讲一道题问题不大;把一个只适用于正整数的解释一路用到实数指数,麻烦更大。