Historia Matematica 01

Editorial de la Universidad Tecnolgica Nacional
Juan Eduardo Npoles Valds
(I)
Prlogo Conferencia 1. Introductoria. La arqueomatemtica. Origen de los primeros conceptos matemticos. Problemas filosficos de la matemtica. Principales perodos en la Historia de las matemticas. Conferencia 2. Civilizaciones antiguas: Mesopotamia, Egipto, China y la India. Conferencia 3. La matemtica griega. El surgimiento de la matemtica griega. Pitgoras. Desarrollo de la Geometra desde Thales hasta Hipcrates de Cios. Los tres problemas clsicos. Tolomeo y la consolidacin de la Trigonometra. Conferencia 4. Los Elementos de Euclides. La Geometra Euclidiana. Arqumedes y Diofanto. Los principios fundamentales de la Esttica y el Postulado de Euclides. Conferencia 5. Las matemticas en el medioevo. Los rabes. Solucin de las ecuaciones de 3er y 4to grado en radicales. Desarrollo de la simbologa algebraica. Clculo literal de Vieta.
ir a (II) - (III)
Holgun - Cuba 1996
Editorial de la Universidad Tecnolgica Nacional - U.T.N. edUTecNe http://www.edutecne.utn.edu.ar
Prlogo
PRLOGO Este libro es el resultado de las conferencias impartidas por m en la asignatura Historia de la Matemtica en el programa de maestra Didctica de la Matemtica, del departamento de Matemtica-Computacin de la Universidad Pedaggica Jos de la Luz y Caballero de Holgun, Cuba. En 1980 se hizo efectiva la introduccin de la Historia de la Matemtica tambin para los estudiantes de esta especialidad en los Institutos Superiores Pedaggicos, luego de muchos aos de imparticin en las universidades para los alumnos de la Licenciatura en Matemticas. De esta forma, he concebido un texto que pueda ser utilizado, indistintamente, en cualquiera de estos cursos, dada la similitud de los programas. Una simple ojeada al Indice, le permitir percatarse al lector, que aqu no se pretende ofrecer una imagen completa de la historia de las matemticas, sino ms bien, una visin de conjunto sobre esta, en la que tambin estn tratados, someramente, las irradiaciones sobre las ciencias conexas, consecuencias metodolgicas e implicaciones filosficas de cuarenta siglos de quehacer matemtico. Es universalmente reconocido que el desconocimiento de la experiencia del desarrollo de la ciencia, la incapacidad para analizarla hace al investigador impotente ante los problemas del futuro. Estas consideraciones determinan el objetivo del presente libro: ayudar a los estudiantes de los cursos arriba citados, as como a amplios crculos de amantes de la matemtica, profesionales o no, a asimilar la experiencia histrica de la ciencia en cuestin, las fuerzas motrices y vas de su desarrollo. El material ha sido cuidadosamente seleccionado, sobre cuya base se reflejan ms claramente las tendencias histricas de desarrollo de la matemtica. La matemtica antigua, minuciosamente descrita en otras obras, est aqu tratada concisamente para poder exponer de un modo ms extenso el interesante, pero hasta ahora demasiado poco atendido desarrollo de la matemtica a fines del siglo XIX y en el presente a punto de expirar. Siete conferencias demuestran, muy a las claras, mis intereses al abordar esta problemtica. Sobre el contenido del libro debo decir que el hilo conductor ha sido la calidad del matemtico de la poca, siguiendo la cadena que exponemos a continuacin, si en las civilizaciones pregriegas el matemtico (concepto relativo, pues esta palabra no exista en ningn lxico) era un funcionario del estado; en Grecia surge el matemtico aficionado, categora obtenida en el marco de los estudios filosficos de estos y no en una escuela en el sentido moderno de la palabra; en los siglos XVII y XVIII surgen lo que denominamos el matemtico profesional en el marco del establecimiento de las universidades y academias subvencionadas por el estado; llegando de este modo a nuestro siglo donde aparece el matemtico industrial, cuyo perfil e inclinaciones estn perfectamente determinados por los intereses de consorcios econmicos y/o militares, los que adems de subvencionar los estudios de los talentos, atraen a sus campos, jvenes matemticos del mundo entero. En cada una de las 19 conferencias se han incluido algunas preguntas que, o tratan de llenar las inevitables lagunas o sirven para fijar detalles esenciales del contenido. Tal es el tono y espritu de estas.
Se corre un gran riesgo cuando se hace un intento de dar a la publicidad un libro de texto de Historia de la Matemtica en un espacio, necesariamente, tan reducido, ms an cuando la historiografa de la matemtica se encuentra en rpido desarrollo y el crculo de investigadores se ampla cada da ms. Merecen mi ms profundo agradecimiento por su colaboracin en la escritura y revisin numerosos colegas y amigos, la omisin de alguno de ellos en una lista, hara de mi un ingrato, idea que no deseo dejar en ninguno de los que, tan generosamente, me han ayudado. Toda obra humana es criticable, el autor espera que las crticas y sugerencias hagan de esta, una obra mayor. El Autor
Conferencia 1
Conferencia 1. Introductoria. La arqueomatemtica. Origen de los principales conceptos matemticos. Problemas filosficos de la matemtica. Principales Perodos en la Historia de la Matemtica. Un buen principio hace un buen final Proverbio Ingls os cimientos de la Civilizacin han sido determinados entre 8 y 10 mil aos a.n.e.. Por lo menos la mitad de la Tierra de los Dos Ros (Mesopotamia) no exista, al extremo que la Bagdag actual estaba en pleno Golfo Prsico. Esta regin estaba formada por Asiria al norte y Babilonia al sur. Los dos grandes cursos de agua que la atraviesan y le dan nombre: el Tigris y el Efrates, la convirtieron en una tierra frtil que mucho admiraron los viajeros antiguos. Pero si Egipto que todo lo deba a la irrigacin, ha podido ser calificado de "don del Nilo", no sucede lo mismo con Mesopotamia. A causa del limo que deposita en la tierra, la inundacin niltica es una bendicin, mientras que el Tigris y el Efrates desencadenan inundaciones devastadoras si no son detenidas. Ello se debe a la naturaleza misma de la tierra que atraviesan. Ambos ros nacen en Armenia, en el macizo del monte Nifates, a poca distancia uno del otro; se abren paso a travs de las montaas y su curso tiene la violencia de un torrente. Al llegar la crecida, cuando las nieves se funden, el agua irrumpe en la llanura, devastndolo todo a su paso. Los habitantes de Mesopotamia hallaron el remedio natural contra esta amenaza peridica: la regularizacin del caudal de agua mediante una red de canales. Esto por supuesto, cuando la civilizacin sumeria estaba establecida. Sin embargo, el comienzo fue muy diferente. Unos 40 50 aos atrs, las monografas cientficas y las revistas no comunicaban nada sobre la historia anterior a la aparicin de la escritura (presumeria) en Iraq. Los trabajos arqueolgicos se realizaban en ese pas principalmente en la llanura mesopotmica, donde las capas culturales ms antiguas estaban enterradas bajo las poderosas sedimentaciones aluviales. Las excavaciones de las capas ms bajas en varias colinas-tells proporcionaron a los arquelogos algunos materiales para la creacin del esquema del desarrollo en forma de una serie de culturas agrcolas tempranas, protohistricas que antecedan a la aparicin de la civilizacin Sumer-Acad alrededor del ao 3 mil a.n.e. Pero todas ellas pertenecan y abarcaban no ms de 2500 aos. La prehistoria propiamente dicha de Mesopotamia, su siglo de piedra, permaneca prcticamente desconocida. Entretanto, es evidente que precisamente en este perodo (entre fines del paleoltico posterior, cerca de 12 a 10 mil aos a.n.e. y la aparicin de la civilizacin sumeria a fines del IV milenio a.n.e.) en el Oriente Medio se operaban importantsimos procesos y cambios que, a fin de cuentas, condujeron a la formacin de las bases de la economa "de produccin" agrcola y ganadera y de todo el modo de vida sedentaria en la regin. Estos procesos constituyeron en la historia de la
humanidad una poca de viraje especial, una importante faceta cualitativa que, segn la periodizacin de Engels, corresponde al paso del salvajismo a la barbarie, de la sencilla apropiacin de los productos de la naturaleza a la produccin de alimentos, o sea, "la primera y gran divisin social del trabajo" (Engels). Algunos arquelogos, utilizan el trmino de "revolucin neoltica" (G. Childe), para destacar el punto culminante de los prolongados cambios anteriores en la estructura econmica y la organizacin social de la sociedad. Las consecuencias de esta revolucin son verdaderamente extraordinarias. Cambi intensamente el nmero de habitantes en las regiones donde triunfaron las formas nuevas, progresistas, de actividad econmica. Segn R. Braidwood, en el Oriente Medio se tena la siguiente distribucin: -en el Pleistoceno tardo (Paleoltico Superior; 25-10 mil aos atrs), no ms de 3 personas por 160 Km, -en el Mesoltico (10 mil aos atrs), 12,5 por 160 Km, y -en las primeras comunidades agrcolas sedentarias, 25 mil por 160 km, o sea, en comparacin con el perodo anterior, aument 200 veces. Todo esto permiti (e impuls) la influencia activa del hombre en el medio natural, cambindolo y aumentando los recursos vitales necesarios con la difusin artificial de las plantas cultivadas y animales domesticados de las regiones donde existan originalmente a las tierras asimiladas. Este proceso no fue ni rpido ni equitativo en el tiempo. Sin embargo, en una serie de regiones del Oriente Medio, en los milenios VIII-VII a.n.e. surgen los poblados que se diferenciaban radicalmente de los asentamientos anteriores. Segn la tradicin aceptada entre los arquelogos, cada etapa importante en el desarrollo de las culturas agrcolas tempranas de Iraq recibi el nombre de la localidad o del lugar donde fueron realizadas las primeras excavaciones. As aparecieron las etapas (y las culturas) de Hassuna-Samarra (VI milenio a.n.e.) y Ubaid (fines del V-mediados del IV milenio a.n.e.). Pero esto fue solamente el principio. La combinacin de todas estas circunstancias produjo la especializacin y un excedente de productos alimenticios. Por primera vez el hombre pudo sentarse para reflexionar durante cierto tiempo sin preocuparse por buscar de donde provenan las cosas con que elaborara la siguiente comida. Esto origin una fuerza creadora e inventiva que podra denominarse casi explosiva. Los siguientes 1500 aos -en trminos generales el perodo transcurrido entre los aos 4500 y 3000 aos a.n.e.- han sido llamados "tal vez los ms frtiles" en invenciones y en descubrimientos humanos que cualquier perodo de la historia del hombre anterior al siglo XVI n.e. Nuestra especie -Homo sapiens- ha existido por lo menos 100 mil aos. Imaginmonos que un da de 24 horas representa esos centenares de siglos. Utilizando esa escala de tiempo, el hombre fue un cazador nmada durante 23 horas y media (desde la media noche hasta las 11:30 de la siguiente noche). Aproximadamente a las 11:30 pm (esto es hacia el ao 10 mil a.n.e.), comienzan los cambios antes descritos en el Oriente Medio. Y desde las 11:45 pm a la media noche -apenas 15 minutos de nuestras 24 horas- logr civilizarse. Pero todava ms notable es el hecho de que durante un breve perodo de tiempo de aproximadamente 1500 aos -representados por cuatro minutos en nuestra escala de 24 horas- nuestros antepasados: -inventaron la rueda y el transporte con ruedas, -aprendieron a fabricar telas,
Conferencia 1
-hicieron barcos para navegar, -descubrieron el uso del metal, -aprendieron a calcular por medio de nmeros, -inventaron la escritura, -aprendieron a poner en cultivo y bajo riego artificial superficies de tierra, -aprendieron a construir no slo casas, sino templos grandes, crearon las primeras ciudades. Segn la Biblia las primeras ciudades son Eridu, Ur, Erec, Lagash y Kish. La tradicin juda hace figurar a los hebreos entre los primitivos colonizadores de esa regin. Ahora esto es cierto simblicamente, pero el proceso real de poblamiento transcurri de forma muy parecida a como la hemos presentado. Es sabido que las matemticas y la escritura guardan una estrecha relacin simbitica. Recientes descubrimientos arqueolgicos han revelado que los primeros sistemas de escritura surgieron para responder a la necesidad de calcular, dividir y repartir los bienes materiales de la sociedad que surgen en el proceso antes descrito. Una sociedad que quiera crear unas matemticas que se limiten al mero clculo necesita algn tipo de soporte fsico. Si no fuera por la escritura, las limitaciones de la memoria humana son tales que no es posible sobrepasar determinado grado de complejidad numrica. Al observar la evolucin que siguieron dos sistemas de escritura, uno al sur de Mesopotamia a mediados del IV milenio a.n.e. y el otro, algo ms tarde, en las proximidades de Susa en Irn, los descubrimientos arqueolgicos de estos ltimos decenios han puesto de manifiesto que la afirmacin contraria es igualmente vlida: para que una sociedad pueda crear una escritura, las necesidades materiales y, sobre todo, la de llevar un registro documental, son requisitos imprescindibles. En las sociedades a las que hemos aludido, el soporte fsico era arcilla prcticamente indestructible y los primeros documentos eran de tipo contable. La escritura cuneiforme mesopotmica tuvo una gran difusin en los 3 mil aos siguientes y fue utilizada, no slo por los sumerios y acadios, sino tambin por los hititas, elamitas, hurritas y otras muchas lenguas del Cercano Oriente en la Antigedad y no desapareci hasta comienzos de nuestra era. Es a comienzos del tercer milenio que empieza a aparecer gradualmente, en la civilizacin mesopotmica y egipcia, un concepto abstracto del nmero, con todas las implicaciones que trae aparejado en el desarrollo de la matemtica. La palabra Matemtica es mucho ms joven, viene del griego Mathesis, que significa la ciencia por excelencia. Antiguamente se expresaba este nombre en singular, pero despus se ha pluralizado debido a la extraordinaria extensin que alcanzaron sus ramas, llamndose Matemticas. En su "Anti-Duhring" Engels expresa: "Pero en las matemticas puras la inteligencia no se las entiende, de ningn modo, slo con sus propias creaciones e imaginaciones. Los conceptos de nmero y figura no tienen otro origen que el mundo real... Para contar no slo hacen falta objetos contables, sino tambin la capacidad de prescindir, a la vista de los objetos, de todas las otras cualidades menos la de su nmero, capacidad que es el fruto de un largo desarrollo histrico, emprico. Y lo mismo que el concepto de nmero, el de figura est tomado exclusivamente del mundo exterior y no ha brotado en la cabeza por obra del pensamiento puro."
Antes que todo debemos aclarar diversas cuestiones relacionadas con la Historia de la Matemtica como ciencia independiente. La composicin de la matemtica, como la de otra ciencia, es la siguiente: a) hechos, acumulados en el transcurso de su desarrollo, b) hiptesis, esto es, suposiciones cientficas, basadas en los hechos, que se someten posteriormente a una verificacin experimental, c) los resultados de la generalizacin del material real expresado, en este caso, por teoras y leyes matemticas, d) la metodologa de la matemtica, esto es la interpretacin terica general de las leyes y teoras matemticas, las que caracterizan le enfoque general en el estudio del objeto de las matemticas. Todos estos elementos estn indisolublemente ligados y se encuentran en constante desarrollo. La aclaracin de cmo ocurre y adonde conduce este desarrollo en un perodo histrico estudiado, constituye el objeto de la Historia de la matemtica, una de las disciplinas matemticas. La Historia de las Matemticas es la ciencia acerca de las leyes objetivas del desarrollo de las matemticas. Se denomina Historiografa de la matemtica, al arte de escribir su historia. Actualmente existen innumerables obras que estudian y describen cmo se conform esta ciencia. La historiografa de la matemtica busca en los sucesos del pasado, conclusiones que permitan organizar el devenir actual y el porvenir de la ciencia matemtica. La historiografa de la matemtica surge aproximadamente con el famoso "Catlogo de Matemtica, escrito alrededor del 320 a.n.e. por un discpulo de Aristteles llamado Eudemo de Rodas. Esta obra se perdi, pero se conoce un resumen de la misma recogida por Proclo (410-485) en las primeras pginas de su libro "Comentarios sobre el Primer Libro de Euclides". La importancia de los vnculos internos del desarrollo matemtico fue comprendida por muchos destacados matemticos. Por ejemplo, Lagrange (1736-1813) comenz algunas de sus obras con excelentes captulos dedicados totalmente a la historia de esta ciencia. La Historiografa de la Matemtica surge como disciplina matemtica independiente con las obras de Kastner (1796- 1800) y la "Histoire de la Mathematique" del francs E. Montuela (1799-1802). La obra del alemn M. Cantor (1880-1902) en 4 volmenes, fue durante mucho tiempo la obra estndar en este campo. La historia de la matemtica se acostumbra a dividirla en perodos. Esta periodizacin puede hacerse con arreglo a diferentes fundamentos. De esta manera, para ciertos propsitos puede ser til la divisin de la historia de la matemtica en perodos, segn una cronologa determinada. Utilizando como fundamento el desarrollo del lenguaje matemtico en la Antigua Grecia, Nesselman (E. Bell-"Historia de la matemtica", Mxico-Buenos Aires, Fondo de Cultura Econmica, 1949) consider tres etapas de la historia de la matemtica en esta civilizacin: 1. Una etapa retrica de la matemtica, en que sta se expresaba en trminos del lenguaje ordinario. 2. Una etapa sincopada, en la que se utilizaban abreviaturas especiales para expresar las operaciones y "objetos" matemticos.
Conferencia 1
3. Una etapa simblica, en que la matemtica utiliz para su expresin, signos especiales. Resulta interesante el hecho que analizando el desarrollo de la simbologa matemtica a lo largo del desarrollo de la misma, se presentan en la misma, los perodos descritos por Nesselman. As, la simbologa matemtica puede considerarse retrica, desde su surgimiento hasta la poca del renacimiento aproximadamente; la etapa retrica puede considerarse aquella en que se introducen abreviaturas como "res" y "plus", que dan paso posteriormente a la aparicin de los signos de las operaciones y se considera finalizada con la obra de Vieta y la tercera etapa, transcurre hasta la actualidad. A G. I. Ruzavin se debe una periodizacin segn el nivel de las abstracciones matemticas. l considera las siguientes etapas o perodos: 1. Perodo correspondiente a las abstracciones de los objetos de la realidad. En este perodo los objetos matemticos tienen una rplica sensorial. 2. Perodo de las abstracciones de abstracciones. Este perodo se corresponde con el surgimiento del lgebra elemental. 3. Perodo de las abstracciones de relaciones. Este perodo se corresponde con el surgimiento de la moderna "estructura matemtica" y la abstraccin no es ms que la introduccin de axiomas en el proceso de combinacin y diferenciacin de estructuras prescindiendo de la descripcin de las relaciones. En la literatura marxista, existen otras periodizaciones, entre ellas las de Matute-Soldatov (an por completar) que se basa en tener en cuenta el grado de penetracin de la matemtica en otras ciencias, el surgimiento de disciplinas y teoras matemticas y la relacin entre la lgica y la matemtica, pero sin lugar a dudas, la ms utilizada es la de Kolmogorov que toma en cuenta los mtodos ms importantes, las ideas y logros de la matemtica para situar un determinado perodo en la historia de la matemtica, as se tienen los siguientes 4 perodos: 1. Surgimiento de la matemtica (hasta el siglo VI a.n.e.). 2. Matemtica elemental (desde el siglo VI a.n.e. hasta el XVI). 3. Matemtica de las magnitudes variables (desde el siglo XVII hasta mediados del siglo XIX). 4. Matemtica contempornea (a partir de 1870 aproximadamente). Esta ser la periodizacin que utilizaremos en nuestro curso, a pesar que no renunciamos al anlisis lgico de una teora o concepto, pero sin llegar nunca a posiciones bourbakianas. El conocimiento de la historia proporciona una visin dinmica de la evolucin de la Matemtica. Se puede barruntar la motivacin de las ideas y desarrollos en el inicio. Ah es donde se pueden buscar las ideas originales en toda su sencillez y originalidad, todava con su sentido de aventura, que muchas veces se hace desaparecer en los textos secundarios. Como dice muy acertadamente O. Toeplitz "Con respecto a todos los temas bsicos del clculo infinitesimal... teorema del valor medio, serie de Taylor,...nunca se suscita la cuestin Por qu as precisamente? o Cmo se lleg a ello? Y sin embargo todas estas cuestiones han tenido que ser en algn tiempo objetivos de una intensa bsqueda, respuestas a preguntas candentes...Si volviramos a los orgenes de estas ideas, perderan esa apariencia de muerte y de hechos disecados y volveran a tomar una vida fresca y pujante". Tal visin dinmica nos capacitara para muchas tareas interesantes en nuestro trabajo educativo:
posibilidad de extrapolacin hacia el futuro. inmersin creativa en las dificultades del pasado. comprobacin de lo tortuoso de los caminos de la invencin, con la percepcin de la ambigedad, oscuridad, confusin iniciales, a media luz, esculpiendo torsos inconclusos... Por otra parte el conocimiento de la Historia de la Matemtica y de la biografa de sus creadores ms importantes nos hace plenamente conscientes del carcter profundamente histrico, es decir, dependiente del momento y de las circunstancias sociales, ambientales, prejuicios del momento,... as como de los mutuos y fuertes impactos que la cultura en general, la filosofa, la matemtica, la tecnologa, las diversas ciencias han ejercido unas sobre otras. Aspecto este ltimo del que los mismos matemticos enfrascados en su quehacer tcnico no suelen ser muy conscientes, por la forma misma en que la matemtica suele ser presentada, como si fuera inmune a los avatares de la historia. A mi parecer sera extraordinariamente conveniente que las diversas materias que enseamos se beneficiaran de la visin histrica, como he dicho arriba, y que a todos nuestros estudiantes se les proporcionara siquiera un breve panorama global del desarrollo histrico de la ciencia que les va a ocupar toda su vida. Mientras llega una situacin razonable yo me atrevera a aconsejar: la lectura atenta de algunos de los numerosos y excelentes tratados de historia que van apareciendo en castellano (Boyer, Kline, Colette, Grattan-Guinness...). acudir, para los temas del inters particular de cada uno, a las fuentes originales, especialmente de los clsicos. leer las biografas de los grandes matemticos, al menos en la forma sucinta en que aparecen en el Dictionary of Scientific Biography. El valor del conocimiento histrico no consiste en tener una batera de historietas y ancdotas curiosas para entretener a nuestros alumnos a fin de hacer un alto en el camino. La historia se puede y se debe utilizar, por ejemplo, para entender y hacer comprender una idea difcil del modo ms adecuado. Quien no tenga la ms mnima idea de las vueltas y revueltas que el pensamiento matemtico ha recorrido hasta dar, pongamos por caso, con la nocin rigurosamente formalizada del nmero complejo, se sentir tal vez justificado para introducir en su enseanza los nmeros complejos como "el conjunto de los pares de nmeros reales entre los cuales se establecen las siguientes operaciones...". Quien sepa que ni Euler ni Gauss, con ser quienes eran, llegaron a dar ese rigor a los nmeros complejos y que a pesar de ello pudieron hacer cosas maravillosas relacionadas con ellos, se preguntar muy seriamente acerca de la conveniencia de tratar de introducir los complejos en la estructura cristalizada antinatural y difcil de tragar, que slo despus de varios siglos de trabajo llegaron a tener. Los diferentes mtodos del pensamiento matemtico, tales como la induccin, el pensamiento algebraico, la geometra analtica, el clculo infinitesimal, la topologa, la probabilidad,... han surgido en circunstancias histricas muy interesantes y muy peculiares, frecuentemente en la mente de pensadores muy singulares, cuyos mritos, no ya por justicia, sino por ejemplaridad, es muy til resaltar. La historia debera ser un potente auxiliar para objetivos tales como: hacer patente la forma peculiar de aparecer las ideas en Matemticas. enmarcar temporalmente y espacialmente las grandes ideas, problemas, junto con su motivacin, precedentes,... sealar los problemas abiertos. Lo que en el fondo se persigue con ella es transmitir en lo posible de una manera sistemtica los procesos de pensamiento eficaces en la resolucin de verdaderos problemas
Conferencia 1
y no caer en los errores en que caen los matemticos, profesores o no, que adolecen de una formacin histrica, entre otros: Visin lineal y acumulativa del desarrollo de la Matemtica, que ignora las crisis y remodelaciones profundas de las teoras y conceptos. Visin aproblemtica y ahistrica, que transmite conocimientos ya elaborados como hechos asumidos sin mostrar los problemas que generaron su construccin. Visin individualista, el conocimiento matemtico aparece como obra de genios aislados, ignorando el papel del trabajo colectivo de generaciones y de grupos de matemticos. Visin elitista, que esconde la significacin de los conocimientos tras el aparato matemtico y presenta el trabajo cientfico como un dominio reservado a minoras especialmente dotadas. Visin descontextualizada socialmente neutra, alejada de los problemas del mundo e ignorando sus complejas interacciones con las otras ciencias, la tcnica y la sociedad. Se proporciona una imagen de los matemticos encerrados en recintos y ajenos a la necesaria toma de decisin. En estos momentos, han tomado fuerzas posiciones de historiadores de la matemtica que defienden entre otros, las siguientes tesis (ver Arrieta, J.-La Matemtica, su historia y su enseanza, 1997, preprint): 1.- En la mayor parte de las historias de las matemticas conocidas podemos comprobar que se oculta o no se fundamenta en absoluto la concepcin epistemolgica que se tiene de dicha disciplina. Qu se entiende por matemticas?, qu se entiende por ciencia o ciencias?, y por abstraccin? Estas preguntas, desgraciadamente, no se suelen responder con el ms mnimo rigor en los libros publicados al respecto, por lo que muchas de las afirmaciones que contienen se deben asumir como dogmas de f, sin posibilidad de discusin y, en su caso, de refutacin. 2.- Los textos de historia de las matemticas se han escrito con un marcado sesgo eurocntrico, ignorando, devaluando y distorsionando la actividad matemtica realizada al margen del continente europeo. Parece ser que nicamente los habitantes del mismo han sido capaces de aportar algo a la "reina de las ciencias", al espritu humano creador capaz de construirla y desarrollarla con racionalidad y rigor. 3.- La Educacin Matemtica, su enseanza, al no fundamentarse en una adecuada epistemologa e historia de la misma, no favorece la concrecin de una educacin Intercultural, ms necesaria que nunca en esta llamada Aldea Global. Quizs en el segundo tema, la obra ms slida es la que presenta el sirio-indio-etope-ingls Georges Gheverghese Joseph, reciente autor de una obra que bajo el sugerente ttulo de La cresta del pavo real. Las Matemticas y sus races no europeas (Gheverghese J., G.La cresta del pavo real. Las Matemticas y sus races no europeas, Madrid, Pirmide, 1996) plantea una crtica demoledora, crtica que abunda en defensa de la segunda tesis. Como afirma dicho autor (p.26): Las matemticas han desarrollado un lenguaje universal con una clase particular de estructura lgica. Contienen un cuerpo de conocimientos relacionado con el nmero y el espacio, y prescriben un conjunto de mtodos para alcanzar ciertas conclusiones acerca del mundo fsico - y para la resolucin de infinidad de problemas, diramos nosotros -. Y es una actividad intelectual que exige intuicin e imaginacin para deducir demostraciones y alcanzar conclusiones. Con frecuencia recompensa a las mentes creativas con un fuerte sentido de satisfaccin esttica.
10
En esta direccin, cabe quizs aadir lo siguiente, como objetivos a trasmitir con la utilizacin de recursos histricos en la Educacin Matemtica: 1. Una concepcin dinmica de la Matemtica, acuada en la clebre frase de Philip E. Jourdain, en la introduccin a su comentado La Naturaleza de la Matemtica, cuando al declarar el objetivo central de dicho libro apuntaba: Espero que conseguir mostrar que el proceso del descubrimiento matemtico es algo vivo y en desarrollo. 2. Que se debe aceptar el significado de los objetos matemticos en su triple significado: institucional, personal y temporal (ver Daz G., J. y M.C. Batanero-Significado institucional y personal de los objetos matemticos, Recherches en Didactique des Mathmatiques, 1994, Vol.14, no.3, 325-355) y para algunas observaciones, Npoles, J.E.Sobre el significado de los objetos matemticos. El caso de los irracionales, Memorias COMAT97, 1997, Universidad de Matanzas. 3. La distincin que debe establecerse entre una argumentacin, una prueba y una demostracin, y la necesaria dosificacin de estas en el curriculum escolar, as como las discusiones en torno a las concepciones clsicas sobre esta ltima y el rigor de las mismas. Por otra parte es claro, pero no siempre comprendido, que el objeto matemtico en consideracin para la enseanza o el aprendizaje es estructuralmente, pero no cualitativamente, el mismo que en Matemticas, de aqu que la mayora de los matemticos creen que la educacin de la matemtica slo est afectada por problemas del tipo Cmo trasmitir los hechos matemticos importantes a los alumnos?. De hecho, nosotros adoptamos la nocin de significado de los objetos matemticos en un triple condicionamiento: institucional, personal y temporal (en el trabajo de Daz y Batanero que mencionamos arriba), lo que nos lleva considerar el enfoque socio-antropolgico de cmo se produce y en qu consiste el conocimiento matemtico, que se enmarca dentro de la lnea ms amplia de Etnomatemtica (ver por ejemplo, Oliveras, M.L-Etnomatemticas. Formacin de profesores e innovacin curricular, Granada, Mathema 7, 1996 y Gerdes, P.-Etnomatemtica. Cultura, Matemtica, Educao, Instituto Superior Pedaggico, Maputo, Mozambique, 1991). Partiendo del hecho que no hay acuerdo universal sobre lo que constituye una buena enseanza de la Matemtica, aceptamos que lo que cada cual considera como formas deseables de aprendizaje y enseanza de la Matemtica est influenciado por sus concepciones sobre la Matemtica. Es poco probable que los desacuerdos sobre lo que constituye una buena enseanza de la Matemtica, puedan ser resueltos sin dirigirse a importantes asuntos sobre la naturaleza de la Matemtica. Por otra parte, existen modelos didcticos dirigidos a qu cambios debe sufrir el conocimiento matemtico para ser adaptado como objeto de enseanza, uno de tales modelos es el de Transposicin Didctica (Chevallard, Y.-La transposition didactique: du savoir savant au savoir enseign, Grenoble: La Pense Sauvage, 1985) que se manifiesta, como ya dijimos, en la diferencia existente entre el funcionamiento acadmico de un determinado conocimiento y el funcionamiento didctico del mismo. Ver el Anexo para una representacin esquemtica de la realizada en nuestro trabajo, que se manifiesta como ya dijimos, en la diferencia existente entre el funcionamiento acadmico de un determinado conocimiento y el funcionamiento didctico del mismo. As como ha crecido el inters por la Historia de la Matemtica en relacin con su enseanza, en aos recientes tambin se ha incrementado la bsqueda de relaciones entre la Matemtica y su Historia como herramienta didctica y como campo de investigacin.
Conferencia 1
11
Como ejemplo de esto, podemos mencionar que el ICMI incluy este tema en la agenda del International Congress in Mathematics Education realizado en Japn. El documento de discusin previo al Congreso consider algunas cuestiones tales como: Nivel del sistema educativo en el que adquiere relevancia la Historia de la Matemtica como herramienta de enseanza. Consecuencias de la utilizacin de la historia para la organizacin y la prctica de la clase. Utilidad de la Historia de la Matemtica para los investigadores en Educacin Matemtica Incorporacin de la Historia de la Matemtica en el currculum. La enseanza de la Matemtica puede realizarse desde distintas perspectivas: heurstica , lgica y a travs del enfoque histrico. El enfoque histrico es una propuesta metodolgica que acta como motivacin para el alumno ya que a travs de l descubrir la gnesis de los conceptos y mtodos que aprender en el aula. En otras palabras permitir hacer patente el origen de las ideas matemticas. En nuestras aulas, es significativo el nmero de estudiantes que muestran indiferencia y hasta rechazo hacia el aprendizaje de la Matemtica, lo que se traduce en un considerable ndice de fracaso. Si logramos establecer un lazo entre nuestros alumnos y la poca y el personaje relacionado con los conceptos estudiados, si los alumnos conocieran la evolucin de los conceptos aprendidos en clase, si conocieran las motivaciones y las dudas que experimentaron los sabios de aquel entonces quiz podran comprender como se ha descubierto y justificado un problema, un cuerpo conceptual, etc. No se trata de que el orden lgico deba respetar estrictamente el orden histrico, ni tampoco el orden didctico necesariamente debe coincidir con los dems. Lo que si se debe resaltar es que es necesario mantener un sentido de proporcin al utilizar este enfoque. Por ejemplo, si al combinar el enfoque histrico con el heurstico, las ideas fundamentales no han quedado claras y por lo tanto el estudiante no las ha incorporado a su acervo de conocimientos, conocer su evolucin no lo ayudar en la solucin de problemas. Relacionar un nombre y una fecha con una idea, concepto o procedimiento no es suficiente. Una lnea de investigacin que no ha sido completamente desarrollada, es la bsqueda de elementos histricos como recurso pedaggico que aproveche nuestros conocimientos acerca de obstculos didcticos, epistemolgicos, ontognicos y de problemas relacionados con el proceso de enseanza-aprendizaje, entre los que est, la influencia de las creencias y concepciones de los profesores en su labor. Debemos dejar bien claro, que no afirmamos que este es el nico, o mejor, de los mtodos a utilizar, es una alternativa de trabajo que ha mostrado su utilidad en mltiples situaciones. Creemos til aadir adems, que la Historia de las Matemticas ha devenido en mltiples ocasiones, en situaciones que han hecho ms dao que beneficio, tal y como ilustramos en el siguiente cuadro.
12
Abusos tradicionales Hacer hagiografa matemtica, estableciendo correspondencias entre semidioses y milagros matemticos.
Usos racionales Humanizar el proceso de aprendizaje, dndole contexto (social, cultural, personal, etc) a la fra osamenta de las estructuras y teoras contemporneas. Determinar los problemas ejes o generadores, a partir de los cuales, en dinmica grupal, se realice un programa de actividades como investigacin. Estimular la apreciacin del arte de la creacin matemtica y la lucha de ideas dentro del proceso de investigacin. Facilitar al profesor la formacin de las bases motivadora y orientadora de la accin, as como permitirle el ajuste dentro de parmetros ms objetivos y manejables racionalmente. Mostrar la interdependencia de las diferentes partes de la Matemtica, su unidad indisoluble desde su gnesis. Favorecer de manera natural, el flujo inevitable entre Cultura, Ciencia y Humanidad. Restablecer el cuadro cultural de la gnesis de diferentes teoras y metodologas, en la consideracin de lo interno y lo externo en una sntesis dinmica dentro de su proceso de formacin. Bsqueda crtica de regularidades evolutivas, como refuerzo de la comprensin de la necesidad, las consecuencias y las aplicaciones del conocimiento. Incorporarla como componente sistmico del currculo, al servicio del cumplimiento de sus objetivos generales desde los primeros aos, progresando sucesivamente en el hallazgo de interacciones entre pensamiento y realidad, abstraccin y concrecin, teora y prctica.
Confeccin de protocolos notariales con nombres, lugares y fechas que sirvan para ubicar objetivamente la materia formalizada. Motivar al alumno con un conjunto de chistes y ancdotas, en aras de lograr efectismos. Bsqueda de economa del esfuerzo que el profesor debe hacer para dominar los contenidos, las tcnicas de y mtodos de enseanza-aprendizaje.
Concentrar el mbito estrecho de una teora, concepto o mtodo especfico.
Dar pinceladas culturales que hagan ms agradable la exposicin.
Aplicacin mal digerida de la epistemologa gentica de Piaget o la reconstruccin racional de Lakatos, dejando fuera, la consideracin del contexto social. Investigacin arqueolgica en un mundo platnico de ideas, sombras de ninguna cosa material o humana.
Remendar el plan de estudios con un parche ostentoso en un momento concreto de la carrera, tratando de darle fundamento tardo a un conocimiento introducido de manera artificial y prematuramente abstracta.
Conferencia 1
13
CUESTIONARIO 1. Mencione el probable origen de los primeros conceptos matemticos. Qu condiciones posibilitaron estos? 2. Origen de la civilizacin. Relacin escritura (lenguaje)-matemtica. 3. Origen y significado de la palabra Matemtica. 4. Principales problemas filosficos de la Matemtica. 5. Relacin objeto de estudio-objeto de la Matemtica. 6. Objetivos fundamentales de la Historia de la Matemtica. 7. Qu es la Historiografa de la Matemtica? Quin y cuando se inicia esta?. 8. Qu obras de Historia de la Matemtica Ud. conoce? Valrelas. 9. Cules son los perodos ms utilizados en la Historia de la Matemtica? Quines son sus autores? 10. Ponga ejemplos del carcter dialctico de la Matemtica. 11. Diga qu evidencias existen de los conocimientos matemticos en las eras Paleoltica y Neoltica. 12. Existi matemtica antes que apareciera el Hombre? Fundamente. 13. Comente y ponga ejemplos, de los principales errores que se cometen en la utilizacin de la Historia de la Matemtica.
12
Conferencia 2. Civilizaciones antiguas: Mesopotamia, Egipto, China y la India. Solo aprendemos de aquellos a quienes amamos Goethe MESOPOTAMIA Y EGIPTO l tratar el surgimiento de los primeros conceptos matemticos, en el encuentro anterior, mencionamos la civilizacin sumeria, como una de las primeras en desarrollarse, pues conocan la rueda, el empleo de los metales y lo que es ms importante: saban escribir, la escritura sumeria, cuneiforme, parece ser la primera forma escrita de comunicacin entre los hombres y se realizaba sobre tablillas de arcillas blandas, que luego se cocan en hornos o se endurecan simplemente bajo la luz del Sol. Durante las excavaciones realizadas desde el siglo pasado, se hallaron ms de medio milln de estas tablillas, y entre ellas se han identificado aproximadamente 300, dedicadas por entero a cuestiones matemticas. En las ruinas de la ciudad de Nippur, al sudeste de babilonia, se encontraron 50 mil tablillas y se supone escritas por sumerios ms avanzados posiblemente entre los siglos XXXI y XXVI a.C. En el tercer milenio empieza a aparecer gradualmente, tanto en la civilizacin mesopotmica como en la egipcia, un concepto abstracto de nmero. En principio cada uno de ellos forma parte de un determinado sistema de unidades, razn por la que el "Cuatro" de cuatro ovejas y el de cuatro medidas de grano, por ejemplo, no se representan con el mismo smbolo. Los distintos sistemas de unidades guardan relacin entre s. No haba correlacin entre las medidas de superficie y las medidas de longitud y no saban calcular la superficie a partir de la longitud y de la anchura. Pero la prctica de anotar datos, que permite llevar un registro permanente de medidas, abre la posibilidad de observar las regularidades, las pautas. Estas dos sociedades aprovecharon esa posibilidad por espacio de unos mil aos. Hacia finales del tercer milenio los escribas egipcios y sumerios aprendieron a calcular el rea y el volumen a partir de la longitud, a distribuir las provisiones entre los obreros, a calcular el tiempo necesario para llevar a cabo una determinada labor en funcin de su magnitud, el nmero de hombres y el ritmo del trabajo. Tambin hay pruebas de que una vez establecidas estas relaciones, se lleg a un grado ms alto de abstraccin en el que los conceptos numricos se fueron desprendiendo progresivamente de la unidad a la que se aplicaban. A comienzo del segundo milenio, ambas civilizaciones haban conseguido crear unos sistemas igualmente abstractos de numeracin, si bien haban escogido medios diferentes para representar las cifras. Los egipcios, al igual que la mayora de las sociedades modernas, tenan un sistema numrico decimal, esto es, en el que se cuenta hasta el nueve de cada unidad antes de pasar a la unidad superior siguiente (despus de nueve unos aparece el diez, despus de nueve dieces aparece la centena, etc.). Pero, contrariamente a los sistemas modernos, su escritura numrica era "aditiva", esto es, haba signos distintos para las unidades, las decenas y las centenas y se trazaban tantos como fueran necesarios. En Mesopotamia se proceda de otra manera, la base de los clculos matemticos era sesenta; para expresar cifras superiores a 59 era necesario, como veremos ms adelante, repetir los signos correspondientes.
Conferencia 2
13
LA EDUCACIN DEL ESCRIBA Aprender a manejar estos sistemas numricos requera una formacin especializada, y la existencia de escuelas se remonta a la misma poca que la invencin de la escritura. Se sabe, adems, que el aprendizaje de la aritmtica se iniciaba en una fase temprana de la vida escolar de los nios, al mismo tiempo que la lectura y la escritura, y que las matemticas eran consideradas, igual que ahora, una de las asignaturas ms difciles. Hacia el ao 2000 a.C. se compuso en honor de Shulgi, uno de los reyes del tercer imperio de Ur en Mesopotamia, un himno literario que se convirti en texto modelo utilizado como ejercicio escolar en la primera mitad del segundo milenio. En la composicin, el soberano se jacta de sus xitos acadmicos y proclama orgullosamente: S sumar y restar a la perfeccin, soy diestro en clculo y en contabilidad. Ms de mil aos despus, el rey asirio Asurbanipal repeta prcticamente lo mismo en uno de sus himnos: Soy capaz de hallar los nmeros recprocos y los productos difciles que no figuraban en las tablillas. Cul sera la trayectoria de un joven escriba destinado a convertirse en matemtico en el antiguo Egipto o en Mesopotamia? Casi con toda seguridad del sexo masculino (ya que las mujeres, aunque no les estaba prohibido recibir formacin como escribas, no aparecen mencionadas en los documentos), empezara asistiendo a la escuela cuyo ingreso estaba abierto a dos grupos distintos. Del primer grupo integrado por los hijos de los ricos y poderosos surgiran los reyes y los altos funcionarios, mientras que la vasta mayora de los afortunados que haban logrado acceder a una institucin educativa, uno de los medios excepcionales de ascenso social en la antigedad, se convertiran en meros escribas profesionales. Qu aprendera el escriba durante los diez aos de escolaridad como mnimo? De las dos civilizaciones han llegado hasta nosotros textos y ejercicios matemticos, en particular los llamados debates de escribas. As, en un ejemplo procedente de Mesopotamia, un escriba alardea de sus capacidades ante otros: Quiero escribir tablillas: tablillas [de medidas] desde 1 gur de cebada hasta 600 gur; tablillas [de peso] desde un siclo hasta 20 minas de plata, con los contratos de matrimonio que pueden presentarme, los contratos comerciales,... la venta de viviendas , campos ,clavos , prendas de plata,contrato de arriendos de campos, contratos de cultivos de palmera ,[...], incluso las tablillas de adopcin; todo esto s escribir. En un texto tpicamente egipcio, un escriba se mofa de otro en los siguientes trminos: vienes hacia m y me abrumas hablndome de tu cargo . Yo desenmascarar tu presuntuosa actitud cuando te encomienden un trabajo. Pondr al descubierto tu fatuidad cuando digas: soy el escriba, capataz de la cuadrilla de obreros... Hay que construir un terrapln de 730 codos de largo por 55 codo de ancho, con 120 compartimentos rellenados con
14
baquetas y vigas; con una altura de 60 codos en su parte ms alta, 30 codos en el medio; con una inclinacin de 15 codos; con una base de 5 codos. Se pregunta el jefe de la cuadrilla cul es la cantidad de ladrillo. Todos los escribas estn reunidos pero ninguno sabe como hacerlo. Depositan en ti su confianza y dicen: "Amigo tu eres un escriba inteligente!. Decide rpidamente por nosotros, ya que tu nombre es famoso."...Que no se diga:`Hay algo que ignora' "indcanos la cantidad de ladrillos. Mira, aqu, tienes las medidas; cada unos de los compartimentos tiene 30 codos [de largo] y 7 codos [de ancho]. Ahora bien, los textos citados son ms literarios que matemticos. Se conocen, de hecho, algunos textos matemticos escolares de cada una de esas civilizaciones, casi todos ellos de dos perodos diferentes: la primera mitad del segundo milenio y de la poca de la dominacin griega y romana, a finales del primer milenio. Son de dos tipos, textos de tablillas y de problemas. Un ejemplo tpico de los primeros es una tablilla babilnica de races cuadradas que data del segundo milenio. Para componer esas tablillas de clculo sistemticas y estructuradas se requiere haber alcanzado un alto grado de abstraccin. Qu haca un escriba cuando necesitaba hacer una raz cuadrada? Si no figuraba en la tablilla, poda calcularla, mediante una simple interpolacin, a partir de los valores prximos que s aparecan en ella. Este mtodo era el habitual, incluso en Occidente, hasta fechas bastante recientes, y as es como los egipcios y babilonios utilizaban sus tablillas de multiplicacin, races cuadradas y sumas de fracciones. Incluso los babilonios usaban la frmula ab=((a+b)2-a2-b2)/2 (mucho mejor es ab=(a+b)2/4 -(a-b)2/4), para hacer la multiplicacin ms fcil, lo que demuestra que una tabla de cuadrados era todo lo que necesitaba para multiplicar nmeros. Otra categora de textos matemticos propone problemas como, por ejemplo, este problema tipo hallado en un papiro egipcio de mediados del segundo milenio: Una pirmide. El lado tiene 140 [codos] y la inclinacin es de 5 palmos y un dedo [por codo]. Cul es su altura? Estos textos se inician con una exposicin del problema matemtico que se trata de resolver, y los datos se presentan como cifras concreta y no como variables abstractas. Sigue a la exposicin del problema la forma de irlo solucionando paso por paso, para llegar finalmente al resultado. Cada nuevo paso se basa en el resultado de un paso anterior o bien en unos de los datos facilitados al principio. No se recurre a ningn argumento para justificar el procedimiento ni se da la menor explicacin de la frmula, pero incluso con los valores numricos citados, lo esencial de ella resulta perfectamente comprensible. El alumno quedaba as capacitado para resolver cualquier otro problema del mismo tipo que pudiera presentrsele. Adems, estos problemas solan reagruprseles de modo que las tcnicas aprendidas pudieran aplicarse inmediatamente en otros casos. El problema mencionado ms arriba, por ejemplo, apareca despus de otro en el que se trataba de determinar la inclinacin de una pirmide en funcin de su longitud y su altura, y tras l vena uno nuevo relativo al clculo de la inclinacin de un cono. Ahora bien, no todos los problemas matemticos tenan una orientacin tan prctica como ste. La finalidad de los ejercicios matemticos escolares era familiarizar al
Conferencia 2
15
futuro escriba con las tcnicas matemticas empleadas para resolver problemas. El objetivo que se trataba de alcanzar era la instruccin tcnica y no la aplicacin directa, motivo por el que muchos de los problemas aparentemente prcticos que figuran en estos textos tenan muy poco que ver con la vida real. Como ejemplo de la prioridad que se daba a la preparacin tcnica sobre la aplicacin realista, cabe citar una tablilla babilnica que plantea un problema en el que se utiliza para medir un terreno una vara de medicin rota, o bien el problema egipcio de un escriba al que se pide que calcule las primitivas dimensiones de un rebao en funcin de un nmero de reses con la que el propietario ha pagado sus impuestos. La finalidad pedaggica de estos ejercicios salta a la vista. Adems, la estructura de los textos de los problemas y de las tablillas permite abordar de otro modo la cuestin de la abstraccin y la generalizacin en las matemticas. En vez de optar por elevar la simbolizacin, caracterizada por una jerarqua de grado de generalidad, el planteamiento de los egipcios y los babilonios consiste en crear una cadena de ejemplos tpicos gracias a la cual es posible, por interpolacin, establecer una relacin entre un problema nuevo y los ya conocidos. Exactamente este mismo planteamiento fue el que se adopt en otras ramas del saber antiguo como la medicina, la adivinacin y la astronoma, considerada en Egipto y en Mesopotamia, al igual que las matemticas, como una prctica conceptual particular. MATEMTICO, una palabra que no existe. Es posible seguir la trayectoria de un joven aspirante a escriba una vez concluida su formacin gracias a un nmero considerable de fuentes-textos contables, listas de profesiones y referencias en textos literarios o histricos. Sin embargo, es infructuosa la bsqueda de una sola mencin de un matemtico en el sentido moderno del trmino, esto es, un individuo que trabaja en una comunidad reconocida de investigadores con objeto de ampliar nuestros conocimientos de las propiedades de los nmeros y las cifras. En las antiguas lenguas de Egipto y Mesopotamia no exista una palabra para designar a un matemtico. As pues, el joven escriba poda seguir dos rumbos distintos. Unos cuantos se dedicaran a la enseanza de la matemtica y tal vez inventaran nuevos problemas para presentarlos a la prxima generacin de alumnos, lo que, con el paso del tiempo, ira ampliando y perfeccionando el acervo de tcnicas matemticas de su tiempo. Pero lo ms probable es que el joven graduado ejerciera como contable, calculando el trabajo, las raciones, los terrenos y los cereales. Estos escribas estaban omnipresentes, y su diligente actividad al servicio de su seor est minuciosamente representada en los frescos murales egipcios y en los relieves asirios. Su posicin aparece como subalterna pero privilegiada. Al igual que sus colegas que haban elegido la docencia, no eran ellos los depositarios del poder en aquellas antiguas sociedades, pero estaban al servicio de quienes regan sus destinos y gozaban de suficientes privilegios como para haber sido inmortalizados en los muros de sus amos como signo visible de su poder que tanto se esforzaban por contabilizar. LOS SUMERIOS Los sumerios, acadios, caldeos, babilonios y otras civilizaciones que sucedieron a estas conservaron el sistema cuneiforme de numeracin con su base 60. Esta base se adopt posiblemente por los intereses de ellos en la metrologa, ya que cualquier magnitud de 60 unidades es divisible exactamente por 2, 3, 4, 5, 6, 10, 12, 15, 20 y 30.
16
Es posible que las dificultades que representaba escribir en sus tablillas de barro, en las que despus no se poda borrar, o menos probablemente, alguna chispa de clarividencia hizo a los babilonios crear un sistema que slo requiriese dos smbolos, el de 1 y el de 10, para escribir un nmero cualquiera por grande que este fuese. De este modo crearon el Sistema de Numeracin Posicional 20 siglos a.C. Para escribir los nmeros hasta el 59 agrupaban sus smbolos como si fuese uno slo; los siguientes hasta 3599=59.60+59 lo escriban en dos grupos de izquierda a derecha y en cada grupo se poda escribir nmero hasta el 59. En forma anloga escriban el tercer grupo de smbolos lo que le permita escribir hasta 215 999=59(60)+59(60)+59. La esencia del sistema posicional hizo que luego se dieran cuenta que podan escribir nmeros fraccionarios con base sexagesimal. Lo que hicieron fue extender el principio a las fracciones de modo semejante a como nosotros lo hacemos con los decimales. As por ejemplo, el nmero poda al mismo tiempo significar: 192=3(60)+12 que 3,2 =3 1/5 =3+12(60-1). Para realizar las operaciones fueron tambin muy habilidosos pues crearon algunos algoritmos para efectuarlas. Se han hallado entre las tablillas algunas dedicadas a desarrollar tablillas de multiplicar, de efectuar potencias y races y calcular inversos. Para dividir multiplicaban por el inverso del divisor usando estas tablillas. Incluso, en ocasiones sus clculos demostraron una notable aproximacin, as en una antigua tablilla de la Coleccin de Yale (No.7289), se presenta la raz de dos como 1.414222, que difiere en 0.000008 del valor real. De estas tablillas-textos babilnicos se pueden inferir que posean conocimientos algebraicos rudimentarios. Expresando lo que hoy representamos con variable, ellos con su simbolismo y los smbolos de las palabras correspondientes al ente o magnitud con que trataban, tales como longitud, reas, granos de trigos, etc., planteaban y resolvan problemas mediante ecuaciones hasta de dos ecuaciones con dos incgnitas. Por ejemplo en una tablilla estaba el sistema que ilustramos utilizando nuestro simbolismo: (la. longitud)/7 + (2da.longitud)/11 = 1, 6(la. longitud)/7 = 10(2da. longitud /11), y de modo conciso daban as la respuesta:
1 11 1ra. longitud = 7 + , 7 + 11 72 1 7 . 2da. longitud = 11 7 + 11 72 Con cierta destreza trabajaron tambin las ecuaciones cuadrticas completas, como lo demostr Neugebauer en 1930, as como las cbicas sencillas tales como x 3=a, y x3 +x2 =b. En unas de las tablillas se encuentra propuesto y resuelto un problema cuya solucin es equivalente a la de la ecuacin x2-x-870=0. La solucin anotada por el escriba en la tablilla de arcilla expresa:
Conferencia 2
17
Toma la mitad de 1, (que es 0.30 en sistema sexagesimal) y multiplcala por s misma (es decir, (0.30)(0.30)=0.15 en el sexagesimal, 0.25 decimal). Se le adiciona 14.30 (que es 14.60+30=870 en el sistema decimal y la suma es 870.25) pero este es el cuadrado de 29,30 (870.25=29.5 en decimal). A 29.30 se le suma 0.30 y nos da la respuesta positiva para la ecuacin 29.30+0.30=30.
Trabajaron tambin en problemas geomtricos de las longitudes, reas y volmenes de figuras. Una de las colecciones de tablillas, de mayor significacin desde el punto de vista matemtico, se ha denominado Plimpton y se guarda en la Universidad de Columbia en Nueva York. Entre estas tablillas Plimpton, hay una que representa nmeros en la forma siguiente (la No.322):
y as sucesivamente, que traducidos a nuestro sistema son los siguientes nmeros: 119 3 367 169 1o, 4 825 2o,...
Contina la tablilla as hasta 15 pares de nmeros, que representan un cateto y la hipotenusa de tringulos pitagricos correspondientes, como se puede deducir, a las ternas: 119, 120 y 169; 3 367, 3 459 y 4 825, etctera. Este orden no es, aunque lo parece, al azar; si no que obedece a cierta norma que corresponde al decrecimiento del ngulo agudo del tringulo que disminuye desde casi 45 en el 1 hasta aproximadamente 30 en el 15to. Ms al sudoeste de Babilonia se halla la ciudad de Susa y as se encontraron otras tablillas que representan diversos problemas con longitudes y reas de los polgonos regulares desde el tringulo equiltero hasta el heptgono. Si bien tanto los egipcios como los sumerios, conocan frmulas correctas, ambos usaban la expresin (a+c)(b+d)/4 para
18
calcular el rea de un cuadriltero con pares de lados opuestos a, c, y b, d. Esta es correcta solo en el caso del rectngulo. Manejaban adems las expresiones para calcular el rea de los tringulos issceles rectngulos y de los cuadrilteros rectngulos. Consideraban, en general, que la longitud de la circunferencia era tres veces el dimetro pero recientemente se han descubierto tablillas que estiman a =31/8; calculaban el volumen de cilindro circular recto multiplicando el rea de la base por la altura; conocan las propiedades de la altura del tringulo issceles y del ngulo inscrito en el dimetro. Estaban informados de la propiedad de Pitgoras para los tringulos rectngulos y posean algunas nociones sobre la proporcionalidad entre los lados de los tringulos semejantes. Algunas veces calculaban el volumen del tronco de conos y pirmides empleando la errnea frmula v=h((a+b)/2) que como luego veremos, conocan tambin los egipcios. Las tradiciones matemticas de los babilonios se extendieron fuera de los lmites de los estados del Medio Oriente y pueden ser hallados incluso en la poca del helenismo (alrededor de los aos 330-30 a.C.).
LOS EGIPCIOS
El ro Nilo proviene de dos afluentes, el Nilo Blanco y el Nilo Azul, el primero nace en el Sudn y el segundo en Etiopa. As llega a Egipto, regin septentrional del valle en que desemboca. En las orillas del Nilo crecen lotos y papiros. Esta ltima es una planta que tiene forma de tubito o cnula y posee unas gruesas fibras con las que los egipcios fabricaban embarcaciones y as mismo otras fibras ms delgadas con las que trenzaban canastas, cuerdas y muy especialmente por su importancia elaboraban un material en el que escriban y a esta especie de papel, le llamaban tambin papiro. La escritura surge en Egipto unos 35 siglos a.n.e y merced a lo que en los papiros qued impreso han llegado hasta nuestros das muchos documentos de esa civilizacin que en realidad, pese a la opinin de algunos historiadores, nunca alcanz en Matemticas, el nivel de los Sumerios. Estos documentos pudieron ser rpidamente descifrados gracias al hallazgo de la famosa Piedra Rosetta que fue descubierta en 1799 por la expedicin de Napolen a Egipto. La piedra fue hallada en el Puerto de Rosetta, que est situado muy prximo a la actual ciudad de Alejandra. El egiptlogo francs Juan Francisco Champollion, valindose de la mencionada Piedra, que expresaba el mismo texto en tres escrituras diferentes jeroglfico, demtico y griego antiguo, logr en 1822, decodificar la escritura jeroglfica y as pudo leer las inscripciones de los documentos, tumbas, paredes de templos y ms tarde, cuando se descubrieron los 5 famosos papiros matemticos, a raz de las distintas expediciones realizadas para estudiar esta antiqusima civilizacin. Los cincos papiros son: El papiro de Kahun que corresponde al ao 1950 a.C. El papiro de Rhind (en honor del egiptlogo escocs Henry Rhind, quien lo encontr en Luxor en 1858) o Papiro de Ahmes (escriba que lo copia de otro 200 aos ms antiguo) y lo transfiere a la numeracin demtica, cerca del ao 1650 a.C. El papiro de Mosc o de Golenischev cerca del ao 1890 a.C. (es otro de suma importancia matemtica), fue encontrado en Egipto en 1893. El papiro de Rollm procedente del ao 1350 a.C.
Conferencia 2
19
El papiro de Harris cuya escritura fue ordenada por Ramses IV en el ao 1167 a.C. (expone las obras de su padre Ramses III). El papiro de Ahmes y el de Mosc, tienen entre ambos unos 110 problemas, 84 y 25 respectivamente; en su mayor parte, estos problemas son de ndole puramente numricos y por lo comn, son de soluciones muy simples. La aritmtica de los antiguos egipcios era muy rudimentaria, su sistema aditivo de numeracin facilitaba las operaciones de suma y resta. Por ejemplo para sumar 43 y 128 lo hacan aplicando el principio del baco: | | | que equivale a | | | | 171 |||| | Un detalle que debemos apuntar, es que los egipcios escriban los nmeros, usualmente, de derecha a izquierda as, para el nmero 121 escriban | . Esto ilustra que la posicin del smbolo, no tena particular importancia. Para multiplicar y dividir empleaban el proceso de duplicacin (con lo que en realidad aplicaban en cierto modo el sistema binario de numeracin). Para multiplicar 26 por 33 lo hacan como ilustramos con nuestra numeracin actual: 1 2 4 8 16 33 66 132 264 528 43 + 128
Buscaban los componentes de 26 en el sistema binario y sumaban los correspondientes mltiplos del 33 para obtener el producto. Lo hacan realmente: 33(24 +22 +21)=66+264+528=858. El mismo principio aplicaban para efectuar la divisin. Para dividir, digamos 753:26, lo indicaban as: 1 2 4 8 16 26 52 104 208 416 y sobran 25
Es decir 26(24 +23 +22)+25=753 y esto nos dice que 2 4+23 +22 =16+8+4=28 es el cociente y el residuo es 25.
20
Tienen una notacin caracterstica para las fracciones pues todas las representaban con fracciones de numerador unidad aunque exceptuaban a la fraccin 2/3 que tena su smbolo propio. En realidad lo que hacan era escribir las fracciones expresadas mediante los inversos de los nmeros naturales colocando el smbolo encima del nmero que representaba el denominador. Por ejemplo: 1 1 y 3= , 2= 2 3
y para el 2/3 empleaban el smbolo . Una fraccin cualquiera se expresaba entonces a partir de fracciones unitarias. Por ejemplo, la suma 4 + 28 equivala a 2/7 = 1/4 + 1/28, asimismo 2/97= 1/56 + 1/679 +1/776; 2/13 = 1/8+1/52 +1/104. Unos de los procesos que se 2 1 1 1 + ; si seguan para obtener las fracciones eran usando la frmula . = 3 p 2p 6p buscaban, digamos, las fracciones unitarias para 2/15, usando la expresin anterior obtenan:
2/15 =2/3 1/5 = 1/10 +1/30. La reduccin de una fraccin a suma de fracciones unitarias se efectuaba en general mediante tablillas que ofrecan la descomposicin de las fracciones con la forma 2/n, as para facilitar la reduccin de las fracciones a fracciones unitarias, el Papiro Rhind comienza con una tablilla expresando 2/n como suma de fracciones unitarias para los valores impares de n desde 5 hasta 101. En algunas ocasiones ha sido sugerido que algunas de estas expresiones fueron calculadas usando el equivalente de las frmulas:
2 1 1 2 1 1 = + . = + , o bien p+q p+q n + 1 n (n + 1) p.q p. n q. 2 2 2 2 En dicho papiro de Ahms, ste tambin utilizaba otra frmula pues escribe: 2/5 = 1/3 + 1/15. Ahmes tiene en su papiro una tablilla que ofrece la equivalencia de fracciones de denominador unidad, para todos los denominadores impares desde 5 hasta 331. No hay duda que este clculo de las fracciones es algo notable de la aritmtica egipcia. Incluso hay una pequea tablilla para n/10 para n desde 1 hasta 9. La operacin aritmtica fundamental en Egipto fue la adicin, y la multiplicacin y divisin la efectuaban mediante el mtodo de duplicacin, como ya dijimos antes, por ejemplo, el Problema 13 del Papiro de Ahmes, pide calcular el producto de 1/16 + 1/112 por 1+1/2 +1/4, el resultado es el correcto: 1/8. Muchos de los problemas del Papiro de Ahmes, muestran un conocimiento de manipulaciones equivalentes a la regla del tres. Los Problemas 72 y 63 son un claro ejemplo de esto. Si bien los egipcios desarrollaron la aritmtica comercial, no llegaron al nivel que alcanzaron los sumerios, en sus resultados matemticos.

Conferencia 2
21
Los problemas egipcios descritos hasta ahora son clasificados como aritmticos, sin embargo existen clases de otros problemas que pueden ser llamados algebraicos. Estos no concernan a objetos especficos, tales como trigo o cerveza. La mayora de los problemas propuestos (ver, por ejemplo, el Problema 24) pueden resolverse mediante la regla de falsa posicin (regula falsi), problemas que hoy resolvemos mediante sencillas ecuaciones lineales o cuadrticas, Puede ilustrarse esto con el siguiente problema:
Tena cierto nmero de ovejas y compr un sptimo ms de las que tena, si ahora poseo 24 ovejas, cuntas ovejas tena?
Hay en el papiro de Ahmes un problema muy curioso que revela que conocan las progresiones, pues este presenta una progresin geomtrica. El enunciado expresa:
En cada una de 7 casas vivan 7 gatos cada gato caz 7 ratones cada ratn tena 7 espigas de trigo. De cada espiga sembrada se obtuvieron siete medidas (hekat) de cereal cuntas medidas se cosecharon en total?
La respuesta de 19607 hekat de trigo que tiene el problema, coincide con el clculo que hacemos nosotros. Otra clase de problemas abordados por los egipcios son los problemas geomtricos. El Papiro de Mosc, recoge problemas muy semejantes a los del Papiro de Ahmes; entre los 26 problemas de geometra que presentan estos dos papiros, el de Mosc ilustra una figura (Problema 14) que por los clculos que se realizan, hace inferir que corresponde a un tronco de pirmide truncada y en las instrucciones que trasmite el escriba, se deduce empleando la misma frmula actual: V= h(a + ab + b)/3. A pesar que se afirma que los antiguos egipcios conocan el Teorema de Pitgoras, no existen elementos que confirmen esto. El estudio de los papiros revela, asimismo, que conocan el rea de un tringulo issceles como la mitad de la base por la altura (Problema 51 del Papiro de Ahmes). El trapezoide issceles es tratado similarmente en el Problema 52, en el cual la base mayor es 6, la menor 4 y la distancia entre ellos 20. Tomando la mitad de la suma de las bases como en el rectngulo, Ahmes multiplica esta por 20 para encontrar el rea. En estas transformaciones, vemos el comienzo de la idea de congruencia y la idea de demostracin. Una seria deficiencia de la geometra egipcia, fue la ausencia de una clara distincin entre relaciones exactas y aproximadas. El uso de como 19/6 (en el Problema 50 del Papiro de Ahmes, donde se asume que el rea de un sector circular con un dimetro de 9 unidades es la misma que el rea de un cuadrado con 8 unidades de lado) revela una aceptable aproximacin, sin embargo no se dispone de ninguna indicacin en la que se plantee que el rea de un crculo y la de un cuadrado, no son exactamente iguales. Es posible que el Problema 48 nos brinde alguna informacin sobre cmo los egipcios calculaban el rea de un crculo. En dicho problema, el escriba forma un octgono de un cuadrado de lado 9, trisectando los lados y cortando los tringulos issceles que se forman. El rea de octgono, que no difiere mucho de la del crculo inscrito en el cuadrado, es 63 unidades, lo cual no es mayor que el rea de un cuadrado de 8 unidades de lado. Que el nmero 4(8/9)2 juega un papel
22
comparable al de nuestro , parece ser confirmado por la regla egipcia para la circunferencia de un crculo, acorde a la cual el radio del rea de un crculo es a la circunferencia, como el radio del rea del cuadrado circunscrito, es a su permetro. Esto representa una observacin de mayor precisin y significado matemtico, que la relativamente buena aproximacin de . El Problema 56 del Papiro de Mosc es de especial inters, pues contiene rudimentos de trigonometra y de una teora de tringulos similares. Por otra parte, el estudio de los papiros, permite afirmar que 20 siglos a.C. en Egipto, comenzaron a formarse elementos de la matemtica como ciencia. Estos elementos apenas comenzaban a separarse de los problemas prcticos y estaban enteramente subordinados a su contenido. La tcnica de clculo era an primitiva, los mtodos de solucin de problemas no eran uniformes. En general, las deficiencias de la matemtica pre-griega son obvias. Sin embargo, como detalle general, quisiramos resumir algunos de ellos. En primer lugar, los papiros y tablillas contienen solo casos y problemas especficos, no formulaciones generales. Ms serio, quizs, es la ausencia de una distincin clara entre resultados exactos y aproximados, as, ni los egipcios ni los babilonios, parece que se detuvieron en la cuestin de cuando el rea de un cuadriltero o de un crculo, es encontrada exactamente y cuando es aproximada. Cuestiones sobre la solubilidad o no de un problema, tampoco parece haber sido considerado y la nocin de demostracin, debido a sus mltiples acepciones actuales, hace difcil la afirmacin que los matemticos pregriegos, no tenan el concepto de demostracin y que no sentan la necesidad de una demostracin. Esto ltimo, est muy relacionado con la crtica dirigida a la ausencia de abstraccin en esta matemtica. Sin embargo, los materiales que permitiran determinar exactamente sobre el desarrollo de la matemtica pre-griega, an son insuficientes y cualquier afirmacin categrica en este campo, es controversial.
CHINA Y LA INDIA
El desarrollo de la Matemtica en China se considera que se inicia en un perodo un poco posterior a la de sumerios y egipcios, aunque antes de los primeros logros de la antigua Grecia. Tradicionalmente se estima que esta civilizacin surge con el primer imperio chino aproximadamente hace unos 32 siglos. Entonces se piensa que fue escrita la ms antigua de las obras de matemtica chinas, el libro conocido por Chon Pei Suang Ching. Bsicamente este libro est dedicado a presentar ejercicios numricos de Aritmtica y Algebra aplicados a la solucin de problemas de agrimensura. En algunos casos aplican la expresin analtica del teorema de Pitgoras. A pesar de lo anterior, segn el historiador chino Ling Wang, los conocimientos matemticos de los chinos se remontan al S. XIV a.C. En la historia de las matemticas en la antigua china se tienen noticias sobre el sistema decimal de clculo, una simblica especial de nmeros en jeroglficos, sobre operaciones con nmeros grandes, etc. Bastante despus del Chon Pei se escribe el tratado ms importante de la antigua China, la famosa obra en nueve libros Ching-Chang Suang-Shu conocida como La Matemtica de los Nueve Captulos (se le llama tambin Los Nueve Captulos sobre el Arte Matemtico) que se asigna al matemtico Chuan Tsanon y se le supone escrito en el ao 152 a.C. Esta obra sufri posteriormente numerosas modificaciones. Los captulos contienen los aspectos matemticos siguientes:
Conferencia 2
23
Primero: Trata de las mediciones en general y emplea fracciones operaciones bsicas con estas. Calcula las reas usando =3.
simples y las
Segundo: Dedicado a la relacin entre las distintas clases de cereales. Plantea clculo de volumen empleando en su solucin la regla de tres y la proporcionalidad. Tercero: Estudia problemas de Reparto Proporcional directo e inverso, la Regla de tres simple y compuesta. Cuarto: Presenta problemas respecto a lados y reas de figuras planas. Expone las reglas para extraer races cuadradas y cbicas. Usa generalmente =3, excepto en un problema en el que se quiere encontrar el dimetro de una esfera y en este caso hace 1/3 d= (16V/9) para lo cual toma =27/8. Quinto: Este captulo presenta problemas que contiene cmputos para la construccin de murallas, pozos, paredes de presa, etc. Sexto: Contiene tambin problemas anlogos a los del Tercer Captulo relativos a la distribucin proporcional de impuestos e ingresos. Ofrece algunos problemas respecto a las sucesiones aritmtica y su suma. Sptimo: Dedicado a la solucin de problemas de ecuaciones lineales y de sistemas usando al igual que los egipcios el mtodo de "Falsa Posicin". El captulo, seguramente resultado de modificaciones posteriores al original, presenta un algoritmo para la solucin del sistema basado en el trabajo con matrices. Para todos los sistemas tratados en este libro, se establece un algoritmo nico de clculo de las races. Por ejemplo resuelve el sistema: 3x+2y+z = 39, 2x+3y+z = 34, x+2y+3z = 26. Trabaja la matriz inicial y la transforma en: 0 0 24 66 matriz que conduce a las ecuaciones: 24z = 66, 5y+z = 24, 3x+2y+z = 39, cuyo conjunto solucin es: 9 1/4; 4 1/4; 2 3/4 Octavo: En el captulo se resuelven problemas que conducen a sistemas de ecuaciones solubles por el mtodo del Sptimo (mejorado) que es denominado fan-chen. Adems, en la transformacin de la matriz del sistema, los chinos introdujeron los nmeros negativos, para su adicin y sustraccin fue introducida una regla especial cheng-fu, cual puede traducirse como regla ms-menos. 0 3 5 2 1 1 24 39
24
Aqu debemos sealar, que la prioridad de los matemticos chinos, con respecto a la regla fan-chen es indiscutible. Es suficiente sealar, que en Europa, la idea de un determinante semejante, fue emitida slo por Leibniz en el S.XVII. Los nmeros negativos aparecieron, en forma explcita, algo antes, a finales del S. XV en las obras de N. Chuquet. Noveno: Propone y resuelve problemas cuya solucin conduce a la determinacin de distancias y alturas inaccesibles. En la solucin usa la semejanza de tringulos y el Teorema de Pitgoras. La obra consta en total de 246 problemas que son en su gran mayora de orden prctico, agrimensura, comercio, agricultura, construcciones, etc. Estudia tambin las propiedades de los tringulos rectngulos. Adems de la numeracin multiplicativa, los chinos usaron una escritura para las cifras a base de varillas que se ha dado en llamar nmeros o cifras de bamb. Esta representaba los dgitos del 1 al 9 por los smbolos:
y los nueves primeros mltiplos del 10 por:
Con estos 18 smbolos, alternndoles en los lugares se escriban los nmeros tales como 47 619 de la forma siguiente:
Son tambin muy notables en la matemtica china los Cuadrados Mgicos que se atribuyen al Emperador Yu que gobern en el ao 2200 a.C.
Un cuadrado mgico normal de orden n, es un arreglo en forma de cuadrado de los primeros enteros dispuestos de modo que la suma de los nmeros que lo integran, a lo largo de una fila, columna o diagonal es la misma y a esta suma se le denomina constante mgica del cuadrado.
Ms de 3 milenios despus se destaca el matemtico Chu Shi-Chieh, quien en 1299 d.n.e. escribe su obra Introduccin a los estudios matemticos, en el que adelanta, casi 5 siglos, al mtodo de solucin que hoy conocemos como el Mtodo de Horner. Todo lo anterior muestra que en el transcurso de muchos siglos, la matemtica en china se desarroll preferentemente con una orientacin de clculo-algortmica y cre los elementos esenciales del camino algebraico para la resolucin de los problemas.
Conferencia 2
25
La historia de la civilizacin que se origina entre los ros Ganges e Indo se estima que proviene de unos 3 mil aos a.C. Lo que antecede se deduce de las ruinas encontradas en una ciudad que se halla en Mohenho Daro. Estos primitivos pobladores de la India posean su sistema propio de escritura, saban contar, pesar, medir y construan canales de riego. Se concluye que esta primera civilizacin tena rudimentarios conocimientos matemticos. No obstante, todo rastro matemtico se ha perdido totalmente. Un milenio ms tarde, las tribus de un pueblo que proceda del Asia Central, atravesaron la cordillera del Himalaya y penetraron en la pennsula indostnica. Tales tribus eran los arios, palabra que en Snscrito significa nobles o poseedores de la tierra. Esta es precisamente la tribu que pobl Europa. El snscrito era el lenguaje y la escritura de los arios y con ellos lleg a la India el sistema de castas y ms tarde la religin de Buda. Adviene entonces la dinasta Maurya y con ella el ms famoso de sus reyes Asoka (272-232 a.C.). Este gobern despus de la retirada de las tropas de Alejandro Magno en el ao 326 a.C. En la poca de este rey, ya se conocan los famosos libros matemticos, escritos en verso, Sulvasutras que se supone datan de los siglos VIII y VII a.C., estos contenan algunos elementos de Geometra, mtodos de cuadratura del crculo, aplicaciones del Teorema de Pitgoras y construcciones geomtricas bsicamente para aplicarlas en la construccin de obras religiosas, altares, templos, etc. En los Vedas, libros sagrados, se establecen asimismo, referencias a progresiones aritmticas y geomtricas que se pretende fueron escritas en el siglo XX a.C. Desde antes del perodo de los Sulvasutras, se utilizaba en la India, el sistema numrico de base 10 y los hindes siempre tuvieron una marcada inclinacin a realizar operaciones con nmeros muy grandes. La dinasta Maurya fue despus asolada por diferentes invasiones y en este perodo no existi prcticamente, progreso matemtico alguno. Siglos ms tarde, la India vuelve a ser gobernada por reyes nativos con la dinasta Gupta. Este es el perodo que se denomina Edad de Oro del Snscrito. En esta poca las ciudades se convierten en destacados centros de arte, medicina y enseanza. Se fundan Universidades y se inician los primeros trabajos astronmicos importantes. En realidad el desarrollo de la matemtica hind, es a partir del siglo IV hasta el siglo XII, por lo que lo abordaremos ms adelante. Adems de los smbolos numricos para los dgitos, el sistema de numeracin posicional y el cero, constituyen el legado ms importante de la civilizacin hind a nuestro presente sistema de numeracin. Merece mencionarse, finalmente, la trigonometra hind. Esta bsicamente consisti en la introduccin de las funciones seno y seno verso. En los Siddauta y el Arijabhatrya se presenta el seno de ngulos menores o iguales que 90 y lo hace para intervalos de amplitudes angulares de 3 3/4. Considera el seno de 3 3/4 igual a la magnitud del arco correspondiente. En nuestra actual trigonometra equivale a decir que el seno de un ngulo menor de 3 3/4 es casi igual a la medida del arco en radianes. Las tablillas dan tambin los valores del seno-verso, es decir, los valores de uno menos el coseno del ngulo. Es posible que el sistema de numeracin de los hindes, tuviese origen en los contactos con China y su sistema pseudo-posicional de varillas o de bamb, o bien que fuese una modificacin del sistema alfabtico griego, propagado desde Alejandra hasta la India. Adems, en la historia de la India se encuentran suficientes hechos que ponen de manifiesto la existencia de relaciones polticas y econmicas con los estados griegos, egipcios, rabes y con China. Pero esto an no est suficientemente claro.
26
LOS MAYAS
Desde el comienzo de la civilizacin Maya, pudo apreciarse la separacin de un grupo de sacerdotes y astrnomos, cuya funcin inicial era la de estudiar y custodiar el calendario. Particular importancia pareca tener la prediccin de eclipses solares y la determinacin con una precisin increble de las fases de la luna y la duracin del ao. Especial inters despert en los Mayas el estudio de las apariciones del lucero del alba (Venus), como testimonio de esto ha llegado hasta nuestros das la Tablilla de Dressden, uno de los pocos manuscritos mayas que logr sobrevivir a la barbarie de los conquistadores, en l se plasman efemrides del planeta Venus calculadas con una precisin de hasta una hora de error para 500 aos, adems en l se especifican las fechas de aparicin y desaparicin del planeta en los distintos calendarios usados por los Mayas: El Calendario Solar, constituido por un ao de 365 das de duracin, compartidos en 18 meses de 20 das a los que se agregan 5 das funestos; El calendario sagrado, con un ao de 260 das y el calendario largo, el cual cuenta los das desde la creacin del mundo, segn los Mayas fijada alrededor del 13 de Agosto del ao 3113 a.C. Los Mayas desarrollaron su escritura numrica jeroglfica hace ms de 2000 aos. Primeramente utilizaron un sistema numrico no decimal, no posicional que tuvo poca trascendencia. En l emplearon "un cero", pero no el principio del valor de los nmeros por su posicin usando smbolos especiales para denotar las diferentes unidades. Era como si nosotros furamos a escribir en nuestro sistema el nmero 460 como 4 centenas, 6 decenas y 0 unidades; que por supuesto es equivalente a decir 6 decenas, 0 unidades y 4 centenas; sin que el cambio de posicin influya en el resultado final. El segundo sistema numrico, desarrollado por los calculadores del Calendario de la antigua civilizacin Maya de Amrica Central posea base 20 por lo que tampoco fue un sistema decimal; pero si emplearon el principio de la posicin y el cero, para el cual utilizaron un smbolo parecido a una concha de mar. Adems tenan 6 rdenes de unidades. Los Mayas no fueron a veces consecuentes con la base 20, pues en tal caso los rdenes sucesivos seran 1, 20, 400 (20 a la 2), 8 000 (20 a la 3), etc. y no 1, 20, 360 (20.18), 7 200 (20.360), etc., como ocurri en realidad. La inconsistencia del tercer orden de unidades revela el origen social de esta escritura numrica, estrechamente vinculada al calendario, ya que el nmero de meses (18) por el nmero de das de cada mes (20) es igual al nmero de das de cada ao solar (360) sin incluir los das funestos. En el cdigo Maya existan smbolos para los nmeros del 1 al 19 con puntos y segmentos, cada punto vala una unidad del primer orden o kins y cada segmento vala 5 kins, de modo que:
. 1 . 6
.. 2 .. 7
... 3
.... 4 .
5 ....
10
16
19
Los restantes nmeros se escriban en alineacin vertical por bloques de acuerdo a los rdenes de unidades, en la parte inferior de la columna se situaban los kins, encima las uinals, despus los tun, etc.
Conferencia 2
27
La necesidad de utilizar un smbolo que denotara la nada, o sea, un smbolo para el cero, surge de la propia representacin numrica, pues por ejemplo ni los Mayas para escribir 366 hubiesen puesto : no lo habran podido diferenciar de 26, 420, 7260, 9360, etc. De qu manera podemos entonces distinguir este nmero de los restantes?. Existe una forma muy sencilla de resolver el problema, que consiste en utilizar algn smbolo para denotar el lugar que queda vaco en la columna, y para ello los Mayas usaron la notacin , entonces quedaran:
. . .
26
. .
.
366 420
. .
. .
.
7 206 7 260 9 360
Los cuales son perfectamente diferenciables unos de otros. Existen evidencias de que los Mayas dominaron otras esferas del conocimiento matemtico, baste mencionar la perfecta geometra de sus construcciones o la asombrosa precisin de sus clculos astronmicos. Pero sobre qu problemas de geometra se plantearon, cmo los resolvieron y de qu forma realizaron sus clculos, podemos afirmar muy poco. Desdichadamente, en el siglo XV los colonizadores, en nombre de la civilizacin y el progreso, llevaron a cabo una quema masiva de los testimonios de las culturas precolombinas; de la que slo pudieron sobrevivir unos cuatro o cinco manuscritos, hoy dispersos por el mundo. Como es obvio, esto impidi que llegara plenamente hasta nuestros das la riqueza cultural de nuestros antepasados. Actualmente se realiza una intensa labor en pos del rescate de estos valores del patrimonio universal y esperamos que las investigaciones que con este fin se llevan a cabo, arrojen a la luz nuevos datos. A partir de todo lo anterior, quisiramos apuntar por ltimo que cada cultura trae consigo su propia `cultura a priori': de ndole peculiar a s mismo y, por tanto, caracterstica y exclusiva de ella (W.G. Engel-Esbozo de una sociologa cultural del conocimiento, S.P. Matese, 1966).
28
Hemos visto como con el largo desarrollo histrico de la actividad diaria prctica de los hombres se formaron otros conceptos matemticos: rea, volumen, y otras propiedades espaciales de los objetos. La acumulacin de conocimientos, tanto de carcter numrico-alfabtico, como geomtrico cre las siguientes premisas para la formacin de teora matemticas: a) la posibilidad de sustituir las operaciones directas con los objetos por su representacin y denominacin esquemtica simplificada (smbolos). En etapas posteriores, esto llev al desarrollo de los sistemas numricos y de las construcciones geomtricas; b) la posibilidad de sustituir un problema concreto por un problema cannico de tipo ms general, que se resuelve por leyes determinadas y que abarca un conjunto entero de casos particulares. Se trata de las formas primarias de creacin de algoritmos generales y de clculos matemticos relacionados con ellas. Cuando estas premisas actan en gran escala y en la sociedad se forma una capa de individuos, que pueden utilizar una determinada coleccin de mtodos matemticos, entonces surgen las bases para hablar del inicio de la existencia de la matemtica como ciencia, de la presencia de sus elementos.
SISTEMAS DE NUMERACIN
Cundo y cmo aparecen los sistemas de numeracin? El transcurrir de los siglos y el progreso de las comunidades primitivas (que ya hemos hablado), requiere que haya que contar cantidades cada vez mayores y el intercambio entre las tribus prximas entre s, crea la necesidad de que se adopten, desarrollen y sistematicen procesos de conteo comunes. Tales procesos se logran mediante la disposicin de los nmeros en grupos bsicos, la cantidad de nmeros de estos grupos es lo que conocemos como base del sistema de numeracin. La forma en que se disponan defini despus, cmo usarlos y cmo operar con estos nmeros. As estos sistemas numricos, se clasifican del modo siguiente: Aditivos (Jeroglfico egipcio con base 10 y 8 smbolos, cuneiforme primitivo, Herodiano o tico y el Romano). Multiplicativos (Sistema Chino-Japons). Codificados o cifrados (Sistema Jnico o alfabtico griego y el Hiertico egipcio). Posicionales (Cuneiforme babilnico, hind, el binario actual y el sistema maya). Nuestro sistema de numeracin actual parece que sigui el siguiente camino: el rabe Al-koritmi aprendi de los indios las cifras y las dio a conocer en su patria en el libro Algoritmi de numero indorum, en el siglo IX. Los rabes las introdujeron en Espaa en el siglo X y de aqu, pasaron al resto de Europa.
CUESTIONARIO
1. Mencione, segn su criterio, los aportes ms importantes de la civilizacin sumeria a la matemtica. 2. Cules, cree Ud., son los defectos ms notables de la matemtica babilnica? 3. Compare ventajas y desventajas entre los sistemas de numeracin babilnico y egipcio. 4. Escriba 20 000 y 0,023 en notacin cuneiforme babilnica.
Conferencia 2
29
5. Qu factor influy ms, en el desarrollo de la matemtica del Antiguo Egipto, la astronoma o la agricultura? 6. Mencione algunas de las limitaciones de la matemtica de los antiguos egipcios. 7. Escriba el nmero 12,833 en escritura jeroglfica egipcia. 8. Exprese 2/99 como suma de dos fracciones con denominador unidad, en notacin jeroglfica egipcia. 9. Ahmes propone en su problema 25, resolver la ecuacin x + x/2 =16. Resulvala por el mtodo de falsa posicin. 10. Emplee el procedimiento egipcio de divisin para hallar el cociente de 101/16 y exprese el resultado mediante notacin jeroglfica. 11. El problema 56 de Ahmes pide calcular el seqt de una pirmide de 250 codos de altura y 360 codos de lado de la base. Es la respuesta 5 1/25, que da Ahmes, correcta? 12. En el Papiro de Rhind se utiliza, reiteradamente, el rea del crculo como igual al cuadrado de 8/9 de su dimetro. Qu valor de es el que usaban para este clculo? 13. Establezca analogas y diferencias entre las matemticas china e hind. 14. Cul de las matemticas, la China o la Hind, influy ms en el pensamiento matemtico presente y por qu? 15. Empleando el mtodo matricial de la Antigua China, resuelva el sistema: 2x- y- z=12, x+2y+3z=-3, 4x-3y+2z=6. 16. Escriba con nmeros de bamb 13723769. 17. Usando la notacin del Tringulo de Chu Sheh-Ghieh represente los coeficientes del desarrollo de la potencia del binomio. 18. Menciones los beneficios y dificultades que motivaron al hombre, para que eligiese como base de sistemas de numeracin a los nmeros 2, 5, 10, 20 y 60. 19. Si tuviera que escoger una base de numeracin, cul escogera Ud.?, Por qu? 20. Qu se ide primero, el nombre de los nmeros o los smbolos para representarlos?, Por qu motivo? 21. Escriba los nmeros 378 y 563, usando los smbolos de los sistemas de numeracin siguientes: a) Herodiano o griego tico. b) Romano. c) Maya.
30
22. Cuntos smbolos diferentes son necesarios memorizar, para escribir cualquier nmero menor de 1000 en los sistemas de numeracin siguientes: a) Jeroglfico egipcio. b) Cuneiforme babilnico. c) Maya. d) Romano. 23. Puede Ud. definir un sistema numrico posicional literal?
Conferencia 3
31
Conferencia 3. La matemtica griega. El surgimiento de la matemtica griega. Pitgoras. Desarrollo de la Geometra desde Thales de Mileto hasta Hipcrates de Chios. Los tres problemas clsicos. Ptolomeo y la consolidacin de la trigonometra. El ejemplo no es el elemento primordial para influir a los dems; es el nico elemento Albert Schweitzer
os griegos consideraron siempre a los egipcios como sus maestros, atribuyendo la invencin de la geometra egipcia, a la solucin del problema de medir los campos despus de las famosas inundaciones del Nilo. Actualmente, se reconoce a los escribas como los conocedores egipcios de la geometra y de la restante matemtica prctica egipcia. Hemos visto, como la matemtica babilnica y la egipcia fueron elaboradas, aproximadamente, en la misma fecha (Medio Imperio Egipcio), pero adems podemos concluir, que tanto la matemtica egipcia como la babilnica, tuvieron su crecimiento, florecimiento y decadencia, por lo menos 1000 aos antes que Pitgoras. La sola mencin de Pitgoras nos lleva a la matemtica griega, cuyo surgimiento no puede vincularse con el propio Pitgoras, sino mucho antes y cuando las matemticas egipcias y babilnicas ya estaban extintas haca mucho tiempo (O. Spengler-Der Untergang des Abendlandes, Munchen, 1918-1922). Usualmente, el comienzo de la matemtica griega es asociado con el nombre de Thales de Mileto (624-546 a.C.), pues los conocimientos matemticos elementales eran necesarios para todas las empresas comerciales o expediciones militares (entre ellas la Guerra de Troya) y eran conocidos en pocas anteriores a la de Thales. Con este se inicia lo que pudiramos llamar la matemtica superior griega, con una evolucin de apenas 4 siglos (600-200 a.C.). En el perodo que estamos analizando, Grecia estaba constituida por un conjunto de ciudades-estados que llevaban a cabo un intenso comercio, entre s y con otros estados de la cuenca del Mediterrneo. Existen innumerables ejemplos que permiten ilustrar el desarrollo alcanzado en esta poca, baste citar los magnficos monumentos y sus legados filosficos. El lugar principal entre las escuelas griegas de filosofa natural lo ocupan sucesivamente: la jnica (siglos VII-VI a.C.), la pitagrica (siglos VI- V a.C.) y la ateniense (desde la segunda mitad del siglo V hasta nuestra era). Un hecho fundamental es que parece que el concepto de ngulo ya era conocido por Thales, ms an la elaboracin de este concepto parece haber sido una nueva conquista de los griegos (A. Szabo-Anfange der Griechischen Mathematik, Munchen y Viena. Oldenbourg, 1969). As, en la poca de Thales con este y otros detalles, podemos decir que es el perodo de florecimiento de lo que vendra a ser despus la matemtica superior griega. Ellos no podan prescindir de tan importante nocin, uno de sus dos presupuestos fundamentales. Lo que es conocido de la vida y obra de Thales, el primero entre los Siete Sabios, es muy poco, Proclo, el ltimo gran filsofo griego que vivi alrededor del 485 a.C., escribi de ste en su Comentarios sobre el Primer Libro de los Elementos de Euclides que estuvo primero en Egipto y entonces introdujo este estudio [de la Geometra] en Grecia. Incluso su origen es incierto, a pesar que la mayora de los historiadores se inclina por situar su lugar de nacimiento en Mileto, otros dicen que sus padres fueron fenicios. Ciertamente Thales fue una figura de enorme prestigio (ver T.L. Heath-A history of
32
greek mathematics, I, Oxford, 1921), se le adjudica incluso, aunque no est debidamente confirmado, la prediccin del eclipse solar del 28 de mayo del 585 a.C. Comnmente, se le asocian las siguientes demostraciones: Un crculo es bisectado por un dimetro. Los ngulos bases de un tringulo issceles son iguales. Los ngulos opuestos entre dos rectas intersectadas son iguales. Dos tringulos son congruentes, si ellos tienen dos ngulos y un lado iguales. Un ngulo inscrito en un semicrculo es recto. Esto est basado en la afirmacin de Proclo sobre los cuatro primeros, el tercero y cuarto se mencionan en La historia de la geometra de Eudemo de Rodas. El quinto se apoya en una afirmacin de Digenes Laercio en su libro Vidas de eminentes filsofos, escrito en la segunda centuria de nuestra era. De ser cierto o no las anteriores afirmaciones, lo que s es indudable es que Thales es el primer hombre en la Historia de la Matemtica, a quien se le adjudican descubrimientos especficos. Despus de Thales aparece Anaximandro de Mileto (610-545 a.C.), cuya importancia Burke resalta ms que otros autores anteriores. Ocurre que tradicionalmente se consideraba que toda la matemtica griega se haba iniciado con los pitagricos, ms que con el propio Pitgoras, ahora se sabe que este no fue nunca un matemtico o fsico en el siglo IV cuando las demostraciones ya existan en la matemtica griega. En verdad, mucha matemtica fue elaborada por los no-pitagricos contemporneos de los primeros pitagricos. Entre estos, Hipaso de Metaponte (?-480? a.C.), el primer pitagrico verdaderamente matemtico, discpulo directo de Pitgoras. El hecho es que la demostracin, en ropaje geomtrico, aparece en los Elementos de Euclides, sin referencia a Pitgoras. Los griegos evidentemente no usaron el trmino de origen rabe lgebra. Ms, conforme a la opinin del historiador dinamarqus H. G. Zeuthen (1839-1920), mucha matemtica griega se constitua de una especie de lgebra-geomtrica, tomemos como ejemplo la demostracin de la frmula (a+b) =a+2ab+b. Una cuestin fundamental en la matemtica griega es con respecto a la demostracin, pues en las grandes culturas pregriegas estudiadas, sta estaba ausente. Consta que el primero en intentar la cuadratura del crculo fue Anaxgoras de Clazomenae (499-428 a.C.). Sin embargo, donde se constata por primera vez de manera documentada el uso de la demostracin en la matemtica griega, y por tanto, en toda la matemtica, es en el neopitagrico Hipcrates de Chios (470-410 a.C.), que trabajaba en Atenas, de l proviene el ms antiguo libro de Elementos de geometra, desgraciadamente fragmentado; se trataba en esencia de una tentativa de resolucin de la cuadratura del crculo a travs de sus lnulas (meniskoi), donde est presente el mtodo deductivo ampliamente sistematizado. Proclo escribi de Hipcrates de Chios: el descubridor de la cuadratura de la lnula, ... fue el primero de quien se recuerda que compil unos Elementos. El libro de Hipcrates tambin inclua soluciones geomtricas a ecuaciones cuadrticas e inclua antiguos mtodos de integracin. Heath, en la obra antes citada, escribi que: l dese mostrar que, si el crculo no puede ser cuadrado por estos mtodos, ellos pueden ser empleados para encontrar el rea de algunas figuras acotadas por arcos de crculos, ciertas lnulas, y la suma de un cierto crculo y cierta lnula. La invencin griega de la idea de la demostracin no consiste en el uso ocasional de pruebas efectivamente convincentes. En este sentido, la matemtica griega no habra sido
Conferencia 3
33
muy singular: otras matemticas anteriores o coetneas -como la de los escribas egipcios, los sacerdotes babilonios o los ritualistas hindes- tambin disponan de procedimientos de clculo y de reglas para la comprobacin de resultados. La invencin griega tiene tres desarrollos caractersticos (L. Vega-Los elementos de geometra y el desarrollo de la idea de la demostracin, Mathesis 8(1992) 403-423): 1. La distincin expresa entre una demostracin estrictamente concluyente y cualquier otro tipo de argumentacin o de prueba ms o menos eficaz y convincente. 2. La reflexin metadiscursiva sobre los supuestos y las condiciones que distinguen tal demostracin, as como el anlisis de sus aspectos lgicos, epistemolgicos y metodolgicos. 3. La proyeccin de sus virtudes sistemticas con miras a la organizacin de un conjunto de resultados demostrados, bien al calor de una filosofa de la ciencia demostrativa o bien en el curso efectivo de construccin de ciertos cuerpos deductivos, axiomatiformes, de conocimientos matemticos. Todo esto contribuy, a la creacin de un cuerpo matemtico con vida propia, en el cual se sustentaba su desarrollo independiente, prueba de esa independencia son los conocidos problemas clsicos de esta matemtica. Los problemas clsicos de la matemtica griega son: el ya mencionado de la cuadratura del crculo, la duplicacin del cubo y la triseccin del ngulo. El problema de la duplicacin del cubo, tambin llamado dlico, fue atacado tambin por Hipcrates a travs de dos medias proporcionales, que ahora representamos en la forma a:x = x:y =y:b, donde obtenemos (si ponemos b=2a) que x3 = 2a3 , o sea, aparece el nmero irracional 3 2 , no reconocido como nmero en aquella poca. As el problema permanece sin solucin satisfactoria. Con respecto al tercer problema, debemos mencionar al sofista Hpias de Elis (460-400 a.C.) que concibi lo que Dinostrato (390-320 a.C.) llam quadratriz, es decir, la curva y = . Pappus (290-350), escribi su principal trabajo de geometra, Sinagoga, en el a 2 340, ste es una coleccin de escritos matemticos en ocho libros. El Libro IV contiene una amplia descripcin de la cuadratriz de Hippias. La resolucin de los 3 problemas clsicos con regla y comps se mostr, en definitiva, como aportica, ms esto fue constatado solamente mucho despus por la matemtica occidental. Debemos decir adems, que en las construcciones geomtricas desempean gran papel, adems de la regla y el comps, la introduccin de los movimientos que, seguramente, desempe un rol importante en la construccin primitiva del pentgono estrellado regular, smbolo de los pitagricos. Es un lugar comn poner de relieve la contribucin fundamental de las matemticas griegas al desarrollo de esta ciencia en Occidente. La designacin misma de matemticas y matemticos o sus equivalentes en la mayora de las lenguas europeas modernas son de origen griego, derivados del verbo conocer, aprender; mathema
34
significa en griego lo que se ensea, esto es, toda las formas de conocimiento, antes de que esta palabra, en plural, adquiera en la poca clsica el sentido mas especializado que nosotros le damos: ciencias matemticas. Se sabe poco sobre la enseanza de la matemtica en la Antigua Grecia. Al parecer, algunas escuelas filosficas, en una poca en la que la especializacin intelectual no era todava habitual, tuvieron un importante cometido en la formacin de los matemticos. En la poca clsica se habla incluso de escuelas llamadas cientficas como la de Chios o la de Czico, pero ignoramos si impartan una formacin general o especializada y si eran algo ms que un grupo de discpulos en torno a un maestro prestigioso. Al igual que con la medicina, de la que se tienen pruebas ms slidas y antiguas de la existencia de escuelas, hay indicios de que el medio familiar pudo influir en la formacin del sabio. Tenemos pocos datos biogrficos de los matemticos, pero se sabe, sin embargo, que Arqumedes (280-220 a.C.) era hijo de un astrnomo, Hipsicles (160-100 a.C.) de un matemtico, y que los gemetras Menecmos (380-320 a.C.) y Dinostratos (384-322 a.C.) eran hermanos; en cuanto a la nica mujer griega de la que se sabe que se dedic a las matemticas, Hipata (370-415), era hija del matemtico Ten de Alejandra (335-395). En la Grecia de la poca clsica no exista un estado centralizado como los del Cercano Oriente de la antigedad, en los que muy pronto se hizo sentir la necesidad de escribas funcionarios. Existen tan slo pequeas ciudades independientes, permanentemente enfrentadas u organizaciones gentilicias cuyas estructuras estatales poco consistentes, no originaban necesidades de formacin comparables a las que se observan en Egipto, Babilonia o China. Si bien el comercio, la agrimensura o la navegacin exigen un mnimo de conocimientos matemticos y aunque el clculo se ensea en la escuela elemental, la ciudad griega se interesa poco por la formacin intelectual y tcnica de los nios y jvenes. La aparicin de escuelas, algunas de las cuales llegaran a ser famosas, se debe a la iniciativa privada; as, los dos grandes pedagogos atenienses de principios de siglo IV a.C., Scrates y Platn (428-347 a.C.), fundan cada uno su propia escuela, el primero de retrica y el segundo de filosofa. Los dos consideraban las matemticas como un instrumento indispensable de la formacin intelectual, y ambos reconocen la dificultad de esos estudios, la gimnasia y la concentracin intelectual que requieren. Pero sus enfoques respectivos son muy distintos: segn Scrates, las matemticas, al igual que los debates contradictorios que tanto atraen a la juventud, deben formar mentes bien hechas, aunque su contenido resulte intil para el ciudadano cuyo ideal consiste en dedicarse a la vida poltica. Para Platn, si las matemticas cumplen tambin una funcin propedutica, sta es de muy distinta magnitud, pues deben servir de introduccin al estudio de la filosofa, esto es, del idealismo platnico y tambin como medio de seleccin, pues esas matemticas y esa filosofa, convertida en una autntica ascesis intelectual, forman parte de un proyecto de reforma poltica. En los siglos III a II a.C. las ciencias matemticas experimentan un auge considerable. La mayora de las obras que se conservan en esta poca pertenecen a matemticos relacionados de algn modo con Alejandra, capital de la dinasta griega de los lgidas que gobiernan a Egipto desde el 306 al 31 a.C. Es sabido que esos reyes fomentaron considerablemente una poltica de mecenazgo, que antes se practicaba, en ocasiones, solo en beneficio de individuos aislados, muchas veces poetas. Se crearon instituciones, las
Conferencia 3
35
ms conocidas de las cuales son el Museo y la Biblioteca de Alejandra. No cabe poner en tela de juicio el impulso que dieron esas instituciones a los estudios literarios. Salta menos a la vista, tal vez, la correlacin con el desarrollo cientfico, pero tampoco puede desecharse, ya que el clima que as se haba creado slo poda ser favorable. Ignoramos, sin embargo, si los grandes sabios de la poca (Herfilo de Calcedonia, Euclides (365-300 a.C.), Stracton de Lmpsaco, Aristarco de Samos (310-230 a.C.), Eratstenes de Cirene (262-190 a.C.), Apolonio de Perga (250-190 a.C.)), cuya presencia en Alejandra est documentada o es probable, formaron discpulos, impartieron enseanzas o dieron simples conferencias en el Museo mismo o con carcter privado; as, no hay ninguna seguridad de la existencia de una escuela como tal en Alejandra. De hecho, el Museo slo funcion como una universidad en la poca del Imperio Romano, siendo emulado entonces en Efeso, Atenas, Esmirna y Egina.
LOS TEXTOS MATEMTICOS
Junto a las matemticas puras, propias de la tradicin griega, existe tambin un corpus de textos matemticos que denominaremos calculatorios, bastantes parecidos a los de las matemticas egipcias, babilnicas o chinas. As, un corpus de textos matemticos bastantes tardos, atribuidos a Hern de Alejandra (65-125), compil y utiliz la poca bizantina probablemente para dar formacin matemtica a los tcnicos. Al igual que en los textos babilnicos o egipcios, los problemas planteados se refieren explcitamente a una situacin concreta, incluso si sta no es muchas veces ms que un artificio con fines pedaggicos. Nada similar existe en los tratados clsicos de Euclides, Arqumedes o Apolonio, quienes no prestan la menor atencin a las aplicaciones prcticas. La exposicin euclidiana de la teora de los nmeros no recurre para nada a ejemplos numricos; las obras que se han conservado parecen obedecer a las exigencias de una clara delimitacin entre la investigacin abstracta y las aplicaciones prcticas. No obstante, si hay una perfecta separacin de los temas, los mismos autores llevan a cabo trabajos tanto de matemticas puras como aplicadas. Cuatro son los rasgos fundamentales que caracterizan esta parte de las matemticas griegas que por convencin hemos llamados puras. La organizacin deductiva: los tratados clsicos como los elementos estn organizados deductivamente; se llega a los resultados por una demostracin, bien partiendo de resultados demostrados previamente, bien de principios expuestos al comienzo; cabe decir que se trata de un procedimiento axiomtico parcial, este procedimiento destaca el aspecto lgico y necesario de las matemticas. Hay que sealar, sin embargo, que no siempre es fcil disociar el aspecto retrico, que permite conseguir la aquiescencia del lector o del alumno y percibe una eficacia psicolgica y pedaggica, del aspecto lgico que se concentra en la arquitectura necesaria y objetiva del razonamiento. La orientacin geomtrica: incluso en la teora de los nmeros, la esttica o la astronoma, la orientacin de los tratados demostrativos es fundamentalmente geomtrica. Las matemticas antiguas recurrieron a simbolismos varios para anotar los nmeros y las fracciones, y tambin utilizaron abreviaturas. Pero fue en el empleo de
36
las figuras geomtricas donde ms lejos llevaron los griegos sus investigaciones sobre las representaciones simblicas: la posibilidad de descomponerlas en elementos, de determinar las reglas de construccin autorizadas y el descubrimiento de propiedades que parecen estar ya presentes en ellas son aspectos todos ellos que se combinaban ya a la perfeccin con la exposicin deductiva. El ideal de ciencia desinteresada: las matemticas deben estudiarse por aficin al saber en s. Matemticas y Filosofa: este desarrollo de las matemticas puras es contemporneo del de la filosofa.
LOS FILSOFOS Y LAS MATEMTICAS
De hecho, al mismo tiempo que van cobrando auge las matemticas, surge una especulacin a la vez metodolgica e ideolgica sobre las ciencias. La clasificacin de Gemino (130-70 a.C.), astrnomo y matemtico griego del siglo I a.C., constituye un buen ejemplo de ello. Esta clasificacin, supone la existencia de un corpus considerablemente desarrollado y muy diversificado, retoma y hace suya una diferenciacin de sus posibles aplicaciones. Segn Aristteles (384-322 a.C.), las matemticas estudian propiedades que pueden ser abstractas de los objetos del mundo fsico. Adems las matemticas al igual que todas las ciencias demostrativas, se basan en principios, de modo que una ciencia puede presuponer otra o, en palabras de Aristteles estar subordinada a otra a la geometra. Existe, pues, una jerarqua de las ciencias que es de orden lgico. Es preciso distinguirla de una oposicin, que por lo general recalcan todos los autores griegos, entre las matemticas utilitarias y las matemticas desinteresadas. Slo estas ltimas son dignas, a juicio de Aristteles, de una educacin liberal: ser libre significa ser su propia causa. El conocimiento de adorno tiene, pues, la primaca sobre las tcnicas necesarias; la ciencia desinteresada, que tiene su propio fin en s misma, es la actividad suprema. Para Platn, las matemticas de los Brbaros, por muy prestigiosas que sean sus civilizaciones, no son arte, porque no estn libres de las coacciones de la necesidad. As pues, la filosofa griega entremezcla consideraciones de dos enfoques distintos, el metodolgico y el ideolgico. Si los tratados de pticas y astronoma adoptan la forma de la exposicin geomtrica, a saber la deduccin, que se presta particularmente bien a la eliminacin de cuanto pertenece al mundo de lo sensible y lo prctico, no por ello resulta fcil saber cmo los matemticos integraban esta manera de concebir sus actividades. Por otra parte, no hay que caer en la tentacin de superponer la distincin moderna puras/aplicadas a la distincin antigua inteligible/sensible , ya que no existe ninguna coincidencia entre ellas. La referencia al ideal de ciencia desinteresada obliga a plantear el problema de la motivacin del desarrollo de las matemticas. Hay que distinguir los fenmenos que han podido actuar como causas externas y los que se podran considerar causas internas. Entre los primeros, destaquemos la importante funcin que han desempeado la ptica y la astronoma que, para nosotros, forman parte de la Fsica y que en la antigedad se
Conferencia 3
37
clasificaban dentro de las Matemticas. Debe sumrseles la esttica o ciencia de los equilibrios. Qu sabemos de las motivaciones internas? Es posible tratar de descubrirlas en los prefacios con lo que los autores matemticos, al parecer desde Arqumedes, inician sus tratados; se observa que, lejos de ser producto de caractersticas psicolgicas propia de la mentalidad griega, la investigacin desinteresada presupone la existencia de una comunidad de matemticos sometidas a ciertas reglas. Tngase en cuenta, en primer lugar, que esos matemticos no estiman que tengan que justificar su prctica de la ciencia por s misma; es algo que no requiere ninguna explicacin. A lo sumo precisan por qu se dedican a las matemticas y no a la Fsica o a la Teologa; evidentemente porque son seguras y rigurosas, en la medida en que se ocupan de un objeto estable (a diferencia de la Fsica) pero, no obstante, accesible (a diferencia de la Teologa). En la poca helenstica se observa que esos matemticos constituyen una comunidad internacional cuyos miembros estn diseminados en el permetro de la cuenca mediterrnea (Grecia, Asia Menor, Egipto, Sicilia...). Con todo, mantienen relaciones personales, bien porque se visiten unos a otros, bien gracias a la circulacin de sus obras. Se trata ante todo de plantear problemas a los colegas, de resolver lo que ellos mismos han planteado, de criticar incluso las soluciones imperfectas que otros han propuesto. As, algunos matemticos adquieren una autoridad reconocida; las publicaciones se someten a dictmenes y ellos se encargan de darlas a conocer a quienes estiman dignos. Otros son impostores a los que se desenmascarar en su momento plantendoles un problema imposible que pretendern, empero, resolver. Desde luego, todo ello sucede en el marco de relaciones establecidas entre individuos y no en el de una institucin en el sentido moderno de la palabra. En definitiva el ideal de las matemticas desinteresadas parece depender de la existencia de un grupo dentro del cual los problemas de rivalidad y competencia recuerdan bastante algunas caractersticas de la comunidad cientfica actual. Ahora bien, no conviene exagerar demasiado esta comparacin, ya que la diferencia de escala entre una y otra comunidad es muy perceptible: el nmero de eruditos de la poca helenstica, sobre todo de matemticos, no era superior a algunos centenares. Tampoco caben dudas acerca de la precariedad de la comunidad que forma, a falta de una autntica institucin: as, a partir de la poca romana los mejores autores (Claudio Ptolomeo (85165), Pappus (290-350)) parecen preocuparse esencialmente por perfeccionar los resultados ya obtenidos; aparentemente, la emulacin y la bsqueda de la novedad que caracterizan al perodo anterior han desaparecido.
GNESIS DE MATEMTICA LAS DISCUSIONES SOBRE LOS FUNDAMENTOS DE LA
Acerca de las causas de transformacin de la matemtica en ciencia existen varias hiptesis. Al parecer no hay duda en que las primeras teoras surgen en la antigua Grecia entre los siglos VI y III a.C. Para unos, la invencin de la moneda que influira directamente en el incremento del comercio fue uno de los impulsos principales para la formacin de un nuevo tipo de hombre, el comerciante-navegante con espritu independiente, con riquezas, esclavos y
38
suficiente tiempo para reflexionar sobre el por qu? de los hechos. La situacin geogrfica de la civilizacin helena, su origen tnico, su personalidad curiosa, inteligente, sensible, racionalista; la ausencia de religin completamente establecida y sin instituciones dogmticas; todo esto -y quizs ms-, logr crear condiciones objetivas y subjetivas propicias para el salto cualitativo necesario en la conformacin de la matemtica como ciencia. No es asombroso que en la matemtica los griegos vieran, no slo un medio prctico til, sino ante todo, la expresin de la verdad y la naturaleza de las cosas. En el contexto de concepciones antropomrficas y mitolgicas donde lo real estaba muy cerca de lo fantstico, la matemtica aparece como un conocimiento de una naturaleza completamente distinta, cuya veracidad no promova ninguna duda, cuyos hechos primarios eran claros y las conclusiones eran irrevocables, absolutas. As se cosmologiz y mistific la matemtica, haciendo de ella el punto de partida para todas las reflexiones en la descripcin de la realidad. Esta mistificacin de la matemtica, encuentra su expresin en la escuela de Pitgoras de Samos (580-520). La escuela de Pitgoras fue a la vez un partido poltico, que domin sobre todo la ciudad de Crotona (al sur de Italia), cuya base social era la aristocracia esclavista, y una escuela filosficocientfica y adems, una hermandad secta secreta. Analizaremos slo los aportes y errores de los pitagricos en relacin con el desarrollo del contenido y los fundamentos de la matemtica. La tesis fundamental del pitagoresmo consiste en que todas las cosas son nmeros. El sentido de esta aseveracin no se reduce a la consideracin natural que pudiera hacer cualquier cientfico contemporneo de que en todo pueden observarse relaciones cuantitativas y que cada ley puede ser expresada por medio de relaciones matemticas. La filosofa griega de este perodo se orientaba a la bsqueda del primer fundamento del mundo, la base con la cual se poda explicar todo lo acontecido o por suceder. Si Thales consider tal principio en el agua, Herclito en el fuego y Anaximandro en las partculas indivisibles llamadas apeironas, entonces para los pitagricos precisamente los nmeros jugaban tal papel, determinando, de cierta manera, los fenmenos y procesos naturales. Las propiedades de las cosas se consideraban en correspondencia con las propiedades de tal o ms cual nmero o relacin numrica, como un reflejo de la armona numrica. La filosofa en los pitagricos se convirti en la mstica de los nmeros, y las figuras geomtricas sobre el mundo se reducan a su armona numrica. Todo lo que para el cientfico contemporneo no sera ms que una simple casualidad, los pitagricos lo
Conferencia 3
39
representaban como repleto de profundo sentido y expresin del dios del ritmo y la armona. As, las formas matemticas (nmero y figura) se transformaron en herramienta universal para la comprensin de todas las cosas. Citemos a Filolaos (?-390 a.C.) que vivi en Tebas hacia el ao 400 a.C. y que es el primer pitagrico del que nos han quedado algunos fragmentos importantes:
Todas las cosas accesibles al conocimiento poseen un nmero, puesto que sin el no podemos comprender ni conocer nada.
El criterio de veracidad en los pitagricos no est en la demostracin lgica de unas proposiciones por otras, ni est en la comparacin de ellas con la experiencia prctica, ni tampoco en la reduccin a cuestiones evidentes, sino en la construccin de cierto isomorfismo determinado por relaciones matemticas en su estructura esencial. En lo que concierne a la naturaleza de las leyes matemticas, a las races de su veracidad incondicional los pitagricos del perodo arcano no reflexionaron sobre estos problemas. Sin embargo, en Platn ya encontramos cierta teora en este sentido. Las verdades matemticas para Platn representan impresiones sobre la verdad en s misma, las cuales el alma obtiene al pasar al mundo ms perfecto, el mundo de las ideas. El conocimiento matemtico es por esto simplemente recuerdo, necesita, no experiencia sino contemplacin de la naturaleza, slo visin con la inteligencia. El matemtico, segn Platn, estudia esencias singulares e ideales, a diferencia de las esencias dadas en la experiencia que son empricas. Cuando los gemetras, dice Platn, utilizan dibujos y hacen de ellos conclusiones, su pensamiento se refiere no al dibujo sino a aquellas figuras semejantes a las cuales hizo el dibujo... Las figuras geomtricas en s mismas (a diferencia de los dibujos) se pueden ver slo con una vista pensante. En estas reflexiones de Platn, por primera vez, se considera el problema sobre la especificidad del objeto de la matemtica, el cual como sabemos es an hoy unos de los fundamentales de la filosofa de la matemtica. Junto con las concepciones pitagricas, considerando los objetos matemticos como las ltimas esencias de la estructura del mundo, existi, aunque en forma insuficientemente expresada, pero materialista, otra filosofa de las matemticas, surgida en el atomismo de Leucipo (480-420 a.C.) y Demcrito (460-370 a.C.). La idea de los atomistas tena en s misma un valioso principio heurstico. Es sabido que partiendo de ellas el matemtico griego Antifonte (470-410 a.C.) elabor un mtodo de clculo de reas de figuras curvilneas que fue el primer reflejo de clculo infinitesimal. Este mtodo consista en lo siguiente: en una figura curvilnea se escriba una figura rectilnea con relacin a la cual era suficientemente evidente que en el aumento del nmero de lados, su rea se aproximaba al rea de las figuras curvilneas. Si el rea de las figuras rectilneas se poda calcular en cada etapa del clculo, entonces se supona que el rea de la figura original era igual al rea de la figura rectilnea en su ltima divisin, esto es cuando sus lados eran tan pequeos que coincidan con las partculas que constituan el contorno de las figuras curvilneas. Para la verificacin de tal mtodo era suficiente suponer que la cantidad de pasos necesarios para la aproximacin era finita. Esto permita superar las paradojas, relacionadas con la suposicin de la divisin infinita del segmento.
40
El mtodo de Antifonte fue posteriormente perfeccionado en el sentido lgico por Eudoxio de Cnido (408-355 a.C.) y Arqumedes de Siracusa y pas a la historia bajo el nombre de Mtodo de Exhaucin. En el Mtodo de Exhaucin, una parte importante del razonamiento la constituye la demostracin rigurosa de que el rea (volumen) de la figura inscrita al elevar el nmero de lados (aristas) difiere del rea (volumen) de la figura circunscrita en una cantidad tan pequea como se quiera, esto es, la demostracin de lo que Antifonte consideraba evidente. La mayora de los matemticos de la poca del platonismo refutaron los razonamientos atomistas en la geometra, por no considerar a la esencia de la Matemtica, sino de la Fsica. Las ideas atomista aparecieron slo en el siglo XVII, en los trabajos de Kepler, Cavalieri y Vieta. Hemos dicho que es con Pitgoras y su escuela cuando se puede hablar, por primera vez, de una ciencia de los nmeros enteros y fraccionarios. Qu puede hacer ese pensamiento pitagoriano despus de haber especulado sobre los nmeros? Todo pensamiento abstracto, negacin de lo real, no puede ms que negar esta negacin en una sntesis explicativa del mundo. Como escribe Aristteles: Los pitagorianos pensaron que sus principios eran los principios de todas las cosas. La doctrina pitagoriana se resume en la mxima: Las cosas son nmeros. Los pitagorianos conocan tres medias a las que se denominan aritmtica, geometra y armnica. Atribuyeron un valor de perfeccin a esas relaciones numricas que introdujeron en msica, en el dominio moral, en sus teoras de la justicia y de la ocasin. Sus ideas simples quedaron sin desarrollo, en primer trmino, a causa de su propio carcter de perfeccin, puesto que si se ha descubierto la verdad absoluta no susceptible de correccin, todo desarrollo ulterior no tiene razn de ser, es decir, es imposible y, adems, porque esas ideas no eran susceptibles de verificaciones positivas: esta sntesis pitagoriana es una sntesis idealista. Por el contrario, la teora pitagoriana de las mnadas puede ser considerada como la primera teora de fsica matemtica. El punto, segn Pitgoras, es una unidad que tiene una posicin, es decir, que es anlogo a un pequeo grano de arena. Todos los puntos son idnticos. Un segmento AB es una sucesin de puntos y encierra un nmero entero de mnadas. La medicin de un segmento cualquiera AB se efecta comparndole a un segmento unidad. Al contener esos dos segmentos cada uno un nmero entero de mnadas, la medida del segmento AB es nmero fraccionario. Todo cuerpo slido contiene igualmente un nmero entero de mnadas, y es por eso que las propiedades aritmticas de los nmeros van a explicar el universo. A
Conferencia 3
41
Ms, aunque la Geometra no sea an, en la poca de Pitgoras, una ciencia deductiva, est no obstante, lo suficientemente avanzada para arruinar la concepcin misma de las mnadas. Eso ser una consecuencia del teorema de geometra que lleva el nombre de Pitgoras, aunque no sepamos exactamente si Pitgoras lo demostraba en el caso general. Consideremos un cuadrado y el cuadrado construido sobre la diagonal del primero. El examen de la figura muestra que la superficie del cuadrado grande es dos veces la del pequeo. Sabemos que la superficie de un cuadrado tiene por medida el cuadrado del nmero que mide su lado, es decir, el producto de ese nmero multiplicado por s mismo: a x a = a. Sea P el nmero de mnadas que contiene AB, Q el nmero de mnadas que AC. Se tiene, de acuerdo con lo que se ha dicho acerca de las superficies: Q=2P. Lo que viene decir que el cuadrado de la fraccin Q/P es el nmero 2. Simplifiquemos la fraccin Q/P si eso es posible y sea q/p la fraccin irreducible igual q/p=Q/P. Debemos tener q=2p. Desde ahora, si q es impar, su cuadrado lo ser tambin y la igualdad precedente es imposible. Es necesario, pues, que q sea par, es decir, que q=2q'. Tenemos: 4q'=2p. Y dividiendo por 2: 2q'=p. Pero si p es impar, su cuadrado tambin lo es. Es necesario, por tanto, que p sea par: p=2p'. De ello resulta que0p y q son ambos pares, lo que es imposible, puesto que la fraccin q/p es irreductible. Nos vemos as llevados a una contradiccin: la diagonal de un cuadrado no puede estar en relacin racional con su lado. Es, por otra parte, fcil mostrar que la teora de las mnadas est en contradiccin con la experiencia: esa ser una consecuencia de la obra de Zenn de Elea (490-430 a.C.) y de los elatas. Zenn va, como lo ha sealado Paul Tennery el primero, a reducir al absurdo las ideas de Pitgoras, valindose de dos argumentos que se han hecho clebres. Zenn observa, en su primer argumento, que para ir de A a B es necesario pasar por el medio C del segmento AB, para ir de C a B por el medio D del segmento CB y as sucesivamente. No llegamos jams a B, puesto que hay que pasar por una serie de medios que no tiene fin, puesto que todo segmento tiene un medio y todo punto una anchura, posiblemente muy pequea, pero existente en todo caso, es decir, no nula, segn la teora de mnadas. El segundo argumento de Zenn estudia la persecucin de Aquiles que corre muy rpido detrs de una tortuga, que tiene sobre l una ventaja AB. Mientras que Aquiles liquida esa ventaja AB corriendo de A a B, la tortuga ha llegado a C. Mientras que Aquiles liquida su
42
nuevo retardo BC, la tortuga llega a D y as sucesivamente: por pequea que sea la distancia que separa Aquiles de la tortuga, es al menos igual, en la teora de las mnadas, a la anchura de un punto. Mientras que Aquiles recorre la distancia la tortuga se ha desplazado, se decir, ha ido de un punto a otro. Est, en consecuencia, separada an de Aquiles por lo menos por la anchura de un punto. Aquiles no alcanzar jams a la tortuga. Pero nosotros sabemos por experiencia que podemos ir de A a B. Sabemos que Aquiles atrapar a la tortuga. La teora de las mnadas est en contradiccin con los datos inmediatos de la informacin. Ya hemos dicho ms arriba, que con Tales de Mileto, empieza la historia de la matemtica como un cuerpo de conocimientos deducibles a partir de ciertas suposiciones bsicas por medio de la lgica corriente (el buen sentido), que segn Descartes es la cosa mejor repartida del mundo, puesto que cada uno piensa estar tan bien provisto de el, que incluso aquellos que no son ms difciles de contentar en otra cosa cualquiera no acostumbran a desear ms del que tienen (Discurso del Mtodo, Sarpe, Madrid, 1984). Sin embargo, como acabamos de apuntar, al comienzo mismo de este perodo, en el siglo VI a.C., aparece la primera gran crisis en el desarrollo de la disciplina, al descubrir la existencia de los nmeros irracionales, es decir, no expresables por medio de una frmula finita en la que entran ciertos nmeros enteros. La armona de los nmeros enteros y de las relaciones entre ellos, en el estudio de la cual tanto avanzaron los pitagricos y que pareca regir todo el Universo, se estrell contra la diagonal del cuadrado de lado unitario, que result inconmensurable, como ellos mismos lo demostraron. Todo esto ser retomado en la prxima conferencia.
ACERCA DEL TEOREMA DE PTOLOMEO.
En 1998 se conmemor el 465 aniversario de la impresin del primer texto de trigonometra Sphericus cum Tabulis Sinuum (terminado en 1461 y publicado en 1533) del alemn Johann Mller, tambin conocido con el nombre de Regiomontano (1436-1476), latinizacin derivada del nombre de la ciudad de Konigsberg, donde naci. En este libro se tratan, sistemticamente, todos los problemas sobre la determinacin de tringulos planos y esfricos a partir de los elementos dados. Como un dato de inters, podemos decir que Regiomontano utiliz los nmeros irracionales en su trabajo, nmeros que surgan en los casos de inconmensurabilidad geomtrica y que no estaban nada en boga en esa poca, por otra parte, aplic el lgebra a la resolucin de problemas geomtricos. De este modo, fue en esencia suprimida la tradicin antigua y descubierta una nueva concepcin del objeto de la trigonometra y sus problemas. Sin lugar a dudas, importancia fundamental en la consolidacin de la trigonometra lo jug Claudio Ptolomeo de Alejandra, quien organiz y corrigi muchos de los trabajos anteriores en este campo, tal y como nos lo presenta en su Almagesto (as llamado por los rabes y que significa La gran recopilacin), un trabajo sobre el sistema geocntrico que sirvi de modelo durante ms de quince siglos y que es la teora de epiciclos de Apolonio (262-190 a.C.), en forma ms amplia y mejorada. Lo que ensea en detalles trigonomtricos, en general no es nuevo, pero est presentado en forma muy hbil y metdicamente. Una de las necesidades de Ptolomeo era una tabla que diera las longitudes de las cuerdas de un crculo, correspondiente a varios ngulos centrales. Esta tabla, que es la
Conferencia 3
43
equivalente hoy en da a la de los senos, est calculada por l de medio en medio grado y se basa en la divisin sexagesimal del radio y prev interpolaciones para los minutos. Para pasar a exponer esto con ms detalle, veamos primeramente un teorema que, sin lugar a dudas, puede figurar como uno de los teoremas ms conocidos de la Geometra Elemental: el Teorema de Ptolomeo, el cual concierne con cuadrilteros inscritos y que es fundamental en la ya mencionada teora geocntrica del Universo, que surgi una centuria despus del comienzo de nuestra era. El uso que hizo Ptolomeo de este teorema y su aplicacin al estudio de los polgonos regulares ser tambin presentado aqu.
Teorema de Ptolomeo. Si un cuadriltero es inscrito en un crculo, el producto de las diagonales es igual a la suma del producto de los pares de lados opuestos.
Diversas demostraciones de este teorema pueden encontrarse en mltiples textos, aqu solamente escribiremos la conclusin del teorema, para mejor comprensin, con x, y diagonales y a, b, c, d los lados: xy=ac+bd. (1)
Volvamos al punto en el cual habamos hecho mencin del uso del teorema por parte de Ptolomeo: la construccin de la tabla de cuerdas. Para construir esta tabla, l us la relacin, la cual en trminos modernos es conocida como el teorema de adicin para senos: sen(a+b)=senacosb+cosasenb. (2)
Para mostrar como esto fue efectuado, observemos primero que si un ngulo es inscrito en un crculo cuyo dimetro es la unidad, el seno del ngulo es representado como la cuerda que subtiende el ngulo. As, s senq=AC; para AB' dimetro: ABC=q, sen q= AC/AB' = AC. Ahora tomemos un polgono inscrito, una de cuyas diagonales es un dimetro, y por simplicidad, la unidad de longitud se tomar igual al dimetro del crculo. Por el teorema de Ptolomeo se verifica (1). Haciendo x=1, y=sen(a+b), a=sena, b=cosa, d=senb, c=cosb en (1) se obtiene (2). Con ayuda de esto, expresado en trminos de los lados del cuadriltero, Ptolomeo calcul una tabla de longitudes de cuerdas, en vez de los senos y cosenos.
APLICACIN DEL TEOREMA A LOS POLGONOS REGULARES
1. Caso del rectngulo. Si el cuadriltero inscrito es un rectngulo cuyos lados adyacentes son a y b y cuyas diagonales son c, el teorema se reduce al teorema de Pitgoras: a+b=c. Como la prueba
44
del teorema de Ptolomeo es independiente del cuadriltero inscrito, tenemos, por tanto, una prueba muy simple del teorema de Pitgoras. II. El Pentgono regular. Considere un pentgono regular inscrito en un crculo cuyo radio es r. Sea a la longitud de un lado y b la longitud de una diagonal del pentgono. Aplicando el teorema de Ptolomeo al polgono BCDE tenemos: d=ad+a, la solucin de esta ecuacin cuadrtica, d en trmino de a es: d= a(1+5)/2. Dibujemos ahora la perpendicular AM a la diagonal BE. En el tringulo rectngulo ABM tenemos, de lo anterior y del teorema de Pitgoras que AB=a, BM = a(1+5)/2, MA = a (10 - 25) 1/2 /4 y como MBA=36, sen36 = cos54 =(10-5) 1/2/4, cos36 = sen54 = (1+5)/4. Para obtener la relacin entre el lado del pentgono y su radio, consideremos el tringulo rectngulo OAN. Como el ngulo NOA=36, AN=rsen36, y el lado: a = r(10 - 25)/2, el radio del crculo inscrito es: ON = rcos36 = r(1+5)/4, el rea del pentgono es: 5 ON AN = 5r(10 + 25)1/2 /8, en trminos del lado a, el rea es: a(25 + 105)1/2 /4. III. El Hexgono regular. Si los vrtices de un hexgono regular, cuyo lado es a son numerados como 1, 2,... 6 y el teorema es aplicado al cuadriltero 1346, obtenemos la ecuacin x+a=4a , donde x es la longitud de una pequea diagonal del hexgono. As x=a3. IV. El Heptgono regular.
Conferencia 3
45
Por comodidad, consideremos que el lado del heptgono tenga longitud unitaria, los vrtices sean numerados consecutivamente del 1 al 7 y representemos las diagonales 13 y 14 por x e y, respectivamente. Entonces, de los cuadrilteros 1234 y 1347 obtenemos las ecuaciones: y =xy+1, por eliminacin de y de este sistema, se obtiene la ecuacin cbica x3 -x2 -2x+1=0. Una inspeccin muestra que esta ecuacin no posee races enteras. Por tanto, ella no posee races racionales (ver I. Vinogradov-Fundamentos de la teora de los nmeros, Editorial MIR, Mosc, 1977). De aqu seguimos que x no puede ser construida con regla y comps y as, consecuentemente, es imposible construir un polgono regular de siete lados, con regla y comps. V. El polgono regular de nueve lados. Designando los vrtices del polgono, cuyo lado posee longitud unitaria, por los nmeros del 1 al 9, y las diagonales 13, 14, 15 por x, y, z, respectivamente, obtenemos en sucesin, de los polgonos 1234, 1245 y 1456, las ecuaciones: x =y+1, y =xz+1, xz=y+z. De este sistema, obtenemos que x satisface la ecuacin x3 -3x-1=0. Por un razonamiento similar al del punto anterior, tenemos que este polgono no puede ser construido por medio de regla y comps. De la primera y tercera ecuacin de (3), se tiene que z=x+1. Esto ofrece un interesante resultado: Una diagonal principal de un Nongono es igual a la suma de una diagonal menor y un lado. VI. El polgono regular de 17 lados. Este polgono posee diagonales de siete diferentes longitudes. Como antes, la longitud de un lado es tomada igual a la unidad; x, y, z, t, u, v, w representan las longitudes de las diagonales en orden creciente. Los polgonos 1234, 1345, 1456, 1567, 1678, 1789, 189 10 nos llevan al sistema de ecuaciones: x =1+y, xy=x+z, xz=y+t, xt=z+u, xu=t+v, xv=u+w, xw=v+w, de las seis primeras de estas, obtenemos los siguientes valores de y, ..., w en trminos de x:
46
y=x2 -1, z=x(x2 -2), t=x4 -3x2 +1, u=x(x2 -1)(x2 -3), (3) v=x -5x +6x -1, w=x(x -2)(x -4x +2), si estas dos ltimas son sustituidas en la ecuacin xw=v+w, el resultado es x8 -x7 -7x6 +6x5 +15x4 -10x3 -10x2 +4x+1=0, una raz de la cual es 2cos(/17). Conociendo la teora de Gauss del polgono de 17 lados, es claro que la diagonal menor puede ser construida con regla y comps. Aunque aqu no aparece convenientemente deducida, el mtodo de construccin es basado en la ecuacin anterior de 8vo grado. El trabajo muestra adems, que cada diagonal del polgono es una funcin racional entera de la menor diagonal. VII. Otros resultados. Algunos de estos resultados pueden ser generalizados para los polgonos regulares de n lados. As, por ejemplo, es fcil ver que todas las diagonales de un n-gono regular son expresables como polinomios de la menor diagonal. Volviendo al sistema (3), las variables pueden ser consideradas como sigue: x=2cosq, y=1+2cos2q, z=x+2cos3q,... haciendo las eliminaciones necesarias, obtenemos las frmulas del ngulo mltiple para el coseno: cos2q=2cos2 q-1, cos3q=4cos3 q-3cosq, ... Asimismo, si Sn designa la longitud del lado del n-gono regular inscrito en el crculo unidad, entonces el lado del 2n-gono regular tiene la longitud: S2n = (2 - (4 - S) 1/2)1/2, de esta frmula y del hecho de que S4 (lado del cuadrado) sea igual a 2 se deduce: S8 = (2-2), S16 = (2-(2+2)1/2 )1/2 , S32 = (2-(2+(2+2)1/2 )1/2)1/2 , etc. Como frmula general obtenemos, para n>2, una suma que incluye n-1 races cuadradas sucesivas. El permetro del 2n-gono regular inscrito ser 2nS2n. Al tender n a infinito, el 2n-gono regular tiende a confundirse con la circunferencia y, en consecuencia, 2nS2n tiende a la longitud de la circunferencia del crculo unidad, que por definicin es 2. Obtenemos as, sustituyendo m por n-1 y suprimiendo el factor 2, la frmula asinttica para : 2m (2-(2 + (2 + ...)1/2 )1/2 )1/2,
6 4 2 2 4 2
Conferencia 3
47
que incluye m races cuadradas sucesivas. Los resultados obtenidos poseen el siguiente rasgo caracterstico:
Los lados del 2n-gono, del 5.2n-gono y del 3.2n-gono, pueden construirse mediante procesos de sumas, restas, productos, divisiones y extracciones de races cuadradas.
Por otra parte, la aplicacin del Teorema de Ptolomeo a la construccin de polgonos regulares, puede ser completada, remitindonos al trabajo de T. I. ZamfirescuConstrucciones Geomtricas con regla, comps con trisector, St. si cerc. math., XV, 3 1964, 405-411 (en rumano), en el que se demuestra que:
Para que un polgono regular de n lados, se pueda construir con regla y comps, con trisector, es necesario y suficiente que: n = 2a 3b p3,pr, donde a, b, r son enteros positivos y p3, ....., pr son nmeros primos de la forma pi =2z(i).3w(i) + 1, con z(i) natural y w(i) entero positivo.
As, en el caso del heptgono regular, se tiene que n =7=2.3+1 lo que confirma lo dicho en ese punto.
SOBRE EL SISTEMA DEL MUNDO
Para que se tenga una idea de la importancia de la obra de Ptolomeo, al margen de su importancia en la enseanza de la poca, tenemos que Nicols Coprnico (1473-1543) desde 1524, circula un pequeo manuscrito sobre el sistema del mundo de Ptolomeo y donde aparece la hiptesis de que es el Sol y no la Tierra al centro del sistema solar. Sin embargo, an a fines del siglo XVI esta teora no es ni muy conocida y mucho menos aceptada o divulgada (Bruno fue quemado en la hoguera en 1600 y Galileo abjur de sus ideas, en proceso escandaloso, en 1633, ver Conferencia 6), a pesar de que ya haba sido hecha la impresin de su obra De revolutionibus forbium coelestium (1543) y la traduccin inglesa de esta (1576). En honor a la verdad, Ptolomeo siguiendo el camino de Hiparco, escogi una de las varias explicaciones del movimiento planetario e interpret los hechos mediante una ingeniosa combinacin de rbitas circulares o epiciclos. Pero haba otras explicaciones, como la de Aristarco de Samos (siglo III a.C.), el amigo de Arqumedes, que supona que la Tierra giraba alrededor del Sol. Por ello, cuando Coprnico sustituy la teora ptolemaica por su propio y conocido sistema heliocntrico, estaba restituyendo una teora muy antigua al lugar que le corresponda, inclusive, en el manuscrito original de Coprnico, se dedica un largo pasaje al filsofo griego, que por consiguiente era bien conocido por el astrnomo polaco. Por todo lo anterior, no podemos sustraernos a la tentacin de dedicarle unas palabras al sistema de Ptolomeo y al sistema heliocntrico, como justo homenaje, por lo que han representado en la historia de la humanidad.
48
En la poca del astrnomo polaco, la astronoma geocntrica llevaba reinando ms de mil aos; su xito se deba a que concordaba perfectamente con la imagen que el hombre tena de s mismo y con la fsica primitiva de Aristteles. Cierto es que prelados instruidos advertan que la Semana Santa llegaba demasiado pronto en el calendario anual y unos pocos astrlogos saban que la posicin de los planetas diverga a veces, en varios grados, de la que poda preverse con las tablas de Ptolomeo. Pero, a decir verdad, la astronoma sigui enfrentada despus de Coprnico con tantos problemas como antes, ya que el calendario continu siendo el mismo y las previsiones sobre los planetas apenas mejoraron. Ms an, los escpticos, al seguir considerando a la Tierra como punto fijo de referencia, vean en el sistema de Coprnico un hbil modelo matemtico, un poco ms complicado que el de Ptolomeo, pero que no constitua una verdadera descripcin del mundo fsico. En verdad, nada probaba la evidencia de una Tierra en movimiento y de un Sol central inmvil. Galileo observ ms tarde, que nunca admirara bastante a quienes aceptaron el sistema de Coprnico a pesar del testimonio de sus sentidos. En evidente que Coprnico no tena la intencin de renovar los instrumentos matemticos de la astronoma tradicional. Al igual que Hiparco y Ptolomeo, describi los movimientos de los planetas elaborando unos modelos geomtrico-cinticos que simulaban del modo ms exacto posible, los fenmenos observables. A estos modelos geomtricos haba que darles unos parmetros numricos derivados de la observacin, para ello Coprnico, al igual que muchos astrnomos rabes o latinos, se bas en los datos consignados por Ptolomeo, completndolos con algunas observaciones propias. En realidad, la astronoma ptolemaica tena dos dificultades fundamentales. En primer lugar, Ptolomeo tuvo que utilizar toda una gama de modelos geomtricos para explicar los movimientos de los distintos planetas y se vio obligado adems, a proporcionar a cada modelo un movimiento circular, con una revolucin que duraba exactamente un ao. En segundo lugar, Ptolomeo no consigui determinar las distancias absolutas y relativas de los planetas con respecto a la Tierra, por lo que su orden de colocacin, no era sino un convencionalismo arbitrario. El sistema heliocntrico, fue el nico mtodo que resolvi ambas dificultades. La polmica desatada favoreci, indiscutiblemente, a la propagandizacin de la astronoma. El inters creciente por la astronoma, favorece tambin a la trigonometra. En 1533, como ya dijimos, se edita la Trigonometra de Regiomontano, en 1543 la obra de Coprnico, llegando (en 1596) a la impresin de las tablas grandes de 10 cifras de Rhaeticus. Este perodo de consolidacin de la trigonometra es indudablemente beneficiado por el trabajo de Francois Vite (1540-1603) quien en una de sus obras, Pseudomesolabium (1595), examina las cuerdas que cortan el dimetro en cuatro segmentos que forman una progresin geomtrica, puntualizando diversos problemas y haciendo un uso extenso del teorema de Ptolomeo. Con respecto al estudio del cuadriltero inscrito, unos aos ms tarde fue tratado independientemente (1598) por J. Richter (1537-1616), a l debemos un procedimiento general para la construccin de cuadrilteros inscritos que tienen lados y diagonales enteros y en los cuales lo son tambin el rea y el dimetro de la circunferencia inscrita. Otros trabajos en esta direccin, son los de Bombelli, Benedetti, van Ceulen, ... quienes, por caminos propios o prosiguiendo investigaciones anteriores, contribuyeron a
Conferencia 3
49
la solidificacin de la trigonometra y a elevar el teorema de Ptolomeo al lugar que hoy ocupa.

