构造辅助函数

中值定理证明题的关键，是把要证的式子倒推成某个函数的导数为零。