oo / | | 1 | ---------------- dx | / 2\ | \1 + x /*atan(x) | / 1
Integral(1/((1 + x^2)*atan(x)), (x, 1, oo))
TrigSubstitutionRule(theta=_theta, func=tan(_theta), rewritten=1/atan(tan(_theta)), substep=URule(u_var=_u, u_func=atan(tan(_theta)), constant=1, substep=ReciprocalRule(func=_u, context=1/_u, symbol=_u), context=1/atan(tan(_theta)), symbol=_theta), restriction=True, context=1/((x**2 + 1)*atan(x)), symbol=x)
Añadimos la constante de integración:
Respuesta:
/ | | 1 | ---------------- dx = C + log(atan(x)) | / 2\ | \1 + x /*atan(x) | /
/pi\ /pi\ - log|--| + log|--| \4 / \2 /
=
/pi\ /pi\ - log|--| + log|--| \4 / \2 /
-log(pi/4) + log(pi/2)
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.