LA GACETA

557

EL

DIABLO DE LOS NUMEROS

Seccin a cargo de o Javier Cilleruelo Mateo

La conjetura de Goldbach
En una carta dirigida a Euler y fechada el 7 de Junio de 1742, Christian Goldbach (1690-1764) armaba haber observado que todo nmero par mayor u que 2 pod escribirse como suma de dos primos; y que todo nmero impar a u mayor que 5 se pod representar como suma de tres. La resolucin de la a o conjetura de Goldbach, como es conocido el primero de estos problemas, est a considerado como uno de los problemas ms dif a ciles de las matemticas. a Parece una broma el que un problema de enunciado tan sencillo sea inaccesible con las herramientas matemticas tan poderosas con las que se cuenta a hoy en d Sin embargo no es una excepcin; hace solo cuatro aos que Andrew a. o n Wiles consigui demostrar el ltimo teorema de Fermat, el cual compet o u a con la conjetura de Goldbach en sencillez y belleza. En los ultimos meses la conjetura de Goldbach se ha popularizado, ms a si cabe, debido a un motivo ms prosaico. Una editorial ha ofrecido un milln a o de libras a quien resuelva la conjetura en un plazo de 2 aos. No esta claro n si este incentivo intenta potenciar la investigacin en la teor de los nmeros o a u o simplemente es una operacin de propaganda de un libro reciente de la o misma editorial, Uncle Petros and Goldbachs Conjecture (El T Petros y o la Conjetura de Goldbach), del griego Apostolos Doxiadis. Sea como fuere, cualquier excusa es buena para hablar una vez ms de este problema y de las a matemticas tan extraordinarias a las que ha dado lugar. a
POR QUE SE PIENSA QUE LA CONJETURA ES CIERTA?

4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5 = 5 + 3, 10 = 3 + 7 = 5 + 5 = 7 + 3, 12 = 5 + 7 = 7 + 5, 14 = 3 + 11 = 7 + 7 = 11 + 3, 16 = 3 + 13 = 5 + 11 = 11 + 5 = 13 + 3, 18 = 5 + 13 = 7 + 11 = 11 + 7 = 13 + 5, 20 = 3 + 17 = 7 + 13 = 13 + 7 = 17 + 3, 22 = 3 + 19 = 5 + 17 = 11 + 11 = 17 + 5 = 19 + 3,

558

EL

DIABLO DE LOS NUMEROS

Carta de Goldbach a Euler

La conjetura ha sido vericada para todos los nmeros pares menores que u 4 1014 por Joerg Richstein (1998). Los primeros nmeros pares que acabamos de comprobar, no slo son reu o presentables como suma de dos primos, sino que el nmero de representaciones u de n como suma de dos primos, al que llamaremos r2 (n), parece crecer con n. Esto se debe, entre otras cosas, a que los primos son bastante numerosos. Si denimos (x) como el nmero de primos menores o iguales que x, el u teorema del nmero primo arma que (x) x/ log x. En otras palabras, la u probabilidad de que un entero de tamao n sea primo es aproximadamente n

LA GACETA

559

1/ log n. Desde este punto de vista probabil stico, es fcil comprobar que el a a nmero esperado para r2 (n) deber ser aproximadamente n/ log2 n. Sin emu bargo este argumento, basado simplemente en la densidad de los primos, no slo no es riguroso, sino que ofrece una visin equivocada del problema. Podeo o mos ofrecer ejemplos de conjuntos de impares ms numerosos que los primos a donde hay innitos pares que no son suma de dos elementos del conjunto. Por ejemplo, con los impares de la forma 4k + 1, que son mucho ms numerosos a que los primos, no podemos representar los mltiplos de 4. u Esta ultima observacin nos invita a pensar que no slo debemos tener o o en cuenta que hay muchos primos, sino que tambin habr que ver cmo se e a o distribuyen en progresiones aritmticas. Si, por ejemplo, todos los primos, salvo e quizs un nmero nito de ellos, fueran de la forma 6k + 1, habr innitos a u a nmeros pares de la forma 6n + 4 que no se podr representar como suma de u an dos primos. Pero este no es el caso. Dirichlet generaliz el teorema del nmero o u primo para progresiones aritmticas demostrando que existen innitos primos e en todas las progresiones aritmticas qk + d, k = 0, 1, 2, . . . siempre que q y e d no tengan divisores comunes, ya que de otra manera no ser posible. Si a llamamos (x, q; d) al nmero de tales primos menores que x, el teorema del u nmero primo para progresiones aritmticas arma que u e (x, q; d) x 1 , (q) log x

