Cómo encontrar [matemáticas] \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (\ cos {r \ theta} \ right) [/ math]

Por teorema binomial,

[matemáticas] \ displaystyle (1 + x) ^ n = \ sum_ {r = 0} ^ n {n \ elegir r} x ^ r \ tag {1} [/ matemáticas]

Sustituyendo [math] x = e ^ {i \ theta} [/ math] en (1), obtenemos,

[matemáticas] \ displaystyle (1 + e ^ {i \ theta}) ^ n = \ sum_ {r = 0} ^ n {n \ elegir r} e ^ {ir \ theta} \ tag {2} [/ matemáticas]

Por la fórmula de Euler,

[matemáticas] \ displaystyle (1 + \ cos \ theta + i \ sin \ theta) ^ n = \ sum_ {r = 0} ^ n {n \ elegir r} \ cos r \ theta + i \ sum_ {r = 0 } ^ n {n \ elegir r} \ sin r \ theta \ tag {3} [/ math]

[matemáticas] \ displaystyle \ left (2 \ cos ^ 2 \ frac {\ theta} {2} + i 2 \ sin \ frac {\ theta} {2} \ cos \ frac {\ theta} {2} \ right) ^ n = \ sum_ {r = 0} ^ n {n \ elegir r} \ cos r \ theta + i \ sum_ {r = 0} ^ n {n \ elegir r} \ sin r \ theta \ tag {4} [/matemáticas]

[matemáticas] \ displaystyle 2 ^ n \ cos ^ n \ frac {\ theta} {2} \ left (\ cos \ frac {\ theta} {2} + i \ sin \ frac {\ theta} {2} \ right ) ^ n = \ sum_ {r = 0} ^ n {n \ elegir r} \ cos r \ theta + i \ sum_ {r = 0} ^ n {n \ elegir r} \ sin r \ theta \ tag {5 }[/matemáticas]

Usando la fórmula de De Moivre,

[matemáticas] \ displaystyle 2 ^ n \ cos ^ n \ frac {\ theta} {2} \ left (\ cos \ frac {n \ theta} {2} + i \ sin \ frac {n \ theta} {2} \ right) = \ sum_ {r = 0} ^ n {n \ elegir r} \ cos r \ theta + i \ sum_ {r = 0} ^ n {n \ elegir r} \ sin r \ theta \ tag {6 }[/matemáticas]

Al comparar las partes reales en ambos lados de (6), obtenemos,

[matemáticas] \ displaystyle \ sum_ {r = 0} ^ n {n \ elegir r} \ cos r \ theta = 2 ^ n \ cos ^ n \ frac {\ theta} {2} \ cos \ frac {n \ theta } {2} \ tag {7} [/ matemáticas]


Apéndice:

Comparar las partes imaginarias de (6) nos da,

[matemáticas] \ displaystyle \ sum_ {r = 0} ^ n {n \ elegir r} \ sin r \ theta = 2 ^ n \ cos ^ n \ frac {\ theta} {2} \ sin \ frac {n \ theta } {2} \ tag {8} [/ matemáticas]

De (7) y (8), obtenemos la siguiente identidad no trivial,

[matemáticas] \ displaystyle \ tan \ frac {n \ theta} {2} \ sum_ {r = 0} ^ n {n \ choose r} \ cos r \ theta = \ sum_ {r = 0} ^ n {n \ elija r} \ sin r \ theta \ tag {9} [/ math]

[matemáticas] \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (\ cos {r \ theta} \ right) [/ math]

[matemáticas] = \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (\ frac {e ^ {ir \ theta} -e ^ {- ir \ theta}} {2} \ right) [/matemáticas]

[matemáticas] = \ frac {1} {2} \ left (\ sum_ {r = 0} ^ {n} {n \ elegir r} e ^ {ir \ theta} – \ sum_ {r = 0} ^ {n } {n \ elegir r} e ^ {- ir \ theta} \ right) [/ math]

[matemáticas] = \ frac {1} {2} \ left (\ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (e ^ {i \ theta} \ right) ^ r- \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (e ^ {- i \ theta} \ right) ^ r \ right) [/ math]

[matemáticas] = \ frac {1} {2} \ left (\ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (e ^ {i \ theta} \ right) ^ r- \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (e ^ {- i \ theta} \ right) ^ r \ right) [/ math]

[matemáticas] = \ frac {1} {2} \ left (\ left (1 + e ^ {i \ theta} \ right) ^ n- \ left (1 + e ^ {- i \ theta} \ right) ^ n \ right) [/ math]

[matemáticas] = \ frac {1} {2} \ left (\ left (1+ \ cos \ theta + i \ sin \ theta \ right) ^ n- \ left (1+ \ cos \ theta-i \ sin \ theta \ right) ^ n \ right) [/ math]

