1 / | | _________ | / 2 | \/ pi - x dx | / 0
Integral(sqrt(pi - x^2), (x, 0, 1))
TrigSubstitutionRule(theta=_theta, func=sqrt(pi)*sin(_theta), rewritten=pi*cos(_theta)**2, substep=ConstantTimesRule(constant=pi, other=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), context=pi*cos(_theta)**2, symbol=_theta), restriction=(x < sqrt(pi)) & (x > -sqrt(pi)), context=sqrt(pi - x**2), symbol=x)
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ | // / / x \ \ \ | _________ || |asin|------| _________| | | / 2 || | | ____| / 2 | | | \/ pi - x dx = C + |< | \\/ pi / x*\/ pi - x | / ____ ____\| | ||pi*|------------ + --------------| for And\x > -\/ pi , x < \/ pi /| / || \ 2 2*pi / | \\ /
/ 1 \ pi*asin|------| _________ | ____| \/ -1 + pi \\/ pi / ----------- + --------------- 2 2
=
/ 1 \ pi*asin|------| _________ | ____| \/ -1 + pi \\/ pi / ----------- + --------------- 2 2
sqrt(-1 + pi)/2 + pi*asin(1/sqrt(pi))/2
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.