Está en la página 1de 11

Nmeros primos:

Un nmero primo es un nmero natural mayor que 1 que tiene nicamente dos divisores distintos: l mismo y el 1. Se contraponen as a los nmeros compuestos, que son aquellos que tienen algn divisor natural aparte de s mismos y del 1. El nmero 1, por convenio, no se considera ni primo ni compuesto. Los nmeros primos menores que cien son los siguientes: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 y 97. La propiedad de ser primo se denomina primalidad. A veces se habla de nmero primo impar para referirse a cualquier nmero primo mayor que 2, ya que ste es el nico nmero primo par. A veces se denota el conjunto de todos los nmeros primos por . El estudio de los nmeros primos es una parte importante de la teora de nmeros, la rama de las matemticas que comprende el estudio de los nmeros enteros. Los nmeros primos estn presentes en algunas conjeturas centenarias tales como la hiptesis de Riemann y la conjetura de Goldbach. La distribucin de los nmeros primos es un tema recurrente de investigacin en la teora de nmeros: si se consideran nmeros individuales, los primos parecen estar distribuidos aleatoriamente, pero la distribucin global de los nmeros primos sigue leyes bien definidas.

Propiedades de los nmeros primos


Teorema fundamental de la aritmtica
Esta ilustracin muestra que el 11 es un nmero primo, pero el 12 no lo es. El teorema fundamental de la aritmtica establece que todo nmero natural tiene una representacin nica como producto de factores primos, salvo el orden. Un mismo factor primo puede aparecer varias veces. El 1 se representa entonces como un producto vaco. Se puede considerar que los nmeros primos son los ladrillos con los que se construye cualquier nmero natural. Por ejemplo, se puede escribir el nmero 23.244 como producto de 22313149, y cualquier otra factorizacin del 23.244 como producto de nmeros primos ser idntica excepto por el orden de los factores. La importancia de este teorema es una de las razones para excluir el 1 del conjunto de los nmeros primos. Si se admitiera el 1 como nmero primo, el enunciado del teorema requerira aclaraciones adicionales.

A partir de esta unicidad en la factorizacin en factores primos se desarrollan otros conceptos muy utilizados en matemticas, tales como el mnimo comn mltiplo, el mximo comn divisor y la coprimalidad de dos o ms nmeros. As,

El mnimo comn mltiplo de dos o ms nmeros es el menor de los mltiplos comunes de todos ellos. Para calcularlo, se descomponen los nmeros en factores primos y se toman los factores comunes y no comunes con su mximo exponente. Por ejemplo, el mnimo comn mltiplo de 10=25 y 12=223 es 60=2235. El mximo comn divisor de dos o ms nmeros es el mayor de los divisores comunes de todos ellos. Es igual al producto de los factores comunes con su mnimo exponente. En el ejemplo anterior, el mximo comn divisor de 10 y 12 es 2. Finalmente, dos o ms nmeros son coprimos, o primos entre s, si no tienen ningn factor primo comn; es decir, si su mximo comn divisor es 1. Un nmero primo es, as, coprimo con cualquier nmero natural que no sea mltiplo de l mismo.

Otras propiedades

