第一基本定理

第一基本定理

第一基本定理是微积分基本定理的核心组成部分，揭示了微分与积分之间的互逆关系。该定理指出：若函数f在区间[a,b]上连续，则积分上限函数S(x)=∫ax f(t)dt在[a,b]上连续且在(a,b)内可导，其导数S’(x)=f(x) 。

该定理分为两部分，第一基本定理通过建立积分与导数的直接联系，为第二基本定理（牛顿-莱布尼茨公式）的定积分计算方法奠定基础。它保证了连续函数原函数的存在性，并表明导数和积分互为逆运算 。

詹姆斯·格里高利于17世纪中期首次发表几何证明，艾萨克·巴罗随后完成了一般形式的证明。艾萨克·牛顿在巴罗研究基础上完善理论体系，戈特弗里德·莱布尼茨则系统化发展相关理论并引入现行符号。奥古斯丁·路易·柯西等数学家进一步推动了定理的形式化进程 。

想要了解更多“第一基本定理”的信息，请点击：第一基本定理百科