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
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