上的切线斜率。对于可导的函数formula_1，formula_12也是一个函数，称作formula_1的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。
定义.
一般定义.设有定义域和取值都在实数域中的函数 formula_14。若 formula_15 在点 formula_16 的