1 / | | 1 | 1*---------------- dx | / 2\ | \1 + x /*atan(x) | / 0
TrigSubstitutionRule(theta=_theta, func=tan(_theta), rewritten=1/atan(tan(_theta)), substep=URule(u_var=_u, u_func=atan(tan(_theta)), constant=1, substep=ReciprocalRule(func=_u, context=1/_u, symbol=_u), context=1/atan(tan(_theta)), symbol=_theta), restriction=True, context=1/((x**2 + 1)*atan(x)), symbol=x)
Добавляем постоянную интегрирования:
Ответ:
/ | | 1 | 1*---------------- dx = C + log(atan(x)) | / 2\ | \1 + x /*atan(x) | /
Данные примеры также можно применять при вводе верхнего и нижнего предела интегрирования.