En su representacin decimal, todos los nmeros primos salvo el 2 y el 5 acaban en 1, 3, 7 9. En general, en cualquier sistema de numeracin, todos los nmeros primos salvo un nmero finito acaban en una cifra que es coprima con la base. De lo anterior se deduce que todos los nmeros primos salvo el 2 son de la forma 4n + 1 o bien 4n - 1. Igualmente, todos los nmeros primos salvo el 2 y el 3 son de la forma 6n + 1 o 6n - 1. Lema de Euclides: Si p es un nmero primo y divisor del producto de nmeros enteros ab, entonces p es divisor de a o de b. Pequeo teorema de Fermat: Si p es primo y a es algn nmero natural diferente de 1, entonces ap - a es divisible por p. Si p es primo distinto de 2 y 5, siempre es un nmero peridico en su representacin decimal, de periodo p 1 o un divisor de p 1. Esto se puede deducir directamente a partir del pequeo teorema de Fermat. expresado en base q (en lugar de en base 10) tiene propiedades similares, siempre que p no sea un factor primo de q. Teorema de Wilson: Un nmero natural n > 1 es primo si y solo si el factorial (n - 1)! + 1 es divisible por n. Asimismo, un nmero natural n > 4 es compuesto si y slo si (n - 1)! es divisible por n. La caracterstica de todo cuerpo es, o bien cero, o bien un nmero primo. Primer teorema de Sylow: Si G es un grupo finito, p primo y pn es la mayor potencia de p que divide el orden de G. Entonces, existe un subgrupo de G de orden pn. Teorema de Cauchy: Si G es un grupo finito y p es un nmero primo que divide al orden de G, entonces G contiene un elemento de orden p. La constante de Copeland-Erds 0,235711131719232931374143, obtenida por concatenacin de los nmeros primos en el sistema decimal, es un nmero irracional.

El valor de la funcin zeta de Riemann en cada punto del plano complejo se da como una continuacin meromorfa de una funcin definida por un producto sobre el conjunto de todos los primos para Re(s) > 1:

En la regin donde es convergente, este producto indexado por los nmeros primos se puede calcular, obtenindose diversos valores, algunos de ellos importantes en teora de nmeros. Los dos primeros son: (Correspondiente a la serie armnica, relacionado con la infinitud de nmeros primos).

(Correspondiente al problema de Basilea). En general entero positivo par.


es un nmero racional cuando n es un nmero

El anillo es un cuerpo si y solo si p es primo. Equivalentemente: p es primo si y solo si (p) = p 1. Si p > 1, el polinomio x p-1+x p-2+ + 1 es irreducible sobre si y slo si p es primo. Un nmero natural n es primo si y slo si el n-simo polinomio de Chebyshov de la primera especie Tn(x), dividido entre x, es irreducible en . Adems, Tn(x) xn si y slo si n es primo.

Nmeros primos y funciones aritmticas

Las funciones aritmticas, es decir, funciones reales o complejas, definidas sobre un conjunto de nmeros naturales, desempean un papel crucial en la teora de nmeros. Las ms importantes son las funciones multiplicativas, que son aquellas funciones f en las cuales, para cada par de nmeros coprimos (a,b) se tiene . Algunos ejemplos de funciones multiplicativas son la funcin de Euler, que a cada n asocia el nmero de enteros positivos menores y coprimos con n, y las funciones y , que a cada n asocian respectivamente el nmero de divisores de n y la suma de todos ellos. El valor de estas funciones en las potencias de nmeros primos es , , .

Gracias a la propiedad que las define, las funciones aritmticas pueden calcularse fcilmente a partir del valor que toman en las potencias de nmeros primos. De hecho, dado un nmero natural n de factorizacin se tiene que con lo que se ha reconducido el problema de calcular f(n) al de calcular f sobre las potencias de los nmeros primos que dividen n, valores que son generalmente ms fciles de obtener mediante una frmula general. Por ejemplo, para conocer el valor de la funcin sobre n=450=23252 basta con calcular

Caractersticas del conjunto de los nmeros primos


