导数的定义式就是个极限的式子.导数四则运算法则的证的四则运算法则明用到的理论依据就是极限