Série geométrica

Fonte: testwiki
Revisão em 14h52min de 6 de março de 2025 por imported>Vinickw (correção de termo)
(dif) ← Revisão anterior | Revisão atual (dif) | Revisão seguinte → (dif)
Saltar para a navegação Saltar para a pesquisa
Progressão geométrica descendente com proporção de 1/4 e prova visual de que o limite da soma das frases é 1/3.

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 12+14+18+ é uma série geométrica com razão igual a Predefinição:Tmath em que a soma de todos os termos converge para Predefinição:Tmath. 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:Predefinição:Referências múltiplas a+ar+ar2+ar3+=k=0ark. A soma de um segmento inicial finito de uma série geométrica infinita é chamada de série geométrica finita, ou seja:Predefinição:Referências múltiplas a+ar+ar2+ar3++arn=k=0nark.

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.Predefinição:Referências múltiplas

A série geométrica 14+116+164+1256+ é mostrada como áreas de quadrados roxos. Cada um dos quadrados roxos tem Predefinição:Frac-2 da área do próximo quadrado maior 12×12=14, 14×14=116, e assim por diante. Assim, a soma da área dos quadrados roxos é um terço da área do quadrado grande.

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 Predefinição:Slink. A série de Grandi é um exemplo de uma série divergente que pode ser expressa como 11+11+, 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.Predefinição:Sfnp Por exemplo, a fração decimal repetida 0,7777 pode ser escrita como a série geométrica:

0,7777=710+710(110)+710(1102)+710(1103)+,

