单中值问题都可以用通过求解微分方程的特解构造辅助函数，再用罗尔定理即可。 

        高阶导数的莱布尼兹公式推导以及应用，先求导至能够发现某次求导开始为0的时候，对其使用莱布尼兹公式。