别慌!这篇微积分教程你一定看得懂!

64ffe927daafcfbafca00acd8c62f81b.png

6b949eaee8720886c7e752e8e7d92277.png

阿基米德在公元前 3 世纪就研究了用于计算面积的积分,牛顿和莱布尼茨在 17 世纪才想出微分的方法。二者中间相差了1800年以上的时间。

00a941ac7812440b5bed326ca447fbc1.png

01

为何先从积分开始?

几乎所有的大学数学教科书都先说明微分后再引入其逆运算—不定积分。而且,用于计算面积的定积分被定义为不定积分的差。虽然按照上述顺序有逻辑地教授数学当然合乎情理,但历史上的发展顺序恰好相反。阿基米德在公元前 3 世纪就研究了用于计算面积的积分,牛顿和莱布尼茨在 17 世纪才想出微分的方法。二者中间相差了1800年以上的时间。

在历史上积分先被发现,这其中存在一定原因。积分与面积、体积等具体量的计算有着直接的关系。另外,研究微分前,首先必须准确地理解无穷小和极限等概念。例如物体运动的速度需要通过微分定义,不过因为在古希腊时期并没有确定极限的概念,所以出现了芝诺的“飞矢不动”悖论。

我认为在学习复杂的微分前,最好还是正确把握从直觉上相对容易理解的积分,再来思考其逆运算微分。因此,先解释积分。不管你是在大学的微积分课上听得不明不白,还是正在打算开始学习微积分,都可以试着“先从积分开始”。

26696fdabba0e63e2d13bb04e7be5ea9.png

02

面积究竟如何计算

积分是从计算图形面积开始的。面积的单位包括平方米、平方千米等,即都带有“平方”二字。边长为1米的正方形面积等于1平方米。也就是说,面积是以正方形作为单位,计算图形的面积相当于几个正方形。如果是长方形,该如何计算面积呢?在小学阶段,我们就学过长方形的面积是长和宽的乘积,不过现在我们先假装没有学过这个计算公式。

假设已知长方形宽 1 米,长 2 米,那么竖着从正中间将长方形分成两个部分,就得到两个边长为 1 米的正方形,所以长方形的面积就等于 2 平方米。也就是说,长和宽的乘积等于长方形的面积。

接下来再假设 n 和 m 均为自然数,已知长方形宽 n 米,长 m 米,那么只要宽被等分成 n 部分,长度被等分成 m 部分,就能得到 n × m个边长为 1 米的正方形(图 7-2)。该长方形的面积正好等于正方形面积的 n × m 倍,即 n × m 平方米。结果还是等于长和宽的乘积。

b265b64f32a8048e4d861b7e5e7951dc.png

即使长和宽的值是分数,只要使用近似值,就能推算出等于整数的长方形面积,其面积依然等于长和宽的乘积。另外,只要考虑到极限,即使长和宽的值是类似(根号2)的无理数,也能用长和宽的乘积来计算面积。

我们在小学还学过三角形的面积等于“底乘以高除以 2”。如图 7-3 所示,如果将三角形的面积增加一倍,那么就等于长方形的面积。

a7625b2d659345009edbba0d1a205852.png

不仅是长方形和三角形,只要是折线围成的图形,不管是什么形状,古希腊人都能找出其面积与三角形面积的关系。正如图 7-4 所示,折线围成的图形即使是不规则的图形,也能用三角形集合来表示,所以只要计算出所有三角形的面积,将计算结果相加就能得到该图形的总面积。

1b005edf6f033f9d3be6d3386bb0ae33.png

c497b208c9ba3f8b5f5582b3b7036533.png

03

如何计算任何形状都 OK,阿基米德的夹逼定理

现在我们已经知道,只要是折线围成的图形,就能将其分割成三角形后再计算面积。那么,如果是光滑曲线围成的图形,例如抛物线和圆等,其面积又该如何计算呢?关于这个问题,我们马上就能想到将曲线近似为折线,如图 7-5 所示。所以求曲线围成的图形面积时,只要计算折线图形的近似面积即可。

