12.05.2013 Views

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Sergio Plaza 147<br />

este entero por 10 d −1, entonces obtenemos un número racional,<br />

cuya expansión <strong>de</strong>cimal tiene a lo más d dígitos. Por lo tanto,<br />

m = d.<br />

a) Sea d = 2k. Si n/p = 0.a1a2···akak+1.<br />

Ahora, p divi<strong>de</strong> a 10 d −1 = 10 2k −1 = (10 k −1)(10 k +1). Sin<br />

embargo, p no pue<strong>de</strong> dividir a 10 k −1, pues el or<strong>de</strong>n <strong>de</strong> 10 es 2k,<br />

luego p|(10 k +1). De esto,<br />

<strong>de</strong> don<strong>de</strong><br />

(10 k +1)n<br />

p<br />

10 k n<br />

p<br />

= a1a2···akak+1···a2k,<br />

= a1a2···ak +0.a1···ak +0.ak+1···a2k<br />

esunentero. Estopue<strong>de</strong>ocurrirsiysólosi a1a2···ak+ak+1···a2k<br />

es un número que consiste sólo <strong>de</strong> nueves, y luego igual a 10 k −1.<br />

4.7 Raíces Primitivas<br />

Definición 4.2 Si el or<strong>de</strong>n <strong>de</strong> un elemento a módulo m es φ(m), <strong>de</strong>-<br />

cimos que a es una raíz primitiva módulo m.<br />

Demostremos antes que nada el siguiente resultado.<br />

Lema 4.1 2 2·3n−1<br />

≡ 1+3 n (mod 3 n +1), para todo n 1.<br />

Demostración. Claramente el resultado es verda<strong>de</strong>ro para n = 1.<br />

Asumamos que es verda<strong>de</strong>ro para algún n = k. Entonces 2 2·3k−1<br />

1+3 k +3k+1m para algún entero m, luego 22·3k = 1+3 k+1 +3k+2M para algún entero M (obtenido elevando al cubo).<br />

Por lo tanto, 2 2·3k<br />

<strong>de</strong>l lema está completa.<br />

≡ 1+3 k+1 (mod 3 k+2 ). Por inducción la prueba<br />

=

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!