求不定积分∫1/(3+cosx)dx,cosx是cosx=(1-t^2)/(1+t^2),这是怎么得到的