lim x->0 (f(1+x)-f(1))/x = lim x->0 a*(f(x)-f(0))/x
而f'(0) =lim x->0 (f(x)-f(0))/x
所以lim x->0 (f(1+x)-f(1))/x存在,且lim x->0 (f(1+x)-f(1))/x = af'(0)=ab
所以f'(1) 存在,且f'(1) = ab