∫11+cotxdx
=∫11+cosxsinx=12∫2sinxsinx+cosxdx=12∫(sinx+cosx)−(cosx−sinx)(sinx+cosx)dx
=12[∫1 dx−∫cosx−sinxsinx+cosxdx]
sinx+cosx=t
cosx+(−sinx)dx=dt
(cosx−sin)dx=dt
12[x−∫dtt]
12[x−In |t|]+c
12[x−In(sinx+cosx)]+c
x2−12In (sinx+cosx)+c
∴∫dx1+cotx=x2−12In(sinx+cosx)+c