La teora de nmeros se resume en estudiar las propiedades de los nmeros, los enteros en gran parte.

Estas propiedades son del estilo: nmeros primos, representaciones de nmeros como sumas de otros, nmeros irracionales, nmeros trascendentes Teora de nmeros es una rama de las matemticas que se sub-clasifica en muchas: Teora analtica de nmeros (Mi favorita) Teora algebraica de nmeros Teora combinatoria de nmeros Teora computacional de nmeros
El componente principal en la teora de nmeros, son los nmeros primos.

La teora de nmeros es la rama de las matemticas que estudia las propiedades de los nmeros, en particular los enteros, pero ms en general, estudia las propiedades de los elementos de Dominios Enteros (Anillos conmutativos con elemento unitario y cancelacin) as como diversos problemas derivados de su estudio. Contiene una cantidad considerable de problemas que podran ser comprendidos por "no matemticos". De forma ms general, este campo estudia los problemas que surgen con el estudio de los nmeros enteros. Tal como cita Jrgen Neukirch:
La teora de nmeros ocupa entre las disciplinas matemticas una posicin idealizada anloga a aquella que ocupan las matemticas mismas entre las otras ciencias.
2

El trmino "aritmtica" tambin era utilizado para referirse a la teora de nmeros. De all la teora de nmeros suele ser denominada alta aritmtica. Los matemticos que estudian la teora de nmeros son llamados tericos de nmeros

LOS NUMEROS PRIMOS Y LA DIVISIBILIDAD

Es posible continuar la serie de nmeros naturales indefinidamente con sus respectivos divisores, en los cuales se puede observar que: a) El uno slo tiene como divisor a 1 b) Todos los nmeros mayores que 1 tienen como divisores a 1 y a s mismos. c) Otros nmeros tienen adems uno o ms divisores diferentes a uno y a s mismos. Un nmero primo es aquel que tiene slo dos divisores, el uno y l mismo. Los nmero naturales mayores que 1 y que no son primos reciben el nombre de compuestos. El 1, como slo tiene un divisor, recibe el nombre de trmino unitario. Para saber a qu grupo pertenece un nmero, se buscan sus divisores y, de acuerdo con el nmero de ellos, ser primo o compuesto.

Qu son los nmeros primos

Un nmero se dice primo si es diferente de uno y sus nicos divisores son uno y l mismo. Los nmeros primos forman el componente principal en el estudio de los nmeros enteros, todo esto por el teorema fundamental de la aritmtica Todo nmero entero positivo se factoriza de manera nica en el producto de potencias de nmeros primos
Definicin de nmero primo: un nmero es primo cuando es entero positivo, distinto de 0 y 1 y que nicamente se puede dividir por s mismo y por 1 para dar una solucin exacta (por tanto, para todos los otros nmeros por los que intentemos dividir el nmero primo no dar solucin exacta) Ejemplos: Divisores de 3= {1, 3} => es primo D(7)={1, 7} => es primo D(9)={1, 3, 9} => no es primo, es divisible por 3 adems de 1 y 9 Notas: El 1 se considera primo en muchos casos, aunque slo tiene un divisor. Depende de las listas, de las definiciones, del libro o de la "cultura" se considera o no primo. P. Ej. Los antiguos griegos consideraban que los numeros empezaban en el 2. Para ellos el 1 no era un nmero, slo la unidad. No sotros tampoco lo consideraremos primo. El 2 tambin cumple las caractersticas de nmero primo; y es el nico nmero primo que es par.

Nmeros gemelos: son los nmeros primos cuya diferencia es 2 (p. ej. 5 es primo y 7 es primo, y 7-5=2; 31-29=2; etc) Primos de Mersenne: son los nmeros primos que se pueden expresar como N=(2^n)-1 donde n es cualquier nmero y N es el primo de Mersenne. De momento slo se han descubierto 37. DIVISIBILIDAD Desde hace mucho tiempo, el hombre se ha visto ante la necesidad de tener que repartir cantidades de cosas entre personas, dndole a cada una el mismo nmero de unidades.

A travs de la prctica el hombre descubri que este problema a veces s tena solucin y a veces no. Este hecho hizo que se estudiase que relacin se encontraba entre los nmeros en los que este problema s tena solucin y los nmeros en los que no. De esta forma comenz a estudi**** la divisibilidad. Definicin Un nmero a se puede dividir por otro nmero b (o tambin, a es divisible por b), cuando con el nmero de unidades que indique el nmero a se puedan hacer tantos nmeros como indique el nmero b, teniendo todos estos grupos el mismo nmero de unidades. Ejemplo: En el dibujo diramos que 12 se puede dividir por 3

Los criterios de divisibilidad son reglas que sirven para saber si un nmero es divisible por otro sin necesidad de realizar la divisin. Aunque pueden busc**** criterios para todos los nmeros, slo expondremos los ms comunes: Criterio de divisibilidad por 2 Un nmero es divisible por 2 si acaba en 0 o cifra par. Ejemplos: Nmeros divisibles por 2: 36,94,521342,40,... Criterio de divisibilidad Un nmero es divisible por 3 si la suma de sus cifras es mltiplo de 3. Ejemplos: Nmeros divisibles por 3: 36,2142,42,... Criterio de divisibilidad Un nmero es divisible por 5 si la ltima de sus cifras es 5 o es 0. Ejemplos: Nmeros divisibles por 5: 35,2145,40,... Criterio de divisibilidad Un nmero es divisible por 9 si la suma de sus cifras es mltiplo de 9. Ejemplos: Nmeros divisibles por 9: 495,945,53640,... por 3

