基本函数公式与高阶导数