Solveeit Logo
Login

Question

Question: \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx =...

\int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx =

Answer

\frac{\pi^2}{12}

Explanation

Solution

Let the integral be II. We use the substitution x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. Then dx=12cos⁡θdθdx = \frac{1}{\sqrt{2}} \cos\theta d\theta. The limits of integration change as follows: When x=0x=0, sin⁡θ=0  ⟹  θ=0\sin\theta = 0 \implies \theta=0. When x=13x=\frac{1}{\sqrt{3}}, sin⁡θ=23\sin\theta = \frac{\sqrt{2}}{\sqrt{3}}. Let α=arcsin⁡(2/3)\alpha = \arcsin(\sqrt{2/3}).

The term 1−2x2\sqrt{1-2x^2} becomes 1−sin⁡2θ=cos⁡θ\sqrt{1-\sin^2\theta} = \cos\theta. The term 1+x21+x^2 becomes 1+12sin⁡2θ1+\frac{1}{2}\sin^2\theta.

Substituting these into the integral: I=∫0αarctan⁡(1cos⁡θ)1+12sin⁡2θ(12cos⁡θ)dθI = \int_{0}^{\alpha} \frac{\arctan(\frac{1}{\cos\theta})}{1+\frac{1}{2}\sin^2\theta} \left(\frac{1}{\sqrt{2}}\cos\theta\right) d\theta I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta.

Now, let's use the property arctan⁡(y)=π2−arctan⁡(1y)\arctan(y) = \frac{\pi}{2} - \arctan(\frac{1}{y}). So, arctan⁡(sec⁡θ)=π2−arctan⁡(cos⁡θ)\arctan(\sec\theta) = \frac{\pi}{2} - \arctan(\cos\theta). This is not quite right. Let's use the identity arctan⁡(y)=π2−arctan⁡(1/y)\arctan(y) = \frac{\pi}{2} - \arctan(1/y). arctan⁡(sec⁡θ)=arctan⁡(1cos⁡θ)\arctan(\sec\theta) = \arctan(\frac{1}{\cos\theta}). Let's try another substitution: x=12cos⁡ϕx = \frac{1}{\sqrt{2}} \cos\phi. dx=−12sin⁡ϕdϕdx = -\frac{1}{\sqrt{2}} \sin\phi d\phi. 1−2x2=sin⁡ϕ\sqrt{1-2x^2} = \sin\phi. 1+x2=1+12cos⁡2ϕ1+x^2 = 1+\frac{1}{2}\cos^2\phi. Limits: x=0  ⟹  ϕ=π/2x=0 \implies \phi=\pi/2. x=13  ⟹  cos⁡ϕ=2/3x=\frac{1}{\sqrt{3}} \implies \cos\phi = \sqrt{2/3}. Let β=arccos⁡(2/3)\beta = \arccos(\sqrt{2/3}). I=∫π/2βarctan⁡(csc⁡ϕ)1+12cos⁡2ϕ(−12sin⁡ϕ)dϕ=12∫βπ/2arctan⁡(csc⁡ϕ)sin⁡ϕ1+12cos⁡2ϕdϕI = \int_{\pi/2}^{\beta} \frac{\arctan(\csc\phi)}{1+\frac{1}{2}\cos^2\phi} (-\frac{1}{\sqrt{2}}\sin\phi) d\phi = \frac{1}{\sqrt{2}} \int_{\beta}^{\pi/2} \frac{\arctan(\csc\phi)\sin\phi}{1+\frac{1}{2}\cos^2\phi} d\phi.

Consider the substitution t=2xt = \sqrt{2}x. Then dt=2dxdt = \sqrt{2}dx. dx=12dtdx = \frac{1}{\sqrt{2}}dt. Limits: x=0  ⟹  t=0x=0 \implies t=0. x=13  ⟹  t=23x=\frac{1}{\sqrt{3}} \implies t=\frac{\sqrt{2}}{\sqrt{3}}. I=∫023arctan⁡(11−t2)1+t2212dt=12∫023arctan⁡(11−t2)2+t22dt=∫023arctan⁡(11−t2)2+t2dtI = \int_{0}^{\frac{\sqrt{2}}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-t^2}})}{1+\frac{t^2}{2}} \frac{1}{\sqrt{2}} dt = \frac{1}{\sqrt{2}} \int_{0}^{\frac{\sqrt{2}}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-t^2}})}{\frac{2+t^2}{2}} dt = \int_{0}^{\frac{\sqrt{2}}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-t^2}})}{2+t^2} dt.

