oo / | | 1 | ----------------- dx | / 2\ 2 | \1 + x /*acot (x) | / 1
Integral(1/((1 + x^2)*acot(x)^2), (x, 1, oo))
TrigSubstitutionRule(theta=_theta, func=tan(_theta), rewritten=acot(tan(_theta))**(-2), substep=URule(u_var=_u, u_func=acot(tan(_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=acot(tan(_theta))**(-2), symbol=_theta), restriction=True, context=1/((x**2 + 1)*acot(x)**2), symbol=x)
Añadimos la constante de integración:
Respuesta:
/ | | 1 1 | ----------------- dx = C + ------- | / 2\ 2 acot(x) | \1 + x /*acot (x) | /
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.