Infinitud de los nmeros primos
Existen infinitos nmeros primos. Euclides realiz la primera demostracin alrededor del ao 300 a. C. en el libro IX de su obra Elementos.Una adaptacin comn de esta demostracin original sigue as: Se toma un conjunto arbitrario pero finito de nmeros primos p1, p2, p3, , pn, y se considera el producto de todos ellos ms uno, . Este nmero es obviamente mayor que 1 y distinto de todos los primos pi de la lista. El nmero q puede ser primo o compuesto. Si es primo tendremos un nmero primo que no est en el conjunto original. Si, por el contrario, es compuesto, entonces existir algn factor p que divida a q. Suponiendo que p es alguno de los pi, se deduce entonces que p divide a la diferencia , pero ningn nmero primo divide a 1, es decir, se ha llegado a un absurdo por suponer que p est en el conjunto original. La consecuencia es que el conjunto que se escogi no es exhaustivo, ya que existen nmeros primos que no pertenecen a l, y esto es independiente del conjunto finito que se tome. Por tanto, el conjunto de los nmeros primos es infinito. Si se toma como conjunto el de los n primeros nmeros primos, entonces , donde pn# es lo que se llama primorial de pn. Un nmero primo de la forma pn# +1 se denomina nmero primo de Euclides en honor al matemtico griego. Tambin se puede elaborar una demostracin similar a la de Euclides tomando el producto de un nmero dado de nmeros primos menos uno, el lugar del producto de esos nmeros primos ms uno. En ese sentido, se denomina nmero primo primorial a un nmero primo de la forma pn# 1. No todos los nmeros de la forma pn# +1 son primos. En este caso, como se sigue de la demostracin anterior, todos los factores primos debern ser mayores que n. Por ejemplo: 23571113+1=30031=59509 Otros matemticos han demostrado la infinitud de los nmeros primos con diversos

mtodos procedentes de reas de las matemticas tales como al lgebra conmutativa y la topologa.17 Algunas de estas demostraciones se basan en el uso de sucesiones infinitas con la propiedad de que cada uno de sus trminos es coprimo con todos los dems, por lo que se crea una biyeccin entre los trminos de la sucesin y un subconjunto (infinito) del conjunto de los primos. Una sucesin que cumple dicha propiedad es la sucesin de Euclides-Mullin, que deriva de la demostracin eucldea de la infinitud de los nmeros primos, ya que cada uno de sus trminos se define como el factor primo ms pequeo de uno ms el producto de todos los trminos anteriores. La sucesin de Sylvester se define de forma similar, puesto que cada uno de sus trminos es igual a uno ms el producto de todos los anteriores. Aunque los trminos de esta ltima sucesin no son necesariamente todos primos, cada uno de ellos es coprimo con todos los dems, por lo que se puede escoger cualquiera de sus factores primos, por ejemplo, el menor de ellos, y el conjunto resultante ser un conjunto infinito cuyos trminos son todos primos.
Otros enunciados que implican la infinitud de los nmeros primos

Un resultado an ms fuerte, y que implica directamente la infinitud de los nmeros primos, fue descubierto por Euler en el siglo XVIII. Establece que la serie es divergente. Uno de los teoremas de Mertens concreta ms, estableciendo que

Donde la expresin O(1) indica que ese trmino est acotado entre -C y C para n mayor que n0, donde los valores de C y n0 no estn especificados. Otro resultado es el teorema de Dirichlet, que dice as: En toda progresin aritmtica an = a + nq, donde los enteros positivos a, q 1 son primos entre s, existen infinitos trminos que son primos.

El postulado de Bertrand enuncia as: Si n es un nmero natural mayor que 3, entonces siempre existe un nmero primo p tal que n < p < 2n- 2.

Una manera ms dbil pero elegante de formularlo es que, si n es un nmero natural mayor que 1, entonces siempre existe un nmero primo p tal que n < p < 2n. Esto supone que, en una progresin geomtrica de primer trmino entero mayor que 3 y razn igual a 2, entre cada trmino de la progresin y el siguiente, se tiene al menos un

nmero primo.

Diferencia entre dos primos consecutivos


