tan(x/2)=t の両辺を x で微分
(1/2){1/cos^2(x/2)}=dt/dx
dx/dt=2cos^2(x/2)=1+cosx=1/(t^2+1)