f'(x1)=lim[(f(x)-f(x1))/(x-x1)]>0，由极限的保号型：存在a>0，当x属于(x1,x1+a)区间时，[(f(x)-f(x1))/(x-x1)]>0，即：f(x)>f(x1)
