Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} dx$

$$\int_{0}^{1} dx\frac{\log(1+x)}{1 + x^2}$$

I am having a hard time deriving the answer, $\frac{\pi}{8} \log(2) $. I have tried Taylor expansion of both numerator and denominator, both seem too complicated and fruitless.

share|cite|improve this question

marked as duplicate by Marvis, 5PM, Douglas S. Stones, Henry T. Horton, amWhy Jan 14 '13 at 2:39

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Well, it is a messy looking thing, see: WolframAlpha - Integral above. I also verified over your integration range, and it checks out. – Amzoti Dec 16 '12 at 6:51
It is a problem from Putnam.I can't remember which. – Richard Nash Dec 16 '12 at 7:02
@RichardNash, (A5 of Putnam '05) – lab bhattacharjee Dec 16 '12 at 8:31
up vote 19 down vote accepted

Let $x = \tan(t)$. Then we get that \begin{align} I & = \int_0^1 \dfrac{\log(1+x)}{1+x^2} dx = \int_0^{\pi/4} \dfrac{\log(1+\tan(t))}{\sec^2(t)} \sec^2(t) dt\\ & = \int_0^{\pi/4} \log(\sin(t) + \cos(t)) dt - \int_0^{\pi/4} \log(\cos(t)) dt\\ & = \int_0^{\pi/4} \log\left( \dfrac{\sin(t) + \cos(t)}{\sqrt{2}} \right) dt + \int_0^{\pi/4} \log(\sqrt{2}) dt- \int_0^{\pi/4} \log(\cos(t)) dt\\ & = \int_0^{\pi/4} \log(\cos(t-\pi/4)) dt + \int_0^{\pi/4} \log(\sqrt{2}) dt- \int_0^{\pi/4} \log(\cos(t)) dt\\ & = \underbrace{\int_{-\pi/4}^{0} \log(\cos(t)) dt}_{(t-\pi/4) \to t} + \int_0^{\pi/4} \dfrac{\log(2)}2 dt- \int_0^{\pi/4} \log(\cos(t)) dt\\ & = \underbrace{\int_{0}^{\pi/4} \log(\cos(t)) dt}_{t \to -t} + \dfrac{\pi}8 \log2- \int_0^{\pi/4} \log(\cos(t)) dt\\ & = \dfrac{\pi}8 \log 2 \end{align}

share|cite|improve this answer
Very nice, I didn't see it! – Amzoti Dec 16 '12 at 7:18
From the second expression in the first line: $\displaystyle{\int_{0}^{\pi/4}\ln\left(1 + \tan\left(t\right)\right)\,{\rm d}t = {1 \over 2}\left[\int_{0}^{\pi/4}\ln\left(1 + \tan\left(t\right)\right)\,{\rm d}t + \int_{0}^{\pi/4}\ln\left(1 + \tan\left({\pi \over 4} - t\right)\right)\,{\rm d}t \right]={1 \over 2}\left[\int_{0}^{\pi/4}\ln\left(1 + \tan\left(t\right)\right)\,{\rm d}t + \int_{0}^{\pi/4}\ln\left(2 \over 1 + \tan\left(t\right)\right)\,{\rm d}t \right]={1 \over 2}\int_{0}^{\pi/4}\ln\left(2\right)\,{\rm d} t={1 \over 8}\,\pi\ln\left(2\right)}$. – Felix Marin Mar 27 '14 at 7:47

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