令g(x)=f(x)-(1+x)/2
g'(x)=f'(x)-1/2>0.
所以g(x)在定义域上严格递增.
g(1)=f(1)-1=0.
所以当x