Mimosa Pntic Mec Es Jgomez53 Matema Conocer Primos HTM

pdfcrowd.com open in browser PRO version Are you a developer?
Try out the HTML to PDF API

Nmeros primos
Un nmero primo es un nmero entero mayor que cero, que tiene exactamente dos divisores positivos. Tambin
podemos definirlo como aquel nmero entero positivo que no puede expresarse como producto de dos nmeros
enteros positivos ms pequeos que l, o bien, como producto de dos enteros positivos de ms de una forma.
Conviene observar que con cualquiera de las dos definiciones el 1 queda excluido del conjunto de los nmeros
primos.
Ejemplos: a) El 7 es primo. Sus nicos divisores son 1 y 7. Slo puede expresarse como producto de 71.
b) El 15 no es primo. Sus divisores son 1, 3, 5 y 15. Puede expresarse como 35. (y tambin como
151)
El trmino primo no significa que sean parientes de alguien. Deriva del latn "primus" que significa primero
(protos en griego). El teorema fundamental de la aritmtica afirma que todo nmero entero se expresa de forma
nica como producto de nmeros primos. Por eso se les considera los "primeros", porque a partir de ellos
obtenemos todos los dems nmeros enteros. (El 15 se obtiene multiplicando los primos 3 y 5)
Los 25 primeros nmeros primos son 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, que son todos los primos menores que 100.
En la siguiente tabla tenemos todos los primos menores que 1000, que hacen un total de 168 (218)
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73
79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181
191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307
311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 421 431 433
pdfcrowd.com open in browser PRO version Are you a developer? Try out the HTML to PDF API
439 443 449 457 461 463 467 479 487 491 499 503 509 521 523 541 547 557 563 569 571
577 587 593 599 601 607 613 617 619 631 641 643 647 653 659 661 673 677 683 691 701
709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 823 827 829 839 853
857 859 863 877 881 883 887 907 911 919 929 937 941 947 953 967 971 977 983 991 997
Pster con los nmeros primos hasta 1000 (pdf) Listado con los primos menores que 1.000.000 (txt)
Para ver los 10.000 primeros nmeros primos pincha aqu
Primos en el anillo de los enteros de Gauss

Cmo averiguar si un nmero es primo.
El algoritmo ms sencillo que puede utilizarse para saber si un nmero n es primo es el de la divisin. Se trata de
ir probando para ver si tiene algn divisor propio. Para ello vamos dividiendo el nmero n entre 2, 3, 4, 5, ... , n-1. Si
alguna de las divisiones es exacta (da resto cero) podemos asegurar que el nmero n es compuesto. Si ninguna de
estas divisiones es exacta, el nmero n es primo. Este mtodo puede hacerse ms eficiente observando
simplemente, que si un nmero es compuesto alguno de sus factores (sin contar el 1) debe ser menor o igual que
n. Por lo tanto, el nmero de divisiones a realizar es mucho menor. Slo hay que dividir entre 2, 3, 4, 5, ... , [ n]. En
realidad, bastara hacer las divisiones entre los nmeros primos menores o iguales que n.
Ejemplo: Para probar que 227 es primo sabiendo que 227 = 15'0665... basta con ver que no es divisible entre
2, 3, 5, 7, 11 y 13.
Este procedimiento resulta eficiente para nmeros pequeos o que tienen factores pequeos. Sin embargo si el
nmero tiene por ejemplo unas 20 cifras y es primo, habr que realizar miles de millones de divisiones para
comprobarlo. Aunque un ordenador pueda realizar millones de divisiones en un segundo, el tiempo necesario es
bastante considerable. Y cuando el nmero de dgitos aumenta el tiempo necesario crece de forma exponencial!!
Ejemplo prctico: Supongamos que queremos saber si un nmero de unas 50 cifras es primo. La raz
cuadrada de un nmero de este orden est en torno a 10
25
. Si un ordenador hace 1000 millones de divisiones
por segundo, necesitar 10
25
/10
9
segundos; es decir, 10
16
segundos. Este tiempo equivale,
aproximadamente, a 1'6*10
14
minutos, que son 2'7*10
12
horas, o tambin 1'16*10
11
das, aproximadamente
3'17*10
8
aos. Que para hacer esto se necesiten 317.097.920 aos se me antoja una tarea poco
recomendable. Y si nos decidisemos a llevarla a cabo, sera til esta informacin pasado todo este
tiempo? O ms drstico todava, seguira existiendo nuestra especie entonces?
Debemos pues, buscar una alternativa que nos permita responder a este problema de una forma ms favorable;
necesitamos un algoritmo ms eficiente.
Una respuesta puede ser el teorema pequeo de Fermat. Este teorema afirma que si n es primo y mcd(a,n) = 1,
entonces a
n-1
1 (mod n). Hay que tener en cuenta que la exponenciacin modular puede realizarse en un tiempo
bastante favorable, si se hace de forma adecuada (hay algoritmos que nos dan la respuesta en tiempo polinmico)
Ejemplo: Queremos comprobar si el nmero 15 es primo o no (utilizando esta propiedad). Tomamos a = 2, n =
15, y evaluamos 2
14
(mod 15). La respuesta es 2
14
4 (mod 15). Podemos asegurar entonces que 15 es
compuesto. Probemos con a = 2, n = 341, evaluamos 2
340
(mod 341) y obtenemos que 2
340
1 (mod 341). Esto
no nos permite deducir que 341 sea compuesto, pero tampoco que sea primo. Al probar con a=3 tenemos 3
340