donde (q) indica el nmero de restos primos con q en el conjunto {1, . . . , q u 1}. En otras palabras, los primos estn bien distribuidos en progresiones a aritmticas. e

EL TEOREMA DE VINOGRADOV
Cuando los matemticos se enfrentan a un problema dif suelen intentar a cil un problema de las mismas caracter sticas pero ms accesible. Una manera a de relajar la conjetura de Goldbach consiste en considerar representaciones con ms de dos sumandos. Es cierto que todo nmero impar mayor que 5 a u se puede escribir como suma de tres primos? Si aludimos nuevamente a los argumentos probabil sticos comentados anteriormente deber amos esperar que a el nmero de representaciones de n como suma de tres primos, r3 (n), deber u a ser, aproximadamente n2 / log3 n. Y cuantos ms sumandos permitamos, mayor nmero de representaciones debemos esperar. u A principios de siglo se demostr, utilizando los mtodos de criba que o e comentaremos en la siguiente seccin, que los nmeros representables como o u suma de dos primos tienen densidad positiva en los nmeros enteros; es decir, u una proporcin positiva de ellos son representables como suma de dos primos. o Por otra parte, Schnirelman hab demostrado que si una sucesin de densidad a o positiva contiene al 0 y al 1, al sumarla con ella misma un nmero suciente u de veces, obtenemos todos los enteros positivos. De esta manera Schnirelman

560

EL

DIABLO DE LOS NUMEROS

logr demostrar que todo nmero entero sucientemente grande puede escribir o u como suma de, a lo ms, 800.000 nmeros primos. Anando el mtodo se pudo a u e ir reduciendo el nmero de sumandos. Pero an as se vio que este mtodo u u e ten sus limitaciones y que hab pocas esperanzas de reducir el nmero a a u de sumandos a 3, (problema ternario de Goldbach) y mucho menos a 2 (la conjetura de Goldbach). Se necesitaban nuevas ideas y stas vinieron de la mano de dos grandes e matemticos, G.H. Hardy y J.E. Littlewood. El mtodo del c a e rculo, como as se denomina a su original mtodo, es una de las maravillas de la matemticas. e a Lo comentaremos brevemente y sin demasiados detalles. Consideremos el polinomio trigonomtrico S() = pn e2ip y calculee mos la siguiente integral
1 0

S 3 ()e2in =

1 p,q,r 0

e2(p+q+rn)i .

Todas las integrales se anulan excepto aquellas para las que p + q + r = n, que valen 1. Es decir,
1

r3 (n) =

S 3 ()e2in .

Aparentemente hemos complicado el problema porque parece dif hallar el cil valor de S(). Pero, intentemos calcularlo para algunos valores concretos. Por p ejemplo S(0) = (n) y S(1/2) = (n). Para = 1/3 el valor de e2i 3 dependera de si p es de la forma 3k + 1 o de la forma 3k + 2. Es decir, S(1/3) = (n, 3; 1)e
2 i 3

+ (n, 3; 2)e

4 i 3

Pero el teorema de Dirichlet para primos en progresiones aritmticas arma e que 1 n , (n; 3, 1) (n; 3, 2) 2 log n de donde S(1/3) 1 n , 2 log n

y en general, utilizando el mismo argumento, se tiene S(a/q) 1 n log n (q) e

1lq,(l,q)=1
l 2 q i

