Primitive of Function of Arccotangent

Theorem

 * $\ds \int \map F {\arccot \frac x a} \rd x = -a \int \map F u \csc^2 u \rd u$

where $u = \arccot \dfrac x a$.

Proof
First note that:

Then:

Also see

 * Primitive of Function of Arcsine
 * Primitive of Function of Arccosine
 * Primitive of Function of Arctangent
 * Primitive of Function of Arcsecant
 * Primitive of Function of Arccosecant