Cómo encontrar la integral [math] \ displaystyle \ int \ limits_0 ^ {\ frac {\ pi} {2}} \ frac {1} {\ sin ^ 6 x + \ cos ^ 6 x} \ mathrm dx [/ math]

Vamos a resolver el caso general. Definir,

[matemáticas] I_n = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {\ mathrm {d} x} {\ sin ^ {2n} x + \ cos ^ {2n} x} [/ matemáticas]

tenemos

[matemáticas] I_n = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {\ sec ^ {2n} x} {1+ \ tan ^ {2n} x} \ mathrm {d} x [/ math ]

que al sustituir [math] u = \ tan x [/ math], toma la forma

[matemáticas] I_n = \ int_0 ^ {\ infty} \ frac {(1 + u ^ 2) ^ {n-1}} {1 + u ^ {2n}} \ mathrm {d} u [/ math]

[matemáticas] = \ sum_ {j = 0} ^ {n-1} {{n-1} \ elegir {j}} \ int_0 ^ {\ infty} \ frac {u ^ {2j}} {1 + u ^ {2n}} \ mathrm {d} u [/ math]

que resulta de expandir el binomio [matemática] (1 + u ^ 2) ^ {n-1} [/ matemática] en el integrando seguido de pasar la integral a través de la suma. Dejando [math] t = u ^ {2n} [/ math], obtenemos

[matemáticas] I_n = \ frac {1} {2n} \ sum_ {j = 0} ^ {n-1} {{n-1} \ elegir {j}} \ int_0 ^ {\ infty} \ frac {t ^ {\ frac {1} {2n} + \ frac {jn} {n}}} {1 + t} \ mathrm {d} t = \ frac {1} {2n} \ sum_ {j = 0} ^ {n -1} {{n-1} \ elegir {j}} \ int_0 ^ {\ infty} \ frac {t ^ {\ frac {1} {n} \ left (j + \ frac {1} {2} \ right ) -1}} {(1 + t) ^ {\ left (\ frac {1} {n} \ left (j + \ frac {1} {2} \ right) \ right) + \ left (1- \ frac {1} {n} \ left (j + \ frac {1} {2} \ right) \ right)}} \ mathrm {d} t [/ math]

[matemáticas] = \ frac {1} {2n} \ sum_ {j = 0} ^ {n-1} {{n-1} \ elegir {j}} \ mathrm {B} \ left (\ frac {1} {n} \ left (j + \ frac {1} {2} \ right), 1- \ frac {1} {n} \ left (j + \ frac {1} {2} \ right) \ right) [/ math ]

donde [math] \ mathrm {B} (x, y) [/ math] denota la función beta y, el último paso resulta de la identidad integral

[matemática] \ mathrm {B} (x, y) = \ int_0 ^ {\ infty} \ frac {t ^ {x-1}} {(1 + t) ^ {x + y}} \ mathrm {d} t, ~~ \ Re (x)> 0, ~ \ Re (y)> 0 [/ math]

Expresando la función beta en términos de la función gamma, obtenemos

[matemáticas] \ displaystyle I_n = \ frac {1} {2n} \ sum_ {j = 0} ^ {n-1} {{n-1} \ elegir {j}} \ frac {\ Gamma \ left (1- \ frac {1} {n} \ left (j + \ frac {1} {2} \ right) \ right) \ Gamma \ left (\ frac {1} {n} \ left (j + \ frac {1} {2 } \ right) \ right)} {\ Gamma (1)} = \ frac {\ pi} {2n} \ sum_ {j = 0} ^ {n-1} {{n-1} \ elegir {j}} \ frac {1} {\ sin \ left (\ frac {\ pi} {n} \ left (j + \ frac {1} {2} \ right) \ right)} [/ math]

usando la identidad de la función gamma [math] \ Gamma (1-z) \ Gamma (z) = \ frac {\ pi} {\ sin (\ pi z)}, ~~ 0 <z <1 [/ math]. Particularmente, para el problema dado tenemos

[matemáticas] \ int_0 ^ {\ frac {\ pi} {2}} \ frac {\ mathrm {d} x} {\ sin ^ 6x + \ cos ^ 6x} = I_3 = \ frac {\ pi} {6} \ izquierda (\ frac {1} {\ sin (\ pi / 6)} + \ frac {2} {\ sin (\ pi / 2)} + \ frac {1} {\ sin (5 \ pi / 6)} \ right) = \ pi [/ math]

Salud !

[matemáticas] \ displaystyle \ int_ {0} ^ {\ pi / 2} \ frac {1} {\ sin ^ 6 x + \ cos ^ 6 x} dx = \ int_ {0} ^ {\ pi / 2} \ frac {\ sec ^ 6 x} {\ tan ^ 6 x + 1} dx = \ int_ {0} ^ {\ pi / 2} \ frac {(1 + \ tan ^ 2 x) ^ 2 \ sec ^ 2 x } {\ tan ^ 6 x + 1} dx [/ matemáticas]

