Ricardo Bittencourt wrote:
Ent�o resta provar que log2(3) � irracional.
Pra isso acontecer, 3=2^(p/q) com p,q inteiros.
Mas ent�o 3^q=2^p, e com p,q inteiros isso � imposs�vel.
Ahn, eu perdi a medalha de ouro na obm de 93 por
falta de rigor, pelo jeito n�o aprendi nada de l� pra c� hehe.
deixando mais rigoroso ent�o:
Pra isso acontecer, 3=2^(p/q) com p,q inteiros, e q!=0.
Mas ent�o 3^q=2^p, e com p,q inteiros a �nica solu��o
� p=q=0, mas como q!=0 nenhuma solu��o � v�lida.
----------------------------------------------------------------
Ricardo Bittencourt http://www.mundobizarro.tk
[EMAIL PROTECTED] "tenki ga ii kara sanpo shimashou"
------ Uni�o contra o forward - crie suas proprias piadas ------
=========================================================================
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
=========================================================================
