# Série geométrica

Em matemática, uma série geométrica é uma série que soma os termos de uma progressão geométrica infinita, na qual a razão dos termos consecutivos é constante. Por exemplo, a série ${\tfrac {1}{2}}+{\tfrac {1}{4}}+{\tfrac {1}{8}}+\cdots$ é uma série geométrica com razão igual a ${\tfrac {1}{2}}$ em que a soma de todos os termos converge para $1$. Cada termo em uma série geométrica é a média geométrica do termo anterior e do termo posterior, da mesma forma que cada termo de uma progressão aritmética é a média aritmética de seus vizinhos.
O paradoxo do filósofo grego Zenão sobre o tempo e o movimento (século V a.C.) foi interpretado como relacionado a séries geométricas, mas essas séries só foram formalmente estudadas e aplicadas um ou dois séculos depois pelos matemáticos gregos. Um exemplo notável é o uso feito por Arquimedes no cálculo da área no interior de uma parábola (século III a.C.). Atualmente, as séries geométricas têm aplicações em matemática financeira, no cálculo de áreas de fractais e em diversos tópicos da ciência da computação.
Embora as séries geométricas sejam mais frequentemente associadas a números reais e números complexos, elas também possuem resultados e aplicações importantes em contextos mais amplos, como séries geométricas com valores matriciais, valores funcionais, números p-ádicos, além de elementos de corpos algébricos abstratos, anéis e semianéis.

## Definição e exemplos

A série geométrica é uma série infinita derivada de um tipo especial de sequência chamada progressão geométrica. Isso significa que é a soma de um número infinito de termos de uma progressão geométrica: a partir do termo inicial $a$, e o seguinte sendo o termo inicial multiplicado por um número constante conhecido como razão comum $r$. Multiplicando continuamente cada termo por uma razão comum, a série geométrica pode ser definida matematicamente como: $a+ar+ar^{2}+ar^{3}+\cdots =\sum _{k=0}^{\infty }ar^{k}.$ A soma de um segmento inicial finito de uma série geométrica infinita é chamada de série geométrica finita, ou seja: $a+ar+ar^{2}+ar^{3}+\cdots +ar^{n}=\sum _{k=0}^{n}ar^{k}.$
Quando $r>1$, chama-se frequentemente de taxa de crescimento ou taxa de expansão. Quando $0<r<1$, denota-se frequentemente de taxa de decaimento ou taxa de contração, em que a ideia de que se trata de uma "taxa" resulta da interpretação de $k$ como uma espécie de variável temporal discreta. Quando uma área de aplicação tem vocabulário especializado para tipos específicos de crescimento, expansão, contração e decaimento, esse vocabulário também é frequentemente usado designar os parâmetros $r$ das séries geométricas. Em economia, por exemplo, as taxas de aumento e diminuição dos níveis de preços são designadas por taxas de inflação e taxas de deflação, enquanto as taxas de aumento dos valores dos investimentos incluem taxas de rentabilidade e taxas de juros.
Ao somar um número infinito de termos, a série geométrica pode ser convergente ou divergente. Convergência significa que existe um valor após a soma de infinitos termos, enquanto que divergência significa que não existe valor após a soma. A convergência de uma série geométrica pode ser descrita em função do valor de uma razão comum, ver § Convergência da série e sua prova. A série de Grandi é um exemplo de uma série divergente que pode ser expressa como $1-1+1-1+\cdots$, em que o termo inicial é $1$ e a razão comum é $-1$; isso deve-se ao fato de ter três valores diferentes.
Os números decimais que têm padrões repetidos que continuam para sempre podem ser interpretados como séries geométricas e, assim, convertidos em expressões da razão de dois números inteiros. Por exemplo, a fração decimal repetida $0{,}7777\ldots$ pode ser escrita como a série geométrica:
    $0{,}7777\ldots ={\frac {7}{10}}+{\frac {7}{10}}\left({\frac {1}{10}}\right)+{\frac {7}{10}}\left({\frac {1}{10^{2}}}\right)+{\frac {7}{10}}\left({\frac {1}{10^{3}}}\right)+\cdots ,$
em que o termo inicial é $a={\tfrac {7}{10}}$ e a razão comum é $r={\tfrac {1}{10}}$.

## Convergência da série e sua prova

