Está en la página 1de 20

Propiedades de Z

En gran parte del curso, trabajaremos dentro del conjunto de los números
enteros. Las propiedades que repasamos en las siguientes páginas deben ser
Tema 2: Teoría de números conocidas por el alumno, pero las incluimos como punto de referencia.

Propiedades de las operaciones suma y producto:


1 Conmutatividad: n + m = m + n, n·m=m·n
Departamento de Matemática Aplicada 2 Asociatividad: n + (m + k) = (n + m) + k, n · (m · k) = (n · m) · k
Universidad de Málaga
3 Elemento neutro e identidad: n + 0 = n, n·1=n
4 Elemento opuesto: n + ( n) = ( n) + n = 0
La operación diferencia se define como: n m = n + ( m).
5 Cancelación: Si n 6= 0 y n · m = n · k, entonces m = k.
6 Distributividad: n · (m + k) = n · m + n · k

(Matemática Discreta) Tema 2: Teoría de números 1 / 79 (Matemática Discreta) Tema 2: Teoría de números 3 / 79

2.1 Aritmética Entera Propiedades de Z

Propiedades del orden:


7 Reflexiva: nn
Introducción: propiedades básicas de Z, divisibilidad. 8 Antisimétrica: Si n  m, y m  n, entonces n=m
9 Transitiva: Si n  m, y m  k, entonces nk
Máximo común divisor y algoritmo de Euclides.
10 Monotonía de la suma: Si n  m, entonces n + k  m + k

Identidad de Bezout. 11 Monotonía del producto: Si n  m, y k 0, entonces n · k  m · k

Teorema fundamental de la aritmética. Valor absoluto:


12 |n| 0
Ecuaciones Diofánticas (lineales de dos variables).
13 |n| = 0, si y solo si n = 0
14 |n · m| = |n| · |m|
15 |n + m|  |n| + |m|

(Matemática Discreta) Tema 2: Teoría de números 2 / 79 (Matemática Discreta) Tema 2: Teoría de números 4 / 79
División euclídea o algoritmo de la división División euclídea o algoritmo de la división

Ejemplo: n = 17, m = 3
Teorema (División euclídea)
Dividiendo 17 entre 3 obtenemos: 17 = 3 · 5 + 2 ; por lo tanto:
Sean n, m 2 N, con m > 0. Entonces existen q, r 2 N, únicos, tales que
17 = 3·5 2
n=m·q+r y 0r<m
= 3 · ( 5) 2
El número q se denomina cociente de la división de n entre m. = 3 · ( 5) + 1 3
El número r se denomina resto de la división de n entre m. = 3 · ( 5) + 1 3
La demostración de este teorema se basa en el algoritmo habitual de la = 3 · ( 6) + 1
división: se busca el mayor natural q tal que n m · q es positivo;
necesariamente, este número es menor que m. De forma análoga, podemos deducir las siguientes:

Ejemplo: 17 = 3 · 5 + 2 : n = 17, m= 3, =) 17 = ( 3) · ( 5) + 2
5 es el cociente de dividir 17 entre 3 y 2 es el resto. n= 17, m= 3, =) 17 = ( 3) · 6 + 1

(Matemática Discreta) Tema 2: Teoría de números 5 / 79 (Matemática Discreta) Tema 2: Teoría de números 7 / 79

División euclídea o algoritmo de la división Divisibilidad

Teorema (División euclídea en Z ) Definición


Sean n, m 2 Z, con m 6= 0. Entonces existen q, r 2 Z, únicos, tales que Sean n, m 2 Z con m 6= 0. Se dice que m divide al entero n si existe
q 2 Z tal que n = m · q.
n=m·q+r y 0  r < |m| En tal caso, escribimos m | n ó n = ṁ.
Decimos igualmente que m es divisor de n o que n es un múltiplo
de m.
Obsérvese que, aunque los números divididos pueden ser negativos, el
resto debe ser siempre positivo.
Ejemplos:
Este resultado es consecuencia del anterior.
6 | 192, ya que 192 = 6 · 32
El cociente y el resto en el caso general se determinarán a partir de la
división de los correspondientes valores absolutos, añadiendo los signos 11 | 2310, ya que 2310 = 11 · 210
y corrigiendo el resto de forma adecuada.
8 | ( 24), ya que 24 = 8 · ( 3)

(Matemática Discreta) Tema 2: Teoría de números 6 / 79 (Matemática Discreta) Tema 2: Teoría de números 8 / 79
Divisibilidad: propiedades básicas Máximo Común Divisor

Definición
Teorema Sean n, m 2 Z⇤ . El máximo común divisor de n y m es el mayor entero
La relación de divisibilidad, restringida a N, es una relación de orden que es divisor de n y de m. Lo denotamos por mcd(n, m).
parcial. Además, si n, m 2 N, y n | m, entonces n  m.

Obsérvese que el máximo común divisor siempre será positivo.


La relación de divisibilidad en Z es reflexiva y transitiva, pero no es
antisimétrica, ya que n | ( n), y ( n) | n. Ejemplo: El conjunto de divisores (positivos) comunes de 30 y 12 es
{1, 2, 3, 6}, y por lo tanto mcd(30, 12) = 6.
En general, para enteros arbitrarios se verifica que:
si n | m y m | n, entonces n = m, o bien n = m.
Ejemplo: El conjunto de divisores (positivos) comunes de 24 y 36 es
{1, 2, 3, 4, 6, 12} y por lo tanto mcd(24, 36) = 12.

(Matemática Discreta) Tema 2: Teoría de números 9 / 79 (Matemática Discreta) Tema 2: Teoría de números 11 / 79

Divisibilidad: propiedades básicas Máximo Común Divisor

Teorema Definición
Sean n, m, k 2 Z. Entonces: Se dice que los enteros n, y m, son primos relativos o coprimos si no
1 1 | n y ( 1) | n tienen divisores comunes, es decir, si mcd(n, m) = 1.

2 n | n y n | ( n)
Los enteros 9 y 22 son coprimos, ya que mcd(9, 22) = 1.
3 Si k | n y k | m, entonces k | (n + m), y k | (n m)
Los enteros 9, 22 y 35 son coprimos ‘‘dos a dos’’ ya que
4 Si n | m, entonces n | (k · m) para todo k 2 Z
mcd(9, 22) = mcd(9, 35) = mcd(22, 35) = 1
5 Si k | n y k | m, entonces k | (s · n + t · m), para todo s, t 2 Z

