关于导函数与原函数的若干性质