莱布尼兹公式不能用于求解一阶导数吗?