∫arccotx/1+x的平方dx,用第一换元法求不定积分,