LOS PRIMEROS 50 MILLONES DE. NUMEROS PRIMOS [Me gustaria bablaies hoy sobre una materia ‘que, aunque nina he trabajado en ella, me ha cau “Teed siempre extexordinariamente, y que he fas ‘nado Jos matemdticoe desde ln antiqued hasta ‘el presente es decir, la custin de la distebucon ‘eles nisrres primos ‘Todoscertamenteconocen lo que os un nimero ‘primo’ ev an mimero natural mayor quo 1 que no ‘8 divisible por otro nimero natural excepto por 1 sta al senos es la deiniciin del expedalisa en “Teoria de Nimores; otros matematiens a veces des ‘tras defiiciones, Para cl espeialista en Teoria de Funciones, por ejemplo, un mimero primo es una rir de la fein analitien sen (0) 1S para el dedicado al Algebra es “a caracteristica de tn euszpo nit” 6 “um punto de Spee(Z)" 6 "una ‘aluncign a0 arqimediana”; un especialsta en Com. Dinntoria dear lao mmero primos indutivamen- torpor la rcurencia* moa)h > Poss = [1-0 donde | enota el mayor entero < 2; y Hnalmon- 1, ls lpvos han definidorecentemente ls primos Pee ine 8 0878 - se (hai ie 3 a ante ‘his al ar edn an Bee Boe Sec Eee Po, ah (9m) be ‘come los valores positivos del painomio ® Flasbediesfrsshisishs rm Poasr hth 2,42) = +2) [t— (we th+j—9)?~Qntptass—)? moby yh 1-23) ((e eat} 1-0 = (6+ IPE Bn ee AP = Woeut wo)? —1} (e+ 4dy}241- feu)? (ait b+1—1-s)?—((gkt2gtket}{hej}—A-2)® = (162g fa? —1)42-w (mean) + b(2an + 20—n? —2n— 29)? = (2— pm pla p14 e(20p— 9? 1)? = (@— 2+ y(0—p-1) + s(2ap +2022)? = (82-24. m= (n sl +e— yh) Pero espero que eténastisfechos con Ia pliers Aafia que ls ay dos heehee sobre la distibucign de los ni- eras prince de las que espero convenceres tan fNertemeate que queden permanentemente grabe- dda en sus corzones Le primera ce que, a per desu sencilla deni y de su papel como lari los en la construccn de lo meres naturales, Jos timerce primos pertenecen la clase mis ar Litratia_y perverse de los objets estudindos por Jos matematcos: erpen como malas hierbas entre Jos ntmeros naturales, parecen no obedecer ota ley ‘qu ls del azar, y mie puede predocs donde bro- tard el siguiente, El segundo hecho es incluso més soxprendente, ps arma justo lo contario: que los ‘nimeros primos exhben sorprendentas regulars dos, que hay Teyes que gobierman su comportamien- to, y que obedecen estas lees cast cow precisia militar, ‘Para sostener ta primera de esta afro, Ajenme comensar mostrandoles una Ista de los ‘nimetosprimos y cempuests hasta 100 (en a que ‘parte dl 2 he incsida aslo los mimeros impares). Plow Diphaninespeettn fthe e of rine sun ates fe har at Soe 3, OHTAPRIMOs | COMPUBSTOS Ta |e 3M ol oo 7 5 un ola soa Tow n| a 8 na pla a os 3 8 w) 33 3 OL vy @ | 35 6 10 8a | 30 ao 05 97 90 otras dos Ista on los primes comprendios entre les 100 nimecoe que preceden y siguen inmedisto- mente 210 llores: ‘Niimeroa primes] Niimeres prlinos ‘8999300 y 10000000 | 10 000000 y 10000 00 Isousor go9DIs 10000070 ‘s000907 osovo7t 10000070 ‘9000920 9100973 ‘9900851 9:09.99 ‘9900937 ne Tinagino ea etardn de aaverdo conmigo @ que ro hay raodn aparente del porgué un nimero et primo y otro no. Por ef eontraro, mirando estos ‘nimeros uno thane la snsacion de estar en presen- ‘a de uno de le inexplenble scretos de Is cea ‘in, Que ince lo matemsieos no han ponetrado fn ate screto se musa convincenternente viendo fl ardor con ol cual buscan nimeros primos eada ‘ver nds grances —com mimeros que crecen regula ‘ante, como madradoe 0 potenclas de do, nadie se olestarin en eeribir ejemplos nayores que ls pre iamente cooeidos, pero para los niimerosprimos flgunoa se han tomado un ran trabajo en hacer justo ezo, Por ejemplo, en 1876 Lucas probs que el ‘mero 227 ~ 1 eg primo, y durante 15 afos o- too se mejoné —lo que quizés no es sorpendente ‘anda uno ve este mimere: oar _7o1489460160231731687905715884105727. [No fue hasta 1951, con Ia aparicin de los comps- tadores electrics, qua feron desbiertoe primos Iayores. En is tabla que aparece a continuacién, pueden ver lor datos de los sucesivos records * Interne hs Bin core Sean eae oe GS wt A Sins a et ae Ta yore lr eam 2 digitos [Auster Fe Hee) 1051 Pn TMQ AL ages | mc wo Pa Yet cr yi late dee 0s2| oe oon ve oer 607 | ae a are ram 1961| Sticans weir as fon 1962 om 1963/ ke a sooo | Ta ‘Mas interesante, sn embargo, eI custién de las layer que goblernan alos nitmeres primes. Ya. hemos visto una Ista de os primes hasta el 100. ‘Ales precena ln misma informecién grea te: La funcign designed por #(z) cobre la que les Iblacécontineamentea parte de este momento) c= el nimero de nimeroe price que no superna 7; por tanto +(2) comierza en Oy salta en unaunidad needa nimero primo 2, 3,5, te. Yan estegriicn podem wer qu, a pessr de pequeias oslaciones, (zen conjunc exec bastenteregularmente, ie il ht tt) en Eons pu dele ora 31 (prax) ° = — Froura 1 Pero si extendemos el dominio de valores de 2 dade cien hasta cinoventa ml, entonees esta ro ‘lordad se hace sorprendeatomsent clara, pues el {rico ahora aparece as: | 0) Prouna 2 Para mi, la suavided con que esta curva sube es uno de los hechos mis sorprendentas en fs mae Pero donde la natualezsrevela un esquema, «5 snare que aparecetén cientifioas buscando una ex pllcacién. La regularidad observada en los primos ho es excepcin a eta rela. Noes dificil encontrar tine formula emptia que dé una buena deseripein ‘del crecimiento de oe msimeron primes. Por debajo ‘de 100 hay 29 prumos, eto e, Ia cuara parte oe Tee mimeras, por debajo de 1000 hay 168, 0 sea al rededor do un sexe; hasta 10.000 hy 1229 prtnos, ‘S decir alrededor co un octavo. Siextendemos c= lista, ealeulando la proporcién de nimeros px tos entre loe mimes naturales hasta cien mil, un mill, et, entoncis encontrames la siguiente tabla (Gn la que los valores de m(2), tnbulados tan fe ‘mente agus, epresmtan miles de horas de monéto- oe eles) ® we) fate) 10 4 25 100 2 40 1000 168 6.0 10,000 1209 5 100,000 oso ws 3,000,000, 15,498 127 10000000 664,570 15,0 o0oi,o00 5,761,455 174 1,000,000,000 s0847834 19,7 10,00,000,000 485,052,512 22,0 ‘Vemos aqué que a raxén de 0 n(2) sata apro- sximadamente 2,3 cuando pasamos de na potencia {eDalasiguiente Un matemétio inmediatamen- ta recanoce 2,3 cono el logartmo de 10 (respecto fia bese e, naturalments), Somos condueides por tanto conjesurar que ren donde el simbolo ~ sgaiiea que la ean xt2)/(2/ log) tlende a 1 cuando tind a nfito. Feta reacién (que no fue probada ints 1896) so conoce como fl teorema de Joe admeras primes. Gauss ol ma- yor matemitieo de todos, Ia descubrié «Ia edad Se quince ace estudinndo lan taba de nimeros primoe contenido en un ibeo de logartmos que le Ihabjan reglado el so anterior. Durante todas vi «ds Gauss estuvo muy intoresado en la distribucion els meres prinos e hio extensos edeulos. Ba luna carts Ene“ deveribe cémo, muy a menudo, SR Sem Met ca i ending‘emmplenba un euarto de hare perdido en conta otra laiada més (esto es, un interalo de 1,000 nme tee) aq yall hasta que nalimence habia contado todos los timers primtosharte 3 millones () y com pra su distsbucién con I female que 6 habia onjetured. "El teorema de loe nineros primo etablece que ‘x(z) es asinttcamente “ex dace, com un errr re Intvo del 0%— igual az/logz. Prost comparamos lero dela fineién 2/ log con el de (2), ve nas que aunque lafuncien2/ log eualitatvatsen- te rellja el comportamiesto de x(2), certamente ‘ho coneverda cn ela lo sufcionte pare explcar la ssevidad dela lta: rota 3 sf pes e= natoral buscar meloresaproxima- clones, Si miramos de nurso nuestra tebla de pro- porciones de 2a 2(2), ncontramos que este propor ine ena exactamente Ig ~ I. Con edleuas ds tuldadoece y oon dator rss dtalados sobre (=), Legendre ®encontré en 1808 que una aproximacién partcularmente buens se obtiene sien lugar de 1 estamos 108366 de log; es decir 2) gaa 1 08 Or buena aproximacie & n{2), que fue primers: mente dada por Gauss, ve obtiene tomando como Punto de paride et hecho empirico de que la fr- -Guencia de los ameros primos en ls proximidad de ‘un mimero grande 2 ed cas exactamente 1/ log. ‘De aqut que el almero de nimeras primos hasta {x deblera ser aproximadamente dado por la sue Ioguriumica a 1 ta) = ga * ngs 1+ Tage “ike prin ae thor, Aa, Math Mary, 80 (99) PERN tng Bale ate gaa lo que e eencilmente lo mismo ® por la integral logaritmica uio= [aie Si comparamnos ahora el grafo de Li(z) con ol de, vemos que en on Times de apraximacign ‘de muesio dibujo, ls dos figuras colnciden execta- mente 'No merece la pena mostrar también Ia grin de la aproximacion de Legendre, pues en el ange Sel gréico cs incluso une mejor aproximacién de re) Frouna 4 ay otra sproximaciin que desco mencioar Las investgaconer de Ries sobre le nme. ‘oe pins sugieren Que la probeblidnd de que ‘mar grande ea primo seria inlno ms pré ta a /loge ase oaran no sl le aGmatoo ‘rimos sino tonbién las poteian de fe primer nando ol cundzado de tn primo come le milad de un prin leabo de un prio come wn treo sun primo, ete: Esta condve sn aprxinaicn as ale) + feta) + Sot) + 6, de manera equivalence” Lia) — FG) FTA) ~ ite) x2) 2 tris ci ie, Ee ta si aa ex Can 9 Maye 418 108 yor Laman (Ont ie mer ieee 1s, tr an Seas Fa a Sn i on are pine ws. 10 dense > Ll) yam Site nan nm one 10 on ate prop fnfnitos primes. Su rgumento puode ser frmule- dd en une face: Si slo ubira vn mero fnito de ‘rime, entoncas multplicsndolos todes y summa Go 1, obtendriamos un admaro qua no et divible por ningi primo, y eso es impribe. En el sglo XVIII, Baler prob més, que Ia suma de los inversos 4e los nimeros primoe diverge, os decir, eventua! mente excede cualquier nimero dado previaente Su demostracién, que es también muy simple, usa a funién coy importania ene extdio de (2) fv comple {einen weoneida aslo metodo, con a trabajo Ge'Roemann, Be diverge salar gue, singe Ik ‘sum de los inversos de tod los primate diver fate, eta vara sbre todo lo primo conocidos (Giganos que Toe primeros 60 mallone) es menor aque cuatro El primer resultado importante en Js iecién dela tora de los nizneros pros fae robedo por Chebyshev en 1880." Probe que para "safientemente grande oso < nfo) <1, ings <7) Tog sce, eorema de ls nimeronprimos cores {6 co un error slat doa lo mel 11%. Su de Fortran alos oes Dinos yes tan bonita que no puedo resist menos bosuejar una ‘ers simplifada dela prueba (con constaves un ‘Poco peores). Et ube divccén probaremos ae) 120) a tay ntonoes el vaorema es vélido para 2n. Puesto que (Qn +1) < w(Qn) +1< 3,0" +1< (men setnd < Stig +15 +1 wage (o> 120, también véldo pare 2n +1, complotando lain duccon ‘Paral cot nl otra dieei,necestamos un ema sel que puede probarse fcimente usando Je bien conocide formula para In potencia de p que divide a Lema 1. Sea p un primo, Si pf es la mayor po: tno de p que dsde a (f),entonces phen Corolatio 2. Cade corfciente binomial (2) satis Se Si sumamoe las dsiqualdades del corlaro pa- 14 todos loe conicientes binomials con un n fj, Be asyr=3(t) S (a1) 0 1 Romano logartmes stoped al) (n> 200), Poca termina, quisiera decir unas pocaspalix bras sobre! trabajo de Riemann, Aunqe ema nunca prob el tearema de loe nsimer rims, hizo ‘Algo que de slgune forma es micho més sorprenden- te-—doscubrid una férmulexacta pave (a). Bsta {mula tone Informa ale) Salvi) + §n(98) ++ = Le) = Ue) donde el indie de ts sma neon Ina rio de fun (0 Ena ral apart dees Mamadon cere tivaler = 24,6, queapotan una Cottibucidn desprecabie ala eal) em nomen ‘twtr eae de) mana emp Ra) > 0mcomplejo cuyas paras reales estén entre 0y 1. Las brimeras dice de ells son como sigue!” eat inoanos p= !—aomes 4248768 n=bineas v= feaynins betel npr oie Ponta tres as neateee ritea noise mee SESE Ama hawt aeons stant a et le Sacomerr ai en S's mn i) ssn ley ere em Re de (2) = Riz) — SO Rio") ~ s2,9ss0024 La fdsima sproximacién a x(2) que proparciona ‘esta forma Infonet Rafa) = He) + Ta) + Tyla) +--+ Tee, donde Tale) = ~Ret)— RC) es la contibacin ‘el nso par de ralces do ls fancién zeta. Para car en a un dep) > tev pi a eae ede et caucteriaa we eran heel or FU eared <0 = ER erm ‘anclete rr etd one lr bic dente) nines, ae Puasa ‘Souls croton on 16 fer ble {parvo tn) a men aay 108 por Gras (2. inn rts ar de acto) Se ema eta Ma SFG eee edn pe ents de ian pn yd eh sequinhaie sh a) quel Se aici Se Sie seh eee mt ge a cadre) =O, cada Ia foneién Ty(2) «© une func osclanto suave dex Las primeras son como sigue! th AL TWY Por tanto Re(s) es también una funcion suave para cada k, Conndo cree, estas fuconss apro- iman a r(2). Aqu, por eemplo, estén los gdicos de as sproximaciones décima y veintinevesra, Tia es tn a rn Rl ‘mt a ang 38 (7, 9-90# = = =Rasta) Ficura 20 i comparame estas eurvas con el grifico de x(2) haste 100 (p 9 obtenemos el siguinte grafico: Frcura 21 pero que con date y ls otros gros qu les he mostra, las haya comunicado una cert impre- ign de ls inmensa belles de les rime primos y ‘dls infinitaseorpresas que guaran para nosotros, "radoida pr. Arian de Rey, febrero 2008