[obm-l] irracional elevado a irracional

["Daniel Lavouras" <bagual@xxxxxxxxxx>]

Pessoal
Uma vez eu li, acho que por aqui na lista mesmo, um papo de que o lance de
provar que um irracional elevado a outro irracional poderia ser racional ,
era um dos 10 problemas de matematica mais dificeis, especulava-se, no
 inicio do seculo XX. A demonstracao que li eh aquela que se sqr(2)^sqr(2)
 nao for racional , entao (sqr(2)^sqr(2))^sqr(2) eh.
 Eu andava por aih propagando esta tese ateh que me mostraram trivialmente
 que e^ln(2) eh um exemplo bem mais facil.

 Em todo este meu texto onde estah meu erro? Com certeza eu me enganei em
 algum lugar...serah que jah tinham provado que e e ln(2) eram irracionais
no inico do seculo XX?
 Daniel



=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================