已知原函数和导函数的关系_如何求原函数（一）

以前我学微积分^[1]的时候，我对这个“如何求原函数”的问题很感兴趣，也就是给定一个函数

，如何找到一个函数

使得

。这个问题有两种角度，一种代数的，一种分析的。代数的角度研究“表示很漂亮”的函数，比如初等函数，然后探索何时它的原函数也是初等函数。这种角度的方法我目前还在学习。我自己探索得更多的是分析的角度，研究有原函数的条件。本文（“如何求原函数”）将主要讲分析的角度。

^[2]

求原函数的问题是很复杂的，因为“有原函数”这个条件不是很“漂亮”，对很多运算都不封闭。（当然，与复分析相对，实分析就是研究那些“不漂亮”的函数的。^[3]）下面举例说明这一点。设

定义为

，

。这函数很明显在

中可微；在0附近它被夹在可微函数

和

之间，二者在0的导数都等于0，所以由夹逼定理

。在闭区间

中

有原函数，但

就没有，证明如下。假设在

中

，那么由Lagrange中值定理容易得到不等式

对任意

成立。所以如果选分划

，就有

。

下面选

，就有

，并且

。

最后一个级数当