Ponga [math] \ tan x = t, \ sec ^ 2 x dx = dt [/ math] para obtener,

[matemáticas] \ displaystyle \ int_ {0} ^ {\ infty} \ frac {(1 + t ^ 2) ^ 2} {t ^ 6 + 1} dt = \ int_ {0} ^ {\ infty} \ frac { 1} {2 t ^ 2 + 2 \ sqrt {3} t + 2} + \ frac {1} {2 t ^ 2-2 \ sqrt {3} t + 2} dt [/ matemáticas]

[matemáticas] = \ displaystyle [\ arctan (2t + \ sqrt {3}) + \ arctan (2t – \ sqrt {3})] _ {0} ^ {\ infty} = \ pi [/ math]

[matemáticas] \ sin ^ 6x + \ cos ^ 6x = (\ sin ^ 2x + \ cos ^ 2x) ^ 3–3 \ sin ^ 2x \ cos ^ 2x (\ sin ^ 2x + \ cos ^ 2x) [/ matemáticas]

[matemáticas] = 1-3 \ sin ^ 2x \ cos ^ 2x = 1- \ frac {3} {4} \ sin ^ 2 2x = \ frac {4–3 \ sin ^ 2 2x} {4} [/ matemáticas ]

Por lo tanto, la integral [matemática] I = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4} {4–3 \ sin ^ 2 2x} dx [/ matemática]

sustituyendo 2x = y

[matemáticas] I = \ int_0 ^ {\ pi} \ frac {2} {4–3 \ sin ^ 2 y} dy = \ int_0 ^ \ frac {\ pi} {2} \ frac {4} {4–3 \ sin ^ 2 y} dy [/ math]

Dividiendo el numerador y el denominador entre [matemática] \ cos ^ 2 x [/ matemática] y sustituyendo [matemática] t = \ tan y [/ matemática]

I = [matemáticas] \ int_0 ^ \ infty \ frac {4} {4 (1 + t ^ 2) –3t ^ 2} dt = \ int_0 ^ \ infty \ frac {4} {4 + t ^ 2} dt = \ pi [/ matemáticas]

[matemáticas] \ int \ dfrac {1} {\ sin ^ 6x + \ cos ^ 6x} \, dx [/ matemáticas]

[matemáticas] \ int \ dfrac {1} {(\ sin ^ 2x + \ cos ^ 2x) (\ sin ^ 4x- \ sin ^ 2x \ cos ^ 2x + \ cos ^ 4x)} \, dx [/ matemáticas]

[matemáticas] \ int \ dfrac {1} {\ sin ^ 4x- \ sin ^ 2x \ cos ^ 2x + \ cos ^ 4x} \, dx [/ matemáticas]

[matemáticas] \ int \ dfrac {1} {\ sin ^ 4x-2 \ sin ^ 2x \ cos ^ 2x + \ cos ^ 4x + \ sin ^ 2x \ cos ^ 2x} \, dx [/ matemáticas]

[matemáticas] \ int \ dfrac {1} {(\ cos ^ 2x- \ sin ^ 2x) ^ 2 + \ sin ^ 2x \ cos ^ 2x} \, dx [/ matemáticas]

[matemáticas] 4 \ int \ dfrac {1} {4 (\ cos ^ 2x- \ sin ^ 2x) ^ 2 + 4 \ sin ^ 2x \ cos ^ 2x} \, dx [/ matemáticas]

[matemáticas] 4 \ int \ dfrac {1} {4 \ cos ^ 2 2x + \ sin ^ 2 2x} \, dx [/ matemáticas]

[matemáticas] 4 \ int \ dfrac {1} {4-4 \ sin ^ 2 2x + \ sin ^ 2 2x} \, dx [/ matemáticas]

[matemáticas] 2 \ int \ dfrac {2} {4-3 \ sin ^ 2 2x} \, dx [/ matemáticas]

[matemáticas] 2x = u [/ matemáticas]

[matemáticas] 2 \, dx = du [/ matemáticas]

[matemáticas] 2 \ int \ dfrac {1} {4-3 \ sin ^ 2u} \, du [/ matemáticas]

[matemáticas] 2 \ int \ dfrac {\ sec ^ 2u} {4 \ sec ^ 2u-3 \ tan ^ 2u} \, du [/ matemáticas]

[matemáticas] 2 \ int \ dfrac {\ sec ^ 2u} {4 \ tan ^ 2u-3 \ tan ^ 2u + 4} \, du [/ matemáticas]

[matemáticas] \ tan u = v [/ matemáticas]

[matemática] \ sec ^ 2u \, du = dv [/ matemática]

[matemáticas] 2 \ int \ dfrac {1} {4v ^ 2-3v ^ 2 + 4} \, dv [/ matemáticas]

[matemáticas] \ int \ dfrac {2} {v ^ 2 + 4} \, dv [/ matemáticas]

