【李林四】【二大题】

绝对值函数；

x为变量，根据x的不同区间得相应函数，积分区间是对应t的：

cosx在（0，π/2）为正，（π/2,π3/4）为负：

构造函数，高阶求导看单调：

构造辅助函数：

罗尔可证