You are on page 1of 8

Crticas

Los nmeros primos. Un largo camino al


infinito.

Javier Rodrigo Hitos


Revista de Investigacin

ISSN 2174-0410

1 de octubre de 2011

Resumen
En este artculo se hace un informe de un libro sobre los nmeros
primos perteneciente a la coleccin divulgativa El mundo es
matemtico. Dicha coleccin incluye otros libros que sern comentados
prximamente.

Palabras Clave: Divulgacin matemtica, nmeros primos, teora de los


nmeros

1. Ficha tcnica
Ttulo: Los nmeros primos.

Un largo camino al infinito

Autor: ENRIQUE GRACIN

N Pginas: 144

De la coleccin El mundo es matemtico

Editado por: RBA

1
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

ISBN: 9788498678185

Ao de Edicin: 2010

2. Crtica
El libro del que se hace el informe pertenece a una coleccin de
divulgacin de las matemticas. Por ello, el autor no presupone un nivel
matemtico alto del lector e introduce los temas de una forma adecuada,
incluyendo definiciones de todos los conceptos y yendo de menos a ms
hasta llegar a explicar de manera clara temas nada triviales siempre
relacionados con los nmeros primos. Se puede decir por tanto que el libro
est muy bien escrito, tanto en la parte matemtica como en la literaria,
quedando al alcance del pblico no especializado sin perder rigor.

Sin embargo, se aprecian aspectos mejorables que podran ser


modificados en prximas ediciones:

Hay un cierto desorden en los planteamientos. Por ejemplo, como se


indica ms abajo, el pequeo teorema de Fermat se enuncia varias veces de
distintas formas, algunas de ellas con erratas no completas. Quizs hubiera
sido mejor enunciar el teorema una sola vez y aludir a este enunciado cuando
fuese necesario.

Se incluyen descripciones muy bellas, como la de la biblioteca de


Alejandra, pero con una relacin tangencial con los nmeros primos, lo que
hace que a veces se pierda el hilo conductor del libro. Otras veces se incluyen
introducciones muy amplias a temas relacionados con los nmeros primos
pero que al final no se desarrollan mucho. Por ejemplo, cuando se habla del
matemtico Ramanujan, se incluyen muchos aspectos de su vida,
ancdotas, para concluir que su aportacin a los nmeros primos no es tan
interesante como la que hizo a otras facetas de las matemticas.

Da la sensacin de que la ltima parte del libro est escrita de forma ms


esquemtica, con ms prisas (quizs debido a presiones por el plazo de
entrega). Por ejemplo, cuando se expone el resultado de Agrawal, Kayak y
Saxena, no se definen los parmetros que aparecen, ni se explica demasiado
el alcance de dicho resultado.

Una ltima cosa que se echa en falta es la presentacin de ms conjeturas.


Aunque el libro es rico en conceptos y resultados referentes a los nmeros
primos, como se puede ver en las prximas secciones no se habla tanto de los

Revista Pensamiento Matemtico Nmero 1 Oct11 2


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

problemas abiertos, a pesar de que el estudio de los nmeros primos es una


de las partes de las matemticas con ms problemas abiertos en la actualidad,
muchos de ellos muy atractivos por sus enunciados sencillos de entender.

3. Matemticos que aparecen


Entendemos matemtico en el sentido amplio de aqul que hace
matemticas, independientemente de cul sea su profesin oficial. Con este
criterio, los matemticos incluidos en el libro son (por orden de aparicin):

Fermat, Euler, Cartan, Weil, Alphonse de Polignac, Mersenne, Ramanujan,


Pierre de Carcavi, Gauss, Bernard Frnicle de Bessy, Leibniz, Hensen, Jacob
Bernoulli, Johan Bernoulli, Mengoli, Fourier, Goldbach, Chen Jingrun,
Napier, Briggs, Hadarmard, de la Valle Pousin, Filolao, Riemann, Cardano,
Descartes, de Moivre, Vandermonde, Argand, DAlembert, Falconer,
Legendre, Dirichlet, Jacobi, Eisenstein, Hardy, Littlewood, Poincare,
Perelman, Matigasevich, Stechkin, Atkin, Wilson, Carmichael, Agrawal,
Kayal, Saxena.

4. Novelas con contenido matemtico a las que se


alude
Hay dos novelas recientes en las que se tratan los nmeros primos y de
las que este libro se hace eco. Son:

