证明一个函数的可微性该怎么做呢?