CUESTIONARIO
1. Cules son los soportes fundamentales de la matemtica griega? 2. Cul es la periodizacin ms adecuada para el estudio de la matemtica griega? 3. Qu elementos caracterizan el Perodo Jnico y la figura de Pitgoras? Qu mtodo utiliz Teodoro de Cirene (465-398 a.C.) para demostrar la irracionalidad de las races cuadradas de los cuadrados no enteros del 3 al 17? Por qu Ud. cree que se detuvo en 17?. 4. Destaque el papel jugado por la nocin de irracionalidad en la Historia de la Matemtica. 5. Qu papel jug Zenn y su escuela en el desarrollo matemtico actual? 6. Cules son los 3 problemas clsicos de la matemtica griega? Explique los principales intentos efectuados para resolverlos. Dnde radicaba la imposibilidad de resolverlo? 7. Qu elementos caracterizan el Perodo Ateniense? 8. Destaque los 4 rasgos caractersticos de la matemtica griega. 9. Destaque los principales elementos y representantes de la relacin Filosofa-Matemtica en la matemtica griega. 10. Cules son los slidos platnicos? Por qu no pueden existir otros? 11. En qu consisti la 1era Crisis en los Fundamentos de la Matemtica? 12. Qu elementos caracterizan el Perodo Alejandrino? 13. Destaque el papel jugado por Ptolomeo en la consolidacin de la Geometra. 14. Cmo se defina cuerda en la matemtica griega? En qu consistan las Tablas de Ptolomeo? 15. Enuncie el Teorema de Ptolomeo y analice algunos casos particulares. 16. Cmo obtener, basado en los trabajos pitagricos, la seccin area?
50
Conferencia 4. Los Elementos de Euclides. La geometra euclidiana. Arqumedes y Diofanto. Los principios fundamentales de la Esttica y el V Postulado. Tenemos que obedecer a la ms grande de las leyes, la del cambio. Esa es la ley ms poderosa de la naturaleza Edmund Burke
n los documentos histricos contentivos de conocimientos matemticos que se encontraron en Egipto y en otras civilizaciones antiguas, aparecen tanto conocimientos aritmticos como geomtricos; sin embargo, en la antigua Grecia, primero se desarroll la aritmtica como ciencia y posteriormente se sistematiz con mtodos propios, la Geometra. Al investigar el asunto encontramos diversas opiniones, que se manifiestan a veces por la geometra de Eudoxio (408-355 a.C.) y otras por la geometra de Euclides (365-300 a.C.), con la introduccin de la presentacin axiomtica. Otros criterios se refieren al aumento del volumen de los conocimientos y al hecho innegable de la aparicin de una metodologa propia de la metodologa aritmtica. Naturalmente, es estrictamente cierto que en el transcurso de investigaciones matemticas que va de Eudoxio a Euclides, se form la geometra como una nueva disciplina matemtica. Nuestra investigacin est encaminada a buscar en este proceso la posibilidad de cumplimiento de la relacin entre disciplinas matemticas que dan lugar actualmente a lo que Bourbaki denomin mtodo de modelo. De ser as, deba aparecer en la aritmtica de aquel entonces, la huella numrica correspondiente a la nueva disciplina, que permitiera darle una solucin aritmtica a los problemas geomtricos. Ya la teora de las proporciones de Eudoxio y su posterior evolucin, nos fueron mostrando esta posibilidad, mientras que la Teora de los Irracionales de Euclides, nos mostr la realidad de esta suposicin. A pesar de que el sistema de numeracin griego, exista la posibilidad de expresar los nmeros irracionales como series infinitas de quebrados, no fue en los marcos exclusivos de la aritmtica donde se arrib a este resultado, sino que requiri de tres siglos y del concurso de los conocimientos geomtricos, para que Euclides adquiriera conciencia de ello y an en forma limitada. La aparicin de la huella de una disciplina matemtica en el resto de las ya existentes, marca el inicio de ella como tal. Pero si escogemos, de entre todas las disciplinas, aquellas que nos brindan la huella ms abstracta, ello nos conduce a la Aritmtica terica o Teora de los nmeros. La aparicin de la huella anteriormente mencionada, nos habla de la forma de relacin de las disciplinas matemticas. Esta forma de relacin, es siempre de influencias recprocas; es decir, tiene un carcter de retroalimentacin. El hecho que la geometra se constituyera en una disciplina matemtica, signific la matematizacin de conocimientos que hoy se corresponderan con la agrimensura, la arquitectura, la astronoma y diversas artes constructivas. La investigacin de esta matematizacin trajo por consecuencia la aparicin de un elemento mediador entre los conocimientos iniciales y la Matemtica de aquel entonces. Este elemento mediador estuvo constituido por los conocimientos geomtricos, que en s no pertenecan unilateralmente a los conocimientos originarios. Mientras los conocimientos geomtricos no se integraron en forma de conocimientos tericos, con un determinado grado de sistematicidad y relacin entre ellos, no apareci un vnculo entre ellos y los conocimientos aritmticos.
Conferencia 4
51
Este vnculo que hemos utilizado para determinar el carcter de la geometra como disciplina, no se presenta, de forma general en ninguna de las disciplinas o teoras matemticas, hasta tanto no alcanzan el nivel terico correspondiente. Este hecho es comprendido como un abismo entre la matemtica pura y la matemtica aplicada, de esta manera encontramos que Bertrand Russell inclua a la Matemtica Aplicada de su definicin de la matemtica como rama de la lgica (B. Russell, Obras Completas, T.2, pp. 393-398). En el desarrollo de la Matemtica en este primer perodo, puede observarse como diversos conocimientos que comenzaron a desarrollarse en el seno de la matemtica aplicada, pasaron despus a la denominada matemtica pura. Hechas estas aclaraciones, vamos a referirnos al sistema euclidiano. El contenido de la matemtica euclidiana aparece en trece libros (Euclides, Elementos de Geometra, Universidad Nacional Autnoma de Mxico, 1944), dedicados los seis primeros a la planimetra, los tres siguientes a la teora elemental de los nmeros, el dcimo a la teora de los irracionales y los tres restantes a la estereometra. La Matemtica euclidiana sintetiza a la Matemtica anterior, particularmente a la geometra de Eudoxio. Es digno de observarse que Euclides dedica cuatro de sus tres libros a la teora de los nmeros y que adems sus planteamientos estn encaminados a lo que posteriormente habra de constituir el teorema fundamental de la Aritmtica, es decir, la univocidad de la descomposicin de nmeros en sus factores primos. El libro X merece especial atencin, por estudiarse aqu las nuevas expresiones numricas que le dieron a la geometra el rango de disciplina Matemtica. El propsito de Euclides, en este libro, es determinar el tipo de las irracionalidades que se encuentran en el clculo de los cuerpos regulares, para determinar las condiciones bajo las cuales se puede prescindir del uso de races de la forma:
a+ b.
Como se ve en el comentario de Pappus (320 a.C.), no parece haber adelantado Apolonio (262-190 a.C.) investigando en la forma:
a+ b+ c .
Entre los teoremas generales de Euclides reviste particular importancia, el que expresa que las magnitudes inconmensurables tienen un nmero infinito de trminos. Este teorema es el X2 y
52
puede enunciarse as: Las magnitudes son inconmensurables cuando al aplicarse el algoritmo de Euclides, el nmero de trminos de ste resulta infinito. La presentacin axiomtica de la Geometra, en la obra de Euclides, aument el caudal metodolgico de la matemtica. Analizada la axiomtica de Euclides a la luz de posteriores avances y sobre todo a la luz de la moderna teora de la demostracin, presenta determinados defectos. Ella, sin embargo, se mantuvo como suprema expresin de la matemtica antigua, hasta hace relativamente poco tiempo. Con la matemtica euclidiana termin el perodo histricamente analtico de la Matemtica griega y comenz la etapa sinttica, lo cual signific que todo nuevo conocimiento del perodo poda explicarse a partir de la Matemtica euclidiana. En el campo de la Matemtica aplicada se desarrollaron diversos conocimientos en la antigua Grecia, que despus se integraron a los conocimientos tericos y fueron la fuente de nuevas disciplinas matemticas. Esta posibilidad se contena en los trabajos de Arqumedes (287-212 a.C.), Apolonio y Diofanto (200-284). Este ltimo desarroll la Aritmtica siguiendo la tradicin EgiptoBabilnica, en oposicin al mtodo griego. Algunas particularidades caractersticas del mtodo de razonamiento matemtico y formas de exposicin de Euclides son evidentes ya del primer libro: a) El mtodo de razonamiento de Euclides es siempre sinttico. Para la demostracin de cualquier teorema l parte de la afirmacin vlida a ciencia cierta, la cual se apoya en ltima instancia en el sistema de condiciones iniciales. A partir de esta ltima l desarrolla sucesivamente consecuencias que conducen a la afirmacin buscada. El camino inverso de razonamiento es: tomando el teorema buscado como demostrado, el deducir de l una sucesin de consecuencias, hasta que sea obtenida a ciencia cierta una afirmacin verdadera, en los Elementos en calidad de demostracin no se utiliza. En contraposicin a la sntesis los antiguos denominaron a este mtodo anlisis. b) Las demostraciones se construyen segn un esquema nico que consta de las siguientes partes: formulacin del problema y del teorema (esto es, exposicin); formulacin segn el dibujo de lo que se busca (o sea, determinacin); introduccin de lneas auxiliares (esto es, construccin); demostracin propiamente dicha (es decir, demostracin); declaracin de lo que se demostr y de que lo demostrado resuelve el problema o el teorema adecuadamente propuesto (o sea, conclusin). En forma algo simplificada, este esquema se convirti en tradicional y lleg hasta nuestros das como modelo clsico de razonamiento matemtico, en cierto sentido obligatorio para los matemticos. c) Los medios de construccin geomtrica, la regla y el comps, en esencia no se utilizaban como medios de medicin. La regla no tiene subdivisin. Por esto en los Elementos no se trata de la medicin de las longitudes de los segmentos, de las reas de las figuras y los volmenes de los cuerpos, sino slo sus relaciones. El examen del contenido de los Elementos de Euclides, muestra que esta obra constituye un sistema de los fundamentos de la matemtica antigua. En ella estn incluidos: la geometra elemental, los fundamentos de la teora de los nmeros racionales, la teora general de las relaciones entre magnitudes y basadas en ellas, la teora de las proposiciones y la teora de las cuadrticas y bicuadrticas, elementos del lgebra en forma geomtrica y el mtodo de exhaucin. Lo ms caracterstico de los Elementos es que est dado un sistema que permite ver en l, el predecesor antiguo de la actual construccin axiomtica de las teoras matemticas. Al mismo tiempo la estructura lgica de los Elementos refleja el camino
Conferencia 4
53
histrico de la formacin de las teoras matemticas desde las ms simples, tipo de lgebra geomtrica, hasta las ms complejas: teora de las relaciones, mtodo de exhaucin y clasificacin de las irracionalidades. Ya mencionamos que los Elementos de Euclides dejaron una huella imborrable en la historia de la matemtica y en el transcurso de muchos siglos sirvieron de prototipo clsico de la rigurosidad y secuencia matemtica. Sin embargo, algunas particularidades de los Elementos reflejan una serie de condiciones favorables al desarrollo subsiguiente de las matemticas, las cuales se formaban en la poca de su redaccin. La exposicin es geomtrica, incluso los nmeros estn representados como segmentos. Los medios de construccin geomtrica, en esencia, estaban limitados a la regla y el comps. Por eso en los Elementos no aparecen la teora de las secciones cnicas, ni curvas transcendentes y algebraicas. Finalmente en los Elementos estn completamente ausentes los mtodos de clculos. Todas estas insuficiencias de los Elementos podran, hasta cierto punto, justificarse por los objetivos especficos de su autor. Sin embargo, en las condiciones de la antigedad, este primer experimento de exposicin axiomtica de las Matemticas poda tener una tendencia limitadora tan fuertemente expresada slo bajo la influencia de las tendencias limitadoras generales de la filosofa idealista. Por esto, puede decirse que los Elementos de Euclides reflejan tanto el alto nivel terico de las Matemticas como la situacin socioeconmica e ideolgica desfavorable para el posterior desarrollo al final de la antigedad griega. En el transcurso de toda la multisecular historia de las matemticas, los Elementos constituyen el fundamento de todas las investigaciones geomtricas. Incluso el cambio decisivo de todo el sistema de la geometra, provocado por la introduccin a principio del siglo XIX, en los trabajos de Lobatchevsky, de la geometra no Euclidiana, en gran medida est vinculado con los esfuerzos de perfeccionamiento de los Elementos. Los Elementos de Euclides an en nuestra poca constituyen la base de los textos escolares de geometra, el nmero de sus ediciones es enorme. Un dato que puede ilustrar lo anterior es el siguiente: las versiones espaolas correspondientes al perodo 1574-1774 ascienden a 18 obras!, once impresas y siete manuscritas (L.Vega-Las versiones de los Elementos como signos de los tiempos (15741774), en Contra los Titanes de la rutina, Encuentro hispano- francs sobre Historia de la Matemtica, Madrid, C.S.I.C., 1994). En fin, los Elementos de Euclides vienen a ser la culminacin de una aparente tradicin de tratados en cuyo seno se habra ido gestando y desarrollando la organizacin deductiva de unos resultados y teoremas bsicos hasta tomar la forma de unos cuerpos relativamente sistemticos de conocimientos: la geometra plana en los libros I-IV de los propios Elementos, la teora generalizada de la proporcin en V-VI, la aritmtica en VII-IX o la geometra slida en XI-XIII. Lo anterior es reafirmado si utilizamos a Proclo en sus Comentarios al libro I, donde nombra los siguientes pasos anteriores a Euclides:
Hipcrates [de Chios] fue, de entre aquellos de quienes se tiene noticia, el primero en haber compuesto (protos ... syngrapsen) unos elementos (stoikhea) (66.6-70).
Entre la segunda mitad del siglo V a.C. y principios del siglo IV, Leodamas, Arquitas (428350 a.C.) y Teeteto (415-369 a.C.) avanzaron hacia una construccin ms cientfica de la geometra. Tras ellos, un tal Len: ... pudo compilar (suntheinai) elementos con ms cuidado en la cantidad y utilidad de lo demostrado (66.19-21).
54
Luego Eudoxio de Cnido, algo ms joven que Len, fue el primero en aumentar el nmero de los llamados teoremas generales. Otro autor que tuvo relacin con la Academia platnica y se distingui tanto en Matemtica como en el resto de la filosofa, fue Teudio de Magnesia: Tambin l, por cierto, sistematiz (syntaxen) de modo excelente los elementos y convirti en ms generales muchas propiedades particulares (67.14-16). Poco despus, Hermtimo de Colofn no slo hizo progresos en la lnea de investigacin abierta por Eudoxio y Teeteto, sino que descubri muchos elementos (67.22). En fin, tras hacerse eco de Filipo (mediados del siglo IV), contina Proclo por su cuenta:
No mucho ms reciente que ellos es Euclides, quien ha compilado (synagagn) los elementos sistematizando muchas proposiciones de Eudoxio y perfeccionando muchas de Teeteto, amn de conducir a unas demostraciones incontestables teoremas de los que sus predecesores slo haban dado pruebas endebles (68.6-10).
Proclo no deja lugar a dudas sobre la culminacin de este camino de perfeccionamiento en los Elementos de Euclides, ni sobre sus virtudes: la riqueza de recursos metdicos, el orden selectivo que preside su sistematizacin cientfica, el rigor de sus pruebas e incluso sus calidades didcticas y disciplinarias. En suma: Los Elementos contienen una gua incontestable y perfecta de la investigacin cientfica en geometra (70.16-18). Hay adems, segn es bien sabido por tratarse del aspecto ms comentado a partir del mismo Proclo, secuelas metodolgicas. En este sentido, los Elementos de Euclides fijan una especie de nivel caracterstico de exigencia tanto en lo que se refiere a la sistematizacin deductiva de un cuerpo de conocimientos y a la explicacin de sus asunciones bsicas, como en lo referente al rigor informal de la demostracin matemtica. Bien es verdad que, antes del tratado de Euclides, ya haba seales claras de la explicitacin de definiciones -sobre todo-, y del repuntar de un patrn informal de prueba deductiva. Quisiramos apuntar por ltimo, algunos temas historiogrficos sobre los que debiera trabajarse (L. Vega-Los elementos de geometra y el desarrollo de la idea de la demostracin, Mathesis 8(1992) 403-423): 1. la recepcin y difusin de los Elementos de Euclides hasta el punto de constituir algo as como la geometra natural de nuestro espacio fsico; 2. la suerte y diversidad de los programas acogidos al llamado more geomtrico desde sus primeros rastros (ya en el siglo XII) hasta su confusin con la que llamara axiomtica clsica de los siglos XVII-XVIII; 3. las relaciones entre la propia geometra eucldea propiamente dicha, la de los Elementos, y la geometra euclidiana, i.e., la elaborada modernamente -e.g. a partir de la geometra analtica cartesiana- sobre la base de ciertas asunciones caractersticas compartidas como el postulado de las paralelas.
LOS NMEROS IRRACIONALES Y LAS PARADOJAS DE ZENON Las paradojas de Zenn de Elea (490-430 a.C.) demostraron convincentemente que si se buscan demostraciones exactas y soluciones lgicamente exhaustivas a los problemas, es imposible utilizar el infinito apoyndose en las consideraciones atomsticas ingenuas. Para
Conferencia 4
55
semejantes objetivos es necesario elaborar y valerse de mtodos que contienen, junto a las variedades de los criterios sobre los infinitsimos, elementos del paso al lmite. A pesar que en la anterior conferencia tratamos este punto, creemos que debemos profundizar en algunos aspectos, teniendo en mente siempre las palabras de Russell (The Principles of Mathematics, Second Edition, George Allen & Unwin Ltd, London, 1937):
En este mundo caprichoso nada es ms caprichoso que la fama pstuma. Una de las ms notables vctimas de la falta de juicio de la posteridad es Zenn, el eletico. Habiendo inventado cuatro argumentos, todos inmensamente sutiles y profundos, la tosquedad de filsofos posteriores lo declar a l un mero prestidigitador ingenioso y todos y cada uno de sus argumentos sofismas. Despus de dos mil aos de continuas refutaciones, esos sofismas fueron restablecidos y constituyeron la base de un renacimiento matemtico
Trataremos con la que es, quizs, la ms conocida -y espectacular- de sus aporas, la de Aquiles y la tortuga, propuesta por Zenn hace ya ms de 24 siglos: si el veloz Aquiles concede alguna ventaja a la lenta tortuga, jams podr darle alcance por rpido que corra, el Plida puede acercarse al quelonio cada vez ms, pero sin alcanzarla. Puesto que en la vida real no se necesita ser el algero guerrero tesalio para alcanzar cualquier tortuga, el razonamiento de Zenn era demasiado chocante para ser aceptado. Aristteles (384-322 a.C.), por ejemplo, impugnaba las paradojas de Zenn afirmando que si bien el espacio y el tiempo son infinitamente divisibles en potencia, no lo son en acto; que la esencia del movimiento es precisamente franquear el lmite, ser la identidad entre un lugar y otro lugar, as como el devenir tiene por esencia ser la identidad entre el ser y el no-ser, entre lo mismo y lo otro (Aristteles-Metafsica, Sarpe, Madrid, 1985). Refutaciones de este tipo seguan siendo consideradas vlidas hasta el siglo pasado por filsofos como Hegel (1770-1831). La verdadera refutacin matemtica de las paradojas del eletico, slo es posible desde 1872, ao en el cual Dedekind y Cantor publican, independientemente, sus construcciones de los nmeros reales a partir de los racionales (en esencia, de los naturales). Esa construccin es la culminacin de la llamada aritmetizacin del anlisis (iniciada por Gauss y continuada por Bolzano, Cauchy y Weierstrass), que desterr de las matemticas los misteriosos infinitesimales, a los que dedicaron muchas elucubraciones matemticos aficionados y filsofos (ver por ejemplo K. Marx-Manuscritos Matemticos, Edicin bilinge (alemnruso), Naka, Mosc, 1968). Podemos recalcar, que estas magnitudes infinitamente pequeas volvieron a nacer en 1961 al inventar Abraham Robinson el Anlisis no estndar (ver Nonstandard analysis, Proc. Koninkl. ned. akad. wet. A, v. 64, No.4 (1961), 432-440). Pero estos infinitesimales de Robinson son objetos matemticos perfectamente determinados, que no admiten especulaciones de diletantes. Hay que decir que en estudios muy profundos y detallados como el de Russell en The Principles of Mathematics, que ocupa buena parte de los captulos XLII y XLIII, pero est ms que todo dedicado a explicar la causa de la paradoja; pero Russell no se toma el trabajo de poner a Aquiles a alcanzar a la tortuga, suponiendo que el lector de su obra no debe tener ninguna dificultad en hacerlo por su cuenta. Russell cita dos artculos (N. Noel-Le mouvement et les arguments de Znon d'Ele, Revue de Mtaphysique et de Morale, Vol.I, 107-125 y C. D. Broad-Note on Achilles and the Tortoise, Mind, N.S., Vol.XXII, 318-319) en los cuales, es posible, aunque no muy probable, que los autores se hayan tomado la molestia de hacer clculos. Para comprobarlo habra que efectuar una visita a la London Library, as que mientras los lectores curiosos esperan una oportunidad para hacerlo, les
56
presentamos la elegante solucin dada por B. Mayorga (Sopa de Tortuga, Rev. Integracin, UIS-Colombia, Vol.4, No.1, 1986, 23-34). Supondremos, para evitar problemas de aceleracin, que la carrera de realiza con partida lanzada, de modo que el cronometraje se iniciar en el momento en que los dos corredores hayan alcanzado velocidad constante y la tortuga se encuentre L unidades de longitud delante del Plida en una pista recta con dos carriles paralelos. T
...
t0=0 t1 t2 t3
A x0=0 x1 x2 x3 x4
...
Sea t0 =0 el instante inicial, estando Aquiles en el punto x0 =0 y la tortuga en x0 =L; t1 el momento en que el hroe pasa por el punto x1 y el quelonio por el punto x2, etc. El instante tn estar dado para Aquiles por la frmula: tn = xn/v, y para la tortuga por: tn = (xn+1- x1 )av; igualando (1) y (2) obtenemos: xn+1 = L +axn. (3) (2) (1)
Evidentemente las sucesiones {tn} y {xn} son estrictamente crecientes. Si podemos demostrar su acotamiento superior, tendremos su convergencia; es claro segn (1), que el acotamiento de una es equivalente al de la otra. Luego si logramos demostrar que {xn} converge, eso significar que Aquiles alcanza la tortuga en el punto x'=Lim xn < y en el instante t'=Lim tn <. Sealaremos los pasos ms importantes, dejando al lector el resto de la tarea. Lema 1. En cualquier momento tk la ventaja que la tortuga conserva sobre Aquiles est dada por la frmula: xk+1 - xk = ak L. Lema 2. La sucesin {xn} es fundamental (o de Cauchy). Como se sabe, los espacios mtricos en los cuales toda sucesin fundamental converge a un punto del mismo espacio se denominan completos. Uno de ellos es el conjunto de los nmeros (4)
Conferencia 4
57
reales. La completitud de este se demuestra con base -otra vez- en las construcciones de Dedekind y Cantor de 1872. Con Cauchy hemos podido llegar hasta el Lema 2, pero slo despus de Dedekind y Cantor podemos afirmar que {xn} converge. Ms exactamente, tenemos el siguiente: Teorema. Aquiles alcanza la tortuga en el instante t=L/(1-a)v y el lugar dado por a). x=L/(1-
Estos valores estn dados por un razonamiento elemental, se obtienen adems, tomando lmites en (3) y en (1). EL METODO DE EXHAUCIN Dentro de los mtodos infinitesimales utilizados en la antigedad por los griegos, uno de los ms antiguos es el mtodo de exhaucin. Su creacin se le atribuye a Eudoxio. Ejemplos de su utilizacin estn expuestos en el libro duodcimo de los Elementos de Euclides y en una serie de obras de Arqumedes. El mtodo de exhaucin se aplicaba al clculo de las reas de figuras, volmenes de cuerpos, longitud de curvas, bsqueda de las subtangentes a las curvas, etc. El mtodo de exhaucin fue uno de los mtodos ms difundidos de la Matemtica antigua. Fue utilizado por Arqumedes. Antes, este mtodo lo incluy Euclides en los Elementos, hacindolo el fundamento del duodcimo libro. Los pasos al lmite, que antes se realizaban, frecuentemente, en virtud de consideraciones intuitivas y prcticas, obtuvieron en el mtodo de exhaucin la primera formalizacin terica; histricamente es la primera forma del mtodo de lmites. El rigor lgico del mtodo de exhaucin result insuperable en el transcurso de muchos siglos. En esencia, slo en el siglo XIX fueron propuestos y comenzaron a recibir solucin los problemas que surgen directamente de la esencia lgica del antiguo mtodo de exhaucin. Sin embargo, la forma de este ltimo era muy imperfecta. El mtodo se desarrollaba slo en relacin con problemas concretos: no se convirti en un mtodo abstracto con un sistema desarrollado de conceptos iniciales y con algoritmos nicos. La unicidad del lmite se demostraba para cada problema de nuevo. Esta insuficiencia no era casual, particular. La cuestin es que cada intento de introducir esta demostracin de una vez por todas para una determinada suficientemente amplia, clase de problemas, inevitablemente traa consigo la necesidad de precisar una serie de conceptos de la naturaleza infinitesimal. Seria necesario dar una explicacin racional al concepto de aproximacin infinitamente prxima, de magnitud infinitamente pequea, etc. Los matemticos antiguos no pudieron superar las dificultades relacionadas con esto. No obstante el mtodo de exhaucin yace en la base de muchos mtodos infinitesimales y de logros notables concretos de los matemticos antiguos, en primer lugar de Arqumedes (alrededor de los aos 287-212 a.n.e), al cual le pertenece el parablico. Este sabio notable era oriundo de Siracusa (la parte sur de Sicilia), hijo del astrnomo y matemtico Fidias. Para el perfeccionamiento de sus conocimientos durante algn tiempo trabaj en Alejandra en colaboracin con otros de los ms grandes matemticos. Despus de regresar a Siracusa, Arqumedes continu un intenso trabajo cientfico. En el ltimo periodo de su vida particip en la defensa de su ciudad natal de los conquistadores romanos, dirigiendo la construccin de complejas instalaciones tcnicas e inventando armas. Durante el ataque y toma de Siracusa, Arqumedes fue asesinado y su biblioteca e instrumentos saqueados. Las obras de Arqumedes fueron escritas fundamentalmente en forma de cartas. Hasta nosotros han llegado diez obras grandes y algunas ms pequeas de carcter matemtico. La
58
caracterstica fundamental de las obras matemticas de Arqumedes es la aplicacin de mtodos matemticos rigurosos en la mecnica y la fsica. Esta particularidad hace de los trabajos de Arqumedes el ms brillante modelo del desarrollo de los conocimientos matemticos aplicados, de la tcnica del clculo y de nuevos mtodos matemticos, en especial los infinitesimales, en la poca final de la antigedad. Nosotros no nos proponemos la tarea de dar una caracterizacin completa de la obra de Arqumedes. Aqu consideramos la cuestin sobre la interpenetracin de los mtodos de las matemticas y la mecnica de los trabajos de Arqumedes, sobre la elaboracin por l del mtodo de las sumas integrales y sobre sus as denominados mtodos diferenciales. Numerosos inventos y descubrimientos mecnicos de Arqumedes son ampliamente conocidos. A l pertenece el tornillo Arquimediano, los sistemas de palanca, bloques y tornillos para el levantamiento y movimiento de grandes pesos, determinacin del contenido de las aleaciones mediante su sumersin en agua, el planetario, catapultas, etc. Son conocidos tambin los trabajos tericos de Arqumedes en la mecnica Sobre el equilibrio de las figuras planas, donde se expone la ley de las palancas, Sobre los cuerpos que flotan, El libro de los soportes, etc. En la obra de Arqumedes, los trabajos sobre mecnica ocuparon un lugar tan importante que los mtodos de la mecnica y anlogos penetraron incluso en los mtodos matemticos. Hasta hace poco tiempo era imposible juzgar a ciencia cierta sobre tales penetraciones. La cuestin se aclar definitivamente despus que en el ao 1906 se encontr la obra de Arqumedes Epstola a Eratstenes sobre el mtodo mecnico de resolucin de problemas geomtricos. Este mismo mtodo de analoga mecnica lo utiliz Arqumedes en la obra Sobre la cuadratura de la parbola. Una lmina parablica se representa colgada de uno de los brazos de una palanca de brazos desiguales y divididos en elementos, cada uno de los cuales est equilibrado por la correspondiente carga en el otro brazo. En concordancia con la tradicin cientfica de su poca Arqumedes tradujo las demostraciones, obtenidas por el mtodo de la analoga mecnica, al lenguaje de uso general del mtodo de exhaucin con la obligatoria culminacin de este ltimo, con la demostracin por reduccin al absurdo para cada caso particular. La siguiente variedad de los mtodos infinitesimales de la remota antigedad es el mtodo que puede caracterizarse como el mtodo de las sumas integrales. Los ms brillantes ejemplos de aplicacin de este mtodo se encuentran en las obras de Arqumedes Sobre la esfera y el cilindro, Sobre las espirales, Sobre los conoides y esferoides. La esencia de este mtodo en su aplicacin, por ejemplo, al clculo de los volmenes de los cuerpos en revolucin consiste en lo siguiente: Un cuerpo en revolucin se divide en partes y cada parte se aproxima por cuerpos inscritos y circunscritos, cuyos volmenes pueden ser calculados. La suma de los volmenes de los cuerpos circunscritos ser mayor y la suma de los cuerpos inscritos, menor que el volumen del cuerpo en revolucin.
Conferencia 4
59
Ahora queda escoger los cuerpos que se aproximan inferior y superiormente de tal manera que la diferencia de sus volmenes pueda hacerse tan pequea como se quiera. Como ejemplo de mtodo de las sumas integrales citemos el de la resolucin de Arqumedes del problema del clculo del volumen de un Elipsoide en revolucin en las obras Sobre los conoides y esferoides. As l denomina los cuerpos formados el giro de las secciones cnicas alrededor del eje mayor: los conocidos son los paraboloides e hiperboloides en revolucin y los esferoides son los elipsoides en revolucin. A la resolucin concreta del problema se antepone el lema: si est dado un segmento de esferoide, seccionado de la misma manera, entonces pueden ser inscrito en l y circunscrito alrededor de l figuras que constan de cilindros de igual altura y de tal forma que la figura circunscrita supere a la inscrita en menos que cualquier magnitud slida (volumtrica). Parecera que la analoga del mtodo de las sumas integrales de los antiguos y la integracin definida es total. Tal impresin se refuerza porque nosotros modernizamos la forma de exposicin. Por eso, es necesario sealar tambin sus diferencias. La cuestin est en que el mtodo de las sumas integrales de los antiguos se apoya en un concepto de rea intuitivo, no rigurosamente definido y no utiliza el aparato aritmtico-algebraico. En l no se introducen y no se definen los conceptos generales necesarios: lmite, integral, suma infinita, etc. y no se estudian las condiciones de aplicabilidad de los teoremas enunciados. El mtodo se aplica para cada problema concreto sin la extraccin y formalizacin de sus fundamentos tericos generales. Junto al mtodo de las sumas integrales, en las matemticas antiguas fueron elaborados mtodos, los cuales pueden ser retrospectivamente valorados como diferenciales. Como ejemplo de semejantes mtodos puede servir el mtodo para encontrar la tangente a la espiral en la obra de Arqumedes Sobre espirales. Finalmente, en las matemticas antiguas se consideraban tambin los denominados problemas variacionales. En las obras de Arqumedes semejante problema se encuentra slo una vez en la proposicin final de la obra Sobre esfera y el cilindro. Aqu se consideran segmentos con igual superficie de diferentes esferas y se demuestra que el segmento que tiene forma de semiesfera tiene el mayor volumen. Algo despus, apareci la obra de Zenodoro, en la cual la teora de las figuras isoperimtricas fue desarrollada rigurosa y completamente para los polgonos, crculos y en cierta medida para los poliedros, los cuerpos simples en revolucin y la esfera. Las proposiciones de carcter extremal estaban ampliamente difundidas en aquella poca, algunas veces teniendo un carcter no puramente matemtico, sino mecnico e incluso de filosofa natural. Los mtodos infinitesimales de la Grecia Antigua sirvieron de punto de partida para muchas investigaciones de los cientfico-matemticos de los siglos XVI y XVII. Particularmente con igual frecuencia se estudiaban los mtodos de Arqumedes. Leibniz, uno de los fundadores del anlisis matemtico escribi sobre esto que, estudiando los trabajos de Arqumedes cesas de admirarte de los xitos de los matemticos actuales. Los mtodos infinitesimales constituyen aquella parte de las matemticas antiguas, la cual se formaba bajo la presin directa de las exigencias cientfico-prcticas. Ellos salan de los lmites de sistemas matemticos cerrados formados en aquella poca, construidos sobre la base de un nmero mnimo de condiciones iniciales. En los mtodos infinitesimales obtuvieron la primera manifestacin los elementos de los nuevos recursos matemticos, los cuales condujeron a la creacin de un anlisis infinitesimal. La relacin de contradiccin entre el conjunto de semejantes mtodos y los sistemas lgico-matemticos cerrados en la Grecia Antigua constituyen uno de los ejemplos histricos de contradicciones, las cuales han sido la fuerza motriz del desarrollo de las ciencias matemticas. En Grecia tambin hubo un desarrollo considerable de la parte cuantitativa de la matemtica. Sobre la base del crecimiento de esta parte de las matemticas de cmputo, y
60
posiblemente bajo otras influencias complementarias se engendraron elementos de lgebra y formas elementales de la simbologa algebraica. Sobre estas circunstancias testimonian los mtodos y resultados de Diofanto (siglo III n.e.). La edad de oro de las matemticas griegas lleg a su fin con la muerte de Apolonio (250-190 a.C.). A partir de Tales haba habido una cadena casi continua de matemticos importantes. Hasta el siglo III n.e. cuando Hern (65-125), Pappus (290-350) y Diofanto (200-284) dieron fama una vez ms a la escuela alejandrina, parece no haber habido ningn matemtico de preeminencia. Durante ese intervalo de medio milenio, la presin de la cultura romana haba desalentado a los matemticos griegos, si bien se mantuvo un cierto inters por la mecnica y la astronoma; la poca produjo al gran astrnomo Hiparco (180-125 a.C.) y dos notables comentaristas: Menelao (70-130) y Ptolomeo (ver Conferencia anterior). De las obras matemticas de Diofanto, el cual vivi y trabaj en Alejandra, se conservan 6 libros de la Aritmtica y fragmentos del libro Nmeros Poligonales y Porismas. Estos libros comenzaron a atraer la atencin en Europa slo 1200 aos despus de ser escritos. Como observ Regionmontano en 1463; En estos libros antiguos se halla oculta la flor y nata del conjunto de la aritmtica, el ars rei et census que actualmente conocemos bajo el nombre rabe de lgebra. El concepto de nmeros poligonales surgi en la matemtica pitagrica como consecuencia de la interpretacin geomtrica de las relaciones tericonumricas. Si se designan los nmeros por puntos y se distribuyen en forma de cualquier figura, entonces las sumas parciales de las progresiones aritmticas (de la forma a1=1, d=n-2) pueden ser representadas en forma de familias de polgonos semejantes (ver figura para n=3,4,5) y los correspondientes valores numricos se llaman poligonales. En la poca de Diofanto, tal idea tambin se extenda al espacio. Con ello se obtenan los nmeros espaciales, representados por familias de paraleleppedos semejantes, nmeros piramidales, etc.
. . . . . . . . . .
n=3
. . . . . . . . . . . . . . . .
n=4 n=5
Las operaciones con los nmeros racionales, se investigan en la Aritmtica. En el primer libro l introduce los conceptos fundamentales de la aritmtica, las reglas de los signos de multiplicacin, las reglas de las operaciones con polinomios, resuelve ecuaciones lineales. En los libros siguientes estn contenidos numerosos problemas que conducen a ecuaciones con coeficientes racionales, que tienen races racionales. Diofanto en todos los problemas utiliza valores numricos especiales y realiza slo operaciones con nmeros, no mencionando en ninguna parte teoremas generales. Para la designacin de la cantidad incgnita en la ecuacin y para la escritura de las funciones de ella estuvo obligado a elaborar un sistema de smbolos. La simblica de Diofanto est basada en la abreviatura de palabras. En la historia del desarrollo de la simbologa algebraica sta marca el paso de las expresiones con palabras de las dependencias algebraicas (lgebra retrica) a las abreviaturas de estas expresiones (lgebra sincopada). La siguiente etapa de desarrollo ya es el lgebra puramente simblica, que comenzar con Vieta dentro de 13 siglos. Para tener una idea ms clara de esto, tomemos la siguiente expresin simblica:
Conferencia 4
61
(250x + 2,520): (x4 + 900 - 60x), sus sncopas le permitieron escribir, y trabajar, con ecuaciones que implicaban stas u otras expresiones parecidas. Por 250x escribi v: aqu la letra v significaba 50 y , 200 de acuerdo con la prctica griega corriente. Pero era una abreviacin de la palabra griega que significa potencia (es nuestra palabra dinmica); y potencia representaba el cuadrado del nmero desconocido. Diofanto emple la letra s para la primera potencia de la incgnita y la abreviacin de la palabra cubo para la tercera potencia. No emple ningn signo ms, pero s una especie de para menos, la letra para igual y una frase especial para designar la divisin de una expresin por otra. Es interesante que su idea de adicin y sustraccin fuera venidero y deficiente y que la palabra griega para deficiente se halle relacionada con el trmino pitagrico elipse. Con ayuda de semejante simblica, en los libros 2-6 de la Aritmtica Diofanto resuelve (encuentra una de sus soluciones racionales) numerosos problemas que conducen en su mayora a ecuaciones indeterminadas de segundo grado. Encuentra soluciones racionales de alrededor de 130 ecuaciones indeterminadas, las cuales pertenecen a ms de 50 clases diferentes. En cada caso Diofanto se limita a encontrar una sola raz. Un mtodo general de solucin de estas ecuaciones o su clasificacin, no aparece en la obra de Diofanto. No hay tampoco demostraciones; la veracidad del resultado obtenido se confirma slo porque al efectuar la sustitucin satisface las condiciones del problema. La teora general de las ecuaciones diofnticas de primer grado ax + by =1, donde a y b son enteros primos entre s, fue construida en el siglo XVII por el matemtico francs Bachet de Mziriak (1587-1638), quien tambin edit en el ao 1621 las obras de Diofanto en griego y latn con sus comentarios. Sobre la teora general de las ecuaciones diofnticas de 2do grado trabajaron muchos matemticos notables: Fermat, J. Wallis, Euler, Lagrange y Gauss. Como resultado de sus esfuerzos a comienzos del siglo XIX estaba en lo fundamental investigada la ecuacin general no homognea de 2do grado con dos incgnitas y coeficientes enteros ax + bxy + cy + dx + ey + f = 0. Las ecuaciones diofnticas son objeto de estudio en la matemtica contempornea. As se denominan las ecuaciones algebraicas indeterminadas o sus sistemas con coeficientes enteros, a los que se les busca soluciones enteras o racionales. Un punto de vista ms general sobre las ecuaciones diofnticas consiste en que las soluciones de estas ecuaciones se buscan entre los nmeros algebraicos. Investigaciones fundamentales en la teora de las ecuaciones diofnticas han sido llevadas a cabo por los matemticos de la antigua URSS: A. O. Guelfond, B. N. Delone, D. K. Faddev y V. A. Tartakovsky. El nombre de Diofanto se afianz slidamente tambin en la parte de la teora de los nmeros que estudia la aproximacin de los nmeros reales por nmeros racionales. Estas aproximaciones se denominan diofnticas. Con esta teora tambin se relacionan las cuestiones relativas a la solucin en nmeros enteros de desigualdades (o sus sistemas) con coeficientes reales y las cuestiones sobre la teora de los nmeros trascendentes. Un lugar central de la teora de las aproximaciones diofnticas lo ocupan los mtodos y resultados del acadmico I. M. Vinogradov. Todo esto sirviera para situar a Diofanto como un algebrista respetado, pero lleg ms lejos. Pongamos el caso de la ecuacin x 4 + y 4 + z 4 = u, hall 4 nmeros enteros para los cuales la afirmacin es cierta. Siglos ms tarde, Fermat se preguntaba: Por qu Diofanto no busc dos cuartas potencias tales que su suma fuese un cuadrado? De hecho este problema es imposible, como puedo demostrar con todo rigor mediante mi mtodo. Sin duda, Diofanto haba experimentado lo suficiente con dicha ecuacin, para demostrar que no haba solucin.
62
De esta forma, las obras de Diofanto sirvieron en esencia de punto de partida a muchas investigaciones terico-numricas y algebraicas. Con relacin a las matemticas antiguas, ellas caracterizaron el reforzamiento de las tendencias algebraicas, el florecimiento de las cuales fue entorpecido (como tambin el desarrollo de todas las ramas de las matemticas) por las condiciones socio-econmicas desfavorables de los siglos siguientes, sobre todo en Europa. Entre los rasgos caractersticos de las matemticas de esta poca, se encuentra adems la gran difusin de obras que son comentarios a las obras clsicas. El predominio de los comentarios constituye, indudablemente, un criterio de descenso en la creatividad matemtica. Sin embargo, las obras de los comentaristas fueron muy tiles para la historia de las matemticas, conservando en fragmentos o en recuentos muchas obras clsicas importantes. A veces los comentarios son la nica fuente de informacin sobre obras perdidas o logros olvidados de los matemticos antiguos. LOS PRINCIPIOS FUNDAMENTALES DE LA ESTTICA Y EL POSTULADO DE EUCLIDES. Para demostrar el principio de la palanca, Arqumedes se apoya en ciertas hiptesis: algunas enunciadas; otras, sobreentendidas. Entre las hiptesis pasadas en silencio, adems de la que con lenguaje moderno se llama hiptesis del refuerzo de las ligaduras, hay uno de los mismos casos de la palanca, que pudiera enunciarse as:
Una palanca, suspendida por su punto medio, est en equilibrio cuando a un extremo se aplica el peso 2P y al otro extremo se cuelga, por el punto medio, una nueva palanca, llevando en cada extremo un peso igual a P.
Sin entrar en la historia de las crticas hechas a Arqumedes por el uso de tal hiptesis y de las varias tentativas hechas para demostrarla, refiramos a este propsito las argumentaciones de Lagrange, porque de ellas puede hacerse derivar de un modo sencillo y claro una importantsima conexin entre la hiptesis en cuestin y el postulado de las paralelas. Sea ABD un tringulo issceles (AD=BD), cuyos vrtices A y B soportan dos pesos iguales a P, y el vrtice D un peso igual a 2P. Este tringulo estar en equilibrio alrededor de la recta MN, que une los puntos medios de los lados iguales del tringulo, porque cada uno de estos lados puede mirarse como una palanca cuyos extremos soportan pesos iguales. Pero el equilibrio de la figura se puede obtener tambin apoyando el tringulo sobre una recta que pase por el vrtice D y por el punto medio C del lado AB, por lo cual, llamando E al punto del encuentro de los dos ejes MN y CD, nuestro tringulo estar en equilibrio si se le suspende por el punto E. Con palabras de Lagrange tendremos (Euvres de Lagrange, t.XI, pp. 4-5):
Or comme l'axe (MN) passe par le milieu des deux cts du triangle, il passera aussi ncessairement par le mileu de la droite mene du sommet du triangle au milieu (C) de sa base; donc le levier trnsversal (CD) aura le point d'appui (E) dans le mileu et devra, par consquent, tre charg galement aux deux bouts (C,D): donc la charge que supporte le point d'appui du levier, qui fait la base du triangle, et qui est charg, ses deux extrmits de poids gaux, sera gale au poids double du sommet et, par consquent, gale la somme des deux poids.
D
Conferencia 4
63
N E C B
El razonamiento de Lagrange, adems de contener algunas hiptesis de ndole esttica, relativas a las simetras, al refuerzo de las ligaduras, etc., utiliza una propiedad geomtrica del tringulo eucldeo. Pero si se quiere prescindir de sta, lo que, bajo cierto aspecto, parece natural, las anteriores conclusiones vienen modificadas. En efecto, subsistiendo como verdadero el principio de que el tringulo ABD est en equilibrio alrededor del punto E, en que se encuentran los dos ejes MN y CD, no se puede asegurar que sea E el punto medio de CD, porque esto equivaldra a admitir el postulado de Euclides. Por consiguiente, no se podr asegurar que los dos pesos aplicados en A y B puedan sustituirse con el nico peso 2P, aplicado en C, puesto que, si tal sustitucin pudiese tener lugar, debera subsistir el equilibrio de una palanca con pesos iguales en los extremos, alrededor de un punto que puede no ser su punto medio. Recprocamente, si se admite con Arqumedes, que a dos pesos iguales pueda sustituirse un peso nico aplicado al punto medio de la palanca, se deduce fcilmente que E es el punto medio de CD y, sucesivamente, que ABD es un tringulo eucldeo. Con esto queda establecida la equivalencia entre el V Postulado de Euclides y la susodicha hiptesis de Arqumedes. Tal equivalencia, bien entendido, es relativa al sistema de hiptesis formado por las hiptesis estticas antes indicadas y por las hiptesis geomtricas ordinarias. Por ltimo debemos decir, que el otro principio fundamental de la esttica, esto es, la ley del paralelogramo de las fuerzas, en la usual interpretacin geomtrica que a l se acompaa, est en estrecha conexin con la naturaleza eucldea del espacio. CUESTIONARIO 1. Describa el contenido matemtico de los Elementos de Euclides. 2. Destaque el papel que jugaron los Elementos en la Historia de la Matemtica. 3. Cules son las particularidades del mtodo de razonamiento matemtico y las formas de exposicin de Euclides? 4. Analice la Proposicin 47 del Libro I y el V Postulado. 5. Describa el Mtodo de Exhaucin utilizado por los antiguos griegos. Cul es su principal insuficiencia? 6. Explique las tres Aporas de Zenn. Cul es su base matemtica? Cmo resolver la contradiccin presentada?
64
7. Obtenga una solucin general (matemtica) para estas paradojas, por ejemplo, la de Aquiles y la Tortuga. 8. Expn los principales elementos del trabajo matemtico de Arqumedes. 9. Expn los principales elementos del trabajo matemtico de Diofanto. Destaque los rasgos de su lgebra sincopada. 10. Presente, mediante ejemplos convenientes, la teora de las ecuaciones diofnticas. 11. Demuestre la equivalencia entre el Principio de la Palanca de Arqumedes y el V Postulado de Euclides. 12. Explique en qu consisti la 1era crisis en los fundamentos de la matemtica. Presente un mtodo general de obtencin de irracionalidades del tipo a. Existe algn resultado general en este sentido, con a natural?
Conferencia 5
65
Conferencia 5. Las matemticas en el medioevo. Los rabes. Solucin de las ecuaciones de 3er y 4to grado en radicales. Desarrollo de la simbologa algebraica. Clculo literal de Viete. El arte de progresar consiste en preservar el orden durante el cambio y preservar el cambio en medio del orden Alfred North Whitehead
os antiguos chinos definan sus matemticas como el arte del clculo, que consiste en realidad en un vasto conjunto de prcticas y de corrientes que se desarrollaron en el mundo chino entre el primer milenio antes de nuestra era y la cada de la dinasta manch, en 1911. Ulteriormente, las matemticas chinas se occidentalizaron y el saber matemtico tradicional se torn casi impenetrable sin una informacin clsica. ADIVINACIN, ASTRONOMA Y MATEMTICAS Aunque las escrituras chinas cumplan una importante funcin ya en la poca remota en la que se constituyeron los grandes textos cannicos chinos (los clsicos, elemento esencial de la formacin de las elites intelectuales de todas las pocas), las matemticas no se consideraban un saber que valiera la pena preservar en textos autnomos. No obstante, las matemticas aparecen ya al surgir lo que el sinlogo L. Vandermeersch califica de racionalidad divinatoria, organizada en sus comienzos en torno a la adivinacin mediante el carey de tortuga, los huesos de diversos cuadrpedos o la aquilea. Esta adivinacin fundaba sus pronsticos en la interpretacin de los signos naturales ms variados, especialmente meteorolgicos y astronmicos (arco iris, etc.). Sin embargo, esta estructuracin mgica del mundo no exclua los medios de investigacin puramente racionales; los adivinos intentaron, con cierto xito, incorporar todo lo que observaban en esquemas numricos y aritmticos, destinados al registro de los signos memorables del pasado y a la prediccin de ciertos acontecimientos recurrentes. Algunas predicciones relativas a fenmenos celestes peridicos y regulares comenzaron a verificarse claramente, lo que dio origen al calendario y a la astronoma-matemtica. Ahora bien, cada dinasta sola afirmar su legitimidad mediante el establecimiento de un nuevo sistema de clculo cuyas tcnicas deban servir tanto para apreciar los acontecimientos del pasado, consignados por los redactores de anales, como para predecir los acontecimientos futuros. Por lo tanto, la clase dirigente necesitaba personas competentes en la prctica de los clculos astronmicos y de calendarios. As naci, poco a poco, un cuerpo especializado de cronlogos imperiales que cumplan simultneamente funciones de historiadores-analistas y de astrlogos-calendaristas. La persistencia de las exigencia de quienes estaban en el poder explica que en China la escena matemtica haya estado dominada por la bsqueda de procedimientos adecuados para predecir los grandes acontecimientos celestes (conjunciones, ocultaciones, eclipses). Sin embargo, como los astrnomos calendaristas de la China imperial tenan generalmente una situacin social modesta y sus conocimientos se trasmitan de generacin en generacin, a menudo se denigraba su actividad y no se vea en ella ms que estancamiento y respeto obtuso de la tradicin. En realidad, se advierte ms bien una extraordinaria permanencia de los conflictos que oponan a las escuelas rivales. Desde el comienzo de nuestra era hasta el siglo XVI el calendario fue reformado por lo menos cincuenta veces. Esos conflictos, empero, resultaron
66
ms constructivos que destructivos, pues llevaron a una adecuacin progresiva entre la realidad observada y los clculos previos. Lamentablemente slo han llegado hasta nosotros unas pocas obras dedicadas exclusivamente a la astronoma-matemtica; a menudo slo existen monografas redactadas por letrados no especialistas e insertadas en forma abreviada en los sucesivos anales dinsticos. LOS FUNCIONARIOS MATEMTICOS DEL CELESTE IMPERIO Bajo la dinasta Han (206 a.C.-220 n.e.) aparece otra clase de matemticas, consignadas ahora en manuales autnomos e independientes compuestos por colecciones de problemas acompaados de recetas para resolverlos y agrupados en captulos en funcin de centros de inters determinados. Con frecuencia, los datos son tan precisos y los enunciados tan realistas que casi permiten reconstituir cabalmente la vida socioeconmica de la China en determinadas pocas. No se deja de lado ningn detalle concreto, trtese ya de la recaudacin de los impuestos, de las prestaciones personales, de los pesos y medidas, de la moneda, de la construccin de diques o de canales, ya de gestin de la mano de obra o de los transportes terrestres o fluviales, de asuntos policiales o de logstica militar. Con estos manuales se formaron las generaciones de funcionarios-matemticos que requera la burocracia imperial. La dinasta Tang (618-907) haba establecido un sistema de exmenes que sancionaban ciclos de estudios relativos tanto a las letras como a las matemticas. Aunque en los programas de estudios las matemticas figuraban en ltimo lugar, los estudios de estas disciplinas en el colegio de los hijos de Estado, duraban siete aos y comprendan las Diez obras cannicas de matemticas. Bajo los Song del sur, en 1084, las autoridades centrales consideraron conveniente hacer imprimir todos los manuales de matemticas, pero despus del 1230 se excluyeron definitivamente las matemticas de estos programas de exmenes que pasaron a abarcar solamente las materias literarias. Paradjicamente, los breves perodos de institucionalizacin de la enseanza de las matemticas no fueron aquellas en las que stas alcanzaron su apogeo. Por el contrario, los progresos ms sobresalientes coincidieron en fases de divisin del Imperio, de guerras y de descomposicin de la burocracia. En la poca de los Reinos Combatientes (453-222 a.C.) una secta de monjes predicadores, los Mohistas (discpulos de Mozi), elabor los rudimentos de una lgica que cay rpidamente en el olvido. En la poca de la divisin de la China en tres reinos (220-265) apareci el matemtico de la China antigua Liu Hui, autor de verdaderas demostraciones matemticas, y de cuya vida lamentablemente nada se sabe. En tiempos de las conquistas de los mongoles se ven surgir repetidamente soluciones inditas que se olvidan con la misma rapidez. En la misma poca aparece Zhu Shijie, original profesor itinerante que, hacia el ao 1300, recorra China enseando los resultados de sus investigaciones. Tambin en esos aos turbulentos el ermitao Li Zhi (1192-1279) organiza un crculo privado dedicado al estudio de los misterios del mundo y del nmero, que dio origen al lgebra china. Finalmente, en el siglo XIX, poco despus de la guerra del opio, cuando el Imperio chino se encontraba en una situacin desastrosa, Lin Shanlan (1811-1882), habiendo fracasado en los exmenes literarios, se entreg a las delicias del arte y descubri asombrosas frmulas sumatorias acabadas, perfectamente correctas, que un siglo ms tarde iban a sumir en la mayor perplejidad a matemticos de tanta envergadura como el hngaro Paul Turan. Las razones por las cuales las matemticas florecan de esta manera tan sbita como efmera son oscuras. Es posible que la anarqua poltica liberara a la elite intelectual de la obligacin de preparar los esterilizantes concursos que daban acceso a los cargos de mandarn. Como el confusionismo, ideologa dominante, atribua a las matemticas un lugar subalterno, quienes
Conferencia 5
67
se sentan atrados por esa disciplina podan dar libre curso a sus inclinaciones sin correr ningn peligro. A partir del siglo XVIII, algunos amantes de la filosofa y especializados en crtica de textos concibieron la idea de recurrir a las matemticas como ciencia auxiliar de la historia. Hubo quienes procuraron utilizar la astronoma matemtica para verificar la autenticidad de los clsicos, tratando, por ejemplo, de determinar mediante el clculo la realidad histrica de ciertos acontecimientos naturales mencionados en documentos antiguos (sobre todo, eclipses lunares o solares). Otros se apasionaron por el estudio de las ciencias concretas: economa monetaria, hidrulica, ingeniera civil, arquitectura, etc. Estas incursiones por senderos solitarios y escarpados engendraron a veces el gusto por las matemticas puras, independiente de sus aplicaciones. Tambin podramos destacar el papel que desempearon los contactos con los extranjeros: con los hindes en la poca de la difusin del budismo durante el primer milenio de nuestra era, con los pueblos rabes y persas durante la expansin mongol, o con los misioneros europeos a partir de fines del siglo I. Antes de 1600 se observan coincidencia con matemticas de otras culturas, sin que se pueda decidir si son una muestra de influencias recprocas o simplemente de una evolucin paralela. Por ejemplo, el cero chino, que aparece por primera vez hacia 1200 en tablas astronmicas y que se representa por escrito en forma de un pequeo crculo, como se hace actualmente, podra ser de origen hind. Numerosas representaciones matemticas, antiguas o medievales, helnicas, indias, rabes, europeas o chinas, presentan semejanzas sorprendentes. En China y en Grecia existan tcnicas matemticas muy similares: la determinacin del volumen de la pirmide, primero por Euclides y ms tarde por Liu Hui (siglo III de nuestra era); el clculo del volumen de un slido mediante la interseccin de dos cilindros ortogonales, efectuado por Arqumedes y por el mismo Liu Hui; y podran citarse muchos otros ejemplos. Aunque estas coincidencias expresen esencialmente verdaderas influencias, las matemticas chinas poseen una coherencia interna y su propio modo de desarrollo. LA ORIGINALIDAD DE LAS MATEMTICAS CHINAS No se hallarn en las matemticas chinas los razonamientos geomtricos insertados en tramas lgicas y discursivas basados en axiomas, de postulados, de definiciones o de teoremas, ni las verdades absolutas al estilo euclidiano, sino solamente verdades relativas y provisionales. En geometra no hay ngulos ni paralelas, sino nicamente longitudes, reas y volmenes. Tampoco existe un lgebra semejante a la rabe, ni la bsqueda de races de ecuaciones mediante radicales o por interseccin de curvas algebraicas, ni el lgebra retrica, es decir, expuesta por escrito en frases largas y verbosas. No obstante, las matemticas chinas no se fundan en procedimientos puramente empricos. En realidad, se basan en razonamientos o en procedimientos operatorios construidos en torno a principios heursticos; se trata de poner de relieve el proceso de descubrimiento antes que presentar los detalles del razonamiento de lo ya adquirido. Por ejemplo, unos de los principios cardinales de la geometra china estipula que el rea o el volumen de una figura no experimenta variacin alguna despus de fragmentarla y de volver a ensamblar los trozos, incluso si el nmero de stos se torna potencialmente infinito. Este tipo de principio no excluye de ningn modo el empleo de un sistema axiomtico pero, en realidad, las figuras chinas no son generalmente objetos ideales abstractos, sino ms bien piezas de un rompecabezas, perfectamente tangible, que es posible distinguir gracias a su color y manipular a voluntad. La geometra china se basa esencialmente en ingeniosas disecciones que permiten mostrar ciertos resultados. Un procedimiento de esta naturaleza desempea un importante papel, pues sirve no slo para calcular reas y volmenes, sino tambin para poner
68
de manifiesto algunas propiedades relativas al tringulo rectngulo, para el clculo de la suma de series, la resolucin de ecuaciones o de sistemas de ecuaciones, y para demostrar en forma visual el equivalente de las identidades extraordinarias. Es ms, la geometra china no considera escandaloso (como lo hizo Euclides) recurrir al clculo o a cualquier arbitrio que pueda ser til en una situacin determinada. En una palabra, no repara en medios. Este rasgo proviene sin dudas del taosmo; en efecto, se sabe que los matemticos chinos de los siglos III a V de nuestra era admiraban incondicionalmente a Zhuangzi, padre del taosmo filosfico, que negaba que el lenguaje fuera un medio fundamental de acceso a la realidad. Sosteniendo que sus lmites quedaban demostrados por sus razonamientos falaces de los sofistas, haba llegado a la conclusin de que el razonamiento discursivo, capaz de engendrar conclusiones a todas luces falsas, no era un medio seguro de aprehender la realidad. De ah que los matemticos chinos, bajo la influencia del taosmo, confiaran muy poco en el lenguaje. En cambio, se observan en ellos una tendencia a emplear todos los medios a su alcance, sin menospreciar jams el testimonio concreto de los sentidos. Esto explica que fueran propensos a los clculos y a toda clase de manipulaciones que les permitieran evitar le verbalizacin, y que slo recurrieran en ltima instancia al razonamiento discursivo. Cabe preguntarse cmo es posible que una matemtica tan invadida por lo concreto haya producido resultados tan complejos. En realidad, el carcter concreto de las manipulaciones chinas no se supone en lo absoluto una falta de abstraccin; muy por el contrario, algunos resultados obtenidos mediante la manipulacin de piezas de rompecabezas suponen un gran ingenio y una extraordinaria capacidad de abstraccin. Adems, los matemticos chinos se vieron a menudos obligados a deformar a sabiendas la realidad, pues les era muy difcil ensear su disciplina respetando escrupulosamente la profusin y la complejidad de las experiencias vividas. Por esta razn muchos problemas chinos ocultan, bajo una apariencia concreta, situaciones puramente ficticias: valores muy grandes o muy pequeos, imposibles en la realidad, o desprovistos de sentidos, como por ejemplo un nmero de hombres no entero; datos combinados entre s de manera arbitraria con respecto a la realidad, especialmente cuando se aaden aritmticamente reas a volmenes y a precios; inversin del papel de los datos y de las incgnitas, cuando se pide calcular las dimensiones de los objetos a partir de los intereses devengados, o la cantidad de mercancas sobre la base de la parte recibida por cada uno. Claro est, estos procedimientos permiten el acceso a situaciones muchos ms interesantes desde el punto de vista matemtico que desde el de la vida cotidiana. Sobre ese terreno ficticio se desarroll el lgebra china. En los manuales ms antiguos se observa la acumulacin de recetas de clculo tiles para solucionar tipos limitados de problemas. En el caso extremo, cada problema constituye un caso particular, aunque ms tarde aparecieron procedimientos uniformes capaces de resolver tipos cada vez ms amplios de problemas. En este nuevo marco, la fantasa concreta ya no sirve como gua en la bsqueda de soluciones. Empero, nada de todo esto tendra importancia sin la intervencin del clculo. La originalidad china consiste en este caso en una prctica basada en el uso de los instrumentos para calcular. Sin duda, el ms conocido de estos instrumentos es el baco, que apareci tardamente (hacia el siglo XV). La prctica de los matemticos chinos se basa ante todo en la manipulacin de varillas de calcular Chosuan, cuya posicin relativa permita distinguir los diversos coeficientes numricos de las ecuaciones. Expresados en forma de configuraciones de la posicin de las varillas de calcular, los problemas chinos quedan en cierto modo depurado de su contexto concreto y pasan a depender nicamente de procedimientos de clculo establecidos.
Conferencia 5
69
Se trata del mtodo conocido por el nombre genrico de Fangcheng (en esta palabra, Fang significa cuadrado o rectngulo y Cheng significa repartir; es pues un mtodo que consiste en distribuir nmeros distinguiendo dos direcciones principales y formando un cuadrado o un rectngulo, o sea, como diramos ahora, una matriz). Adems, haba dos clases de varillas, las rojas y las negras, es decir, las positivas y las negativas, que representan las fuerzas complementarias que organizan el inverso chino, el Yin y el Yeng. Estamos pues ante el lgebra instrumental, que elude todo razonamiento discursivo. De all procede su vigor, pero tambin su debilidad; en sus procedimientos manipulatorios, los clculos desaparecen a medida que se efectan. Este arte de las varillas se asemeja al arte del virtuoso que ejecuta una partitura sin mirarla; no es casual que algunos matemticos chinos comparen explcitamente las matemticas con la msica. Clculo y manipulacin, tales son los ingredientes bsicos de una matemtica que nunca se sinti limitada por ningn sistema dogmtico, y que integr sincrticamente, en diversos momentos de su historia, numerosos elementos venidos de otros lugares. Los sabios rabes, presentes en la India desde el siglo VIII de nuestra era, hicieron en los textos snscritos dos descubrimientos capitales que desarrollaron posteriormente por su cuenta y transmitieron a Occidente: la escritura de los nmeros en el decimal, con la nocin de cero por una parte y, por otra, la trigonometra de los senos. Estas incursiones de los matemticos de la India antigua en el mbito de la escritura, del clculo y de la triangulacin no era producto de la casualidad sino que responda a las preocupaciones tradicionales de la India, cuyos sabios han mostrado siempre un gusto y un talento particular en relacin con la gramtica. MATEMTICAS Y ESCRITURA Las matemticas comparten, en efecto, con todas las dems disciplinas cientficas de la India antigua ciertas limitaciones y estilos ligados a la lengua snscrita y a la versificacin. Los grandes textos matemticos estn en snscrito; en principio, son la obra de un Brahmn. Un texto bsico a menudo elptico -aforismos (es el significado de la palabra Sutra) o bien estrofas que se aprenden de memoria - es objeto de una sucesin ininterrumpida de comentarios en prosa. Estos esclarecen el sentido junto con confirmar el carcter aforstico de los textos antiguos, concebidos manifiestamente como resmenes de la enseanza de un maestro deseoso de dejar su impronta en la memoria de sus discpulos. CIFRAS Y SIMBOLISMO NUMRICO Existen testimonios antiguos del empleo de cifras, en sentido de smbolos grficos, en las inscripciones en piedra o en cobre que estudian los arquelogos. As, las cifras 4 y 6 se han encontrado en las inscripciones de Asoka que datan del siglo III a.C.; pero estn pocos presentes en los textos matemticos propiamente dichos. Los denominados nmeros arbigos, porque fueron transmitidos por autores rabes, dieron origen a los nmeros indios; pero por lo general se emplean poco en los textos snscritos, en los que los nmeros se indican en letras o se simbolizan mediante ordenaciones alfabticas. Los nmeros se disponan verticalmente en varias lneas; por lo menos es lo que se desprende del comentario del Aryabhatiya compuesto por Bhaskara el antiguo en 629. Ahora bien, que estn hechos en papel o en hojas de palmera, los manuscritos indios por lo general no duran ms de tres siglos; transcurrido este lapso, son destruidos por los insectos o por el moho. Los manuscritos de ese comentario que han llegado hasta nosotros son copias modernas y no pueden constituir un testimonio de la forma de escribir en una poca anterior. El manuscrito de Bakhsali (siglo XII) es sin duda en ese sentido el documento ms antiguo: ilustra
70
operaciones en nmeros arbigos dispuestas en varias lneas, en una especie de cartuchos o recuadros. En cuanto a los textos matemticos clsicos, la ausencia de smbolos grficos, de cifras, en los aforismos a las estrofas no impide que se recurra a un simbolismo. Simplemente, ese simbolismo es de carcter gramatical o retrico. Las cifras se representan mediante clichs literarios y metforas, gracias a un juego ilimitado de sinonimias que caracteriza la lengua snscrita. As, Nayana (ojo) o babu (brazo) son nombres del nmero dos. Agni (el fuego) designa el 3 (hay tres fuegos rituales vdicos) y Adri (montaa) designa el 7 (las siete montaas de la India en la geografa religiosa). Los vocablos snscritos para cielo o espacio designan el cero. El orden del enunciado de las cifras en el interior del nmero es el inverso del nuestro: 23 se dice Agni-nayana. Este simbolismo es til para escribir en verso series de nmeros que hoy da se presentaran en forma tabulada. En los almanaques, en la India como en otras partes desde hace siglos, los datos astronmicos se disponen en columnas de cifras, pero esta forma de presentacin, inventada por los rabes, es relativamente reciente. Las series de cifras en los textos snscritos antiguos aparecan en forma de verso o de estrofas. Otro tipo de simbolismo numrico utilizado frecuentemente en los textos astronmicos y matemticos se basa en el alfabeto snscrito. Varios son los sistemas empleados, y en particular el sistema Katapayadi, muy difundido en el sur de la India, que permite expresar los grandes nmeros y las tablas trigonomtricas en forma de juegos de palabras, aforismos o estrofas mnemnicos. El sistema es suficientemente flexible como para permitir escribir nmeros recurriendo a expresiones que admiten una doble interpretacin. Por ejemplo, Acaryabag abhedya, exhortacin brahmnica que significa literalmente no debe traicionarse la palabra del amo, es la escritura en clave del nmero 1434160, cronograma que designa el da 1434160 de la Kali, da en que el filsofo Sankaracarya introdujo ciertas reformas. Tuvo en este caso la escritura potica una influencia sobre el razonamiento? Exista acaso un carcter especfico, algo especial en el pensamiento y en la posicin social de los matemticos hindes que los mova a colocar su enseanza en el molde de un discurso literario? ESPECIALISTAS EN ASTROS Nunca hubo en la India una casta de matemticos, ni verdaderamente una escuela. Los matemticos, si denominamos as a los autores y a los usuarios de los textos snscritos que tratan de geometra, de aritmtica y del lgebra, trabajan en relacin ms o menos estrecha con los especialistas en el ritual vdico o brahmnico. Brahmanes o miembros de castas elevadas, de cultura snscrita, eran, en la clasificacin de los hombres de ciencia, JYOTIRVID, especialistas en astros. La mayora de los textos matemticos figuran en tratados de astronoma; la trigonometra, por lo dems, no adquiere todo su sentido sino en el estudio de las distancias angulares entre los astros. Como todas las ciencias (las sastras) brahmnicas, las matemticas se cultivaron en principio con fines religiosos: contribuan a la ejecucin adecuada de los ritos. Nada sabemos de la vida de los grandes matemticos, pero podemos imaginar sin temor a equivocarnos el marco ritualista y escolstico en el que trabajan pues impregna el estilo de los textos snscritos, apoyndose en un texto que los alumnos aprendan repitindolo palabra por palabra hasta que se les pegara en la garganta (lo supieran de memoria), la enseanza oral del maestro proporciona las ilustraciones, las demostraciones y las operaciones que explica el texto. Este es una llave que abre el campo del saber, un instrumento de realizacin espiritual. El Lilavati de Bhaskara (siglo XII) desempea tradicionalmente este papel para la aritmtica y por ello concluye con una estrofa con doble significado en la que Bhaskara
Conferencia 5
71
compara su Lilavati, su graciosa (palabra que tambin designa la aritmtica), con una mujer adornada de todas las bellezas de la Jati (trmino que significa a la vez un noble linaje y, en sentido tcnico, la reduccin de las fracciones al comn denominador): jbilo y felicidad no cesarn de aumentar en este mundo para los que la tienen Kanthasakta, estrechamente enlazadas o pegada en la garganta (repitindola hasta saberla de memoria). DE LA GEOMETRA RITUAL AL TRATADO DE BHASKARA Los textos ms antiguos que han llegado hasta nosotros son los Sulbasutra, aforismo sobre los cordales, que fueron compuestos probablemente entre los siglos V y I a.C. Consisten en textos que establecen las reglas de construccin de los altares, hechos de ladrillos amontonados en forma simblica, para el ritual de los sacrificios vdicos. Las construcciones geomtricas que en ellos se ensean se basan en el conocimiento de numerosos casos particulares de tringulos rectngulos (lados 3-4-5, por ejemplo, 5-12-13, 7-24-25, etc.) y en la regla general de la cuerda diagonal de un rectngulo produce (al construirse sobre ella un cuadrado) a la vez lo que producen separadamente el largo y el ancho, y la cuerda diagonal de un cuadrado produce (al construirse sobre ella otro cuadrado) el doble de su rea. Es la frmula India del Teorema de Pitgoras. Aqu esta regla, no se formula como un teorema, sino como un aforismo, una disposicin para la buena marcha del ritual, una regla de construccin. La propia palabra sutra, que en principio designa un estilo, el aforismo, lleg a significar una regla, y en sentido tcnico, en los tratados ulteriores, una regla de construccin. No hay teoremas en las matemticas indias sino reglas que son objeto de una intuicin en el punto de partida del razonamiento. Las reglas, los aforismos y las mnemnicos de los textos bsicos no son el resultado de una demostracin, sino, por el contrario, disposiciones con miras a un trabajo de construccin geomtrica que efectuar el lector o el comentarista. Incluso en lgebra, la forma de razonamiento ms crtica asocia reas a los productos de factores e implica la construccin de una figura. Se sostiene a menudo que los indios no fueron gemetras sino algebristas. En realidad, en los comentarios sobre los textos de Aryabhata (476-550), Brahmagupta (598-670) y Bhaskara (siglo XII), la geometra permite la aplicacin de las reglas aritmticas y el lgebra. Se tratan al mismo tiempo, como dos aspectos de una misma realidad, una magnitud geomtrica y un conjunto numrico. La solucin algebraica viene a incorporarse en la construccin geomtrica. Demostrar es exhibir la solucin, hacerla intuitivamente manifiesta y, como dice el comentarista: La demostracin por las cantidades debe exhibirse a lo que no comprenden la que se obtiene por las reas. As, en las matemticas indias, razonar es aclarar una intuicin. LOS RABES Cmo pueden describirse los comienzos de las matemticas redactadas en rabe? La investigacin matemtica rabe parece haber comenzado a principios del siglo IX. En esa poca, en Bagdad, el movimiento de traduccin de las grandes obras helensticas llega a su apogeo. As, al-Hajjaj Ibn Matar traduce dos veces los Elementos de Euclides, y el Almagesto de Ptolomeo; Hilal ibn- Hilal al-Himsi vierte al rabe los cuatros primeros libros de las Cnicas de Apolonio. En el mismo siglo se traducen al rabe varias obras de Arqumedes, Pappus y Diofanto de Alejandra.
72
La empresa presenta dos caractersticas primordiales: las traducciones las realizan matemticos de primer orden y se basan a su vez en investigaciones ms avanzadas de la poca. As, quien tradujo los libros V a VII de las Cnicas de Apolonio fue el gran matemtico Thabit ibn Qurra (826-901). Por otra parte, todo indica que la traduccin por Qusta ibn Luga de las Aritmticas de Diofanto, hacia 870, se debi a una investigacin ya iniciada sobre el anlisis indeterminado o el anlisis diofntico racional. Son mltiples los ejemplos que muestran la estrecha relacin existente entre la traduccin, por una parte, y la innovacin matemtica, por otra. En suma, la traduccin representa un gran momento de expansin en rabe de las matemticas helensticas. Al-Khwarizmi (790-850) es el ms conocido de los matemticos rabes y su nombre est ligado a la aparicin del lgebra. Cmo caracterizar esta empresa? Precisamente en esta poca, en el siglo IX, y en ese lugar, la Academia (Casa de la sabidura) de Bagdad, Al-Khwarizmi redacta un libro que se caracteriza por la novedad del tema y del estilo. En esas pginas, tituladas El Libro del lgebra y de almugabala, surge por primera vez el lgebra como disciplina matemtica diferente e independiente. El acontecimiento fue crucial y considerado como tal por sus contemporneos, tanto por el estilo de esta matemtica como por la analoga de su objeto y, sobre todo, las extraordinarias posibilidades que ofreca para el futuro. Lo que se haba concebido era un ente matemtico suficientemente general para recibir determinaciones de gneros diferentes, pero dotado a la vez de una existencia independiente de esas determinaciones. En Al-Khwarizmi el objeto algebraico remite tanto a un nmero como a una cantidad irracional o a una magnitud geomtrica. Esta nueva ontologa, as como la combinacin de los dos procedimientos, el demostrativo y el aplicado, impresionaron a los filsofos de la poca. Nunca podr insistirse demasiado en la novedad de la concepcin y del estilo de Al-Khwarizmi, que no se basan en ninguna tradicin anterior conocida. Con esta lgebra se captan ya las inmensas posibilidades que se abrirn a las matemticas a partir de ese momento: la aplicacin de las disciplinas matemticas de unas a las otras. Dicho de otro modo, si el lgebra, a causa de la generalidad de su objeto y de la nueva ontologa as introducida, hizo posible esas aplicaciones, stas, a su vez, por su nmero y su diversidad, modificarn si cesar la configuracin de las matemticas despus del siglo IX. Los sucesores de Al-Khwarizmi emprenden progresivamente la aplicacin de la aritmtica al lgebra, del lgebra a la aritmtica, de una y otra a la trigonometra, del lgebra a la teora euclidiana de los nmeros, del lgebra a la geometra, de la geometra al lgebra. Esas aplicaciones entraaron la creacin de nuevas disciplinas o, al menos, de nuevos captulos de la ciencia matemtica. En esta perspectiva, se podra comentar un ejemplo significativo de este encuentro entre la aritmtica y el lgebra. Es posible mencionar, a este respecto, la contribucin matemtica rabe en el mbito de la teora clsica de los nmeros.
Conferencia 5
73
A fines del siglo IX se tradujeron los textos griegos ms importantes, en particular los libros aritmticos de Euclides, la Introduccin Aritmtica de Nicmaco de Gerasa (60-120) y las Aritmticas de Diofanto de Alejandra. A raz de esas traducciones se constituyen varios captulos de la teora de los nmeros. Tomemos el ejemplo de la teora de los nmeros amigos. Su evolucin comprende dos etapas significativas. La primera etapa conduce, en el marco de la geometra euclidiana, a resultados nuevos. La segunda etapa da lugar, algunos siglos ms tarde, gracias a la aplicacin del lgebra a la teora elemental de los nmeros, a la creacin de una regin no helenstica en lo referente a la teora de los nmeros. Precisemos ambos aspectos. Si bien al final del libro IX de sus Elementos, Euclides formula una teora de los nmeros perfectos, ni l ni Nicmaco de Gerasa enunciaron la teora de los nmeros amigos. Thabit ibn Qurra, traductor del libro de Nicmaco, revisor de una traduccin de los Elementos y l mismo, eminente matemtico, decidi elaborar esa teora. Enuncia y demuestra, en el ms puro estilo euclidiano, el ms importante teorema aplicable a esos nmeros y que hoy da lleva su nombre. Si se descarta aqu la mstica de los nmeros que tena vigencia desde la antigedad para considerar a las matemticas, no cabe sino constatar que, hasta fines del siglo XVII por lo menos, la historia de los nmeros amigos se limita a una evocacin de ese teorema de ibn Qurra y de su transmisin por los matemticos tardos. Entre estos ltimos, cabe citar a los matemticos de lengua rabe como al-Antaki, al-Bagdadi, ibn al- Banna, al-Umawi y alKashi. Estos nombres prueban suficientemente, tanto por su diversidad cronolgica como geogrfica, la gran difusin del teorema de ibn Qurra, que retoman en 1636 Pierre de Fermat y en 1638 Ren Descartes. La segunda etapa se expresa en el hecho siguiente. El clebre fsico y matemtico Kamal alDin al-Farisi, elabor una relacin en la que intenta demostrar el teorema de ibn Qurra, pero por una va diferente: basa su demostracin en un conocimiento sistemtico de los divisores de un entero y de las operaciones que es posible aplicarles. Al hacerlo procede en realidad a una reorganizacin que conduce no slo a modificar, por lo menos localmente, la perspectiva de la aritmtica euclidiana, sino tambin a impulsar nuevos teoremas sobre la teora de los nmeros. Cabe hablar entonces de una regin no helenstica de la teora de los nmeros. Para que este nuevo estudio de los divisores fuese posible, era necesario que el matemtico estableciera explcitamente lo que slo exista de manera latente en los Elementos de Euclides; por otra parte, tena que recurrir a los resultados del lgebra desde al-Karaji (siglo X-XI) y en particular a los mtodos de combinacin. El procedimiento de al-Farisi, lejos de limitarse por consiguiente a la demostracin del teorema de ibn Qurra, permite emprender un nuevo estudio: el de las dos primeras funciones aritmticas, la suma de los divisores de un entero y el nmero de esos divisores. Un estilo de este tipo, que aplica el lgebra y el anlisis de combinacin a la aritmtica euclidiana, se encuentra an en vigor en Europa en el siglo XVII, por lo menos hasta 1640. El anlisis de las conclusiones de al-Farisi y de los mtodos aplicados muestra que ya en el siglo XIII se haba llegado a un conjunto de proposiciones, de resultados y de tcnicas que equivocadamente se haban atribuido a los matemticos del siglo XVII. Habra que hablar tambin de las nuevas relaciones que se establecen entre el lgebra y la geometra Ya se ha visto que a partir del siglo IX el panorama de las matemticas se transforma y que sus horizontes se amplan. Se observa, en primer lugar, una expansin de la aritmtica y de la geometra helenstica. Por otro lado, en el seno de esas matemticas helensticas se crean regiones no helensticas; ocurre que las relaciones entre las antiguas disciplinas ya no son las mismas y se han producidos muchas otras agrupaciones. Esta modificacin de las relaciones es capital si se quiere entender la historia de las matemticas. As, las nuevas relaciones que
74
se establecen entre el lgebra y la geometra dan origen a nuevas tcnicas de gran importancia. Sin ninguna justificacin terica, las matemticas del siglo X inician una doble traduccin inconcebible anteriormente: la de los problemas geomtricos en la lengua del lgebra y la de los problemas algebraicos en la lengua de la geometra. Es as como expresa algebraicamente problemas concretos, que no pueden resolverse con una regla y un comps, como la triseccin del ngulo, las dos medias, el heptgono regular. Por otra parte, ante la dificultad que plantea la resolucin por radicales de la ecuacin de tercer grado, algunos algebristas, pero tambin gemetras como Abu al-jud ibn al Leith, proceden a traducir esa ecuacin en la lengua de la geometra, lo que le permite aplicar al estudio de la ecuacin la tcnica de interseccin de las curvas. El primer intento de fundar esta doble traduccin surge con al-Khayyam (1048-1122). Procurando superar la investigacin ligada a una determinada forma de ecuacin cbica, alKhayyam elabora una teora de las ecuaciones algebraicas de grado inferior o igual a tres y, al mismo tiempo, propone un nuevo modelo de redaccin. Estudia las ecuaciones de tercer grado con ayuda de las curvas cnicas. Para elaborar esta nueva teora se ve obligado a concebir mejor y a formular las nuevas relaciones entre el lgebra y la geometra. La teora de las ecuaciones parece, en adelante, aunque todava con timidez, superar las diferencias entre ambas disciplinas. En su clebre tratado de lgebra al-Khayyam logra obtener dos resultados trascendentes atribuidos equivocadamente a Descartes: por una parte, una solucin general de todas las ecuaciones de tercer grado por la interseccin de dos cnicas y, por otra, un clculo geomtrico que resulta posible gracias a la eleccin de una longitud unidad, concepto que es fundamental. Medio siglo despus que al-Khayyam, su sucesor, Sharaf al-Din al- Tusi, da un nuevo paso. Para demostrar la existencia del punto de interseccin de dos curvas, este matemtico plante los problemas de localizacin y de separacin de las races de la ecuacin y estudio de las condiciones de su existencia; problemas para cuya solucin tuvo que definir la nocin de mximo de una expresin algebraica y esforzarse por encontrar conceptos y mtodos para la definicin de los mximos. Este enfoque no slo condujo a al-Tusi a inventar nociones y mtodos que slo fueron bautizados ms tarde -como la derivada- sino que lo oblig a cambiar de procedimiento: por primera vez, que se sepa, descubre la necesidad de proceder localmente, en circunstancias que sus predecesores slo consideraban las propiedades globales de los objetos estudiados Todos estos resultados obtenidos por al-Tusi, as como la teora que los abarca, son de suma importancia y a menudo se atribuyen a matemticos posteriores a l en varios siglos. Tales son los principales aspectos de los que se puede llamar la dialctica entre el lgebra y la geometra. Para completar el anlisis, habra que mencionar los dos obstculos que han entorpecido la progresin de esas nuevas matemticas: la falta de audacia en el empleo de nmeros negativos como tales, en circunstancias que an no estaban definidos, y la debilidad del simbolismo.
Conferencia 5
75
La historiografa poltica distingue entre Antigedad, Edad Media, Renacimiento y Tiempos Modernos. Esta clasificacin es aplicable a la historia efectiva de las matemticas y en particular la contribucin rabe? Es cierto que se han opuesto a las matemticas medievales a las matemticas modernas. La primera entidad, bizantinas, rabes, incluso indias y chinas, se distinguira de otra entidad histrica nacida en el Renacimiento. Esta dicotoma no es pertinente ni desde un punto de vista histrico ni epistemolgico. Est claro que las matemticas rabes son una prolongacin y un desarrollo de las matemticas helensticas, que efectivamente las alimentaron. Lo mismo ocurre con las matemticas que se desarrollan en el mundo latino a partir del siglo XII. Para ajustarnos a los anlisis que hemos esbozado, me parece que los trabajos realizados tanto en rabe como en latn (o en italiano) entre el siglo IX y comienzos del siglo XVII no pueden separarse en eras diferentes. Todo indica que se trata de la misma matemtica. Para convencernos de ello, hoy en da podemos comparar los escritos de al-Samaw'al (siglo XII), por ejemplo, en lgebra y en clculo numrico, con los de Simon Stevin (siglo XVI); los resultados de al-Farisi en teora de los nmeros con los de Descartes; los mtodos de al-Tusi para la resolucin numrica de las ecuaciones con el de Viete (siglo XVI), o su investigacin de los mximos con los de Fermat; los trabajos de al-Jazin (siglo X) sobre el anlisis diofntico entero con los de Bachet de Meziriac (siglo XVII), etc. Si, por otra parte, hacemos abstraccin de los trabajos de alKhwarizmi, de Abu Kamil, de al-Karaji, entre otros, Cmo comprender la obra de Leonardo de Pisa (siglo XII-XIII) y la de los matemticos italianos, as como las matemticas ms tardas del siglo XVII? Existe ciertamente una ruptura con esa matemtica; en efecto, las postrimeras del siglo XVII se caracterizan por la aparicin de nuevos mtodos y de nuevas regiones matemticas en Europa. Sin embargo, la ruptura no fue necesariamente repentina y no se produjo simultneamente en todas las disciplinas, por otra parte, rara vez las lneas de separacin esquivan a los autores, pero a menudo atraviesan las obras. En el mbito de la teora de los nmeros, por ejemplo, la novedad no se traduce, como se ha sostenido, en el empleo de mtodos algebraicos por Descartes y Fermat, los cuales, procediendo as, no hacan ms que volver a los resultados de al-Farisi. Es ms bien dentro de la obra de Fermat donde puede observarse una ruptura, con la invencin del mtodo de descenso infinito y el estudio de ciertas formas cuadrticas, hacia 1640, algo muy distinto ocurre con los captulos sobre la construccin geomtrica de las ecuaciones, iniciado por al-Khayyam, proseguido por al-Tusi, enriquecido por Descartes y retomados por muchos otros matemticos hasta fines del siglo XVII, incluso mediados del siglo siguiente. Es realmente a partir del final de la primera parte del siglo XVII cuando se producen los entrelazamientos y se localizan las principales rupturas. La contribucin de los matemticos rabes se inserta en una configuracin coherente, llammosla matemticas clsicas, que se desarrolla entre el siglo IX y la primera mitad del siglo XVII. La enseanza de las matemticas que las universidades europeas impartan en sus comienzos (fines del siglo XII y principios de siglo XIII) era, en lo esencial, heredera de la tradicin antigua. En Pars, Oxford o Bolonia los programas de estudios comprendan las materias del Quadrivium pitagrico: aritmtica, geometra, msica (elementos de teora musical) y astronoma. Pero se consideraba que la ciencia de las cosas divinas era ms importante pues permita acceder a los textos fundamentales de la fe cristiana; y la Facultad de Artes, en la que se dictaban los recursos de matemtica, gozaba de mucho menor prestigio que las facultades de Derecho, Medicina y, sobre todo, de Teologa. El contenido de la enseanza se limitaba a los principios elementales del clculo y a los primeros libros de los Elementos de Euclides. Se estudiaban, no obstante, los principios del movimiento a partir de las obras de
76
Aristteles y, en las escuelas de Oxford y de Pars, Nicole Oresme trat de representar grficamente la relacin entre tiempo y velocidad en ciertos tipos de movimientos. LOS MATEMTICOS PRCTICOS De la agrimensura al comercio A fines de la Edad Media, dos grupos distintos, an cuando a veces hubieran egresado de las mismas universidades, compartan el ejercicio de las matemticas: por un lado, los agrimensores, ingenieros y contables que pertenecan a la categora de los artesanos y, por otro, los mdicos astrlogos que gozaban de una situacin social superior. En el siglo XIV los cambios econmicos, as como el desarrollo de las ciudades y del comercio van a favorecer el ascenso social de los matemticos prcticos. Los intercambios comerciales cada vez ms complejos exigan tcnicas idneas de clculo y de contabilidad. Los matemticos ofrecan sus servicios en las tiendas de baco y redactaban en las lenguas vernculas tratados donde las explicaciones tericas sobre el clculo aparecan junto a la solucin de cuestiones financieras relativas a las tasas de inters, los cambios, la circulacin y el peso de las monedas, o la reparticin de beneficios. Para poder subsistir, estos artesanos no slo deban competir con los otros miembros de su profesin, sino tambin convencer a sus empleadores o a sus clientes de la utilidad de sus conocimientos y de su competencia personal. As, por ejemplo, el dominio de las tcnicas algebraicas, tomadas del mundo rabe, consolidaba el prestigio profesional. Al principio, esta tcnica algebraica no se formulaba de la manera simblica que hoy en da nos resulta familiar. Consista ms bien en la clasificacin de los tipos de relaciones posibles entre diferentes dimensiones y en la descripcin de los mtodos generales que permitan determinarlos. En los tratados, estos mtodos solan presentarse en forma de casos concretos, integrndose en un contexto totalmente prctico. La introduccin en Europa de los nmeros decimales acompa y facilit el progreso del clculo: las aproximaciones de races y las fracciones complicadas abundaban en los escritos que circulaban por entonces y a los que el desarrollo de la imprenta dara amplia difusin. En suma, la constitucin de una profesin matemtica con un radio de competencia ms vasto, cuyo prestigio estaba vinculado al de sus usuarios preferentes, los mercaderes, respondi al surgimiento de nuevas prioridades econmicas y sociales. EL MOVIMIENTO HUMANISTA Esas transformaciones no slo afectaron a las transacciones bancarias. Desde fines de la Edad Media empezaron a llegar a Occidente muchos inventos prcticos, como el comps y los gemelos. Adems, las obras del lgebra solan estar acompaadas de tratados en los que se describan los instrumentos de medicin, su funcionamiento y caractersticas. Los viajes de descubrimiento, as como el simple trfico comercial, favorecieron una mayor utilizacin del astrolabio y del cuadrante. Los tratados de perspectiva, en parte prctico y en parte tericos, eran obra de pintores, cartgrafos y arquitectos. El conjunto de esas preocupaciones estaba tambin vinculado a lo que hoy en da llamaramos ptica geomtrica. As pues, coexistan hasta llegar incluso a confundirse los creadores autnticos y los matemticos prcticos ms interesados por las aplicaciones concretas de su ciencia. Esta poca fue tambin la de la aparicin del movimiento humanista, que se consagr al estudio y la difusin de las obras de la antigedad clsica. En sus comienzos este movimiento no fue favorable a las matemticas prcticas. Si hacia fines del siglo XV los humanistas mostraron un cierto inters por la aritmtica lo hicieron bajo la influencia platnica y pitagrica y continuaron menospreciando las prcticas de clculo.
Conferencia 5
77
La vida intelectual, de la que la Reforma fue slo una de las manifestaciones ms espectaculares, se orient ms hacia el estudio de los textos que hacia el contacto con los artesanos, esos eruditos realizaron una nueva serie de traducciones de las obras maestras de la antigedad, primero a partir del rabe y despus directamente del griego, y al asimilar gradualmente los trabajos de los gemetras griegos, suscitaron un renacimiento de la ciencia matemtica. EL ARTE DE LA GUERRA Si el legado matemtico de la antigedad dio frutos fue porque el terreno ya estaba abonado. En efecto, los prncipes recurran cada vez con ms frecuencia a los servicios de los sabios, como los astrnomos Tycho Brahe (1546-1601) y Johannes Kepler (1571-1630), matemticos imperiales de la corte de Rodolfo II en Praga, no slo para construir fortificaciones o para resolver problemas de balstica. La aplicacin de las matemticas al arte militar suscitaba un inters creciente. As, la educacin profundamente humanista que reciban los aristcratas comenz a conceder mayor importancia a las matemticas, y a algunos ingenieros militares se le otorgaron ttulos de nobleza a cambio de sus servicios. As, en el siglo XVI aparecen consejeros en navegacin apasionados por la alquimia como John Dee (1527-1608), que prolog una edicin de Euclides, mdicos algebristas como Cardan, y juristas expertos en criptografa como Francois Viete (1540-1603). La indiferencia e incluso la hostilidad hacia las matemticas aplicadas comenz a desvanecerse, al punto que ciertos reformadores del sistema educativo se mostraron favorables a ellas. Pierre de la Rame, por ejemplo, consagr su ctedra en el Colegio Real a las matemticas y sus aplicaciones concretas. Unos de sus discpulos, Snellius, contribuy activamente a la introduccin de las matemticas universitarias en los Pases Bajos, y su accin se vio favorecida por la creacin de una escuela de ingenieros militares en Leyden. En las universidades europeas las matemticas, la geografa y la hidrulica compartieron primero con la astrologa hasta llegar gradualmente a reemplazarla. Entre tanto, el profesor boloes Sc. del Ferro (14651526) ha encontrado hacia 1500 la resolucin algortmica de la ecuacin de tercer grado probablemente haciendo pruebas con irracionalidades cbicas- pero sin duplicarla y comunicndolo slo confidencialmente a unos amigos y discpulos suyos, entre otros, el profesor de clculo A.M. Fior (cerca de 1510) y sus suegros y sucesor en el puesto Ann de la Nave (1500-1558). Fior entra (1535) en un certamen pblico con el notable profesor de clculo N. Tartaglia (15001557), en el cual propone 30 ecuaciones cbicas que resolver. Tartaglia tiene xito antes de terminar el plazo y entrega sus mtodos en forma de versos oscuros a G. Cardano, que haba insistido cada vez ms y se haba comprometido a respetar el secreto bajo juramento (1539). En 1542 comprueba Cardano, junto con su discpulo L. Ferrari (1522-1565), en una visita a Nave, que las soluciones de Tartaglia y Ferro coinciden. Supone que Tartaglia se haba enterado deslealmente del mtodo, por tanto, cree tener el derecho de hacer imprimir su propio mtodo (que difiere muy poco del de Ferro) en la Ars Magna (1545) (obra tambin importante en lo dems). Esta obra, cuyos pliegos de imprenta estn al alcance de Stifel antes
78
de publicar su Arithmetica Integra (1544), contiene tambin entre otras cosas, el mtodo de Ferrari de tratar las ecuaciones de 4to grado x4+ p x + qx + r = 0: Hay que encontrar una magnitud t tal que (2t-p)x-qx+(t-r)=(x+t). Entonces resulta un cuadrado perfecto. El procedimiento de Ferrari est ligado a mtodos que nos son ya bien conocidos por Diofanto. Vemos que ahora se vuelven a usar (desde Regiomontano) stos, desarrollndolos ms independientes. Tartaglia protesta enseguida, fuertemente, contra la violacin de la palabra dada y las suposiciones de Cardano, exponiendo su punto de vista en los Quesiti (1546), una aritmtica cuidadosamente elaborada, sin ocuparse ni aqu ni en su General Tratado (1556/60) -el cual nos da en forma hbil un resumen de los conocimientos de la poca en Aritmtica y Geometra- de las ecuaciones de 3er grado. Las disputas en torno a la primaca de haber resuelto las ecuaciones de 3er grado originan querellas pblicas con Ferrari, que degeneran en un altercado indigno. Entre los problemas presentados y resueltos aqu, son notable solamente unas construcciones originales, empleando abertura fija del comps. Se resuelven, adems, en el General Tratado unos pocos problemas de mximos y mnimos; por ejemplo, se busca el mximo de x(a-x), el cual se determina en forma de receta. Cardano, que no toma parte personalmente en las disputas, ha avanzado mucho en todo lo referente a ecuaciones. Ya en su Aritmtica Prctica (1539) se ocupa de la racionalizacin de denominadores con irracionalidades cbicas; en su Ars Magna (1545) reduce ecuaciones cbicas en su forma normal y examina tambin cuando las ecuaciones de tercer y cuarto grado tendrn soluciones reales. Cardano sabe qu relaciones existen entre los coeficientes de la ecuacin cbica y la suma de sus races, y ya se acerca a la regla de signos de Cartesius, en su Serno de Plus Etminus (impreso en 1663) se ocupa de la existencia de nmeros imaginarios en ecuaciones cbicas. Esta investigacin est relacionada con los trabajos de ingeniero R. Bombelli de Babilonia, cuya Algebra (1572) se dedica, en primer lugar, expresiones complejas de la forma ((a + (-b)1/2)1/3. Aqu se encuentran ya las reglas de multiplicacin de magnitudes imaginarias, transformaciones algebraicas en el caso irreductible; y, sobre todo, conoce ya que aplicando la frmula de Cardano, las partes imaginarias se eliminan, apareciendo races cbicas que se pueden ya extraer. Punto de partida ha sido, probablemente, para Ferro la cuestin de saber cuando se poda reducir (a +(b)1/2)1/3 a u + v1/2. Una indicacin a este problema est al final del Coss de Rudolf (1525). Stifel investiga este asunto ms detalladamente en sus Comentarios de Coss (1553/54) y trabajos semejantes se encuentran (probablemente sin conocer a su antecesor) en el Algebra de Bombelli (1572). Las ecuaciones de tercer grado, resolubles mediante trucos especiales, que nos presentan P. Nez (1502-1578) en su Algebra (1564) y N. Pieterszoon en su Arithmetica (1567), son todava independientes en la teora del italiano, la cual es recogida primeramente por S. Stevin (1548-1620) en su Arithmetique (1585) y por Fr. Viete (1540- 1603) en Aequationum recognitio et emendatio (1591) y en su Supplementum geometriae (1593). Ambos tienen importantes mejoras formales. Viete se ocupa, entre otras cosas, del caso irreductible, el cual resuelve evitando los imaginarios, mediante mtodos trigonomtricos. Este mtodo sufre variaciones interesantes en la edicin de la Recognitio et emendatio (1615) de A.
Conferencia 5
79
Anderson (1582-1620), en la Invention Nouvelle (1629) de A. Girard (1595- 1632) y en el apndice de la Organica Descripto (1646) de Fr. Von Schooten (1615-1660), el Lustgarten (1604) de J. Faulhaber (1580-1635) contiene numerosos problemas cbicos y sus soluciones, pero sin reduccin. Las demostraciones provienen de P. Rothe (+ 1617) en su Arithmetica (1608) con una descripcin detallada de las teoras de Cardano. Viete empieza su carrera cientfica como preceptor de Catalina Parthenay (1554-1631), para quien escribe una astronoma extensa cuya introduccin se imprime en 1637. Conoce el Informe Preliminar (impreso en 1540) y la Obra Principal (impreso en 1543/1566) de Coprnico, rechaza la nueva teora de los planetas por coincidir demasiado con los hechos de observacin, pero trata de corregir el sistema de Ptolomeo debidamente. Desde 1571 trabaj de abogado, ascendiendo al rango de jurista de la corte. Por haber sido destituido temporalmente por adversarios polticos, se dedic totalmente a sus estudios preferidos, en los aos 1584-89. El Canon (impreso en 1571/79) est fuertemente influido por la Trigonometria de Regiomontano (impresa en 1533) y las Tablas de Rhaeticus (1551), pero que es ms exacta que ambas. Viete nos da en unas tablas hbilmente dispuestas las seis razones trigonomtricas de minuto en minuto con una precisin de cinco decimales respectos a los minutos y de diez decimales respecto a los grados enteros, aadiendo tambin sus valores sexagesimales hasta k: 603; hace con ello resaltar eficazmente las ventajas de las tablas decimales. Mediante biparticiones continuadas del ngulo, en dos partes iguales, obtiene, partiendo de las funciones del ngulo de 30 grados, las del ngulo 30:216=225:8192 con diez decimales y as el valor de con nueve decimales; resultando entonces mediante: m sen (180/n) < n sen (180/m), 3<m<n, el valor de sen1' con 13 decimales. Empieza tambin a desarrollar cosnt y sennt/sent en funcin de cost llevndolos a cabo posteriormente ms exactamente (1593-1615); desarrolla la trigonometra esfrica mediante el teorema de los senos y el teorema algo modificado del coseno. Aparecen entonces las reglas para el clculo del rectngulo esfrico que hoy se conoce por el nombre de Neper. Para el tringulo oblicungulo, Viete tiene todava que distinguir 28 casos distintos, reducindolos ms tarde (en la Varia Responsa, VII, 19) a 6 casos. La aproximacin excelente de 21/3 por 21/4+21/2/20 y otras semejantes, hace suponer que tambin conoce el mtodo de aproximacin todava torpe, pero en el fondo importante, para resolver numricamente ecuaciones (determinacin sistemtica de los decimales siguientes a un valor dado de aproximacin) (impreso en 1600) pertenece al principio de la poca. En el exilio, Viete estudia las ediciones matemticas clsicas de Commandino (impresas desde 1558) y de los franceses; adems a Cardano (1545-1570), Tartaglia (1546-1556), Bombelli (1572), Holtzmann Diophant (1575) y Stevin (1585). El formalismo algortmico repitindose siempre en Diofanto y sus interpretadores, le induce, al tratarse de transformaciones generales, a la introduccin de magnitudes algebraicas numricamente indeterminadas, a saber, de las letras en vez de los nmeros. As se origina la Logistica Speciosa, en la cual las magnitudes conocidas se designan por consonantes y las desconocidas por vocales. En la Isogoge (impresa en 1591) las potencias de magnitudes conocidas y desconocidas se expresan por palabras; adems de + y -, indica solamente la divisin simblica (raya de fraccin); la multiplicacin y la igualacin verbalmente. El atenerse tan rigurosamente al principio de la homogeneidad, indica el origen geomtrico del mtodo, y el gran nmero de expresiones griegas, el origen antiguo. En la Notae Priores (impresas 1631) se construyen
80
y transforman expresiones algebraicas, y se recogen teoremas sobre los tringulos rectngulos, que corresponden al teorema de adicin y sustraccin de las razones trigonomtricas del seno. En el Recognitio Aequationum (impreso en 1615) se eliminan fracciones y races y se sacan factores fcilmente reconocibles. As se transforma x3 + 3 a x= 2b mediante y+xy=a en y6+2 by2 = a3; y se resuelve la ecuacin de cuarto grado siguiendo a Ferrari. El ejemplo hasta quinto grado se ve que Viete sabe determinar los coeficientes de una ecuacin mediante las soluciones de las ecuaciones. Otros aspectos de Viete apenas han superado a sus maestros italianos. Por limitar el empleo de las letras a magnitudes positivas, tiene que distinguir muchos casos superfluos. Los conocedores del Coss alemn, que han adelantado mucho en lo formal, como, por ejemplo, Clavius, sienten repugnancia del sinnmero de expresiones especiales y no ven las posibilidades prometedoras de la Logistica Speciosa. Los franceses, ingleses y holandeses tienen opinin diferente: Th. Harriot (1610, edicin de 1631), A. Girard (1629), W. Oughtred (1631) y P. Herigone (1634) hacen el nuevo mtodo ms elstico. El desarrollo moderno no se inicia sino ms tarde con R. Descartes (1637). Viete quiere recuperar y restaurar el mtodo geomtricamente oculto de los antiguos, el cual se puede reconocer bien, segn su opinin, en Diofanto. Por eso se empea en hacer estas extensas investigaciones de la aritmtica usando medios auxiliares algebraicos. Es interesante el tratamiento de expresiones indeterminadas que se eleven al cuadrado y la transformacin de una suma o diferencia de cubos en otra mediante a3 + b3 =(a - b/t )3 - (b- a/t)3 , siendo 3 ab t = a3 +b3. El lgebra de letras empleadas algortmicamente y reducida a ejemplos numricos, explica el sentido y contenido de la coleccin de Diofanto, y usada como medio auxiliar en geometra explicar el libro VII de las Colecciones de Pappo. Al anlisis geomtrico general corresponde la solucin indeterminada de un problema de aritmtica. As, mediante la Logistica Speciosa es asequible todo lo que se pueda tratar algebraicamente. Anlogamente, la Canonica Recencio (1591) contiene la versin geomtrica de las operaciones elementales y la solucin de las ecuaciones x4 + a x= b4 mediante comps y regla. Por otro lado, no se pueden tratar con comps y regla sino las irracionalidades cuadrticas y sus superposiciones. Pero admitiendo adems, como medio de construccin el empleo de un segmento dado AB = c que pase por el punto dado p, de modo que A, B estn sobre las rectas g, h respectivamente, se pueden introducir dos medias geomtricas (ecuacin: x=x:y=y:b), dividir ngulos en partes iguales (x3 -3x=y, siendo x=2sent, y=2sen 3t) y construir el heptgono regular, resolviendo la ecuacin x3 + x-2x=1 (forma normal: u3-7u=7). Se pueden resolver ecuaciones de tercero y cuarto grado usando dos medias geomtricas y mediante la triseccin de un ngulo. La publicacin del tomo de la Responsa (a principios de 1593) coincide con una disputa que el enciclopdico J. J. Escalgeros (1540-1609), quien se vanagloriaba de haber resuelto los problemas de la cuadratura del crculo (=10 ), de la triseccin del ngulo, y de la duplicacin del cubo mediante comps y regla, y que a sus crticos llamaba sin ms ni ms ignorantes. Por no poder competir con la crtica de Viete, sale de Francia (1594) para hacerse cargo de una ctedra de Leiden. Su Cyclometrica Elementa y el Mesolabium
Conferencia 5
81
publicados all (1594), fueron rebatidos por los matemticos ms capaces de su poca. Las dos refutaciones ms interesantes son las de Viete. En su Menimen Adversus Cyclometrica Nova (1594), Viete calcula aproximadamente un segmento circular mediante el segmento de un espiral de Arqumedes inscrita y tangente en unos de los extremos del segmento circular obteniendo un resultado equivalente a 3sent/(2+cost) < t; con lo cual se ha demostrado que la regla arriba mencionada de Nicols de Cusa, es una aproximacin. Quizs Viete no conoca entonces estas relaciones; sin embargo, conoce una aproximacin anloga que se puede lograr tambin mediante el segmento de una parbola. La frmula segn la cual el segmento circular es mayor que 4/3 del tringulo issceles inscrito, tiene como resultado la expresin sent(4-cost)/3 < t, que es solamente un poco menos exacta que el resultado anterior. Este mtodo de aproximacin ha sido ms tarde ampliado por Chr. Huygens (1629-1695) de un modo sorprendente (1654). En su Pseudomesolabium (1595) Viete examina las cuerdas que cortan al dimetro en cuatro segmentos que forman una progresin geomtrica. En un apndice refuta la afirmacin de Escalgero de que el dimetro sea media aritmtica de las dos diagonales de un cuadriltero inscrito. Obtiene -quizs influido por clculos que se hallan en una correspondencia entre Regiomontano y G. Bianchini (1464) y que estaban entonces circulando (siendo a,b,c,d, los cuatro lados) mediante el teorema de Ptolomeo ef=ac+bd y de la frmula e:f=(ad+bc):(ab+cd) siendo e y f las diagonales. Su construccin se basa en que, por ejemplo, la relacin existente entre los ngulos comprendidos entre los lados d,a y a,b (x,y respectivamente) es senx: seny: sen(x+y)=(ab+cd):(ad+bc):(a+c)(a-c). No es probable que Viete haya conocido el cuadriltero inscrito siendo los lados y diagonales nmeros enteros, a saber: a=25, b=33, c=60, d=16 y las diagonales e=52, f=39 y el dimetro de la circunferencia circunscrita 2r = 65 en el libro de Clculos de S. Jacobo (1565). Segn parece, tampoco ha sabido nada del interesante trabajo realizado por G.B.Benedetti (1530-1590), en sus Speculationes diversae (1585), ni de las construcciones de los Problemas geometricum (1586) de Fr. Barozzi (1538 -1590). Viete adquiri fama Europea al impugnar a A. Van. Roomen (1561-1615), quien en sus Ideae Mathematicae (1590 terminadas, 1593 impresas) haba hecho un resumen de los ms importantes matemticos que entonces vivan, sin nombrar a ningn Francs, ni siquiera a Viete. Refirindose a este resumen, el embajador Holands en la corte de Enrique IV, en Fontaienebleau, se expresaba desdeosamente sobre los mritos cientficos de los Franceses de quienes aseguraba ninguno podra tomar parte en el certamen propuesto en las Ideae y el cual exiga la solucin de una ecuacin de grado 45 bajo ciertas condiciones. Al ser llamado Viete encontr enseguida una solucin y al da siguiente las otras 22 soluciones que se pedan. En su Responsum 1595 hizo un resumen de sus mtodos de resolucin, corrigiendo, adems, una falta en el texto del certamen y aadiendo las relaciones existentes entre el problema y las ecuaciones generales referentes a triseccin y divisin en 5 partes iguales de un ngulo. Repiti las observaciones hechas en su Varias responsa sobre secciones de ngulos; aadi, adems, las frmulas para la cuerda yn = 2cos nt en el crculo trigonomtrico, partiendo de la cuerda fundamental x = 2cos t. Las frmulas generadas de recursin para calcular las cuerdas ym+1 = xym - y m-1 no se encuentran sino en la edicin pstuma de las Sectiones angulares (1615) hechas por A. Anderson (1582-1620) aadiendo tambin demostraciones. All se indican exactamente el parentesco del esquema del coeficiente con los del tringulo aritmtico. Al final de su Responsum Viete refirindose a las Tactiones de Apolonio (perdidas) exige que sus desafiadores resuelvan el problema de construir aquellas circunferencias tangentes a tres crculos dados. Van Roomen conoci una expresin de Regimontano, que
82
haba de resolver el problema mediante comps y regla por ello determin los puntos medios de la circunferencias buscadas como secciones de dos hiprbolas (1596). Ya en 1597 indica Viete, refirindose a Pappo una posibilidad de solucin elemental. En 1600 publica un procedimiento que se encuentra en escritos antiguos (libro VI de la Varias responsa). Los ltimos aos de Viete estn llenos de ataques infructuosos contra la reforma calendaria de Gregorio XIII (Papa, 1572/85), acompaado de insultos groseros contra Clavius, unos de los consejeros del Papa en este asunto. El punto de vista de Viete es falso. La violencia de sus discusiones exaspera a sus contrincantes, inducindolos a rechazar, demasiado precipitadamente, su Logistica Speciosa, despreciada sin razn alguna. Una pequea coleccin de las obras de Viete, provista en parte de comentario excelente de Anderson, se public en 1615. M. Mersenne (1588-1648) se esforz, durante muchos aos, en hacer una edicin de lo ms completa posible de los escritos de Viete; en 1637/38 crea poder obtener una edicin por medio de los activos editores de Leiden, Elizeviere, e hizo examinar unos trabajos dejados por P. de Fermat (1601-1665) para saber si merecan ser impresos. En 1641 encontr en Schooten un editor que tom inters y edit todo el material puesto a su disposicin, despus de haberlo repasado bien (en el sentido de la escritura cartesiana y simplificada la simbologa). Esta edicin hizo conocer los trabajos y escritos de Viete a un amplio crculo. Mucho ya estaba anticuado en 1646, otras cosas no fueron entendidas bien, sobre todo sus trabajos sobre anlisis. Lo de ms valor, los primeros 7 libros de la Varias responsa, parece haberse perdido. Unos trabajos algebraicos, a los cuales ya Fermat dio poca importancia con razn, se han conservado hasta hoy manuscritos. CUESTIONARIO 1. Destaque algunos rasgos caractersticos de la matemtica china. 2. Explique algunos elementos del lgebra instrumental china. 3. Explique la relacin matemtica-ritual en la India Antigua. 4. Qu aspecto de la cultura hind, influy ms en el desarrollo de la matemtica de la India Antigua? 5. Dentro del desarrollo de la civilizacin rabe, seale las principales figuras en el mbito matemtico. 6. Qu papel jug Al-Khwarizmi dentro del surgimiento del lgebra moderna? 7. Cul es el mtodo empleado por Omar Khayyam en la resolucin de ecuaciones cbicas? 8. Explique el mtodo de Kashi para el clculo aproximado de races de ecuaciones cbicas del tipo x3 + Q = Px. 9. Detalle el resultado de ibn Qurra relativo a los nmeros amigos. 10. Es efectiva la divisin matemticas medievales-matemticas modernas, en el caso de los rabes? 11. Cules transformaciones socio-econmicas, posibilitaron el ascenso del papel de la matemtica en la vida prctica de la Edad Media?
Conferencia 5
83
12. Detalle los mtodos de solucin de las ecuaciones de 3er y 4to grado, obtenidos por los matemticos italianos. Comprelos con los actuales. 13. Destaque la obra de Viete en el desarrollo y consolidacin de la matemtica moderna.

Historia Matematica 01

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Historia Matematica 01

Transféré par

Droits d'auteur :

Formats disponibles

Editorial de la Universidad Tecnolgica Nacional

Juan Eduardo Npoles Valds

Holgun - Cuba 1996

Editorial de la Universidad Tecnolgica Nacional - U.T.N. edUTecNe http://www.edutecne.utn.edu.ar

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Concentrar el mbito estrecho de una teora, concepto o mtodo especfico.

Dar pinceladas culturales que hagan ms agradable la exposicin.

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

y los nueves primeros mltiplos del 10 por:

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

la solidificacin de la trigonometra y a elevar el teorema de Ptolomeo al lugar que hoy ocupa.

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Juan Eduardo Npoles Valds

Vous aimerez peut-être aussi