构造可导函数解抽象函数