微积分到定积分的全面底层推导证明：

证明：

看到互联网上没有全面进行推导的证明过程，接下来我来从底层进行推导这个公式：

我们以随便一个函数曲线为例但必须要连续：

用微分的方法：

这里的小矩形的面积

它的面积S是不是大于|X1-X2| ·f(X1)？小于|X1-X2|·f(X2)?   答案是：是的。

既：|X1-X2| ·f(X1) <=S<=|X1-X2|·f(X2)

很明显这里的曲线f(X1)是最小值，f(X2)是最大值，这是特殊情况。即便放在一般情况下，闭合的连续的曲线也一定有最大值和最小值吧?   是的，一定有。

那么我们可以不可以用一个数？而这个数满足：

f(X1)<=这个数<=f(X2)。这个数·|X1-X2|=S

不妨设这个数为 f(c)

即：f(c)·|X1-X2|=S

那么这个f(c)到底存在不存在这个连续的曲线上呢？

答案是存在的。

即是积分中值定理

---------------------------------------------------------------------------------------------------------------------------------

（接下来是积分中值定理的证明，不想了解底层的可以跳过，直接记忆这个定理即可）：

那么介值定理从哪里来呢？（接下来是介值定理的证明，不想了解底层的可以跳过，直接记忆这个定理即可）：

可以看出这里的最底层原理，用的是反证法，这也是多数底层原理所用的方法，比如：

两个直线不相交就是属于平行关系（欧几里得几何）

--------------------------------------------------------------------------------------------------------------------------------

由于X1与c与X2间隔太小了(  dx->0 )

所以可以理解为 f(c)无限趋近于f(X1)和f(X2)，即f(X1)=f(c)=f(X2)，X1=c=X2。

到正题了：

看了其他博主给的解答，他们都无缘无故设函数，这样让人看着摸不着头脑。而我将一步一步引导你去怎么思考？

1.，我们是为了证明这个为什么要用它的F(x)形式去计算。所以这个公式我们是没有这个结论去计算这个公式的，没有公式就无从下手去计算它。怎么办呢？

我们可以用加减公式啊：

好了，到这了，其实这里的微积分有隐含特性：

什么特性呢？

这里的X0和X0+h在区间范围内可取端点

就是

那么代入就证明出来了。

为了方便理解：我把他们实例化一下：

---------------------------------------------------------------------------------------------------------------------------------

---------------------------------------------------------------------------------------------------------------------------------

证明完成。