假设我们给定一个函数,想要确定其图形在一个区间上的面积。我们可以猜想,但如何计算出确切的面积呢?下面,通过一些巧妙的思路,我们实际上 *定义* 这种面积,并表明通过使用所谓的 **定积分**,我们可以确切地确定曲线下的面积。
图 1:
从
到
下的曲线面积的近似值。
图 2: 从
到
下的曲线面积的近似矩形,采样点为
。
定义
图形下的面积的粗略思路是用有限个矩形来近似这个面积。由于我们可以很容易地计算出矩形的面积,因此我们得到了图形下面积的估计。如果我们使用更多更小的矩形,我们预计图形下曲线的面积会更精确,从而得到更好的近似值。在某种程度上,似乎我们可以使用我们从微分中熟悉的极限,并使用 “无限个” 矩形来得到确切的面积。让我们更详细地研究一下这样的想法。
假设我们有一个在区间
上为正的函数
,我们想找到
在
和
之间的面积
。让我们选择一个整数
,并将区间分成
个宽度相等的子区间(参见图 1)。由于区间
的宽度为
,每个子区间的宽度为
。我们用
表示子区间的端点。这给了我们

图 3:黎曼和随着细分的增加,产生了更好的近似值。
现在,对于每个
,选择区间
内的一个 *采样点*
,并考虑以
为高,
为宽的矩形(参见 图 2)。这个矩形的面积是
。通过将所有
的矩形面积加起来,我们得到面积
的近似值。

使用 求和符号 来表达会更加方便。

对于每个数
,我们得到一个不同的近似值。当
越来越大时,矩形的宽度越来越小,从而产生更好的近似值(参见 图 3)。当
随着
趋于无穷大时,我们得到面积
。
事实上,如果
在
上是连续的,那么这个极限总是存在的,并且不依赖于点
的选择。例如,它们可以均匀分布,也可以在区间内以任意方式分布。这个证明是技术性的,超出了本节的范围。
图 4:积分表示图形下的有符号面积。
这个定义的一个重要特征是,我们也允许函数取负值。如果对于所有
,有
,则
,因此
。因此,
的定积分将是严格负数。更一般地,如果
同时取正值和负值,那么
将是
图形正部分下的面积 **减去** 图形负部分之上的面积(参见 图 4)。因此,我们称
是图形下的 **有符号面积**。
需要注意的是,变量
在积分定义中并没有扮演重要的角色。事实上,我们可以用任何其他字母来代替它,所以以下都是相等的

每一个都是
图像在
和
之间的有符号面积。这种变量通常被称为 哑变量 或 约束变量。
图 5:右黎曼和
图 6:左黎曼和
以下方法有时被称为 L-RAM 和 R-RAM,RAM 代表“矩形逼近法”。
我们本可以决定选择所有的样本点
在区间
的右侧(见 图 5)。然后
对于所有的
,我们称之为
的面积逼近就变成了

这被称为 右黎曼和,而积分就是它的极限

或者,我们可以把每个样本点都放在区间的左侧。在这种情况下
(见 图 6),逼近就变成了

那么
的积分是

关键是,只要
是连续的,这两个定义得到的积分结果相同。
例子 1
在这个例子中,我们将计算由
图像所确定的曲线在
为 0 到 1 之间的曲线下的面积。首先,我们固定一个整数
,并将区间
分成
个宽度相等的子区间。因此,每个子区间的宽度为

为了计算积分,我们将使用右端黎曼和。(我们也可以使用左端和,最终结果相同)。对于右端和,样本点为

请注意
。将此代入近似公式,得到

现在我们使用 公式

得到

为了计算
在
和
之间的积分,我们取
趋于无穷大的极限,

例2
接下来我们将展示如何找到函数
在
和
之间的积分。这次区间
的宽度为
,所以

我们再次使用右黎曼和。所以我们选择的样本点是

因此
|
|
|
|
|
|
|
|
我们需要计算这个等式右边每一部分的值。对于前两部分,


对于第三个求和,我们需要使用一个公式

得到

将它们组合起来

当
趋于无穷大时,极限为
|
|
|
|
|
|
|
|
解答
从积分的定义中,我们可以推导出一些基本性质。对于所有以下规则,假设
和
在
上是连续的。
常数规则 
当
为正数时,函数
在点
处的函数高度是函数
处的函数高度的
倍。因此,
在
和
之间的面积是
之间面积的
倍。我们也可以使用积分的定义,利用极限的常数规则来证明,

示例
我们在上一节中看到了

使用常数规则,我们可以用它来计算
,
.
示例
我们在上一节中看到了

我们可以使用这个和常数规则来计算

该规则有一个用于积分常数的特殊情况。
积分常数
如果
是常数,则 
当
且
时,该积分是一个高度为
,宽度为
的矩形的面积,等于
。
示例



积分的加减法规则
与常数规则一样,加法规则遵循极限的加法规则。
|
|
|
|
|
|
减法规则可以用类似的方法证明。
示例
从上面的例子中可以看出,
以及
所以


示例

3. 利用减法规则求出

和

在

和

之间的图形面积。


解答
图 7: 对
在
上的面积进行边界划分
如果
,则计算
积分的黎曼和中的每个矩形都将在
轴上方,因此面积将是非负的。如果
,则
,根据第一个性质,我们得到第二个性质。最后,如果
,则
图像下的面积将大于高度为
的矩形的面积,小于高度为
的矩形的面积(参见 图 7)。所以

关于端点的可加性 假设
。则

再次假设
为正。那么这个性质应该被理解为:
图像在
和
之间的面积等于
和
之间的面积加上
和
之间的面积(参见 图 8)。
图 8:关于端点的可加性性质的说明
解答
回想一下,如果函数
满足
,则称其为奇函数;如果满足
,则称其为偶函数。
假设
是一个奇函数,首先考虑从
到
的积分。我们进行替换
,因此
。请注意,如果
,那么
;如果
,那么
。因此
.
由于
是奇函数,
,因此积分变为
.
现在我们可以用任何其他变量替换哑变量
。因此,我们可以用字母
替换它,得到
.
现在我们将积分分成两部分
.
偶函数公式的证明类似。
5. 证明如果

是一个连续的偶函数,那么对于任何

,
.