令x=sect,dx=sect*tantdt,原式=∫sect*tant/sect√sec^2t-1dt=∫dt=t+C
cost=1/x,则t=arccos(1/x)