8d30fd7fd348ae3cda526b5fef67ab22.png

虽然这个想法不错,不过因为近似总是带有误差,所以有必要估算误差的大小。如果可以的话,尽可能将误差降至 0。这个时候,我们先来解释阿基米德研究出来的“方法”。

如图 7-6 所示,假设已知曲线围成的图形 A,首先在图形A 中画出折线围成的图形 B。然后再画出一个围在图形 A 外侧的图形 C。上述三个图形之间成立一个不等式,即面积 (B) ≤面 积 (A) ≤ 面 积 (C)。我 们 暂时无法正确计算出图形 A 的面积,不过图形 A 的面积大于图形 B 的面积(因为是折线图形,所以可以计算),同时小于图形 C 的面积(因为也是折线图形,所以可以计算)。因此,我们就得出折线图形的近似误差。

500ef1a2e78a2e4969274f06b2cb5980.png

不过,怎样才能将误差降至 0 呢?阿基米德想到的方法是不仅限于一组折线图形 B 和 C,而是如图 77 所示的那样增加顶点数量,使得折线图形不断接近曲线图形 A。因此,这些折线图形可以记作

f09e13af2b2cc69bf5e411422d87f0d9.png

在每一组图形中,图形 A 包含图形 Bn,同时又被图形 Cn所包含。那么,

三者之间的关系与之前相同,即

f4382d569a69f7d13a8dd90cffc374a1.png

28743ccb5a7efb72972f57e718cbff1f.png

图形组(Bn、Cn)的数值越大,近似值就越精确。近似值越精确就代表图形Bn和图形Cn的面积越接近图形A的面积。不过,我们并不知道图形A的面积有多大。那么我们又如何能保证折线图形的面积会不断接近未知的面积呢?

阿基米德认为,在n不断变大的过程中,

8150bbaa37a46a78d28cd4f4217d3116.png

的值会不断变小。所以当 n 是无穷大时,上述公式的差将等于 0。因为图形 A 的面积介于面积 (Bn) 和面积 (Cn) 之间,所以两者均达到极限时的值应该就是图形 A 的面积。据说阿基米德通过借鉴公元前 4 世纪的数学家欧多克索斯的理论,从而研究出了上述方法。因为阿基米德用上述方法成功解决了几何学上的许多问题,所以该方法被称作“阿基米德的夹逼定理”。

接下来我们举例说明如何计算圆的面积。如图 77 所示,(B1、C1) 是正方形,(B2、C2) 是正八边形,可以推测 (B3、C3) 是正十六边形,那么 (Bn、Cn) 就是正0dc100266db08259d0c0ca4bc397ea94.png边形。使用 (Bn、Cn) 近似圆的面积。

用连接圆心和顶点的直线可以将图形 Bn 和图形 Cn 分割成三角形集合。我们可以发现,n 的值每增大 1,两者的面积差

4d608a32329aa85753d8616d4bd37808.png

就会减小至一半以下。n 的值越大,误差就依次减半,越来越小。因此,当 n 是无穷大时,面积 (Cn) 和面积 (Bn) 的值正好相等,而且这个值就等于圆的面积。这就是阿基米德计算圆的面积的方法。

a2d402e21632dc773ab05293709cff59.png

04

积分究竟计算什么

使用阿基米德的夹逼定理,能计算更复杂的曲线图形的面积。用笛卡儿坐标表示的话,如图 78 所示,直线可以表示为 y = ax + b,抛物线表示为

4d4cbc3316a455bf4d277ca9248703b4.png

938f856f24239c6740f4700d5eccf3a0.png

假设已知某函数 f(x),那么我们来思考一下曲线 y = f(x)。如图7-9 所 示,假 设 在 区 间 a ≤ x ≤ b上 f(x) 的值始终大于 0,那么我们来研究一下曲线 y = f(x) 和y = 0、x = a、x = b 这三条直线围成的图形 A(图中的阴影部分)。如果知道如何计算图形 A 的面积,就能通过拼组的方法计算任何曲线围成的图形面积。