Hardy y Littlewood observaron que la mayor contribucin de la integral o proven de los cercanos a racionales de denominador pequeo. La intea n gral sobre estos intervalos centrados en racionales a/q, (a, q) = 1, puede ser evaluada en funcin de los S(a/q). A estos intervalos se les denomina arcos o

LA GACETA

561

mayores y la integral sobre ellos va a constituir el trmino principal de la ine tegral. Si por el contrario no est cerca de estos racionales (arcos menores), a entonces la suma trigonomtrica S() tiene bastante cancelacin, la suciente e o para que la integral sobre los arcos menores sea pequea comparada con la n integral sobre los arcos mayores. De esta manera Hardy y Littlewood (1923) demostraron Teorema (Hardy-Littlewood) Si la Hiptesis de Riemann Generalizada o es cierta, entonces n2 r3 (n) 3 (n) 3 . log n o cita que depende de n, pero La funcin 3 (n) tiene una expresin expl o comprendida entre dos constantes. En 1937 Vinogradov demostr, sin necesidad de asumir la Hiptesis de o o Riemann, lo que hoy se conoce por el Teorema de Vinogradov. Teorema. (Vinogradov) Todo nmero impar sucientemente grande se u puede escribir como suma de tres primos. En 1989 Chen and Wang consiguieron sustituir la imprecisa expresin o sucientemente grande por todo impar mayor que 1043000 . Sin embargo este nmero es todav demasiado grande como para comprobar si los impau a res anteriores son representables como suma de tres primos. J.M.Deshouillers, G.Enger, H.te Riele y D.Zinoviv, asumiendo la Hiptesis de Riemann geneo ralizada, han conseguido rebajar este nmero hasta 2 1012 , accesible a las u tcnicas de computacin actuales. e o Teorema. (Deshouillers et al.) Si la Hiptesis de Riemann Generalizada o es cierta, entonces todo nmero impar mayor que 5 se puede escribir como u suma de tres primos. El mejor resultado incondicional (sin suponer a Hiptesis de Riemann), o vlido para todos los nmeros pares se debe a O. Ramar (1995). a u e Teorema. (Ramar) Todo nmero par se puede escribir como la suma de, e u a lo ms, 6 primos. a Por ejemplo, todav no se sabe si todo nmero impar mayor que 1 se a u puede escribir como suma de, a lo ms, 5 primos. a La Hiptesis de Riemann Generalizada, que ha aparecido frecuentemente o en el texto, est a ntimamente relacionada con el error se comete al estimar el nmero de primos en progresiones aritmticas. Si fuera cierta, el error que se u e cometer en dichas estimaciones ser pequeo y la estimacin de los S() a a n o ser ms precisa. a a Cuando se aplica el mtodo del c e rculo a la conjetura de Goldbach, incluso asumiendo la Hiptesis de Riemann, la acumulacin de errores que se obtiene o o cuando se estima la integral es mucho mayor que lo que se supone debe ser el trmino principal proveniente de los arcos mayores. Si se pudiera demostrar que e este error es menor que el trmino principal, se obtendr como conjeturaron e a,

562

EL

DIABLO DE LOS NUMEROS

n Hardy y Littlewood, r2 (n) 2 (n) log2 n , donde aqu de nuevo, 2 (n) es mayor que una constante positiva para todo n. Aunque ya hemos comentado que la estimacin de los errores en el mtodo o e del c rculo es muy mala, se pueden obtener buenos resultados en media. De esta manera Estermann (1938) demostr que casi todos los nmeros pares o u u satisfacen la conjetura de Goldbach. Es decir, si llamamos N2 (x) al nmero de pares menores que x no representables como suma de dos primos, entonces limx N (x)/x = 0.

