EcuacionesDiofánticasCongruenciasDivisibilidad

Tema 3: Ecuaciones diofnticas, congruencias y criterios de
divisibilidad
J. Sendra, E. Martn, A. Mndez y C. Ortiz
Marzo 2011
ndice
Gua del tema II
1. Ecuaciones Diofnticas 1
2. Congruencias 4
3. Sistemas de Numeracin y criterios de divisibilidad 10
I
Tema 3
Matemtica Discreta. Curso 2010/11. 2
o
semestre. (Dpto. Matemtica Aplicada a la I.T.T.) E.U.I.T.Telecomunicacin (U.P.M.)
Gua del tema
Asignatura: Matemtica Discreta
Titulo de la Unidad: Ecuaciones diofnticas, congruencias y criterios de divisibilidad
Semanas de imparticin en el cuatrimestre: Del 21 de marzo al 1 de abril
Requisitos para seguir con aprovechamiento el tema
Manejar con soltura el algoritmo de la divisin.
Conocer y manejar relaciones de equivalencia.
Atencin y paciencia para asimilar los resultados.
Conocer y utilizar el principio de induccin matemtica.
Objetivos
Objetivo general: Conocer y manejar ecuaciones diofnticas, congruencias y sistemas de numeracin
Objetivos Especcos:
Manejar los restos de las divisiones.
Conocer y resolver las ecuaciones diofnticas.
Manejar el concepto de congruencia.
Aplicar propiedades bsicas de las congruencias.
Conocer el Teorema Pequeo de Fermat.
Calcular el inverso de un nmero en Z
m
.
Resolver Ecuaciones con congruencias.
Entender el Teorema de los restos chinos y saber aplicar el mtodo para resolver un sistema de
congruencias.
Conocer los comandos ms bsicos de Maple en relacin con congruencias.
Deducir criterios de divisibilidad a partir de resultados generales,
Aplicar los resultados para conocer los divisores de un nmero entero no negativo.
Contenidos tericos
II
Gua del tema
o
Ecuaciones Diofnticas
Congruencias
Sistemas de numeracin y criterios de divisibilidad
Evaluacin Se entregarn los ejercicios propuestos antes de la fecha lmite 11 de abril de 2011
III
o
1. Ecuaciones Diofnticas
Se llama ecuaciones diofnticas a una amplia clase de ecuaciones algebraicas con ms de una indeter-
minada en Z y Q. En primer lugar, se estudian las ecuaciones lineales diofnticas de la forma ax + by = n. A
continuacin, se analiza la ecuacin diofntica de la forma x
2
y
2
= n con n > 0, as como la ecuacin, tambin
llamada pitagrica, de la forma x
2
+y
2
= z
2
. Se termina la seccin enunciando la famosa conjetura de Fermat.
Teorema 1.1. Sean a, b y n Z. La ecuacin lineal ax + by = n tiene solucin entera x
0
, y
0
si y slo si
d = mcd(a, b) divide a n.
Demostracin. Si la ecuacin tiene soluciones enteras x
0
, y
0
entonces ax
0
+by
0
= n. Ahora bien, como d | ax
0
y d | by
0
se tiene que d | n. Supongamos ahora que d | n, es decir existe r Z tal que n = dr. Si n = 0 entonces
x
0
= 0 e y
0
= 0 es una solucin trivial de la ecuacin. Si n = 0 entonces d = 0 y existen u, v Z tales que
au + bv = d. Multiplicando por r ambos lados de esta ecuacin se tiene a(ur) + b(vr) = dr = n, de donde se
deduce que x
0
= ur, y
0
= vr es una solucin de la ecuacin ax
0
+ by
0
= n.
Algoritmo para encontrar una solucin.
Sea la ecuacin diofntica ax + by = n. En primer lugar se calcula el mcd(a, b) mediante el algoritmo
de Euclides:
a = bq
1
+ r
1
b = r
1
q
2
+ r
2
.
.
.
r
t2
= r
t1
q
t
+ r
t
r
t1
= r
t
q
t+1
donde r
t
= mcd(a, b) = d. Por tanto despejando de la penltima ecuacin se tiene:
r
t2
r
t1
q
t
= d
y substituyendo el valor de r
t1
de la ecuacin anterior a sta, se obtiene:
r
t2
(r
t3
r
t2
q
t1
)q
t
= d
que es equivalente a:
r
t3
q
t
+ r
t2
(1 + q
t
q
t1
) = d.
Siguiendo este proceso de substitucin ascendiendo por las igualdades, se obtiene
aq
1
+ bq
2
= d
1
Ecuaciones Diofnticas
o
donde q
1
, q
2
son expresiones en funcin de q
1
, , q
t
. Por tanto, una solucin de la ecuacin diofntica es:
x
0
=
nq
1
d
, y
0
=
nq
2
d
.
Ejemplo 1.1. Se quiere encontrar una solucin entera de la ecuacin diofntica:
525x + 100y = 50.
En primer lugar observamos que mediante el algoritmo de Euclides:
525 = 100 5 + 25
100 = 4 25
por tanto mcd(525, 100) = 25 y adems como 25 | 50, se tiene que la ecuacin diofntica tiene soluciones enteras.
Despejando de la primera ecuacin se tiene:
525 + (5)100 = 25
y en este caso obtenemos:
x
0
=
1 50
25
= 2, y
0
=
5 50
25
= 10
que es una solucin entera de la ecuacin diofntica.
Proposicin 1.1. Sean a, b y n Z. Si x
0
, y
0
es una solucin particular de la ecuacin diofntica ax+by = n,
entonces todas las soluciones enteras de la ecuacin son de la forma
x = x
0
+ (b/d)t, y = y
0
(a/d)t, t Z
donde d = mcd(a, b).
Demostracin. Para los detalles sobre la demostracin ver [3] Proposicin 2.2.6.
Ejemplo 1.2. Se quiere encontrar las soluciones enteras de la ecuacin diofntica del ejemplo anterior:
20x + 50y = 430.
Sabemos que x
0
= 2 y
0
= 10 es una solucin particular, por tanto aplicando la proposicin anterior se tiene
que todas las soluciones son de la forma:
x = 2+(100/25)t = 2+4t, y = 10(525/25)t = 1021t, t Z.
Ejercicio 1. Nos preguntamos si ser posible llenar exactamente un depsito de 25 litros con recipientes de 6
y 8 litros.
A continuacin se estudia la resolucin en Z de las ecuaciones diofnticas de la forma x
2
y
2
= n.
2
o
Teorema 1.2. La ecuacin diofntica x
2
y
2
= n con n > 0, tiene solucin n se puede factorizar como
producto de dos nmeros de la misma paridad, es decir ambos pares o ambos impares. Si existen, las soluciones
son de la forma:
x =
a + b
2
, y =
a b
2
donde a y b recorren todos los pares de nmeros de la misma paridad y tales que n = ab.
Demostracin. Para los detalles sobre la demostracin ver [1] Teorema 1-4.7.
Ejemplo 1.3. Encontrar todas las soluciones positivas de x
2
y
2
= 40.
Como 40 = 2
3
5, se tiene que 40 puede expresarse como el producto de dos nmeros de la misma paridad como
40 = 10 4 = 20 2. Por tanto, si a = 10 y b = 4 se tiene
x =
14
2
= 7, y =
6
2
= 3
y si a = 20 y b = 2 se tiene
x =
22
2
= 11, y =
18
2
= 9.
Por tanto, las soluciones buscadas son {7, 3} y {11, 9}.
Como aplicacin del resultado anterior, Fermat estableci un algoritmo para estudiar si un nmero
natural impar es compuesto.
Algoritmo de factorizacin de Fermat.
Sea n un nmero natural impar, esto es n = a b con a y b impares. Por el Teorema 1.2 se puede expresar:
(
a + b
2
)
2
(
a b
2
)
2
= n.
Por tanto, el problema se traduce en resolver la ecuacin: x
2
y
2
= n o equivalentemente, x
2
n = y
2
. Para ello,
primero se determina el mnimo entero positivo q que satisfaga q
2
n y estudiamos si alguno de los siguientes
nmeros:
q
2
n, (q + 1)
2
n, (q + 2)
2
n,
es un cuadrado. Obsrvese que este proceso es nito pues:
(
n + 1
2
)
2
n = (
n 1
2
)
2
.
De todo ello se deduce que los nicos valores que hay que estudiar son los m tales que:
q m
n + 1
2
.
Concluyendo, que si para ninguno de estos valores de m, el valor de m
2
n es un cuadrado, entonces el nmero
n es primo.
3
La ecuacin diofantica
o
Ejemplo 1.4. Veamos si el nmero 22733 es un nmero compuesto. En primer lugar se obtiene que el menor q
tal que q
2
22733 es q = 151. Por tanto, habr que estudiar si alguno de los nmeros m comprendidos entre:
151 m
(22733 + 1)
2
= 11367.
verican si m
2
22733 es un cuadrado.
151
2
22733 = 22801 22733 = 68
152
2
22733 = 23104 22733 = 371
153
2
22733 = 23409 22733 = 676 = 26
2
.
De donde se concluye que 22733 = 179 127.
Analizamos ahora la ecuacin diofntica de la forma:
x
2
+ y
2
= z
2
con x, y, z Z, tambin llamada ecuacin pitagrica. Obsrvese que este problema es equivalente a encontrar
todos los tringulos rectngulos con lados de longitud entera.
Teorema 1.3. Las soluciones de la ecuacin pitagrica x
2
+ y
2
= z
2
que satisfacen las condiciones:
mcd(x, y, z) = 1, 2 | x, x, y, z Z
vienen dadas por las frmulas:
x = 2st, y = s
2
t
2
, z = s
2
+ t
2
para s, t con s > t tales que mcd(s, t) = 1 y s y t tienen distinta paridad.
Demostracin. Para los detalles sobre la demostracin ver [1] Teorema 1-4.11.
Conjetura de Fermat. La ecuacin x
n
+ y
n
= z
n
no tiene soluciones con x, y, z N cuando n 3.
Desde mediados del siglo XVII la conjetura de Fermat ha constituido un problema del que se han ocupado
numerosos matemticos, algunos de gran renombre como por ejemplo Euler, Gauss, Legendre, Cauchy, Lam
o Dirichlet y se propusieron premios para quien demostrase su veracidad, o falsedad. En 1995 Andrew Wiles
demostr un resultado, con un pequeo error detectado por Richard Taylor, mediante el que la conjetura de
Fermat quedaba demostrada.
2. Congruencias
Denicin 2.1. Si m es un nmero entero positivo, se dice que dos nmeros enteros a, b son congruentes
mdulo m si existe k Z tal que a b = km. Simblicamente se denota a b mod(m).
4
Congruencias
o
Observacin 2.1. Siguiendo la denicin anterior se tiene que
a b mod(m) m | (a b).
El lenguaje de congruencias fue introducido por K. Gauss a los 24 aos en su libro Disquisitiones
Arithmeticae, y hoy seguimos utilizndolo en la vida cotidiana. La esfera de un reloj funciona con congruencias
mdulo 12, los cuentakilmetros de los coches lo hacen mdulo 100000 y los meses se representan mdulo 12.
Ejemplo 2.1.
0 8 mod(4)
6 4 mod(2)
18 3 mod(5)
Proposicin 2.1. La relacin de congruencia mdulo m en Z, es de equivalencia y divide a Z en clases de
equivalencia de manera que dos diferentes de ellas son disjuntas.
Proposicin 2.2. Fijado m > 0, cada nmero entero a Z es congruente mdulo m con uno de los enteros
0, 1, 2 , m1.
Demostracin. Dividiendo a entre m, se tiene que existen q y r nicos tales que a = qm + r con 0 r < m.
De donde se deduce que a r mod(m).
Observacin 2.2. La congruencia mdulo m divide a Z en m clases de equivalencia que son [0],[1],[2], .., [m1],
cuyo conjunto cociente viene dado por
Z
m
= {[0], [1], , [m1]}
Ejemplo 2.2. Las clases de equivalencia en Z mdulo 3 son [0],[1], y [2]:
[0] = {a Z \ a 0 mod(3)} = {a Z \ a = k 3, k Z} = { , 6, 3, 0, 3, 6, }
De forma anloga:
[1] = {a Z \ a 1 mod(3)} = {a Z \ a = 1 + k 3, k Z} = { , 5, 2, 1, 4, 7, }
[2] = {a Z \ a 2 mod(3)} = {a Z \ a = 1 + k 3, k Z} = { , 4, 1, 2, 5, 8, }
Teorema 2.1. Sea m entero positivo y a, a
, b, b
Z.
a) Si a a
mod(m) y b b
mod(m) entonces a + b a
+ b
mod(m).
b) Si a a
mod(m) y b b
mod(m) entonces ab a
mod(m).
5
o
c) Si a a
mod(m) y h = 0 nmero entero, entonces ah a
h mod(m).
d) Si h | a, h | a
, mcd(h, m) = 1 y a a
mod(m), entonces
a
h

