Acabei de achar uma demonstracao elementar. Estah aqui: http://www.spetzomusic.com/math/cmstalk2.pdf (nada como surfar na internet...)
No entanto, ela depende do fato de que, se a eh irracional, entao a sequencia (x_n) dada por x_n = n*a - [n*a] = parte fracionaria de n*a eh uniformemente distribuida em [0,1]. Eu jah vi (mas nao entendi totalmente) uma demonstracao disso que usa transformadas de Fourier, acredite ou nao. []s, Claudio. ========================================================================= 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 =========================================================================