证明函数有导函数(9个结果)
证明函数有导函数