a
h
mod(m).
Demostracin. Se deja como ejercicio al lector.
Ejemplo 2.3. Como 9 1 mod(8), aplicando c) del teorema anterior se tiene que
9 9 1 9 mod(8) 1 mod(8)
as sucesivamente
3
400
= (3
2
)
200
1
200
mod(8) 1 mod(8).
Las congruencias tienen varias aplicaciones en matemticas, una de ellas es la obtencin de los criterios
de divisibilidad que se estudiarn en la siguiente seccin. Otra aplicacin de las congruencias es el siguiente
resultado.
Teorema 2.2. El Teorema Pequeo de Fermat. Sea p un nmero primo y a un nmero natural tal que p no
divide a a. Entonces, a
p1
1 mod(p).
Demostracin. Para los detalles sobre la demostracin ver [3] Teorema 2.4.7.
Proposicin 2.3. Sea a b mod(m
1
), a b mod(m
2
), , a b mod(m
k
) donde a y b son nmeros enteros
y m
1
, m
2
, , m
k
son enteros positivos. Entonces
a b mod(m.c.m(m
1
, m
2
, , m
k
)).
Corolario 2.1. Sea a b mod(m
1
), a b mod(m
2
), , a b mod(m
k
) donde a y b son nmeros enteros
y m
1
, m
2
, , m
k
son enteros positivos primos dos a dos. Entonces
a b mod(m
1
m
2
m
k
).
Clculo del Inverso en Z
p
.
Todo elemento [a] Z
p
tiene su opuesto respecto a la suma, [p a], y si p es primo, y [a] = [0] , tiene inverso
multiplicativo y es nico. A continuacin, se exponen dos mtodos distintos para calcular el elemento inverso.
El primero se basa en el Teorema Pequeo de Fermat anteriormente estudiado y que escribimos de la
forma:
[a]
p1
= [1].
6
o
Esto es:
[a]
p2
[a] = [a]
p1
= [1] [a]
1
= [a]
p2
.
El segundo mtodo se basa en el Teorema de Bezout (vase Teorema 5.1.1 en [9]) que arma que dados
a, b Z no nulos, existen u, v Z tales que ua +vb = mcd(a, b). Por tanto, si [a] Z
p
, con 0 < a < p 1
entonces existen u, v Z tales que ua+vp = 1. Tomando clases de equivalencia se tiene: [u][a] = [1] [p] =
[1], de donde se deduce que:
[a]
1
= [u].
Computacionalmente, el segundo mtodo es ms apropiado que el primero, la idea bsica para calcular [a]
1
= [u]
es seguir el proceso explicado en la seccin 1 en el algoritmo para encontrar una solucin de una ecuacin
diofntica, utilizando el algoritmo de Euclides. (Ver Capitulo 4 en [9]). Ntese que es equivalente a encontrar
una solucin de la ecuacin diofntica ax + py = 1.
Ejemplo 2.4. Calcular el inverso de [7] en Z
31
. Aplicando el algoritmo de Euclides de la divisin se tiene:
31 = 4 7 + 3
7 = 2 3 + 1
Despejando los restos de las dos igualdades se tiene:
31 4 7 = 3
7 2 3 = 1
Ahora substituyendo el valor del resto de la primera en la segunda igualdad se tiene:
1 = 7 2 3 = 7 2 (31 4 7) = 9 7 2 31.
De donde se deduce que el inverso es [7]
1
= [9].
7
o
Ecuaciones con congruencias.
Se considera la ecuacin ax b mod(m) con a, b nmeros enteros y m entero positivo. Esta ecuacin
se satisface cuando existe y Z tal que:
ax b = ym.
Es decir, si (x, y) es una solucin de la ecuacin diofntica ax b = ym, x es una solucin de ax b mod(m).
Ejemplo 2.5. Queremos encontrar las soluciones enteras de 4x 2 mod(6). Si x es una solucin entera
de esta ecuacin, existe un nmero entero y tal que 4x 2 = 6y, esto es 4x 6y = 2. Ahora bien, como
mcd(4, 6) = 2 divide a 2, por el Teorema 1.1 se tiene que la ecuacin diofntica tiene solucin entera. Adems,
por la Proposicin 1.1, la ecuacin tiene innitas soluciones que pueden expresarse de la forma:
x = x
0
+ (b/2)t, y = y
0
(a/2)t, t Z
siendo (x
0
, y
0
) una solucin particular. Por ello, en primer lugar calculamos (x
0
, y
0
) utilizando el algoritmo de
Euclides. Obsrvese que como 6 = 1 4 + 2 se tiene despejando que (1) 4 (1) 6 = 2, de donde se deduce
que x
0
= 1, y
0
= 1 es una solucin particular. Por tanto, las soluciones de 4x 2 mod(6) son de la forma
x = 1 3t, t Z. Ntese que todas estas soluciones pertenecen slo a dos clases de equivalencia: si t es par
x 1 mod(6) y si t es impar x 2 mod(6).
Teorema 2.3. Sean a y b dos nmeros enteros y m un entero positivo con mcd(a, m) = d. Si d no divide a b,
la ecuacin ax b mod(m) no tiene solucin. Si d divide a b, la ecuacin ax b mod(m) tiene exactamente
d soluciones no congruentes entre s mdulo m.
Observacin 2.4. Las d soluciones no congruentes entre s mdulo m a las que se reere el Teorema anterior
se pueden expresar de la forma:
x = x
0
(m/d)n, n = 0, 1, 2, 3, , d 1.
Un antiguo problema Chino.
Encontrar un nmero que dividido entre 3 d como resto 1, dividido entre 5 d como resto 2 y que dividido entre
7 d como resto 3.
Esto es, se trata de resolver el sistema:
x 1 mod(3)
x 2 mod(5)
x 3 mod(7).
Este tipo de problemas, han dado lugar al siguiente teorema.
8
o
Teorema 2.4. El Teorema de los Restos Chinos. Sun Tsu, siglo I. Sean m
1
, m
2
, m
s
enteros primos entre s.
Entonces el sistema de congruencias:
x a
1
mod(m
1
)
x a
2
mod(m
2
)
.
.
.
x a
s
mod(m
s
).
tiene una nica solucin entera en cada uno de los intervalos
[u, u + m
1
m
s
) con u Z.
Demostracin. Para los detalles sobre la demostracin ver [9] Captulo 4, Seccin 4.3.1.
Observacin 2.5. De la demostracin se deduce que si k = j entonces mcd(m
k
, m
j
) = 1 y por el Teorema
de Bezout se tiene que existen enteros u
k,j
, u
j,k
tales que u
k,j
m
k
+ u
j,k
m
j
= 1, y por tanto la solucin
mencionada es de la forma:
a = a
1
(u
2,1
m
2
u
s,1
m
s
) + a
2
(u
1,2
m
1
u
3,2
m
3
u
s,2
m
s
) + + a
s
(u
1,s
m
1
u
s1,s
m
s1
).
Para resolver un sistema con ms de dos ecuaciones de congruencias se procede como sigue: primero se
resuelve el sistema formado por las dos primeras
x a
1
mod(m
1
)
x a
2
mod(m
2
)
en cada [u, u+m
1
m
2
) y denotemos por A la solucin encontrada. A continuacin se resuelve, de la misma
forma, el sistema
x A mod(m
1
m
2
)
x a
3
mod(m
3
)
en cada [u, u+m
1
m
2
m
3
). Finalmente, se repite el proceso hasta terminar con las ecuaciones del sistema
inicial. (Para ms detalle ver [9], Captulo 4, Seccin 4.3.1.)
Ejemplo 2.6. Resolver el sistema:
x 1 mod(3)
x 2 mod(5)
x 3 mod(7).
En primer lugar se resuelve el sistema formado por las dos primera ecuaciones:
x 1 mod(3)
x 2 mod(5)
9
o
En este caso m
1
= 3 y m
2
= 5, y aplicando el algoritmo de Euclides se tiene que el sistema:
5 = 1 3 + 2
3 = 1 2 + 1
tiene solucin nica en [0, 0 + 3 5) = [0, 15). Para calcular esta solucin, despejamos los restos en las dos
igualdades
5 1 3 = 2
3 1 2 = 1.
Ahora, substituyendo r
1
= 2 en la segunda igualdad se tiene 2 3 1 5 = 1, y por tanto u = 2 y v = 1.
Siguiendo la observacin anterior se tiene que la solucin es de la forma
a = a
1
vm
2
+ a
2
um
1
= 1 (1) 5 + 2 2 3 = 7.
A continuacin, se resuelve el sistema de congruencias:
x 7 mod(15)
x 3 mod(7).
Siguiendo el mismo procedimiento encontramos la solucin en el intervalo [0, 0 + 15 7) = [0, 105):
15 = 7 2 + 1.
de donde se deduce que 15 7 2 = 1 y por tanto u = 1 y v = 2. Por tanto, la solucin es
a = a
1
vm
2
+ a
2
um
1
= 7 (2) 7 + 3 1 15 = 53.
Obsrvese que como la solucin ha de estar en [0, 105), se tiene que la solucin es 105 58 = 52. Comprubese
que efectivamente x = 52 es una solucin del problema inicial.
En Maple podemos utilizar el comando chrem(L1,L2) con L1 := [a
1
, , a
s
] y L2 := [m
1
, , m
s
],
calcula la solucin nica del sistema de congruencias en el intervalo [0, m
1
m
s
). Veamos un ejemplo en Maple.
>
chrem([1,2,3],[3,5,7]);
>
52
3. Sistemas de Numeracin y criterios de divisibilidad
El sistema de numeracin utilizado habitualmente para escribir nmeros enteros agrupa de 10 en 10
unidades de un orden para formar una unidad de un orden superior. Por ejemplo, el nmero 3501213 se puede
escribir como potencias de 10 de la forma
3501213 = 3 10
6
+ 5 10
5
+ 0 10
4
+ 1 10
3
+ 2 10
2
+ 1 10
1
+ 3 10
0
10
o
Histricamente se han utilizado otros sistemas de numeracin, as la forma de contabilizar las horas en el reloj
es una consecuencia del sistema de potencias de 60 usado en la antigedad. En la actualidad los ordenadores
utilizan sistemas de numeracin de potencias de 2, por ejemplo 16, o 32.
Un nmero entero cualquiera se puede representar como una combinacin lineal de potencias de un
nmero natural (T
a
. 3.1), por ejemplo 21 en potencias de 2 es 1 2
4
+0 2
3
+1 2
2
+0 2 +1 2
0
y en potencias
de 5 es 4 5 + 1.
Observacin 3.1. En general, dado un nmero natural b y si el nmero n se puede representar en combinaciones
lineales de potencias de b como n = a
k
b
k
+ a
k1
b
k1
+ . . . + a
1
b + a
0
b
0
=
k
i=0
a
i
b
i
, escribiremos
n = (a
k
a
k1
. . . a
1
a
0
)
b
.
Si el nmero b es mayor que 9 los smbolos para valores superiores a 9 se representan por letras maysculas
A para 10, B para 11, C para 12 y as sucesivamente, con lo que (A2C3)
16
= 10 16
3
+2 16
2
+12 16+3 = 41667.
Teorema 3.1. Sea un nmero natural, b, jo al que llamaremos base. Entonces, para cualquier nmero entero
n existen a
k
, . . . , a
0
Z, con 0 a
i
< b i = 0, . . . , k tal que n = a
k
b
k
+ . . . + a
0
b
0
.
Demostracin. Sin prdida de generalidad supondremos que n es positivo. Por el algoritmo de la divisin
n = c
1
b + a
0
, con 0 a
0
< b. Aplicando otra vez el mismo algoritmo c
1
= c
2
b + a
1
, con 0 a
1
< b.
Continuando con el proceso obtenemos una secuencia n > c
1
> . . .. Puesto que todo subconjunto no vaco de
nmeros naturales tiene un elemento menor que los dems (Principio de la Buena Ordenacin) existe un primer
elemento c
k
= 0, tal que c
k
= 0 b + a
k
, con 0 a
k
< b. Entonces,
n = c
1
b + a
0
= (c
2
b + a
1
) b + a
0
= c
2
b
2
+ a
1
b + a
0
= (c
3
b + a
2
) b
2
+ a
1
b + a
0
=
= c
3
b
3
+ a
2
b
2
+ a
1
b + a
0
= . . . = a
k
b
k
+ . . . + a
2
b
2
+ a
1
b + a
0
Supongamos n = a
k
b
k
+. . . +a
1
b +a
0
=
k
b
k
+. . . +
1
b +
0
, sin prdida de generalidad podemos
suponer que el nmero de sumandos es el mismo, ya que en otro caso se completa con trminos nulos. Restando
ambas expresiones obtenemos
0 = (a
k

k
) b
k
+ . . . + (a
1

1
) b + a
0

