前面接连发了三篇麦克斯韦方程组的文章（积分篇、微分篇和电磁波篇），从理论上来说，讲麦克斯韦方程组不讲微积分是不行的，因为人家本来就是一组积分方程和一组微分方程。

但是，为了让更多人，尤其是中学生也能理解这“最美的公式”，长尾君还是预设不懂微积分的人也能看懂文章，于是在文章里也只是非常简单地提了一些必要的微积分。现在麦克斯韦方程组讲完了，我们再来好好聊一聊微积分。

微积分有多重要相信大家多多少少心里都有点数，搞数学的不会微积分就跟中学生不会“加减乘除”一样，基本上啥都干不了。牛顿是物理学界的封神人物，然而牛顿还凭借着微积分的发明，跟阿基米德、高斯并称为世界三大数学家，这是何等荣耀？这又从侧面反映出微积分是何等地位？

除了重要，很多人对微积分的另一个印象就是难。在许多人眼里，微积分就是高深数学的代名词，就是高智商的代名词，许多家长一听说谁家孩子初中就学了微积分，立马就感叹这是别人家的天才。其实不然，微积分并不难，它的基本思想甚至是非常简单的，不然也不会有那么多初中生学习微积分的事了。

所以，大家在看这篇文章的时候不要有什么心理负担，微积分并不是什么很难的东西，我们连高大上的麦克斯韦方程组都看过来了，还怕什么微积分对不对？只要跟着长尾科技的思路走，我相信一般的中学生都是可以非常顺畅地理解微积分的。

好，下面进入正题。

01从面积说起

我们从小学就学了各种求面积的公式，什么长方形、三角形、圆、梯形等等，然后“求阴影部分的面积”就成了小时候的一块心理阴影。

不知道大家当时有没有想过一个问题：好像我们每学一种新图形就有一个新的面积公式，可是，世界上有无数种图形啊，难道我要记无数种公式么？这太令人沮丧了！

更令人沮丧的是，还有很多图形根本就没有什么面积公式。比如我随手在纸上画一条曲线，这条曲线围成的面积你要用什么公式来算？但是，它确实围成了一块确定大小的区域啊，大小是确定的就应该能算出面积来，算不出来就是你的数学不行，对吧？于是，这个事就深深地刺痛了数学家们高傲的内心，然后就有很多人来琢磨这个事，比如阿基米德。

如何求一条曲线围成的面积？

面对这个问题，古今中外的数学家的想法都是类似的，那就是：用我们熟悉的图形（比如三角形、长方形等）去逼近曲线围成图形的面积。这就好比在铺地板砖的时候，我们会用尽可能多的瓷砖去填满地板，然后这些瓷砖的面积之和差不多就是地板的面积。

阿基米德首先考虑抛物线：如何求抛物线和一条直线围成的面积？抛物线，顾名思义，就是你往天上抛一块石头，这块石头在空中划过的轨迹。如下图的外层曲线：

这条抛物线和直线BC围成了一个弓形（形状像一把弓箭，涂了颜色的部分），这个弓形的面积要怎么求呢？阿基米德的想法是用无数个三角形去逼近这个弓形，就好像我们用很多三角形的瓷砖去铺满这块弓形的地板一样。

他先画了一个蓝色的大三角形ABC（这个三角形并不是随意画的，抛物线在A点处的切线必须跟BC平行。这里我们不细究，只要知道能够画出这样一个三角形就行）。当然，这个三角形ABC的面积肯定比弓形的面积小，小多少呢？显而易见，小了左右两边两个小弓形的面积。

如果我们能把这两个小弓形的面积求出来，加上三角形ABC就可以求出原来大弓形的面积了。但是，如何求这两个小弓形的面积呢？答案是：继续用三角形去逼近！

于是，阿基米德又使用同样的方法，在这两个小弓形里画了两个绿色的三角形。同样的，在这两个小弓形被两个绿色三角形填充之后，我们又多出了四个弓形，然后我们又用四个黄色的三角形去填充剩余的弓形……

很显然，这个过程可以无限重复下去。我们可以用1个蓝色，2个绿色的，4个黄色的，8个红色的等无穷多个三角形来逼近这个弓形。我们也能很直观地感觉到：我们使用的三角形越多，这些三角形的面积之和就越接近大弓形的面积。用三角形的面积之和来逼近这个弓形面积，这我没意见，但关键是你要怎样求这么多三角形（甚至是无穷多个三角形）的面积呢？

