Professional Documents
Culture Documents
1. NUMEROS ENTEROS
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 difunticas. Se designar a
los conjuntos de nmeros naturales y enteros por N y Z respectivamente
tambin Los nmeros enteros son el ingrediente principal en teora de
nmeros. En esta seccin, establecemos brevemente la notacin y el
significado de algunos smbolos que se relacionan con los enteros y que sern
de amplio uso en el texto. Adems se establecen algunos principios que se
usan ampliamente en los argumentos.
N = {1, 2, 3, 4, 5, ...}
Z = {..., -4, -3, -2, -1, 0, 1, 2, 3, 4, ...}
Y tenemos:
a.) N = {0, 1, 2,...} y N+ = {1, 2,...}.
b.) Z+ = {1, 2,...} = N+
c.) R+ = {x R : x > 0}
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
Si n >= 0, entonces |n| = n
Si n < 0, entonces |n| = -n
Algoritmo de la Divisin
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
m.c.d.(a, b) = d
Algoritmo de Euclides
El Algoritmo de Euclides se basa en sucesivas divisiones de dos nmeros
hasta obtener su mximo comn divisor. Es decir, si m.c.d.(a, b) = d y a = b . q
+ r, entonces tendremos:
d = rn-1 = m.c.d. (rn-2, rn-1) = m.c.d. (rn-3, rn-2) = ... = m.c.d. (b, r1) = m.c.d.
(a, b) Si hacemos la divisiones sucesivas partiendo del Algoritmo de la Divisin
original:
a = b . q1 + r1
b = r1 . q2 + r2
r1 = r2 . q3 + r3
...
rn-4 = rn-3 . qn-2 + rn-2
rn-3 = rn-2 . qn-1 + rn-1
rn-2 = rn-1 . qn + 0
2. NUMEROS PRIMOS
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
Sean a, b y c nmeros enteros. Supongamos que a y c son primos entre s y
que c | a . b. Entonces c | b.
n = p1 . p2 . ... . pr
Teoremas
Sea p un entero mayor que 1 y primo. Para cualquier a y b enteros, si p | a . b
entonces p | a o p | b.
El nmero de primos es infinito.
Si pn es el n-simo nmero primo entonces pn <= 22^n-1.
Sea a un entero mayor que 1, entonces si para todo nmero primo p menor o
igual que la raz de a, p no divide al nmero a, se verifica que a es primo.
|a . b| = [ m.c.d.(a, b) ] . [ m.c.m.(a, b) ]
3. EL PRINCIPIO DE INDUCCION
En las Matemticas aparecen muchos problemas que tienen la siguiente forma
general:
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.
Demostrar una propiedad por el Principio de Induccin
ECUACIONES DIOFANTICAS
Ecuaciones lineales de dos variables enteras
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
Las soluciones de la ecuacin pitagrica x2 + y2 = z2 que satisfacen las
condiciones m.c.d.(x, y, z) = 1, 2 | x y x, y, z > 0, vienen dadas por las frmulas
x = 2 . s . t, y = s2 - t2, z = s2 + t2, para naturales s, t con s > t tales que m.c.d.
(s, t) = 1 y s y t tienen distinta paridad.
4. CONGRUENCIAS
a = b md (m)
Teoremas
Teorema de Wilson
SISTEMAS DE NUMERACION
Sea b >= 2 un nmero natural (llamado base). Entonces todo nmero natural n
puede escribirse de manera nica en base b de la forma:
n = ( ak ak-1 ... a1 a0 )b
PROBLEMAS
Clculo del mximo comn divisor de dos nmeros mediante el Algoritmo de
Euclides de la divisin
m.c.d.(1312, 800) = d
1312 = 800 . 1 + 512
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
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
= (k + 1) . (k + 2) . (2k + 3) / 6
Por lo tanto, se cumple la propiedad para todo natural
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
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
x=a+b/2
y=a-b/2
60
31
29
30
17
13
20
13
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
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
x = 11334291 MOD 7
11334291 = x md (7)