_
_
_
_
TEOR?A DE N?MEROS

Buscando n¨²meros primos con un ¡®peque?o¡¯ teorema

Hablamos sobre el peque?o teorema de Fermat y unos n¨²meros muy interesantes asociados a ¨¦l

N¨²meros primos
Pierre de Fermat, del escultor Alexandre Falgui¨¨re.PierreSelim

La b¨²squeda de los n¨²meros primos ha sido un tema recurrente en toda la historia de las matem¨¢ticas. Much¨ªsimos han sido (y son) los matem¨¢ticos que han intentado encontrar una regularidad dentro de los n¨²meros primos, una f¨®rmula que siempre devuelva n¨²meros primos o un sistema de detecci¨®n que nos indique si cierto n¨²mero dado es primo o no.

Alguno hay infalible, como la criba de Erat¨®stenes, pero inoperante en la pr¨¢ctica. En este art¨ªculo vamos a intentarlo de otra forma, a ver d¨®nde llegamos.

Vamos a partir del conocido como peque?o teorema de Fermat, formulado por Pierre de Fermat sobre 1636 y demostrado por primera vez por Leonhard Euler en 1736 en su trabajo Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio. Dicho teorema se puede formular de la siguiente forma:

Si p es un n¨²mero primo y a es un n¨²mero entero positivo que no tiene factores comunes con p (es decir, a y p son primos relativos), entonces el resto de la divisi¨®n de ap-1 entre p es 1. En t¨¦rminos de congruencias, este teorema queda as¨ª:

Peque?o teorema de Fermat.
Peque?o teorema de Fermat.

En principio, este teorema puede ser muy ¨²til para descartar que un n¨²mero es primo, ya que para que un cierto n¨²mero n sea primo es necesario que se cumpla el peque?o teorema de Fermat para todo entero positivo a menor que el propio n.

Veamos un ejemplo. Supongamos que queremos saber si el n¨²mero 413 es primo o no, y vamos a buscar ayuda en el peque?o teorema de Fermat. Tomamos un entero positivo primo relativo con 413, por ejemplo el 2, y aplicamos el test de Fermat. Si 413 fuera primo, tendr¨ªamos que 2413 ¨C 1=2412 dejar¨ªa de resto 1 al dividirlo entre 413, pero en realidad el resto de esa divisi¨®n es 359. Conclusi¨®n: 413 no es un n¨²mero primo. Os invito a que prob¨¦is con otros n¨²meros y que nos cont¨¦is vuestros resultados.

Probemos ahora con otro n¨²mero. Vamos a tomar uno mucho m¨¢s peque?o para no eternizarnos con las operaciones: el 17. Comencemos tomando a=2 y viendo qu¨¦ nos da la aplicaci¨®n del peque?o teorema de Fermat:

217-1=216=65536, que al dividirlo entre 17 deja resto 1

Probemos ahora con a=3:

317-1=316=43046721, cuya divisi¨®n entre 17 nos da, de nuevo, resto 1

Pod¨¦is probar con cualquier otro n¨²mero, ya sea mayor o menor que 17, pero que no tenga factores comunes con ¨¦l (por ejemplo, no valdr¨ªan ni el 51 ni el 85), y en todos los casos obtendr¨¦is resto 1.

?Nos dice esto que 17 es un n¨²mero primo? Pues¡­no, por desgracia no. Lo ¨²nico que nos asegura esto es que no podemos descartar que 17 sea primo¡­

¡­pero sabemos que 17 s¨ª es primo. Si prob¨¢is con cualquier otro n¨²mero primo, tal y como dice el peque?o teorema de Fermat, siempre obtendr¨¦is resto 1 en las divisiones que el teorema dice que hagamos. Por esto, no ser¨ªa descabellado pensar que los primos son los ¨²nicos que cumplen esta propiedad (vamos, que el rec¨ªproco del peque?o teorema de Fermat tambi¨¦n es cierto), pero, ohhhhh, no es as¨ª.

El 561 es el menor n¨²mero compuesto que pasa el test de Fermat. Es, por tanto, el primer n¨²mero de Carmichael.

Hay n¨²meros n que cumplen que, para todo a primo relativo con ellos, las divisiones dan siempre resto 1 sin que dicho n¨²mero n sea primo. Estos n¨²meros se denominan n¨²meros de Carmichael, debido a que fue Robert Carmichael el que encontr¨® el primero de ellos, el 561, en 1910.

