If 2∫01tan−1xdx=∫01cot−1(1−x+x2)dx, then ∫01tan−1(1−x+x2)dx is equal to:
Solutions · 1
Official solution
Since cot−1θ=2π−tan−1θ:
2∫01tan−1xdx=∫012πdx−∫01tan−1(1−x+x2)dx∫01tan−1(1−x+x2)dx=2π−2∫01tan−1xdx (a)
Let I1=∫01tan−1xdx=[(tan−1x)x]01−∫011+x2xdx=4π−21log2
By (a): 2π−2(4π−21log2)=log2