em que o termo inicial é a=710 e a razão comum é r=110.

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 |r|<1, os termos da série se aproximam de zero (tornando-se cada vez menores em magnitude) e a sequência de somas parciais Sn converge para um valor limite de a1r.Predefinição:Referências múltiplas
  • Se |r|>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.Predefinição:Referências múltiplas
  • Se |r|=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 |Sn| 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,, nunca convergindo para um limite. Geralmente quando r=e2πiτ para qualquer inteiro τ e com qualquer a0, as somas parciais da série circularão indefinidamente com um período de τ, nunca convergindo para um limite.Predefinição:Referências múltiplas

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 é Sn e seu limite é S — a taxa e a ordem são encontradas por meio de limn|Sn+1S||SnS|q, onde q representa a ordem de convergência. Usando |SnS|=|arn+11r| e escolhendo a ordem de convergência q=1 resulta:Predefinição:Referências múltiplas limn|arn+21r||arn+11r|1=|r|. Quando a série converge, a taxa de convergência fica mais lenta à medida que |r| se aproxima de 1.Predefinição:Referências múltiplas 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 Sn dos termos oscilam acima e abaixo de seu limite final S. Para r complexo e |r|<1, o somatório Sn 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 rn, Sn=ar0+ar1++arn=k=0nark, é dada pela forma fechada Sn={a(n+1)r=1a(1rn+11r)r1 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 Sn com r1 pode ser derivada da seguinte forma:Predefinição:SfnpPredefinição:Referências múltiplas Sn=ar0+ar1++arn,rSn=ar1+ar2++arn+1,SnrSn=ar0arn+1,Sn(1r)=a(1rn+1),Sn=a(1rn+11r), para r1. Conforme r se aproxima de 1, a divisão polinomial ou regra de l'Hôpital recupera o caso Sn=a(n+1).Predefinição:Sfnp

Demonstração sem palavras da fórmula para a soma de uma série geométrica se |r|<1 e n, o termo rn desaparece, deixando limnSn=a1r. Esta figura usa uma convenção ligeiramente diferente para Sn do que o texto principal, deslocado por um termo.

À medida que n se aproxima do infinito, o valor absoluto de Predefinição:Math 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 S=a+ar+ar2+ar3+ar4+=limnSn=limna(1rn+1)1r=a1ra1rlimnrn+1=a1r, para |r|<1.Predefinição:Sfnp

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.Predefinição:Sfnp

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 a0,a1,a2,, um para cada termo da série, para os coeficientes distintos de cada x0,x1,x2,, em vez de apenas um único parâmetro adicional a para todos os termos, o coeficiente comum de rk 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 ak=a para todos k e x=r.Predefinição:Sfnp

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.Predefinição:Referências múltiplas

Como uma série de potências, a série geométrica tem um raio de convergência de 1.Predefinição:Referências múltiplas Isso pode ser visto como uma consequência do teorema de Cauchy–Hadamard e do fato de que

limnan=1

para qualquer a ou como uma consequência do teste da razão para a convergência de séries infinitas, com

limn|arn+1||arn|=|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.Predefinição:Sfnp

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.Predefinição:Referências múltiplas

Predefinição:Imagem múltipla 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.Predefinição:Referências múltiplas

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 é Predefinição:Frac-2 da área do triângulo azul. Seu método consistia em dissecar a área em triângulos infinitos, como mostrado na figura ao lado.Predefinição:Referências múltiplas Ele determinou que cada triângulo verde teria Predefinição:Frac-2 da área do triângulo azul, cada triângulo amarelo teria Predefinição:Frac-2 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(18)+4(18)2+8(18)3+.

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+14+116+164+,

que se trata de uma série geométrica com razão r=14 e sua soma é:Predefinição:Referências múltiplas

11r =1114=43.
Um diagrama de série geométrica bidimensional que Nicolau Oresme usou para determinar que a série infinita 12+24+38+416+532+664+7128+ converge para 2.

Além de sua prova da divergência da série harmônica, Nicolau de Oresme[1] demonstrou a série aritmético-geométrica conhecida como Escadaria de Gabriel, dada por[2]

12+24+38+416+532+664+7128+=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=12 e razão r=12

S=12+14+18+116+132+=12112=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=12, formando outra série geométrica com soma T, ou seja,

T=S(1+12+14+18+)=S1r=1112=2.

Essa abordagem se generaliza de forma útil para dimensões mais altas, e essa generalização é descrita abaixo em Predefinição:Slink.

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.Predefinição:Referências múltiplas

O interior do floco de neve de Koch é uma união de infinitos triângulos

Além de encontrar a área delimitada por uma parábola e por uma linha em A Quadratura da Parábola, de Arquimedes,Predefinição:Referências múltiplas 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 Predefinição:Frac-2 do tamanho de um lado do grande triângulo azul e, portanto, tem exatamente Predefinição:Frac-2 da área. Da mesma forma, cada triângulo amarelo tem Predefinição:Frac-2 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=49, e considerando o triângulo azul como uma unidade de área, a área total do floco de neve é:Predefinição:Referências múltiplas

1+3(19)+12(19)2+48(19)3+=1149=85.

Vários tópicos em ciência da computação podem incluir a aplicação de séries geométricas no seguinte:Predefinição:Cn

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.Predefinição:Referências múltiplas 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.Predefinição:Referências múltiplas 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.Predefinição:Referências múltiplas

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+ com a=1 e r=2 para

a1r=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=12, 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.Predefinição:Referências múltiplas

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+ar2+ar3+,

será diferente caso se multiplique a razão Predefinição:Math pela direita, isto é,

a+ra+r2a+r3a+.

Do mesmo modo, se multiplicasse metade de cada lado, também apresentaria uma interpretação diferente nesse caso, ou seja,

a+r12ar12+rar+r32ar32+,

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.

Referências

Predefinição:Reflist

Predefinição:Refbegin

  • Predefinição:Citar periódico
  • Beyer, W. H. CRC Standard Mathematical Tables, 28ª ed. Boca Raton, FL: CRC Press, p. 8, 1987.
  • Courant, R. and Robbins, H. "The Geometric Progression." §1.2.3 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp. 13–14, 1996.
  • Predefinição:Citation
  • Predefinição:Citar livro.
  • James Stewart (2002). Calculus, 5ª ed., Brooks Cole. Predefinição:ISBN
  • Larson, Hostetler, and Edwards (2005). Calculus with Analytic Geometry, 8th ed., Houghton Mifflin Company. Predefinição:ISBN
  • Pappas, T. "Perimeter, Area & the Infinite Series." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp. 134–135, 1989.
  • Predefinição:Citation
  • Roger B. Nelsen (1997). Proofs without Words: Exercises in Visual Thinking, The Mathematical Association of America. Predefinição:ISBN

Predefinição:Refend

História e filosofia

  • C. H. Edwards Jr. (1994). The Historical Development of the Calculus, 3ª ed., Springer. Predefinição:ISBN.
  • Eli Maor (1991). To Infinity and Beyond: A Cultural History of the Infinite, Princeton University Press. Predefinição:ISBN
  • Morr Lazerowitz (2000). The Structure of Metaphysics (International Library of Philosophy), Routledge. Predefinição:ISBN

Economia

  • Carl P. Simon and Lawrence Blume (1994). Mathematics for Economists, W. W. Norton & Company. Predefinição:ISBN
  • Mike Rosser (2003). Basic Mathematics for Economists, 2ª ed., Routledge. Predefinição:ISBN

Biologia

  • Edward Batschelet (1992). Introduction to Mathematics for Life Scientists, 3ª ed., Springer. Predefinição:ISBN
  • Richard F. Burton (1998). Biology by Numbers: An Encouragement to Quantitative Thinking, Cambridge University Press. Predefinição:ISBN

Ligações externas

Predefinição:Controle de autoridade