若不存在 f'(a)>1,则f'(a)≤1
∫[0,1] [f'(x)-1]dx ≤ 0
因为f'(x)不恒等于1
所以∫[0,1] [f'(x)-1]dx < 0
所以∫[0,1] f'(x)dx < 1 ≠ 1,矛盾
不知道这样行不行