StepWorking
01Given
The integral to evaluate is J=4I=4∫01cot−1(1−2x+4x2)dx=aan−1(2)−bloge(5) where a,b∈N.
02Approach
Rewrite the argument of cot−1 or convert to an−1 using the identity \cot^{-1}(1 - 2x + 4x^2) = an^{-1}\left(rac{2x - (2x-1)}{1 + 2x(2x-1)}
ight) = an^{-1}(2x) - an^{-1}(2x-1), or apply the cotangent subtraction identity directly.
03Execute
Let I = \int_0^1 \cot^{-1}(1 - 2x + 4x^2) \, dx = \int_0^1 \left(\cot^{-1}(2x-1) - \cot^{-1}(2x)
ight) dx. Using the property ∫0af(x)dx=∫0af(a−x)dx on I, we obtain I = \int_0^1 \left(\cot^{-1}(1-2x) - \cot^{-1}(2-2x)
ight) dx. Since cot−1(−y)=π−cot−1(y), adding the two representations or simplifying gives 2I = \int_0^1 \left(\pi - 2\cot^{-1}(2x)
ight) dx = \pi - 2 \int_0^1 \cot^{-1}(2x) \, dx.
04Execute
Evaluate ∫01cot−1(2x)dx using integration by parts:
\int_0^1 1 \cdot \cot^{-1}(2x) \, dx = \left[ x \cot^{-1}(2x)
ight]_0^1 - \int_0^1 x \left(-rac{2}{1 + 4x^2}
ight) dx = \cot^{-1}(2) + rac{1}{4} \int_0^1 rac{8x \, dx}{1+4x^2} = \cot^{-1}(2) + rac{1}{4} \ln(5).
05Execute
Substitute back into 2I:
2I = \pi - 2\left(\cot^{-1}(2) + rac{1}{4}\ln 5
ight) = (\pi - 2\cot^{-1}(2)) - rac{1}{2}\ln 5 = 2\left(rac{\pi}{2} - \cot^{-1}(2)
ight) - rac{1}{2}\ln 5 = 2 an^{-1}(2) - rac{1}{2}\ln 5.
Therefore, J=4I=2(2I)=4an−1(2)−ln(5).
06Execute
Comparing with aan−1(2)−bloge(5) gives a=4 and b=1. Thus, 2a+b=2(4)+1=9.
✓Verify
Check that a,b∈N: a=4∈N and b=1∈N. Also, since 1−2x+4x2=(2x−1/2)2+3/4>0 for all x∈[0,1], the inverse cotangent identity cot−1(u)=an−1(1/u) holds without any branch-shift issues.