53f78d14c328da5333d19b2933bc31d8.png

曲线 y = f(x) 沿着 y 轴方向上升或下降。为了便于计算,假设在区间 a ≤ x ≤ b 上,y = f(x) 一直在增大。在其他情况下,将区间a ≤ b 分成两部分,即 f(x) 不断增大的区间和 f(x) 不断减小的区间。只要将以下方法分别代入上述两个区间即可。

为了用阿基米德的夹逼定理来计算图形 A 的面积,首先将区间a ≤ x ≤ b 分成 n 部分,如图 710 中的图形 Bn 和 Cn。图形 A 包含图形 Bn,同时被包含在图形 Cn 中。图形 Bn 和 Cn 均是长方形集合,所以能够计算出面积。

adc92c731a3e1366a02768213e3c16cb.png

如图 711 所示,面积 (Cn) 和面积 (Bn) 的差等于

03bb42e6daa2c2de635f26868d46901b.png

也就是底 ε = (b − a)/n、高 = (f(b) − f(a)) 的长方形的面积。n 的值越大,ε 的值就越小,因此图形 Bn 和图形 Cn 的面积就越接近。当 ε 的值达到极限即等于 0 时,两个图形的面积相等。达到极限时的值也就是图形 A 的面积。

按照上述方法计算的图形 A 的面积叫作“函数 f(x) 在区间 a ≤ x ≤ b上的积分”,用公式记作

f2377430feac062ef8ec2120b6f7d884.png

与牛顿同时创立微积分法的莱布尼茨发明了符号

8326be8a1b47e12ffc01758c7cf52125.png

是“求和”(sum)的首字母“S”的拉长。而且,“dx”的 d 是指“求差”(difference)的首字母。当将图形近似为长方形集合时, 一个长方形的底长等于 x + ε 和

b9a232a2289452fcea00b4e7be02c5d6.png

x 的“差”。高为 f(x)、底为 e 的长方形面积等于 f(x)e, 因此可以用符号 dx 代替 e,即 f(x)dx。也就是说,

dd5d716a6cf7d86080109fea412be9c7.png

中包含着莱布尼茨的想法, 即“积分是指在 x = a 到 b 的区间上排列出高等于 f(x)、底为 dx 的长方形,并求出它们的面积之和”。

上文中解释的积分沿用了 19 世纪德国数学家波恩哈德 ·黎曼的定义,所以称作“黎曼积分”。其实积分包括许多类,例如法国数学家亨利 ·勒贝格提出的“勒贝格积分”、日本数学家伊藤清提出的“伊藤积分”等。黎曼积分足以处理我们在高中所学的函数问题,不过当我们需要处理类似股票价格等随机波动的数值时,则需要用到伊藤积分。伊藤积分还被用于决定期权的价格, 因此伊藤清被认为是“在华尔街最有名的日本人”。

4b3e6e8aaa5410be3fcdf43fea1bbf93.png

05

积分与函数

我们再来根据黎曼的定义计算各种积分。首先, 如果求一次函数 y = x 在区间 x = 0 到 x = a 上的积分, 结果会如何?如图 7- 12所示, 这是一个底为 a、高为 a 的直角三角形的面积, 所以应该等于 a2/2 。接下来我们来验算一下。此 时,图 形 Cn 是 底 长 为ε = a/u、高为 ε,2ε , ··· 的长方形集合,那么

3e75db532be3b4947879159c6148679e.png

从毕达哥拉斯那个时候起,人们就知道如何计算 (1 + 2 + ··· + n) 的值。计算时,先将其乘以 2,即

f00a4a581cb29ced04a679d6d55f7967.png