这就是阿基米德厉害的地方，他发现：每次新画的三角形的面积都是上一轮三角形面积的1/4。也就是说，2个绿色三角形的面积之和刚好是1个蓝色三角形面积的1/4；4个黄色的三角形的面积之和刚好是2个绿色三角形的1/4，那么就是1个蓝色三角形面积的1/16，也就是（1/4）²……

如果我们把所有三角形的面积都折算成第一个蓝色三角形ABC（用△ABC表示）的面积，那么大弓形的面积S就可以这样表示：S=△ABC+（1/4）△ABC+（1/4）²△ABC+（1/4）³△ABC……

这东西放在今天就是一个简单的无穷级数求和问题，但阿基米德是古希腊人，那是秦始皇都还没统一中国的年代，什么高等数学更是不存在的，怎么办呢？

阿基米德计算了几项，直觉告诉他这个结果在不断地逼近（4/3）△ABC，也就是说你用的三角形越多，面积S就越接近（4/3）△ABC。于是阿基米德就猜测：如果我把无穷多个三角形的面积都加起来，这个结果应该刚好等于（4/3）△ABC。

当然，光猜测是不行的，数学需要的是严格的证明，然后阿基米德就给出了证明。他证明如果面积S大于（4/3）△ABC会出现矛盾，再证明如果它小于（4/3）△ABC也会出现矛盾，所以这个面积S就只能等于（4/3）△ABC，证毕。

就这样，阿基米德就严格地求出了抛物线和直线围成的弓形的面积等于△ABC的4/3，他使用的这种方法被称为“穷竭法”。

02一千年以后

时光荏苒，再见已经是一千八百年后的十七世纪了。

穷竭法可以精确地算出一些曲线围成的面积，但是它有个问题：穷竭法对于不同曲线围成的面积使用不同的图形去逼近。比如上面使用的是三角形，在其它地方就可能使用其它图形，不同图形证明技巧就会不一样，这样就比较麻烦。

到了十七世纪，大家就统一使用矩形（长方形）来做逼近：不管你是什么曲线围成的图形，我都用无数个矩形来逼近你，而且都沿着x轴来做切割。这样操作上就简单多了。

还是以抛物线为例，这次我们考虑最简单的抛物线y=x²，它的图像大概就是下面这样（每取一个x的值，y的值都是它的平方），我们来具体算一算这条抛物线在0到1之间与x轴围成的面积是多少。

我们用矩形来逼近原图形，容易想象，矩形的数量越多，这些矩形的面积之和就越接近曲线围成的面积。这个思路跟穷竭法类似，但是更容易理解。

我们假设0到1之间被平均分成了n份，那么每一份的宽度就是1/n。而矩形的高度就是函数的纵坐标的值，纵坐标可以通过y=x²很容易算出来。于是，我们就知道，第1个矩形的高度为（1/n）²，第2个为（2/n）²，第3个为（3/n）²……

有了宽和高，把它们乘起来就是矩形的面积。于是，所有矩形的面积之和S就可以写成这样：

这只是一段普通的化简，相信大家只要知道平方和公式是下面这样就秒懂了：

于是，我们就得到了n个矩形面积之和的表达式：

因为n是矩形的个数，n越大，矩形的数量就越多，那么这些矩形的面积之和就越接近曲线围成的面积。所以，如果n变成了无穷大，我们从“直觉”上认为，这些矩形的面积之和就应该等于抛物线围成的面积。

与此同时，如果n是无穷大，那么这个表达式的后两项1/2n和1/6n²从直觉上来看就应该无限趋近于0，或者说等于无穷小，似乎也可以扔掉了。

于是，当n趋向于无穷大的时候，面积S就只剩下第一项1/3。所以，我们就把抛物线y=x²与x轴在0到1之间围成的面积S算出来了，结果不多不少，就等于1/3。

看完这种计算方法，大家有什么想说的？觉得它更简单，更神奇了，或者其它什么的？大家注意一下我的措辞，在这一段里我用一些诸如“直觉上”、“应该”、“似乎”这种不是很精确的表述。在大家的印象里，数学应该最精确、最严密的一门学科啊，怎么能用这些模糊不清的词来形容呢？

