存在c(i)∈(a,b),使得f'(c(i))=0 (i=1,2,3...n)[i是下标]
设a
不难得出:
增区间上:0
设a=c0,b=c(n+1)
则有
∑∫(c(k),c(k+1))f'(x)dx + ∑∫(c(j),c(j+1))f'(x)dx = ∫(a,b)f'(x)dx=f(b)-f(a)=0
其中(c(k),c(k+1))是增区间,(c(j),c(j+1))是减区间
那么有不等式
0 < ∑∫(c(k),c(k+1))f'(x)dx ≤ ∑∫(c(k),c(k+1))Mdx = M∑(c(k+1)-c(k))
0 > ∑∫(c(j),c(j+1))f'(x)dx ≥ ∑∫(c(j),c(j+1))(-M)dx = -M∑(c(j+1)-c(j))
则可求f(x)最值
f(x)≤∑∫(c(k),c(k+1))f'(x)dx ≤M∑(c(k+1)-c(k))
f(x)≥∑∫(c(j),c(j+1))(-M)dx ≥-M∑(c(j+1)-c(j))