三角函数求导题如何证明cos x的导数是-sin x

根据导数定义：
(cosx)'=lim {t-->0} [cos(x+t)-cosx]/t
=lim {t-->0} [cosx*cost-sinx*sint-cosx]/t
=lim {t-->0} [cosx*(cost-1)-sinx*sint]/t
=lim {t-->0} [cosx*(cost-1)]/t + lim {t-->0} -(sinx*sint)/t
由于cost-1等价于-(1/2)t^2
sint等价于t,
用等价无穷小替换：
原式=lim {t-->0} [cosx*(-1/2)t^2]/t + lim {t-->0} -(sinx*t)/t
=-sinx
直接替换t^2结果虽然是一样的,但是逻辑上有问题.
cost=1 - (t^2)/2!+ (t^4)/4!- (t^6)/6!+ ...
所以cost-1等价于-(t^2)/2
如果你直接换成t^2,由于分子式t^2,分母是t,所以分式极限也是0.但是这是巧合,如果分母也是t^2量级的话,结果就不一样了.
看不懂也没有关系,有的高中老师不把极限的问题仔细讲,这本来就是大学的内容,刚学的时候我也不懂,高中阶段包括高考和竞赛,只要知道结论就可以了