1 / | | 3 | x *asin(x) dx | / 0
Используем интегрирование по частям:
пусть и пусть dx.
Затем dx.
Чтобы найти :
Интеграл есть :
Теперь решаем под-интеграл.
Интеграл от произведения функции на константу есть эта константа на интеграл от данной функции:
TrigSubstitutionRule(theta=_theta, func=sin(_theta), rewritten=sin(_theta)**4, substep=RewriteRule(rewritten=(-cos(2*_theta)/2 + 1/2)**2, substep=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=sin(_theta)**4, symbol=_theta), restriction=And(x < 1, x > -1), context=x**4/sqrt(-x**2 + 1), symbol=x)
Таким образом, результат будет:
Теперь упростить:
Добавляем постоянную интегрирования:
Ответ:
0.245436926061703
/ ________ ________ | / 2 / 2 / 2\ / <3*asin(x) x*\/ 1 - x x*\/ 1 - x *\1 - 2*x / | |--------- - ------------- + ------------------------ for And(x > -1, x < 1) 4 | 3 \ 8 2 8 x *asin(x) | x *asin(x) dx = C - ----------------------------------------------------------------------------- + ---------- | 4 4 /