[matemáticas] \ arctan \ dfrac {v} {2} [/ matemáticas]

[matemáticas] \ arctan \ dfrac {\ tan u} {2} [/ matemáticas]

[matemáticas] \ arctan \ dfrac {\ tan 2x} {2} [/ matemáticas]

[matemáticas] \ arctan \ dfrac {\ tan 2 \ dfrac {\ pi} {2}} {2} – \ arctan \ dfrac {\ tan 2 \ cdot 0} {2} [/ matemáticas]

[matemáticas] 0 [/ matemáticas]

[matemáticas] I = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {\ sin ^ 6 (x) + \ cos ^ 6 (x)} dx \, \, \, \, ——— (1) [/ matemáticas]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {(\ sin ^ 2 (x) + \ cos ^ 2 (x)) (\ sin ^ 4 (x) – \ sin ^ 2 (x) \ cos ^ 2 (x) + \ cos ^ 4 (x))} dx [/ math]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {\ sin ^ 4 (x) – \ sin ^ 2 (x) \ cos ^ 2 (x) + \ cos ^ 4 (x)} dx [/ matemáticas]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {\ sin ^ 4 (x) – 2 \ sin ^ 2 (x) \ cos ^ 2 (x) + \ sin ^ 2 (x) \ cos ^ 2 (x) + \ cos ^ 4 (x)} dx [/ math]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {(\ sin ^ 2 (x) – \ cos ^ 2 (x)) ^ 2 + \ sin ^ 2 (x ) \ cos ^ 2 (x)} dx [/ math]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {1} {\ cos ^ 2 (2x) + \ sin ^ 2 (x) \ cos ^ 2 (x)} dx [/ matemáticas]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4} {4 \ cos ^ 2 (2x) + 4 \ sin ^ 2 (x) \ cos ^ 2 (x)} dx [/matemáticas]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4} {4 \ cos ^ 2 (2x) + \ sin ^ 2 (2x)} dx [/ matemáticas]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4} {3 \ cos ^ 2 (2x) + 1} dx [/ matemáticas]

[matemática] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4 \ sec ^ 2 (2x)} {3 + \ sec ^ 2 (2x)} dx [/ math]

[matemáticas] = \ int_0 ^ {\ frac {\ pi} {2}} \ frac {4 (1 + \ tan ^ 2 (2x))} {4 + \ tan ^ 2 (2x)} dx \, \, \, \, ——— (2) [/ matemáticas]

Como [math] tan (2x) [/ math] es simétrico a [math] x = \ frac {\ pi} {4} [/ math]

[matemática] \ implica I = 2 \ int_ {0} ^ {\ frac {\ pi} {4}} \ frac {4 (1 + \ tan ^ 2 (2x))} {4 + \ tan ^ 2 (2x )} dx \, \, \, \, ——— (3) [/ math]

Deje [math] y = \ tan (2x) \, \, \, \, ——— (4) [/ math]

[matemáticas] \ implica x = \ frac {\ arctan (y)} {2} \, \, \, \, ——— (5) [/ matemáticas]

[matemáticas] \ implica dx = \ frac {1} {2 (1 + y ^ 2)} dy \, \, \, \, ——— (6) [/ matemáticas]

Poner valores de [matemáticas] x [/ matemáticas] y [matemáticas] dx [/ matemáticas] de las ecuaciones [matemáticas] (6) [/ matemáticas] y [matemáticas] (4) [/ matemáticas] en la ecuación [matemáticas] (3 ) [/ matemáticas], tenemos,

[matemáticas] I = 2 \ int _ {\ tan (2 \ times 0)} ^ {\ tan (2 \ times \ frac {\ pi} {4})} \ frac {4 (1 + y ^ 2)} { 2 (4 + y ^ 2) (1 + y ^ 2)} dy [/ math]

[matemáticas] = 2 \ int_ {0} ^ {\ infty} \ frac {2} {4 + y ^ 2} dy [/ matemáticas]

[matemáticas] = 2 \ int_ {0} ^ {\ infty} \ frac {1} {2 (1 + (\ frac {y} {2}) ^ 2)} dy \, \, \, \, —— – (7) [/ matemáticas]

Deje [math] tan (u) = \ frac {y} {2} \, \, \, \, ——— (8) [/ math]

[matemáticas] \ implica u = \ arctan (\ frac {y} {2}) \, \, \, \, ——— (9) [/ matemáticas]

[matemáticas] \ implica du = \ frac {1} {2 (1 + (\ frac {y} {2}) ^ 2)} dy \, \, \, \, ——— (10) [/ matemáticas]

Entonces, [matemáticas] I = 2 \ int _ {\ arctan (\ frac {0} {2})} ^ {\ arctan (\ frac {\ infty} {2})} du [/ math]

[matemáticas] = 2u | _ {0} ^ {\ frac {\ pi} {2}} [/ matemáticas]

[matemáticas] = \ pi [/ matemáticas]