Escolar Documentos
Profissional Documentos
Cultura Documentos
www.lectulandia.com - Pgina 2
Ian Stewart
www.lectulandia.com - Pgina 3
Ttulo original: Taming the Infinite. The story of Mathematics
Ian Stewart, 1985
Traductor: Javier Garca Sanz
www.lectulandia.com - Pgina 4
www.lectulandia.com - Pgina 5
Las matemticas no nacieron plenamente formadas. Fueron hacindose
gracias a los esfuerzos acumulativos de muchas personas que procedan de muchas
culturas y hablaban diferentes lenguas. Ideas matemticas que se siguen utilizando
hoy datan de hace ms de 4000 aos.
Muchos descubrimientos humanos son efmeros; el diseo de las ruedas de carro fue
muy importante para el Reino Nuevo Egipcio, pero hoy da no es exactamente
tecnologa de vanguardia. Las matemticas, por el contrario, suelen ser permanentes.
Una vez que se ha hecho un descubrimiento matemtico est a disposicin de
cualquiera, y con ello adquiere una vida propia. Las buenas ideas matemticas
difcilmente pasan de moda, aunque la forma de implementarlas puede sufrir cambios
espectaculares. Hoy seguimos utilizando mtodos para resolver ecuaciones que
fueron descubiertas por los antiguos babilonios. Ya no utilizamos su notacin, pero el
vnculo histrico es innegable.
De hecho, la mayora de las matemticas que se ensean hoy en la escuela tienen
ms de 200 aos.
La inclusin de las matemticas modernas en los programas de estudio en los
aos sesenta del siglo pasado llev la asignatura al siglo XIX. Pero, contra lo que
pueda parecer, las matemticas no se han quedado quietas. Hoy da, se crean ms
matemticas nuevas cada semana que las que los babilonios pudieron manejar en dos
mil aos.
El progreso de la civilizacin humana y el progreso de las matemticas han ido de
la mano. Sin los descubrimientos griegos, rabes e hindes en trigonometra, la
navegacin en ocanos abiertos hubiera sido una tarea an ms aventurada de lo que
fue cuando los grandes marinos abrieron los seis continentes. Las rutas comerciales
de China a Europa, o de Indonesia a las Amricas, se mantenan unidas por un
invisible hilo matemtico.
La sociedad de hoy no podra funcionar sin matemticas. Prcticamente todo lo
que hoy nos parece natural, desde la televisin hasta los telfonos mviles, desde los
grandes aviones de pasajeros hasta los sistemas de navegacin por satlite en los
automviles, desde los programas de los trenes hasta los escneres mdicos, se basa
en ideas y mtodos matemticos. A veces son matemticas de mil aos de edad; otras
veces son matemticas descubiertas la semana pasada. La mayora de nosotros nunca
nos damos cuenta de que estn presentes, trabajando entre bastidores para facilitar
esos milagros de la tecnologa moderna.
Esto no es bueno: nos hace creer que la tecnologa funciona por magia, y nos
lleva a esperar nuevos milagros cada da. Por otra parte, es tambin completamente
natural: queremos utilizar estos milagros con tanta facilidad y tan poco esfuerzo
mental como sea posible. El usuario no debera cargarse con informacin innecesaria
sobre la maquinaria subyacente que hace posible los milagros. Si todos los pasajeros
de un avin tuvieran que superar un examen de trigonometra antes de embarcar en el
www.lectulandia.com - Pgina 6
avin, pocos de nosotros dejaramos la tierra alguna vez. Y aunque eso podra reducir
nuestra pisada de carbono, tambin hara nuestro mundo muy pequeo y provinciano.
Escribir una historia de las matemticas verdaderamente completa es virtualmente
imposible. La disciplina es ahora tan amplia, tan compleja y tan tcnica, que ni
siquiera un experto podra entender por completo un libro semejante; dejando aparte
el hecho de que nadie podra escribirlo. Morris Kline se acerc con su pico
Pensamiento matemtico desde la antigedad hasta los tiempos modernos. Tiene ms
de 1200 pginas de letra pequea, y deja fuera casi todo lo que ha sucedido en los
ltimos cien aos.
Este libro es mucho ms corto, lo que quiere decir que he tenido que ser selectivo,
especialmente en lo que se refiere a los siglos XX y XXI. Soy plenamente consciente
de todos los temas importantes que he tenido que omitir. No hay geometra
algebraica, ni teora de cohomologa, ni anlisis de elementos finitos, ni ondeletes.
La lista de lo que falta es mucho ms larga que la lista de lo que se ha incluido.
Mis elecciones se han guiado por lo que probablemente es la formacin bsica de
los lectores y por la concisin con que pueden explicarse las nuevas ideas.
La historia sigue aproximadamente un orden cronolgico dentro de cada captulo,
pero los captulos estn ordenados por temas. Esto es necesario para darle una
coherencia narrativa, si lo pusiera todo en orden cronolgico, la discusin saltara de
forma aleatoria de un tema a otro, sin ningn sentido de direccin.
Esto podra estar ms cerca de la historia real, pero hara el libro ilegible. Por eso,
cada nuevo captulo empieza con una vuelta al pasado, y luego toca algunos de los
hitos histricos por los que pas la disciplina en su desarrollo. Los primeros captulos
se detienen a mucha distancia en el pasado; los ltimos captulos recorren a veces
todo el camino hasta el presente.
He tratado de dar una idea de las matemticas modernas, por lo que entiendo
cualquier cosa hecha en los ltimos 100 aos ms o menos, seleccionando temas de
los que los lectores pueden haber odo hablar y relacionndolos con las tendencias
histricas generales. La omisin de un tema no implica que carezca de importancia,
pero creo que tiene ms sentido dedicar algunas pginas a hablar de la demostracin
de Andrew Wiles del ltimo Teorema de Fermat de lo que la mayora de los
lectores han odo hablar que, por ejemplo, a la geometra no-conmutativa, de la que
tan slo el fundamento ocupara varios captulos.
En definitiva, sta es una historia, no la historia. Y es historia en el sentido en que
cuenta un relato sobre el pasado. No se dirige a historiadores profesionales, no hace
las finas distinciones que ellos creen necesarias, y a veces describe ideas del pasado a
travs de los ojos del presente. Esto ltimo es el pecado capital para un historiador,
porque hace que parezca que los antiguos estaban luchando por llegar a nuestro modo
de pensamiento actual. Pero creo que es defendible y esencial si el objetivo principal
es partir de lo que ahora sabemos y preguntar de dnde proceden dichas ideas. Los
griegos no estudiaron la elipse para hacer posible la teora de las rbitas planetarias
www.lectulandia.com - Pgina 7
de Kepler, ni Kepler formul sus tres leyes del movimiento planetario para que
Newton las convirtiera en su ley de la gravedad. Sin embargo, la historia de la ley de
Newton se basa firmemente en el trabajo griego sobre la elipse y el anlisis de Kepler
de los datos observacionales.
Un subtema del libro son los usos prcticos de las matemticas. Aqu he ofrecido
una muestra muy eclctica de aplicaciones, pasadas y presentes. Una vez ms, la
omisin de un tema no indica que carezca de importancia.
Las matemticas tienen una historia larga y gloriosa aunque algo olvidada, y la
influencia de la disciplina sobre el desarrollo de la cultura humana ha sido inmensa.
Si este libro transmite una minscula parte de la historia, habr alcanzado lo que yo
me propuse.
COVENTRY
MAYO DE 2007
www.lectulandia.com - Pgina 8
www.lectulandia.com - Pgina 9
Las matemticas empezaron con los nmeros, y los nmeros siguen
siendo fundamentales, incluso si la disciplina ya no se limita a los clculos
numricos. Sobre la base de los nmeros, las matemticas han construido conceptos
ms sofisticados y se han desarrollado hasta constituir un rea muy amplia y variada
del pensamiento humano, que va mucho ms all de lo que encontramos en un tpico
temario escolar. Las matemticas de hoy tratan ms de estructuras, pautas y formas
que de los propios nmeros. Sus mtodos son muy generales, y a menudo muy
abstractos. Tienen aplicaciones en la ciencia, la industria, el comercio, incluso las
artes. Las matemticas son universales y ubicuas.
www.lectulandia.com - Pgina 10
La historia de las matemticas empieza con la invencin de smbolos escritos para
denotar nmeros. Nuestro familiar sistema de dgitos 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, para
representar todos los nmeros imaginables, por grandes que sean, es una invencin
relativamente reciente; naci hace unos 1500 aos, y su extensin a los decimales,
que nos permite representar nmeros con alta precisin, no tiene ms de 450 aos.
Los computadores, que han introducido los clculos matemticos en nuestra cultura
de forma tan profunda que ya no notamos su presencia, llevan con nosotros tan slo
unos 50 aos.
Y slo hace 20 aos que disponemos de computadores suficientemente potentes y
rpidos para servirnos en nuestros hogares.
Sin nmeros, la civilizacin tal como ahora la conocemos no podra existir. Los
nmeros estn por todas partes, como sirvientes ocultos que corren de un lado a otro
entre bastidores: llevan mensajes, corrigen nuestra ortografa cuando escribimos a
mquina, programan nuestros vuelos de vacaciones al Caribe, llevan el registro de
nuestros bienes, garantizan que nuestros medicamentos sean seguros y efectivos. Y,
en contrapartida, hacen posibles las armas nucleares y guan bombas y misiles hacia
sus objetivos.
No todas las aplicaciones de las matemticas han mejorado la condicin humana.
Cmo surgi esta industria numrica verdaderamente enorme?
Incluso entonces, los contables ya estaban registrando quin era el propietario de
qu, y de cunto; incluso si todava no se haba inventado la escritura y no haba
smbolos para los nmeros. En lugar de smbolos numerales, aquellos contables
antiguos utilizaban pequeas fichas de arcilla. Unas eran conos, otras eran esferas y
otras tenan forma de huevos.
Haba cilindros, discos y pirmides. La arqueloga Denise Schhmandt-Besserat
dedujo que estas fichas representaban productos bsicos de la poca. Las esferas de
arcilla representaban fanegas de grano, los cilindros representaban animales, los
huevos jarras de aceite. Las fichas ms antiguas datan del 8000 a. C. y fueron de uso
comn durante 5000 aos.
www.lectulandia.com - Pgina 11
El hueso de Ishango, con las pautas de marcas y los nmeros que pueden representar.
www.lectulandia.com - Pgina 12
Arriba. Las marcas de cuenta tienen la ventaja de que pueden ir aadindose de una en una,
durante largos periodos, sin alterar o borrar marcas anteriores. Se siguen utilizando hoy, a
menudo en grupos de cinco con el quinto trazo cruzando diagonalmente los cuatro anteriores.
Abajo. La presencia de marcas de cuenta an puede verse en los numerales modernos.
Nuestros smbolos 1,2, 3 se derivan, respectivamente, de un solo trazo, dos trazos horizontales
unidos por una lnea inclinada, y tres trazos horizontales unidos por una lnea inclinada.
Se dio porque las fichas se utilizaban para llevar registros, quiz con fines
impositivos o financieros, o como prueba legal de propiedad. Las fichas tenan la
ventaja de que los contables podan ordenarlas rpidamente para calcular cuntos
animales o cunto grano posea o deba alguien. El inconveniente era que las fichas
podan ser falsificadas. As que para asegurar que nadie interfera en las cuentas, los
contables guardaban las fichas en recipientes de arcilla, como si estuvieran
precintadas. Podan descubrir rpidamente cuntas fichas, y de qu tipo, haba dentro
de un recipiente dado rompindolo. Siempre podan hacer un nuevo recipiente para
un almacenamiento posterior.
Sin embargo, romper repetidamente un recipiente y renovarlo era una forma muy
poco eficaz de descubrir lo que haba dentro, y los burcratas de la antigua
Mesopotamia pensaron algo mejor. Inscribieron smbolos en el recipiente que hacan
una lista de las fichas que contena. Si haba dentro siete esferas, los contables
dibujaban siete esferas en la arcilla hmeda de la vasija.
En algn momento los burcratas mesopotmicos se dieron cuenta de que, una
vez que haban dibujado los smbolos en el exterior del recipiente, ya no necesitaban
los contenidos, y ya no tenan que romper el recipiente para ver qu fichas haba
dentro.
Este paso obvio pero crucial dio lugar a un conjunto de smbolos numerales
escritos, con diferentes formas para diferentes clases de bienes. Todos los dems
smbolos numerales, incluidos los que hoy utilizamos, son los descendientes
www.lectulandia.com - Pgina 13
intelectuales de este antiguo artificio burocrtico. De hecho, es posible que la
sustitucin de fichas por smbolos haya constituido tambin el nacimiento de la
propia escritura.
Marcas de cuenta
| | | | | | | | | | | | |
para representar el nmero 13. Las marcas ms viejas conocidas de este tipo, 29
muescas grabadas en un hueso de pata de babuino, tienen unos 37 000 aos. El hueso
se encontr en una cueva en las montaas Lebombo, en la frontera entre Swazilandia
y Sudfrica, por lo que la cueva se conoce como la Cueva de la Frontera, y el hueso
es el hueso de Lebombo. A falta de una mquina del tiempo, no hay modo de estar
seguros de lo que representan las marcas, pero podemos hacer conjeturas informadas.
Un mes lunar tiene 28 das, de modo es posible que las muescas estn relacionadas
con las fases de la Luna.
Hay reliquias similares de la Europa antigua. Un hueso de lobo encontrado en la
antigua Checoslovaquia tiene 57 marcas dispuestas en once grupos de cinco con dos
sueltas, y tiene unos 30 000 aos. Dos veces 28 es 56, de modo que esto podra ser un
registro lunar de dos meses. Una vez ms, parece que no hay modo de comprobar esta
sugerencia. Pero las marcas parecen deliberadas, y debieron hacerse por alguna
razn.
Otra antigua inscripcin matemtica, el hueso de Ishango en Zaire, tiene 25 000
aos (estimaciones previas de 6000-9000 aos fueron revisadas en 1995). A primera
vista las marcas a lo largo del borde del hueso parecen hechas casi al azar, pero quiz
haya pautas ocultas. Una fila contiene los nmeros primos entre 10 y 20, a saber, 11,
13, 17 y 19, cuya suma es 60. Otra hilera contiene 9, 11, 19 y 21, que tambin suman
60. La tercera hilera recuerda un mtodo utilizado a veces para multiplicar dos
nmeros por duplicacin y por divisin por dos repetida. Sin embargo, las pautas
aparentes pueden ser una simple coincidencia, y tambin se ha sugerido que el hueso
de Ishango es un calendario lunar.
Las marcas de cuenta tienen la ventaja de que pueden irse aadiendo de una en
una, durante largos periodos, sin alterar o borrar marcas anteriores. Se siguen
utilizando hoy, a menudo en grupos de cinco con el quinto trazo cruzando
diagonalmente los cuatro anteriores.
www.lectulandia.com - Pgina 14
La presencia de marcas de cuenta es profunda, y an puede verse en los
numerales modernos. Nuestros smbolos 1, 2, 3 se derivan, respectivamente, de un
solo trazo, dos trazos horizontales unidos por una lnea inclinada, y tres trazos
horizontales unidos por una lnea inclinada.
El camino histrico desde las fichas de los contables a los numerales modernos es
largo e indirecto. Con el paso de los milenios, los pueblos de Mesopotamia
desarrollaron la agricultura, y su forma de vida nmada dio paso a un asentamiento
permanente en una serie de ciudades-estado: Babilonia, Erido, Lagash, Sumer, Ur.
Los primitivos smbolos inscritos en tablillas de arcilla hmeda se transformaron en
pictogramas smbolos que representan palabras mediante imgenes simplificadas
de lo que las palabras significan y posteriormente los pictogramas se simplificaron
y quedaron reducidos a un pequeo nmero de marcas con forma de cua, que se
impriman en la arcilla utilizando un estilete seco con un extremo plano y afilado.
Podan hacerse diferentes tipos de cuas manejando el estilete de diferentes maneras.
Hacia el 3000 a. C. los sumerios haban desarrollado una elaborada forma de
escritura, ahora llamada cuneiforme: en forma de cua.
La historia de este periodo es complicada; diferentes ciudades se hicieron
dominantes en tiempos diferentes. La ciudad de Babilonia, en particular, alcanz gran
importancia, y aproximadamente un milln de tablillas de arcilla babilnicas han sido
extradas de las arenas mesopotmicas. Unos pocos cientos de ellas tratan de
matemticas y astronoma, y muestran que los babilonios tenan un amplio
conocimiento de ambas disciplinas. En particular, eran astrnomos expertos y
desarrollaron un simbolismo sistemtico y sofisticado para los nmeros con el que
podan representar datos astronmicos con alta precisin.
Los smbolos numerales babilnicos van mucho ms all de un simple sistema de
recuento, y son los ms antiguos smbolos conocidos en hacerlo.
Se utilizan dos tipos diferentes de cua: una cua delgada y vertical para
representar el numero 1, y una cua gruesa horizontal para el nmero 10.
Estas cuas se disponan en grupos para indicar los nmeros 2-9 y 20-50.
Sin embargo, esta pauta se detiene en 59, y la cua delgada toma entonces un
segundo significado, el nmero 60.
Se dice por ello que el sistema de numeracin babilnico es de base 60, o
sexagesimal. Es decir, el valor de un smbolo puede ser un nmero, o 60 veces dicho
nmero, o 60 veces 60 veces dicho nmero, dependiendo de la posicin del smbolo.
En esto es similar a nuestro familiar sistema decimal, en el que el valor de un smbolo
se multiplica por 10, o por 100, o por 1000, dependiendo de su posicin. En el
www.lectulandia.com - Pgina 15
nmero 777, por ejemplo, el primer 7 significa siete cientos, el segundo significa
setenta y el tercero significa siete.
Para un babilonio, una serie de tres repeticiones del smbolo para
7 tendra un significado diferente, aunque basado en un principio similar. El primer
smbolo significara 7 60 60, o 25 200; el segundo significara 7 60 = 420; el
tercero significara 7. Por lo tanto, el grupo de tres significara 25 200 + 420 + 7, que
es 25 627 en nuestra notacin. An pueden encontrarse hoy reliquias de los nmeros
babilonios de base 60.
Los 60 segundos en un minuto, 60 minutos en una hora y 360 grados en un
crculo completo se remontan a la antigua Babilonia.
Puesto que es difcil escribir a mquina en cuneiforme, los estudiosos escriben los
numerales babilnicos utilizando una mezcla de nuestra notacin de base 10 y su
notacin de base 60. As, las tres repeticiones del smbolo cuneiforme para 7 se
escribirn como 7, 7, 7.Y algo como 23, 11, 14 indicar los smbolos babilnicos para
23, 11 y 14 escritos en orden, con el valor numrico (23 60 60) + (11 60) + 14,
lo que da 83 474 en nuestra notacin.
www.lectulandia.com - Pgina 16
Los babilonios
12 60 + 59 + 57/60 + 17/3600
www.lectulandia.com - Pgina 17
centenares de tablillas registran datos planetarios. Entre ellas hay una nica tablilla,
muy daada, que detalla el movimiento diario del planeta Jpiter durante un
periodo de unos 400 das. Fue escrita en la misma Babilonia, alrededor del
163 a. C. Una entrada tpica de la tablilla lista los nmeros 126 8 16;6,46,58
0;0,45,18 0;0,11,42 +0;0,0,10, que corresponden a varias cantidades empleadas
para calcular la posicin del planeta en el cielo. Ntese que los nmeros se
escriben con tres lugares sexagesimales, ligeramente mejor que cinco cifras
decimales.
www.lectulandia.com - Pgina 18
5724 los egipcios agruparan cinco de sus smbolos para 1000, siete smbolos para
100, dos smbolos para 10 y cuatro smbolos para 1.
www.lectulandia.com - Pgina 19
El nmero 5724 en jeroglficos egipcios.
Nmeros y personas
Guste o no la aritmtica, no se pueden negar los profundos efectos que han tenido los
www.lectulandia.com - Pgina 20
nmeros en el desarrollo de la civilizacin humana. La evolucin de la cultura y la de
las matemticas han ido de la mano durante los ltimos cuatro milenios. Sera difcil
desenredar causa y efecto; yo dudara en argumentar que la innovacin matemtica
impulsa el cambio cultural, o que las necesidades culturales determinan la direccin
del progreso matemtico. Pero ambas afirmaciones contienen algo de verdad, porque
matemticas y cultura evolucionan conjuntamente.
Hay, no obstante, una diferencia significativa. Los cambios culturales estn muy
en la superficie. Los nuevos tipos de vivienda, las nuevas formas de transporte,
incluso los nuevos modos de organizar las burocracias gubernamentales, son
relativamente obvios para todo ciudadano. Las matemticas, sin embargo, tienen
lugar fundamentalmente entre bastidores. Cuando los babilonios utilizaban sus
observaciones astronmicas para predecir eclipses solares, por ejemplo, el ciudadano
medio quedaba impresionado por la precisin con que los sacerdotes predecan estos
sucesos sorprendentes, incluso si la mayora de los sacerdotes tenan poca o ninguna
idea de los mtodos empleados. Ellos saban cmo leer tablillas que listaban datos de
eclipses, pero lo que importaba era cmo utilizarlos. Cmo se haban construido era
un arte arcano, que quedaba para los especialistas.
Algunos sacerdotes pueden haber tenido una buena educacin matemtica
todos los escribas instruidos la tenan, y los sacerdotes instruidos tomaban, en sus
primeros aos, prcticamente las mismas lecciones que los escribas, pero una
apreciacin de las matemticas no era realmente necesaria para disfrutar de los
beneficios que surgan de los nuevos descubrimientos en la disciplina. As ha sido
siempre y, sin duda, as seguir siendo. Los matemticos apenas reciben crdito por
cambiar nuestro mundo. Cuntas veces vemos todo tipo de milagros modernos
atribuidos a los computadores, sin la ms mnima apreciacin de que los
computadores slo trabajan eficazmente si son programados para utilizar sofisticados
algoritmos procedimientos para resolver problemas y que la base de todos los
algoritmos est en las matemticas?
Las matemticas ms visibles son las relacionadas con la aritmtica, pero la
invencin de las calculadoras de bolsillo, las cajas registradoras que suman cunto
hay que pagar, y los programas de pago de impuestos que nos hacen las cuentas,
estn ocultando cada vez ms a la aritmtica entre bastidores. Pese a todo, la mayora
de nosotros somos conscientes de que la aritmtica est all. Dependemos por
completo de los nmeros, ya sea para seguir las obligaciones legales, recaudar
impuestos, comunicar instantneamente con el otro lado del planeta, explorar la
superficie de Marte o evaluar el ltimo medicamento maravilloso. Todas estas cosas
se remontan a la antigua Babilonia y a los escribas y maestros que descubrieron
maneras eficaces de registrar nmeros y calcular con ellos. Aqullos utilizaban sus
habilidades aritmticas con dos fines principales: asuntos cotidianos y mundanos de
los seres humanos ordinarios, tales como la contabilidad y la medida de tierras, y
actividades intelectuales como predecir eclipses o registrar los movimientos del
www.lectulandia.com - Pgina 21
planeta Jpiter a travs del cielo nocturno.
Hoy hacemos lo mismo. Utilizamos matemticas sencillas, poco ms que
aritmtica, para centenares de tareas minsculas: cunto tratamiento antiparsitos
poner en el estanque de un jardn, cuntos rollos de papel de pared tenemos que
comprar para empapelar el dormitorio o si ahorraremos dinero yendo un poco ms
lejos en busca de gasolina ms barata. Y nuestra cultura utiliza matemticas
sofisticadas para la ciencia, la tecnologa y, cada vez ms, tambin para el comercio.
La invencin de la notacin numeral y la aritmtica figuran, junto a las del lenguaje y
la escritura, como unas de las innovaciones que nos transformaron de monos
adiestrables en seres humanos genuinos.
La mayora de los modernos automviles de gama alta estn ahora equipados con
navegacin por satlite, y sistemas individuales de navegacin por satlite pueden
comprarse a un precio relativamente barato. Un pequeo dispositivo, acoplado a
nuestro automvil, nos dice dnde estamos exactamente en cualquier momento y
nos presenta un mapa a menudo con espectaculares grficos en colores y con
perspectivas que muestra las carreteras vecinas. Un sistema de voz puede
incluso decirnos por dnde ir para llegar a un destino especificado. Si esto suena
como algo sacado de la ciencia ficcin, lo es. Un componente esencial, que no es
parte de la pequea caja acoplada al automvil, es el sistema de posicionamiento
global (GPS), que comprende 24 satlites que orbitan alrededor de la Tierra (a
veces ms, cuando se lanzan los satlites de reemplazo). Estos satlites envan
seales, y estas seales pueden utilizarse para deducir la posicin del automvil
con un margen de unos pocos metros.
Las matemticas entran en juego en muchos aspectos de la red GPS, pero aqu
mencionamos slo uno: cmo se utilizan las seales para calcular la posicin del
automvil.
Las seales de radio viajan a la velocidad de la luz, que es aproximadamente
300 000 kilmetros por segundo. Un computador a bordo del automvil un chip
en la caja que compramos puede calcular la distancia del automvil a cualquier
satlite dado si conoce cunto ha tardado la seal en viajar desde el satlite al
automvil.
Este tiempo es normalmente del orden de una dcima de segundo, pero ahora
es fcil medirlo de forma precisa. El truco consiste en estructurar la seal de modo
que contenga informacin sobre el tiempo.
En efecto, el satlite y el receptor en el automvil cantan una misma cancin, y
comparan su comps. Las notas procedentes del satlite irn ligeramente
retrasadas respecto a las producidas en el automvil. En esta analoga, las letras
podran ir as:
www.lectulandia.com - Pgina 22
Automvil una paloma, trtala con cario que es
Satlite si a tu ventana llega una paloma
Aqu la cancin del satlite va unas tres palabras detrs de la misma cancin en
el automvil. Satlite y receptor deben generar la misma cancin, y notas
sucesivas deben ser identificables, de modo que la diferencia de tiempo es fcil de
observar.
Por supuesto, el sistema de navegacin por satlite no utiliza realmente una
cancin. La seal consiste en una serie de pulsos breves cuya duracin est
determinada por un cdigo pseudo-aleatorio. ste consiste en una secuencia de
nmeros que parece aleatoria pero que realmente est basada en una regla
matemtica. Tanto el satlite como el receptor conocen la regla, de modo que
pueden generar la misma secuencia de pulsos.
www.lectulandia.com - Pgina 23
www.lectulandia.com - Pgina 24
En matemticas hay dos tipos principales de razonamiento: el simblico y
el visual. El razonamiento simblico tuvo su origen en la notacin numeral, y pronto
veremos cmo llev a la invencin del lgebra, en cuyos smbolos pueden
representarse nmeros abstractos (la incgnita) antes que concretos (7).
A partir de la Edad Media las matemticas se basaron cada vez ms en el uso de
smbolos, como confirmar una ojeada a cualquier libro de texto moderno de
matemticas.
Adems de smbolos, los matemticos usan diagramas, lo que abre varios tipos de
razonamiento visual. Las imgenes son menos formales que los smbolos, y por esta
razn su uso ha sido mal visto a veces. Hay una sensacin ampliamente extendida de
que una imagen es de algn modo menos rigurosa, lgicamente hablando, que un
clculo simblico. Es cierto que las imgenes dejan ms lugar para diferencias de
interpretacin que los smbolos. Adems, las imgenes pueden contener hiptesis
ocultas: no podemos dibujar un tringulo general; cualquier tringulo que
dibujemos tendr un tamao y una forma particulares, que quiz no sean
representativos de un tringulo arbitrario. Sin embargo, la intuicin visual es una
caracterstica tan poderosa del cerebro humano que las imgenes desempean un
papel destacado en matemticas. De hecho, despus del nmero, introducen un
segundo concepto importante en la disciplina: la forma.
www.lectulandia.com - Pgina 25
Tablilla YBC 7269 y sus numerales cuneiformes.
La fascinacin de los matemticos por las formas se remonta a muy atrs. Existen
diagramas en las tablillas de arcilla babilnicas. Por ejemplo, la tablilla catalogada
como YBC 7289 muestra un cuadrado y dos diagonales. Los lados del cuadrado estn
marcados con numerales cuneiformes para 30.
Sobre una diagonal est marcado 1;24,51,10 y debajo de ella 42;25,35, que es su
producto por 30 y, por lo tanto, la longitud de dicha diagonal. De modo que 1;
24,51,10 es la longitud de la diagonal de un cuadrado ms pequeo, con lados unidad.
El teorema de Pitgoras nos dice que esta diagonal es la raz cuadrada de 2, que
escribimos 2. La aproximacin 1;24,51,10 para 2 es muy buena.
El primer uso sistemtico de diagramas, junto con un uso limitado de smbolos y
una fuerte dosis de lgica, se da en los escritos geomtricos de Euclides de
Alejandra. La obra de Euclides segua una tradicin que se remontaba al menos al
culto pitagrico, que floreci alrededor del 500 a. C., pero Euclides insista en que
cualquier enunciado matemtico debe tener una demostracin lgica antes de que
pueda asumirse como verdadero. Por ello los escritos de Euclides combinan dos
innovaciones distintas: el uso de figuras y la estructura lgica de las demostraciones.
Durante siglos la palabra geometra estuvo estrechamente asociada con ambas.
www.lectulandia.com - Pgina 26
En este captulo vamos a seguir la historia de la geometra desde Pitgoras,
pasando por Euclides y su precursor Eudoxo, hasta el periodo final de la Grecia
clsica y los sucesores de Euclides, Arqumedes y Apolonio. Estos primeros
gemetras prepararon el camino para todo el trabajo posterior sobre pensamiento
visual en matemticas. Tambin fijaron cnones de demostracin lgica que no
fueron superados durante milenios.
Pitgoras
Hoy casi damos por supuesto que las matemticas ofrecen una clave para las leyes
subyacentes en la Naturaleza. La primera reflexin sistemtica en esta lnea de la que
hay noticia procede de los pitagricos, un culto ms bien mstico que data
aproximadamente del 600 a. C. al 400 a. C. Su fundador, Pitgoras, naci en Samos
alrededor del 569 a. C. Cundo y dnde muri es un misterio, pero en el 460 a. C. el
culto que l fund fue atacado y destruido, y sus lugares de reunin asaltados y
quemados. En uno de ellos, la casa de Miln de Crotona, fueron masacrados ms de
cincuenta pitagricos.
Muchos supervivientes huyeron a Tebas
en el Alto Egipto. Posiblemente
Pitgoras era uno de ellos, pero incluso
esto es una conjetura pues, leyendas
aparte, no sabemos prcticamente nada
sobre Pitgoras. Su nombre es bien
conocido, bsicamente debido a su
famoso teorema sobre tringulos
rectngulos, pero ni siquiera sabemos si
Pitgoras lo demostr.
Sabemos mucho ms sobre la
filosofa y las creencias de los
pitagricos. Entendan que las
matemticas tratan con conceptos
abstractos, no con la realidad. Sin
embargo, crean tambin que estas
abstracciones estaban encarnadas de
algn modo en conceptos ideales, que
El nmero diez forma un tringulo.
existan en algn reino extrao de la
imaginacin, de modo que, por ejemplo, un crculo dibujado en la arena con un palo
es un intento fallido de un crculo ideal, perfectamente redondo e infinitamente fino.
El aspecto ms influyente de la filosofa del culto pitagrico es la creencia en que
www.lectulandia.com - Pgina 27
el universo se funda en los nmeros.
Expresaban esta creencia en simbolismo mitolgico y la apoyaban con
observaciones empricas. Por el lado mstico, consideraban que el nmero 1 es la
fuente primaria de todas las cosas en el universo.
Los nmeros 2 y 3 simbolizaban los principios femenino y masculino. El nmero
4 simbolizaba la armona, y tambin los cuatro elementos (Tierra, Aire, Fuego, Agua)
a partir de los cuales est hecho todo. Los pitagricos crean que el nmero 10 tena
profunda trascendencia mstica, porque 10 = 1 + 2 + 3 + 4, que combina la unidad
primaria, el principio femenino, el principio masculino y los cuatro elementos.
Adems, estos nmeros formaban un tringulo, y la totalidad de la geometra griega
se basaba en propiedades de los tringulos.
Los pitagricos reconocan la existencia de nueve cuerpos celestes: el Sol, la
Luna, Mercurio, Venus, la Tierra, Marte, Jpiter y Saturno, ms el Fuego Central, que
era diferente del Sol. Tan importante era el nmero 10 en su visin de la cosmologa
que crean que haba un dcimo cuerpo, la Anti-Tierra, perpetuamente oculto a
nosotros tras el Sol.
Como hemos visto, los nmeros 1, 2, 3,, llevaban de manera natural a un
segundo tipo de nmero, las fracciones, que los matemticos llaman nmeros
racionales. Un nmero racional es una fraccin a/b donde a, b son nmeros naturales
(y b es distinto de 0; de lo contrario, la fraccin no tiene sentido). Las fracciones
subdividen a los nmeros naturales en partes arbitrariamente finas, de modo que en
particular la longitud de una lnea en una figura geomtrica puede aproximarse tanto
como queramos por un nmero racional. Parece natural imaginar que con suficientes
subdivisiones se llegara al nmero exactamente; si fuera as, todas las longitudes
seran racionales.
Si esto fuera cierto, hara la geometra mucho ms sencilla, porque dos longitudes
cualesquiera seran mltiplos enteros de una longitud comn (quiz pequea), y por
ello podran obtenerse empalmando montones de copias de esta longitud comn. Esto
quiz no suena muy importante, pero con ello toda la teora de longitudes, reas y
especialmente figuras semejantes figuras con la misma forma pero diferentes
tamaos sera mucho ms sencilla. Todo podra demostrarse utilizando diagramas
formados a partir de muchos montones de copias de una forma bsica.
Por desgracia, este sueo no puede realizarse. Segn la leyenda, uno de los
seguidores de Pitgoras, Hipaso de Metaponto, descubri que este enunciado es falso.
En concreto, demostr que la diagonal de un cuadrado unidad es irracional: no es una
fraccin exacta. Se dice (con base dudosa, pero es una buena historia) que cometi el
error de anunciar este hecho cuando los pitagricos estaban cruzando el Mediterrneo
en barco, y sus compaeros de culto quedaron tan irritados que le arrojaron por la
borda y se ahog.
Lo ms probable es que simplemente fuera expulsado del culto. Cualquiera que
fuera su castigo, parece que a los pitagricos no les gust su descubrimiento.
www.lectulandia.com - Pgina 28
La interpretacin moderna de la observacin de Hipaso es que 2 es irracional.
Para los pitagricos, este hecho brutal era un duro golpe para su creencia casi
religiosa en que el universo estaba enraizado en los nmeros (por lo que ellos
entendan los nmeros naturales). Las fracciones razones de nmeros enteros
encajaban muy bien en esta visin del mundo, pero los nmeros que
demostrablemente no eran fracciones no lo hacan. Y por ello, ya fuera ahogado o
expulsado, el pobre Hipaso se convirti en una de las primeras vctimas de la
irracionalidad, por as decir, de las creencias religiosas.
www.lectulandia.com - Pgina 29
Hoy estos aspectos numricos de la msica se remiten a la fsica de las cuerdas
vibrantes, que se mueven en pautas ondulatorias. El nmero de ondas que pueden
encajar en una longitud dada de cuerda es un nmero entero, y estos nmeros
enteros determinan las razones numricas simples. Si los nmeros no forman una
razn simple, entonces las notas correspondientes interfieren, produciendo
batidos discordantes que son desagradables al odo. La historia completa es ms
compleja, e incluye aquello a lo que el cerebro est acostumbrado, pero hay un
argumento fsico preciso tras el descubrimiento pitagrico.
Irracionales
Finalmente los griegos encontraron una manera de manejar los irracionales. Funciona
porque cualquier nmero irracional puede ser aproximado por un nmero racional.
Cuanto mejor es la aproximacin, ms complicado se hace dicho racional, y siempre
hay algn error. Pero haciendo el error cada vez menor, hay una posibilidad de
aproximar las propiedades de los irracionales explotando propiedades anlogas a las
de los nmeros racionales que los aproximan. El problema est en establecer esta idea
de una forma que sea compatible con la aproximacin griega a la geometra y la
demostracin. Esto resulta ser factible, pero complicado.
La teora griega de los irracionales fue concebida
por Eudoxo alrededor del 370 a. C. Su idea consiste
en representar cualquier magnitud, racional o
irracional, como la razn de dos longitudes; es
decir, en trminos de un par de longitudes. As,
dos-tercios se representa por dos lneas, una de
longitud dos y otra de longitud tres (una razn 2:3).
Anlogamente, 2 se representa por el par
formado por la diagonal de un cuadrado unidad y
su lado (una razn 2:1). Ntese que ambos pares Es la razn a:b igual a la razn c:d?
de lneas pueden construirse geomtricamente.
El punto clave consiste en definir cundo dos de estas razones son iguales.
Cundo es a:b = c:d? A falta de un sistema de nmeros apropiado, los griegos no
podan hacerlo dividiendo una longitud por otra y comparando a + b con c + d. En su
lugar, Eudoxo encontr un engorroso pero preciso mtodo de comparacin que poda
realizarse dentro de las convenciones de la geometra griega. La idea consiste en
tratar de comparar a y c formando mltiplos enteros ma y nc. Esto puede hacerse
empalmando m copias de a extremo con extremo, y lo mismo con n copias de b.
Utilizamos los mismos dos mltiplos m y n para comparar mb y nd. Si las razones a:b
y c:d no son iguales, dice Eudoxo, entonces podemos encontrar m y n para exagerar
www.lectulandia.com - Pgina 30
la diferencia a tal extremo que ma > nc pero mb < nd. De hecho, podemos definir la
igualdad de razones de esta manera.
Esta definicin requiere acostumbrarse. Est hecha muy cuidadosamente a
medida de las limitadas operaciones permitidas en la geometra griega.
Sin embargo funciona; permiti a los gemetras griegos tomar teoremas que
podan ser demostrados fcilmente para razones racionales y extenderlos a razones
irracionales.
A menudo utilizaban un mtodo llamado
exhaustion, que les permita demostrar
teoremas que nosotros demostraramos
actualmente utilizando la idea de
lmite y el clculo infinitesimal. De
esta manera demostraron que el rea de
un crculo es proporcional al cuadrado de
su radio. La demostracin parte de un
hecho ms simple, que se encuentra en
Euclides: las reas de dos polgonos
semejantes estn en la misma proporcin
que los cuadrados de los lados
correspondientes.
El crculo plantea nuevos problemas
porque no es un polgono. Por ello, los
griegos consideraron dos secuencias de
polgonos: una dentro del crculo, y la
Teorema de Pitgoras: si el tringulo tiene un
ngulo recto, entonces el rea del cuadrado otra fuera. Ambas secuencias se acercan
ms grande, A, es la misma que la de los otros cada vez ms al crculo, y la definicin
dos, B y C. juntos. de Eudoxo implica que la razn de las
reas de los polgonos aproximantes es la misma que la razn de las reas de los
crculos.
Euclides
www.lectulandia.com - Pgina 31
Los Elementos es la obra maestra geomtrica de Euclides, y ofrece un tratamiento
definitivo de la geometra de dos dimensiones (el plano) y tres dimensiones (el
espacio). La Divisin de figuras y los Datos contienen varios complementos y
comentarios sobre geometra. Los Fenmenos estn dirigidos a los astrnomos, y
tratan de la geometra esfrica, la geometra de figuras dibujadas en la superficie de
una esfera. La ptica es tambin geomtrica, y podra considerarse mejor como una
incipiente investigacin de la geometra de la perspectiva: cmo transforma el ojo
humano una escena tridimensional en una imagen bidimensional.
Quiz la mejor manera de pensar en la obra de Euclides es como un examen de la
lgica de las relaciones espaciales. Si una forma tiene ciertas propiedades, stas
pueden implicar lgicamente otras propiedades. Por ejemplo, si un tringulo tiene los
tres lados iguales un tringulo equiltero, entonces los tres ngulos deben ser
iguales. Este tipo de enunciado, que lista algunas hiptesis y luego afirma sus
consecuencias lgicas, se denomina un teorema. Este teorema concreto relaciona
una propiedad de los lados de un tringulo con una propiedad de sus ngulos. Un
ejemplo menos intuitivo y ms famoso es el teorema de Pitgoras.
Los Elementos se dividen en 13 libros, que se siguen unos a otros en una
secuencia lgica. Analizan la geometra del plano y algunos aspectos de la geometra
del espacio. El punto culminante es la demostracin de que hay exactamente cinco
slidos regulares: el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro. Las
formas bsicas permitidas en geometra plana son lneas rectas y crculos, a veces en
combinacin; por ejemplo, un tringulo est formado por tres lneas rectas. En
geometra espacial encontramos tambin planos, cilindros y esferas.
Poliedros regulares
Un slido es regular (o platnico) si est formado por caras idnticas. Los
pitagricos conocan cinco slidos de este tipo
www.lectulandia.com - Pgina 32
El tetraedro, formado a partir de cuatro tringulos equilteros.
El cubo (o hexaedro), formado a partir de seis cuadrados.
El octaedro, formado a partir de ocho tringulos equilteros.
El dodecaedro, formado a partir de 12 pentgonos regulares.
El icosaedro, formado a partir de 20 tringulos equilteros.
Ellos los asociaron con los cuatro elementos de la antigedad tierra, aire,
fuego y agua y con un quinto elemento, la quintaesencia.
Para los matemticos modernos lo ms interesante en la geometra de Euclides no
es su contenido, sino su estructura lgica. A diferencia de sus predecesores, Euclides
no se limita a afirmar que un teorema es verdadero.
El ofrece una demostracin.
Qu es una demostracin? Es una especie de historia matemtica, en la que cada
paso es una consecuencia lgica de algunos de los pasos previos. Cada enunciado que
se afirma tiene que justificarse haciendo referencia a enunciados previos y
demostrando que es una consecuencia lgica de ellos. Euclides comprendi que este
proceso no puede llevarse hacia atrs indefinidamente: tiene que empezar en alguna
parte, y estos enunciados iniciales no pueden ser demostrados, o de lo contrario el
proceso de demostracin empieza realmente en algn lugar diferente.
Para empezar a rodar, Euclides hizo una lista de varias definiciones: enunciados
claros y precisos de lo que significan ciertos trminos tcnicos, tales como lnea o
crculo.
Una definicin tpica es un ngulo obtuso es un ngulo mayor que un ngulo
recto. La definicin le proporcionaba la terminologa que necesitaba para enunciar
sus hiptesis indemostradas, que clasificaba en dos tipos: nociones comunes y
postulados. Una tpica nocin comn es cosas que son iguales a la misma cosa son
iguales entre s. Un postulado tpico es todos los ngulos rectos son iguales entre
s.
Hoy da agrupamos ambos tipos y les llamamos axiomas. Los axiomas de un
sistema matemtico son las hiptesis subyacentes que hacemos sobre el mismo.
Consideramos los axiomas como las reglas del juego, e insistimos en que se juegue
de acuerdo con las reglas. Ya no preguntamos si las reglas son verdaderas, ya no
pensamos que slo pueda jugarse a un juego. Alguien que quiera jugar a este juego
concreto debe aceptar las reglas; si no lo hace, es libre de jugar a un juego diferente,
pero no ser el juego determinado por estas reglas concretas.
En los das de Euclides, y durante los casi los 2000 aos siguientes, los
matemticos no pensaban as ni mucho menos. En general vean los axiomas como
verdades autoevidentes, tan obvias que nadie poda cuestionarlas seriamente. Por
ello Euclides hizo todo lo que pudo para hacer todos sus axiomas obvios y estuvo
muy cerca de conseguirlo. Pero un axioma, el axioma de las paralelas, es
www.lectulandia.com - Pgina 33
inusualmente complicado y poco intuitivo, y muchos trataron de deducirlo de
hiptesis ms sencillas. Ms tarde veremos a qu notables descubrimientos llev esto.
Paso a paso, a partir de estos comienzos simples, los Elementos continan
ofreciendo demostraciones de teoremas geomtricos cada vez ms sofisticados. Por
ejemplo, la Proposicin 5 del Libro I demuestra que los ngulos en la base de un
tringulo issceles (un tringulo con dos lados iguales) son iguales.
Este teorema fue conocido por generaciones de escolares Victorianos como el
pons asinorum o puente para asnos: el diagrama se parece a un puente, y era el
primer obstculo serio para los estudiantes que trataban de aprender la asignatura de
memoria en lugar de entenderla. La Proposicin 32 del Libro I demuestra que los
ngulos de un tringulo suman 180. La Proposicin 47 del Libro I es el Teorema de
Pitgoras.
Euclides deduca cada teorema de teoremas previos y varios axiomas. Construy
una torre lgica, que suba cada vez ms hacia el cielo, con los axiomas como
cimientos y la deduccin lgica como el mortero que una los ladrillos.
Hoy nos sentimos menos satisfechos con la lgica de Euclides porque tiene
muchas lagunas. Euclides da muchas cosas por supuestas; su lista de axiomas est
lejos de ser completa. Por ejemplo, puede parecer obvio que si una recta pasa por un
punto dentro de un crculo, entonces debe cortar al crculo en alguna parte, al menos
si se prolonga lo suficiente. Ciertamente parece obvio si se dibuja una imagen, pero
hay ejemplos que demuestran que no se sigue de los axiomas de Euclides. Euclides lo
hizo bastante bien, pero supuso que propiedades aparentemente obvias de los
diagramas no necesitaban una demostracin ni una base axiomtica.
Esta omisin es ms seria de lo que podra parecer. Hay algunos ejemplos
famosos de razonamiento falaz que surgen de errores sutiles en las figuras.
Uno de ellos demuestra que todo tringulo tiene dos lados iguales.
Euclides de Alejandra
325 265 a. C.
Euclides es famoso por su libro de geometra, Los Elementos, que fue un importante, de hecho el
principal, texto de enseanza de la geometra durante dos milenios.
Sabemos muy poco de la vida de Euclides. Ense en Alejandra. Alrededor del 450 a. C. el
filsofo griego Proclo escribi: Euclides vivi en la poca del primer Ptolomeo, pues Arqumedes,
que sigui de cerca al primer Ptolomeo, menciona a Euclides Ptolomeo pregunt en cierta ocasin
[a Euclides] si haba un camino ms corto para estudiar geometra que los Elementos, a lo que ste
contest que no haba ningn camino real a la geometra. Por lo tanto era ms joven que el circulo
de Platn, pero ms viejo que Eratstenes y Arqumedes. Era un platnico, pues simpatizaba con su
filosofa, e hizo de la construccin de las denominadas figuras platnicas [slidos regulares] el
objetivo de los Elementos.
www.lectulandia.com - Pgina 34
Jerigonza?
www.lectulandia.com - Pgina 35
misma proporcin con el segmento ms
grande que el segmento ms grande
guarda con el ms pequeo. Si dibujamos
un pentgono e inscribimos una estrella
de cinco puntas, los lados de la estrella
estn relacionados con los lados del
pentgono por esta razn particular.
Hoy da llamamos a esta razn el
1 + 5
nmero ureo. Es igual a , y este
2
nmero es irracional. Su valor numrico
es aproximadamente 1,618. Los griegos
pudieron demostrar que era irracional
explotando la geometra del pentgono. La razn entre las diagonales y los lados es
Por ello Euclides y sus predecesores eran urea.
conscientes de que, para tener una comprensin adecuada del dodecaedro y el
icosaedro, deban entender los irracionales.
Esta es, al menos, la visin convencional de los Elementos.
David Fowler argumenta en su libro Las matemticas de la Academia de Platn
que hay una visin alternativa: en esencia, la inversa. Tal vez el objetivo principal de
Euclides era la teora de los irracionales, y los slidos regulares eran tan slo una
aplicacin.
Razn extrema y media (ahora llamada razn urea). La razn entre la lnea superior y la del
centro es igual a la razn entre la lnea central y la inferior.
www.lectulandia.com - Pgina 36
El valor de ha sido calculado ahora con varios miles de millones de cifras
decimales, utilizando mtodos ms sofisticados. Tales clculos son de inters por
sus mtodos, para poner a prueba sistemas de computacin, y por pura curiosidad,
pero el resultado mismo tiene poca importancia. Las aplicaciones prcticas de no
requieren, en general, ms de cinco o seis cifras. El rcord actual es 51 539 600
000 cifras decimales, calculadas por Yasumasa Kanada y Daisuke Takahashi. Ellos
realizaron dos clculos independientes utilizando dos mtodos diferentes, para
obtener 51 539 607 552 cifras de . Los resultados coincidan en los primeros 51
539 607 510 cifras, por lo que redujeron la proclamacin de su rcord a 51 539 600
000 cifras exactas.
Arqumedes
www.lectulandia.com - Pgina 37
El palimpsesto de Arqumedes.
www.lectulandia.com - Pgina 38
del crculo, y la otra a su alrededor.
Los permetros de los polgonos dentro del crculo deben ser ms cortos que el
crculo, mientras que los de fuera del crculo deben ser ms largos que el crculo. Para
hacer el clculo ms fcil, Arqumedes construa sus polgonos bisecando
repetidamente los lados de un hexgono regular (un polgono de seis lados) para
obtener polgonos regulares con 12 lados, 24, 48 y as sucesivamente. Se detuvo en
96. Sus clculos demostraban que 3 1071 < < 3 17; es decir, est en algn lugar
entre 3,1408 y 3,1429 en notacin decimal actual.
La obra de Arqumedes sobre la esfera es
de especial inters, porque no slo
conocemos su demostracin rigurosa
sino la forma en que la encontr que
decididamente no era rigurosa. La
demostracin se da en su libro Sobre la
esfera y el cilindro.
l demuestra que el volumen de una
esfera es dos-tercios del de un cilindro
circunscrito, y que las reas de aquellas
partes de la esfera y del cilindro que
yacen entre dos planos paralelos
cualesquiera son iguales. En lenguaje
moderno, Arqumedes demostr que el
volumen de una esfera es 43r3, donde r
es el radio, y el rea de su superficie es
Una esfera y su cilindro circunscrito.
4r2 Estos hechos bsicos se siguen
utilizando hoy.
La demostracin hace un uso consumado de la exhaustion. Este mtodo tiene una
limitacin importante: hay que saber cul es la respuesta antes de tener muchas
posibilidades de demostrarla. Durante siglos los estudiosos no tenan ninguna idea de
cmo Arqumedes conjetur la respuesta.
Pero en 1906 el estudioso dans Heiberg estaba estudiando un pergamino del
siglo XIII en el que haba escritas unas oraciones. l advirti lneas tenues de una
inscripcin anterior que haba sido borrada para dejar lugar para las oraciones.
Descubri que el documento original era una copia de varias obras de Arqumedes,
algunas de ellas previamente desconocidas.
(Y lo que es ms sorprendente, ahora se sabe que el mismo manuscrito contiene
fragmentos de obras perdidas de otros dos autores antiguos).
Una obra de Arqumedes, el Mtodo de los teoremas mecnicos, explica cmo
conjeturar el volumen de una esfera. La idea consiste en hacer rebanadas
infinitamente delgadas de la esfera y colocar las rebanadas en un plato de una
www.lectulandia.com - Pgina 39
balanza; en el otro plato se cuelgan rebanadas similares de un cilindro y un cono,
cuyos volmenes Arqumedes ya conoca. La ley de la palanca da el valor buscado
para el volumen.
El pergamino fue vendido por dos millones de dlares en 1998 a un comprador
privado.
Arqumedes de Siracusa
287 212 a. C.
Arqumedes naci en Siracusa, en la Magna Grecia (la
actual Sicilia), hijo del astrnomo Fidias. Visit Egipto,
donde supuestamente invent el tornillo de Arqumedes,
que hasta hace muy poco era ampliamente utilizado
para elevar agua del Nilo para irrigacin. Es probable
que visitara a Euclides en Alejandra, y seguro que
mantuvo correspondencia con matemticos
alejandrinos.
Sus habilidades matemticas fueron insuperables y
de amplio alcance. Les dio un uso prctico y construy
enormes mquinas de guerra basadas en su ley de la
palanca, capaces de lanzar rocas enormes contra el
enemigo. Sus mquinas fueron utilizadas con gran
efecto en el sitio romano de Alejandra en el 212 a. C.
Utiliz incluso la geometra de la reflexin ptica para
concentrar los rayos solares sobre una flota romana
invasora e incendiar las naves.
Sus libros conservados (slo en copias posteriores)
son Sobre equilibrios en el plano, la Cuadratura de la
parbola, Sobre la esfera y el cilindro, Sobre los
cuerpos flotantes, Medida del crculo y El arenario,
junto con El mtodo, descubierto en 1906 por Johan
Heiberg.
www.lectulandia.com - Pgina 40
Tornillo de Arqumedes.
www.lectulandia.com - Pgina 41
del de un cubo dado) y la cuadratura del crculo (construir un cuadrado con la misma
rea de un crculo dado). Se sabe tambin que ambos son imposibles utilizando regla
y comps.
www.lectulandia.com - Pgina 42
Cmo midi Eratstenes el tamao de la Tierra.
www.lectulandia.com - Pgina 43
Secciones cnicas.
La elipse, una curva ovalada cerrada que se obtiene cuando el plano corta slo a
una mitad del cono. Los crculos son elipses especiales.
La hiprbola, una curva con dos ramas infinitas, que se obtiene cuando el plano
corta las dos mitades del cono.
La parbola, una curva transicional entre elipses e hiprbolas, en el sentido en
que es paralela a una recta que pasa por el vrtice del cono y yace en el cono.
Una parbola slo tiene una rama, pero se extiende hasta el infinito.
Las secciones cnicas fueron estudiadas con detalle por Apolonio de Perga, quien
viaj desde Perga, en Asia Menor, a Alejandra para estudiar con Euclides. Su obra
maestra, las Secciones cnicas de aproximadamente el 230 a. C., contiene 487
teoremas. Euclides y Arqumedes haban estudiado algunas propiedades de los conos,
pero se necesitara todo un libro para resumir los teoremas de Apolonio. Una idea
importante merece mencin aqu. Es la nocin de los focos de una elipse (o de una
www.lectulandia.com - Pgina 44
hiprbola). Los focos son dos puntos especiales asociados con estos dos tipos de
cnica. Entre sus principales propiedades distinguimos una: la suma de las distancias
de un punto cualquiera de la elipse a sus dos focos es constante (igual al dimetro
mayor de la elipse). Los focos de una hiprbola tienen una propiedad similar, pero
ahora tomamos la diferencia de las dos longitudes.
Los griegos saban cmo trisecar ngulos y cmo duplicar el cubo utilizando
cnicas. Con la ayuda de otra; curvas especiales, especialmente la cuadratriz, tambin
podan cuadrar el crculo.
Las matemticas griegas aportaron dos ideas cruciales al desarrollo humano. La
ms obvia fue una comprensin sistemtica de la geometra. Utilizando la geometra
como una herramienta, los griegos entendieron el tamao y la forma de nuestro
planeta, su relacin con el Sol y la Luna, incluso los movimientos complicados del
resto del Sistema Solar. Utilizaron la geometra para excavar largos tneles partiendo
de ambos extremos para encontrarse en el centro, lo que reduca el tiempo de
construccin a la mitad. Construan mquinas gigantescas y poderosas, basadas en
principios simples como la ley de la palanca, con fines tanto pacficos como blicos.
Explotaron la geometra en la construccin de buques y en la arquitectura, donde
edificios como el Partenn nos muestran que matemticas y belleza no estn tan
alejadas. La elegancia visual del Partenn deriva de muchos trucos matemticos
astutos, utilizados por el arquitecto para superar las limitaciones del sistema visual
humano y las irregularidades en el propio terreno en el que descansaba el edificio.
La segunda aportacin griega fue el uso sistemtico de la deduccin lgica para
asegurar que lo que se estaba afirmando tambin poda justificarse.
El argumento lgico naci de su filosofa, pero encontr su forma ms
desarrollada y explcita en la geometra de Euclides y sus sucesores. Sin slidos
fundamentos lgicos no podran haber aparecido las matemticas posteriores.
www.lectulandia.com - Pgina 45
El nuevo estadio de Wembley. En su construccin se han utilizado principios bsicos
descubiertos en la Antigua Grecia y desarrollados durante los siglos siguientes por muchas
culturas.
www.lectulandia.com - Pgina 46
Hipatia de Alejandra
370 475
Hipatia es la primera mujer matemtica de la que hay noticia.
Era hija de Ten de Alejandra, tambin un matemtico.
Probablemente fue de su padre de quien aprendi las
matemticas. Hacia el ao 400 ella se haba convertido en la
directora de la Escuela Platnica de Alejandra, donde daba
clases de filosofa y matemticas.
No sabemos si Hipatia hizo contribuciones originales a las
matemticas, pero ayud a Ten a escribir un comentario
sobre el Almagesto de Ptolomeo, y quiz tambin le haya
ayudado a preparar una nueva edicin de los Elementos en la
que se basaron todas las ediciones posteriores. Ella escribi
comentarios sobre la Aritmtica de Diofanto y las Cnicas de
Apolonio.
Entre los estudiantes de Hipatia haba varias figuras
destacadas en la religin en auge de la cristiandad, entre ellas
Silesio de Cirene. Hay registro de algunas de las cartas que
ste le escribi, donde alaba sus capacidades. Por desgracia,
muchos de los primeros cristianos consideraban que la filosofa
y la ciencia de Hipatia estaban enraizadas en el paganismo, lo
que llev a algunos a rechazar su influencia. En el 412, Cirilo,
el nuevo patriarca de Alejandra, entr en rivalidad poltica con
Orestes, el prefecto romano. Hipatia era buena amiga de
Orestes y sus capacidades como maestra y oradora fueron
vistas como una amenaza por los cristianos. Ella se convirti en un blanco de los disturbios polticos
y fue descuartizada por una turba. Una fuente culpa a una secta fundamentalista, los monjes de
Nitria, que apoyaban a Cirilo. Otra, culpa a la plebe alejandrina. Una tercera fuente afirma que ella
form parte de una rebelin poltica, y su muerte era inevitable.
Su muerte fue brutal, desmembrada por una multitud con tejas cortantes (algunos dicen que con
conchas de ostras). Su cuerpo mutilado fue entonces quemado. Este castigo puede ser prueba de
que Hipatia fue condenada por brujera la primera bruja importante en ser asesinada por los
primeros cristianos porque el castigo para la brujera prescrito por Constantino II era que sus
carnes sean desgarradas hasta los huesos con ganchos de hierro.
www.lectulandia.com - Pgina 47
de platino e iridio y conservado en Pars. El cilindro se ha construido con una
precisin extraordinariamente alta. La densidad del metal tambin ha sido medida
con mucha precisin. La frmula es necesaria para calcular el volumen del
cilindro, que relaciona densidad con masa.
www.lectulandia.com - Pgina 48
www.lectulandia.com - Pgina 49
www.lectulandia.com - Pgina 50
Estamos tan acostumbrados al sistema de nmeros actual, con su uso de
los diez dgitos decimales 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9 (en los pases de Occidente), que
puede producir sorpresa el advertir que hay modos completamente diferentes de
escribir nmeros. Incluso hoy, diversas culturas la arbiga, la china, la coreana
usan diferentes smbolos para los diez dgitos, aunque todas ellas combinan estos
smbolos para formar nmeros mayores utilizando el mismo mtodo posicional
(centenas, decenas, unidades). Pero las diferencias en notacin pueden ser ms
radicales que eso. No hay nada especial en el nmero 10. Resulta que es el nmero de
dedos de las manos en el ser humano, que son ideales para contar, pero si en su lugar
hubiramos desarrollado siete dedos, o doce, sistemas muy similares hubiesen
funcionado igual de bien, quiz mejor en algunos casos.
Numerales romanos
Numerales griegos
www.lectulandia.com - Pgina 51
griega supuso una gran mejora sobre la geometra babilnica, pero no as la
aritmtica griega, hasta donde podemos decir a partir de las fuentes que nos han
llegado. Los griegos dieron un gran paso atrs; no utilizaban la notacin posicional.
En su lugar utilizaban smbolos especficos para mltiplos de 10 o 100, de modo que,
por ejemplo, el smbolo para 50 no guardaba ninguna relacin particular con los
smbolos para 5 o 500.
La prueba ms antigua que tenemos de los numerales griegos data de alrededor
del 1100 a. C. Hacia el 600 a. C. el simbolismo haba cambiado, y para el 400 a. C.
haba cambiado de nuevo, con la adopcin del sistema tico, que recuerda a los
numerales romanos. Utilizaba |, ||, |||, |||| para los nmeros 1, 2, 3 y 4. Para 5 se
utilizaba la letra mayscula griega pi (), probablemente porque es la primera letra
de penta. Anlogamente, 10 se escriba , la primera letra de deka; 100 se
escriba , la primera letra de hekaton; 1000 se escriba , la primera letra de
chilloi; y 10 000 se escriba , la primera letra de myrioi. Ms tarde se
cambi por . As, el nmero 2178, por ejemplo, se escriba
|||
stas son las letras griegas minsculas, aumentadas por tres letras extra derivadas del alfabeto
fenicio: (stigma), (copa), T (sampi).
www.lectulandia.com - Pgina 52
modo que se colocaba una lnea horizontal encima de los smbolos numerales. Para
escribir nmeros mayores que 999 el valor de un smbolo poda multiplicarse por
1000 colocando un trazo delante del mismo.
Los diversos sistemas griegos eran razonables como mtodo para registrar los
resultados de clculos, pero no para realizar los propios clculos. (Imaginmonos
intentando multiplicar por , por ejemplo). Los clculos propiamente dichos
se llevaban a cabo probablemente utilizando un baco, quiz representado por
guijarros en la arena, especialmente al principio.
Los griegos escriban las fracciones de varias maneras. Una de ellas consista en
escribir el numerador, seguido por una prima, y luego el denominador, seguido por
una doble prima. A veces el denominador se escriba dos veces.
As 2147 se escribira
Matemticos indios
Los 10 smbolos que se utilizan actualmente para denotar dgitos decimales suelen
conocerse como numerales indoarbigos, porque tuvieron su origen en la India y
fueron asumidos y desarrollados por los rabes.
Los ms antiguos numerales indios eran ms parecidos al sistema egipcio. Por
ejemplo, los numerales Kharosthi, utilizados del 400 a. C. al 100 d. C., representaban
los nmeros 1 a 8 como
con un smbolo especial para 10. Las primeras huellas de lo que con el tiempo
llegara a ser el moderno sistema simblico aparecieron alrededor del 300 a. C., en
los numerales Brahmi. Inscripciones budistas de la poca incluyen precursores de los
posteriores smbolos hindes para 1, 4 y 6. Sin embargo, el sistema Brahmi utilizaba
smbolos diferentes para mltiplos de 10 o mltiplos de 100, de modo que era similar
al simbolismo de los nmeros griegos, excepto que utilizaba smbolos especiales en
lugar de letras del alfabeto.
El sistema Brahmi no era un sistema posicional. Ya en el ao 100 hay registros
www.lectulandia.com - Pgina 53
del sistema Brahmi completo. Inscripciones en cuevas y en monedas muestran que
sigui en uso hasta el siglo IV.
Entre los siglos IV y VI el Imperio Gupta alcanz el control de una gran parte de la
India, y los numerales Brahmi se transformaron en los numerales Gupta. De stos se
transformaron en los numerales Nagari. La idea era la misma, pero los smbolos eran
diferentes.
Es probable que los indios desarrollaran la notacin posicional hacia el siglo I,
pero las ms antiguas pruebas documentales datables de la notacin posicional la
sitan en el ao 594. La prueba es un documento legal que lleva la fecha 346 en el
calendario Chedii, pero algunos estudiosos creen que esta fecha puede ser una
falsificacin. De todas formas, hay acuerdo general en que la notacin posicional
estaba en uso en la India desde aproximadamente el 400 en adelante.
Hay un problema al utilizar nicamente los smbolos 1-9: la notacin es ambigua.
Por ejemplo, qu significa 25? Podra significar (en nuestra notacin) 25, o 205, o
2005, o 250, etc. En notacin posicional, donde el significado de un smbolo depende
de su posicin, es importante especificar dicha posicin sin ambigedad. Hoy lo
hacemos utilizando un dcimo smbolo, el cero (0). Pero las primeras civilizaciones
necesitaron un tiempo sorprendentemente largo para reconocer el problema y
resolverlo de esa manera. Una razn era filosfica: cmo puede 0 ser un nmero
cuando un nmero es una cantidad de cosas? Es nada una cantidad? Otra razn
era prctica: habitualmente quedaba claro por el contexto si 25 significaba 25 o 250 o
lo que fuera.
En algn momento antes del 400 a. C. se desconoce la fecha exacta los
babilonios introdujeron un smbolo especial para indicar una posicin ausente en
su notacin numeral. Esto ahorraba a los escribas el esfuerzo de dejar un espacio
cuidadosamente medido, y haca posible calcular lo que significaba un nmero
incluso si estaba escrito descuidadamente. Esta invencin fue olvidada, o no fue
transmitida a otras culturas, y con el tiempo fue redescubierta por los hindes. El
manuscrito Bhakshali, cuya fecha es discutida pero se encuentra en algn lugar entre
200 y 1100, utiliza un punto grueso . El texto jaino Lokavibhaaga del 458 utiliza el
concepto de 0, pero no un smbolo. Un sistema posicional que careca del numeral
cero fue introducido por Aryabhata alrededor del 500. Los matemticos indios
posteriores tenan nombres para cero, pero no utilizaban un smbolo.
El primer uso indiscutido de cero en notacin posicional aparece en una tablilla
www.lectulandia.com - Pgina 54
de piedra en Gwailior datada en el 876.
El antiguo observatorio Jantar Mantar cerca de Jaipur. Hoy resulta evidente que el diseador
era un matemtico consumado.
Aryabhata nos dice que escribi su libro Aryabahiya cuando tena 23 aos.
www.lectulandia.com - Pgina 55
Aunque la seccin matemtica de su libro es breve, contiene un material muy rico: un
sistema alfabtico de numerales, reglas aritmticas, mtodos de solucin para
ecuaciones lineales y cuadrticas, trigonometra (incluyendo la funcin seno y el
seno verso 1-cos ). Hay una aproximacin excelente, 3,1416, a .
Brahmagupta fue el autor de dos libros: Brahmasphutasiddhanta y Khanda
Khadyaka. El primero es el ms importante; es un texto de astronoma con varias
secciones sobre matemticas, con aritmtica y un equivalente verbal del lgebra
simple. El segundo libro incluye un mtodo notable para interpolar tablas de senos; es
decir, encontrar el seno de un ngulo a partir de los senos de un ngulo ms grande y
otro ms pequeo.
Mahavira era un jaino, e incluy muchas matemticas jainas en su Ganita Sara
Sangraha. Este libro inclua la mayora de los contenidos de los libros de Aryabhata
y Brahmagupta, pero iba mucho ms all y era en general ms sofisticado. Inclua
fracciones, permutaciones y combinaciones, la solucin de ecuaciones cuadrticas,
tringulos pitagricos y un intento de encontrar el rea y el permetro de una elipse.
Bhaskara (conocido como el maestro), escribi tres obras importantes: Lilavati,
Bijaganita y Siddhanta Siromani. Segn Fyzi, poeta de la corte del emperador mogul
Akhar, Lilavati era el nombre de la hija de Bhaskara.
Su padre realiz el horscopo de su hija y determin la poca ms propicia para
su boda. Para dramatizar su prediccin, puso dentro de un cuenco de agua una copa
con un agujero, construida de modo que se hundiera cuando llegara el momento
propicio. Pero Lilavati se inclin sobre el cuenco y una perla de su vestido cay en la
copa y bloque el agujero. La copa no se hundi, lo que significaba que Lilavati
nunca podra casarse. Para consolarla, Bhaskara escribi un libro de texto de
matemticas para ella. La leyenda no registra lo que ella pensaba de esto.
Lilavati contiene ideas sofisticadas en aritmtica, incluyendo sacar los nueves,
en donde los nmeros son reemplazados por la suma de sus cifras para comprobar
clculos. Contiene reglas similares para la divisibilidad por 3, 5, 7 y 11. El papel del 0
como un nmero por s mismo queda claro. Bijaganita trata de la solucin de
ecuaciones. Siddhanta Siromani trata de geometra: tablas de senos, diversas
relaciones trigonomtricas. Tan grande era la reputacin de Bhaskara que sus obras
todava se copiaban alrededor de 1800.
www.lectulandia.com - Pgina 56
En notacin moderna, sea x la cantidad buscada.
Entonces
5
x 2
=
9 3
7
El sistema hind
La Edad Oscura?
www.lectulandia.com - Pgina 57
Europa, de modo que era probablemente inevitable que los avances rabes en
matemticas llegaran a Europa a travs de Italia. Venecia, Gnova y Pisa eran centros
comerciales importantes, y los mercaderes partan de estos puertos hacia el Norte de
frica y el extremo oriental del Mediterrneo. Intercambiaban lana y madera
europeas por seda y especias.
Hubo un comercio metafrico en ideas tanto como el comercio literal en
mercancas. Los descubrimientos rabes en ciencia y matemticas llegaron a lo largo
de las rutas comerciales, a menudo de boca a oreja. A medida que el comercio haca a
Europa ms prspera, el trueque dio paso al dinero, y la contabilidad y el pago de
impuestos se hicieron ms complejos.
Una figura influyente fue Leonardo de Pisa, cuyo libro Liber Abbaci se public
en 1202. (La palabra italiana baco significa normalmente clculo, y no implica
necesariamente el uso del baco, un trmino latino). En este libro, Leonardo introdujo
los smbolos numerales indoarbigos en Europa.
El Liber Abbaci incluye, y promociona, otro artificio notacional que sigue hoy en
uso: la barra horizontal en una fraccin, tal como en tres cuartos.
Los hindes empleaban una notacin similar, pero sin barra; parece que la barra
fue introducida por los rabes. Fibonacci la emple ampliamente, pero su uso difera
del actual en algunos aspectos. Por ejemplo, l utilizaba la misma barra como parte
de varias fracciones diferentes.
Puesto que las fracciones son muy importantes en nuestra historia, vale la pena
aadir algunos comentarios sobre la notacin. En una fraccin como 34, el 4 abajo
nos dice que dividamos la unidad en cuatro partes iguales, y el 3 arriba nos dice
entonces que seleccionemos tres de dichas partes. De manera ms formal, 4 es el
denominador y 3 es el numerador. Por conveniencia tipogrfica las fracciones se
3
suelen escribir en una nica lnea en la forma , o a veces en la forma de
4
compromiso 34. La barra horizontal se transforma entonces en una barra diagonal.
En general, no obstante, apenas utilizamos notacin fraccionaria en el trabajo
www.lectulandia.com - Pgina 58
prctico. Bsicamente utilizamos decimales, escribiendo como 3,14159,
digamos, lo que no es exacto pero es suficientemente prximo para la mayora de los
clculos. Histricamente tenemos que dar un pequeo salto para llegar a los
decimales, pero aqu estamos siguiendo cadenas de ideas, no cronologa, de modo
que ser mucho ms sencillo dar el salto. Por lo tanto, saltamos hasta 1585, cuando
Guillermo el Silencioso escogi al holands Simn Stevin como tutor privado para su
hijo Mauricio de Nassau.
A partir de este reconocimiento, Stevin se labr una carrera, llegando a ser
inspector de Diques, contramaestre general de la Armada y, finalmente, ministro de
Finanzas. Rpidamente comprendi la necesidad de procedimientos contables
precisos, y estudi a los aritmticos italianos del periodo renacentista y la notacin
indoarbiga transmitida a Europa por Leonardo de Pisa. Encontr engorrosos los
clculos con fracciones, y hubiera preferido la precisin y el orden de los
sexagesimales babilnicos si no fuera por el uso de la base 60. Trat de encontrar un
sistema que combinara lo mejor de ambos, e invent uno similar al sistema
babilnico pero con base 10: los decimales.
Public su nuevo sistema notacional, dejando claro que haba sido ensayado y
comprobado, y que hombres muy prcticos lo haban encontrado muy prctico.
Adems, seal su eficacia como herramienta para los negocios: todos los clculos
que se encuentran en los negocios pueden realizarse slo con enteros sin la ayuda de
fracciones.
Su notacin no inclua la familiar coma decimal, pero condujo rpidamente a la
notacin decimal actual. Donde nosotros escribimos 5,7731, pongamos por caso,
Stevin escriba 57731. El smbolo indicaba un nmero entero, indicaba una dcima,
una centsima, y as sucesivamente.
A medida que la gente se acostumbraba al sistema se prescindi de, y sucesivos, y
se retuvo slo que, contrada y simplificada, se convirti en la habitual coma decimal.
www.lectulandia.com - Pgina 59
necesitaron varios siglos para que la notacin indoarbiga
desplazara al baco tradicional, pronto se hicieron patentes
las ventajas de un sistema de clculo con una notacin clara.
Leonardo, a veces conocido por su apodo Fibonacci,
que significa hijo de Bonaccio, pero no hay registro de este
nombre antes del siglo XVIII, y probablemente fue inventado
entonces por Guillaume Libri.
Nmeros naturales
Si incluimos tambin los nmeros negativos tenemos los enteros. Los nmeros
racionales (o simplemente los racionales) son las fracciones positivas y negativas,
los nmeros reales (o simplemente los reales) son los decimales positivos y
negativos, que se prolongan indefinidamente si es necesario.
Cmo entraron en la historia los nmeros negativos? En los comienzos del primer
milenio los chinos empleaban un sistema de varas de recuento en lugar de un
baco. Disponan las varas en pautas para representar nmeros.
La hilera superior de la figura muestra varas heng, que representaban unidades,
centenas, decenas de millar y as sucesivamente, segn su posicin en una hilera de
www.lectulandia.com - Pgina 60
tales smbolos. La hilera inferior muestra
varas tsung, que representaban decenas,
millares y as sucesivamente. De modo
que los dos tipos de varas se alternaban.
Los clculos se realizaban mediante
manipulaciones sistemticas de las varas.
Cuando resolvan un sistema de
ecuaciones lineales, los calculadores
chinos disponan las varas en una mesa.
Utilizaban varas rojas para trminos que
se supona que haba que sumar y varas
negras para trminos que se supona que
haba que restar. As, para resolver
ecuaciones que nosotros escribiramos
3x 2y = 4
x + 5y = 7
Numerales mayas
Un notable sistema de nmeros, que utilizaba notacin de base 20, en lugar de base
10, fue desarrollado por los mayas que vivan en Amrica Central alrededor del
ao 1000. En el sistema de base 20, los smbolos equivalentes a nuestro 347
significaran
3 400 + 4 20 + 7 1
(pues 202 = 400) que es 1287 en nuestra notacin. Los smbolos reales se muestran
aqu.
www.lectulandia.com - Pgina 61
Las primeras civilizaciones que usaron base 10 lo hicieron probablemente
porque los seres humanos tienen diez dedos en las manos. Se ha sugerido que los
mayas contaban tambin con los dedos de los pies, y por eso utilizaban base 20.
Para Diofanto todos los nmeros tenan que ser positivos, y por ello rechazaba las
soluciones negativas a las ecuaciones.
Los matemticos hindes encontraron que los nmeros negativos eran tiles para
representar deudas en los clculos financieros; deber a alguien una suma de dinero
era peor, desde el punto de vista financiero, que no tener dinero, de modo que una
deuda debera ser claramente menos que cero. Si uno tiene tres libras y paga 2,
entonces le quedan 3 2 = 1. Por la misma razn, si debe 2 libras y gana 3, su valor
neto es 2 + 3 = 1. Bhaskara comenta que un problema particular tena dos
soluciones, 50 y 5, pero le pona nervioso la segunda solucin, y deca que no debe
tomarse; la gente no aprueba las soluciones negativas.
Pese a estos recelos, los nmeros negativos fueron siendo aceptados
gradualmente. Su interpretacin, en un clculo real, requera cierto cuidado.
A veces no tenan sentido, a veces podan ser deudas, a veces podan significar un
www.lectulandia.com - Pgina 62
movimiento descendente en lugar de uno ascendente. Pero al margen de la
interpretacin, su aritmtica funcionaba perfectamente, y eran tan tiles como ayuda
computacional que hubiera sido estpido no utilizarlos.
La aritmtica perdura
Nuestro sistema numeral es tan familiar que tendemos a suponer que es el nico
posible, o al menos el nico razonable. En realidad, evolucion, de forma laboriosa y
con numerosas vas muertas, durante miles de aos.
Hay muchas alternativas; algunas fueron utilizadas por culturas anteriores, como
los mayas. Notaciones diferentes para los numerales 0-9 se utilizan hoy en diferentes
pases. Y nuestros computadores representan nmeros internamente en forma binaria,
no decimal: sus programadores aseguran que los nmeros se conviertan de nuevo a
forma decimal antes de que aparezcan en la pantalla o en una impresora.
Dado que los computadores son ahora ubicuos, tiene sentido seguir enseando
aritmtica? S, y por varias razones. Alguien tiene que ser capaz de disear y
construir calculadoras y computadores, y hacer que realicen la tarea correcta; esto
requiere entender la aritmtica, cmo y por qu funciona, no solo cmo hacerla. Y si
su nica habilidad aritmtica es leer lo que hay en una calculadora, probablemente
usted no advertir que el supermercado se ha equivocado en su factura.
Sin internalizar las operaciones bsicas de la aritmtica, el conjunto de las
matemticas le ser inaccesible. Quiz usted no se preocupe por eso, pero la
civilizacin moderna se vendra abajo rpidamente si dejramos de ensear
aritmtica, porque no se pueden detectar los futuros ingenieros y cientficos cuando
tienen cinco aos. O incluso los futuros banqueros y contables.
Por supuesto, una vez que se tiene a mano una idea bsica de la aritmtica,
utilizar una calculadora es una buena manera de ahorrar tiempo y esfuerzo. Pero,
igual que no se aprende a caminar utilizando siempre una muleta, tampoco se aprende
a pensar razonablemente sobre nmeros findose solamente de una calculadora.
www.lectulandia.com - Pgina 63
de nuestra cuenta automticamente, en lugar de tener un contable que lo haga. La
cantidad de aritmtica consumida por una persona normal durante un solo da es
sustancial.
www.lectulandia.com - Pgina 64
www.lectulandia.com - Pgina 65
El uso de smbolos en matemticas va mucho ms all de su aparicin en
notaciones para nmeros, como dejar claro una ojeada informal a cualquier texto de
matemticas. El primer paso importante hacia el razonamiento simblico frente a
la mera representacin simblica se dio en el contexto de la solucin de problemas.
Numerosos textos antiguos, que se remontan a la poca de la antigua Babilonia,
presentan a sus lectores informacin sobre una cantidad desconocida y luego
preguntan por su valor.
Una frmula estndar (en el sentido literario) en las tablillas babilnicas dice: Yo
encontr una piedra pero no la pes. Despus de alguna informacin adicional
cuando yo aad una segunda piedra de la mitad de peso, el peso total era de 15
gin al estudiante se le pide calcular el peso de la piedra original.
lgebra
Problemas de este tipo dieron lugar con el tiempo a lo que ahora llamamos lgebra,
en donde los nmeros se representan por letras. La cantidad desconocida se denota
tradicionalmente por la letra x, las condiciones que se aplican a x se enuncian como
frmulas matemticas, y al estudiante se le ensean mtodos estndar para extraer el
valor de x a partir de dichas frmulas. Por ejemplo, el problema babilnico anterior se
escribira como x + 12x = 15, y aprenderamos la forma de deducir que x = 10.
En el nivel escolar, el lgebra es una rama de las matemticas en la que nmeros
desconocidos se representan por letras, las operaciones de la aritmtica se representan
por smbolos y la tarea principal consiste en deducir los valores de las cantidades
desconocidas a partir de las ecuaciones. Un problema tpico en el lgebra de la
escuela consiste en encontrar un nmero desconocido x dada la ecuacin x2 + 2x =
120. Esta ecuacin cuadrtica tiene una solucin positiva, x = 10. Aqu x2 + 2x =
102 + 2 10 = 100 + 20 = 120. Tambin tiene una solucin negativa, x = 12. En este
caso x2 + 2x = (12)2 + 2 (12) = 144 24 = 120.
Los antiguos habran aceptado la solucin positiva, pero no la negativa. Hoy
admitimos ambas, porque en muchos problemas los nmeros negativos tienen un
significado razonable y corresponden a respuestas fsicamente factibles, y porque
realmente las matemticas se hacen ms sencillas si se admiten los nmeros
negativos.
En matemticas avanzadas, el uso de smbolos para representar nmeros es slo
un aspecto minsculo de la disciplina, el contexto en el que empez.
El lgebra trata de las propiedades de expresiones simblicas por s mismas; trata
de estructura y forma, no slo de nmeros. Esta visin ms general del lgebra se
desarroll cuando los matemticos empezaron a plantear preguntas generales sobre
lgebra de nivel escolar. En lugar de tratar de resolver ecuaciones concretas,
www.lectulandia.com - Pgina 66
examinaron la estructura ms profunda del propio proceso de solucin.
Una tablilla cuneiforme del periodo Babilonio Antiguo muestra un problema geomtrico
algebraico.
Cmo surgi el lgebra? Lo que vino primero fueron los problemas y los
mtodos. Slo ms adelante fue inventada la notacin simblica, lo que ahora
consideramos que es la esencia del tema. Haba muchos sistemas notacionales, pero
finalmente uno de ellos elimin a todos sus competidores. El nombre lgebra
apareci en medio de este proceso, y es de origen rabe. (La inicial al, el trmino
rabe para el, lo delata).
www.lectulandia.com - Pgina 67
Ecuaciones
Lo que ahora llamamos la solucin de ecuaciones, en la que hay que encontrar una
incgnita a partir de informacin apropiada, es casi tan vieja como la aritmtica. Hay
evidencia indirecta de que los babilonios ya resolvan ecuaciones bastante
complicadas en el 2000 a. C., y evidencia directa de soluciones de problemas ms
sencillos, en forma de tablillas cuneiformes, que se remonta hasta alrededor del
1700 a. C.
La porcin que sobrevive de la Tablilla YBC 4652 del periodo babilnico
Antiguo (1800-1600 a. C.), contiene once problemas para resolver; el texto de la
tablilla indica que originalmente haba 22 problemas. Una pregunta tpica es:
Encontr una piedra, pero no la pes. Despus pes 6 veces su peso, aad 2 gin y
aad un tercio de un sptimo multiplicado por 24. Lo pes. El resultado era 1 ma-na.
Cul era el peso original de la piedra?.
Un peso de 1 ma-na son 60 gin.
En notacin moderna, llamaramos x al peso buscado en gin. Entonces la pregunta
nos dice que
1 1
(6x + 2) + 24(6x + 2) = 60
3 7
ax + b = 0
con solucin x = b/a. Pero en los tiempos antiguos, sin el concepto de nmeros
negativos y sin manipulacin simblica, encontrar una solucin no era tan simple.
Incluso hoy, muchos estudiantes tendran dificultades con los problemas de YBC
4652.
Ms interesantes son las ecuaciones cuadrticas, en las que la incgnita puede
aparecer tambin elevada a la segunda potencia: al cuadrado. La formulacin
moderna toma la forma
www.lectulandia.com - Pgina 68
ax2 + bx + c = 0
a = 11, b = 7, c = 6; 15 = 614
ax2 + bx = c
www.lectulandia.com - Pgina 69
Esto es equivalente a la frmula que se ensea hoy
Est muy claro que los babilonios saban que su procedimiento era general. El
ejemplo citado es demasiado complejo para que la solucin sea especial, diseada
para abordar este problema solamente.
Qu pensaban los babilonios de su mtodo, y cmo llegaron a l? Tuvo que
haber alguna idea relativamente sencilla tras un proceso tan complicado. Parece
plausible, aunque no hay prueba directa, que tuvieran una idea geomtrica,
completar el cuadrado. Una versin algebraica de esto tambin se ensea hoy.
Podemos representar la pregunta, que por claridad decidimos escribir en la forma
x2 + ax = b, como una imagen:
Podemos entonces reordenar las dos piezas y pegarlas en los bordes del cuadrado:
www.lectulandia.com - Pgina 70
El diagrama de la izquierda pide a gritos ser completado para dar un cuadrado
ms grande, aadiendo el cuadrado sombreado:
Para que la ecuacin siga siendo vlida, el mismo cuadrado sombreado extra se
aade tambin al otro diagrama. Pero ahora reconocemos el diagrama de la izquierda
como el cuadrado de lado (x + a/2), y la imagen geomtrica es equivalente al
enunciado algebraico
(x + a/2)2 = b + (a/2)2
x + a/2 = b + (a/2)2
x = b + (a/2)2 a/2
www.lectulandia.com - Pgina 71
tablillas de arcilla.
Al-jabr
x3=5
y deducimos que
x = 8.
x+3=5
a la respuesta
x=2
La serie de Fibonacci
La seccin tercera del Lber Abbaci contiene un problema cuyo origen parece estar
en Leonardo: Un hombre pone un pareja de conejos en un lugar rodeado por todos
lados de una pared. Cuntos pares de conejos pueden crearse a partir de esta
primera pareja en un ao si cada mes cada pareja engendra una nueva pareja, que
www.lectulandia.com - Pgina 72
se hace frtil a partir del segundo mes?
Este problema ms bien extravagante lleva a una curiosa, y famosa, serie de
nmeros:
1 2 3 5 8 13 21 34 55
Ecuaciones cbicas
ax3 + bx2 + cx + d = 0
www.lectulandia.com - Pgina 73
Los griegos no lo saban como un hecho general, sino que explotaban sus
consecuencias en casos concretos, utilizando las cnicas como un nuevo tipo de
instrumento geomtrico.
Esta lnea de ataque fue completada y codificada por el persa Omar Khayyam,
ms conocido por su poema Rubaiyat. Alrededor de 1075 l clasific las ecuaciones
cbicas en 14 tipos, y demostr cmo resolver cada tipo utilizando cnicas en su obra
Sobre las demostraciones de los problemas de lgebra y comparacin. El tratado era
un tour de forc geomtrico, y depur el problema geomtrico casi por completo. Un
matemtico moderno planteara algunos reparos: algunos de los casos de Omar no
estn completamente resueltos porque l supone que existen ciertos puntos
construidos geomtricamente cuando a veces no es as.
Es decir, l supone que sus cnicas se cortan cuando pueden no hacerlo. Pero
estos son defectos menores.
Las soluciones geomtricas de la cbica estaban muy bien, pero podan existir
soluciones algebraicas que incluyeran cosas tales como races cbicas pero nada ms
complicado?
Los matemticos de la Italia del Renacimiento hicieron uno de los ms
trascendentales avances en lgebra cuando descubrieron que la repuesta es s. En
aquellos das los matemticos se ganaban su reputacin tomando parte en
competiciones pblicas. Cada competidor planteaba problemas a su oponente, y
quien ms resolviera se consideraba el ganador. Los miembros de la audiencia podan
hacer apuestas sobre quin ganara. Los competidores a menudo apostaban grandes
sumas de dinero; en un caso del que hay noticia, el perdedor tuvo que pagar al
ganador (y sus amigos) treinta banquetes. Adems, era muy probable que aumentara
la capacidad del ganador para atraer a estudiantes de pago, fundamentalmente
procedentes de la nobleza. Por tanto, el combate matemtico pblico era una cosa
seria.
En 1535 tuvo lugar una de estas competiciones entre Antonio Fiore y Niccolo
Fontana, apodado Tartaglia, el tartamudo. Tartaglia barri a Fiore, y la noticia de
su xito se difundi, llegando a odos de Girolamo Cardano. Y Cardano aguz el
odo. El estaba escribiendo un texto de lgebra general, y las preguntas que Fiore y
Tartaglia se haban planteado se referan a las ecuaciones cbicas. En aquella poca
las ecuaciones cbicas estaban clasificadas en tres tipos diferentes, una vez ms
debido a que no se reconocan los nmeros negativos. Fiore slo saba resolver un
tipo. Inicialmente Tartaglia saba resolver un tipo diferente. En smbolos modernos,
su solucin de una ecuacin cbica del tipo x3 + ax = b es
www.lectulandia.com - Pgina 74
desesperacin inspirada, Tartaglia descubri cmo resolver tambin los otros tipos.
Entonces plante a Fiore slo los tipos que saba que Fiore no podra resolver.
Cardano, al saber de la competicin, se dio cuenta de que los dos combatientes
haban concebido mtodos para resolver ecuaciones cbicas. Queriendo aadirlos a
su libro, se dirigi a Tartaglia y le pidi que le revelara sus mtodos. Naturalmente
Tartaglia era reacio, porque su modo de vida dependa de ellos, pero finalmente fue
convencido para divulgar el secreto. Segn Tartaglia, Cardano prometi que nunca
publicara el mtodo. Por ello, es comprensible que Tartaglia se enfadara cuando su
mtodo apareci en el Ars Magna el Gran Arte del Algebra de Cardano. Se
quej amargamente y acus a Cardano de plagio.
Omar Kayyham fue ms conocido por su poesa pero tambin fue un matemtico notable.
Pero Cardano estaba lejos de amedrentarse. Era un jugador inveterado, que haba
ganado y perdido sumas considerables de dinero a las cartas, los dados e incluso al
ajedrez. Perdi de esta manera toda la fortuna de la familia y se vio reducido a la
penuria. Tambin era un genio, un mdico competente, un matemtico brillante y un
www.lectulandia.com - Pgina 75
autopublicista consumado, aunque sus atributos positivos estaban mitigados por una
franqueza que a veces se haca ofensivamente directa e insultante. Por ello se le
puede perdonar a Tartaglia que supusiera que Cardano le haba mentido y haba
robado su descubrimiento. El hecho de que Cardano hubiera dado todo el crdito a
Tartaglia en su libro slo empeor las cosas; Tartaglia saba que quien sera recordado
era el autor del libro, y no una oscura figura de la que se hiciese una simple mencin.
Sin embargo, Cardano tena una excusa, y muy buena. Y tambin tena una buena
razn para romper su promesa a Tartaglia. La razn era que un estudiante de
Cardano, Ludovico Ferrari, haba encontrado un mtodo para resolver ecuaciones
curticas, que incluyen la cuarta potencia de la incgnita. Esto era algo
completamente nuevo y de enorme importancia. Por supuesto, Cardano tambin
quera incluir las ecuaciones curticas en su libro. Puesto que era su estudiante quien
haba hecho el descubrimiento, esto habra sido legtimo. Pero el mtodo de Ferrari
reduca la solucin de cualquier curtica a la de una cbica asociada, de modo que se
basaba en la solucin de Tartaglia de las ecuaciones cbicas. Cardano no poda
publicar el trabajo de Ferrari sin publicar tambin el de Tartaglia.
Entonces le llegaron nuevas noticias que ofrecan una salida. Fiore, que haba
perdido con Tartaglia en combate pblico, era un estudiante de Scipio Del Ferro.
Cardano oy que Del Ferro haba resuelto los tres tipos de cbica, no slo el que
haba pasado a Fiore. Y se rumoreaba que un tal Annibale del Nave posea papeles
inditos de Del Ferro. Por ello, Cardano y Ferrari fueron a Bolonia en 1543 a
consultar con Del Nave, vieron los papeles, y all, delante de sus narices, haba
soluciones de los tres tipos de cbica. As que Cardano poda decir honestamente que
no estaba publicando el mtodo de Tartaglia, sino el de Del Ferro.
Tartaglia no vea las cosas as. Pero no tena una respuesta real a la afirmacin de
Cardano de que la solucin no era descubrimiento de Tartaglia en absoluto, sino de
Del Ferro. Tartaglia public una larga y amarga diatriba sobre el asunto, y fue
desafiado a un debate pblico por Ferrari, que defenda a su maestro. Ferrari gan de
calle, y Tartaglia nunca se recuper realmente del revs.
Varios captulos del Lber Abbaci contienen problemas algebraicos relevantes para
las necesidades de los mercaderes. Uno de ellos, no muy prctico, dice as: Un
hombre compra 30 pjaros: periquitos, milanos y gorriones. Un periquito cuesta 3
monedas de plata, un milano 2, y un gorrin 12. l paga 30 monedas de plata.
Cuntos pjaros de cada tipo compra?.
En notacin moderna, si llamamos x al nmero de periquitos, y al nmero de
milanos, y z al nmero de gorriones, debemos resolver dos ecuaciones
x + y + z = 30
www.lectulandia.com - Pgina 76
x + y + z = 30
3x + 2y + 12z = 30.
Girolamo Cardano
(tambin conocido como Hieronymus Cardanus, Jernimo Cardano)
1501-1576
Girolamo Cardano fue el hijo ilegitimo del abogado
milans Fazio Cardano y una viuda joven llamada
Chiara Micheria que estaba tratando de criar a tres
nios. Los nios murieron a causa de la peste en
Miln mientras Chiara estaba dando a luz a
Girolamo en la cercana Pava. Fazio era un
matemtico capaz y transmiti su pasin por la
disciplina a Girolamo. Contra los deseos de su
padre, Girolamo estudi medicina en la
Universidad de Pava. Fazio hubiera querido que
estudiara derecho.
Siendo todava un estudiante, Cardano fue
elegido rector de la Universidad de Padua, a la que
se haba trasladado, por un solo voto. Tras
malgastar una pequea herencia de su padre
muerto recientemente, Cardano se dedic al juego
cartas, dados y ajedrez para aumentar sus
finanzas. Siempre llevaba una navaja y en cierta
ocasin cort el rostro de un rival de quien crea
que estaba haciendo trampas.
En 1525 Cardano obtuvo el ttulo de medicina,
pero su solicitud para entrar en el Colegio de
Mdicos de Miln fue rechazada, probablemente
debido a su reputacin de persona difcil. Practic
la medicina en la villa de Sacca, y se cas con
Lucia Bandarini, hija de un capitn de la milicia. La
prctica no prosper, y en 1533 Girolamo se
dedic de nuevo al juego, pero ahora sufri fuertes
www.lectulandia.com - Pgina 77
prdidas y tuvo que empear las joyas de su mujer y parte de las pertenencias de la familia.
Cardano tuvo un golpe de fortuna y se le ofreci el antiguo puesto de su padre como profesor de
matemticas en la Fundacin Piatti. Paralelamente sigui practicando la medicina, y algunas
curaciones milagrosas aumentaron su reputacin como mdico. En 1539, tras varios intentos, fue
admitido finalmente en el Colegio de Mdicos. Empez a publicar textos eruditos sobre varios temas,
incluidas las matemticas.
Cardano escribi una notable autobiografa, El libro de mi vida, una miscelnea de captulos
sobre temas diversos. Alcanz la cima de su fama y visit Edimburgo para tratar al arzobispo de
Saint Andrews, John Hamilton. Hamilton padeca un asma severa. Bajo los cuidados de Cardano su
salud mejor espectacularmente, y Cardano dej Escocia 2000 coronas de oro ms rico.
Lleg a ser profesor en la Universidad de Pava, y las cosas iban muy bien hasta que su hijo
mayor Giambatista se cas en secreto con Brandonia di Seroni, una mujer indigna y
desvergonzada en estimacin de Cardano. Ella y su familia humillaron y amedrentaron
pblicamente a Giambatista, que la envenen. Pese a los esfuerzos de Cardano. Giambatista fue
ejecutado. En 1570 Cardano fue procesado por hereja por haber hecho el horscopo de Jess. Fue
encarcelado, y luego liberado, pero privado del empleo de la universidad. Fue a Roma, donde
inesperadamente el Papa le concedi una pensin y fue admitido en el Colegio de Mdicos.
Predijo la fecha de su propia muerte, y supuestamente se asegur de acertar cometiendo
suicidio. Pese a sus muchas tribulaciones, sigui optimista hasta el final.
Smbolos algebraicos
www.lectulandia.com - Pgina 78
Igualdad =
5p: R m: 15
www.lectulandia.com - Pgina 79
5p: R m: 15
5m: R m: 15
25m:m: 15 qd. est 40.
x2 = 4x + 32
Descartes escriba
www.lectulandia.com - Pgina 80
3
incluyendo exponentes fraccionarios y negativos, tales como x 2 para la raz cuadrada
de x3. Fue Gauss quien finalmente aboli xx en favor de x2; una vez que lo haba
hecho el Gran Maestro, todos los dems le siguieron.
(2x + 3y) (x + y) = x + 2y
www.lectulandia.com - Pgina 81
los intrpidos arquelogos de la televisin queran calcular la profundidad de un
pozo medieval. La primera idea era dejar caer algo dentro del pozo y cronometrar
cunto tiempo tardaba en llegar al fondo. Tardaba 6 segundos. La frmula
algebraica relevante aqu es
s = 12 gt2
t=
Sabiendo que s = 180 metros, por ejemplo, predecimos que t es la raz cuadrada
de 360/10, es decir, la raz cuadrada de 36.
www.lectulandia.com - Pgina 82
www.lectulandia.com - Pgina 83
La geometra euclidiana se basa en tringulos, principalmente porque
todo polgono puede construirse a partir de tringulos, y muchas formas interesantes,
tales como crculos o elipses, pueden aproximarse por polgonos.
Las propiedades mtricas de los tringulos las que pueden medirse, tales como
las longitudes de los lados, los tamaos de los ngulos o el rea total estn
relacionadas por una variedad de frmulas, algunas de ellas muy elegantes. El uso
prctico de dichas frmulas, que son extraordinariamente tiles en navegacin y
topografa, requera el desarrollo de la trigonometra, que bsicamente significa
medir tringulos.
Trigonometra
www.lectulandia.com - Pgina 84
Trigonometra. Ideas bsicas
As definidos, los valores de estas tres funciones, para cualquier ngulo dado ,
estn determinados por la geometra del tringulo. (El mismo ngulo puede
aparecer en tringulos de tamaos diferentes, pero la geometra de los tringulos
semejantes implica que las razones establecidas son independientes del tamao).
Sin embargo, una vez que estas funciones han sido calculadas y tabuladas, pueden
ser utilizadas para reconstruir el tringulo a partir del ngulo .
Las tres funciones estn relacionadas por varias frmulas bellas. En particular,
el Teorema de Pitgoras implica que
sen2 + cos2 = 1.
www.lectulandia.com - Pgina 85
Tringulos
www.lectulandia.com - Pgina 86
150 a. C. En lugar de la moderna funcin
seno, l utilizaba una cantidad
ntimamente relacionada, que desde el
punto de vista geomtrico era igualmente
natural. Imaginemos un crculo con dos
radios que forman un ngulo . Los
puntos en donde estos radios cortan al
crculo pueden unirse por una lnea recta,
llamada cuerda. Tambin pueden
considerarse como los puntos extremos
de un arco de crculo.
Hiparco hizo una tabla que relaciona Arco y cuerda correspondientes a un ngulo .
arcos y longitudes de cuerda para un
rango de ngulos. Si el crculo tiene radio 1, entonces la longitud del arco es igual a
cuando este ngulo se mide en unidades conocidas como radianes. Un poco de
geometra elemental muestra que la longitud de la cuerda en notacin moderna es
2 sen /2. Por ello, el clculo de Hiparco est muy estrechamente relacionado con una
tabla de senos, incluso si no estaba presentado de esta manera.
Astronoma
www.lectulandia.com - Pgina 87
suma de sus ngulos. De hecho, esta
suma, menos 180, es proporcional al
rea total del tringulo.
Estos ejemplos dejan claro que la
geometra esfrica tiene sus propias
caractersticas y aspectos nuevos. Lo
mismo ocurre con la trigonometra
esfrica, pero las cantidades bsicas
siguen siendo las funciones
trigonomtricas estndar. Slo cambian
las frmulas.
Ptolomeo
AB CD + BC DA = AC BD
(la suma de los productos de pares de lados opuestos es igual al producto de las
diagonales).
Una interpretacin moderna de este hecho es el notable par de frmulas
www.lectulandia.com - Pgina 88
Empezar era ms fcil de lo que
podra parecer, y ello requera aritmtica
y races cuadradas. Utilizando el hecho
obvio de que /2 + /2 = , el teorema de
Ptolomeo implica que
sen =
2
Movimiento planetario
Un aspecto final digno de mencin del Almagesto es el tratamiento que haca de las
rbitas de los planetas. Cualquiera que observe con regularidad el cielo nocturno
descubre rpidamente que los planetas vagan en el fondo de estrellas fijas, y que
sus trayectorias parecen bastante complicadas, movindose a veces hacia atrs o
viajando en lazos alargados.
Eudoxo, respondiendo a una peticin de Platn, haba encontrado un modo de
representar estos movimientos complejos en trminos de esferas que giraban
montadas sobre otras esferas. Esta idea fue simplificada por Apolonio e Hiparco, que
utilizaban epiciclos: crculos cuyos centros se mueven a lo largo de otros crculos, y
as sucesivamente. Ptolomeo refin el sistema de epiciclos, que lleg a proporcionar
un modelo muy aproximado de los movimientos planetarios.
www.lectulandia.com - Pgina 89
y astrnomos hindes: Pancha Siddhanta de Varahamihira en el ao 500, Brama
Sputa Siddhanta de Brahmagupta en el 628 y el ms detallado Siddhanta Siromani de
Bhaskaracharya en 1150.
Los matemticos indios utilizaban generalmente la semi-cuerda, o jya-ardha, que
de hecho es el seno moderno. Varahamihira calcul esta funcin para 24 mltiplos
enteros de 3 45, hasta 90. Alrededor del 600, en el Maha Bhaskariya, Bhaskara dio
una til frmula aproximada para el seno de un ngulo agudo, que l atribua a
Aryabhata. Estos autores dedujeron varias frmulas trigonomtricas bsicas.
El Tratado sobre el cuadriltero del matemtico rabe Nasir-Eddin combinaba la
geometra plana y la esfrica en un desarrollo unificado, y daba varias frmulas
bsicas para tringulos esfricos. Trataba el tema de forma matemtica y no como
una parte de la astronoma. Pero su obra pas desapercibida en Occidente hasta
aproximadamente el ao 1450.
Debido al vnculo con la astronoma, casi toda la trigonometra era esfrica hasta
1450. En particular, la topografa hoy da una usuaria importante de trigonometra
se realizaba utilizando mtodos empricos, codificados por los romanos. Pero a
www.lectulandia.com - Pgina 90
mediados del siglo XV la trigonometra plana empez a independizarse, inicialmente
en la Liga Hansetica alemana. La Liga controlaba la mayor parte del comercio, y en
consecuencia era rica e influyente. Y necesitaba mejorar los mtodos de navegacin,
junto con mejoras en el calendario y en los usos prcticos de las observaciones
astronmicas.
Una figura clave fue Johannes Mller, normalmente conocido como
Regiomontano. Era un pupilo de George Peurbach, quien empez a trabajar en una
nueva versin corregida del Almagesto. En 1471, financiado por su patrn Bernard
Walther, calcul una nueva tabla de senos y una tabla de tangentes.
Otros matemticos destacados de los siglos XV y XVI calcularon sus propias tablas
trigonomtricas, con frecuencia de una extraordinaria precisin. George Joachim
Rhaeticus calcul senos para un crculo de radio 1015 en la prctica, tablas precisas
hasta 15 cifras decimales, pero multiplicando todos los nmeros por 1015 para
obtener enteros para todos los mltiplos de un segundo de arco. Enunci la ley de
los senos para tringulos esfricos,
Logaritmos
www.lectulandia.com - Pgina 91
y por consiguiente puede utilizarse para convertir multiplicaciones (cuyo clculo es
engorroso) en sumas (que son ms sencillas y ms rpidas).
Para multiplicar dos nmeros x e y, se forman primero sus logaritmos, se suman,
y luego se encuentra el nmero que tiene dicha suma como logaritmo (su anti-
logaritmo). Este nmero es el producto xy. Una vez que los matemticos hubieran
calculado tablas de logaritmos, stas podan ser utilizadas por cualquiera que
comprendiera el mtodo. Desde el siglo XVII hasta mediados del siglo XX,
prcticamente todos los clculos cientficos, especialmente los astronmicos,
utilizaban logaritmos.
A partir de los aos sesenta del siglo XX, las calculadoras y los computadores
electrnicos hicieron a los logaritmos obsoletos para fines de clculo.
No obstante, el concepto sigui siendo vital para las matemticas, porque los
logaritmos haban encontrado papeles fundamentales en muchas partes de las
matemticas, incluidos el clculo infinitesimal y el anlisis complejo. Muchos
procesos fsicos y biolgicos incluyen un comportamiento logartmico.
Hoy da nos acercamos a los logaritmos considerndolos como el inverso de las
exponenciales. Utilizando logaritmos de base 10, que son una eleccin natural para
la notacin decimal, decimos que x es el logaritmo de y si y = 10x. Por ejemplo,
puesto que 103 = 1000, el logaritmo de 1000 (en base 10) es 3. La propiedad bsica
de los logaritmos se sigue de la ley exponencial
Sin embargo, para que los logaritmos sean tiles tenemos que ser capaces de
encontrar un x para cualquier y real positivo. Siguiendo el ejemplo de Newton y otros
autores de su perodo, la idea principal es que cualquier potencia racional 10p/q
puede definirse como la raz q-sima de 10p. Puesto que cualquier nmero real x
puede ser aproximado con precisin arbitraria por un nmero racional p/q, podemos
aproximar 10x por 10p/q. sta no es la manera ms eficaz de calcular el logaritmo,
pero es la manera ms simple de demostrar que existe.
Histricamente, el descubrimiento de los logaritmos fue menos directo. Empez
con John Napier, barn de Murchiston en Escocia. l tuvo un permanente inters en
los mtodos eficaces de clculo, e invent las varas de Napier (o huesos de Napier),
un conjunto de palos marcados que podan utilizarse para hacer multiplicaciones de
forma rpida y fiable simulando mtodos de papel y lpiz. Alrededor de 1594 empez
a trabajar en un mtodo ms terico, y sus escritos nos dicen que le llev veinte aos
perfeccionarlo y publicarlo. Parece probable que su punto de partida fueran las
progresiones geomtricas, secuencias de nmeros en las que cada trmino se
obtiene del precedente multiplicndolo por un nmero fijo, tales como las potencias
de 2
1 2 4 8 16 32
www.lectulandia.com - Pgina 92
1 2 4 8 16 32
o las potencias de 10
Se haba advertido haca tiempo que sumar los exponentes era equivalente a
multiplicar las potencias. Esto estaba bien si uno quera multiplicar dos potencias de
2, digamos, o dos potencias enteras de 10. Pero haba grandes huecos entre estos
nmeros, y las potencias de 2 o 10 no parecan servir de mucho cuando se trataba de
problemas como 57 681 29 443, pongamos por caso.
Trigonometra plana
Hoy da la trigonometra se desarrolla primero en el plano, donde la geometra es
ms simple y los principios bsicos son ms fciles de captar. (Es curioso cuan a
menudo nuevas ideas matemticas se desarrollan inicialmente en un contexto
complicado, y las simplicidades subyacentes emergen mucho despus). Existe una
ley de los senos, y una ley de los cosenos, para tringulos planos, y vale la pena
hacer una pequea digresin para explicarlas. Consideremos un tringulo plano
con ngulos A, B, C y lados a, b, c.
Ahora la ley de los senos toma la forma
a b c
= =
sen A sen B sen C
a2 = b2 + c2 2bc cos A,
con frmulas similares que incluyen los otros ngulos. Podemos utilizar la ley de
los cosenos para encontrar los ngulos de un tringulo a partir de sus lados.
www.lectulandia.com - Pgina 93
Lados y ngulos de un tringulo.
Logaritmos neperianos
Mientras el buen barn estaba tratando de llenar de algn modo los huecos en las
progresiones geomtricas, el mdico del rey Jacobo VI de Escocia, James Craig,
cont a Napier el descubrimiento que era de amplio uso en Dinamarca, con el extrao
nombre de prostaferesis. Este se refera a cualquier proceso que converta productos
en sumas. El mtodo principal en uso prctico se basaba en una frmula descubierta
por Vieta:
www.lectulandia.com - Pgina 94
pequeo, lo que acaba con estos molestos huecos. Por algn motivo, Napier
escogi una razn ligeramente menor que 1, a saber 0,9999999. Por eso su serie
geomtrica va hacia atrs desde un nmero grande a otros cada vez ms pequeos.
De hecho, l empezaba con 10 000 000 y luego lo multiplicaba por potencias
sucesivas de 0,9999999. Si escribimos Naplog x para el logaritmo neperiano de x,
ste tiene la curiosa caracterstica de que
Esto puede utilizarse para el clculo, porque es fcil multiplicar o dividir por una
potencia de 10, pero no es elegante. No obstante, es mucho mejor que la frmula
trigonomtrica de Vieta.
Logaritmos de base 10
www.lectulandia.com - Pgina 95
Logaritmos en 1619. El relojero suizo Jobst Brgi public su propia obra sobre
logaritmos en 1610, y es muy posible que tuviera la idea bsica en 1588, mucho antes
que Napier. Pero el desarrollo histrico de las matemticas depende de lo que la gente
publica en el sentido original de hacer pblico, y las ideas que permanecen en
privado no tienen influencia en nadie ms. Por ello, el crdito, probablemente con
razn, tiene que ir a esas personas que ponen sus ideas en prensa, o al menos en
cartas de amplia circulacin. (La excepcin es la persona que pone las ideas de otros
en prensa sin darles el crdito debido. Esto es inaceptable).
La letra e
Asociado con la versin de Napier de los logaritmos est uno de los nmeros ms
importantes en matemticas, ahora denotado por la letra e. Su valor es
aproximadamente 2,7182. Aparece si tratamos de formar logaritmos partiendo de una
serie geomtrica cuya razn comn es ligeramente mayor que 1. Esto lleva a la
www.lectulandia.com - Pgina 96
expresin (1 + 1/n)n donde n es un entero muy grande; y cuanto mayor se hace n, ms
se acerca la expresin a un nmero especial, que denotamos por e.
Esta frmula sugiere que hay una base natural para los logaritmos, que no es 10
ni 2, sino e. El logaritmo natural de x es un nmero y que satisface la condicin x =
loge y. En las matemticas actuales, el logaritmo natural se escribe y = log x. A veces
la base e se hace explcita como y = loge x, pero esta notacin est restringida
bsicamente a las matemticas escolares, porque en ciencias y en matemticas
avanzadas los nicos logaritmos de importancia son los logaritmos naturales. Los
logaritmos en base 10 son mejores para los clculos en notacin decimal, pero los
logaritmos naturales son fundamentales desde el punto de vista matemtico.
La expresin ex se llama exponencial de x, y es uno de los conceptos ms
importantes en todas las matemticas. El nmero e es uno de esos extraos nmeros
especiales que aparecen en matemticas y tienen una gran trascendencia. El ms
familiar de tales nmeros es . Estos dos son la punta de un iceberg; hay muchos
otros. Presumiblemente son tambin los nmeros especiales ms importantes en las
matemticas actuales, porque afloran por todo el paisaje matemtico.
Sera difcil subestimar la deuda que tenemos con aquellos individuos previsores que
inventaron los logaritmos y la trigonometra y pasaron aos de su vida calculando
tediosamente las primeras tablas numricas de tales cantidades. Sus esfuerzos
prepararon el camino para una comprensin cientfica cuantitativa del mundo natural,
y permitieron la generalizacin de los viajes y el comercio al mejorar la navegacin y
la cartografa.
Las tcnicas bsicas de topografa se basan en clculos trigonomtricos. Incluso
hoy, cuando los equipos utilizan lseres y los clculos se hacen en un chip construido
a medida, los conceptos que el lser y el chip incorporan son descendientes directos
de la trigonometra que intrigaba a los matemticos de la India y Arabia antiguas.
Los logaritmos hicieron posible que los matemticos hicieran clculos de forma
rpida y exacta. Veinte aos de esfuerzo, por parte de un matemtico, en un libro de
tablas ahorraron decenas de miles hombre-aos de trabajo posterior. Entonces se hizo
posible realizar anlisis cientficos que de otra forma hubieran llevado demasiado
tiempo; incluso sin computadores, utilizando slo papel y lpiz y el cerebro humano.
La ciencia no podra haber avanzado sin algunos de esos mtodos. Los beneficios de
una idea tan simple han sido verdaderamente incalculables.
www.lectulandia.com - Pgina 97
La trigonometra es fundamental para la topografa, en escalas que van desde
emplazamientos de construcciones hasta continentes.
Es relativamente fcil medir ngulos con alta precisin, pero las distancias son
mucho ms difciles, especialmente en un terreno abrupto.
Por eso los topgrafos empiezan haciendo una medida cuidadosa de una
longitud, la lnea de base, es decir, la distancia entre dos puntos concretos. Luego
forman una red de tringulos y utilizan los ngulos medidos, ms trigonometra,
para calcular los lados de estos tringulos. De este modo puede construirse un
mapa, preciso de toda el rea de inters.
El proceso se conoce como triangulacin. Para comprobar su precisin, puede
hacerse una segunda medida de distancia una vez que la triangulacin se ha
completado.
www.lectulandia.com - Pgina 98
Para ello, desarroll una triangulacin al norte de Ciudad del Cabo.
Su resultado sugera que la curvatura de la Tierra es menor en las latitudes
australes que en las septentrionales, una deduccin sorprendente que fue verificada
por medidas posteriores.
La Tierra tiene una forma ligeramente de pera. Sus actividades de catalogacin
tuvieron tanto xito que l dio nombre a 15 de las 88 constelaciones ahora
reconocidas, tras observar ms de 10 000 estrellas utilizando un pequeo
telescopio refractor.
www.lectulandia.com - Pgina 99
www.lectulandia.com - Pgina 100
Aunque es habitual clasificar las matemticas en reas independientes,
tales como aritmtica, lgebra, geometra y dems, esta clasificacin debe ms a la
conveniencia humana que a la verdadera estructura de la disciplina. En matemticas
no hay fronteras rgidas y claras entre reas aparentemente distintas, y problemas que
parecen pertenecer a un rea pueden ser resueltos utilizando mtodos de otra. De
hecho, los mayores avances se suelen producir cuando se establece alguna conexin
inesperada entre temas que antes parecan distintos.
Pierre Fermat
Las matemticas griegas tienen huellas de tales conexiones, como son los vnculos
entre el Teorema de Pitgoras y los nmeros irracionales o el uso de Arqumedes de
analogas mecnicas para encontrar el volumen de la esfera.
La verdadera extensin e influencia de tal fertilizacin cruzada se hizo innegable
en un corto periodo de tiempo en torno a 1630. Durante ese breve periodo, dos de los
ms grandes matemticos del mundo descubrieron una notable conexin entre
lgebra y geometra. De hecho, ellos demostraron que cada una de estas reas puede
convertirse en la otra utilizando coordenadas.
Toda la obra de Euclides, y la obra de sus sucesores, puede reducirse a clculos
algebraicos. Recprocamente, todo en lgebra puede interpretarse en trminos de la
geometra de curvas y superficies.
Podra parecer que tales conexiones hacen superflua una de las dos reas.
Si toda la geometra puede reemplazarse por lgebra, por qu necesitamos la
geometra? La respuesta es que cada rea tiene su punto de vista caracterstico, que en
ocasiones puede ser muy penetrante y poderoso. A veces es mejor pensar
geomtricamente, y a veces es superior el pensamiento algebraico.
La primera persona que describi las coordenadas fue Pierre Fermat.
Fermat es ms conocido por su trabajo
sobre teora de nmeros, pero tambin
estudi muchas otras reas de las
matemticas, incluidas la probabilidad, la
geometra y las aplicaciones a la ptica.
Alrededor de 1620, Fermat estaba
tratando de entender la geometra de
curvas, y empez por reconstruir, a partir
de la poca informacin de que dispona, Propiedad focal de la elipse.
un libro perdido de Apolonio llamado
Sobre los loci en el plano. Hecho esto, Fermat se embarc en sus propias
investigaciones, que escribi en 1629 pero no public hasta cincuenta aos ms tarde,
Descartes
Ren Descartes
1596-1650
Descartes empez a estudiar matemticas en 1616 como alumno del cientfico holands Isaac
Beeckman. Dej Holanda para recorrer Europa y se uni al ejrcito bvaro en 1619. Continu
viajando entre 1620 y 1628, y visit Bohemia, Hungra, Alemania, Holanda, Francia e Italia. Conoci
a Mersenne en Pars en 1622, y desde entonces mantuvo correspondencia regular con l, lo que le
puso en contacto con la mayora de los eruditos destacados del periodo.
Por ejemplo, en un mapa, x podra ser la distancia al este del origen (los valores
negativos representan distancias al oeste), mientras que y podra ser la distancia al
norte del origen (los valores negativos representan las distancias al sur). Las
coordenadas funcionan tambin en un espacio tridimensional, pero ahora dos
nmeros no son suficientes para localizar un punto. Sin embargo, tres nmeros s lo
son. Adems de las distancias este-oeste y norte-sur, necesitamos saber lo lejos que
est un punto por encima o por debajo del origen. Normalmente utilizamos un
nmero positivo para distancias hacia arriba, y un nmero negativo para distancias
hacia abajo. Las coordenadas en el espacio toman la forma (x, y, z).
Por esto se dice que el plano es bidimensional, mientras que el espacio es
tridimensional. El nmero de dimensiones viene dado por cuntos nmeros
necesitamos para especificar un punto.
En el espacio tridimensional, una nica ecuacin que incluye x, y y z define
normalmente una superficie. Por ejemplo, x2 + y2 + z2 = 1, afirma que el punto (x, y,
z) est siempre a una distancia 1 del origen, lo que implica que yace en la superficie
de la esfera unidad cuyo centro es el origen.
Ntese que la palabra dimensin no est definida aqu por s misma. No
encontramos el nmero de dimensiones de un espacio encontrando algunas cosas
llamadas dimensiones y contndolas luego. En su lugar, calculamos cuntos nmeros
se necesitan para especificar una posicin en el espacio, y se es el nmero de
dimensiones.
Coordenadas cartesianas
ax + by + c = 0
Jacob (1654-1705)
Coordenadas polares, frmula para el radio
de curvatura de una curva plana. Curvas
especiales, tales como la catenaria y la
lemniscata. Demostr que una iscrona (una
curva a lo largo de la cual un cuerpo caera con
velocidad vertical uniforme) es una cicloide Espiral de Arqumedes.
invertida. Discuti figuras isoperimtricas, que
tienen la longitud ms corta bajo diferentes
condiciones, un tema que ms tarde llev al
clculo de variaciones. Estudiante temprano de la
probabilidad y autor del primer libro sobre el
tema, Ars Conjectandi. Pidi que en su tumba se
grabara una espiral logartmica, junto con la
inscripcin Eadem mutata resurgo (Me levantar
igual aunque cambiado).
Johann I (1667-1748)
Desarroll el clculo infinitesimal y lo
promocion en Europa. El Marquis de LHpital
puso la obra de Johann en el primer libro de texto
de clculo infinitesimal. La regla de LHpital
para evaluar lmites que se reducen a 0/0 se
debe a Johann.
Escribi sobre ptica (reflexin y refraccin),
trayectorias ortogonales de familias de curvas,
longitudes de curvas y evaluacin de reas por
series, trigonometra analtica y la funcin
exponencial.
La braquistcrona (curva de descenso ms
rpido), longitud de la cicloide.
Nicolaus I (1687-1759)
Ocup la ctedra de matemticas de Galileo
en Padua. Escribi sobre geometra y ecuaciones
diferenciales.
Ms tarde ense lgica y derecho.
Matemtico dotado aunque no muy productivo. Mantuvo correspondencia con Leibniz, Euler y otros
(sus logros principales estn diseminados entre 560 piezas de correspondencia). Formul la
Paradoja de San Petersburgo en probabilidad. Critic el uso indiscriminado de series divergentes por
parte de Euler. Ayud en la publicacin del Ars Conjectandi de Jakob Bemouilli. Apoy a Leibniz en
su controversia con Newton.
Nicolaus II (1695-1726)
Llamado a la Academia de San Petersburgo, muri ahogado ocho meses despus. Discuti la
Paradoja de San Petersburgo con Daniel.
Johann II (1710-1790)
El ms joven de los tres hijos de Johann. Estudi derecho pero se convirti en profesor de
matemticas en Basilea. Trabaj en la teora matemtica del calor y la luz.
Jacob II (1759-1789)
Importantes trabajos en elasticidad, hidrosttica y balstica.
Funciones
Las coordenadas son una de esas ideas simples que pueden cambiar la historia. Las
utilizamos en todas partes, normalmente sin advertir que lo estamos haciendo.
Prcticamente todas las grficas por computador emplean un sistema de coordenadas
interno, y la geometra que aparece en la pantalla se trata de manera algebraica. Una
operacin tan simple como rotar una fotografa digital unos pocos grados, para poner
el horizonte horizontal, se basa en la geometra de coordenadas.
El mensaje ms profundo de la geometra de coordenadas trata de las conexiones
cruzadas en matemticas. Conceptos cuyas realizaciones fsicas parecen totalmente
diferentes pueden ser aspectos diferentes de lo mismo.
Nosotros seguimos usando coordenadas en los mapas, pero otro uso comn de la
geometra de coordenadas se da en la Bolsa, donde las fluctuaciones de algunos
precios se registran como una curva.
Aqu la coordenada x es el tiempo, y la coordenada y es el precio. Cantidades
enormes de datos financieros y cientficos se registran de la misma manera.
Teora de nmeros
Hay algo absolutamente fascinante en los nmeros. Nmeros naturales puros, sin
adornos: 1, 2, 3, 4, 5. Qu podra ser ms simple? Pero ese exterior simple encierra
profundidades ocultas, y muchas de las preguntas ms sorprendentes en matemticas
se refieren a propiedades aparentemente directas de los nmeros naturales. El rea se
conoce como teora de nmeros, y resulta difcil precisamente porque sus
ingredientes son muy bsicos y simples. La misma simplicidad de los nmeros
naturales deja muy pocos recovecos para tcnicas ingeniosas.
Las primeras contribuciones serias a la teora de nmeros es decir, una teora
completa con demostraciones, no slo afirmaciones se encuentran en las obras de
Euclides, donde las ideas estn sutilmente enmascaradas como geometra. La
disciplina fue desarrollada como una nueva rea de las matemticas por el griego
Diofanto, algunos de cuyos escritos se conservan en copias posteriores. Recibi un
gran impulso en el siglo XVII por parte de Fermat, y fue desarrollada por Leonhard
Euler, Joseph-Louis Lagrange y Cari Friedrich Gauss como una rama profunda y
extensa de las matemticas que afectaba a muchas otras reas, a veces aparentemente
inconexas. A finales del siglo XX estas conexiones han sido utilizadas para responder
a algunos aunque no todos de los antiguos enigmas, incluida una conjetura muy
famosa hecha por Fermat alrededor de 1650, conocida como su ltimo teorema.
Durante la mayor parte de su historia, la teora de nmeros ha tratado del
funcionamiento interno de las propias matemticas, con pocas conexiones con el
mundo real. Si alguna vez hubo una rama del pensamiento matemtico que viva
confinada en torres de marfil, sa era la teora de nmeros, pero la llegada del
computador digital lo ha cambiado todo. Los computadores trabajan con
representaciones electrnicas de nmeros naturales, y los problemas y oportunidades
planteados por los computadores llevan frecuentemente a la teora de nmeros. Tras
2500 aos como ejercicio puramente intelectual, la teora de nmeros ha tenido
finalmente un impacto en la vida cotidiana.
Primos
2 3 5 7 11 13 17 19 23 29 31 37 41.
Como esta lista sugiere, no hay pauta obvia para los primos (excepto que todos
salvo el primero son impares). De hecho, parecen ocurrir de manera irregular y no
hay una forma simple de predecir el siguiente nmero en la lista. Incluso as, no hay
duda de que este nmero est de algn modo determinado: basta con ensayar
nmeros sucesivos hasta encontrar el siguiente primo.
A pesar, o quiz a causa, de su distribucin irregular, los primos son de vital
importancia para las matemticas. Forman los bloques constituyentes bsicos para
todos los nmeros, en el sentido de que nmeros mayores se crean multiplicando
nmeros ms pequeos. La qumica nos dice que cualquier molcula, por complicada
que sea, est formada por tomos: partculas indivisibles de materia.
Anlogamente, las matemticas nos dicen que cualquier nmero, por grande que
pueda ser, est formado por primos: nmeros indivisibles. Por ello los primos son
los tomos de la teora de nmeros.
Esta caracterstica de los primos es til porque muchas cuestiones en matemticas
pueden resolverse para todos los nmeros naturales con tal de que puedan resolverse
para los primos, y los primos tienen propiedades especiales que a veces hacen ms
fcil la solucin de la cuestin. Este aspecto dual de los primos importante pero de
mal comportamiento excita la curiosidad del matemtico.
Euclides introdujo los primos en el Libro VII de los Elementos, y dio
demostraciones de tres propiedades clave. En terminologa moderna, stas son: (1)
todo nmero puede expresarse como producto de primos; (2) dicha expresin es
nica excepto en el orden en que aparecen los primos, y (3) hay infinitos primos. Lo
que Euclides estableci y demostr en realidad es ligeramente diferente.
La Proposicin 31 del Libro VII nos dice que cualquier nmero compuesto est
medido por algn primo, es decir, es dividido exactamente por dicho primo. Por
ejemplo, 30 es compuesto, y es exactamente divisible por varios primos, entre ellos 5;
Diofanto
a2 + b2 = c2.
Fermat
Pierre Fermat
1601-1665
Pierre Fermat naci en Beaumont-de-Lomagne, Francia, en 1601, hijo del mercader de cuero
Dominique Fermat y de Claire de Long, la hija de una familia de abogados. Para 1629 haba hecho
importantes descubrimientos en geometra y en la teora precursora del clculo infinitesimal, pero
Gauss
El siguiente gran avance en teora de nmeros lo hizo Gauss, quien public su obra
maestra, Disquisitiones Arithmetic (Investigaciones en Aritmtica), en 1801. Este
libro llev la teora de nmeros al centro de la escena matemtica. Desde entonces la
teora de nmeros fue un componente nuclear de la corriente principal matemtica.
Gauss se centr principalmente en su propia y nueva obra, pero tambin estableci
las bases de la teora de nmeros y sistematiz las ideas de sus predecesores.
El ms importante de estos cambios fundacionales fue una idea muy simple pero
muy poderosa: la aritmtica modular. Gauss descubri un nuevo tipo de sistema de
nmeros, anlogo a los enteros pero que difiere en un aspecto clave: un nmero
particular, conocido como el mdulo, se identifica con el nmero 0. Esta curiosa idea,
ahora denominada aritmtica modular, result ser fundamental para nuestra
comprensin de las propiedades de divisibilidad de los enteros ordinarios.
Esta es la idea de Gauss. Dado un entero m, se dice que a y b son congruentes con
el mdulo m, denotado
0 1 4 9 16 25 36 49 64 81 100
01495335941
donde cada nmero distinto de 0 aparece dos veces. Estos nmeros son los residuos
cuadrticos, mod 11.
La clave para esta pregunta est en examinar los nmeros primos. Si p y q son
primos, cundo es q un cuadrado (mod p)? Gauss descubri que aunque no hay una
manera simple de responder a esta pregunta directamente, guarda una notable
relacin con otra pregunta: cundo es p un cuadrado (mod q)? Por ejemplo, la lista
anterior muestra que q= 5 es un cuadrado mdulo p 11. Tambin es cierto que 11 es
un cuadrado mdulo 5, porque 11 1 (mod 5) y 1 12. De modo que aqu ambas
preguntas tienen la misma respuesta.
Gauss demostr que esta ley de reciprocidad es vlida para cualquier par de
primos impares, salvo cuando ambos primos son de la forma 4k 1, en cuyo caso las
dos preguntas tienen siempre respuestas opuestas. Es decir: para dos primos impares
p y q cualesquiera
Inicialmente Gauss no era consciente de que sta no era una observacin nueva:
Euler haba advertido la misma pauta. Pero a diferencia de Euler, Gauss consigui
demostrar que siempre es verdadera. La demostracin era muy difcil, y Gauss
necesit varios aos para llenar una laguna pequea pero crucial.
Un tercer tema en las Disquisitiones es el descubrimiento que haba convencido a
Gauss para hacerse matemtico cuando tena 19 aos: una construccin geomtrica
para el 17-gono regular. Euclides proporcion construcciones, utilizando regla y
comps, para polgonos regulares con 3, 5 y 15 lados; tambin saba que estos
nmeros podan duplicarse repetidamente bisecando ngulos, lo que daba polgonos
regulares con 4, 6, 8 y 10 lados, y as sucesivamente. Pero Euclides no dio
construcciones para polgonos de 7 lados, de 9 lados o de cualquier otro nmero
distinto de los recin listados. Durante aproximadamente dos mil aos el mundo
Marie-Sophie Germain
1776-1831
Sophie Germain era hija del mercader de seda Ambroise-
Franois Germain y de Marie-Madelaine Gruguelin. A los 13
aos ley sobre la muerte de Arqumedes, a quien mat un
soldado romano mientras contemplaba un diagrama
geomtrico en la arena, y ello le inspir para hacerse
matemtica.
A pesar de los esfuerzos bien intencionados de sus
padres por disuadirla las matemticas no se consideraban
entonces una vocacin adecuada para una joven, ella ley
las obras de Newton y Euler envuelta en una manta mientras
su madre y su padre dorman. Cuando sus padres se
convencieron de su compromiso con las matemticas,
cedieron y empezaron a ayudarla, dndole soporte financiero
a lo largo de su vida.
Ella obtuvo apuntes de clase de la cole Polytechnique y
escribi a Lagrange adjuntndole algn trabajo original
propio bajo el nombre Monsieur LeBlanc. Lagrange,
impresionado, descubri finalmente que el autor era una
mujer, y tuvo el buen sentido de animarla y convertirse en su
patrocinador. Los dos trabajaron juntos, y algunos de los
resultados de ella fueron incluidos en una edicin posterior
del Ensayo sobre la Teora de los Nmeros de Legendre en
1798. Su corresponsal ms famoso fue Gauss. Sophie
estudi las Disquisitiones Arthmetic, y de 1804 a 1809
escribi varias cartas a su autor, ocultando de nuevo su sexo
y utilizando el nombre LeBlanc. Gauss alab el trabajo de LeBlanc en cartas a otros matemticos. En
1806 descubri que LeBlanc era realmente una mujer, con ocasin de la ocupacin de
Braunschweig por los franceses. Preocupada porque Gauss pudiera sufrir la misma suerte que
Arqumedes, Sophie entr en contacto con un amigo de la familia que era un alto mando del ejrcito
francs, el general Pernety. Gauss se enter y descubri que LeBlanc era realmente Sophie.
Sophie no tena por qu haberse preocupado. Gauss estaba an ms impresionado y le escribi:
Pero cmo describirle mi admiracin y asombro al ver que mi estimado corresponsal Monsieur
LeBlanc se metamorfoseaba en este ilustre personaje Cuando una persona del sexo que, segn
nuestras costumbres y prejuicios, debe encontrar infinitamente ms dificultades que los hombres
para familiarizarse con estas investigaciones espinosas, consigue pese a todo superar estos
obstculos y penetrar en las partes ms oscuras de ellos, entonces sin duda ella debe tener el valor
ms noble, talento absolutamente extraordinario y un genio superior.
Sophie obtuvo algunos resultados sobre el ltimo Teorema de Fermat, los mejores disponibles
hasta 1840. Entre 1810 y 1820 trabaj en las vibraciones de superficies, un problema planteado por
el Instituto de Francia. En particular, se buscaba una explicacin para las figuras de Chladni:
figuras simtricas que aparecen cuando se espolvorea arena sobre una placa metlica a la que
luego se hace vibrar utilizando un arco de violn. En su tercer intento fue premiada con una medalla
de oro, aunque por razones desconocidas, posiblemente una protesta por el tratamiento injusto a las
mujeres cientficas, ella no apareci en la ceremonia del premio.
En 1829 se le detect un cncer de pulmn, pero sigui trabajando en teora de nmeros y en la
curvatura de superficies hasta que muri dos aos ms tarde.
xp 1 + xp 2 + xp 3 ++ x2 + x + 1 = 0
Ahora bien, una construccin con regla y comps puede verse, gracias a la
geometra de coordenadas, como una secuencia de ecuaciones cuadrticas. Si existe
una construccin de este tipo, se sigue (de manera no totalmente trivial) que p 1
debe ser una potencia de 2.
Los casos griegos p = 3 y 5 satisfacen esta condicin: aqu p 1 = 2 y 4,
respectivamente. Pero no son los nicos primos semejantes. Por ejemplo 17 1 = 16
es una potencia de 2.
Esto todava no demuestra que el 17-gono se puede construir, pero ofrece un
fuerte indicio, y Gauss consigui encontrar una reduccin explcita de esta ecuacin
de grado 16 a una serie de cuadrticas. l afirm, pero no demostr, que una
construccin es posible cuando p 1 es una potencia de 2 (requiriendo todava que p
sea primo), y que es imposible para todos los dems primos. La demostracin fue
pronto completada por otros.
Estos primos especiales se denominan primos de Fermat, porque fueron
estudiados por Fermat. ste observ que si p es un primo y p 1 = 2k entonces k
debe ser tambin una potencia de 2. l anot los primeros primos de Fermat: 2, 3, 5,
17, 257, 65 537. Conjetur que los nmeros de esta forma son siempre primos, pero
esto era falso. Euler descubri que cuando m = 5 hay un factor 641.
Se sigue de esto que deben existir tambin construcciones de regla y comps para
el 257-gono regular y el 65 537-gono regular. F. J. Richelot construy el 257-gono
regular en 1832, y su trabajo es correcto. J. Hermes pas 10 aos trabajando en el
65 537-gono, y complet su construccin en 1894. Estudios recientes sugieren que
contiene errores.
La teora de nmeros empez a hacerse matemticamente interesante con la obra
de Fermat, quien detect muchas de las pautas importantes ocultas en el extrao y
enigmtico comportamiento de los nmeros naturales. Su enojosa tendencia a no dar
demostraciones fue corregida por Euler, Lagrange y algunas figuras menores, con la
nica excepcin de su ltimo Teorema, pero el rea sigui consistiendo en
teoremas aislados, con frecuencia profundos y difciles, pero no muy estrechamente
relacionados entre s.
Todo eso cambi cuando Gauss entr en escena y concibi fundamentos
conceptuales generales para la teora de nmeros, tales como la aritmtica modular.
l relacion tambin la teora de nmeros con la geometra en su trabajo sobre
polgonos regulares. Desde ese momento, la teora de nmeros se hizo una parte
principal del tapiz de las matemticas.
Incluso si es probable que Leibniz merezca la prioridad, Newton hizo del clculo
infinitesimal una tcnica capital de la disciplina en ciernes de la fsica matemtica, la
ruta ms efectiva que conoce la humanidad hacia la comprensin del mundo natural.
Newton llam a su teora el sistema del mundo. Quiz esto no parezca muy
modesto, pero es una descripcin muy justa. Antes de Newton, la comprensin que se
tena de las pautas en la naturaleza consista bsicamente en las ideas de Galileo
sobre los cuerpos en movimiento, en particular la trayectoria parablica de un objeto
tal como una bala de can, y el descubrimiento de Kepler de que Marte sigue una
elipse a travs de los cielos. Despus de Newton, las pautas matemticas gobernaban
casi todo en el mundo fsico: los movimientos de los cuerpos terrestres y celestes, el
flujo del aire y del agua, la transmisin del calor, la luz y el sonido, y la fuerza de la
gravedad.
Resulta curioso, no obstante, que la publicacin ms importante de Newton sobre
las leyes matemticas de la naturaleza, sus Principia Mathematica, apenas mencionan
el clculo infinitesimal; en su lugar, se basa en una inteligente aplicacin de la
geometra al estilo de los antiguos griegos. Pero las apariencias engaan: documentos
inditos conocidos como los papeles de Portsmouth muestran que cuando estaba
trabajando en los Principia, Newton ya tena las ideas principales del clculo
infinitesimal. Es probable que Newton utilizase los mtodos del clculo infinitesimal
para hacer muchos de sus descubrimientos, pero decidi no presentarlos de esta
forma.
Su versin del clculo infinitesimal fue publicada despus de su muerte en el
Mtodo de fluxiones de 1732.
Clculo infinitesimal
f(x + h) f(x)
h
g(x)dx
es cualquier funcin f(x) cuya derivada es g(x). Por ejemplo, puesto que la derivada
de es g(x) = 2x, la integral de g(x) = 2x es, en smbolos
2xdx = x2
Coprnico
Kepler
Cuando Brahe muri, sus papeles fueron heredados por Kepler, quien pas aos
analizando las observaciones en busca de pautas. Kepler era una especie de mstico,
en la tradicin pitagrica, y tenda a imponer pautas artificiales en los datos
Tambin se pregunt por qu haba seis planetas. Se dio cuenta de que seis
planetas dejan lugar para cinco formas interpuestas, y puesto que haba exactamente
cinco slidos regulares, esto explicara el lmite de seis planetas. Dio con una serie de
seis esferas, cada una de las cuales llevaba en su ecuador la rbita de un planeta.
Entre las esferas, firmemente anidados entre una esfera y la siguiente, coloc los
cinco slidos, en el orden
No hay ninguna razn especial para esperar que estas tres leyes guarden alguna
relacin ms estrecha con la realidad que la hipottica ordenacin de slidos
regulares, pero result que las tres leyes tenan una importancia fsica real.
Johannes Kepler
1571-1530
Kepler era hijo de un mercenario y de la hija de una posadera. Su padre muri, probablemente en la
guerra entre los Pases Bajos y el Sacro Imperio Romano, cuando Kepler era nio, y desde entonces
vivi con su madre en la posada de su abuelo.
Fue precoz en matemticas, y en 1589 estudi astronoma con Michael Maestlin en la
Universidad de Tubinga. All entr en contacto con el sistema ptolemaico.
La mayora de los astrnomos de la poca estaban ms interesados en calcular rbitas que en
preguntarse cmo se movan realmente los planetas, pero Kepler se interes desde el principio en
las trayectorias precisas seguidas por los planetas, antes que en el sistema de epiciclos propuesto.
Se familiariz con el sistema copernicano, y rpidamente se convenci de que era literalmente
verdadero y no slo un truco matemtico.
En 1596 hizo su primer intento por encontrar pautas en los movimientos de los planetas, va su
Mysterium Cosmographicum (Misterio del cosmos) con su extrao modelo basado en los slidos
regulares. Este modelo no estaba de acuerdo con las observaciones, de modo que Kepler escribi a
un destacado astrnomo observacional, Tycho Brahe. Kepler se convirti en el asistente matemtico
de Brahe, quien le puso a trabajar en la rbita de Marte. Tras la muerte de Brahe, Kepler sigui
trabajando en el problema. Brahe haba dejado una gran riqueza de datos y Kepler se esforz en
encajarlos en una rbita razonable. Los clculos que sobreviven ocupan ms de 1000 pginas, que
Kepler califica como mi guerra con Marte. Su rbita final era tan precisa que la nica diferencia
con los datos modernos se debe a una mnima deriva de la rbita durante los siglos transcurridos.
1611 fue un mal ao. El hijo de Kepler muri a los siete aos de edad. A continuacin muri su
mujer. Luego, el emperador Rodolfo, que toleraba a los protestantes, abdic y Kepler se vio obligado
a dejar Praga. En 1613 Kepler se volvi a casar, y un problema que le ocurri durante la celebracin
de su boda le llev a escribir su Nueva estereometra de las barricas de vino, de 1615.
En 1619 public Harmonices Mundi (La armona del mundo) una secuela de su Misterio del
cosmos. El libro contena muchas matemticas nuevas, incluidas pautas de teselacin y poliedros.
Galileo
Galileo Galilei
1564-1642
Galileo era hijo de Vincenzo Galilei, un profesor de msica que haba realizado experimentos con
cuerdas para validar sus teoras musicales. Cuando tena diez aos Galileo fue al Monasterio de
Leibniz
x3
omn x2 = .
3
En 1675 haba sustituido omn por el smbolo an utilizado hoy, una letra s
alargada al viejo estilo, que representa sum. l trabajaba en trminos de
incrementos pequeos dx y dy de las cantidades x e y, y utilizaba su razn para
determinar el tasa de cambio de y como funcin de x. En esencia, si f es una funcin,
Leibniz escriba
de modo que
dxn = nxn 1 dx
d n
x = nxn 1.
dx
Uno de los primeros usos del clculo infinitesimal para entender fenmenos
naturales fue en el problema de la forma de un puente colgante. La cuestin era
controvertida: algunos matemticos pensaban que la respuesta era una parbola,
pero otros discrepaban. En 1691 Leibniz, Christiaan Huygens y Johann Bernoulli
publicaron propuestas de soluciones. La ms clara era la de Bernoulli. l escribi
una ecuacin diferencial para describir la posicin de la cadena, basada en la
mecnica newtoniana y las leyes de movimiento de Newton.
Result que la solucin no era una parbola, sino una curva conocida como una
catenaria, con ecuacin
y = k(ex + ex)
para k constante.
Newton
El otro creador del clculo infinitesimal fue Isaac Newton. Dos de sus amigos,
d2y
.
dt2
f(x) = mxm 1.
Isaac Newton
1642-1727
Newton vivi en una granja en la minscula villa de
Woolsthorpe, en Lincolnshire. Su padre haba muerto dos
meses antes de que l naciera, y su madre llevaba la granja.
Fue educado en escuelas locales muy corrientes, y no mostr
ningn talento especial, salvo una habilidad con los juguetes
mecnicos. En una ocasin hizo un globo de aire caliente y lo
lanz con el gato de la familia como piloto; ni el globo ni el
gato volvieron a verse. Fue al Trinity College, en la
Universidad de Cambridge, gracias a que haba obtenido
notas razonables en la mayora de los exmenes excepto
en geometra. Como estudiante de licenciatura no caus
gran impacto.
Luego, en 1665, la gran plaga comenz a devastar
Londres y sus alrededores, y los estudiantes fueron enviados
a casa antes de que Cambridge corriera la misma suerte. De
vuelta a la granja familiar, Newton empez a pensar mucho
ms profundamente en cuestiones cientficas y matemticas.
Durante 1665-1666 concibi su ley de la gravedad para
explicar el movimiento planetario, desarroll las leyes de la
mecnica para explicar y analizar cualquier tipo de cuerpo o
partcula en movimiento, invent el clculo diferencial y el
integral, e hizo avances importantes en ptica. Como era propio de l, no public nada de su trabajo,
y volvi tranquilamente a Cambridge donde obtuvo su grado de maestro y fue elegido miembro del
college. Luego se asegur la posicin de la Ctedra Lucasiana de Matemticas, cuando quien la
La ecuacin diferencial
d2y
g=m
www.lectulandia.com - Pgina 147
d2y
g=m
dt2
gt2
y= y + at + b,
2m
Ecuaciones diferenciales
d2
+ k2 sen = 0
dt2
d2
+ k2 = 0
dt2
= A sen kt + B cos kt
www.lectulandia.com - Pgina 151
= A sen kt + B cos kt
dy
=y
dx
Ordinarias y parciales
Hay dos tipos de ecuaciones diferenciales. Una ecuacin diferencial ordinaria (EDO)
se refiere a una funcin desconocida y de una sola variable x, y relaciona varias
derivadas de y, tales como dy/dx y d2y/dx2. Las ecuaciones diferenciales descritas
hasta ahora han sido ordinarias. Mucho ms difcil, pero fundamental para la fsica
matemtica, es el concepto de ecuacin en derivadas parciales (EDP). Una ecuacin
semejante se refiere a una funcin desconocida y de dos o ms variables, tal como
y(x,t) donde x e y son coordenadas espaciales y t es el tiempo. La EDP relaciona esta
funcin con expresiones en sus derivadas parciales con respecto a cada una de las
variables. Se utiliza una nueva notacin para representar derivadas de unas variables
con respecto a otras mientras las restantes se mantienen fijas. As, x/t indica la tasa
de cambio de f con respecto al tiempo, mientras x e y se mantienen constantes. Esto
2y 2y
= a2 ,
t2 x2
Ecuacin de ondas
Los antiguos griegos saban que una cuerda vibrante puede producir muchas notas
musicales diferentes, dependiendo de la posicin de los nodos, o puntos en reposo.
En el caso de la frecuencia fundamental slo los puntos extremos estn en reposo.
Si la cuerda tiene un nodo en su centro, entonces produce una nota una octava ms
alta; y cuantos ms nodos haya, mayor ser la frecuencia de la nota. Las vibraciones
ms altas se denominan armnicos.
Las vibraciones de una cuerda de violn son ondas estacionarias: la forma de la
cuerda en cualquier instante es la misma, excepto que est estirada o comprimida en
una direccin perpendicular a su longitud. La mxima cantidad de estiramiento es la
amplitud de la onda, que fsicamente determina el tono de la nota. Las formas de
onda mostradas son de tipo sinusoidal; y sus amplitudes varan sinusoidalmente con
el tiempo.
En 1759 Euler extendi estas ideas de cuerdas a tambores. De nuevo dedujo una
ecuacin de ondas que describe cmo vara con el tiempo el desplazamiento de la
membrana en la direccin vertical. Su interpretacin fsica es que la aceleracin de
una parte pequea de la membrana es proporcional a la tensin media ejercida sobre
ella por las partes vecinas de la membrana. Los tambores difieren de las cuerdas de
violn no slo en su dimensionalidad un tambor es una membrana bidimensional
plana, sino en que tiene un contorno mucho ms interesante. En esta disciplina, los
contornos son absolutamente cruciales. El contorno de un tambor puede ser cualquier
curva cerrada, y la condicin clave es que el contorno del tambor est fijo.
Atraccin gravitatoria
Calor y temperatura
(una expresin sugerida por clculos preliminares) y dedujo que la temperatura deba
venir dada entonces por una expresin similar pero ms complicada en la que cada
trmino est multiplicado por una funcin exponencial apropiada. La analoga con los
armnicos en la ecuacin de ondas es sorprendente. Pero all cada modo dado por
una pura funcin seno oscila indefinidamente sin perder amplitud, mientras que aqu
cada modo sinusoidal de la distribucin de temperatura decae exponencialmente
con el tiempo, y los modos ms altos decaen con mayor rapidez.
La razn fsica para la diferencia es que en la ecuacin de ondas la energa se
conserva, de modo que las vibraciones no pueden desaparecer. Pero en la ecuacin
del calor la temperatura se difunde a lo largo de la barra, y se pierde en los extremos
porque stos se mantienen fros.
El resultado del trabajo de Fourier es que cuandoquiera que desarrollamos la
distribucin inicial de temperatura en serie de Fourier una serie de funciones senos
y cosenos como la anterior, entonces podemos leer inmediatamente cmo fluye el
calor a travs del cuerpo conforme pasa el tiempo. Fourier consideraba obvio que
cualquier distribucin inicial de temperatura podra expresarse de esta forma, y es
aqu donde empezaban las dificultades; algunos de sus contemporneos se haban
preocupado precisamente por esta cuestin durante algn tiempo, en relacin con las
ondas, y se haban convencido de que era mucho ms difcil de lo que pareca.
El argumento de Fourier para la existencia de un desarrollo en senos y cosenos
era complicado, confuso y muy poco riguroso. Se pase por todas las matemticas
para deducir, finalmente, una simple expresin para los coeficientes b1, b2, b3,
Si llamamos f(x) a la distribucin inicial de temperatura, su resultado era
2
bn = f(u) sen (nu) du
0
0 sen(mx) sen(nx) dx
es cero siempre que m y n sean enteros distintos, pero no nulos; de hecho, es igual a
/2 cuando m = n. Si suponemos que f(x) tiene un desarrollo de Fourier,
multiplicamos ambos miembros por sen x e integramos, entonces todos los trminos
excepto uno, desaparecen, y el trmino restante da la frmula de Fourier para bn.
1 1
S(x) = sen x + sen 3x + sen 5x +
3 5
Dinmica de fluidos
Ninguna discusin de las EDP de la fsica matemtica estara completa sin mencionar
la dinmica de fluidos. De hecho, sta es un rea de enorme importancia prctica
porque estas ecuaciones describen el flujo del agua alrededor de los submarinos, del
aire alrededor de los aviones e incluso el flujo del aire alrededor de los coches de
Frmula 1.
Euler inici la disciplina en 1757 deduciendo una EDP para el flujo de un fluido de
viscosidad nula adherencia cero. Esta ecuacin sigue siendo realista para
algunos fluidos, pero es demasiado simple para muchos usos prcticos. Las
ecuaciones para un flujo viscoso fueron obtenidas por Claude Navier en 1821, y de
nuevo por Poisson en 1829. Incluan varias derivadas parciales de la velocidad del
fluido. En 1845 George Gabriel Stokes dedujo las mismas ecuaciones a partir de
principios fsicos ms bsicos, y ahora se conocen con las ecuaciones de Navier-
Stokes.
Ondas de radio.
Enteros
(2 + 1)3 = 2 +
(2 + 1) + (2 1) = 4
Para responder a esta pregunta los matemticos tuvieron que desarrollar buenas
maneras de pensar en races cuadradas de cantidades negativas y hacer clculos con
ellas. Los autores anteriores, entre ellos Descartes y Newton, interpretaban estos
nmeros imaginarios como una seal de que un problema no tena solucin. Si uno
quera encontrar un nmero cuya raz cuadrada era menos uno, la solucin formal
raz cuadrada de menos uno era imaginaria, de modo que no exista solucin. Pero
el clculo de Bombelli implicaba que en los nmeros imaginarios haba algo ms que
eso. Podan utilizarse para encontrar soluciones; podan ocurrir cuando las soluciones
s existan.
Anlisis complejo
Si los nmeros complejos hubieran sido tiles slo para el lgebra, podran haber
seguido siendo una curiosidad intelectual, de poco inters fuera de las matemticas
puras. Pero a medida que creca el inters por el clculo infinitesimal, y ste adoptaba
una forma ms rigurosa como anlisis, la gente empez a advertir que una fusin
realmente interesante del anlisis real con los nmeros complejos el anlisis
complejo era no slo posible sino deseable. En realidad, para muchos problemas,
esencial.
Este descubrimiento derivaba de los intentos iniciales de pensar en funciones
complejas. Las funciones ms simples, tales como el cuadrado o el cubo, dependan
slo de manipulaciones algebraicas, de modo que era fcil definir estas funciones
para nmeros complejos. Para elevar al cuadrado un nmero complejo simplemente
se le multiplica por s mismo, el mismo proceso que se aplicara a un nmero real.
Las races cuadradas de nmeros complejos son algo ms complicadas, pero hay una
recompensa agradable por hacer el esfuerzo: todo nmero complejo tiene una raz
cuadrada.
En realidad, todo nmero complejo no nulo tiene precisamente dos races
cuadradas, una igual a menos la otra. Por ello, aumentar los nmeros reales con un
nuevo nmero, i, no slo proporcionaba a 1 una raz cuadrada, sino que
proporcionaba races para cualquier cosa en el sistema ampliado de los nmeros
complejos.
Qu pasaba con senos, cosenos, la funcin exponencial y el logaritmo? Ahora
las cosas empezaban a hacerse muy interesantes, pero tambin muy intrigantes,
especialmente cuando se llegaba a los logaritmos.
Como sucedi con el propio i, los logaritmos de nmeros complejos se
convirtieron en problemas puramente reales. En 1702 Johann Bernoulli estaba
investigando el proceso de integracin aplicado a recprocas de cuadrticas. El
conoca una tcnica ingeniosa para realizar esta tarea siempre que la ecuacin
cuadrtica en cuestin tuviera dos soluciones reales r y s. Entonces podemos
reescribir la expresin a integrar en trminos de fracciones parciales.
1 A B
= +
ax2 + bx + c xr xs
A log (x r) + B log (x s)
1 1/2 1/2
= +
x2 +1 x+1 x1
1 log (x + i) + 12 log (x i)
2
Este paso final no era plenamente satisfactorio, porque peda una definicin del
logaritmo de un nmero complejo. Era posible dar sentido a tal enunciado?
Bernouilli pensaba que lo era, y procedi a utilizar su nueva idea con un excelente
resultado. Leibniz tambin explot ideas de este tipo, pero los detalles matemticos
no eran simples. En 1712 ambos estaban discutiendo sobre un aspecto muy bsico de
esta aproximacin. Olvidemos los nmeros complejos; qu era el logaritmo de un
nmero real negativo? Bernouilli pensaba que el logaritmo de un nmero real
negativo debera ser real; Leibniz insista en que era complejo. Bernouilli tena algo
parecido a una demostracin de su afirmacin: suponiendo el formalismo habitual del
clculo infinitesimal, la ecuacin
d(x) dx
=
x x
log(x) = log(x).
Sin embargo, Leibniz no estaba convencido, y crea que la integracin slo era
correcta para x real positivo.
Esta controversia particular fue resuelta por Euler en 1749, y dio la razn a
Leibniz. Bernouilli, deca Euler, haba olvidado que cualquier integracin incluye una
constante arbitraria. Lo que Bernouilli debera haber deducido era que
log(x) = log(x) + c
para alguna constante c. Cul era esta constante? Si los logaritmos de nmeros
de modo que c = log (1). Entonces Euler se embarc en una serie de bellos clculos
que daban una forma ms explcita para c. En primer lugar encontr una manera de
manipular varias frmulas que incluan nmeros complejos, suponiendo que se
comportaban como nmeros reales, y dedujo una relacin entre funciones
trigonomtricas y la exponencial:
ei = cos + i sen ,
una frmula que haba sido anticipada en 1714 por Roger Cotes. Haciendo = ,
Euler obtuvo el precioso resultado
ei = 1
log (1) = i,
e2i = 1.
log x = log x + 2i
A primera vista esto no tiene sentido; parece implicar que 2ni = 0 para todo n.
Pero hay una manera de interpretarlo que s tiene sentido. Sobre los nmeros
Las partes real e imaginaria de una funcin compleja satisfacen las ecuaciones de
Cauchy-Riemann, que estn ntimamente relacionadas con las EDP para la
gravitacin, la electricidad, el magnetismo y algunos tipos de flujo de fluidos en el
plano. Esta relacin hizo posible resolver muchas ecuaciones de la fsica
matemtica pero slo para sistemas en dos dimensiones.
Campo magntico de un imn, puesto de manifiesto por limaduras de hierro: puede utilizarse
el anlisis complejo para calcular dichos campos.
Augustin-Louis Cauchy
1789-1857
Augustin-Louis Cauchy naci en Pars durante una poca de turbulencia poltica. Laplace y Lagrange
eran amigos de la familia, de modo que Cauchy estuvo en contacto con a las matemticas
superiores a una edad temprana.
Fue a lcole Polytechnique, donde se gradu en 1807. En 1810 realiz trabajos de ingeniera en
Cherburgo, incluido en los preparativos de la invasin de Inglaterra que planeaba Napolen, pero
sigui pensando sobre matemticas, leyendo la Mecanique cleste de Laplace y la Thorie des
functions de Lagrange.
Busc incesantemente puestos acadmicos, con poco xito, pero sigui trabajando en
matemticas. Su famoso artculo sobre integrales complejas, que marca de hecho la fundacin del
Teorema de Cauchy?
ab f(z)dz
donde a y b son nmeros complejos. En anlisis real esta expresin puede ser
evaluada encontrando una antiderivada F(z) de f(z), es decir, una funcin F(z) tal
que su derivada dF(z)/dz = f(z). Entonces la integral definida es igual a F(b) F(a).
En particular, su valor depende slo de los puntos extremos a y b, no de cmo se va
Ordenarlo todo requera una cabeza clara y una disposicin a reemplazar intuicin
por precisin, incluso si se perda generalidad. Los actores principales fueron
Bernhard Bolzano, Cauchy, Niels Abel, Peter Dirichlet y, sobre todo, Weierstrass.
Gracias a sus esfuerzos, hacia 1900 incluso las manipulaciones ms complicadas de
series, lmites, derivadas e integrales podan realizarse con seguridad, precisin y sin
paradojas. Se haba creado una nueva disciplina: el anlisis. El clculo infinitesimal
se convirti en un aspecto central del anlisis, pero conceptos ms sutiles y ms
bsicos, tales como continuidad y lmites, tomaron la prioridad lgica para soportar
las ideas del clculo infinitesimal. Los infinitesimales fueron eliminados por
completo.
Fourier
Antes de que se entrometiera Fourier, los matemticos eran felices creyendo saber lo
que era una funcin. Era una especie de proceso, f, que tomaba un nmero, x, y
generaba otro nmero, f(x).Qu nmeros x tienen sentido depende de cul es f. Si
f(x) = 1/x, por ejemplo, entonces x tiene que ser diferente de cero. Si f(x) = x
estamos trabajando con nmeros reales, entonces x debe ser positivo. Pero cuando se
les peda una definicin, los matemticos solan ser algo vagos.
Ahora entendemos que la fuente de sus dificultades era que estaban tratando de
entender varios aspectos diferentes del concepto de funcin; no slo que es una
regla que asocia a un nmero x otro nmero f(x), sino qu propiedades posee dicha
Poco a poco, los matemticos del siglo XIX empezaron a separar las diferentes
cuestiones conceptuales en esta difcil rea. Una era el significado del trmino
funcin. Otra eran las diversas maneras de representar una funcin: una frmula,
una serie de potencias, una serie de Fourier o lo que sea. Una tercera era qu
propiedades posea la funcin. Una cuarta era qu representaciones garantizaban qu
propiedades. Un nico polinomio, por ejemplo, define una funcin continua. Pero
pareca que una nica serie de Fourier poda no hacerlo.
El anlisis de Fourier se convirti rpidamente en el test para las ideas sobre el
concepto de funcin. Aqu los problemas cobraban su mximo relieve; aqu las
distinciones tcnicas esotricas resultaban importantes. Y fue en un artculo sobre
series de Fourier, en 1837, donde Dirichlet introdujo la definicin moderna de una
funcin. De hecho, l coincida con Fourier: una variable y es una funcin de otra
Funciones continuas
d2y d2y
x2 2
+ x 2
+ (x2 k2)y = 0,
dx dx
Lmites
Las ideas de Bolzano dieron impulso a estas mejoras. El hizo posible definir el lmite
1 1 1 1
1+ + + + +
2 4 8 16
a0 = 1
1 3
a1 = 1 + =
2 2
1 1 7
a2 = 1 + + =
2 4 4
1 1 1 15
a3 = 1 + + + =
2 4 8 8
Series de potencias
Weierstrass se dio cuenta de que las mismas ideas funcionaban tanto para nmeros
complejos como para nmeros reales. Todo nmero complejo z = x + iy tiene un valor
absoluto |z| = , que por el Teorema de Pitgoras es la distancia de 0 a z en el
plano complejo. Si medimos el tamao de una expresin compleja utilizando su valor
absoluto, entonces los conceptos de lmites, series y dems, para nmeros reales, tales
como los formul Bolzano, pueden ser transferidos inmediatamente al anlisis
complejo.
Weierstrass advirti que un tipo particular de serie infinita pareca ser
especialmente til. Se conoce como una serie de potencias, y se parece a un
polinomio de grado infinito:
1 2 1 3 1 4 1 5
ez = 1 + z + z + z + z + z +
2 6 24 120
1 i
cos = (e + ei)
2
1 i
sen = (e + ei)
2i
La hiptesis de Riemann
El problema ms famoso no resuelto en el conjunto de las matemticas es la
Hiptesis de Riemann, un problema en anlisis complejo que surgi en relacin
con los nmeros primos pero que tiene repercusiones en todas las matemticas.
Alrededor de 1793 Gauss conjetur que el nmero de primos menores que x es
aproximadamente x/log x. De hecho sugiri una aproximacin ms precisa llamada
la integral logartmica. En 1737 Euler haba advertido una conexin intrigante
entre la teora de nmeros y el anlisis: la serie infinita
1 + 2s + 3s + 4s +
1
1 + ps + p2s + p3s =
1 ps
Los primeros inventores del clculo infinitesimal haban adoptado una aproximacin
bastante displicente respecto a las operaciones infinitas. Euler haba supuesto que las
series de potencias eran igual que polinomios, y utiliz esta hiptesis con efecto
devastador. Pero en las manos de los mortales corrientes este tipo de hiptesis puede
llevar fcilmente a absurdos.
1 + x + x2 + x3 + x4 +
1 1 + 1 1 + 1 1 + = 12,
dx x
= kx(1 )
dt M
Mx0
x(t) =
x0 + (M x0)ext
Geometra y arte
En lo que concerna a Europa, la geometra estuvo estancada entre los aos 300 y
1600. La resurreccin de la geometra como un tema vivo lleg de la cuestin de la
perspectiva en el arte: cmo plasmar de forma realista un mundo tridimensional en un
lienzo bidimensional.
Los artistas del Renacimiento no slo creaban cuadros. Muchos se empleaban en
hacer obras de ingeniera, ya fuera con fines pacficos o guerreros. Su arte tena un
lado prctico, y la geometra de la perspectiva era una bsqueda prctica que se
aplicaba a la arquitectura tanto como a las artes visuales. Haba tambin un inters
creciente en ptica, las matemticas de la luz, que floreci una vez que se hubieran
inventado el telescopio y el microscopio. El primer artista importante en pensar sobre
las matemticas de la perspectiva fue Filippo Brunelleschi. De hecho, su arte fue
principalmente un vehculo para sus matemticas. Un libro seminal es Della Pintura
de Leone Battista Alberti escrito en 1435 e impreso en 1511.
Legendre
Saccheri
Lambert
El dilema de Gauss
Ahora los gemetras mejor informados empezaban a tener una sensacin definida de
que el Quinto Postulado de Euclides no poda ser demostrado a partir de los otros
axiomas. El caso del ngulo agudo pareca demasiado autoconsistente para llevar
siempre a una contradiccin. Por otra parte, una esfera de radio imaginario no era el
tipo de objeto que poda proponerse para justificar dicha creencia.
Uno de estos gemetras era Gauss, quien ya a una temprana edad se convenci de
que era posible una geometra no euclidiana lgicamente consistente y demostr
muchos teoremas en una geometra semejante. Pero, como dej claro en 1829 en una
carta a Bessel, l no tena intencin de publicar nada de este trabajo porque tema
despertar la ira de los beodos. La gente poco imaginativa no lo entendera, y en su
ignorancia y adhesin sin lmites a la tradicin ridiculizaran el trabajo. En esto puede
haber estado influido por el estatus jerrquico de la ampliamente aclamada obra de
Kant en filosofa; Kant haba defendido que la geometra del espacio deba ser
euclidiana.
En 1799 Gauss escriba al hngaro Wolfgang Bolyai, dicindole que la
investigacin: parece ms bien obligarme a dudar de la verdad de la propia
geometra. Es cierto que he dado con muchas cosas que para muchas personas
constituiran una demostracin [del Quinto Postulado a partir de los otros axiomas];
pero a mis ojos no valen nada.
El modelo de Poincar para la geometra hiperblica deja claro que hay infinitas rectas
paralelas que pasan por un punto y no cortan a una recta dada.
Qu pasa con la geometra del espacio? Ahora estamos de acuerdo con Klgel, y
desdeamos a Kant. sta es una cuestin de experiencia, no algo que pueda deducirse
por el puro pensamiento. La relatividad general de Einstein nos dice que el espacio (y
el tiempo) puede estar curvado; la curvatura es el efecto gravitatorio de la materia. La
curvatura puede variar de un lugar a otro, dependiendo de cmo est distribuida la
materia. Por ello, la geometra del espacio no es realmente la cuestin. El espacio
puede tener diferentes geometras en diferentes lugares. La geometra de Euclides
funciona bien en escalas humanas, en el mundo humano, porque la curvatura
gravitatoria es tan pequea que no la observamos en nuestra vida diaria.
Pero ah fuera, en el universo mayor, dominan las geometras no euclidianas. Para
los antiguos y hasta bien entrado el siglo XIX, las matemticas y el mundo real
estaban desesperantemente confundidos. Exista la creencia general de que las
matemticas eran una representacin de caractersticas bsicas e inevitables del
mundo real, y que la verdad matemtica era absoluta. En ningn lugar estaba esta
hiptesis ms profundamente arraigada que en la geometra clsica. Para
prcticamente todos los que importantes en este asunto, el espacio era euclidiano.
Qu otra cosa poda ser?
Esta pregunta dej de ser retrica cuando empezaron a aparecer alternativas
lgicamente consistentes con la geometra de Euclides. Se necesit tiempo para
reconocer que eran lgicamente consistentes tan consistentes, al menos, como la
geometra de Euclides e incluso ms tiempo para comprender que nuestro propio
espacio fsico podra no ser perfectamente euclidiano. Como siempre, la culpa iba a
ser del provincialismo humano: estbamos proyectando nuestras experiencias
limitadas a un minsculo rincn del universo sobre el universo en conjunto. Nuestra
imaginacin parece estar sesgada a favor de un modelo euclidiano, probablemente
porque en las pequeas escalas de nuestra experiencia es un modelo excelente, y
tambin el ms sencillo disponible.
Gracias a un pensamiento imaginativo y heterodoxo, a menudo ferozmente
contestado por una mayora menos imaginativa, ahora se entiende al menos por
Pero, hasta donde podemos decir, la curvatura global del universo real podra
ser negativa. Ni siquiera podemos saber si el universo es infinito, como el espacio
euclidiano, o si es de extensin finita, como una esfera. Algunos fsicos mantienen
que el universo es infinito, pero la base experimental para esta afirmacin es
altamente cuestionable. La mayora piensa que es finito.
Lo sorprendente es que un universo finito puede existir sin tener una frontera.
La esfera es as en dos dimensiones, y tambin lo es un toro. Al toro se le
puede dar una geometra plana, heredada de un cuadrado al identificar lados
opuestos. Los toplogos tambin han descubierto que el espacio puede ser finito
pero curvado negativamente: una manera de construir tales espacios es tomar un
poliedro finito en un espacio hiperblico e identificar varias caras, de modo que
una lnea que sale del poliedro a travs de una cara vuelve a entrar inmediatamente
por otra cara. Esta construccin es similar a la forma en que se enrollan los
bordes de la pantalla en muchos juegos de ordenador.
Si el espacio es finito, entonces debera ser posible observar la misma estrella
en direcciones diferentes, aunque podra parecer mucho ms lejana en unas
direcciones que en otras, y la regin observable del universo podra ser demasiado
pequea en cualquier caso. Si un espacio finito tiene geometra hiperblica, estas
ocurrencias mltiples de las mismas estrellas en diferentes direcciones determinan
un sistema de crculos gigantes en los cielos, y la geometra de estos crculos
determina qu espacio hiperblico se est observando. Pero los crculos podran
estar en cualquier lugar entre los miles de millones de estrellas que se pueden ver,
y hasta ahora los intentos de observarlos, basados en correlaciones estadsticas
entre las posiciones aparentes de las estrellas, no han dado ningn resultado.
En 2003 datos de la Wilkinson Microwave Anisotropy Probe llevaron a Jean-Pierre
Luminet y sus colaboradores a proponer que el espacio es finito pero con curvatura
positiva. Encontraron que el espacio dodecadrico de Poincar obtenido
identificando caras opuestas de un dodecaedro curvo da el mejor acuerdo con las
observaciones. Esta sugerencia recibi amplia publicidad como la afirmacin de
que el universo tiene la forma de un baln de ftbol. Esta sugerencia no ha sido
confirmada, y actualmente no tenemos idea de la verdadera forma del espacio. Sin
Teora de grupos
Resolviendo ecuaciones
Conforme las ideas de Lagrange empezaron a calar, creci la sensacin de que quiz
el problema no poda resolverse. Quiz la ecuacin qumica general no puede
resolverse por radicales. Parece que Gauss lo pensaba, en privado, pero expres la
opinin de que ste no era un problema que mereciera ser abordado. Es quiz uno de
los pocos ejemplos donde le fall su intuicin sobre lo que es importante; otro fue el
ltimo Teorema de Fermat, pero aqu los mtodos necesarios estaban ms all
incluso de Gauss, y tardaron un par de siglos en surgir. Lo irnico, no obstante, es
que Gauss ya haba iniciado parte del lgebra necesaria para demostrar la
insolubilidad de la qumica. La haba introducido en su trabajo sobre la construccin
de polgonos regulares con regla y comps. Y en este trabajo tambin haba
establecido un precedente, al demostrar (al menos para su propia satisfaccin) que
algunos polgonos no podan construirse de esta manera. El 9-gono regular era un
ejemplo. Gauss lo saba, pero nunca escribi una demostracin; una fue ofrecida
un poco ms tarde por Pierre Wantzel.
Por lo tanto, Gauss haba establecido un precedente para la proposicin de que
algunos problemas no podran ser solubles por mtodos particulares.
La primera persona en intentar una demostracin de la imposibilidad fue Paolo
Ruffini, quien lleg a ser profesor de matemticas en la Universidad de Mdena en
1789. Siguiendo las ideas de Lagrange sobre funciones simtricas, Ruffini lleg a
convencerse de que no existe ninguna frmula que no incluya nada ms esotrico que
races n-simas para resolver la quntica. En su Teora general de ecuaciones de 1799
presentaba una demostracin de que la solucin algebraica de ecuaciones generales
de grado mayor que 4 es siempre imposible. Pero su demostracin era tan enorme
500 pginas de longitud que nadie estaba dispuesto a comprobarla,
especialmente porque haba rumores de que contena errores. En 1803 Ruffini
public una demostracin nueva y simplificada, pero no tuvo mejor suerte. Durante
su vida, Ruffini nunca consigui asegurarse el crdito por demostrar que la quntica
es insoluble.
La contribucin ms importante de Ruffini consisti en darse cuenta que las
permutaciones pueden ser combinadas unas con otras. Hasta entonces, una
permutacin era una reordenacin de una coleccin de smbolos. Por ejemplo, si
numeramos las races de una quntica como 1 2 3 4 5, entonces estos smbolos
pueden ser reordenados como 5 4 3 2 1, o 4 2 1 5 3, o 2 3 1 5 4 o cualquier otra cosa.
x2 + px + q = 0
x2 + px + q = (x a) (x b)
a + b = p ab = q
Abel
Ahora sabemos que haba un error tcnico en la demostracin de Ruffini, pero las
ideas principales eran vlidas y la laguna poda llenarse. l consigui algo: su libro
llev a una sensacin vaga pero generalizada de que la quntica no es soluble por
radicales. Casi nadie pensaba que Ruffini lo hubiera demostrado, pero los
matemticos empezaron a dudar de que pudiera existir una solucin. Por desgracia, el
efecto principal de esta creencia fue el de disuadir a todos de trabajar en el problema.
Una excepcin fue Abel, un joven noruego con un talento precoz para las
matemticas, que pensaba que haba resuelto la quntica cuando an estaba en la
escuela. Con el tiempo descubri un error, pero sigui intrigado por el problema y
sigui trabajando en l espordicamente. En 1823 encontr una demostracin de la
imposibilidad de resolver la quntica, y esta demostracin era totalmente correcta.
Abel utiliz una estrategia similar a la de Ruffini, pero su tctica era mejor. Al
principio no conoca la investigacin de Ruffini; ms tarde seguro que la conoca,
pero afirmaba que era incompleta. Sin embargo, l no menciona ningn problema
especfico con la demostracin de Ruffini. Lo irnico es que un paso en la
Luego, Abel demostr que la raz p-sima de dicha expresin tampoco vara
cuando aplicamos S y T. Este resultado preliminar lleva directamente a la
demostracin del teorema de imposibilidad, escalando la torre paso a paso.
Suponemos que la quntica puede resolverse por radicales, de modo que hay una torre
radical que empieza con los coeficientes y recorre todo el camino de subida hasta una
solucin.
El primer piso de la torre la expresin inocua en los coeficientes no vara
cuando aplicamos las permutaciones S y T, porque stas permutan las soluciones, no
los coeficientes. Por consiguiente, por el resultado preliminar de Abel, el segundo
piso de la torre tampoco vara cuando aplicamos S y T, porque se alcanza aadiendo
una raz p-sima de algo que hay en el primer piso, para algn primo p. Por el mismo
razonamiento, el tercer piso de la torre no vara cuando aplicamos S y T. Lo mismo
sucede con el cuarto piso, el quinto piso hasta el ltimo piso.
Sin embargo, el ltimo piso contiene una solucin de la ecuacin. Podra ser x1?
Si lo es, entonces x, no debe variar cuando aplicamos S. Pero S aplicado a x1 da x2, no
x1, de modo que no vale. Por razones similares, a veces utilizando T, la solucin
definida por la torre tampoco puede ser x2, x3, x4 ni x5.
Las cinco soluciones estn excluidas de cualquier torre semejante; de modo que la
hipottica torre no puede contener de hecho una solucin.
No hay escape de esta trampa lgica. La qumica es insoluble porque cualquier
solucin (por radicales) debe tener propiedades autocontradictorias, y por
consiguiente no puede existir.
Galois
variste Galois
1811-1832
variste Galois era hijo de Nicholas Gabriel Galois y
Adelaida Marie Demante. Creci en la Francia
revolucionaria, y tuvo una ideologa poltica tpicamente
izquierdista.
Su gran contribucin a las matemticas no fue
reconocida hasta 14 aos despus de su muerte.
La Revolucin Francesa haba empezado con la toma
de la Bastilla en 1789 y la ejecucin de Luis XVI en 1793.
En 1804 Napolen Bonaparte se proclam emperador, pero
despus de una serie de derrotas militares fue obligado a
abdicar y la monarqua fue restaurada en 1814 bajo
Luis XVIII. En 1824 Luis haba muerto y el rey era ahora
Carlos X.
En 1827, Galois empez a mostrar un talento inusual
y una obsesin para las matemticas. Trat de ingresar
en la prestigiosa cole Polytechnique, pero no aprob el
examen. En 1829 su padre, entonces alcalde de la ciudad,
se suicid ahorcndose cuando sus enemigos polticos
inventaron un falso escndalo. Poco despus, Galois
intent una vez ms ingresar en la cole Polytechnique, y
fue suspendido de nuevo. Entonces entr en la cole
Nrmale.
En 1830 Galois present sus investigaciones sobre la
solucin de ecuaciones algebraicas a un premio que ofreca la Academia de Ciencias. El recensor,
Fourier, muri al poco tiempo y el artculo se perdi. El premio fue para Abel (quien para entonces
haba muerto de tuberculosis) y para Cari Jacobi. El mismo ao Carlos X fue depuesto y huy para
salvar la vida. El director de la cole Nrmale encerr a sus estudiantes para impedir que se uniesen
al movimiento. Galois, furioso, escribi una carta sarcstica atacando al director por su cobarda, lo
que le supuso su expulsin inmediata.
Como compromiso, Louis-Philipe fue proclamado rey. Galois se uni a una milicia republicana, la
Artillera de la Guardia Nacional, pero el nuevo rey la aboli. Diecinueve de los oficiales de la
Guardia fueron arrestados y juzgados por sedicin, pero el jurado retir los cargos. El Da de la
Bastilla Galois fue detenido de nuevo por llevar el uniforme ahora ilegal de la Guardia.
En prisin supo lo que haba sucedido con su artculo. Poisson lo haba rechazado por no ser
suficientemente claro. Galois intent suicidarse pero los otros prisioneros se lo impidieron. Su odio
por la oficialidad se hizo ahora extremo y manifest sntomas de paranoia. Pero cuando se
desencaden una epidemia de clera, los prisioneros fueron liberados, entonces Galois se enamor
de Stephanie du Motel, la hija del mdico de los alojamientos de Galois. La relacin no prosper y
Stephanie le puso fin. Uno de los camaradas revolucionarios de Galois le ret entonces a un duelo.
Una teora plausible dice que el adversario era Ernest Duchtelet, que haba estado en prisin con
Galois. Parece que el duelo fue una especie de ruleta rusa: los duelistas eligieron al azar entre dos
pistolas, slo una de las cuales estaba cargada, y se dispararon a quemarropa. Galois escogi la
pistola equivocada, recibi un tiro en el estmago y muri al da siguiente.
La noche anterior al duelo escribi un largo resumen de sus ideas matemticas, incluida una
descripcin de su demostracin de que todas las ecuaciones de grado 5 o superior no pueden
resolverse por radicales. En este trabajo desarroll el concepto de grupo de permutaciones y dio los
primeros pasos importantes hacia la teora de grupos. Su manuscrito estuvo a punto de perderse,
pero finalmente lleg a Joseph Liouville, un miembro de la Academia. En 1843 Liouville se dirigi a la
Academia afirmando que en los papeles de Galois haba encontrado una solucin tan correcta
como profunda de este bonito problema: dada una ecuacin irreducible de grado primo, decidir si es
o no soluble por radicales. Liouville public los papeles de Galois en 1846, hacindolos fcilmente
accesibles a la comunidad matemtica.
Jordn
El concepto de grupo apareci por primera vez de una forma clara en la obra de
Galois, aunque con indicios anteriores en los voluminosos escritos de Ruffini y en las
elegantes investigaciones de Lagrange. Menos de una dcada despus de que las
ideas de Galois estuvieran ampliamente disponibles, gracias a Liouville, las
matemticas estaban en posesin de una teora de grupos bien desarrollada.
El principal arquitecto de esta teora fue Camille Jordn, cuyo obra Traite de
Substitutions et des Equations Algbriques, de 667 pginas, fue publicada en 1870.
Jordn desarroll toda la disciplina de una forma sistemtica y global.
La implicacin de Jordn en la teora de grupos empez en 1887, cuando l
mostr el vnculo profundo con la geometra de una manera muy explcita,
clasificando los tipos bsicos de movimiento de un cuerpo rgido en el espacio
donde las a, b y c son constantes. Para hacer el grupo finito, Jordn tomaba
normalmente dichas constantes como elementos de los enteros mdulo un primo, o
ms generalmente un campo de Galois.
Tambin en 1889, Jordn desarroll su propia versin de la teora de Galois y la
incluy en el Traite. Demostr que una ecuacin es soluble si y slo si su grupo es
soluble, lo que significa que todos los componentes simples tienen orden primo. El
aplic la teora de Galois a problemas geomtricos.
Simetra
Los 4000 aos de bsqueda para resolver las ecuaciones qunticas haban llegado a un
parn abrupto cuando Ruffini, Abel y Galois demostraron que no es posible una
solucin por radicales. Aunque era un resultado negativo, tuvo una enorme influencia
en el desarrollo posterior de las matemticas y de la ciencia. Esto sucedi porque el
mtodo introducido para demostrar la imposibilidad result ser fundamental para la
Conceptos sofisticados
Lie y Klein
Felix Klein
1849-1925
Klein naci en Dusseldorf en una familia de clase alta: su padre era secretario del jefe de gobierno
prusiano. Fue a la Universidad de Bonn con intencin de hacerse fsico, pero se convirti en
La investigacin conjunta de Lie y Klein llev a Lie a introducir una de las ideas ms
importantes de la matemtica moderna, la de un grupo de transformaciones continuo,
ahora conocido como un grupo de Lie.
Es un concepto que ha revolucionado las matemticas y la fsica, porque los
grupos de Lie recogen muchas de las simetras ms importantes del universo fsico y
la simetra es un poderoso principio organizador; tanto para la filosofa subyacente a
nuestra representacin matemtica de la naturaleza como para los clculos tcnicos.
Sophus Lie cre la teora de los grupos de Lie en una oleada de actividad que
empez en el otoo de 1873. El concepto de grupo de Lie ha evolucionado
considerablemente desde el trabajo inicial de Lie. En trminos modernos, un grupo de
Lie es una estructura con propiedades tanto algebraicas como topolgicas, y ambas
estn relacionadas. En concreto, es un grupo (un conjunto con una operacin de
Killing
Grupos abstractos
Teora de nmeros
En su libro de 1854, Las leyes del pensamiento, George Boole demostr que el
lgebra puede aplicarse a la lgica, inventando lo que ahora se conoce como
lgebra booleana.
Aqu no podemos hacer otra cosa que transmitir un sabor de las ideas de Boole.
Los operadores lgicos ms importantes son no, y y o. Si un enunciado S es
verdadero, entonces no-S es falso, y a la inversa. S y T es verdadero si y slo si S y
T son ambos verdaderos. S o T es verdadero con tal de que al menos uno de los
dos, S o T, sea verdadero. Boole advirti que si reescribimos T como 1 y S como 0,
entonces el lgebra de estos operadores lgicos es muy similar al lgebra ordinaria,
con tal de que pensemos en 0 y 1 como enteros mdulo 2, de modo que 1 + 1 = 0 y
S es lo mismo que S. Por lo tanto, no-S es 1 + S, S y T es ST, y S o T es
S + T + ST. La suma S + T corresponde al o excluyente (escrito xor por los
cientficos de la computacin).
S xor T es verdadero si T es verdadero o S es verdadero, pero no ambos. Boole
descubri que su curiosa lgebra de la lgica es completamente autoconsistente
si se tienen en cuenta estas reglas algo extraas y se utilizan de forma sistemtica.
ste fue uno de los primeros pasos hacia una teora formal de la lgica matemtica.
que es igual a
808017424794512875886459904961710757005754368000000000
La matemtica abstracta
El paso hacia una visin ms abstracta de las matemticas fue una consecuencia
natural de la creciente diversidad de su material. Cuando las matemticas trataban
fundamentalmente de nmeros, los smbolos del lgebra eran simplemente lugares
donde colocar nmeros. Pero a medida que crecan las matemticas, los smbolos
empezaron a cobrar vida propia. El significado de los smbolos se hizo menos
importante que las reglas de acuerdo con las que podan manipularse dichos
smbolos. Ni siquiera las reglas eran sagradas: las leyes tradicionales de la aritmtica,
tales como la ley conmutativa, no siempre eran adecuadas en nuevos contextos.
No fue slo el lgebra la que se hizo abstracta. El anlisis y la geometra se
centraron tambin en cuestiones ms generales, por razones similares. El cambio
principal en el punto de vista tuvo lugar desde mediados del siglo XIX a mediados del
Medida
Cuando los matemticos tropezaron por primera vez con otros tipos de geometra,
tambin eran geometras mtricas. En geometra no euclidiana, longitudes y ngulos
estn bien definidos; sencillamente tienen propiedades diferentes de las longitudes y
los ngulos en el plano euclidiano. La llegada de la geometra proyectiva cambi
esto: las transformaciones proyectivas pueden cambiar longitudes y pueden cambiar
ngulos. La geometra euclidiana y los dos tipos principales de geometras no
euclidianas son rgidas. La geometra proyectiva es ms flexible, pero incluso aqu
existen invariantes ms sutiles, y en la imagen de Klein lo que define una geometra
es un grupo de transformaciones y los correspondientes invariantes.
Cuando el siglo XIX se acercaba a su fin, los matemticos empezaron a desarrollar
un tipo de geometra an ms flexible; tan flexible, de hecho, que a menudo es
caracterizada como la geometra de la lmina elstica. Conocida ms propiamente
como topologa, sta es la geometra de las formas que pueden ser deformadas o
distorsionadas de maneras extraordinariamente complicadas. Las rectas pueden
curvarse, contraerse o estirarse; los crculos pueden aplastarse de modo que se
convierten en tringulos o cuadrados. Todo lo que cuenta aqu es la continuidad.
Sigue habiendo un vestigio de pensamiento mtrico: cerrado es un concepto
mtrico. Pero a principios del siglo XX, incluso este vestigio haba sido eliminado, y
las transformaciones topolgicas cobraron vida propia. El estatus de la topologa
creci rpidamente hasta ocupar el centro de la escena en matemticas, incluso si de
entrada pareca muy extrao y prcticamente libre de contenido. Con
transformaciones tan flexibles, qu poda ser invariante? Result que la respuesta
era mucho. Pero el tipo de invariante que se empez a descubrir no se pareca a
nada antes considerado en geometra. Conectividad: cuntas piezas tiene este
objeto? Agujeros: es un bloque macizo o est atravesado por tneles? Nudos: cmo
est entrelazado, y cmo pueden deshacerse los nudos? Para un toplogo, un donut y
una taza de caf son idnticos; sin embargo, ambos son diferentes de una bola
redonda. Un nudo as de gua es diferente de un nudo de rizo, pero demostrarlo
C A + V = 2.
C + V A = 2 2g.
El poliedro del marco de fotos no tiene el aspecto de poder ser deformado para
dar una esfera; dnde podra ir el agujero? Para una demostracin rigurosa de la
imposibilidad no necesitamos buscar ms lejos que el hecho de que para este poliedro
C + V E = 0. Esta relacin es imposible para superficies que puedan deformarse
hasta dar esferas. Por ello, la numerologa de los poliedros nos dice propiedades
importantes de su geometra, y dichas propiedades pueden ser invariantes
topolgicos, inalterados bajo deformaciones.
La frmula de Euler se ve ahora como un indicio significativo de un vnculo til
entre aspectos combinatorios de los poliedros, tales como nmero de caras, y
aspectos topolgicos. De hecho, resulta ms fcil trabajar hacia atrs. Para descubrir
cuntos agujeros tiene una superficie, calculamos C + V E 2, lo dividimos por 2
y lo cambiamos de signo:
g = (C + V A 2)/2.
La cinta de Mbius
La topologa tiene algunas sorpresas. La ms conocida es la cinta de Mbius (o
banda de Mbius) que puede formarse tomando una larga cinta de papel y uniendo
los extremos tras darles medio giro. Sin este giro, obtenemos un cilindro. La
diferencia entre estas dos superficies se hace patente si tratamos de pintarlas.
Podemos pintar de rojo la superficie exterior de un cilindro y de azul la interior.
Pero si empezamos a pintar una cinta de Mbius de rojo por un lado, y
continuamos hasta que ha sido cubierta toda la parte de la superficie que est
conectada con la regin roja, terminamos pos cubrir toda la cinta de pintura roja.
La superficie interior est conectada
con la exterior, gracias al medio giro.
Otra diferencia aparece si cortamos
la cinta a lo largo de la lnea central. El
cilindro se divide en dos piezas; la cinta
de Mbius sigue estando conectada.
La esfera de Riemann
Estas races cuadradas difieren slo en su signo: una es menos la otra. Por
ejemplo, las races cuadradas de 2i resultan ser 1 + i y 1 i, igual que las races
cuadradas reales de 4 son 2 y 2. Sin embargo, hay un nmero complejo con slo una
raz cuadrada, a saber 0. Por qu? Porque +0 y 0 son iguales.
Para ver por qu 0 es un punto rama de la funcin raz cuadrada imaginemos que
partimos del punto 1 del plano complejo y escogemos una de las dos races
cuadradas. La eleccin obvia es tambin 1. Ahora movemos poco a poco el punto a lo
largo del crculo unidad, y mientras lo hacemos, nos fijamos en la raz cuadrada que
sigue variando de forma continua. Cuando hemos recorrido la mitad del crculo, hasta
1, la raz cuadrada slo ha recorrido una cuarta parte del camino, hasta +i, desde
1 = +i o i. Continuando hasta completar el camino, volvemos al punto de partida
1. Pero la raz cuadrada, que se mueve a la mitad de la velocidad, termina en 1. Para
que la raz cuadrada vuelva a su valor inicial el punto tiene que recorrer el crculo dos
veces.
Riemann encontr una manera de domesticar este tipo de singularidad,
desdoblando la esfera de Riemann en dos capas. Dichas capas estn separadas
excepto en los puntos 0 y , que es un segundo punto rama. En estos dos puntos las
capas se unen; o, pensndolo al revs, se ramifican a partir de las capas nicas en 0
y . Cerca de estos puntos especiales la geometra de las capas es como una escalera
de caracol, con la caracterstica inusual de que si subimos dos vueltas completas por
la escalera, volvemos a donde empezamos. La geometra de esta superficie nos dice
mucho sobre la funcin raz cuadrada, y la misma idea puede extenderse a otras
funciones complejas.
Superficies orientables
El gnero result ser importante por varias cuestiones profundas en anlisis complejo,
que a su vez atrajeron la atencin sobre la topologa de superficies. Result entonces
que hay una segunda clase de superficies, que difieren de los toros g-agujereados
pero estn ntimamente relacionadas con ellos.
La diferencia es que los toros g-agujereados son superficies orientables, lo que
intuitivamente significa que tienen dos caras distintas. Heredan esta propiedad del
plano complejo, que tiene una cara superior y una cara inferior, porque las
escaleras de caracol se unen de una forma que conserva esta distincin. Si en su lugar
unimos dos pisos de la escalera poniendo un piso del revs, las caras
aparentemente diferentes se empalman.
La posibilidad de este tipo de unin fue resaltada por primera vez por Mbius,
cuya cinta de Mbius tiene una sola cara y un solo borde. Klein fue un paso ms all
y peg idealmente un disco circular a lo largo del borde de la cinta de Mbius para
eliminar por completo el borde. La superficie resultante, bautizada jocosamente como
botella de Klein, tiene una nica cara y ningn borde. Si tratamos de dibujarla dentro
del espacio tridimensional normal, tiene que atravesarse a s misma.
Pero como superficie abstracta por s misma (o como una superficie dentro de un
espacio tetradimensional) esta autointerseccin no se da.
El teorema sobre toros g-agujereados puede reformularse as: cualquier superficie
orientable (de extensin finita sin bordes) es topolgicamente equivalente a una
esfera con g asas extra (donde g podra ser 0). Hay una clasificacin similar de las
superficies no orientables (de una cara): pueden formarse a partir de una superficie
llamada el plano proyectivo aadiendo g asas. La botella de Klein es un plano
proyectivo con un asa.
La combinacin de estos dos resultados se llama Teorema de Clasificacin de
Superficies. Nos da, salvo equivalencia topolgica, todas las superficies posibles (de
extensin finita sin bordes).
Con la demostracin de este teorema la topologa de espacios bidimensionales
superficies poda considerarse conocida. Eso no significaba que cualquier
cuestin posible sobre superficies pudiera resolverse sin ms esfuerzo, pero daba un
punto de partida razonable para considerar cuestiones ms complicadas. El Teorema
de Clasificacin de Superficies es una herramienta muy potente en topologa
bidimensional.
Cuando pensamos en topologa suele ser til suponer que el espacio en cuestin
es todo lo que existe. No hay necesidad de insertarlo en un espacio circundante.
Perelman
En 2002 Grigori Perelman caus sensacin al colocar varios artculos en los arXiv,
una pgina web para investigacin en fsica y matemticas que permite a los
investigadores ofrecer acceso pblico a trabajos que no han pasado la revisin por
los pares, y que con frecuencia estn an en curso.
(El objetivo de la pgina web es evitar las largas demoras que se producen
mientras los artculos estn siendo sometidos a revisin para su publicacin oficial.
Grigori Perelman
1966-
Perelman naci en 1966 en lo que entonces era la Unin Sovitica. Como estudiante fue miembro
del equipo de la URSS que compiti en la Olimpiada Internacional de Matemticas y gan una
medalla de oro con una puntuacin del 100 por 100. Ha trabajado en los Estados Unidos y en el
Instituto Steklov de San Petersburgo pero actualmente no ocupa ningn puesto acadmico concreto.
Su carcter cada vez ms retrado ha sumado una dimensin humana inusual a la historia
matemtica. Lstima que esta historia refuerce el estereotipo del matemtico excntrico!
La cuarta dimensin
(x, y) + (u, v) = (x + u, y + v)
(x, y)(u, v) = (xu yv, xv + yu).
i2 = j2 = k2 = ijk 1
Geometra diferencial
u = ax + by
www.lectulandia.com - Pgina 272
u = ax + by
v = ex + dy
u ab x
=
v cd y
Espacio real
Espacios multi-dimensionales
Al final, Sylvester gan el debate. Hoy da los matemticos consideran que algo
existe si no es lgicamente contradictorio. Puede contradecir la experiencia fsica,
pero eso es irrelevante para la existencia matemtica. En este sentido, los espacios
multidimensionales son tan reales como los familiares espacios de tres dimensiones,
porque es igual de fcil dar una definicin formal.
Las matemticas de los espacios multidimensionales, tal como ahora se conciben,
son puramente algebraicas y basadas en generalizaciones obvias de espacios de
baja dimensin. Por ejemplo, todo punto en el plano (un espacio bidimensional)
puede especificarse por sus dos coordenadas, y todo punto en el espacio
tridimensional puede especificarse por sus tres coordenadas. Slo hace falta un corto
paso para definir un punto en el espacio tetradimensional como un conjunto de cuatro
coordenadas y, ms en general, para definir un punto en un espacio n-dimensional
Coordenadas generalizadas
Dedekind
Dedekind demostr que si, por razn del argumento, suponemos que existen los
nmeros reales, entonces con cualquier nmero real puede asociarse una cortadura
que satisface estas dos propiedades, formando el conjunto R de todos los racionales
que son mayores que el nmero real y el conjunto L de todos los racionales que son
menores o iguales que dicho nmero real. (La condicin final es necesaria para
asociar una cortadura con cualquier nmero racional. No queremos dejarlos fuera).
Aqu L y R pueden leerse como izquierda y derecha en la imagen habitual
de la recta de nmeros reales.
Estos dos conjuntos L y R obedecen a algunas condiciones bastante restrictivas.
En primer lugar, todo nmero racional pertenece a exactamente uno de ellos. En
segundo lugar, todo nmero en R es mayor que cualquier nmero en L. Finalmente,
hay una condicin tcnica que se ocupa de los propios nmeros racionales: L puede o
no puede tener un miembro mximo, pero R nunca tiene un miembro mnimo.
Llamamos una cortadura a cualquier par de subconjuntos de los racionales con estas
propiedades.
Con ingeniera inversa no necesitamos suponer que los nmeros reales existen.
En su lugar, podemos utilizar cortaduras para definir nmeros reales, de modo que un
El libro de Dedekind estaba muy bien como ejercicio fundacional, pero a medida que
calaba la cuestin sobre la definicin de los trminos se advirti que lo que haba
hecho el libro era desplazar la atencin de los reales a los racionales. Cmo sabemos
que los nmeros racionales existen? Bien, si suponemos que los enteros existen, esto
es fcil: definimos un racional p/q como un par de enteros (p, q) y elaboramos las
sumas y productos. Si los enteros existen, tambin lo hacen los pares de enteros.
S, pero cmo sabemos que los enteros existen?
Aparte de un signo ms o un signo menos, los enteros son nmeros naturales
ordinarios. Tener en cuenta los signos es fcil. Por eso los enteros existen con tal de
que existan los nmeros naturales.
An no hemos acabado, no obstante. Estamos tan familiarizados con los nmeros
naturales que nunca se nos ocurre preguntar si los nmeros familiares 0, 1, 2, 3 y as
sucesivamente, existen realmente. Y si lo hacen, qu son?
En 1889, Giuseppe Peano plante la cuestin de la existencia siguiendo el
ejemplo del libro de Euclides. En lugar de discutir la existencia de puntos, rectas,
tringulos y similares, Euclides simplemente escriba una lista de axiomas:
propiedades que se daban por supuestas. No importa si puntos y dems existen; una
pregunta ms interesante es: si existieran, qu propiedades se seguiran de ello? De
este modo, Peano escribi una lista de axiomas para los nmeros naturales. Las
propiedades principales eran:
Existe un nmero 0.
Todo nmero n tiene un sucesor s(n) (al que designamos n + 1).
Si P(n) es una propiedad de los nmeros, tal que P(0) es verdadera, y si cada vez
que P(n) es verdadera entonces P(s(n)) es verdadera, entonces P(n) es verdadera
para todo n (principio de induccin matemtica).
1 = s(0) 2 = s(s(0))
La paradoja de Russell
Una versin menos formal de la paradoja propuesta por Russell es la del barbero
del pueblo, que afeita a todos los que no se afeitan a s mismos. Quin afeita al
barbero? Si l no se afeita a s mismo, entonces por definicin es afeitado por el
barbero del pueblo: l mismo!
Si l se afeita a s mismo, entonces es afeitado por el barbero: que, una vez
ms, es l mismo.
Aparte de varios amaos el barbero es una mujer, por ejemplo, la nica
conclusin posible es que no existe tal barbero. Russell reformul esta paradoja en
trminos de conjuntos. Definimos un conjunto X que consiste en todos los
conjuntos que no son miembros de s mismos. Es X un miembro de s mismo, o
no lo es? Si no lo es, entonces por definicin pertenece a X: l mismo. Si lo es, un
miembro de s mismo, entonces como todos los miembros de X, no es un miembro
de s mismo. Esta vez no hay salida; los conjuntos femeninos no son an parte de
la empresa matemtica.
Conjuntos y clases
En los aos ochenta del siglo XIX Gottlob Frege trat de resolver esta cuestin
conceptual construyendo nmeros naturales a partir de objetos an ms simples; a
pueden hacerse corresponder con {a, b}, de modo que todos determinan
cualquier cosa que eso signifique el mismo nmero.
Por desgracia, utilizar una lista de conjuntos estndar como nmeros parece una
peticin de principio; es muy parecido a confundir un smbolo con lo que representa.
Pues cmo podemos caracterizar una propiedad de aquellos conjuntos que pueden
emparejarse uno a uno con el conjunto estndar?
Qu es una propiedad? Frege tuvo una intuicin maravillosa. Hay un conjunto
bien definido que est asociado con cualquier propiedad, a saber, el conjunto que
consiste en todo lo que posee dicha propiedad. La propiedad primo est asociada
con el conjunto de todos los nmeros primos; la propiedad issceles est asociada
con el conjunto de todos los tringulos issceles, y as sucesivamente.
Por ello Frege propuso que el nmero dos es el conjunto que comprende todos
los conjuntos para los que puede establecerse una correspondencia uno-a-uno con el
conjunto estndar (a,b). Ms en general, un nmero es el conjunto de todos los
conjuntos para los que puede establecerse una correspondencia uno-a-uno con
cualquier conjunto dado. As, por ejemplo, el nmero 3 es el conjunto
{ {a, b, c}, {un gato, otro gato, otro gato ms}, {X, Y, Z},}
Cantor
Estos anlisis del papel fundamental del acto de contar como base de los nmeros
llevaron a uno de los ms audaces descubrimientos en todas las matemticas: la teora
de Cantor de los nmeros transfinitos: diferentes tamaos de infinito.
El infinito, con diferentes mscaras, parece inevitable en matemticas.
No hay un nmero natural mximo porque aadir uno siempre produce un
nmero an ms grande de modo que hay infinitos nmeros naturales.
La geometra de Euclides tiene lugar en un plano infinito, y l demostr tambin
que hay infinitos nmeros primos. En la carrera hacia el clculo infinitesimal, varias
personas, entre ellas Arqumedes, encontraron til considerar un rea o un volumen
como la suma de muchas rebanadas infinitamente delgadas. En los primeros das del
Por consiguiente debe haber tantos nmeros naturales como cuadrados, de modo
que la respuesta es no.
Cantor resolvi estas dificultades al reconocer que, en el dilogo, el adverbio
ms se est utilizando de dos maneras diferentes. Sagredo est sealando que el
conjunto de todos los cuadrados es un subconjunto propio del conjunto de todos los
nmeros naturales. La postura de Salviati es ms sutil: hay una correspondencia uno-
a-uno entre el conjunto de los cuadrados y el conjunto de todos los nmeros
naturales. Los dos enunciados son diferentes, y ambos pueden ser verdaderos sin
llevar a ninguna contradiccin.
Siguiendo esta lnea de pensamiento, Cantor se vio llevado a la invencin de una
aritmtica del infinito que explicaba las paradojas anteriores mientras introduca
algunas nuevas. Cantor empez a pensar en conjuntos debido a algunas cuestiones
difciles que se planteaban en anlisis de Fourier, de modo que las ideas estaban
enraizadas en teoras matemticas convencionales. Pero las respuestas que descubri
Tamao de conjuntos
{1, 2, 3,4, 5, 6}
{n : 1 n 6 y n es un nmero natural}
Los dos conjuntos antes especificados son idnticos. La primera notacin est
limitada a conjuntos finitos, pero la segunda no. As, los conjuntos
{n : n es un nmero natural}
{n : n es un cuadrado perfecto}
0 + 0 = 0
Y as son las cosas. Pero una vez ms, no hay contradiccin: no podemos dividir
por 0 y deducir que 1 + 1 = 1, porque no es un nmero natural y la divisin no ha
sido definida, y mucho menos se ha demostrado que tenga sentido. De hecho, esta
ecuacin muestra que la divisin por 0 no siempre tiene sentido. Pero lo aceptamos
como el precio del progreso.
Todo esto est muy bien, pero parece como si fuera slo un smbolo fantasioso
para el viejo y no se aportara nada nuevo. No tienen todos los conjuntos infinitos
cardinal 0? No es cierto que todos los infinitos son iguales?
Un candidato para un cardinal infinito mayor que 0 es decir, un conjunto
infinito que no puede ponerse en correspondencia uno-a-uno con el conjunto de todos
los nmeros naturales es el conjunto de todos los nmeros racionales, que
normalmente se denota por . Despus de todo, hay infinitos nmeros racionales en
el intervalo entre dos enteros consecutivos, y el truco que utilizamos para los enteros
ya no funciona.
Sin embargo, en 1873 Cantor demostr que tambin tiene cardinal 0. La
correspondencia uno-a-uno establecida barajaba los nmeros casi por completo, pero
nadie haba dicho que tuvieran que permanecer en orden numrico. Daba la
impresin de que todo conjunto infinito tena cardinal 0.
Ese mismo ao, no obstante, Cantor tuvo una idea trascendental. Demostr que el
conjunto de todos los nmeros reales no tiene cardinal 0, un teorema sorprendente
que l public en 1874. Por ello, incluso en el sentido especial de Cantor, hay ms
reales que enteros. Un infinito puede ser mayor que otro infinito.
Qu tamao tiene el cardinal de los reales? Cantor esperaba que fuera 1 el
siguiente cardinal ms grande despus de 0. Pero no pudo demostrarlo, de modo que
llam al nuevo cardinal c, de continuum.
La supuesta ecuacin c = 1 recibi el nombre de hiptesis del continuo. Hasta
1960 los matemticos no descubrieron la relacin entre c y 1, cuando Paul Cohen
demostr que la respuesta depende de qu axiomas escojamos para la teora de
conjuntos. Con unos axiomas razonables, los dos cardinales son iguales. Pero con
otros axiomas, igualmente razonables, son diferentes.
Aunque la validez de la ecuacin c = 1 depende de los axiomas escogidos, hay
una igualdad asociada con ella que es independiente de la eleccin. Esta es c = 2 0 .
Para cualquier cardinal A podemos definir 2A como el cardinal del conjunto de todos
los subconjuntos de A. Y podemos demostrar, muy fcilmente, que 2A es siempre
mayor que A. Eso no slo significa que hay unos infinitos ms grandes que otros;
Contradicciones
Pero la tarea mayor de las matemticas fundacionales no era demostrar que los
conceptos matemticos existen: era demostrar que las matemticas son lgicamente
consistentes. En efecto, todos los matemticos saban en realidad, todos saben hoy
que podra haber una secuencia de pasos lgicos, todos ellos perfectamente
correctos, que llevaran a una conclusin absurda. Quiz se podra demostrar que
2 + 2 = 5, o 1 = 0, por ejemplo. O que 6 es primo, o = 3.
Podra parecer que una contradiccin mnima tendra consecuencias limitadas. En
la vida cotidiana la gente suele operar cmodamente dentro de un marco
contradictorio: tan pronto uno afirma que, digamos, el calentamiento global est
destrozando el planeta como, un momento despus, que las lneas areas de bajo
coste son un gran invento. Pero en matemticas las consecuencias no estn limitadas,
y no se pueden evitar las contradicciones lgicas ignorndolas. En matemticas, una
vez que algo est demostrado puede utilizarse en otras demostraciones. Si se ha
demostrado 0 = 1, entonces se siguen cosas mucho ms desagradables. Por ejemplo,
que todos los nmeros son iguales. En efecto, si x es un nmero cualquiera, partimos
de 0 = 1 y multiplicamos por x. Entonces 0 = x. Anlogamente, si y es cualquier otro
nmero, 0 = y. Luego x = y.
Peor an, el mtodo estndar de demostracin por contradiccin significa que
Hilbert
El siguiente paso fundacional importante fue dado por David Hilbert, probablemente
el matemtico ms destacado de su poca. Hilbert tena la costumbre de trabajar en
un rea de las matemticas durante unos diez aos, puliendo los problemas
principales, y pasar luego a una nueva rea. Hilbert se convenci de que deba ser
posible demostrar que las matemticas nunca pueden llevar a una contradiccin
lgica. Tambin comprendi que la intuicin fsica no sera til en este proyecto. Si
las matemticas son contradictorias, debe ser posible demostrar que 0 = 1; en tal caso
hay una interpretacin fsica: 0 vacas = 1 vaca, de modo que las vacas pueden
desaparecer en un montn de humo. Esto parece poco probable. Sin embargo, no hay
garanta de que las matemticas de los nmeros naturales encajen realmente con la
fsica de las vacas, y es al menos concebible que una vaca pudiera desaparecer
repentinamente. Hay un lmite al nmero de vacas en un universo finito, pero no hay
lmite al tamao de los enteros matemticos. Por lo tanto, la intuicin fsica podra ser
engaosa, y debera ser ignorada.
Hilbert lleg a este punto de vista en su trabajo sobre la base axiomtica de la
geometra de Euclides. l descubri fallos lgicos en el sistema de axiomas de
Euclides, y comprendi que estos fallos haban aparecido porque Euclides haba sido
confundido por su imaginera visual. Puesto que l saba que una recta era un objeto
largo y fino, un crculo era redondo y un punto era una mota, supuso
David Hilbert
1862-1943
David Hilbert se gradu en la Universidad de Knigsberg en 1885 con una tesis sobre teora de
invariantes. Pas a formar parte del gobierno de la universidad hasta que asumi una ctedra en
Gotinga en 1895. Sigui trabajando en la teora de invariantes, demostrando su teorema de base
finita en 1888.
Sus mtodos eran ms abstractos que los entonces de moda, y una de las figuras destacadas del
campo, Paul Gordan, encontr el trabajo insatisfactorio. Hilbert revis el artculo para su publicacin
en los Annalen, y Klein lo calific como el trabajo ms importante sobre lgebra general que [la
revista] ha publicado nunca.
En 1893 Hilbert empez un informe general sobre teora de nmeros, el Zahibericht. Aunque
Gdel
Haba un lgico, sin embargo, que no qued convencido por la propuesta de Hilbert
de demostrar que las matemticas son lgicamente consistentes.
Su nombre era Kurt Gdel, y sus reservas hacia el programa de Hilbert cambiaron
para siempre nuestra visin de la verdad matemtica.
Antes de Gdel, simplemente se pensaba que las matemticas eran verdaderas y
eran el ejemplo mximo de verdad, porque la verdad de un enunciado como 2 + 2 = 4
perteneca al dominio del pensamiento puro, independiente de nuestro mundo fsico.
Las verdades matemticas no eran cosas que pudieran ser refutadas por experimentos
posteriores. En esto eran superiores a las verdades fsicas, tales como la ley de la
inversa del cuadrado de la gravedad de Newton, que fue refutada por observaciones
del movimiento del perihelio de Mercurio que apoyan la nueva teora gravitatoria
sugerida por Einstein.
Despus de Gdel, la verdad matemtica result ser una ilusin. Lo que exista
eran las demostraciones matemticas, cuya lgica interna muy bien podra ser
intachable, pero existan en un contexto ms amplio matemticas fundacionales
donde no poda haber garanta de que todo el juego tuviera siquiera significado.
Gdel no slo afirmaba esto: lo demostr. De hecho, hizo dos cosas que juntas
echaban por tierra el cuidadoso y optimista programa de Hilbert.
Los teoremas de Gdel cambiaron la forma en que vemos los fundamentos lgicos de
las matemticas. Implican que problemas actualmente no resueltos pueden no tener
solucin: no son verdaderos ni falsos, sino que estn en el limbo de la indecibilidad.
Y se ha demostrado que muchos problemas interesantes son indecidibles.
Una variante profunda del teorema de incompletitud de Gdel fue descubierta por
Alan Turing en un anlisis de qu computaciones son factibles publicado en 1936
como Sobre nmeros computables, con una aplicacin al Entscheidungsproblem.
Turing empezaba formalizando una computacin algortmica una que sigue una
receta preestablecida en trminos de una denominada mquina de Turing. sta
es una idealizacin matemtica de un dispositivo que escribe smbolos 0 y 1 en una
cinta mvil de acuerdo con reglas especficas. l demostr que el problema de la
parada para mquinas de Turing llega a detenerse con el tiempo la computacin
para un input dado? es indecidible. Esto significa que no hay un algoritmo que
pueda predecir si la computacin se para o no. Turing demostr su resultado
suponiendo que el problema de la parada era decidible y construyendo una
La teora de probabilidades
Juegos de probabilidad
Combinaciones
de modo que hay 15. Pero este mtodo falla para nmeros grandes, y se necesita algo
ms sistemtico.
Imaginemos que escogemos los miembros del subconjunto, de uno en uno.
Podemos escoger el primero de seis maneras, el segundo de slo cinco (puesto que
uno ya est descartado), el tercero de cuatro maneras, el cuarto de tres maneras. El
nmero total de elecciones, en este orden, es 6 5 4 3 = 360. Sin embargo, cada
subconjunto se cuenta 24 veces: adems de 1234 encontramos 1243, 2134 y dems, y
hay 24 maneras de reordenar cuatro objetos. Por lo tanto, la respuesta correcta es
360/24, que es igual a 15.
Este argumento muestra que el nmero de maneras de escoger m objetos de entre
un total de n objetos es
n n(n 1) (n m +1)
=
m 1 2 3 m
n n n n
0 1 2 n
y vemos que los mismos nmeros aparecen como coeficientes. Esto no es una
coincidencia.
El tringulo de nmeros se denomina Tringulo de Pascal porque fue estudiado por
Pascal en 1655. Sin embargo, era conocido mucho antes; se remonta a
aproximadamente el ao 950 en un comentario sobre un antiguo libro indio llamado
el Chandas Sastra. Tambin era conocido por los matemticos persas Al-Karaji y
Omar Khayyam, y se conoce como el tringulo de Khayyam en el Irn moderno.
Teora de la probabilidad
Los coeficientes binomiales se utilizaban con buen efecto en el primer libro sobre
probabilidades: el Ars Conjectandi (Arte de conjeturar) escrito por Jakob Bernoulli en
1713. El curioso ttulo se explica en el libro: Definimos el arte de la conjetura, o arte
m pmqn m
n
1 t
ex
2
Definiendo la probabilidad
f(x)
xn + a = xn
f(x)
dx
= f(x)
dt
Newton no slo tena que hallar pautas en la naturaleza: tena que desarrollar
mtodos efectivos de clculo. Hizo un amplio uso de las series de potencias para
representar funciones porque poda diferenciar e integrar tales series trmino a
trmino. l tambin las utiliz para calcular valores de funciones, un mtodo
numrico primitivo an en uso hoy. Una pgina de sus manuscritos, que data de
1665, muestra un clculo numrico del rea bajo una hiprbola, que ahora
reconocemos como la funcin logartmica. Sum los trminos de una serie infinita,
trabajando con unas increbles 55 cifras decimales.
Algoritmos
Las matemticas han ayudado a las ciencias de la computacin, pero a cambio las
ciencias de la computacin han sido motivo de nuevas y fascinantes matemticas. La
nocin de algoritmo un procedimiento sistemtico para resolver un problema es
una de ellas. (El nombre proviene del algebrista rabe al-Khwarizmi). Una pregunta
especialmente interesante es, cmo depende el tiempo de ejecucin de un algoritmo
del tamao de los datos de entrada?
Por ejemplo, el algoritmo de Euclides para encontrar el mximo comn divisor de
dos nmeros naturales m y n, con m n, es como sigue:
Puede demostrarse que si n tiene d cifras decimales (una medida del tamao de
los datos de entrada para el algoritmo), entonces el algoritmo se detiene despus de
un mximo de 5d pasos. Eso significa, por ejemplo, que si se nos dan dos nmeros de
1000 dgitos, podemos calcular su mximo comn divisor en 5000 pasos como
mximo; en lo que se tarda una fraccin de segundo en un computador moderno.
El algoritmo de Euclides tiene tiempo de ejecucin lineal: la longitud de la
computacin es proporcional al tamao (en dgitos) de los datos de entrada. Ms en
general, un algoritmo tiene un tiempo de ejecucin polinmico, o es de clase P, si su
tiempo de ejecucin es proporcional a una potencia fija (tal como el cuadrado o el
cubo) del tamao de los datos de entrada. Por el contrario, todos los algoritmos
conocidos para encontrar los factores primos de un nmero tienen tiempo de
ejecucin exponencial: una constante fija elevada a la potencia del tamao de los
datos de entrada. En esto se basa la seguridad del criptosistema RSA.
Hablando en trminos generales, los algoritmos con tiempo de ejecucin
exponencial llevan a computaciones prcticas en los computadores actuales, mientras
que algoritmos con tiempo de ejecucin exponencial no lo hacen, y por ello las
computaciones correspondientes no pueden realizarse en la prctica, incluso para
datos iniciales de muy pequeo tamao. Esta distincin es una regla aproximada: un
algoritmo polinmico podra implicar una potencia tan alta que no sera prctico,
mientras que algunos algoritmos con tiempos de ejecucin peor que polinmico an
Anlisis numrico
Las matemticas implican mucho ms que clculos, pero los clculos son un
acompaamiento inevitable de investigaciones ms conceptuales. Desde los tiempos
ms primitivos, los matemticos han buscado ayudas mecnicas para liberarse de la
Caos
Antes de los aos sesenta del siglo XX la palabra caos slo tena un significado:
desorden informe. Pero desde entonces, descubrimientos fundamentales en ciencia y
matemticas le han dotado de un segundo significado ms sutil, un significado que
combina aspectos de desorden con aspectos de forma. Los Principios matemticos de
la filosofa natural de Newton haban reducido el sistema del mundo a ecuaciones
diferenciales, y stas son deterministas. Es decir, una vez que se conoce el estado
inicial del sistema, su estado futuro en cualquier instante est determinado
unvocamente.
La visin de Newton es la de un universo mecnico que, una vez puesto en
marcha por la mano del Creador, sigue un curso nico e inevitable.
Es una visin que nos ha sido muy til, gracias a la cual tenemos la radio, la
televisin, los telfonos mviles, los aviones comerciales, los satlites de
comunicaciones, las fibras artificiales, los plsticos y los computadores.
El crecimiento del determinismo cientfico estuvo tambin acompaado por una
creencia vaga pero profundamente arraigada en la conservacin de la complejidad.
Esta es la hiptesis de que causas simples deben producir efectos simples, lo que
implica que los efectos complejos deben tener causas complejas. Esta creencia nos
hace examinar un objeto o sistema complejo y preguntar de dnde procede la
complejidad. De dnde, por ejemplo, procede la complejidad de la vida, dado que
debe haberse originado en un planeta sin vida? Difcilmente se nos ocurre que la
complejidad podra aparecer por s misma, pero eso es lo que indican las ltimas
tcnicas matemticas.
El patinazo de Poincar
June Barrow-Green, investigando en los archivos del Instituto Mittag-Lefler en
Estocolmo, descubri recientemente una historia embarazosa que previamente se
haba mantenido en secreto. El trabajo con el que Poincar haba ganado el premio
contena un serio error. Lejos de descubrir el caos, como se haba supuesto, l
haba pretendido demostrar que no exista. El envo original demostraba que
todos los movimientos del problema de tres cuerpos son regulares y tienen buen
comportamiento.
Tras la concesin del premio. Poincar detect un error, e inmediatamente
descubri que echaba por tierra su demostracin. Pero la memoria ganadora del
premio ya haba sido publicada como un nmero de la revista del Instituto. La
revista fue retirada y Poincar pag una nueva reimpresin, que inclua su
descubrimiento de enredos homoclnicos y lo que ahora llamamos caos. Esto le
cost mucho ms que el dinero que haba ganado con su Memoria fallida. Casi
todas las copias de la versin incorrecta fueron recuperadas y destruidas, pero una,
conservada en los archivos del Instituto, se escap de la red.
Dinmicas no lineales
Monstruos tericos
Un segundo tema entra ahora en nuestra historia. Entre 1870 y 1930, un grupo
variopinto de matemticos heterodoxos inventaron una serie de formas extraas cuyo
nico propsito era poner de manifiesto las limitaciones del anlisis clsico. Durante
el desarrollo inicial del clculo infinitesimal, los matemticos haban supuesto que
cualquier cantidad que variara de forma continua deba tener una tasa de cambio bien
definida casi por doquier.
Por ejemplo, un objeto que se est moviendo de forma continua a travs del
espacio tiene una velocidad bien definida, excepto en los instantes relativamente
escasos en que su velocidad cambia abruptamente. Sin embargo, en 1872 Weierstrass
demostr que esta vieja hiptesis es falsa. Un objeto puede moverse de una forma
continua pero de manera tan irregular que en la prctica su velocidad cambia
abruptamente en todo instante de tiempo. Esto significa que en realidad no tiene
siquiera una velocidad razonable.
Otras aportaciones a este extrao zoo de anomalas incluan una curva que llena
toda una regin del espacio (una fue encontrada por Peano en 1890, otra por Hilbert
en 1891), una curva que se cruza consigo misma en todo punto (descubierta por
Waclaw Serpinski en 1915) y una curva de longitud infinita que encierra un rea
finita. Este ltimo ejemplo de rareza geomtrica, ideado por Helge von Koch en
1906, es la curva copo de nieve, y se construye de la forma siguiente. Empezamos
con un tringulo equiltero y aadimos promontorios triangulares en medio de cada
lado para crear una estrella de seis puntas.
Luego se aaden promontorios ms pequeos en medio de los doce lados de la
estrella, y continuamos este procedimiento indefinidamente. Debido a su simetra
sxtuple, el resultado final se parece a un copo de nieve complicado. Los copos de
nieve reales crecen por otras reglas, pero sa es otra historia.
La corriente principal de las matemticas denunci inmediatamente estas
anomalas como patologa y como galera de monstruos, pero a medida que
pasaban los aos varios fiascos embarazosos resaltaron la necesidad de ser cautos, y
el punto de vista de los heterodoxos fue ganando terreno. La lgica que hay detrs del
anlisis es tan sutil que saltar a una conclusin plausible es peligroso: los
monstruos nos advierten de lo que puede ir mal. Por eso, llegado el cambio de siglo
los matemticos se haban hecho a la existencia de nuevos artculos en la tienda de
Complejidad
Del caos, nos volvemos a la complejidad. Muchos de los problemas a los que se
enfrenta hoy la ciencia son extraordinariamente complicados.
Para gestionar un arrecife coralino, una selva o una pesquera es necesario
entender un ecosistema altamente complejo, en el que cambios aparentemente
inocuos pueden desencadenar problemas inesperados. El mundo real es tan
complicado, y puede ser tan difcil de medir, que los mtodos de modelizacin
convencionales son difciles de establecer y an ms difciles de verificar. En
respuesta a estos desafos, un nmero creciente de cientficos han llegado a creer que
se necesitan cambios fundamentales en la manera en que modelamos nuestro mundo.
A comienzos de los aos ochenta George Cowan, anteriormente jefe de
investigacin en Los Alamos, decidi que un camino hacia delante est en las teoras
recin desarrolladas de la dinmica no lineal. Aqu causas pequeas pueden crear
efectos enormes, reglas rgidas pueden llevar a anarqua y el todo suele tener
Autmatas celulares
Autmata celular.
Geologa y biologa
En 1990 Japn lanz una pequea sonda lunar, Hagoromo, que se separ de
una sonda mayor, Hiten, que permaneca en rbita terrestre. Pero la radio de
Hagoromo fall, dejando a Hiten sin ningn papel que desempear. Japn quera
salvar algo de la misin, pero Hiten slo tena un 10 por 100 del combustible
necesario para llegar a la Luna utilizando una rbita convencional. Un ingeniero
del proyecto record la idea de Belbruno y le pidi ayuda. En menos de diez meses
Hiten estaba en camino a la Luna y ms all, en busca de partculas atrapadas de
polvo interestelar, utilizando slo la mitad del combustible que le quedaba. La
tcnica se ha utilizado repetidamente desde su primer xito, en particular por la
sonda Gnesis para tomar muestras del viento solar, y la misin SMARTONE de la
ESA.
La tcnica se aplica en la Tierra tanto como en el espacio. En 1990 Celso
Libros y artculos
Pginas web