03严密性和实用性

然而，这正是问题所在：不是我不想讲清楚，而是在这个时候根本就讲不清楚。别说我讲不清楚，牛顿和莱布尼茨也讲不清楚，这跟阿基米德用穷竭法求面积时的那种精确形成了鲜明的对比。

使用穷竭法求面积，比如为了得到4/3△ABC，阿基米德就去证明如果它大于4/3会出现矛盾，小于4/3也会出现矛盾，所以你就必须等于4/3。这是非常严密的，虽然操作上麻烦了点，但是逻辑上无懈可击。

但是到了17世纪，我们是怎么得到抛物线与x轴围成的面积等于1/3的呢？我们得到了n个矩形的面积公式：

然后，我们觉得当n越来越大的时候，后面两项1/2n和1/6n²的值会越来越小，当n变成无穷大的时候，后面两项应该就是无穷小。于是，我们就认为可以把它直接舍弃了，所以面积S就只剩下第一项1/3。

但问题是，无穷小是多小？从直觉上来看，不论n取多大，1/2n和1/6n²都应该是大于0的，我们可以直接把0舍掉，但是对于并不等于0的数我们能直接舍弃掉么？这样做的合法性依据在哪里？

相对于古希腊的穷竭法，17世纪这种“统一用矩形来逼近原图形”的想法简单了不少，但同时也失去了一些精确性。虽然它计算的结果是正确的，但是它的逻辑并不严密。逻辑不严密的话，你拿什么保证你今天这样用是正确的，明天我那样用它还是正确的？

想想数学为什么这么令人着迷，为什么《几何原本》至今都保持着无与伦比的魅力？不就是因为数学的血液里一直流淌着无可挑剔的逻辑严密性么？

古希腊人或许早就知道17世纪这种更简单的计算方法，但是因为方法不够严密，所以他们压根不屑于使用。他们宁可绕弯使用更麻烦，但是在逻辑上无懈可击的穷竭法，因为对他们而言：逻辑的严密性，远比计算结果的实用性重要。在对严密性和实用性的取舍上，东西方走了截然不同的两条路：古代中国毫不犹豫地选择了实用性。他们需要数学帮助国家计算税收，计算桥梁房屋等建筑工程，计算商业活动里的各种经济问题。所以，代表中国古代数学的《九章算术》，里面全是教你怎么巧妙地计算这个计算那个。也因此，古代中国会有那么多能工巧匠，会有那么多设计精巧的建筑工程。

西方则截然相反，古希腊人坚定不移的选择了严密性。他们需要严密的逻辑帮他们认识世界的本原，认识世界是由什么组成的，为什么世界会是现在这个样子。所以，代表西方古代数学的《几何原本》就是教你怎么从5个显而易见的公理出发，通过严密的逻辑一步步推导出400多个多定理，即便这些定理并不显而易见。因此，西方能诞生现代科学。

失去简单性，数学会失去很多；失去严密性，数学将失去一切。至于如何让它变得严密，后面我们会细说。

04初见积分

我们从开篇到现在一直在讲面积，而微积分的名字里刚好又有一个“积”字，那么，这两个“积”字有没有什么联系呢？答案是肯定的。

我们可以把微积分拆成“微分”和“积分”两个词，积分这个词当初被造出来，就是用来表示“由无数个无穷小的面积组成的面积S”。

如上图所示，如果一条曲线y=f(x)和x轴在a和b之间围成的面积为S，那么，我们就可以这样表示这部分面积S：

在第2节的例子里，我们求的是抛物线y=x²与x轴在0到1之间围成的面积。那么，在这里f(x)=x²，a=0，b=1，而且最终我们知道这个结果等于1/3，把这些都代入进去我们就可以这样写：

也就是说，代表这块面积的积分值等于1/3。

为了加深一下大家对这个积分式子的理解，我们再回顾一下求抛物线围成面积的过程：我们用无数个矩形把0到1之间分成了无穷多份，然后把所有的矩形面积都加起来。因为矩形的面积就是底乘以高，而这个高刚好就是函数的纵坐标y。

所以，当我用无数个矩形来逼近原面积的时候，每个矩形的底自然就变成了无穷小，这个无穷小的底就是上面的dx。而x²表示的就是函数的纵坐标，就是矩形的高，底（dx）和高（x²）相乘不就是在求面积么？你再看看这个式子，跟前面求面积的过程是不是一样的？