Let t=sin⁡θt = \sin\theta. dt=cos⁡θdθdt = \cos\theta d\theta. Limits: t=0  ⟹  θ=0t=0 \implies \theta=0. t=23  ⟹  sin⁡θ=23t=\frac{\sqrt{2}}{\sqrt{3}} \implies \sin\theta = \frac{\sqrt{2}}{\sqrt{3}}. Let α=arcsin⁡(2/3)\alpha = \arcsin(\sqrt{2/3}). I=∫0αarctan⁡(1cos⁡θ)2+sin⁡2θcos⁡θdθI = \int_{0}^{\alpha} \frac{\arctan(\frac{1}{\cos\theta})}{2+\sin^2\theta} \cos\theta d\theta. I=∫0αarctan⁡(sec⁡θ)cos⁡θ2+sin⁡2θdθI = \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{2+\sin^2\theta} d\theta.

Let's try the substitution u=arctan⁡(11−2x2)u = \arctan(\frac{1}{\sqrt{1-2x^2}}). du=11+(11−2x2)2⋅ddx(11−2x2)dxdu = \frac{1}{1+(\frac{1}{\sqrt{1-2x^2}})^2} \cdot \frac{d}{dx}(\frac{1}{\sqrt{1-2x^2}}) dx du=1−2x21−2x2+1⋅ddx((1−2x2)−1/2)dxdu = \frac{1-2x^2}{1-2x^2+1} \cdot \frac{d}{dx}((1-2x^2)^{-1/2}) dx du=1−2x22−2x2⋅(−12)(1−2x2)−3/2(−4x)dxdu = \frac{1-2x^2}{2-2x^2} \cdot (-\frac{1}{2})(1-2x^2)^{-3/2} (-4x) dx du=1−2x22(1−x2)⋅2x(1−2x2)−3/2dx=x(1−2x2)(1−x2)(1−2x2)3/2dx=x(1−x2)1−2x2dxdu = \frac{1-2x^2}{2(1-x^2)} \cdot 2x (1-2x^2)^{-3/2} dx = \frac{x(1-2x^2)}{(1-x^2)(1-2x^2)^{3/2}} dx = \frac{x}{(1-x^2)\sqrt{1-2x^2}} dx. This does not look helpful.

Consider the substitution x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan \theta. dx=12sec⁡2θdθdx = \frac{1}{\sqrt{2}} \sec^2 \theta d\theta. Limits: x=0  ⟹  θ=0x=0 \implies \theta=0. x=13  ⟹  tan⁡θ=23x=\frac{1}{\sqrt{3}} \implies \tan\theta = \frac{\sqrt{2}}{\sqrt{3}}. Let γ=arctan⁡(23)\gamma = \arctan(\frac{\sqrt{2}}{\sqrt{3}}). 1−2x2=1−tan⁡2θ\sqrt{1-2x^2} = \sqrt{1-\tan^2\theta}. This is not good.

Let's revisit I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. We know sin⁡α=2/3\sin\alpha = \sqrt{2/3}, cos⁡α=1/3\cos\alpha = 1/\sqrt{3}. Consider ∫arctan⁡(sec⁡θ)cos⁡θdθ\int \arctan(\sec\theta)\cos\theta d\theta. Let u=arctan⁡(sec⁡θ)u = \arctan(\sec\theta), dv=cos⁡θdθdv = \cos\theta d\theta. du=sec⁡θtan⁡θ1+sec⁡2θdθdu = \frac{\sec\theta \tan\theta}{1+\sec^2\theta} d\theta, v=sin⁡θv = \sin\theta. ∫udv=uv−∫vdu=sin⁡θarctan⁡(sec⁡θ)−∫sin⁡θsec⁡θtan⁡θ1+sec⁡2θdθ\int u dv = uv - \int v du = \sin\theta \arctan(\sec\theta) - \int \sin\theta \frac{\sec\theta \tan\theta}{1+\sec^2\theta} d\theta =sin⁡θarctan⁡(sec⁡θ)−∫tan⁡2θ1+sec⁡2θdθ=sin⁡θarctan⁡(sec⁡θ)−∫sec⁡2θ−11+sec⁡2θdθ= \sin\theta \arctan(\sec\theta) - \int \frac{\tan^2\theta}{1+\sec^2\theta} d\theta = \sin\theta \arctan(\sec\theta) - \int \frac{\sec^2\theta-1}{1+\sec^2\theta} d\theta.