(Matemática Discreta) Tema 2: Teoría de números 10 / 79 (Matemática Discreta) Tema 2: Teoría de números 12 / 79
Máximo Común Divisor Ejemplo

Teorema (Algoritmo de Euclides)


Sean n, m 2 Z+ y consideremos las secuencias de enteros positivos,
q1 , . . . , qk+1 y r1 , . . . , rk , obtenidas aplicando repetidamente el algoritmo El máximo común divisor de 21 y 13 es 1:
de la división:
21 = 13 · 1 + 8
n = m · q1 + r1 0 < r1 < b 13 = 8·1+5
m = r1 · q2 + r2 0 < r2 < r1 8 = 5·1+3
r1 = r2 · q3 + r3 0 < r3 < r2 5 = 3·1+2
r2 = r3 · q4 + r4 0 < r4 < r3 3 = 2·1+ 1
... ... 2 = 1·2+0
rk 2 = rk 1 · qk + rk 0 < rk < rk 1
rk 1 = rk · qk+1 + 0

Entonces rk = mcd(n, m)

(Matemática Discreta) Tema 2: Teoría de números 13 / 79 (Matemática Discreta) Tema 2: Teoría de números 15 / 79

Ejemplo Algoritmo de Euclides

Demostración del algoritmo:


Vamos a hallar el máximo común divisor de 70 y 42:
Observemos en primer lugar que el algoritmo termina, ya que la
70 = 42 · 1 + 28 secuencia r1 , r2 , ..., rk está formada por naturales y es estrictamente
decreciente.

42 = 28 · 1 + 14 Lema: Si a > b > 0 y a = b · q + r, entonces mcd(a, b) = mcd(b, r).

28 = 14 · 2 + 0 Por el lema anterior, para cada i = 1, . . . , k, se verifica que


mcd(n, m) = mcd(ri 1 , ri ) y en particular, mcd(n, m) = mcd(rk 1 , rk ).

Finalmente, dado que la última igualdad es rk 1 = rk qk+1 , podemos


Por lo tanto, mcd(70, 42) = 14. concluir que mcd(rk 1 , rk ) = rk y en consecuencia que
mcd(n, m) = rk .

(Matemática Discreta) Tema 2: Teoría de números 14 / 79 (Matemática Discreta) Tema 2: Teoría de números 16 / 79
Identidad de Bezout Identidad de Bezout: forma matricial

Teorema
Si n, m 2 Z+ , entonces existen s, t 2 Z tales que
La igualdad n = m · q + r obtenida con la división euclídea justifica la
mcd(n, m) = n · s + m · t.
siguiente igualdad entre matrices
Demostración: ! ! !
n q 1 m
La secuencia de igualdades obtenida en el algoritmo de Euclides se =
m 1 0 r
puede escribir como sigue:
r1 = n m · q1 Por lo tanto, si d = mcd(n, m) y q1 , . . . , qk , es la secuencia de los
r2 = m r1 · q2 cocientes obtenidos en el algoritmo de Euclides para calcular el m.c.d.,
r3 = r1 r2 · q3 entonces:
... ! ! ! ! !
rk 1 = rk 3 rk 2 · qk 1 n q1 1 q2 1 qk+1 1 d
mcd(n, m) = rk = rk 2 rk 1 · qk = ···
m 1 0 1 0 1 0 0
Por lo tanto, si, partiendo de la última igualdad, vamos sustituyendo
sucesivamente cada término ri hasta llegar a m y n, conseguiremos
la combinación lineal buscada ⇤
(Matemática Discreta) Tema 2: Teoría de números 17 / 79 (Matemática Discreta) Tema 2: Teoría de números 19 / 79

Identidad de Bezout Identidad de Bezout: forma matricial

Ejemplo: Vamos a calcular el mcd de 136 y 26 y a obtener la combinación De ahí deducimos que
lineal establecida por la identidad de Bezout. ! ! 1 ! 1 ! 1 !
d qk+1 1 q2 1 q1 1 n
= ···
136 = 26 · 5 + 6 =) 6 = 136 26 · 5 (1) 0 1 0 1 0 1 0 m
26 = 6 · 4 + 2 =) 2 = 26 6 ·4 (2)
Calculando la inversa de cada matriz cuadrada:
6=2·3+0 ! ! ! ! !
d 0 1 0 1 0 1 n
= ···
Por lo tanto, mcd(136, 26) = 2 y 0 1 qk+1 1 q2 1 q1 m

2 = 26 6 · 4, Por (2) Tras multiplicar las matrices cuadradas, obtendremos una igualdad
como la siguiente ! ! !
= 26 ( 136 26 · 5) · 4, Por (1)
d s t n
= 26 136 · 4 + 26 · 20 =
0 ⇤ ⇤ m
= 136 · ( 4) + 26 · 21 Es decir, los números de la primera fila nos dan los enteros establecidos
en la identidad de Bezout.
(Matemática Discreta) Tema 2: Teoría de números 18 / 79 (Matemática Discreta) Tema 2: Teoría de números 20 / 79
Identidad de Bezout: forma matricial Identidad de Bezout

En general, NO ES CIERTO que si n · s + m · t = d, entonces


En el ejemplo de la transparencia 18, determinamos que
d = mcd(n, m).
mcd(136, 26) = 2 y que la secuencia de cocientes es q1 = 5, q2 = 4
y q3 = 3 : Por ejemplo, 2 · 2 + 3 · 2 = 10 y mcd(2, 3) 6= 10 6= mcd(2, 2)
Sin embargo, sí es cierto el ‘‘recíproco’’ del teorema de Bezout si la
! ! ! ! ! combinación lineal es igual a 1; es decir:
136 5 1 4 1 3 1 2
=
26 1 0 1 0 1 0 0 Corolario
! ! ! ! ! ! ! Si existen enteros s y t tales que n · s + m · t = 1, entonces
2 0 1 0 1 0 1 136 4 21 136 mcd(n, m) = 1, es decir, n y m son coprimos.
= =
0 1 3 1 4 1 5 26 13 68 26
Demostración. Es una consecuencia inmediata de las propiedades básicas de
Por lo tanto: 2 = 136 · ( 4) + 26 · 21 la divisibilidad: si existiera un número d, tal que d | n y d | m, entonces
d también sería divisor de n · s + m · t. ⇤

(Matemática Discreta) Tema 2: Teoría de números 21 / 79 (Matemática Discreta) Tema 2: Teoría de números 23 / 79

Identidad de Bezout Números primos

Ejemplo: Vamos a calcular el mcd de 250 y 111 y a obtener la combinación


