1 / | | 2 | _________ | \/ atan(x) | ------------ dx | 2 | 1 + x | / 0
Integral((sqrt(atan(x)))^2/(1 + x^2), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=tan(_theta), rewritten=atan(tan(_theta)), substep=PartsRule(u=atan(tan(_theta)), dv=1, v_step=ConstantRule(constant=1, context=1, symbol=_theta), second_step=PowerRule(base=_theta, exp=1, context=_theta, symbol=_theta), context=atan(tan(_theta)), symbol=_theta), restriction=True, context=(sqrt(atan(x)))**2/(x**2 + 1), symbol=x)
Añadimos la constante de integración:
Respuesta:
/ | | 2 | _________ 2 | \/ atan(x) atan (x) | ------------ dx = C + -------- | 2 2 | 1 + x | /
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.