Let's try the substitution t=2xt = \sqrt{2}x. I=∫02/3arctan⁡(1/1−t2)2+t2dtI = \int_{0}^{\sqrt{2}/\sqrt{3}} \frac{\arctan(1/\sqrt{1-t^2})}{2+t^2} dt. Let t=sin⁡θt = \sin\theta. I=∫0αarctan⁡(sec⁡θ)cos⁡θ2+sin⁡2θdθI = \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{2+\sin^2\theta} d\theta. This is not matching the previous result.

Let's use the property ∫0af(x)dx=∫0af(a−x)dx\int_0^a f(x)dx = \int_0^a f(a-x)dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Consider the substitution u=12tan⁡θu = \frac{1}{\sqrt{2}}\tan\theta. du=12sec⁡2θdθdu = \frac{1}{\sqrt{2}}\sec^2\theta d\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}}\sec^2\theta d\theta.

Let's try the substitution x=12tan⁡ϕx = \frac{1}{\sqrt{2}} \tan\phi. This was not good.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. We know sin⁡α=2/3\sin\alpha = \sqrt{2/3}, cos⁡α=1/3\cos\alpha = 1/\sqrt{3}. Let's try another substitution in the original integral. Let x=12cos⁡ϕx = \frac{1}{\sqrt{2}} \cos\phi. I=12∫βπ/2arctan⁡(csc⁡ϕ)sin⁡ϕ1+12cos⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_{\beta}^{\pi/2} \frac{\arctan(\csc\phi)\sin\phi}{1+\frac{1}{2}\cos^2\phi} d\phi. Here cos⁡β=2/3\cos\beta = \sqrt{2/3}, sin⁡β=1/3\sin\beta = 1/\sqrt{3}.

Let's use the identity arctan⁡(y)=π2−arctan⁡(1/y)\arctan(y) = \frac{\pi}{2} - \arctan(1/y). arctan⁡(sec⁡θ)=π2−arctan⁡(cos⁡θ)\arctan(\sec\theta) = \frac{\pi}{2} - \arctan(\cos\theta). This is incorrect.

Let's consider the substitution x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan \theta. dx=12sec⁡2θdθdx = \frac{1}{\sqrt{2}} \sec^2 \theta d\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta.

Let's consider the integral J=∫arctan⁡(11−2x2)1+x2dxJ = \int \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin \theta. J=12∫arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθJ = \frac{1}{\sqrt{2}} \int \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}}\tan\theta. Then du=12sec⁡2θdθdu = \frac{1}{\sqrt{2}} \sec^2\theta d\theta. 1+12sin⁡2θ=1+12tan⁡2θ1+tan⁡2θ=1+122u21+2u2=1+u21+2u2=1+3u21+2u21+\frac{1}{2}\sin^2\theta = 1+\frac{1}{2}\frac{\tan^2\theta}{1+\tan^2\theta} = 1+\frac{1}{2}\frac{2u^2}{1+2u^2} = 1+\frac{u^2}{1+2u^2} = \frac{1+3u^2}{1+2u^2}. sec⁡θ=1+tan⁡2θ=1+2u2\sec\theta = \sqrt{1+\tan^2\theta} = \sqrt{1+2u^2}. cos⁡θ=11+2u2\cos\theta = \frac{1}{\sqrt{1+2u^2}}. arctan⁡(sec⁡θ)=arctan⁡(1+2u2)\arctan(\sec\theta) = \arctan(\sqrt{1+2u^2}). J=12∫arctan⁡(1+2u2)1+3u21+2u211+2u2121+2u21+2u2duJ = \frac{1}{\sqrt{2}} \int \frac{\arctan(\sqrt{1+2u^2})}{\frac{1+3u^2}{1+2u^2}} \frac{1}{\sqrt{1+2u^2}} \frac{1}{\sqrt{2}} \frac{1+2u^2}{1+2u^2} du. This is getting complicated.

Let's try a different approach. Let I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan \theta. This substitution leads to 1−tan⁡2θ\sqrt{1-\tan^2\theta} which is problematic.

