1 / | | 4 | x | ----------- dx | ________ | / 2 | \/ 2 - x | / 0
Integral(x^4/sqrt(2 - x^2), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=sqrt(2)*sin(_theta), rewritten=4*sin(_theta)**4, substep=ConstantTimesRule(constant=4, other=sin(_theta)**4, substep=RewriteRule(rewritten=(1/2 - cos(2*_theta)/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=(1/2 - cos(2*_theta)/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=(1/2 - cos(2*_theta)/2)**2, symbol=_theta)], context=(1/2 - cos(2*_theta)/2)**2, symbol=_theta), context=sin(_theta)**4, symbol=_theta), context=4*sin(_theta)**4, symbol=_theta), restriction=(x < sqrt(2)) & (x > -sqrt(2)), context=x**4/sqrt(2 - x**2), symbol=x)
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ | // / ___\ \ | 4 || |x*\/ 2 | ________ | | x ||3*asin|-------| ________ / 2 / 2\ | | ----------- dx = C + |< \ 2 / / 2 x*\/ 2 - x *\1 - x / / ___ ___\| | ________ ||--------------- - x*\/ 2 - x + ---------------------- for And\x > -\/ 2 , x < \/ 2 /| | / 2 || 2 4 | | \/ 2 - x \\ / | /
3*pi -1 + ---- 8
=
3*pi -1 + ---- 8
-1 + 3*pi/8
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.