【中值定理，还原法】

1）构造辅助函数

2）罗尔定理：

    闭区间连续，开区间可导

    F（a）=F（b）

3）F‘（ξ）=0，原命题得证

三、高阶微分方程

常用辅助函数：

极限保号性：