Deje [math] {\ displaystyle I = \ int_0 ^ 1 \ frac {1} {x ^ 4 + 1} \, dx} [/ math]
Descomponiendo la integral usando fracciones parciales:
[matemáticas] {\ displaystyle I = \ frac {1} {4} \ int_0 ^ 1 \ frac {\ sqrt {2} x-2} {- x ^ 2 + \ sqrt {2} x-1} \, dx + \ frac {1} {4} \ int_0 ^ 1 \ frac {\ sqrt {2} x + 2} {x ^ 2 + \ sqrt {2} x + 1} \, dx \\ \ quad = \ left (\ frac {1} {4 \ sqrt {2}} \ right) \ int_0 ^ 1 \ frac {2 x + \ sqrt {2}} {x ^ 2 + \ sqrt {2} x + 1} \, dx + \ frac { 1} {4} \ int_0 ^ 1 \ frac {1} {x ^ 2 + \ sqrt {2} x + 1} \, dx + \ frac {1} {4} \ int_0 ^ 1 \ frac {\ sqrt {2 } x-2} {- x ^ 2 + \ sqrt {2} x-1} \, dx \\ \ quad = I_1 + I_2 + I_3} [/ math]
Sustituyendo en la primera integral [matemáticas] I_1 [/ matemáticas]:
- ¿Cuál es la ecuación para encontrar una pendiente?
- ¿Cómo puedo resolver: [matemáticas] \ sqrt {x} + \ sqrt {x + 1} + \ sqrt {x + 2} = 2 [/ matemáticas]?
- En el análisis de algoritmos, ¿cómo prueba (refuta), [matemáticas] 3x ^ 2 + 5x +2 = \ theta (x ^ 2) [/ matemáticas]?
- De un grupo de cisnes, 7/2 veces la raíz cuadrada del número están nadando en el agua, mientras que dos restantes están jugando en la orilla. ¿Cuántos cisnes hay en total?
- ¿Cuál es el valor de k en el sistema de ecuaciones kx + y + z = 1 & x + ky + z = 1 & x + y + kz = 1 de modo que el sistema tenga una solución única, soluciones infinitas y ninguna solución?
[matemáticas] u = x ^ 2 + \ sqrt {2} x + 1, du = 2 x + \ sqrt {2} dx [/ matemáticas]
[matemáticas] {\ displaystyle I_1 = \ frac {\ int_1 ^ {\ sqrt {2} +2} \ frac {1} {u} \, du} {4 \ sqrt {2}} = \ frac {\ ln ( u)} {4 \ sqrt {2}} \ Bigr | _1 ^ {\ sqrt {2} +2} = \ frac {\ ln \ left (\ sqrt {2} +2 \ right)} {4 \ sqrt { 2}}} [/ matemáticas]
Completando el cuadrado en la segunda integral [matemáticas] I_2: [/ matemáticas]
[matemáticas] {\ displaystyle I_2 = \ frac {1} {4} \ int_0 ^ 1 \ frac {1} {\ left (x + \ frac {1} {\ sqrt {2}} \ right) ^ 2 + \ frac {1} {2}} \, dx} [/ math]
Luego haciendo la sustitución:
[matemáticas] s = x + \ frac {1} {\ sqrt {2}}, ds = dx [/ matemáticas]
[matemáticas] {\ displaystyle I_2 = \ frac {1} {4} \ int _ {\ frac {1} {\ sqrt {2}}} ^ {1+ \ frac {1} {\ sqrt {2}}} \ frac {1} {s ^ 2 + \ frac {1} {2}} \, ds = \ frac {1} {2} \ int _ {\ frac {1} {\ sqrt {2}}} ^ {1+ \ frac {1} {\ sqrt {2}}} \ frac {1} {2 s ^ 2 + 1} \, ds} [/ math]
Haciendo otra sustitución y calculando:
[matemáticas] p = \ sqrt {2} s [/ matemáticas]
[matemáticas] {\ displaystyle I_2 = \ frac {\ int_1 ^ {\ sqrt {2} \ left (1+ \ frac {1} {\ sqrt {2}} \ right)} \ frac {1} {p ^ 2 +1} \, dp} {2 \ sqrt {2}} = \ frac {\ tan ^ {- 1} (p)} {2 \ sqrt {2}} \ Bigr | _1 ^ {\ sqrt {2} \ left (1+ \ frac {1} {\ sqrt {2}} \ right)}} [/ math]
[matemáticas] {\ displaystyle I_2 = \ frac {\ pi -4 \ tan ^ {- 1} \ left (\ sqrt {2} +1 \ right)} {8 \ sqrt {2}}} [/ math]
Reescribiendo la tercera integral [matemáticas] I_3 [/ matemáticas] y haciendo dos sustituciones más:
[matemáticas] {\ displaystyle I_3 = \ frac {\ int_0 ^ 1 \ frac {\ sqrt {2} -2 x} {- x ^ 2 + \ sqrt {2} x-1} \, dx} {4 \ sqrt {2}} – \ frac {1} {4} \ int_0 ^ 1 \ frac {1} {- x ^ 2 + \ sqrt {2} x-1} \, dx \\ \ quad = {\ displaystyle – \ frac {\ ln \ left (2- \ sqrt {2} \ right)} {4 \ sqrt {2}} + \ frac {\ pi -4 \ tan ^ {- 1} \ left (1- \ sqrt {2 } \ right)} {8 \ sqrt {2}}}} [/ math]
La integral completa se puede expresar como:
[matemáticas] {\ displaystyle I = I_1 + I_2 + I_3 \\ = {\ displaystyle – \ frac {\ ln \ left (2- \ sqrt {2} \ right)} {4 \ sqrt {2}} + \ frac {\ ln \ left (\ sqrt {2} +2 \ right)} {4 \ sqrt {2}} + \ frac {\ pi -4 \ tan ^ {- 1} \ left (1- \ sqrt {2} \ right)} {8 \ sqrt {2}} – \ frac {\ pi -4 \ tan ^ {- 1} \ left (\ sqrt {2} +1 \ right)} {8 \ sqrt {2}}} \\ = {\ displaystyle – \ frac {\ ln \ left (2- \ sqrt {2} \ right) – \ ln \ left (\ sqrt {2} +2 \ right) +2 \ tan ^ {- 1} \ left (1- \ sqrt {2} \ right) -2 \ tan ^ {- 1} \ left (\ sqrt {2} +1 \ right)} {4 \ sqrt {2}}}} [/ math]
Usando las relaciones entre funciones trigonométricas inversas, logaritmos y funciones hiperbólicas inversas, la solución obtenida es:
[matemáticas] \ boxed {{\ displaystyle I = \ int_0 ^ 1 \ frac {1} {x ^ 4 + 1} \, dx \\ \ quad = \ frac {\ pi – \ ln \ left (2- \ sqrt {2} \ right) + \ ln \ left (\ sqrt {2} +2 \ right)} {2 ^ {5/2}} \\ \ quad = {\ displaystyle \ frac {\ pi +2 \ ln \ left (\ cot \ left (\ frac {\ pi} {8} \ right) \ right)} {4 \ sqrt {2}}} \\ \ quad = \ frac {\ pi +2 \ coth ^ {- 1 } \ left (\ sqrt {2} \ right)} {4 \ sqrt {2}}}} [/ math]
O numéricamente:
[matemáticas] I \ aproximadamente 0.86697298733991103757399516388287071 [/ matemáticas]
Como resultado general relacionado, para constantes arbitrarias y límites arbitrarios de integración, la solución general a la integral definida se expresa como (verificado con Mathematica):
[matemáticas] {\ displaystyle \ int_a ^ b \ frac {1} {c + x ^ n} \, dx = \ frac {b * \, _2F_1 \ left (1, \ frac {1} {n}; 1+ \ frac {1} {n}; – \ frac {b ^ n} {c} \ right) -a * \, _2F_1 \ left (1, \ frac {1} {n}; 1+ \ frac {1} {n}; – \ frac {a ^ n} {c} \ right)} {c}} [/ math]
La función [matemáticas] {\ displaystyle {} _ {2} F_ {1} (a, b; c; z)} [/ matemáticas] es la función hipergeométrica ordinaria. La solución anterior viene con una serie de declaraciones condicionales.