- La soledad de los nmeros primos (P. Giordano)

- El to Petros y la conjetura de Goldbach (A. Dioxadis)

Para ms informacin sobre las mismas, consultar las referencias.

5. Conceptos matemticos que se definen a los que


se alude
Los siguientes conceptos son definidos a lo largo del libro:

-Nmero primo: slo divisible por l mismo por la unidad

-Primos gemelos: dos primos consecutivos

Revista Pensamiento Matemtico Nmero 1 Oct11 3


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

-Primos relativos: nmeros que no tienen ningn factor primo comn

-Test de primalidad: prueba para ver si un nmero es primo

n
-Nmeros de Fermat: nmeros de la forma 2 2 + 1 . Si son primos, se les
llama primos de Fermat

-Nmeros de Mersenne: nmeros de la forma 2 n 1 . Si son primos, se les


llama primos de Mersenne

-Definicin de funcin

-Definicin de serie numrica

{
-Conjunto de los nmeros complejos: C = a + b i / a, b , i = 1 }
-Funcin compleja: funcin cuyas variables son complejas.


-Funcin de Riemann: Z(s ) =
1
n s
, s C
n=1

-Definicin de serie de Fourier (slo intuida)

-Producto de Euler: descomposicin de la funcin Z de Riemann en


productos que slo utilizan nmeros primos

-Definicin de logaritmo

-Funcin (x ) : da el nmero de primos menores que x

-Campana de Gauss: medida de la distribucin de los errores

-Polgono de Gauss: polgono regular de 17 lados construido con regla y


comps

-Definicin de clases de equivalencia (intuidas)

-Definicin de congruencias (aritmtica modular)

-n-simo nmero de taxicab: nmero natural ms pequeo que se puede


expresar como suma de 2 cubos positivos de n formas distintas. Se conocen

Revista Pensamiento Matemtico Nmero 1 Oct11 4


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

slo los 5 primeros

-Algoritmos polinomiales: procedimientos que resuelven el problema


utilizando una cantidad polinomial de tiempo (eficientes)

-Algoritmos exponenciales: procedimientos que resuelven el problema


utilizando una cantidad exponencial de tiempo (no eficientes)

-Problemas P: se pueden resolver en tiempo polinomial

-Problemas NP: se puede comprobar una solucin en tiempo polinomial

-Polinomio de Jones, Wado, Sata y Wienes: polinomio cuyos valores


positivos son todos primos

-Seudoprimo: Nmero que cumple una condicin necesaria para ser


primo sin serlo

-Nmeros de Carmichael: Nmeros que cumplen la condicin necesaria


para ser primo que da el pequeo teorema de Fermat, sin ser primos

6. Conjeturas de las que se habla


Se exponen las siguientes conjeturas acerca de los nmeros primos:
-Existen infinitos primos gemelos
-La generalizacin de la anterior: para todo nmero natural c existen
infinitas parejas de primos separados por 2 c

-Conjetura de Goldbach: todo nmero natural mayor que 2 puede


expresarse como la suma de dos primos.
-Conjetura de Riemann: la parte real de todo cero no trivial de la funcin
1
Z de Riemann es
2
- P = NP : todo problema que tiene un algoritmo de comprobacin
polinomial tiene un algoritmo de resolucin polinomial

7. Resultados que se exponen


Los siguientes resultados sobre los nmeros primos sobre temas
relacionados con ellos son mostrados en el libro:

Revista Pensamiento Matemtico Nmero 1 Oct11 5


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

-Teorema fundamental de la aritmtica: todo nmero natural se puede


descomponer como producto de nmeros primos de manera nica
-Existen infinitos nmeros primos (teorema de Euclides. Con bosquejo de
la demostracin)
-Existen n nmeros consecutivos compuestos para todo n (con bosquejo
de la demostracin)
-La nica terna de nmeros primos impares consecutivos es 3, 5, 7 (sin
demostracin)
- Todo nmero primo de la forma 4 n + 1 es suma de dos cuadrados
(teorema de Euler, conjeturado por Fermat)

-ltimo teorema de Fermat: la ecuacin x n + y n = z n no tiene soluciones


enteras no nulas si n > 2

-Pequeo teorema de Fermat: p divide a a p a para todo primo p y todo


entero a (demostrado por Euler)

1 2
-La suma de la serie n
n=1
2
es
6

