Re: TRADUZINDO RALPH

[Ralph Costa Teixeira <ralph@xxxxxxxxxxxxxxx>]

	Não, é o contrário.

	O problema que eu propus e que o Morgado completou mostra que há a e b
irracionais tais que a^b é racional, mas a gente fica sem saber
exatamente que a e b são esses. A gente mostrou que ou a=raiz(2) e
b=raiz(2) serve OU a=raiz(2)^raiz(2) e b=raiz(2) serve (ou ambos). 

	A afirmação do José é que a=b=raiz(2) *não* serve para o *meu* problema
(e tem como consequencia o fato de que a=raiz(2)^raiz(2) e b=raiz(2)
serve). A gente não sabe disso, a menos que use proposições mais
difíceis (como a que o Nicolau mencionou).
	
	Abraço,
		Ralph

P.S.: Espero que os caracteres estranhos que eu escrevi não tenham
gerado estranho Control Codes no E-mail da galera... Senão... Vocês
leram as letras que estavam dentro dos caracteres ilegíveis da minha
mensagem, né? 

Marcos Eike Tinen dos Santos wrote:
> 
> Moragado, acho que não pesquei a idéia, mas neste caso vc está demostrando
> para qualquer n-ésima raiz, n=/2
> Pois, senão o problema do José já estaria resolvido.
> Pois o problema do José, é raiz quadrada de 2.
> "raiz quadrada de 2 elevado a raiz quadrada de 2 é irracional"
> 
> Atenciosamente,
> Marcos Eike
> ----- Original Message -----
> From: Augusto Morgado <morgado@centroin.com.br>
> To: <obm-l@mat.puc-rio.br>
> Sent: Quarta-feira, 22 de Março de 2000 08:38
> Subject: TRADUZINDO RALPH
> 
> > Vou tomar a ousadia de traduzir o que o Ralph escreveu e que esses
> > mistérios computacionais verteram para tão estranho idioma.
> > Um problema interessante é o seguinte:"Existe um número irracional que
> > elevado a um irracional dê como resposta um racional?"
> > A resposta é sim.
> > Tomemos o número x = (raiz de 2) elevado a (raiz de 2). Se x for
> > racional, está provado que a resposta é sim. Se x for irracional então x
> > elevado a raiz de 2 será igual a (raiz de 2) elevado a 2, isto é, 2
> > e está provado que a resposta é sim.
> > Morgado