令x=tantdx=sec²tdt原式=∫sec²t/[tantsect] dt=∫(1/cost)/(sint/cost) dt=∫1/sint dt=∫csctdt=ln|csct -cot t|+c=ln|√(1+x²)/x -1/x|+c=ln|√(1+x²) -1| -ln|x|+c
