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