为什么∫sec^2tdt=sect*tant-∫sect(sec^2t-1)dt