Esto ha estado en la pestaña de borradores, así que pensé en seguir adelante y terminar lo que comencé.
Esta integral se puede reescribir como una suma de dos fracciones parciales distintas, así:
[matemáticas] \ displaystyle \ begin {align *} \ frac 1 {1 + x ^ 2 + x ^ 4} & = \ frac 12 \ left (\ frac {1-x} {1-x + x ^ 2} + \ frac {1 + x} {1 + x + x ^ 2} \ right) \ end {align *} \ tag * {} [/ math]
Integrar cada fracción parcial y luego sumar los dos resultados da la solución. Distribuyendo la integral y etiquetándolas [matemáticas] I_1 [/ matemáticas] y [matemáticas] I_2 [/ matemáticas] respectivamente, tenemos
- ¿Cómo diferenciar f (x) = 1, utilizando los primeros principios?
- ¿Por qué es que [matemáticas] c ^ 2 = (a + b) ^ 2 [/ matemáticas] es aproximadamente igual a [matemáticas] c = \ dfrac {c ^ 2-a ^ 2} {2a} [/ matemáticas]?
- Cómo demostrar que si a y b son números naturales tales que a + b es igual o mayor que 20, entonces a o b son iguales o mayores que 10
- ¿Cómo integrará [math] \ displaystyle \ int _ {- \ pi / 2} ^ {\ pi / 2} \ cos ^ {8} x \: \ mathrm {d} x [/ math]?
- Cómo resolver [matemáticas] 25x = 5 ^ {x-1} [/ matemáticas]
[matemáticas] \ displaystyle I = \ int \ frac {\ mathrm dx} {1 + x ^ 2 + x ^ 4} = \ frac 12 \ Biggr (\ space \ underbrace {\ int \ frac {1-x} {1 -x + x ^ 2} \, \ mathrm dx} _ {I_1} + \ underbrace {\ int \ frac {1 + x} {1 + x + x ^ 2} \, \ mathrm dx} _ {I_2} \ espacio \ Biggr) \ etiqueta * {} [/ matemáticas]
Para simplificar [matemáticas] I_1 [/ matemáticas], reescribimos la fracción como la diferencia de dos fracciones y completamos el cuadrado en una de ellas.
[matemáticas] \ displaystyle \ begin {align *} \ int \ frac {1-x} {1-x + x ^ 2} \, \ mathrm dx & = \ int \ frac 1 {2 (1-x + x ^ 2)} – \ frac {2x-1} {2 (1-x + x ^ 2)} \, \ mathrm dx \\ & = \ frac 12 \ int \ frac {\ mathrm dx} {\ left (x- \ tfrac 12 \ right) ^ 2 + \ tfrac 34} – \ frac 12 \ log (1-x + x ^ 2) \\ & = \ frac 12 \ int \ frac {\ mathrm du} {u ^ 2 + \ tfrac 34} – \ frac 12 \ log (1-x + x ^ 2) \\ & = \ frac 1 {\ sqrt3} \ arctan \ left (\ frac {2x-1} {\ sqrt3} \ right) – \ frac 12 \ log (1-x + x ^ 2) \ end {align *} \ tag * {} [/ math]
De manera similar, con [math] I_2 [/ math], lo dividimos en dos fracciones parciales diferentes e integramos en términos de términos. Haciendo todo mentalmente, mágicamente obtenemos
[matemáticas] \ displaystyle \ int \ frac {1 + x} {1 + x + x ^ 2} \, \ mathrm dx = \ frac 1 {\ sqrt3} \ arctan \ left (\ frac {2x + 1} {\ sqrt3} \ right) + \ frac 12 \ log (1 + x + x ^ 2) \ tag * {} [/ math]
Por lo tanto, después de distribuir [math] \ tfrac 12 [/ math] en nuestros resultados, tenemos la respuesta como
[matemáticas] \ displaystyle \ boxed {I = \ frac 1 {2 \ sqrt3} \ arctan \ left (\ frac {2x + 1} {\ sqrt3} \ right) + \ frac 1 {2 \ sqrt3} \ arctan \ left (\ frac {2x-1} {\ sqrt3} \ right) + \ frac 14 \ log \ left (\ frac {1 + x + x ^ 2} {1-x + x ^ 2} \ right)} \ tag *{}[/matemáticas]
La confirmación se puede dar con Wolfram Alpha.