lim(x->0) f(x)/(1-cosx)=2>0==>f(0)=0 且 在x=0的某个领域内 f(x)/(1-cosx)>0(极限的保号性)
由于1-cosx>=0==> f(x)>0=f(0) ==>f(0)是极小值