正在推导 $f(x) = x^a$ 的导数时，脑子里起初蹦出来的念头肯定不是标准的数学定义，更不是啥证明题。就像在菜市场跟摊主讨价还价时，你急着想问个价格，摊主反而顺手给你递根烟要么倒杯茶。
好吧，既然你是来挑战这个经典的微积分题目，那我就拿着粉笔，边批改作业边给你讲，咱们不整那些虚头巴脑的漂亮话，直接上手算。 先别急着看公式，看看这个幂函数到底长啥样。当 $x=1$ 的时候，$1$ 的任何次方还是 $1$，导数 $frac{dy}{dx}$ 也是 $0$。当 $x=0$ 时，情况就有点特别了。
要是指数 $a$ 是负数，比如 $1/x$，那导数就是 $-1/x^2$，在 $x=0$ 处这就没法直接塞进解析式里了，得用极限去试。
要是指数 $a ge 0$，你会发现导数在 $x=0$ 的时候显然不是 $0$，而是 $a$。
故此，导数 $f'(x)$ 是一个“分段函数”，它跟 $x$ 的取值范围分不开。 要想求导，最直接的方式就是乘法规则。根据乘积法则，$(uv)' = u'v + uv'$。把 $x^a$ 看作 $x$ 的 $1$ 次方乘以 $x$ 的 $a$ 次方，套进去就是 $1cdot x^a + xcdot a x^{a-1}$。化简之后，$x$ 消掉一个，剩下 $a x^a$。
这玩意儿看着是不是特别像 $frac{d}{dx}(x^a)$？也就是原函数乘以 $a$。 不过，这里有个小陷阱，就是 $x=0$ 这个点。当指数不是正整数的时候，到了 $x=0$，这个导数公式就失效了。出于 $x^a$ 在 $x=0$ 附近的行为跟 $x$ 彻底不一样，它可能趋向于无穷大，要么保持固定值，又要么直接没定义。
故此在写导数的时候，务必把 $x>0$ 和 $x ge 0$ 的情况分清楚，不能糊里糊涂地写成一个公式。 为了验证一下这个结论对不对，咱们拿几个具体的例子试试。先算 $y = x^2$。
这个好办，直接求导就是 $2x$。再算 $y = sqrt{x}$，也就是 $x^{1/2}$。用刚刚的公式推导一遍，就是 $frac{1}{2}x^{1/2 - 1}$，化简后是 $frac{1}{2}x^{-1/2}$，写成根号形式就是 $frac{1}{2sqrt{x}}$。
你看，指数减去了 $1$，变成了 $-1/2$，彻底符合例子。 再试个略微复杂的，比如 $y = x^{-1}$。
这时候 $a=-1$。按照刚刚的推导，导数应当是 $-1 cdot x^{-2}$，也就是 $-1/x^2$。
这跟之前聊聊的 $x^a$ 在 $a<0$ 时的情况一摸一样。
这说明导数公式里的 $a$ 实际上是个自由变量，不管它是多少，乘法法则那套逻辑都通。 实际上，在高等数学里，这个推导过程实际上不需求把 $x^a$ 拆开。
要是你不把 $x^a$ 当成 $x$ 的 $1$ 次方，那整个乘法法则的应用就绕晕了。
故此啊，拆开后推导，逻辑才清楚。从算出来的结局——$ax^a$，一眼就能认出这就是 $x^a$ 的导数，乘以 $a$，对吗？ 反过来想也能够。
要是你知道了 $x^a$ 的导数，那 $x^a$ 就是反函数。求反函数导数有个万能公式，$frac{dy}{dx} = frac{1}{frac{dx}{dy}}$。
既然 $frac{dx}{dy} = a x^{a-1}$，那 $frac{dy}{dx}$ 就是 $1 / (a x^{a-1}) = frac{1}{a} x^{-(a-1)} = frac{1}{a} x^{1-a}$？
什么的，这里仿佛有点乱。 让我重新理一遍。 目标：求 $y = x^a$ 的导数。 方式一：根本推导。 $y = x^a$。 $dy = a x^{a-1} dx$。 故此 $dy/dx = a x^{a-1}$。 哇，这个忒直观了，就连不用管 $x^a$ 的定义域，把它当成一般/平平的解析函数处理就行。 方式二：反函数法。 $y = x^a implies x = y^{1/a}$。 求 $x$ 对 $y$ 的导数：$frac{dx}{dy} = frac{1}{a} y^{frac{1}{a} - 1}$。 再求倒数：$frac{dy}{dx} = frac{1}{frac{dx}{dy}} = a y^{frac{1}{a} - 1} = frac{1}{a} y^{1-a}$。 这时候出现了一个难题，方式一结局是 $a y^{a-1}$，方式二结局是 $frac{1}{a} y^{1-a}$。
这两个不一样啊！
那肯定有一个犯了低级毛病。 仔细检查方式二。 $x = y^{1/a}$。 $frac{dx}{dy} = frac{1}{a} y^{1/a - 1}$。
没错。 $frac{1}{frac{1}{a} y^{1/a - 1}} = a y^{1 - 1/a} = frac{a}{a} y^{1 - 1/a}$？不对，这是代数运算的陷阱了。 $frac{1}{y^{1/a - 1}} = y^{-(1/a - 1)} = y^{1 - 1/a} = y^{(a-1)/a} = y^{-1 + 1/a}$。 故此结局是 $a y^{-(1-1/a)}$？ 什么的，代入 $y=x$ 看看。 方式一：$dy/dx = a x^{a-1}$。 方式二：把 $x$ 换成 $y$，应当是 $a y^{1/a - 1}$。 这两者相等吗？$a x^{a-1} = a y^{1/a - 1}$？显然只有当 $x=y$ 时才相等。 啊，我明白了。在方式二里，求的是 $frac{dy}{dx}$，也就是 $y$ 对 $x$ 的导数。 用反函数法则，$frac{dy}{dx} = frac{1}{dx/dy}$。 $dx/dy = frac{1}{a} y^{1/a - 1}$。 倒数就是 $a y^{-(1/a - 1)} = a y^{1 - 1/a} = a y^{(a-1)/a}$。 这里的指数是 $(a-1)/a$，也就是 $1 - 1/a$。 而在方式一中，指数是 $a-1$。 这两个指数不一样啊！ 难道 $x^a$ 的导数既不是 $a x^{a-1}$ 也不是 $a y^{1/a-1}$？ 不对，我肯定哪儿算错了。 啊，$y^{1/a - 1} = y^{frac{1-a}{a}}$。 $dx/dy = frac{1}{a} y^{frac{1-a}{a}}$。 $frac{dy}{dx} = frac{1}{frac{1}{a} y^{frac{1-a}{a}}} = a y^{-frac{1-a}{a}} = a y^{frac{a-1}{-a}} = a y^{-(frac{1-a}{a})}$。 这就等于 $a y^{1/a - 1}$。 好！和方式一的结局 $a x^{a-1}$ 不一样啊？ $y^{1/a - 1}$ 如何可能是 $x^{a-1}$ 的变体？ 要不就 $y=x$。 什么的，方式一里 $y=x^a$，导数是 $a x^{a-1}$。 方式二里，把 $x$ 换成 $y$，导数应当是 $a y^{1/a - 1}$。 $y^{1/a - 1} = (x^a)^{1/a - 1} = x^{a(1/a - 1)} = x^{1 - a} = x^{a-1}$？ 不对，$a times (1/a - 1) = 1 - a$。 而方式一拿到的是 $a-1$。 这两个指数互为反之数啊！$a-1$ 和 $1-a$。 这意味着 $a x^{a-1} neq a x^{1-a}$，要不就 $a=1$。 这说明啥？说明我的方式二应用错了，要么方式一也错了。 让我们重新算方式一。 $y = x^a$。 $dy = a x^{a-1} dx$。 $dy/dx = a x^{a-1}$。 这是铁律，根本定义，没毛病。 那方式二呢？ $y = x^a$。 $x = y^{1/a}$。 $frac{dx}{dy} = frac{1}{a} y^{1/a - 1}$。 $frac{dy}{dx} = frac{1}{frac{dx}{dy}} = frac{1}{frac{1}{a} y^{1/a - 1}} = a y^{-(1/a - 1)} = a y^{1 - 1/a}$。 代入 $y=x^a$，拿到 $a (x^a)^{1 - 1/a} = a x^{a(1 - 1/a)} = a x^{1-a}$。 哦！原来如此。 方式一拿到的是 $a x^{a-1}$。 方式二拿到的是 $a x^{1-a}$。 这两个指数 $a-1$ 和 $1-a$ 不一样。 难道 $x^a$ 的导数既不是 $a x^{a-1}$ 也不是 $a x^{1-a}$？ 不可能啊。 一定是我算错了 $1 - 1/a$ 的时候。 $a (1 - 1/a) = a - 1$。 是的，这里没错。 那 $x^a$ 的导数到底是多少？ 难道 $a x^{a-1} neq a x^{1-a}$？ 是的，它们是不同的。 那 $x^a$ 的导数究竟是哪一个？ 啊，我知道了！ 方式一：$d/dx (x^a) = a x^{a-1}$。
这是对的。 方式二：$d/dx (x^a) = a x^{a-1}$。 方式二推导出的 $a x^{1-a}$ 是如何来的？ $y^{1/a - 1}$ 中的 $1/a - 1$ 是负数吗？ $1 - 1/a$ 这个数，当 $a=2$ 时是 $1 - 1/2 = 0.5$。 $a-1 = 1$。 $0.5 neq 1$。 这意味着 $y^{1-a} neq x^{1-a}$？ $y = x^a$。 $y^{1-a} = (x^a)^{1-a} = x^{a(1-a)} = x^{a - a^2}$。 而方式一给出的是 $x^{a-1}$。 这两个指数差别忒大，简直没法比。 到底哪儿出错了？ 让我用具体的数字试一下。 $a=2$。 $y = x^2$。 方式一：$dy/dx = 2 x^{2-1} = 2x$。对。 方式二： $x = y^{1/2}$。 $dx/dy = frac{1}{2} y^{-1/2}$。 $dy/dx = 1 / (frac{1}{2} y^{-1/2}) = 2 y^{1/2}$。 代入 $y=x^2$，拿到 $2 (x^2)^{1/2} = 2x$。 哎，原来 $y^{1-a} = (x^2)^{-1} = 1/x^2$，而 $x^{1-2} = x^{-1}$。 $1/x^2$ 和 $1/x$ 不一样啊！ 这意味着 $y^{1-a} neq x^{1-a}$。 $(x^a)^{1-a} = x^{a(1-a)}$。 而我之前毛病地把它当成了 $x^{1-a}$。 $a(1-a) = a - a^2$。 只有当 $a=1$ 时才等于 $1-a$。 故此，方式二推导出来的是 $a x^{a-a^2}$。 这就费事了。 既然方式一直接给出 $a x^{a-1}$，那方式二也应当能简化成这个形式。 方式二结局是 $a x^{a-a^2}$。 这两个式子相等吗？ $a x^{a-1} = a x^{a - a^2}$？ 显然不成立，要不就 $x=1$ 或其他特殊情况。 这说明我的方式二应用是错的。 反函数求导公式是 $frac{dy}{dx} = frac{1}{dx/dy}$。 $dx/dy = frac{1}{a} y^{1/a - 1}$。 倒数是 $a y^{-(1/a - 1)} = a y^{1 - 1/a}$。 这里有个难题。$y^{1 - 1/a} = (x^a)^{1 - 1/a} = x^{a(1 - 1/a)} = x^{a - 1}$。 啊！刚刚算错了！ $a(1 - 1/a) = a - 1$。 我刚刚算成 $a - a^2$ 了。 $1/a times a = 1$。 $a times 1 = a$。 $a times (-1/a) = -1$。 故此指数确实是 $a - 1$。 那两个结局是 $a x^{a-1}$ 和 $a x^{a-1}$。 彻底一致了。 刚刚的混乱是出于我在中间步骤心算出错，把 $1/a$ 当成了 $1$ 要么搞乱了乘法顺序。 好，终于理清了。 $dy/dx = a x^{a-1}$ 是绝对对的。 并且这个推导过程贼好办，就是乘法法则。 不需求拆项，不需求反函数，不需求极限，不需求分段聊聊。 只要把 $x^a$ 看作 $x times x^{a-1}$ 要么 $x^1 times x^{a-1}$（这里系数是1，指数是 $a-1$），然后乘积求导，直接出 $1 cdot x^{a-1} + x^1 cdot (a-1) x^{a-2}$？ 不对，乘法法则是对两个函数 $u, v$ 求导。 $y = x^a$。 我们能够写成 $y = x cdot x^{a-1}$。 $u = x, du = 1 dx$。 $v = x^{a-1}, dv = (a-1) x^{a-2} dx$。 $dy = (1 cdot x^{a-1} + x cdot (a-1) x^{a-2}) dx = (x^{a-1} + a-1) x^{a-2}$？ 不对，指数运算规则：$x^1 cdot x^{a-2} = x^{a-1}$。 故此括号里是 $x^{a-1} + (a-1) x^{a-1} = (1 + a - 1) x^{a-1} = a x^{a-1}$。 哇，这也忒巧了吧？ 不需求拆开 $x^a$ 是啥，直接当成两个指数函数相乘，求导也如此好办。 这也说明 $x^a$ 的导数公式本质上就是指数函数的求导公式推广来的。 好了，理论推导完毕，目前来几个实战数据验证一下。 $y = x^3$。 用公式：$3 x^{3-1} = 3x^2$。 直接求导：$3x^2$。 一致。 $y = x^{-2}$。 公式：$-2 x^{-2-1} = -2 x^{-3} = -2/x^3$。 直接求导：原函数是 $1/(x^2)$，导数是 $-1/(x^3)$。 再乘以系数 $-2$，确实是 $-2/x^3$。 一致。 $y = ln x$。 什么的，这里 $x^a$ 的 $a$ 是 $1$。 公式：$1 cdot x^{1-1} = x^0 = 1$。 对，$d/dx (ln x)$ 是 $1/x$。 但这里是 $x^1$。 $x^1$ 的导数是 $1$。 $ln x$ 的导数也是 $frac{1}{x}$。 它们不一样。 $y = x^1$，导数是 $1$。 $y = ln x$，导数是 $1/x$。 这说明 $x^a$ 和 $ln x$ 是互为反函数的时候关系才成立。 公式 $a x^{a-1}$