A convergência da sequência infinita de somas parciais de uma série geométrica infinita depende apenas da magnitude da razão $r$:
* Se $\vert r\vert <1$, os termos da série se aproximam de zero (tornando-se cada vez menores em magnitude) e a sequência de somas parciais $S_{n}$ converge para um valor limite de a/1−r {\textstyle {\frac {a}{1-r}}}.
* Se $\vert r\vert >1$, os termos da série se tornam cada vez maiores em magnitude e as somas parciais dos termos também ficam cada vez maiores em magnitude, então a série diverge.
* Se $\vert r\vert =1$, os termos da série não se tornam maiores ou menores em magnitude e a sequência de somas parciais da série não converge. Quando $r=1$, todos os termos da série são os mesmos e $|S_{n}|$ cresce até o infinito. Quando $r=-1$, os termos assumem dois valores $a$ e $-a$ alternadamente e, portanto, a sequência de somas parciais dos termos oscila entre os dois valores $a$ e 0. Um exemplo pode ser encontrado na série de Grandi. Quando $r=i$ e $a=1$, as somas parciais circulam periodicamente entre os valores $1,1+i,i,0,1,1+i,i,0,\ldots$, nunca convergindo para um limite. Geralmente quando $r=e^{\frac {2\pi i}{\tau }}$ para qualquer inteiro $\tau$ e com qualquer $a\neq 0$, as somas parciais da série circularão indefinidamente com um período de $\tau$, nunca convergindo para um limite.
A taxa de convergência mostra como a sequência se aproxima rapidamente de seu limite. No caso da série geométrica — a sequência relevante é $S_{n}$ e seu limite é $S$ — a taxa e a ordem são encontradas por meio de $\lim _{n\rightarrow \infty }{\frac {\left|S_{n+1}-S\right|}{\left|S_{n}-S\right|^{q}}},$ onde $q$ representa a ordem de convergência. Usando |S$_n$−S|=| (ar$^{n+1}$)/1−r |{\textstyle |S_{n}-S|=\left|{\frac {ar^{n+1}}{1-r}}\right|} e escolhendo a ordem de convergência $q=1$ resulta: $\lim _{n\rightarrow \infty }{\frac {\left|{\frac {ar^{n+2}}{1-r}}\right|}{\left|{\frac {ar^{n+1}}{1-r}}\right|^{1}}}=|r|.$ Quando a série converge, a taxa de convergência fica mais lenta à medida que $|r|$ se aproxima de $1$. O padrão de convergência também depende do sinal ou do argumento complexo da razão comum. Se $r>0$ e $|r|<1$, então todos os termos compartilham o mesmo sinal e as somas parciais dos termos se aproximam monotonicamente de seu limite final. Se $r<0$ e $|r|<1$, os termos adjacentes na série geométrica alternam entre positivo e negativo, e as somas parciais $S_{n}$ dos termos oscilam acima e abaixo de seu limite final $S$. Para $r$ complexo e $|r|<1$, o somatório $S_{n}$ converge em um padrão espiralado.
A convergência é provada da seguinte forma. A soma parcial dos primeiros $n+1$ termos de uma série geométrica, que segue até o termo $r^{n}$, $S_{n}=ar^{0}+ar^{1}+\cdots +ar^{n}=\sum _{k=0}^{n}ar^{k},$ é dada pela forma fechada $S_{n}={\begin{cases}a(n+1)&r=1\\a\left({\frac {1-r^{n+1}}{1-r}}\right)&r\neq 1\end{cases}}$ onde $r$ é a razão comum. O caso $r=1$ é meramente uma adição simples, um caso de uma série aritmética. A fórmula para as somas parciais $S_{n}$ com $r\neq 1$ pode ser derivada da seguinte forma: ${\begin{aligned}S_{n}&=ar^{0}+ar^{1}+\cdots +ar^{n},\\rS_{n}&=ar^{1}+ar^{2}+\cdots +ar^{n+1},\\S_{n}-rS_{n}&=ar^{0}-ar^{n+1},\\S_{n}\left(1-r\right)&=a\left(1-r^{n+1}\right),\\S_{n}&=a\left({\frac {1-r^{n+1}}{1-r}}\right),\end{aligned}}$ para $r\neq 1$. Conforme $r$ se aproxima de 1, a divisão polinomial ou regra de l'Hôpital recupera o caso $S_{n}=a(n+1)$.
À medida que $n$ se aproxima do infinito, o valor absoluto de r deve ser menor que um para que essa sequência de somas parciais converja para um limite. Quando isso acontece, a série converge absolutamente. A série infinita então se torna ${\begin{aligned}S&=a+ar+ar^{2}+ar^{3}+ar^{4}+\cdots \\&=\lim _{n\rightarrow \infty }S_{n}\\&=\lim _{n\rightarrow \infty }{\frac {a(1-r^{n+1})}{1-r}}\\&={\frac {a}{1-r}}-{\frac {a}{1-r}}\lim _{n\rightarrow \infty }r^{n+1}\\&={\frac {a}{1-r}},\end{aligned}}$ para $|r|<1$.
Esse resultado de convergência é amplamente aplicado para provar a convergência de outras séries também, sempre que os termos dessas séries puderem ser limitados a partir de cima por uma série geométrica adequada. Essa estratégia de prova é a base para o teste da razão e o teste da raiz para a convergência de séries infinitas.

