Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Show that : $$\int_0^1\frac{(\sin ^{-1}x)^2}{x}\text{d}x=\frac{\pi ^2\ln 2}{4}-\frac78\zeta(3)$$ This integral is in "irresistible integrals" on page 122. I can't prove this one.

share|improve this question

2 Answers 2

up vote 1 down vote accepted

Using the change of variables $ x=\cos(t) $ gives $$\int_0^1\frac{(\sin ^{-1}x)^2}{x}\text{d}x= \frac{1}{4}\,\int _{0}^{\pi/2 }\!{\frac { \left( \pi -2\,t \right) ^{2}\sin\left( t \right) }{\cos \left( t \right) }}{dt}.$$

Integrating the last integral using by parts techniques with $u=(\pi-2t)^2$ yields

$$ \frac{1}{4}\,\int _{0}^{\pi/2 }\!{\frac { \left( \pi -2\,t \right) ^{2}\sin \left( t \right) }{\cos \left( t \right) }}{dt}=-\pi\int _{0}^{\pi/2 }\ln\left(\cos \left( t \right)\right) \,dt + 2\int_{0}^{\pi/2}\,t\,\ln \left( \cos \left( t \right) \right) \,{dt}$$

$$ = \frac{{\pi }^{2}\ln\left( 2 \right)}{2} + 2\int_{0}^{\pi/2}\,t\,\ln \left( \cos \left( t \right) \right) \,{dt}. $$

Now, I leave it here for you to finish the task. You may need to use some techniques from a previous problem.

share|improve this answer
Thx ! I got it. –  Ryan Feb 13 '13 at 3:21
@Ryan: You are welcome. –  Mhenni Benghorbal Feb 13 '13 at 13:17

This is not an answer, but you might be interested in knowing why this can work. I thought of writing this as a comment, but it's quite big.

  • Note that $\displaystyle \ln(1+x) = x-\frac{x^2}{2} + \frac{x^3}{3} + \cdots$

  • So $\ln(2) = \displaystyle 1-\frac{1}{2} + \frac{1}{3} + \cdots$

Now I tried the standard integration by parts method. Put $x =\sin\theta$. Then the integral becomes $$I =\int_{0}^{\pi/2} \theta^{2} \cdot \cot\theta \ d\theta$$ Using the standard ILATE rule take $dv=\cot\theta \ d\theta$ so that you have $v=\ln(\sin\theta)$. Take $u=x^{2} \implies du = 2\theta \ d\theta$. So we have $$I = \underbrace{\bigl( u\cdot v\bigr)_{0}^{\pi/2}} - 2\int_{0}^{\pi/2} \theta \cdot \ln(\sin\theta)\ d\theta .$$

The underbrace term $\to 0$ so we are left with $$-2\int_{0}^{\pi/2} \theta \cdot \ln(\sin\theta) \ d\theta$$

Now \begin{align*} \int_{0}^{\pi/2} \theta \cdot \ln(\sin\theta) \ d\theta &=\int_{0}^{\pi/2} \theta \cdot \ln\bigl(1+ (\sin\theta-1)\bigr)\ d\theta \\ &= \int_{0}^{\pi/2} \theta \cdot \biggl[ (\sin\theta-1) - \frac{(\sin\theta -1)^{2}}{2}+\frac{(\sin\theta-1)^{3} }{3}- \cdots \biggr] \ d\theta \end{align*}

Now collecting the $\theta$ involving terms we see that its: \begin{align*} \int_{0}^{\pi/2} \biggl( -\theta + \frac{\theta}{2} -\frac{\theta}{3} + \cdots \biggr) \ d\theta &=-\biggl(1-\frac{1}{2}+\frac{1}{3} - \cdots\biggr)\cdot \int_{0}^{\pi/2} \theta \ d\theta \\ &= -\ln(2) \cdot \frac{\pi^{2}}{8} \end{align*}

Note that we have to multiply by $-2$ to complete the solution.

share|improve this answer
For getting the $\zeta(3)$ part, i think we have evaluate $\int_{0}^{\pi/2} \sin^{n}\theta d\theta$ for different values of $n$ and that leads to Wallis formula. I am not sure of it though :( –  user61846 Feb 11 '13 at 16:03
I am not able to community wikitize this answer as I haven't registered yet, can anyone do it for me please –  user61846 Feb 11 '13 at 16:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.