导函数是微积分中的一个重要概念，它描述了函数在某一点的瞬时变化率。导函数有以下几个重要的定理：

可导性定理

函数在某一点可导的充分必要条件是该点的左导数和右导数存在且相等。

极值定理

函数在极值点处的导数为零。

介值定理

连续函数在两点之间取得介值，即如果函数在区间[a, b]上连续，且f（a）和f（b）异号，则存在至少一个c∈（a, b）使得f'（c）=0。

洛必达法则

用于计算不定式极限，例如当极限形式为0/0或∞/∞时，可以通过求导数的方式来计算极限。

链式法则

用于复合函数的导数计算，如果y=f（u）且u=g（x），则dy/dx = dy/du * du/dx。

分部积分法

用于求导积分，即∫udv = uv - ∫vdu。

导函数介值定理（Darboux定理）

如果函数f（x）在区间[a, b]上可导，则f'（x）在[a, b]上不可能存在第一类间断点。

导函数连续定理

如果函数f（x）在x0的某邻域内连续，在内可导，且存在极限lim（x->x0） f'（x），则f'（x0）存在且等于该极限。

四则运算的求导法则

包括函数和、差、积、商的求导法则，这些法则说明了可导函数之间运算的导数如何计算。

导数的基本公式

包括常数函数、幂函数、指数函数、对数函数、三角函数等的导数公式。

这些定理和公式是微积分中求导的基础，它们帮助理解和计算函数的变化率，对于理解函数的性质和解决实际问题具有重要意义。