Resumo
Esta aula constrói o número como o supremo da sequência , que nasce dos juros compostos: demonstra com o binômio de Newton que a sequência cresce e que não alcança o valor , e encerra o seu supremo entre ela e a sequência decrescente . Demonstra depois que é também o supremo das somas dos inversos dos fatoriais, limita o erro dessas somas, o que permite calcular com a precisão que se deseje, e prova que é irracional. Por último, define a exponencial natural, relaciona-a com a capitalização contínua dos juros e demonstra a desigualdade , que diz que a reta fica abaixo do gráfico da exponencial.
Objetivos de aprendizagem
- Demonstrar que a sequência é crescente e limitada, e definir o número como o seu supremo.
- Calcular aproximações de por meio da soma dos inversos dos fatoriais, com uma cota rigorosa do erro, e demonstrar que é irracional.
- Relacionar a exponencial natural com os juros compostos e com a sua capitalização contínua, e comparar o efeito de capitalizar com diferentes frequências.
- Demonstrar e aplicar a desigualdade , e interpretá-la como a posição da reta em relação ao gráfico de .
A sequência dos juros compostos
Um capital de é depositado durante um ano a juros de cem por cento ao ano. Se os juros são pagos uma única vez, no fim do ano, o capital duplica e vale . Se são pagos duas vezes, a cada semestre com a metade da taxa, os juros do primeiro semestre rendem por sua vez juros no segundo: o capital é multiplicado duas vezes por e vale . Com quatro pagamentos trimestrais vale , pouco mais de 2,44, e com doze pagamentos mensais, pouco mais de 2,61. Em geral, se o ano é dividido em períodos iguais e em cada um se paga a fração da taxa, o capital é multiplicado vezes por , e no fim do ano vale
Ao aumentar , multiplica-se mais vezes, mas por um fator mais próximo de , e não é evidente qual dos dois efeitos prevalece: as potências de valem todas , enquanto as potências de uma base fixa maior que crescem sem cota. Esta seção demonstra que a sequência cresce, mas que os seus termos não alcançam o valor ; o seu supremo é o número . As demonstrações apoiam-se no binômio de Newton da aula sobre a combinatória e o binômio de Newton, na desigualdade de Bernoulli, para , demonstrada na aula sobre os axiomas de Peano, e na completude dos números reais, enunciada na aula sobre os conjuntos numéricos.
O crescimento da sequência
Pelo binômio de Newton, é uma soma de termos. O de índice é , e escreve-se como o produto de por fatores positivos menores que ; com a convenção de que um produto sem fatores vale , a escrita vale também para e :
Nesta escrita, aparece só nos fatores , que aumentam com , e no número de termos, que também aumenta. Os dois efeitos empurram no mesmo sentido; essa é a ideia do teorema a seguir.
Para todo natural vale , isto é, a sequência é estritamente crescente.
Comparam-se termo a termo os desenvolvimentos binomiais de e de . A figura representa, para , cada termo como um bloco de uma coluna que começa em , porque os dois primeiros termos valem em todos os casos.
Demonstração
Pelo binômio de Newton, com e , o termo de índice de é . O coeficiente binomial é um produto de fatores dividido por , e cada fator é dividido por um dos fatores do denominador.
O primeiro quociente vale , e cada um dos que vêm depois é , para desde até . Somando os termos obtém-se a escrita de .
A mesma escrita, com no lugar de , tem um termo a mais, o de índice , que é positivo porque todos os seus fatores o são.
Para , ao aumentar o denominador, diminui, e o fator aumenta; além disso, todos os fatores são positivos.
Pela monotonia do produto de números positivos, cada termo de de índice , se houver, é menor que o termo de mesmo índice de ; os de índices e valem em ambas as somas.
Somando, não supera a soma dos primeiros termos de , à qual ainda falta o termo positivo de índice . Portanto, . Na figura, os termos da sequência sobem.
Uma cota superior
O crescimento não basta para que a sequência tenha um supremo: os naturais também crescem. É preciso uma cota superior, e para obtê-la compara-se com a soma dos inversos dos fatoriais,
que resulta de suprimir na escrita de todos os fatores . Essas somas têm interesse próprio, e a seção que vem depois demonstrará que se aproximam do mesmo número que , e muito mais depressa. O problema proposto 5 da aula sobre a combinatória pedia para demonstrar que ; o segundo dos lemas abaixo contém essa cota, com a desigualdade intermediária , que será usada depois. O primeiro compara os fatoriais com as potências de , e é o que permite limitar por uma progressão geométrica.
Para todo natural vale , com igualdade só se ou .
Raciocina-se por indução sobre , com o princípio da aula sobre os axiomas de Peano: ao passar de a , o fatorial é multiplicado por , que é pelo menos , enquanto a potência só duplica. A figura compara, para desde até , o fatorial com a potência, como duas colunas.
Demonstração
Caso base: para ambos os membros valem .
Hipótese de indução: suponhamos que a desigualdade vale para um natural .
O fatorial de é o de multiplicado por , que é pelo menos ; como todos os fatores são positivos, a hipótese de indução dá a desigualdade para .
Pelo princípio de indução, a desigualdade vale para todo natural . Se , o fator é pelo menos , e a desigualdade para é estrita: a igualdade ocorre em e em , e só neles.
Para todo natural vale ; a primeira desigualdade é estrita para .
Limita-se cada termo do desenvolvimento de pelo correspondente de , e cada termo de por um de uma progressão geométrica de razão . A figura compara, para , as três colunas sobre a base comum .
Demonstração
Cada fator está entre e ; portanto, o produto deles não supera , e cada termo de não supera o termo de .
Somando para desde até obtém-se a primeira desigualdade. Se , o termo de índice tem o fator , e a desigualdade é estrita.
Pelo lema acima, para todo natural ; ao inverter dois números positivos, a desigualdade muda de sentido.
Separamos o termo de índice e limitamos os demais.
O destacado é a soma de termos de uma progressão geométrica de primeiro termo e razão , calculada na aula sobre somatórios e progressões.
Combinando ambas as desigualdades obtém-se o lema. Na figura, com , a coluna geométrica fica a de , e as outras duas, abaixo dela.
Uma sequência decrescente que a acompanha
Se se eleva a base a um expoente maior em um, obtém-se uma segunda sequência, cujos termos são maiores que os da primeira, porque são multiplicados por um fator maior que :
Os seus primeiros termos são , e : descem. O teorema a seguir demonstra-o em geral; a ideia é estudar o quociente de dois termos consecutivos, e a ferramenta, a desigualdade de Bernoulli.
Para todo natural vale , isto é, a sequência é estritamente decrescente.
Basta provar que o quociente é maior que , porque os termos são positivos. A figura mostra os primeiros termos de ambas as sequências.
Demonstração
Escrevemos cada base como um quociente, separamos um fator da potência do denominador e reunimos as duas potências de expoente numa só.
O numerador da base excede o denominador em , porque .
Pela desigualdade de Bernoulli, com e expoente , a potência dessa base é pelo menos .
Substituímos no quociente e reduzimos ao mesmo denominador; a soma vale .
Desenvolvemos o numerador e o denominador: o numerador excede o denominador em .
Portanto, . Na figura, os termos descem enquanto os sobem, e cada fica acima de cada .
O número e
As duas sequências aproximam-se uma da outra, mas não se cruzam: todo termo da primeira é menor que todo termo da segunda, ainda que os seus índices sejam diferentes.
Para todos os naturais e vale .
Passa-se pelo maior dos dois índices: a primeira sequência cresce, a segunda decresce, e em cada índice a segunda está acima da primeira. A figura acompanha o caso e .
Demonstração
Num mesmo índice , o termo é multiplicado por , que é maior que , e é positivo.
Seja o maior dos naturais e . Como e a sequência é crescente, o seu termo de índice não supera o de índice .
Como e a sequência é decrescente, o seu termo de índice não supera o de índice .
Combinando as três desigualdades, a do meio estrita, obtém-se o lema. Na figura, com e , o índice maior é .
Daí segue que o conjunto dos termos tem elementos e é limitado superiormente, por ou por qualquer . Pela completude dos números reais, tem um supremo, que se designa pela letra .
Definição. O número é o supremo do conjunto dos termos da sequência , para natural.
Para todo natural vale .
Usam-se a definição de supremo como menor cota superior e a monotonia de ambas as sequências. A figura mostra as duas sequências, que se aproximam de por lados opostos.
Demonstração
Pelo lema acima, todo termo da primeira sequência é menor que todo termo da segunda.
Cada é, portanto, uma cota superior do conjunto dos , e o supremo, que é a menor das cotas superiores, não supera nenhuma.
Como é uma cota superior e a sequência é estritamente crescente, cada termo é menor que o que vem depois dele, que não supera .
Do mesmo modo, como a sequência é estritamente decrescente, não supera o termo que vem depois, que é menor que .
Combinando ambas as desigualdades obtém-se o teorema: é o único número que fica entre todos os e todos os .
Com uma calculadora obtém-se que supera 2,7 e que é menor que 2,8; portanto, está entre 2,7 e 2,8. O enquadramento é lento: a distância entre as duas sequências é , que diminui como o inverso de .
O número vale aproximadamente 2,718281828. Jakob Bernoulli encontrou-o em 1683 ao estudar os juros compostos, e Leonhard Euler, que descobriu boa parte das suas propriedades, designou-o pela letra . Junto com , é uma das duas constantes fundamentais da análise.
Carregando o conteúdo…