絕對值函數(shù)；

x為變量，根據(jù)x的不同區(qū)間得相應(yīng)函數(shù)，積分區(qū)間是對應(yīng)t的：

cosx在（0，π/2）為正，（π/2,π3/4）為負(fù)：

構(gòu)造函數(shù)，高階求導(dǎo)看單調(diào)：

構(gòu)造輔助函數(shù)：

羅爾可證