Un n¨²mero a que cumple que, para cierto n, la ¡°divisi¨®n de Fermat¡± da resto 1 se llama testigo de Fermat. Este nombre se debe a que el hecho de que esto ocurra nos da como pista que el n¨²mero n podr¨ªa ser primo (aunque no nos lo asegure). Los n¨²meros de Carmichael son n¨²meros compuestos que cumplen que todos los n¨²meros primos relativos con ellos son testigos de Fermat.

Efectivamente, 2560 deja resto 1 al dividirlo entre 561; 5560 tambi¨¦n deja resto 1 al dividirlo entre 561; y lo mismo pasa para cualquier otro valor de a que sea primo relativo con 561, lo que nos podr¨ªa llevar a pensar que 561 puede ser primo¡­

¡­pero sabemos que no lo es, y se puede ver de una manera muy sencilla: como sus cifras suman 12, que es m¨²ltiplo de 3, tenemos asegurado que 561 es m¨²ltiplo de 3, y por tanto compuesto. Vamos, que es un n¨²mero con apariencia de primo (pasa el ¡°test de Fermat¡±) pero que en realidad no es primo.

Como acabamos de comentar, usar el test de Fermat (o cualquier otro) para sacar alguna conclusi¨®n sobre la primalidad del n¨²mero 561 es una tonter¨ªa, ya que es f¨¢cil y r¨¢pido ver que es un n¨²mero compuesto, pero para otros n¨²meros s¨ª nos puede venir bien para hacernos una idea sobre si son primos o no. Imaginad un n¨²mero n que sea, por ejemplo, producto de dos primos de 50 d¨ªgitos cada uno. Si le pasamos el test de Fermat comenzando con los valores de a m¨¢s peque?os (para que las operaciones sean lo m¨¢s cortas posibles) y obtenemos siempre resto 1, ?qu¨¦ pensar¨ªamos? Pues que es bastante probable que el n¨²mero sea primo, y por eso tiene sentido que se le llame primo probable.

Pero hemos dicho que nuestro n¨²mero es producto de dos n¨²meros primos, y por tanto no es primo. Al ser compuesto, pasa a denominarse pseudoprimo (habr¨ªa que hacer alguna puntualizaci¨®n al respecto de esto ¨²ltimo, pero como no nos hace falta me la salto).

Los n¨²meros de Carmichael, tambi¨¦n llamados pseudoprimos absolutos, deben tener al menos tres factores primos (como, por ejemplo, el 561=3 ¡¤ 11 ¡¤ 17). Vamos, que aunque no puedan tener s¨®lo dos factores estamos en un caso del estilo al comentado antes: son los n¨²meros que hacen que no nos podamos fiar del peque?o teorema de Fermat.

Por cierto, aqu¨ª os dejo un listado con los primeros n¨²meros de Carmichael (secuencia A002997 en la OEIS):

Los primeros 36 n¨²meros de Carmichael
Los primeros 36 n¨²meros de Carmichael

Despu¨¦s de todo lo que hemos comentado, ?para qu¨¦ nos podr¨ªa servir entonces el peque?o teorema de Fermat? Pues, como ya hemos dicho, para detectar primos probables. Har¨ªamos lo siguiente:

- Tomamos el n¨²mero n del que queremos saber si es primo o compuesto

- Le pasamos el test de Fermat con algunos valores de a peque?os (y primos, para no perder el tiempo): 2, 3, 5, 7,¡­

- Si con alguno de ellos obtenemos resto distinto de 1, ya sabemos que nuestro n es compuesto.

- Si obtenemos resto 1 con todos ellos, estamos ante un primo probable. En ese caso, lo mejor es pasar a un test de primalidad m¨¢s completo que el de Fermat, como el test de Miller-Rabin. En la p¨¢gina personal de Ben Lynn ten¨¦is algo m¨¢s de informaci¨®n al respecto.

