Para integrandos que son una función racional de seno y coseno, como una guía para qué sustitución trigonométrica se puede probar, se pueden usar las Reglas de Bioche .
Aquí observe la forma diferencial
w ( x ) = f( pecadox , porquex )dx =porque2x pecadoXpecadox − cosXdX
es invariante bajo la sustitución
x ↦ π+ x
, eso es,
w ( π+ x ) = w ( x )
. Esto sugiere una sustitución de
t = bronceadoX
puede ser usado. Como
dt =segundo2XdX
reescribimos el integrando como el producto entre una función racional que consta de
broncearseX
términos y un
segundo2X
términos. Al hacerlo tenemos
I= ∫porque2x pecadoXpecadox − cosXdX= ∫porque2x pecadoXpecadox − cosX⋅segundo2Xsegundo2XdX= ∫broncearseX( bronceadoX - 1 ) ( 1 +broncearse2X)2⋅segundo2Xdx _
Ahora deja
t = bronceadoX
. Hacerlo produce
I= ∫t( t - 1 ) ( 1 +t2)2dt= ∫[14 ( t − 1 )−t + 14 (t2+ 1 )+1 - t2 ( 1 +t2)2]dt=14en| t-1 | −18en| 1+t2| +t4 ( 1 +t2)+ C=14en| broncearseX − 1 | +14en| porquex | +14( 1 + bronceadox )porque2X + C.
o después de jugar con algunas identidades trigonométricas
∫porque2x pecadoXpecadox − cosXdx =14en| pecadox − cosx | +18( porque2 x + pecado2 x ) + C.
cqfd