y=fx在点x0连续，则y=fx在点x0必定可导

若z=f（x，y）在点M0（x0，y0）可微，则z=f（x,y）在点M0（x0,y0）连续

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

若y=f（x）为连续函数，则必定可导

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