Escolar Documentos
Profissional Documentos
Cultura Documentos
CIE,I{CIA
Grandes
matemti cos
::c
-\
'\
',
rTl
J/
!_ Prensa Cientficn,
S.
A.
Sumario
La creacin matemtica
Leonardo de Pisa
Ettore Picutti
RenDescartes..
.......18
A. C. Crontbie
PierredeFermat
.......26
Hctrold M. Edwards
ElteoremadeFermat,demostrado
GaspardMonge
B
.....35
........38
runo Belhoste
AndrWeil
.....46
48
Iun Stewart
60
Rottald L. BracewelL
Augustin-Louis Cauchy
Bruno Belhoste
EscheryPenrose
i'
'[
EvaristeGalois
.......81
...82
Tony Rothman
GeorgCantor
....94
Joseph W. Dauben
GottlobFrege
...106
Javier de Lorenzo
Srinivasa Ramanujan
Jonathan M. Btntein t' Peter B. Bont'ein
120
La creacin matemca
Henri Poincar
cqu 1* mri. sustsltt:itL! tle la cr;nfet!'t{'it.t tttttittttpritx:itkss t{e siglt.t por Nesri Point:tr en la
Sociedad Psicolgica de Pari:. u testiwoxi* es
es;ecir:tltnenle reI.evttn.te porque Poincar i II54- ) I 1 2 ) utta
a. la c{}x.tlicirL cl.e ser ul't rle l*s wejorcs ,nentes flate,niilita,\
tle rorla.c las tier,;2cs u.'L clara ix.ters :ot'com.prtxde r lct
,'t{ttu{a{(z{1 it:. tr*bajo tie*til'ito t }{t{ su dittt{g*.citt, comtt
lo rlewte.sr,:n l:t v'ri:; ohras que sublir' con e.,:tt .t'inuli'
tlttl. Las itleas de Point;ttr siguen resctmndts et r.i/-gtrrt,tr
!) ro p ut s f {r s r t t: i e *t e s ; a rc *ze c ozt i :.ar I r; s tr; r* c e s o s m e * la I e s
s't;seri.ores, c*n eliqLse*s d.isciplinares latt ttiatws a l tcwo
" ciexci c{}gniti,*a" o " inleIigenciL artificia1 ".
l"r:r'<tnr;s
r:i*da
es
talia
a ellas?
(,o abemos que esta sensacin. esta nttircin del orden matemtico. h que nos hace adivrnar armonLs r re1a.'iones
ocultas, no pr-rede ser poseda por todo el mundo. Har quienes
no tendrn esta delicada sensacin. tan difcr1 de deitnir. t . Lt-r
memoria o capacidad de atencin no superarn 1i ordinario. 1o
clue Ies incapacitar por completo para comprender las t-t-iaten-rticas superiores. Tal es e1 caso de 1a ma.ora. \o frltarn
otros qlre. aun poseyendo la sensacin en grado mnimo. estarur dotados de una memoria inusual y de una gran capacidtd
de atencin. Estos se aprendern de memoria 1os detalles. uncr
tnls otro: podrn entender las matemticas. y hasta aplicarlas.
pero no podrn crear'. Y hay quienes. en fin. poseern en mar or
1a intr-Licin especial a la que me estov refiriendo:
o menor
-srado
stos. no slo entendern 1as matemticas. aunque \Ll ntemorlt
no tenga nada de extraordinario, sino que podrn crearlas. esfozndose por inlentar. empeo en e1 que tendrn ms o n-ienos
xito se-qn est de desarrollada su intuicin.
u3
1a
eleccin.
Es hoa de adentrarse en el alma del maten-rtico r r er qu
pasa all. Cleo c1r-re 1o mejor que puedo hacer en este sentido es
lecordar rnis propias experiencias. Me lirnitar a contarle-s cnto
escrib mi primer trabajo sobre las funciones fuch:ianrs. Pido
peldn a1 lector. pues he de usal algunas expresione. tcnicas.
pero no tiene por qr,t asustarse. pues no se requiere que las
entienda. Si digo. por ejemplo, que encontr la dem..stracin
de ta1 teorema en trles y tales circunstancias. el teoret-t-ia tendrh includablemente un nombre brbaro. descot.tocidr para 1a
ma1,'ora. Pero esto carece de importancia. porque lo r.erdaderamente irnportante para el psiclogo no es e1 teorem. sino las
cilcunstrnc ias.
minas. Las incidencias del viaje me hicieron olvidar mis trabajos matemticos. En determinado momento. estbamos en
Coutances y habarnos de subir a un mnibus para desplazarnos a otro sitio. Justo al poner e1 pie en el estribo. sin que ninguno de mis pensamientos precedentes pareciese haberla propiciado. me vino Ia idea de que las transfonnaciones que haba
usado para definir las funciones tuchsianas eran idnticas a las
de 1a geometra no eucldea. No prosegu el razonamielto. ui
hubiese tenido ocasin de e1lo. plles me sent en rni asienttr
continu una conversacin previa. pero estaba completamente
seguro. A mi retorno a Caen lo comprob concienzudamente,
por pundonor.
\ {.i atene in se dirigi luego al c:tudio de ulgunas cLresliolV nes aritntticas que no piirecan tener ninguna relacin
con mis investigaciones precedentes. No obtuve muchos resultados. Molesto por mi fracaso. me ntarch unos das a 1a costa
para distraerme. Una maana. mientras caminaba por los acantilados, se me ocurri Ia idea de que las transformaciones uritrnticas de frmulas cuadrticas ternarias indeterminadas eran
idnticas a las de la geometra no eucldea. El hecho t,olr,i a
tener los rasgos de la brevedad. lo inesperado y 1a sensacin de
certeza inmediata.
De vuelta a Caen medit sobre este resultado y extraje 1as
consecuencias. El ejemplo de las frmulas cuadrticas me mostraba que haba grupos fuchsianos distintos de los correspondientes a las series hipergeomtricas. Me di cuenta de que poda
aplicarles la teora de las series theta-fuchsianas y de que. en
consecuencia. existan funciones fuchsianas distintas de 1as de
1as series hipergeomtricas. que eran las que yo conoca. Como
es natural, me puse a formular todas estas funciones. Las somet
a un ataque sistemtico y fui doblegndolas. una tras otra.
Quedaba una, sin embargo. que se resista y cuya dominacin
hubiese significado 1a victoria total. Pero el nico resultado inicial de mis esfuerzos fue permitirrne ver con claridad la dificultad de 1a empresa. que no era pequea. Todo este trabajo fue
completamente consciente.
Lleg entonces el momento de que me fuese a Mont-Valrien.
lugar donde haba de reahzar mi servicio militar. Durante un
tiempo. pues, mis ocupaciones fueron bastante diferentes. Un
buen da, conforme andaba por la calle. se me present de
improviso 1a solucin de1 problema que me haba bloqueado.
No le di ms vueltas inmediatamente. pero retom 1a cuestin
al licenciame. Dispona de todos 1os elementos y slo me faltaba ordenarlos y encajarlos. La redaccin de 1a memoril correspondiente la realic de un tirn y sin dificultad.
Lo que resulta ms sorprendente en principio es esta aparlcin de una sbita iluntinacin. signo inequvoco de una larga
elaboracin previa inconsciente. Me parece indiscutible el papel
que desempea esta elaboracin inconsciente en la invencin
matemtica, pudiendo rastrersela en otros casos menos evidentes. Suele pasar que, al trabajar en un tema difcil, 1os primeros
intentos no den ningn resultado. Se toma entonces un descanso,
ms o menos largo. y se sienta uno de nue.,.o a trabajar. Como antes. durante 1a primera media hora sigue sin encontrarse nada y.
de pronto. la idea decisiva se presenta por s sola ante 1a mente...
Hay que hacer otra observacin sobre ias condiciones c1e esta
elaboracin inconsciente, a saber. la de qrie slo es posible. e
GneloEs M-rrt rrrcos
que nos
fijas. Las combinaciones as obtenidas seran extraordinariamente nuffrerosas. intiles y enrevesadas. La r,'erdadera tarea
del inventor consi ste en escoger entre estas combinaciones. eliminando las intiles o. an rnejor, no molestndose en hacerIas. Pero las reglas que guan esta e1eccln son sutiles v delicadas en extremo, siendo casi irr-rposible enunciarlas con
precisin: se 1as siente ms que se lrs formula. Cmo irnaginar. pues. un cedazo qire las aplique de modo rnecnico'l
La primera hiptesis que se nos ocurre es clue el ,o subllminai no sea en modo alguno infelior al yo consciente: clue no sea
totalmente aLrtomtico. sino capaz de discernimiento: que tenga
tacto. delicadeza: que sepa elegir. que adivine. Qu digo'l Sabe
adivinar mejor que el vo consciente. puesto que ecierta donde
el otlo falla. En resumen, no es el vo subliminal superior a1
consciente'l Ya se dan cuenta de toda 1a intportancia que tiene
este asLlnto...
las de un gas en la teora cintica de los gases. E,n tales circunstancias, sus impactos recprocos podran producir nuevas
combinaciones.
Qu papel desempea el trabajo inicial consciente? Clara-
sibilidad emotiva.
Ahora bien, ,cules son las entidades matemticas a las que
Ies atribuimos este carcter de belleza y de eiegancia, las que
pueden producirnos tal emocin esttica'l Son las que tienen
sus elementos armoniosamenfe displlestos, de tal forma que la
mente puede captar sin esfuerzo slr totalidad, al tierlrpo que percibe sus detalles. Tal armona no slo es satisf'actoria para nuestras necesidades estticas, sino que presta ayuda a 1a mente, a
la que sustenta y gua, al tiempo que, al poner ante nosotros un
todo bien ordenado, nos permite intuir una iey rnatemtica...
Es, pues, esta sensibilidad esttica especial la que tunciona
como el cedazo delicado del que antes hablaba. lo que tambin
esclarece suficientemente por qu quien no la posea no podr
ser un veldadero creador.
A pesar de todo, sigue habiendo dificultades. Tenemos que
el yo consciente est gravemente limitado, mientrls que no
conocelnos las limitaciones de1 -vo sublirninal. Esto es lo que
nos permite suponer sin demasiada dificultad que haya podido
elaborar en un corto espacio de tiernpo muchas n'rs con'rbinaciones diferentes que las qr-re podra hacer un ser consciente en
toda una vida. Y. sin emb:rrgo. tales limitaciones eristen. No
resulta verosmil que pueda elaborar todas las combinaciones
posibles. cuyo nrmero supera 1o irnaginable: pero. por otro
1ado, ta1 cosa parece necesaria. pllesto qlle. si s1o produjese
una pequea parte de las mismas l' 1o hiciese al azar. 1a probabilidad de que estuviese entre ellas la Drcr combrnacin, Ia
que deberamos elegir. sera reducida.
mente el de poner en danza algunos de estos tomos, tras haberlos separado de la pared. Nos parece que hemos perdido el
tiernpo porque los hemos rnovido de mil modos diferentes. tatando de juntarlos. y no hemos conseguido ningn agregado
satisfactorio. Pero, tas esta agitacin impuesta por nuestra voluntad, los tomos no se paran, sino que continan la danza por
su cuenta.
Restrlta, empero. que nllestra voluntad no los eligi a7 azar.
sino con un claro propsito. por lo que los tomos puestos en
danza no son tomos cualesquiera. sino aquellos de los que razonablemente puede esperarse Ia solucin buscada. Los impactos entre ellos. o con otros tomos inmr'iles. con los que cho-
ciones de1 espacio (iba a decir de 1a habitacin) que los contiene. como 1o hara. por ejen-rplo. un enjambre de mosquitos
o, si se prefiere una comparricin ms culta. conlo ias rnolcu-
DISTRIBUCION
PUBLICIDAD
para Espaa:
Gustrvo NIartnez Or
\IIDESA
Tel. {9 I ) 662 10 00
ISSN:
Prirnc.l in Spai0
Martin Paul
po:i-
SCIENTIFIC ANIERICAN
prenro.
INvESTIGACION Y CIENCI-{
DTRECToR cE\ERAL Francisco Gracia Guilln
EDrcroNES Jo,s I\{ara Valderas. tlirecor
AD\'{rNfsrRACrN Pilar Bronchal. lirectort
eRoDLCCTN M." Cruz Iglesias Capn
Bernat Peso Infinte
Crrmen Lebrn Prez
sECRET\RA Puritlcacin Mayoral Martnez
orn Prensa Cientfica. S. A. Muntaner, 339 pral. 1.4
0801 1 Barcelona (ESPANA)
Telfino (93).+11 33 4.1 - Telefar (93).11.1 5.1 li
1o qLre
ir
Catalua y Baleares:
Miguel Munill
Muntaner. 339 pral. 1."
0802 I Barcelona
Tel. (93) 321 21 17
Fax (93):114 5'1 13
1995 Prensa Cientfica S. A. N,luntaner. 339 pra1. 1.r 0E011 Barcelona (Espaa.t
Reservados todos los derechos. Prohibitla la reproduccin en todo o en parte por ninsn medio
mecnico. fotogrfico o electrnico. as como cualcluier cliise de copia. reproduccirin. registro
o transmisin para uso pb1ico o privarlo. sin la previa autorizacin escritr dcl edito del libro.
ll.l5
-662
hlpr.i. .r
Espa
Teues
L**rcmrd* de Pisa
Ettore Picutti
l.t
taron
e1
renacimiento de la cultura
europea del siglo xII, cultura que resurga con una impronta greco-rabe,
filosfico-cientfica, 1- a 1a que se
alemanes
;:-i i'Ia:l- t;;i"i.I f1't estudi ingeniera en el Politcnico de Nliln y ha trabajado en cargos directivos de empresas qumicas. Como historiador de la
ciencia y de 1a matemtica ha impartido ciclos de conferencias y ha publicado una Storia del nutnero (1976). as
como dir.ersos estudios sobre la matemtica medieval. Basndose en dos ma-
al
1170;
1a
de los mercaderes de Pisa. para conocer a los matemticos de Ios pases que
visitaba-Egipto, Siria, Provenza. SiciIia, Grecia- trabando con e1los discusiones y certmene s (dispLttationis
Ti'll
la'
tratado").
No era, ni es, una obra fcil, y Leonardo de Pisa aconsejaba al lector que
se ejercitase continuamente en las
aplicaciones hasta que memoria y razonamiento, manos y nmeros, actua-
ft+1t +fFj;rq
f-*,r4*f
tttf
*rtg{*
-ii d,::J.::t:+1:
tif r.1:: r:.
fs *'{
i....*u"-.,u-
:3::::.
**
";.
{
$
;l{:t
)
t:
}-Y1
d-.
"
:'
' 4*. I / 1 :
1. MINIATURA DEL PRIMER FOLIO del Cd. Urb. Lat. 292 de la Biblioteca Apostlica Vaticana. Basndose en este cdice, edit Baldassarre Boncompagni en el siglo pasado la Pratico geometrie de Leonardo de Pisa. Bajo la miniada R capital se
quiso representar al autor en el acto de presentar su obra.
la Carta Magna. San Francisco hablaba a las ar.ecillas 1,-al Sol. a la Luna
y a las estrellas. astros que los filsofos estaban procurando encajar en e1
la,
hh
EYTLil
8b
B?
ive3th
z trut t b
turyYb'\
t,
B2
23456789
Andras Ormis Arbas Quimas Calcus Zenis Temenias
lgin
5u
86)
6yptb^
.7,
a
Celentis
1os
apasionados
or la subtilitates
z.
f.
fi'a.
\
',
r.r,o..t.
.,
l.ru\,.*o-,u. .[ *r
<
i.r...-:'r.:.,'.,''..
mJql:,.imli..(
E-
Ia -,,,.
,,, ,.;,,,
-1tr. ,.,..
r'ii
^ -..i:'ri-
;.'[;*,' i,';*1"1:]i'I.ll;
l, ;.':. ,.,'..1. f }....,,.*
t".r .rl,rrn ,p.[{.' i.'*'.11.i.
\.< *:,.i
t*,r,..*-
:r.!*.*3
:'-',J,-'::'
'.i
,'rr },i-..... r. .i..-*,,.f f,*:,';tJl..*f,.. i. ? '*.:,i+frr.firr'rt...:..til,:l
:e
1...
r:
a;
'!
.-.,)*
r:n:riir ;1,l*-
*l?)<t,*ii
.r
!a.L Iut.i}*i&i
".-."o-.,r&--.
autor del Liber Embadorum. traducido dei hebreo a1 latn por Platn de
Tvoli a comienzos del s. xII), y otras
de los "Tres hermanos".
Sus fuentes son, por tanto, esencialmente griegas (ni poda ser de otro
modo tratndose de geometra); pero,
por su enfoque prctico v por 1a bsqueda de soluciones alternativas, su
espritu no es ciertamente griego.
3.
de
para C =
13.
de las
ld.
pe a tfdos 1o.
de descomponer un nmero en la
1o
significado de
/-\uedaba as claro
particular
e1
".frr"iro.del problema
Pisano, las soluciones
del congruo "se conviene en que hay que
buscarlas a tientas (o por tanteos)".
Aadamos que, a pesar de todos los
esfuerzos de Leonardo, de Antonio de'
Origini
y2+C=22.
_:- 4
3-az
?.--.2
- a)(b
+ a),
Er,r
i'rcos
en Europa entre Leonardo Pisano, PaoIo dell'Abaco y Prosdocimo de Beldomandis, que vivieron en el intervalo
de ms de dos siglos.
El mayor acierto del libro de Cossali
est, con todo, en su defensa a priori
de Leonardo contra quien se atreviese
(era un presagio) a acusarle de haber
tomado de Diofanto
en Alejan-queIa Artmtidra, en el s. II, compuso
ca-la nica obra de an1isis indeterminado de 1a que partira. con Fermat,
Ia matemtica moderna. La ocurrencia
Ie vino de Xilander,
primer traductor
Tras despachar brevemente al incautoXilander, le asalt a Cossali Ia duda de si Leonardo habra conocido 1a
obra de Abul Wafa, matemtico persa
del que saba que haba escrito en el
s. x unos comentarios y unas demostraciones (y a demostraciones geomtricas de Leonardo haba aludido Pacioli)
de 1as proposiciones de Diofanto.
Expresada la improbabilidad de que
tal obra, poco conocida por Ios mismos
rabes, fuese en cambio conocida por
el matemtico pisano, pasaba no obstante a hacer una confrontacin directa de las soluciones dadas por Diofanto
y las dadas por Leonardo a algrrnos pro-
algebra. Storia critica di nuoue disquisizioni analitche e metafisiche aticchta,edttado en Parma en 1793. Digamos ante todo que tal reconstruccin
s1o puede ser considerada hoy como
una curiosidad histrica, incluido su intento de llegar, basndose en las teoras
de Euler y de Lagrange, a Ia solucin
"directa" del problema congruo-congruente, o sea, sin tener que proceder
por tanteos.
Pero 1o que impresiona de Cossali es
su intuicin, io muy precisamente que
de
limitado en la propuesta
1a
obra de
Tll
la
entre
unodeloscualesrequera lasolucin
una ecuacin a"
era sobre eI congruo: "H"allar'rin
nr9bl91a, trt
I nmefo Congnt
de ' - l
t"r""r'g;ii;]fiffi
n-
aJ'lfl'
g,2 t,C]]e
2'+
rctcue e
:? I oo.t[2C fCL(UC e @rlA. 96,
T'l-
alto nivel de su aportacin a la matemtica, muy superior a cuanto se trasluca de la Summa y a cuanto eI propio
Cossali haba podido imaginar. "He
tenido que ir, con fatiga ciertamente
mayor que la que me hubiese causado
Do.
gradotardarams,abuenseguro, en I 23 I 2 2 t.
dar respuesta, puesto,ey" prT3 d," I
u . I, f 2.
mostrar su insolubilidad mediante io
r4?
16 oo'
magnitudes eoclieas*lld";;t*";
Che.f.g.d.
Chg.f.e.d.
r
cl?e'r'C'd'
irracionaleshubodeestudiarafondo It9 f6Ef.C[2e.f.e.d.
f'ffiffiTil;",?'#i::;':#"!,:"i 16? zo2 r' che'r'e'{'
*i.fln"iiiffi
II
los
OOnl,
rsi 26or,cl:c.r.e.d.
I l/6,
Io8o"
r 5 )6'
172o'
I e 11'
t)14'
2;f oO.
r6 o,
"problemadet.o.rgroo"yh.t;;;"";. tgo z7o4.Chg.f.g.d. r.920,
apuntolateoraacerca,de.lmi.lo"l 2o? 2so9, CFe.f.e.d. 2i 2o,
un Libretto dei quadratt. d.edlcado al
r
r
29o-1.
2IylO2t.tl)i:.1'.9..
monarca.
i"":fti:?i",:11#i
)l2.
'i;
bidedurarracomposici:*-3^:1"::
*b. )rooo.'E * q6, E- 1os6.
puede concluirse que la entrevista
-"-- se
-produjo en torrio al ano 1;;i.
26? 46 24. C[?e.f.e.d. i S4u.
UmbertoForticreeque,dadalapron- Z7? goo,C[g.f.g.d.
47Oq.
los
problemas.
eCOh fei8
Or'rlll. tloo.
.
\ ll 6 oE4. c[e.f .e.d. 4) z o,
.J:H#:Tff"XxIil:',T""fl8H:: izi e qo.che.r.e.d. 6 t^14.
ticaseometrie,L"o"urdJr;;;;;;;I"id" ))? 67 21.the,,e.d,. - z 8So.
un problema de anlisis indeter.miI8.4
) !7 zz l.CD.f.g.d.pUn'.2
'.6ooo,
;:*Jffi:i1,1".:',xi:"J::,;:l
\S?ZSeg.
Z
qu
r.
cfte.r.e.d.
6 2 qo,
7
- :-'^
pista, pues el latn y la tcnica reso- )16?
F
r
iutoria (la misma.on q'.r" enelLiber 37: Ioo'Ct?e'f'g'd' 7776'
lEl E: E r. c[2e.r.e.d. t 8Eo.
6. rABLA DE
congruo-con'AREJAS
sruente que aparece
-""s"i d.l
"r
j#fr: { r I r o o o o. cf). r.
t r_7 6i q o e.
Io, 84,
r - lIo2 t. Chg.f,g.fl.
tar que el decimotercer eongruo es 1521. 42?
F
r
(1s;e,
2
Faltatambintapareja
840). 41: I f oO. Cne.f.e.q. II6 16.
:''rt'"f.Tf;1,1:*:l'j,t:
e.
ysBcongruenres.Genocchiharreco:ro-
11
braica
b2 - d2)2 + Qab)2 = (b2+ a2)2.
Pero tambin se vale de un procedimiento original suyo (basado en la propiedad que tienen los cuadrados de
ser suma de los nones sucesivos a pardel 1); como mejor podemos verlo
es mediante un ejemplo puesto por 1.
E1jase un nmero cuadrado cual-
tir
*a
,rt
**."'
fundiblemente suyas.
Hay que pensar, por tanto, que,
visto este problema, el Maestro Giovanni quisiera probarle sometindolo a
una segunda y ms dificultosa condicin, la de que fuese ademsy2 - 5 = .
De todos modos, este
problema-ya
lo hemos dicho antes- no es de difcil solucin. Basta, en efecto, con tabular las diferencias entre los cuadrados
12
tipo 3lr + 2, (b - a.) es del tipo 3ft , 1a tesis est demostrada. Si uno es de1 tipo
3k + 1 y e1 otro del tipo 3ft + 2, (a + bt es
del tipo 3,. 1, 1a tesis est demostrada.
Leonardo de Pisa conclu.e: "He llamado'congruo' al nmero as constituido 1'que siempre es mltiplo de 24." (Nos
atendremos a esta definicin de Leonardo; Pacioli 1o liama. en cambio, como hemos yisto, "congt-uente"
i. Llegado
a este punto. pasa Leonardo a Ia solucin general del problema de1 congruo.
312=1+3+...+59+61
472=\+3+...+79+81
492=7+3+...+95+97.
De donde resulta el doble origen del
congruo 720:
TsMes
720 = 472
720 = 492
3t2
-ffi
+ 65 + ... + 79 + 81
(diez trminos)
472
=83 + 85 +... + 95 + 97
(ocho trminos)
y, por ende, dos modos de expresarlo como producto de las cantidades de im-
720=10x72=8x90.
Sern estos cuatro elementos, las
dos cantidades de impares (10 y 8 en
el ejemplo) y los valores medios en torno a los cuales estn distribuidos (72
y 90 en el ejemplo) los autnticos goznes operativos del tratado de Leonardo
Pisano; en funcin de ellos expresar
los lados de los cuadrados congruentes,
como paso final de su investigacin.
Uniendo despus esos goznes a los
se
podrn expresar,
(b-a)(b
+a)
Y=b2 +a2.
s en
ltalie
J-le
t-f
..
acusados
Libri, remitindose al Elogo di Leonardo Pisano publicado por Guglielmini en 1813 y a un manuscrito encontrado en la Biblioteca Real de Pars,
que contena la Pratca geometrie
"...composita a Leonardo Bigoilosio
fillio Bonaccij", comentaba: "En premio a los inmensos servicios que haba
como consultor.
Deducase de ello que Bigollo no era
J.
?'
N
I
a_
*&
,-.
d=tr-a2
)
(2)
(tr
tm
(tr
(3)
(h
(1
a2)
k)2
+ (2ab)2 =
a212
(tr +
+ 4hk= (h +
k)2
a2)]2
Y-C=X2
(1)
Y2+C=Z
Gnaxors MArEMrrcos
i2
+44=
(2)
4A -- cuadrado
cuadrado
C=4abt-a2)
gt
E\
B
a2)2
x=ld-a-zabl
(3)
Y=ff+a2
Z=-a2+2ab
l3
Y2
Z2
25
49
(a, b)
censo infinito".
ber demostrado mediante largo y com-
24
tr
1,2
2,3
49
169
289
120
30
IJ
49
289
529
240
15
17
1,4
289
625
961
336
21
25
3,4
841
681
840
210
29
cE
529
369
2209
840
210
37
1,6
961
681
2401
720
41
4,5
de
1 precedentemente demostrada de
b(b-at=a('b+o.t.
Los estudiosos de1 siglo pasado con-
se
ende. probable que o'evese que equiva1an a una plena demostracin sus
antecitadas pa1abras..." En cuaiquier
caso, este juicio sobre el matemtico
Tl\
F' para la cruzada. Leonaido
victoria de Federico
lrl
.-
de
para probarla
TE\{AS
)(
ad.P
mostrando tambin cmo pueden obtenerse una tercera y una cuarta descomposiciones en suma de dos cuadrados cuando, respectivamente, uno o los
dos factores del primer miembro sean
cuadrados.
Comentaba Terquem en 1856: "Leonardo demuestra perfectamente esta
proposicin que, segn observa Woepcke, le pertenece. Puede que Diofanto
conociese esta propiedad, pero no la ha
enunciado, y la demostracin, sobre
todo por va grfica, no es fcil. El
nombre de Fibonacci debe quedar
ligado a este teorema." Y Loria volva
a insistir en 1929: "... en memoria de
::
LJ
en cuen-
...a:,:j..::...::::...'a:.,:-,:a::-:::--.,:':ia:j..:arai=a:::,r-+-l'!t.aai;l:-aa:1j!.:i:..a....-'i::-:ar:::r'':::::i::.::
-....
.=
i::
.l
il
.,
-+1 r1:=
".:.r:i
r.+ . F:'
:
.'r
,', ..i:i&
.if
:.n:
;::r '
q44
1S.
- ..
t11
i
,if
S
!!
*...:.
:":'i#
ma tambin sobre cuestiones enviadas a los doctos musulmanes entre los aos 1230 y 124O, acerca de la creacin del
GnaNBs Marerucos
\f
de
4z
de
7 deber
i
r
Q\'()
-''' \,
'I
It.lt(,li|U VOL\ T'Ali:,TVDtV{rl'[
TN .LHONA I\I)\'M ,FINONACCIVM
\' )Tl( )t( \ rlsT.rl'l()RAq' ESsl:iiT " - '-[',' * ,;":i , '
\\il,r.tssltril.'ts\\.\lr. lu.ll'\lt.uu'EoDDll l)E(:R}:',l'l'E){EUPLAR' .
{$r}l)'r'Ytrl . rt'J,ilrtisl"'l'.\\'l'.}.1'llto.AQlirLc'}loruvnEi1v
t , l,tt't{t ' 'l}llYl,{l(1;} 'A":}(,l ' r'ssl'r''frIlffiIr
r
{}\\[r
lt
1\'l
1]i"l-tllr .(11
l'l\l{
t1 ( iil\.{
111 I'i.,r
l{\1rtlt \t llrlll
}f{(,lt(tlvll.t{\1.,1'.'l
r,. lil \ I rl. (i\ lt f,.1t, ttt\'l- illl\t.ri\ I r. llli(-l(,1 I
11
i{
rtr
qi tr.
\;
,t\\\l \ ,)rltl f)l.llfr\l lt5q$[
llr\\r ,?)\t\\t tl t't\\ ()lllu.flrrS.. ll\
l)1, r I ll l(rl \l(lR[ \(rl.lT(
lllllt( lllr'\|
.1:ll\,r{ l'l1tt-\il a()!il'tl'\ lli}\l IiltU.l!
r\ll\, I ltl\
16
).
/.un\\ ).\
@,'
ORIGENES
ANGELO GENOCCHI (Piacerrzal.SlT Turn 1889), matemtico de fama internacional, fue desde 1857 titular de la c12.
GRANDES MATEMTICos
i_
l:
rencia. 1979.
DTopHANTtENNE Au xe Srcr.n:
en
Rr,e
xxxlIi3.
S
d'Hi.stoire les
Scienc.es.
1979.
ut Nuusnl Cor-cnuo-Cor.GRUENTI
Dt
DE LOS HUMANOS,
Allan C. Wilson y Rebecca L. Cann
o EVOLUCION MULTIRREGIONAL DE
y Milford H.
o
Wolpoff
EL HOMBRE MODERNO DE
ORIENTE MEDIO, Ofer Bar-Yosef
Bernard Vandermeersch
DIENTES Y PREHISTORIA
EN ASIA Y AMERICA,
Christy G. Turner ll
o GENES, PUEBLOS Y LENGUAS,
o
Thomas V. Gamkrelidze
y V. V.
lvanov
LA DISPERSION AUSTRONESIA
Y EL ORIGEN DE LAS LENGUAS,
Peter Bellwood
o ORIGEN DE LAS LENGUAS
o
Joseph H. Greenberg
y Merritt Ruhlen
. CARROEO Y
y John A.
Scrpxcs.
bridge. l97'1.
L'ANrr-ys
"-.r-W
".":#
EVOLUCION
J. Blumenschine
Cavallo
HUMANA, Robert
Debe sealarse, en fin, que en treinta aos no parece que se haya opuesto
iii
I'r.&
.."ffi
llvrfr
1855 son
lJ
:i-*,#-:.
y* *r*"
fu,- **
ffi-j
ry
,*n*.*
. ,,&
a;;:ffi
'ffiffirc
'*"j;,-.
Df
CIT-NCIA
EL PENSAMIENTO VI'SUAL EN
LA EDAD DE HIELO, Randall White
o UN CAMPAMENTO MESOLITICO
EN DINAMARCA, T. Douglas Price
y Erik Brinch Petersen
o LOS COMIENZOS DE
o
LA AGRICULTURA EN
EL NOROESTE DE EUROPA,
John M. Howell
o EL HOMBRE NEOLITICO
Y LA MUERTE, Alain Gallay
11
Ren Descartes
A. C. Crombie
Se recverta so*re trsdrs u este.fhawcs extrt*rciwaro
ce l{
ge*wzetra svzalilics,
CC
--
que no se nada
deben set: Ias cosas, pero fuese incapaz de demostrar que /?o pueden ser
de otra monero. No obstante, habiendo logrado reducir 1a fsica a las matemticas, la demostracin es entonces
posible, y pienso que puedo realizarla
con el reducido alcance de mi conoci-
miento."
Con estas palabras. Ren Descartes
e1 punto de vista que 1o situa-
expresa
fsica aristot1ica. qr-re haban resultado ser un callejn sin salida, contrapona la "idea clara y fundamen-
es ms
que un puro mecanismo. Y, puesto que
1as 1e.'es ltimas de la naturaleza
eran las le'es de la mecnica, todo en
1a
ltima instancia
a 1a reordenacin de
de
cre una tcnica que Ie
Descartes-.
permita expresar estas le.es mediante ecuaciones algebraicas. Y
entonces propuso el programa ideal
de toda ciencia terica: construir', con
e'l mrnimo numero de principios. un
sistema que diese razn de todos los
-casi
taba entenderlos para aceptarlos-
A. C. CROMBIE fue profesor de historia y flilosofa de la ciencia en la Universidad de Oxford. Entre sus libros
se cuentan Medieual and Earll' Modern Science y Robert Grosseteste and
the Origins of Etperintental Science:
of
18
Sci.ence.
no
limitaciones
de1
imaginativo y experimental.
de
latn
en
cil
joven elegante y desocupado. No obstante, sus pensamientos pronto volvieron a preocuparse por las matemticas y la filosofa. Se vio animado por
sus amigos, entre los que cabe destacar
el padre mnimo Marin Mersenne, al
de lo s sctuants
de
convirtindose
as en un antecedente de la Academia
GneNoss Mereurrcos
19
experimentacin.
Debemos al diario de Beeckman,
descubierto en 1905, el haber arrojado
Iuz sobre este perodo de la vida de
Descartes. Fue un perodo de auto-
de
tes facilitaba a los fsicos una poderosa herramienta. Sin dicha herramienta incluso Newton se habra visto
severamente limitado.
Exactamente un ao despus de su
encuentro con Beeckman, Descartes
tuvo una famosa experiencia, quiz la
ms importante de su vida y, sin duda,
la ms dramtica. Se haba alistado
en el ejrcito del duque de Baviera,
otro de ios aliados de Francia en la
se
El da 10 de noviembre. abstrado en
sus pensamientos, se encontr com-
despertarse definitivamente, Descartes haba empezado ya a interpretar el primer sueo como una advertencia hacia los errores pasados, el
segundo como el descenso del espritu
de la verdad para tomar posesin de
1, y el tercero como indicndole que
ciencias y
e1
sa1r,o
para acicalarse".
nica y la medicina".
En octubre de 1628, Descartes parti hacia Holanda, en donde permaneci el resto de su vida. salvo tres bre-
la divul-
publicada pstumamente, y en el
do el orden en que compuso sus principales obras. Desde 1618 a 1628, los
incansables aos de su vida militar,
LAS II.IVESTIGACIONES del ojo que hillevaron a sutrstituir la retina del ojo de un buey por un ffno papel
o una cscara de huevo para poder estu2.
zo Descartes le
2t
".. I'r
...
..-
,.-'..:
..,:
..1
Rj;:i;.i:::l.i:t"i., .F.,
7i'i;..".jir.r.'..'.'.",f i '.,'.;!
.t--.
ffiri
i:t*
ffitlf'
,ydiiri
"'j
I .
,.... I
; .;'
i.i,.i'.:
,i:.:,.::;:$:,,:i
i: i:.
1.
"'.'..
ijj;
,""...'+'
i.t;:: .; .. ....;
t'-., : i
.,. .; i
,':, '::.i
iitiiiffi
,'t::;i'.1
fi
iiiiiiiii
t,..rii.j.
fl'fi*
'..ii.l
'r
".'.i!
:t'.'.'.':.:i
ffi
\.'i. "..-\"..-"..
t.
t
ta'.
".
,::::.j,!
. ..
. ...:
......
,.a.aaa{
,araaaa
or..t
a
r... rrl
........!
i:f;i;;;11;rr,..,i ......!
.'
..r.........i..^'i t
.t'..::::'.'.i.'.'
.....^r.'.
.'-.1
ii
?.t'. i
mu1,
\f
I
1a
parte poste-
EL SISTEMA DE LOS VORTICES con el que Descartes pretendi dar una explicacin del movimiento de los cuerpos eelestes consista en torbellinos de "ter". En
el caso del sistema solar los vrtices se encargaban de transportar los planetas alrededor del Sol (S). La trayectoria irregular que vemos en la parte superior de la figura corresponde a un cometa cuyos movimientos, segrin Descartes, no podan reducirse a una ley uniforme.
y acomodacin.
Entonces se consider en posicin
de demostrar cientficamente cules
deberan ser las curvaturas de las lentes que eran precisas para constluir
un telescopio, una situacin que no
haban logrado ni Kepler ni Galileo.
3.
hiprboias
TENTAS I
un constructor de lentes francs, llamado Ferrier, sabemos que este desafortunado constructor intent llevar a
la prctica las ideas de Descartes y fracas. De hecho, nunca se ha logrado
litativas.
"romance de Ia naturaleza".
causa de que todo su anIisis precedente de la materia como mera extensin era errneo en s mismo.
A fin de explicar cmo es que los pla-
de
Descartes ofrecer
1o
que para
cons-
al ventrculo cerebral (6, 4, 2); stas, a su vez, forman una imagen binocular nica
en la glndula pineal (H), la sede desde la cual el alma controla el cuerpo. El alma,
estimulada por la imagen, inclina la glndula pineal, activando as el "sistema hidrulico" de los nervios (8) y ocasiona el movimiento de un msculo (en 7).
23
evidentes. Los fsicos modernos rechazan, por supuesto, que los principios
fsicos puedan ser evidentemente ciertos. Ya en e1 siglo xvII, Pascal y Huygens hicieron la misma objecin. Se-
o no a
los
principios
y la desmoron completamente.
La correspondencia de Descartes
pone de manifiesto que durante su
larga residencia en Holanda dedic
mucho tiempo a las disecciones anatmicas. Encontr la biologa el ms
fsica
explora
1o
ia abord. as como el del funcionamiento del cuerpo como un todo, introdujo una de las herramientas ms
observaciones correctas
y algunas
lPl-E \
iEV
r,R I
Ts ScrNrmrc WoRK
oF RE\ DESC.{RTES
ts.
Rcl-rs
p.\RA LA
MuNnoo
sr-
198.1.
Tn-rr-rooou r.r Lr
Alian-
z.
99
TErvr.\s
Pierre de Fermat
Harold M. Edwards
t;'.q
-'o" "rigi-s
cirmotrur
u,t
.,* es{or*rot
{as nutematit'tss se
n t'fio
-Yl'-'
cubierto una demostlacin r.erdaderamente marar-illosa de e.ta proposicin que este margen es demasiado
estrecho para contener." Tal proposicin ha llegado a llamarse "ltimo
teorema" o ''teorema magno" de Fermat. A pesar de que los ms sagaces
matemticos 1o intentalon en vano
durante los tres siglos transcurridos,
e1 1timo teorema de Fermat sigui
nuestros das.
matemticas.
A1 lado de un problema relativo a
dos
Adu
, a 1a
Na-
26
1as
ecuaciones
13
cin vlida del teorema general (a saber, que es imposible que rn + )'n = z'
siendo .r.J. y /? entel'os positivos. y
n mayor que 2) sera sorprendente que
1. PIERRE DE FERMAT, llamado "padre de la teora de nmeros", rama de las matemticas que estudia las propiedades de los nmeros enteros. Nacido en 1601,
cerca de Toulouse, Fermat pas toda su vida en el sur de Francia, lejos de los grandes centros europeos del sater. No era matemtico profesional, sino jurista, y
ninguno de sus trabajos de matemticas vio la luz pblica hasta despus de su
muerte. Su amplia participacin en las matemticas de su tiempo se realiz por
completo a travs de correspondencia particular con otros estudiosos, Fermat
enunci muchos teoremas estimulantes, profundos y difciles, que no fueron
demostrados hasta mucho despus de su muerte. Hacia 1840 solamente faltaba
demostrar uno de ellos, que ha llegado a denominarse "ltimo teorema de Fermat": cuando es un entero mayor que 2, no existe ninguna solucin de la ecuaci xn * !o= zn formada exclusivamente por nmeros enteros. El retrato se halla
en la Acadmie des Sciences, Inscriptions et Belles Lettres de Toulouse; se reproduce con permiso de R. Gillis.
TEI\,IAS
,,1 '
;:r.
.2
!.]
.l
fuerzo de demostrarlo han contri- elenunciadodelascuestionesdeintebuido a 1a solucin de otros muchos rs matemtico suele requerir telmiproblemas.
nologa especializada y formacin
suficiente. Ei teoren-ra magno de
Ia
Fermat
historia
del
]timo
es rara excepcin a esta regla.
Iinalmente,
I' teorema de Fermat proporciona Parte de la fascinacin del ltimo
una excelente ilustracin de la ver- teorema de Fermat procede del hecho
dadera naturaleza de la indagacin de ser tan sencillo de enunciar )' commatemtica. Suele preguntarse a los prender: Es imposible hallar nmematemticos: "Pero, cmo es
posible
11e-
f)ara la demostracin Fermat utiI liz el mtodo de descenso infinito. Concretamente, dio un procedimiento explcito mediante el cual,
dados los enteros x,
!, z y u que cum-
junto
Gnaxoss Marpurrcos
o Io
[1
I-il
infinito. consistente en un
x,
bl=
)3
1o +
1o
general no ocurre as al
es divisible
entre 4 en el sistema de los nmeros
enteros (es decir, no hay ningn entero que multiplicado por 4 d 5), y dados dos nmeros de la forma o + \,f3,
por lo general tampoco es posible
hallar un tercer nmero de esa misma
ejemplo, 124 es igual a2x2x 31;ningn nmero primo, salvo 2 y 31, puede
dividir exactamente a l,24.Elteorema
de factorizacin nica implica en los
enteros
la siguiente propiedad: la
ir
a1
1a
for-
ma + r-3 solamente puede ser cubo perfecto si 1o son los propios factores. Por tanto, 1a hiptesis de ser
i-3
no pueden tenerla. S1o hay una forma de estar seguros de que los nmeros o + {- poseen, Io mismo que los
enteros, la propiedad de que eI producto de nmeros primos entre s solamente es cubo perfecto cuando 10 sea
cada uno de los factores, y es demostrar que as sucede.
do ms
Euler
se diera cuenta de que poda demostrar Ia proposicin con tcnicas debidamente establecidas ya, y, por consiguiente, no sometiera Ia nueva y un
e1
tema
de
fJubieron
I I
de
transcurrir unos
15 aos
complejo
cx
rior Lagrange haba sealado que introduciendo cr en el estudio de1 1timo teorema de Fermat es posible
descomponer r" + l'n = zlt et:r factores.
cada uno de los cuales contiene -r e \
'la
elevados a
primera potencia. r Por'
Io genera[.
ranto
ct)c/,2+
... +
atl
1c(/
- l dondi
tzo, rz1,
ct,, _ 1,
I}IOPHAiTI
ALEXAI{DRIh{I
ARITHM E.TICORYhT
LIBiTI SEX,
rT DE NVMERTS MVLTAKCVLI
Ltx,x ?Y
D.?./r
try
cx reriJs eiulrnr
(i.8,4f f
C.
. {.
FER M AT Sentori Tolofani.
I).
muestra la portada del libro. Traduciendo del latn, anuncia Seis libros d.e
parte, es impositrle... que ningn nmero que sea potencia mayor que la
segunda pueda ser suma de dos potencias semejantes. He descubierto
una demostracin verdaderamente
maravillosa de esta proposicin, que
este margen es demasiado estrecho pa-
ra contener.tt
GxeNoes Merelrrlcos
TL'*,&, , , '
*au&bsi*.&.H.s,& ..',W**.xcgl*xiall*$1:i*iet*risiffi
4*ry*4''
: :' ::: :':
:. : : . t :,, :: :, .: : :ffi*:**:::a:
M. nc. Lxx.
31
pertenecientes al sistema
de
-nmeros
formado por enteros y potencias
y o es 1/n-simo
de la circunferencia completa.) Lo
mismo que los nmeros a + ./-3, los
enteros ciclotmicos constituyen un
sistema semejante a los enteros, pues
al sumar, restar o multiplicar enteros
eiclotmicos resulta otro entero ciclo-
la
rables. Tan exuberante era el entusiasmo de Lam que ste pas por alto
otras varias dificultades serias. De hecho, su mtodo result impracticable,
ni siquiera para los valores excepcionales de n donde se verifica su hiptesis principal, a saber, n igtal a 3, 5,
7,71,13,17 y 79.
Como es natural, Lam qued avergonzado por sus simplezas, ms an
por ser publicadas en las Actas de Ia
res primos, y, por tanto, intent demostrar esta propiedad para los enteros ciclotmicos. Lo que demostr, en
cambio, es que en general tal propiedad no es vIida para dichos nmeros.
publicacin casi desconocida.) Conforme Kummer continuaba trabajando sobre los enteros ciclotmicos,
El desafortunado Lam
se vio tan
I
la.
de
1a
ley de reciTEMAS
derna, los nmeros primos que verifican tal condicin se liaman regulcLres.
los cuales se ha demostrado ser imposible que rP + yP = sn. Todos los nmeros primos menores que 100, excepto
37,59 y 67, son regulares.
reciprocidad. El propio Gauss, aunque neg siempre estar intrnsecamente interesado en el ltimo teorema de Fermat, manifest la esperanza
de que apoyndose en sus resultados
sobre leyes de reciprocidad de grado
f
I-l
atacinxp
yp = zp carece
1_-
*:;;;lii::fr.n
tu;ffi;i,::
r'?
"
w
i':'.+
33
S.
f)or otra parte. ias condiciones suI ficientes actuales son ahora tan
generales que incluyen a todos los
nmeros primos que han podido ensayarse. Dicho de otra forma, todos los
nmeros primos alcanzables mediante las actuales tcnicas de cmputo han resultado ser exponentes de
validez del teorema de Fermat. Los
algoritmos precisos para verificar si
un nmero primo cumple estas condiciones son muy sencillos, y a 10 largo de los ltimos aos se han realiza-
do comprobaciones sistemticas en
grandes y modernos ordenadores,
entre las que destacan Ia efectuadas
por D. H. Lehmer, de la Universidad
de California en Berkeley, R. G. Selfridge, de la Universidad de Florida,
Wells Johnson, del Bowdoin College,
y Samuel S. Wagstaff, de la Universidad de lllinois. A principios de 1970,
Ios clculos de Johnson establecan
que el teorema de Fermat es verdadero para todos Ios exponentes primos
menores que 30.000. Wagstaff, trabajando con tcnicas muy refinadas en
un gran ordenador de Ia Universidad
de Illinois, llev el limite hasta ms
all de 125.000.
34
ros
I s que, en cierto sentido, el teola, r.rn, de Fermat es emprica- f)uede que la pertirracia de los matemticos alicionados
mente cierto. Si ia ecuacin ' + y" = z" I
-muchos
tiene alguna solucin, los nmeros
que comporta son tan inconcebiblemente grandes que 1os seres huma-
refiriendo a que el enunciado sea verdadero para los nmeros que hayan
podido encontrarse hasta entonces, o
que puedan encontrarse algn da.
a1
ij
iBi
;r
i ar ii.',, F
a i -i l', i rr i,
1,
\ :', ai i r.
.r
1.
nraro 1095.
TErvAs
=a-,*;.,: Instituto Isaac Nervton de Cambridge los rns prestigiosos expertos mundiales en georretra arinntica. La geornetra aritmtica es una rama moderna de 1as matemticas: en
ella se establecen relaciones entre los nmeros enteros -v objetos geomtricos colno curvas. superticies. etc. En ei transcurso
de un seminario de estudios sr-rperioLes. \-ante un prblico formado pol unos cincuenta especialistas. el matemtico lritnico Andrew Wiles. prol'esor de la univclsidad de Princeton.
present sus ltimos resultados.
En la comunidad matenitica Wiles tiene farna por -sr.r discrecin y la potencia de sus trabajos. Sus publicacione\ no \on
mlly nllmerosas, pero en ellas se han demostrad,r eotr.ietLtLu.
importantes. Que anunciase tres conferencias se-uuidas era Lln
buen augurio.
El primer dzr expuso unas conjeturas de los aos 50. . lentamente. fue sentando las bases del contexto en que se mLleven
sus resultados. Al final de la sesn. sus colegas empezlr()n ii
pregLrntarse si no habra demostrado 1a conjetula de Tanir ama.
estrechamente asociada al teorema de Fermat. -v. con el1a. ste.
uP+)+
implica
,l''P=0
rr.'r.r'= 0.
decir. no puede satisfacer 1a conjeturii de Taniyarna; por contra. cor.lo fcilmente se \e. es semiestable" (Kenneth Ribet,
de 1a Llniversidad de Berkeley). O de este otro: "S. Andrew
anunciti una demostracin de1 Ultimo Teorema de Fennat. 1'
parece qlle 1os cole-uas 1a admiten. Hoy por ho,, e1 mlnuscrito
ha circulado muv poco. Hay pelsonas que estn verificando
que no hava nin-rrn error: las eventuiles correcciones pueden
ser mnimas. Pienso que se espera clar una versin definitiva a
finales de verano. Creo que Katz ha ledo la demostracin a
fonclo otl'os tienen e1 manuscrito desde hace al-uunas ser.nanas. Estuve presente cuanc'lo hizo su anuncol mantur.'o 1a
audiencia en vilo hasta el rltimo momento" (R. L. Ta1'lor.
alurnno directo de \\'iles).
El entusiasnro n'runcLal era comprensible. La conjetura cle
Fermat se considera una de las tres principales conjeturas de
lrs l.rlatemticas. juntamente con las dc Poincar v de Riemann.
SLr clilatada andadurr comienza con el rnagistrado dc Toulouse
Pierre de Fernrat ( 160 l- 1655). uno de los -sigantes de l:.rs mrtentiticrs. Un siglo antes de que Gottfriecl Will'relni von Leibniz
u- Isaac Newton sentaran las bases del clcLrlo clif-erencir1. clio
con 1as ideas principales del cilcLrlo dilelencial 1, obtuvo
n.luchos resultados notables de 1a teora de nmerts.
. 'l enunciado cle la conjetura dc Fermat se presenta general,, mcnte como sigue:la ecuacin,T" + l" =.-", en donde -r.
. - son nmeros enteros no nulos v n es un entero lnayor o igual
que 3. carece de soluciones. Los griegos saban qne dicha ecuacin posee sol uciones (de hecho infinitas ) cnando el exponente
ii es igLral a 2: por ejen'rplo. 32 + ,1r = 51. Ferrnat se pregunt si
tambin las tena cr.rando n es igual a 3. -1. etc.. y acab por
conl'encerse cle que se no era ei caso. En el margen de su ejernplar cle la Ariltttica de Diofrnto dejci escrita 1a frase que ha
.1
En 1983. el nratenrtico alemn Gerd Faltings plob 1a conjetura de Mordell. As. cuando el onero de una cun a es superior a uno (es decir. cuando 1a ecr,racin de 1a curr a \e con'esponde con la superficie de una estela dotada de al rnenos dos
asas). 1a cur\a posee nicarnente un nrnero finrtc de soluciones enteras sin divisores corrLlnes.
Segn Pilar Bayer. profesora de la L nir ersidad de Barcelona.
e1 factor decisi",o que ha permitido Ilegar hol a 1a solucin del
problema se encllentra en una idea de Gerl-rard Frer. director
del Instituto de \.{atemtica Expenr.ne ntal de E:sen. Dicha idea.
aparecida en 1986. consiste en asociar a cada hrpottica solucin.r. r'. : de la eclracin de Fennat una cur\a e1ptica de la
forma Il = X (X ,r')(X + r'"). Ribet den.ristr en 1990 que
estas clrrvas no pr-reden ser parametrizadas pol funciones de las
llarnadas modulares. Por el contrario. 1a conjetura de Tani'ama
predice que todas las cun'as e1pticas son r-r-rodulares. As. por
reduccin al absuldo. si 1a conjetula de Tani ama es cierta. la
ecuacrn de Fermat no puede tener solucin.
'[- ste rebrote de actir,idad sobre el problema recalc su cliti- cultad. pero volr,i a convertirlo en tern1 rclecuaclo de
investigacin mltemtica profesional r' dio rnpetu a Wiles
para emprender un ataque paciente ' sistemtico contra 1.
Wiles no ha probado la conjetura de Tanir.rma en toda su
generalidad. pero sus resultados son suficientes para abarcar
ia clase de cuvas considerrdas pol Frel'. Puede por tanto conch-rirse que la ecuacin de Fermat carece de soluciones para
los erponentes n superiores a 2.
En una sesin extraordinaria de 1a Acadernia de Ciencias de
Pars. e1 28 de junio de 1993, Jean-Pierre Selre lecalc que.
tras el hal1az-so de Wiles, el flu.jo de demostraciones falsas clel
teorema de Fermat que le son remitidas por la Academia para
su examen no cesar. ya que quienes se creall plecursores de
Wiles no ciejarrn de reclamar su prioridad.
En el transcurso de 1a misma sesin de la Academia. inusual
por el gran nrnero de jvenes matemticos presentes en el auditorio, Gustave Choquet recordaba la promesa que en 185'l la
Academia hizo de otorgar una rnedalla de oro y 300.000 francos de oro a quien lograra demostral el teorema de Fermat.
Ernst Kummer, el artfice de los nmeros algebraicos y creltdor de Ia teora de ideales, prob, mediante sus notables mtodos. que 1a conjetura de Fermat era cierta para los valores pri36
final
de la demostracin
ori-
Bl Alolrn
F.r
\\-rr.r.:s*
C'ubutn
men. Wiles empez a ocuparse del problema de Fermat en su juventud, pa.tiendo de la suposicin de que Fermat
deca Ia verdad al manifestar que haba
conseguido una prueba. La actividad
que se produjo en el mundillo matemtico en 1986 le proporcion "una
maravillosa excusa" para retornar a 1.
A pesar de todo no saba por dnde
otLf e
toqrtr.Lrlroto;.
in
eI
quatlnr
gr
nott cttttttt.
Pierre dr: Fermat
Introduction
An elliptic (Lu'\'e ovel Q is,said to be ntodulrr ilit has a nite cor-erirrg bv
a moclulal c'ulvc of thc, fc,ilrn,{o(-\ ) Anr-such elliptic cLrr,,'e hls thc-. propeltr.
that its Ha-.se-\\-ei1 zctr funcrtion hirs an alrlr'tic continlrrtion arrcl satisfics a
functional e(lllatiuri rl tlrr: -staridird tr"pe. Il an elliptic cllr'\'e o\-ri1 Q l'ith a
given 7-invariant is nroclul.Ll'then it is tasr.to see that all elliptlc cur'es u'ith
the sanre.7-inr';rli;rrrt 1re rlrodllllr (irr u'hich case \\'e srr-thit the.j-irn'arlant
is moclular'). A u'cl1-krrot'n c'orijcc'ture u,hich glex'out of the t'orli of Shirllrla
and Tanir-anra in the 19:r0'-s and 19(i0's rsscrts that everv elliptic'c'rrn'c ovel Q
is rnodular. Hori'eler. it orrh- iiccrrric widel'knor.r.l thlough its publicatiou irr r
papel of \\"eil irr 1116; \\ct (ns an exercise fol the irrtercstccl rerrclerl). irr s'hich.
rnorcoler. \\ei1 gale coucertual er.idence fol tlx: conjcctrrre. Altlirrrgli it had
been nunreticrllv velificcl itr rrirnr.c:rses. plior to the rc-qults <lc-sclibed in this
paper tt hacl ollr' 1eerr kriol-u that firritclv nranr. j-invariarrts l-t:r'c mrchrlar.
In 19,r Ftev rlarlc thc lcrlarkrbk: observation that this coniecture -shoulcl
irrplv Fclruirt s Lrst Theolern. The precise tnecharrisrr lclating the t'o 'ls
fbrrnulitecl lx- Serre as the :-corLjecture arxl tliis l,rs then plovecl lrv Ribct iit
the surtrnter of 19E6. Ribet's resuit onl. rc<|rirr-.s one to pro\-e thc c'orrjcc'ture
serni-.tilrle r:llirtic: <lrrr-c.s irr orck:r to decluce Ferrnat's Last Thcrr'ent.
fot
La dificultad estribaba en la utilizacin de un compiejo y demostracin. sino simplificarbuena parte del material elabonovedoso utensilio matemtico. llamado sistema de Euler. al rado con anterioridad.
que Wiles haba recurrido para solventar un punto muerto de
Uno de los aspectos interesantes del artculo "Modular ellipsu enfoque anterior. Tras una larga e infrlctuosa pelea con el
tic curves and Fermat's Last Theorern". 1a publicacin en que
sistema de Euler, "le ech un ltimo vistazo e intent formu- Wiles expone sus resultados es que. a1 final de su Introduccin.
1ar con precisin en qu fallaba". recordaba Wiles en mayo de
se incluye una detenida historia intelectual y personal Cel peri1995. "Y de pronto, el l9 de septiembre dei ao pasado. tuve plose-guidoporelautorhaciasudescubrirriento.quenodejar
unrrevelacinmaravillosa". viendo. "comoenunLelmpago".. de proporcionlr teml de trabajo a futuros matemrticos. histola clave del asunto. "Se haban acabado mis problemas. Esto riadores de la ciencia y estlrdiosos cle los procesos mentales y
rne dej tan sorprendido que durante r.arias horas me olvid de cognoscitivos.
ello y me dediqu a cierto papeleo administrativo, volviendo Wiles es de 1a opinin de que a Fermat le sorprendera conoluego al tema plra comprobar si todava segua al1. Era tan certodoel trajnproducidoporsLrnotimarginal,aitiernpoque
senciilo y tan elegante que. de entrada, pareca demasiado le encantara saber todo 1o que ha contribuido a la historia de
bonito para ser cierto." La verdad era que ''era demasiado bonito 1a matemtica. Queda ahora a los matemticos la tarer de
para ser falso", perrnitindole a Wiles no slo completar la encontrar un reemplazo.
GneEs MArEMTrcos
37
Gaspard Monge
Bruno Belhoste
trador
1a geo-
',.b
2.
I
la.
de1
villa
+,
/H
GEOMETRIA DESCRIPTM, el objeto del espacio se proyecta sobre dos pla-, y II, vertical y horizontal, y a continuacin se abate el plano vertical, .F, sobre el horizontal,.EI, hacindolo girar un cuarto de vuelta alrededor de
la lnea de tierra XY. Las dos proyecciones forman la representacin del objeto. La
recta AB est representada por dos rectas, ab y a'b'. El plano P est representado
por sus trazas aa y a, que cortan a la lnea de tierra en un mismo punto, o.
3. EN
nos ortogonales
39
De vuelta a la vida privada, da algunas lecciones de matemticas y reaparece en la Academia de Ciencias, que
est viviendo sus ltimos das. Cuando
fuerzo biico.
de
poltica, aprovecha
1a
reaccin
1a ocasin que le
1a
capital. Es
de
Egipto. Es entonces uno de los confidentes de Bonaparte. a quien acompaa en su peligroso viaje de regreso.
Tras Brumario. )fonge es nombrado senador. Napolen 1e colma de
honores v le nombra conde de Piuse
en 1808. Contina. no obstante. enseando an1isis en la Escuela Politc-
to A consiste en construir el plano de sitio, esto es, un plano tangente al cono cuyo
vrtice se encuentra en A y que se apoya sobre el contorno aparente -r del terreno,
visto desde tal punto. Monge determina grficamente sobre el mapa la ttaza T del
cono sotrre un plano horizontal zl y dibuja la recta D tangente a r, la ms prxima
del punto A a desenfilar. Esta tangente en B y el punto A determinan el plano de sitio. Basta entonces construir el muro de la fortificacin sobre el plano de sitio, como en terreno llano.
40
"1os
convertirn en clsicas de la literatura matemtica del siglo xx: su Gomtrie descriptiue, resultado de las
Iecciones de la Escuela Normal, publicada como obra independiente en
L799, y sr Application de I'analyse a
,.1:,
y superficies focales.
Aparte de sus trabajos matemticos, Monge tuvo gran inters por la
.'
.:
de estas cuestiones le resultar precioso en eI ao II, cuando deber ocuparse de producciones blicas.
I parte de este inters por los prola, ble-u. prcticos, Monge desempe un papel determinante en Ia
enseanza. Mientras que los matemticos del siglo xvIII eran ante todo
acadmicos, Monge fue sobre todo
profesor. A pesar de ciertas dificultades de elocucin, posea, al decir de los
Meruucos
11
,/
utili-
esfera. Si ahora consideramos la proyeccin sobre este plano de la figura formada por la recta, la esfera, y los conos
envolventes, podemos enunciar el siguiente teorema de geometra plana: sea
un crculo y una recta D exterior a 1.
Existe unpunto en el interior del crculo tal que, cualquiera que sea el punto
deD por el que se tracen dos tangentes al
crculo, la cuerda que une sus puntos de
rior
TEN,rAs
diferencial. Muchos jvenes matemticos de principios del siglo xlx, hartos de la aridez del estilo analtico tan
truir
S.LASEVOLUTAS deunacurvaen el espacio: Huygens frre el primero en estudiar las evolventes y las evolutas de una
ampliamente desarrollada en su
Application
tangente
tra plana.
J
l-/
horizontal.
Para representar una superficie
se
de
Por grande que haya sido su influencia posterior, la geometra descriptiva ocupa en la obra matemtica
de Monge un lugar bastante modesto.
Lo esencial de sus investigaciones geoTstvtls
mia en 1776
de un punto de la
definen, en cada punto. dos direcciones principales, tangentes a la superfrcie. Las lneas de cun-atura son curvas
sobre 1a superficie, tangentes en cada
uno de sus puntos a una de las direc-
Metuucos
9. LA SUPERFICIE DEFINIDApoT el movimiento de una recta horizontal a lo largo de dos curvas, en este caso una hlice
circular y el eje de la hlice, es una superficie reglada alabeada, denominada
helicoide. En efecto, su plano tangente
va girando a lo largo de sus rectas generatrices. Lo comprobamos al subir por
una escalera de caracol: resulta ms fcil subir la rampa por la parte externa,
donde la pendiente es menor.
Tatrn. Prrs.
19-5 I
L S-rvlr
A,ur DE Nrpolox.
Paul Aubr. Pars, 195.1.
LA RPUBLreuE AvArr BsorN oe S.,\MoNGE
1987.
vur
is
to
l Ecol CNrn,rl
os
Tn."r
1939, un matemtico francs que a la sazn contaba 33 aos dernostr la correccin de r-rnl uonje==-'i trru relativa al comportamiento de la tortuosa anclt.ii"=....=
clura de 1os nrmeros prirnos l'racia e1 infinito. en cierto nmclo
de crsos particulares de crucial importancia. Tal logro. a saber.
Ia demostracin de la hiptesis de Riemann para la funci(rn Z
en el caso de funciones de un cuerpo. coltstituve una.jor-a cle
la teora de nn'reros modelna. La hazra es tanto mrs notable cuanto que su lLrtor la consigui estrndo encarcelaclo er-r
r-rna prisin militar f}ancesa.
La ancdota anterior es slo una de las rnuchas cosls e\traordinarias acontecidas a Andr Weil a 1o largo de su vida. Una
r,ez recupcrada 1a libertrd, Weil llegara a con\.ertir'se en Lurr)
de los mrs insignes matemticos dc este siglo. Pero tan aisladas estin las matemticas de las restantes fbrntas de cultura qLre el ho,v prot-esor en-irito del Listituto de Estuclio:
Avanzaclos de Prir-rceton. Nuer.a Jersev. es casi corrpleta,
mente descclr.rocido fuera del mundillo matemtico. Cuandrr
hrce tres aos se public su autobio-erafa. titulida f/,
Apprertiteship of ct Matherntticitut. no hubo una sola publicacin extramatemtica que 1a researa.
Los colegas de Weil estiin prestos a ensalzarle. llanrindole "el rltimo de los grandes matemticos Llni\ ersales '.
Destacan que fue unr de los func'ladores de Bourbaki. el srlrpo
legendario que. cobijado baio el nombre de un sabio f icticitr
Bor-rrbaki-, ha escrito una serie de monumenta-Nicolas
1es tratados clue han aportado unidad y orden a las ntarentticas. El propio Weil ha navegado por todos los tributario:
plincipales de las mrtemticas, sobre todo la teora de nrmeros. la geometr'a algebraica y la topologa. erigiendo derostraciones v conjeturas que. a moclo de diques. canalizaron e1
l=-n
-'l
sus
.:
'.,uede
:'
1a
hubo cierta clubitatir,a arnbivalencia en su decisin c1e escapar del sen,icio militar. "La ider funclamental. que considero correcta. era qlle crrnr soldado yo sera complctame nte
intil, mientr'is qLre como matcmitico quiz pudierii hacer
algo. Desde luego. eso ocurra en tiempos de Hitler. y yo
estaba cornpletamente de acucrdo en clne el mundo no clebera doblegarse ante 1. pero ert incapaz de imaginarrle a nt
rrrirmo ttrrrunclo pJ|lc elr c:c enlpeo."
Para su desgracia,
Poldar.'ir.
l==
. ':'
,.=,i
escribiendo smbolos
rbstrrctos levant Irs
c,clopaedi a Britannica
pseudnirno v no una
pcr'\()na l:ie r. Weil e.cribi una carta de tono
qr-re
punto de ejecutarle.
inclignaclo. r.regando la
lreusuein. Lo: nlienrhrrrs tle Botrt'baki enrpelirfutl ctlt()nL.e\ it lroptIar cl lumor de que Boas
sir.r
no exista.
Auntltre otro\ nlJtcrniticos ms jr,enes han
continuacio perpetuando
el legado de Bor,rlbaki. su
inllLrcncia:c hr dc:r unecido. El propio Weil. que
clej el grupo a finales clel
't,
en pri:irr y rrlli
lrr inl-lucnciu
hiptesis de Riernann:
acabci sicndo pllesto en
libertad r cunbio de su
incorporacin al ejrcito
francs. Su capacidad
fura aplovechar ul nliiximo su encarcelamiento
fue ocasin de brornas
hr:ido
be-
dl.l
Andr \\'eil: "Siempre en pos de lo esencial."
Drrr itl Hilber't. en el sentido de que las matemticas fuesen asentaclrs sobre bases ms
seguras. ''Hilbert se limit a enunciarla: Bourbaki la ller, a
cabo". declara Weil. El hincapi cle Bor"rlbaki en la abstraccin y' 1a axiomatizacin fue crr ocisiones dentasiado lejos.
pero Weil subraya que no ha sido el propio Bourbaki. sino
pasin. la histcria dc las m1temiticas. E,n 1a actualidrd colrbora en la edicin de las obras de dos gigantes fi'anceses del
pasado. Jacques Bernoulli v Pierre de Fcnnat.
Gn..rxos N{ATENl..irrcos
41
.t
Po
,18
TENIAS
CarL
Friedrich Gauss
Ian Stewart
T a Matemtica es la reina de
L las ciencias, dijo en cierta
IJ ocasin Carl Friedrich Gauss;
su propia vida sirvi de ejemplo a este
aforismo. Considerado por todos, al
par de Arqumedes y Newton, como
uno de los matemticos ms capaces
de todos los tiempos, Gauss se interes tanto por la teora como por las
aplicaciones, y sus contribuciones van
desde la ms pura teora de nmeros
hasta los problemas prcticos de astronoma, magnetismo y topografa.
Realiz profundos descubrimientos
en todas las ramas de la matemtica en las que trabaj, introdujo ideas
y mtodos nuevos y estableci los cimientos de investigaciones posteriores. Da medida de su talento el que
todava hoy, ms de dos siglos despus de su nacimiento, sigan siendo
fecundas muchas de sus ideas.
Gauss fue, en muchos aspectos,
no
debieron conducirle a su descubrimiento. De resultas, muchas nociones importantes no han visto la luz
del da hasta ser independientemente descubiertas por otros.
1. LA CONSTRUCCION GEOMETRICA de un polgono regrrlar de 17 lados, usando slo regla y comps, fue el primer descubrimiento de este tipo desde los tiempos de
Euclides; marc, en 1796, el comienzo de la carrera matemtica de Gauss, cuando
contala 18 aos. En la pgina opuesta se ofrece una versin simplificada de su
construccin, preparada por H. W. Richmond en 1898. Se procede del modo siguiente: (1) Se trazaruna circunferencia de centro O y radio OPo de longitud arbitraria. Se
traza la recta OB, perpendicular a OP o. Se determina un punto J a la cuarta parte del recorrido OB. Se halla un punto.E tal que el ngulo OJE sea cuarta parte del
ngulo OJP' (lo que puede hacerse mediante doble biseccin de este ngulo). Se deterrnina un punto F tal que el ngulo FJE trrrid.a 45 grados. (Puede otrtenerse por biseccin de un ngulo recto.) (2) Se construye una circunferencia de dimetroFPo.
Esta circunferencia corta a OB en el punto I{. (3) Se traza otra circunferencia d
centro -E y radio EK. Esta circunferencia define los puntos Ns, y Ns. (4) Se trazan las
rectas Nf, y N5!s, perpendiculares a OPo. (5) Se traza la bisectriz del arco Pfu, a
fin de obtener el punto Pr. (6) Se lleva sucesivamente la cuerda PrPu sobre l ircunferencia, a partir de Po. Los puntos obtenidos se unen por segmentos rectilneos
para formar el polgono.
GnqNoss M,qrsurrcos
lafisica aplicada
en Brunswick (Alemania). Su
Irt-
\TSTIGACIN Y CIENCIA.
49
e1 problema
ir'
l]ra:n'.
.dl.!r!.
vo esta serie es
descontento de
seria atencin a los problemas creados por 1os infinitos. Pocos nios pro-
Al ao siguiente,
Gauss entr
rilY
#:
w*;-'-M
50
oaaaaa
oaaaaoa
aaaaaaaa
aaaaaaaoa
aaaaaaaaaa
aaaaaaaaaaa
aaaaaaaaoaaa
aaaaaaaaaaaao
aaaaaaaaaaaaaa
aaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaa
aaaaaaaoaaaaaaaaaa
aaaaaaaaaaaaoaoaaaa
a a a a a a a a a a a a a a a a a a a a 210
a a a a a a a a a a a a a a a a a a a a a231
14
lados.
dados,
y el valor a
determinar).
aos.
Puede decirse que esta obra hizo por
la teora de nmeros lo que Euclides
por la geometra: organiz conoci-
(a,bl=a+bi
gruentes mdulo 2.
Gauss seal tambin la posibili-
J ru.rrrcecoru pon
(-b, a) = -6
congruente con 0.
de clculos de congruencias. Me pregunto cuntos profesores saben dnde se origin esta teoa y con qu
objeto fue desarrollada por Gauss,
quien la necesitaba como instrumen-
to de demostracin de profundos y
J
,rrrt.,co",ot to*,
que los nmeros reales pueden representarse mediante puntos de una recta.
Los nmeros complejos pueden mane-
52
nz d resto o.
es verdadero si
toma el valor
comps.
;
aa
3
aaa
6
aaaa
10
aaaaa
15
aoaaaa
21
aoaaaao
28
aaaaaaaa
36
aaaoaaaaa
45
aaaaaaaaaa
55
aaaaaaaaaaa
66
aaaaaaaaoaaa
aaaaaaaaaaaaa
91
ooaaaaaaaaaaaa
105
aaaaaaaaaaaaaaa
120
aaaaaaaaaaaaaaaa
136
'153
aaaaaaaaaaoaaaaaa
aaaoaaaaaaaaaaaaaa
171
aaaaaaaaaooaaaaaaaa
190
a a a a a a a a a a a a a a a a a a o a 210
a o a a a a a a a o a a a a a a a a a a a231
1
3. LOS
^.
14
1ados.
de
y r el valor a
a,os.
determinar).
dados,
(a,b=66
OE
o
uJ
=
uJ
(-b, a) = -6
*rr,r,co",o* ro*,
congruente con 0.
de clculos de congruencias. Me pregunto cuntos profesores saben dnde se origin esta teora y con qu
objeto fue desarrollada por Gauss,
quien la necesitaba como instrumen-
to de demostracin de profundos y
J ,urrr.,coc,o,
"o*,
(a,
-n\ =
--
ro*,
que los nneros reales pueden representarse mediante puntos de una recta.
Los nmeros complejos pueden mane-
52
es verdadero si
r toma el valor 8
f
L/
a + bi, donde a y b son nmeros reales e i es raz cuadrada de -1 (es decir, i2 - -1). Los nmeros complejos
'101
9i
8i
7i
6l
5l
4i
3t
x..
\
/
-1U
-7
-6
\
\
/
-2
-l
_I
\
\
10
/
/
-3i
\
-4
\
-5i
-6i
-7i
-8/
-9i
-1 0l
MERCURIO
negativa."
9
10
60
geomtrica
la adicin y la multiplicacin.
de
Me-
600
700
800
900
1
000
-5+
ticos genuinos.
pn
IJ
dad. A
partir
luego de
el
1766.
PLUTON
NEPTUNO
-1. No se com-
80
SATURNO
cuadrada de
90
i, raz
orden de integracin. Gauss demuestra que no es as. sino que los distintos rdenes de integracin dan a
Ia integral valores distintos. Por consiguiente, Ia hiptesis de inexistencia de races tiene que ser fa1sa. esto
es. existe ula ra2.
Para comprender de dnde vino Ia
demostracin hay que tener presente
que Gauss posea los teoremas fundamentales de1 anlisis de r,ariable
70
100
#Ei+ii-***
y 6. La
ley- de reciprocidad bicuadrtica enuncia que para dos nmeros primos p ; q existen ciertas relaciones entre los enunciados 'b es
residuo bicuadrtico de q" y "q es
residuo bicuadrtico de p", con un
cmulo de condiciones relativas a p
v a q. Este teorema es an1ogo al de
reciprocidad cuadrtica, pero es mucho ms fatigoso de enunciar matemticamente (y, por consiguiente, es
sencillo,
GneNoss MarEurrcos
y, su resolucin, ms
na-
La demostracin de Gauss de la
ley de reciprocidad cuadrtica utiliza enteros de Gauss, y constituye un
modelo arquetpico de resolucin de
problemas de teora de nmeros. Primero, el problema se generaliza a un
dominio de nmeros complejos convenientemente elegido, llamado un
cuerpo numrico, en el cual el problema admite un anlisis ms natural; a continuacin. el problema se
ao en que William Herschel descubri lJrano, a distancia aproximada de 196 unidades. Como el
siguiente trmino de la sucesin de
Titius-Bode sera 2(96) + 4 = 196, Ios
astrnomos centraron su inters en
la laguna correspondiente a 28.
En la Nocheeja de 1800 a 1801,
Giuseppe Piazzi descubri lo que
pens sera el planeta que faltaba.
Se trataba de Ceres, que ahora sabemos que es uno de los millares de
pequeos cuerpos del cinturn de
asteroides situado entre Marte y
Jpiter. Uraa vez divisado Ceres era
importante calcular la rbita etptica
del nuevo cuerpo celeste antes de que
los observadores lo perdieran de vista.
tan pequeo haca que los datos disponibles fueran escasos y poco fiables, y tanto ms difcil la exacta
determinacin de su rbita. El propio Newton haba hecho notar cun
difcil era la determinacin de rbitas
expuestos en 1809 en
un artculo
tituiado "Teora del movimiento de
los cuerpos celestes que giran alrededor de1 Sol segn secciones cnicas". son vlidos todava hoy. Tan
56
la
determinacin de 1a forma
mao de
la Tierra. Dedic a
ta-
esta
trumentos topogrficos.
porGaussyWeber.Ambosobtuvieronlasmediciones experirnentales
necesarias organizando una red de otrservadores por todo el mundo.
Trlr,rs
tir
o ms dimensiones.
Unos 60 aos
de
Albert Einstein.
A partir de 1831, ao en que el fsico Wilhelm Weber lleg a Gttingen, Gauss trabaj en estrecha colaboracin con l en Ia investigacin,
tanto terica como experimental, del
magnetismo. Ambos inventaron un
magnetmetro, y como resultado de
su comn inters por el magnetismo
Tierra, resultado de considerable importancia, porque delimitaba los posibles orgenes del campo, y haca que
la atencin se concentrase en
los
mecanismos geofsicos que lo engendraban. Su contribucin queda recogida en el "gauss", unidad de densidad de flujo magntico.
ft auss v Weber estuvieron tam\f bi"r'"r,tre los primeros en sealar la posibilidad de transmitir
bilidades en total): el dispositivo funcion tan bien que 1os dos hombres
lo utilizaban regularnente para comu-
y tambin es igual a f(z + ). La situacin es anloga a las de las funciones trigonomtricas, que tienen
periodicidad simple. As, por ejemplo, sen(e) = sen(z + 2tc). El descubrimiento de Gauss tuvo vigorosas
implicaciones, debido a las numerosas conexiones entre la teora de
funciones de variable compleja y la
teora de nmeros.
Tambin estuvo Gauss entre los
que se conectaron los palacios de verano y de invierno delZar, en San Petersburgo. Un ao ms tarde, Gauss
de
jui-
sido
exhaustivamente estudiado a lo largo
de toda la historia. No se impone aI
pensamiento con tanta fuerza como
los restantes; adems conlleva la nocin de infrnitud. Ya en la antigedad, los matemticos intentaron sustituirlo por axiomas ms evidentes.
[lste problema. todava no resuelI:l to en el siglo xvltt, recibi renovada atencin, y muchos matemti-
y amateurs se esforzaron en
demostrar que el axioma de las paralelas poda deducirse, lgicamente,
de los restantes axiomas de Euclides.
Todas las presuntas demostraciones
que se obtuvieron resultaron contecos
la
conclusin de que
tal
demostra-
Tres aos ms tarde haba finalizado una memoria en la que propona un sistema coherente de geometra no eucldea, que public como
apndice a un libro de su padre,
Ensayo sobre elementos de matem,ticas para juenes estud,iosos. Gauss
ley esta memoria en 1832, y escribi
a Bolyai padre que no podra ser elogioso con ella, porque hacerlo sera
lo mismo que elogiar trabajos que l
58
decep-
se
1o
Pierre Deligne.
a1
:l
Tr-nes I
A*N,
y ss seaes
{ Lsv?{
wyts seye
La transformacin de Fourier ha
llegado a ser un poderoso instrumento en dir.ersos campos de la cien-
al-
mtodos para Ia resolucin de ecuaciones difciles de manejar, verbigracia. las ecuaciones que describen las
respuestas dinmicas de los sistemas
it 1i,\i',it11
l.t
1,i.
pertenece
Sydneyyen
e1
laboratorio Cavendish,
de
historia natural. Fourier fue nombrado secretario del organismo cientfrco conocido por Instituto de Egrpto.
Tal era su competencia en despachar
tareas administrativas, que le fueron
encomendadas no pocas m isiones
diplomticas. Lo cual no le impidi
Ilevar a cabo una exhaustiva investigacin de las antigedades egipcias
60
solares
* eectrwicg ttliz{
*.e
cwn,as ondulsnles.
obse-
li{)i,\Lt } i,.
z.t'*rsciuls
cico de lus
ase"rrtrs qwe
se reducew ruaerszlc*wew{e
Ts es
ffiras retornar a Francia, relalivaI mente inciemne. l.ourier se centr en cuestiones matemticas, en
su puesto de profesor de anlisis de
-un
TEN,rAs
GneNoes Mersurrcos
6l
la distribucin de temperaturas
co-
I80
tura constante.
Fourier propuso que la iregular
distribucin inicial poda descomponerse en multitud de sinusoides sim-
POSICION
(I
=
F
(I
ul
I
UJ
POSICION
f
F
(I
uJ
oUJ
r80
POSICION
360
fI
l
F
.
UJ
(L
UJ
POSICION
62
Teues
TEMPERATURA
180
360
POSTCTON
deprisa decaera tal componente. Podemos seguir su razonamiento examinando la relacin entre eI arm-
El anlisis de Fourier
pona en
Meruucos
180
360
POSTCTON
r80
POSTCTON
una sencilla suma aritmtica, compuesta por una variacin fundamental ms sus armnicas de frecuencias ms elevadas. Tambin
Leonhard Euler hubiera hallado in-
se centraban en su proposicin de
que una funcin en apariencia discontinua pudiera representarse mediante una suma de funciones sinusoidales, todas ellas continuas. Las
grficas de las funciones disconti-
de
vergente y representar, con exactitud, funciones cuyos valores saltasen bruscamente, y no sIo una, sino
muchas veces. En su poca, tal idea
pareca manifrestamente absurda.
en un puerto determinado.
4.
Tnr,ls
sus
nitud fsica.
analticamente, o no figuren en las tablas. Antes de los ordenadores electrnicos, Ia computacin numrica de
de
que representa
la amplitud y fase
a cada frecuencia.
correspondiente
Disponemos de dos mtodos mate-
una transformada era bastante tediosa, porque exiga un elevado nmero de operaciones aritmticas que
era preciso realizar corrlpiz y papel.
Era posible reducir un poco el tiempo
preciso mediante formularios y plan-
va ser apabullante.
z
tr
z
o
9
z
Io
z
CE
()
a
o
Io
zl
LL
(r)
"TTEMPO" (r)
Ambas funciones parten de cero, saltan a un valor positvo y decaen despus exponencalmente. La definicin de transformada de Fourier de la funcin continua es una
integral impropia, F(f), mientras que la definicin para una funcin discreta es una suma
f
inta, F(v').
r(0 =
is(fl
(cos
2rlt-
isen 2nft) dt
F(v)
r l:1g(f) (cos
2nvr - I sen 2nvr)
= n _-^)
definiciones de Fourier y de
Hartley es el factor -l antepuesto a la funcin seno, una y otra transformadas son totalmente dferentes, pues la de Fourier consta de parte real e imaginaria, mientras que la
de Hartley es enteramente real, Las transformadas discretas de Fourier y de Hartley tienen esencialmente la misma forma que sus anlogas continuas.
fI
UJ
n
l
o
II
tJ
o
o
CE
o
lr
o
I
vw
IMAGINARIA
rj,
"fr
uJ
J
F
tr
IJJ
\^
CE
o
t!
a
z
(f
F
^,/
V V
FRECUENCIA
o
LL
,/
FRECUENCTA
FRECUENCIA
66
I,JJ
U)
Aunque las grficas parezcan muy diferentes, la nformacin sobre ampltud y fase que
puede extraerse de una y otra es la misma, como vemos al pie.
(L
FRECUENCIA
tJ
ran configuraciones geomtricas sobre una pelcula fotogrfrca (izquierda). Tales confrguraciones representan parte de la
gonomtricas
y llevar a
cabo otras
sinusoides una funcin dada. Se diferencia de 1a transformacin de Fourier en algo bastante sencillo. X{ien-
resultaba posible deducir directamente, de la transformacin de Hartley, las intensidades y las fases, sin
necesidad del paso adicional. Un
poco ms de reflexin hizo ver que
cada uno de los dos tipos de transformada proporciona, para cada frecuencia, un par de nmeros que
representan en amplitud y fase una
la representacin de sinusoides. La
comodidad que supone la representa-
su
narios y una suma compieja de funciones sinusoidales, en la de Hartley aparecen solamente nmeros reales y una
suma real de funciones sinusoidales.
de
oscilacin fsica.
\To
1\
producidas por compuestos qumicos similares. A partir de la informacin sobre la intensidad y la fase
de los rayos X, los bilogos lograron
remontarse hasta la estructura cristalina, o sea, hasta la funcin original. En aos recientes, los estudios
de difraccin de rayos X, combinados con las tcnicas del anlisis de
Fourier "inverso", han revelado Ia
estructura de muchas otras biomolculas y de estructuras ms com-
EstadounidenJI-la Administracin
Aeronutica y
discos de grabacin digital puede e1iminarse por filtrado de ciertas porciones de la transformada producida
por el primer programa. El segundo
programa reconvierte la transfor-
se de
del Espacio
(uasa) se vale de la transformacin
de Fourier para mejorar Ia calidad y
detalle de las imgenes de los objetos
celestes tomadas en el espacio. Las
sondas planetarias y los satlites en
1a
forma de la doble hlice fue descubierta, en 1962, gracias a las tcnicas de difraccin de rayos X y al an-
lunares.
la
msica
grabada. Finalmente, los datos alterados se reconvierten a frn de reconstruir la imagen. Este proceso puede
ag:uzar el enfoque, eliminar niebla
de fondo y modificar el contraste.
La transformacin de Fourier
es
la qumica,
tenemos eI espectrmetro de trans-
formadas de Fourier de
generales,
En sus trminos ms
Mi colega John Villaseor y yo herbita terrestre transmiten imge- mos descrito un mtodo ptico para
nes a la Tierra en forma de series hallar la transformada de Hartley,
de impulsos de radio. Un ordenador
desarrollo que permite codificar la
transforma estos impulsos mediante fase y amplitud de Fourier en una
tcnicas de Fourier. Seguidamente, sola imagen real. Hemos creado un
el ordenador ajusta diversas compo- dispositivo que construye la transnentes de cada transformada para formada de Hartley usando micro-
en fsica de semiconductores, en
acstica de microondas, en sismografa, oceanografa, en cartografa
por medio del radar y en confeccin
dos programas.
muchas aplicaciones a
sado por
indispensable en el tratamiento de
casi todas las cuestiones de la fsica
moderna, por recnditas que sean."
h I !, l,1l
)(ili,\f,i.!
Li
i\i i}l_;:\iilt\-'
1Rl
Jospg Founrr.n: Tun MlN AND THE PHysrctsr. John Herviel. Clarendon Press.
t975.
Tss Founmn
TRANSFoRNT,c.No
Irs Appll-
sy AN.ALOcun
Henrlr- TneNs<tlrerroN. John Villa-
seor y R. N. Bracewell en N/Ir, volumen 330. n.o 6l-50, pgs. 73-5-737; 2zl de
diciembre de 1987.
TsM,A.s I
Augustin-Louis Cauchy
Bruno Belhoste
Lrs iq.{r"*?zsigewc* da Crxwcly en *s.t'tt<;s
n* we wzz{}l"
{dz. sts
exigewci*
p*itic*s v r-elgf*sos
te
rigor
xrtezltCI"
ra mitad
cionalmente precoz!
1a
profundidad y
temtico
es Augustin-Louis Cauch-.
es que este ltimo nada tiene
Cierto
de hroe romntico. Su larga vida no
refulge con ese relmpago efmero *
prodigioso que fascina en e1 caso de
Galois. Catlico cercano a los jesuitas, monrquico ultra, Cauch. llega
pronto a ser un sabio reconocido que
ocupa desde muyjoven cargos oficiales en las instituciones cientficas de
su tiempo. Pero es tambin. a su
modo, un ser apasionado, a1 que nin-
1o
bueno
abri
Ldn
nuevo dowzi*irs
rs
ncstew{icos
sabioeslabsquedadelaverdad."La
Cauchy en L842-escribe
constituye
un tesoro inestimable,
cuya adquisicin no va seguida de
verdad
hasta
jun-
TENiAS
...
ra{
:,ll.l;
ffi
:i.
a'
i:
1'
.
:llr:
f
:-:
':':
,
4:
!:.
,. a.:.::.:
:.
'','.:
'':,..:j::: :.:!r
,:a,
y de elevado nivel a los futuros ingenieros de los servicios pblicos, civiIes y militares, y reformada por razones polticas en 1804 por Bonaparte,
dispona de un claustro docente muy
notorio. Cauchy asisti a Ias lecciones
tidos 125.
en ella.
investigaciones, consiguiendo en
GI
2.
se conocan los cinco poliedros regulares convexos, a saber, el tetraedro (o), el cutro (), el octaedro (c), el dodecaedro (d) y el icosaedro (). Kepler fue el descubridor del dodecaedro estrellado
de caras ordinarias (l). Poinsot aadi, en 180g, tres nuevos poliedros regulares no
eonvexos (9, h ei).cauchy, respondiendo a un problema planteado por poinsot, consigu.i demostrar que solamente existan estos nueve poliedros regulares. En efecto, todo poliedro regular no convexo se obtiene prolongando los lados de un poliedro regular convexo que le sirve de ncleo, como puede verse en el dodecedro
estrellado de caras ordinarias de Kepler (l), que es prolongacin del dodecaedro (d).
72
Tfurls
a confirmar su nombrada. La primera, Sur la thorie des ondes, remitida de forma annima el 2 de octubre, acab mereciendo el gran premio
de matemticas. En la segunda, sobre
la cual ya trabajaba durante su estancia en Cherburgo, daba la demostra-
la suma
de n nmeros n-gonales como mximo. En srts Disquisitiones arithmetica, Gauss haba demostrado rigurosamente Ia conjetura para los
nmeros triangulares y los cuadrados. Cauchy, por un mtodo completamente diferente, consigui dar una
demostracin general. De todas las
conjeturas de Fermat slo quedaba
por demostrar el "teorema magno", tan
fcil de enunciar como difcil de demos-
trar: la ecuacinxn
yn = zn no admite
Laplace.
tauracin,
a
o
cc
l
Z
I,J]
.
J
:f
(,
z
.
A
/. \
/!^
/--A
/.\
e_
a
o
o
I LJ
--'
a
lqll/'\
Hl
aI
_r
e-+
IIJI/
Jl
elq
I<t\xl\
uJll\
-l
l.l
I #
<l
ztl
----
a ]e
H
le
i-t\
I
JI\
d-.-b
do oi
ffi
#,
,
+
--,
d
)-
e^,ePe.^
"*ee
efe@
Ae
'*E
e?
e-_,
IH
J t\
IJIJ
'l\
I
| {
*f*-,*
l-*#f
B
l-eleeee-s-
-gee^
'"-EE
#*ue*h 8-%"**f E
G
b,
e
@
b--d
L 6
It\
t-t
atf ?b
o
;-T
!t [ {
'.-o-
F..
< l^,/
ul'\
t\
zl\
<l/
zl/
l,__l
-+
5l
ORDEN
uJ
UI\
sus
ta descomposicin.
13
tuto en
Facultad de Ciencias
de Ia poca. como Gauss, Abel o Bolzano, pero Cauchy fue e1 nico que,
pensando en su enseanza, construy
todo el edificio del anlisis sobre bases
CUBO
V=8,C=5,A=12
^
\/
e1
profesional.
como el de
naliamente desdibujada, en la
DESCOI\IPOSICION DEL CUBO EN 6 PIRAI,I]DES
v=9.c=18,A=20,P=6
V+C=A+P+l
infinito. de infinitamente
Cauchy, en sus lecciones. emprendi una verdadera reforma del anlisis, al que puso bajo el signo del rigor.
como explicaba en su Cours cl'arnlt,se,
de 1821: "En Io tocante a mtodos. he
11
de
de
mrito
lgebra. Las razones de este tipo. aunque bastante aceptadas por lo comn
(... ), no pueden considerarse, me
parece, sino como inducciones adecuadas para hacer presentir la verdad
en ocasiones. pero concuerdan poco
con la exactitud de que tanto se jactan las ciencias matemticas. Es preciso observar adems que propenden
a atribuir a las frmulas algebraicas
e1
1os
a1
ANILLO CUBICO
v=16,C=16,A=32
V+C=A
infi-
mente-
integral.
I pesal de numetosas insulicienla. cia". como. pol ejemplu. la ausencia dc las nociones de continuidad uniforme I' de convergencia uniforme, el
culso de Cauch,- en ia Escuela Politcnica defini durante mucho tiempo
se
estuviera demostrada para una red cualquiera de polgonos, habramos demostrado al mismo tiempo la frmula de Euler para todo poliedro que pueda ser cartografiado as. Para demostrarla, dividamos cada polgono de la red en tringulos,
trazanrdo n diagonales. Obtenemos as P + z tringulos, A + z lados y V vrtices. A
continuacin, destruyamos sucesivamente todos los tringulos en los que al menos
un lado pertenezca al contorno exterior de la red. Por ejemplo, para el mapa del cubo se obtienen por triangulacin, diez tringulos. Tras la destruccin de los tringrrlos a, b, c, d se pierden cuatro tringulos y cuatro lados. El nmero de vrtices
no camtria. Despus de destruir los tringulos e, f, 9, h y tam}in i, la red restante,
reducida nicamente al tringuloj, ha perdido esta vez cinco tringulos, diez lados y cinco vrtices. Le quedan tres vrtices y tres lados. Tenemos pues gn sistema
de tres ecuaciones: V - 5 = 3, A + n - !4 = 3, P + n - I = 1, que podemos reducir a la
frmula P + V - A = 1. Resulta fcil generalizar este procedimiento de reduccin a
una red cualquiera y obtener la misma frmula. Sin embargo, el razonamiento supone que siempre es posible reducir la red por destruccin sucesiva de los tringulos exteriores a un solo tringulo, lo cual no est demostrado. Y sobre todo, la demostracin solamente es vlida para poliedros cartografiables, es decir, para una
clase reducida de poliedros.
15
1o
que
/:
)r*/*.nrM
')"5 /.r'r-cz* ia /
2t /-n-'
,,\
to
/,'
1/a
L,
.r;
i"
partir de 1826.
Estas memorias fueron redactadas, al
parecer, con ocasin de sus cursos en
1a Facultad de Ciencias , en e1 Col1ge
de France. nuevo ejemplo de relaciones fecundas entre la investigacin y
1a docencia.
ciones multiplic a
L,
't'1t'/-'l
*rt;;,, .1*,,.'tL\l"r.rir1 t'o(.l'" ' !r'-rl"'
:'-1 : |
lo "'-'
$*.1/l ,ii;l {'f *\iiri.) 7'' h<\-'t i 'r:t--r} !*''e
{'rd I ;frt "r i-:'
: *e \t :- {,,r:Itt-;,- \! l--l--'L fi' *sy'-1t', rr'{i-{rrf l- r-}}'u.,r;'l !"*tyo-'-i.'"r r':-""'
ft"t'-
t+'itj':;i'I
'i-}'({
ti-dt<r*, {t
-t
composicin no era nica. Los pliegos sellados del 17 de marzo permanecieron cerrados hasta 1980; fueron abiertos a peticin del autor de este artculo. El de cauchy
es muy curioso, porque est escrito en italiano y en caracteres gtiegos difciles de
descifrar (Cauchy posea cierto sentido del humor). En el recuadro se ofrece la traduccin del texto de Cauchy.
76
auchy tenia .10 aos cuando estallo la Revolucin de 1 830. La partida del rey legtimo, Ia participacin
de los politcnicos en la insurreccin
r- los actos de violencia anticlerical le
afectaron en lo ms profundo. Fue
como si le hubiera alcanzado un rayo.
f't
\-
!-,
/ lt.aqr)
42
*ta>tlnt
lados en-los
el Barrio Latino- a su esposa, Aloise, con quien se haba casado en 1818, y a sus dos hijas. El
viaje, que estaba previsto que durase
varias semanas, se troc rpidamente
de funciones
una variable compleja sigue siendo
su mayor ttulo de gloria. Se trata de
una teora difcil. Adems, como suele
ocurrir en la historia de las ciencias,
Cauchy lleg a sus mejores descubri-
holgadamente. En la Oficina de
La"teoria de Cauchy"
situacin.
a revolucin de 1848. acogida pol
Cauch.y con un cielto jubilo que
contrastaba con su desasosiego de
1830, elimin el problema de1 jura-
J
I-l
de
EJE II\,4AGINARIO
l\,4
= lV'M' = p'p"lCOS(o
PLANO COMPLEJO
0 +0"
lV'=p"(COS0"+iSENO')
M'=p(COS0'+iSEN0')
EJE REAL
Merpuucos
que,
I ,l
=-1
:rct +
ll
.-I,
'7+6.-1
- t o:l
1a
de
haba generalizado
a los
poclemos
b,icanrelle
eqr.r
ivalcltlr.-. re tiene
B r. Se tendr'. en palticulal'.
l = -1. puesto que.tl = ,.r'l + 1 -1 es
Ar r =
a1gblicamente equivalente a 1,
Al sustiturl en las canticlacles imaginarias el smbolo', 1 por el simbolo
polinomios la
l.
(ac-bd)+x(acl+bc).
Tr.lrrs
.! -*',.:.;&i
,.:
4a:F./i:r
',
_14_
t
-r*f*e;;r--,4,i.",
es
t"tL'
al
J*
:.Lr jl*Xi
..
'-
tl"'r'
gruencias de polinomios, se comprueba que los polinomios irreductibles desempean as el mismo papel
que los nmeros primos en aritmtica.
Por fin, en 1849, dos aos despus
de la invencin de su teora de equivalencias algbricas, Cauchy se avino
t'*'b,
de mdulo
p'y
de argumento 0'equi-
Mrurrcos
7*- /
"-l
);-&-
;,,re
l7ax''
';*<
b'
,4b-
t-
:*i
2-^/
/^r
'
* ^
r.*l *...i.:,,
'*'':I
* l) ''"*''-
'
1825, A.-L.
Cauchy" en la pgina 3, entre el 7 y el 15 de febrero) constituye el primer borrador
de la clebre memoria S'/es intgroles prises entre des limites imaginaires, ptesentada el 28 de febrero siguiente, en Ia cual Cauchy enunciaba los teoremas "de
Cauchy" ' de los residuos. El autor cita en este prrafo a dos matemticos que le
han inspirado: Brisson, un ingeniero jefe de Puentes y Caminos, y Ostrogradski,
joven ruso llegado a Francia err1822.
19
CIENCIA
MENTE
CEREBRO
-/*\
,/q,Al
-r*\
=-{*
'-L-,'-f,i'
J.
Shatz
QUII,4ICA
DE LAS COMUNICA-
Pierre Changeux
Apartilde
-a)e:na
es 1.
fundar
e1 anIisis.
La obra de Cauchy es inmensa. Sus
(Euures contpltes, cuya edicin se ha
o LA IMAGEN VISUAL EN tA
MENTE Y EN EL CEREBRO,
las funciones de una \:ariable compleja se comportan de manera mudiferente a las funciones de una valia-
FISIOLOGIA DE LA PERCEPCION.
Walter J. Freeman
Semir Zeki
y Robert D.
Hawkins
O EL CEREBRO Y EL LENGUAJE,
Antonio R. Damasio y Hanna
Damasio
. LA
MEMORIA FUNCIONAL Y LA
MENTE, Patrcia S. Goldman-Rakic
CEREBRO DE VAFON Y
CEREBRO DE MUJER, Doreen
Kim
ra
. EL PROBLEMA DE LA
CONSCIENCIA. Francis Crick
y Christof Koch
. TRASTORNOS PRINCIPALES
Rieder
ENVEJECIMIENTO CEREBRAL
MENTAL, Dennis J Selkoe
Zivin
automticamente, infinitamente
derivable, mientras que una funcin
derivable de variable real ;ni siquiera
tiene siempre derivada continua!
Esta propiedad sorprendente de
1as
REDES NEURONALES
QUE APRENDEN DE LA
EXPERIENCIA, Geoffrey E. Hnton
O.
Dennis W. Choi
SUPERACION DE LA BARRERA
HEMATOENCEFALICA, Elaine
Tuomanen
expGllx2 ) es indefinidamente derivable en el punto O cuando la consideramos como funcin de variable real,
pero no es derivable cuando extendemos los valores de Ia variable a todo
el plano complejo. y no es. por consi-
lJllii,ta-]l;i. -!i'i
l.
982.
Tslres
Lo mismo
1a
-eeornetra
1'
Lrnr
expresin
geomtrica, le pregunt a Peres si
sus coordenadas se correspondan
con poliedros interesantes. "Se qued mirndome inexpresivamente".
rememora Penrose, "as que opt
tiene nurlu
e1
esbozo de un objeto
lg scciul r tintcra
r'ez e1 cspacio
-o
mismo l- hrn
cle estar retorcicios.
Penrose 1e rnostrci 1a tribarra a su
padre. Lionel. distin-uuido profesor
de gentica. de quien Rogel ha
ta1
8r
Evariste Galois
Tony Rothman
Segn
l ,svepzdc, e st*
*yz
{*
j*,**'
tw.escrczt*rt
ret**t
ideas de Gsr:is
Lebon y V. Delauney:
"He sido provocado por dos patriotas... Me es imposible rehusar. Os ruego vuestro perdn por no habroslo di-
e1
82
vr
qr.
l,*s or{ginrzles
L,I de l7
1a
cle 1a
importancia de
,echi w* tira.fatal.
$.up{}s
*r;r{* de
es
*.
Cle
Poco despus del amanecer de esa misma noche, Galois abandon su habita-
Pes-
su muerte.
febrilmente luchando contra las fugaces horas, garrapateando su testamento cientfrco y su Itima voluntad,
espigando, con el tiempo en contra,
algunas de las grandes cosas que
haba elaborado su mente fecunda,
antes de que la muerte, que ya vea,
ry
dffi'- -a:-
1.
Dada John-
-.,
j:::- . =.:i,:4:";
;';n';' ;;-
.ff=ffiw!
;r4*6)*,*,..)
'-r;1tlI,-. ." 'ff#ff,ffffi
<* i;# f', *+;;,' at!;;,**,:f1,#
-i,;
w"4fu;p:try;fr;.*,*.i
:,,
,5"
i.Lt;'.:,.,.a ,
a+orry,,t
A*frl /?'*-to , {2.*.rq
uM'
,,:.";ii:':;,", 4e' -f **
i.
''{''ii:i r '',
j
'{rn
{"
*.,*
P
*,'
*di*i,
,*.*e"
goh.,
v,.a /r*.
4
o.,
,**fu*e.t.
,
f
; ;fi,
"
f:ryW,ffirr;ft
lri*
:,';
**'&,;,
"
*_**,]i
t'
,,h.h.,,f
/n.
"r.
i. /'o,.
*"' 4'<:6.
,*/f-:y:::*f
/a.
l'*,*4
fg'.t*,'-.fib i,.,*""**.'-' n ; ;i
;i'a*t*r*
4;,.*'**
/'o''
/ AHffi
{',iih
Orn'e"
:t
f*
a;"
;u. :.trf,-oi t: .-:t
ffi7{;W
"
ca de Pars. Su padre, Nicholas-Gabriel Galois, era partidario de Napolen y cabeza del partido liberal en Ia
localidad, llegando, durante los Cien
Das, al retornar Napolen de su exilio, a ser elegido alcalde de Ia villa.
de1
provisor contribuy sin duda a fomentar los recelos que Galois pudiera sentir hacia ia autoridad.
Pocas pruebas hay de que Galois
fuese ma1 estudiante, o de que su desa-
tan referir Ias biografas ms difundidas. En sus primeros aos de liceo, Galois gan varios premios de griego y
Iatn, amn de media docena de men-
se resintiera a causa
de un profesorado mediocre, como gus-
e1
toda
se
-..\
,1 '.
\
...i:
rrollo intelectual
paracin matemtica habitual. Careciendo, como es obvio, de parte de la formacin fundamental, fue rechazado.
matemticas, matriculndose en el
curso superior de esta ciencia en el
Louis-le-Grand, impartido por un dis-
z no exigiera operaciones que trascendieran de la extraccin de races -simas. La solucin de la ecuacin general de segundo grado, ctx2 + bx + c = 0,
se-
de
multiplicacir'r
de
divisin r. as como en
Academia
de races cuartas.
11 alois presento a
\f
mica podrn o no calcularse por radicales. Sin embargo, ms notables quiz q:ue los descubrimientos de Galois
en teora de ecuaciones fuesen los mtodos que ide para estudiar el problema. Sus investigaciones abrieron
las puertas de una teora cuyas aplicaciones desbordan con mucho los
lmites de la teora de ecuaciones. teora hoy conocida con el nombre de teora de grupos.
jante objetir-o. a pesar de que en ciertos casos particulares, como la ecuacin.r';-2 = 0.las soiuciones spueden
Lo que Galois consigui fue dar cnterios definitivos para determinar si las
de
1os
..:
(12)*(123)=(13)
"MULTTPLTGAR" un elemento de s(3) por otro consiste en determinar la colocacin
primera perrnutacin y aplicar a la disposicin resultante la segunda permutacin. La permutacin que por s sola producira
4.
lareordenacinfinaleselproductodelasdospermutaciones. Engeneral,enlosgrupos
la murtiplicacin no es conmutativa: el producto de dos elementos depende del orden en que se apliquen. As, (12)*(123) es igual a (13), mientras que (128)x(12) es (28).
86
Normale (a 1a sazn llamada Ecole Prparatoire ). Galois se present a los exmenes de bachi'llerato. necesa rio para
ser admitido. en noviembre de 1829.
Esta vez fue aprobado en razn de una
excepcional calificacin en matemticas, recibiendo la categora de universitario aproximadamente al mismo
tiempo que sus trabajos sobre teora
de grupos iban a ser presentados a la
Academia de Ciencias. Sus artculos,
sin embargo, nunca llegaran a ver ia
luz del da.
Cuando sus trabajos fueron recibidos por la Academia, fue designado
SEGUNDO ELEMENTO
/x
(1)
(1
23)
(1)
(123)
(132)
(121
(1
3)
123)
(1)
(1
23)
(132)
(12)
(1
3)
(23)
(123)
(1
32)
(1)
(23)
(12)
(1
3)
(23)
(12)
o
F
zul
Ere
ul
tJl
3)
(1
32)
(1
32)
(1)
(123)
(1
CE
ut
.
=
(L
3)
(23)
3)
(23)
(12)
(1
32)
(23)
(12)
(1
3)
(1
2s)
(12\
(12)
(13)
(1
(23)
(1
(1)
(1
23)
(1)
(1
32)
(123)
pesar de esos retrasos y desengao., Galois continu siendo matemtico productivo y empez a publicar en el Balletin des sciences math'
matiques, astronomques, physiques
et chimiques del Barn de Frussac,
foro mucho menos llamativo, sin embargo, que las sesiones de la Academia. Sus artculos prueban claramente que en 1830 haba ido ms all
que ningn otro matemtico en la bsqueda de las condiciones que determinan la solubilidad de las ecuaciones, si bien no dispona todava de un
anlisis completo. No obstante, en
A
11
GRANDES Mersrrucos
(1
32)
(1)
60 grados, o
ml-
pudiendohaberse alcanzadolaposicin
final
it-,
N="y':
og
\
& .fl
*,a
:.N,,.*" G:,*
q_-)>
,,aA)
88
TEN,rAs I
E().
Tercero,la
vale a R( m')':'lB(n)':'
l). Tenemos
aqu una propiedad formal de Ia operacin 'r' de composicin de giros, l1amada propiedad asociativa.
Rl p
de
Gorenstein que una lista de 26 grupos. los llamados grupos finitos espordicos, es una lista exhaustiva. En
cierto sentido este descubrimiento con-
des-
1,
piezas de ajedrez,
6.
GnaNoss MarBrrrrrcos
TI
Jl
de
Para hacernos una idea de las propiedades del grupo de Galois, fijmonos en cualquier ecuacin de tercer
grado cuyos coeficientes sean nmeros racionales. Es posible demostrar
que tal ecuacin tendr tres races,
pero esta demostracin no revela si
las races sern calculables mediante
radicales. Designando a estas races
por u, u y zo, podemos formar funciones polinmicas de ellas; por ejemplo:
u-u,ouu +w -
1.
Cualquiera de estas
ax3+bx2+cx+d=0
r - br -
cx
EI
- d:0
ES S(3).
iA,3 / =31:3.
m
I
W
s(3)
r - Dr -
cx
- d-
OTAMBIEN ES SOLUBLE.
ax5+bx4+cx3+dx2+e) t *l
= 0
llr'
6
I dr2,4r-.
.,-
l,ur'
A*
@)
-4,,'r
.a ).4,'l.r
I
^rrrm '')fl')ll')f-@,
115"-
,l
lu*
f,,,Y'\-A
l)
-@,
I .-l,uo
'
al - r
dl
e-f,OESS{5).
.S15
Ar5.
5ti15tr2 = 120/60 = 2.
,'2!,1 :60/'1 = 60.
co[,,]o 60 No ES NUMERO pRtMO, S(5) NO ES SOLUBLE.
DADO OUE SU GRUPO DE GALOIS NO ES SOLUBLE,
iA\5 l.: ,5
fdnpnaa
"f
- hJ t ^3 t a,2 L ^- I t-AEc
c^r rrDr
61
4
I f['^)l
f, ,{t'"''ru $
-z6i
't1b2t
,4
I\
90
<.x
Y>
-<.
,r-
/_
-'.-
,.'
'\-l-^\_
Tpl,res
qeu+u+w
saber, S().
La segunda de las nociones introducidas por Galois es la de subgrupo normal. se dice que un subgrupolde un
condicin: al "multiplicar" pot: la izquierda cualquier elemento del subgrupo f/ por un elemento cualquiera
g del grupo paterno Gy"multiplicar"
despus por la derecha el producto
anterior por 8l_1 (elemento inverso de
g), el resultado es todava elemento
del subgrupofl. simblicamente, siIl
es
H,I, J,...
fun- cuando un grupo finito G tiene Galois tuvo que demostrar que hay
tome algn subgrupo normal propio, tiene ecuaciones de estos grados para los
valor racional. cuando una permuta- tambin alguno cuyo orden sa mxi- cuales el grupo correspondiente no es
cin de las races deja inalterable el mo entre los subgrupos normales que soluble. Resulta que el grupo S(n) no
valor de todas las funciones polin- contiene; son los llamados subgrupos es soluble cuando rz es igual o mayor
micas de valor racional construidas a normales maximales de G. Anlo- que 5 [uorzse las fgttras 6y 7J. Puesto
partir de las races, la permutacin es gamente, un subgrupo normal maxi- que para todos estos valores de exis,,distinguir" las races. Por malllpuede a su vez contener un sub- ten ecuaciones cuJlo grupo de Galois
rrlcapaz de
consiguiente, cuanto mayor sea el grupo normal maximal I (que qtiz es S(/?1.la ecuacin general de grado
nmero de elementos del grupo de Ga- sea slo normal con respecto a H); la quinto o superior no podr resolverse
lois, tantas ms permutaciones habr sucesin de subgrupos normales ma- por radicales.
deja invariable el valor de toda
otras. Por este motivo, el grupo de Ga- hasta llegar al mnimo subg:rupo norlois es un poderoso instrumento de mal posible. Todo grupo genera as
7.
que el subgtupo normal maximal de A(n) es el grupo identidad, que contiene ni'
camente la permutacin identidad. Como A(z) es el sutrgrupo normal maximal de
S() los factores de composicin de S(z) no son todos primos cuando z es mayor o
igual que 5. Hay pues ecuaciones de grado 5 o superior no resolubles por los mtodos permisibles. Ditrujo de llil Arbel.
GBeNoes
Marvrtcos
frustracin de Galois y de otros liberales de ideologa afn, el trono fue nuevamente ocupado, esta vez por Luis
Felipe de Orleans. En losmeses inme91
[I |
n el
'
haba sido: "Por Luis Felipe, si tra.iciona!" pero que la frase "si traiciona"
haba quedado ahogada por el clamor
de los comensales. No se sabe si los
jurados se creyeron este alegato o si
se conmovieron por la juventud de Galois, quien contaba entonces 19 aos;
lo cierto es que le absolvier.on en pocos
minutos. Sin embargo, en el Da de Ia
Basti11a, el 14 de julio de 1831. menos
de un mes despus de su absolucin.
Galois fue nuer-amente detenido. esta
vez por vestir ilegaLmente el uniforme
larmente a las sesiones de 1a Academia de Ciencias, insultando habitualmente a los oradores. Tras su
expulsin de la cole Prparatoire se
mud al piso de su madre, en Pars: tan
1. que
El
e1
gesto de
,\i
,/ .'"
l ,*,-
LA "INFAME COQUETA'a quien Galois culpa de sus desgracias en una carta escrita la noche anterior al duelo era seguramente la misrna mujer cuyo nombre aparece con frecuencia en
los mrgenes de los papeles de Galois. En el manuscrito reproducido arriba, por cortesa de la Bibliothque de I'Institut de France, puede leerse el nombre ,.Stphanie', por debajo del nombre
8.
92
rd
ar , )
,,<L O.
&
? ft
'Evariste"; Galois comtrin tambin las iniciales,,S,' y,T,' formando con ellas un anagyama. Por ciertas cartas y otros manuscritos resulta claro que el spero epteto de Galois fire provocado
porun desdichado lance amoroso conurla mujer que conoci uno
o dos meses antes del duelo, y que ha sido identificada como
Stphanie-Flicie Poterin du Motel, hija de un mdico de pars.
Tnes
haber sido invencin del propio Raspail. Adems, el 25 de mayo, seis das
antes de su muerte, Galois menciona
en una carta a su amigo Auguste Chevalier el triste fin de un episodio amoroso: "Cmo puedo consolarme, cuan-
oca-
pistolas.
Los escritos matemticos de Galois
en la noche anterior aI duelo se redujeron en realidad a corregir Ia redaccin
de dos manuscritos y a resumir los
contenidos de stos y de otro artculo
valier. Ei primer trabajo era el rechazado por Poisson; el segundo, una ver-
comentario: "Nota
de1
autor."
LA CIE}lCIA
El\l IIYIAO
ltl ES
IENCIA
1o ms
se
desarroll su
pea en sostener que el genio cientfico ha de encontrarse por encima de todos los reproches que pueda merecer
su vida personal, o que cualquiera de
sus contemporneos que no sepa reconocel su talento ha de ser un necio,
un asesino o una prostituta. La idea
Reoresentacin visual
de'biomolculas, de Arthur
J. Olson y David S. Goodsell
Enero 1993
Abril 1993
El poder de los mapas,
de Denis Wood
Julio 1993
Un universo de color,
de David F. Malin
Octubre 1993
Ver es creer?,
de William J. Mitchell
Abril1994
Visiones astronmcas
de Chesley Bonestell,
de Ron Miller
Julio 1994
Microscopa confocal,
de jeff W. Lichtman
Octubre 1994
Las metforas de Escher,
de Doris Schattschneider
Enero 1 995
E I li: .i{
}aii{ FiA
crJ\tIji_El
iE
Nl'Alti,-\
EvARrsrE Gelcxs- Ren Taton en Diionar .t' ol Scientifit' Biogropl. dirigido por
Charles Coulston Gillispie. Chrrles
Scribncr's Sons. 1972.
GNtus -rxo BloGn,rpuBs: Tu FtctrtoN,r]-IZATIO){ OF EVARISTE G,TTOTS. Ton1,
Rothman en The Antericuu Matltenutitul
Mtnthly, r,ol. 89. n." 2. prgs. 84-106; f'e-
T. D. lones y L. M. Codwin
Febrero 1995
a
Prensa Cientfi ca,
sA,
brero. 1982.
93
Georg Cantor
Joseph
W. Dauben
Cww grande s un cr:wjuwto
infinito?
es
94
1a
de 1a persecucin de sus contemporneos. que, no obstante padecer colapsos nerviosos cada vez ms frecuen-
todos
de
'los
de
mente insuficientes
a 1a
justrcia al alcance
1-
hora de hacer
potencia de ios
a]'gumentos que Cantor esgrimi en
defensa de sus ideas. Al principio, l
mismo se resisti a aceptar 1a existencia de nmeros transfinitos. conr.encido como estaba de que era imposible formular coherentemente Ia
nocin de infinito actual. sin cabida
por tanto en matemtica rigurosa. No
obstante, segn refiere. pronto super
su "prejuicio" al respecto de los nme-
Cuando fue convocado para responder a sus crticos, congreg sus ideas
con fuerza considerable. Su enferTel,r.qs
ms tardamente experimentara
Cantor hijo emanaba de un conflicto
se hallaba en el
GnaNo,s
M.reulcos
hacia la cun,a
----o
aproximada por una nica serie trigonomtrica incluso si el nmero de puntos donde la grfica no es continua es un
nmero infinito, con tal de que los puntos de discontinuidad se encuentren distribuidos sobre el eje r de cierto modo es-
Tutrl,rs
:-\
\\
=_-,
---l^\>
\ oox\
'<\\
rjr
\
TI n 1872. buscando Cantol un enunF' .irdo ms genelal pala iu teorema de unicidad, pubiic un notable
descubrimiento: que en tanto los puntos excepcionales se encuentren distribuidos sobre el eje -r en fbrma cui-
precisa del conjunto infinito de puntos excepcionales. - Cantor comprendi que para ta1 propsito necesitaba
proporcionai' un mtodo satisfactorio
de anaiizar el continuo de puntos
situado sobre ei eje .r'. De esta forma,
el estudio que Cantor haba efectuado
trigonomtricas.
Cantor consideraba axiomtico que
a cada punto de una recta continua le
e1
e1 pro-
continuo de pun-
r r 2. no son
Nf
.,rrrrr.rrrcos
do los elementos del primer conjunto con los del segrrndo. Por ejemplo, para determinar si enun cubo hay ms o menos bolas rojas que bolas negras, podemos irlas sacando por pares de una roja y una negra. Cuando ya no puedan formarse nuevas parejas,
las bolas restantes en el cubo, si las hubiere, ser"viran de base de comparacin, Cantor
se vali de este principio elemental para comparr tamaos de conjuntos infinitos.
matemticos encontraron difcil admitir el mtodo de Cantor, pues presuponia'la existencia de sucesiones o
conjuntos formados por infinitos elementos. Fi1sofos y matemticos
haban venido rechazando desde 1os
tiempos de Aristteles la nocin de
infinitud compieta, a causa, sobre
impares reunidos. Cada nmero entero par puede ser emparejado biunvocamente con eI nmero entero de va-
infinito
e ilimitada
91
12
v
I
24
12
'10e
10e
10e
l.vI
B
4
/t\
ili
10
5
,t
..1,
10eN2
'l.1
rll
,f
2N
16
10e
25 x
10e
6 ...
12
6 ...
,t
J
36 x 10e
4. PoDEMos EMPAREJAR, uno por uno, los nmeros enteros con los nmeros pares,
sin que ninguno de ambos conjuntos llegrre a agotarse. Por consig'uiente, aunque pueda parecer que hay ms nmeros enteros que nmeros pares, ambos conjuntos tienen
en realidad el mismo nmero de elementos. Muchos otros conjuntos, como el de los cuadrados per{ectos multiplicados por mil millones, pueden tambin ser biunvocamente
comparados con los nmeros enteros. Tales coniuntos se llaman,,numerables".
Tan
uti-
Iizasen infinitos completos. manifestndose en trminos que Cantor calific de "autoritarios". En una carta a
Heinrich Schumacher. Gauss escriba: "Pero con respecto a su demostracin, yo protesto sobre todo del
uso que se hace de una cantidad infinita como cantidad cotnpletct. 1o que
en matemticas jams est permitido.
hablarse de lmites."
Hablando de lmites era posible eludir las paradojas que comportaban los
infinitos actuales. Por ejemplo, aa-
1i
,t2
3/
,/
113
ct
sl+
3ls
1Y
13/=
41"
al+
4ls
EI
sl
sls
1'
EI
1
poros, y no es continuo.
Si bien Ia observacin de Dedekind
es coherente con una correcta comprensin del continuo, esconde una
zc./'
,/
1/^
/t)
,7
sle
clz
,/
't4
1A V
,/
fi,7
DI
't3
gt''
,/
1o//
,/
sl1
1t-
at
zlz
411
jl4
s,l
,/
3lt
J*
6,'
212
211
6lj
de
'.v
111
parler,
lr
Tves
.sur o
que el conjunto de los nmeros ene1 conjunto de Ios nmeros rea1es 1o sera tambin.
teros,
.4 7m1 2
.6 o rgl s
.6 e 8 el*a
3
4
s
[] r r 1
1es
uno emparejados con nmeros enteros. Establecer Lrna tal correspondencia equivaldra a dar una lista de los
de com-
.9 1111
CONJUNTO de los nmeros reales, representado por el continuo de los puntos de una recta; dicho conjunto no es
numeratle. Si lo fuera, los nmeros reales entre 0 y 1, por ejemplo, podran ser
uno, con los nmeros enteros. Cada nmero real de la lista est representado
por un nmero decimal ilimitado. (Los
6.
infi-
por'mtodo de diagonalizacin".
suponiendo que exista una correspondencia biunvoca entre los conjuntos de los nmeros reales y de los
nmeros enteros. Su razonamiento
consiste en ver que tal hiptesis lleva
a contradiccin; se deduce entonces
que la suposicin inicial tiene que ser
falsa,
o sea,
1e
tal
creencia.
99
de
representaciones decimales de
1as
frn de en-
cles-
1a
escribi
intervencir-r de Kronecker.
Dedekind una amarga carta
tsl rc
rl+
rtlrc
'1 antor'. que en sus tiempos de estuL-i ciio,,te habra lerlacrado dos importantes ar"tcu1os bajo 1a direccin de
Klonecker'. ien ra per'[ecta concjencia
de 1a posicin exn'ema que ste haba
adoptado, r.no dejaba de percibir sus
7.
Io
l*--V------J
oo
lo 6lo
1 "'
x=.6
lo o 5lo 3lo
I .'.
a los
o3_l
t-r. -
-\
CI
6lTloosloo6lo
3l o 6lo o
lo o 1 ...
junto deri',,ado
P/7
-........._
1880
guientes.
"-+2
+ 2 Y sucesivos
constituyen en realidad nmeros de
,t
T a razon inmediata pal'a intloIJ ducirlos. mantenia Cantol'. estaba en que el'an necesarios pat'a
seguir avanzando en Ia teora de con-
1o
hizo as. En 1872 haba tenido el cuidado de analizar'los numet'os il racionales tan s1o en trminos de su-
superndices
-, -
+ 1,
a1
principio no
nmeros transfinitos no poda negrseles un puesto junto a otros miembros otrora controvertidos y hoy admi101
1 -+ {1}
)-!'t
)\
3 --; {1. 2, 3}
tidos en matemticas, como por ejemp1o los nmeros irracionales. Habiendo formuiado una teora de lo infinito capaz de sortear ias conocidas
finitos
-+ {1. 2, 3,
{2,4.6,
or+1 {2,3,4,.
{1,3,4,
ot + 2
-+ {3, 4,5,
., 1, 2j
,4,5,
.2,3j
.
o+
Irt
J
{1
(t)
histf ico c[re los primelos nur-neI'os tl.an-rfinitos que CantoI rntr.odujo
no fuei'an cardrnales srno oldrr-rale-..
Los r-rumelos oldin-rles quedar-i definidos por el orden o posicin que ocllpan en una 1ista. E1 niler.o oldinal
2cl+ro=3ro
r,U
=Or2
I
c,2
Or
.2.5 6. ...3.4 7 8.
2r, + 2
(r)'+
JJ
5,7, ..., 2 4. 6.
1os matemticos
podran oponeI para negarse a considerar en sus trabajos conjuntos infinitos completos.
Los nmeros transfinitos que finalmente Cantor introdujo son hov conocidos por una notacin que para e11os
('.t
(D2+(t)+1
:
ro2+ro+(,)=(,)2*2r,1
(D2+(l)xr=2.,t2
2a2+1
txco2=co3
tD"+
I
a6rXbar)n-7+
(Do
o.)o
como
guil
(l)(! + (t)
es
co
co,
que deno-
(0(0 + (Dc)
)X(0()=0)o+1
1o.o-1,,2
:
(r)
''l
:.
(o t'l
I02
"l
elementos de la sucesin y en el
emplazamiento de la laguna infinitamente larga, que est denotada por
los puntos suspensivos; si solamente
es desplazado un nmero al final de
la sucesin, el nmero ordinal de 1a
nueva sucesin ser ro + 1. La sucesin (2, 4, 6, ...,1, 3, 5, ... ) tiene dos
lagunas infinitas, y su nmero ordinal ser entonces o + (D, o sea, 2 r. Observemos que todos los conjuntos tienen igual nmero de elementos, es
decir, sus elementos pueden ponerse
siempre en correspondencia biunvoca con los elementos de los otros y
con los nmeros enteros positivos. Por
infinitos, o sea, conjuntos cuya potencia sea la misma que Ia potencia del
conjunto de todos 1os nmeros enteros. Cantor llam "segunda clase
numrica" a este conjunto de ordinaIes
de Ia psicosis manaco-dePresiva;
cuando Cantor se "recobr", a frnales
de junio de 1884, entrando en la fase
depresiva, se quej de carecer de la
finitos
a los conjuntos
infinitos, como
1os
con1a
tituto
Estudios -\r'anzados. demos1a hiptesis del continuo es coherente con los axiomas de
de
tr que aunque
nimo. A
1o
Ct i bien acab retornando a las matemticas, fue tambin interesndose, de forma cada vez ms absor-
10. UNA SUCESION INFINITA de conjuntos, donde cada uno es mayor que el
a
o
{
)
]'
O l
a
o
o *)
)
)
tiene ocho subconjuntos (contando entre ellos aI conjunto vaco, O, que care-
junto
OOO
srm= O r@)=r(!l=rf l
srm= O r@\=r(l)={Oe)}
srm= O r@)=\) )={OOO
/(o)
a
O
O
ESELET\,,IENroDEi(O) poReuEr(
O )={ a }
O )={ a O
No ESELEMENToDET(!) eonouer(
ESELEMENrooeri!) poFOUEr(
POR TANTO S= {
O)={OO a
cr-ral-
quiera, inicialmente eludi toda sugerencia de que la potencia de un conjunto infinito pudiera ser considerada
como un nmero.
l-tantol
\J
denotado .
sea
es
Cantor no se resoh'i poi' la notacin de alephs hasta 1893. Por entonces. el matemtico italiano Giulio
Vivanti estaba preparando una exposicin sistemtica de la teor.ra de con-
particularment
el alfabeto hebreo
T
IJ
as dos
se
r.
figura
tinuo,
de
Cantor haca hincapi en sus publicaciones sobre 1a cuestin shakespealiana, - su peticin conclua con la
extraordinaria demanda de que el
N inisterio ie diera respuesta en el
plazo de dos das. De no ofrecrsele
ms alternativa que seguir ejerciendo
la docencia, escribi, entonces, como
persona nacida en Rusia que era, buscara entrar a1 servicio del cuerpo diplomtico ruso.
e1
episodio es cohe-
de
enfermedad
1e
asuntos cotidianos. durante 1os cuaIes pudo insistir con ahnco en sus
con
iniciales de duda y denuncia, floreciendo finalmente con fuerza vigorosa y revolucionaria en el pensamiento cientfico del siglo rc<.
Benacerraf
Hiiarl'
Putn1m. Prentice-
l.
AND
10s
Gottlob Frege
Javier de Lorenzo
!* {gc* eatemtica.
I ao
Ia de su nacimiento. Es el ao en que se
publica Begriffs sc hrift, e in e der ari t h metsc hen nac hg ebil dete F or m el s p r a che des reinen Denkens. esclito por el
versidad de Jena "su actividad acadmica careca de inters para ia Universidad", 1o que vendra corroborado
por 1a afirmacin de Carnap a1 contar
qlre, en 1913, slo asistan al curso de
Frege. con
1,
106
racin de 11egar
Berln;
Kronecker,
.r
uno: fundamentar la
naturales. Es
fundamentacin de 1a matemtica:
reducir la aritmtica a Ia 1gica. es
decir, derivar los conceptos de 1a aritmtica de conceptos lgicos ,'dedr-rcir
1os principios aritmticos de los principios 1gicos. La aritmtica. ei nmero naturai. como elementos del pensamiento puro. sin intervencin de
imgenes, percepcin. objetos rnateriales.
Frege crel- por un momento que
haba conseguido su objetivo hacia
1902, pero 1as antinomias dejaron al
descubierto que no haba analizado
bastante. que 1a construccin en la
que haba empeado su r.ida se vena
abajo. En su diario escribir un ao
un complete fracaso."
tensamieruto puro
f_fe
fl
constante peligro. \Veierstrass constlu\ e una cur'\'a que. contilrua en todos sus puntos. carece de tangente en
cada uno de ellos. y da paso a toda una
fundamentar el anlisis. Es
1o que
simultnea, independientemente y
con procesos diferentes. Culminacin
de
hacer mateTEMAS
entre ellos. as como entre los elementos v 1os sistemas a los cuales pertenecen. Conjuntos o sistemas que
pueden poseer infinitos elementos.
Para manejarlos, surgeu, como conceptos bsicos, Ios de funcin o aplicacin con sus diversos tipos r la relacin de equivalencia con su conjunto
cociente asociado. Son los que permitirn probar teoremas fundamentaies
de 1a continuidad de funciones de variable rea1. tema que surge nuevo o,
en manos de Dedekind, ios que van a
permitir la caracterizacin no slo de
los nmeros reales mediante su proceso de cortaduras sino Ia creacin de1
lgebra moderna tras la eiaboracin
de1 concepto de i deal , con Ia conviccin
'
,,i'..;':#l;*iffHffidffi
."": -": :. at.i!::l:l^ii'";:i"::::r.i-*
:: ":"=-=.=:-;i*.ffi
".'!r,reC!*1!{E^tqIH
M,rrrltrtcos
1. GOTTLOB FREGE naci en 1848 en Wismar y muri en 1925 en Bad Kleinen. Estudi y se habilit en Gdttingen, en 1873, pasando a ser priuat'dozerut ett la Universidad de Jena desde 1874 hasta 1896 y profesor honorario desde ese ao hasta 1917. Segn el secretario de dicho centro "su actividad acadmica careca de inters para la
Universidad". Actualmente se le estima como el lgico ms grande de todos los tiempos,
slo equiparatrle a la figura de Aristteles, quien fund la lgica en sto.s Analticos.
101
BXRITFTHRI3?,
EINE DER ARITH}f ETISCHEN NACHGEBILDETE
FOR'ILSPRACH
DE REINEI{ DENKEN.
DU. GOTTIOB
rRGg
HALLE
a/.
108
manejo por reglas estrictamente especificadas. Es simbolismo apto para expresar el pensamiento puro.
TENr.\s I
1os qr-re
poder definir los aritmticos; (2) demostrar que los teoremas aritmticos
son derivables de los principios 1gicos mediante el nico proceso vlido,
la deduccin. Esto ltimo obliga a especificarcr-rles son los primeros plincipios lgicos y cules son 1as reglas
de inferencia.
Y en vista de estos objetivos. Frege
de1
1o
que
concepto y objeto", "Qu es una funcin?", "Sobre 1a 1gica en la matemtica", "Investigaciones lgicas", en
varias entregas... Ensayos que suelen
reunirse bajo la etiqueta de escritos
filosficos o I gc o s - sernLntico s.
Se seala en el prefacio de Begriffsschrift que existen dos tipos dejuicios,
ios anaiticos y Ios sintticos. Frege es-
yes fsicas de la aritmtica, donde afirma, en el primer tomo: "Con este libro
T-\ebo pl ecisar los motivos que FreLl g" udr." pu,'u la cleacion de su
Ideografa. No mera bsqueda de un
simbolismo ms o menos arbitrario y
que refleje e1 lenguaje ordinario. Este
tipo de sirnboiismo es, en el fondo, el
propio del lenguaje matemtico no formal, que por ello constituye una jerga
especial formada por palabras 'frases del lenguaie usual y por signos
especiales. Jerga que no satisface a
Frege por no ser vlida para la b1squeda de precisin conceptual, aunque sea ti1 en la prctica. La Ideografa o conceptografa que logra debe
permitir, por un lado, el que sea un
clculo igico al estilo de Io preconizado por Leibniz, pero tambin que
ltimo punto deseo remarcarlo porque es conviccin que se ligar siemes el concepto; Io segundo, e1 signo con
1en-
leern.
hbrido, ya que los filsofos 1o estimarn como materntico y los matematicos como filosoco. y ni unos ni
1o
de1
otros
prctica, como
ha logrado.
e1
Es conviccin que Ie lieva a oponerse a los mtodos de Boole. radicalmente, porque en el fondo Boole parte en su labor de la construccin de un
clculo formal que permite ulteriores
]1] a+(b+a)
A.1.
c
b
A.2. 12)
-+((c+
- tb -) a')) )
0)(c+a\)
c
a
b
C
d
b
A.s.
lBl @-@=a))e
-r
(b -+ (d
a))
1o
primero es eI
contenido conceptual o dejuicio:1o segundo, el signo con que pueden representarse tales contenidos o pensamientos. Y un contenido que no hace
referencia, en momento alguno. a 1os
aspectos psicolgicos. De aqu su rechazo, incluso, de las concepciones de
Husserl, porque la 1gica hace referencia a1 pensamiento puro y no a funcin
psquica alguna. Como rluy posteriol mente precisara. una ploposicion
lgica no es mas que un signo contpuesto con arreglo a una regla determinada; signo que posee un "sentido"
que se mantendr en cualquier lengua
a la que se traduzca Ia proposicin
d
b
miento.
A.4. )281 (b - a) -+
(a
-,>
[l
b
a
A.5
131
-b)
A.6.
411
a-)--a
f(d)
/(d1)
(c)
(c= d)
A.8.
A.e
54
c=c
ise) xr6-rg
(54)
(58)-
(c:c)
4_.,a,
l(c)
separacin o Modus ponen.s y la de sustitucin, estos axiomas constituyen un sistema completo para el clculo proposicional. En B se dan los axiomas de identidad
y, en
110
7,
el de cuantificacin.
TEN,rAs
en Ia
tradicional en lgica
-salvo
vena sinestoica-, o la clase como
dolo en la lnea booleana. Bien entendido que sin dar, en su ldeografa, una
definicin de lo que entender porjuicio,
frmulas,
es
advertencia vlida para todos los restantes elementos lgicos que Frege introduce. Yes punto que novio Russell,
por ejemplo, en Ia crtica de las ideas
de Frege que agrega como apndice a
Los principios de la matem.tica,L903,
donde seala que Frege no define qu
un trazo
no su verdad". Y
1os
GneNoss MATEMTICoS
l{egara, por
1o
a posibles influencias histricas, vIido para el empleo de letras corno variables ya utilizado porAristteles, en
el que estimo que tales influencias no
existieron en Frege,
pesar de sus
11a-
madas a Leibniz.
Lo que expresa el esquema
F--A
lB
decir,
e1
Establecido el modo bsico de representacin de la asercin de un contenido judicativo, Frege pasa a describir las constantes Igicas primitivas.
Sern, exclusivamente, las de gene-
juicios."
1. Se afirma A y se afirma B
2. Se afirma A y se niega B
3. Se niega A y se afirma B
4. Se niegaA y se niega 8".
lH
a'+
1.
11l
2.
l2l (c
-->
(b -+ a)) -+ ((c -+ b) -+ (c
a))
-->
((c
b)
-+ ((b -+ a) + ((c -+ b)
Sust. en A.2. a
(b
-->
> b) -+ (c -+ a)))
(c
+ a))) -+ (((b )
a)
+ (c + (b -+ a)))
-->
(b -+ a) -+ (c + ( -+ a))
7,
Sust. en A.1 . a
o.
a)) A.2.
6.
- a)) -+ ((c
Por Sust. en A.1. a I (c --> (b -+ a)) -+ ((c -+ b) : (c -+ a)); b I b -+ a
(c -+ (b
3.
4.
(b -+ a) A.1.
l5l (b
9.
-->
I b -: a; b I
(b --: a) -+ ((d
b) -+ (d
-->
a))
Sust.enBcld
10.
11.161
12.
((b
-->
a) -+ ((c -+ b) -+ (c
Sust. en 11. a
13.171 (b
a)
a)))
(d -+ a)))M.P,9.10.
(c
-->
b))
> (d -+ (c -+ a))))
mientras que la asercin del antecedente elimina el segundo y el cuarto, por lo que slo queda la primera
112
-->
/ c ) a; b I c -+ b; c I b --> a
posibilidad.
proposicionales.
l'I omo segunda consl a nre Jogica p ri\-/ mitiva para 1a lgica proposicional Frege caracteriza
1a
negacin con
r--4
I
se presente en metalenguaje. La
expresin es
condicional y de
La combinacin
la negacin permite definir 1os restantes conectivos proposicionales: as,
Ia conjuncin y Ia disjuncin de la que
de1
contenidos."
No es, por tanto, identidad de objetos; de aqu que la definicin fregeana
l__
(A
= B)
1a
f(A)
r(x)
s(x)
*l-
-$, I
s(c)
1.
(d -+ (b -+ a)) -+ (b
2.
(a) r(a)
-->
s(c)
su)
(d -+ a)) A.3.
">
gs Iv{ATE\{Trcos
((a)(s(a)
-->
n",
/(c) A.9.
16
GR.rx
(a)
r(x)
(8)
"I
su)
s(c)
(Aj
1a
slA)
r(x)
sentido de estimar que en la matemtica todos los teoremas r.ienen establecidos bajo una estructura implicacional. Tesis de Peano retomada por
Russell al sostener que la matemtica
no es otra cosa que el conjunto de proposiciones de la forma "si -81 entonces
7". Argumento que esbozar, nuevamente, para hacer aceptable axiomas
como el de existencia dei infrnito, exis-
(o)
r(c)
geometra
donde obtiene, realtipo de identidad- en el
mente, este-de
5.
5. FORMA EN QUE FREGE demuestra el modo de inferencia Brbara cuando la premisa menor, g(r), posee un contenido particular @rriba). En la parte inferior se indica, en smbolos actuales, ese mismo modo de inferencia indicando los axiomas que
se utilizan y dnde realizar las sustituciones debidas.
113
r0)
F(v)
F(e)
F(x, e)
F(d)
F(c , d)
F(c)
F(a)
F(b , a)
F(b)
F(x)
6.
for.
juicio.la
c:t3: col):tluccio-
fundamentales: el de funcin. Concepto que adopta del hacer matemtico, as como la notacin empleada.
pero que estima de un carctel ms
general. al igual que adoptara de 1a
aritmtica 1a distincin de leti.as para
variables ' letras para constante,{: \-
Lrna
expresin como 'Juancrto come hierba" (ei ejemplo no es de Flege. clar.amente). Si en lugal de Juancito" se
pone "Jaimito". 1a e:plesin seguir.
siendo r-lida. Se pr-rede leemplazar.el
tr'mino''Juancito' por ott'os tr'minos
o. con generalidad. pol un lugalvaco:
"t ) come hielba . r'ello de manera
1a
pro-
es
coincidir con
1a
original.
tales juicios.
expresin completa
qr-re
podr
no ser
e1
1os
1o
qr-re
siones, fundamentalmente en su
ltimo captulo, al tratar de definir,
por medios estrictamente lgicos, Ia
nocin de sucesin y el principio de
induccin completa.
Es el anlisis de una proposicion en
ig-o
a un trazo de contenido puede convertirse en juicio, entonces esa posibilidad permanece inalterada por una
sustitucin" (pargrafo 11). Adems,
la letra gtica situada en la concavidad del trazo de contenido aparece
como una variable ligada y, por ello,
es diferente a una variable libre (trminos que no son de Frege, s su concepto). La concavidad "delimita eI alcance
que cubre la generalidad indicada por
la letra. La letra gtica retiene un significado fijo slo dentro de su alcance
propio; dentro de un juicio, la misma
Ietra gtica puede ocurrir en alcances
diferentes, sin que eI significado atribuido a ella en un alcance se extienda
a ningn otro". Igualmente, eI alcance
GBeNoss MATEMTICos
deseo de
l-
X (a
podemos escribir
* g _x
trtr
casos en los
dirlas.
-tl
u (coNJUNTO UNTVERSO)
v (vERDADERO)
o (coNJUNTO VACTO)
F (FALSO)
p,q,a... (PROPOSICIONES)
pv
a n b (INTERSECCION: LO QUE
a Y b TIENEN EN COMUN)
p.
a=b(IDENTIDAD: aYbSON
p = q (EQUIVALENCIA, Sl Y SOLO Sl p
ES VERDADERO, g ES VERDADERO)
VERDADEROS)
EL MrSMO CONJUNTO)
' (COMPLEMENTARIO: RESTO DEL
CONJUNTO UNIVERSO QUE NO ES a)
e b (INCLUSION: a ES ELEMENTO DE
b)
p (NEGACION:p ES FALSO)
p:
q (IMPLICACION: Sl p ES
VERDADERO, q ES VERDADERO)
8. GEORGE BOOLE, desde 1847, y partiendo del hacer matemtico, haba realizado
la construccin de una lgebra lgica, esto es, aplicar el rlgebra para fundamentar
la lgica. Boole parte de las nociones de clase, elemento de clase y operaciones con
clases. El enfoque estriba en que las leyes del pensamiento, las leyes de la lgica,
deben ser del mismo tipo que las q,e gobiernan el rlgebra; es decir, la validez de
los procesos del lgebra no depende de la interpretacin de los siglr.os, sino de las
leyes de combinacin de los mismos. con estas ideas, Boole algebriza la lgica obteniendo un sistema algebraico que es, en trminos actuales, un retculo booleano.
Dicho retculo, como lgebra lgica o lgebra simblica, presenta dos interpretaciones: por un lado, una lgebra de clases; por otro, una lgetrra proposicional.
cionesenloslugaresdeargumentode
y entre s.
o@)
ner conceptos
partir
juicios u obte-
de otros concep-
tida. Pero con esta breve presentacin, perfila con relativa claridad lo
que constituye un sistema 1gico
deductivo alavez que establece, esta
1a distincin
entre ley y regla.
En este punto Frege se aparta mu-
TENTAS
van superponindose: c1culo implicacional y afirmativo; clculo proposicional completo; clculo de predicados; 1gica de primer orden. Incluso al final de
Bs, como apndice, incorPora un cuadro en el que va sealando qu frmulas se han ido utilizando para obtener
cada una de las establecidas en Bs.
La independencia o no de unas lespecto a otras leyes tomadas como axiomas no parece p'lanteat'se rti siquiera
como problema. ]'Ienos airn. 1os problemas de completitud o consistencia.
Ello exigira un cambio epistemol-
explicita en bloque, sino que va derivando de cada grupo de axiomas algunas de sus consecuencias. As, las
frmulas que enumera por (1), (2) Y
(8) constituyen los axiomas de condicionalidad; a sta se agrega la negacin y los axiomas que regulan ambos conectivos vienen dados por las
frmulas i23, (31) y (41). Son los seis
axiomas que regulan el cIculo pro-
posicional.
Dos leyes ms para la identidad de
contenido (52) y (54). Esta ltima no
es otra que la ley reflexiva de identidad, mientras que la primera expresa
variar
siones en que se intercambian. Axioma que puede interpretarse extensionalmente en el sentido de que todo lo
que se predique de un smbolo, de un
argumento, tiene que predicarse del
Gn.NoBs
Metsvrtcos
axioma
se
l\To iov a tratar. aqur. de este asI\ p*" final de Bs. qre solo constitu-v-e un inicio de 1a fundamentacin
1a
potencia de la Ideografa
,r, TFOREIVIA 1
., TEOREMA 2
ALFABETO
.
O
TtrPtrIVIA 3
GRAMATICA
\
Z
AXIOMAS
TEOREMA 4
al
.aa
BEGLAS
INFERENCIA
TEoBEN/A
:
-.
verifica de un modo mecnico la validez de todas las pruetras que puedan cons'
truirse a partir de un sistema. El sistema formal consta de: un alfatreto de smbolos
con ayod-a de los cuales puedan escribirse todas las proposiciones; una gramtica
que dltermina cul es la forma como deben combinarse los smbolos; un conjunto
para redue a"ioma", o principios adoptados sin demostrar, y reglas de inferencia
cir los teorem-as a partir de los axiomas. Se obtienen los teoremas al escribir todas
las proposiciones gramaticales posibles en el sistema y verificarlas para deter'
minar ules son los concordes con las reglas de inferencia y, por tanto, vlidas,
Por ser esta operacin realizable a travs de un algoritmo puede llevarla a cabo
un ordenador.-En 1931 Kurt G6del demostr que todos los sistemas formales venan
a ser incompletos.
111
1a
es
de
l(.a)
rf(t,
= tFt( HerF__;
a)
) Fa)+
4r ll
determinado. Es lo
que precisar Frege en su Def. 99,
donde establece: "Si z es idntico con
x o sigue a r en la J-sucesin, entoncomience por un
lr,.HerF -+
(rAy -+
ry)l
Como el punto de partida, la aritmtica, es el mismo, Frege ha de coincidir aqu, anticipndose, con Dedekind
e1
ejemplo aducido
il
ms all I'especto a
de evitar antinomias.
1a
misma
se
encuen-
Fx -+
damentales, Ia estructura que subyace a las mismas, limitndose a establecerlas de modo axiomtico. encubierto en Dedekind, explcito en
Peano. Frege quiere ir ms all y tratar de definir el soporte del razona-
(),
'todo resul-
inferir de Ia proposicin ()
, la proposicin de que la propiedad
se puede
.E es
todo F, que todo resultado de una aplicacin del proceso / a r tiene la pro-
piedad F."
H";"i::i,*"":ffi
:ft'i:i
'-'"1fl
temtico de 1gica matemtica.
A1
paso que otros autores (fundamentalmente 1os seguidores de 1a lnea algebrizadora de Ia 1gica, opuesta a la
fregeana, iniciada por Boole . seguida
por Peano y su escuelal fueron avanzando en 1neas parecidas. redescu-
de la misma, la cuantificacin.
)Ictthettaticn. Pero. como primer trabajo que condensa en s todas 1as innor-aciones de la lgica matemtica, el
de
1a
abreviadores que se pr-reclen ir creando. Adems, no es fcil para la imprenta. Razones, ambas. a 1as que e1 mismo Frege replic en 1896. comparando
su Ideografa con la obla de Peano, al
indicar que no es ante 1as dificultades
deI impresor ante las que e1 lgico matemtico debe rendilse, porque "1a
comodidad del impresor no es ciertamente eI suntmutt bonu.tn" .Igualmente. el hecho de que no siga 1a escritura
tradicional de izquierda a derecha y de
arriba abajo. sino que invierta este
\To
1\
fuera asumida por el hacer lgico matemtico. Hacer que lleg a preferir 1a
notacin de Peano y su escuela. aceptada por Russell y Whitehead con algunas modificaciones, o 1a de Hilbert Y
su escuela. Veo dos motivos, cuando
menos, por 1os cuales el simboiismo
nrNr ,s
]VIATE \I .IIC OS
de
la construccin y el razonamiento. En
el caso matemtico, requiere una jerga
que permite una mezcla entre signos
este ltimo.
la lgica.
sto ultimo no implica, en modo
ulg.,no. qre su influencia no hala
sido extraordinaria, pero a trar's, por
Tll
I1
otra, de Carnap
tico
(1o
Y de
la axiomatizacin
como elemento
constitutivo central del hacer matemtico. Por otro lado, Frege, al fun-
la
1,
Wittgenstein, quie-
e1
fuera de cauce.
:;:,:.:
EsruDro
DE
i,t,:-'-i,t:
a_,
!litt.
Los FLTND.\uENTOS
:'.i..
l.r Anlt
Srinivasa Ramanujan
Jonathan M. Borwein y Peter B. Borwein
nujan, genio matemtico indio. bastante enigmtico, que pas gran parte
de su breve vida solo y enfermo. La
verdad es que ambos acontecimientos
matemticos a desconcertantes e
inesperados reductos de la teoi.a de
nmeros. Otro motir-o. ms ingenuo.
es sencillamente que
e1
problema
xima a concluir la tarea de desciframiento r- pleparacin de esos "Cuadernos" que est reaiizando Bruce C.
f\r.
l^,
\{.v
:epamos, iams se ha r.ealizado una recopllacin matemtrca de alcance diliculrad semejantes. E1 empeo ciertamente valdr la
ractan entre s y se hallan repartidas sobre una rejilla similar a un panal. Anlogamente, Carlos J. NIoreno,
de la Universidad de Ia Ciudad de
Nueva York, y Freeman J. Dyson, del
Instituto de Estudios Avanzados, han
sealado que 1os fsicos estn comenzando a aplicar trabajos de Ramanujan en la teora de supercuerdas.
La talla matemtica de Ramanujan
120
TENTAS l
ridional)
en e1 seno de una
familia ve-
gonometryt
Ramanujan
respondieron; s le contest G. H.
Hardy,
de
Ra-
TIn
11
contraer matrimonio, en 1909. R. Ramachandra Rao. un adinerado mecenas matemtico, le concedi un estipendio mensual basndose en las
favorables recomendaciones de varios
matemticos indios y en los hallazgos
que Ramanujan haba anotado Ya en
sus "Cuadernos".
rrur't-rrtcrts
t2t
jaron
co-
PERIMETRO
PERIMETRO
DEL POLIGONO
INSCHITO
DEL POLIGONO
CIRCUNSCRITO
Pc:ntan(ry')
SIENDO
n = NUMERO
DE LADOS
tad de mantener una dieta estrictamente vegetariana en una Inglaterra sometida a racionamiento a
causa de la guerra. Sus reiteradas
f:nsen($')
j r i\
', i ,ro"
:
n-6
Pc-3.464
1/
,'.-{
/
'
',i
Pi:
visitas
n-12
Pc- 3.215
P.- 3.10s...
n:24
3.159
Pi- 3132...
espe-
infinitas, amn
de
T
L
1
r,1'1
4 ' 3'5I
1)'
\-(
Lo2n
4 arcran
11
5)
a'ctan (1
239).
srendo arcla^
x J X.t
) I't
> 1 rl'!i"'
7o
tenel aptoximacione" de n
[or'-
matemticos y no en la medicin
directa de la circunferencia. rea ,
dimetro del crcu1o. En efecto. Arqumedes inscribi y circunscribi a
un crculo (cuyo dimetro se supona
a la unidad) polgonos regular"es
(polgonos cuyos lados y nguJos son
todos iguales) y consider que 1os respectir.os permetros de tales polgonos
eran cotas inferiores y superiores de
los posibles valores de 1a circunferencia del crculo, que es numricamente
igual
1or de
1a
N'I .\TLNI
llcos
1'
RAMANUJAN (1914)
1 \8
L
- qSOj
'n0
1y
0t
I
'2 n=0
nr13,7/J,980,892,672t
6i
107578229'8C,75At'
procedimiento que, iterndolo sufi- rchasta 310171131/r, obteniendola esciente nmero de veces, permite en timacin r = 3,14. Parece haber ciertas
principio calcular n con cualquier n- pruebas de que el texto de Me,dicin
mero de cifras. (Es preciso que pueda de un crculo que nos ha llegado
calcularse fcilmente el permetro de constituye slo un fragmento de otra
un polgono cualquiera con el auxilio obra ms extensa, en la cual Arde iunciones trigonomtricas senci- qumedes describa cmo, partiendo
llas, como seno, coseno y tangente. de decgonos y duplicndolos seis
Al duplicar cuatro
veces
PI
una funcin modular es una funcin ),(q), que puede relacionarse mediante una expresin
algebraica. llamada ecuacin modular, con la misma funcin expresada mediante la misma
variable q elevada a una potencia entera: )"(f). El exponente p, que ha de ser entero, determina el "orden" de la ecuacin modular. Un ejemplo de funcin modular es
,r(q)
roqli,
{,\ff),
su ecuacin modular asociada es de sptimo orden. Belaciona i(q) con ).(q?), y est dada por
d;GT \r -.(q-ll1_).G4l
Aquellas soluciones de la ecuacin modular que satisfacen adems otros requisitos especiaies
reciben el nombre de valores singulares. Una de las clases de valores singiaies pro-ede
Oel
clculo de una sucesjn de valors, k , donde
k, - Vxle .r"r
.l ^.
ii'ont;'l
coincide con muchas de las prrmeras cifras decimales de pi. El nmero de cfras que esta
expresin tiene en comn con pl aumenla al crecer ef valor de p.
Ramanuian no tuvo rival en ef clculo de estos valores singulares. uno de los ms famosos
el valo correspondiente al caso p : 210, que ya figurabain su primera carta a G. H. Hardy.
Hlo aqu:
es.
k210
- (\ 2-i
z1z-r 3X\ 7
-r
o)z(s
7)tr
ro )z(r,ts r
Al introducir el valor de este nmero en la expresin logaritmica, el lesultado coincide con las
primeras veinte cifras decimales de pi. En comparaci-n con 1, k2ao proporciona-un-rurmero
que coincide con pi a lo largo de ms de un milln de cjfras.
Aplicando esta tcnica general, Ramanujan construy varias series notables asociadas con el
nmero pi, entre ellas, la de la fjgura 3. Esa mismatcnica general subyace a ios tgoritmos
iterativos, en dos pasos, de la figura 4. El primer paso de ada iteracin
1el crcui e y,)
corresponde al clculo de uno de los trminos de una sucesin de valores iingulares que se
obtiene resolviendo una ecuacin modular de orden apropiado. El segundo pso
1et iatcuto
de a") equivale a tomar el logaritmo del vaior srngular.
[1
I-il
correspondientes a un determinado
intervalo de su variable). Aplicando
en la cual p toma valores enteros. Estos valores tienen la curiosa propredad de que la expresin
logartmica
que
L)
111
TE\'IAS I
(a) Sea y6
1'l oo:2
yz
r \.j]
'l +
+yn-1)2o,J -2n+1yn+1
1lcq 1lt,
llq
o
o
lla
zuJ
O
-t' l-yl
1 +\'tyl
l(1
l,!l
an*1:
[(1
+yn-,)aorl -2zn+3yn-1(1+yn
-.,
a
F
y2n-1)
1lq 1la,
1la3
Io
1la
LrJ
o
(c) Sea So
- 5(\'T 2) "o - )
fI
uJ
7
' 1
)n
s.e*xrz
srelro0^ :
lYr sienoox
s
t,l' y-(x-1)2
Y-(2
yz-\xrv
,,ry:
axr)
a capacidad de memorizacin se
refiere.) En 1853, William Shanks
rebas de largo a Dase con Ia Publicacin de] clculo de r hasta las 607
cifras, si bien las posteriores ala527
[(1
,,
!n-1
on*1=
o
(b) Sea yo
\"1
o-
dos
veces, usando, para obtener rc, diferentes identidades del arco tangente.
En vista del historial de errores en que
se
realiza
tal verificacin.)
00.000.000
10.000.000
1.000.000
L
ul
00.000
o
F
l.ll
10.000
o
cc
I.JJ
.1000
z
100
10
PREHISTORIA
-1450
t25
La causa principal de que se calculara un nmero cadayez mayor de cifras exactas de r fue el aumento de la
velocidad de las mquinas, pero pronto qued clara la existencia de lmites
insuperables. Si se utilizan los mtodos tradicionales de realizar operaciones aritmticas en los ordenadores,
la duplicacin del nmero de cifras a
pareca abordable.
Sin embargo, hoy resulta factible esa
tarea, merced no slo a que los ordenadores son ms rpidos, sino, sobre
todo, a mtodos nuevos y ms eficaces
1a
mul-
0o-6-4\2
or -
(1 +y1)4
12
(1 +y2)4
or
25y2( -y2+y22)
G3
(1
- (1 + ya)a i'3
aE (l +ys)4 q
29y4(1
u6 (l'ye)4 o,
213y6(1 I y6ry62)
, -
215y7(1
cio
08
"s -
(1
+y)a ou
+ya+\a2)
211y5( +ys+ys2)
-yt-yt2i
(1 +y8)4
e,
211ys(1-ys-ys2)
-ye)4
rr
2leye(1
(1
-ys-yg2)
ri16
(1 + y16)a
ct9 221yrc(
t11
(1 +y11)4
r\13
o14 :
(1 + y12)4
(1 +y13)a
u,,
(1
(1
,r12
15
.,
yrc+yrc2)
227y(1+y,r+y132)
multiplica cada
Sea
6.
yo-\2
yt - [1 \' 1 yo4]1[1+\'t -r
Y2 [1 \"1 y.] tl \1 yfl
y3 Il ( I y24l lt \' 1 y2l
yt [1 \'1 y34llf \t yr4]
y: [1 \' 1 yoal 1t t t yaal
y6 [1 \" 1 y54] 11 -\" 1 yfl
y7 [1 \" 1 y64] t1 t I %l
y8 tl (1 yTal tl tt y/l
yg tl ( i y84l [t \' ] y84l
ylo ll t I ye4l [1 \" aye4l
yll t1 ( 1 y.oal [1 \' 1 yrsal
ye tl t 1 y.,41 [1 \'t,,ol
yr 11 (1 yr,,4l Il-t1 V,tl
yA Il (l yraj [1 (l v,/l
yrs t tt yr4jlt rl ytqa)
e1
clculo
r"ea1 de
cen-
,l
;3
':
...',
en consecuencia. un algoritmo ms
rpido para el c1culo de n, utilizando
-..--,: 11o
..
-.
..::-rir-r.
'
per-
r--illtel'o,I.)
,..:..J
..:
.*
,t
..
9e{
7.
cer orden, todas ellas expresadas en la notacin particular que usaba Ramanujan.
Los mtodos iterativos resultan es- simple hasta que tropezamos con las
pecialmente idneos para el clculo ecuaciones modulares de Ramanujan
de n mediante ordenadores, pero no a del mismo orden.
mano; por el1o, ma1 puede sorprender Recprocamente,hemoslogradodeque Ramanujan no se tomase jams ducir la totalidad de las series de Ra1a molestia de efectuarlos. S se en- manujan a partir de las frmulas gecuentranenlaobradeRamanujanlos nerales desarrolladas por nosotros.
ingredientesbsicosdelosalgoritmos La deduccin de una de ellas, cuya
iterativos para el clculo de n, en par- convergencia hacia tt era ms rpida
ticular 1as ecuaciones modulares. que ninguna de las series que entonCiertas partes de su deduccin de ces conocamos, se logr por 1a ayuda
series y aproximaciones infinitas de1 que nos brind una fuente insospenmero n tuvieron que correr paralelas chada. Habamos justificado la totaa nuestros esfuerzos por obtener algo- lidad de las cantidades que figuran en
ritmos para,r. En efecto, las frmulas la expresin de la serie, a excepcin
quemencionaensus"Cuadernos"nos de una: el coeficiente 1103, que aparesultaron de gran ayuda en la cons- rece en el numerador de la expresin
truccin de algunos de nuestros algo- luase la figuro 31. Estbamos contuvo que estarlo
ritmos. Por ejemplo, si bien logramos vencidos
-como
demostrar la existencia de un algorit- Ramanujan de que el valor 1103 era
mo de orden 11, y aunque conocamos correcto. Para demostrar que as era
su formulacin general, no logramos tenamos dos opciones: simplificar
COLABORADORIIS
DE ESTE NUMERO
Traduccin:
Luis Bou: La creucirht nLtemri(:a. Pierre
de Fermat. Gaspard Monge, Carl
Frietlrich Gauss, Jetn Baptiste FouriergLrs t i n - Lo tti s C aLtc ht, - Ev u' i s f e Gal o i s,
G, t'rq Cont,'r. Srinira:,t Runtottttjun:
J. M. Garca de la Mora: Leonurtlo tle Pisu:
Josep PIa: Ren De.scartes.
Atr
Pgina
7
8
9
10-1
Biblioteca Apostlica
Vaticana. Roma
E. Picutti (u'riba). Biblioteca
Ambrosiana. Miln (.abaj o)
Museo de Barletta
Sociedad Histrica Lonrbarda.
Miln
12
13-14
15
16
l'7
1,9
2l-24
27
R.M.N.
Scientific American
Dominique Berretty. Black
Star
lq
3l
Biblioteca Butter
Biblioteca Pblica de New
York
33
38-45
48
50
5 I -54
55
56-51
61
62-63
64
66
61
7l-19
83
84
Springer Verlag
Documentos Pour la Science
Gabor Kiss
Biblioteca Burnd,
Gabor Kiss
Dan Todd
Gabor Kiss
Quesada/Burke (.aniba).
Thomas C. Moore (aDzrTo)
Thomas C. Moore
92
David A. Johnson
Jean Dubout. cortesa de la
de
llil
Arbel
Jean Dubout. cortesa de Ia
Bibliothque de l'lnstitud de
F-rance
95
96-
Egbert Schneider
Jerome Kuhl
Universidad de Jena
116-111
Javier de Lorenzo
Museo de Munich
Scientiflc American
John Moss. cortesa de The
Royal Society de Londres
l0:l
107
I 10-l l4
115
l2l
122
Michael Goodr.nan
125
t26
121
128
1010'000 000 era 1103. Por un razonamiento muy similar al de que si dos
enteros se diferencian en menos de
una unidad tienen que ser iguales, su
resultado fue suficiente para especificar el nmero en cuestin: tiene que
ser exactamente 1103. De hecho, el cm-
Quesada,/Burke
France
87-90
Thomas C. Moore
Michael G. Rossmann y
Sharun S. Wil,ler. Uniiersiilarl
de Purdue
Documentos Pour la Science
Bibliothdque de 1'Institud
sola cifra errnea en el proceso de clculo, el resultado hubiera sido un galimatas numrico, en lugar de rm valor de r.
Se demuestra que los algoritmos de
-si
alguna- del mtodo de que se vali
para demostrarlas. Littlewood e-ccribi
al respecto: "Si en un lugar cualquiera
l
I
{
i
JI t
publicacin ios
La capacidad excepcionalynica de
Ramanujan para trabajar intuitivamente con frmulas complicadas le
permiti plantar semillas en un jardn
jardn.
deros y embellezcan a ms el
e,l
.1,
.t,, , .,
P..
l/-
\ o1.
111utia.t Ol
Crr/i:Jrrr'Lir.:,..'.
pgs. -<65--i-rl;juii,
-:,,.
n. l]-.
. 1c-
The
nr rl A\\Lyrrc
\uugr.n Tnronr r\D Colpr rrrrol.rr.
CortpLxrrr . Jonrrhan \1. Borwein y
Peter B. Boruein. John \\'iley,
&
Sons.
Inc.. 19E6
Tues
I
I