罗尔定理:由最值定理,端点值相等极值异号为条件,以及费马引理证明得来。作用:证明函数导数存在零点;等式成立等式成立则原函数存在零点做辅助函数,视零点为驻点。此时如果辅助函数满足罗尔定理,则此驻点存在,则等式成立拉格朗日中值定理:利用罗尔定理证明得来。作用:不等式成立(等价代换以及极限有界性)两个推论以及等式成立(等式成立原函数为常值函数,其导数为0。证明其导数为0即可)区别在于:罗尔定理做辅助函数(适合求导不容易函数)拉格朗日求导