56 (mod 341), lo cual implica que 341 es compuesto.
A los nmeros que se comportan como el 341 en el ejemplo anterior se les llama pseudoprimos para la base 2
(se comportan como un primo para a=2). Este comportamiento es bastante ms peculiar peculiar para algunos
nmeros. Tomando por ejemplo a=2 y n=561, obtenemos que 2
560
1 (mod 561), 3
560
1 (mod 561), 5
560
1
(mod 561) y as con todas las bases con las que probemos. Es decir, se comporta como un primo para cualquier
base que elijamos. Sin embargo, 561 es compuesto (561 = 31117). A los nmeros que como ste, son
pseudoprimos para todas las bases se les llama nmeros de Carmichael. Los nmeros de Carmichael menores
que 100.000 son 561, 1105, 1729, 2465, 2821, 6601, 8911, 10585, 15841, 29341, 41041, 46657, 52633, 62745,
63973 y 75361.
Desde luego, no parecen muy abundantes. Los expertos se preguntaban en los aos 80 si seran un conjunto finito,
con lo cual una vez identificados se podran "evitar" fcilmente, aunque la creencia generalizada apuntaba a que el
conjunto era infinito. Se demostr que si un nmero es de Carmichael debe ser libre de cuadrados y producto de al
menos tres primos distintos. En 1994, Alford, Granville y Pomerance demostraron que existen infinitos nmeros de
Carmichael. De hecho, su resultado indica que para n suficientemente grande C(n) > n
2/7
, donde C(n) es la
cantidad de nmeros de Carmichael menores que n.
Para evitar este contratiempo, podemos recurrir a un teorema un poco ms fino debido a Euler. Este resultado
afirma que si n es primo y mcd (a,n)=1, entonces a
(n-1)/2
1 (mod n). Con esto evitamos que algunos nmeros
compuestos puedan pasar por primos como ocurre utilizando el teorema pequeo de Fermat.
Ejemplo: Para comprobar que 91 es compuesto basta ver 2
45
57 (mod 91). Y que pasa con un nmero de
Carmichael como el 561?. Veamos 2
280
1(mod 561), pero 5
280
67 (mod 561). Parece que esto funciona.
Pero todava podemos afinar un poco ms. La idea es que si n es primo, entonces Z
n
es un cuerpo. Y en un
cuerpo las nicas races cuadradas de 1 son 1 y -1. En el ltimo ejemplo estamos diciendo que Z
561
no es un
cuerpo porque en l, la raz de 1 es 67, y por tanto 561 no es primo. Si tomamos n-1 y lo dividimos entre 2 de forma
sucesiva, mientras sea posible, estamos extrayendo races cuadradas y se trata de comprobar si los resultados
dan siempre 1 -1. Esto da lugar al test de Miller-Rabin.
Ejemplo: Tomando n = 561 hacemos 2
280
(mod 561) 1 , 2
140
(mod 561) 67, que continuara con 2
70
y 2
35
,
pero ya no es necesario calcularlos porque tenemos que la raz cuadrada de 1 es 67 (mod 561). Por tanto, 561 es
compuesto.
Si al llegar a 2
35
no obtenemos un resultado distinto de +1 -1, tendramos que elegir otra base. Y ah es donde
podemos tener dificultades, porque si n es bastante grande quiz tengamos que probar con muchas bases y la
respuesta tardar en llegar. Y podemos empezar a preguntarnos si la tardanza se debe a que n es primo o porque
es un compuesto que se comporta como un primo para un conjunto "grande" de bases. Qu debemos hacer
entonces? La solucin es determinar el nmero de bases con las que tenemos que probar para asegurar que un
nmero compuesto no pase la prueba como si fuese primo.
Definiciones: Si un entero n compuesto e impar verifica la congruencia de Euler para la base b, entonces n es un
pseudoprimo de Euler para la base b. Asmismo, si n pasa el test de Miller-Rabin para la base b, entonces n es un
pseudoprimo fuerte para la base b. Los siguientes resultados nos dan la respuesta a la cuestin del prrafo
anterior.
Proposicin: Si n es compuesto e impar, al menos la mitad de las bases b que verifican 0<b<n, no satisfacen la
congruencia de Euler.
Teorema (Rabin): Si n es un entero compuesto impar, entonces n es un pseudoprimo fuerte para la base b, para a
lo sumo un 25% de las posibles bases que verifican 0 < b < n, mcd(b,n) = 1.
Desde luego que el teorema anterior no es para tirar cohetes. Probar con un 25% de las bases es algo
descomunal si n es un nmero grande. Sin embargo, tambin hay que decir, que experimentalmente se ha
comprobado que el test es mucho ms eficiente de lo que indica la acotacin del 25%. Es decir, cuando el nmero
es compuesto, basta probar con unas pocas bases (la mayora de veces con una sola) para demostrar que el
nmero es compuesto. Si probamos con varias bases y nuestro nmero pasa el test, la probabilidad de que sea
primo es muy pequea. Y se puede elegir el nmero de bases que queramos de manera que la probabilidad sea
menor que una cota prefijada de antemano.
Yendo un poco ms lejos, hay un resultado de Miller basado en la hiptesis generalizada de Riemann, que afirma lo
siguiente:
Teorema (Miller, 1976): Si la hiptesis generalizada de Riemann es cierta y n es un entero compuesto impar,
entonces n no pasa el test de Miller-Rabin para alguna base b < 2log
2
n (teorema de bach, aukemy,
montgomery 1985??)
Este resultado implicara un test de primalidad en tiempo polinmico del orden de O(log
5
n).
En la tabla de abajo podemos ver la cantidad de nmeros de Carmichael y pseudoprimos para la base 2. Por
ejemplo, el primer 1 de la fila que comienza con 10
3
indica que slo hay un nmero de Carmichael menor que 1000,
y el 3 que sigue que hay 3 pseudoprimos para la base 2 menores que 1000.
( Nota: Los pseudoprimos de Euler tambin son llamados a veces pseudoprimos de Euler-Jacobi )
10
n
Carmichael psprimos(2) pspEuler(2) pspFuerte(2)
10
1
0 0 0 0
10
2
0 0 0 0
10
3
1 3 1 0
10
4
7 22 12 5
10
5
16 78 36 16
10
6
43 245 114 46
10
7
105 750 375 162
10
8
255 2057 1071 488
10
9
646 5597 2939 1282
10
10
1547 14884 7706 3291
10
11
3605 38975 20417 8607
10
12
8241 101629 53332 22407
10
13
19279 264239 124882 58892
Tabla 2: Pseudoprimos y nmeros de Carmichael

