-3 / | | ________ | / 2 | \/ t - 1 | ----------- dt | 3 | t | / -2
Integral(sqrt(t^2 - 1)/t^3, (t, -2, -3))
TrigSubstitutionRule(theta=_theta, func=sec(_theta), rewritten=sin(_theta)**2, substep=RewriteRule(rewritten=1/2 - cos(2*_theta)/2, substep=AddRule(substeps=[ConstantRule(constant=1/2, context=1/2, symbol=_theta), ConstantTimesRule(constant=-1/2, other=cos(2*_theta), substep=URule(u_var=_u, u_func=2*_theta, constant=1/2, substep=ConstantTimesRule(constant=1/2, other=cos(_u), substep=TrigRule(func='cos', arg=_u, context=cos(_u), symbol=_u), context=cos(_u), symbol=_u), context=cos(2*_theta), symbol=_theta), context=-cos(2*_theta)/2, symbol=_theta)], context=1/2 - cos(2*_theta)/2, symbol=_theta), context=sin(_theta)**2, symbol=_theta), restriction=(t > -1) & (t < 1), context=sqrt(t**2 - 1)/t**3, symbol=t)
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ | | ________ // ________ \ | / 2 || / 1 | | \/ t - 1 || /1\ / 1 - -- | | ----------- dt = C + |-1, t < 1)| | \\ 2 2*t / /
-2 / | | / pi*I | | I I*t I I*e 1 | |-------------- + ------------- - --------------- - ------------------------- for -- > 1 | | ________ 3/2 3/2 ______________ 2 | | 3 / 2 / 2\ / 2\ / 2*pi*I t | |t *\/ 1 - t 2*\1 - t / 2*t*\1 - t / 2 / e | | 2*t * / -1 + ------- | | / 2 | | \/ t - | < dt | | _________ | | / 2 | | \/ -1 + t 1 1 | | ------------ - ---------------- - ------------------ otherwise | | 3 _________ ________ | | t / 2 2 / 1 | | 2*t*\/ -1 + t 2*t * / 1 - -- | | / 2 | \ \/ t | / -3
=
-2 / | | / pi*I | | I I*t I I*e 1 | |-------------- + ------------- - --------------- - ------------------------- for -- > 1 | | ________ 3/2 3/2 ______________ 2 | | 3 / 2 / 2\ / 2\ / 2*pi*I t | |t *\/ 1 - t 2*\1 - t / 2*t*\1 - t / 2 / e | | 2*t * / -1 + ------- | | / 2 | | \/ t - | < dt | | _________ | | / 2 | | \/ -1 + t 1 1 | | ------------ - ---------------- - ------------------ otherwise | | 3 _________ ________ | | t / 2 2 / 1 | | 2*t*\/ -1 + t 2*t * / 1 - -- | | / 2 | \ \/ t | / -3
-Integral(Piecewise((i/(t^3*sqrt(1 - t^2)) + i*t/(2*(1 - t^2)^(3/2)) - i/(2*t*(1 - t^2)^(3/2)) - i*exp_polar(pi*i)/(2*t^2*sqrt(-1 + exp_polar(2*pi*i)/t^2)), t^(-2) > 1), (sqrt(-1 + t^2)/t^3 - 1/(2*t*sqrt(-1 + t^2)) - 1/(2*t^2*sqrt(1 - 1/t^2)), True)), (t, -3, -2))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.