## Conexão com a série de potências

Assim como a série geométrica, uma série de potências tem um parâmetro para uma variável comum elevada a potências sucessivas correspondentes ao $r$ da série geométrica, mas possui parâmetros adicionais $a_{0},a_{1},a_{2},\ldots$, um para cada termo da série, para os coeficientes distintos de cada $x^{0},x^{1},x^{2},\ldots$, em vez de apenas um único parâmetro adicional $a$ para todos os termos, o coeficiente comum de $r^{k}$ em cada termo de uma série geométrica. A série geométrica pode, portanto, ser considerada uma classe de séries de potências em que a sequência de coeficientes satisfaz $a_{k}=a$ para todos $k$ e $x=r$.
Essa classe especial de séries de potências desempenha um papel importante na matemática, por exemplo, no estudo de funções geradoras ordinárias em combinatória e na soma de séries divergentes em análise. Muitas outras séries de potências podem ser escritas como transformações e combinações de séries geométricas, tornando a fórmula da série geométrica uma ferramenta conveniente para calcular fórmulas para essas séries de potências.
Como uma série de potências, a série geométrica tem um raio de convergência de 1. Isso pode ser visto como uma consequência do teorema de Cauchy–Hadamard e do fato de que
    $\lim _{n\rightarrow \infty }{\sqrt[{n}]{a}}=1$
para qualquer $a$ ou como uma consequência do teste da razão para a convergência de séries infinitas, com
    $\lim _{n\rightarrow \infty }{\frac {|ar^{n+1}|}{|ar^{n}|}}=|r|$,
implicando na convergência apenas para $|r|<1$. No entanto, tanto o teste da razão quanto o teorema de Cauchy-Hadamard são provados usando a fórmula da série geométrica como um resultado logicamente anterior, então tal raciocínio seria sutilmente circular.

## Histórico

Há 2500 anos, os matemáticos gregos acreditavam que uma lista infinitamente longa de números positivos deveria somar até ao infinito. Portanto, Zenão de Eleia criou um paradoxo, demonstrando o seguinte: para ir de um lugar a outro, é preciso primeiro percorrer metade da distância até lá, depois metade da distância restante, e assim por diante, percorrendo infinitos intervalos antes de chegar. Ao fazer isso, ele dividiu uma distância fixa em uma lista infinitamente longa de distâncias restantes divididas pela metade, cada uma com um comprimento maior que zero. O paradoxo de Zenão revelou aos gregos que sua suposição sobre uma lista infinitamente longa de números positivos precisando somar até ao infinito estava incorreta.
O Elementos de Euclides tem a distinção de ser o livro-texto matemático mais antigo do mundo usado continuamente, e inclui uma demonstração da soma de séries geométricas finitas no Livro IX, Proposição 35, ilustrado em uma figura adjacente.
Arquimedes, em seu A Quadratura da Parábola, usou a soma de uma série geométrica para calcular a área delimitada por uma parábola e por uma linha reta. O teorema de Arquimedes afirma que a área total sob a parábola é ⁠4/3⁠ da área do triângulo azul. Seu método consistia em dissecar a área em triângulos infinitos, como mostrado na figura ao lado. Ele determinou que cada triângulo verde teria ⁠1/8⁠ da área do triângulo azul, cada triângulo amarelo teria ⁠1/8⁠ a área de um triângulo verde, e assim por diante. Supondo que o triângulo azul tivesse área igual a 1, então, a área total seria a soma da série infinita, isto é,
    $1+2\left({\frac {1}{8}}\right)+4\left({\frac {1}{8}}\right)^{2}+8\left({\frac {1}{8}}\right)^{3}+\cdots .$