Los primeros pseudoprimos para la base 2 son 341, 561, 645, 1105, 1387, 1729, 1905, 2047, 2465, 2701, ...
Los primeros pseudoprimos para la base 3 son 91, 121, 286, 671, 703, 949, 1105, 1541, 1729, 1891, 2821,...
Los primeros pseudoprimos para la base 5 son 4, 124, 217, 561, 781, 1541, 1729, 1891, ...
Los primeros pseudoprimos de Euler para la base 2 son 561, 1105, 1729, 1905, 2047, 2465, ...
Los primeros pseudoprimos de Euler para la base 3 son 121, 703, 1729, 1891, 2821, 3281, 7381, ...
Los primeros pseudoprimos fuertes para la base 2 son 2047, 3277, 4033, 4681, 8321, 15841, 29341, 42799,
49141, 52633, 65281, 74665, 80581, 85489, 88357, 90751, ...
Los primeros pseudoprimos fuertes para la base 3 son 121, 703, 1891, 3281, 8401, 8911, 10585, 12403,
16531, 18721, 19345, 23521, 31621, 44287, 47197, 55969, 63139, 74593, 79003, 82513, 87913, 88573, 97567,
...
Estos ejemplos nos permiten ver que si en lugar de la base 2 utilizamos las bases 2 y 3, los nmeros que pueden
pasar el test siendo compuestos son muchos menos. Y si tomamos ms bases todava, los resultados mejoran
considerablemente. Por ejemplo, slo hay un pseudoprimo fuerte para las bases 2, 3, 5 y 7 menor que 2510
9
, y
este nmero es 3,215,031,751.
La sucesin de los nmeros impares ms pequeos que pasan el test de Miller-Rabin usando los primeros k
nmeros primos para k = 1, 2, 3,... est dada por 2047, 1373653, 25326001, 3215031751, 2152302898747,
3474749660383, 341550071728321, 341550071728321, ... (Sloane A014233; Jaeschke 1993). Por lo tanto, el
test es totalmente determinista si usamos los siete primeros nmeros primos (con 8 no da ninguna mejora) para
nmeros menores menores de 3,410^14.
Lo que se hace en la prctica para nmeros muy grandes es tomar una serie de bases al azar y comprobar si se
verifican las congruencias. Si no se verifica en algn caso, el nmero es compuesto con total seguridad. Si se
verifican todas, hay una "sospecha" muy grande de que el nmero es primo, aunque no puede asegurarse. La
probabilidad de error puede hacerse tan pequea como se quiera con solo coger un nmero suficiente de bases.
Gracias a los trabajos de Pomerance, Selfridge y Wagstaff (1980) y Jaeschke (1993) podemos elaborar tests de
rpida ejecucin y completamente deterministas (usando Miller-Rabin) si consideramos nmeros hasta un cierto
tamao:
Para nmeros menores que 25,326,001 basta probar con las bases 2, 3 y 5.
Para nmeros menores que 4,759,123,141 basta probar con las bases 2, 7 y 61.
Para nmeros menores que 2,152,302,898,747 basta probar con las bases 2, 3, 5, 7 y 11.
Para nmeros menores que 341,550,071,728,321 basta probar con las bases 2, 3, 5, 7, 11, 13 y
17.
En 1980, Adleman publica un artculo titulado "On distinguishing prime numbers from composite numbers". Sus
resultados son mejorados por Pomerance, Rumely, Cohen, H.W. Lenstra y A.K. Lenstra. Esta trabajo conjunto junto
con el teorema que viene a continuacin dan lugar a un test de primalidad conocido como APR (hay ms de una
versin de este test)
Teorema (Odlyzko-Pomerance, 1982): Existe una constante c>0 efectivamente computable tal que para todo n >
e
e
existe un entero positivo t que satisface:
i) t es libre de cuadrados.
ii) 0 < t < (log n)
clog(log(log n))
y tal que s(t) > n , donde s(t) = { q Z
+
/ q primo y q-1 divisor de t }

El test APR seguira entonces los siguientes pasos:
Paso1: Introducimos un primo impar n.
Paso2: Buscamos (secuencialmente) un valor t que verifique s = s(t) > n.
Paso3: Factorizamos t. A sus factores p
i
les llamamos primos iniciales.
Paso4: Factorizamos s. A sus factores q
i
les llamamos primos eucldeos.
Paso5: Se comprueba que mcd (st, n) = 1 (si no es el caso, n no es primo)
Paso6: Para cada primo inicial p se tiene una de estas dos opciones:
a) n
p-1
1 (mod p
2
)
b) n
p-1
1 (mod p
2
) y para cada primo eucldeo q tal que p | q-1 existe un carcter (aplicacin de un grupo en el
cuerpo de los nmeros complejos) : Z
q
*
--------> G
p
de orden p y conductor q, tal que G()
n
()
n
G(
n
) mdulo
nZ[
p
,
q
] para algn 1 () G
p
(revisar)
Si se da el caso a) probamos con otro primo inicial y si se da b) seguimos con el paso 7.
Paso7: Para cada i = 0, 1, 2, 3, ... , t-1 se calcula mcd( n
i
(mod s) , n). Si alguno de los resultados obtenidos es un
nmero comprendido estrictamente entre 1 y n entonces el nmero n es compuesto. Si todos los resultados dan 1
n, entonces podemos estar seguros de que n es primo.
(continuar con AKS, Agrawal 2002)

Cuntos nmeros primos hay
Una de las primeras preguntas que podemos hacernos es si la cantidad de nmeros primos es finita o infinita.
Euclides de Alejandra demostr que hay infinitos. Supongamos que existe solamente un nmero finito de primos.
Sea C = { p
1
, p
2
, ... p
n
} el conjunto formado por todos ellos. Consideremos ahora el nmero M = p
1
p
2
... p
n
+1.
Como cada primo p
i
es mayor que 1, M es un nmero mayor que cualquiera de los p
i
; es decir, M no est en el
conjunto C y por tanto es compuesto. Admitir entonces una descomposicin como producto de factores primos
(por el teorema fundamental de la aritmtica). Por hiptesis, estos factores slo pueden estar entre los primos que
aparecen en el conjunto C. Por tanto, existir un primo q del conjunto C, tal que q | M y obviamente, q | p
1
p
2
... p
n
.
Por consiguiente, q divide a la diferencia M - p
1
p
2
... p
n
(que es 1). Pero ningn nmero primo divide a 1, y q es
un nmero primo que divide a 1 (Contradiccin). Concluimos entonces que el conjunto de los nmeros primos no
puede ser finito (q.e.d.)
Hay otras demostraciones posibles, como la de Euler, que se obtiene como corolario de un teorema que afirma
que la suma de la serie de los inversos de los nmeros primos es divergente. Otra demostracin ms reciente (y
sencilla de hacer) fue obtenida por Polya basndose en los nmeros de Fermat. Ms adelante veremos ms sobre
estos nmeros que se definen como F
n
=2^(2
n
)+1. As, F
1
=5, F
2
=17, F
3
=257, etc. Polya observ y demostr que
para todo k>0 se tiene que F
n
y F
n+k
son coprimos; es decir, no tienen factores comunes. Esto implica la infinitud
de los nmeros primos, ya que cada uno de los F
n
da lugar a uno o varios nmeros primos que no aparecen en los
anteriores nmeros de Fermat. Curioso, no? La demostracin es como sigue:
Observamos en primer lugar que todos los nmeros de Fermat son impares, evidente. En segundo lugar hay que
ver que F
n+k
-2 es mltiplo de F
n
para todo k>0. Para ello slo hay que seguir este clculo:
Ahora, si m 1 es un divisor comn de F
n
y F
n+k
, entonces m es divisor de F
n+k
- 2 y F
n+k
, y por tanto de su
diferencia; es decir, m es divisor de 2 al mismo tiempo que de F
n
que es impar. Contradiccin. Podemos concluir
entonces que cualesquiera dos nmeros de Fermat no tienen ningn factor en comn, q.e.d.
Otra demostracin interesante se la debemos a Erdos: Consideremos un nmero x fijo y sean p
1
, p
2
, ..., p
n
x, los
nmeros primos menores o iguales que x. .Como todo entero puede expresarse como producto de un cuadrado
por un nmero libre de cuadrados, podemos escribir cada entero m x de la forma
donde e
i
{0, 1} y Q
2
x. Podemos elegir los e
i
de 2
n
formas diferentes, y Q de r(x) formas y, por tanto, podemos
asegurar que todos los nmeros m x pueden escribirse alguna de estas 2
n
r(x) formas, o sea, x 2
n
r(x). Ahora,
despejamos n de esta expresin, x 4
n
, y por tanto, n ln x / ln 4. El nmero de primos es mayor que cualquier
nmero x fijado de antemano, q.e.d.

