Integración por partes, se obtiene:
∫10log(t2+(t−1)2)tdt=∫102t+2(t−1)t2+(t+1)2log(t)dt=−∫10(1t−1+i2+1t−1−i2)log(t)dt
pero:
∫10log(t)t−adt=Li2(1a)
por tanto, la integral anterior se da por −2⋅Re[Li2(1−i)], pero que puede ser calculada a partir de la reflexión de la fórmula para Li2:
Li2(z)+Li2(1−z)=π26−log(z)log(1−z).
También podemos notar que a través de la sustitución de u=2t−1 la última integral en (1) se convierte en:
I=−∫1−12uu2+1log(1+u2)du=−∫1−12uu2+1log(1+u)du=−∫1−1uu2+1log(1+u1−u)du
puesto que la integral de una extraña, integrable función sobre un intervalo simétrico es cero.
Pero poner u=tanhz,z=−logv, nos quedamos con:
I=−4∫+∞0zsinh(z)cosh(z)cosh(2z)dz=4∫102v(1−v2)(1+v2)(1+v4)log(v)dv
que es:
I=4∫10(2v1+v2−2v31+v4)log(v)dv=3∫102v1+v2log(v)dv
y por la expansión de 2v1+v2 como una serie de Taylor:
I=3∑n≥0(−12(n+1)2)=32∑n≥1(−1)nn2=−π28
como quería, evitando la Li2 reflexión fórmula (pero, en los hechos, la prueba).
Es interesante resaltar que el último enfoque se le da bien aproximaciones racionales de π2.
Por ejemplo, en el mismo espíritu, tenemos:
∫10(v1+v2+v31+v4−v51+v6+2v71+v8)log(v)dv=−913456π2
donde la función entre paréntesis es el elegido para ser v+v9+o(v9) en un buen barrio de el origen, por lo que el valor de la integral se espera que cerca de
∫10(v+v9)logvdv=−1350
y
π2≈1237⋅52
de la siguiente manera.