O nmero e (Nmero de Neper)

Atribui-se a John Napier (link) a descoberta do nmero de Neper. um nmero irracional e surge como limite, para valores muito grandes de n, da sucesso

e
Representa-se por e sendo e = 2,7182818284590452353602874... um nmero irracional e transcendente e estreitamente aparentado com o nmero pi. A frmula de Euler relaciona de forma elegante estes dois nmeros irracionais to famosos. Frmula de Euler: eix = cos x + i sen x e para x =, temos e ip = -1 O smbolo e foi usado por Euler em 1739. No sculo XVII Leibniz representava-o por b. A designao deste nmero e por Euler conserva-se como homenagem a este matemtico.

O nmero pi apareceu no clculo da rea e do permetro do crculo. O nmero e aparece na resoluo de equaes em que as incgnitas aparecem em expoente. Este nmero e importante em quase todas as reas do conhecimento: economia, engenharia, biologia, sociologia. A funo exponencial x ex, cuja base o nmero de Neper modela fenmenos de importncia vital, nos mais variados campos da cincia: fsico-qumicas, biolgias, econmicas, agronmicas, geogrficas, mdicas, sociais. O nmero e um nmero irracional mas de uma categoria diferente de2. Enquanto2 pode ser raiz de um polinmio, o nmero e no pode ser raiz de polinmios de coeficientes inteiros: diz-se um irracional transcendente. Pelas suas propriedades particulares, o nmero e tem sido usado como base de logaritmos privilegiada em Matemtica Superior, embora a base 10 seja a mais usada em aplicaes prticas. A base de logaritmos inventada por Neper, que era muito complicada, fazia intervir o nmero e, pelo que este continua a chamar-se "nmero de Neper" e os logaritmos de base e logaritmos "neperianos" ou "naturais".
Uma caracterizao geomtrica do e pode ser a seguinte: e a nica raiz positiva da equao

O e o nico nmero positivo superior a 1 cuja regio indicada corresponde a uma unidade de rea.

Demonstrao:
O teorema decompe-se em dois:

Provemos que a sucesso

Qualquer que seja n inteiro e positivo un uma potncia de base positiva, portanto, tambm positiva. Vamos demonstrar que crescente, desenvolvendo o termo geral segundo a frmula do binmio de Newton:

ou ainda,

(igualdade 1) Daqui resulta que

por se ter suprimido uma parcela positiva, a ltima, e se ter aumentado todos os subtractivos. Note-se que o ltimo membro da desigualdade precisamente un-1 . Conclui-se pois que un-1 < un para n inteiro e positivo qualquer. Logo a sucesso crescente. Demonstremos agora que a sucesso de termo geral un limitada superiormente. Da igualdade 1), resulta, notando que todos os parntesis do segundo membro so todos menores que a unidade,

e, por ser p! > 2 p-1 para p 3, inteiro e positivo, vem da igualdade 2, por maioria de razo

ou notando que as parcelas a partir da segunda constituem uma progresso geomtrica de razo cuja soma , portanto, [1-(1/2 n )] / [1 (1/2)],

que prova ser 3 maior que qualquer termo da sucesso e, portanto, esta limitada superiormente. Ento a sucesso de termo geral

sendo crescente e limitada superiormente tem limite finito.

Da igualdade 2) resulta que un < 3

Da igualdade 1) decorre com n 2, por supresso de termos positivos do segundo membro da igualdade,

Portanto

Tem-se ento que

Dem: Por definio

J vimos que

Consideremos a igualdade1) do Teorema anterior qual se pode dar a forma seguinte, com n > m, m inteiro e positivo,

Daqui, com n suficientemente grande e por serem positivos todos os termos do segundo membro, vem

Tomando limites de ambos os membros desta desigualdade quando n tende para infinito, obtm-se

Em resumo, tem-se por um lado , Ou, tomando os limites,

e, sendo por definio

tem-se finalmente

c.q.d.