La sucesin de los nmeros primos
La sucesin de los nmeros primos es poco predecible. No sabemos si obedecern algn tipo de regla u
orden que no hemos sido capaces de descubrir todava. Durante siglos, las mentes ms preclaras intentaron poner
fin a esta situacin pero sin xito. Leonhard Euler coment en una ocasin: "Los matemticas han intentado en
vano hasta la fecha descubrir algn orden en la sucesin de los nmeros primos, y tenemos razones para creer que
es un misterio en el que la mente no podr penetrar nunca". En una conferencia dada por D. Zagier en 1975, ste
dijo: "Hay dos hechos en torno a la distribucin de los nmeros primos que espero crean tan abrumadoramente,
que quedarn por siempre grabadas en sus corazones. La primera es que a pesar de su sencilla definicin y de su
papel como ladrillos que construyen los nmeros naturales, los nmeros primos crecen como la mala hierba
alrededor de los nmeros naturales, simulando no obedecer otra ley que la del azar, y nadie puede predecir donde
brotar el siguiente. El segundo hecho es incluso ms asombroso, porque dice justamente lo opuesto: que los
nmeros primos hacen gala de una pasmosa regularidad, que hay leyes que gobiernan su comportamiento, y que
obedecen esas leyes con una precisin casi militar" (Havil 2003)
Euler commented "Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers,
and we have reason to believe that it is a mystery into which the mind will never penetrate" (Havil 2003, p. 163). In a 1975
lecture, D. Zagier commented "There are two facts about the distribution of prime numbers of which I hope to convince you
so overwhelmingly that they will be permanently engraved in your hearts. The first is that, despite their simple definition and
role as the building blocks of the natural numbers, the prime numbers grow like weeds among the natural numbers, seeming
to obey no other law than that of chance, and nobody can predict where the next one will sprout. The second fact is even
more astonishing, for it states just the opposite: that the prime numbers exhibit stunning regularity, that there are laws
governing their behavior, and that they obey these laws with almost military precision" (Havil 2003, p. 171).
Pero el espritu del hombre es obstinado y su inquietud por descubrir no conoce fronteras. As, con el paso de
los aos y los siglos se ha ido avanzando a pequeos pasos, pero tantos, que al mirar atrs parecen gigantescos.
En primer lugar presentamos una tabla con las cifras del nmero primo que ocupa el lugar 10
n
-simo. Lectura: El
primo que ocupa el lugar 1000 (10
3
) en la sucesin de los nmeros primos es 7919.
= n =
Primo 10
n
Nmero de cifras | = n =
Primo 10
n
Nmero de cifras
0 2 1 | 11 2760727302517 13
1 29 2 | 12 29996224275833 14
2 541 3 | 13 323780508946331 15
3 7919 4 | 14 3475385758524527 16
4 104729 6 | 15 37124508045065437 17
5 1299709 7 | 16 394906913903735329 18
6 15485863 8 | 17 4185296581467695669 19
7 179424673 9 | 18 44211790234832169331 20
8 2038074743 10 | 19 465675465116607065549 21
9 22801763489 11 | 20 4892055594575155744537 22
10 252097800623 12 | 21 ? 23
Tabla 3: Dgitos del 10
n
-simo primo

Otra posibilidad es contar cuntos primos acaban en una determinada cifra o cuntos son de una determinada
forma como 4k+1 4k+3. Por ejemplo, los nmeros primos de la forma 4k+1 son 5, 13, 17, 29, 37, 41, 53, 61, 73,
89, 97... y los de la forma 4k+3 son 3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83... Para abreviar los llamaremos
primos de tipo 1 y de tipo 3 respectivamente. Observamos que de los 24 primos enumerados, 11 son del tipo 1 y
13 del tipo 3. Contando el nmero de primos de cada tipo hasta 100.000 obtenemos:
x Primos 4k+1 Primos 4k+3 x Primos 4k+1 Primos 4k+3
100 11 13 10.000 609 619
200 21 24 20.000 1.125 1.136
300 29 32 50.000 2.549 2.583
400 37 40 70.000 3.491 3.443
500 44 50 100.000 4.783 4.808
600 51 57 200.000 8.995 8.988
700 59 65 300.000 13.026 12.970
800 67 71 400.000 16.967 16.892
900 74 79 500.000 20.804 20.733
1000 80 87 600.000 24.573 24.524
2000 147 155 700.000 28.306 28.236
3000 222 207 800.000 32.032 31.918
5000 329 339 900.000 35.676 35.597
7000 442 457 1.000.000 39.266 39.231
Tabla 4: Recuento de primos de la forma 4k+1 y 4k+3 desde 3 hasta x
Observamos que los primos de tipo 3 van ganando por un escaso margen a los de tipo 1. Este fenmeno fue
observado ya por Tchebychev, que se lo contaba en una carta a M. Fuss el 23 de marzo de 1853. Este sesgo
resulta quizs inesperado en vista de un importante resultado en la teora analtica de los nmeros conocido como
el teorema de los nmeros primos para progresiones aritmticas. Este resultado nos dice que, para todo mdulo
a, los primos tienden a distribuirse equitativamente entre las diferentes progresiones an + b tales que mcd(a, b) =
1. Esto implica entre otras cosas que cualquier progresin aritmtica contiene infinitos primos, hecho que fue
conjeturado ya por Gauss y demostrado por Dirichlet en 1837. Tambin nos permite deducir que existe "el mismo
nmero de primos" acabados en 1, 3, 7 9, tomando como progresiones aritmticas 10n+1, 10n+3, 10n+7 y
10n+9.
x 10n + 1 10n + 3 10n + 7 10n + 9
100 5 7 6 5
200 10 12 12 10
500 22 24 24 23
1.000 40 42 46 38
2.000 73 78 77 73
5.000 163 172 169 163
10.000 306 310 308 303
20.000 563 569 569 559
50.000 1274 1290 1288 1279
100.000 2387 2402 2411 2390
200.000 4478 4517 4503 4484
500.000 10386 10382 10403 10365
1.000.000 19617 19665 19621 19593

