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