不定积分,为什么∫ 3(tant)^2=∫ 1/cos^2tdt-∫ 1dt