El intento de "controlar" los nmeros primos llevo a muchos a la bsqueda de algn tipo de frmula o expresin
algebraica que generase la sucesin de los nmeros primos. Goldbach demuestra en 1752 que no existe ningn
polinomio con coeficientes enteros que d nmeros primos para cualquier valor entero. Aos despus Legendre
demuestra que no existe ninguna funcin algebraica racional que cumpla tal requisito. Queda por decir que todava
se puede buscar un polinomio de forma que produzca una sucesin de nmeros primos lo ms larga posible. Euler
propuso el polinomio n
2
+ n + 41 que da nmeros primos para valores 0 n < 40 (tambin para 40 < n < 81 excepto
n = 41, 44, 49, 56, 65 y 76 [sucesin cuadrtica]).
Otro resultado que hay que mencionar, a pesar de los resultados de Goldbach y Legendre, es que se ha podido
encontrar un polinomio en 10 variables con coeficientes enteros que da nmeros primos siempre que se sustituyan
las variables por enteros no negativos. Jones, Sato, Wada y Wiens han hallado un polinomio de grado 25 en 26
variables cuyos valores positivos son exactamente los nmeros primos.
Otra frmula que produce nicamente nmeros primos tiene que ver con una constante q = 1'3063778...,
conocida como constante de Mills (el menor nmero que tiene esta propiedad). Tomando f(n) = [^(3
n
)] siempre se
obtienen nmeros primos, donde [x] representa la parte entera de x. Los primeros valores de f(n) son 2, 11, 1361,
2521008887, ... No se sabe todava si es racional o irracional (febrero 2012).
Hacia 1845 Joseph Bertrand propone que para cada entero positivo n, existe al menos un primo p tal que n < p <
2n. Esta proposicin conocida como postulado de Bertrand, fue demostrada por Tchebychev en 1850. En 1919,
Ramanujan prueba que para n > 5, existen al menos dos primos entre n y 2n; para n > 8, existen al menos tres
primos entre n y 2n; para n > ?, existen al menos cuatro primos entre n y 2n. De forma ms general, demuestra que
para cada k > 0, existen k primos entre n y 2n salvo para un nmero finito de casos. Erds, en 1932, consigue una
prueba bastante ms simple del caso de dos primos entre n y 2n para n>6, aadiendo adems que uno de esos
dos primos debe ser de la forma 4k+1 y el otro de la forma 4k+3.
Otra cuestin similar (pero ms restrictiva) haba sido propuesta por Legendre unos aos antes de la
demostracin de Tchebychev. Legendre conjetur que existe al menos un primo entre n y (n+1) para todo entero n
> 0. La conjetura sigue sin demostrarse. (febrero 2012)

El teorema del nmero primo
(n) n/log n Li(x)
La funcin que nos dice cuntos nmeros primos hay en el intervalo [0, n] se representa por (n) = # { p n , p
primo}. Legendre y Gauss dedicaron mucho tiempo y esfuerzo a calcular nmeros primos y contar los que haba en
grandes intervalos. Conjeturaron que el valor de (n) poda aproximarse por n/log(n).
Tchebychev, en su intento de demostrar esta conjetura, obtiene que existen dos constantes c
1
y c
2
verificando 0 <
c
1
1 c
2
< tales que
c
1
n / log(n) (n) c
2
n / log(n)
En 1881, James J. Sylvester da otro resultado similar pero mucho ms fino; a saber, que 0,96695 c
1
1 c
2

1,04423
El teorema del nmero primo nos da una aproximacin asinttica al valor de (n) y se expresa de la siguiente
forma:
Fue demostrado en primer lugar por Hadamard y de la Valle Poussin en 1896 basndose en algunas
propiedades de la funcin Zeta de Riemann.
Una mejor aproximacin de (x) es la funcin Li(x).
lo cual equivale a decir que se aproxima mejor a (n) que n/log(n).
En 1901, Koch demuestra que la Hiptesis de Riemann es equivalente a la desigualdad | (x) - Li(x) | cxln(x)
para alguna constante c. Erds en 1949 y Selberg en 1950 dieron demostraciones ms sencillas en el sentido que
no se apoyan en "herramientas de gran calibre" como la funcin zeta o similares.
Para valores de n no demasiado grandes se comprob que (n) < Li(n), lo cual dio lugar a la conjetura de que la
desigualdad se verificaba para todo valor de n. Sin embargo, la conjetura fue refutada en 1914 por Littlewood al
demostrar que ambas funciones se cruzan infinitas veces. Skewes demostr posteriormente que el primer
encuentro de ambas funciones ocurre para un n menor que 10^(10^(10^(34))). Este nmero ha sido reducido
despus hasta 10
371
.