-Todo nmero par suficientemente grande puede expresarse como la


suma de un primo y un nmero producto de a lo ms dos primos

-Teorema de los nmeros primos: (x ) es del orden de


x
log x

-La funcin Z de Riemann es igual al producto de Euler:

Z(x ) = 1 p
1
x
p primo

-Hay infinitos ceros no triviales de la funcin Z de Riemann y todos


tienen parte real entre 0 y 1
1
- Hay infinitos ceros de la funcin Z de Riemann con parte real
2
-1729 es el nmero natural ms pequeo expresable como suma de dos
cubos de dos formas distintas ( 1729 = 13 + 123 = 93 + 103 )
-p es primo si y slo si (p 1)! 1 (p ) (es decir, p es primo si y slo si p
divide a (p 1)!+1 )

- 2 43112609 1 es primo (mayor primo de Mersenne conocido hasta Junio de


2009)

Revista Pensamiento Matemtico Nmero 1 Oct11 6


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

8. Mtodos matemticos, algoritmos a los que se


alude
-Para localizar nmeros primos: criba de Eratstenes, criba geomtrica de
Matiyasevich, criba de Atkin
-Para cifrar y descifrar nmeros: algoritmos RSA, DSA, ECDSA
-Para comprobar si un nmero es primo: test de Lucas-Lehmer (test de
primalidad)

9. Erratas, errores, aspectos mejorables


Aunque como se ha dicho el libro es riguroso en el tratamiento
matemtico, tiene algn aspecto mejorable como ahora veremos,
especialmente en lo referente al tratamiento del pequeo teorema de Fermat.
-En la pgina 24, pone {2, 3, 5, 7} por {2, 3, 5, 7, 11, 13}

-En la pgina 47, es errneo el contraejemplo que se pone para ver que la
condicin del pequeo teorema de Fermat no es necesaria, ya que 10 no
divide a 310 3 . De forma anloga, el ejemplo de la pgina 86 de aplicacin
del pequeo teorema de Fermat para ver que un nmero no es primo es
errneo, ya que el nmero que se toma, 6, cumple el resultado con 4 aun no
siendo primo (parece como si estos ejemplos estuvieran intercambiados).
-En la pgina 47 se enuncia el pequeo teorema de Fermat con prdida de
generalidad: p divide a a p a si p es un primo que no divide a a (tambin se
cumple si p divide a a). Se vuelve a enunciar bien en la pgina 85. Se enuncia
otra vez bien en la pgina 132, pero se pone la condicin superflua de que a, p
sean primos relativos (incluida en las condiciones p primo, a < p )

1 1
-En la pgina 54 pone i =1
2i
por i
i =1

-En la segunda tabla de la pgina 83 est mal la primera columna.


-En la pgina 85 donde pone elevar p a alguno de esos nmeros debe
poner elevar alguno de esos nmeros a p

-En la pgina 88 donde pone i 4 = i debe poner i 4 = 1


-El dibujo de la pgina 91 sobra, ya que se mejora en la pgina 92 (aunque
en el mejorado aparece una a no definida)
-En la pgina 99 falta un 2 en el exponente de la y en la funcin f

Revista Pensamiento Matemtico Nmero 1 Oct11 7


ISSN 2174-0410
Crticas Los nmeros primos. Un largo camino al infinito. Javier Rodrigo Hitos

4 4
-En la pgina 103 pone Z(2) = por Z(4) =
90 90
- En la pgina 134, en curiosidades numricas, pone primos por primo. La
serie que dice que se forma aadiendo ceros a 91, en realidad aade nueves y
ceros.

- En la pgina 138, en la demostracin del pequeo teorema de Fermat, no


se indica el primer paso de la induccin (es trivial). Se ponen los nmeros
combinatorios con la lnea de fraccin y en la ltima ecuacin hay errores de
impresin en los exponentes.

Referencias
[1] DIOXADIS, Apostolos. El to Petros y la conjetura de Goldbach, Ediciones B,
Barcelona, 1998.

[2] GIORDANO, Paolo. La soledad de los nmeros primos, Editorial


Salamandra, Barcelona, 2009.

Sobre el autor:
Nombre: Javier Rodrigo Hitos
Correo Electrnico: jrodrigo@upcomillas.es
Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico.
Universidad Pontificia Comillas, Espaa.

Revista Pensamiento Matemtico Nmero 1 Oct11 8


ISSN 2174-0410