27.12.2012 Views

Introducción a la teoría de números. Ejemplos y - TEC-Digital

Introducción a la teoría de números. Ejemplos y - TEC-Digital

Introducción a la teoría de números. Ejemplos y - TEC-Digital

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

=⇒ t2 = 3 + 7t<br />

=⇒ x = 7 + 15 · (3 + 7t) = 52 + 105t, t ∈ Z.<br />

Así, x = 52 + 105t, t ∈ Z; es <strong>la</strong> solución general <strong>de</strong>l sistema. Aquí <strong>de</strong>bemos notar que<br />

105 = 3 · 5 · 7, es <strong>de</strong>cir, <strong>la</strong> solución es única módulo 3 · 5 · 7.<br />

Teorema 3.7 (Teorema Chino <strong>de</strong>l resto) Consi<strong>de</strong>remos el sistema lineal <strong>de</strong> congruencias<br />

x ≡ a1 (mod m1)<br />

x ≡ a2 (mod m2)<br />

. . .<br />

x ≡ a k (mod m k)<br />

con mcd(m i,m j) = 1, 1 ≤ i, j ≤ k; entonces, si M = m1 · m2 · · · m k y M i = M/m i, el sistema tiene<br />

solución única x = a1M1y1 + a2M2y2 + · · · + a kM ky k, módulo M.<br />

Prueba: La prueba 2 es en dos partes, primero se muestra una solución <strong>de</strong> manera explícita y<br />

luego se prueba que es única.<br />

Sean M = m1 · m2 · · · m k y M i = M/m i, 1 ≤ i ≤ k. Como los módulos son primos re<strong>la</strong>tivos dos a<br />

dos, mcd(M i,m i) = 1 para cada i. También, M i ≡ 0 (mod m j) j �= i.<br />

Como mcd(M i,m i) = 1, entonces M iy i ≡ 1 (mod m i) tiene solución única y i ≡ M −1<br />

i (mod m i).<br />

Sea x = a1M1y1 + a2M2y2 + · · · + a kM ky k. Vamos a mostrar que x es solución <strong>de</strong>l sistema <strong>de</strong><br />

congruencias.<br />

x =<br />

≡<br />

k<br />

∑<br />

i=1<br />

i�=j<br />

k<br />

∑<br />

i=1<br />

i�=j<br />

a iM iy i + a jM jy j<br />

a i · 0 · y i + a j · 1 (mod m j)<br />

≡ 0 + a j (mod m j)<br />

≡ a j (mod m j), 1 ≤ j ≤ k<br />

Por tanto, x satisface todas <strong>la</strong>s congruencias <strong>de</strong>l sistema, es <strong>de</strong>cir, es una solución <strong>de</strong>l sistema.<br />

2 Para seguir <strong>la</strong> prueba <strong>de</strong>bemos recordar que si m1,m2,...,m k son primos re<strong>la</strong>tivos dos a dos, entonces<br />

mcm(m1,m2,...,m k) = m1 · m2 · · · m k y si m1,m2,...,m k, a ∈ Z + y m i|a, i = 1,2,...,k; entonces mcm(m1,m2,...,m k)|a.<br />

53

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

Saved successfully!

Ooh no, something went wrong!