# Prove $\int_0^1 \frac{\ln(1+t^{4+\sqrt{15}})}{1+t}\mathrm dt= -\frac{\pi^2}{12}(\sqrt{15}-2)+\ln (2) \ln(\sqrt{3}+\sqrt{5})+\ln(\phi) \ln(2+\sqrt{3})$

Prove that:

$$\int_0^1 \frac{\ln\left(1+t^{4+\sqrt{15}}\right)}{1+t}\mathrm dt= -\frac{\pi^2}{12}(\sqrt{15}-2)+\ln (2) \ln(\sqrt{3}+\sqrt{5})+\ln(\phi) \ln(2+\sqrt{3})$$

where $\phi$ is the golden ratio.

My friend gave me this challenging problem but I cannot prove it into the given expression. She doesn't know either how to approach this problem. I have tried to use a substitution to obtain the improper integral so that I can use the derivative of beta function but it failed. I also tried to use Taylor series for $\frac{1}{1+t}$ and $\ln\left(1+t^{4+\sqrt{15}}\right)$ but I am unable to derive the result from double sums of series. Could anyone here please help me how to prove it? Any method is welcome and also any help would be greatly appreciated. Thank you.

• Are you familiar with contour integration? If so, give it a try. – Asier Calbet Aug 20 '14 at 15:22
• @Assaultous2 No, I am not. But if you familiar with contour integration, you may give a try – Anastasiya-Romanova 秀 Aug 20 '14 at 15:23
• This is old problem, you can find it on there – china math Aug 20 '14 at 15:36
• @chinamath 'there' where? – Anastasiya-Romanova 秀 Aug 20 '14 at 15:42
• A similar integral has been evaluated here: math.stackexchange.com/questions/426325/… – SuperAbound Aug 20 '14 at 15:52