0<=1-cosx=2sin²x/2<=2*(x/2)²=x²/2因为lim0=lim(x->0)x²/2=0所以由夹逼准则,得当x趋近于0时lim1-cosx=0即当x趋近于0时limcosx=1
lim(x->0)cosxTaylor expansion of cosx1-x^2/2!+x^4/6!-x^8/8!+...for x->0cosx >= 1-x^2/2!ie 1-x^2/2! <= cosx <=1lim(x->0) cosx =1