Professional Documents
Culture Documents
1
1.1
Numerosas tablillas de arcilla seca atribuidas a las civilizaciones que se fueron sucediendo en Mesopotamia a lo
largo del II milenio a.C. muestran la resolucin de problemas aritmticos y atestiguan los conocimientos de la
poca. Los clculos requeran conocer los inversos de los
naturales, que tambin se han hallado en tablillas.[7] En
el sistema sexagesimal que empleaban los babilonios para
escribir los nmeros, los inversos de los divisores de potencias de 60 (nmeros regulares) se calculan fcilmente;
por ejemplo, dividir entre 24 equivale a multiplicar por
150 (260+30) y correr la coma sexagesimal dos lugares.
El conocimiento matemtico de los babilonios necesitaba
una slida comprensin de la multiplicacin, la divisin
y la factorizacin de los naturales.
requera conocimientos sobre las operaciones, la divisin de naturales y la factorizacin. Los egipcios slo
operaban con las llamadas fracciones egipcias, suma de
fracciones unitarias, es decir, aquellas cuyo numerador
es 1, como 12 , 13 , 14 , 15 , . . . , por lo que las fracciones de
numerador distinto de 1 se escriban como suma( de inversos de naturales,
a ser posible sin repeticin 12 + 16
) [8]
1
1
en lugar de 3 + 3 . Es por ello que, en cierta manera,
tenan que conocer o intuir los nmeros primos.[9]
1.2
Antigua Grecia
Pierre de Fermat.
Un fragmento de los Elementos de Euclides encontrado en
Oxirrinco.
1.3
Matemticas modernas
Fermat conjetur que todos los nmeros de la forma Actualmente no se comprueba la primalidad de un nmen
22 +1 eran primos (debido a lo cual se los conoce como ro por divisiones sucesivas, al menos no si el nmero es
nmeros de Fermat) y veric esta propiedad hasta n = relativamente grande.
3
Durante el siglo XIX se desarrollaron algoritmos para saber si un nmero es primo o no factorizando completamente el nmero siguiente (p+1) o el anterior (p-1). Dentro del primer caso se encuentra el test de Lucas-Lehmer,
desarrollado a partir de 1856. Dentro del segundo caso
se encuentra el test de Ppin para los nmeros de Fermat
(1877). El caso general de test de primalidad cuando el
nmero inmediatamente anterior se encuentra completamente factorizado se denomina test de Lucas.
La cuestin acerca de si el nmero 1 debe o no considerarse primo est basada en la convencin. Ambas posturas
tienen sus ventajas y sus inconvenientes. De hecho, hasta
el siglo XIX, los matemticos en su mayora lo consideraban primo. Muchos trabajos matemticos siguen siendo vlidos a pesar de considerar el 1 como un nmero
primo, como, por ejemplo, el de Stern y Zeisel. La lisPosteriormente se encontraron algoritmos de primalidad ta de Derrick Norman Lehmer de nmeros primos hasta
con slo obtener una factorizacin parcial de p+1 o p- el 10.006.721, reimpresa hasta el ao 1956[14] empezaba
1. Ejemplos de estos algoritmos son el test de Proth con el 1 como primer nmero primo.[15]
(desarrollado alrededor de 1878) y el test de Pockling- Actualmente, la comunidad matemtica se inclina por no
ton (1914). En estos algoritmos se requiere que el pro- considerar al 1 en la lista de los nmeros primos. Esta
ducto de los factores primos conocidos de p-1 sea mayor convencin, por ejemplo, permite una formulacin muy
que la raz cuadrada de p. Ms recientemente, en 1975, econmica del teorema fundamental de la aritmtica: toBrillhart, Lehmer y Selfridge desarrollaron el test BLS do nmero natural tiene una representacin nica como
de primalidad que slo requiere que dicho producto sea producto de factores primos, salvo el orden.[16][17] Ademayor que la raz cbica de p. El mejor mtodo conoci- ms, los nmeros primos tienen numerosas propiedades
do de esta clase es el test de Konyagin y Pomerance del de las que carece el 1, tales como la relacin del nmero
ao 1997, que requiere que dicho producto sea mayor que con el valor correspondiente de la funcin de Euler o la
p3/10 .[10][11]
funcin divisor.[18]
A partir de la dcada de 1970 varios investigadores descubrieron algoritmos para determinar si cualquier nmero es primo o no con complejidad subexponencial, lo que 3
permite realizar tests en nmeros de miles de dgitos, aunque son mucho ms lentos que los mtodos anteriores.
Ejemplos de estos algoritmos son el test APRT-CL (desarrollado en 1979 por Adleman, Pomerance y Rumely, con 3.1
mejoras introducidas por Cohen y Lenstra en 1984), donde se usan los factores de pm 1, donde el exponente m
depende del tamao del nmero cuya primalidad se desea
vericar, el test de primalidad por curvas elpticas (desarrollado en 1986 por S. Goldwasser, J. Kilian y mejorado
por A. O. L. Atkin), que entrega un certicado consistente en una serie de nmeros que permite despus conrmar rpidamente si el nmero es primo o no. El desarrollo
ms reciente es el test de primalidad AKS (2002), que si
bien su complejidad es polinmica, para los nmeros que
puede manejar la tecnologa actual es el ms lento de los
tres.
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 22 313149, 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=22 3 es
60=22 35.
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.
3.2
Otras propiedades
(s) =
1
1
=
.
s
n
1 ps
p
n=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:
1
p 1p1 = (Correspondiente
a la serie armnica, relacionado con
la innitud de nmeros primos).
2
1
p 1p2 = 6 . (Correspondiente al problema de Basilea).
4.1
3.3
Nmeros primos y funciones aritmti- IX de su obra Elementos[19] Una adaptacin comn de esta demostracin original sigue as: Se toma un conjunto
cas
4.1.1
Otros enunciados que implican la innitud de El empeo de demostrar esta conjetura abarc todo el silos nmeros primos
glo XIX. Los primeros resultados fueron obtenidos entre
1848 y 1859 por Chebyshov, quien demostr utilizando
Un resultado an ms fuerte, y que implica directamente mtodos puramente aritmticos la existencia de dos consla innitud de los nmeros primos, fue descubierto por tantes A y B tales que
Euler en el siglo XVIII. Establece que la serie 12 + 13 +
1
1
5 + 7 +. . . es divergente. Uno de los teoremas de Mertens
concreta ms, estableciendo que
(n)
A n B
ln n
1
[21]
pn p = ln ln n + O(1)
para n sucientemente grande. Consigui demostrar que,
donde la expresin O(1) indica que ese trmino est aco- si exista el lmite del cociente de aquellas expresiones,
tado entre -C y C para n mayor que n0 , donde los valores ste deba ser 1.
de C y n0 no estn especicados.[22]
Hadamard y De la Valle-Poussin elaboraron una deOtro resultado es el teorema de Dirichlet, que dice as:
El postulado de Bertrand enuncia as:
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.
4.2
(n) Li(n) =
2
1
dx
ln x
a ln n
(n) Li(n) = O ne
(
=O
n
(ln n)m
para una constante positiva a y para cada entero m. Este resultado fue ligeramente mejorado a lo largo de los
aos. Por otra parte, en 1901 Von Koch mostr que si
la hiptesis de Riemann era cierta, se tena la siguiente
estimacin, ms precisa:[24]
|(n) Li(n)| = O
(
)
n ln n .
4.4
Conclusin
6! + 4 = 724 = 4 181
6! + 5 = 725 = 5 145
6! + 6 = 726 = 6 121
El siguiente valor, 6!+7=727, es primo.[25] 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 se- En una conferencia de 1975, Don Zagier coment:
parados de ocho unidades es (89, 97), mientras que 8! es
igual a 40.320.
Hay dos hechos sobre la distribucin de los
La sucesin de las diferencias entre primos
consecutivos[26] ha sido profusamente estudiada en
matemticas, y alrededor de este concepto se han
establecido muchas conjeturas que permanecen sin
resolver.
4.4
Conclusin
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 denicin 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.[28]
5
5.1
yor factor primo que se necesita no es mayor que n, dejando el nmero de candidatos a factor primo en cerca
de
ln n 1
Esta expresin crece cada vez ms lentamente en funcin
de n, pero, como los n grandes son de inters, el nmero
de candidatos tambin se hace grande: por ejemplo, para
n = 1020 se tienen 450 millones de candidatos.
La criba de Eratstenes fue concebida por Eratstenes de Cirene, un matemtico griego del siglo III a. C. Es un algoritmo sencillo que permite encontrar todos los nmeros primos menores o
iguales que un nmero dado.
Asimismo, existen otros muchos tests de primalidad deterministas que se basan en propiedades que caracterizan
a los nmeros primos, pero su utilidad computacional depende mucho del test usado. Por ejemplo, se podra emplear el teorema de Wilson para calcular la primalidad
de un nmero, pero tiene el inconveniente de requerir
el clculo de un factorial, una operacin computacionalmente prohibitiva cuando se manejan nmeros grandes.
Aqu entre en juego el tiempo de ejecucin del algoritmo
empleado, que se expresa en la notacin de Landau. Para poder determinar la primalidad de nmeros cada vez
ms grandes (de miles de cifras) se buscan aquellos algoritmos cuyo tiempo de ejecucin crezca lo ms lentamente posible, a ser posible, que se pueda expresar como un
polinomio. Si bien el test de primalidad AKS cumple con
esta condicin, para el rango de nmeros que se usa en la
prctica este algoritmo es extremadamente lento.
Por otra parte, a menudo basta con tener una respuesta ms rpida con una alta probabilidad (aunque no segura) de ser cierta. Se puede comprobar rpidamente la
primalidad de un nmero relativamente grande mediante tests de primalidad probabilsticos. Estos tests suelen
tomar un nmero aleatorio llamado testigo e introducirlo en una frmula junto con el nmero potencialmente
primo n. Despus de varias iteraciones, se resuelve que
n es denitivamente compuesto o bien probablemente
primo. Estos ltimos nmeros pueden ser primos o bien
pseudoprimos (nmeros compuestos que pasan el test de
primalidad). Algunos de estos tests no son perfectos: puede haber nmeros compuestos que el test considere probablemente primos independientemente del testigo utilizado. Esos nmeros reciben el nombre de pseudoprimos absolutos para ese test. Por ejemplo, los nmeros de
Carmichael son nmeros compuestos, pero el test de Fermat los evala como probablemente primos. Sin embargo, los tests probabilsticos ms utilizados, como el test de
Miller-Rabin o el obsoleto test de Solovay-Strassen, superado por el anterior, no tienen este inconveniente, aun
siendo igualmente tests probabilsticos.
Algunos tests probabilsticos podran pasar a ser determinsticos y algunos tests pueden mejorar su tiempo de
ejecucin si se verican algunas hiptesis matemticas.
Por ejemplo, si se verica la hiptesis generalizada de
n
Riemann, se puede emplear una versin determinstica
ln n 1
del test de Miller-Rabin, y el test de primalidad por curDe esta forma, para determinar la primalidad de n, el ma- vas elpticas podra mejorar notablemente su tiempo de
En efecto, el nmero de nmeros primos menores que n
es aproximadamente
5.3
ejecucin si se vericaran algunas hiptesis de teora ana- que p es un nmero primo si y slo si (p1)!1 (mod
ltica de nmeros.
p). Otro ejemplo: la funcin f(n) = 2 + ( 2(n!) mod (n+1))
genera todos los nmeros primos, slo los nmeros primos, y slo el valor 2 se toma ms de una vez. Sin embargo, ambas frmulas se basan en el clculo de un factorial,
5.2 Algoritmos de factorizacin
lo que las hace computacionalmente inviables.
Un algoritmo de factorizacin es un algoritmo que separa En la bsqueda de estas funciones, se han investigado nouno a uno los factores primos de un nmero. Los algorit- tablemente las funciones polinmicas. Cabe subrayar que
mos de factorizacin pueden funcionar tambin a modo ningn polinomio, aun en varias variables, toma slo vade tests de primalidad, pero en general tienen un tiem- lores primos.[31] Por ejemplo, el polinomio en una variapo de ejecucin menos ventajoso. Por ejemplo, se puede ble f(n) = n n + 41 devuelve valores primos para n
modicar el algoritmo de divisin por tentativa de forma = 0,, 40, 43, pero f(41) y f(42) son compuestos. Si
que no se detenga cuando se obtenga una divisin exacta, el trmino constante vale cero, entonces el polinomio es
sino que siga realizando nuevas divisiones, y no sobre el mltiplo de n, por lo que el polinomio es compuesto panmero original, sino sobre el cociente obtenido. Despus ra valores compuestos de n. En caso contrario, si c es el
de la divisin por tentativa, los mtodos ms antiguos que trmino constante, entonces f(cn) es mltiplo de c, por
se conocen son el mtodo de Fermat, que se basa en las lo que si el polinomio no es constante, necesariamente
diferencias entre cuadrados y que es especialmente ecaz deber incluir valores compuestos.
cuando n es el producto de dos nmeros primos prximos
entre s, y el mtodo de Euler, que se basa en la represen- Sin embargo, hay polinomios en varias variables cuyos
tacin de n como suma de dos cuadrados de dos formas valores positivos (cuando las variables recorren los nmeros naturales) son precisamente los nmeros primos.
distintas.
Un ejemplo es este polinomio descubierto por Jones, SaMs recientemente, se han elaborado algoritmos basados to, Wada y Wiens en 1976:[31]
en una gran variedad de tcnicas, como las fracciones
continuas o las curvas elpticas, aunque algunos son mejoras de mtodos anteriores (la criba cuadrtica, por ejem2
2
2 2
2
2 2
plo, se basa en una mejora del mtodo de Fermat y po- (1(wz+h+jq) (2n+p+q+ze) (a y y +1x ) . . .
see complejidad computacional subexponencial sobre el
3
2
2 2
3
2
2 2
nmero de cifras de n). Otros, como el mtodo rho de (e (e+2)(a+1) +1o ) (16(k+1) (k+2)(n+1) +1f ) . . .
Pollard, son probabilsticos, y no garantizan hallar los di(((a+u2 (u2 a))2 1)(n+4dy)2 +1(x+cu)2 )2 (ai+k+1li)
visores de un nmero compuesto.
2
2 4
2
2 2
Hoy por hoy, el algoritmo determinstico ms rpido de ((gk+2g+k+1)(h+j)+hz) (16r y (a 1)+1u ) . . .
uso general es el general number eld sieve, que tambin
2
2
2
posee complejidad computacional subexponencial sobre (pm+l(an1)+b(2an+2an 2n2)) (zpm+plap
el nmero de cifras de n.[29] Se ha propuesto un algoritmo (qx+y(ap1)+s(2ap+2ap2 2p2))2 (a2 l2 l2 +1m2 )2
cuyo tiempo de ejecucin es polinmico sobre el nmero
de cifras de n (el algoritmo de Shor), pero requiere ser Al igual que ocurre con las frmulas con factoriales, este
ejecutado en un ordenador cuntico, ya que su simula- polinomio no es prctico de calcular, ya que, aunque los
cin en un ordenador normal requiere un tiempo expo- valores positivos que toma son todos primos, prcticanencial. No se conocen algoritmos para factorizar en una mente no devuelve otra cosa que valores negativos cuancomputadora tradicional en tiempo polinmico y tampo- do se hacen variar las variables a a z de 0 a innito.
co se demostr que esto sea imposible.
Otro enfoque al problema de encontrar una funcin que
5.3
primos
es siempre un nmero primo, donde es la funcin piso.[32] Todava no se conoce ninguna frmula para calcular la constante de Mills, y las aproximaciones que se
emplean en la actualidad se basa en la sucesin de los as
llamados nmeros primos de Mills (los nmeros primos
generados mediante esta frmula), que no pueden ser obAdems, se desea que la funcin se pueda calcular en la tenidos rigurosamente, sino slo de manera probabilstiprctica.[30] Por ejemplo, el teorema de Wilson asegura ca, suponiendo cierta la hiptesis de Riemann.
10
6.1
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.[35]
Los nmeros primos primoriales, directamente relacionados con la demostracin euclidiana de la innitud 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, [33]
n! + 1 es primo para n = 0, 1, 2, 3, 11, 27, 37,
41, 73, 77, 116, 154, 320, [34]
6.2
7.2
Otras conjeturas
11
proporcionado prueba de que dicha armacin sea zeta est ntimamente relacionada con los nmeros pricierta.
mos.
2q +1
3
La veracidad de la hiptesis implica una profunda conexin con los nmeros primos, en esencia, en el caso de
vericarse, dice que los nmeros primos estn distribuidos de la forma ms regular posible. Desde un punto de
vista fsico, dice grosso modo que las irregularidades
en la distribucin de los nmeros primos slo proceden
de ruido aleatorio. Desde un punto de vista matemtico,
dice que la distribucin asinttica de los nmeros primos
(segn el teorema de los nmeros primos, la proporcin
1
de primos menores que n es ln(n)
) tambin es cierta para
intervalos mucho menores, con un error de aproximadamente la raz cuadrada de n (para intervalos prximos a
n). Est ampliamente extendido en la comunidad matemtica que la hiptesis sea cierta. En concreto, la presuncin ms simple es que los nmeros primos no deberan
tener irregularidades signicativas en su distribucin sin
una buena razn.[43]
El que se le d un nombre a una clase de nmeros primos con una denicin precisa no signica 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, 7.2 Otras conjeturas
la bsqueda de nmeros primos de esta clase fuera tambin la bsqueda de un contraejemplo del ltimo teorema 7.2.1 Innitud de ciertos tipos de nmeros primos
de Fermat.[42]
Muchas conjeturas tratan sobre si hay innitos nmeros
primos de una determinada forma. As, se conjetura que
hay innitos nmeros primos de Fibonacci[44] e inni7 Conjeturas
tos primos de Mersenne, pero slo un nmero nito de
primos de Fermat.[45] No se sabe si hay innitos nmeros
Existen numerosas preguntas abiertas acerca de los nprimos de Euclides.
meros primos. Muchas de ellas son problemas bien antiguos, y una de las ms signicativas es la hiptesis de
Riemann, varias veces mencionada en este artculo como
7.2.2 Distribucin de los nmeros primos
una conjetura que, de ser cierta, permitira conocer numerosos resultados relevantes en diversos campos de las
Tambin hay numerosas conjeturas que se ocupan de dematemticas.
terminadas propiedades de la distribucin de los nmeros
primos. As, la conjetura de los nmeros primos gemelos
enuncia que hay innitos nmeros primos gemelos, que
7.1 Hiptesis de Riemann
son pares de primos cuya diferencia es de 2. La conjetura
Para entender la hiptesis de Riemann, una conjetura de Polignac es una versin ms general y ms fuerte de
enunciada en 1859 pero que, hasta la fecha (2015), si- la anterior, ya que enuncia que, para cada entero positivo
gue sin resolverse, es necesario entender la funcin zeta n, hay innitos pares de primos consecutivos que dieren
de Riemann. Sea s un nmero complejo con parte real en 2n. A su vez, una versin ms dbil de la conjetura de
Polignac dice que todo nmero par es la diferencia de dos
mayor que 1. Entonces,
nmeros primos.
1
1
(s) = n=1 ns = p 1ps .
Asimismo, se conjetura la innidad de los primos de la
forma n2 + 1. Segn la conjetura de Brocard, entre los
La segunda igualdad es una consecuencia del teorema cuadrados de primos consecutivos mayores que 2 existen
fundamental de la aritmtica, y muestra que la funcin siempre al menos cuatro nmeros primos. La conjetura
12
pn+1 pn
(log pn )2
=1
8.1
13
de los enteros gaussianos, (2) se ramica en potencia de
un primo (ya que 1 + i y 1 i generan el mismo ideal
primo), los ideales primos de la forma 4k + 3 son inertes
(mantienen su primalidad) y los de la forma 4k + 1 pasan
a ser producto de dos ideales primos distintos.
duracin es un nmero primo para crear ritmos impredecibles. Segn Messiaen, esta forma de componer fue
inspirada por los movimientos de la naturaleza, movimientos de duraciones libres y desiguales.[50]
8.4
Nudos primos
Aplicaciones en la computacin
El algoritmo RSA se basa en la obtencin de la clave pblica mediante la multiplicacin de dos nmeros grandes
(mayores que 10100 ) que sean primos. La seguridad de
este algoritmo radica en que no se conocen maneras rpidas de factorizar un nmero grande en sus factores primos
utilizando computadoras tradicionales.
10
11 Vase tambin
Criptografa
Espiral de Ulam
Matemtica
Test de primalidad
Anexo:Nmeros primos
14
12
12
Referencias
REFERENCIAS
[20] DiAmOnD (2008). Demostracin topolgica de la innitud de los nmeros primos.. Consultado el 5 de junio
de 2009.
[21] Vase, por ejemplo, An Introduction to the Theory of
Numbers, p. 24. (en ingls)
[22] En general, en la notacin de Landau, f (n)O(g(n)) indica que f (n) est dominada
asintticamente por O(g(n)) ,
(n)
es decir, lim supn fg(n)
< . Para ms informacin, lea
notacin de Landau.
[23] Con esta expresin se quiere decir que el lmite de la razn entre las dos expresiones tiende a 1 cuando n tiende a
innito.
[24] von Koch, Helge (1901). Sur la distribution des nombres premiers. SpringerLink. Consultado el 6 de junio
de 2009.
[25] Ntese que esto no tiene por qu ser verdad en general, por
ejemplo, si n es impar, se tiene que n!+(n+1) es divisible
entre 2.
[26] (sucesin A001223 en OEIS)
[27] Julian Havil, Gamma: Exploring Eulers Constant (tapa dura). Princeton: Princeton University Press (2003): 163 (en
ingls)
[10] Crandall, Richard (2001). Prime numbers, a computational perspective. Nueva York: Springer-Verlag. ISBN 0387-94777-9.
[28] Julian Havil, Gamma: Exploring Eulers Constant (tapa dura). Princeton: Princeton University Press (2003): 171
15
13
Enlaces externos
Criba de Eratstenes para buscar los nmeros primos aplicada en C/C++. Brainum Code.
The Prime Pages
Sobre el artculo de Manindra Agrawal et al. PRIMES IS IN P, en donde arman: We present a deterministic polynomial-time algorithm that determines whether an input number n is prime or composite mathmistakes
Algoritmos ecientes para calcular nmeros primos,
por Steve Litt
Es este nmero primo?
16
14
14.1
14.2
Imgenes
14.3
Licencia de contenido
17
Archivo:Sieve_of_Eratosthenes_animation.gif
Fuente:
https://upload.wikimedia.org/wikipedia/commons/b/b9/Sieve_of_
Eratosthenes_animation.gif Licencia: CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:TrefoilKnot-01.png Fuente: https://upload.wikimedia.org/wikipedia/commons/d/df/TrefoilKnot-01.png Licencia: Public domain Colaboradores: ? Artista original: ?
14.3
Licencia de contenido