EL TEOREMA DE CHEN
Otra manera de acercarse al problema es relajar la condicin de primos por o la de casiprimos (primos o producto de dos primos). En 1966, Chen Jing-Run, utilizando un mtodo de criba muy sosticado, obtuvo el siguiente resultado. e Teorema. (Chen) Todo nmero par sucientemente grande puede escriu birse como suma de un primo y un casiprimo. Comentemos brevemente qu son los mtodos de criba. De todos es coe e nocido la criba de Eratstenes para la obtencin de nmeros primos. Si un o o u nmero menor que x es compuesto, debe ser divisible por alg n primo menor u u u que x. Si vamos eliminando los mltiplos de 2, los de 3, los de 5, as hasta x, lo nmeros menores que x que sobrevivan a esta criba debern ser primos. u a Supngamos que queremos obtener el nmero de representaciones de un o u entero n par como suma de dos primos. Podemos proceder de una manera similar escribiendo todos los nmeros m(n m), m < n. Si m n m no u o es primo, el nmero m(n m) deber tener un divisor primo menor que n1/3 . u Entonces podemos ir tachando aquellos nmeros que sean mltiplos de primos u u u a menores que n1/3 . Los nmeros que sobrevivan a la criba sern de la forma m = p, n m = q. Es, decir, n = p + q. El problema es que cuando queremos contar el nmero de los que vamos tachando tenemos que aplicar el principio u de inclusin-exclusin. Por ejemplo, despus de restar los m ltiplos de 3 y los o o e u mltiplos de 5, debemos sumar los mltiplos de 15 porque los hemos restado u u dos veces anteriormente. En todo este proceso se va acumulando un error que no somos capaces de controlar porque n1/3 es demasiado grande. Chen consigui controlar dicho error cribando con los primos menores que n1/4 ; o pero los nmeros que sobreviven en este caso son de la forma m(n m) = pq u o de la forma m(n n) = pqr. Es decir, n = p + q n = p + qr. o

LOS PRIMOS GEMELOS

No podemos escribir sobre la conjetura de Goldbach sin mencionar la conjetura sobre la innitud de los primos gemelos. En 1849 A. de Polignac conjetur que para todo nmero par 2n hab innitas parejas de primos cuya o u a diferencia era 2n. El caso n = 1 corresponde una famosa conjetura. Existen

LA GACETA

563

innitas parejas de primos p, p + 2? A tales parejas se les denomina primos gemelos. Por ejemplo (3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61) y (71, 73) son todas las parejas de primos gemelos menores que 100. La mayor pareja de primos gemelos que se conoce se debe La Barbera, Jobling y Gallot (Octubre de 2000). 1693965 266443 1. Este problema, de 2000 aos de antiguedad, est intimamente relacionado con n a el de la conjetura de Goldbach. El primer resultado notable acerca de los primos gemelos se debe a Vigo Brun, quien demostr, utilizando mtodos de o e criba, que la suma de sus inversos es nita. Teorema. (Brun) p,p+2=p 1 < . p Por supuesto, esto no signica que haya un nmero nito de ellos; aunque u s que nos indica que no pueden ser demasiado numerosos. Conviene recordar aqu que la suma de los inversos de los primos es innita. Tambin podemos aplicar el mtodo de la criba al problema de los primos e e gemelos. En este caso escribiremos los nmeros de la forma m(m+2) para todo u impar m x. Si cribamos por todos los primos menores que x1/3 obtenemos primos gemelos menores que x. El argument utilizado por Chen en la Conjeo tura de Goldbach, cribando slo hasta los primos menores que x1/4 , permite o una cota inferior, que tiende a innito con x, para el nmero de parejas donde u uno es primo y el otro casiprimo. Teorema. (Chen) Existen innitas parejas que dieren en dos unidades donde uno de ellos es primo y el otro es casiprimo. Para terminar, quisiera aadir una reciente y sorprendente caracterizacin n o del problema de los primos gemelos debida a Mar Suzuki. a Teorema. (Mar Suzuki) Existen innitas parejas de primos gemelos si a y solo si existen innitos enteros positivos n que no se pueden escribir de la forma n = 6|ab| + a + b, con a, b enteros. La demostracin es elemental y su lectura recomendable. o