不过，我还是要再强调一次，这里把dx当作一个无穷小的底，把积分当作是求面积，这些都是微积分创立初期的看法。这种看法非常符合我们的直觉，但是逻辑上是不严密的。这种无穷小量dx也招致了很多人（比如我们熟悉的贝克莱大主教）对微积分的攻击，并且引发了第二次数学危机，这场危机一直到19世纪柯西等人完成了微积分的严密化之后才彻底化解。随着微积分的涅槃重生，我们对这些基本概念的看法也会发生根本的改变。

关于求面积的事情到这里就讲完了，“用一些图形去无限逼近曲线图形”的想法很早就有了，穷竭法在古希腊就很成熟了，中国魏晋时期的数学家刘徽使用割圆术去逼近圆周率也是这种思想。到了17世纪初，这些思想并没有什么太大的改变，由于这些解法比较复杂，又很难扩展，所以大家的关注度并不高。

没办法，因为打死人们也不会想到：破解这种求曲线面积（求积分）的关键，竟然藏在一个看起来跟它毫无关联的东西身上，这个东西就是微积分名字里的另一半：微分。当牛顿和莱布尼茨意识到积分和微分之间的内在关系之后，数学就迎来了一次空前的大发展。

05直线和斜率

好，关于求面积（积分）的事情这里就先告一段落，接下来我们就来看看微积分里的另一半：微分。

微分学的基本概念是导数，关于导数，我在麦克斯韦方程组的积分篇里讲过一次，在微分篇里又讲过一次（在那里还讲了升级版的偏导数）。这里它是主角，我再讲一次。

我们爬山的时候，山越陡越难爬；骑车的时候，路面的坡度越大越难骑。一个面的坡度越大，倾斜得越厉害，我们就越难上去，那么，我们该如何衡量这个倾斜程度呢？

在平面里画条一条直线，我们可以直观地看出这条直线的倾斜程度，而且还不难发现：不管在直线的什么地方，它的倾斜程度都是一样的。

所以，我们就可以用一个量来描述这整条直线的倾斜程度，这个概念就被形象地命名为斜率。

那么，一条直线的斜率要怎么计算呢？这个想法也很直观：建一个坐标系，看看直线在x轴改变了Δx时候，它在y轴的改变量Δy是多少。如果Δx是固定的，那么显然Δy越大，这条直线就斜得越厉害，斜率也就越大。

这就跟我们判断跑步的速度是一样的道理：给定一个固定的时间，比如10秒（相当于固定的Δx），看看你能跑多远（相当于Δy），你跑得越远（Δy越大），我就认为你跑得就越快。当然也可以反过来，给定一个固定的距离，比如100米（相当于Δy），你跑的时间越短（Δx越小），我就认为你跑得越快。

把这两种情况综合一下，我们就能发现：固定时间（Δx）也好，固定距离（Δy）也好，最终起决定作用的是Δy和Δx的比值Δy/Δx。这个比值越大，你就跑得越快，对应的直线也就越陡。

所以，我们就可以在直线上随意找两个点，用它们纵坐标之差Δy和横坐标之差Δx的比值（Δy/Δx）来定义这条直线斜率。

学过三角函数的同学也会知道，这个斜率刚好就是这条直线和x轴夹角θ的正切值tanθ，即：tanθ=Δy/Δx。这就是说，直线和x轴的夹角θ越大，它的斜率就越大，就倾斜的越厉害，这跟经验都是一致的。

06曲线和切线

直线好说，关键是曲线怎么办？曲线跟直线不同，它完全可以在这里平缓一点，在那里陡峭一点，它在不同地方的倾斜程度是不一样的。所以，我们就不能说一条曲线的倾斜程度（“斜率”），而只能说曲线在某个具体点的倾斜程度。

于是，我们就需要引入一个新的概念：切线。

切线，直观地看，就是刚好在这点“碰到”曲线的直线。因为切线是直线，所以切线有斜率，于是我们就可以用切线的斜率代表曲线在这点的倾斜程度。

传统上我们可以这样定义切线：先随便画一个直线，让这条直线与曲线有两个交点，这样的直线叫割线（仿佛把曲线“割断”了，如下图蓝色的AB）。然后，我们让B点沿着曲线慢慢向A点靠近，直观上，等到B点和A点重合之后，割线AB就变成了曲线在A点的切线。

