Arriba
La Teora de Nmeros es la parte de la Matemtica que trata de los nmeros enteros y sus
propiedades. Estudia la divisibilidad y la congruencia de nmeros enteros, los nmeros primos y
su distribucin, las operaciones algebraicas entre ellos y las soluciones enteras de ecuaciones
diofnticas. Se designar a los conjuntos de nmeros naturales y enteros por N y Z
respectivamente.
N = {1, 2, 3, 4, 5, ...}
Z = {..., -4, -3, -2, -1, 0, 1, 2, 3, 4, ...}
Sean a y b dos nmeros enteros. A partir de las operaciones suma (a + b) y producto (a . b), es
fcil definir las siguientes operaciones:
a.0=0
a . (-b) = -a . b
Si a # 0 y a . b = a . c, entonces b = c
Si a # 0 y a | b, entonces a | b . x
Sean a # 0 y b # 0, si a | b y b | c, entonces a | c
Sea a # 0, si a | b y a | c, entonces a | (b . x + c . y)
Sean a y b positivos, si a | b, entonces a <= b
Sean a # 0 y b # 0, si a | b y b | a, entonces a = b o a = -b
Valor absoluto
Llamaremos valor absoluto a la aplicacin | | : Z -> Z, tal que todo nmero entero tiene imagen
mediante | | y esta imagen es nica. Queda definida por:
Algoritmo de la Divisin
a=b.q+r
con 0 <= r < |b|. Adems q y r son nicos. A los nmeros a, b, q y r se les llama respectivamente
dividendo, divisor, cociente y resto.
Mdulo
Sean a y b nmeros enteros con b # 0. Sea a = b . q + r donde 0 <= r < |b|. Definimos el operador
mdulo MOD por:
a MOD b = r
(a + b) MOD m = (c + d) MOD m
(a . b) MOD m = (c . d) MOD m
m.c.d.(a, b) = d
Algoritmo de Euclides
a = b . q1 + r1
b = r1 . q2 + r2
r1 = r2 . q3 + r3
...
[ Clculo del mximo comn divisor de dos nmeros mediante el Algoritmo de Euclides ]
Dado un nmero entero p > 1, diremos que p es un nmero primo si 1 y p son los nicos divisores
positivos de p. Un entero a > 1 que no es primo le denominaremos nmero compuesto. Dos
nmeros, a y b, son primos entre s, si se tiene que m.c.d.(a, b) = 1.
Lema de Euclides
Sea n un nmero mayor que 1. Entonces existen nmeros primos p1, ... , pr tales que:
n = p1 . p2 . ... . pr
Teoremas
Sean a y b dos nmeros enteros. Llamaremos mnimo comn mltiplo de a y b al menor entero
positivo que sea mltiplo de ambos. Lo designaremos por m.c.m.(a, b). Sean a y b enteros no
nulos, entonces:
|a . b| = [ m.c.d.(a, b) ] . [ m.c.m.(a, b) ]
En las Matemticas aparecen muchos problemas que tienen la siguiente forma general:
Sea S un conjunto de nmeros naturales que satisface las dos condiciones siguientes:
El nmero 1 pertenece a S.
Para cada nmero k >= 1, si k pertenece a S entonces k + 1 tambin pertenece a S.
1 pertenece a S.
Para cada entero n > 1, si k pertenece a S para todo entero k tal que 1 <= k < n
entonces n pertenece a S.
Entonces S = N.
Ecuaciones cuadrticas
La ecuacin diofntica x2 - y2 = n con n > 0, tiene solucin si y slo si n se puede factorizar como
producto de dos nmeros de la misma paridad, es decir, ambos pares o ambos impares. Si
existen, las soluciones de esta ecuacin tienen la forma:
x=a +b /2
y=a -b /2
donde x + y = a y x - y = b.
Ecuaciones pitagricas
Tema 5 : CONGRUENCIAS
Sea m > 0. Dados a y b enteros se dice que a y b son congruentes mdulo m si a - b es divisible
por m. Simblicamente esta relacin se escribe:
a = b md (m)
si y slo si m | (a - b). Fijado m > 0, cada nmero entero a es congruente con uno de los enteros 0,
1, 2, ... , m - 1. Entonces a = r md (m), el nmero r se denomina menor resduo no negativo de a
mdulo m, que no es otra cosa que a MOD m = r.
Teoremas
Teorema de Wilson
n = ( ak ak-1 ... a1 a0 )b
Cuando la base es mayor que 10, se necesitan nuevos smbolos. Usualmente se utilizan las letras
del alfabeto. As A = 10, B = 11, etc.
i [ 0 ... t ] en ai . ri = 0 md (k)
PROBLEMAS
Clculo del mximo comn divisor de dos nmeros mediante el Algoritmo de Euclides de
la divisin
Se procede con la divisin de tal forma que cumpla a = b . q + r donde q = a DIV b y r = a MOD b.
A continuacin, si el resto es distinto de cero, se toma en la siguiente divisin: a = b y b = r, es
decir, el divisor y el resto de la divisin anterior. Cuando se llegue a una expresin con el resto
igual a cero, el trmino b ser el mximo comn divisor.
m.c.d.(1312, 800) = d
1312 = 800 . 1 + 512
800 = 512 . 1 + 288
512 = 288 . 1 + 224
288 = 224 . 1 + 64
224 = 64 . 3 + 32
64 = 32 . 2 + 0
d = 32
Se calcula el mximo comn divisor de los coeficientes por el Algoritmo de Euclides de la divisin
y se sitan los restos desde el ltimo hasta el primero que sean distintos de cero:
r=a-b.q
d = m.c.d.(a, b) = ax + by
d = 322x + 406y
m.c.d.(322, 406)
322 = 406 . 0 + 322
406 = 322 . 1 + 84
322 = 84 . 3 + 70
84 = 70 . 1 + 14
70 = 14 . 5 + 0
1 Resto: 14 = 84 - 1 . 70
2 Resto: 70 = 322 - 3 . 84
3 Resto: 84 = 406 - 1 . 322
4 Resto: 322 = 322 - 0 . 406
Se toma el 1 Resto: 14 = 84 - 1 . 70
Se sustituye 70: 14 = 84 - 1 . (322 - 3 . 84) = -322 + 4 . 84
Se sustituye 84: 14 = -322 + 4 . (406 - 1 . 322) = -5 . 322 + 406 . 4
Se sustituye 322: 14 = -5 . (322 - 0 . 406) + 4 . 406 = -5 . 322 + 4 . 406
x = -5 | y = 4
La criba de Eraststenes dice que un nmero es primo si no es divisible por otro primo menor
que la raz cuadrada entera del primero. Primero se desarrolla la criba y a continuacin se divide
el nmero por cada uno de los primos contenidos en la criba.
n = 811
p < Raz( 811 ) = 29
Criba: 2, 3, 5, 7, 11, 13, 17, 19, 23 = i
Divisin: 29 MOD i # 0
811 s es primo
Sea S el conjunto de los valores. Segn dicho principio, la propiedad se debe cumplir para el
elemento 1 y para cualquier elemento k + 1 dado un k. Se presentan dos expresiones separadas
con el signo igual, donde se les aade un trmino k + 1 a ambas y se resuelve por la segunda
expresin.
28x + 36y = 44
28 = 36 . 0 + 28 => 3 Resto: 28 = 28 - 0 . 36
36 = 28 . 1 + 8 => 2 Resto: 8 = 36 - 1 . 28
28 = 8 . 3 + 4 => 1 Resto: 4 = 28 - 3 . 8
8 = 4 . 2 + 0 => Ultima divisin
m.c.d.(28, 36) = 4
Como 4 divide a 44 (44 / 4 = 11), la ecuacin tiene solucin 28a' + 36b' = 4
Se toma el 1 Resto: 4 = 28 - 3 . 8
Se sustituye 8: 4 = 28 - 3 . (36 - 1 . 28) = 4 . 28 + (-3) . 36
Se sustituye 28: 4 = 4 . (28 - 0 . 36) + (-3) . 36 = 4 . 28 + (-3) . 36
a' = 4 | b' = -3
Una solucin sera: x0 = 44 . 4 / 4 = 44 , y0 = 44 . (-3) / 4 = -33
Y la solucin general: { 44 + 36t / 4 , -33 - 28t / 4 } = { 44 + 9t , -33 - 7t }
[ q2 ... n + 1 / 2 )
n = 22733
q >= Raz( 22733 ) = 151
El intervalo ser: [ 1512 ... 22733 + 1 / 2 ) = [ 1512 ... 11367 ) = 151 <= q < 11367
1512 - 22733 = 22801 - 22733 = 68 no es cuadrado
1522 - 22733 = 23104 - 22733 = 371 no es cuadrado
1532 - 22733 = 23409 - 22733 = 676 = 262 s es cuadrado
x = 153 | y = 26
a = 153 + 26 = 179
b = 153 - 26 = 127
22733 = 179 . 127 s es compuesto
La ecuacin tiene solucin si n se puede factorizar como producto de dos nmeros de la misma
paridad. Las soluciones tendrn la forma: x = a + b / 2 , y = a - b / 2 donde n = a . b , a = x + y y b =
x - y. Primero se averiguan todos los factores primos y se divide el nmero entre cada uno de
ellos. Se toman aquellas parejas con la misma paridad. Se aplican las frmulas anteriores y se
obtienen todas las soluciones, para a >= b.
x2 - y2 = 120
120 = 2 . 2 . 2 . 3 . 5 = 23 . 3 . 5
120 = 60 . 2 = 30 . 4 = 20 . 6 = 12 . 10 = 10 . 12 = 6 . 20 = 4 . 30 = 2 . 60
Se toman todas las parejas en las que a >= b
a
60
b
2
x=a +b /2
31
y=a -b /2
29
30
20
4
6
17
13
13
7
12
10
11
2x = 6 md (10)
Ecuacin diofntica: 2x + 10k = 6
m.c.d.(2, 10) = 2
Se comprueba que 2 divide a 6
a' = 6 - 10 / 2 = -4
x0 = 6 . (-4) / 2 = -12
x = -12 - 10t / 2 = -12 - 5t
Una solucin positiva es t = -3: x = -12 - 5 . (-3) = -12 + 15 = 3
La solucin general es: x = 3 + 5k
Se comprueba que los mdulos sean primos, es decir, que el mximo comn divisor entre ellos
sea uno. Si se cumple, la ecuacin tendr la forma: ax = bi md (mi) donde las soluciones xi sern
igual a bi. Se hace el producto de los mdulos y se divide entre cada uno de ellos: mi = m ,
donde ti = m / mi. Tendremos un nuevo sistema de ecuaciones con la forma general: tiyi = 1 md
(mi). Se averiguan las respectivas yi y se procede a averiguar el valor buscado: x0 = suma de i [ 1
... n ] de xi . ti . yi .La ecuacin general ser: x = x0 + mk.
x = 2 md (5)
2x = 1 md (7)
3x = 4 md (11)
m.c.d.(5, 7) = 1 || m.c.d.(7, 11) = 1 || m.c.d.(5, 11) = 1
x1 = 2 || x2 = 1 || x3 = 4 || m = 5 . 7 . 11 = 385
77y1 = 1 md (5)
55y2 = 1 md (7)
35y3 = 1 md (11)
-75y1 = 0 md (5)
-49y2 = 0 md (7)
-33y3 = 0 md (11)
2y1 = 1 md (5)
6y2 = 1 md (7)
2y3 = 1 md (11)
y1 = 3 || y2 = 6 || y3 = 6
El valor buscado es: x0 = 2 . 77 . 3 + 1 . 55 . 6 + 4 . 35 . 6 = 462 + 330 + 840 = 1632
La ecuacin general ser: x = 1632 + 385k
Hallar el resto de dividir una potencia entre un nmero por el pequeo Teorema de Fermat
desglosa el exponente de la potencia como una divisin entre p - 1 y se toma el resto como r1.
Quedara: n = (p - 1) . q + r1 || an = a(p-1).q . ar1 .Se halla el resto de la base sin exponente y se
aplica en la siguiente frmula a r2: a = y md (p) || ap-1 = yp-1 md (p) = r2 md (p). Por ltimo,
sabiendo que x = r1 + r2, se aplica: an = x md (p).
x = 11334291 MOD 7
11334291 = x md (7)
Se comprueba que 7 es primo y no divide a 113
Como (p - 1) = 6: 34291 = 6 . 5715 + 1
11334291 = 1136.5715 + 113
113 = 1 md (7) || 1136 = 16 md (7) = 1 md (7)
11334291 = (1 + 1) md (7) = 2 md (7)
x=2
Resolver una ecuacin mediante un cambio de base y efectuar la suma con otro nmero
de la misma base