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