这样做很符合人们的直觉，但是它在逻辑上会有一点问题：当B点向A点移时，它是什么时候从割线变成切线的？

重合的时候么？如果B点和A点重合，那就最后只剩下一个点了，我们知道“两点确定一条直线”，一个点怎么能确定一条直线呢？但是，如果B点和A点不重合的话，那么这就仍然是一条割线而不是切线啊。

于是，这样就出现了一个“一看非常简单直观，但是怎么说都说不圆”的情况，似乎两个点不行，一个点也不行，怎么办？

解决这个问题有一个很朴素的思路：要确定这条切线，让A、B两点重合是不行的，但是让它们分得太开也不行。最好就是让这两点靠近靠近无限靠近，但是就是不让它们重合。没重合的话就依然是两个点，两个点可以确定一条直线；无限靠近的话又可以把它跟一般的割线区分开来，这样不就两全其美了么？

也就是说，A、B两点必须无限靠近但又不能重合，这样它们的距离就无限接近0但又不等于0。这是什么？这不就又是无穷小么？

我们前面求曲线围成的面积的时候，核心思想就是用无数个矩形去逼近原图形，这样每个矩形的底就变成了无穷小。在这里，我们又认为当A、B两点的距离变成无穷小的时候，割线AB就变成了过A点的切线，是不是有点巧？它们之间的共性，大家可以好好体会一下~

07初见微分

好，利用无穷小定义了一点上的切线，我们就可以理所当然地用过这点切线的斜率来表示曲线在这点的倾斜度了。

如何求直线的斜率我们上面已经说了，我把这张图再拉回来：

直线的斜率等于在直线上两点的纵坐标之差Δy和横坐标之差Δx的比值，即Δy/Δx。

而切线是当曲线上A、B两点相隔无穷小时确定的直线，那么切线的斜率依然可以写成Δy/Δx，只不过这时Δx和Δy都无限趋近于0。

莱布尼茨就给这两个趋近于0却又不等于0的Δx和Δy重新取了一个名字：dx和dy，并把它们称为“微分”。

也就是说，对莱布尼茨而言，dx这个微分就是当Δx趋向于0时的无穷小量，dy也一样。虽然dx和dy都是无穷小，但是它们的比值dy/dx确是一个有限的数（所以这时候你就不能把无穷小dx当成0了，否则还怎么当除数？），这就是该点切线的斜率，这样一切似乎就都解释得通了。

08导数

显然，我们在曲线的一点上定义了切线，那么在平滑曲线的其它点上也能定义切线。因为每条切线都有一个斜率，所以，曲线上的任何一点都有一个斜率值跟它对应。两个量之间存在一种对应关系，这是什么？这就是函数啊。

函数y=f(x)不就是告诉我们：给定一个x，就有一个y跟它对应么？现在我们是给定一个点（假设横坐标为x），就有一个斜率dy/dx跟它对应。显然，这也是个函数，这个函数就叫导函数，简称导数。

在中学的时候，我们通常在函数f(x)的右上角加上一撇表示这个函数的导数，那么现在这两种情况就都表示导数：

所以，导数f’(x)就可以表示横坐标为x的地方对应切线的斜率，它表示曲线在这一点上的倾斜程度。如果导数f’(x)的值比较大，曲线就比较陡，f’(x)比较小，曲线就比较平缓。于是，我们就可以用导数来描述曲线的倾斜程度了。

下面我们来看一个简单的例子，看看如何实际求一个函数的导数。

例1：求函数f(x)=x²的导数。

这还是我们前面说的抛物线，它的函数图像是这样的：

求函数的导数，就是求函数在每一点切线的斜率，而切线就是曲线上两个相距无穷小的点确定的直线。

那就好说了，我们假设曲线上有一个横坐标为x的点，那么，跟它距离无穷小的点的横坐标就是x+dx，由于这个点也在曲线f(x)=x²上，所以它的纵坐标就是(x+dx)²，即：

然后，我们用这两个点的纵坐标之差f(x+dx)-f(x)除以横坐标之差(x+dx)-x就能算出x点的切线斜率。因为这个x是任意取的，所以得到的结果就是任意点的切线斜率，那么这就是导数了：

到这一步都很简单，接下来就有问题了：这上面和下面的dx到底能不能约掉？

