Supondo que tivéssemos uma sequência em progressão geométrica e quiséssemos saber qual é o valor da soma de seus n primeiros termos. É claro que quando limitamos o número de elementos, por exemplo, Sné a soma dos seus n primeiros termos, a1 é chamado o primeiro termo de uma sequência e é a razão da P.G.
S_n = a_1 \cdot \frac{(1-q^n)}{(1-q)}
Porém, se quiséssemos descobrir qual é a soma dos infinitos termos de uma progressão geométrica a nossa análise mudaria totalmente. Ora, se a P.G. em questão for crescente não seria possível determinar a sua soma ao infinito pois certamente o seu valor tenderia ao infinito também. Então questionamos: Qual seria o valor da soma de uma P.G. infinita? Para isso, devemos introduzir alguns conceitos a respeito de sequências e séries:
Sequências numéricas do tipo (a1, a2, a3, a4, ..., an) podem ser definidas por fórmulas.
Exemplo 1: Seja a sequência \left(\frac{1}{2}, \frac{2}{3}, \frac{3}{4}, ...\right), podemos dizer que o seu termo geral é dado pela fórmula:
a_n = \frac{n}{n+1}, com n = 1, 2, 3 ...
Ou recursivamente, como:
a_1 = 1, a_2 = 2, a_3 = a_{n+2} = a_{n+1} + \frac{a_{n+1} - a_n}{2}
Com n \in \mathbb{N}\text{*}.
Exemplo 2: Tomemos a sequência infinita a_n = \frac{1}{n}, os seus elementos serão representados por:
\left(1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, ..., \frac{1}{50}, ..., \frac{1}{n}, ...\right)
Observe que, se o valor de n for muito grande, então a razão tende a zero. Por exemplo, \frac{1}{100.000} = 0,00001. Então o termo geral tenderá a zero quanto maior for o valor de n. Representando em notação de limites, dizemos que o limite da sequência quando n tende ao infinito (n \rightarrow \infty) é zero, ou seja:
\displaystyle \lim_{n \to \infty} a_n = \lim_{n \to \infty} \frac{1}{n} = 0
Lembrando que uma P.G. é decrescente quando possui duas características: Quando 0 < q < 1 e os termos são positivos ou quando q > 1 e os termos negativos. Porém, se pensarmos que quando o módulo da razão da P.G. estiver entre 0 e 1 (0 < |q| < 1), a soma dos seus n primeiros termos terá um limite finito quando n tender ao infinito. Em outras palavras, qn aproxima-se de zero quando n for suficientemente grande, então:
\displaystyle \lim_{n \to \infty} q^n = 0
Como a soma dos n primeiros termos da P.G. é dada por:
S_n = a_1 \cdot \frac{1 - q^n}{1-q}
Então podemos dizer que:
\displaystyle \lim_{n \to \infty} S_n = a_1 \cdot \frac{1-q^n}{1-q} = a_1 \cdot \frac{1-0}{1-q}
E como 0 < |q| < 1, concluímos que:
\displaystyle \lim_{n \to \infty} S_n = \frac{a_1}{1-q}
Portanto, a soma dos infinitos termos de uma P.G. quando a razão 0 < |q| < 1 será dada por:
S_n = \frac{a_1}{(1-q)}
Exemplo 3: Podemos representar a soma de uma sequência pelo símbolo do somatório. Supondo que uma sequência já esteja definida como uma fórmula, por exemplo, a sequência \left(\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, ...\right). Sabemos que é uma P.G. de razão q = \frac{1}{2}, que é um valor entre 0 e 1, e que a fórmula do termo geral é dada por a_n = \frac{1}{2^n}. Escrevemos então o seu somatório:
\displaystyle S_n = \sum_{n=1}^{\infty} a_n = \sum_{n=1}^{\infty} \frac{1}{2^n} = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + ...
Lê-se: Somatório de \frac{1}{2^n} quando n varia de 1 ao infinito.
Utilizando a fórmula para determinar a soma desta P.G. obtemos:
S_n = \frac{a_1}{(1-q)} = \frac{\frac{1}{2}}{\left(1 - \frac{1}{2}\right)} = \frac{\frac{1}{2}}{\frac{1}{2}} = 1
Então, a soma desta sequência em P.G. até o infinito será igual a 1, ou que o limite desta sequência é 1.
Referências Bibliográficas:
IEZZI, Gelson. Fundamentos de Matemática Elementar – Volume 4: São Paulo: Editora Atual, 2013.
LIMA, Elon Lages. Um Curso de Análise: Volume 1. Rio de Janeiro: IMPA, 2017.