0

0
a
0
= (a
k

k
) b
k
+ . . . + (a
1

1
) b
b divide a todos los trminos del miembro de la dcha. de la ltima igualdad por lo que debe dividir a
0
a
0
,
es decir b|
0
a
0
, y puesto que 0 |
0
a
0
| < b, se debe cumplir que
0
a
0
= 0, por lo que
0
= a
0
.
Reordenando la ltima expresin, dividiendo por b y repitiendo el proceso obtenemos a
i
=
i
para todos los
i = 0, 1, . . . , k.
El teorema previo nos asegura que dada cualquier base, b,todo nmero entero positivo admite una
representacin nica como combinacin lineal de potencias de b, donde los coecientes son todos inferiores a b.
11
o
Ejemplo 3.1.
1. Para escribir el nmero 1864 en base 13, dividimos sucesivamente por 13 y consideramos los restos,
1864 = 11 13
2
+ 0 13 + 5 = (C05)
13
2. Para resolver la ecuacin (225)
7
= (x)
4
consideramos el nmero en base 10 y, despus expresamos el
resultado en base 4.
(225)
7
= 2 7
2
+ 2 7 + 5 = 117 = 4
3
+ 3 4
2
+ 4 + 1 = (1311)
4
x = 1311
Corolario 3.1. Sea n un nmero entero y b un nmero natural. El nmero n =
i=0
a
i
10
i
es divisible por
b
i=0
a
i
r
i
es divisible por b, siendo r
i
el resto de dividir 10
i
por b (10
i
r
i
mod (b)). Otra forma de
expresarlo es diciendo que
i=0
a
i
r
i
es congruente con 0 mod (b)
Demostracin. Supondremos que n es positivo y que su representacin en base 10 es
n = a
k
10
k
+ a
k1
10
k1
+ . . . + a
1
10 + a
0
=
k
i=0
a
i
10
i
, con 0 a
i
< 10 i = 0, . . . , k
Si r
i
el resto de dividir 10
i
por b, para i = 0, . . . , k, se tiene que 10
0
r
0
mod (b) 1 mod (b);
10
1
r
1
mod (b), . . . , 10
k
r
k
mod (b). Entonces, utilizando que
a b mod (m) a b mod (m) y a b mod (m) y c d mod (m) (a+c) (b+d) mod (m)
se tiene
n =
k
i=0
a
i
10
i
i=0
a
i
r
i
mod (b)
i=0
a
i
r
i
mod (b)
Entonces, n es divisible por b n 0 mod (b)
k
i=0
a
i
r
i
es divisible por b.
Ejemplo 3.2. En los dos siguientes ejemplos obtendremos criterios particulares para divisin por 3 y 7.
1. Puesto que 10
1
1 mod (3) 10
h
1
h
mod (3). Entonces,
n =
k
i=0
a
i
10
i
es divisible por b a
0
1 + . . . + a
k
1 es divisible por b
Es decir, un nmero entero es divisible por 3 si la suma de sus dgitos es divisible por 3.
2. Para establecer el criterio de divisibilidad por 7 ntese que:
1 1 mod (7); 10
3
6 mod (7) 1 mod (7)
10 3 mod (7); 10
4
4 mod (7) 3 mod (7)
10
2
2 mod (7); 10
5
5 mod (7) 2 mod (7)
12
o
Adems, 10
6
1 mod (7), por lo que para un valor k > 6 cualquiera se verica
10
k
= 10
6l+r
, con 0 r < 6 10
k
1 10
r
mod (7)
con lo que se van repitiendo en el mismo orden los restos. As, el criterio de divisibilidad por 7 es
n
k
i=0
a
i
10
i
es divisible por 7 a
0
+ 3a
1
+ 2a
2
a
3
3a
4
2a
5
+ . . . es divisible por 7
Si dado un entero positivo b y consideramos el vector V

b
= (l
0
, l
1
, . . . , l
n
, . . .), llamado adjunto de b,
formado por los enteros ms prximos a cero que es solucin de x 10
n
mod (b), con n N, el criterio general
de divisibilidad podemos expresarle como
n =
k
i=0
a
i
10
i
es divisible por b a
0
l
0
+ . . . + a
k
l
k
es divisible por b V
n
V

b
es divisible por b
siendo V
n
= (a
0
, a
1
, . . . , a
n
, 0, . . .).
A la vista de los casos anteriores V

3
= (1, 1, . . .) = (
1), donde

1 signica que 1 se repite indenidamente
(es el periodo de 3). Se puede demostrar que todo nmero entero positivo tiene vector adjunto peridico, y, en
particular V

7
= (1, 3, 2, 1, 3, 2).
13

EcuacionesDiofánticasCongruenciasDivisibilidad

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

EcuacionesDiofánticasCongruenciasDivisibilidad

Загружено:

Авторское право:

Доступные форматы

Tema 3: Ecuaciones diofnticas, congruencias y criterios de

mod(m) y h = 0 nmero entero, entonces ah a

Вам также может понравиться