por

por

Criterio de divisibilidad por 11 Debemos hacer lo siguiente: Sumamos las cifras que ocupan lugares pares, sumamos las cifras que ocupan lugares impares. A la suma mayor le restamos la suma menor, si la diferencia es 0 o mltiplo de 11, entonces el nmero es mltiplo de 11.

Teorema Fundamental de la Aritmtica

Todo nmero entero natural no nulo puede descomponerse en forma de productocompuesto por factores primos de forma nica. Es decir, existe una nica factorizacin en nmeros primos de cada nmero entero natural no nulo y, a la inversa, cada producto de factores primos tiene como resultado un nico nmero natural no nulo. Habitualmente, los factores del producto se escriben de menor a mayor. Para demostrar este teorema se suelen usar pruebas constructivas: primero se demuestra que todos los nmeros enteros naturales pueden escribirse como producto de nmeros primos y despus se debe demostrar que esa descomposicin sea nica (independientemente del orden en el que se presenten los factores). Es fcil demostrar este teorema para los primeros nueve nmeros naturales. Se puede concluir que tambin se verifica en el resto por el mtodo de induccin. Suponemos que podemos descomponer en primos todos los enteros entre 2 y n-1 (An-1) En el caso del entero n, no primo, su factor ser a, y b=n/a. Entonces, n=ab siendo an-1 y bn-1. Al suponer An-1, podemos afirmar que a y b se descomponen en factores primos y, por tanto, n ser igual al producto de dichos factores, que es un producto de nmeros primos: An tambin es una afirmacin cierta. Como A1 es cierta y An-1 implica An, An ser cierta siempre que n1. Para demostrar la unicidad suele recurrirse al teorema de Euclides.

Mximo Comn Divisor 3.1.1. Definicin. Se llama comn divisor de dos enteros a un entero que los divida exactamente. Ejemplo: 2, 3 y 6 son divisores comunes de 18 y 24. 3.1.2. Definicin. Se llama mximo comn divisor de dos enteros, al menos uno de ellos diferente de cero, al mayor entero que los divide exactamente. De la definicin anterior es claro que el mximo comn divisor de dos enteros es siempre un entero positivo. Ejemplo: Sean a = 24, b = 27. Escribamos el conjunto de todos los divisores comunes positivos de 27 y 24. Sea S este conjunto: S = {1, 3}. Luego, el mximo comn divisor de 24 y 27 es 3. Ejemplo: Halle el mximo comn divisor de 32 y 48. Sea S el conjunto de los divisores comunes positivos. S = {1, 2, 4, 8, 16}. Luego, el mximo comn divisor de 32 y 48 es 16. Si d es el mximo comn divisor de dos nmeros a y b se escribe: d = M.C.D.(a, b).

3.1.3. Teorema. Dados los enteros a y b, no ambos cero, existen enteros x y y tales que M.C.D.(a, b) = ax + by. Ejemplo: como M.C.D.(24, 27) = 3. Entonces se cumple 3 = 27*(1) + 24*(-1). En este caso, x = 1 y y = -1. Ms adelante se estudiar un mtodo expedito para hallar x y y. 3.1.4. Definicin. Dos enteros a y b, no ambos cero, se llaman primos relativos si M.C.D.(a, b) = 1. Ejemplo: Sea a = 28, sus divisores positivos son {1, 2, 4, 7, 14}. b = 25, sus divisores positivos son {1, 5}. El nico divisor comn es 1. Luego 25 y 28 son primos relativos. 3.1.5. Teorema. Dados dos enteros a y b, no ambos cero, a y b son primos relativos s y slo s existen enteros x e y tales que 1 = ax + by. Demostracin: Si a y b son primos relativos entonces M.C.D.(a, b) = 1. Luego por teorema 2.3.3. 1 = ax + by. Ahora, sea d = M.C.D.(a, b), luego, d|a y d|b y por los teoremas 2.2.2. y 2.2.3. se tiene que d|ax + by, o sea que d|1. Necesariamente d = 1.

3.1.6. Corolario. Si M.C.D.(a, b) = d, entonces, se tiene que M.C.D.

Recprocamente, si d|a, d|b y M.C.D.

entonces, M.C.D. (a,b) = d.

Ejemplo: como M.C.D.(24, 27) = 3, entonces, se cumple que

M.C.D.

= M.C.D.(8, 9) = 1.

3.1.7. Teorema. Sean a ,b, c enteros. Si a|c y b|c y M.C.D.(a, b) = 1, entonces, ab|c. Demostracin Como: a|c, c = ar para algn r. b|c, c = bs para algn s. Sea d = M.C.D. (a, b). Por tanto, d = 1, de ac se concluye que existen enteros x, y tales que 1 = ax + by. Multiplicando por c: c = acx +bcy. Implica que c = a(bs)x + b(ar)y = ab(sx + ry), o sea que abc.