lineal establecida por la identidad de Bezout. Definición
Un entero positivo p 6= 1 se dice que es primo, si sus únicos divisores
250 = 111 · 2 + 28
positivos son 1 y p. Los números que no son primos se denominan
111 = 28 · 3 + 27 compuestos.
28 = 27 · 1 + 1
27 = 1 · 27 + 0
! ! ! ! ! ! Teorema (Euclides)
250 2 1 3 1 1 1 27 1 1 El conjunto de números primos es infinito.
=
111 1 0 1 0 1 0 1 0 0
! ! ! ! ! ! ! ! Demostración. Es consecuencia de la siguiente propiedad: Si p1 , . . . , pn ,
1 0 1 0 1 0 1 0 1 250 4 9 250
= = son todos los primos menores que pn , entonces q = 1 + p1 · p2 · · · · · pn es
0 1 27 1 1 1 3 1 2 111 111 250 111
otro número primo estrictamente mayor que pn . ⇤
Por lo tanto: mcd(250, 111) = 1 y 1 = 250 · 4 + 111( 9)
(Matemática Discreta) Tema 2: Teoría de números 22 / 79 (Matemática Discreta) Tema 2: Teoría de números 24 / 79
Números primos Números primos

Determinar si un número dado es o no primo, es un problema complejo


(Continuamos con el ejemplo)
desde el punto de vista computacional.
Para probar que n es primo, razonamos por reducción al absurdo y
Actualmente, gran parte de la seguridad informática está sustentada en suponemos que n = m · k, con m > 1, k > 1.
esta complejidad.
Consideremos el polinomio p(x) = xk 1. Entonces:
Concretamente, son importante los métodos y resultados para calcular
k 1
X k 1
X
primos suficientemente grandes. xk 1 = (x 1) xi =) 2n 1 = (2m )k 1 = (2m 1) 2mi
La criba de Eratóstenes es un método simple para determinar los i=1 i=0

primos por debajo de un natural dado, aunque solo es eficiente para Esto nos da una factorización de 2n 1, en contradicción con la
números no muy grandes. hipótesis del enunciado.
También son importantes las familias o sucesiones de números primos, Por lo tanto, necesariamente n es primo.
como los primos de Fermat o los primos de Mersenne.

(Matemática Discreta) Tema 2: Teoría de números 25 / 79 (Matemática Discreta) Tema 2: Teoría de números 27 / 79

Números primos Teorema fundamental de la aritmética

Ejemplo: (Primos de Mersenne) Vamos a demostrar que, si n > 1 y an 1


es un número primo, entonces a = 2 y n es primo.

Vamos a utilizar propiedades de los polinomios para probar este enunciado. Teorema (Fundamental de la aritmética)
Necesariamente a 2. Para probar que a = 2, consideremos el Sea n 2 N, n > 1. Entonces, n se puede expresar de forma única como
polinomio p(x) = xn 1. producto de potencias de primos. Es decir,
Este polinomio es divisible por x 1, ya que x0 = 1 es una raíz, y:
n 1 n 1
n = pe11 · pe22 · · · pekk ,
X X
xn 1 = (x 1) xi =) an 1 = (a 1) ai
en donde p1 < p2 < · · · < pk son primos y ej 2 N para cada j.
i=1 i=0

n 1
X
Dado que an 1 es primo y ai = 1 + a + · · · 2, necesariamente
i=0
a 1=1 y a=2 .

(Matemática Discreta) Tema 2: Teoría de números 26 / 79 (Matemática Discreta) Tema 2: Teoría de números 28 / 79
Teorema fundamental de la aritmética. Teorema fundamental de la aritmética.
Método para obtener la descomposición:
Empezamos dividiendo n por primos sucesivos empezando por 2.
p
Si no es divisible por ningún primo menor o igual que n, podemos
concluir que el número es primo y habríamos terminado. Ejemplo:
Si encontramos un divisor primo p, volvemos a iniciar la búsqueda de ) (
n 2750 = 2 · 53 · 11 2750 = 21 · 30 · 53 · 111 · 830
divisores primos para . Naturalmente, ahora no empezaremos por 2 =)
p 1992 = 23 · 3 · 83 1992 = 23 · 31 · 50 · 110 · 831
sino por p.
Por lo tanto,
Ejemplos:
Para deducir que 101 es primo, basta comprobar que no es divisible por mcd(2750, 1992) = 21 · 30 · 50 · 110 · 830 = 2
2, 3, 5 y 7.
90 2
45 3
El número 90 es compuesto: 90 = 2 · 32 · 5.
15 3
5 5
(Matemática Discreta) Tema 2: Teoría de números 29 / 79 (Matemática Discreta) Tema 2: Teoría de números 31 / 79

Teorema fundamental de la aritmética. Mínimo común múltiplo

Definición
Corolario
Sean n, m 2 Z+ . El mínimo común múltiplo de n y m es el menor
Si n = pa11 pa22 · · · pann , y m = pb11 pb22 · · · pbnn son números naturales, entonces
natural que es múltiplo de n y de m. Lo denotamos por mcm(n, m).
mín(a1 ,b1 ) mín(a2 ,b2 ) mín(an ,bn )
mcd(n, m) = p1 p2 · · · pn
Teorema
Si n = pa11 pa22 · · · pann , y m = pb11 pb22 · · · pbnn son números naturales, entonces
Hemos escrito la misma secuencia de primos en cada número por
máx(a1 ,b1 ) máx(a2 ,b2 ) máx(an ,bn )
simplicidad. Esto no añade ninguna restricción, ya que los exponentes mcm(n, m) = p1 p2 · · · pn
pueden ser nulos.
Teorema
Este resultado se corresponde con la regla que seguramente el alumno Si n, m 2 Z+ , entonces, mcm(n, m) · mcd(n, m) = n · m.
recuerde de sus estudios previos: ‘‘para determina el máximo común
divisor tomamos los primos comunes a las dos factorizaciones con el
Corolario
exponente menor.’’
Si n, m 2 Z+ son coprimos, entonces mcm(n, m) = n · m.
(Matemática Discreta) Tema 2: Teoría de números 30 / 79 (Matemática Discreta) Tema 2: Teoría de números 32 / 79
Mínimo común múltiplo Ecuaciones Diofánticas

Demostración de la igualdad mcm(n, m) · mcd(n, m) = n · m.