Ligado a la distribucin de los nmeros primos se encuentra el estudio de los intervalos entre dos primos consecutivos. Este intervalo, con la nica salvedad del que hay entre el 2 y el 3, debe ser siempre igual o mayor que 2, ya que entre dos nmeros primos consecutivos al menos hay un nmero par y por tanto compuesto. Si dos nmeros primos tienen por diferencia 2, se dice que son gemelos, y con la salvedad del "triplete" formado por los nmeros 3, 5 y 7, los nmeros gemelos se presentan siempre de dos en dos. Esto tambin es fcil de demostrar: entre tres nmeros impares consecutivos mayores que 3 siempre hay uno que es mltiplo de 3, y por tanto compuesto. Los primeros pares de nmeros primos gemelos son (3,5), (5,7), (11, 13), (17, 19) y (29, 31). Por otra parte, la diferencia entre primos consecutivos puede ser tan grande como se quiera: dado un nmero natural n, se denota por n! su factorial, es decir, el producto de todos los nmeros naturales comprendidos entre 1 y n. Los nmeros (n+1)!+2, (n+1)!+3,,(n+1)!+n+1 Son todos compuestos: si 2 i n+1, entonces (n+1)!+i es divisible entre i, por tanto, es compuesto. La sucesin, que comprende n enteros consecutivos, no contiene ningn nmero primo. Por ejemplo, si n=5, estos valores corresponden a: 6!+2=722=2361 6!+3=723=3241 6!+4=724=4181 6!+5=725=5145 6!+6=726=6121 El siguiente valor, 6!+7=727, es primo. De todas formas, el menor nmero primo que dista del siguiente en n es generalmente mucho menor que el factorial, por ejemplo, el caso ms pequeo de dos primos consecutivos separados de ocho unidades es (89, 97), mientras que 8! es igual a 40.320. La sucesin de las diferencias entre primos consecutivos ha sido profusamente estudiada en matemticas, y alrededor de este concepto se han establecido muchas conjeturas que permanecen sin resolver.

Conclusin
La distribucin de todos los nmeros primos comprendidos entre 1 y 76.800, de izquierda a derecha y de arriba abajo. Cada pixel representa un nmero. Los pxeles negros representan nmeros primos; los blancos representan nmeros no primos. Imagen con 2310 columnas que conserva mltiplos de 2, 3, 5, 7 y 11 en las columnas respectivas. Como cabe esperar, los nmeros primos caern en columnas concretas si los nmeros estn ordenados de izquierda a derecha y el ancho es un mltiplo de un

nmero primo. Sin embargo, los nmeros primos tambin quedan distribuidos de manera ordenada en construcciones espirales como la espiral de Ulam, ya que tienden a concentrarse en algunas diagonales concretas y no en otras. El modelado de la distribucin de los nmeros primos es un tema de investigacin recurrente entre los tericos de nmeros. La primalidad de un nmero concreto es (hasta ahora) impredecible a pesar de que existen leyes, como el teorema de los nmeros primos y el postulado de Bertrand, que gobiernan su distribucin a gran escala. Leonhard Euler coment:
Hasta el da de hoy, los matemticos han intentado en vano encontrar algn orden en la sucesin de los nmeros primos, y tenemos motivos para creer que es un misterio en el que la mente jams penetrar.

En una conferencia de 1975, Don Zagier coment:


Hay dos hechos sobre la distribucin de los nmeros primos de los que espero convencerles de forma tan incontestable que quedarn permanentemente grabados en sus corazones. El primero es que, a pesar de su definicin simple y del papel que desempean como ladrillos con los que se construyen los nmeros naturales, los nmeros primos crecen como malas hierbas entre los nmeros naturales, y no parecen obedecer ninguna otra ley que la del azar, y nadie puede predecir dnde brotar el siguiente. El segundo hecho es an ms asombroso, ya que dice justo lo contrario: que los nmeros primos muestran una regularidad pasmosa, que hay leyes que gobiernan su comportamiento, y que obedecen estas leyes con precisin casi militar.

Clases de nmeros primos


