初等函数在其定义域区间内必定存在原函数

设由方程xy²=2所确定的隐函数为y=y(x)，则dy=

若f(x)在x0点可导，则f(x)也在x0点可导

若f(x)在[a,b]上可积，则f(x)在[a,b]上连续

若x0点为y=f（x）的极值点，则必有f（x0）.