Para acabar, os dejo algunos datos m¨¢s relacionados con estos interesantes n¨²meros de Carmichael. Son n¨²meros bastantes escasos (por ejemplo, por debajo de 1000000 s¨®lo hay 43 n¨²meros de Carmichael), pero est¨¢n perfectamente caracterizados. Hay un teorema, debido a Alwin Korselt y que data de 1899, que nos da condiciones necesarias y suficientes para que un n¨²mero entero positivos sea un n¨²mero de Carmichael:

Teorema (de Korselt):

Un n¨²mero entero positivo compuesto n es un n¨²mero de Carmichael si y s¨®lo si es libre de cuadrados y para todo divisor primo p de n se cumple que p ¨C 1 es un divisor de n ¨C 1.

(Que un n¨²mero K sea libre de cuadrados significa que no hay ning¨²n n¨²mero primo q tal que q2 sea un divisor de K.)

Este teorema caracteriza totalmente a los n¨²meros de Carmichael: si encontramos un n¨²mero compuesto con esas condiciones tenemos asegurado que ser¨¢ un n¨²mero de Carmichael.

Un ¨²ltimo detalle sobre este teorema en el que puede que alguno haya reparado: el teorema de Korselt es anterior a la propia definici¨®n de n¨²mero de Carmichael. Al parecer, Korselt no fue capaz de encontrar ning¨²n n¨²mero con esas caracter¨ªsticas, y hubo que esperar a que Carmichael encontrar el 561 unos a?os despu¨¦s de la aparici¨®n de este teorema.

Por otra parte, tenemos otro interesante teorema, demostrado por Jack Chernick en 1939, que nos proporciona un subconjunto de los n¨²meros de Carmichael. El teorema dice lo siguiente:

Teorema (de Chernick):

Un n¨²mero de la forma (6k+1) ¡¤ (12k+1) ¡¤ (18k+1) es un n¨²mero de Carmichael si sus tres factores son n¨²meros primos (m¨¢s informaci¨®n en On Fermat¡¯s Simple Theorem).

Y, para finalizar, un apunte sobre la cantidad de estos n¨²meros. Como dec¨ªamos, los n¨²meros que citan el teorema de Chernick son solamente algunos de los n¨²meros de Carmichael, y no se sabe cu¨¢ntos hay (si son finitos o infinitos). ?Y qu¨¦ ocurre si hablamos de todos los n¨²meros de Carmichael? Pues que, desde 1994, sabemos que hay infinitos n¨²meros de Carmichael. Lo demostraron Alford, Granville y Pomerance en su trabajo There are infinitely many Carmichael Numbers. Son escasos, y son raros, pero son infinitos.

Como a muchos matem¨¢ticos a lo largo de toda la historia, me fascinan los n¨²meros primos y todo lo que les rodea. Por otra parte, una de mis ¡°debilidades matem¨¢ticas¡± es todo lo que se refiere a Pierre de Fermat. Por ello he querido hablaros sobre este peque?o teorema de Fermat y su relaci¨®n con la b¨²squeda de n¨²meros primos. Adem¨¢s, me ha servido para mostraros estos curiosos n¨²meros de Carmichael y algunas de sus propiedades.

Sobre n¨²meros primos seguiremos hablando. Y, sobre ellos, me gustar¨ªa que propusierais en los comentarios temas relacionados con ellos que puedan ser susceptibles de ser tratados en este blog. Muchas gracias.

Tu suscripci¨®n se est¨¢ usando en otro dispositivo

?Quieres a?adir otro usuario a tu suscripci¨®n?

Si contin¨²as leyendo en este dispositivo, no se podr¨¢ leer en el otro.

?Por qu¨¦ est¨¢s viendo esto?

Flecha

Tu suscripci¨®n se est¨¢ usando en otro dispositivo y solo puedes acceder a EL PA?S desde un dispositivo a la vez.

Si quieres compartir tu cuenta, cambia tu suscripci¨®n a la modalidad Premium, as¨ª podr¨¢s a?adir otro usuario. Cada uno acceder¨¢ con su propia cuenta de email, lo que os permitir¨¢ personalizar vuestra experiencia en EL PA?S.

En el caso de no saber qui¨¦n est¨¢ usando tu cuenta, te recomendamos cambiar tu contrase?a aqu¨ª.

Si decides continuar compartiendo tu cuenta, este mensaje se mostrar¨¢ en tu dispositivo y en el de la otra persona que est¨¢ usando tu cuenta de forma indefinida, afectando a tu experiencia de lectura. Puedes consultar aqu¨ª los t¨¦rminos y condiciones de la suscripci¨®n digital.