Hablamos de ecuaciones diofánticas cuando estamos interesados en
Sean M = mcm(n, m) y d = mcd(n, m) resolverlas dentro de Z.
Si n = n1 d y m = m1 d, entonces n·md = n1 m1 d y deducimos que, Deben su nombre al matematico griego Diophantus, que escribió
efectivamente, es multiplo de n = n1 d y de m = m1 d. extensamente acerca de este tipo de ecuaciones
Por otra parte, necesariamente M divide a n·m
d , ya que para En este curso, solo vamos a estudiar las ecuaciones diofánticas lineales:
cualquier múltiplo común N, el número mcd(N, nmd ) también es
múltiplo de n y de m, es menor que N y divisor de nm d . Definición
Por su definición, y la observación anterior, existen k1 , k2 y k tales Una ecuación diofántica lineal de dos variables es una ecuación de la
que M = k1 n, M = k2 m y nm = kdM. forma
Entonces, nm = kdk1 n y por tanto m = kdk1 ; y nm = kdk2 m y por nx + my = k,
tanto n = kdk2 . Deducimos que kd es un divisor común a m y n, y en donde n, m, k 2 Z, y las incógnitas x e y deben resolverse en Z.
dado que d es el mayor, necesariamente k = 1 y nm = dM. ⇤

(Matemática Discreta) Tema 2: Teoría de números 33 / 79 (Matemática Discreta) Tema 2: Teoría de números 35 / 79

Mínimo común múltiplo Ecuaciones Diofánticas

Ejemplo: Vamos a calcular mcm(210, 99) con los dos métodos: Teorema
La ecuación n · x + m · y = k tiene soluciones en Z si y solo si
Usando el algoritmo de Euclides:
d = mcd(n, m) divide a k. En tal caso, si el par (x0 , y0 ) es una solución
9
210 = 99 · 2 + 12 >= de la ecuación, entonces el resto de las soluciones vienen dadas por
99 = 12 · 8 + 3 =) mcd(210, 99) = 3 m n
>
; x = x0 + ( )q, y = y0 ( )q, q2Z
12 = 3 · 4 d d

210 · 99 Demostración:
Por lo tanto, mcm(210, 99) = = 210 · 33 = 6930
3 Si d = mcd(n, m), entonces d divide a n y a m y en consecuencia
divide a n · x + m · y = k para todo x, y 2 Z.
Usando la factorización:
) Si d = mcd(n, m) divide a k, entonces k = d · c para algún c 2 Z y
210 = 2 · 3 · 5 · 7 = 21 · 31 · 51 · 71 · 110 por la identidad de Bezout, existe enteros s y t tales que
99 = 32 · 11 = 20 · 32 · 50 · 70 · 111
d =n·s+m·t
1 2 1 1 1
Por lo tanto, mcm(210, 99) = 2 3 5 7 11 = 6930 En consecuencia, k = cd = ncs + mct y x0 = cs e y0 = ct forman
una solución de la ecuación.
(Matemática Discreta) Tema 2: Teoría de números 34 / 79 (Matemática Discreta) Tema 2: Teoría de números 36 / 79
Ecuaciones Diofánticas Ecuaciones Diofánticas
(Continuación de la demostración)
(Continuamos con del ejemplo)
Demostremos ahora que para todo q 2 Z, x = x0 + ( md )q, e
Supongamos que 14 · x + 21 · y = 70. entonces
y = y0 ( dn )q, son soluciones de la ecuación:
m n 14(x + 10) + 21(y 10) = 0
n · x + m · y = n · x0 + n( )q + m · y0 m( )q = n · x0 + m · y0 = k
d d 2(x + 10) + 3(y 10) = 0
Finalmente, demostremos que no hay más soluciones. Si x e y son 2(x + 10) = 3(y 10)
soluciones, entonces n · x + m · y = k, n · x0 + m · y0 = k. Restando las x + 10 y 10
dos expresiones, miembro a miembro, obtenemos que = =q2Z
3 2
n m
n(x0 x) = m(y y0 ), y de ahí (x0 x) = (y y0 ).
d d
n m
Dado que y son coprimos, para que se verifique la igualdad, Por lo tanto:
d d
n m x= 10 3 · q, y = 10 + 2 · q
necesariamente divide a (y y0 ) y divide a (x0 x), por lo
d d
x x y y0
que tiene sentido escribir 0 = =q ⇤
m/d n/d
(Matemática Discreta) Tema 2: Teoría de números 37 / 79 (Matemática Discreta) Tema 2: Teoría de números 39 / 79

Ecuaciones Diofánticas Ecuaciones Diofánticas


Ejemplo: Si retiramos 510 euros de un cajero que solo dispensa billetes de
Ejemplo: Vamos a encontrar las soluciones de la ecuación 14x + 21y = 70 20 y 50 euros, ¿de qué formas distintas puede dispensar el cajero esta
Calculamos en primer lugar mcd(21, 14) : cantidad?
Lo que necesitamos saber son las posibles soluciones de la ecuación
21 = 14 · 1 + 7
diofántica
14 = 7 · 2
20x + 50y = 510,
Por lo tanto, mcd(21, 14) = 7 y, de la primera igualdad deducimos que
teniendo en cuenta que, en este caso, las soluciones deben ser
7 = 14 · 1 + 21 · 1.
positivas.
Por lo tanto:
Dado que mcd(50, 20) = 10, podemos afirmar que el cajero puede
70 = 7 · 10 = ( 14 · 1 + 21 · 10)10 = 14 · ( 10) + 21 · 10 darnos cualquier cantidad de euros múltiplo de 10, y en particular los
510 euros que le pedimos en este ejemplo.
Y en consecuencia, x0 = 10, y0 = 10 es una solución de la ecuación A partir de la igualdad 10 = 50 20 · 2, deducimos que
propuesta. 510 = 50 · 51 + 20 · ( 102) y que una solución particular de la ecuación
es x0 = 102, y0 = 51.
(Matemática Discreta) Tema 2: Teoría de números 38 / 79 (Matemática Discreta) Tema 2: Teoría de números 40 / 79
Ecuaciones Diofánticas Relación de congruencia

(Continuamos con el ejemplo)


