___ \/ 3 ----- 2 / | | ________ | / 2 | \/ 1 - t dt | / 1/2
Integral(sqrt(1 - t^2), (t, 1/2, sqrt(3)/2))
TrigSubstitutionRule(theta=_theta, func=sin(_theta), rewritten=cos(_theta)**2, substep=RewriteRule(rewritten=cos(2*_theta)/2 + 1/2, substep=AddRule(substeps=[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), ConstantRule(constant=1/2, context=1/2, symbol=_theta)], context=cos(2*_theta)/2 + 1/2, symbol=_theta), context=cos(_theta)**2, symbol=_theta), restriction=(t > -1) & (t < 1), context=sqrt(1 - t**2), symbol=t)
Añadimos la constante de integración:
Respuesta:
/ | | ________ // ________ \ | / 2 || / 2 | | \/ 1 - t dt = C + |-1, t < 1)| / \\ 2 2 /
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.