假设我们给定一个函数,想要确定其图形在一个区间上的面积。我们可以猜想,但如何计算出确切的面积呢?下面,通过一些巧妙的思路,我们实际上 *定义* 这种面积,并表明通过使用所谓的 **定积分**,我们可以确切地确定曲线下的面积。
定义 图形下的面积的粗略思路是用有限个矩形来近似这个面积。由于我们可以很容易地计算出矩形的面积,因此我们得到了图形下面积的估计。如果我们使用更多更小的矩形,我们预计图形下曲线的面积会更精确,从而得到更好的近似值。在某种程度上,似乎我们可以使用我们从微分中熟悉的极限,并使用 “无限个” 矩形来得到确切的面积。让我们更详细地研究一下这样的想法。
假设我们有一个在区间 上为正的函数 ,我们想找到 在 和 之间的面积 。让我们选择一个整数 ,并将区间分成 个宽度相等的子区间(参见图 1)。由于区间 的宽度为 ,每个子区间的宽度为 。我们用 表示子区间的端点。这给了我们
现在,对于每个 ,选择区间 内的一个 *采样点* ,并考虑以 为高, 为宽的矩形(参见 图 2)。这个矩形的面积是 。通过将所有 的矩形面积加起来,我们得到面积 的近似值。
使用 求和符号 来表达会更加方便。
对于每个数 ,我们得到一个不同的近似值。当 越来越大时,矩形的宽度越来越小,从而产生更好的近似值(参见 图 3)。当 随着 趋于无穷大时,我们得到面积 。
事实上,如果 在 上是连续的,那么这个极限总是存在的,并且不依赖于点 的选择。例如,它们可以均匀分布,也可以在区间内以任意方式分布。这个证明是技术性的,超出了本节的范围。
这个定义的一个重要特征是,我们也允许函数取负值。如果对于所有 ,有 ,则 ,因此 。因此, 的定积分将是严格负数。更一般地,如果 同时取正值和负值,那么 将是 图形正部分下的面积 **减去** 图形负部分之上的面积(参见 图 4)。因此,我们称 是图形下的 **有符号面积**。
需要注意的是,变量 在积分定义中并没有扮演重要的角色。事实上,我们可以用任何其他字母来代替它,所以以下都是相等的
每一个都是 图像在 和 之间的有符号面积。这种变量通常被称为 哑变量 或 约束变量。
以下方法有时被称为 L-RAM 和 R-RAM,RAM 代表“矩形逼近法”。
我们本可以决定选择所有的样本点 在区间 的右侧(见 图 5)。然后 对于所有的 ,我们称之为 的面积逼近就变成了
这被称为 右黎曼和,而积分就是它的极限
或者,我们可以把每个样本点都放在区间的左侧。在这种情况下 (见 图 6),逼近就变成了
那么 的积分是
关键是,只要 是连续的,这两个定义得到的积分结果相同。
例子 1
在这个例子中,我们将计算由 图像所确定的曲线在 为 0 到 1 之间的曲线下的面积。首先,我们固定一个整数 ,并将区间 分成 个宽度相等的子区间。因此,每个子区间的宽度为
为了计算积分,我们将使用右端黎曼和。(我们也可以使用左端和,最终结果相同)。对于右端和,样本点为
请注意 。将此代入近似公式,得到
现在我们使用 公式
得到
为了计算 在 和 之间的积分,我们取 趋于无穷大的极限,
例2
接下来我们将展示如何找到函数 在 和 之间的积分。这次区间 的宽度为,所以
我们再次使用右黎曼和。所以我们选择的样本点是
因此
|
|
|
|
|
|
|
|
我们需要计算这个等式右边每一部分的值。对于前两部分,
对于第三个求和,我们需要使用一个公式
得到
将它们组合起来
当 趋于无穷大时,极限为
|
|
|
|
|
|
|
|
解答
从积分的定义中,我们可以推导出一些基本性质。对于所有以下规则,假设 和 在 上是连续的。
常数规则
当 为正数时,函数 在点 处的函数高度是函数 处的函数高度的 倍。因此, 在 和 之间的面积是 之间面积的 倍。我们也可以使用积分的定义,利用极限的常数规则来证明,
示例
我们在上一节中看到了
使用常数规则,我们可以用它来计算
- ,
- .
示例
我们在上一节中看到了
我们可以使用这个和常数规则来计算
该规则有一个用于积分常数的特殊情况。
积分常数
如果 是常数,则
当 且 时,该积分是一个高度为 ,宽度为 的矩形的面积,等于 。
示例
积分的加减法规则
与常数规则一样,加法规则遵循极限的加法规则。
|
|
|
|
|
|
减法规则可以用类似的方法证明。
示例
从上面的例子中可以看出, 以及 所以
示例
3. 利用减法规则求出
和
在
和
之间的图形面积。
解答
如果 ,则计算 积分的黎曼和中的每个矩形都将在 轴上方,因此面积将是非负的。如果 ,则 ,根据第一个性质,我们得到第二个性质。最后,如果 ,则 图像下的面积将大于高度为 的矩形的面积,小于高度为 的矩形的面积(参见 图 7)。所以
关于端点的可加性 假设 。则
再次假设 为正。那么这个性质应该被理解为: 图像在 和 之间的面积等于 和 之间的面积加上 和 之间的面积(参见 图 8)。
解答
回想一下,如果函数 满足 ,则称其为奇函数;如果满足 ,则称其为偶函数。
假设 是一个奇函数,首先考虑从 到 的积分。我们进行替换 ,因此 。请注意,如果 ,那么 ;如果 ,那么 。因此
- .
由于 是奇函数,,因此积分变为
- .
现在我们可以用任何其他变量替换哑变量 。因此,我们可以用字母 替换它,得到
- .
现在我们将积分分成两部分
- .
偶函数公式的证明类似。
5. 证明如果
是一个连续的偶函数,那么对于任何
,
- .