1 / | | 1 | --------- dx | 3 | / 2\ | \4 + x / | / 0
Integral(1/((4 + x^2)^3), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=2*tan(_theta), rewritten=cos(_theta)**4/32, substep=ConstantTimesRule(constant=1/32, other=cos(_theta)**4, substep=RewriteRule(rewritten=(cos(2*_theta)/2 + 1/2)**2, substep=AlternativeRule(alternatives=[RewriteRule(rewritten=cos(2*_theta)**2/4 + cos(2*_theta)/2 + 1/4, substep=AddRule(substeps=[ConstantTimesRule(constant=1/4, other=cos(2*_theta)**2, substep=RewriteRule(rewritten=cos(4*_theta)/2 + 1/2, substep=AddRule(substeps=[ConstantTimesRule(constant=1/2, other=cos(4*_theta), substep=URule(u_var=_u, u_func=4*_theta, constant=1/4, substep=ConstantTimesRule(constant=1/4, other=cos(_u), substep=TrigRule(func='cos', arg=_u, context=cos(_u), symbol=_u), context=cos(_u), symbol=_u), context=cos(4*_theta), symbol=_theta), context=cos(4*_theta)/2, symbol=_theta), ConstantRule(constant=1/2, context=1/2, symbol=_theta)], context=cos(4*_theta)/2 + 1/2, symbol=_theta), context=cos(2*_theta)**2, symbol=_theta), context=cos(2*_theta)**2/4, symbol=_theta), ConstantTimesRule(constant=1/2, other=cos(2*_theta), substep=URule(u_var=_u, u_func=2*_theta, constant=1/2, substep=ConstantTimesRule(constant=1/2, other=cos(_u), substep=TrigRule(func='cos', arg=_u, context=cos(_u), symbol=_u), context=cos(_u), symbol=_u), context=cos(2*_theta), symbol=_theta), context=cos(2*_theta)/2, symbol=_theta), ConstantRule(constant=1/4, context=1/4, symbol=_theta)], context=cos(2*_theta)**2/4 + cos(2*_theta)/2 + 1/4, symbol=_theta), context=(cos(2*_theta)/2 + 1/2)**2, symbol=_theta), RewriteRule(rewritten=cos(2*_theta)**2/4 + cos(2*_theta)/2 + 1/4, substep=AddRule(substeps=[ConstantTimesRule(constant=1/4, other=cos(2*_theta)**2, substep=RewriteRule(rewritten=cos(4*_theta)/2 + 1/2, substep=AddRule(substeps=[ConstantTimesRule(constant=1/2, other=cos(4*_theta), substep=URule(u_var=_u, u_func=4*_theta, constant=1/4, substep=ConstantTimesRule(constant=1/4, other=cos(_u), substep=TrigRule(func='cos', arg=_u, context=cos(_u), symbol=_u), context=cos(_u), symbol=_u), context=cos(4*_theta), symbol=_theta), context=cos(4*_theta)/2, symbol=_theta), ConstantRule(constant=1/2, context=1/2, symbol=_theta)], context=cos(4*_theta)/2 + 1/2, symbol=_theta), context=cos(2*_theta)**2, symbol=_theta), context=cos(2*_theta)**2/4, symbol=_theta), ConstantTimesRule(constant=1/2, other=cos(2*_theta), substep=URule(u_var=_u, u_func=2*_theta, constant=1/2, substep=ConstantTimesRule(constant=1/2, other=cos(_u), substep=TrigRule(func='cos', arg=_u, context=cos(_u), symbol=_u), context=cos(_u), symbol=_u), context=cos(2*_theta), symbol=_theta), context=cos(2*_theta)/2, symbol=_theta), ConstantRule(constant=1/4, context=1/4, symbol=_theta)], context=cos(2*_theta)**2/4 + cos(2*_theta)/2 + 1/4, symbol=_theta), context=(cos(2*_theta)/2 + 1/2)**2, symbol=_theta)], context=(cos(2*_theta)/2 + 1/2)**2, symbol=_theta), context=cos(_theta)**4, symbol=_theta), context=cos(_theta)**4/32, symbol=_theta), restriction=True, context=1/((x**2 + 4)**3), symbol=x)
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ /x\ | 3*atan|-| / 2\ | 1 \2/ x x*\4 - x / | --------- dx = C + --------- + ----------- + ------------- | 3 256 / 2\ 2 | / 2\ 32*\4 + x / / 2\ | \4 + x / 128*\4 + x / | /
23 3*atan(1/2) ---- + ----------- 3200 256
=
23 3*atan(1/2) ---- + ----------- 3200 256
23/3200 + 3*atan(1/2)/256
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.