Documente Academic
Documente Profesional
Documente Cultură
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.
El nmero 0 no es un nmero natural. El conjunto de los nmeros enteros no negativos se designa por N U {0}. Uno de los principios ms importantes en la Teora de Nmeros es:
Principio de la buena ordenacin: todo subconjunto no vaco de nmeros enteros no negativos tiene un primer elemento, es decir, tiene un elemento que es menor que todos los dems.
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:
Diferencia (d = a - b): otro entero que satisfaga la igualdad a = b + d. Divide a (a | b): si a # 0 y b = a . q, diremos que a divide a b, a es un divisor de b, a es un factor de b, o que b es un mltiplo de a. Mayor que (b > a): si existe un nmero natural n tal que b = a + n.
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:
|n| pertenece a N U {0} |n| = 0 si y slo si n = 0 |a . b| = |a| . |b| |a + b| <= |a| + |b| Si a # 0, b # 0 y a | b, entonces |a| <= |b|
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
Sean a y b enteros. Un entero d # 0 es un divisor comn de a y b si d | a y d | b. Un divisor comn de a y b se llama mximo comn divisor de a y b si d > 0 y cada comn divisor de a y b divide tambin a d. Se designa por:
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:
a = b . q1 + r 1 b = r1 . q2 + r2 r 1 = r 2 . q3 + r 3 ... rn-4 = rn-3 . qn-2 + rn-2 rn-3 = rn-2 . qn-1 + rn-1 rn-2 = rn-1 . qn + 0
[ 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
Sean a, b y c nmeros enteros. Supongamos que a y c son primos entre s y que c | a . b. Entonces c | b.
Sea n un nmero mayor que 1. Entonces existen nmeros primos p1, ... , pr tales que:
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.
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) ]
[ Calcular los valores de dos incgnitas para que se cumpla d = a . x + b . y] [ Comprobar que un nmero es primo utilizando la criba de Eraststenes ]
En las Matemticas aparecen muchos problemas que tienen la siguiente forma general:
Sea P(n) una determinada propiedad acerca de un nmero natural n. Se trata de probar que P(n) es verdadero para todo n que sea natural.
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.
Definir el conjunto S = { n pertenecientes a N tales que P(n) es verdadera }. Probar que 1 pertenece a S. Suponer que k pertenece a S para k >= 1 arbitrario. Demostrar entonces que k + 1 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.
Sean a, b y n nmeros enteros. La ecuacin lineal a . x + b . y = n tiene solucin entera x0 e y0 si y slo si d = m.c.d.(a, b) divide a n. Dada la ecuacin a . x + b . y = n se calcula el m.c.d.(a, b) llegando a escribir d = a . q1 + b . q2 (a = b . q1 + r1 y b = r1 . q2 + r2), siendo una solucin x0 = n . q1 / d e y0 = n . q2 / d. Supongamos que a, b y n son enteros no nulos y d = m.c.d.(a, b) divide a n. Entonces la solucin general de la ecuacin a . x + b . y = n tiene la forma: { x0 + t . b / d , y0 - t . a / d } donde t es cualquier entero.
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.
Determinar el mnimo entero positivo q que satisfaga que q2 >= n. Estudiar si alguno de los nmeros q2 - n, (q + 1)2 - n, (q + 2)2 - n, ... es un cuadrado. Si para alguno de estos nmeros m, m2 - n es un cuadrado, entonces n ser primo.
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.
[ Hallar todas las soluciones de ecuaciones diofnticas a . x + b . y = n ] [ Estudiar si un nmero es primo mediante el Algoritmo de factorizacin de Fermat ] [ Hallar todas las soluciones de ecuaciones de la forma x2 - y2 = n ]
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
a = b md (m) si y slo si al dividir a y b por m el resto obtenido es el mismo a = a md (m) Si a = b md (m) entonces b = a md (m) Si a = b md (m) y b = c md (m) entonces a = c md (m) Si a = b md (m) y c = d md (m) entonces a + c = b + d md (m) y a . c = b . d md (m) Si a = b md (m) entonces h . a = h . b md (m) Si h | a, h | b, m.c.d.(h, m) = 1 y a = b md (m) entonces a / h = b / h md (m)
La ecuacin ax = b md (m) tiene solucin si y slo si d divide a b donde d es el m.c.d.(a, m). Adems el nmero de soluciones no congruentes mdulo m es exactamente d.
El sistema de congruencias aix = bi md (mi), i = 1, 2, ..., k donde m.c.d.(mi, mj) = 1 si i # j y m.c.d.(ai, mi) = 1 para 1 <= i <= k, tiene una nica solucin x0 mdulo m1m2...mk y las dems soluciones son de la forma x = x0 + zm1m2...mk, donde z es un entero.
Teorema de Wilson
[ Resolver una congruencia del tipo ax = b md (m) ] [ Resolver un sistema de congruencias y presentar la ecuacin general ] [ Hallar el resto de dividir una potencia entre un nmero por el pequeo Teorema de Fermat ]
En la vida diaria el sistema de numeracin empleado para escribir nmeros naturales es el decimal. Las unidades se agrupan de 10 en 10 para unidades de segundo orden, que se llaman decenas. Estas, a su vez, se agrupan de 10 en 10 para formar unidades de tercer orden o centenas y as sucesivamente. 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
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
Se comienza desde la primera expresin y se sustituye b por su equivalente en la ecuacin siguiente. A continuacin pasamos a la siguiente ecuacin y sustituimos a, y as sucesivamente. Cuando se llegue al final debe quedar:
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.
12 = 1 . (1 + 1) . (2 . 1 + 1) / 6 = 1 . 2 . 3 / 6 = 6 / 6 = 1 Segunda propiedad: P(k) y P(k + 1) pertenecen a S 12 + 22 + ... + k2 + (k + 1)2 = k . (k + 1) . (2k + 1) / 6 + (k + 1)2 = = k . (k + 1) . (2k + 1) + 6 . (k + 1)2 / 6 = (k + 1) . (2k2 + k + 6k + 6) / 6 = = (k + 1) . (k + 2) . (2k + 3) / 6 Por lo tanto, se cumple la propiedad para todo natural
Primero se calcula el mximo comn divisor de a y b, al que se le llamar d. Despus se comprueba que d divide a n, para saber si la ecuacin tiene solucin. Si es as, existen a' y b' tales que: d = a' . a + b' . b A continuacin se averiguan a' y b' tomando la primera ecuacin de los restos obtenidos del mximo comn divisor de a y b, y sustituyendo los b y los a: r = a - b . q Una solucin de la ecuacin sera: x0 = n . a' / d , y0 = n . b' / d Y la solucin general del sistema sera: { x0 + b . t / d , y0 - a . t / d } para todo t que sea entero.
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 }
Un nmero es compuesto si es producto de dos nmeros impares. Primero se hace la raz cuadrada entera y se toma el valor entero mayor q y un intervalo:
[ q2 ... n + 1 / 2 )
Despus se van haciendo operaciones q2 - n y se va incrementando q hasta obtener un nmero cuadrado. Entonces se sustituyen el q resultante y el nmero cuadrado en x2 e y2: x2 = q | y2 = nmero cuadrado | n = x2 - y2 Y a continuacin, se despejan a y b: a = x + y | b = x - y | n = a . b
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 30 20 12
b 2 4 6 10
x=a+b/2 31 17 13 11
y=a-b/2 29 13 7 1
Una congruencia ax = b md (m) es equivalente a una ecuacin diofntica ax + mk = b. Se calcula el mximo comn divisor de a y m, se le llama d y se comprueba que d divida a b. Por el Algoritmo de Euclides de la divisin se halla a' en: a' = b - m / a y se sustituye en: x0 = n . a' / d , x = x0 - a . t / d. Si x0 es negativo se halla una solucin t hasta que x sea positivo.
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.
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
Se trata de hallar x en la siguiente expresin: an = x md (p). Se comprueba que p sea primo y que no divida a la base de la potencia. Si se cumple, se aplica el teorema: ap-1 = 1 md (p). Se 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
Comprobar si la incgnita est en el nmero o en la base. Si est en el nmero, se convierte el nmero contrario en decimal y se efecta la divisin entre la base que s se conoce. Si est en la base, se convierte el nmero contrario en decimal y se desglosa el nmero contrario en una ecuacin de grado igual al nmero de dgitos menos uno. Se resuelve la ecuacin y se toma el valor positivo. En general, para sumar dos
nmeros de la misma base, primero se convierten a decimal, se suman y se vuelven a dividir por la base anterior.
1245 = x9 || 132x = 3305 || 1245 + 3305 1245 = 4 . 50 + 2 . 51 + 1 . 52 = 4 + 10 + 25 = 3910 39 = 9 . 4 + 3 || 4 = 9 . 0 + 4 || 4 . 91 + 3 . 90 = 439 || x = 43 3305 = 0 . 50 + 3 . 51 + 3 . 52 = 0 + 15 + 75 = 9010 132x = 9010 || x2 + 3x + 2 = 90 || x = 8 , x = -11 || 1328 = 3305 || x = 8 1245 = 3910 || 3305 = 9010 || 39 + 90 = 12910 129 = 5 . 25 + 4 || 25 = 5 . 5 + 0 || 5 = 5 . 1 + 0 || 1 = 5 . 0 + 1 1 . 53 + 0 . 52 + 0 . 51 + 4 . 50 = 10045 || 12910 = 10045