Archivado En

Recomendaciones EL PA?S
Recomendaciones EL PA?S
Recomendaciones EL PA?S
_
_
seductrice.net
universo-virtual.com
buytrendz.net
thisforall.net
benchpressgains.com
qthzb.com
mindhunter9.com
dwjqp1.com
secure-signup.net
ahaayy.com
tressesindia.com
puresybian.com
krpano-chs.com
cre8workshop.com
hdkino.org
peixun021.com
qz786.com
utahperformingartscenter.org
worldqrmconference.com
shangyuwh.com
eejssdfsdfdfjsd.com
playminecraftfreeonline.com
trekvietnamtour.com
your-business-articles.com
essaywritingservice10.com
hindusamaaj.com
joggingvideo.com
wandercoups.com
wormblaster.net
tongchengchuyange0004.com
internetknowing.com
breachurch.com
peachesnginburlesque.com
dataarchitectoo.com
clientfunnelformula.com
30pps.com
cherylroll.com
ks2252.com
prowp.net
webmanicura.com
sofietsshotel.com
facetorch.com
nylawyerreview.com
apapromotions.com
shareparelli.com
goeaglepointe.com
thegreenmanpubphuket.com
karotorossian.com
publicsensor.com
taiwandefence.com
epcsur.com
southstills.com
tvtv98.com
thewellington-hotel.com
bccaipiao.com
colectoresindustrialesgs.com
shenanddcg.com
capriartfilmfestival.com
replicabreitlingsale.com
thaiamarinnewtoncorner.com
gkmcww.com
mbnkbj.com
andrewbrennandesign.com
cod54.com
luobinzhang.com
faithfirst.net
zjyc28.com
tongchengjinyeyouyue0004.com
nhuan6.com
kftz5k.com
oldgardensflowers.com
lightupthefloor.com
bahamamamas-stjohns.com
ly2818.com
905onthebay.com
fonemenu.com
notanothermovie.com
ukrainehighclassescort.com
meincmagazine.com
av-5858.com
yallerdawg.com
donkeythemovie.com
corporatehospitalitygroup.com
boboyy88.com
miteinander-lernen.com
dannayconsulting.com
officialtomsshoesoutletstore.com
forsale-amoxil-amoxicillin.net
generictadalafil-canada.net
guitarlessonseastlondon.com
lesliesrestaurants.com
mattyno9.com
nri-homeloans.com
rtgvisas-qatar.com
salbutamolventolinonline.net
sportsinjuries.info
wedsna.com
rgkntk.com
bkkmarketplace.com
zxqcwx.com
breakupprogram.com
boxcardc.com
unblockyoutubeindonesia.com
fabulousbookmark.com
beat-the.com
guatemala-sailfishing-vacations-charters.com
magie-marketing.com
kingstonliteracy.com
guitaraffinity.com
eurelookinggoodapparel.com
howtolosecheekfat.net
marioncma.org
oliviadavismusic.com
shantelcampbellrealestate.com
shopleborn13.com
topindiafree.com
v-visitors.net
djjky.com
053hh.com
originbluei.com
baucishotel.com
33kkn.com
intrinsiqresearch.com
mariaescort-kiev.com
mymaguk.com
sponsored4u.com
crimsonclass.com
bataillenavale.com
searchtile.com
ze-stribrnych-struh.com
zenithalhype.com
modalpkv.com
bouisset-lafforgue.com
useupload.com
37r.net
autoankauf-muenster.com
bantinbongda.net
bilgius.com
brabustermagazine.com
indigrow.org
miicrosofts.net
mysmiletravel.com
selinasims.com
spellcubesapp.com
usa-faction.com
hypoallergenicdogsnames.com
dailyupdatez.com
foodphotographyreviews.com
cricutcom-setup.com
chprowebdesign.com
katyrealty-kanepa.com
tasramar.com
bilgipinari.org
four-am.com
indiarepublicday.com
inquick-enbooks.com
iracmpi.com
kakaschoenen.com
lsm99flash.com
nana1255.com
ngen-niagara.com
technwzs.com
virtualonlinecasino1345.com
wallpapertop.net
casino-natali.com
iprofit-internet.com
denochemexicana.com
eventhalfkg.com
medcon-taiwan.com
life-himawari.com
myriamshomes.com
nightmarevue.com
healthandfitnesslives.com
androidnews-jp.com
allstarsru.com
bestofthebuckeyestate.com
bestofthefirststate.com
bestwireless7.com
britsmile.com
declarationintermittent.com
findhereall.com
jingyou888.com
lsm99deal.com
lsm99galaxy.com
moozatech.com
nuagh.com
patliyo.com
philomenamagikz.net
rckouba.net
saturnunipessoallda.com
tallahasseefrolics.com
thematurehardcore.net
totalenvironment-inthatquietearth.com
velislavakaymakanova.com
vermontenergetic.com
kakakpintar.com
begorgeouslady.com
1800birks4u.com
2wheelstogo.com
6strip4you.com
bigdata-world.net
emailandco.net
gacapal.com
jharpost.com
krishnaastro.com
lsm99credit.com
mascalzonicampani.com
sitemapxml.org
thecityslums.net
topagh.com
flairnetwebdesign.com
rajasthancarservices.com
bangkaeair.com
beneventocoupon.com
noternet.org
oqtive.com
smilebrightrx.com
decollage-etiquette.com
1millionbestdownloads.com
7658.info
bidbass.com
devlopworldtech.com
digitalmarketingrajkot.com
fluginfo.net
naqlafshk.com
passion-decouverte.com
playsirius.com
spacceleratorintl.com
stikyballs.com
top10way.com
yokidsyogurt.com
zszyhl.com
16firthcrescent.com
abogadolaboralistamd.com
apk2wap.com
aromacremeria.com
banparacard.com
bosmanraws.com
businessproviderblog.com
caltonosa.com
calvaryrevivalchurch.org
chastenedsoulwithabrokenheart.com
cheminotsgardcevennes.com
cooksspot.com
cqxzpt.com
deesywig.com
deltacartoonmaps.com
despixelsetdeshommes.com
duocoracaobrasileiro.com
fareshopbd.com
goodpainspills.com
hemendekor.com
kobisitecdn.com
makaigoods.com
mgs1454.com
piccadillyresidences.com
radiolaondafresca.com
rubendorf.com
searchengineimprov.com
sellmyhrvahome.com
shugahouseessentials.com
sonihullquad.com
subtractkilos.com
valeriekelmansky.com
vipasdigitalmarketing.com
voolivrerj.com
zeelonggroup.com
1015southrockhill.com
10x10b.com
111-online-casinos.com
191cb.com
3665arpentunitd.com
aitesonics.com
bag-shokunin.com
brightotech.com
communication-digitale-services.com
covoakland.org
dariaprimapack.com
freefortniteaccountss.com
gatebizglobal.com
global1entertainmentnews.com
greatytene.com
hiroshiwakita.com
iktodaypk.com
jahatsakong.com
meadowbrookgolfgroup.com
newsbharati.net
platinumstudiosdesign.com
slotxogamesplay.com
strikestaruk.com
trucosdefortnite.com
ufabetrune.com
weddedtowhitmore.com
12940brycecanyonunitb.com
1311dietrichoaks.com
2monarchtraceunit303.com
601legendhill.com
850elaine.com
adieusolasomade.com
andora-ke.com
bestslotxogames.com
cannagomcallen.com
endlesslyhot.com
iestpjva.com
ouqprint.com
pwmaplefest.com
qtylmr.com
rb88betting.com
buscadogues.com
1007macfm.com
born-wild.com
growthinvests.com
promocode-casino.com
proyectogalgoargentina.com
wbthompson-art.com
whitemountainwheels.com
7thavehvl.com
developmethis.com
funkydogbowties.com
travelodgegrandjunction.com
gao-town.com
globalmarketsuite.com
blogshippo.com
hdbka.com
proboards67.com
outletonline-michaelkors.com
kalkis-research.com
thuthuatit.net
buckcash.com
hollistercanada.com
docterror.com
asadart.com
vmayke.org
erwincomputers.com
dirimart.org
okkii.com
loteriasdecehegin.com
mountanalog.com
healingtaobritain.com
ttxmonitor.com
nwordpress.com
11bolabonanza.com