De mayor inters son otras frmulas que, aunque no slo generen nmeros primos, son ms rpidas de implementar, sobre todo si existe un algoritmo especializado que permita calcular rpidamente la primalidad de los valores que van tomando. A partir de estas frmulas se obtienen subconjuntos relativamente pequeos del conjunto de los nmeros primos, que suelen recibir un nombre colectivo.

Primos primoriales y primos factoriales


Los nmeros primos primoriales, directamente relacionados con la demostracin euclidiana de la infinitud de los nmeros primos, son los de la forma p = n# 1 para algn nmero natural n, donde n# es igual al producto 2 3 5 7 11 de todos los primos n. Asimismo, un nmero primo se dice primo factorial si es de la forma n! 1. Los primeros primos factoriales son: n! 1 es primo para n = 3, 4, 6, 7, 12, 14, 30, 32, 33, 38, 94, 166, 324, n! + 1 es primo para n = 0, 1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320,

Nmeros primos de Fermat


Construccin de un pentgono regular. 5 es un nmero primo de Fermat. Los nmeros de Fermat, ligados a la construccin de polgonos regulares con regla y comps, son los nmeros de la forma , con n natural. Los nicos nmeros primos de Fermat que se conocen hasta la fecha son los cinco que ya conoca el propio Fermat, correspondientes a n = 0, 1, 2, 3 y 4, mientras que para valores de n entre 5 y 32 estos nmeros son compuestos. Para determinar su primalidad, existe un test especializado cuyo tiempo de ejecucin es polinmico: el test de Ppin. Sin embargo, los propios nmeros de Fermat crecen tan rpidamente que slo se lo ha podido aplicar para valores de n pequeos. En 1999 se lo aplic para n = 24. Para determinar el carcter de otros nmeros de Fermat mayores se utiliza el mtodo de divisiones sucesivas y de esa manera a fecha de junio de 2009 se conocen 241 nmeros de Fermat compuestos, aunque en la mayora de los casos se desconozca su factorizacin completa.

Nmeros primos de Mersenne


Los nmeros de Mersenne son los de forma Mp = 2p 1, donde p es primo. Los mayores nmeros primos conocidos son generalmente de esta forma, ya que existe un test de primalidad muy eficaz, el test de Lucas-Lehmer, para determinar si un nmero de Mersenne es primo o no. Actualmente, el mayor nmero primo que se conoce es M43.112.609 = 243.112.609 - 1, que tiene 12.978.189 cifras en el sistema decimal. Se trata cronolgicamente del 45 nmero primo de Mersenne conocido y su descubrimiento se anunci el 23 de agosto de 2008 gracias al proyecto de computacin distribuida Great Internet Mersenne Prime Search (GIMPS). Desde entonces, se han descubierto otros dos nmeros primos de Mersenne, pero son menores que el 45.

Otras clases de nmeros primos


Existen literalmente decenas de apellidos que se pueden aadir al concepto de nmero primo para referirse a un subconjunto que cumple alguna propiedad concreta. Por ejemplo, los nmeros primos pitagricos son los que se pueden expresar en la forma 4n+1. Dicho de otra forma, se trata de los nmeros primos cuyo resto al dividirlos entre 4 es 1. Otro ejemplo es el de los nmeros primos de Wieferich, que son aquellos nmeros primos p tales que p2 divide a 2p-1 - 1. Algunas de estas propiedades se refieren a una relacin concreta con otro nmero primo:

Nmeros primos gemelos: p y p+2 lo son si son los dos primos. Nmero primo de Sophie Germain: dado p primo, es de Sophie Germain si 2p + 1 tambin es primo. Una sucesin de nmeros p1,p2,p3, ,pn todos ellos primos, tales que pi+1=2pi+1 para todo i {1,2,,n-1 }, se denomina cadena (completa) de Cunningham de primera especie, y cumple por definicin que cada uno de los

trminos, salvo el ltimo, es un nmero primo de Sophie Germain. Se cree que para toda n natural existen infinitas cadenas de Cunningham de longitud n, aunque hasta la fecha nadie ha proporcionado prueba de que dicha afirmacin sea cierta.