[matemáticas] = \ frac {1} {2} \ left (\ left (2 \ cos ^ 2 (\ theta / 2) + 2i \ sin (\ theta / 2) \ cos (\ theta / 2) \ right) ^ n- \ left (2 \ cos ^ 2 (\ theta / 2) -2i \ sin (\ theta / 2) \ cos (\ theta / 2) \ right) ^ n \ right) [/ math]

[matemáticas] = \ frac {1} {2} 2 ^ n \ cos ^ n (\ theta / 2) \ left (\ left (\ cos (\ theta / 2) + i \ sin (\ theta / 2) \ right) ^ n- \ left (\ cos (\ theta / 2) -i \ sin (\ theta / 2) \ right) ^ n \ right) [/ math]

[matemáticas] = \ frac {1} {2} 2 ^ n \ cos ^ n (\ theta / 2) \ left (e ^ {in \ theta / 2} -e ^ {- en \ theta / 2} \ right )[/matemáticas]

[matemáticas] = \ frac {1} {2} 2 ^ n \ cos ^ n (\ theta / 2) \ left (2 \ cos (n \ theta / 2) \ right) [/ math]

[matemáticas] = 2 ^ n \ cos ^ n (\ theta / 2) \ cos (n \ theta / 2) [/ matemáticas]

Antes de comenzar este problema, debe conocer algunos conocimientos básicos de números complejos.

Sea [matemáticas] Z = [/ matemáticas] [matemáticas] e ^ {iθ} = \ cos θ + i \ sin θ \ ldots (1) [/ matemáticas]

[matemáticas] \ por lo tanto Z ^ r = e ^ {riθ} = \ cos rθ + i \ sin rθ [/ matemáticas]

y [matemáticas] \ dfrac {1} {Z} = e ^ {- iθ} = \ cos θ-i \ sin θ \ ldots (2) [/ matemáticas]

[matemáticas] \ por lo tanto \ dfrac {1} {Z ^ r} = e ^ {- riθ} = \ cos rθ-i \ sin rθ [/ matemáticas]

[matemáticas] \ por lo tanto \ cos rθ = \ dfrac {Z ^ r + \ dfrac {1} {Z ^ r}} {2} [/ matemáticas]

Ahora la pregunta original se convierte

[matemáticas] \ displaystyle \ sum_ {r = 0} ^ n \ left ({} ^ n \ text {C} _r \ left (\ dfrac {Z ^ r + \ dfrac {1} {Z ^ r}} {2} \ right) \ right) [/ math]

[matemáticas] = \ dfrac {1} {2} \ displaystyle \ sum_ {r = 0} ^ n \ left ({} ^ n \ text {C} _r \ left (Z ^ r \ right) + {} \ text {C} _r \ left (\ dfrac {1} {Z ^ r} \ right) \ right) [/ math]

[matemáticas] = \ dfrac {1} {2} [(1 + Z) ^ n + (1+ \ dfrac {1} {Z}) ^ n] [/ matemáticas]

[matemáticas] = \ dfrac {1} {2} [(1+ \ cos θ + i \ sin θ) ^ n + (1+ \ cos θ-i \ sin θ) ^ n [/ matemáticas]

[matemáticas] = \ dfrac {1} {2} [(2 \ cos ^ 2 \ dfrac {θ} {2} + 2i \ sin \ dfrac {θ} {2} \ cos \ dfrac {θ} {2}) ^ n + (2cos ^ 2 \ dfrac {θ} {2} -2i \ sin \ dfrac {θ} {2} \ cos \ dfrac {θ} {2}) ^ n] [/ math]

[matemática] = 2 ^ {n-1} \ cos ^ nθ \ left (\ left (\ cos \ dfrac {θ} {2} + i \ sin \ dfrac {θ} {2} \ right) ^ n + \ left (\ cos \ dfrac {θ} {2} -i \ sin \ dfrac {θ} {2} \ right) ^ n \ right) [/ math]

Usando la ecuación [math] (1) [/ math] y [math] (2) [/ math] tenemos

[matemática] = 2 ^ {n-1} \ cos ^ nθ \ left (\ left (\ cos \ dfrac {nθ} {2} + i \ sin \ dfrac {nθ} {2} \ right) + \ left ( \ cos \ dfrac {nθ} {2} -i \ sin \ dfrac {nθ} {2} \ right) \ right) [/ math]

[matemáticas] \ boxed {\ displaystyle \ sum_ {r = 0} ^ n {} ^ n \ text {C} _r \ cos rθ = 2 ^ n \ cos ^ nθ \ cos \ dfrac {nθ} {2}} [ /matemáticas]