第一步三角函数性质转换，第二步洛必达法则第三步多此一举，可以直接代入=-0/-1了
secx=1/cosx,tanx=sinx/cosx,secx-tanx=(1-sinx)/cos,分子分母同时求导，得-sinx/-cosxcosx/sinx=cotx
