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