x (x) Li(x)-(x) (x) Comments
10
6
78,498 129 -0.209
10
7
664,579 336 -0.1809
10
8
5,761,455 753 -0.1339 Meissel 1871
10
9
50,847,534 1,700 -0.0994 Meissel 1886 (Corrected)
10
10
455,052,511 3,103 -0.0594 Lehmer 1959 (Corrected)
10
11
4,118,054,813 11,587 -0.0725
10
12
37,607,912,018 38,262 -0.0781
10
13
346,065,536,839 108,970 -0.0723 Bohmann 1972 (Corrected)
10
14
3,204,941,750,802 314,889 -0.0678 Lagarias Miller Odlyzko 1985
10
15
29,844,570,422,669 1,052,618 -0.0735 LMO 1985
10
16
279,238,341,033,925 3,214,631 -0.0726 LMO 1985
10
17
2,623,557,157,654,233 7,956,588 -0.0581 Delglise Rivat 1994
10
18
24,739,954,287,740,860 21,949,554 -0.05177 Delglise Rivat 1994
10
19
234,057,667,276,344,607 99,877,774 -0.0760 Delglise 1996
10
20
2,220,819,602,560,918,840 222,744,643 -0.0546 Delglise 1996
2*10
20
4,374,267,703,076,959,271 472,270,046 -0.0823 X. Gourdon 2000 Nov
10
21
21,127,269,486,018,731,928 597,394,253 -0.0471 X. Gourdon 2000 Nov
2*10
21
41,644,391,885,053,857,293 1,454,564,714 -0.0816 pi(x) project, 2000 Dec
4*10
21
82,103,246,362,658,124,007 1,200,472,717 -0.0479 pi(x) project, 2000 Dec
10
22
10
22
201,467,286,689,315,906,290 1,932,355,207 -0.0491 pi(x) project, 2000 Dec
1.5*10
22
299,751,248,358,699,805,270 2,848,114,312 -0.0592 P. Demichel, X. Gourdon, 2001 Feb
2*10
22
397,382,840,070,993,192,736 2,732,289,619 -0.0493 pi(x) project, 2001 Feb
4*10
22
783,964,159,847,056,303,858 5,101,648,384 -0.0655 pi(x) project, 2001 Mar (Current world record)

(Aadir Hardy-Wright pag 10)

Nmeros de Fermat
Un nmero de Fermat es un nmero de la forma 2^2
n
+ 1. La sucesin de nmeros de Fermat para n = 0, 1, 2, ...
sera entonces 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, ... Cada uno de ellos duplica (o casi)
al anterior en nmero de cifras, lo cual da una idea de la rapidez con la que crecen. Fermat comprob que los cinco
primeros nmeros eran primos y conjetur que posiblemente todos ellos lo fuesen.
El gran cclope (Euler) fue el encargado de desmentir esta hiptesis al demostrar que F
5
= 4294967297 es
divisible por 641. Adems hasta la fecha (abril 2007) no se han vuelto a encontrar ms primos entre los nmeros de
Fermat.
Factores de los nmeros de Fermat son:
274.177 de F
6
, 59.649.589.127.497.217 de F
7
, 1.238.926.361.552.897 de F
8
, 2.424.833 de F
9
, 45.592.577 de
F
10
, ...

Primos de Mersenne y nmeros perfectos
A los nmeros primos de la forma 2
n
-1 se les llama primos de Mersenne. Es fcil demostrar que si 2
n
-1 es
primo, entonces n debe ser primo. Si suponemos que n es compuesto, pongamos n = ab (a, b>1), entonces
2
n
-1 = (2
a
)
b
-1 = (2
a
-1)(2
a(b-1)
+ 2
a(b-2)
+ ... + 2
a
+ 1)
y por lo tanto 2
n
-1 tambin es compuesto. Pero el hecho de que n sea primo no asegura que 2
n
-1 sea primo. Una
propiedad destacable es que si p es primo y 2
p
-1 es compuesto entonces sus factores son de la forma 2kp+1. Por
ejemplo pero 2
11
-1 = 2047 = 2389 y 23 = 211+1, 89 = 811+1.
Todava no se sabe si el nmero de primos de Mersenne es finito o infinito (diciembre 2010)
Un nmero entero se llama perfecto si es igual a la suma de sus divisores (sin contar el propio nmero). Los
casos ms sencillos son 6=1+2+3 y 28=1+2+4+7+14. Euclides demostr que si 2
n
-1 es un nmero primo, entonces
2
n-1
(2
n
-1) es un nmero perfecto. Euler demostr que todos los nmeros perfectos pares son de este tipo. Por
tanto, no se sabe si hay una cantidad finita o infinita de nmeros perfectos. Tampoco se sabe si existe algn
nmero perfecto que sea impar.
Tabla de nmeros primos de Mersenne conocidos (diciembre 2010)
Exponente Dgitos Ao Descubridor
2 1
3 1
5 2
7 3
13 4 1456
Annimo (H.Regius
1
)
17 8 1588
Cataldi (J. Scheybl
2
)
19 10 1588 Cataldi
31 12 1772 Euler
61 19 1883 Pervushin
89 27 1911 Powers
107 33 1914 Powers
127 39 1876 Lucas
521 157 1952 Robinson
607 183 1952 Robinson
1279 386 1952 Robinson
2203 664 1952 Robinson
2281 687 1952 Robinson
3217 969 1937 Riesel
4253 1.281 1961 Hurwitz
4423 1.332 1961 Hurwitz
9689 2.917 1963 Gillies
9941 2.993 1963 Gillies
11213 3.376 1963 Gillies
19937 6.002 1971 Tickerman
21701 6.533 1978 Noll y Nickel
23209 6.987 1979 Noll
44497 13.395 1979 Nelson y Slowinski
86243 25.962 1982 Slowinski
110503 33.265 1988 Colquitt y Welsh
132049 39.751 1983 Slowinski
216091 65.050 1985 Slowinski
756839 227.832 1992 Slowinski y Gage
859433 258.716 1994 Slowinski y Gage
1257787 378.632 1996 Slowinski y Gage
1398269 420.921 1996
GIMPS (Armengaud,
Woltman, et. al.)
2976221 895.932 1997
GIMPS (Spence,
Woltman, et. al.)
3021377 909.526 1998
GIMPS, PrimeNet
(Clarkson, Woltman,
Kurowski et. al.)
6972593 2.098.960 1999
GIMPS (Hajratwala,
Woltman, Kurowski
et. al.)
13466917 4.053.946 2001
Michael Cameron
(GIMPS, PrimeNet)
20996011 6.320.430 2003
Michael Shafer's
(GIMPS, PrimeNet)
Nota: No se han incluido los ltimos primos (que si aparecen en la tabla de abajo) porque aunque se sabe quien es
la madre todava no sabemos quien es el padre; quiero decir, que se sabe que son primos de Mersenne, pero no
se sabe si son los que siguen inmediatamente a los anteriores.
(1) Aunque el quinto nmero perfecto (primo de Mersenne)
Cazando primos titnicos
Los nmeros primos ms grandes conocidos hoy (diciembre de 2010) son:
Primo Dgitos Fecha Nombre Descubridor
2
43112609
-1
12.978.189 2008 Mersenne 47??
2
42643801
-1
12.837.064 2009 Mersenne 46??
2
37156667
-1
11.185.272 2008 Mersenne 45??
2
32582657
-1
9.808.358 2006 Mersenne 44??
2
30402457
-1
9.152.052 2005 Mersenne 43??
2
25964951
-1
7.816.230 2005 Mersenne 42?
2
24036583
-1
7.235.733 2004 Mersenne 41?
Josh Findley
(GIMPS, PrimeNet)
2
20996011
-1
6.320.430 2003 Mersenne 40
Michael Shafer's
(GIMPS, PrimeNet)
2
13466917
-1
4.053.946 2001 Mersenne 39
Michael Cameron
(GIMPS, PrimeNet)
27653
.
2
9167433
+1
2.759.677 2005 x
28433
.
2
7830457
+1
2.357.207 2004 x
2
6972593
-1 2.098.960 1999 Mersenne 38
Hajratwala, Woltman,
Kurowski et. al.
(GIMPS, PrimeNet)
5359
.
2
5054502
+1
1.521.561 2003 x
4847
.
2
3321063
+1
999.744 2005 x
2
3021377
-1 909.526 1998 Mersenne 37
Clarkson, Woltman,
Kurowski et. al.
(GIMPS, PrimeNet)
2
2976221
-1
895.932 1997 Mersenne 36
Spence, Woltman,
2
2976221
-1
895.932 1997 Mersenne 36
et. al. (GIMPS)
1372930
131072
+1
804.474 2003 Fermat General
1361244
131072
+1
1176694
131072
+1

