Professional Documents
Culture Documents
La ultima parte trata de la Regle des premiers, (la incgnita). Se utilizaron varios
nombres para la incgnita: res en latn, chose en francs, cosa en italiano, coss
en alemn. Chuquet utiliz premier, y a la segunda potencia la llam champs
(en latn era census) a la tercera potencia la
llam cubiez y a la cuarta champs de champs. Para mltiplos de stas, invent
una notacin exponencial.
La potencia de la incgnita fue indicada por un exponente asociado con el
coeficiente del trmino. As, 5x, 6
, 10
, .6
,
.10
, 9
fueron escritas .9
, .9
La segunda parte del ltimo de los Triparty est dedicada a la solucin de
ecuaciones, all se expres, por primera vez un nmero negativo aislado en una
ecuacin algebraica.
Ecuaciones
Ya desde los antiguos babilonios la gente saba hallar soluciones reales positivas
de cualquier ecuacin lineal o cuadrtica, y esto lo podan hacer aritmtica y
geomtricamente.
Omar Khayyam (1100 D.C.) haba desarrollado un mtodo para dibujar un
segmento cuya longitud fuera una raz real positiva de un polinomio cbico.
Fibonacci
51
Leonardo de Pisa, ms conocido como Fibonacci, escribi El libro del baco o El
libro del clculo en 1202 un libro sobre aritmtica. Con este trabajo, introduce a
Europa los nmeros arbigos, un elemento mayor de nuestro sistema decimal,
el cual haba aprendido cuando estudi con los rabes en el norte de frica.
Al estar dirigido a comerciantes y acadmicos, con este libro empez a
convencer al pblico de la superioridad del nuevo sistema numrico.
En 1225, dio una solucin aritmtica para x
3
+2x
2
+10x=20; como utiliz
razonamientos aritmticos en lugar de geomtricos, Leonardo pudo obtener
una aproximacin a la raz positiva con una precisin de nueve dgitos.
Pacioli
En 1494 en Italia Luca Pacioli (Luca di Borgo) (1445-1514) escribe la Summa de
arithmetica, geometrica, proportioni et proportionalita.
La Summa es una compilacin de material de cuatro campos: aritmtica,
lgebra, geometra euclidiana elemental y contabilidad con conocimientos
generales de ese tiempo.
Pacioli public en 1509 una edicin de Euclides y De divina proportione que
trata sobre polgonos y slidos regulares y la razn conocida como la seccin
dorada.
Smbolos operacionales
Francesco Pellos (1450-1500) en 1492 publica Compendio de lo abaco, donde
usa el punto para denotar la divisin de un entero por una potencia de diez.
Este es el inicio del punto decimal.
Los smbolos alemanes para la adicin y sustraccin desplazaron a la p y m
italianas.
En 1489, Johannes Widman (1462-1500) de Repblica Checa, public la
aritmtica comercial el trabajo ms antiguo en el que aparecen por primera
vez los modernos los signos + y -, utilizados para indicar excesos y
deficiencias.
Christoph Rudolff (1500-1545) escribe Coss (en 1525), un libro de lgebra
alemn, primero en utilizar fracciones decimales y los smbolos para races.
En Rechnung (1527) de Peter Apian (1495-1552) ya aparece en la portada el
tringulo de Pascal, casi un siglo antes del nacimiento de Blaise Pascal.
Michael Stifel (1487-1567) era un monje, que escribi la Arithmetica integra,
un tratado del lgebra que incluye el tringulo de Pascal, y trata los nmeros
negativos, radicales y potencias (utilizaba 1A, 1AA y 1AAA para
indicar A,A
2
y A
3
, respectivamente), y reduce la multiplicidad de casos de
ecuaciones cuadrticas a una forma nica, tambin explica bajo una regla,
cuando usar + y - . Fue el primero en utilizar exponentes enteros negativos.
En un tratado posterior, De algorithmi numerorum cossicorum, propuso usar
una letra singular para la incgnita y repetir dicha letra para potencias
mayores de la incgnita.
52
Su mtodo para aplicar las matemticas a la Biblia le llev a la conclusin de
que el Papa Len X era el anticristo del Libro de la Revelacin y tambin le
permiti profetizar el fin del mundo para el 18 de Octubre de 1533. Los
paisanos de la ciudad donde Stifel era predicador se creyeron esta profeca y
se lo gastaron todo, y cuando el mundo no se acab en la fecha prevista por
Stifel en vez de encontrarse en el cielo se encontraba en una celda de la
crcel de Wittenberg.
El ingls Thomas Harriot (15601621) escriba a, aa y aaa para
indicar a, a
2
y a
3
, respectivamente, e introdujo los signos > y < para las
desigualdades estrictas. En 1603 estableci un mtodo para calcular el rea
de un tringulo esfrico: Se calcula la suma de los tres ngulos y se le restan
180 grados. Si el resultado se considera el numerador de una
fraccin con denominador 360 grados, dicha fraccin nos indica la porcin
del hemisferio ocupada por el tringulo.
Del Ferro, Tartaglia, Ferrari y Carnado: La matemtica moderna
A partir de 1545, con la publicacin de Ars Magna de
Jernimo Cardano (1501-1576), se hizo comn la solucin
de la ecuacin cbica y de grado 4, tomndose dicho ao
como el inicio del perodo moderno en matemticas. La
solucin de estas ecuaciones son la mayor contribucin al
lgebra desde los babilonios. No ha habido otros
descubrimientos que hayan estimulado el desarrollo del
lgebra como lo hizo Ars Magna. Luego de este, se impuls
la investigacin en lgebra en varias direcciones. Por
ejemplo, con el resultado de la solucin de la ecuacin
cbica se us un nuevo tipo de nmeros y aunque los
racionales fueron aceptados desde el tiempo de Cardano,
los imaginarios tuvieron que ser calculados, an cuando se
intentara restringir a races reales.
Cardano no fue el descubridor de la solucin de ninguna de
estas ecuaciones, la idea para resolver la ecuacin cbica la
obtuvo de Tartaglia (Niccolo Fontana 1500-1557) quien haba
recibido ideas sobre la solucin de fuentes anteriores. Scipione del
Ferro (1465-1526) fue el primero en desarrollar un mtodo para
resolver ecuaciones cbicas (que contemple races negativas,
imaginarias y positivas), poda resolver cualquier ecuacin de la
forma x
3
+bx=c. Ferro mantuvo su mtodo en secreto (para tener
ventaja sobre otros matemticos en los concursos matemticos), y
antes de su muerte lo revel a su estudiante Antonio Mara Fiore.
En una competencia entre Fiore y Tartaglia, cada uno tena que depositar una
cierta suma de dinero ante un notario y proponer 30 problemas al otro. El que
en un plazo de 30 das hubiera resuelto ms problemas se llevara el dinero.
53
Tartaglia, suponiendo que Fiore le planteara ecuaciones de la forma x
3
+ bx = c,
desarroll un mtodo para resolver dichas ecuaciones; los problemas de Fiore
fueron de este tipo y Tartaglia los pudo resolver todos. Sin embargo, los que l
propuso a Fiore eran ecuaciones de la forma x
3
+ ax
2
= c, y resultaron
demasiado difciles para Fiore.
Tartaglia naci en Brescia (Italia); ciudad que fue tomada por los franceses en
1512 y sus habitantes fueron masacrados; a Tartaglia le raj la mandbula un
soldado con la espada y as adquiri su nombre, que quiere decir 'el
tartamudo'. Fue profesor en Verona y Venecia. Public un libro sobre balstica
en el cual postulaba que todo proyectil tiene alcance mximo cuando se dispara
con un ngulo de 45
o
, pero no dio la demostracin. Tambin escribi un libro
sobre teora de nmeros. La ltima parte de la vida de Tartaglia estuvo
amargada por una pelea con Girolamo Cardano.
Cardano era un famoso fsico milans, aplic sus conocimientos matemticos a
la mecnica, a la astrologa y a los juegos de apuestas (podra considerarse el
descubridor de la teora de la probabilidad). Cardano fue encarcelado en 1570
acusado de hereje al haber publicado un horscopo de Jesucristo, pero se le
liber tras retractarse; una leyenda cuenta que mediante la astrologa predijo el
da de su muerte y se sinti obligado a suicidarse para que su prediccin fuera
cierta.
Cardano convenci a Tartaglia para que le contara su mtodo secreto para
resolver ecuaciones cbicas; Tartaglia accedi con la condicin de que nunca lo
revelara. Pero aos ms tarde Cardano se enter del trabajo de Ferro y decidi
publicar el mtodo secreto en Ars Magna (1545), dndole el debido crdito
a Tartaglia. Pero este se disgust porque Cardano rompi su promesa y
Tartaglia ya no tendra una ventaja en los concursos matemticos. Enfadado,
Tartaglia ret a Cardano a una competicin, pero ste no se present y fue
representado en su lugar por su alumno Ludovico Ferrari.
Ferrari, (de Bolonia (Italia) 1522-1565) ampli el trabajo
de Tartaglia y Cardano resolviendo la ecuacin de cuarto grado. Este se hizo
rico al servicio del cardenal Fernando Gonzalo, pero su debilitada salud le hizo
retirarse a Bolonia en 1565 para ensear matemticas. Segn Rouse Ball
Ferrari fue asesinado por su hermana o por el novio de su hermana.
Bombelli
Rafael Bombelli (de Bolonia 1526-1573), escribi un libro de lgebra alrededor
de 1560-1572 en el que sigue paso a paso la evolucin del lgebra desde los
tiempos de Diophantus. En l se estudian los radicales complejos y demuestra
que el caso irreducible de la ecuacin cbica conduce a tres races reales; en l
tambin se seala que el antiguo problema griego de trisecar un ngulo era
equivalente a la resolucin de una ecuacin cbica, y para x
n
se emplea una
pequea curva convexa con una n dentro.
54
Contiene smbolos parecidos a los de Chuquet, los smbolos italianos p y m para
la adicin y sustraccin. No aparece smbolo para la igualdad, aunque ya se
tena en esa poca.
Recorde
El smbolo para la igualdad apareci en Inglaterra en 1557 en el Whetstone of
Witte del ingls Robert Recorde (1510-1558) y luego de un siglo se impuso
sobre otras notaciones. Whetstone est dedicado a la la cosa prctica, es
decir, el lgebra.
Su primer trabajo fue Grounde of Artes (1541), una aritmtica popular que
contena clculo por baco y algoritmos, con aplicaciones comerciales. En 1551
aparecieron otros dos libros: Castle of knowledge, una astronoma en la cual se
cita el sistema de Coprnico y Pathewaie to knowledge, un compendio de los
Elementos y primera geometra que apareci en ingls.
Geometra
Las contribuciones en geometra en el siglo XVI fueron de:
Johannes Werner (1468-1522), quien ayud a preservar la trigonometra de
Regiomontano; escribi 22 libros, sobre los elementos de las cnicas en
1522. Deriv ecuaciones para la parbola y la hiprbola a partir del cono e
incorpor un mtodo para graficar puntos sobre una parbola, con regla y
comps, partiendo de crculos tangentes en un mismo punto.
Albrecht Drer (1471-1528), gener epicicloides (dibujndolas con un punto
fijo en un crculo, el cual rueda a lo largo de la circunferencia de otro
crculo); pero no las estudi analticamente, ya que no contaba con la
herramienta algebraica necesaria. Aunque dio
construcciones para polgonos y otras curvas planas, al no tener los
fundamentos matemticos, no distingua entre resultados exactos y
aproximaciones.
Leonardo da Vinci (1452-1519), quien conect el arte con las matemticas.
En sus notas se encuentran cuadraturas, construcciones de polgonos
regulares y razonamientos sobre centros de gravedad y sobre curvas de
doble curvatura; se distingui por su aplicacin de las matemticas a la
ciencia y la teora de la perspectiva.
Francesco Maurolico (1494-1575) se interes en los trabajos clsicos de la
antigedad. Se familiariz con la geometra de Arqumedes, Apolonio y
Pappus teniendo acceso a dichos trabajos porque lea griego y latn. De
observaciones de Pappus y el trabajo de Apolonio, sobre normales a las
secciones cnicas, Maurolico trat de reconstruir el libro V de las Cnicas, en
ese tiempo perdido. Desde la muerte de Maurolico en 1575, hasta la
publicacin
55
de La gomtrie de Ren Descartes (1596-1650) en 1637, la geometra tuvo
que esperar a que los progresos en lgebra hicieran posible la geometra
algebraica.
El italiano Luca Pacioli (1445-1517) era monje franciscano, y utilizaba los
trminos 'res' y 'census' de Regiomontanus. Dej el manuscrito De viribus
quantitatis donde aprecia el inters en cuadrados mgicos y en 1509 public
la Divina Proportione, un libro que ilustr Leonardo da Vinci. Hay un cuadro
de Pacioli en el que se lo puede ver con su amigo Guidebaldo en presencia
de un dodecaedro.
Leon Battista Alberti (1404-1472) en el tratado Della pictura de 1435, uso la
perspectiva en la representacin plana de objetos tridimensionales, un
hecho en que difiere el arte renacentista del arte de la edad media.
Piero della Francesca (1410-1492) en De prospectiva pingendi (1478)
desarrollo an ms la perspectiva. Escribi De corporibus regularibus, donde
not la divine proportion en la cual las diagonales de un pentgono regular
se cortan unas a otras. Tambin encontr el volumen para dos cilindros
circulares iguales cuyos ejes se cortan en ngulo recto.
Francois Vite (1540-1603), era abogado y miembro del parlamento, pero su
vocacin eran las matemticas. En 1591 escribi In artem analyticem
isagoge en el cual se aplicaba el lgebra a la geometra (hasta ese momento
la gente haba aplicado la geometra al lgebra). Fue retado por el rey
Enrique IV a resolver una ecuacin especial de grado 45, cuya solucin pudo
dar en pocos minutos tras percatarse que la cuerda de un ngulo de 360
o
/45
satisfaca la ecuacin. Adems usando geometra eucldea, construy los
crculos tangentes a tres crculos dados, recuperando as una antigua
construccin que apareca en un libro perdido de Apollonius.
Tambin contribuyeron los gegrafos, que representaron el Mapa Mundi como
una esfera. Aunque en ese tiempo no se apreci la importancia de las
transformaciones geomtricas, las proyecciones resultaron esenciales para los
cartgrafos, debido a las exploraciones geogrficas.
A Claudio Ptolomeo de Alejandra (siglos 80?-165?), se le asocia con
Almagesto, pero tambin realiz trabajos, como Geografa, la cual lleg a ser
una Biblia para los gegrafos. En ella introdujo el sistema de latitudes y
longitudes actual y describi mtodos de proyeccin cartogrfica. Sin
embargo fueron inevitables los errores, ya que en la poca la determinacin
de longitudes no era muy confiable. Adems, para calcular el tamao de la
tierra, prefiri el valor de 180,000 estadios, en lugar de 252,000. Ptolomeo
describi dos tipos de proyeccin de mapas: La proyeccin ortogrfica, la
cual es una transformacin de una esfera a un plano, donde los puntos de la
superficie de la esfera se proyectan ortogonalmente sobre tres planos
perpendiculares, y la proyeccin estereogrfica, en la cual los puntos en la
esfera se proyectan por lneas desde el polo sur sobre el plano del
ecuador).En el mapa realizado por Ptolomeo se sintetizaron los
56
conocimientos de su tiempo y sent las bases de la concepcin del mundo
hasta finales de la Edad Media.
Peter Apian (1495-1552) en 1520 public el primer mapa del Viejo y el
Nuevo Mundo en el que se us el nombre Amrica.
Gerard Mercator (1512-1594), dibujo mapas basndose en una red
rectangular de dos conjuntos de lneas paralelas equidistantes, las latitudes y
longitudes. Sin embargo la distancia entre grados de longitud vara con el
paralelo de la latitud a lo largo de la cual se mide. Esto provoca distorsin de
las figuras y errores de direccin. Mercator introdujo la proyeccin que lleva
su nombre, que parte de considerar a la Tierra como una esfera inscrita en
un cilindro circular recto que la toca a lo largo del ecuador y, desde el centro
de la Tierra, se proyectan los puntos en su superficie sobre el cilindro. Al
cortar el cilindro a lo largo de un elemento y extenderlo, los meridianos y
paralelos en la Tierra se transforman en una red rectangular de lneas. Las
distancias entre lneas meridianas sucesivas sern iguales, pero las distancias
entre lneas de latitud sucesivas no sern iguales. Estas ltimas se
incrementan conforme se aleja uno del ecuador de manera que ocurren
distorsiones en las figuras y en las direcciones. Mercator encontr que por
medio de una modificacin de estas distancias, era posible preservar las
direcciones y las figuras.
En 1599, Edward Wright (1558-1615), desarroll las bases tericas de la
proyeccin de Mercator calculando la relacin entre la distancia D desde el
ecuador y la latitud.
7- el siglo XVII
1. Descartes y la geometra analtica ..
Ya ha tomado cuerpo la expresin "revolucin cientlfica" para
sealar el proceso que en el campo cientlfico se inicia en Occidente en las primeras
dcadas del siglo XVIl, Para la matc';;tica, ese proceso fue singu\annente fuvorable y
fecundo: a su abrigo nace una notable conjuncin del lgebra con la geometra,
que tomar ms tarde el nombre de "geometra analJtica"; surge
el clculo infinitesimal en su dobl~ aspecto de algoritmo del in'
finito y de instrumento indispensable para el estudio de los fenmenos naturales 'y,
por si eso no fuera bastante, el sigJo asiste
al nacimiento de la teora de nmeros, del clculo de probabilidades y de la geomebia
proyectiva.
Claro es que tal florecimiento no se produjo por generacin
57
espontnea, Si fue fruto de las condiciones favorables de la poca tambin lo fue del
largo proceso que se inicia ~n el renacimiento matemtico del siglOXlll, proceso que
por un lado pone
a Occidente en contacto con el saber antiguo a travs del conducto rabe, saber que se
afina y perfecciona con el conocimiento directo de las obras de Euclides. Arqulmedes,
Apolonio.
Diofanto y Pappus; por el otro, aporta un nuevo territorio a la
matemtica: el lgebra. diferente en fonoa y contenido de la
geomebia,
cIn geomtrica. Los objetos matemticos dejan de ser exclusi-
,vamente nmeros particulares que cuentan o miden las cosas
del mundo, o fil,'uras que aluden a los cuerpos y objetos naturales; ahora se hacen
presentes nuevos objetos matemticos: las
letras, esas especies de la "logstica speciosa" de Victe, sfmbolos
q~e no se r~6er~n a un nmero particular o a una cantidad geom-
trica"especl~, silla a todos los nmeros, a todas las cantidades,le
. Por lo dems, los recursos del :IIgebra permiten unilicar la
",?tmtica aphcando un molde comn a las propiedades de los
numeras, cualquiera sea su rndole, y conferir a la matemtica
mtodos de una generalidad que la geometria no poda ;>ermitirse
Por ltimo, a la influencia del saber griego y del lgebra ha
de agregarse otro factor favorable al desarrollo de la matemtica
en la edad moderna; un factor intrinseco a la ciencia moderna: la
matematizaci6n del mundo o mejor una renovacin de este proceso que se haba
producido entre los griegos y abandonado
durante los tiempos medievales. Pero tal matematizacin del
mundo moderno es distinta de la matematizacin antigua. En
sta el proceso era a cara descubierta; en la naturaleza idealizada, platonizante, de los
antiguos, las figuras geomtricas eran'
elementos del mundo. Baste recordar la ptica geomtrica, la
astronomfa con sus excntricas y epiciclos, las leyes de la palan_
ca y del equilibrio de los cuerpos Dotantes de Arqufmedes.
La ciencia moderna seguir s la senda abierta por Arqu-
58
medes pero, obediente a los nuevos tiempos, devolver esas
leyes a su hbitat natural, el mundo Ilsico, y la aplicacin de la
matemtica a los fenmenos naturales no obedecer ya a la abstraccIn matemtica,
sino al proceso lgico de abstraccin lo
que equivale a reconocer que el mundo es inteligible y ;st
sometido a las leyes de la razn, por ende a su instrumento
natural, la matemtica. Las figuras geomtricas ya no sern ele-
mentas del mundo sino, como dir Galileo, son el lenguaje,
la escritura del mundo y estarn, por lo tanto, al alcance de la
mano.
La primera, cronolgicamente, de las nuevas ramas mate
mticas del siglo XVII es la actual geometra analtica, cuyo advenimiento se vincula
con la obra de Ren Descartes, que en
caractersticas del pensamiento cartesiano es lo que se ha llamado su "afn csmico",
es decir un anhelo de generalizacin y de
absoluto, que le hace perseguir la realizacin de una Ilsica general, capaz de explicar
completamente todo lo que el universo
encierra en la tierra y en los cielos, meta que cree alcanzar con
sus PrincipiOS de la filosofla de 1l>aunque ese afn es visible
Es en virtud de ese afn que en Descartes la matemtica no
tiene un fin en s: la considerar como modelo de la ciencia a la
que dictar sus preceptos lgicos. servir por eso admirablemente, a manera de
cobayo, para eosayar su mtodo, pero no
ser ms que eso, uo medio, un mtodo, El uso que Descartes
hace de los trminos "matemtica" y "matemticas" da cuenta
de este becho. Eo efecto, Descartes habla de ."matemticas"
cuando se refiere a sus estudios escolares y destaca entre eUas el
lgebra y la geometria, reconociendo en estas ramas cierta sencillez y prioridad
respecto de las dems, aunque para l la geometra ,.est siempre tan ligada a
consideraciones sobre las figuras que no pueden ejercer el intelecto sin cansar mucho
la lIDagnacin", y en el :IIgebra "se est tan sujeto a ciertas reglas Y
ciertas letras que en lugar de una ciencia que eduque a..la mente
se convierte eo un arte oscuro y confuso que la turba. De ah
59
que la vinculacin que establecer entre ambas ramas ser pre-
cisamente para tomar "lo mejor del anlisis geomtrico y del l.
gebra, corrigiendo los defectos del uno por el otro", Pero, ms
aB de estas matemticas, Descartes aspira a una ciencia nica
a una ciencia integral, ciencia que ser la "matemtica univer:
sal" -ahora en singular, restituyendo al vocablo su valor etimolgico- que ha de explicar
"todo aquello que pueda preguntar.
se acerca del orden y de la medida, no importando '1 ue la medida
deba b~sca.~se en n~eros .figuras. astros, sonidos o cualquier
otro obJeto; matemtica ul1lversal de la cual "las matemticas
constituirn -como l dice-- "la envoltura".
p
el juicio, a veces hasta despectivo, que le merece a Descartes la
matemtica pura y el factor negativo que asigna al carcter foro
mal de esta ciencia, cuyas disciplinas, dice "son tan abstractas
que no parecen tener nin~n uso" y en cuyos problemas "acos.
En cambio ver una finalidad de la matemtica en el mtodo de demostracin y en sus
aplicaciones. As dir en el Discur.
pq
a se habfa apartado de la matemtica, tante esta desestimacin de Descartes hacia la
matemtica pura
y hacia el carcter formal que el lgebra introduca en ella, no
obstante el desapego que le demuestra, su afn csmico, su ano
sia de unificacin lo lleva a realizar, quiz sin advertirlo, una re.
volucin en quella ciencia abstracta que desvaloriz; esa revolucin es la unificacin
del lgebra con la geometria.
Aunque en la correspondencia y en los papeles pstumos
de Descartes figuran cuestiones matemticas, el nico escrito
matemtiCO que public es Ciomitne, tercero y ltimo de los
"ensayos" que figuran como apndices del clebre Discurso del
mtodo para conducir bien la razn y buscor la verdod en las
60
ciencias. Adem4s La Diptrica, Las Meteoros y La Geometra,
que son ensayos de este mtodo, aparecido en 1637. Ya en el
Esa unificacin la lleva a cabo mediante un recurso muy
simple. En efecto, una diferencia esencial entre los elementos
geomtricos (segmentos) y los elementos algebraicos (letras),
que impeda su comparacin, consis!fa en que mientras con las
letras pueden realizarse operaciones aritmticas en nmer? Ilimitado obtenindose
nuevas combioaciones de letras, con los
segmentos tales combinaciones quedan limitadas al caso en que
la "dimensin" del resultado es 1, 2, 3, pues en los otros casos
ese resultado deja de ser ioteligible, es decir, de ser expresable
en trminos de figuras geomtricas: lneas, superficies, slidos.
Para eliminar tal limitacin Descartes recurre a la idea simple del segmento unitario.
As como en aritmtica. el nmero 1
agregado como factor O divisor a cualquier expreSIn antmtica
o algebraica no altera su valor pero s modifica arbitrariamente
el nmero de factores o divisores, es decir su "dimensin", de
igual modo Descartes, a fin de que "los segmentos se reduzcan
tanto mejor a los nmeros". adopta un segmento arbitrario romo unidad y, operando
convenientemente con l, reduce toda
combinacin de segmentos, cualquiera sea su "dimensin", a un
segmento nico, Por otra parle esa unidad ir sobreentendida"
y, de becbo, ni ella ni sus operaciones aparecern, pues -y sta
es la segunda etapa de este proceso genial de Descartes- bastar indicar con una letra
cada uno de los datos y el resultado con
la combinacin respectiva de las letras de acuerdo con las reglas
del lgebra,
De ah que a cada problema geomtrico corresponder
1~lerta relacin entre letras, es decir una ecuacin. Si esta ecua.
dn tiene una sola incgnita, su valor dar el segmento que
resuelve el problema geomtrico; si ste es "indeterminado", ..
61
decir conduce a una ecuacin con dos o ms incgnitas, lo redu.
ce. a un sistema determinado, dando valores a todas las incg_
IlItas menos una. De all que, en el caso de tratarse de dos incgnitas, resultar que si
una de stas representa un segmento
vanable sobre una recta fija, uno de cuyos extremos es fijo y la
otra coincide con uno de los extremos del segmento de dir.,.,..
dn fija distinta de la anterior que representa la segunda incgmta, el otro extremo de
este segmento dibujar una curva que
resuelve el problema. Tal es la manera cartesiana de introducir
el mtodo <ce '1p.go se denomin de las coordenadas, aunque
De acuerdo con taJes prin'cipios, Descartes inicia su Geometra indicando cmo se
realizan con segmentos las op;,raci';'
nes: suma, resta, multiplicacin, divisin y raz cuadrada. Seala a continuacin, al
referirse a "Cmo pueden emplearse letras
en geometra", el significado de la unidad "sobreentendida" con
por la unidad. Pasa luego a la resolucin grfica de la ecuacin
de segundo grado, de la cual da dos procedimientos distintos
"El primer libro termina con un "ejemplo tomado de Pappus en el cual Descartes
muestra, con le,'timo orgullo, la excelencia de su mtodo al resolver un problema que
los antiguos
slo haban resuelto en casos particulares (1). Como en la resolucin de ese problema
pueden presentarse rectas OcircUlerencias (lugares planos), cnicas (lugares slidos)
u otra clase de
curvas no conocidas por los antiguos, Descartes dice que antes
de los antiguos en problemas planos, slidos y lineales, introduce una clasificacin
poco feliz de las curvas planas algebraicas en
gneros (en su Geometra no figuran curvas trascendentes, que
denomina mecnicas), dando a continuacin dos mtodos, con
sus correspondientes trazados mecnicos, para obtener curvas
de gnero cada vez mayor. Con notaciones actuales las curvas
obtenidas por esos mtodos tienen por ecuaciones, respectivamente,:r'm = a" (x'
+!!''t'-I Yxy = (y-a) Y, donde )' es la ordenada de la curva de gnero inmediato inferior.
Cuando Y es
una funcin lineal se obtiene una hiprbola que, para Descartes, es entonces curva de
primer gnero, mientras que, si Y es
62
la ordenada de una parbola de ecuacin y = (x' -/T) : b, se
obtiene para a=2b la hoy llamada "parbola cartesiana", curva
de tercer grado que resuelve el problema de Pappus para el
caso particular de 5 rectas, que los antiguos no haban resuelto.
Un segundo problema, en el que Descartes pone a prueba su
mtodo, se refiere a la determinacin de las normales a Ias.c~r-
vas planas, "problema que me atrevo a decir que es el ms util y
general nO slo que yo conozca, sino aun que yo haya anhelado
jams conocer en Geometra". Se advierte la ~n de esta afirmacin cuando se piensa
en la concepcln cartesiana de la mate
mtica, pues este problema se aplica, unas pginas ms adelante, a la construccin de
las normales a ciertos. vidos (hoy ~a-
dos valos de Descartes), que encuentran aplicacIn en su DlOplrica.
Aqu tambin aparece un rasgo original de Descartes, pues
si bien su mtodo para la determinacin de normales o de tangentes, que es lo mismo,
es algo engorroso, (2) tiene valor desde
el punto de vista algebraico po~que resuelve el pr?bl~ma de
ndole infinitesimal sin recurnr a nociones inlimtesunales,
amn de <mplear en sus clculos algebraicos el "mtodo delos
coeficientes indeterminados" de gran porvenir en mate~tica.
Al finardel segundo libro Descartes hace una excurSIn, no
muy feli~ a las curvas del espacio.
El libro tercero de la Geometra es UD tratado de lgebra
cuyo objeto es la resolucin de problemas,que llevan a ecuacICr
nes de grado superior al segundo. Cabe senldar entre las propiedades que trata: a) La
reconstruccin de una ecuacin conoc,en-
do sus races, (p) y f(g)
construccin deduce empricamente la hoy llamada "regla de
los signos de Descartes' . para determinar el nmero de ralees
verdaderas y falsas de una ecuacin (en v!'rdad la regla da slo
63
un valor mximo y de igual paridad de ese nmero); b) las transformaciones hoy
comunes de las ecuaciones algebraicas: supr~que sin embargo no existen"; y c) la
resolucin algebraica de las
ecuaciones de tercero y de cuarto grado. donde no presenta menor, sin advertir que
siempre existe otra raz positiva. Tambin es de inters la resolucin grfica de las
ecuaciones algebraicas mediante la interseccin de una curva con una
circunferencia(3) Esa curva es una parbola ordinaria en la resolu
Ceometna con un verdadero alarde tcnico al resolver grficamente una ecuacin
completa de sexto grado. mediante la interseccin de la "parbola cartesiana" (cbica
que para Descartes
es una curva de segundo gnero) con una circunferencia Y seala varias aplicaciones
del problema: divisin de un ngulo en
cinco parles iguales, construccin de pollgonos regulares de 11
y de 13 ladosetctera
otras contribuciones son, el perfeccionamiento de los simcoloes algebraicos que
introduce en la geometra, el estudio de las parbolas de orden superior, y=ax^n, de la
curva hoja de descartes, x^3+y^3=3axy , a relacin que se le atribuye a euler entre el
numero de caras, aristas y vrtice de un poliedro. La construccin geomtrica de los
dimetros de los crculos, cuyos pologonox regulares circunscriptos tienen igual
permetro, cuyo limite dara la rspuesta a dada la longitud de la circunferencia
construir su dimetro.
Descartes aplica el algebra a la geometra, como un mtodo. Pero Fermat, la utiliza
como un recurso. Conocia las obras griegas de Euclides,Apolonia, diofanto, recontruyo
obras de diofanto, donde aparecen principios fundamentales del mtodo de
coordenadas, toma al igual que descartes un eje de referencia y un punto fijo, el origen
de segmentos variables. Aparece a ecuacin de la recta, la ecuacin de la
circunferencia, y de las conicas con los que resuelve problemas de lugares del planos y
solidos.
En conexin con esos problemas Fennat estudia la resolucin
geomtrica de ecuaciones mediante la interseccin de curvas y,
en el campo puramente algebraico. problemas de eliminacin Y
de racionalizacin(5)
2. La tcora de nmeros, las probabilidades y
la geometra proyecHva
Ya dijimos que Fermal se dedic a varias ramas de la matemtica. De una de ellas
puede considerarse iniciador, la leona de
nmeros, campo en el cual dej demostraciones y teoremas,
algunos de los cuales hoy llevan su nombre.
64
En l62l haba aparecido la edicin greco-Iatina de la Arilmtica de Diofanto, por el
poela y humanista Claude-Caspard
fanlo, asf como en su correspondencia. encontr:ul"lOS notas y resultados de las
investigaciones que Fermat reaJiz en el campo
de la teora de nmeros, de cuya novedad e importancia Fennat
fanto 6gura la proposicin, hoy clebre, que no es posible encontrar cuatro nmeros
naturales 1',y,,t,1I para 11 > 2, tales que
x" +y" =z". La celebridad de e la proposicin reside en el hecho de que an hoy, a tres
siglos largos de Fermal, no se ha
logrado dar una demostracin general de esa proposicin, ni
gen del libro: "Por otro lado, es imposible descomponer un cubo
en suma de dos cubos o un bicuaclrudo en slIma de dos bicuadrados, O en general
cualquier potencia en suma de dos potencias
de igual exponente, con excepcin del cuadrado. He encontrado una demostracin de
esa proposicin, realmente maravillosa, pero el margen del libro es demasiado
estrecho para
contenerla",
Como la demostracin general a que alude Fermat no apareci ni en la
correspondencia ni en los papeles que dej, es de
presumir que efectivamente no dispuso de tal "demostracin
de nmeros, pero an no se ha encontrado una demostracin
general. Tampoco se encontr ningn ejemplo que comprobara
la falsedad de la proposicin, no obstante las posibilidades que
por haber sido objeto de ""ncursos con valiosos premios, ese
problema, que a veces suele llamarse no muy propiamente "el
gran teorema de Fermat", adquiri gran popularidad, aunque el
descubrimiento ms notable de Fermat en el campo de la teora
de nmeros, aparecido en una carta de 1640, es el de la periodicidad de los restos de
las potencias de a al dividirlas por un
nmero primo p no divisor de a, de manera que al llegar a la
potencia de exponente p-l se reproduce el resto 1 (este teorema suele llamarse "el
pequeo teorema de Ferma!'1- El
La segunda rama matemtica que tiene a Fermat de fundador, O cofundador con
Pascal, es el clculo de probabilidades,
65
cuyos primeros problemas resueltos en el sigloXVU nacieron en
las mesas de juego y fueron propuestos por el caballero De Mr pagina (61)
a Pascal, quien a su vez los propuso a Fennat; sin olvidar que el
primer libro sobre juegos de azar, como ya recordamos, se debe
a Cardano.
Los problemas propuestos, hoy clsicos, sao el "problema
de Jos dados" y el "problema de las partidas". El primer pro
nombre de Fennat se vincula, como veremos, con el nacimien
to del clculo infinitesimal y con la ptica, pucs en 1661 demuestra la ley de la
refraccin utilizando el principio de tiempo
mnimo.
Como el de Fermat, el nombre de Blaise Pascal est vinc:ul.Jdo con la hisloria de \-arias
ramas de la matemtica, adems
de figurar en la historia de la fsica, de la mosofa, de las letras y
de la religin.
Con su contribucin al clculo de probabilidades se vincula
un folleto de J()S..I sobre el TridlJgulo aritmtico (a veces napropiadamente llamado
"tringulo de Pascal"), donde aparecen los
nmeros combinatorios con su expresin general y algunas de
sus propiedades.
Tambin fue Pascal iniciador del clculo mecnico, pues a
los 18 aos construy una mquina de calcular que ms tarde
Pascal fue un cientfico precoz, que an nio redescubre,
sin libros ni ayuda alguna, los primeros teoremas de geometra
y que a los 16 aos cont.ribuye al resurgimiento de la geometra
mediante un teorema que hoy lleva su nombre y que entonces
fue llamado "exagrama mstico", Pero, segn propia confesin,
ese teorema y otras propiedades de las cnicas que componan
su Essay pour les cOl1illues escrito en 1640, le haban sido inspi.
rados por Cirard Desargues, gemetra a quien conoci en las
reuniones cientficas que se celebraban en la celda del padre
66
Desargues fue un ingeniero militar y arquitecto a quien. No
o en sus aplicaciones en la prctica de algllll arte", se le puede
considerar como el primer cultor de una de las ramas de la matemtica ms al"jada de
la realidad, la geometrfa proyectiva.
Preocuoado por los problemas prcticos de la construccin
J, relojes Ce sol y del corte de' piedras, se ocup de pcrspectiva
-snhre la cual public dos breves trabajos (1636, 1640}- Yde
propiedades geomtricas en un curso de lecciones que, a pedido de sus discpulos, se
public en 1639 con el ttulo Brouillon
atiee lHl plan, que constituye un tratado sobre las cnicas, con
conceptos e ideas originales que hoy forman parte de la geome
tra proyectiva.
En su escrito Desargues observa que las tres cnicas -elipse, parbola e hiprbol:r- que
se obtienen por proyeccin de
una circunferencia desde un punto sobre un plano, deben tener
las mismas propiedades que la circunferencia e inversamente,
Eso lo lleva a distinguir las propiedades que se mantienen en la
proyeccin y las que no se mantienen. Entre las primeras con
su nombre. Extiende algunas de sus observaciones al espacio y
se le debe la importante observacin que un haz de rayos paralelos debe considerarse
como de iguales propiedades que un
haz de ravos concurrentes. Ms tarde, en 1643, enunci, entre
otros mu~hos y variados, el teorema hoy llamado de los tringulos homolgicos.
(3) Los problemas rkl caballero De Mtrt. En el problema de los
dados Fermat, partiendo de la definicin de la probabilidad como razn
de los casos favorables a los casos posibles, demuestra que en el tiro con
un solo dado, los casos posibles son 6'~ ~Ylos no &vorables 5'=625,
de manera que Jos casos favorables 671> 625. comprueban el ,aserto.
En el caso del tiro con dos dados, los casos posibles son 36" y los no
favorables 35'" de manera que la probabilidad buscada es 1 -(35/36)"
que. por ser menor que 1/2, vuelve a confinnar la afirmacin del caballero De Mr,
cuya pericia como notable jugador se revela al advertirse
67
que en anl00s casos la diferencia en un solo tiro invierte la probabilidad.
En el problema de las partidas Fermat utiliza la 'teorla combinatoria. Considera el
ejemplo concreto en el que dos jugadores A y B
suspenden el juego cuando al jugador Ale faltan 2 puntos para ganar y
al jugador Ble faltan 3. Como a lo ,umo la partida se habrla te1lllinado a
las 4 jugadas, Fennat hace las 16 posibles combinaciones con repeticin
de dos letras a y b tomadas de 4 en 4. cuenta las combinaciones en las
que aaparece dos o ms veces y las restantes en las que b aparece tres o
ms veces. Como las primeras son ) 1 Y las segundas son 5, Fennat
deduce que las probabilidades de ganar estn entre sr como 11 es a 5,
proporcin en la que debe entonces dividirse la bolsa. Pascal llega l' Ia a misma so
ucin, aunque razona algo diferentemenlte. He aquf sw palabras: "El siguiente es mi
mtodo para c1e'"nnl
nar a parte d cada' d ~ -
. e Juga or, cuando por ejemplo dos jugadores juegan
un partido a tres puntos y cada jugador ha apostado 32 pistolas S
~os que el primer jugador ha ganado dos puntos y el segu~do~::
or ~o; ahora deben jugar por..u" punto en estas condiciones' si
el pnm.er jugado.r se Ueva todo el monto de la apuesta, es deci~ 64~
tolas, SI en cambio es el segundo jugador quien gana _~_. gad .P
d ~Ju orDene
o~ puntos y estarn as en equilibrio, y si dejaran de jugar cada uno
retir:ma sus 32 pistolas. De modo que si el primer jugador gana las
64 plstol~ le pertenecen, mientras que si pierde le pertenecen coitos,.
ces.32 P1St~~. Luego, si los jugadores desean no jugar ese juego y
separarse 510 Ju~lo, el primer jugador podria decir al segundo: 'Ten o
aseguradas 32 pistolas aun en el caso de perder el punto en camb~
respecto de las otras 32 pistolas puedo ganarlas o puedo ~rderlas 1
10
~hanccs son Iguales. Divi~os entonceS esas 32 pistolas en ~t:
Iguales ydadme adems las 32 pistolas que tengo aseguradas'. De ah!
68
que el pnmer Jugador lendr.l48 pistoias y el segundo 16 pistolas" S'
aplicara el procedimiento de Fennat a este caso se II-,.{ 'gua]' I se
sultado. ....&""'.a a 1 re-
3. El clculo inflllitesimal: los precursores
Las consideraciones de ndole infinitesimal son tan antiguas romo l~ ma.temtica
misma, pues residen en la esencia misma de
esa CienCia. En la mera sucesin indefinida de los nmeros est
enlarvado el concepto de infinito, en la ilimitada divisibilidad de
los segmentos lo est el infinitsimo. y no deja de ser significativo que en el lxico
matemtico de hoy las expresiones infinito
O inflnitsimo actual o potencial conserven el sello que les impnml Anstteles,
precisamente en los siglos en que nace la
matemtica como ciencia.
De ah que se encuentren rastros de los mtodos infinitesimales en todas las etapas de
la evolucin de la matemtica. Asl)-
man en las criticas de los eleatas y en algunas argumentaciones
de los sofistas y adquieren categora y rigor cientficos en la teora de las proporciones
y en el mtodo de exhaucin de Eudoxo'
mtodo que en manos de Arqumedes y vinculado con el postu:
lado de la continuidad le permite obtener rigurosamente resul.
tados que hoy se logran con el algoritmo infinitesimal
mal en los tiempos medievales, con la introduccin del cera
como s(mbolo operatorio. con la "regla de Merton" y con las
primeras series convergentes de Oresme y Calculatora las que
dentes (1). Ya vimos tambin cmo en el siglo XVI aparecen
otros algoritmos infinitos: las fracciones continuas de Cataldi. el
producto infinito de Vilote para 1r.. . /
A este proceso interno se agregar en el siglo XVll la pre"
sin externa que ejercern la mecnica y la astronomia, en cuyo
69
desarrollo los mtodos infinitesimales desempearn papel
decisivo.
As[ Stevin, en 1586. para detenninar el centro de gravedad
de un paraboloide de revolucin, circunscribe a.ese slido un
nmero de cilindros de igual altura que va duplicando y comprueba que el centro de
gravedad de esos cilindros. f<:i1 de
determinar. se acerca indefinidamente a un punto fiJO. que es
entonces el centro de gravedad buscadoEse mtodo muestra'
~n ambos casos el resultado, que se admite conocido, es el valor
hmlte de una sucesin convergente, pero mientras que Slevin
En este senlido da un paso ms adelante el italiano Luca
Valeno;, califiC'ddo por Galileo como "el Arqumedes de nuestro
tiempo, qUIen en un tratado de 1604 modifica el raciocinio de
StC.VIO med.tallte un teorema general, segn el cual si se inscribe
O clfcunscnbe una fi,'ura escaloide (en forma de escalerilla) formada por polgonos,
prismas o cilindros, a una figura plana o
shcb. la diferenCia entre los esca.Joides inscritos y circunscritos
puede hacerse tan pequea como se quiera y por lo tanto (ahora
SI.n dem~stracln) ser tambin tao pequea como ~e quiera la
diferenCia entre uno de esos escaloides y la figura dada. Resulta
Tambin sigue las huellas de Arqumedes. ohannes Kepler
e.uya obra matemtica ms importante. Nova stereo"U!tria do-
/'Oru111 vinariorum de 1615 contiene consideraciones de ndole
infinitesimal. Por razones ms de orden prctico que terico,
ese tratado le fue sugerido a Kepler, en un ao de abundante
cosecha de uva, por el propsito de comparar las capacidades de
los toneles entonces en uso, con el fin de detenninar las dimenSI~nes ms
convenientes desde el punto de vista del material
mUlIOlO a emplearse para lograr igual volumen.
. Para ello estudi la cubatura de numerosos cuerpos de rotaCin, obtenidos' haciendo
girar circunferencias, elipses o arcos
70
de estas curvas o de las otras cnicas, alrededor de ejes paralelos
a los ejes de aquellas. En esa forma describe y denomina, generalmente con nombres
derivados de frutas, ms de 90 cuerpos.
La pnmera parte del tratado de Kepler se inicia con las
cuadraturas y cubaturas de Arqumedes, pero sin utilizar el m-
todo de exhaucin, sino recurriendo directamente a expresiones
de C'Mctcr "infinitesimal", admitiendo "como si" las figuras es.
tuvieran compuestas de infinitas figuras infinitamente pequeas
de reas o volmenes conocidos. As supone que el crculo o la
porcin del crculo o de la esfera. De esa manera el crculo eqUivale a un tringulo de
altura el radio y de base la longitud de la
circunferencia, y la esfera a un cono de altura el radio y de base
la superficie de la esferaComo estos resultadosy otros seme
Kepler se ocupa de cuesliones de mximo y mnimo, reconoce el cuadrado como
rectngulo de perimetro constante y rea mxima determina el paraleleppedo inscrito
en una esfera de volumen mximo, etctera. Por otra parle, la observacin de sus
ban mayor volumen. y esboza la condicin, ya sealada por
Oresme, que en las proximidades de un mximo las vanaclOnes
de la cantidad se hacen insensibles, fono a rudimenlana de expresar la actual condicin
de derivada nula en los puntos en que
una funcin pasa por un mximo.
Se deben a Kepler otras consideraciones de ndole infinitesimal: la caracterizacin de
una curva a partir de una propiedad
de sus tangentes; el valor aproximado de la longitud de la elipse
como la de una circunferencia de dimetro semisuma de los ejes
. de la elipse; la aplicacin del principio de continuidad, que supone que la parbola es
un caSO l[mite de la elipse o de la h,-
prbola, cuando uno de los focos (este trmino le pertenece) se
aleja infinitamente, en cuyo caso el sistema de rayos f<X:ales se
convierte en un haz de rayos paralelos.
Buonaventura Cavalieri, miembro del grupo de amigos y dis
cipulos de Galileo. Cavalieri, que se ocup de trigonometra y
71
de aplicaciones de los logaritmos, a cuya difusin en Italia contribuy en gran medida,
es autor de un mtodo de "integracin"
fundado en los "indivisibles", que ocupa un lugar intermedio referirse a los elementos
de dos figuras que compara y que, mediante cierta tcnica algebraica, le permiten
calcular reas y
volmenes
en Exercitationes geometrica sex (1647). Este ltimo trabajo
persegua L,mbin una finalidad polmica, pues estaba dirigido
a responder a las objeciones de Paul Guldin contra su mtodo.
En sus Exercitationes, Cavalieri demuestra con su mtodo los
teoremas, que figuran en Pappus, relativos al rea y al volumen
de los cuerpos de rotacin, conocidos hoy con el nombre de
teoremas de Culdin, que ste no haba demostrado sino mediante raciocinios
metafsicos.
Sin recurrir al engorroso mtodo de emaucin, Cavalieri
logra dar en sus "integraciones" el res\lltado de la "integracin"
de las primeras tres potencias de la variable y cuando ms tarde
logra tambin la demostracin para la cuarta potencia, extiende
por analoga el resultado a una potencia de exponente natural
cualquiera. Con estos resultados pudo resolver problemas de
los antiguos, otros resueltos o propuestos por Kepler y tambin
algunos nuevos. Entre sus contribuciones originales citemos la
cuadratura de la espiral de Arqumedes, que reduce a la de la parbola, y la
observacin, que hubiera sin duda sorprendido a
Arqumedes, de que el arco de la espiral estudiada por l era
igual al arco de una determinada parbola. (3)
Torricelli se ocup de cuestiones infinitesimales en su Opera geometrica de 1644,
donde. entre cuestiones relacionadas
con las tangentes, cuadraturas y cubaturas, figura una interesante aplicacin de los
"indivisibles" que aport adems la novedad, en cierto modo paradjica para la poca,
de una figura infinita de volumen finito (4). Por otra parte, de las obras completas
de Torricelli conocidas en este siglo se desprende que se ocup
72
de curvas nuevas, como las hoy llamadas "Iogaritmica" y "espi
ral logartmica"; de la primera dio la cuadratura y la cubatura
del slido engendrado por rotacin de la curva, y de la segunda
la longitud del arco, resolviendo asr el primer problema de rectificacin
Viviani con un problema propuesto por l y llamado "enigma florenti
no": construir en una bveda esfrica dos venlan~ iguales de
manera que la porcin restante de la semiesfera sea cuadrable.
Viv'iani dio como solucin las ventanas cuya proyeccin sobre el
plano de la bveda son circunferencias de dimetro igual. al radio de la esfera; en cuyo
caso la porcin restante del bemlsfeno
es equivalente al cuadrado construido sobre el dimetro de 1.
esfera.
trata de la cicloide (el nombre es de Galileo), curva descrita por
un punto de una circunferencia que rueda sin resbalar sobre
una rectaEl estudio de esta curva motiv polmicascontro
Giles Personne de Roberval se ocup de numerosas cuestiones relacionadas con los
mtodos infmitesimales. Se le debe un
mtodo cinemtico para construir las tangentes a todas las curvas planas
v:" planas conocidas en su poca, a las que l aadi la actual
smusOlde, que denomin "compaera" de la cicloide, considerando la curva descrita
por un doble movimiento, cuya resultante, de acuerdo con la regla del paralelogramo,
proporcionaba la
dir,;""in de la tangente. Se ocup adems de calcular :ireas y
~olumenes, as como rectificaciones y centros de gravedad, utilizando una concepcin
semejante a la de los indivisibles, aunque ya algo ms prxima a la de los
"infinitamente pequeos". (5)
Con mtodos semejantes estudia Pascal numerosas propiedades de la cicloide, que
llam "roulette", propiedades que
mIca. Fermat traduce a1gebraicamente la idea, ya esbozada por
Oresme y por Kepler, relativa a la anulacin de la variacin de
las cantidades en las proximidades de un mximo o un minimo,
y expone un mtodo para la determinacin de esos valores, que
73
aplica a la determinacin de las tangentes. Explotando con habilidad la suma de
trminos de una progresin geomtrica, logra la cuadratura de las parbolas de orden
superior o, lo que es
lo mismo, la integracin de las funciones de potencia, con
excepcIn del exponente -1. Tambin se ocup de rectificaciones de curvas,
reduciendo en algunos casos ese problema al de
las cuadraturas, lo que pona de manifiesto la analoga entre
La suma de la serie geomtrica convergente, ya utilizada
por Fennat en sus cuadraturas, aparece en una voluminosa obra
del jesuita belga Cregorius Saint Vincent en la que, no obstante
pretender con ella demostrar la cuadratura del circulo, 6guran
cosas interesantes. Al analizar los mtodos de los antiguos introduce, no muy
apropiadamente, el vocablo "exhaucin", con el
que designamos hoy el proceso de demostracin
Eudoxo. Saint Vincent insina adems una nocin de lmite y
vislumbra la relacin entre los logaritmos y la cuadratura de la
hiprbola. .
Entre quienes se ocuparon en refutar-las demostracIOnes
de Saint Vincent 6gura uno de los grandes cientl6cos del siglo:
Christian Huygensque adems de su labor como 6sico y as
tre estas ltimas pueden mencionarse cuestiones de geometrfa
elemental. relacionadas en especial con el problema de la cuadratura del circulo, que
perfecciona los mtodos conOCidos pard
obtener valores aproximados de 1T o para rectificaciones aproxI
madas. Tambin se le debe el primer tratado orgnico relativo
al clculo de probabilidadesfundado sobre la correspondencia
1657. Se ocup de curvas planas, algunas nuevas como la tr~c-
triz y la catenaria, mientras que en conexin con sus estudiOS
mecnicos enriqueci el estudio de las curvas con la tcor/aJle las
evolutas y evolventes, que figura en su clebre Horologi,um
oscilatorium de 1673teora con la que se abre un nuevo capitu
lo de la geometra diferencial. el relativo a la curvatura de las
74
curvas planas. (7) ,
Tambin se ocup de series y de la cuadratura del c"culo
James Cregory. con quien aparece, probablemente por pnmera
vez la distincin entre series convergentes y divergentes. Estudia en especial las series
de las funciones circulares inversas Y
es precisamente en la circunstancia de la imposibilidad de expresar mediante un
nmero finito de trminos algebraiCOS la
relacin entre el rea de un sector circular y la de las poligonales
inscritas O circunscritas, donde cree ver la imposibilidad de la
cuadratura del crculo. .
Las series fueron introducidas sistemticamente en el an-
lisis por John Wallis, uno de los matemticos ms originales del
casi nonagenario. Escribi sobre lgebra y sobre las cmcas,
que consider por primera vez como las curvas cuya ecuacin
en coordenadas cartesianas es de segundo grado. Se ocupde la
teora de las paralelas y sustituy la nocin de equidistancia en
la que casi todos los comentaristas y traductores de Euclides se
apoyaban para justificar el quinto postulado, por la e~istencia de
un tringulo semejante a un tringulo dado y de magnitud arbitrariaWallis trat de
justificar este postulado por analoga con
intuitivo como el de Euclides, el postulado de Wallis es equiva.
lente, y por tanto muestra la vinculacin del quinto postulado
con la teora de la semejanza e inversamente. como se demostr
ms tarde, que en las geometrfas no euclidianas no pueden sub.
sistir tringulos semejantes, pues la magnitud de cada figura
est indisolublemente ligada a la de sus ngulos.
La obra ms importante de Wallis es su Aril/lJnelica nfin-
tomm de 1655. En ella aparece el actual simbolo de "infinito",
que utiliza tambin para "la nada" (non-quanla) como recproco
1: oo. as como tambin los exponentes fraccionarios e irracionales, interpretndose
tamb;n correctamente los recfprocos de
75
las potencias de exponente positivo como potencias de exponente negativo. aunque
stos 110 los escribe.
Un resultado fundamental, expuesto por Wallis mediante
un mtodo que es mezcla de induccin e interpolacin, le pero
mite expresar nuestra integral de la funcin .1''' en el intervalo
(0,1) como l/(m+ 1), para cualquier exponente. Este resultado
Wallis no es correcta en ~ste caso. Wallis extiende luego esta
regla a toda suma o serie ,le potencias, de donde result una
importante contribucin al problema de la cuadratura del crculo.
Al aplicar su regla a la expresin entera (l-x')" para valores
su esivos de n trat de obteller, por interpolacin, el valor para
n='/" al que corresponderla como resultado '/_ 1r. Como no logr xito fue
modificando los valores del exponente n, al mismo
tiempo que modificaba los ,le la potencia de x, y siguiendo ciertas leyes de
generalizacin e interpolacin lleg a un nuevo des
arrollo de 1r en producto infinito en la forma
la Royal Society, William Brouncker, a que investigara el asunto. Brouncker, que se
ocup tambin de otras cuestiones matemticas, al prose,'Uir el tema de Wallis dio,
no se sabe cmo,
con el siguiente notable desarrollo de 1r en fraccin continua
infinita que, por comodidad tipogrfica, damos segn 'la nota
p
ras de Wallis fue el establecimiento de la serie logartmica y,
con ella, de la cuadratura del sector de hiprbola equiltera. En
tal sentido el paso decisivo fue cumplido por Nicolaus Mercator,
de dar la ecuacin de la hiprbola equiltera en la forma y= 1/
(1 +x), que poda desarrollarse en serie de potencias y aplicarle
la regla de Wallis. Combinada esa circunstancia con la observacin, sealada por Saint
Vincent, que a abscisas en progresin
76
geomtrica correspondfan sectores de hiprbola equiltera de
rea en progresin aritmtica, result la serie logartmica de la
cual se ocuparon adems Wallis, Brouncker, Cregory y Pielro
Mengoli. Este ltimo dio en 1650 la demostracin, hoy corriente, de la divergencia de
la serie armnica y demostr adems
suma habilidad en la suma de series deducidas de la serie logartmica.
Barrow en el advenimiento de los nuevos mtodos es doble. Por
un lado se le debe un mtodo para la determinacin de las tangentes a las curvas
planas, (8) mediante el "tringulo caracterstico", que no dillere del actual sino en la
notacin, con lo que en
suma puede considerarse el fundador de la nocin de derivada;
por el otro, Barrow fue el maestro de ewton, a quien en 1669
cede su ctedra de Cambridge para dedicarse a la teologa. Las
frecuentes discusiones enrre maestro y discpulo, la mutua rolaboracin, pues Newton
revis y corrigi una de las ediciones
de una obra de Barrow, son hechos que sin duda contribuyeron
a asignar importancia a la influencia de BarroY( en el futuro del
clculo infinitesimal.
Fundadores
La labor matemtica de Isaac NewtoD. ntimamente vinculada con sus investigaciones
de filosolla natural, no se Jimit a
cuestiones infinitesimales, sino que abarca amplias zonas del
lgebra y de la geometra, Asr, en sus clebres Principia de
1687, dedica un par de secciones del primer libro a estudiar
propiedades de las cnicas. en forma geomtrica.
Aparece la solucin geomtrica del "problema de las cuatro
rectas", a la que agrega la construccin de las tangentes del
lugar y del foco de la cnica, mientras que, con evidente alusin
mas "no los ha resuelto mediante un clculo analtico, sino por
una construccin geomtrica tal como lo requerfan los antiguos.
Aparecen tambin teoremas de construccin de cnicas cuando
se dan cinco elementos entre puntos y tangentes u otras condiciones.
77
Se debe a Newton la iniciacin de la teora de las curvas
algebraicas (curvas cuya ecuacin en coordenadas cartesianas es
mostrado algunas propiedades generales de las curvas algebnicas, se ocupa en
particular de las cbicas, estudia su generacin
y clasificacin (dio 72 "espeCies" diferentes) y demuestra, entre
otras propiedades, que a semejanza de las cnicaS las cbicas
pueden obtenerse por proyeccin de una cbica especial y ulterior seccin plana del
cono.
Aplica las cbic';; para resolver ecuaciones, tema al que
Aritlllnetica universalis es un tratado de lgebra, que generaliza
y mejora los conocimientos de la poca relativos a la teora general de las ecuaciones,
la eliminacin algebraica y la resolucin
por el lgebra de problemas geomtricos. Habla de raees afirmativas (positivas),
negativas e imposibles (imaginarias), se ocupa de races mltiples y extiende, sin
demostrarla, la regla de
los signos de Descartes a las races imaginarias. Enuncia una
regla para encontrar, cuando existen, factores lineales en las
ecuaciones; deduce, de las relaciones entre los coeficientes y la
suma de las potencias de igual exponente de las rafces, reglas
para obtener lmites de las races reales; introduce nuevos m-
todos para resolver grficamente las ecuaciones mediante la interseccin de curvas de
fcil trazado, por ejemplo, la concoide.
Con el nombre de "mtodo de Newton" se conoce hoy un mto-aproximacin de las
races, En De Analysi aparece el teorema general del binomio, al
cual llega partiendo de los resultados obtenidos por Wallis que
generliza para exponent
es racionalesEn los casos de la raz procedimiento ya conocido, mientras que aplica por
primera
vez el mtodo de inversin para obtener nuevas sen';. As nacen la serie exponencial
de la logartmica, la de las funciones
circulares seno y coseno partiendo de las ciclomtricas, etctera. Tambin desarrolla
en serie funciones dadas implcitamente,
utUizando una regla denominada del"paralelogran:>odeNewton".
Aunque se encuentran en Newton algunas alusiones a la
78
convergencia de las series, en realidad este algoritmo no es
estudiado en s, sino como recurso para la determinacin de
rectficaciones y cuadraturas, desarrollando en serie la ordenada. Un caso interesante
es la cuadratura de las diferenciales binomias de hoy, que expresa mediante una serie
cuyos coeficientes, como en el caso de la frmula del binomio, estn dados de
manera recurrente (2). Tambin como recurso para efectuar
cuadratu~as, aparece en Methodw differentidis de 1712 la hoy
llamada frmula de interpolacin de Newton", que permite
determinar la ecuacin de una parbola de orden superior que
~asa por n punt~s prefijados de abscisas en progresin aritm-
tica y que constituye el punto de partida de la teora de las diferencias finitas.
En De AnaJysi la cuadratura de las potencias se realiza de
acuerdo con la regla general del exponente dada por Wallis
pero la novedad reside en que parte del resultado y, al aplicarle
el mtodo de Barrow para 'Ia detenninacin de la tangente,
vuelve a aparecer la potencia, con lo cual queda desatado el
nudo gordlano del nuevo clculo. es decir el carcter inverso de
los problemas de la tangente y de la cuadratura. (3)
Cuando en el desarrollo en serie apareca la potencia de
exponente -1, para el cual la regla del exponente no era vlida
Newton separa el trmino, indicando que se trata de un secta;
hiperblico.
Pero la contribucin ms original de Newton a los mtodos
infinitesimales es su "mtodo de las Ouxiones", que constituy
ducdo, asta 736. ecactegeeadetodo ya da cue.
ta Newton en una carta de 1672 al decir que puede aplicarse "no
slo al .trazado,de tange.ntes a cualquier curva, sea geomtrica O
mecnica ... SinO tambin para resolver cualquier clase de pro-
blemas sobre"curvaturas, ,reas. ~~ngitudes, centros de grave.
dad, etctera y agrega que ha entrelazado ese mtodo con
aquel otro mtodo que consiste en trabajar con las ecuaciones
79
reducindolas a series inllnitas", En efecto, el mtodo de las
fluxiones de ewton, con su esencia y notacin propias no es
sino una fonna de tratar los problemas del actual anlisis' infini.
S
tesimal. El mtodastod0
l
es de natudraleza geomtrico-mecnica pues
upone que as magmtu es geomtricas son engendradas
por movimientos de velocidades diferentes, mientras el tiempo
fluye constante y uniformemente
jqp
anulacin de los incrementos, Newton introdujo en el Tractotu.
la expresin "razn de los incrementos evanescentes", es decir
la razn entre los incrementos correspondientes que, despus
de "evanescer" la Ouxin aparecra como resultado de la razn en
esas condiciones. asomando as, en forma an rudimentaria, la
idea de l[mite. (5)
a) Detenninar la Ouente, dadas dos Ouxiones y una sola
Ouente. Corresponde a nuestras cuadraturas, que en general
Newton resuelve por el desarrollo en serie.
b) Detenninar la relacin entre las Ouentes, dadas dos Ou
xiones y dos Ouentes. Corresponde a un tipo de nueslras ecuaciones diferenciales
ordinarias de primer orden, que Newton
resuelve por desarrollos en serie utilizando, si es necesario, el
mtodo de los coeficientes indetenninados. (7)
c) Detenninar la relacin entre las Ouenies, cuando se dan
varias fluxiones y fluentes. Corresponde a nuestras ecuaciones
con derivadas parciales que Newton resuelve considerando integrales particulares, sin
desconocer el hecho de la presencia de
funciones arbitrarias.
80
Gotfried Wilhelm Leibniz pennitieron, entre otras innovaciones. crear el simbolismo
ade
cuado al nuevo algoritmo. Adem~ de sus contribuciones a! c:ilcu
lo infinitesimal, la labor matemtica de Leibniz se eltendi
la teorfa de nmeros, a! c:ilculo mecnico (perfeccion la mqui
na de calcular de Pascal), a! lgebra (eliminacin, potencia de
r,ollnomlos, ett~tera), a! perfeccionamiento de la notacin y del
51mbohsmo, mientras que se le considera iniciador del clculo
geommco, de la terorfa de los determinantes, de la lgica ma
temtica, de la topologla
Como promotor cientfico se le debe la fundacin de lascre~ln de. la Academia. de
Berlln en 1700, al principio como
SOCiedad Cientfica; ImClativas semejantes le deben las Acade. En el. e.srudio de las
series Leibniz dedujo por procedi.
mlentos o~g?a!es varias de ellas, obruvo nuevas (8) y dio, aclem~, el cnteno de
convergencia de las series alternadas. Para el
desarrollo en serie de la funcin seno, por ejemplo, se vali del
mtodo de los coeficientes indeterminados, partiendo de la
ecuacin diferencial de segundo orden que define esa funcin
obtenida geomtricamente. '
Las consideraciones infinitesimales de Leibniz, que se encuenrran ya en manuscritos de
1673, parten de la consideracin
del ':mngulo caracterfstico" (el nombre es suyo) que ya habla consideraciones sobre
ese tringulo y sus semejantes, el de la
ordenada y subtangente, o el de la ordenada y subnormal reconoci que los problemas
de la tangente y de la cuadratu~a son
inversos. En efecto, ese tringulo muestra que en el problema
de la tangente interviene el incremento, es decir la "diferencia"
de las ordenadas, mienrras que en el problema de la cuadrarura
interviene la ..suma" de las ordenadas,
En cuanto a! simbolismo, a! principio indiC las sumas mediante la abreviarura Omn.
(de Omnia=todo), que luego sustituy por el acrua! signo de integra!, proveniente de
la deform~-
81
cin de la lerra alemana S inicia! de suma, el nmero de las dimensiones, supuso que la
operacin Inversa
(la diferencial, que simboliz con ) debla disminuir a toda elpresin tambin en una
unidad, de ah! que al principio esc~bi
el sfmbolo d como denominador, aunque m~ tarde le dio la
forma y el uso acruales.
aparecen definidas las diferenciales en la forma acrual: "DesignamoS con dx un
segmento arbitrario y designamos con dy un,
diferencia, es a la subtangente". Aparecen las reglas comunes
de diferenciacin de las expresiones racionales e irracionales, Y
se muestra, con un ejemplo complicado. cmo puedenobt~ner-
se directamente las diferencias de expresiones fraccionanas y
con radicales. Aplica la diferenciacin a la resolucin de los problemas de mximos
Ymfnimos, que distingue segn el signo de
la segunda diferencial (difIerent'" differentia
rum), cuya interpretacin geomtrica es la concavidad o conveXidad, q~~ a! anu
y aparece tamb' .
vez el signo integral E . 1 n Impreso por primera
. sos esentos muc tr
~ocon ese signo pueden definirse med~ ";" por ejemplo, c:-
TaJeas, curvas que no lo so . . lan e expreSlOnes algo--
blo "trascendente" p I n, por ~Jemplo, la cicloide. El voca
fi ara as ecuaclOoes en 1 l'
gura en el exponente se debe Le' b' as que a mclPl
ita
A 1695 ' a I mz
pertenecen consideracione .
que le hablan presentado a al d 1 s para refutar objeciooes
I 1 d,r . r z e o cual da
p os, a uerenciacin de fu' d ' entre otros ejem
recurso de los logan'tmos talnclOnes e la forma u' mediante el
82
. ' como se h al
mismo ao es el teorema que Ilev ace actu mente. Del
para las diferenciales sucesivas d:~~ nombre, acerca de la regla
ms que cambiar en la frmula producto de funciones. sio
.rdenes de diferenciacin P del bmomio los exponeotes por
. arece que trat d d
a.exponentes negativos (inte' eexten erlaregla
clOnarios. gracln) y hasta a exponentes ...,.
En otros trabajos se ocup d 1
rla de las envolventes (de la cual e circulo osculador, de la teodas curvillneas y de la
descom es. mlclador), de las cocrdena
les en suma de fracciones ~SICII~ de las funciones raciona
lantes, del ngulo de co tiparclales Simples; de las series osci
problemas de indole geo~~encia y, ~n general, de todos los
matemticos de la poca. co-mecmca que interesaban a los
Hubo polmica por la autora del nuevo calculo, ya que se acusaban de plagio, y los
mtodos solo diferan en la anotacin, pero no se puede hablar de un autor ya que
ambos se basaron en cocnocimientos ajenos . La consecuencia ms lam
lamiento de cada ha d I entable de la polmica fu l'
n o y a falta d . e e ...
t~nte de ese aislamiento ya e cooperacin cientfica resul
diferan sino en la oota i unque en definitiva los mtodo. Laibnizt tenia mente
simbolica mientras que newton era mas empirista.
8) El siglo newtoniano
El siglo XVIII es el "siglo de las luces", de la "Ilustracin", del "Iluminismo", el
"siglo de la razn". Pero desde el punto de vista de la ciencia exacta, fue un
siglo newtoniano: podra afirmarse que naci en 1687, cuando aparecieron los
Principios de Newton, libro promotor del auge de la mecnica, de la astronoma
y del clculo infinitesimal.
La gravitacin universal que junto con las leyes de la mecnica newtoniana,
permitieron traducir en ecuaciones diferenciales, los movimientos celestes, y el
clculo para resolverlas, que permite predecir el porvenir, releer el pasado y
calcular sus ltimos pormenores, dio a la ciencia exacta impulso.
83
La matemtica del siglo XVIII mostr su fecundidad en la elaboracin de las
nuevas ramas, creadas en el siglo pasado, y sobre todo en la riqueza de las
aplicaciones y del nuevo clculo infinitesimal. La matemtica de este siglo, fue
una ciencia auxiliar, por su utilidad.
La tarea ms importante de los matemticos del siglo se realiz en los mtodos
infinitesimales y sus aplicaciones, contrastando los progresos tcnicos y el xito
de las aplicaciones con la debilidad de sus fundamentos bsicos.
D'Alembert alentaba a los estudiantes, ante tantas dificultades y oscuridades
de esos fundamentos: Proseguir y confiar, ya llegar la fe.
Aunque los mtodos infinitesimales de Newton y Leibniz le hicieron conocer la
difusin de las nuevas ideas, mtodos y notaciones diferentes, no se
extendieron rpidamente. A fines del siglo XVII, eran pocos los matemticos
enterados de esos mtodos. Entre estos ltimos figuran los Bernoulli.
Los Bernoulli
La familia Bernoulli, de Holanda pero residi en Suiza,
proporcion durante los siglos XVII, XVIII YXIX ms de una
docena de matemticos, de los cuales tres sobresalen:
Jacob, su hermano johann y uno de los hijos de ste,
Daniel. Con los Bernoulli se vincula, adems, Euler.
La obra matemtica de Jacob Bernoulli trata sobre los
nuevos mtodos infinitesimales y el clculo de
probabilidades. Se ocup de series y de las propiedades de
las curvas, introduciendo el uso de las coordenadas
polares, que hasta entonces slo se haban aplicado al
estudio de las espirales. Las propiedades que descubri en
la espiral logartmica, que se reproduce en su evoluta, en
su envolvente, en su custica, etctera, lo llev a imitar el
gesto de Arqumedes, pidiendo que en su tumba se gravase Aunque cambio
resurjo la misma.
Realiz la primera resolucin con demostracin del problema de la "curva
descensus aequabilis" propuesto por Leibniz, es decir, de la curva iscrona tal
que un punto cae sobre esa curva con movimiento uniforme respecto de la
vertical. En ese estudio, aparece por primera vez la palabra "integral"' con la
acepcin actual.
Junto con su hermano Johann, propusieron y resolvieron problemas de
aplicacin de los mtodos infinitesimales a la geometra y a la mecnica. Johann
propuso en 1696 el problema de la curva de tiempo mnimo (braquistcrona),
Jacob propuso la ecuacin diferencial de Bernoulli y que fue resuelta por
Johann.
El problema de las trayectorias isogonales, y ortogonales, fue propuesto en
1694 por johann, pero pas inadvertido y fue reiterado por Leibniz en 1716,
para "tantear el pulso de los matemticos ingleses."
84
El problema de los isopermetros, propuesto por jacob, provoc una disputa
entre johann y otros matemticos. El problema deca: entre todas las lneas de
igual permetro y que tienen iguales extremos, determinar aqulla tal que
cierta funcin de sus ordenadas tenga rea mxima o mnima. Este problema,
el de la braquistcrona, el de la superficie mnima de revolucin y otros, dieron
origen al "clculo de variaciones".
La obra ms importante de jacob es Ars Conjectandi, con la cual el clculo de
probabilidades adquiere autonoma cientfica. Se compone de cuatro partes: la
primera reproduce, la obra de Huygens sobre probabilidades; la segunda es un
tratado de combinatoria y en ella aparece la expresin, que Bernoulli deduce
con coeficientes llamados "nmeros de Bemoulli", algunas de cuyas
propiedades estudia. La tercera parte se refiere a los juegos de azar y la cuarta,
aplica las doctrinas precedentes a cuestiones civiles, morales y econmicas",
aparece el problema de Imites (teorema de Bernoulli), y "ley de los grandes
nmeros".
En los hermanos Bemoulli se dieron separadamente, dos aspectos de un genio
cientfico: Johann era un artista en el dominio de las ciencias naturales y Jacob
estaba dotado de un espritu crtico, aunque con menor imaginacin creadora.
Johann era un fsico-matemtico, al que se le deben numerosas contribuciones
matemticas, la teora de las series y la aplicacin de stas al clculo integral y a
las ecuaciones diferenciales, la cuadratura de funciones de la forma x^2, y los
mtodos del factor integrante y de la separacin de variables en la integracin de
las ecuaciones diferenciales. Un original mtodo de cuadratura
por series, dio nacimiento a un caso particular de la "serie de
Taylor", de unos 20 aos despus. Se suele designar a aquella
serie como "serie de Bernoulli".
El Marqus de L'Hopital, fue el nico francs que estuvo en
condiciones de resolver los problemas que Leibniz y los
Bemoulli proponan y fue autor del primer tratado sistemtico
de clculo diferencial: Analyse des infiniment petits pour l
intelligence des lignes courbes. El libro del marqus contiene las
lecciones que le imparti Bernoulli, que comprenden tambin el
clculo integral, pero que el marqus no public, ya que saba que pensaba
hacerlo Bernoulli.
Estas lecciones de clculo integral, son el primer tratado sistemtico sobre el
tema y resumen de todos los conocimientos de Ia poca: integracin (de
potencias o series de potencias), cuadraturas, rectificaciones, ecuaciones
diferenciales y aplicaciones geomtricas y mecnicas, los mtodos de
integracin por sustitucin de variables.
En Analyse aparece el teorema de L'Hopital, para el clculo de Imites
indeterminados cuya paternidad reivindic Bemoulli despus de la muerte del
marqus.
85
Michel Rolle, conocido por el teorema que lleva su nombre, se ocup de la
resolucin de ecuaciones, de las que obtuvo, una serie de polinomios de grado
decreciente que denomin "cascadas", que son las derivadas sucesivas de la
ecuacin y que utiliz para determinar un Imite superior de las races, y en su
teorema que aplic, a la separacin de las races reales de una ecuacin.
En Italia se ocuparon de los nuevos mtodos infinitesimales:
Jacobo Riccati que se ocup de la transformacin e integracin de ecuaciones,
estudiada por Daniel Bernoulli, quien mostr en qu casos poda integrarse
mediante un nmero finito de trminos.
Ciulio CarIo, conde de Fagnano, se ocup de geometra y la geometra del
tringulo, adelantndose a Euler en el empleo e interpretacin de los
exponentes imaginarios, y contribuy en la rectificacin de las curvas. Tambin
lleg a la propiedad de que el cuadrante de lemniscata (curva estudiada por
jacob Bemoulli en l694) puede dividirse, en un nmero de partes, con regla y
comps, siempre que ese nmero contenga los factores 2^n, 3 y 5.
En Alemania, Tschirnhausen, conocido por su mtodo de transformacin de
ecuaciones con el cual resolvi las ecuaciones de segundo, tercero y cuarto
grado, pero no ecuaciones de grado superior.
En Inglaterra, el filsofo Ceorge Berkeley critico los nuevos mtodos en The
Analyse de 1734, un discurso dirigido a un matemtico infiel, Edmund Halley.
Halley era astrnomo, al que se le deben restauraciones de Apolonio y la
propiedad de la proporcionalidad de los logaritmos del mismo nmero en bases
diferentes. Fue un libre pensador, de ah la acusacin de infiel de Berkeley, pues
por ser un gran matemtico y un maestro de la razn, utilizaba su autoridad para
opinar sobre cuestiones ajenas a su incumbencia. Berkeley demuestra que
quienes se quejan sin razn de la incomprensibilidad cientfica de la religin,
aceptan una ciencia que en su raz es incomprensible y cuyas conclusiones se
apoyan en argumentos que la lgica no acepta.
La crtica de Berkeley contra aquellos mtodos es pertinente. Los nuevos
mtodos, tanto en la forma de Newton como en la de los matemticos
continentales, estaban envueltos en principios vagos y contradictorios. En sus
crticas, envuelve a los principios del nuevo algoritmo, y a las demostraciones
que los matemticos empleaban en l. En The Analyse tambin se plantean
cuestiones acerca del cero y del infinito, de la divisibilidad infinita, del carcter
metafisico del tiempo, del espacio y del movimiento absolutos, etc.
La crtica de Berkeley se hizo sentir en todos los matemticos ingleses,
contemporneos e inmediatos sucesores de Newton.
Abraham De Moivre, francs, pero residente en Londres, se ocup de
probabilidades y los nmeros combinatorios, suma de las potencias de los
nmeros naturales, etctera. Introdujo el estudio de las "series recurrentes", en
las que los coeficientes se determinan mediante una ley lineal fija de los
86
coeficientes anteriores, as como la frmula que lleva su nombre para la
potenciacin de los nmeros complejos.
Se ocup de descomposicin en factores simples de las expresiones
algebraicas, completando estudios realizados por Roger Cotes (quien dio en
forma geomtrica la descomposicin de las ecuaciones trinomias en factores, y
el teorema que lleva su nombre. Tambin se adelant a Euler en la relacin
entre las funciones circulares y los exponentes imaginarios y complet la
frmula de Newton, hoy llamada de Newton-Cotes, para la integracin
aproximada, partiendo de los valores de n ordenadas correspondientes a
abscisas equidistantes).
Brook Taylor, se ocup de fsica y de matemtica, es
autor de una obra sobre perspectiva, en la que sienta
las bases del actual mtodo de proyeccin central, se le
debe un Methodus incrementorum, directa e inversa de
1715, en el que usa las diferencias finitas. En esa obra
da la serie que lleva su nombre.
Tambin llega a la serie dada por Johann Bemoulli, pero
partiendo del mtodo de integracin por partes y no de
la identidad de la cual haba partido Bemoulli. Tambien
se le deben frmulas para el cambio de variable
independiente e investigaciones en de ecuaciones
diferenciales y de resolucin aproximada de
ecuaciones.
James Stirling se ocup de diferencias finitas en Methodus differentialis, con
sumas o series de polinomios de factoriales de grado positivo o negativo, as
como la frmula que lleva su nombre para n!. Esa frmula la obtuvo
continuando los trabajos de De Moivre sobre el desarrollo en serie del
logaritmo de n!, de ah que a veces se la cita como frmula de Moivre-Stirling.
En un trabajo Stirling se ocupa de cbicas, aumenta en 4 el nmero de las
dadas por Newton y estudia las propiedades de las curvas algebraicas
aplicndolas a las de segundo y tercer grado.
Colin Maclaurin, matemtico ingls, se ocupa de geometra, lgebra, clculo
infinitesimal, fisica y astronoma, quien para escapar a las crticas de Berkeley,
volvi a los mtodos de los gemetras antiguos, con lo que logr hacer ms
rigurosas las demostraciones. En Geometra orgnica y en De Linearum
geometricarum propietatibus y otros libros, Maclaurin dio propiedades de las
curvas algebraicas y generaliz teoremas conocidos. En su AIgebra (pstuma)
utiliza nmeros positivos y negativos y trata de justificar la regla de los signos.
Su Treatise on Fluxiones es un tratado del clculo de las fluxiones con sus
aplicaciones geomtricas y mecnicas, donde se deduce la serie binmica de
Newton por un mtodo de coeficientes indeterminados que, aplicado a
funciones cualesquiera, dio lugar a la serie de Maclaurin" que el autor
87
reconoci ser un caso especial de la serie de Taylor. Tambin aparece, el
mtodo de integracin de Maclaurin, en el que cada tropezoide es sustituido
por el rectngulo de altura la ordenada en el punto medio, y la frmula
descubierta por l y por Euler, que expresa la sumatoria de una funcin
mediante la integral y las derivadas.
Euler
El siglo XVIII fue tambin el siglo del algoritmo, en el que el anlisis, tanto en el
campo del
lgebra como en el del clculo infinitesimaI, adquiere vida propia y tiene a toda
la matemtica de un marcado carcter formal.
El anlisis se independiza de la geometra y de la ciencia natural. En el siglo
XVIII, el anlisis, se estudia por s mismo, mientras que la geometra y los
fenmenos naturales se convierten en estmulos para nuevos desarrollos y
problemas analticos.
Este carcter algortmico de la matemtica se pierde a fines de siglo, cuando la
geometra vuelve a penetrar en el campo de la matemtica, con la jerarqua de
geometra pura.
Leonhard Euler, adems de la matemtica cultiv
otras disciplinas, como la fsica matemtica.
Con Euler se comprueba que en el siglo de la razn,
tambin en la matemtica la razn mostr una
confianza excesiva. Ya no se duda de que toda
ecuacin algebraica tiene siempre solucin, que toda
ecuacin diferencial puede siempre integrarse y que
cualquier serie puede siempre sumarse. Tal confianza
en el poder del smbolo, result beneficiosa, los
excesos fueron luego corregidos. Formado en el
ambiente de los Bernoulli, Euler, que nunca fue
profesor, desarroll una intensa actividad cientfica,
gracias a la proteccin de las cortes de San
Petersburgo y de Berln, a cuyas publicaciones
acadmicas dio vida. Esa actividad no decay nunca,
aun en sus ltimos aos de su vida cuando, totalmente ciego, dictaba sus
trabajos. Tal actividad se manifest en todos los campos de la ciencia
matemtica y ciencias afines. Sus memorias, son ms de un millar, t tratan de
aritmtica y teora de nmeros, de lgebra y clculo de probabilidades, de
clculo infinitesimal y de geometra, de mecnica racional y aplicada, de
astronoma, de fsica, de geografa matematica, y libros en los que trata
cuestiones cientficas.
En teora de nmeros Euler resolvi problemas de Diofanto y de Fermat. Dio la
solucion del gran teorema de Fermat para n=3 y n=4 y generaliz la
88
congruencia de Fermat, introduciendo la expresin que Gauss denomin
"indicador.
Se ocup de anlisis indeterminado de nmeros perfectos y amigos, de la teora
de los restos potenciales y se adelant a Legendre en el descubrimiento de la
"ley de reciprocidad de los restos cuadrticos. Tambin se ocup de
combinatoria y de cuadrados mgicos, a los que agreg el "cuadrado latino",
mediante el problema: Disponer en cuadrado 36 ofiaciales de 6 grados
diferentes y pertenecientes a 6 regimientos distintos, de tal manera que cada
fila y columna tenga un oficial de cada grado y de cada regimiento. En este
campo su mxima contribucin es la teora de los nmeros primos. Reconoci
sin demostrarla, la verdad de la conjetura de Coldbach, (1742): todo nmero
par es suma de 2 nmeros primos.
Euler al establecer su famosa identidad que vincula la sucesin de nmeros
primos con la funcin analtica que Riemann bautiz, (s), inici la teora
analtica de los nmeros.
En lgebra Euler dio mtodos de eliminacin y de descomposicin en fracciones
parciales simples. Se ocup de la teora de las ecuaciones, para dar un mtodo
general para resolver ecuaciones de grado cualquiera. Pero hall un nuevo
procedimiento, distinto del de Ferrari, para resolver la ecuacin de cuarto
grado. Expuso mtodos para desarrollar en serie el valor de las races, e inici el
estudio de las funciones simtricas de las races, (importante luego en la teora
general de las ecuaciones algebraicas).
En cuanto al clculo infinitesimal, a Euler, se le deben los primeros tratados
sistemticos de esa disciplina. En su Introductio, Euler utiliza el concepto de
funcin con el smbolo f(x): funcin de x es toda expresin analtica de esta
variable obtenida mediante una combinacin finita o infinita de smbolos
algebraicos o trascendentes. Dio tambin otra acepcin de funcin, al referirse
a toda relacin entre x e y tal que se represente en el plano mediante una
curva continua dentro de la acepcin vulgar de la continuidad.
En cuanto a las funciones trascendentes, a Euler se le deben los logaritmos como
exponentes y su vinculacin con los nmeros imaginarios y las funciones
circulares. El resultado de las frmulas de Euler, que se escriben, en la forma
es la conclusin de un pleito
iniciado con Leibniz acerca de los logaritmos de los nmeros negativos e
imaginarios, al cual Euler pone fin. Tambin se le deben a l las letras, , e, i, con
los significados actuales, la definicin de las potencias de base t y lmites infinitos.
En el primer tomo de Introductio, aparecen las sumas de las potencias de
exponente par de los recprocos de los nmeros naturales, que deduce del
desarrollo en producto infinito de la funcin sen x, as como el estudio
sistemtico de las "fracciones continuas" dado el desarrollo de algunas
funciones en fraccin continua infinita. El segundo tomo, es un tratado de
geometra analtica plana y del espacio en la forma actual. Aparecen las
coordenadas polares, las frmulas de transformacin de coordenadas y las
propiedades generales de las curvas algebraicas (las de segundo, tercero y
89
cuarto grado). Las consideraciones infinitesimales se obvian considerando,
como ecuacin de la curva, su desarrollo en serie en las proximidades de uno
de sus puntos. Se ocupa tambin de la interseccin de curvas y superficies, de
curvas trascendentes y evita su dificultad mediante ecuaciones en forma
paramtrica.
En lnstitutionis calculi differentialis considera el cociente de diferenciales como
cocientes de ceros que toman valores finitos. Estudia las diferencias finitas y
abarca las diferencias y las sumas de las potencias como operaciones inversas,
estudia la suma de factoriales de exponentes positivos y negativos. Se ocupa
luego de las diferencias de diversos rdenes de funciones algebraicas y
trascendentes de varias variables. Con Euler asoma la distincin entre derivadas
ordinarias y derivadas parciales. Expone el teorema sobre las funciones
homogneas que lleva su nombre, y la condicin de integrabilidad de una
expresin diferencial.
En el estudio de las series da un mtodo de clculo utilizando la diferencia de
los coeficientes, con el cual calcula series divergentes. Pero la desenvoltura con
la que maneja las series, convergentes y divergentes, lo lleva a resultados
absurdos dentro del concepto usual de convergencia.
En este tratado aparece su frmula de sumatoria que tambin haba
encontrado Maclaurin, en la que aparecen los "nmeros de Bemoulli" (la
designacin es de Euler). Estudia luego las formas indeterminadas, la
interpolacin, etc.
Sus aplicaciones son todas algebraicas, no necesita recurrir a figuras.
lnstitutiones calculi integralis, trata los temas comunes del clculo integral
actual, desde las cuadraturas hasta la integracin de ecuaciones diferenciales
ordinarias y con derivadas parciales y nociones de clculo de variaciones.
Entre muchas otras contribuciones de Euler, figuran problemas de la rama
matemtica vislumbrada por Leibniz, "AnaIysis Situs" (hoy topologa).
En el siglo XVIII casi todos los matemticos contemporneos de Euler se
ocuparon de anlisis y no de geometra, excepto el francs AJexis- Claude
Clairaut.
Claude Clairaut se ocup de las "lneas de doble
curvatura", (curvas alabeadas, el nombre de doble
curvatura provena del hecho de que esas curvas se
estudiaban mediante sus dos proyecciones). En
Theorie de la figure de la Terre, tire des Principes de
L Hydrostatique, se establecen las condiciones
matemticas para el equilibrio de los fluidos y se
sientan los fundamentos de la teora del potencial.
Esta obra se funda en una de Maclaurin. Con
D'Alembert, Euler, Lagrange y otros matemticos, Clairaut se ocup del
problema de los 3 cuerpos, vinculando su nombre con una ecuacin diferencial,
cuya integracin dio por el mtodo de diferenciacin.
90
La ecuacin de Clairaut es un caso particular de la ecuacin D'Alembert (rival
de Clairaut)
D'Alembert fue el autor del discurso preliminar y artculos matemticos de la
Enciclopedia, ocupndose de mtodos y de los fundamentos del calculo
infinitesimal. Su contribucin mas importante fue en el campo de las ecuaciones
con derivadas parciales, en el que dio la solucin del problema de las cuerdas
vibrantes (importante en la revisin de los principios del anlisis).
De algebra se ocuparon, los franceses:
- Etienne Bzout, que cre mtodos de eliminacin y el teorema respecto del
grado de la ecuacin resultante de un nmero cualquiera de ecuaciones.
- Alexandre-Thophile Vandermonde, es un precursor de la teora de las
sustituciones y fundador de la teora de los determinantes.
El ingls Edward Waring, afirm independientemente de Goldbach, que todo
nmero par es suma de dos primos y todo impar no primo es suma de tres
nmeros primos. Tambin expres el teorema relativo a la descomposicin de
todo nmero en suma de potencias de igual exponente. En sus escritos aparece
un teorema de congruencias. Waring se ocup de las transformaciones de
ecuaciones y llevan su nombre las relaciones entre los coeficientes de una
ecuacin y las sumas de las potencias de igual exponente de sus races, y las
relaciones inversas. En sus transformaciones aparece, como nueva incgnita, la
diferencia de las races, que luego utilizar Lagrange. Un teorema de Waring
establece que el producto de los cuadrados de las races de una ecuacin es
proporcional al producto de los valores de la funcin para los ceros de la
derivada. Se ocup de la separacin de las races, de la aproximacin de races
complejas, etc. Se encuentra entre sus escritos, el criterio del cociente para la
convergencia de las series y la frmula de interpolacin que luego dar
Lagrange.
Gabriel, Cramer tambin se ocup de Algebra, en la utilizacin en el estudio de
las curvas planas. Este estudia las curvas referidas en cada caso a un sistema
adecuado de ejes de referencia. En la determinacin de los coeficientes de la
ecuacin de una curva algebraica, conociendo un nmero suficiente de sus
puntos, da la regla conocida por su nombre en la resolucin general de
sistemas lineales. En el estudio de las curvas utiliza las series para la
investigacin de los puntos singulares.
Johann Heinrich Lambert, cientfico que realiz investigacines desde la
perspectiva hasta el simbolismo lgico (siguiendo las huellas de Leibniz). Se
ocup de funciones hiperblicas en conexin con estudios vinculados con la
teora de las paralelas, demostr la irracionalidad de , y se ocup de
cartografa y de clculo actuarial. Se destaca entre sus trabajos, el desarrollo en
serie de las races de una ecuacin trinomia y la "serie de Lambert", en la cual
91
cada coeficiente da el nmero de divisores del exponente, de manera que
todas las potencias de exponente primo tienen por coeficiente el nmero 2.
Todos estos matemticos nacieron y murieron en el Siglo XVIII, que fue el siglo
de Euler, la generacin siguiente es la de Lagrange y es la generacin que asiste
a la Revolucin francesa.
9) El siglo de oro de los matemticos franceses
La preferencia por los mtodos analticos, caracterstica
del siglo XVIII, se acenta en Lagrange, creador de la
"mecnica analtica".
Joseph-Louis Lagrange, francs, pero nacido en Italia,
residi desde los 30 aos en Berlin y Pars. Contribuy a
dotar a las ramas analticas de la matemtica de
generalidad y las aplica a problemas de mecnica, de
astronoma, de probabilidades. Sus primeros trabajos,
aparecieron en Miscellanea Turinensia, publicacin
peridica de una sociedad cientfica de Turn que
Lagrange fund y que luego se convirti en la Academia
Real. All reorganiza el "clculo de las variaciones",
independizndolo de las consideraciones geomtricas
que le dieron nacimiento (el problema de los
isopermetros), y concedindole mayor generalidad.
En teora de nmeros Lagrange se ocup de anlisis indeterminado de primero
y segundo grado, demostracin del teorema de Wilson y de que todo nmero
es siempre suma de cuatro cuadrados, etctera.
Los estudios de Lagrange, son precursores de la futura teora de grupos. Utiliz
tanto en lgebra como en anlisis el algoritmo de las fracciones continuas
infinitas. Mediante la"fmlula de Lagrange" dio un mtodo para desarrollar en
serie la raz de una ecuacin algebraica o trascendente.
La "frmula de interpolacin de Lagrange" apareci en una memoria de
astronoma de 1792. En anlisis se ocup de funciones de varias variables y de
ecuaciones con derivadas parciales; le pertenece el mtodo de integracin de
ecuaciones diferenciales lineales ("variacin de las constantes").
La aplicacin de las fracciones continuas a la integracin de ecuaciones
diferenciales le permiti expresar, mediante una fraccin continua infinita, gran
parte de las funciones elementales. Lagrange introdujo el clculo simblico en
el clculo infinitesimal, llegando de manera simblica a la frmula sumatoria de
Euler.
En 1797, Lagrange fund en Pars, la cole Polytechnique, de la cual fue
profesor. Public la Thorie des fonctions analytiques y Lecons sur le calcul des
foctions, tratados en los que expone los principios del clculo infinilesimal.
92
Para evitar los incrementos leves, e independizarlo de toda consideracin
geomtrica o mecnica, funda ese clculo algebraicamente, tomando como
frmula fundamental la serie de Taylor, y denomina "derivadas" a los
coeficientes de aqul y con estas desarrolla el clculo en forma finita. Al clculo
integral, lo considera inverso del clculo de derivadas.
Aunque tal "mtodo de derivadas" est sin fundamentar, fue mrito de
Lagrange haber asignado al teorema de Taylor la importancia que tiene en el
anlisis. Tambin se le deben dos formas del resto de la frmula de Taylor,
mediante las derivadas y mediante las integrales.
El ingls John Landen, intent eliminar los infinitsimos y los limites, mediante
un "anlisis de restos", trat de definir las derivadas dividiendo los incrementos
y anulando en el cociente el incremento variable. Pero este mtodo, era poco
riguroso y engorroso. Tambin investig sobre las integrales elpticas.
El "mtodo de derivadas" de Lagrange encontr objeciones entre sus
contemporneos. El polaco Hoen Wronski, se ocup de cuestiones de anlisis.
Hoy se designan "wronskianos" ciertos determinantes funcionales. La
matemtica tcnica no tena para Wronski mayor importancia frente a las ideas
y el sistema filosfico subyacente, que expuso en sus obras, una de las cuales es
una refutacin a la teora de las funciones analticas de Lagrange. Luego
criticar las funciones generatrices de Laplace.
Tambin refuta las pretensiones de Lagrange, en su Thorie sostiene que
"contiene los principios del clculo diferencial desprovista de consideracin de
infinitamente pequeos, de evanescentes, de lmites y de fluxiones, y reducida
al anlisis algebraico de cantidades finitas".
En La Mcanique Analytique de Lagrange, la mecnica se considera, una
geometra de cuatro dimensiones (la cuarta dimensin es el tiempo). Partiendo
del principio de las velocidades virtuales y utilizando el clculo de variaciones,
se funda el sistema integro de la mecnica, donde aparecen el concepto de
potencial y el principio de accin mnima, se introducen las coordenadas
generalizadas, etc.
En astronoma, Pierre Simon Laplace, publica Mcanique
celeste (entre 1799 y 1825) que comprende todos los
descubrimientos realizados por Newton, Clairaut,
D'Alembert, Euler y el mismo, sobre la mecnica del sistema
solar expuestos en forma analtica. Antes de la publicacin
de la Mcanique, Laplace haba abordado el origen del
sistema solar, en un tratado de divulgacin con la historia de
la astronoma.
En exposition du systeme du mande, aparece la concepcin
"hiptesis de Kant y Laplace", una hiptesis cosmognica,
semejante a la de Laplace que Kant haba el puesto en 1755.
93
Laplace realiza investigaciones sobre el clculo de probabilidades, que reuni
en su Thorie analytique de probabilit, donde expone la teora de las
funciones generatrices (funciones que desarrolladas en serie de potencias
tienen por coeficientes las familias de nmeros o de funciones de los que es
generatriz la funcin desarrollada). En el tratado terico se utiliza el clculo
infinitesimal, se introduce el principio de los cuadrados mnimos y se analizan
problemas y contribuciones de los autores anteriores (el teorema de Bayes
sobre la probabilidad de las causas, el problema de la aguja resuelto por Buffon,
etc.)
Laplace era un matemtico difcil de leer, da resultados sin exponer las etapas
para llegar a ellos, acompaadas de "il est facile de voir". Otras de sus
contribuciones, son la generalizacin de las funciones esfricas, introducidas
por Legendre, y la generalizacIn de la integral euleriana de segunda especie.
En sus estudios astronmicos utiliz el potencial introducido por Lagrange,
dando la ecuacin de Laplace (ecuacin de segundo orden con derivadas
parciales) que satisface la funcin potencial y que para dos variables ya era
conocida por D'Alembert. Tambin cre mtodos de resolucin de ecuaciones,
de desarrollo de determinantes, de aproximacin de integrales definidas, etc.
Aldrien Marie Legendre, sus contribuciones ms
importantes se refieren a la teora de nmeros y
al clculo integral. Estudia la teora de los nmeros
primos, las ecuaciones indeterminadas, los restos
potenciales. Demuestra la ley de reciprocidad de
los restos cuadrticos. En los Exercices de Calcul
lntegral, Legendre se ocupa de las integrales
eulerianas y de las integrales elpticas expresiones
que por inversin, dieron lugar a las funciones
eliptcas, Legendre tambin public Trait des
Fonctions elliptiques et des intgrales eulriennes,
dando cabida as a las investigaciones de Abel y
Jacobi. En sus estudios sobre la atraccin de un elipsoide de rotacin aparecen
los polinomios Pn, hoy llamados de Legendre, que Laplace generaliz
(funciones esfricas) y de los que Legendre dio algunas propiedades.
lments de gomtrie, de 1794, fue adoptado como texto en el continente y
en Estados Unidos. Con Legendre aparece en la geometra, el tratamiento de
los teoremas previos al de los problemas. En un Apndice trae algunas
novedades: la trigonometra, la distancia mnima entre dos rectas no
coplanares, la demostracin de la irracionalidad de y de e. En cuanto a
geometra elemental, Legendre se ocup del postulado de las paralelas.
Lorenzo Mascheroni, se ocup tambin de geometra elemental, quien en 1797
public una Geometra del compasso, donde prueba que todas las
construcciones con regla y comps pueden realizarse con comps nicamente.
94
Mascheroni sostiene que esas construcciones son ms exactas que las hechas
con regla y comps.
El dans Georg Mohr (=Mohrendal) tambin se ocup de estas cuestiones, ya
haba publicado en 1672, los mismos resultados.
El estado del clculo infinitesimal a fines del siglo XVIII se pone de manifiesto en
el tratado de otro francs, Sylvestre Francois Lacroix, donde se refiere al clculo
diferencial y a sus aplicaciones geomtricas. Aunque utiliza el mtodo de
Lagrange no excluye el uso de lmites. Aqu hace su aparicin la expresin
"geometra analtica". Para Lacroix ensear la geometra analtica, consiste en
deducir las propiedades de la extensin del menor nmero de principios, por
procedimientos analticos. Tambin aparece el estudio de las curvas mediante
las coordenadas intrnsecas.
El segundo volumen, de este tratado, est dedicado al clculo Integral con
clculo de variaciones, y distingue entre integral definida e indefinida. El tercer
volumen se ocupa diferencias y de series. Se debe tambin a Lacroix obras
didcticas de matemtica y un tratado de didctica matemtica, que signific el
fin del ostracismo de los analistas ingleses y el abandono de la notacin
fluxional, adoptndose la notacin y los mtodos de los matemticos
continentales.
10) En lneas muy generales, tres rasgos caracterizan la matemtica
del siglo XIX. En primer lugar, al comps del gran desarrollo
cientfico y tecnolgico del siglo, preludio de la explosin del
siglo actual, la matemtica, como las dems ciencias, muestra
una fecundidad asombrosa que se revela en el gran incremento
del nmero de cientficos y de trabajos, en la creacin de socie
dades y revistas especializadas. en la celebracin de reuniones
nacionales e internacionales. La segunda mitad del siglo asiste a ca, en materia de
matemtica, del siglo XIX: la historia de la
matemtica ms detallada y extensa es an la de M. Cantor,
cuyos cuatro gruesos volmenes abarcan la historia de esta ciencia desde sus
comienzos hasta todo el sigloXVIII; sobre la base
que los progresos realizados durante el siglo XIX triplican con
exceso los progresos realizados durante, digamos, los 40 siglos
anteriores.
Estos progresos explican e implican el notable cambio que
95
desde el primer tercio deJ siglo experimenta Ja matemtica en
su estructura Intima al conferirle, como segundo rasgo caracterstico, una unidad y una
autonomla que en cierto sentido habla
perdido desde los tiempos helnicos. En efecto, a comienzos
del sigloXIX la matemtica se presenta como un vasto conjunto
de conocimientos distribuido en varias ramas aparentemente
distintas: aritmtica y teora de nmeros; geometra elemental,
geometra analltica y geometra descriptiva, lgebra y clculo
infinitesimal, circunstancia que justifica que se siga empleando
el trmino, hoy anticuado, de "matemticas". Esas diferentes
ramas mostraban a su vez distintas modalidades. La aritmtica
ofrecla un conjunto de reglas supuestas intangibles: en el habla
popular la expresin: "el orden de los factores no altera el producto" y otras
semejantes, eran los paradigmas de las verdades
absolutas. Por su parte la teorla de nmeros que desde el siglo XVII habla encontrado
excelentes cultores, no consistla sino
en problemas particulares, cuyyeneralizacin conduela con
frecuencia a complicacionesi pinsese en el "teorema de Fer
mat". En cuanto al lgebra, fuera de algunas cuestiones de lodole algortmica. a
oomienros del .m:$U problema ceDITal. la
solucin de las ecuaciones algebraicas, se encontraba frente al
escoUo aparentemente infranqueable de las ecuaciones de quinto grado o superior.
Modalidades distintas presentaban las propiedades geom-
tricas. Aunque algo contaminadas por Jos procesos y recursos
algebraicos, segulan impregnadas de la atmsfera de la geometra griega. Pero esa
atmsfera ya no tenIa vigencia en el siglo XIX, de aI que esas propiedades adquirieran
un aire de
seres anfibios; por un lado se estudiaban a la manera griega
"con la inteligencia pura", como entes abstractos habitantes de
un mundo platnico de ideas, pero por el otro, a los ojos de los
hombres habituados al mtodo experimental, esas figuras geomtricas y esas
propiedades eran como seres naturales, vincula~
dos con el mundo exterior, no meras imgenes de entes ideales, visibles y palpables.
96
Puede Uarnar la atencin esta permanencia, en el campo de
la geometra, de la atmsfera griega y el estancamiento durante
siglos, de las notas que esa atmsfera implicaba, sobre ;odo si se
co~para este hecho con Jos avances experimentados por las
otras ramas de la matemtica. Ms hay que tener en cuenta, por
una parte, que la obra de los gemetras griegos se presentaba
con una perfeccin diJlcil de superar y, por la otra, que a partir
del Renacimiento los gustos y las tendencias de los matemticos
se orientaron casi exclusivamente hacia los mtodos analJticos
que, mediante las coordenadas o los recursos inJinitesimales,
ofrecJan reglas ms cmodas, casi mecnicas, que permitlan resolver no slo los
problemas de la geometra tradicional sino
otros que trascendian las posibilidades de los griegos. Si se agrega que el Euclides
seguia siendo el texto fundamental en la enseanza de la matemtica elemental, cabe
concluir que a ro
En cambio segulan rozagantes, a comienzos del siglo XIX
los mtodos infinites.imales sistematizados por Euler y aplicados
m4tiro. esos mtodos continuaban "en el aire", sin fundamentos.
Tales mtodos no hablan surgido entonces en virtud de exigencias internas sino la
conciencia de la utilidad y el poder que confera el conocimiento de las leyes naturales
y la comprobacin de que los m-
todos infinitesimales. por endebles que fueran sus fundamen triunfo xito
Vn tercer rasgo que puede sealarse en la matemtica del
siglo XIX es el cambio que experimentar en sus fundamentos
durante la centuria. Acentuada su autonomia, hacia el ltimo
cuarto del siglo comienzan a prevalecer conceptos. en parte nacidos durante su
transcurso. que prefiguran una nueVa matem-
tica que ha de estructurarse en este siglo. pudiendo sealarse la
dcada del 80 como fecha fronteriza, segn expresin de Rey
Pastor. entre una matemtica clsica y una matemtica moderna
o, ms simplemente, entre dos maneras de fundamentar la ma'
temtica, tpicas del siglo XIX y del siglo xx.
97
Las geometras no euclidianas
Con la geometras no euclidianas se independoza la matemtica, se hace una rama
autnoma
Gauss introduce la estricta obediencia a las reglas de la
deduccin.
La labor matemtica de Causs se extendi a casi !lXIas las
ramas, en especial se dedic a la teoria de nmeros y a la geometra diferencial. El
primer
descubrimiento que anota es la construccin del eptadecgono
con regla y comps. con una primera demostracin
del "teorema fundaIDenta! del lgebra"; todo polinomio algebraico de una variable se
anula por lo menos una vez para un
valor real o imaginario de la variable. En esa memoria. afirma
sin demostracin que no es posible resolver a1gebraicarnente la
ecuacin de quinto grado. En Disquisitione estructura sistemticamente el estudio de
las "congruencias" ..
de la teorla de los restos cuadrticos; estudia asimismo la resolucin
cin algebraica de las ecuaciones, binomias y llega al notable
resultado anexo de la posibilidad de construir con regla y como
ps los polrgonos regulares cuyo nmero de lados es primo y de
la forma
Entre otras cuestiones aritmticas tratadas por Causs Sguran las hoy llamadas "sumas
de Causs" y la extensin de.!a teoria
de los restos a los bicuadrticos, en conexin con la cual introdu
ce los "nmeros complejos enteros", Se inicia as la introduccin sistemtica de los
nmeros complejos en matemtica y SU
representacin grSca,
Gauss realizaba divisiones para descubrir periodos de centenar de cifras y se le debe la
primera tabla, en 1812, de "logaritmos de adicin",
ficie CUnJas, en las que se funda el estudio ?,e la geometria diferencial de las
super6cies, encaradas stas no como el lmite
de un slido, sino como un slido Oexible e inextensible, una de
98
cuyas di;'nensiones est obligada a desvanecer", En sus estas
Disquisitiones, Causs introduce los conceptos de representacin esfrica, de
coordenadas curvilneas sobre una super6cie,
de elemento lineal de aqulla mediante una forma cuadrtica de
sus diferenciales. de Imeas geodsicas. de curvatura total, etctera,
Con Causs se inicia el estudio estrictamente riguroso de las
series. en conexin con la serie "hipergeomtrica", que lleva su
nombre. y proporciona. como casos particulares. el desarrollo
en serie de numerosas funciones. En el estudio de esta serie,
aparecido en 1811. Causs introduce sistemticamente el concepto de convergencia y
generaliza al campo complejo la funcin
. ya extendida al campo real por Euler. El concepto
de lmite infinito potencial. como nico admisible en matemtica. lo formula
claramente Gauss.
, p
mencionarse el descubrimiento. independientemente de Abel y
]acobi. de,la doble perio<licidad de las funciones elrpticas. el
mtodo de los cuadrados mnimos y la tey de distribucin de los
errores de observacin. un mtodo de integracin aproximada
que logra la mxima aproximacin con el mismo nmero de cae
Sciente. etctera
Por ltimo. Causo fue uno de los descubrldore. de las genmetrla.s nq euclidianas.
nombre que le pertenece,
En realidad. los primeros intentos en este sentido provenan del siglo anterior.
Cerolamo Saccberi era demostrar la verdad del Quinto postulado de los Elementos,
y sus consideraciones lo hubieran llevado al descubrimiento de
las nuevas geometrias si aquel objeto preconcebido no se lo hu
biera' impedido, En esas consideraciones Saccheri parle de un
cuadriltero "birrectngulo issceles". es decir un cuadriltero
ABCD tal que AB y OC son iguales y perpendiculares a BC.
Demuestra. sin recurrir al postulado de las paralelas, que los
ngulos en A y en O son iguales. y encara la triple posibilidad de
99
ser esos ngulos. ambos rectos, obtusos o agudos. Pero como
Saceheri se propone "reivindicar" a Euclides. se esfuerza en demostrar que las
hiptesis de los ngulos obtuso y agudo conducen a absurdos con lo que. resultando
que
cuadriltero ABCD ha de ser un rectngulo. queda demostra-
quint postulado.
Las consideraciones de Lambert ral/ellinien, son muy semejantes a las anteriores.
parte
de un cuadriltero trirrectngulo issceles y considera las tres
hiptesis posibles respecto del cuarto ngulo del cuadriltero;
segn Lambert si ese cuarto
ngulo es recto se llega a la geometra de Euclides (con lo que
un postulado es sustituido por otro). Si ese cuarto ngulo es
obtuso, tal hiptesis lleva a una contradiccin con el postulado
de Arqumedes, por lo que supone fiUsa tal segunda hiptesis,
sin dejar de hacer la interesante observacin que, de ser vlida
esa hiptesis, en el plano la geometra respectiva serla como la
geometra esfrica. En cambio Lambert no llega a ninguna CODtradiccin lgica con la
hiptesis del ngulo agudo, sino a nuevas propiedades: que el rea de los tringulos (y
de los poli
gonos en general) era proporcional a la "deficiencia", que la medida de los segmentos
ya no sera relativa a una unidad
elegida arbitrariamente, sino que sera absoluta y existira una
unidad natural de longitud, como existe una unidad natural, ~
ngulo recto, para los ngulos. Fue la existencia de tal segmento
absoluto el hecho que hizo rechazar a Lambert tambin la hip-
tesis del ngulo agudo,
Legendre, que fue uno de los matemticos franceses de
la poca que se ocup de la cuestin, tambin lleg a resultados
semejantes al partir de las tres hiptesis posibles respecto de la
diferencia entre dos rectas y la suma de los ngulos de un triDguli.
qgj
100
Los aluntes encontrados entre sus
papeles comprueban que proy,'Ctaba escribir una Geometra no
euclidiana, convencido de que la prescindencia del postulado
de las paralelas no conduca a ninguna contradiccin,
Entre esos result.dos figura la existencia en esa geometra de una unidad absoluta para
los segmentos, razn por la
cual tanto Lambert como Legendre hablan rechazado tal geometrla. Con esa unidad
estaba vinculada una constante indeterminada que al crecer infinitamente converta al
sistema geom
trco en el sistema euclideo
Taurinus,
haba desarrollado las frmulas que correspondlan a la
geometria fundada en la hiptesis del ngulo agudo de Lambert,
que obtenla con slo sustituir, en las frmulas de la lrigonometria esfrica, el valor del
radio por un nmero imaginario puro.
En esa geometria, que Taurinus llam "geometria logaritmoesfrica"
), aparecla
la coostante de Causs que, al vanar de valores reales a imaginarios pasando por el
in6oito, permitia pasar de la geometria esfrica a la oueva geometria PeroTaurinus
no admita su validez
en el plano pues, impregnado de la verdad absoluta de la geometrla de Euclides
En cambio Bolyai y lvanovich llegaron, a la conclusin de que poda erigirse un sistema
geomtrico, prescindente del postulado de las paralelas. mismo se expresa. Bolyai da
el nombre de "geometra absolula"
a sus consideraciones porque se refieren a propiedades geom-
tricas independientes del postulado de las paralelas que son entonces teoremas o
verdades absolulas,
Lobachevski una teorla completa sobre las paralelas, parte del punto, de la
ClfCUnferencia y de la esfera como entes fundamentales, de los cuales
deduce la recla y el plano, desarrolla toda la trigonometria de esta geornelrla
imaginaria.
Gauss trat de comprobar, mediante
experiencias geo<;lsicas, la posibilidad de detectar tringulos
cuyos ngul!,s no sumaran dos rectos..
101
Hacia mediados de siglo nacen las geometras hperbolicas, que corrf'sponden a 1,;"
hiptesi,s del ngulo agudo de SJlCCheri y U\mbert y a 'la' existencia de
<los paralelas desde un punto a una recta ~ituad:l a la distancia a,
que f,-,rman a ampos lados de la perpendicular, bajada desde ese
punl,?, ~l ngu,lo de parale~smo,
En la segunda etapa se las estudia segn las nuevas direcciones, mtrico-diferencial y
m-
trico-proyectiva. La direccin mtrico-diferencial se inicia con Riemann cuyas ideas le
permitieron encarar el problema
de las nuevas geometras desde un punlo de vista muy superior, analiza el
comportamiento infinitesimal de una multiplicidad de un n-
mero cualquiera de dimensiones. En esa disertacin aparece la
importante distincin entre:'infinito" e "ilimitado", que debra
desempear en el preseote siglo singular papel en la teora (lsica
de la relatividad, tlimitado pertenece a las relaciones de la extensin, infinito Lolas
relaciones mtricas. Que el espacio es una variedad ilimitada
de tres dimensiones es una hiptesis que se aplica en todas las
concepciones relativas del mundo exterior, que nos sirve para
completar en todo momento el campo de nuestras percepciones
y que constantemente se encuentra verificada en todas sus aplicaciones. Riemann
amplia el cuadro de las geomebias no euclidianas y la introduccin de la geometria
e1rptica (y esfrica), que corresponde
a la hiptesis del ngulo obtuso de Saccheri y Lambert, en la
que desde un punto exterior a "na recta no existen paralelas a ella. Qued asr; para
completar el cuadro, la geometria parab-
lica, nuestra geometra euclidiana, en la que la paralela desde
un punto exterior a una recta es nica.
Con el estudio de las geometras generales reimannianas
en la direccin mtrico-diferencial, que hoy se llaman "espacios
de Riemann", tienen importancia las superficies de curvatura
constante, ejemplos el plano y la esfera ,
Beltrarni:
es la superficie engendrada por rotacin de la tractriz, curva
102
plana cuya propiedad caracterlstica es la de ser constante la
longitud de la tangente es un tipo de geometra
hiperblica,
La existencia de esta superficie, asr como otras interpretaciones de geometras no
euclidianas sobre el plano eucIrdeo que
se dieron posteriormente, puso fin a toda discusin acerca de la
validez lgica de las nuevas geometras, pues la supuesta contradiccin que se habra
querido ver en ellas llevara consigo igual
contradiccin en el seno de la geometra euclidiana, jams puesta en duda hasta
entoncesla direccin mtrico-proyectiva aparece en 1859 cuando Cayley logra la
subordinacin de las propiedades mtricas, las propiedades grficas, mediante la
demostracin de que tales
propiedades mtricas se traducen en propiedades proyectivas
de sus elementos, si se relacionan stos con los elementos de
una cnica (o de una cudrica si se trata del espacio), que denomin la cnica, o la
cuddrica, absoluta.
cuando el estudio de los mtodos infinitesimales, progresa y encuentra una base firme
en la aritmtica el proceso que se denomin "aritmelizacin del an:!lisis", cuyo
precursor fue Bemard Bolzano y sus constructores Cauchy, Abel, jacobi
En numerosas cuestiones se adelant Bolzano a los analistas rigurosos del siglo XIX: en
el concepto de funcin continua,
en el criterio de convergencia de series. en la enstencia de fun
ciones continuas sin derivada, pero por baber publicado su~ escritos de anlisis en
Praga, ciudad entonces alejada de los cen-
\r8s cientficos, o por permanecer inditos, como su Teoria de
funciones, que se public en 1930, la inOuencia de sus idc:asJue
escasa.
Cauchy vuelve al clasico rigor geomtrico, precisin en las
definiciones, delimitacin del campo de validez de las fnnulas, eliminacin de toda
extensin ilegitima.
Con estas condiciones rigurosas y definiciones Cauchy funda el anlisis sobre bases
ms firmes Retoma el concepto de integral como suma y no solo como operacin
inversa de la diferencial. En las series fija claramente su convergencia y elimina, algo a
pesar suyolas series divergentes del anlisis, una serie divergente carece de suma.
103
la teora de las funciones analiticas, que elabora
utilizando los resultados de Euler, Clairaut, O'A1embert, Poisson, Lagrange, .. En sus
estudios extiende la serie de Taylor a
las funciones de variable compleja, apareciendo as la llamada
"integral de Cauchy", que permite obtener el valor de una funcin en cada punto
interior de un recinto, conociendo el valor
de la funcin en su contorno. En conexin con t resultados
Cauchy desarroll su teona de los polos, de los residuos, de la
serie de Taylor, cuya generalizacin, hoy conocida como "serie
de Laurent"
Cauchy estudia e investigaciones acerca de los determinantes, de teria de nmeros y
teria de grupos de sustituciones, acerca de investigaciones de Indole alge>-
braica sobre eliminacin y separacin de ralces complejas, uI
como de temaS de flsica (teria de la elasticidad).
En. el campo del anlisis Abel se ocup de series y de teora
d,e funCIOnes, Con Jacobi forma la pareja de creadores de las funcIones elipticas,
consideradas funciones de variable compleja, apareci su doble periodicidad. Abel
ade-
~classs, genera1iz6 las funciones elfpticas, incluyndolas e~ una
e tres-tendue de fonctioos trascendantes h d ;--
, d fi' b 1 ' oy enomlna as ~ncaones a e ianll$, cuyas propiedades estudi
con su solucin del problema de la taut6crona Abel inaugura una nueva rama del
anlisis infinitesimal: las ecuaciones integrales,
Jacobi estudio las funciones elpticas medIante el algontrno de las series
Esta valora
cin y esta proclamacin de independencia del anlisis y de la
matemtica con respecto a la ciencia natural son contempoli
neas con el advenimiento de las geometras no euclidianas, que
proclamaban igual independencia de la geometra y de la m.temtica
puede fecharse hacia 1830 el grito inicial de la autonom!a de la m.temtica.
jacobi, , se ~p de
casi todas las ramas de la matemtica. En teorla de numeros
104
continu las investigaciones de Causs especialmente en restos
cbicos; se le deben estudios sobre determinantes funcionales,
a uno de los cuales Sylvester denomin jacobiano; se ocup de
c:llculo de las variaciones y de integracin de ecuaciones diferenciales.
Dirichlet Se ocup tambin de an:llisis junto a Riemann, expusieron la formulacin ms
genera! de funcin camo correspondencia entre dos CQnjuntos de nmeros,
cualquiera
sea el modo de establecer esa correspondencia. Se le debe tam
bin la formulacin precisa de las condiciones para que una fun
cin pueda desarrollarse en serie de Fourier; introdujo el con
cepto de series absolutamente convergentes (cuando converge
la serie de los valores absolutos de sus trminos), etctera. problema de Dirichlef'
que consiste en detenninar en un recinto una funcin finita y
continua de dos variables reales que satisfag; la ecuacin de
Laplace, conocidos los valores que toma la funcin en el contarno .
se deben a Riemann un concepto de integral ae
finida ms genera! que el de C.uchy, pues incluye el caso en
que la funcin admita infinitas discontinuidades, siempre que se
mantenga acotada. Inversamente, en su estudio acerca de las
series lrigonomtricas, alude a la existeocia de funciones conti
IlUas sin derivadas. estudio de las funciones de variable como pleja mediante la
ecuacin de Laplace, que se vincula la llamada "superficie de Riemann", que ste ide
para hacer uniformes las correspondencias multiformes entre las variables complejas.
Riemann se ocup con xito de las funciones ellpticas, de
las series trigooomlricas y de la integracin de ecuaciones diferenciales. Se le debe,
por ltimo, la funcin " que lleva su
nombre, importante en la teorla de los nmeros primos y de la
cual dio seis propiedades
Weierstrass, creador de una nueva direccin en el estudio de las
funciones analticas de variable compleja. Weierstrass llama funcin analitica a toda
funcin definida mediante una serie de potencias convergente en cierto recinto
que, mediante determinadas condiciones, es posible "prolongar" por crculos
sucesivos. Cuando el recinto es todo el plano,
105
la funcin es una "trascendente entera", utiliz sistemticamente el concepto de
convergencia uniforme y dio, la expresin de las trascendentes enteras mediante
productos infinitos de "factores primarios",
introduce el rigor
aritrotico en el clculo de ~ariaciones y un ejemplo, que impresion a los
matemticos de su tiempo, de funcin continua sin
derivada en ninguno de sus puntos.
Demostr del "teorema
final de la aritmtica segn la cual no existe ningn sistema de
nmeros complejos de mas de dos unidades, que satisfaga todas las
propiedades formales de las operaciones aritmticas fundamentales.
Liouville se debe un teorema Fundamental para las funciones anallticas; en 1844 cre
un mtodo para la construccin de nmeros trascendentes. Expuso con
Sturm un captulo importante de las ecuaciones diferenciales de
segundo orden con dos valores iniciales dados e inici la teora de las ecuaciones
integrales con su mtodo de aproximaciones suceslvas.
Hermile se ocup.de funciones elpticas, de
lgebra, de teora de nmeros y, en general, de anlisis. Con
su nombre se vincula la resolucin del problema de la cuadratura del cfrculo. (1)
ca Brioschi se ocup de numerosas cuestiones de anlisis y de
'geometrla' diferencial. Enrico Betti, el ms importante de los
es, adems de ocuparse de cuestiones de lgebra, creo una topolOga combinatoria es
donde aparecen los llamados "nmeros de Betti".
Felice Casorati se ocup de funciones anallticas y de geometra
diferencial.
Durante La aritmetizacin del anlisis el nmero irracional. Segua llamndose
"inconmensurable", pero luedo en los cursos de weirestras, cantor fue cambiado.
Hacia estos aos de la dcada de 1870, la aritmetizacin del
anlisis se ha completado. Ese proceso no slo asent sobre bases aritmticas claras y
firmes. todo haba consistido en aadir a las operaciones aritmticas una nueva
operacin, el paso al limite, que consolid y ot0r6
rigor al conjunto de conceptos y Dlctodos infinitesimales. aquella aritmetizacin aclaro
y des
106
broz el camino que deba conducir a nuevos desarrollo. Tal aplicacin sistemtica de
la nueva operacin, ya mediante el infinito numerable, ya mediante el infinito
continuo, a las operaciones aritmticas haba dado lugar ea el
anlisis clsico a nuevos algoritmos: las series y las integrales_
combinaciones del paso aIlfmite con la suma, el producto infini
to lo es con la multiplicacin, la derivada con la divisin; de ahI
que su aplicacin a todo proceso algebraico o funciona! podla
dar lugar a nuevos algoritmos.
Schwarz, que se ocup de clculo de variaCIones, en especial de supemcies de rea
minima. Se le deben
investigaciones en teoria de grupos y en teorlas de funciones' se
conoce una "desigualdad de Schwarz", generalizacin de la ~Ie-
mental propiedad del clculo vectorial, que el producto escalar
de dos vectores no puede superar el producto de sus mdulos.
. De series, en especial de divergentes; condicionalmente
divergentes, se ocup Stieltjes, que dio una extensin de la integral definida.
En.el campo de las ecuaciones diferenciales fueron sus propulsores a fines de siglo
!mmanuel La:z.arus Fuchs, que crea la
teora de las ecuaciones lineales fundada en las funciones anal-
ticas, y el noruego Sophus Lie, quien abre una nueva va en ese
po al introducir, desde 1872, la teorla de gupos continuos
de transfonoaciones,
En el estudio de,las ecuaciones con derivadas parciales debe. mencionarse a otro
analista francs, Jacques Hadamard,
qUIen en su larga vida (muri casi centenario) se ocup de num~rosas cuestiones de
matemtica: distribucin de los nmeros
pnmos, anlisis funcional (este nombre le pertenece), etcte~,
amn,de temas conexos como su conocida Psic%gla ele J in.
veOCWII en el campa matem4tico
El clculo de variaciones fue absorbido por el anlisis funcional, que introduce nuevos
a1goribnos. Ya desde
1887 el itialiano Vilo Volterra organiza la "teorla de funciones de
107
lnea" que sistematiza en 1913, mientras que en 1896 introduce
las llamadas"ecuaciones integrales.
Se deben a Poincar numerosos libros y un millar y medio
de memorias acerca de todas las ramas de la matemtica, asi
como de fisica matemtica, astronom!a y epistemologia. En el
campo del anlisis destaquemos sus investigaciones de las funciones llamadas
"automorlas" (1881), sus estudios acerca de la
unformacin de funciones, de la topologia combinatoria, de
teorlas integrales de ecuaciones diferenciales, de determinantes
infinitos.
Hilbert ha mpreso su sello y dejado huella en todas las cuestiones vitales de la
matemtica, desde el anlisis de sus fundamentos hasta el tratamiento de problemas
particulares. Los espacios de hilbert .
bert", que penniten geometrizar el anlisis y abren el camino al
anlisjs funcional moderno.
En teora de funciones, eu especial en conexin con la teora de conjuntos, se destacan
a comienws de este siglo los matemticos franceses mile Borel, que ya desde 1898
habla introducido una definicin de la "medida" que se conoce como
medida B", a la que Heno Lebesgue agreg otra de igual validez: la "medida L", a
partir de la cual define en 19021a integral
que lleva su nombre. Por su parte Ren Baire en 1904 se ocup
con xito d~ las funciones discontinuas mientras que Maurice
Frchet introduce, con su tesis de 1906, la importante nocin
de "espacio abstracto" que en unin con la obra de Hilbert y del
estadounidense Eliakim Hastings Monre inicia la marcha del
llamado "anlisis general".
Teora de nmeros y geometra sinttica
Dirichlet demostrac el "teorema de Fermat" para n=5, y la aplica cin de los
mtodos infinitesimales a la teora de nmeros; estudia en especial las propiedades de
la sucesin de los nmeros
primos. Con Dirichlet se inicia la investigacin de )a ley de distribucin asinttica de los
nmeros primos. Se ocupa de teora de nmeros Emst Eduard /Cummer, que hizo
progresar
el estudio del "teorema de Fermat" logrando su demostracin
108
para todos los exponentes primos n que no figuren entre los
factores del numerador de los 1/2 (n-3) primeros "nmeros de
Bemoull". Introduce el concepto de ideal.
Kronecker, que desarroll adems la teora de los "cuerpos de
nmeros" de funciones ellpticas, mediante las cuales dio una solucin de la ecuacin
de quinto grado.
Segn kronecker toda la matemtica debla fundarse sobre el concepto de
nmero natural. nicos entes que tenan existencia asegurada.
Pueden sealarse di~tintos
progresos en las cliferentt:,; :-amas de la geometrra de comienzos
de siglo.
Con Plcker, el concepto de coordenada adquiere la categora de una
correspondencia cualquiera entre nmeros y elementos geom-
tricos, y hacen su aparicin las coordenadas homogneas, l~
trilinealeslas coordenadas de rectade plano.
introduce las rnnulas, que llevan su nombre, que vinculan el orden, la clase y el
nmero de las diferentes singularidades de una curva de gnero dado. En 1865 Plcker
introdujo el
sistema, ms tarde clsico, de definir las rectas del espacio mediante seis coordenadas
homogneas vinculadas por una relacin, estudiando as una "geometra reglada" .
surgen las geometrfas pluridimensionales, ya
por influencia del concepto generalizado de coordenada, ya por
las ideas de Riemann que, en su memoria sobre las hipteSIs en
que se funda la geometra haba introducido el concepto de variedades n-
dimensionales.
Hesse introdujo el empleo sistematico de los determinantes (un determinante
funcional se llama "hessiano')
Poncelet estudio de las propiedades proyectivas de las figuras, Pero ni la definicin de
proyectividad de Pon elet
Contempla todas las transformaciones l!Tficas de las figuras, ni
sus mtodos de demostracin posean ese rigor lgico que se iba
imponiendo en la matemtica.
Mobius introdujo.una serie de conceptos
109
vitales para la geometria proyectiva introduce las coordenadas
baricntricas, precursoras de las coordenadas homogneas. En
esa obra introdujo los signos para los segmentos, tringulos y
tetraedros, y mostr mediante sus coordenadas Cmo se pqdan
establecer correspondencias biunvocas entre los puntosde dos
planos o de dos espacios homnimo (colineacion). denomin correlaciones a otras
correspondencias
de carcter recproco. en las cuales a puntos correspondan rectas y recprocamente.
Tales coJineac,iones y correlaciones integraron ms tarde las transformaciones
proyectivas.
Chasles estudia las correlaciones y las homografias del
espacio y pone, como fundamentos de la geometra, los principios generales que
denomina Deformaciones y transformaciones de las figuras. introdujo los elementos
imaginarios en geometra, dio el concepto de razn doble
que denomin "razn anarmnica. estudi la proyeccin estereogrfica, que extendi
a todas las superficies de segundo orden adoptando un plano cualquiera como plano
de proyeccin. Adems, en conexin con un mtodo Uamado de las
earaeteristieas, Chasles sent las bases de una rama de la genmetrra que estudia la
detenninacin de puntos, rectas y planos
que cumplen ciertas condiciones, (geometra numerativa)
Steiner dependencia mutua de las estructuras geomtricas" aparecen las fonnas
geomtricas fundamentales. -Puntual, haz
de rayos, haz de planos, radiacin, etctera-: la generacIn por
haces proyectivos y el emplee .itico del principio de dualidad. Partiendo de la generaci'
royectiva estudIa en especial
las cnicas Ycudricas, aunque se ocupa tambin de curvas y superficies de orden
superior . introduce elementos imaginarios en geometra. Sin dar una definicin
precisa de ellos. El fundador de la teora moderna del.maginarismo geomtrico debe
verse en Ch. Paulus.
Eliminadas las coordenadas, introducido en forma precisa
el imaginarismo, la geometra proyectiva pudo organizarse en-
010 rama autnoma; su organiza'dor fue Karl Georg Christian
von Staudt , quien expone la de la proyectividad como correspondencia que conserva
las formas armnicas, definidas stas grficamente mediante eJ cuadriltero completo
sin el fundamento mtrico de la razn doble:
introduccin del senlido de la involucin el[ptica para distinguir
110
los dos elementos imaginarios conjugados; extensin de los eJementos imaginarios a
los espacios de ms de una dimensin y las
de6niciones de las coordenadas proyectivas.
Al principio la geometrfa analtica y la geometrfa sinttica
se enfrentaron pero ms tarde el mtodo de las
coordenadas y. el de las proyecciones se combinaron annoniosamente y dieron lugar a
una "gcometda algebraica" o una "teora
geomtrica de las ecuaciones" en la que encontraron cabida las
teorias de las fonnas algebraicas y los mtodos infinitesimales.
Dos ramas de la geometria aplicada logran autonomia en la segUnda
mitad del siglo: Fiedler en la geometra descriptiva proyectiva, sislematiza los mlodos
de proyeccin para la representacin en el plano de las figuras y
cuerpos del espacio; Culmann inicia una nueva disciplina, la esttica grfica
se crea la matemtica de "clculo numrico" de "matemtica de aproximacin"
estudiar
los mtodos numricos) grficos o mecnicos que permiten obtener esos resultados
numricos con la aproximacin deseada. tales mtodos no son todos del sigloXJX, las
aproximaciones numricas nacieron con los primeros clculos aritmticos.
Los mtodos grficos se proponen resolver en fonna apr<>-
ximada los mismos o gran parte de los problemas que resuelven
lo~, mtodos numricos, ya mediante el llamado "clculo grfi_
co , es decir medIante trazados grficos en los cuales, para cada
problema particular, las construcciones geomtricas realizadas
con los datos permiten determinar grficamente el resultado ya
mediante los "nomogramas", o tablas grficas con los cuales, permite obtener los
valores numricos que la satisfacen.
12) La matemtica del siglo XX
La teora de grupos
111
Las geometras no euclidianas y la aritmetizacin del anlisis, del siglo pasado,
fueron resultado de una vuelta a la geometra y por las exigencias de la lgica,
as la pasin por el algoritmo y las urgencias de las aplicaciones desaparecieron.
Tales manifestaciones introdujeron innovaciones. La teora de grupos, nace con
la resolucin de las ecuaciones algebraicas de grado superior al cuarto. El
primer progreso fue la demostracin de la imposibilidad de resolver la ecuacin
de quinto grado (y de grado superior) mediante radicales, del italiano Paolo
Ruffini, conocido adems por su mtodo de resolucin numrica de ecuaciones
algebraicas. La demostracin de Ruffini apareci en su tratado acerca de las
ecuaciones de 1799. Pero la primera demostracin rigurosa del teorema es de
Abel de 1826.
Con Ruffini aparece la nueva idea de "grupo", a la que llamaba "pemutaciones",
y que Cauchy desarroll con el nombre de "sistemas conjugados de
sustituciones". Pero el fundador de la teora de grupos es Evariste Galois.
Sus trabajos sobre fracciones continuas, cuestiones de anlisis, teora de las
ecuaciones, y de nmeros son de 1830. En 1831, siendo expulsado de la Escuela
Normal donde estudiaba, anuncia un curso privado de lgebra superior con
"una nueva teora de los nmeros imaginarios, de las ecuaciones resolubles por
radicales, la teora de nmeros y de las funciones elpticas tratadas por lgebra
pura", pero no tuvo oyentes. Luego redacta la "teora de Galois". La noche
anterior al duelo, en el que muere, lega a un amigo, su testamento cientfico,
donde le pide que, si su adversario vence, haga conocer sus descubrimientos a
Gauss o a Jacobi para que expresen su opinin de la importancia de los
teoremas.
Los escritos de Galois, se conocieron recin en 1846 por Liouville y Jules
Tannery los complet en 1910. En esos escritos asoman la idea de "cuerpo"
desarrolladas luego por Riemann y Dedekind, donde Galois introduce los
"imaginarios de Galois", y propiedades de la teora de grupos, como la clase
cerrada respecto de la adicin y sustraccin. Esta nocin, referida al grupo de
sustituciones, estaba esbozada en los trabajos de Lagrange y Vandermonde del
siglo XVIII y en los de
Gauss, Abel, Ruffini y Cauchy del XIX, pero es Galois quien muestra una idea
clara de la teora general, con las nociones de subgrupo y de isomorfismo.
En la segunda mitad del siglo la teora de grupos encuentra nuevas
aplicaciones. Cayley la aplica a los cuaternios, Hamilton a los poliedros
regulares, y Camille Jordan, pone de relieve la teora como factor de unificacin
de diversos sectores de la matemtica.
A Jordan se debe tambin la nocin de curva, la "curva de Jordan", como
conjunto de puntos en correspondencia biunvoca y contina con los puntos de
un segmento.
112
Dos matemticos a las clases de Jordan, Klein y Sophus Lie, quienes explotaron
el poder unificador y sistematizador de la teora de grupos:
Klein, estudia grupos discontinuos, combinando la geometra no euclidianas y la
proyectiva, con la teora de los invariantes y la teora de grupos, expuso una
sistematizacin y jerarquizacin de todas las geometras, viejas y nuevas,
mediante grupos y subgrupos, concibiendo como objeto de cada geometra, el
estudio de propiedades invariantes respecto de un grupo de transformaciones
y considerando cada geometra como subgeometra de otra, a la que se agrega
cierta figura bsica que ha de permanecer invariante. Ms tarde, ofreci un
ejemplo de dos grupos isomorfos: el de las rotaciones del icosaedro regular y el
de la ecuacin de quinto grado.
Sophus Lie aborda el estudio de los grupos continuos de transformaciones y su
clasificacin y aplicacin a la integracin de ecuaciones-diferencias con
derivadas parciales. Los "grupos de Le" han merecido numerosos estudios.
La teora de grupos culmina hacia 1880, al asomar los grupos abstractos y entra
en su faz moderna con Ernst Steinitz, en 1910, la teora iniciada por Galois
adquiere as una estructura algebraica.
En su evolucin, la teora de grupos, da un ejemplo que muestra la distincin
entre la matemtica clsica y la de hoy. En ambas priva la abstraccin, pero en
la matemtica clsica el proceso parte de entes concretos, en la matemtica de
hoy el proceso de abstraccin elimina todo ente concreto y prescinde de la
"naturaleza" de lo que en l interviene, dejando slo el esquema formal de los
entes y relaciones que definen la estructura y convierten a la matemtica en "el
estudio de las relaciones entre objetos que, no se conocen y slo se describen
por sus propiedades que se adoptan como axiomas bsicos de su teora". En el
caso de los grupos el proceso de abstraccin despoj el grupo de sustituciones
de Galois, punto de partida de la teora, para convertirlo en un grupo abstracto
de mxima generalidad, ya que aquel grupo de sustituciones, o cualquier grupo
isomorfo con l, es un modelo o interpretacin del grupo abstracto.
El lgebra y las lgebras
A mediados del siglo pasado el lgebra se enriquece con el estudio de las
formas algebraicas y la teora de los invariantes respecto de cierto grupo de
transformaciones. El fundador de estos estudios es George Boole que en 1841
expone el concepto de invariancia, aunque el estudio de las formas algebraicas
y de los invariantes fue realizado a partir de 1845 por los matemticos ingleses,
Cayley y Sylvester, que colaboraron cientficamente.
113
En Francia la teora fue continuada por Hermite que constituy con los dos
ingleses la "trinidad invariantiva"; en Italia por Brioschi y en Alemania por
Rudolf Friedrich A. Clebsch, Klein, Paul Cardan, "el prncipe de los invariantes",
(que en 1868 enunci el teorema que lleva su nombre), y Hilbert, quien
extendi el teorema de Cardan.
Con Hilbert se condujo al lgebra moderna, y a la creacin de nuevos entes
algebraicos, que pondrn de manifiesto el carcter bsico de las "leyes de
composicin", nocin abstracta, implcita en la matemtica desde sus
comienzos, que ampli el campo del lgebra.
El vector, que si bien era utilizado en mecnica, (en la composicin de fuerzas y
velocidades en el siglo XVII), entre los matemticos no tuvo repercusin hasta
el siglo pasado, cuando Gauss utiliza la suma vectorial en su representacin
geomtrica de los nmeros complejos en el plano, cuando Mobius expone en
su ''cIculo baricntrico" aplicaciones geomtricas donde las coordenadas
tienen un sentido aritmtico, no geomtrico, y cuando Giusto Bellavitis
desarrolla un conjunto de operaciones con cantidades dirigidas que equivale al
clculo vectorial.
A Hamilton, cientfico que se ocup de astronoma, fsica y matemtica, se le
debe el nombre de vector y la creacin de un sistema de nmeros complejos de
cuatro unidades, (cuaternios), que satisfacen las propiedades de las
operaciones de la aritmtica excepto la conmutativa de la multiplicacin,
resultando el primer y nico ejemplo de cuerpo no conmutativo en el campo
real, que Georg Frobenius demostr.
Hamilton con Lectures on Quaternions, dio un estudio completo del tema, en
1853. En este tratado Hamilton introduce las matrices, como extensin del
concepto de determinante, aunque el clculo de matrices ser desarrollado
ms tarde, por Cayley, a quien se le debe el nombre y su extensin al espacio
pluridimensional.
Hermann G. Grassmann, escribe "teora de la extensin, una nueva disciplina
matemtica expuesta y aclarada mediante aplicaciones". Trata de la parte lineal
de la teora, pero por su exceso de filosfica para los matemticos, hizo que
esta obra pasara inadvertida. Ms tarde y muerto su autor, se reconoci la
generalidad y la abstraccin de este clculo algebraico geomtrico en un
espacio de n dimensiones con importantes aplicaciones, en el que aparecen
conceptos bsicos del clculo vectorial como "producto interno, externo, etc.
Maxwell, en Treatise, utiliza el anlisis vectorial con una concepcin propia e
introduce los conceptos de "rotor" y "divergencia. El estadounidense WilIard
Gibbs, lo aplica a la mecnica celeste.
114
Surge una disciplina que es prolongacin del anlisis vectorial, el anlisis
tensorial. La palabra "tensor", introducida en 1898 por el alemn Woldemar
Voigt, procede de la teora de la elasticidad y designa el sistema de 6 nmeros
que caracteriza el estado de tensin de un punto en un slido deformado. El
clculo tensorial fue organizado por Elwin B. Christoffel en 1869, introduciendo
las derivadas que ms tarde se llamaron invariante y covariante, mientras que
le dieron forma definitiva los italianos Gregorio Ricci y Tullio Levi Civita en una
memoria, Methodes du calcul differentiel absolu et leurs applications, que se
tom clebre cuando Einstein acudi a ese instrumento para desarrollar su
teora de la relatividad.
Tambin se ocup de anlisis vectorial el ingls Oliver Heaviside, quien expuso
un "clculo operacional" que permita transformar las ecuaciones diferenciales
en algebraicas. Pero fue rechazado por los matemticos.
Sin embargo, el clculo operacional fue justificado en 1929 y constituye un
mtodo, aplicable a la electricidad, la ptica y la acstica.
Despus de 1870 se da un nuevo progreso hacia una concepcin ms abstracta
de las construcciones algebraicas, en la obra de Benjamn Peirce sobre las
lgebras lineales asociativas, donde se establecen conceptos de elementos
nilpotentes e idempotentes. Esas investigaciones fueron continuadas por su
hijo Charles S. Peirce, que se ocup adems de lgica matemtica.
En este siglo tambin sobresalen Emmy Noether, Emil Artin y Van der Waerden,
cuyas investigaciones en algebra revelan la gran variedad de estructuras
algebraicas o lgebras y la fecundidad de la nocin abstracta de ley de
composicin, culminando un proceso que, desde un lgebra como teora de las
ecuaciones, llega al lgebra como estudio de las estructuras algebraicas.
Con las investigaciones algebraicas se vincula, el desarrollo de una rama de la
matemtica, la topologa algebraica.
La lgica matemtica
A mediados del siglo XIX el lgebra invade un campo virgen, la lgica. En esa
poca los desarrollos de la lgica y de la matemtica mostraban una diferencia
profunda. Mientras que en lgica las leyes del silogismo aristotlico se
mantenan sin adiciones, el razonamiento matemtico, independizndose de
las leyes, segua progresando.
Hacia el siglo XVII comenz a advertirse una similitud entre la reduccin
algebraica y las reglas silogsticas, las letras "vacas" del lgebra podan llenarse
con entes cualesquiera y por tanto, con proposiciones.
115
Leibniz es quien tiene estas ideas, en pos de "un idioma universal", se propone
construir una "caracterstica universal", un lenguaje simblico capaz de
expresar sin ambigedad todos los pensamientos humanos. De manera que "al
surgir una controversia entre dos filsofos, stos la resolveran a la manera de
los calculistas.
Estas ideas, no tuvieron entonces mayor influencia, de ah el estancamiento en
el siglo XVIII y comienzos del XIX, adems para Kant, no era necesaria "ninguna
nueva invencin en la lgica".
Las cosas cambian en la primera mitad del siglo XX por obra de matemticos
ingleses, que acentuaron el carcter lgico de los fundamentos de la
matemtica.
Para Augustus de Morgan, los dos ojos de las ciencias exactas son la lgica y la
matemtica. En 1838 introdujo la expresin "induccin matemtica", y public
una Coleccin te paradojas.
Esos autores influyeron en George Boole, quien se ocup del tema y public en
1854 The laws of Thought que lo convirti en el fundador de la lgica simblica.
El objeto del libro era investigar las leyes fundamentales de las operaciones de
la mente, en virtud de las cuales se razona; expresarlas en el lenguaje de un
clculo y sobre tal fundamento establecer la ciencia de la lgica y construir un
mtodo general para la aplicacin de la teora matemtica de las
probabilidades y, recoger de los elementos de verdad que surgen, algunas
informaciones probables referentes a la naturaleza y constitucin de la mente
humana.
Su contribucin al desarrollo de la lgica matemtica fue permanente y de
mucha importancia, para Bertrand Russel "la matemtica pura fue descubierta
por BooIe". El libro de Boole abri nuevos horizontes a la investigacin lgica, y
a partir de l prosigui en 2 direcciones:
- hacia una estructura ms rigurosa de la lgica misma, que culmina en la obra
de Ernst D. Schroder sobre "lgebra de la lgica", en 1890 y 1905
- hacia una vinculacin estrecha entre la matemtica y la lgica, para
confundirse ambas y culminar en las actuales "lgebras de BooIe".
La construccin de formalismos lgicos, para su aplicacin a los fundamentos
de la matemtica, se inicia independientemente por:
- Ch. S. Peirce en Estados Unidos, un filsofo fundador del pragmatismo
norteamericano y un matemtico que se ocup de lgica matemtica,
perfeccionando la lgica de Boole e introduciendo nuevos conceptos, como
los de "valores y tablas de verdad".
- Friedrich Gottlob Frege en Alemania, expuso en forma precisa conceptos
cuya importancia se pondr de manifiesto ms tarde, tanto en lgica como
en matemtica, pero que en su tiempo, por el complicado e inusitado
116
simbolismo empleado, no ejercieron mayor influencia y slo se difundieron
en el siglo actual, por obra de Russell.
Los "logsticos" italianos encabezados por Giuseppe Peano, expusieron en
"formularios matemticos" y en lenguaje simblico, la lgica matemtica y los
resultados ms importantes de diversas ramas matemticas.
La labor de Peano y de sus colaboradores, fue criticada en sus comienzos,
buena parte de los smbolos de Peano, los de pertenencia, unin, interseccin,
etc., se conservan actualmente.
Esa labor, puso en evidencia las conexiones de la lgica con la matemtica.
En el presente siglo, Russell public entre 1910 y 1913, obra Principia
mathematica, en colaboracin con Alfred North Whitehead, una sntesis en la
que se combinan los resultados de Frege y Peano que representa la expresin
ms acabada de la lgica matemtica o la matemtica como lgica.
Los progresos de la lgica matemtica en el siglo XX se vinculan con la aparicin
de las lgicas plurivalentes, que se inicia con las lgicas trivalentes, que
introduce Luitzen E. J. Brouwer en conexin con su concepcin intuicionista, y
culmina con el concepto de valor continuo de la verdad, valor intermedio entre
el 1 que expresa la verdad y el 0 que expresa falsedad que recibe el nombre de
probabilidad, introducido en 1932 por Hans Reichenbach.
Axiomtica
Una consecuencia del anlisis lgico de los fundamentos de la matemtica fue
la crtica y luego actualizacin del mtodo axiomtico, instaurado por Euclides
con sus clsicos Elementos y aplicado por matemticos antiguos y modernos.
Pero el sistema euclidiano, al ser puesto en tela de juicio con la aparicin de las
geometras no euclidianas, tuvo que revisar sus fundamentos, y puso en
evidencia sus debilidades lgicas, en la geometra y en la matemtica, por lo
que tuvo que revisar el mtodo axiomtico.
Tal revisin se inicia con las Lecciones de geometra moderna de Moritz Pasch,
publicadas en 1882, donde expone la geometra proyectiva. Aunque Pasch
confiere ciertos rasgos fsicos a los entes geomtricos, la construccin es
independiente de ellos y no tiene que apelar a la intuicin.
Siguen los trabajos de Dedekind, que en 1888 expuso axiomas sobre los cuales
fundar la aritmtica, y los de Peano quien en 1889 hizo conocer Los principios
de la geometra expuestos lgicamente, en el cual todas las proposiciones se
117
expresan en forma simblica, y otro ensayo del mismo ao, sobre Los principios
de la aritmtica expuestos segn un nuevo mtodo. Los axiomas de Peano,
expresados con smbolos lgicos, son 9 pero cuatro de ellos son la definicin
por abstraccin de la igualdad, y los cinco restantes, expresados en lenguaje
comn son:
1) es un nmero;
2) si a es un nmero, su sucesivo (a+ 1) es un nmero;
3) si dos nmeros son iguales, sus sucesivos tambin lo son;
4) no es sucesivo do ningn nmero;
5) toda propiedad que pertenece al nmero , si al pertenecer al nmero x
pertenece tambin al sucesivo, es una propiedad de todos los nmeros.
El ltimo axioma es el principio de induccin completa aplicado por Maurolyco,
que deja de ser un principio extramatemtico o un mtodo de demostracin
para convertirse en la esencia de la definicin del nmero natural o, de la
sucesin natural, como una cadena que posee un primer eslabn y en la que
cada eslabn sigue otro. Esa cadena, es la ms simple y la sucesin, es el
conjunto infinito mnimo entre todas las cadenas y los variados conjuntos que
satisfacen los cuatro primeros axiomas.
El sistema de Peano contiene tres ideas primarias: uno (o cero), nmero y
sucesivo, es decir que los axiomas de la aritmtica ordinaria, expresados con el
simbolismo lgico, contienen, adems de los signos de las constantes lgicas,
slo tres signos nuevos: el de nmero, el de uno (o cero) y el de sucesivo.
Uno de los discpulos de Peano, Mario Pieri, introdujo en 1897 el movimiento
como concepto primitivo de la geometra euclidiana y en este siglo, el
estadounidense Edward Vermilye Huntington formul sistemas de postulados
para distintas disciplinas matemticas.
Pero el verdadero sistematizador del pensamiento axiomtico en general fue
Hilbert, quin escribe Grundlagen der Geometrie en 1899, donde confieren sello
riguroso al tradicional mtodo
euclideo y lo convierte en un proceso de alcance mayor y fecundo en
problemas de toda ndole.
(1) La axwm4tico de Peano. Los axiomas de Peana, expresados COI1
smbolos lgicos son nueve, pero cuatro de ellos no son sino la deGni
cin por abstr.1CCin de la igualdad, mientras que los cinco restantes,
expresados en len&ruaje comn, son: 1) ( es un nmero; 2) si a es un
nmero su sucesivo (0+ 1) es un nmero; 3) si dos nmeros son iguaJes,
118
sus sucesivos tambin lo son; 4) ( no es sucesivo do ningn nmero;
5) toda propiedad que pertenece aJ nmero t, si al pertenecer al nme
ro x pertenece tambin al sucesivo, es una propiedad de todos los
nmeros.
El ltimo axioma no es sino el principio de induccin completa que
vimos aplicado por Maurolyco, que deja ahora de ser un principio
extTamatemtico o un mtodo de demostracin para convertirse en lo que
verdaderamente es: la esencia de la de6nicin del nmero natural o,
mejor, de la sucesin natural, como una cadena que posee un primer
eslabn y en la que acada eslabn sigue olro. Esa cadena, por lo dems,
es la m.s simple y la sucesin, xr su parte. es el conjunto infiito
mnimo entre todas las cadenas y los variados conjuntos que satisfacen
los cuab'o primeros axiomas.
En el lenguaje axiomtico el sist'ema de Peano contiene tres ideas
primarias: uno (o uro), nmero y sucesivo, es decir que los axiomas de
la aribntiC2. .:;,rdinaria, expresados con el simbolismo lgico, contienen,
ade;ilas de los signos de las ronstantes lgicas. slo tres signos nuevos:
el de nme1"O, el de uno (o cero) y el de suce.rioo.
(2) La axiollldtica tk HUbert. Una reseila de los Gro"diagen de
1899 puede dar idea del mtodo axiomtico instaurado por HUbert.
Comienzan con la siguiente "Aclaracin. Pensemos b"es diferentes ciases de
objetos. Uamemos a los objetos de la primera clase puntos . .. a
los objetos de la segunda, rectas ... y los objetos de la tercera, pianos ...". Segn
una ancdota muy difundida HUbert aclaraba su "adaracin" diciendo que
podJan sustituirse las palabras: punto, recta y pla~
no por mesa, silla y vaso de cerveza, sin que esto alterara en lo ms
mnimo la geometria resultante, lo que equivale a subrayar el carcter
arbitrario del nombre de los objetos, que se convierten en entes abs~
tractos definidos implcitamente por los axiomas, de ah la expresin
"deBniciones disfrazadas" con que Poincar designada los axiomas. En
119
efecto segn I-filbert: "Supongamos que puntos, rectas y planos estn
en ciertas relaciones mutuas, Que designaremos con las palabras ~estar
en ", "enlre", "paralelo", "congruente", "continuo", cuy.t exacta y (.'Olll
plcta descripcin )e logr:lr.i mediante los axiomas de la geometra".
Los axiomas sobre los cuajes Hilbcrt funda la geometra euclidiana
son veinte, distribuidos en CInco grupos: de enlace, de orden, de para.
lelismo, de conb'Tuencia Yde continuidad. Los axiomas de enlace defi
nen las relaciones enlre puntos, rectas y planos, que dan sentido a las
expresiones "estar sobre", "pasar por", etctera. Los axiomas de orden
cumplen igual I1naJidad resx."Cto de expresiones como '"entre" u -arde
namiento", y pcnnilen definir el segmento. Cabe agreg.'1r que entre los
postulados de Euclides figuran algunos de los axiomas de enlace de
Hilbcrt; en cambio Euclides no menciona para nada la idea de orden y
adopta el se&rmento como nocin primitiva y el ordenamiento como algo
dado empricamente, lo que le permite soslayar sofismas en que podria
incurrir en un tratamiento nbrtlroso que no lomara en cuenta los ~
mas del orden. Estos axiomas, ya utilizados por Pasch, y su exigencia en
b construccin geomtrica, constituyen uno de los progresos que la crf
tica moderna puso en evidencia en el anlisis de los principios de la
geometra. Por su parte, el axioma de paralelismo, que admite la eliJ..
tencia de una y una sola recta paralela a otrd dada por un punto exterior
a aqulla, equivale al Quinto postulado de Euclides, mientras que los
axiomas de congruencia, cuyos equivalentes son las "nociones comu
nes" de Euclides, definen el concepto de congruencia o de movimiento
de segmentos, ngulos (que se definen en forma correlativa a los seg.
mentos) y tringulos. Por ltimo, Hilbcrt admite como axioma de conti
nuidad una expresin que equivale a la definicin de Euclides, y q~
J-lilbert denomina con razn '\u:ioma de AHluhnedes",
120
Despus de exponer y aclarar sus axiomas, lIilbert recurre en SU!
Cnmdlagen a una novedad IInlx>rtante, aJ abord.;.r d anlisis 16g:ico del
conjunto de axiomas y exigir, por una parte, su compatibilidad, es decir .
que no exista en ellos contrJdiccin interna y, por otra. que sean
independientes, o, 10 qll~ f' S lo mismo, que un grupo de axiomas no su
consecuencia de los b'TUpos anteriores.
Para ello, Hilberl construy gcollletrias artificiales, cuyos ciernen
tos son nmeros o funciones, de tal modo que a las relaciones geom~tri.
cas definidas por los axiomas corresponden relaciones homlogas enlu'
esos nmeros o funciones. Para demostrar que los axiomas de un grupo
son compatibles, basta demostrar que en la geometra artificial corres
pondiente no hay contradiccin, lo que se comprueba por CUUltO, d
hubiera contradiccin, ella al)a(t:eera en la aritmtica del sistema de
nmeros o funciones as construida. Para demostrar la independcn<
de un axioma dctcnninado respecto de los <Icmh, basta construir bm
bin llna geometra artificial, que admita stos y niegue aqul. Si esta
gt:Ometrf.l es compatible queda demostrada la independencia del axioma en
cuesti n. on este an:iJisis Hilbert (,.'Omprueba 1:1 validez de l<b
gl.'ornetras no cuclidl;.tn3.!>, aJ demo)lr.1r 1.1 illdc(>cndcllcia del niOlna de
paralelbmo, ) de las gcometri~ no arquimedianas, de 1.l,S cuales Vero
nese haba dado un ejemplo en 189l, al comprobar la indepcnd ncia
del ;,L'l:ioma de Arqumedes.
Claro es que las consideraciones de Hilbert desplazaron la cuestin de la
compatibilidad e independencia de los axil)mas de la geome
tra 'aJ problema semejante, aunque de rafz ms profunda, de la compll
tibilidad de los axiomas de la aritmtica que. como vimos, rue precisamente
uno (el segundo) de los 23 plIJblemas sei\alados por Hilbert en el
Congreso de 1000.
los Gnmdlogen tenninan con un interesante "EpOogo" en el <Iue
121
Hilbert, despus de insistir en la importancia de los problemas y recordar la
"exigencia de pure::.a de los mtodos demostrativos, elevada a
principio por muchos de los matemticos de nuestro tiempo", temlina
diciendo: ..~ investigacin geomlrica precedente l)retende dilucid:U"
en toda su generalidad qu axiomas, presupuestos o medios auxiliares
son necesarios para esl;lblC'<..'er una verdad de geometra elemenlal, dejando
a las cir unstan("lS la eleccin de los mtodos demostrativos
adaptados al punto de vista (Iue se haya adoptado". Pag 193
13) aportes de la mujer matemtica a la educacin
Principales mujeres matemticas
Theano
Theano es una de las primeras mujeres matemticas de las
que histricamente se tienen datos. La situamos en la Antigua Grecia, en el siglo VI a.C.
A pesar de su trascendencia,
es una desconocida para nosotros, al haber sido ms famosa la figura de su marido, el
matemtico Pitgoras. Alumna
destacada de la Escuela Pitagrica, a su muerte seguir al
mando de esta, junto con sus hijas. Adems de contribuir a la
extensin de la doctrina de su esposo, fue autora de varios
tratados de matemticas, fsica y medicina. Su obra principal
sern sus aportaciones sobre la proporcin urea.
El marco histrico en el que nos situamos para estudiar la vida de
Teano es el de la antigua Grecia.
Durante el periodo de la Grecia clsica se edific una matemtica
original y brillante y se tomaron algunos elementos de civilizaciones
vecinas que construyeron quienes les precedieron tanto en Babilonia
como en Egipto.
Por lo que sabemos hoy el tipo de conocimientos que nos revelan los
papiros egipcios es de carcter eminentemente prctico, y tratan sobre
cuestiones de clculo aritmtico y mediciones geomtricas.
Tales, Pitgoras y Teano aparecen en el siglo VI antes de nuestra era.
Son figuras indefinidas histricamente, ya que no ha quedado ninguna
obra matemtica suya y ni siquiera existe constancia de que las
escribieran.
A Tales se le considera el primer matemtico, a Pitgoras el padre de la
matemtica y a Teano la primera mujer matemtica.
122
Pitgoras(572-497 a.n.e.) fue filsofo, astrnomo y matemtico, fund
la escuela pitagrica, orden de tipo comunal y secreto, donde se daba
una gran importancia a la educacin tanto en hombres como mujeres.
El lema de la escuela fue "todo es nmero" pues que en la Naturaleza
todo poda explicarse mediante nmeros.
Teano naci en Crotona, fue discpula de Pitgoras y se cas con l.
Ense en la escuela pitagrica. Se conservan fragmentos de cartas y
escritos que prueban que fue una mujer que escribi mucho, y eso
mismo le atribuye la tradicin, , que considera como suyos varios
tratados de matemticas, fsica y medicina. El tratado Sobre la Piedad
del que se conserva un fragmento con una reflexin sobre el nmero se
piensa que es de Teano. Se le atribuyen otros tratados sobre los
poliedros regulares y sobre la teora de la proporcin, en particular
sobre la proporcin aurea.
Despus de la rebelin contra el gobierno de Crotona, a la muerte de
Pitgoras, Teano pas a dirigir la comunidad, con la escuela destruida
y sus miembros exiliados y dispersos, sin embargo con la ayuda de dos
de sus hijas difundi los conocimientos matemticos y filosficos por
Grecia y por Egipto.
Nmero ureo
Entre las obras que los historiadores atribuyen a Theano, destacan sus
aportaciones sobre el nmero ureo o de oro. Este nmero es una de las
soluciones de la ecuacin de segundo grado que resulta de hacer una
proporcin entre segmentos denominada proporcin urea por su belleza
geomtrica. El nmero de oro es un nmero irracional (decimal, infinito, no
peridico) que se obtiene al establecer una proporcin entre segmentos
con las siguientes caractersticas:
Nmero ureo
Entre las obras que los historiadores atribuyen a Theano, destacan sus
aportaciones sobre el nmero ureo o de oro. Este nmero es una de las
soluciones de la ecuacin de segundo grado que resulta de hacer una
proporcin entre segmentos denominada proporcin urea por su belleza
geomtrica. El nmero de oro es un nmero irracional (decimal, infinito, no
peridico) que se obtiene al establecer una proporcin entre segmentos
con las siguientes caractersticas:
Sean a y b segmentos
123
tales que: a / b = b / a - b
O dicho de otra manera... el todo es a la parte como el todo es a lo que
queda (Figueiras, 1998)
Por lo que:
Tomando a como incgnita y b como un valor cualquiera o coeficiente,
reconoceremos la frmula caracterstica de la ecuacin de segundo grado,
por lo que:
Como el cociente ha de ser positivo por ser un cociente entre longitudes,
tendremos que tomar el valor positivo. Es decir:Los pitagricos desarrollaron esta
proporcin con el estudio de algunos
polgonos regulares tales como el pentgono regular y el decgono regular, as como
con uno de los llamados poliedros platnicos, el icosaedro.
Estrella pentagonal pitagrica
El polgono estrellado de cinco puntas que se obtiene trazando las diagonales de un
pentgono regular se conoci como estrella pentagonal pitagrica y fue el smbolo
secreto de los pitagricos.
El nmero de oro se obtiene al dividir la longitud de cualquiera de las diagonales, entre
la longitud de uno de los lados. El resultado ser siempre
1,618
Rectngulo de Oro
La proporcin urea, que ya haba aparecido en algunas construcciones
egipcias tambin fue muy apreciada en el Renacimiento, donde se la denomin Divina
Proporcin, utilizndose tanto en arquitectura como en el
desarrollo armonioso de la figura humana (Hombre de Vitrubio de Leonardo da Vinci, o
el David de Miguel ngel)
Un rectngulo de proporcin urea ser aquel en el que, si dividimos el
lado mayor entre el menor, obtenemos nuevamente 1,618Para su construccin
partimos de un cuadrado. Desde el punto medio de
la base del cuadrado (m) trazamos una circunferencia cuyo radio es lo
que mide el lado del cuadrado. Obtenemos un punto, fuera de la base del
cuadrado (p) que nos indicar la perpendicular que trazaremos para conseguir, el
rectngulo de proporcin urea.
124
Theano, al igual que el resto de la Escuela, crea en el nmero como esencia del
Universo. En la bsqueda de la armona y de la perfeccin, este
nmero ser utilizado en numerosas obras de arte posteriores. As, Fidias,
famoso escultor griego, utilizar el rectngulo de proporcin urea en la
fachada del Partenn y en diferentes medidas del edificio.
Esta divina proporcin aparece tambin en el cuerpo humano, en el que
todas las partes guardan relacin con la proporcin urea. As, la relacin
entre la altura total de una persona y la altura entre el ombligo y el suelo
estn en proporcin urea. O la distancia entre el nacimiento del pelo y el
mentn y la distancia entre el nacimiento del pelo y los labios.
Los conocimientos de la Escuela Pitagrica han llegado hasta
nuestros das gracias a la labor de difusin de Theano. Adems
de colaborar con su marido Pitgoras en las investigaciones de
este, Theano destac por su sabidura y particip activamente
escribiendo varios tratados, destacando su formulacin de la proporcin urea. Esta
proporcin, se considera la medida de los
ideales de perfeccin y belleza griegos que hoy en da siguen
utilizndose. Theano es el smbolo ms antiguo de que las matemticas tambin
pueden ser femeninas.
Hipatia
Nace en Alejandra en el siglo IV. Hija de Ten, director del
Museo de Alejandra, destacar por sus conocimientos en
matemticas, astronoma y filosofa, que ensear a los ciudadanos de la aristocracia.
Su defensa del racionalismo cientfico griego, su condicin de mujer y sus convicciones
paganas, la colocarn en una situacin peligrosa, en un contexto
de graves conflictos polticos y religiosos. Entre sus obras
destaca su Comentario sobre la Aritmtica de Diofanto, Comentario sobre la geometra
de las cnicas de Apolonio, Elementos de Geometra de Euclides, Canon de Astronoma
y la
creacin de un hidroscopio y de un astrolabio plano.
Naci en Alejandra, su padre era matemtico y profesor de museo y
se preocup de darle una buena formacin y lo consigui pues Hipatia
125
fue una filsofa, astrnoma y matemtica que lleg a superar a su
padre.
Contribuy a la invencin de aparatos como el aermetro y construy
el astrolabio.
Era defensora del heliocentrismo (teora que defiende que la tierra
gira alrededor del sol).
Trabaj sobre escritos relacionados con las ecuaciones diofnticas,
sobre las cnicas y la geometra y tambin elabor tablas sobre
movimientos de los astros.
Estudi en el museo y despus viaj por Italia y Atenas donde
perfeccion sus conocimientos, y cuando volvi a Alejandra fue
profesora durante 20 aos. Ense matemticas, astronoma, lgica,
filosofa, mecnica... de todas partes del mundo llegaban estudiantes
para aprender de ella.
Hipatia era el smbolo del ideal griego porque reuna sabidura, belleza,
razn y pensamiento filosfico y adems era una mujer cientfica y con
papel poltico importante. En el ao 415 cuando tenia 45 aos fue
asesinada por monjes fanticos de la iglesia de San Cirilo de Jerusaln
ya que ella era partidaria del racionalismo cientfico griego y no quiso
convertirse al cristianismo .
Aportaciones
La mayora de su obra se ha perdido debido a la destruccin de la Biblioteca de
Alejandra y lo que sabemos de ella es por la correspondencia que
mantena con algunos de sus alumnos, en especial, Sinesio de Cirene, y
por medio de otros autores.
Muchas de las obras de Hipatia son textos para sus alumnos, con la finalidad de
facilitarles el estudio de las matemticas. Estos textos estn
destinados a la enseanza y, a su vez, han permitido la conservacin de
los descubrimientos ms importantes de matemticos anteriores.
Hipatia fue la principal colaboradora en los trabajos de su padre en astronoma y
matemticas. Ten dejar constancia de ello en su obra: Sistemas
matemticos de Ptolomeo, precisando en el Libro Tercero: Edicin controlada por la
filsofa Hipatia, mi hija. Esta obra fue el trabajo ms importante
126
hasta las aportaciones de Coprnico. Los rabes la denominaron Almagesto (gran
libro). Diversas fuentes creen que Hipatia no solo colabora con
su padre en la simplificacin y correccin de la obra de Ptolomeo, sino que
fue realizado de manera conjunta por los dos. Se cree tambin que formaba parte de
esta obra el Canon Astronmico, que Hipatia haba elaborado,
consistente en unas tablas en las que se presentan valores matemticos
para los movimientos de los astros.
Tambin es posible que Hipatia colaborara con su padre en la mejora y revisin de los
Elementos de Euclides. La edicin de esa obra todava sigue
utilizndose hoy en da.
Comentario a Las Cnicas de Apolonio
Apolonio fue uno de los gemetras ms importantes del helenismo. Pertenece al siglo
III a.C. Estudi en Alejandra y su gran obra es Las Cnicas.
Las secciones cnicas son las circunferencias, elipses, parbolas e hiprbolas que
aparecen cuando cortamos un cono con un plano. Las diferentes
figuras que se obtienen dependern del ngulo con el cual el plano corta
el cono. Hipatia se dedic al estudio de estas curvas, ya que tena gran
curiosidad por ellas, y escribi un tratado sobre la geometra de las cnicas
de Apolonio. El estudio de las cnicas se descuid despus de su muerte
y no ser reconocida su importancia hasta el siglo XVII.37
Hoy en da, las cnicas son importantsimas, ya que nos sirven para describir las rbitas
de los planetas, los senderos de los cometas, o el movimiento de los cohetes, entre
otras cosas.
Comentario a La Aritmtica de Diofanto.
De la misma manera que a Diofanto se le conoce como el padre del lgebra, a Hipatia
se la debera conocer como la madre del lgebra, por sus
aportaciones a los trabajos de Diofanto.
Trabaj en ecuaciones diofnticas, ecuaciones algebraicas con mltiples
soluciones enteras y en ecuaciones de segundo grado que pueden generar tres tipos
de soluciones; dos races reales, una raz real, o bien dos
races imaginarias distintas. (Martnez, 2009:34). En su obra se exponen
problemas que llevan a ecuaciones con ms de una solucin, o ecuaciones diofnticas,
en las que aparecen varias variables y sus soluciones solo
pueden ser nmeros enteros. (Por ejemplo, cmo podemos cambiar un
127
euro en monedas de cinco o diez cntimos).
La importancia de estas aportaciones tiene que ver mucho con la importancia del
lgebra en el desarrollo de las matemticas, ya que si la aritm-
tica nos sirve para calcular soluciones particulares, el lgebra nos permite
generalizar. En la poca de Hipatia no se conoca el algebra y cualquier
problema se resolva por procedimientos aritmticos, es decir, mediante
sumas, restas, multiplicaciones, divisiones o clculo de races. As por
ejemplo, en el teorema de Pitgoras, la aritmtica solo puede dar casos
particulares de esta relacin (por ejemplo, 3, 4 y 5, ya que 3
2
+ 4
2
= 5
2
).
El lgebra, por el contrario, puede dar una generalizacin que cumple las
condiciones del teorema: a
2
+ b
2
= c
2
.
En la obra de Diofanto, Hipatia incluy nuevos problemas y distintas soluciones. La
obra original estara compuesta por trece libros de los cuales
se conservan seis en griego y cuatro traducidos al rabe. Hipatia realiz
aportaciones a los seis primeros libros.
Inventos
A travs de la correspondencia con su alumno Sinesio, ha quedado constancia del
diseo de algunos instrumentos cientficos que Hipatia realiz:
128
un hidroscopio,
para medir el nivel del agua,
un astrolabio plano, que se usaba para medir la posicin de las estrellas,
los planetas y el sol.
Hipatia rompe con la idea de mujer subordinada al hombre. Apasionada de las ciencias
y las matemticas, defendi hasta la
muerte todo aquello en lo que pensaba, por encima de las presiones sociales. Se
atrevi a pensar de manera diferente y luch
por sus ideas frente a la hegemona masculina poltica y religiosa
de su poca.
Gabrielle milie de Breteuil, marquesa de Chtelet
milie le Tonnelier de Breteuil, marquesa de Chtelet, dedic su vida al estudio de las
obras de los grandes cientficos
del momento. Su posicin social le permiti desarrollar su
inteligencia y su conocimiento matemtico, llegando a realizar la traduccin al francs
de los Principia Mathematica de
Newton. Su obra permiti el conocimiento del considerado
mayor trabajo cientfico de la poca en Francia, cuando los
cientficos franceses se resistan a sus ideas. Form pareja
con Voltaire, al que influy intelectualmente, contagindole
su pasin por las ciencias.
milie de Breteuil, Marquesa de Chtelet naci en el seno de una
familia ilustre el 17 de diciembre de 1706 en Saint-Jean-en-Greve. Su
abuelo paterno ocup el cargo de consejero de estado y su padre, el
barn de Breteuil, goz de la confianza de el rey Luis XIV. Tuvo seis
hermanos, aunque slo sobrevivieron tres, ella fue la quinta.
Se cas con Florent Claude, marqus de Chtelet. Cuando ella se cas
tena 19 aos y l era un hombre experimentado de 30, su hija naci el
30 de junio de 1726. Al ao siguiente tuvo a Florent Louis Marie y su
tercer hijo muri unos das despus de que naciese. Despus tuvo
relaciones amorosas con otros hombres.
Con diez aos ya haba estudiado matemticas y la metafsica; a los 12
saba ingls, italiano, espaol y alemn y traduca textos en latn. En un
caf de Pars no la dejaron entrar por ser mujer. Estudi a Descartes,
Leibniz y a Newton. Escribi las instituciones de la fsica, libro que
contiene el clculo infinitesimal. Hacia 1745 tradujo los principios de la
matemtica de Newton. Despus de quedarse embarazada termin la
edicin de la Principia.
129
La marquesa de Chatelet, fue la persona que impuls la obra de Newton en
Francia con su traduccin de los Principia del latn al francs. En Francia,
se estudiaba a Descartes, siendo pocos los cientficos que lean a Newton.
Public varios ensayos como: Ensayo de ptica (1736) y Disertaciones
sobre la naturaleza y propagacin del fuego (1737).
Disertaciones sobre la naturaleza y propagacin del fuego surgi a raz de
un concurso de la Academia de Ciencias, ya que la materia del fuego era
discutida por aquel entonces. Tanto Voltaire como milie deciden participar
y empiezan a realizar experimentos llegando a conclusiones diferentes.
Finalmente gan el concurso Leonhard Euler y dos personas ms, pero 45
debido a las interesantes aportaciones y a la fama que la pareja estaba
adquiriendo, publicaron los ensayos de Emilie y Voltaire junto con los de
los ganadores.
Escribi el Discurso sobre la felicidad, una obra que es el reflejo mismo de
la personalidad de milie: segura de s misma, defensora de los grandes
placeres de la vida y tachada de libertina por sus contemporneos. En su
obra defiende todo aquello que produce sentimientos agradables, ya que
cuantos ms se tienen, ms felices podemos ser. As, por ejemplo, defendi el derecho
al estudio de las mujeres.
Para facilitar el estudio a su hijo de doce aos, escribi un libro llamado
Las instituciones de la fsica, en el ao 1740. En esta obra, trabaja sobre
el clculo infinitesimal y la fsica de Leibniz, que compagina con la fsica de
Newton, y se incluyen conceptos como el de energa cintica. milie pidi
al maestro de matemticas Koenig que le revisase, en Cirey, los captulos
dedicados a la metafsica de Leibniz y Koenig volver a Paris apropindose de su
trabajo. Aunque la Marquesa de Chtelet reivindic la autora, no
se le reconocer esta hasta despus de su muerte.
Estudi a Descartes y a Leibniz y contribuy a la revolucin cientfica en
Francia con las ideas de Newton, conocidas hasta el momento por pocos
cientficos franceses. En su saln se reunan habitualmente los cientficos
Moreau de Maupertuis y Alexis Claude Clairault, defensores de la idea de
130
Newton de que la tierra es achatada por los polos y no una esfera como
defenda Descartes. Los dos cientficos protagonizaron una expedicin a
Laponia para medir un meridiano y as demostrar su teora. El paso intelectual de
Descartes a Newton no hubiese sido posible en Francia sin la
traduccin de los Pincipia realizados por milie en 1745. A esta traduccin
aadi un comentario algebraico. La traduccin se public en dos partes,
en 1756 y en 1759.
Newton fue el primero en utilizar el clculo para aplicarlo a la fsica. En sus
Principia Mathematica resolvi el problema del movimiento planetario mediante los
mtodos del clculo. Los Principia constan de tres libros. Constitua una obra de cierta
dificultad y para entenderla haba que poseer avanzados conocimientos de geometra.
En el libro primero se enuncian las tres
leyes fundamentales de la dinmica, en el segundo se trabaja el clculo diferencial y
los fluidos y el tercero se dedica a la Ley de gravitacin universal.Tanto Leibniz como
Newton desarrollaron las leyes de diferenciacin e integracin, segundas derivadas y
derivadas de orden superior. Con estos
matemticos, las integrales y las derivadas pasaron a constituir instrumentos
esenciales dentro del clculo. Expusieron tambin el Teorema fundamental del
clculo, que nos explica que la derivacin y la integracin son
operaciones inversas. milie era una experta en el clculo diferencial y en
derivadas, una herramienta de clculo fundamental en diversos estudios,
siendo utilizada en fsica, qumica, biologa o economa.
Si hubiera que mencionar una sola cosa para la que la derivada sea
til, habra que decir que gracias a ella se puede medir la velocidad, la
rapidez con la que se producen cambios de situaciones; sean situaciones fsicas,
sociales, econmicas (Corcobado, 1989).
Mara Gaetana Agnesi,
(1718-1799)
Mara Gaetana Agnesi fue una destacada matemtica, lingista y filsofa. Creci en un
ambiente burgus en contacto
con intelectuales de la poca que acudan a reuniones de saln en su casa. Presionada
por su padre para continuar sus
estudios, no pudo llevar la vida religiosa que ella deseaba.
Fue reconocida por la sencillez y claridad con la que escribi
Instituciones Analticas, un compendio de matemticas que
131
fue utilizado muchos aos como libro de texto en toda Europa. Destac, adems, por
su anlisis detallado y didctico
de la curva sinuosidal versa, conocida por ello como curva
de Agnesi.
Naci en Miln (Italia) un 16 de mayo de 1718. Hija de Pietro Agnesi y
Anna Brivio, es la mayor de 6 hermanos (4 hermanas y 2 hermanos).
Desde pequea conoci a gente muy inteligente y preparada:
profesores universitarios, cientficos, filsofos... , ya que su padre daba
grandes fiestas y les invitaba. Sus padres la presentaban a sus
importantes invitados como una nia prodigio y algunos de ellos
instruyeron a Mara en diversos temas y ciencias.
En la adolescencia cay enferma y tuvo que dejar de estudiar. Apenas
recuperada de su enfermedad muri su madre. En 1734 su padre se
volvi a casar con Marianna Pezzi, tuvieron 2 hijos y sta se muri. De
nuevo su padre se volvi a casar con Antonia Bonatti de la que tuvo 11
hijos.
Mara sigui estudiando y en 1738 le publicaron Propositiones
philosophicae que abordaba los problemas de filosofa natural que
habitualmente se discutan en los salones. Despus escribi el libro
Instituciones analticas al uso de la juventud italiana en el que explicaba
una parte novedosa de las matemticas: el calculo analtico. El libro
tuvo muy buena crtica.
Se dedic en profundidad al estudio del lgebra y la geometra y nueve
aos ms tarde aparecieron publicadas las Instituzioni Analitiche, sin
duda la obra ms importante de toda su carrera como matemtica. Fue
editado en varios idiomas y se utiliz como manual universitario en las
universidades de distintos pases, siendo an cincuenta aos ms tarde
el texto matemtico ms completo. Se encarg en Italia de los cursos de
su padre, convirtindose as en la primera mujer de la historia que haba
dado clase de matemticas en la universidad.
A la muerte de su padre, dos aos despus, renunci completamente a
las matemticas e ingreso en una orden religiosa en Miln, consagrando
sus esfuerzos a la teologa, a socorrer a los pobres e indigentes y a
educar a sus hermanos y hermanas. Muri el 9 de enero de 1799.
Durante sus primeros aos de estudio, escribi dos obras donde, con su
estilo claro y sencillo, ahondaba en distintas ramas de la ciencia. En la
primera de ellas escribi un comentario crtico en el que analizaba la regla
de LHopital, creada por Bernoulli y posteriormente comprada por el primero para
denominarla con su nombre. La aplicacin de esta regla permite
resolver algunas indeterminaciones en el clculo del lmite de funciones
derivables. Esta obra de Gaetana nunca fue publicada, pero circul privadamente entre
los intelectuales de la poca.53
132
En la segunda de sus obras, a travs de 190 ensayos, explica diversos
temas como la teora de Newton de la gravitacin universal, mecnica celeste,
elasticidad, lgica o filosofa, de forma comprensible para todas las
personas.
A los treinta aos publica su obra ms importante: Instituciones Analticas.
Comenz a escribir, a sugerencia de Rampinelli, un libro sobre clculo
diferencial, pero pronto lo concibi como un autntico libro de texto que le
permitiera transmitir a sus hermanos y hermanas su conocimiento sobre
matemticas.
El mayor logro de esta obra fue el mtodo didctico con el cual Agnesi
expone sus conocimientos matemticos, utilizando un lenguaje comprensible,
ejercicios prcticos y problemas sencillos. En definitiva, hizo uso de
mtodos originales que permitieron sintetizar el lgebra y la geometra
contempornea, as como el clculo diferencial e integral, materias que se
estaban construyendo en aquella poca.
Fue traducida a varios idiomas. Cincuenta aos despus de su publicacin
segua siendo el libro matemtico ms completo que exista.
La Academia de Pars, escribi lo siguiente sobre Instituciones Analticas:
Esta obra se caracteriza por una organizacin cuidada, claridad y
precisin. No existe ningn libro, en ninguna otra lengua, que permita
al lector penetrar tan profundamente y tambin tan rpidamente en
los conceptos fundamentales del Anlisis. Consideramos este Tratado
como la obra ms completa y la mejor escrita en su gnero (Figueiras,
1998).
Fue publicada en dos tomos: el primero trataba del anlisis de cantidades
finitas, lgebra y geometra cartesiana. El segundo se ocupaba del clculo
diferencial. Inclua muchos ejemplos y problemas, mtodos originales y
generalizaciones. Uno de estos volmenes contiene el anlisis de la curva
sinuosidal versa, conocida como la curva de la bruja de Agnesi.
Si bien la creacin de esta curva no se puede atribuir a Mara Gaetana, s
que ha contribuido a su anlisis detallado y su explicacin didctica. En
133
los ltimos aos se ha determinado que esta curva es una aproximacin de la
distribucin del espectro de la energa de los rayos X y de los rayos
pticos. Tambin puede aplicarse a la descripcin fsica de los fenmenos
de resonancia de los rayos pticos. Por ltimo, en Estadstica, la Distribucin de Cauchy
de una variable aleatoria se expresa tambin a travs de
la curva de Agnesi.
CAROLINA HERSCHEL (1750-1848)
Naci en Hanover en una familia numerosa de msicos, pero no recibi
una educacin formal, ya que su madre pensaba que solo deba recibir
la formacin suficiente para ser una buena ama de casa y cuidar de sus
hermanos y hermanas. Dos de sus hermanos, William y Alexander, eran
msicos en Inglaterra y cuando Carolina tena 22 aos se fue con ellos
para estudiar canto. Aunque tuvo xito como soprano, la educacin que
haba recibido la haba hecho tan dependiente que slo cantaba cuando
la diriga su hermano William. Cuando ste dej la msica para
dedicarse a la astronoma, (fue nombrado astrnomo del rey) ella
tambin dej de cantar, y as comenz su carrera cientfica como
ayudante de su hermano, a partir de las lecciones que ste le daba, hasta
que poco a poco se fue formando a s misma. Trabajaba duramente, por
la noche observaba estrellas y de da realizaba los clculos matemticos
y escriba los trabajos cientficos. Tambin ayud a su hermano a
construir telescopios ms grandes y ms potentes que permitieran
estudiar astros ms lejanos que la luna y los planetas.
Cuando Carolina tena 32 aos su hermano le regal un pequeo
telescopio, "el barredor de cometas" que le permiti realizar un trabajo
independiente cuando l no estaba. En el verano de 1786, Carolina tena
ya un pequeo observatorio propio.
Cuando Carolina tena treinta y siete aos el rey Jorge III le asign un
salario como asistente de su hermano, lo que le proporcion cierta
independencia econmica. Un ao ms tarde su hermano se cas y
dejaron de vivir en la misma casa.
Fueron sus aos ms productivos porque, liberada de las tareas
domsticas, pudo dedicarse plenamente a la astronoma y se convirti
en una celebridad cientfica. Colabor con su hermano en el
descubrimiento de mil estrellas dobles, demostrando que muchas eran
sistemas binarios, lo que supona la primera prueba de la existencia de
la gravedad fuera del sistema solar. A los 58 aos tuvo que cuidar de su
hermano Dietrich durante cuatro aos. Por primera vez empez a tener
conflicto entre su educacin, que le impona un cuidado abnegado hacia
sus hermanos, y sus estudios de astronoma que ocupaban parte del
tiempo que tena que dedicar a dormir. Cuando muri su hermano
William, Carolina dej Inglaterra y volvi a Hannover. Recibi la
Medalla de Oro de la Real Sociedad de Astronoma y la nombraron
miembro honorario de la sociedad. La nombraron miembro de la Real
Academia Irlandesa y el rey de Prusia le concedi la Medalla de Oro de
134
las Ciencias. Muri con 97 aos y a pesar de que durante una gran parte
de su vida fue la ayudante de su hermano, y que por su falta de
autoestima y los prejuicios que en esta poca haba hacia las mujeres,
slo al final de su vida fue reconocido su trabajo, ha sido sin duda la
mujer que ms ha contribuido al avance de la astronoma de todos los
tiempos.
Sophie Germain,
(1776-1831)
Sophie Germain fue una destacada matemtica, de finales
del siglo XVIII, que introdujo grandes aportaciones a la Teora de los Nmeros y a la
Teora de la Elasticidad. Contra el
deseo de su familia, estudi matemticas de manera autodidacta para evadirse de los
tiempos de lucha en los que le
toc vivir. Fue la primera mujer en conseguir un premio de la
Academia Francesa de las Ciencias.
Marie-Shopie Germain naci en una familia burguesa de Pars en 1776.
De nia se refugiaba del hervidero revolucionario de las calles en la
biblioteca de su padre. Ah, a los trece aos, fue donde descubri las
matemticas. A pesar de los intentos de su familia por desalentar esos
intereses, pas los aos del Terror (1793-94) aprendiendo sola clculo
diferencial. Cuando se abri en 1795 le cole Polytechnique, Sophie
consigui las notas del curso de qumica de Fourcroy y del curso de
anlisis de Lagrange. Al final del perodo lectivo, present un trabajo a
Joseph Lagrange, firmado con el nombre de LeBlanc. El trabajo
impresion mucho a Langrange y al conocer el nombre de su verdadera
autora, fue a felicitarla. Inspirada por la disertacin de Karl Gauss sobre
la teora de los nmeros, Sophie empez a estudiar sola esta rama de la
aritmtica superior. En 1804 le escribi a Gauss, usando una vez mas el
nombre de LeBlanc. La respuesta de este fue alentadora, y Sophie le
envi otros ejemplos de su trabajo. Pero Gauss estaba tan ocupado con
su trabajo que solo le contestaba cuando el trabajo se relacionaba con
sus propios teoremas.
6
Sophie Germain ha destacado por sus grandes aportaciones a las matemticas en dos
reas principales: aritmtica superior, a travs de la Teora
de los Nmeros, y fsica matemtica, con sus investigaciones sobre la Teora de la
Elasticidad.
Desde 1801 estudi aritmtica superior, influida, en parte, por una obra
publicada por K. Gauss en la que este diserta acerca del ltimo teorema
135
de Fermat, el cual establece que es imposible descomponer un cubo en
dos cubos, un bicuadrado en dos bicuadrados, y en general, una potencia
cualquiera, aparte del cuadrado, en dos potencias del mismo exponente.
Sophie investig profundamente sobre este teorema encontrando la solucin para
determinados exponentes primos (conocidos como primos de
Germain), pero no es hasta el ao 1808 cuando consigue aportar uno de
los mayores avances en la resolucin del problema con su Teorema de
Germain:
SI x, y, z son nmeros enteros, tales que x
5
+y
5
+z
5
=0 entonces, al
menos uno de los nmeros x, y o z debe ser divisible por 5.
Este Teorema supuso un gran paso para la demostracin del Teorema de
Fermat para n=5. Demostr que para todo nmero primo n menor que 100 no existe
solucin a la ecuacin de Fermat, si ninguno de los nmeros x,
y o z son divisibles por n.
Esta teora ha sido mejorada a lo largo de los aos, pero nunca sustituida.
En la obra de Legendre, Recherches sur quelques objets dnalyse indetermine et
particulirement sut le theoreme de Fermat, hay una nota a pie de
pgina donde se cita la hiptesis de Sophie.
A partir de 1809, viendo que sus estudios sobre Teora de Nmeros no son
suficientemente reconocidos y valorados por Gauss, Sophie empieza a
interesarse por la matemtica aplicada y comienza a estudiar fsica matemtica, ms
concretamente la Teora de la Elasticidad.
Ese mismo ao, la Academia de la Ciencia de Pars convoca un concurso
en el que busca dar una teora matemtica que explique el comportamiento de las
superficies elsticas y comprobarla con la experiencia.
Sophie present su primera propuesta en 1811, la cual fue rechazada por
136
el jurado, al considerar que la ecuacin principal de su presentacin era
errnea. Ella no desiste en su postura y presenta una segunda memoria
con esta misma ecuacin, que recibe una mencin de honor por parte del
jurado. Present una tercera memoria por la que, finalmente, recibi el
premio.
Tuvo que autopublicar Recherches sur la thorie des surfaces elastiques,
para evitar que otros cientficos se atribuyeran el mrito de sus aportaciones.
La hiptesis de Germain sobre elasticidad de los cuerpos considera que la
fuerza de la elasticidad es proporcional a la suma de las curvas principales. Defini la
curvatura media como medida aritmtica de las curvaturas
principales.
Sophie contribuy con su trabajo a la evolucin de la teora general de
la elasticidad, que ha tenido aplicacin en la construccin de estructuras
tales como la Torre Eiffel. A pesar de ello, su nombre no figura entre los
nombres de los cientficos que ayudaron al estudio de este campo, y que
estn grabados en dicha torre.
Mary Fairfax Somerville,
(1780-1872)
Mary Somerville fue astrnoma, matemtica, gegrafa, escritora y cientfica
autodidacta. A travs de su obra, muy prolfica y multidisciplinar, contribuy a difundir
la ciencia en todos
sus campos.
Destac por el estilo sencillo, riguroso y didctico con el que
consigui hacer de la ciencia algo asequible para todos. Sus
libros fueron utilizados como libros de texto en Inglaterra hasta principios del siglo XX.
Luch durante toda su vida por conseguir el derecho al sufragio y el acceso a la
educacin de las mujeres.
Mary naci en Escocia el 26 de Diciembre en 1780. Pas su infancia en
el campo, en contacto con la naturaleza lo que estimul su carcter
observador, pero sin una formacin bsica, de manera que a los diez
aos apenas saba leer. Un primer encuentro interesante en su vida
sucedi cuando tena trece aos. Conoci al Dr. Somerville, quien al
percibir los deseos de Mary por aprender, le muestra las historias de las
mujeres sabias de la antigedad, y la anima a aprender latn y a leer a
137
Virgilio. Sus primeras experiencias de resolucin de problemas
consisten en solucionar los pasatiempos matemticos de las revistas
femeninas. El Dr. Somerville, viendo el enorme inters que ella tena
por las Matemticas, accedi a comprarle libros cientficos, y le ayud
a leerlos y a resolver los problemas del primer libro de Euclides. A los
24 aos se casa con Samuel Greig, un hombre sin ningn conocimiento
cientfico al que no le gustan las mujeres sabias. Tres aos despus,
muere su marido y ella se encuentra viuda, con dos hijos, viviendo en
Londres y con una independencia econmica que sabe aprovechar para
conducir su vida hacia su verdadera pasin: las matemticas.
Su primo William Somerville se convierte en su segundo marido. Es
mdico y comparte su inters por la ciencia. Su matrimonio puede
considerarse duradero y feliz. William era un hombre inteligente pero
de poca ambicin personal. Mary conoce a Ada Lovelace y le anima a
estudiar matemticas siendo su mentora.
Comenz a publicar sus propios trabajos. Su primer trabajo fue
Disertacin Preliminar. Este trabajo fue reimpreso posteriormente y se
difundi por separado, dado su inters. Su siguiente publicacin fue
Sobre la conexin de las ciencias fsicas. Tras una etapa en Italia, por
motivos de salud de su esposo, sin abandonar sus estudios, publica
Physical Geography y se hicieron de l siete ediciones. Sufre una fuerte
depresin tras la muerte sucesiva de su marido y uno de sus hijos. Vive
entonces en Npoles y con 85 aos comienza a escribir su cuarto libro
On Molecular and Mycroscopic Science y revisa su libro On the theory
of differences. A los 89 aos escribe su autobiografa y sigue
estudiando matemticas aun con 92 aos. Cuando le sorprende la
muerte estaba investigando sobre cuaterniones. Quienes tuvieron la
suerte de conocerla no dudaron en llamarla "la reina de las ciencias del
siglo XIX".
69
En 1827, Lord Henry Broughman, presidente de la Cmara de los Lores,
anima a Mary a traducir la obra de Laplace La Mecnica Celeste, que
estudia el sistema solar utilizando las teoras de Newton.
Ella duda de su capacidad para hacer este trabajo y solo accede ante la
insistencia de este y de su marido, con la condicin de que si su trabajo no
es lo suficientemente bueno, lo haran destruir.
Su aportacin fue, ms que una traduccin, un compendio de desarrollo
matemtico y de ideas fundamentales de fsica, escritos de forma sencilla
y comprensible, con explicaciones en las que utiliza sencillos dibujos. Se
138
convirti en imprescindible para entender la obra de Laplace.
El prembulo incluye una sntesis de todas las matemticas necesarias
para entender la obra, con opiniones propias y explicaciones destinadas a
la divulgacin de ideas cientficas para gente no experta.
Laplace, en su tratado de mecnica, estableca que los movimientos planetarios eran
estables y las perturbaciones producidas en esos movimientos eran producidas por la
influencia mutua de los planetas o por cuerpos
externos.
Mary Somerville deduce, tan solo con razonamientos matemticos, que
deba haber un planeta ms a aadir a la lista de los conocidos hasta
entonces, que era el que causaba alteraciones en la rbita de Urano. Los
datos aportados en este tratado posibilitaron la localizacin de Neptuno
por John Adams.En 1834 escribe La conexin de las ciencias fsicas. Explicacin
cientfica
del funcionamiento de las fuerzas que mueven el universo. Interpret los
fundamentales tratados matemticos existentes, bajo un lenguaje sencillo
sin perder el rigor cientfico que le caracterizaba.
Trabaj sobre los estudios de W. Chadni sobre las placas vibratorias, en
los que tambin investigaba Sophie Germain, y dibuj sencillos diagramas
explicativos de estos experimentos realizados.
En 1848 escribi Physical Geography, obra de la que se publicaron siete
ediciones. Antes de que viera la luz, Mary quiso quemarla, algo que evitaron su marido
y J. Herschel. Este libro explica los fenmenos naturales y
las relaciones entre seres vivos. Fue duramente criticado por parte de la
Iglesia y la clase poltica.
En 1865 publica uno de sus ltimos libros, Sobre la Ciencia molecular y
microscpica, donde profundiza en el mundo microscpico buscando explicar la
composicin de la materia, el fenmeno del calor y los movimientos vibratorios.
A los 89 aos comienza a escribir su autobiografa, Recuerdos personales,
donde rememora ancdotas de su vida, pero tambin expone su visin
filosfica del mundo, su actitud ante el mundo de las ciencias y sobre el
papel de la mujer en el mbito cientfico.
139
Augusta Ada Byron King,
(1815-1952)
Ada Byron naci en Londres en 1815. Hija del poeta Lord
Byron y la aristcrata Anabella Milbanke. Fue una persona
original, intuitiva y ambiciosa, que estudi matemticas, geometra, lgebra y
astronoma.
Se interes en la mquina de diferencias de Charles Babbage y aadi unas Notas
para el ingenio analtico de Babbage
a un informe publicado por Luigi Menabrea, con la intencin
de elaborar una mquina capaz de efectuar clculos matemticos generales: la
mquina analtica.
Ada falleci en Londres en 1852 y la significacin del contenido de su obra no tuvo
reconocimiento hasta un siglo ms
tarde, ya que firm sus Notas con sus iniciales, A.A.L. Fue
la primera persona que elabor un lenguaje de programacin
para las computadoras que, en la actualidad, lleva su nombre
y se usa en entornos que requieren seguridad.
La corta vida de Ada Lovelace transcurri en la primera mitad del siglo
XIX, bajo el influjo de las ideas clsicas de la sociedad victoriana muy
arraigadas en la alta clase social a la que perteneca, pero impregnado al
tiempo del ideal romntico que hombres como su padre llevaron a cabo
hasta las ultimas consecuencias. Este hecho priv a Ada, tal vez, del
disfrute de los momentos ms apasionantes del siglo.
El saber cientfico ya no era una referencia de prestigio social sino la
manera de no quedarse al margen del progreso, autntica fuente de
riqueza y, por ende, de poder.
Esta actitud tan abierta hacia la formacin cientfica hizo posible que
las mujeres de elevada posicin social pudieran dedicarse al estudio,
consiguiendo gran notoriedad y siendo reconocidas por sus
contemporneos.
Las mujeres estaban an lejos de conseguir un trato igualitario. Sin
embargo, comenzaban a convivir con el progreso desde un
protagonismo nuevo. Las obreras de las fbricas perciban a diario la
desigualdad salarial.
En este clima todava incipiente de cambio, de confusin y de
esperanza, nace Ada Lovelace. Su vida est marcada por dos factores:
la personalidad estricta y puritana de su madre y el ambiente culto y
refinado del que form parte. Ada vivi prcticamente toda la vida
condicionada por los dictados de su madre, Ana Isabel Milbanke, cuyo
matrimonio con Lord Byron apenas dur un ao, se separaron al mes
140
del nacimiento de Ada, apenas conoci a su hija pero le dedicaba bellos
poemas, y al parecer sus ltimas palabras fueron para ella.
Lady Byron , a quin su fugaz marido llam "su princesa del
paralelogramo", era una mujer con notable formacin en matemticas y
astronoma. Esto posibilit que Ada fuera educada en esas disciplinas
por los mejores tutores conocidos de Londres. Desde la infancia
manifest una salud precaria. Sus piernas se quedaron paralizadas
durante varios aos, pero con su fuerza consigui vencer la
enfermedad, hasta el punto de convertirse en una esplndida amazona.
Con 17 aos conoci a Charles Babbage, y tanto ella como su madre
quedaron impresionadas por su Mquina de diferencias finitas, que
deseaba generalizar en una mquina analtica o computadora general.
Aos ms tarde se caso con el Honorable William King. Era un hombre
amable pero dbil, de menor nivel intelectual que ella, el sucesivo
nacimiento de sus tres hijos impidi a Ada seguir con sus estudios. A
los tres meses de tener a su tercer hijo decidi restablecer el contacto
con Babbage, rogndole que le proporcionara un profesor con quien
aprender matemticas. Poco despus enferm y, siguiendo la prctica
mdica habitual, se le realizaron sangras y se le suministr morfina y
opio. No lleg a reponerse y se le detect un cncer en estado avanzado
que le produca tremendos dolores, la madre de Ada orden
suministrarle mesmerismos en lugar de opiceos.
Ada muri a la edad de 36 aos. Babbage continu intentado la
construccin de su mquina analtica pero desisti del proyecto tras
numerosos fallos. Ambos fueron olvidados casi completamente hasta
que los ordenadores fueron reinventados durante la segunda guerra
mundial.
79
Solo se conserva una parte de su obra, algunas notas y cuadernos, debido
a que muchos de sus escritos fueron destruidos por su madre.
Su ensayo Notas, publicado en 1843, anticip el desarrollo del software
informtico actual y descubri el concepto de bucle o subrutina, instrumento de
programacin bsico en los actuales ordenadores, que permite
efectuar repeticiones de un conjunto de instrucciones.
En sus siete notas, Ada distingua lo que era la mquina diferencial (artilugio con
capacidad de resolver polinomios de segundo grado) de la mquina analtica (capaz de
hacer operaciones repetitivas del clculo matemtico, al incorporar procesos y
elementos de programacin elementales). Ada
analiz y describi el mecanismo de la mquina analtica, una verdadera
calculadora, que viene a ser el antecedente de las modernas computadoras, ya que
contaba con secuencia de entrada, unidad de proceso, memorizacin y salida de datos
y se programaba con tarjetas perforadas (como
141
las del telar de Jacquard).
5 Concretamente,en la iglesia de Santa Mara Magdalena en Hucknall, Jorkard
Nottinghamshire.Otra de sus notas, estaba dedicada a la mecnica de programacin de
la
mquina analtica. Elabor un programa para el Ingenio Analtico que calculaba los
nmeros de Jacob Bernoulli, y analizaba las rdenes que se le
daban, as como su correcta aplicacin.
Ada escribi (Nomdedeu, 2000:76): Resulta muy adecuado decir que el
ingenio analtico teje pautas algebraicas, al igual que el telar de Jacquard
teje flores y hojas.
Y, como explica Nomdedeu (2000:76), para ilustrarlo prepar un programa
con el que el ingenio analtico poda calcular los nmeros de Bernoulli.
Los nmeros de Bernoulli vienen definidos por Ba dentro del desarrollo
polinmico siguiente:
Se desprende, dando valores a z y n y, tras ciertas sustituciones, que:81
cuyos coeficientes recuerdan al tringulo aritmtico y cuyas filas oblicuas
son sucesiones en diferencias finitas, que las mquinas de Babbage podan tratar
mecnicamente, siempre que se les proporcionaran las rdenes
oportunas en un programa adecuado. Ada aadi a las posibilidades que
esta mquina ofreca la herramienta de los subprogramas, con los que solo
un paquete de instrucciones es suficiente para que la mquina repita una
determinada secuencia de rdenes cada vez que se le requiera desde el
programa principal.
Si prescindimos de los 1 del lado derecho del tringulo, obtenemos los coeficientes de
cada una de las ecuaciones del sistema que hay que resolver
para hallar los nmeros de Jacob Bernoulli.
El diseo de la mquina analtica se basaba en la idea de reutilizar las
tarjetas encargadas de un procedimiento cada vez que fuese necesario
dentro un mismo programa. Era un diseo distinto, complicado y muy
avanzado para la ingeniera del siglo XIX. Poda sumar, restar multiplicar
y dividir directamente y, segn los planos, se deba programar con tarjetas
perforadas:
142
La mquina analtica no tiene ninguna pretensin de originar nada.
Puede hacer cualquier cosa que sepamos ordenarle cmo hacer. Puede seguir el
anlisis; pero no tiene capacidad de anticipar cualquier
relacin o verdad analtica. Es de su incumbencia ayudarnos a hacer disponible lo que
ya conocemos. Est calculada para hacer esto primordialmente y sobre todo, est
claro, por medio de sus facultades
ejecutivas; pero es posible que ejerza una influencia indirecta en la
ciencia misma de otra manera. Porque, al distribuir y combinar las
verdades y las frmulas del anlisis de manera tal que sean lo ms
fcil y rpidamente disponibles a las combinaciones mecnicas de la
mquina, las relaciones y la naturaleza de varios temas en esa ciencia
reciben necesariamente una nueva luz, y se investigan ms profundamente
(Nomdedeu, 2000:188).
Alan M. Turing, en 1937, y Von Neuman, en 1946, trabajaron en el desarrollo de los
ordenadores tal y como los conocemos en la actualidad,
utilizando para ello el trabajo de Ada.
Ada fue mundialmente reconocida porque el Departamento de Defensa
de EEUU otorg su nombre a un lenguaje de programacin diseado por
Jean Ichbiarh, para reducir errores habituales y difciles de detectar.
En la actualidad, el lenguaje de programacin ADA (Software de Ada) se
usa en entornos donde la seguridad es imprescindible, como la aeronutica, la gestin
del trfico areo o la industria aeroespacial. Existen dos estndares del mismo, ADA 83
y ADA 95. El lenguaje de programacin ADA,
fue presentado oficialmente el 14 de mayo de 1979.
En 1991 se construy la mquina diferencial y funcionaba a la perfeccin, lo
que demuestra que los diseos de Babbage tambin habran sido posibles.
Ada tambin colabor en la redaccin de dos notas para un libro que public su
marido Willian King, en 1848, y en el Libro Vestiges of the natural
history of creation de John Crosse.
En una de las cartas que Ada escribi a Babbage, le propuso la descripcin
matemtica de un juego, solitario, a partir de la numeracin de las piezas
y la descripcin de cada posible movimiento.
143
Adems, elabor una teora de las probabilidades con intencin de aplicarla a las
apuestas que ella y Babbage hacan en las carreras de caballos.
Se trataba de elaborar una mquina capaz de predecir los resultados, pero
no triunf.Por ltimo, cabe destacar que son numerosos los reconocimientos que
existen en la actualidad a su labor cientfica, como Medallas de la Sociedad
Informtica Britnica y premios que otorgan numerosas asociaciones, relacionados
tanto con el reconocimiento de la mujer en el campo de la computacin, como los
relacionados con el lenguaje de programacin ADA.
A continuacin se muestra un esquema sobre su principal creacin: La
mquina analtica:
Imagen de Prototipo de la Mquina Analtica de Babbage, diseada y
construida de 1834 hasta 1871 (Extrada de Berrn, 2007:11).
La significacin del contenido de las Notas de Ada no tuvo reconocimiento hasta un
siglo ms tarde. Fue la primera persona
que escribi un lenguaje de programacin para las computadoras,
pero su identidad estuvo oculta durante muchos aos, hasta que
Menabrea, se interes por saber su nombre. Su autora estuvo
relegada a un segundo plano, se la conoca como la expositora
e intrprete de las ideas de Babbage y firm sus trabajos con sus
iniciales A.A.L., por miedo a ser censurada por ser mujer. Otro
ejemplo de esta discriminacin social, sera su infructuoso intento
de acceder a la Biblioteca de la Real Sociedad de Londres (Royal
Society) de la que era miembro su marido: las mujeres estaban
excluidas y no podan formar parte de la misma.
Florence Nightingale,
(1820-1910)
Fue una persona religiosa, crtica con la formacin y preparacin que reciban las
mujeres en aquella poca, e impulsora
de reformas en el mbito educativo, estadstico y de la administracin civil y militar.
Propuso la creacin de escuelas de
enfermeras, basadas en nuevos planes formativos tericoprcticos, y contribuy, por
medio de mtodos estadsticos,
144
a la minoracin de muertes de soldados militares durante la
guerra de Crimea, a partir de la mejora de las condiciones
higinicas de los hospitales y de la imposicin de reglas de
administracin sanitaria. Su obra es relevante y sugerente,
consta de unos 200 libros, adems de informes y folletos.
91
El legado de Florence Nightingale es sugerente, amplio y variado. Escribi unos 200
libros, informes y folletos. Tambin impuls reformas como
administradora, como educadora y como estadstica, donde haremos ms
hincapi, por ser la parte de su obra que interesa en esta materia.
Como investigadora se encarg de recopilar datos sobre natalidad y mortalidad en
distintos hospitales para realizar estudios estadsticos. Aprovechando sus
conocimientos en matemticas, analiz los datos de que dispona utilizando como
metodologa la estadstica mdica y el razonamiento
inductivo. Este anlisis tuvo como resultado una reduccin de la tasa de
las epidemias y de la mortalidad del 43% al 2% en los hospitales militares
britnicos y signific una mejora de la asistencia sanitaria tanto de forma
cuantitativa como cualitativa. A da de hoy, los estudios estadsticos de
Florence Nightingale siguen siendo un recurso muy utilizado en las clnicas
y Hospitales para elaborar los diagnsticos mdicos.
La dama de la lmpara tambin invent un sistema de logaritmos que mejor la
prctica quirrgica y dise un sistema de representacin grfica de
datos parecido a los diagramas de sectores actuales, llamado diagrama
de rea polar.
Nightingale utiliz este Diagrama de rea polar para representar el nmero de las
muertes acaecidas en el ejrcito britnico durante la guerra de
Crimea por enfermedades infecciosas, por heridas y las debidas a otras
causas, entre abril de 1854 y marzo de 1856:Extrado de:
http://www.ine.es/expo_graficos2010/expogra_autor4.htm
El texto de la imagen dice lo siguiente:
Cada una de las reas azules, rojas y las secciones negras, est
145
medida utilizando el centro como vrtice comn. Las secciones azules medidas desde
el centro del crculo representan, rea por rea,
las muertes por Enfermedades Zymticas, desde Prevenibles hasta
Mitigables.
Las secciones rojas medidas desde el centro representan las muertes
de heridas. Las secciones negras medidas desde el centro representan las muertes por
otras causas.
La lnea negra que cruza el tringulo rojo en Noviembre 1854 marca
el lmite de las muertes debidas a todas las otras causas durante ese
mes.
En octubre de 1854 y abril de 1855, el rea negra coincidi con la roja.
En enero y febrero de 1855, el azul coincidi con el negro.
Las reas completas pueden compararse siguiendo las lneas limtrofes del azul, el rojo
y el negro.93
La contribucin de Florence a la mejora de la estadstica social fue reconocida por el
matemtico britnico precursor de la estadstica moderna,
Karl Pearson.
Como administradora, Nightingale influy en la mejora de la sanidad en
los hospitales militares y civiles, as como en la asistencia social en la
India (entonces colonia inglesa) impulsando medidas pioneras de control
de infecciones. Defendi una dieta sana como factor clave para la recuperacin, y
organiz los recursos humanos y materiales que tena a su
alcance gestionando su funcionamiento, lo que proporcion una mejora
en el sistema sanitario, sobre todo en cuanto a higiene y formacin del
personal se refiere.
Su obra sobre planificacin hospitalaria, Notas sobre cuestiones relativas
a la sanidad, la eficacia y la administracin de los hospitales en el Ejrcito
Britnico, influy en la mejora de la educacin de los soldados y mdicos
militares. Fue traducida a muchos idiomas y, en la actualidad, sigue siendo
un manual usado con frecuencia por el personal de la administracin sanitaria. Muchas
de las sugerencias que ella le hizo al Secretario de Estado
para la Guerra sirvieron para elaborar reglamentos militares y fomentaron
146
la creacin de la Comisin Real sobre Sanidad en el Ejrcito Britnico en
1857.
Como educadora impuls la mejora de la formacin prctica del personal
sanitario. Para ello contribuy a la creacin de escuelas para la formacin
de mdicos militares
6
y de mujeres enfermeras, impulsando el acceso de
estas a la educacin y a una experiencia prctica en esta disciplina
7
. Su
principal obra, Notas sobre Enfermera. Qu es y qu no es, fue utilizada
en las escuelas para la formacin de enfermeras y sigue siendo en la actualidad un
manual consultado por quienes trabajan en el mbito sanitario.
Florence Nightingale desarroll sobre todo la concepcin, hasta entonces
rechazada, y que, sin embargo, ha permanecido vigente hasta la actualidad,
de la necesidad de obtener datos y sistematizarlos, anotarlos, pasarlos a
6 En 1960 se cre la primera Escuela de Medicina Militar del Reino Unido.
7 Mis teoras no han suscitado inters entre las mujeres. Las que fueron conmigo a
Crimea
no aprendieron nada de m, y ninguna *+ ha sacado las lecciones de la guerra
escribi
Florence a Mary Mohl en diciembre de 1861 (Attewell, 2000:7, citando a Vicinus y
Nergaard,
1989:230). grficas y diagramas, para poder hacer cualquier investigacin aplicada.
Tambin influy muy positivamente en la profesionalizacin de las mujeres
enfermeras y contribuy a la mejora del mbito educativo en este campo.
No obstante, no aplic esta frmula a otras profesiones, discriminando la
labor de otras mujeres que precisaron su apoyo para acceder a la medicina. Ella
consideraba que la medicina era una profesin de hombres en la
que las mujeres no podan tener cabida. En la actualidad, siguen existiendo
profesiones feminizadas, una de ellas es precisamente la enfermera.
Se han realizado varias pelculas sobre ella
147
8
, existen multitud de piezas
audiovisuales sobre su trayectoria (por ejemplo en www.youtube.com),
aunque, por supuesto, donde ms informacin podemos obtener sobre su
vida y obra es en el Florence Nightingale Museum de Londres
9
.
Sofa Vassilievna Kovalevski,
(1850-1888)
Sofa Kovalevski nace en el seno de una familia de la alta
burguesa de Mosc. Desde pequea posea una facilidad
para las matemticas asombrosa. Aunque su posicin social
la coloc en un contexto ms favorable para desarrollar su
intelecto que al resto de las mujeres en Rusia, Sofa se encontrar a lo largo de su vida
con numerosas barreras que le
dificultan su educacin, por el hecho de ser mujer.
Su esfuerzo hasta conseguir un alto nivel en matemticas y
un reconocimiento de sus logros, hacen de ella no solo una
brillante matemtica, sino tambin una mujer rebelde que luch por la emancipacin
de las mujeres y por su educacin.
Obtuvo una ctedra en matemticas, gan el Premio Bordin
y destac tambin por su trabajo literario, reivindicando el
papel de las mujeres en el mundo intelectual.
Naci en Mosc, el 15 de enero del ao 1850. Vivi su infancia en
Pabilino, Bielorrusia.
Sonia amaba desde nia la lectura y la poesa, se senta poeta en su
interior. Durante su niez, adems de su hermana, dos de sus tos
influyeron notablemente en su vida. Uno de ellos, un autntico amante
de la lectura y aunque no era matemtico le apasionaba esta ciencia; su
otro to le enseaba ciencias y biologa.
A los trece aos empez a mostrar muy buenas cualidades para el
lgebra pero su padre, a quien le horrorizaban las mujeres sabias,
decidi frenar los estudios de su hija. An as Sonia sigui estudiando
por su cuenta con libros de lgebra, y aquello que nunca haba
estudiado lo fue deduciendo poco a poco.
148
Sonia a partir de los conocimientos que ya tena, explic y analiz por
si misma lo que era el concepto de seno tal y como haba sido
inventado originalmente. Un profesor descubri las facultades de Sonia,
y habl con su padre para recomendarle que facilitara los estudios a su
hija. Al cabo de varios aos su padre accedi y Sonia comenz a tomar
clases particulares.
Los aos de su adolescencia fueron aos de rebelin, la poca de las
grandes revoluciones y manifestaciones de siglo XIX en las que el
socialismo feminista iba ganando terreno.
Hasta entonces a las mujeres se les impeda el acceso a la universidad,
por lo que se contraan matrimonios de conveniencia. Eso es lo que
hizo Sonia para escapar de control paterno y poder salir a estudiar. As
se cas con Vladimir Kovalevsky y se march a Heildelberg, donde
tampoco la dejaron acceder a la universidad ms que como oyente.
Pronto atrajo la atencin de los profesores que la recomendaron para la
universidad de Berln con Weierstrass, a quien consideraba el mejor
matemtico de la poca. All tampoco estaba permitido el acceso de las
mujeres a las universidades, pero Weierstrass accedi a trabajar con ella
en privado.
Al mismo tiempo que estudiaba comenzaba su trabajo de doctorado.
Durante sus aos en Berln escribi tres tesis: dos sobre temas de
matemticas y una tercera sobre astronoma. Ms tarde el primero de
estos trabajos apareci en una publicacin matemtica a la que
contribuan las mentes ms privilegiadas.
Sofa dedic su vida al estudio de las matemticas en un pas y en un
contexto en el que esta labor estaba reservada a los hombres. Pese a ello,
Sofa reivindic su derecho a formarse en matemticas y la mayor aportacin que nos
deja es el esfuerzo que realiza hasta ser la primera mujer que
logra un reconocimiento profesional y acadmico en esta materia.
Sobre la teora de las ecuaciones diferenciales parciales trabaja con un
sistema de ecuaciones diferenciales de primer orden con distintos nmeros de
variables. En este texto aparece el teorema CauchyKovalevski.
El trabajo sobre integrales abelianas, denominado Sobre la Reduccin de
cierta clase finita de Integrales Abelianas de tercer orden, ser publicado
en Acta Mathematica en 1884.
El trabajo sobre los anillos de Saturno llevar el ttulo Investigacin suplementaria y
observaciones sobre la investigacin de Laplace sobre la
forma de los anillos de Saturno y sobre la propiedad de un sistema de
ecuaciones.
Escribir tambin un texto, Sobre la propagacin de la luz en los medios
149
cristalinos, que ser publicado en Acta Mathematica en 1883.
Su investigacin ms importante fue Sobre el problema de la rotacin de
un cuerpo alrededor de un punto fijo, con la que obtiene el Premio Bordin,
de la Academia de las Ciencias de Pars. En esta investigacin Sofa resolvi las
ecuaciones del movimiento, planteando un sistema de seis ecuaciones diferenciales y
considerando el tiempo como una variable compleja.
Sus investigaciones sern utilizadas en la mecnica y en las matemticas
hasta nuestros das.
GRACE CHISHOLM YOUNG (1868-
1944)
Grace Chisholm Young destac por ser una de las mentes
matemticas ms importantes de la historia. Su vida se desarrolla en un contexto
familiar y social mucho ms favorable
que el de otras mujeres cientficas o matemticas, por lo que
no encontr demasiados impedimentos para desarrollar su
intelecto y sus posteriores investigaciones. Tras su matrimonio con William Young
publica varias obras, pero es difcil
delimitar y distinguir su aportacin de la de su marido. El libro ms exitoso puede que
sea Primer Libro de Geometra,
donde plasma sus teoras sobre lo conveniente de ensear
geometra en dimensin 3 (3D), ya que es mucho ms real
que la geometra del plano, enseada hasta el momento.
Naci en Inglaterra, durante la poca victoriana. Su familia gozaba de
una privilegiada situacin y de una elevada educacin. Su padre haba
tenido un prestigioso cargo en el Departamento de Pesas y Medidas del
gobierno britnico y la madre era una consumada pianista que, junto a
su padre, daba recitales de violn y de piano. Era la ms pequea de
cuatro hermanos, todos eran hombres menos ella. Solo le enseaban lo
que quera aprender que era clculo mental y msica, que le enseaba
su madre hasta los diez aos. A los diecisiete pas los exmenes de
Cambridge, pero no le dejaron seguir estudiando por ser mujer. Ms
tarde a los veintin aos decidi continuar estudiando.
Escribi Primer libro de Geometra en el que opinaba sobre el inters
que tena ensear geometra utilizando cuerpos geomtricos en tres
dimensiones. Quera estudiar medicina pero su madre no aprob esa
150
eleccin, por lo que con el apoyo de su padre comenz a estudiar
matemticas. Entr en la universidad de Cambridge. Tuvo dificultades
para asistir a clases de Arthur Cayley (1821-1895) pero obtuvo all su
licenciatura. Para proseguir su carrera como matemtica debi
abandonar su pas, pues en l an no era posible que una mujer se
doctorase, e ir a Gttingen. Grace consigui doctorarse, la podemos
considerar como la primera mujer que consigui doctorarse en
matemticas de una forma "normal".
Volvi a Inglaterra, y su tesis fue reproducida y enviada a aquellas
personas que le pudieran interesar. Una de estas personas fue William
Young que le pidi su colaboracin para escribir un libro de
astronoma. Willian la solicit en matrimonio y ella lo rechaz, pero la
insistencia de Willian no ces hasta que se casaron. Durante el primer
ao de matrimonio vivieron en Cambridge a final de ese ao naci su
primer hijo y adems Willian decidi trasladarse a Alemania, pasaron
gran parte de su vida viajando por: Alemania, Inglaterra, Suiza e Italia.
Tuvo seis hijos y una familia tan numerosa no permita desarrollar
muchas actividades fuera del hogar. Ella elabor una serie de textos, e
hizo unas aportaciones a la Integral de Lebesque y estudio de las
Derivadas de las Funciones Reales.
Como ha sucedido a lo largo de la historia con las investigaciones y escritos de
numerosas mujeres, en el caso de Grace es muy difcil dividir las
aportaciones que hace ella a las matemticas de las que hace su marido,
ya que la gran mayora de las obras se publican con el nombre de ambos.
Podemos sealar, no obstante, que el profesor William Young no publica
ninguna investigacin original ni destaca en el mundo de la investigacin
matemtica hasta que contrae matrimonio con Grace Chisholm. A continuacin nos
centraremos en algunos de los temas sobre los que ella trabaj.
En el ao 1905 Grace escribe dos libros: Bimbo y Primer libro de Geometra. En el
primero de ellos la autora describe el proceso de divisin celular.
Esta publicacin nace con el objetivo de servir de herramienta didctica
para instruir en Biologa a uno de sus hijos.
Primer Libro de Geometra lo escribe en colaboracin con su marido. Este
libro goza de gran fama an en la actualidad. Fue traducido a varios idio-11
mas y reeditado en 1970, con el nombre de Beginners Book of Geometry.
En l se plasma el hecho de que a los escolares no se les inculcara el
hbito de la observacin geomtrica, ni se les instruyera en la prctica
natural del pensamiento en dimensin 3. Grace en esta obra afirma lo
siguiente:
151
En cierto sentido la geometra plana es ms abstracta que la tridimensional, o
tambin llamada geometra del slido (Salvador y Molero,
s/f:6).
Grace era partidaria de que los alumnos y alumnas utilizaran herramientas a su alcance
para construir figuras geomtricas (lpices, tijeras, papel,
alfileres), por lo que en esta publicacin incluy desarrollos de figuras
tridimensionales para que pudieran ser construidas. Opinaba que viendo
estas figuras construidas sera ms sencillo que entendieran y resolvieran
los problemas de geometra, ya que la geometra en dimensin 3 es ms
cercana a la realidad y a la experiencia cotidiana. De esas figuras geom-
tricas, solo 5 pueden ser clasificadas dentro del grupo de poliedros regulares o slidos
platnicos.
1
A lo largo de su vida elabor unos 200 artculos en colaboracin con su
marido e hizo aportaciones a la integral de Lebesque y sobre el estudio de
las derivadas de las funciones reales.
La integral de Lebesque fue denominada as en honor a su creador, Henri
Lebesque (18751991) y fue enormemente importante en diversas ramas
de estudio de las matemticas como el anlisis real.
La integral de una funcin no negativa puede considerarse como el rea
entre la grfica de una curva y el eje X. La integral de Lebesque extiende
el concepto de integracin a un grupo mucho ms amplio de funciones.
Otra famosa obra de Grace es The theory of sets of points, escrita en
1906 y reeditada en numerosas ocasiones, donde expone teoras sobre
1 Los slidos platnicos reciben este nombre en honor al filsofo griego Platn (427-
347a.C),
a quien se le atribuye haberlos estudiado en primera instancia y son aquellos que se
puedan
definir como poliedros convexos, que sus caras sean polgonos regulares iguales y que
en
sus vrtices converjan el mismo nmero de caras. Estos son: tetraedro, hexaedro o
cubo,
152
octaedro, dodecaedro e icosaedro.los nmeros racionales e irracionales o la
representacin de nmeros en
una lnea recta. Sobre esto ltimo en este libro se manifiesta lo siguiente:
Una de las propiedades fundamentales del conjunto de los nmeros
racionales es el orden. Nos encontramos en la segunda parte que la
idea de orden es una de las ms esenciales para la comprensin de
los conjuntos de puntos, y que tenemos la costumbre de usar el orden
de algunos o todos los nmeros racionales como un estndar de comparacin.
El orden de los nmeros racionales en su conjunto es tal que no podemos decir cul es
el siguiente nmero racional en orden de magnitud
despus de uno dado a, o antes de un determinado c. En efecto, si a
y c son cualquiera de los dos nmeros racionales, siempre se puede
insertar un nmero racional b entre ellos.
Ayuda a la imaginacin el hecho de que podamos establecer una correspondencia (1,
1) entre los nmeros racionales y algunos puntos
de la lnea recta, de tal manera que el orden se mantiene, es decir, si
Ap, Aq, Ar, son tres de los puntos que corresponden a los nmeros
racionales p, q, r, entonces Aq se encuentra entre Ap y Ar, si y solo si,
q se encuentra entre p y r, y viceversa.
Despus de este recorrido a lo largo de la vida y obra de Grace
Chisholm, podemos concluir que sus trabajos nacen en gran medida con aspiraciones
didcticas, tanto para los escolares como ms
concretamente para sus hijos e hijas, a quienes prest su apoyo
por igual en lo que a la enseanza de las matemticas u otras ramas de la ciencia se
refiere:
Su hijo Frank (Bimbo) que muri durante la primera guerra mundial prometa ser un
gran cientfico. Janet fue fsica, *+. Cecily se
doctor en matemticas en Cambridge, como tambin hubiese deseado Grace. Laurie
tambin fue matemtica. Pat fue un qumico
reconocido. (Salvador y Molero, s/f:4).
Mileva Maric,
(18751948)
Contar la historia de Mileva Maric es contar tambin la de
153
Albert Einstein, ya que los postulados y teoras que dieron
fama a este cientfico, son, por lo menos, fruto del trabajo
de ambos. La sociedad cientfica del siglo XX en Alemania,
y despus la del resto del mundo, le encumbr, pero no son
pocos los testimonios y las pruebas documentales que avalan la teora de una
apropiacin de la actividad investigadora
de Mileva, que mostr siempre una extraordinaria inteligencia y aptitud para las
matemticas.
La aportacin de Mileva a las matemticas y ms concretamente a la teora de la
relatividad, es difcil de comprobar, ya que los testimonios escritos
han sido, cuando no destruidos, ocultados. Incluso algunas investigaciones afirman que
la misteriosamente desaparecida tesis doctoral que Mileva presenta en el ao 1901,
desarrollaba precisamente las bases de un
nuevo planteamiento de la teora de la relatividad.
3 The Collected Papers of Albert Einstein, vol. 8, p. 44. Princeton University
Press.1998.Para ser ms exactos, las aportaciones de Mileva a las matemticas se
convirtieron ms bien en aportaciones al trabajo de Einstein, bien por las
propias circunstancias, bien por la actitud que tom Einstein, una vez su
fama se extiende por Alemania y por el resto del mundo, invisibilizando el
trabajo de su esposa.
No es hasta el ao 1990, durante un Simposium sobre Einstein, cuando
comienzan a ver la luz las contribuciones de Mileva a los trabajos publicados de
Einstein. Es Evan Harris Walter quien apunta por primera vez, de
una manera evidente y pblica, la posibilidad de la apropiacin por parte
de Einstein de las aportaciones a la teora de la relatividad hechas por su
esposa Mileva.
Se conocen en primer lugar varios artculos, publicados en el ao 1905
(conocido como annus mirabilis o ao milagroso en la biografa de Einstein) en
Annalen der Physik y firmados, como hemos dicho y segn asegura el director de la
publicacin, por Mileva y Einstein. El nombre de uno de
ellos es Punto de vista heurstico concerniente a la emisin y la transformacin de la
luz *efecto fotoelctrico+, refirindose a un nuevo concepto
de la naturaleza de la luz y su interaccin con la materia, estando formada
(la luz) por partculas de energa.
154
Otro artculo publicado en ese mismo ao es el que trata ms concretamente de la
teora de la relatividad, titulado Sobre la Electrodinmica de
los cuerpos en movimiento:
El propsito del artculo de 1905, como su propio ttulo indica, era desarrollar una
electrodinmica de los cuerpos mviles fundamentada en
las leyes de la electrodinmica de Maxwell para los cuerpos en reposo
*+ (Otero, s/f:1).
En este artculo se afirmaba que la teora de la relatividad de Maxwell no
era del todo completa, ya que conduca a asimetras.
Se sabe que cuando la electrodinmica de Maxwell (tal como se
suele entender actualmente) se aplica a cuerpos en movimiento,
aparecen asimetras que no parecen estar en correspondencia con
los fenmenos observados. Pensemos, por ejemplo, en la interaccin electrodinmica
entre un imn y un conductor. En este caso, el fenmeno que se observa depende
solamente del movimiento relativo entre el conductor y el imn, mientras que de
acuerdo a la
interpretacin comn se deben distinguir claramente dos casos muy
diferentes, dependiendo de cul de los dos cuerpos se mueva. Si se
mueve el imn mientras que el conductor se encuentra en reposo, alrededor del imn
aparece un campo elctrico con cierto valor para su
energa. Este campo elctrico genera una corriente en el lugar donde
se encuentre el conductor.
Pero si el imn est en reposo y el conductor se mueve, alrededor del
imn no aparece ningn campo elctrico sino que en el conductor se
produce una fuerza electromotriz que en s no corresponde a ninguna
energa, pero da lugar a corrientes elctricas que coinciden en magnitud y direccin
con las del primer caso, suponiendo que el movimiento
relativo es igual en cada uno de los casos bajo consideracin.
Otros ejemplos de esta ndole as como los intentos infructuosos para
constatar un movimiento de la Tierra con respecto al medio de propagacin de la luz,
permiten suponer que no solamente en mecnica
sino tambin en electrodinmica ninguna de las propiedades de los
155
fenmenos corresponde al concepto de reposo absoluto. Ms bien
debemos suponer que para todos los sistemas de coordenadas, en
los cuales son vlidas las ecuaciones mecnicas, tambin tienen validez las mismas
leyes electrodinmicas y pticas, tal como ya se ha
demostrado para las magnitudes de primer orden. Queremos llevar
esta suposicin (cuyo contenido sera llamado de ahora en adelante
principio de la relatividad) al nivel de hiptesis y adems introducir
una hiptesis adicional que solamente a primera vista parece ser incompatible con el
principio de la relatividad. Dicha hiptesis adicional
sostiene que la luz en el espacio vaco siempre se propaga con cierta
velocidad V que no depende del estado de movimiento del emisor.
4
Un tercer artculo, atribuido tambin a lo largo de la historia nicamente a
Einstein es: Depende la inercia de un cuerpo de su contenido de ener-
4 Extracto de una traduccin literal del artculo Zur Elektrodynamik bewegter
Korper (Sobre
la Electrodinmica de los cuerpos en movimiento), cuya autora aparece solo con el
nombre
de Albert Einstein, realizada por Hernando Quevedo (ICN UNAM, 2005) disponible
en:
http://jvr.freewebpage.org/TableOfContents/Volume6/Issue2/SobreLaElectrodinamica
DeCuerposEnMovimiento.pdfga? En este artculo se mostraba una deduccin de la
frmula de la relatividad, que relaciona masa y energa: la variacin de masa de un
objeto
que emite una energa L, es: .
Esta frmula implicara que la energa E de un cuerpo en reposo es igual a
su masa m multiplicada por la velocidad de la luz al cuadrado:
Lo que se intenta demostrar en este artculo es que la masa contiene cierta
energa, almacenada en la propia materia.
Mileva realiz un gran trabajo matemtico. A lo largo del siglo XX
las crnicas cientficas y los avatares de su vida han ido forjando
una historia que se ha convertido en oficial y ha sido repetida en
156
numerosos foros cientficos y matemticos. Una historia sesgada,
que ha adjudicado el absoluto protagonismo al varn y que ha invisibilizado el trabajo
de la mujer, como en tantas otras ocasiones.
Aunque su reconocimiento haya podido llegar tarde, es importante
destacar que cada vez ms investigaciones le otorgan la importancia que merece y su
nombre est presente dentro del grupo de
grandes matemticos y matemticas del siglo XX.
Amalie Emmy Noether,
(1882-1935)
Brillante matemtica especialista en lgebra. Naci, creci y
se form en Alemania, pero cuando Hitler lleg al poder tuvo
que emigrar a Estados Unidos: ella era una persona intelectual, pacifista, liberal y,
adems, juda.
Inici estudios en historia y lenguas modernas, pero finalmente se declin por las
matemticas. Sus principales aportaciones suponen un legado de incalculable valor.
En 1918 propuso el conocido Teorema Noether, que se aplica a la fsica matemtica.
Asimismo, su nombre tambin va
unido a otros conceptos como anillos noetherianos, grupos
noetherianos, mdulos noetherianos, espacios topolgicos
noetherianos, o la invariable Noether, entre otros.
Naci en Alemania, era hija de judos. Su padre le transmiti el amor a
las matemticas, era profesor, investigador de la geometra algebraica.
Se encontr con bastantes problemas para acceder a la universidad, ya
que todas las mujeres de esta poca incluso las ms privilegiadas
estaban vetadas al campo universitario y de investigacin, pues el
rgimen poltico y la sociedad les hacia verse a s mismas como seres
inferiores y secundarios.
En Erlangen se la permiti asistir a clase pero no se poda examinar.
Bajo la supervisin de Pal Gordon escribi un tratado basado en la
teora de los invariantes y obtuvo el grado de Doctor Cum Lauden con
la tesis "sobre los sistemas completos de invariantes para las formas
bicuadradas terciarias"
Trabaj en el Instituto Matemtico de Erlange ayudando a su padre.
Ms tarde se traslad a Gttingen, el principal centro matemtico de
Europa. All trabaj con Hilbert y Klein y desarrollo un intenso trabajo
que fue determinante para su investigacin.
Enunci "el teorema de Noether" bsico en la teora de la relatividad.
157
Sus diversas aportaciones en el lgebra conmutativa, lgebra abstracta y
lgebra no conmutativa, influyeron en el trabajo de los matemticos ms
reconocidos de la poca y posteriores, por su incalculable valor.
Distinguiremos en la vida de Emmy, tres grandes etapas en las que desarroll su obra:
Una primera etapa, en la Universidad de Erlangen, entre los aos 1882
y 1915, donde ley su tesis doctoral, titulada Sistemas completos de invariantes para
formas ternarias bicuadrticas, que public en 1908 en la
revista cientfica Mathematische Annalen, bajo la tutela de Paul Gordan.131
Ernst Fischer
9
sustituy a Gordan cuando este abandon la docencia y
fue quien introdujo a Emmy en el estudio de la obra de David Hilbert. En
ella se bas para publicar artculos sobre su metodologa aplicada a objetos
matemticos, como los cuerpos de funciones racionales y la teora
de los invariantes de grupos finitos. Con Fischer mantuvo correspondencia en la que
discutan impresiones sobre lgebra abstracta (Kimberling,
1981: 11-12).
En una segunda etapa, destacamos sus aportaciones en la Universidad de
Gttinguen entre los aos 1915 a 1932, junto a Flix Klein, David Hilbert
10
y su equipo de trabajo. All elabor su tesis de habilitacin en 1918, sobre
invariantes algebraicos, Variationsprobleme que impact directamente
en el mundo del lgebra abstracta. Este trabajo describe grupos de simetras y
establece la relacin que existe entre cada uno de estos grupos con
las leyes de conservacin de la energa en el sistema que corresponda. La
variationsprobleme dio lugar a dos demostraciones de teoremas elementales para la
Teora de la Relatividad, que permitieron resolver los fallos en
que incurra el Teorema de la conservacin de la energa, relacionando la
simetra con las leyes fsicas de conservacin de esta.
Estos dos teoremas dieron lugar al Teorema que lleva su nombre, Teorema
Noether, bsico en lgebra abstracta y utilizado en mecnica y teora de
158
campos, que relaciona el lgebra y el anlisis. Tapia (2002:57) lo explica
as:
*+ Este teorema se basa en las propiedades de invariancia del lagrangiano de un
sistema, bajo la accin de ciertas transformaciones
llamadas simetras. A las leyes de conservacin a las que obedece
dicho sistema les llama tambin principios porque rigen en todas las
leyes de la naturaleza gobernadas por lagrangianos invariantes bajo el
mismo grupo de transformaciones. As ocurre con el principio de conservacin de la
energa, o el principio de conservacin de la cantidad
de movimiento o impulso de los cuerpos o el principio de conservacin
del momento angular El teorema de Noether expresa, de manera
9 Matemtico (1875-1954), tambin mentor de Emmy Noether.
10 Ante el rechazo de miembros dela Universidad sobre el acceso de las mujeres a la
docencia, Hilbert dijo en una ocasin No veo por qu el sexo de un candidato tiene
que ser un
argumento en contra de su admisin como Privatdozent. A fin de cuentas, la junta
directiva
no es un bao pblico. (Soria, 2009:55).general, que si al principio de una reaccin se
cuenta con cierto nmero de entidades (cargas, bariones, leptones), al final se
encontrar el
mismo nmero de entidades *+
En 1921 public un artculo sobre la Teora de ideales en anillos,
Idealtheorie in Ringbereichen, en el que introdujo el concepto de Anillo
noetheriano, y distingue entre los anillos conmutativos y los no conmutativos. En 1924,
public Construccin abstracta de la Teora de ideales en el
dominio del cuerpo de los nmeros algebraicos.
El lgebra moderna trabaja las operaciones algebraicas y estructuras
algebraicas pero, para poder entender el trabajo de Emmy, deberamos
analizar detenidamente una serie de conceptos y teoras que influyeron
notablemente en sus aportaciones, por ejemplo, a qu se llama grupo y
anillo conmutativo en lgebra:
Un grupo, es un conjunto (A), con una operacin (por ejemplo la
159
suma, la multiplicacin...) tal que cuando se combinan dos o ms elementos del
conjunto mediante esa operacin vuelve a dar un elemento
del conjunto. Adems, la operacin ha de ser asociativa, tener elemento neutro e
inverso. Si la operacin es conmutativa se dice que el grupo
es conmutativo.
Un anillo es una estructura algebraica formada por un conjunto (A), y
dos operaciones, por ejemplo suma y producto, tal que (A, +, x) cumple
las siguientes propiedades:
1.- Para la suma (A) es un grupo conmutativo con elemento neutro
(que designamos 0).
2.- El producto es asociativo y tiene la propiedad distributiva respecto
de la suma. Si el producto es conmutativo diremos que es conmutativo
y si el anillo posee un elemento neutro para el producto, lo llamaremos
anillo con unidad (al que designaremos 1).
Su mayor contribucin a las matemticas es, sin duda, la aplicacin de los
invariantes a la geometra algebraica, axiomatizacin, y el desarrollo de la
teora algebraica de anillos, mdulos, ideales, grupos con operadores etc.,
que son la base del lgebra moderna.133
Ella unific la Filosofa de la matemtica, las invariables, y la simetra de
ecuaciones. Tambin facilit el razonamiento sobre conceptos algebraicos.
Adems de los anillos noetherianos, son muchos los otros conceptos matemticos que
llevan su nombre, como la invariable noether, los grupos
noetherianos
11
, los mdulos noetherianos, o los espacios topolgicos
noetherianos, entre otros. Asimismo, el Teorema del homomorfismo y el
isomorfismo, condicin de cadena ascendente y descendente para grupos
e ideales, o nocin de grupos con operadores, son tambin conceptos introducidos por
ella.
Noether public lgebras no conmutativas
12
160
en 1933, en la revista Mathematische Zeitschriff.
La tercera y ltima etapa de su vida, de 1933 a 1935, la pas en EEUU,
donde trabaj con Einstein en la consolidacin algebraica de la Teora de
la relatividad, a partir de la teora de los invariantes.
Sus trabajos han sido reconocidos mundialmente como fundamentales por
las eminencias matemticas ms competentes del siglo XX. Citaremos algunos a modo
de ejemplo.
Einstein public un artculo en el New York Times un mes despus del
fallecimiento de Emmy Noether, en el que deca lo siguiente.
Descubri mtodos sobre lgebra, que han resultado de enorme importancia en el
desarrollo de la actual generacin de matemticos
(Einstein, 1 de mayo 1935).
A pesar de su genialidad, resulta difcil encontrar datos sobre ella en los
libros de Historia Matemtica.
Quizs muchas de nosotras y nosotros sabemos que la teora de la
relatividad se debe a Albert Einstein, sin la cual no se hubiera desarrollado la energa
atmica, pero pocas personas saben que sin Emmy
Noether esta teora no hubiera existido (Cervantes, 2005:1).
11 Esta teora relaciona las propiedades de ecuaciones, los nmeros algebraicos y los
grupos.
12 Nichtkommutative lgebraeb.Como curiosidad, hubo quien se refiri a ella
utilizando el artculo nominativo masculino singular en alemn, der Noether que
significa el Noether,
como apelativo carioso, y su amigo Aleksandrov, en la Sociedad Matem-
tica de Mosc, dijo de ella que fue la ms grande de las mujeres matem-
ticas, una gran cientfica, magnfica profesora y una inolvidable persona
(Jimnez 2007:15).
GRACE MURRAY HOPPER (1906-1992)
Grace Murray fue una mujer pionera tanto en el mundo de la
investigacin matemtica como en el hecho de ser de las primeras mujeres que hizo
carrera militar, con ms de cuarenta
aos de servicio. Su logro ms importante fue crear el primer
161
sistema que adapt el lenguaje de programacin al lenguaje
de las mquinas informticas.
Durante los aos cuarenta un grupo de mujeres program el primer
ordenador, el ENIAC, fabricado para el ejercito.
Por eso queremos recordar a esta mujer pionera en computacin, que
dedic su trabajo a la programacin de aquellos ordenadores que
comenzaban a ser sofisticados y cuya dedicacin nos ha dejado
lenguajes de programacin y herramientas tan tiles como un
compilador. Grace Murray Hopper se gradu en matemticas y fsica en
los EEUU y se doctor en matemticas.
Grace, despus de diez aos de dedicacin a la docencia, entr a formar
parte de la marina, donde debido a su gran capacidad en matemticas,
le fueron encomendadas actividades del departamento de inteligencia
en las que se programaban y mejoraban los ordenadores. Sus colegas
estaban asombrados por su eficacia como informtica y matemtica.
Uno de los primeros ordenadores con los que trabaj fue el Mark I, el
primero a gran escala del mundo. A finales de los cincuenta, con objeto
de hacer ms amigable la utilizacin de los ordenadores, Grace ide un
compilador capaz de permitir la comunicacin utilizando frases en
ingls, en lugar de tener que usar instrucciones en cdigo mquina. Este
hecho condujo a la creacin del lenguaje de programacin COBOL, que
an hoy contina utilizndose como lenguaje de gestin.
Grace fue admirada y recibi muchos honores por sus servicios y su
trabajo como informtica.
1
En 1949 Grace empieza a trabajar en la Eckert-Mauchly Corporation, realizando
numerosas aportaciones, sobre todo en el plano de la programacin
informtica.
A continuacin trabaj en el Mark II, que tena el objetivo de crear una
supercomputadora digital automtica, sucesora del primer proyecto.
Tras la segunda guerra mundial, Grace trabaj para UNIVAC, la primera
supercomputadora que se distribuira comercialmente en EE.UU. El UNIVAC era una
computadora que procesaba los dgitos en serie y registraba
los datos en cintas magnticas. Ocupaba una superficie de 25 m2
. Su procesador utilizaba 5 mil vlvulas, pesaba 16.000 libras (7.257 kg.
aproximadamente) y era capaz de realizar 8.333 adiciones o 555 multiplicaciones
por segundo.
En el ao 1952 Grace cre el primer compilador de la historia (A-0), un programa que
permiti a los programadores adaptar su lenguaje de programacin a un lenguaje
propio de la mquina computadora, es decir, traducir
162
el cdigo informtico en cdigo de mquina. A este primer compilador seguira el B-0
(Flow-Matic), usado en el clculo de nminas. La compilacin
es enormemente til en informtica. Un programa de lenguaje avanzado
trabaja con instrucciones complejas que, tras la compilacin, se traducen
en N operaciones bsicas.
Con el tiempo, estos primeros pasos desembocaron en el famoso lenguaje
COBOL (siglas en ingls de Lenguaje Comn Orientado a los Negocios),
un lenguaje de programacin universal, caracterizado por su seguridad
y fiabilidad, por lo que an en nuestros das se sigue demandando en
entornos que priman la seguridad en sus datos por encima de todo, como
por ejemplo en el sector financiero, y ms concretamente en las oficinas
bancarias. Grace estaba en el comit que dirigi la investigacin y creacin
de este lenguaje. En sus comienzos fue utilizado en grandes empresas
para automatizar el sistema de nminas y facturacin. Ante el xito de este
nuevo lenguaje informtico, la armada estadounidense solicit la presencia de Grace
con el fin de estandarizar para ella el lenguaje COBOL. Este
lenguaje, aunque se ha visto superado por otros lenguajes ms avanzados
como el Java, PHP o el C++ entre otros, an se sigue empleando en muchas empresas.
Una curiosidad que se le atribuye a Grace es la acuacin del vocablo
blug (bicho), que hoy en da se utiliza para denominar los errores en las
computadoras y que surgi a raz de que Grace localizara una pequea
mariposa en la computadora del proyecto Mark II y que produca diversos
errores de funcionamiento.
EMMA CASTELNUOVO
Emma Castelnuovo es una profesora de Matemticas de Secundaria
italiana, concretamente de Roma.
En 1946 da una conferencia y escribe un artculo sobre El Mtodo
Intuitivo para ensear Geometra en el Primer Ciclo de Secundaria.
En 1952 publica su libro de Aritmtica I Numeri para alumnos de
primer ciclo de Secundaria.
Ha dado muchos cursos y conferencias tanto en Italia como en otros
pases y participa en casi todos los congresos y comisiones nacionales e
internacionales sobre educacin matemtica.
Ha dado clases a nios nigerianos.
163
Ha estado en Espaa en varias ocasiones. Concretamente en Cantabria
dos veces.
Su nombre lo lleva una sociedad de profesores de matemticas de
Madrid.
EDNA PAISANO
Edna Paisano naci en la reserva india de Nez Perc, en Sweetwater,
Idaho, en el ao 1948.
Estudi en Washington, siguiendo el ejemplo de su madre, quien haba
finalizado sus estudios como maestra en educacin especial y fue
galardonada por la National Educational Association. Sin embargo,
Edna estudi trabajo social, y reflexion sobre el poder de la estadstica
como herramienta. Completamente convencida de que el estudio de
esta ciencia poda ayudar mucho a mejorar la situacin de su pueblo.
Fue encarcelada precisamente por persuadir al gobierno de los Estados
Unidos a devolver a los indios americanos, el Fort Lawton, que era
legalmente una propiedad india. Aos ms tarde le ofrecieron trabajar
en la oficina del censo de lo Estados Unidos en temas relacionados con
los indios nativos de Alaska, y eso la convirti en la primera mujer
india que obtena un puesto de la administracin.
Tras el censo de 1980, descubri que haba lugares geogrficos donde
no se les haba tenido en cuenta, y por tanto la distribucin de los
fondos pblicos se estaba basando en censos figurados.
Edna utiliz modernas tcnicas estadsticas para mejorar la calidad de
estos censos y mediante grandes esfuerzos en reas muy relevantes de
las matemticas como programacin de ordenadores, demografa y
estadstica, y coordinando diversas campaas de informacin publica,
puso de manifiesto ante la sociedad americana la importancia de la
recogida de datos.
Estos esfuerzos fueron realmente productivos y en 1990 el censo
reflejaba un incremento del 38% de los indios americanos residentes en
Estados Unidos.
Aos ms tarde le ofrecieron trabajar en la oficina del censo de lo
Estados Unidos en temas relacionados con los indios nativos de Alaska,
y eso la convirti en la primera mujer india que obtena un puesto de la
administracin.
Tras el censo de 1980, descubri que haba lugares geogrficos donde
no se les haba tenido en cuenta, y por tanto la distribucin de los
fondos pblicos se estaba basando en censos figurados.
Edna utiliz modernas tcnicas estadsticas para mejorar la calidad de
estos censos y mediante grandes esfuerzos en reas muy relevantes de
las matemticas como programacin de ordenadores, demografa y
estadstica, y coordinando diversas campaas de informacin publica,
puso de manifiesto ante la sociedad americana la importancia de la
recogida de datos.
164
Estos esfuerzos fueron realmente productivos y en 1990 el censo
reflejaba un incremento del 38% de los indios americanos residentes en
Estados Unidos.
argentinas
Vera Martha Winitzky de Spinadel
Naci en 1929 en Buenos Aires, es una matemtica argentina.
Fue profesora consultora de matemtica en la Universidad de Buenos
Aires; directora de investigaciones en el Centro de Matemtica y Diseo
(MAyDI)], directora del Laboratorio de Matemtica & Diseo, en
la Facultad de Arquitectura, Diseo y Urbanismo, Universidad de Buenos
Aires; presidenta de la Asociacin Internacional de Matemtica &
Diseo desde 1998, que realiza publicaciones en Journal of
Mathematics & Design; obras bsicas en fractales geomtricos y aplicaciones de la
matemtica en arquitectura y diseo; es lder en el campo de "Metallic Means" en el
desarrollo de la proporcin urea clsica con amplio reconocimiento internacional.
Tambin escribi varios libros. Recibi la Medalla de oro 30 por la docencia
universitaria en la UBA y en el 2010 el premio Profesora Emrita UBA.
Cora Sadosky
Naci en Buenos Aires, el 23 de mayo de 1940. Muere en California, Estados Unidos, el
3 de diciembre de 2010. Fue una matemtica argentina. Hija de los tambin
matemticos, Cora Ratto, profesora de Matemticas de la Universidad de Buenos
Aires y de Manuel Sadosky, fundador y primer director del Centro de Cmputos de
dicha Universidad.
Cora curs su escuela primaria en Europa, donde sus padres estaban haciendo un
postdoctorado. Estudio solo un ao en una escuela secundaria pblica de Argentina, y
continu estudiando en forma privada aprobando los exmenes como alumna libre. En
1960 obtuvo, con honores, su licenciatura en Matemticas en la Universidad de
Buenos Aires y luego un doctorado en la Universidad de Chicago, Illinois.
Alentada por el Dr. Alberto P. Caldern y el Dr. Antoni Zygmund, Cora eligi trabajar
en el rea de Anlisis Armnico. Luego de obtener su doctorado volvi a su pas para
desempearse como profesora auxiliar de ctedra en la Facultad de Ciencias
Exactas de la Universidad de Buenos Aires. Cuando en 1966 los militares
argentinos intervinieron la Universidad, regres a Estados Unidos a trabajar como
Catedrtica Auxiliar en la Universidad de John Hopkins en Baltimore, Maryland. Ms
adelante se traslad a Venezuela donde fue profesora de la Universidad Central de
Venezuela, (Caracas) hasta 1980. Desde este ltimo ao ha sido catedrtica de
la Howard University en Washington. Desde 1990 se desempe en la Universidad de
California,Santa Clara y desde 1996 en la Universidad de California, Berkeley. Tambin
hizo investigaciones en el Instituto de Estudios Avanzados de Princeton y en el Instituto
de Investigacin en Ciencias Matemticas en Berkeley.
165
Public ms de 50 artculos en el rea de anlisis funcional y anlisis armnico. Fue
premiada por la Fundacin Nacional de Ciencias y estaba asociada a la Asociacin
Americana para el Avance de la Ciencia.
Dorothy Maud Wrinch
Naci el 12 de septiembre de 1894 en Rosario y muere el 11 de febrero de 1976, fue
una matemtica y terica bioqumica conocida por su intento de deducir la estructura
de la protena utilizando principios matemticos.
De nia se mud con su familia a Inglaterra creciendo en Surbiton, cerca de Londres.
Luego asisti a la preparatoria Surbiton High School, para en 1913 ingresar al Girton
College, Universidad de Cambridge, donde comenz a interesarse por las matemticas.
En 1916 se gradu de sus estudios universitarios con los ms altos honores
universitarios. Tras esto, pas un cuarto ao en la universidad, aprendiendo las
materias relativas a ciencias morales, por lo que as pudo comenzar a estudiar la lgica
matemtica junto con Bertrand Russell.
Tiempo despus, Dorothy desarroll un modelo de la estructura de la protena, al cual
denomin hiptesis del ciclol.
14) Los Nobel de Matemticas: La Medalla Fields
Mucha gente conoce los Premios Nobel, que se conceden anualmente,
el 10 de diciembre (fecha en la que muri Alfred Nobel) en Suecia,
desde el ao 1902, a personas que han sobresalido en ciertos campos,
realizando aportaciones lo suficientemente importantes a la sociedad.
Estos premios los invent Alfred Nobel, qumico e inventor de la
dinamita. Nobel quiso inventar la dinamita para ayudar a la
construccin y la minera, pero esto tambin fue muy til para la
guerra, por lo que quiso remendar el mal causado por la dinamita,
usando el dinero que haba ganado para la creacin de estos premios.
Las disciplinas que incluye son: Fsica, Qumica, Medicina, Literatura,
Economa y Paz.
Sin embargo, no existe el premio Nobel de Matemticas. Existen varias
leyendas para explicar este tema:
Cuando Nobel pens en los premios pidi consejo a especialistas sobre
quin podra merecer cada uno de ellos. En la categora de Matemticas le
informaron que Mittag-Leffler, un matemtico sueco, sera idneo para
recibirlo. Pero Nobel se llevaba mal con l, y prefiri no entregar premio en
esta rama para no drselo a l.
Otra leyenda urbana dice que la amante de Nobel, la vienesa Sophie Hess, lo
enga con el matemtico Gsta Mittag-Leffler.
Sin embargo, otras fuentes citan que estas historias son falsas, y Nobel nunca lo
aclar. No se tiene constancia de que Nobel tuviera referencias de este
matemtico sueco, de hecho parece ser que apenas lo conoca, por tanto no
166
podra llevarse mal con l. La otra historia se desmonta de forma
sencilla: Nobel nunca estuvo casado.
Una idea ms plausible es que ya exista un Premio Escandinavo de
Matemticas con el que Nobel no quiso competir. Sin embargo, lo ms
probable es que sencillamente Nobel consideraba las Matemticas como algo
puramente terico y no como una fuente de progreso y felicidad para la
Humanidad, no era importante para la vida en el sentido prctico y eligi para
los premios ramas que s consider importantes para el avance de la sociedad,
por tanto, las dej de lado en su testamento.
Pero se equivoc en ese razonamiento ya que las Matemticas son esenciales
en nuestra vida.
Para suplir esta carencia, y ante la ausencia de un premio matemtico de
prestigio mundial, la Unin Matemtica Internacional instaur en 1936, la
Medalla Internacional para Descubrimientos Sobresalientes en Matemticas,
sin embargo, fue John Charles Fields, quien tuvo la idea y dej un legado
econmico a su muerte con objeto de establecer el premio, y al final, ha
acabado por bautizarlo.
Los ICM (Congreso Internacional de Matemticos) nacieron en 1887 en Zurich
y, desde 1900 vienen celebrndose cada cuatro
aos, salvo por las excepciones correspondientes a las guerras mundiales. Estos
Congresos son uno de los mayores acontecimientos cientficos y sociales de la
comunidad matemtica internacional, y la entrega de las medallas Fields es uno
de sus momentos centrales. Actualmente se siguen entregando
ininterrumpidamente desde el Congreso de Oslo de 1936, cuando el rey
Haakon VII de Noruega entreg la primera al matemtico finlands Lars
Ahlfors.
Breve resea sobre John Fields
John Charles Fields fue un matemtico canadiense nacido en
Hamilton (Ontario), el 14 de mayo de 1863. Se licenci en
matemticas en la Universidad de Toronto en 1884, y obtuvo el
doctorado en la Universidad John Hopkins en 1887. Fue profesor
en el Allegheny College, luego trabaj y vivi en Europa durante
casi diez aos, relacionndose con matemticos prestigiosos
como Frobenius y Schwarz. En 1902 regres a Toronto para
ejercer como profesor en la universidad de esa ciudad.
Su obra matemtica ms importante fue en el campo de las
funciones de variable compleja. Muri el 9 de agosto de 1932,
en Toronto. A lo largo de su vida ejerci importantes cargos:
perteneci a la Royal Society of Canad en 1907, y en 1913 a la
Royal Society of London.
Fue presidente del VII Congreso Internacional de Matemticas (ICM), que en
1924 se llev a cabo en Toronto. Al trmino de este congreso, Fields impuls la
167
idea de un premio internacional de matemticas (dos medallas otorgadas en
reconocimiento a la labor matemtica). A su muerte, en el testamento de Fields
estaba escrito que legaba sus bienes para financiar este premio (por ello lleva
su nombre). Con motivo de la Primera Guerra Mundial existieron ciertas
divisiones entre la comunidad matemtica, hasta el punto de que a los
matemticos de los pases perdedores no se les permita formar parte de la
International Mathematical Union, creada en 1923, y por ello no pudieron
asistir al Congreso de 1924 en Toronto, lo que dej ver que no todas las
decisiones eran tomadas simplemente bajo criterios cientficos. Por ello Fields
sugiri que los premios deberan otorgarse a nivel internacional, y sin
vincularlos a ningn pas, persona o institucin. Otra propuesta de Fields fue
que los galardonados fuera gente joven, para animarlos y estimularlos. Aunque
nunca especific una edad, el premio siempre se otorg a menores de 40 aos.
En el ICM de Zurich de 1932, habiendo muerto Fields unos meses antes, se
acept su legado, permitiendo as que se llevara a cabo su proyecto. Se nombr
un comit de ocho miembros presidido por Costantin Carathodory, que, en el
ICM de 1936, en Oslo, otorg las dos primeras medallas Fields y 10.000 euros
(a diferencia de los Nobel, que son 1,4 millones de dlares).
El jurado es designado entre dos congresos consecutivos por el comit
ejecutivo de la Unin Internacional de Matemticas, y su composicin se
mantiene en secreto hasta la concesin de las medallas.
Es un galardn con el mismo prestigio del Nobel que desde 1936, y con
periodicidad de cuatro aos desde 1950 (durante la Segunda Guerra Mundial
no se entregaron), se ha otorgado este premio a aquellas personas que han
destacado en su rea realizando importantes aportaciones, reconociendo as su
logro sobresaliente en Matemtica. En 1966 se aument el nmero de medallas
que se conceda inicialmente (dos) a cuatro premiados en cada congreso,
debido a la gran expansin en la investigacin matemtica.
Las leyendas escritas en las medallas
Las medallas que se otorgan en estos premios fueron diseadas por el escultor
canadiense Robert Tait McKenzie en 1933, est chapada en oro y en el anverso
tiene el busto del matemtico griego Arqumedes, uno de los primeros grandes
matemticos de la Historia, junto a su nombre y la inscripcin latina transire
svvm pectus mvndoque potire (sobrepasar su propio entendimiento y
apoderarse del mundo). La inscripcin fue redactada por el profesor G.
Norwood, de la Universidad de Toronto. En el reverso figura la
inscripcin congregati ex toto orbe mathematici obscripta tribvere (reunidos los
168
matemticos de todo el mundo para premiar las obras maestras), junto con el
dibujo de la famosa inscripcin (se representa la esfera de Arqumedes inscrita
en un cilindro).
Lista de los matemticos premiados hasta 2010 (la prxima edicin ser en
2014)
1936: Lars Ahlfors (Finlandia) y Jesse Douglas (Estados Unidos)
1950: Laurent Schwartz (Francia) y Atle Selberg (Noruega)
1954: Kunihiko Kodaira (Japn) y Jean-Pierre Serre (Francia)
1958: Klaus Friedrich Roth (Reino Unido) y Ren Thom (Francia)
1962: Lars V. Hrmander (Suecia) y John Willard Milnor (Estados Unidos)
1966: Michael Francis Atiyah (Reino Unido), Paul Joseph Cohen (Estados
Unidos), Alexander Grothendieck (Estados Unidos) y Stephen Smale
(Estados Unidos)
1970: Alan Baker (Reino Unido), Heisuke Hironaka (Japn), Sergey Novikov
(Unin Sovitica) y
John Griggs Thompson (Estados Unidos)
1974: Enrico Bombieri (Italia) y David Bryant Mumford (Reino Unido)
1978: Pierre Ren Deligne (Blgica), Charles Louis Fefferman (Estados
Unidos), Grigori Margulis (Unin Sovitica) y Daniel G. Quillen (Estados
Unidos)
1982: Alain Connes (Francia), William P. Thurston (Estados Unidos) y Shing-
Tung Yau (China)
169
1986: Simon Donaldson (Reino Unido), Gerd Faltings (Alemania) y Michael
Freedman (Estados Unidos)
1990: Vladimir Drnfeld (Unin Sovitica), Vaughan Jones (Nueva Zelanda),
Shigefumi Mori (Japn) y Edward Witten (Estados Unidos)
1994: Pierre-Louis Lions (Francia), Jean-Christophe Yoccoz (Francia), Jean
Bourgain (Blgica) y Yefim Zelmanov (Rusia)
1998: Richard Ewen Borcherds (Sudfrica), W. Timothy Gowers (Inglaterra),
Maxim Kontsevich (Rusia) y Curtis T. McMullen (Estados Unidos)
2002: Vladimir Voevodsky (Rusia) y Laurent Lafforgue (Francia)
2006: Andrei Okounkov (Rusia), Grigori Perelman (Rusia, rechaz el
premio), Terence Tao (Australia) y
Wendelin Werner (Francia)
2010: Elon Lindenstrauss (Israel), Ngo Bao Chau (Vietnam), Stanislav
Smirnov (Rusia) y Cdric Villani (Francia)
Hace unos aos, fue noticia la renuncia al premio por parte del matemtico
ruso Grigory Perelman, galardonado en 2006 por encontrar la demostracin de
la conjetura de Poincar, pendiente desde hace ms de 100 aos (lo comparti
el premio con Terence Tao, Andrey Okounkov y Wendelin Werner). Por cierto,
que Perelman tambin rechaz el premio de 1 milln de dlares por haber
resuelto uno de los 7 problemas del milenio.
En 1998, Andrew Wiles gan el nico galardn de plata concedido hasta la
fecha. La razn: su demostracin del ltimo Teorema de Fermat fue realizada
cuando tena 40 aos, y no completada hasta un par de aos ms tarde.
El Premio Abel
Tratando de evitar las duras restricciones de la Medalla Fields y ofrecer un
premio anual a los mejores matemticos del mundo sin limitacin de edad, en
2003 se estableci el Premio Abel, con la clara intencin de cubrir la ausencia
del Nobel matemtico. La idea del premio surgi a principios del siglo XX, pero
debi pasar un siglo hasta que finalmente se llev a la prctica.
En analoga con los Nobel, el Abel se elige por la Academia Noruega y lo
entrega el Rey de dicho pas (el Nobel corre a cargo de sus equivalentes
suecos). El propio nombre es un conveniente guio a los Nobel. Niels Abel fue
un brillantsimo matemtico noruego que muri con tan solo 27 aos.
Existen tres matemticos (Jean-Pierre Serre, Michael Atiyah y John Thompson)
que cuentan en su haber con un premio Abel y una medalla Fields.
Premio Nevanlinna
170
Hay otro premio que se concede desde el Congreso de Varsovia de 1983, y que
supone un reconocimiento por parte de la UMI a la importancia creciente de la
computacin en la matemtica. El premio Nevanlinna se concede a los ms
importantes avances en los aspectos matemticos de la teora de la
informacin y de la computacin. Este premio honra la memoria
del matemtico finlands Rolf Nevanlinna.
Matemticos galardonados con el Nobel
A pesar de la inexistencia del Nobel de Matemticas, muchos matemticos han
recibido premios Nobel aunque en otras disciplinas.
El premio Nobel de Economa casi puede llegar a considerarse como un
Nobel de Matemticas encubierto, como el que recibi en 1994 John
Forbes Nash (personaje que inspir la pelcula Una mente maravillosa).
Paul Dirac y Erwin Schrdinger fueron galardonados con el Nobel de Fsica
en 1933. Aunque ambos pasaron a la Historia como fsicos tericos, eran
matemticos de formacin, y ambos (especialmente Dirac) han dejado
grandes contribuciones a las Matemticas.
Ha habido algunos matemticos galardonados con el Nobel de
Literatura, como Bertrand Russell en 1950, un hombre que realiz
contribuciones de importancia universal tanto en las Matemticas
como en la Filosofa, siendo destacada la obra matemtica (escrita
junto con Alfred North Whitehead) Principia Mathematica. Su
aportacin matemtica ms reconocida es la Paradoja de Russel,
traducida como la Paradoja del Barbero: En un lejano poblado de un
antiguo emirato haba un barbero llamado As-Samet diestro en afeitar
cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un
da el emir se dio cuenta de la falta de barberos en el emirato, y orden
que los barberos slo afeitaran a aquellas personas que no pudieran
hacerlo por s mismas. Cierto da el emir llam a As-Samet para que lo
afeitara y l le cont sus angustias:
-En mi pueblo soy el nico barbero. Si me afeito, entonces puedo afeitarme
por m mismo, por lo tanto no debera afeitarme el barbero de mi pueblo
que soy yo! Pero, si por el contrario no me afeito, entonces algn barbero
me debe afeitar, pero yo soy el nico barbero de all!
El emir pens que sus pensamientos eran tan profundos, que lo premi con
la mano de la ms virtuosa de sus hijas. As, el barbero As-Samet vivi para
siempre feliz.
Bertrand Russel escribi sobre una amplia gama de temas, desde
los fundamentos de las matemticas y la teora de la relatividad al
matrimonio, los derechos de las mujeres y el pacifismo. Al menos,
su talento matemtico fue premiado con el Nobel de Literatura.
El espaol Jos de Echegaray, dramaturgo, poltico espaol, fundador
de la Real Sociedad Matemtica Espaola, gan el premio literario en
171
1904, siendo su obra teatral El Gran Galeoto la destacada por la academia..
Naci en Madrid el 19 de abril de 1832. Estudi en la Escuela de Ingenieros,
donde se gradu como Ingeniero de caminos, canales y puertos. All se qued
como docente de matemticas, estereotoma, hidrulica, geometra
descriptiva, clculo diferencial y fsica. Ingres en la Real Academia de Ciencias
Exactas con 32 aos y lleg a ser su presidente entre 1901 y 1907; mientras que
en 1903 funda la Real Sociedad Espaola de Fsica y Qumica. Considerado el
mejor matemtico espaol del siglo XIX, ara la matemtica espaola, el siglo XIX
comienza en 1865 con Echegaray. Su obra cientfica abarca desde el clculo de
variaciones, hasta la geometra analtica, pasando por el lgebra lineal e incluso
la termodinmica.
La Academia de Ciencias, a peticin de Ramn y Cajal, cre la medalla
Echegaray en 1907 en su honor y l fue el primer galardonado.