摘要

本文介绍了幂次法则,给出了其弱化版与普通版的证明,并通过求导与积分之间的关系成功证明了圆锥体积公式。

简介

微积分当中的幂次法则是求导法则之一,它描述了幂函数的导数。具体而言,对于 为实数),则 的导数

弱化版

先来弱化版试试水:求 的导数

首先先从导数的定义入手,函数在某一点的导数就是该函数在这一点上的切线的斜率。我们知道在一条直线上任意取两点,斜率 ,其中 是这两点的坐标之差。那么导数的定义就很简单了:

代入进去,然后通过平方差公式分解成两个式子的乘积,再通过分数的基本性质进行约分,化简即可。

因此, 的导数

证明

现在我们来证明 为实数)的导数

首先我们根据导数的定义出发,将 代入进去。

然后我们使用广义二项式定理 展开 ,其中 是广义二项式系数。

不难发现当 的时候,,因此把它提出来,正好与 形成了相反数,可以去掉。

通过分数的基本性质把 约掉。

此时关键的一步来了:当 时,只有当 的时候 才不为 ,可以发觉只有这时 也不为 ,因此我们将求和去掉,将 代入进去,得到

因此我们成功证明了幂次法则。

积分

幂次法则是求导法则之一,但是幂次法则也可以是积分法则。我们知道求导与积分是一对互逆的运算。简单来说,假如函数 的导数是 ,那么对 求积的值就等于原函数 的值加上积分常数,即

那么我们转换一下思路。既然 的导函数是 ,那么我们对 求积的值就等于 。即

当然,也有

利用这个公式,我们可以轻松证明一个半径为 高度也为 的圆锥它的体积是 。我们可以先对函数 进行求积, 代表每一个平面的面积,然后使用上述公式并化简即可(这里积分常数 1)。

定积分的值可以使用牛顿·莱布尼茨公式2求,这里由于原函数当中左边界对应的值为 ,因此我们只用算右边界就行了。由于我们的 正好是 的导数,因此我们只需要计算

对于高度为 的圆锥,我们只需要使用「空间扭曲之术」(其实就是拿 的比乘上 来求出每一平面的面积)即可。

Footnotes

  1. 对于函数 ,它的导函数 均为 ,而在求积的时候无法还原常数 ,因此红色部分不知道,即为积分常数 。这里我们已经知道了红色部分的面积是 ,因此可以省略积分常数。

  2. 如果函数 在区间 内连续,并且存在原函数 其导数为 ,则有