Primitive of Arccotangent of x over a/Proof 1

Theorem

 * $\displaystyle \int \arccot \frac x a \rd x = x \arccot \frac x a + \frac a 2 \, \map \ln {x^2 + a^2} + C$

Proof
Let:

Then: