Você está na página 1de 6

Demonstrao da Irracionalidade do Nmero de Euler ( e )

Rodrigo R. Gonalez
ABSTRACT: This article seeks to demonstrate the irrationality of Euler's number, through simple mathematical tools.

1. Introduo. Na matemtica, o nmero de Euler, denominado em homenagem ao matemtico suo Leonhard Euler, a base dos logaritmos naturais. As variantes do nome do nmero incluem: nmero de Napier, constante de Nper, nmero neperiano, constante matemtica, nmero exponencial, etc. A primeira referncia constante foi publicada em 1618 na tabela de um apndice de um trabalho sobre logaritmos de John Napier. No entanto, este no contm a constante propriamente dita, mas apenas uma simples lista de logaritmos naturais calculados a partir desta. A primeira indicao da constante foi descoberta por Jakob Bernoulli, quando tentava encontrar um valor para a seguinte expresso (muito comum no clculo de juros compostos):

lim 1

1 n

e.
(Fonte: Wikipdia.com.br).

Evidentemente, com o auxlio do clculo computacional, ficou extremamente simples obter o nmero de Euler. Mas, nenhum computador existente poder obter todas as casas decimais de tal nmero, pois ele irracional. Pela expresso mostrada acima, temos aquilo que denominamos de uma indeterminao matemtica. Isso porque, quando n tende ao infinito, 1 n tende a zero e no podemos afirmar o que ocorre com a expresso 1 . Devemos lembrar ao leitor que o infinito uma idia, e no um nmero. No algo mensurvel e que possui controle. Imagine o infinito como algo to extenso quanto nossa imaginao possa alcanar, e isso ainda seria nfimo. Fixemos nossa imaginao nos tempos de Bernoulli, Euler e Napier, por exemplo. Como ns poderamos ter a absoluta certeza de que tal famoso nmero mesmo irracional? A demonstrao desse fato o interesse principal deste artigo.

2. Sequncias e Sries. Tomemos uma sequncia cujo termo geral xn Binomial, podemos reescrever esse termo como:

1 1 , n . Pelo teorema n

1
Logo,

1 n

n k 0

n 1 (1)n k k k n

1 n

n 1 0 n0

n 1 1 n1

n 1 2 n2

n 1 ... 3 n3

1 n 1 nn 1

n 1 n nn

1 1 n 1 1 n 1 n 1 n

1 n

1 n (n 1) 1 n 2! n2

n (n 1)(n 2) 1 3! n3

n (n 1)(n 2)(n 3) 1 1 ... n 4 4! n n

1 1

n (n 1) 1 n (n 1)(n 2) 1 n (n 1)(n 2)(n 3) 1 1 ... n 2 3 4 n 2! n 3! n 4! n n 1 1 n 2! 1 n 1 2! n 1 n 1 n n 2 1 n 3! 2 n 1 3! n 1 n 1 n n 2 n 2 n n 3 n 3 n 1 1 ... n 4! n 1 1 ... n 4! n

1 1

1 1

Se n tende ao infinito, observamos que o termo tende a

1 lim 1 n n

1 1 (1 0)

1 1 1 (1 0) (1 0) (1 0) (1 0) (1 0) ... 2! 3! 4! 1 1 1 1 ... ... 2! 3! 4! n! 1 e n!

lim 1

1 n

1 1

n 0

Conclumos, dessa forma, que nmero de Euler tambm pode ser escrito como o resultado de convergncia da srie infinita:

e 1 1

1 1 1 1 ... ... 2! 3! 4! n!

n 0

1 . n!

Observemos, portanto, que a srie


n 0

1 d-nos o nmero de Euler. n!

De fato, tal srie montona e limitada, portanto converge. Para demonstrar isso, escrevamos suas somas parciais:

n 0

1 1 1 1 1 1 1 ... ... n! 1! 2! 3! 4! n!

S1 1 S2 1 1 S3 1 1 S4 S5 S6 Sn 1 1 1 1 1 ... 2 3! (n 1)! 1 1 1 1 1 1 ... n 2 2 3 2 2 2 2


srie geomtrica menor que 2

1 2 1 1 1 2 1 1 1 2 1 1 1 2

1 3! 1 3! 1 3!

1 1 1 1 1 1 2 2 2 2 22 1 1 1 1 1 1 1 1 1 1 1 4! 2 2 2 2 2 2 2 22 23 1 1 1 1 1 1 1 1 1 1 1 1 4! 5! 2 2 2 2 2 2 2 2 2 2 2 22 1 1

1 23

1 24

Observao: Verifiquemos que


i 0

1 2i

1 1 2 22

1 ... uma srie geomtrica de 23

razo

1 , cujo limite da soma : 2


lim S 1 1 1 2 lim S 2

3. Concluso. Portanto, temos que 2 converge. Seja


n 0

Sn

3 , sendo (Sn ) montona e limitada. Ento,


n 0

1 n!

1 n!

e . Como vimos anteriormente, 2

3 . Reescrevamos e de forma

que:
k

e
n 0

1 n! 1

(k 1)! (k 2)! (k 3)! (k 4)! 1 (k 1)! 1 (k 1)! 1

...

(k 1)! (k 2)! 1 (k 1)! 1 (k 1)! 1 (k 2) 1

...

1 1 ... (k 2) (k 3)(k 2) (k 4)(k 3)(k 2) 1 1 ... k 1 (k 1)(k 1) (k 1)(k 1)(k 1) 1 (k 1)! 1 k 1 (k 1)2 1 1 ... (k 1)3 1

...

1 ... (k 2) (k 3)(k 2) 1 (k 1)! 1

1 n 1 n!

1 k 1 (k 1)2

1 ... (k 1)3

Temos que 1

1 k 1 (k 1)2

1 1 ... uma srie geomtrica, de razo , cujo 3 (k 1) k 1

limite da soma :

lim S 1

1 1 k 1

lim S

k 1 1 1 k k

Substituindo o termo anterior na expresso obtida:

1 (k 1)!

1 k 1 (k 1)2

1 ... (k 1)3

k 1 (k 1)! k

1 k k!

Portanto:
k

0
Ora, se e escrever:

e
n 1

1 n!

1 k k!

, por hiptese, ento existem p, q tal que e

p q . Podemos

p q

q n 0

1 n!

1 q q!

Multiplicando os membros da desigualdade por q q!, obtemos:

q q!

p q

q q!
n 0

1 n!

p q!

q
n 0

q! n!

Observe que q
n 0

q! n!

q q!

q!

q! 2!

q! 3!

q! q! ... 4! q!

Como p q! e q

q n 0

q! n!

, um absurdo que a diferena ente dois nmeros

naturais esteja entre 0 e 1.

Logo, e um nmero irracional entre 2 e 3, como queramos demonstrar. Observao: Euler calculou tal nmero com 23 casas decimais!

e 2,71828182845904523536028...

BIBLIOGRAFIA LIMA, Elon L.: Curso de Anlise, Vol.1. 14 ed. Rio de Janeiro: IMPA, 2012. (Projeto Euclides). VILA, Geraldo.: Introduo Anlise Matemtica. 2 ed. So Paulo: Ed. Edgard Blucher LTDA, 1999.