You are on page 1of 4
LA DEMOSTRACION ELEMENTAL DEL TEOREMA DE LOS NUMEROS PRIMOS Javier Cilleruelo Mateo En 1949 Paul Erdds y Atle Selberg sorprendieron ala comunidad matemétl- ‘ea con una nueva demostracion del teorema de los nimeros primos en la que por primera vez, 6lo se habian utilizado argumentos de naturaleza elemental ‘Teorema (nimeros primos). £1 ntimero de primos menores 0 iguales que (2), satsface fa relacion asinestica 10 ay El teorema habia sido probado 50 aftos antes por J. Hadamard y C, De la Vallée Poussin. Pero aquella demostracién,y otras simplificaciones posteriores se hablan apoyado en la poderosa maquinaria de la teorfa de funciones de variable compleja que se habia estado desarrollando durante la segunda mitad del Siglo XIX, Debemos remontarnos a los albores de las matemticas y reco- rer la historia de los nmeros primos para saborear el gran acontecimlento {que supuso esta nueva demostracién, de eardcter elemental, ue evitaba la uti Tizaci6n de todo tipo de téenieas a os origenes El teorema fundamental de la aritméticaafitma que todos los enteros mayo- res que I, se pueden expresar como producto de nimeros primos y de manera ini, salvo por el orden de los factores. Son, por lo tanto, los objetos mas rele- vvantes de los ndmeros enteros, siendo ademis los responsables de las propie- ddades aritméticas de éstos. La prueba de este resultado, que ya era conocido por los ptagéricos, aparece en el libro IX de los Elementos de Euclides. {Cuando se acaba la lsta de los ndimeros primos, 2, 3, 5,7, 11,13, ..2 Eucldes argument6 que si hubiera un nimero finito de nimeros primos, 1 a ~ Pyentonces el niimero N=, Pk + 1 n0 podria ser divisible por nlnguno de estos primos; es decir por ningtn primo, contradiciendo por tanto l teorema fundamental de la aritmetica ‘Teorema (Euclides). Existen infnitos niimeros primos. Los némeros primos van apareciendo de una manera muy erratica, pero cada vee con menor Irecuencia, en ia sucesién de los niimeros enteros. El teo- rema de Buclides nos asegura que hay infinitos nimeros primos. Pero, geémo ‘de numerosos son?, ;eudntos nimeros primos hay menores que x? EL gran matemético Leonhard Euler (1707-1789) encontré una identidad 'maravillosa que relacionaba los nimeros primos con los ndimeros enteros: Las matematicas del siglo XX us 49 f4on( Eady Es cll convencers de avalide de eta Kenda, Cad uno dels lato res del producto es igual a al multipicar en todos los primos obtenemos una suma infinita de fracctones onde los denominadares son producto de primoe © potenciaa de primos cle ‘vados a s. El teorema fundamental dela aritmeélica nos asegura que aparecen todos los nimeros naturales y solamente una vez cada uno. ‘ise toman logaritmos en la identidad y hacemos tender s — |, la parte de Ja izquierda tiende a infinito y la parte de la derecha tiende, salvo por un tér- ‘mino finito, ala suma de los Inversos de los primos. De esta manera, Euler \demostré uno de los muchos teorema que levan su nombre. ‘Teorewa (ler), 1a sua de los inversos de los primos es infnita, En particular, como ya se sabia desde Euclid, el eorema de Euler plea laexistencla de fits nimeras primes. Pro también implleaba alo mos brimos tienen que ser bastante numerosos para que asia diver Legendre, 621796, fee primero en conjeturar quem (4), el nmero de pritos menores ue x, debiaaproximarse asnttcamente 7£—- Por las mises leas, KF Gauss, uttizando una inmensa tabla de nds primos que mismo haba consrudo,observd que la densa de los pros en un entorno de mera aproximadamente ;!--, por lo que el nimero de prnios menotes que « debera ser, 0S rake ‘TeoREMA (Chebyshev). Existen dos constantes postioas c < I< C. tales que © ge + 8 log p log q = x log x + 0 (x). La identidad de Setberg se deducta facllmente del teorema de los nimeros pprimos y cra, on un cierto sentido, cercana al levreit, Pero ya que SelDerg hhabia encontrado una demostracion elemental de dicha identidad que evitaba el teorema del nimero primo, cab la esperanza de ir en el otro sentido wtil- zando solamente métodos elementales. Paul Erdés fue quien intuy6 esta post bilidad y dio un paso decisivo en esa direceién, Segin Selberg La demostracion orginal se basen el siguiente resultado de Ends: para todo 8> 0 existe un KG) > 0 tal que six es sulclentemente grande, entonces hay mis de KG GE ros en el nterelo Ge» 8). Este resultado, que Erdos habia deducldo a partir de la identidad de Selberg, les permiié a ambos y de manera independiente (segin firma Selberg), concluir con Ia demostracién elemental del teorema de los nimeros primes. Siempre ha existido una sombra que ha rodeado a tan notable descubri- ‘miento, Si bien la demostracion habia sido completamente “elemental” la cole- boracion entre ambos no dejé de ser “compleja". Entre Erdos y Selberg hubs intereambio de ideas, y parece ser que la primera inteneiGn fue publicar el resultado conjuntamente. No est claro que ocurrié para que al final. publica- sen dos articulos por separado, aunque parece que tuvo que ver con ello el hecho de que Selberg consigulera una demostracién que prescindla del paso Intermedio dado por Erdés. ‘Sea como fuere, este desagradable incidente, que les distanci6 para siem- bre, no debe empafar la impresionante trayectoria matemtica de ambos. Paul Erdos (1913-1996), hingaro, ha sido, con mas de 1600 articuls, el ‘segundo matematico més prolifico de todos les tiempos, solamente superado or Euler. Colabor6 con 460 matematicos diferentes, Su hablidad con los méto. dos elementales, combinatorios y probabilisticos Impulsé muchas areas de la teorfa de niimeros y de la combinatoria, Atle Selbeng (1917, noruego, es uno de los més grandes matematicos de este sigo. En 1950 le fue concedida la medalla Fields por sus trabajos sobre los métodos de criba y sobre los ceros de la funcién zeta de Riemann, Bibiograta Erdos “Ona new method in elementary number theory whlch Ids o an elementary roof ofthe prime number theorem” Proc. Nat. Acad Se. USA, Vol $5, 1985 pp. 374384 Selberg A: "An elementary proot ofthe primesumber theorem’, Annals of Mathematics, VoL 50.Nod, Apr. 1988 pp 308313, 246, La demostracin elemental dl teorema de los nimeros primos

You might also like