La conjetura de los primos gemelos
Dos primos se llaman gemelos si se diferencian en dos unidades. Por ejemplo 5 y 7 tambin 29 y 31. Saber si
hay una cantidad finita o infinita de tales parejas es un problema abierto en mayo de 2007, aunque se cree
ampliamente que hay infinitos.
En 1919 Viggo Brun demostr que la suma de los inversos de los primos gemelos converge a un nmero que
llamaremos la constante de Brun para primos gemelos. Se representa como B
2
y su valor se estima en torno a
1.902160583104.
Alfonso de Polignac (1817-1890) fue un matemtico francs que conjetur que para cada nmero natural k>0,
existen infinitas parejas de primos que estn a una distancia de 2k. El caso k=1 es la conjetura de los primos
gemelos.
De forma similar al teorema del nmero del nmero primo, la conjetura de Hardy-Littlewood postula que el nmero
de primos p N, tales que p+2 es tambin primo se aproxima asintticamente a 2C
2
N/(Ln N)
2
, donde C
2
=
0,6601618158...
En 1940, Paul Erds demuestra que existe una constante c<1 e infinitos primos p tales que p'-p < cLn(p), donde p'
denota al menor nmero primo mayor que p (el primo que "sigue" a p). Con el paso de los aos, el resultado se fue
denota al menor nmero primo mayor que p (el primo que "sigue" a p). Con el paso de los aos, el resultado se fue
mejorando. En 1986, se demuestra que debe ser menor que 0,25; en 2004, menor que 0,0858; en 2005,
arbitrariamente pequea.
En 1966, Chen Jingrun demuestra que existen infinitos primos p tales que p + 2 es o primo o semiprimo (producto
de dos primos).
En febrero de 2012, la conjetura sigue abierta.
Curiosidades
La constante 0.235711131719232931374143..., obtenida concatenando los nmeros primos es un nmero
irracional.
Los primeros nmeros de la sucesin de Fibonacci que son primos son 2, 3, 5, 13, 89, 233, 1597, 28657, 514229,
... No se sabe todava si hay infinitos primos es esta famosa sucesin (2007)
Citas
Los matemticos han intentado en vano hasta hoy descubrir algn orden en la sucesin de los nmeros primos, y
tenemos razones para creer que es un misterio en el que la mente humana nunca podr penetrar (Leonhard Euler)
"Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we
have reason to believe that it is a mystery into which the human mind will never penetrate." Leonhard Euler
Puede que Dios no juegue a los dados con el universo, pero algo extrao est pasando con los nmeros primos
(Paul Erds)
"God may not play dice with the universe, but something strange is going on with the prime numbers." Paul Erds

Cmo se protege la cigarra con nmeros primos.
Las cigarras peridicas, muy especialmente la Magicicada septendecim , tienen el ciclo vital ms largo de todos
los insectos. Su nico ciclo vital empieza bajo tierra, donde las ninfas absorben pacientemente el zumo de las
races de los rboles. Entonces, despus de 17 aos de esperar, las cigarras adultas emergen de la tierra en gran
nmero e invaden temporalmente nuestro paisaje. Unas semanas despus se aparean, ponen los huevos y
mueren.
La cuestin que inquietaba a los zologos era: Por qu el ciclo vital de la cigarra es tan largo? Qu quiere decir
que el ciclo vital sea un nmero primo de aos? Otra especie, la Magicicada tredecim, aparece cada 13 aos, lo
que indica que los ciclos vitales que son un nmero primo de aos dan algn tipo de ventaja para la conservacin
de la vida.
Segn una teora, la cigarra tiene un parsito que tambin recorre un ciclo vital, y que la cigarra est intentando
evitar. Si el parsito tiene un ciclo vital, pongamos, de 2 aos, entonces la cigarra quiere evitar un ciclo vital que
sea divisible por 2, sin el parsito y la cigarra coincidirn regularmente. De esta manera parecida, si el parsito
tiene un ciclo vital de 3 aos, entonces la cigarra querr evitar un ciclo vital divisible por 3, si no el parsito y la
cigarra volvern a coincidir. . Al fin, si se quiere evitar de encontrase con su parsito, la mejor estrategia de la
cigarra es darse un ciclo de vida largo, que dure un nmero primo de aos. Como nada dividir el 17, la
Magicicada septendecim raramente se encontrar con su parsito. Si el parsito tiene un ciclo de 2 aos, solo se
encontrarn cada 34 aos, y si tiene un ciclo vital ms largo, de 16 aos por ej., slo se encontrarn cada 272 (16 x
17) aos.
En su turno, el parsito, si quiere luchar, slo tiene dos ciclos vitales que incrementan la frecuencia de las
coincidencias: el del ciclo anual y el mismo ciclo de 17 aos que la cigarra. Ahora bien, es poco probable que el
parsito pueda sobrevivir y reaparecer 17 aos seguidos, porque durante las 16 primeras apariciones no habr
cigarras a las cuales parasitar. De otro modo, si quieren conseguir el ciclo de 17 aos, las generaciones de
parsitos tendrn que evolucionar primero durante un ciclo vital de 16 aos. Esto significara que, en algn estadio
evolutivo de su vida, el parsito y la cigarra no coincidirn durante 272 aos! En cualquier caso, el largo ciclo vital
de las cigarras, y el nmero primo de aos, las protege.
Esto podra explicar por qu el supuesto parsito no ha sido encontrado nunca! En la lucha por coincidir con la
cigarra, el parsito probablemente ha continuado alargando su ciclo vital, hasta conseguir traspasar la barrera de
los 16 aos. Entonces dejar de coincidir durante 272 aos; mientras tanto su falta de coincidencia con las cigarras
le habr llevado a la extincin. El resultado es una cigarra con un ciclo vital de 17 aos; ciclo que ya no le hace
ninguna falta porque su parsito ya no existe.
Bibliografa: pgina 128 de "El enigma de Fermat"

