1 / | | 3 | x | ----------- dx | ________ | / 2 | \/ 1 - x | / 0
Integral(x^3/sqrt(1 - x^2), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=sin(_theta), rewritten=sin(_theta)**3, substep=RewriteRule(rewritten=(1 - cos(_theta)**2)*sin(_theta), substep=AlternativeRule(alternatives=[URule(u_var=_u, u_func=cos(_theta), constant=1, substep=AddRule(substeps=[PowerRule(base=_u, exp=2, context=_u**2, symbol=_u), ConstantRule(constant=-1, context=-1, symbol=_u)], context=_u**2 - 1, symbol=_u), context=(1 - cos(_theta)**2)*sin(_theta), symbol=_theta), RewriteRule(rewritten=-sin(_theta)*cos(_theta)**2 + sin(_theta), substep=AddRule(substeps=[ConstantTimesRule(constant=-1, other=sin(_theta)*cos(_theta)**2, substep=URule(u_var=_u, u_func=cos(_theta), constant=-1, substep=ConstantTimesRule(constant=-1, other=_u**2, substep=PowerRule(base=_u, exp=2, context=_u**2, symbol=_u), context=_u**2, symbol=_u), context=sin(_theta)*cos(_theta)**2, symbol=_theta), context=-sin(_theta)*cos(_theta)**2, symbol=_theta), TrigRule(func='sin', arg=_theta, context=sin(_theta), symbol=_theta)], context=-sin(_theta)*cos(_theta)**2 + sin(_theta), symbol=_theta), context=(1 - cos(_theta)**2)*sin(_theta), symbol=_theta), RewriteRule(rewritten=-sin(_theta)*cos(_theta)**2 + sin(_theta), substep=AddRule(substeps=[ConstantTimesRule(constant=-1, other=sin(_theta)*cos(_theta)**2, substep=URule(u_var=_u, u_func=cos(_theta), constant=-1, substep=ConstantTimesRule(constant=-1, other=_u**2, substep=PowerRule(base=_u, exp=2, context=_u**2, symbol=_u), context=_u**2, symbol=_u), context=sin(_theta)*cos(_theta)**2, symbol=_theta), context=-sin(_theta)*cos(_theta)**2, symbol=_theta), TrigRule(func='sin', arg=_theta, context=sin(_theta), symbol=_theta)], context=-sin(_theta)*cos(_theta)**2 + sin(_theta), symbol=_theta), context=(1 - cos(_theta)**2)*sin(_theta), symbol=_theta)], context=(1 - cos(_theta)**2)*sin(_theta), symbol=_theta), context=sin(_theta)**3, symbol=_theta), restriction=(x > -1) & (x < 1), context=x**3/sqrt(1 - x**2), symbol=x)
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ | | 3 // 3/2 \ | x || ________ / 2\ | | ----------- dx = C + |< / 2 \1 - x / | | ________ ||- \/ 1 - x + ----------- for And(x > -1, x < 1)| | / 2 \\ 3 / | \/ 1 - x | /
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.