tanx=sinx/cosx
用商法则
(f/g)'=(f'g-g'f)/g^2
[sinx/cosx]'=[(sinx)'cosx-sinx(cosx)']/(cosx)^2
=[cosx*cosx+sinx*sinx]/(cosx)^2
=1/(cosx)^2
=(secx)^2