Pgina principal

"The Agrawal -Kayal -Saxena Test
The answer is "yes", according to three computer scientists Indian Institute of Technology in Kanpur (IITK) named
Manindra Agrawal, Neeraj Kayal, and Nitin Saxena. They devised a new "Monte Carlo" test based on a corollary of
Fermat's prime theorem, then found a small set of r's that would determine if a number is prime guaranteed.
The pseudo algorithm goes as follows:
1. Input: Integer n > 1
2. if (n has the form ab with b > 1) then output COMPOSITE;
3. r := 2;
4. while (r < n) {
5. if (gcd(n,r) is not 1) then output COMPOSITE;
6. if (r is prime greater than 2) then {
7. let q be the largest factor of r-1;
8. if (q > 4sqrt(r)log n) and (n(r-1)/q is not 1 (mod r)) then
9. break;
10. }
11. r := r + 1;
12. }
13. for a := 1 to 2sqrt(r)log n {
14. if ( (x-a)n is not (xn-a) (mod xr-1,n) ) then output COMPOSITE;
15. }
16. output PRIME;
While understanding how it works is a bit difficult, the routine is fairly easy to follow, except line 14. So, let me explain
line 14 first. It is based on this corollary to Fermat's Little Prime Theorem:
Theorem A: Suppose that a and p are relatively prime integers with p > 1. p is prime if and only if
(x - a)p (xp - a) (mod p)
Proof. If p is prime, then p divides the binomial coefficients pCr for r = 1, 2, ... p-1. This shows that (x-1)p = (xp-ap)
(mod p), and the equation above follows via Fermat's Little Theorem. On the other hand, if p > 1 is composite, then it
has a prime divisor q. Let qk be the greatest power of q that divides p. Then qk does not divide pCq and is relatively
prime to ap-q, so the coefficient of the term xq on the left of the equation in the theorem is not zero, but it is on the
right.
The key to understanding this theorem is to recognize that x is meaningless here. We only really care about the
coefficients of the polynomial (x - a)p. As you may recall from Algebra, raising a binomial to a power p results in a
polynomial of degree p with p + 1 terms.
All but the first and the last term are going to be positive or negative integers with absolute value > 1. If p is prime
and a is relatively prime to p, then all of these coefficients will be divisible by p, thus modulo p of each term = 0
except for the first term xp and the last term -ap (which modulo p = -a, since a and p are relatively prime).
The problem is that it still takes exponential time to determine if p is prime using this test, because you have to
calculate p-1 coefficients and divide all by p to see if there is a remainder.
In 1999, Dr. Agrawal proposed a monte carlo test, which you can read about here, based on this theorem. To
shorten the test and bring it in P, the polynomial (x - a)p would be shortened by applying modulo xr - 1, which is just a
fancy but short way of saying "lets just look at the last r terms of (x - a)p" (4).
If r is sufficiently large enough, the only composite numbers that will sneak in are powers of odd primes which can be
tested for separately using a much easier test also in P. If you look at the algorithm, line 2 does exactly that test.
This make sense, because if you look at Pascal's Triangle, all of the binomial coefficients in which n = prime or a
power of an odd prime are all divisible by n (except for the 1's at the beginning and the ending of each line). In the
first 10 lines of Pascal's triangle, all of the numbers in lines 2, 3, 5, 7, and 9 are divisible by the line number, while
lines 4, 6, 8 and 10 have numbers that are not divisible, all being composites. Line 9 is the only odd line since it is a
power of an odd prime (3*3) (5).
So, to make a deterministic test in P, all we need to do is select an r big enough to rule out all composite p's that are
not powers of primes, but small enough to keep the complexity (growth) of the routine from being exponential.
In 2000, Kayal and Saxena used an unproven conjecture to to determine that r does not need to exceed 4(log2 p),
this paper can be found here. Thus, the time complexity of their routine is an amazing O(log3 n) and easily in P. Still,
an unproven conjecture is an unproven conjecture.
Instead of trying to prove the conjecture, what Drs. Agrawal, Kayal, and Saxena did was use a proven prime theorem
relating to Sophie Germain Primes. They proved that if you find a Sophie Germain pair of primes q and 2q +1 such
that q > 4(sqrt(2q +1)) log p, then r does not need to exceed 2(sqrt(2q + 1) log p. Their paper can be found here. A
peer review that details the theorem can be found here.
The biggest negative of this fix, is that the resulting test for primes becomes a recursive test as you can see from line
6 of the algorithm above. In order to test for prime p we have to test for prime r, etc. This causes our nice little O(log3
n) test to grow to an unwieldy but still polynomial O(log12 n).
So the explanation of the Algorithm is as follows:
* Line 1 inputs n
* Line 2 determines if n is a power of an odd prime (the only case that the rest of the routine will fail on) and returns
COMPOSITE if it is.
* Line 3 and 4 initialize the first required loop of r that ends on line 11 and 12.
* Line 5 determines if n and r are relatively prime (required by the Theorem A).
* Line 6 determines if r is prime, thus requiring a recursive call to the routine with r as the input.
* Lines 6 to 10 find the required Sophie Germain pair of primes and sets r to the highest of the two.
* Lines 13 to 15 are the second loop of a.
* Line 14 plugs in values a and r to Agrawal's prime test.
Now as far as I know, no one has written an actual computer program to apply this test (though there are no doubt
some graduate students at IITK working on doing just that.), and because of the large -- but still polynomial --
complexity, it may prove too much of a memory burden to test on really big numbers.
The real importance of this discovery is that finding primes is indeed in P, making much easier routines theoretically
possible. This has been a goal of mathematicians now for 2200 years."

Mimosa Pntic Mec Es Jgomez53 Matema Conocer Primos HTM

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Mimosa Pntic Mec Es Jgomez53 Matema Conocer Primos HTM

Загружено:

Авторское право:

Доступные форматы

pdfcrowd.com open in browser PRO version Are you a developer?

Try out the HTML to PDF API

Вам также может понравиться