等式右边第 1 个方括号中的第 1 项是 n,第 2 个方括号中的第 1 项是 1,因此两项的和等于 (n + 1)。两个方括号中的第 2 项分别是 (n − 1) 和 2,两项的和也等于 (n + 1)。等式右边总共有 n 个和等于 (n + 1) 的组合,因此右边就等于 n × (n + 1)。因为左边乘以 2,所以最后要除以 2,即

c8d22a7bf8f660bf1dba2da95e76c0b6.png

代入上述公式,即

2493e295199aed310b45cbca690fe159.png

n 的值越大,括号中的 1/n 的值就越能忽略。因此当 n 为无穷大时,面积就等于 

f29c133ffd286b8f5d60965aa0393838.png

结果与直接用三角形计算的面积相等。用积分符号表示的话,即

52e89865df80b2502132943bc2df72d8.png

求二次函数

c92e7374189fcce9e9164d206b4c77a5.jpeg

在区间 x = 0 到 x = a 上的面积也使用同一个方法,不过详细解释起来计算过程有点长。阿基米德在公元前 3 世纪就发现了二次函数的积分公式,因此不解释又太可惜了。那么我就简短地解释一下。在二次函数 y = x2 的情况下,图形 Cn 是底长为 ε =a/n、高为 ε2, (2ε)2, ··· 的长方形集合,即

27dfe90526fd5bdb31be49a941398ba1.png

此处出现的和可以计算为

461d4c98f39e85753711258d3dfc3031.png

那么

1640bcbfdabeff18c90e2952bb8a0b31.png

因此当 n 为无穷大时,可以计算积分

aec75ff0db8b6fd4fb94c78216049fc4.png

详细说明请参考本书附录中的补充知识。使用相同的方法,还能计算更高次函数的积分。计算

e6f152f105e6cfc7b9a74cdd8887f7d8.png

在区 间 x = 0 到 x = a 上的积分时,必须先计算

d6291a099c2c479010f4c47d583687f4.png

1636 年,因“费马大定理”而名声大噪的费马在给朋友的信中提到,因为

2851aa49ff292912bd9ae081913db861.png

所以能计算 

2a82b3ed7b80f30ebb75ffd012f2d227.png

的积分。其实只要使用上述不等式和阿基米德的夹逼定理,就能得出

8b4a9dba93f4e3de0d150e00d0a36f30.png

最后欧拉证明了关孝和与伯努利的公式。由于当时日本采取锁国政策,因此欧拉无从得知关孝和的业绩。正因为如此,他将上述公式中的系数称作伯努利数,这个叫法一直沿用至今。既然关孝和与伯努利独立发现了上述公式,那么应该称之为关 - 伯努利数。

9d83ac088ebb558fdf60b2acb6338d3c.png

06

飞矢不动?

积分与面积和体积的计算有关,而微分则与速度的计算有关。既然要思考速度,那芝诺又要出场了。

我们思考一下离弦之箭的情况。时间是瞬间的集合,那么离弦后的箭在飞行过程中的任何瞬间都处于一个固定位置。既然是固定位置,那就和不动没有什么区别,因此“飞矢不动”是一个悖论。当然,上述命题听起来十分愚蠢。那么到底哪里出错了呢?

首先我们来反思一下速度是什么。假设 1 小时能步行 3.6 千米,那么速度就为 3.6 千米/小时。速度是指移动的距离除以所花费的时间,即

0093e7c31128e28fca5d6a1c967933bf.png

如果再次缩短时间,即

9635b08c113b27f732839aef9edfa914.png

速度就变为了 1 米 / 秒。随着时间的缩短,移动的距离也会变短,如果保持相同的移动速度,那么时间与距离之比也不会发生变化。只要时间逐渐缩短至 0 即达到极限,应该就能定义某个瞬间的速度。