El resto de las soluciones son x = 102 + 5 · q, y = 51 2 · q para Dos números son congruentes módulo m si se diferencian en un
cada q 2 Z. multipo de m.
102
Para que x sea positivo, necesitamos que q 5 y
51 Esta relación nos aparece en múltiples aplicaciones. El tiempo se mide
para que y sea positivo, necesitamos que q  2 .
en divide en bloques de 12 o 24 horas de modo que, por ejemplo, las 20
Por lo tanto, los posibles valores de q son: 21, 22, 23, 24 y 25 y las horas son las 8. Lo mismo ocurre con los días de la semana y los meses.
correspondientes soluciones nos dan las siguientes igualdades:
Se usan 23 letras de los DNI, una para cada uno de los 23 restos posibles
20 · 3 + 50 · 9 = 510 al dividir el número del DNI entre 23. Este es el método más simple de
20 · 8 + 50 · 7 = 510 obtener lo que en informática se conoce como número o bit de control.
20 · 13 + 50 · 5 = 510
En matemáticas, son una herramienta fundamental para abordar
20 · 18 + 50 · 3 = 510
determinados problemas, como el estudio de las reglas de divisibilidad.
20 · 23 + 50 · 1 = 510

(Matemática Discreta) Tema 2: Teoría de números 41 / 79 (Matemática Discreta) Tema 2: Teoría de números 43 / 79

2.2 Aritmética Modular Relación de congruencia

Definición (Congruencia módulo m )


Sean a, b, m 2 Z tales que m 2. Se dice que a es congruente con b
Aritmética modular. módulo m si m | (a b). En tal caso, escribimos

Congruencias lineales. a⌘b (mód m)

Teoremas de Euler y Fermat. Es decir, a ⌘ b (mód m) si y solo si existe k 2 Z tal que

a = b + km
Sistemas de congruencias lineales. Teorema chino de los restos.
Ejemplo: 23 ⌘ 17 (mód 3), ya que 23 17 = 6 = 2 · 3.

Ejemplo: 12 ⌘ 14 (mód 13), ya que 12 14 = 26 = ( 2)13.

(Matemática Discreta) Tema 2: Teoría de números 42 / 79 (Matemática Discreta) Tema 2: Teoría de números 44 / 79
Relación de congruencia Relación de congruencia: propiedades

Teorema
Sea m 2 Z, m > 1. Según vimos en el tema anterior, una relación de equivalencia
determina una partición del conjunto en donde se define la relación.
1 a ⌘ b (mód m) si y solo si a y b tienen el mismo resto al dividirlos
entre m.
Las clases de equivalencia definidas por al relación de congruencia
2 Cada entero a 2 Z es congruente módulo m con uno de los
módulo m se denotan [a]m y el conjunto cociente, es decir, el
siguientes enteros: 0, 1, . . . , m 1.
conjunto formado por todas las clases de equivalencia se denota Zm .

Ejemplo:
) Atendiendo a las propiedades vistas anteriormente, el conjunto Zm
231 = 5 · 46 + 1 tiene exactamente m elementos.
=) 231 ⌘ 106 (mód 5)
106 = 5 · 21 + 1

(Matemática Discreta) Tema 2: Teoría de números 45 / 79 (Matemática Discreta) Tema 2: Teoría de números 47 / 79

Relación de congruencia: propiedades Relación de congruencia: propiedades

Ejemplo: Las cuatro clases de equivalencia de la congruencia módulo 4


son:
Teorema [0]4 = {. . . , 8, 4, 0, 4, 8, . . . }
La relación de de congruencia módulo m, verifica las siguientes
[1]4 = {. . . , 7, 3, 1, 5, 9, . . . }
propiedades:
[2]4 = {. . . , 6, 2, 2, 6, 10, . . . }
Reflexiva a ⌘ a (mód m)
[3]4 = {. . . , 5, 1, 3, 7, 11, . . . }
Simétrica Si a ⌘ b (mód m), entonces b ⌘ a (mód m). n o
Z4 = [0]4 , [1]4 , [2]4 , [3]4
Transitiva Si a ⌘ b (mód m) y b ⌘ c (mód m),
entonces a ⌘ c (mód m). Las relación de congruencia entre números se pueden expresar más
brevemente usando las clases de equivalencia:
Por lo tanto, las relaciones de congruencia son relaciones de equivalencia.
a ⌘ b (mód m) () [a]m = [b]m

Ejemplo: [27]5 = [27 5]5 = [22]5 = [22 5 · 4]5 = [2]5


(Matemática Discreta) Tema 2: Teoría de números 46 / 79 (Matemática Discreta) Tema 2: Teoría de números 48 / 79
Aritmética Modular Aritmética Modular

Hablamos de aritmética modular porque, como vemos a continuación,


podemos definir en los conjuntos Zm las operaciones de suma, resta y Ejemplo: Vamos a determinar el resto de dividir 79525 entre 11
producto. ayudándonos de las operaciones con clases de equivalencia.

Estas operaciones están justificadas por el siguiente resultado. Empezamos operando solamente el número 795: 795 = 11 · 72 + 3.
También tendremos en cuenta que [9]11 = [ 2]11 y [24 ]11 = [5]11 .

Teorema (Aritmética de las congruencias) Por lo tanto


Sean a, b, c, d, m 2 Z, tales que m > 1, a ⌘ b (mód m) y c ⌘ d (mód m).
Entonces: [79525 ]11 = [325 ]11 = [3(32 )12 ]11 = [3( 2)12 ]11 = [3(24 )3 ]11 =
1 a + c ⌘ b + d (mód m) = [3 · 53 ]11 = [15 · 25]11 = [4 · 3]11 = [1]11 ,
2 a c⌘b d (mód m) y 79525 ⌘ 1 (mód 11).
3 a · c ⌘ b · d (mód m)

(Matemática Discreta) Tema 2: Teoría de números 49 / 79 (Matemática Discreta) Tema 2: Teoría de números 51 / 79

Aritmética modular: ¿División?


La demostración es una simple comprobación:
8
)
a = b + m · k1 < a + c = b + d + m(k1 + k2 )
>
=) a c = b d + m(k1 k2 )
c = d + m · k2 >
:
a · c = b · d + m(d · k1 + b · k2 + m · k1 · k2 ) Entre las operaciones no hemos incluido la división, ya que, en general
LA DIVISIÓN NO CONSERVA CONGRUENCIAS
Este teorema justifica que las siguientes operaciones dentro de Zm
están bien definidas 2 · 9 ⌘ 2 · 3 (mód 12), pero 9 6⌘ 3 (mód 12)

[a]m + [b]m = [a + b]m , [a]m [b]m = [a b]m , [a]m [b]m = [a · b]m


Más adelante, introduciremos la noción de inverso dentro de Zm , que
permitirá realizar, si es posible, divisiones de forma correcta.
Estas propiedades permitirán trabajar más eficientemente con
congruencias.

(Matemática Discreta) Tema 2: Teoría de números 50 / 79 (Matemática Discreta) Tema 2: Teoría de números 52 / 79
Aplicación: criterios de divisibilidad Congruencias Lineales

