不妨令x1>x2
x1-x2<=|f(x1)-f(x2)|
1<=|(f(x1)-f(x2))/(x1-x2)|
当x1趋近于x2的时候,有1<=|f+'(x2)|=|f'(x2)|
又由连续性,可知f'在(0,1]上的符号是单一的
反之,如果任意x属于(0,1]
f'(x)>=1的话,假设x1>x2
|f(x1)-f(x2)|=f(x1)-f(x2)=integral_x2^x1 f'(x)>=min{f'(x)}(x1-x2)=x1-x2=|x1-x2|
f'(x)<=-1的话,假设x1>x2
|f(x1)-f(x2)|=-(f(x1)-f(x2))=integral_x2^x1 (-f'(x))>=min{-f'(x)}(x1-x2)=x1-x2=|x1-x2|
所以原命题等价于f'在定义域内恒>=1或恒<=-1