1 / | | 1 | ----------- dy | ________ | / 2 | \/ y - 1 | / 0
Integral(1/(sqrt(y^2 - 1)), (y, 0, 1))
TrigSubstitutionRule(theta=_theta, func=sec(_theta), rewritten=sec(_theta), substep=RewriteRule(rewritten=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), substep=AlternativeRule(alternatives=[URule(u_var=_u, u_func=tan(_theta) + sec(_theta), constant=1, substep=ReciprocalRule(func=_u, context=1/_u, symbol=_u), context=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), symbol=_theta)], context=(tan(_theta)*sec(_theta) + sec(_theta)**2)/(tan(_theta) + sec(_theta)), symbol=_theta), context=sec(_theta), symbol=_theta), restriction=(y > -1) & (y < 1), context=1/(sqrt(y**2 - 1)), symbol=y)
Añadimos la constante de integración:
Respuesta:
/ | | 1 // / _________\ \ | ----------- dy = C + |< | / 2 | | | ________ \\log\y + \/ -1 + y / for And(y > -1, y < 1)/ | / 2 | \/ y - 1 | /
-pi*I ------ 2
=
-pi*I ------ 2
-pi*i/2
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.