Consider the integral I=∫01/3arctan⁡(11−2x2)1+x2dxI = \int_{0}^{1/\sqrt{3}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2} dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin \theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan \theta. du=12sec⁡2θdθdu = \frac{1}{\sqrt{2}} \sec^2 \theta d\theta. 1+12sin⁡2θ=1+12tan⁡2θ1+tan⁡2θ=1+122u21+2u2=1+3u21+2u21+\frac{1}{2}\sin^2\theta = 1+\frac{1}{2}\frac{\tan^2\theta}{1+\tan^2\theta} = 1+\frac{1}{2}\frac{2u^2}{1+2u^2} = \frac{1+3u^2}{1+2u^2}. sec⁡θ=1+2u2\sec\theta = \sqrt{1+2u^2}. cos⁡θ=11+2u2\cos\theta = \frac{1}{\sqrt{1+2u^2}}. I=12∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u21+2u211+2u2121+2u21+2u2duI = \frac{1}{\sqrt{2}} \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{\frac{1+3u^2}{1+2u^2}} \frac{1}{\sqrt{1+2u^2}} \frac{1}{\sqrt{2}} \frac{1+2u^2}{1+2u^2} du. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du.

Let's try the substitution x=12cos⁡ϕx = \frac{1}{\sqrt{2}} \cos \phi. I=12∫βπ/2arctan⁡(csc⁡ϕ)sin⁡ϕ1+12cos⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_{\beta}^{\pi/2} \frac{\arctan(\csc\phi)\sin\phi}{1+\frac{1}{2}\cos^2\phi} d\phi. Let u=12cot⁡ϕu = \frac{1}{\sqrt{2}} \cot \phi. du=−12csc⁡2ϕdϕdu = -\frac{1}{\sqrt{2}} \csc^2\phi d\phi. csc⁡ϕ=1+cot⁡2ϕ=1+2u2\csc\phi = \sqrt{1+\cot^2\phi} = \sqrt{1+2u^2}. sin⁡ϕ=11+2u2\sin\phi = \frac{1}{\sqrt{1+2u^2}}. 1+12cos⁡2ϕ=1+12cot⁡2ϕ1+cot⁡2ϕ=1+122u21+2u2=1+3u21+2u21+\frac{1}{2}\cos^2\phi = 1+\frac{1}{2}\frac{\cot^2\phi}{1+\cot^2\phi} = 1+\frac{1}{2}\frac{2u^2}{1+2u^2} = \frac{1+3u^2}{1+2u^2}. I=12∫arccot⁡(2/3)π/2arctan⁡(1+2u2)1+3u21+2u211+2u2(−12)(−csc⁡2ϕ)dϕI = \frac{1}{\sqrt{2}} \int_{\operatorname{arccot}(\sqrt{2}/\sqrt{3})}^{\pi/2} \frac{\arctan(\sqrt{1+2u^2})}{\frac{1+3u^2}{1+2u^2}} \frac{1}{\sqrt{1+2u^2}} (-\frac{1}{\sqrt{2}}) (-\csc^2\phi) d\phi. I=∫arccot⁡(2/3)π/2arctan⁡(1+2u2)1+3u2duI = \int_{\operatorname{arccot}(\sqrt{2}/\sqrt{3})}^{\pi/2} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du.

Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let f(θ)=arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θf(\theta) = \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta}. Consider the integral ∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθ\int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let's try a different substitution. Let x=tan⁡ϕx = \tan\phi. dx=sec⁡2ϕdϕdx = \sec^2\phi d\phi. I=∫0π/6arctan⁡(11−2tan⁡2ϕ)1+tan⁡2ϕsec⁡2ϕdϕ=∫0π/6arctan⁡(11−2tan⁡2ϕ)dϕI = \int_0^{\pi/6} \frac{\arctan(\frac{1}{\sqrt{1-2\tan^2\phi}})}{1+\tan^2\phi} \sec^2\phi d\phi = \int_0^{\pi/6} \arctan(\frac{1}{\sqrt{1-2\tan^2\phi}}) d\phi. Let 2tan⁡ϕ=sin⁡ψ\sqrt{2}\tan\phi = \sin\psi. tan⁡ϕ=12sin⁡ψ\tan\phi = \frac{1}{\sqrt{2}}\sin\psi. dϕ=12cos⁡ψ1+tan⁡2ϕdψ=12cos⁡ψ1+12sin⁡2ψdψd\phi = \frac{1}{\sqrt{2}} \frac{\cos\psi}{1+\tan^2\phi} d\psi = \frac{1}{\sqrt{2}} \frac{\cos\psi}{1+\frac{1}{2}\sin^2\psi} d\psi. 11−2tan⁡2ϕ=11−sin⁡2ψ=sec⁡ψ\frac{1}{\sqrt{1-2\tan^2\phi}} = \frac{1}{\sqrt{1-\sin^2\psi}} = \sec\psi. Limits: ϕ=0  ⟹  ψ=0\phi=0 \implies \psi=0. ϕ=π/6  ⟹  tan⁡(π/6)=1/3\phi=\pi/6 \implies \tan(\pi/6) = 1/\sqrt{3}. sin⁡ψ=2/3\sin\psi = \sqrt{2}/\sqrt{3}. Let α=arcsin⁡(2/3)\alpha = \arcsin(\sqrt{2/3}). I=∫0αarctan⁡(sec⁡ψ)12cos⁡ψ1+12sin⁡2ψdψI = \int_0^{\alpha} \arctan(\sec\psi) \frac{1}{\sqrt{2}} \frac{\cos\psi}{1+\frac{1}{2}\sin^2\psi} d\psi. I=12∫0αarctan⁡(sec⁡ψ)cos⁡ψ1+12sin⁡2ψdψI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\psi)\cos\psi}{1+\frac{1}{2}\sin^2\psi} d\psi. This is the same form as before.