Una de las aplicaciones de la aritmética de congruencias es deducir


criterios de divisibilidad, es decir, reglas que permiten deducir si un
número es divisible por otro a partir de los dígitos que lo forman. El Definición
punto de partida es que N es divisible por p si y solo si [N]p = [0]p . Dados números a, b, m 2 Z, m > 1, y considerando la variable x como
una incógnita, la expresión
Si ` ` 1 ... 1 0 es la expresión decimal de un número N, entonces
a · x ⌘ b (mód m)

i
N= i 10 ( i 2 {0, . . . , 9}).
i=0
se denomina congruencia lineal de una variable.

Para
" saber # si N es divisible por p, simplificamos la expresión

i La resolución de una congruencia lineal se reduce fácilmente a un
i 10 utilizando las propiedades de las congruencias.
i=0 p ecuación diofántica de dos variables.
Para ello, basta con simplificar las potencias de 10 en la clase de
congruencia módulo p.

(Matemática Discreta) Tema 2: Teoría de números 53 / 79 (Matemática Discreta) Tema 2: Teoría de números 55 / 79

Aplicación: criterios de divisibilidad Congruencias Lineales


Ejemplo: Vamos a resolver la congruencia 9x ⌘ 12 (mód 15)
Ejemplo: Vamos a deducir la regla de divisibilidad por p = 3. Es decir, buscamos los números x 2 Z para los que existe k 2 Z tal
que
Observamos en primer lugar que [10]3 = [1]3 , y por lo tanto
9x 15k = 12
[10i ]3 = [1i ]3 = [1]3 para cada potencia i.
Por lo tanto, tenemos que resolver la ecuación diofántica

A Partir de ahí, deducimos que: 9x + 15y = 12 () 3x + 5y = 4


" # " #
X̀ X̀ mcd(3, 5) = 1 = 3 · 2 + 5 · ( 1) =) 4 = 3 · 8 + 5 · ( 4)
i
i 10 = i En consecuencia, x0 = 8 es la solución particular y x = 8 + 5t es la
i=0 3 i=0 3
solución general.
Obsérvese que el conjunto de enteros con todas las soluciones, está
Por lo tanto, un número es divisible por 3 si y solo si lo es la suma de sus
formado por tres clases de equivalencia módulo 15 :
dígitos.
[8]15 , [13]15 , [18]15 = [3]15 .

(Matemática Discreta) Tema 2: Teoría de números 54 / 79 (Matemática Discreta) Tema 2: Teoría de números 56 / 79
Congruencias Lineales Congruencias Lineales

Ejemplo: Las congruencia 2x ⌘ 1 (mód 4) no tiene solución, ya que


Teorema (Brahmagupta)
2 = mcd(2, 4) no es divisor de 1.
Sean a, b, m 2 Z, m > 1 y consideremos la congruencia lineal
Ejemplo: 10x ⌘ 8 (mód 15) no tiene solución, ya que
a · x ⌘ b (mód m) (cl) 5 = mcd(10, 15) no es divisor de 8.
1 La congruencia (cl) tiene solución si y solo si mcd(a, m) | b. El segundo apartado del teorema de Brahmagupta se expresa más
brevemente diciendo que la congruencia lineal tiene d soluciones
2 En tal caso, el conjunto de soluciones de (cl) viene dado por la unión de
módulo m o d soluciones incongruentes.
exáctamente d = mcd(a, m) clases de equivalencia módulo m.
Por ejemplo, la congruencia 2x ⌘ 1 (mód 5) tiene solo una solución
Demostración: módulo 5, ya que mcd(2, 5) = 1;
1 El primer apartado es consecuencia de la teoría asociada a ecuaciones la congruencia 10x ⌘ 8 (mód 13) tiene solo 1 solución módulo 13;
diofánticas, ya que la resolución de la congruencia a · x ⌘ b (mód m) la congruencia 2x ⌘ 0 (mód 4) tiene 2 soluciones módulo 4;
es equivalente a la resolución de la ecuación a · x + m · y = b.
la congruencia 24x ⌘ 8 (mód 28) tiene 4 soluciones módulo 28.

(Matemática Discreta) Tema 2: Teoría de números 57 / 79 (Matemática Discreta) Tema 2: Teoría de números 59 / 79

Congruencias Lineales Congruencias Lineales


2 Si la congruencia lineal tiene solución, esta se determina resolviendo la Ejemplo:
ecuación diofántica a · x + m · y = b. Por lo tanto, la solución general La congruencia 4x ⌘ 10 (mód 30) tiene solución, ya que
tiene la forma 2 = mcd(4, 30) es divisor de 10; además, tiene 2 soluciones
m módulo 30.
x0 + k, para todo k 2 Z,
d
La convertimos en una ecuación diofántica:
en donde x0 es una solución particular.
Por lo tanto, si t 2 {0, . . . , d 1}, las soluciones asociadas a cada 4x ⌘ 10 (mód 30) () 4x + 30y = 10 () 2x + 15y = 5
k 2 [t]d , están en la misma clase de equivalencia modulo m :
Y la resolvemos:
m m
x0 + (t + d · s) = x0 + t + m · s mcd(2, 15) = 1 = 2 · 8 + 15( 1) =) 5 = 2 · 40 + 15( 5) =) x0 = 40
d d
m La solución general es x = 40 + 15k que incluye enteros de las
⌘ x0 + t (mód m)
d siguientes clases de congruencia módulo 30:
En consecuencia, el conjunto de todas las soluciones está formado por
[40]30 = [10]30 , [40 + 15]30 = [25]30 .
la unión de las d clases de equivalencia módulo m obtenidas con
k 2 {0, . . . , d 1}. ⇤
(Matemática Discreta) Tema 2: Teoría de números 58 / 79 (Matemática Discreta) Tema 2: Teoría de números 60 / 79
Congruencias Lineales Congruencias Lineales

Obsérvese que en el ejemplo anterior, mcd(a, m) = 1. Si no fuera 1,


