1 / | | 1 | -------------------- dx | / 2\ | \1 + 4*x /*acot(2*x) | / 0
Integral(1/((1 + 4*x^2)*acot(2*x)), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=tan(_theta)/2, rewritten=1/(2*acot(tan(_theta))), substep=ConstantTimesRule(constant=1/2, other=1/acot(tan(_theta)), substep=URule(u_var=_u, u_func=acot(tan(_theta)), constant=-1, substep=ConstantTimesRule(constant=-1, other=1/_u, substep=ReciprocalRule(func=_u, context=1/_u, symbol=_u), context=1/_u, symbol=_u), context=1/acot(tan(_theta)), symbol=_theta), context=1/(2*acot(tan(_theta))), symbol=_theta), restriction=True, context=1/((4*x**2 + 1)*acot(2*x)), symbol=x)
Añadimos la constante de integración:
Respuesta:
/ | | 1 log(acot(2*x)) | -------------------- dx = C - -------------- | / 2\ 2 | \1 + 4*x /*acot(2*x) | /
/pi\ log|--| \2 / log(acot(2)) ------- - ------------ 2 2
=
/pi\ log|--| \2 / log(acot(2)) ------- - ------------ 2 2
log(pi/2)/2 - log(acot(2))/2
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.