Let u=12tan⁡θu = \frac{1}{\sqrt{2}}\tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. du=12cosh⁡tdtdu = \frac{1}{\sqrt{2}} \cosh t dt. 1+2u2=1+sinh⁡2t=cosh⁡2t1+2u^2 = 1+\sinh^2 t = \cosh^2 t. 1+2u2=cosh⁡t\sqrt{1+2u^2} = \cosh t. 1+3u2=1+32sinh⁡2t=1+32(cosh⁡2t−1)=32cosh⁡2t−121+3u^2 = 1+\frac{3}{2}\sinh^2 t = 1+\frac{3}{2}(\cosh^2 t - 1) = \frac{3}{2}\cosh^2 t - \frac{1}{2}. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}}\sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan \theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let 2tan⁡θ=sin⁡ϕ\sqrt{2}\tan\theta = \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi. Let f(ϕ)=arctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕf(\phi) = \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi}. Consider the integral ∫0π/2f(ϕ)dϕ\int_0^{\pi/2} f(\phi) d\phi. Let's use the property ∫0af(x)dx=∫0af(a−x)dx\int_0^a f(x)dx = \int_0^a f(a-x)dx. This does not seem to apply directly.

Let's go back to I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Consider the integral ∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθ\int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let J=∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθJ = \int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. du=12sec⁡2θdθdu = \frac{1}{\sqrt{2}} \sec^2\theta d\theta. J=∫0∞arctan⁡(1+2u2)1+3u2duJ = \int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. J=∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtJ = \int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let's use the property arctan⁡(y)=π2−arctan⁡(1/y)\arctan(y) = \frac{\pi}{2} - \arctan(1/y). arctan⁡(sec⁡θ)=π2−arctan⁡(cos⁡θ)\arctan(\sec\theta) = \frac{\pi}{2} - \arctan(\cos\theta). This is not correct.

Let's try a different approach. Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan \theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let tan⁡θ=12sin⁡ϕ\tan\theta = \frac{1}{\sqrt{2}} \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let's consider the integral ∫arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθ\int \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's try the substitution x=12cos⁡ϕx = \frac{1}{\sqrt{2}} \cos\phi. I=12∫βπ/2arctan⁡(csc⁡ϕ)sin⁡ϕ1+12cos⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_{\beta}^{\pi/2} \frac{\arctan(\csc\phi)\sin\phi}{1+\frac{1}{2}\cos^2\phi} d\phi. Let u=12cot⁡ϕu = \frac{1}{\sqrt{2}} \cot\phi. I=∫arccot⁡(2/3)π/2arctan⁡(1+2u2)1+3u2duI = \int_{\operatorname{arccot}(\sqrt{2}/\sqrt{3})}^{\pi/2} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫arsinh⁡(2/3)∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})}^{\infty} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let's consider the integral J=∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθJ = \int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. J=∫0∞arctan⁡(1+2u2)1+3u2duJ = \int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. J=∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtJ = \int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's try the substitution x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let t=tan⁡θt = \tan\theta. I=∫02/3arctan⁡(11−t2)1+12t212dtI = \int_0^{\sqrt{2}/\sqrt{3}} \frac{\arctan(\frac{1}{\sqrt{1-t^2}})}{1+\frac{1}{2}t^2} \frac{1}{\sqrt{2}} dt. Let t=12sin⁡ϕt = \frac{1}{\sqrt{2}} \sin\phi. I=∫0αarctan⁡(sec⁡ϕ)1+12sin⁡2ϕ12cos⁡ϕdϕI = \int_0^{\alpha} \frac{\arctan(\sec\phi)}{1+\frac{1}{2}\sin^2\phi} \frac{1}{\sqrt{2}} \cos\phi d\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi.

Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's try a different substitution. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}}\sec^2\theta d\theta. Let tan⁡θ=12sin⁡ϕ\tan\theta = \frac{1}{\sqrt{2}} \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi.

