Teorema 0.1 La expansin decimal de un nmero racional r en una base b es peridica.
Demostracin: Consideremos a r un nmero real, consideremos |r|, pues con los negativos podemos obtener el mismo resultado con un procedimiento anlogo al que realizaremos ac. Ahora, si r 1, aplicando la nota dada anteriormente, basta considerar r1 = r r , esto nos lleva a que 0 r < 1. Supongamos primero que r1 posee una expansin decimal peridica, es decir, sea: r1 = 0, a1 a2 . . . an1 an c1 c2 . . . cr . . . donde c1 c2 . . . cr . . . es el periodo de r1 Multiplicando r1 por bs para s N tal que r1 bs = a1 a2 . . . an1 an , c1 c2 . . . cr . . . c1 c2 . . . cr . . . Entonces c1 c2 . . . cr . . . es la expansin decimal peridica de r1 bs y de r1 bs+p , para algn p N. De aqu obtenemos r1 bs r1 bs = r1 bs+p r1 bs+p Despejando para r1 nos queda la expresin: r1 = r1 bs+p r1 bs bs+p bs
Donde se observa como el cociente entre dos enteros en la base b.
Ahora probaremos la otra direccin, siendo r un racional, demostrar que posee una expansin decimal peridica. Sea r un racional, r = p q 1 , donde p, q Z, q > 0 y (p, q) = 1. Adems, al calcular r, br, b2 r, . . . , bn r, . . . obtenemos valores fraccionarios pertenecen al conjunto D = {0, 1 k 1 , 2 k 1 , . . . , (k 1) k 1 } De donde podemos obtener dos miembros bn r y bn+s r, para algn s N. De manera que podemos encontrarnos con la expresin rbs rbs = rbs+p rbs+p Y denir el entero h = r1 bs+p r1 bs , al hacer unos pequeos arreglos algebraicos obtenemos rbn = h (bs 1)1 Luego, denimos h1 = h (bs 1)1 , as reescribimos la igualdad anterior como: rbn = h (bs 1)1 = h1 + h2 (bs 1)1 1
Donde el entero h2 satisface 0 h2 < bs 1. Lo que nos permite decir que: rbn h1 = h2 b1 + h3 b2s + h4 b3s + . . . Por la desigualdad para h2 , esta suma innita es peridica: rbn h1 = 0, h2 h3 hr h2 h3 hr rbn = h1 , h2 h3 hr h2 h3 hr
rbn =
i=0
hi bi
Finalmente, multiplicamos por b
r=
i=0
hi bni
Por lo tanto, r posee una expansin decimal peridica.