The value of the integral ∫01xcot−1(1−x2+x4)dx is:
Solutions · 1
Official solution
\[\int_0^1x\cot^{-1}(1-x^2+x^4)\,dx=\int_0^1x\tan^{-1}\left(\frac1{1+x^4-x^2}\right)dx=\int_0^1x\tan^{-1}\left(\frac{x^2-(x^2-1)}{1+x^2(x^2-1)}\right)dx\]
\[=\int_0^1x\left[\tan^{-1}x^2-\tan^{-1}(x^2-1)\right]dx\]
Substituting t=x2 in the first part and k=x2−1 in the second (both with xdx=21dt):
\[=\frac12\int_0^1\tan^{-1}t\,dt-\frac12\int_{-1}^0\tan^{-1}k\,dk\]
Using ∫tan−1udu=utan−1u−21ln(1+u2):
\[=\frac12\left[\frac\pi4-\frac12\ln2\right]-\frac12\left[-\frac\pi4-\frac12\ln2\right]=\frac\pi4-\frac12\ln2\]