I was scrolling on the forum and I saw somebody solving the following integral :
$$\displaystyle\int_0^1 \frac{\ln(1+x)}{1+x^2} \mathrm{d}x$$
He used the really smart substitution $x= \frac{1-t}{1+t}$, but I have no idea how he thought about that.
It reminds me slightly the half angle tangent substitution (Weierstrass substitution ?).
So my questions are :
- Is it a well-known substitution ?
- When do we usually use it ? Are there indicators ?
- Can you give me an example where it works well ?
Thank you.