Tal y como hemos visto anteriormente, no es posible trasladar la
también podremos trabajar con las congruencias y los inversos, pero
división de enteros a la división de las clases de equivalencia de las
necesitaremos dar más pasos.
congruencia.
Ejemplo: La congruencia 12x ⌘ 14 (mód 34) tiene dos soluciones
En términos de congruencias, para calcular el inverso (respecto del
módulo 34.
producto) de una clase [a]m , necesitamos encontrar una clase [x]m
12x ⌘ 14 (mód 34) 12x = 14 + 34k
tal que [a · x]m = [1]m ; es decir, necesitamos resolver la siguiente
congruencia: 6x ⌘ 7 (mód 17) ( m
a · x ⌘ 1 (mód m) [6]17 [x]17 = [7]17 6x = 7 + 17k

Atendiendo al teorema de Brahmagupta, podemos deducir: [a]m tiene [x]17 = [6]171 [7]17
inverso en Zm si y solo si mcd(a, m) = 1, y en tal caso, el inverso es [x]17 = [3]17 [7]17
único. [x]17 = [21]17 = [4]17
Naturalmente, el inverso NO se calcula dividiendo enteros, sino x = 4 + 17k, k 2 Z
resolviendo la ecuación diofántica a · x + m · y = 1 .
Las dos clases módulo 34 son: [4]34 y [4 + 17]34 = [21]34 .
(Matemática Discreta) Tema 2: Teoría de números 61 / 79 (Matemática Discreta) Tema 2: Teoría de números 63 / 79

Congruencias Lineales Teorema de Euler-Fermat


Si [a]m [b]m = [1]m , escribimos igualmente [b]m = [a]m 1 .
Como acabamos de ver, la resolución de congruencias lineales puede
Ejemplo: La clase [6]17 tiene inverso, ya que mcd(6, 17) = 1 .
reducirse al cálculo del inverso módulo m del coeficiente de x.
Para calcularlo, resolvemos la ecuación 6x + 17y = 1 :
El teorema de Euler-Fermat provee un método alternativo para calcular
1 = 6 · 3 + 17( 1) =) x0 = 3
inversos.
Por lo tanto: [6]171 = [3]17 En su enunciado, hacemos uso de la función de Euler que definimos a
El uso de los inversos, nos da un forma alternativa de ‘‘escribir’’ la continuación:
resolución de las congruencias líneales.
Ejemplo: 6x ⌘ 5 (mód 17) Definición
[6]17 [x]17 = [5]17 La función de Euler : Z+ ! Z+ se define como: (n) es el número de
enteros positivos menores que n y coprimos con n.
[x]17 = [6]171 [5]17
[x]17 = [3]17 [5]17
n 1 2 3 4 5 6 7 8 9 10 11 12
[x]17 = [15]17
(n) 1 1 2 2 4 2 6 4 6 4 10 4
x = 15 + 17k, k 2 Z
(Matemática Discreta) Tema 2: Teoría de números 62 / 79 (Matemática Discreta) Tema 2: Teoría de números 64 / 79
Teorema de Euler-Fermat Teorema de Euler-Fermat

Teorema (Propiedades de )
1 Si p es primo, entonces (p) = p 1.
e e El teorema de Euler-Fermat permite calcular fácilmente los inversos
2 Si p es primo, entonces (p ) = p pe 1
.
módulo m : si mcd(a, m) = 1, entonces
3 Si m y n son coprimos, entonces (m · n) = (m) · (n).
(m) 1
4 Como consecuencia de los puntos anteriores, si n = pe11 pe22 . . . pekk , a·a =a (m)
⌘ 1 (mód m) =) [a]m 1 = [a (m) 1
]m
entonces
Ejemplo: mcd(2, 9) = 1, (9) = 32 3=6
(n) = (pe11 pe11 1
)(pe22 pe22 1
) . . . (pekk pekk 1
)
2 (9)
= 26 ⌘ 1 (mód 9) =) [2]9 1 = [25 ]9 = [32]9 = [5]9

Ejemplo: (11) = 11 1 = 10
Ejemplo: (180) = (2 3 · 5) = (22
2 2
2)(32 3)(5 1) = 48

(Matemática Discreta) Tema 2: Teoría de números 65 / 79 (Matemática Discreta) Tema 2: Teoría de números 67 / 79

Teorema de Euler-Fermat Teorema de Euler-Fermat


Ejemplo: Vamos a usar el teorema de Euler-Fermat para resolver la
congruencia 2x ⌘ 8 (mód 9) :
Teorema (Euler-Fermat)
2x ⌘ 8 (mód 9)
Sea m 2 Z+ , m > 1, y a 2 Z tales que mcd(a, m) = 1. Entonces:
(9) 1
x⌘2 · 8 (mód 9) (Ya que mcd(2, 9) = 1)
(m)
a ⌘ 1 (mód m) 5
x ⌘ 2 8 (mód 9)
x ⌘ 4 (mód 9)
Ejemplo: Resolvamos la congruencia 2x ⌘ 7 (mód 11)
Ejemplo: Para m = 8, (8) = 8 4 = 4; si tomamos a = 3, el
teorema anterior establece que 34 ⌘ 1 (mód 8), lo que comprobamos [2]11 [x]11 = [7]11 =) [x]11 = [2]111 [7]11 = [29 ]11 [7]11 = [29 7]11
fácilmente: Por lo tanto, x ⌘ 29 7 (mód 11).
34 = 81 = 8 · 10 + 1 ⌘ 1 (mód 8) Si tenemos en cuenta las propiedades de las congruencias, podremos
simplificar estos resultados sin realizar demasiadas operaciones:
[29 7]11 = [24 24 (2 · 7)]11 = [5 · (5 · 3)]11 = [5 · 4]11 = [9]11

(Matemática Discreta) Tema 2: Teoría de números 66 / 79 (Matemática Discreta) Tema 2: Teoría de números 68 / 79
Sistemas de congruencias lineales Sistemas de congruencias lineales
Demostración del teorema chino del resto
Ejemplo: ¿Cuál es el número que al dividirse entre 3 da por resto 1, al M
dividirse entre 5 da por resto 2 y al dividirse entre 7 da por resto 3? Sea M = m1 m2 · · · mk y consideremos los números Mi = . Dado que
mi
Podemos plantear este problema escribiendo como congruencias cada mi y Mi coprimos, existen enteros ti y si tales que
una de las tres condiciones:
1 = mi · t i + M i · s i , es decir, M i · si 1= mi · ti
x ⌘ 1 (mód 3) Pk
La demostración concluye comprobando que x = i=1 bi Mi si es
x ⌘ 2 (mód 5) solución del sistema:
x ⌘ 3 (mód 7) X
x bj = bj Mj sj bj + bi Mi si =
Por lo tanto, para resolverlo, necesitamos encontra las soluciones de i6=j
X X
este sistema de congruencias lineales. = bj (Mj sj 1) + bi Mi si = bj mj tj + bi Mi si
El teorema chino del resto, que vemos a continuación, establece i6=j i6=j

