设f(x)定义在[0,c],f'(x)存在且单调减少、f(0)=0用拉格朗日中值定理证明对于0≤a<b≤a+b<c恒有f