Re: [obm-l] Algarismo inicial de 2^n

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Fri, Jan 28, 2005 at 12:14:26PM -0300, Chicao Valadares wrote:
> >Jah foi provado, aqui na lista, que dada uma
> > sequencia qualquer de
> > algarismos, existe uma potencia de 2 que comeca com
> > esta sequencia.
> > Essa eh uma aplicacao bem legal do principio das
> > casas de pombos.
> 
> Mais uma vez alguem sabe qual a msg no qual isso foi
> provado??Caso contrario alguem poderia provar isso
> para mim^???
> 

Eh bem facil provar que a = log(2)/log(10) eh irracional.
Segue dai que para qualquer intervalo nao vazio e nao degenerado I
existem n e m inteiros tais que n + am pertence a I.
Dado um inteiro positivo N, seja I = (log(N)/log(10), log(N+1)/log(10)).
Se n + am pertence a I segue que 2^m comeca com os algarismos de N.

Abracos, N.
=========================================================================
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
=========================================================================