我们知道，除数是不能为0的，如果你想分子分母同时除以一个数，就必须保证这个数不是0。现在我们是想除以dx，这个dx就是我们前面定义的无穷小量，它无限接近于0却又不等于0。

所以，似乎我们姑且把它当作一个非零的量直接给约掉，那么导数上下同时除以dx就成了这样：

这个式子看起来简洁了一些，但是后面还是拖了一个小尾巴dx。

2x是一个有限的数，一个有限的数加上一个无穷小量，结果是多少？似乎还是应该等于这个具体的数。比如，100加上一个无穷小，结果应该还是100，因为如果等于100.00…0001那就不对了，无穷小肯定比你所有能给出的数还小啊，那么也肯定必须比0.00…001还小。

所以，我们似乎又有充足的理由把2x后面的这个dx也给去掉，就像丢掉一个等于0的数一样，这样最终的导数就可以简单地写成这样：

大家看这个导数，当x越来越大（x>0）的时候，f(x)’的值也是越来越大的。而导数是用来表示函数的倾斜程度的，也就是说，当x越来越大的时候，曲线就越来越陡，这跟图像完全一致。

所以，我们通过约掉一个（非零的）dx，再丢掉一个（等于零的）dx得到的导数f(x)’=2x竟然是正确的。

但是这逻辑上就很奇怪了：一个无限趋近于0的无穷小量dx到底是不是0？如果是0，那么为什么可以让分子分母同时除以它来约分；如果不是0，那又为什么可以把它随意舍弃？

总不能同时等于零又不等于零吧？你又不是薛定谔家的无穷小量。

数学不是变戏法，怎么能这么随意呢？于是，这个无穷小量就又招来了一堆批判。为什么说“又”呢？因为我在前面讲积分的时候就说了一次，在这里就体现得更明显了，眼见第二次数学危机大兵压境~

09导数的意义

好，我花了这么大篇幅从直线的斜率讲到了曲线的导数，这就已经进入微分学的核心领地了。为什么导数这么重要呢？

因为导数反映的是一个量变化快慢的程度，这其实就是一种广义的“速度”。速度这个概念在科学里有多重要就不用我说了吧，当我们说一辆车的速度很快的时候，我们其实就是在说这辆车的位移对时间的导数很大。

此外，有了导数，我们就能轻而易举地求一条曲线的极值（极大值或极小值），为什么？因为只要导数不为0，曲线在这里就是在上升（大于0）或者下降（小于0）的，只有导数等于0的地方，才有可能是一个极值点。

求极值可是非常重要的：军人希望他们发射的炮弹可以飞得尽可能地远；商人希望他们的利润可以尽可能地高；我们也希望去哪都能走最近的路……

导数的这些用处很多人也都知道，事实上，我上面说的所有内容，求曲线围成的面积也好，求曲线的导数也好，在牛顿和莱布尼茨之前大家就都已经知道了，但这些并不是最重要的。

牛顿和莱布尼茨之所以伟大，之所以大家把他们视为微积分的发明人，是因为他们在这些寻常事实背后发现了一个极不寻常的秘密：求面积和求导数，或者说积分和微分，这两个看似完全不搭边的东西，竟然是一对互逆的运算。

这里我就不重复说三遍了，暂停一分钟，大家好好思考一下这句话，看看自己听到这句极为重要的话时有何感想。

10互逆运算

积分和微分是一对互逆运算，这是微积分最核心的思想。把这个思想用数学语言描述出来就会得到一个定理，这个定理叫微积分基本定理。

这也是牛顿和莱布尼茨在微积分里最重要的发现，因此，微积分基本定理又叫牛顿-莱布尼茨公式。一个定理能够被称为XX基本定理，能够让这个领域的两个发明者直接冠名，这意味着什么，相信大家心里都有数。

那么，这句话到底是什么意思呢？说求面积（积分）和求导（微分）是一对互逆运算到底是在说什么？甚至，什么叫互逆运算？为什么发现“积分和微分是互逆的”这个事情这么重要？别急，且听长尾君慢慢道来。

什么是互逆运算？这里我们不去细扣它的定义，就直观地感受一下。从名字来看，互逆互逆，那应该就是有两种运算，一种能够把它变过去，另一种又可以把它变回来。

最常见的就是加法和减法：<