condiciones en las que podemos estar seguros de la existencia de Si i 6= j, Mi es múltiplo de mj y en consecuencia el número de
soluciones. arriba es múltiplo de mj . ⇤
(Matemática Discreta) Tema 2: Teoría de números 69 / 79 (Matemática Discreta) Tema 2: Teoría de números 71 / 79

Sistemas de congruencias lineales Sistemas de congruencias lineales


Ejemplo:
x ⌘ 1 (mód 3)
Teorema (Teorema chino del resto) x ⌘ 2 (mód 5)
Sean m1 , m2 , . . . , mk enteros positivos mayores que 1 y coprimos dos a dos x ⌘ 3 (mód 7)
y sean b1 , b2 , . . . , bk 2 Z . Entonces, el siguiente sistema de congruencias, Aunque la demostración del teorema nos da una fórmula para expresar las
tiene solución: soluciones, podemos resolver estos sistemas operando con clases de
congruencia.
x ⌘ b1 (mód m1 )
De la primera ecuación, deducimos que x = 3k + 1. Esta forma de x
x ⌘ b2 (mód m2 ) la llevamos a la siguiente ecuación, que escribimos como igualdad entre
.. clases:
.
x ⌘ bk (mód mk ) [3k + 1]5 = [2]5 ) [3k]5 = [1]5 )
) [2 · 3k]5 = [2]5 ) [k]5 = [2]5 )
Además, si x y x0 son soluciones, entonces x ⌘ x0 (mód m1 m2 · · · mk ).
) k = 5m + 2 ) x = 3(5m + 2) + 1 = 15m + 7

(Matemática Discreta) Tema 2: Teoría de números 70 / 79 (Matemática Discreta) Tema 2: Teoría de números 72 / 79
Sistemas de congruencias lineales Sistemas de congruencias lineales
Demostración:
La necesidad de la condición b1 ⌘ b2 (mód d) es trivial.
Si x = b1 + k1 m1 y x = b2 + k2 m2 , entonces restando las dos
(Continuamos con el ejemplo) igualdades miembro a miembro y reordenado los sumandos obtenemos:
A continuación llevamos esta expresión de x, x = 15m + 7, a la
b1 b 2 = k 2 m2 k1 m1
siguiente y última ecuación:
Y como d divide a m1 y a m2 , necesariamente debe dividir a
[15m + 7]7 = [3]7 ) [m]7 = [3]7 ) m = 7q + 3 ) b1 b2 .
) x = 15(7q + 3) + 7 = 105q + 52 ) x ⌘ 52 (mód 105) La demostración de que, en tal caso, podemos determinar las
soluciones, describe el método de resolución.
Utilizando el algoritmo de Ecuclides, encontramos la combinación lineal
de la identidad de Bezout para m1 y m2 :

d = t1 · m1 + t2 · m2

(Matemática Discreta) Tema 2: Teoría de números 73 / 79 (Matemática Discreta) Tema 2: Teoría de números 75 / 79

Sistemas de congruencias lineales Sistemas de congruencias lineales


(Continuación de la demostración)

El teorema chino del resto establece condiciones suficientes para la Dado que b1 b2 = k · d, podemos realizar los siguiente pasos:
existencia de soluciones, pero no son necesarias. Estas condiciones las b1 b2 = k · d = (k · t1 ) · m1 + (k · t2 ) · m2
damos en el siguiente resultado. b1 (k · t1 ) · m1 = b2 + (k · t2 ) · m2

Teorema Y por lo tanto, este número es solución de las dos ecuaciones.


Sean m1 , m2 enteros estrictamente mayores que 1, sea d = mcd(m1 , m2 ) Supongamos ahora que x y x0 son soluciones del sistema y
y M = mcm(m1 , m2 ). Entonces, el sistema demostremos que, entonces x ⌘ x0 (mód M) :
)
x ⌘ b1 (mód m1 ) x = b1 + k1 m1
=) x x0 = (k1 k01 )m1
x ⌘ b2 (mód m2 ) x0 = b1 + k01 m1
)
x = b2 + k2 m2
tiene solución si y solo si b1 ⌘ b2 (mód d). En tal caso, la solución es única =) x x0 = (k2 k02 )m2
x0 = b2 + k02 m2
módulo mcm(m1 , m2 ) .
Por lo tanto, x x0 es múltiplo de m1 y de m2 y en consecuencia
múltiplo de M = mcm(m1 , m2 ). ⇤
(Matemática Discreta) Tema 2: Teoría de números 74 / 79 (Matemática Discreta) Tema 2: Teoría de números 76 / 79
Sistemas de congruencias lineales Sistemas de congruencias lineales
Ejemplo: x ⌘ 3 (mód 14) (Continuamos el ejemplo)
Cada una de estas dos soluciones de la primera ecuación se pasa a la
x ⌘ 10 (mód 35)
segunda ecuación
Solución:
x = 10k + 2 x = 10k + 7
x = 14k + 3
[10k + 2]15 = [12]15 [10k + 7]15 = [12]15
[14k + 3]35 = [10]35
[10k]15 = [10]15 [10k]15 = [5]15
[14k]35 = [7]35
[2k]3 = [2]3 [2k]3 = [1]3
[2k]5 = [1]5
[2 · 2k]3 = [2 · 2]3 = [1]3 [2 · 2k]3 = [2]3
[3 · 2k]5 = [3]5
[k]3 = [1]3 [k]3 = [2]3
[k]5 = [3]5
k = 3m + 1 k = 3m + 2
k = 5k + 3
x = 10(3m + 1) + 2 = 30m + 12 x = 10(3m + 2) + 7 = 30m + 27
x = 14(5k + 3) + 3 = 70k + 45
x ⌘ 12 (mód 30) x ⌘ 27 (mód 30)
x ⌘ 45 (mód 70) (70 = mcm(14, 35))
(Matemática Discreta) Tema 2: Teoría de números 77 / 79 (Matemática Discreta) Tema 2: Teoría de números 79 / 79

Sistemas de congruencias lineales

Ejemplo:
6x ⌘ 2 (mód 10)
x ⌘ 12 (mód 15)

Solución:

6x ⌘2 (mód 10)
3x ⌘1 (mód 5)
2 · 3x ⌘2 (mód 5)
x ⌘2 (mód 5)
x ⌘ 2 (mód 10), x ⌘ 7 (mód 10)

(Matemática Discreta) Tema 2: Teoría de números 78 / 79

También podría gustarte