LECTURAS RECOMENDABLES
Para saciar la curiosidad de los lectores ms interesados recomiendo los a siguientes textos, art culos y pginas web relacionados con la conjetura de a Goldbach.
[1] CILLERUELO, JAVIER, CORDOBA, ANTONIO. La Teor de os nmeros, Mondadori a u (1992). Hay un cap tulo dedicado a los mtodos de criba donde se demuestra el teoe rema de Vigo Brun y el teorema de Schnirelmann.

[2] GUY, RICHARD. Unsolved Problems in Number Theory, 2nd edition, Springer-Verlag, New York, (1995). Extensa coleccin de problemas sin resolver, con muchas refereno cias.

564

EL

DIABLO DE LOS NUMEROS

[3] HARDY, G. H., WRIGHT, E. An introduction to the Theory of Numbers, Oxford at the Clarendom Press (1997). Un clsico de la teor de los nmeros. a a u [4] NATHANSON, MELVYN B. Additive number theory: The Classical Bases, Graduate Texts in Mathematics 165, Springer-Verlag (1996). Un texto avanzado y bien escrito, que incluye las demostraciones del Teorema de Vinogradov y del Teorema de Chen. [5] RIBENBOIM, PAULO. The New Book of Prime Number Records, 3rd edition SpringerVerlag, New York (1995). Un libro de fcil lectura muy recomendable. a [6] WANG, Y. Goldbachs conjecture World Scientic Publ., Singapore (1984).

Pginas web de inters para un pblico mayoritario: a e u

http://platea.pntic.mec.es/aperez4/ Una pgina excelente de matea

mticas, en castellano. a

http://members.es.tripod.de/somriure/index.htm Una pgina en casa

tellano dedicada a la teor de nmeros a u

http://mathworld.wolfram.com/GoldbachConjecture.html Una pgina a

sobre la Conjetura de Goldbach con bastantes referencias. Pginas web de inters para profesionales: a e

http://www.dpmms.cam.ac.uk/Number-Theory-Web/web.html La pgina a
de referencia para todos los profesionales de la teor de lod nmeros. a u

http://www.math.uga.edu/andrew/ Pgina personal de Andrew Granville a con art culos muy buenos de teor de nmeros que se pueden descargar. a u http://www.dpmms.cam.ac.uk/wtg10/ Pgina personal del medalla Fields a Tim Gowers. Contiene su versin del Teorema de Vinogradov y enlaces muy seleccioo nados.

Bibliograf a
[1] CHEN, JING- RUN. On the representation of a large even number as the sum of a prime and the product of at mot two primes, Sci. Sinica, 16 (1973), 157-176. [2] DESHOUILLERS, J. M., EFFINGER, G. RIELE H. TE ZINOVIEV, D. A Complete Vinogradov 3-Primes Theorem under the Riemann Hypothesis, ERA Amer.Math.Soc.,3 (1997), 94-104. [3] ESTERMANN, T. On Goldbachs Problem: Proof that Almost All Even Positive Integers are Sums of Two Primes Proc. London Math. Soc. Ser. 2 44, (1938), 307-314. [4] HARDY, G. H., LITTLEWOOD, J.E. Some problems of Partitio Numerorm, III: On the expression of a number as a sum of primes, Acta MAth, 44 (1923), 1-70.
[5] RAMARE, O. On Schnirelmanns constant, Ann. Sc. Norm. Super. Pisa, 22:4 (1995), 645-706.

[6] RICHSTEIN, JOERG Verifying the Goldbach Conjecture up to Computation, (por aparecer)

4 1014 , Mathematics of

LA GACETA

565

[7] SUZUKI, MARIA. Alternative Formulations of the Twin Prime Problem, American Mathematical Monthly, 107 (Enero-2000), 55-56. [8] VINOGRADOV, I. M. Representation of an odd number as the sum of three primes, Dokl. Akad. Nauk SSSR, 15 (1937), 169-172.

Javier Cilleruelo Mateo, Departamento Matemticas, a Universidad Autnoma de Madrid, o Cantoblanco, 28049 Madrid. correo electrnico: franciscojavier.cilleruelo@uam.es o