Re: [obm-l] DUVIDA - funçao

[Ricardo Bittencourt <ricbit@xxxxxxxxxxxx>]

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
ricbit@700km.com.br           "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
=========================================================================