假设在直线上从左向右移动,用直线的坐标 x 来判断位置。将时刻 t 所在的位置记作 x(t),从时刻 t 到 t′ 的区间内只移动了 (x(t′) −x(t))。移动时的平均速度等于 (x(t′) − x(t)) ÷ (t′− t)。因此,如果 t′不断向 t 靠近,那么在极限 t′= t 时应该能够计算出时刻 t 的速度。不过,因为在极限的情况下 x(t′) − x(t) 和 t′− t 的结果均等于 0,所以如果计算 0 ÷ 0,那么计算过程就变得莫名其妙。计算时需要注意。假设 x(t) = t,那么

8ecba202cfd3577fae057564b585ea54.png

之所以在极限的情况下很容易出现 0 ÷ 0 的错误,是因为分子和分母都存在 (t′− t)。不过只要事先将双方的 (t′− t) 相抵消,即使假设 t′= t也不会出现任何问题。

接着思考一下 x(t) = t2 时的情况,即

f2aaefdb7a0ba1fc42e70b69285d508b.png

上述公式中的分子和分母抵消了 (t′− t)。抵消后,假设 t′= t,那么速度等于 2t。也就是说,速度和 t 成正比。

为了计算某个瞬间的速度,思考 (x(t′) − x(t)) ÷ (t′− t) 中 t′→ t的极限时,容易出现 0 ÷ 0 的问题。不过之前的例子已经表明,只要先抵消分子和分母中的 (t′− t) 后再求极限,就不会出现任何问题。用微分的定义可以表示为

94152a3bc96fc99ae347dbce8d5c534e.png

等式右边的符号 lim 是“limit”(极限)的意思。虽然英国的牛顿和德国的莱布尼茨独立发现了微分,不过与积分一样,微分的表达方式 dx/dt也是由莱布尼茨所发明。

回到芝诺的悖论,其中的问题在于

b09b0b5ae537f1299c3164b5efe34db9.png

以及如何计算 t′→ t 的极限。如果随意计算分子和分母的极限,容易引发悖论。如果先假设分子 x(t′) − x(t) 等于 0,那么上述算式就是0÷ (t′− t),之后不管分母 (t′− t) 的值多小,算式都等于 0。这就是“飞矢不动”的根本含义。也就是说,芝诺的悖论错在处理极限的方法。不是要单独思考分子和分母的极限,而是将 (x(t′) − x(t)) ÷ (t′− t) 的分子和分母看成一个整体,对其计算 t′→ t 的极限,“瞬间的速度”才具有意义。从芝诺的时代到牛顿和莱布尼茨真正理解其中含义,中间大约相隔了 2100 年的时间。

f3758d2f5f3b81bac9cf4b722fa7482d.png

07

微分是积分的逆运算

微分是积分的逆运算,这是牛顿和莱布尼茨最重要的发现之一。假设已知函数 f(x),f(x) 在 0 到 a 的区间上的积分表示为

eb43b15208c4aea0298a3bd4ca2dc689.png

可以将其看作 a 的函数。再对 a 微分得到

4d7a246cf572796b99b53bb8ace5d4bd.png

代入原函数 f(x),即 x = a。这意味着微分是积分的逆运算。接下来进行证明。如果图形 A 可以被分为图形 B 和图形 C,即

38a8a00bf18792907f4bd004685a5c6c.png

假设图形 A 是曲线 y = f(x) 下面的区间 0 ≤ x ≤ b。将该区间分成两部分,即 0 ≤ x ≤ a 和 a ≤ x ≤ b。那么面积也被分成

30a04abbacb501004827bb1da9db9067.png

因此,将等式右边的第一项移至左边,得到

878b8b954948bc806ee04aba45d963d9.png

将上述等式代入微分的定义中,那么

5b0277d133c1d954c53bbff9f04eb044.png

为了计算微分,使 a′的值不断变小并趋近 a,那么在短区间 a<x<a′上,f(x) 的值几乎不变。因此积分

1e6c73795252487b48de15457a98d394.png

可以近似等于底为 (a′− a)、高为 f(a) 的长方形面积,即