Aqui, o primeiro termo representaria a área do triângulo azul, o segundo termo seria a área dos dois triângulos verdes, o terceiro termo seria a área dos quatro triângulos amarelos, e assim por diante. Simplificando as frações, temos
    $1+{\frac {1}{4}}+{\frac {1}{16}}+{\frac {1}{64}}+\cdots ,$
que se trata de uma série geométrica com razão $r={\tfrac {1}{4}}$ e sua soma é:
    ${\frac {1}{1-r}}\ ={\frac {1}{1-{\frac {1}{4}}}}={\frac {4}{3}}.$
Além de sua prova da divergência da série harmônica, Nicolau de Oresme demonstrou a série aritmético-geométrica conhecida como Escadaria de Gabriel, dada por
    ${\frac {1}{2}}+{\frac {2}{4}}+{\frac {3}{8}}+{\frac {4}{16}}+{\frac {5}{32}}+{\frac {6}{64}}+{\frac {7}{128}}+\cdots =2.$
O diagrama de sua prova geométrica, semelhante ao diagrama ao lado, mostra uma série geométrica bidimensional. A primeira dimensão é horizontal, na linha inferior, representando a série geométrica com valor inicial $a={\tfrac {1}{2}}$ e razão $r={\tfrac {1}{2}}$
    $S={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+{\frac {1}{32}}+\cdots ={\frac {\frac {1}{2}}{1-{\frac {1}{2}}}}=1.$
A segunda dimensão é vertical, em que a linha inferior é um novo termo inicial $a=S$ e cada linha subsequente acima dela diminui de acordo com a mesma razão $r={\tfrac {1}{2}}$, formando outra série geométrica com soma $T$, ou seja,
    ${\begin{aligned}T&=S\left(1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots \right)\\&={\frac {S}{1-r}}={\frac {1}{1-{\frac {1}{2}}}}=2.\end{aligned}}$
Essa abordagem se generaliza de forma útil para dimensões mais altas, e essa generalização é descrita abaixo em § Conexão com a série de potências.

## Aplicações

Como mencionado acima, a série geométrica pode ser aplicada no campo da economia. A razão de uma série geométrica que pode se referir às taxas de aumento e diminuição dos níveis de preços, chamadas de taxas de inflação e taxas de deflação; em contrapartida, as taxas de aumento nos valors de investimentos incluem taxas de retorno e taxas de juros. Mais especificamente em matemática financeira, as séries geométricas também podem ser aplicadas no valor do dinheiro ao longo do tempo, isto é, para representar os valores presentes de anuidades perpétuas, somas de dinheiro a serem pagas a cada ano indefinidamente no futuro. Esse tipo de cálculo é usado para calcular a taxa percentual anual de um empréstimo, como um empréstimo hipotecário. Ela também pode ser usada para estimar o valor presente dos dividendos esperados das ações ou o valor terminal de um ativo financeiro, pressupondo uma taxa de crescimento estável. No entanto, a suposição de que as taxas de juros são constantes é geralmente incorreta e é improvável que os pagamentos continuem para sempre, uma vez que o emissor da anuidade perpétua pode perder sua capacidade ou encerrar seu compromisso de fazer pagamentos contínuos, portanto, estimativas como essas são apenas diretrizes heurísticas para tomada de decisão, em vez de previsões científicas de valores atuais reais.
Além de encontrar a área delimitada por uma parábola e por uma linha em A Quadratura da Parábola, de Arquimedes, a série geométrica também pode ser aplicada para encontrar a área do floco de neve de Koch descrita como a união de infinitos triângulos equiláteross. Cada lado do triângulo verde tem exatamente ⁠1/3⁠ do tamanho de um lado do grande triângulo azul e, portanto, tem exatamente ⁠1/9⁠ da área. Da mesma forma, cada triângulo amarelo tem ⁠1/9⁠ da área de um triângulo verde, e assim por diante. Todos esses triângulos podem ser representados em termos de séries geométricas: a área do triângulo azul é o primeiro termo, a área dos três triângulos verdes é o segundo termo, a área dos doze triângulos amarelos é o terceiro termo, e assim por diante. Excluindo o $1$ inicial, essa série tem uma razão $r={\tfrac {4}{9}}$, e considerando o triângulo azul como uma unidade de área, a área total do floco de neve é:
    $1+3\left({\frac {1}{9}}\right)+12\left({\frac {1}{9}}\right)^{2}+48\left({\frac {1}{9}}\right)^{3}+\cdots ={\frac {1}{1-{\frac {4}{9}}}}={\frac {8}{5}}.$
Vários tópicos em ciência da computação podem incluir a aplicação de séries geométricas no seguinte:
* Análise de algoritmo: analisando a complexidade de tempo de algoritmos recursivos (como divisão e conquista) e em análise amortizada para operações com custos variáveis, como redimensionamento dinâmico de arrays.
* Estruturas de dados: análise da complexidades de espaço e tempo de operações em estruturas de dados como árvore de busca binária balanceada e heaps.
* Gráficos de computador: cruciais em algoritmos de renderização para anti-aliasing, para mipmapping e para geração de fractaiss, onde a escala de detalhes varia geometricamente.
* Rede e comunicação: modelagem de atrasos de retransmissão em algoritmos de backoff exponencial e são usados em compressão de dados e códigos de correção de erros para comunicação eficiente.
* Algoritmos probabilísticos e randomizados: análise de passeios aleatórios, cadeias de Markov e distribuições geométricas, que são essenciais em algoritmos probabilísticos e randomizados.

## Além dos números reais e complexos

Embora séries geométricas com parâmetros de números reais e complexos $a$ e $r$ sejam mais comuns, séries geométricas de termos mais gerais, como funções, matrizes e números p-ádicos também encontram aplicação. As operações matemáticas usadas para expressar uma série geométrica, dados seus parâmetros, são simplesmente adição e multiplicação repetida, e por isso é natural, no contexto da álgebra moderna, definir séries geométricas com parâmetros de qualquer anel ou corpo. Uma generalização adicional para séries geométricas com parâmetros de semianéis é mais incomum, mas também tem aplicações; por exemplo, no estudo de iteração de ponto fixo de funções de transformação, como em transformações de autômatos por meio de séries racionais.
Para analisar a convergência dessas séries geométricas gerais, além da adição e multiplicação, deve-se também ter alguma métrica de distância entre somas parciais da série. Isso pode introduzir novas sutilezas nas questões de convergência, como as distinções entre convergência uniforme e convergência pontual em séries de funções, e pode levar a fortes contrastes com intuições dos números reais, como na convergência da série $1+2+4+8+\cdots$ com $a=1$ e $r=2$ para
${\frac {a}{1-r}}=-1$
no números 2-ádicos usando o valor absoluto 2-ádico como uma métrica de convergência. Nesse caso, o valor absoluto 2-ádico do coeficiente comum é $|r|_{2}=|2|_{2}={\tfrac {1}{2}}$, e embora isso seja contraintuitivo da perspectiva do valor absoluto do número real (onde $|2|=2$), é bem justificado no contexto da análise p-ádica.
Quando a multiplicação dos parâmetros não é comutativa, como geralmente não é para matrizes ou operadores físicos gerais, especialmente em mecânica quântica, então a maneira padrão de escrever a série geométrica,
$a+ar+ar^{2}+ar^{3}+\cdots ,$
será diferente caso se multiplique a razão r pela direita, isto é,
$a+ra+r^{2}a+r^{3}a+\cdots .$
Do mesmo modo, se multiplicasse metade de cada lado, também apresentaria uma interpretação diferente nesse caso, ou seja,
$a+r^{\frac {1}{2}}ar^{\frac {1}{2}}+rar+r^{\frac {3}{2}}ar^{\frac {3}{2}}+\cdots ,$
Essas escolhas podem corresponder a alternativas importantes com diferentes pontos fortes e fracos em aplicações, como no caso de ordenar as interferências mútuas de deriva e difusão de forma diferente em escalas temporais infinitesimais na integração de Ito e na integração de Stratonovitch em cálculo estocástico.