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