微积分基本定理和證明

快捷方式: 差异，相似，杰卡德相似系数，参考。

微积分基本定理和證明之间的区别

微积分基本定理 vs. 證明

微积分基本定理描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分，称为微积分第一基本定理，表明不定积分是微分的逆运算。這一部分定理的重要之處在於它保證了某連續函數的原函數的存在性。 定理的第二部分，称为微积分第二基本定理或“牛顿-莱布尼茨公式”，表明定积分可以用无穷多个原函数的任意一个来计算。这一部分有很多实际应用，这是因为它大大简化了定积分的计算。 该定理的一个特殊形式，首先由詹姆斯·格里高利（1638-1675）证明和出版。定理的一般形式，则由艾萨克·巴罗完成证明。 微积分基本定理表明，一个变量在一段时间之内的无穷小变化之和，等于该变量的净变化。 我们从一个例子开始。假设有一个物体在直线上运动，其位置为x(t)，其中t为时间，x(t)意味着x是t的函数。这个函数的导数等于位置的无穷小变化dx除以时间的无穷小变化dt（当然，该导数本身也与时间有关）。我们把速度定义为位置的变化除以时间的变化。用莱布尼兹记法： 整理，得 根据以上的推理，x的变化──\Delta x，是dx的无穷小变化之和。它也等于导数和时间的无穷小乘积之和。这个无穷的和，就是积分；所以，一个函数求导之后再积分，得到的就是原来的函数。我们可以合理地推断，这个运算反过来也成立，积分之后再求导，得到的也是原来的函数。. 在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.