导数构造函数全归纳