摘要
本文介绍了幂次法则,给出了其弱化版与普通版的证明,并通过求导与积分之间的关系成功证明了圆锥体积公式。
简介
微积分当中的幂次法则是求导法则之一,它描述了幂函数的导数。具体而言,对于 ( 为实数),则 的导数 。
弱化版
先来弱化版试试水:求 的导数 。
首先先从导数的定义入手,函数在某一点的导数就是该函数在这一点上的切线的斜率。我们知道在一条直线上任意取两点,斜率 ,其中 和 是这两点的坐标之差。那么导数的定义就很简单了:
将 代入进去,然后通过平方差公式分解成两个式子的乘积,再通过分数的基本性质进行约分,化简即可。
因此, 的导数 。
证明
现在我们来证明 ( 为实数)的导数 。
首先我们根据导数的定义出发,将 代入进去。
然后我们使用广义二项式定理 展开 ,其中 是广义二项式系数。
不难发现当 的时候,,因此把它提出来,正好与 形成了相反数,可以去掉。
通过分数的基本性质把 约掉。
此时关键的一步来了:当 时,只有当 的时候 才不为 ,可以发觉只有这时 也不为 ,因此我们将求和去掉,将 代入进去,得到
因此我们成功证明了幂次法则。
积分
幂次法则是求导法则之一,但是幂次法则也可以是积分法则。我们知道求导与积分是一对互逆的运算。简单来说,假如函数 的导数是 ,那么对 求积的值就等于原函数 的值加上积分常数,即 。
那么我们转换一下思路。既然 的导函数是 ,那么我们对 求积的值就等于 。即
当然,也有
利用这个公式,我们可以轻松证明一个半径为 高度也为 的圆锥它的体积是 。我们可以先对函数 进行求积, 代表每一个平面的面积,然后使用上述公式并化简即可(这里积分常数 1)。
定积分的值可以使用牛顿·莱布尼茨公式2求,这里由于原函数当中左边界对应的值为 ,因此我们只用算右边界就行了。由于我们的 正好是 的导数,因此我们只需要计算 。
对于高度为 且 的圆锥,我们只需要使用「空间扭曲之术」(其实就是拿 的比乘上 来求出每一平面的面积)即可。