Nmero primo de Wagstaff: p lo es si primo.

, donde q es otro nmero

Tambin se les da nombres especiales a algunas clases de primos que dependen de la base de numeracin empleada o de la forma de escribir los dgitos, y no de una frmula matemtica. Es el caso de los nmeros somirp (primos al revs), que son aquellos nmeros primos tales que el nmero obtenido al invertir el orden de sus cifras tambin es primo. Tambin es el caso de los nmeros primos repunit, que son aquellos nmeros primos que son concatenacin de unos. Si, en lugar de considerarse el sistema de numeracin decimal se considera el binario, se obtiene otro conjunto distinto de nmeros primos repunit que, adems, coincide con el de los nmeros primos de Mersenne. Finalmente, los nmeros primos tridicos son aquellos nmeros que son primos, capicas y simtricos respecto de una recta horizontal. El que se le d un nombre a una clase de nmeros primos con una definicin precisa no significa que se conozca algn nmero primo que sea de esa clase. Por ejemplo, no se conoce hasta el momento ningn nmero primo de Wall-Sun-Sun, pero su relevancia radica en que en 1992, antes de la demostracin de Wiles del ltimo teorema de Fermat, se descubri que la falsedad del teorema para un nmero primo p dado implicaba que p era un nmero primo de Wall-Sun-Sun. Esto hizo que, durante un tiempo, la bsqueda de nmeros primos de esta clase fuera tambin la bsqueda de un contraejemplo del ltimo teorema de Fermat.

LOS GRANDES NMEROS PRIMOS Y LOS NMEROS DE MERSENNE.


El 8 de septiembre de 1985 se descubra en Houston (Tejas) el mayor nmero primo hallado hasta la fecha: 2216091 1 un nmero de 65050 cifras. ste nmero era uno de los llamados nmeros de Mersenne en honor al matemtico francs Marine Mersenne (1588-1648). Son nmeros de la forma 2n 1 siendo n entero. De estos nmeros slo un pequeo porcentaje son primos. En 1963 ya se conocan 22 primos de este tipo. El nmero 34 es: 21257287 1 y tiene 378.632 cifras. El ltimo descubierto (el nmero 38) es: 2 6972593 1.

LOS DIEZ NMEROS PRIMOS MS GRANDES:


Nmero primo Nmero Ao de descubrimiento dgitos 4053946 2098960 909526 895932 420921 2001 1999 1998 1997 1996 2002 2002 2002 2002 2002

213466917-1 26972593-1 2 2
3021377

-1 -1

22976221-1
1398269

1361846 1266062 52

65536 65536

+1 402007 +1 399931
397507

. 1320487

+1

105747665536+1 394807 857678


65536

+1 388847

PROBLEMAS ABIERTOS SOBRE PRIMOS

stos son slo algunos de los resultados enunciados sobre primos que no han sido demostrados todava. Muchos de ellos son CONJETURAS afirmaciones de las cuales se est convencido de su certeza pero no se han conseguido demostrar. 1.- Existe un nmero infinito de nmeros primos que se diferencian en 2 (tales como 3 y 5; 17 y 19) 2.- CONJETURA DE GOLDBACH : Todo nmero par mayor que dos puede escribirse como suma de dos nmeros primos. 3.- Existe un nmero infinito de nmeros primos que responden a la forma de un nmero al cuadrado ms uno. 4.- Siempre existe un nmero primo entre dos nmeros cuadrados consecutivos. Tal vez alguno de estos problemas se logre resolver en fechas prximas, como sucedi con el Teorema de Fermat planteado en 1640 y considerado demostrado completamente en 1995 por Andrew Wiles, un profesor de Cambridge (Gran Bretaa): " No existen nmeros enteros x, y, z, que sean solucin de la ecuacin yn = zn , cuando n es mayor que 2".

xn +