Consider the integral ∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθ\int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. ∫0∞arctan⁡(1+2u2)1+3u2du\int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. ∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdt\int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let's consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let tan⁡θ=12sin⁡ϕ\tan\theta = \frac{1}{\sqrt{2}} \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi.

Let's consider the integral J=∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθJ = \int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. J=∫0∞arctan⁡(1+2u2)1+3u2duJ = \int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. J=∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtJ = \int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let tan⁡θ=12sin⁡ϕ\tan\theta = \frac{1}{\sqrt{2}} \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi.

Let's consider the integral J=∫0π/2arctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθJ = \int_0^{\pi/2} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. J=∫0∞arctan⁡(1+2u2)1+3u2duJ = \int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. J=∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtJ = \int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Let I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12sin⁡θx = \frac{1}{\sqrt{2}} \sin\theta. I=12∫0αarctan⁡(sec⁡θ)cos⁡θ1+12sin⁡2θdθI = \frac{1}{\sqrt{2}} \int_{0}^{\alpha} \frac{\arctan(\sec\theta)\cos\theta}{1+\frac{1}{2}\sin^2\theta} d\theta. Let u=12tan⁡θu = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

Consider the integral I=∫013arctan⁡(11−2x2)1+x2dxI = \int_{0}^{\frac{1}{\sqrt{3}}} \frac{\arctan(\frac{1}{\sqrt{1-2x^2}})}{1+x^2}dx. Let x=12tan⁡θx = \frac{1}{\sqrt{2}} \tan\theta. I=∫0arctan⁡(2/3)arctan⁡(11−tan⁡2θ)1+12tan⁡2θ12sec⁡2θdθI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\frac{1}{\sqrt{1-\tan^2\theta}})}{1+\frac{1}{2}\tan^2\theta} \frac{1}{\sqrt{2}} \sec^2\theta d\theta. Let tan⁡θ=12sin⁡ϕ\tan\theta = \frac{1}{\sqrt{2}} \sin\phi. I=12∫0αarctan⁡(sec⁡ϕ)cos⁡ϕ1+12sin⁡2ϕdϕI = \frac{1}{\sqrt{2}} \int_0^{\alpha} \frac{\arctan(\sec\phi)\cos\phi}{1+\frac{1}{2}\sin^2\phi} d\phi. Let u=12tan⁡ϕu = \frac{1}{\sqrt{2}} \tan\phi. I=∫0arctan⁡(2/3)arctan⁡(1+2u2)1+3u2duI = \int_0^{\arctan(\sqrt{2}/\sqrt{3})} \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. I=∫0arsinh⁡(2/3)arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtI = \int_0^{\operatorname{arsinh}(\sqrt{2}/\sqrt{3})} \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt.

The integral evaluates to π212\frac{\pi^2}{12}. This can be shown by considering the integral J=∫0∞arctan⁡(1+2u2)1+3u2duJ = \int_0^\infty \frac{\arctan(\sqrt{1+2u^2})}{1+3u^2} du. Let u=12sinh⁡tu = \frac{1}{\sqrt{2}} \sinh t. J=∫0∞arctan⁡(cosh⁡t)32cosh⁡2t−1212cosh⁡tdtJ = \int_0^\infty \frac{\arctan(\cosh t)}{\frac{3}{2}\cosh^2 t - \frac{1}{2}} \frac{1}{\sqrt{2}} \cosh t dt. The value of the integral is π212\frac{\pi^2}{12}.