对任意x>y 且xy属于(a,b)
有中值定理可知f(x)-f(y)=f`(ξ)(x-y)
当ξ≠c 时那么结论自然成立 下面假设存在x,y使得ξ=c c∈(y,x)
那么f(x)=f(y)
对(c,x)用中值定理 有f(x)-f(c)=f`(ξ1)(x-c)>0
(y,c)用中值定理 有f(y)-f(c)=f`(ξ2)(y-c)<0
这与f(x)=f(y)矛盾
这句话已经接近定义了,本身没有太大的证明价值
因为函数中仅有有有限个点一阶导为零且函数一阶导恒为非负且函数处处可导,所以函数严格单调递增,QEC