Enunciado

Seja alpha um real dado, com - 1 < alpha < 0 . Prove que, para todo x in ] - 1 , 1 ] ,

(1 + x)^(alpha) = 1 + sum_(n = 1)^(oo) (alpha (alpha - 1) (alpha - 2) ... ( alpha - n + 1 ))/(n !) x^n

Passo 1

Como - 1 < alpha < 0 , todos os termos do numerador são negativos:

alpha < 0 , alpha - 1 < 0 , alpha - 2 < 0 ...

Assim, podemos escrever

alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1) = (- 1)^n |alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1)|

Se n for par, o produto de um número par de termos negativos é positivo. Se n for ímpar, o produto é negativo. O termo (- 1)^n cuida disso!

Assim, podemos escrever

(alpha (alpha - 1) (alpha - 2) ... ( alpha - n + 1 ))/(n !) = (- 1)^n |(alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1))/(n !)|

Vamos chamar

a_n = |(alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1))/(n !)|

Assim, podemos escrever

sum_(n = 1)^(oo) (alpha (alpha - 1) (alpha - 2) ... ( alpha - n + 1 ))/(n !) x^n = sum_(n = 1)^(oo) (- 1)^n a_n x^n

Passo 2

Note que a_n é uma sequência de termos positivos. Além disso, vimos no exercício 9a da seção 3.5 que

underset(n -> oo)(lim) a_n = 0

Além disso, note que

(a_n + 1)/(a_n) = (|alpha (alpha - 1) (alpha - 2) ... (alpha - n)| // (n + 1) !)/(|alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1)| // n !)

Assim,

(a_n + 1)/(a_n) = (|alpha - n|)/(n + 1)

Como - 1 < alpha < 0 , temos que

(a_n + 1)/(a_n) < 1

Portanto, a sequência é decrescente e temos underset(n -> oo)(lim) a_n = 0 , isso significa que a série alternada

sum_(n = 1)^(oo) (- 1)^n a_n

é convergente. Usei o teste da série alternada para verificar isso. Mas note que podemos escrever então que a série

sum_(n = 1)^(oo) (- 1)^n a_n * 1^n

é convergente. Isso significa, que a série

sum_(n = 1)^(oo) (alpha (alpha - 1) (alpha - 2) ... ( alpha - n + 1 ))/(n !) x^n

é convergente para x = 1 .

Passo 3

Para x = - 1 , temos que

sum_(n = 1)^(oo) (alpha (alpha - 1) (alpha - 2) ... ( alpha - n + 1 ))/(n !) x^n = sum_(n = 1)^(oo) (- 1)^n a_n (- 1)^n = sum_(n = 1)^(oo) a_n

Olhando para o exercício 6 da seção 3.5, vemos que a série

sum_(n = 1)^(oo) a_n = sum_(n = 1)^(oo) |(alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1))/(n !)|

é divergente para alpha < 0 . Com isso, a série de potências que estamos estudando não converge para x = 1 .

Sabemos que ela converge no interior do intervalo, converge para x = 1 (um extremo), mas não converge para x = - 1 . Com isso, temos que para - 1 < alpha < 0

(1 + x)^(alpha) = 1 + sum_(n = 1)^(oo) (alpha (alpha - 1) (alpha - 2) ... (alpha - n + 1))/(n !) x^n

com - 1 < x <= 1 .

Resposta

Demonstração.

Ver Outros Exercícios desse livro