Karşılaştığım bir çözümü aktaracağım.
Çözüm için f:[a,b]→R fonksiyonu integrallenebilir bir fonksiyon olmak üzere ∫baf(x)dx=∫baf(a+b−x)dx eşitliğinden faydalanacağız. Kanıtı burada mevcut.
x=tanθ dönüşümü ile I=∫10ln(1+x)1+x2dx=∫π40ln(1+tanθ)dθ yazılabilir.
I=∫π40ln(1+tanθ)dθ=∫π40ln(1+tan(π4−θ))dθ=∫π40ln(1+1−tanθ1+tanθ)dθ=∫π40ln2(1+tanθ)dθ=∫π40{ln2−ln(1+tanθ)}dθ=∫π40ln2−∫π40ln(1+tanθ)dθ=∫π40ln2dθ−I
olur. Buradan da
2I=∫π40ln2dθ⇒I=πln(2)8
bulunur.