f46d25ceffd0d88b58a2ed8da05644d7.png

将上述公式代到上面的公式中,得到

665f6c5a797fddfc0234b56b01360496.png

我们可以发现,对积分进行微分后又重新回到了原函数。反之,如果对函数进行微分后再进行积分,那么又会回到最初的状态。

071a260c7d729eb67b7c24792e9e22d6.png

牛顿和莱布尼茨的“微积分学基本定理”指的就是微分和积分是逆运算。在日本的高中教材中,通常先定义微分,然后再定义积分是其逆运算。所以在日本的高中数学中,“微积分学基本定理”不是定理,而是积分的定义。在本章中,我们已经将积分定义为“曲线 y = f(x) 的曲线下面积”,所以“微积分学基本定理”就是一个定理。

2368796bccb3a146db41f8693711aaee.png

08

指数函数的微分与积分

与积分相比,微分是更高级的数学概念,更需要注意处理极限的方法。尽管如此,日本的高中仍然先教微分,原因之一在于微分的计算相对比较简单。使用自然常数 e 的指数函数 

c192be772d4ed4cf4c2eae7f3214b20e.png

接下来我们计算一下该指数函数的微分,首先将其代入微分的定义,得到

3a1e176444165046c67a2f63188f59af.png

指数函数具有以下性质:

694a34c0c7ad3f15b72587de002e2223.png

使用上述公式,等式右边的分子等于

d800ccb1ba1614f5339b540fe8285fe6.png

因此指数函数的微分可以表示为

07f00593175be6971f013fa9b50af309.png

假设等式右边的 x′− x = ε,那么 x′→ x 的极限等于 ε → 0。所以

d4b35521e5b0cae084be3c889e5a84ce.png

上述等式右边的极限值为

d2ab9e79b13a40a2b078a158994856aa.png

证明过程虽然简单,但仍然需要计算。因此,详情请参阅本书附录中的补充知识。使用上述公式,我们可以发现指数函数 ex的微分是其本身。

703f347a4359ae378dda8cdcba107df1.png

既然能够计算微分,那么根据“微积分学基本定理”就能简单地计算积分。首先,分别对上述微分公式的两边进行积分,即

78ff8e8aaf82adacc48c4313e295aecb.png

在上述等式的左边使用基本定理,得到

5df9b61d55390d3283b9228e8d4d7c9f.png

因此,

8c758cda6ae4da4b7801cabd2f9da6af.png

不用借助微分,就能使用定理直接计算指数函数的积分。详情请参阅本书附录中的补充知识。阅读完以后,你会发现与微分相比,积分的计算有多么复杂!

对于三角函数 sin x、cos x 和 tan x,积分也能作为微分的逆运算进行计算。

对于指数函数、三角函数等高中阶段学习的函数,微分的计算比积分简单。但是,除幂函数、指数函数和三角函数以外,能够精确计算微积分的函数非常少。出现在数学应用中的函数,虽然其中也有一些能够使用上述三种函数中的其中一种函数进行近似,不过大多数的函数只能通过计算机进行数值计算。

虽然懂得如何计算指数函数和三角函数的微积分会有帮助,但作为必须要掌握的知识,微分和积分显得尤为重要,因此首先要正确理解微分和积分所包含的意思。正因为如此,本章的内容才从积分开始谈起。

  推荐阅读

9cd37fe626eb31f6fe08261bdd726ef1.png

作者:[日] 大栗博司

译者:尤斌斌

美国加州理工学院理论物理研究所所长,日本东京大学Kavli数学物理学联合宇宙研究机构研究主任大栗博司教授

突破传统数学教育教学顺序、方式 / 以“语言思维”讲解数学核心概念、原理 / 回归“基本原理”重新认识数学本质

dc7d6da55d7a0745306b1f4522013699.jpeg

35f5a87111ab4fa8aee411dbf30dcfcc.jpeg

猜你喜欢

转载自blog.csdn.net/turingbooks/article/details/131318229