Anda di halaman 1dari 21

ALGEBRA I

HISTORIA DEL ALGEBRA


SU IMPORTANCIA EN LA CIVILIZACION HUMANA
Jos Isaac Martnez.
07/04/2012

En estos das el ngel de la topologa el demonio del lgebra abstracta lucha. Por el alma de cada dominio de las matemticas. HERMANN WEYL

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

El lgebra es, en esencia, la doctrina de las operaciones matemticas analizadas desde un punto de vista abstracto y genrico, independiente de los nmeros u objetos concretos. A lo largo de la historia de la humanidad esta ciencia ha ido evolucionando, y cada civilizacin y cada cultura con sus caractersticas propias han dejando un legado testimonial escrito del que en la actualidad somos herederos.

LOS EGIPCIOS
Hacia el cuarto milenio a.C. naci una gran civilizacin a orillas del ro Nilo: los egipcios. Gracias a ellos y despus de un largo proceso, los primitivos textos pictogrficos evolucionaron para dar lugar a una ordenacin lineal de smbolos ms sencillos: sistema de notacin jeroglfica. La cantidad de informacin matemtica que podemos obtener de las piedras talladas encontradas en las tumbas, los templos y de los calendarios es muy limitada y el panorama de las contribuciones egipcias que tendramos sera extremadamente incompleto. Afortunadamente disponemos de otras fuentes de informacin; hay un cierto nmero de papiros egipcios que de una manera u otra, han conseguido llegar hasta nuestros das. El ms extenso de los que contienen informacin matemtica es un rollo de papiro de unos 30 cm de alto y casi 6 m de largo que est expuesto en el British Museo de Londres. Este papiro fue comprado en 1858 en una ciudad comercial del Nilo por un anticuario escocs, Henry Rinda, de donde deriva el nombre de Papiro Rinda con el que se conoce usualmente o, no tan a menudo como el Papiro de Ahmed, en honor del escriba que lo copi hacia 1650 a.C. Este escriba cuenta que el material escrito se deriva de un prototipo del Imperio Medio de entre los aos 2000 y 1800 a.C., y es posible que parte de estos conocimientos provengan en realidad de Imhotep, el legendario arquitecto y mdico del faran Zoser. En cualquier caso la matemtica egipcia parece haberse estancado durante unos 2000 aos despus de unos comienzos prometedores. Los problemas que hay en el Papiro de Rhind, no se refieren a objetos concretos y especficos como pan o cerveza, ni tampoco piden el resultado de operaciones con nmeros conocidos, sino que piden lo equivalente a resolver ecuaciones lineales de la forma x +ax = b x +ax +bx = c, donde a, b y c son nmeros conocidos y x es desconocido; a este nmero desconocido o incgnita le llamaban aha o montn. La solucin que se da en el Papiro de Rhind, de los problemas de carcter algebraico planteados no es la que podra verse en los libros de texto modernos, sino que es caracterstica de un procedimiento que conocemos hoy como el mtodo de la falsa posicin o regula falsi. En este mtodo se supone un valor concreto para el montn, lo ms probable es que sea incorrecto, y se efectan con dicho nmero las operaciones indicadas en el miembro de la izquierda de la igualdad, a continuacin se compara el resultado de estas operaciones con el resultado que debera haberse obtenido, y mediante el uso de proporciones se halla la respuesta correcta. Por ejemplo, el problema 24 del Papiro de Ahmes, traducido literalmente, dice: una cantidad, su 1/7, su totalidad asciende a 19. Esto para nosotros significara: x + x/7=19 se toma como valor de prueba para la incgnita el 7, de manera que la ecuacin toma el valor 8 en lugar del correcto que deba de ser 19, pero en vista de que 8(2+1/4+1/8) =19, tenemos que multiplicar 7 por 2+1/4+1/8 para obtener el valor correcto del montn; Ahmes halla la respuesta correcta, 16+1/2+1/8 y comprueba su resultado mostrando que si a 16+1/2+1/8 se le suma un sptimo de l mismo, es decir 2+1/4+1/8, se obtiene efectivamente 19. El nico tipo de ecuacin de segundo grado que aparece es el ms sencillo: ax = b Muchos de los clculos de aha en el Papiro de Rhind eran evidentemente ejercicios para que practicasen los jvenes estudiantes. Esta lgebra egipcia tan restringida no utilizaba prcticamente ningn simbolismo. En el Papiro de Ahmes las operaciones de sumar y restar aparecen representadas por un dibujo esquemtico de las piernas de una persona que se acerca y que se aleja. En definitiva, los egipcios solucionaban problemas de una incgnita que vienen a ser equivalentes a nuestra resolucin de ecuaciones lineales. Sin embargo, los procesos seguidos eran puramente aritmticos y no constituan para los egipcios un tema distinto como poda ser la resolucin de ecuaciones.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

CIVILIZACIN MESOPOTMICA
Al igual que en el valle del Nilo, naci a orillas del ro Tigris y ufrates a finales del cuarto milenio una nueva civilizacin: civilizacin mesopotmica o tambin llamada babilnica. Antiguamente, como hoy en da, la Tierra de los Dos Ros fue un territorio abierto a invasiones de diversa procedencia. Una de las ms importantes fue la llevada a cabo por los acadios semitas debido al vasto territorio que ocuparon. Otras invasiones y revueltas posteriores elevaron al poder en el valle a los amorritas, cassitas, elamitas, hititas, asirios, medos y persas entre otros. Pero lo importante es que se conserv siempre una uniformidad cultural, en particular el uso generalizado de la escritura cuneiforme, lo suficientemente alta para que podamos referirnos a esta civilizacin simplemente como mesopotmica. En Mesopotamia, el lgebra alcanz un nivel considerablemente ms alto que en Egipto ya que los babilnicos solucionaron tanto ecuaciones lineales como ecuaciones cuadrticas sin ninguna dificultad y algunos ejemplos de ecuaciones cbicas. Los documentos matemticos que se conservan de la poca son tablillas de arcilla blanda donde se imprima el texto con una varilla y a continuacin se cocan en hornos para endurecerlas. Estos documentos han sido menos vulnerables al paso del tiempo que los papiros egipcios, por lo que se dispone actualmente de una mayor informacin de la matemtica mesopotmica que de la egipcia. La mayora de las tablillas con contenido matemtico se encuentran en las universidades de Columbia, Pennsylvania y Yale, las cuales fueron suministradas por un yacimiento arqueolgico de la antigua ciudad de Nipur. Los problemas algebraicos aparecen formulados y resueltos de una manera completamente verbal, sin utilizar smbolos especiales. A menudo aparecen las palabras us (longitud), sag (anchura) y a!a (rea) utilizadas para representar las incgnitas, no porque dichas incgnitas representen tales cantidades geomtricas, sino porque muchos problemas algebraicos seguramente surgieron de situaciones geomtricas y esta terminologa termin por imponerse. Un indicio de que esto era as, es que los babilnicos no tenan ningn reparo en sumar una longitud con un rea o un volumen. Algunos ejemplos de estos problemas son: - el problema en el que se pide hallar el lado de un cuadrado si su rea menos el lado es igual a 14; 30; la 2 solucin de este problema es equivalente a la resolucin de la ecuacin cuadrtica x - x = 870 y viene explicada por el escriba de la siguiente forma: Toma la mitad de 1 que es 0; 30 y multiplica por 0; 30 que es 0; 15, suma este nmero a 14; 30 lo que da 14,30; 15. Este es el cuadrado de 29; 30, ahora suma 0; 30 a 29; 30 cuyo resultado es 30, que es el lado del cuadrado -nuestra ecuacin cuadrtica de la forma x - px = q, la resolvan de la siguiente manera: primero calculaban p/2, 2 2 2 a continuacin (p/2) y por ltimo (p/2) -q, entonces obtenan la solucin de la incgnita x = p /2 + # (p/2) + q, siendo sta la frmula cuadrtica actual conocida por todo el mundo. -en otro texto, los babilonios reducen la ecuacin 11x + 7x =6;15 a la forma cannica x +px =q , multiplicando 2 primero por 11 los dos miembros para convertirla en la ecuacin (11x) +7(11x) =1,8;45 que es la forma cannica, salvo que hora la solucin es y =11x y esta solucin en y se obtiene entonces fcilmente por medio de la regla antes 2 mencionada x = p /2 - (p/2) +q a partir de la cual se obtiene el valor de x . Este mtodo de resolucin es notable como un ejemplo de utilizacin de transformaciones algebraicas sencillas. Los babilnicos disponan de la frmula para resolver ecuaciones cuadrticas, pero dado que ellos no conocan los nmeros negativos, nunca se consideraban las posibles races negativas de las ecuaciones de segundo grado. A pesar de que en las tablillas slo aparecen ejemplos concretos la mayora de estos, sin duda, intentaban ilustrar un mtodo general para las ecuaciones cuadrticas. Adems, lograron reducir por medio de transformaciones los casos de problemas mas complicados a otros ms sencillos. Actualmente, las ecuaciones cuadrticas se clasifican en tres tipos que reducidos a sus formas cannicas: 1) x +px = q 2) x = px +q 3) x +q = px
2 2 2 2 2 2

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Y todos estos tipos nos los encontramos en los viejos textos babilnicos de hace unos 4000 aos. Los dos primeros, los acabamos de mencionar arriba. Y el tercer tipo aparece a menudo en textos bajo la forma de problemas en los que se trata como equivalente al sistema de ecuaciones y =p, y =q. Tambin aparecen problemas que conducen a races cbicas. Uno de estos problemas, formulado en simbolismo moderno, es el siguiente 12x =z y =x y =V donde V es un volumen dado. Aqu para calcular x tenemos que extraer una raz cbica; para ello los babilnicos calculaban dicha raz a partir de tablas de cubos y races cbicas hechas previamente. Para resolver las cbicas puras como x $= 0; 7,30 consultaban directamente las tablas de cubos y races en las que se poda leer sin ms la solucin x =0; 30 si apareca en la tabla; y para valores que no aparecan en las tablas se 2 utilizaba una simple interpolacin lineal para conseguir una aproximacin. Las cbicas mixtas de la forma x $ +x =a se 2 resolvan de una manera anloga consultando las tablas disponibles en las que aparecan valores de la suma n$+n para valores enteros de n de 1 a 30. Para los casos ms generales de ecuaciones de tercer grado, como por ejemplo 144 x $ 2 +12x =21, los babilonios usaban su mtodo de sustitucin: multiplicaban por 12 ambos miembros y tomando y =12x la 2 ecuacin se converta en y $+ y =4,12 de donde resultaba y =6. Luego, x =1/2 x =0; 30. Las cbicas de la forma ax !+ 2 2 bx =c se pueden reducir a la forma cannica de los babilonios multiplicando ambos miembros por a /b! para obtener 2 2 (ax/b)!+ (ax/b) =ca /b! que ya es una cbica de la forma estndar en la incgnita ax/b y consultando las tablas para hallar el valor de esta incgnita se puede determinar el valor de x. El lgebra babilnica alcanz un nivel de abstraccin tan extraordinario que las ecuaciones ax +bx =c y ax +bx =c fueron consideradas correctamente como simples ecuaciones cuadrticas disfrazadas, es decir, como ecuaciones cuadrticas en x" y x respectivamente.
2

POCA HELENSTICA
La actividad intelectual que se desarrollaba en Egipto y Mesopotamia perdi impulso antes de que comenzase la Era cristiana y adems, empezaron a surgir nuevas civilizaciones a lo largo de la costa del mar Mediterrneo. A este progresivo cambio en los principales centros de las civilizaciones se le conoce como Edad Talsica (800 a.C.- 800 d.C.). A principios de este periodo una nueva civilizacin se estaba preparando para ser la heredera de la hegemona cultural del Mediterrneo, los helenos. Por ello, a la primera etapa de la Edad Talsica se la llam poca helnica. Este pueblo procedente del norte, que se asent a orillas del mar Egeo, vino desprovisto de cultura, pero con grandes ansias de aprender. Los griegos en menos de cuatro siglos, de Tales de Mileto a Euclides, muchos de ellos rivales de ciudades o de escuelas, construyeron un imperio invisible y nico cuya grandeza perdura hasta nuestros das, este logro se llama Matemticas. La matemtica griega se ha desarrollado en tres etapas fundamentales, cuyas principales figuras son Pitgoras, Platn y Euclides. Cada uno de ellos aport una singularidad esencial. Euclides fue el sintetizador de todos los conocimientos precedentes; su obra Los Elementos se convirti en cannica y paradigmtica, y como tal ha marcado una pauta a lo largo de veintids siglos. La figura central en todos los sentidos fue Platn, se ocup de crear un entorno acadmico donde se potenciaron de forma extraordinaria lo estudios geomtricos. Y finalmente Pitgoras, pionero instaurador de la tradicin matemtica griega y artfice de los fundamentos filosficos e ideolgicos de la Matemtica. La tradicin matemtica de la escuela de Pitgoras es recogida por Platn para ponerla en manos de Euclides, que en la compilacin de Los Elementos cre un modelo estructural paradigmtico. Los Elementos es un compendio, en lenguaje geomtrico, de todos los conocimientos de la matemtica elemental, es decir, por una parte la geometra sinttica plana (puntos, rectas, polgonos y crculos) y espacial (planos, poliedros y cuerpos redondos); y por otra parte, una aritmtica y un algebra, ambas con una indumentaria geomtrica. As pues Los Elementos de Euclides son una exposicin en orden lgico de los fundamentos de la matemtica elemental; y por su valor didctico y su carcter de sntesis, ha sido utilizado como manual escolar hasta no hace mucho tiempo.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

La obra de Euclides est formada por trece libros, de los cuales el Libro II y el V son casi completamente algebraicos; pero a diferencia de nuestra lgebra actual, que es simblica, el lgebra de Los Elementos es un lgebra geomtrica. La matemtica griega no se mantuvo uniforme a un nivel alto, sino que el glorioso periodo del siglo III a.C. fue seguido por una poca de decadencia que quiz mejor un poco con Ptolomeo, pero que no se recuper hasta la Edad de Plata de la matemtica griega, en torno al siglo que va del ao 250 al ao 350 aproximadamente. A comienzos de este periodo, conocido tambin como la Edad Alejandrina Tarda, nos encontramos con el ms importante de todos los algebristas griegos, Diofanto de Alejandra. Diofanto ha sido llamado muchas veces el padre del lgebra pero muchos le reniegan este ttulo ya que a pesar de que en cuestiones de notacin sin duda se lo merece, en trminos de las motivaciones y los conceptos desarrollados esta pretensin resulta menos justificada. Su libro ms importante es Aritmtica, coleccin de unos 150 problemas sobre aplicaciones del lgebra. Segn dice Diofanto, la Aritmtica comprende trece libros, pero slo conservamos seis de ellos procedentes de un manuscrito del siglo XIII que es una copia griega de otro ms antiguo y de versiones posteriores. En ellos no hay ningn desarrollo axiomtico ni tampoco se hace ningn esfuerzo por calcular todas las soluciones posibles, en el caso de las ecuaciones de segundo grado con dos races positivas se da solamente la mayor. La gran innovacin de Diofanto est en que manteniendo an en los enunciados algebraicos la forma retrica de la estructura de la frase, sustituye con abreviaturas una serie de magnitudes, conceptos y operadores frecuentes, es decir, inicia el lgebra sincopada. En un problema de la Aritmtica que se explica a continuacin se puede observar el mtodo que utiliza de forma sistemtica Diofanto. Para calcular dos nmeros, tales que su suma sea 20 y la suma de sus cuadrados 208, los nmeros desconocidos no se representan por x e y, sino por lo que en nuestra notacin moderna sera 10 +x y 10-x, 2 2 entonces se tendr que verificar nicamente que (10 +x) + (10-x) =208, luego x =2 y los nmeros buscados son 8 y 12. En su libro, Diofanto no establece ninguna distincin entre los problemas determinados e indeterminados, en estos ltimos slo da una de las infinitas soluciones. En el problema indeterminado siguiente se ve como usa el mismo mtodo para resolverlo que en el problema determinado anterior: se pide calcular dos nmeros tales que al sumar cualquiera de ellos con el cuadrado del otro da siempre como resultado un cuadrado perfecto; ste es un ejemplo claro de problema de anlisis diofntico, en el que slo se admiten como soluciones aceptables nmeros racionales. Para resolver el problema, Diofanto llama a los nmeros buscados x y 2x+1, de forma que al aadir el segundo al cuadrado 2 del primero dar un cuadrado perfecto cualquiera que sea el valor atribuido a x. Pero se exige adems que (2x+1) +x tambin sea cuadrado perfecto, y llegados a este punto Diofanto no se preocupa en buscar las infinitas soluciones 2 posibles, sino simplemente elige un cuadrado perfecto, en este ejemplo concreto es el nmero (2x-2) tal que al igualarlo 2 a (2x+1) +x resulta una ecuacin lineal en x, de la que se obtiene que x =3/13, luego el segundo nmero buscado ser x 2 2 2 =19/13. Ahora bien, se poda haber utilizado (2x-3) (2x-4) u otra expresin anloga en vez de (2x-2) para obtener otro par de nmeros distintos con la misma propiedad. Uno de los planteamientos que utiliza Diofanto que se puede acercar un poco a lo que llamamos mtodo es que l en vez de manejar un sistema de dos ecuaciones simultneas en dos incgnitas, opera con las condiciones sucesivas de manera que solo aparezca una nica incgnita a lo largo de todo el proceso. Actualmente no se sabe cuntos de los problemas de la Aritmtica son originales de Diofanto y cuntos tom prestados de otras colecciones anlogas, ya que es muy probable que algunos de los problemas y de los mtodos se puedan rastrear hasta sus orgenes babilnicos, que a diferencia de sus algebristas Diofanto utiliza nmeros abstractos y no unidades de medida para determinar a las incgnitas. No obstante, Diofanto ha tenido una influencia mucho mayor sobre la teora de nmeros moderna que cualquier otro algebrista no-geomtrico griego.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

ANTIGUA CIVILIZACIN CHINA


Las civilizaciones china e hind se remontan a lo que se conoce hoy en da como Edad Potmica. La civilizacin china tuvo su cuna en la cuenca de los ros Yangtze y Amarillo y el primer imperio chino data del ao 2750 a.C, aunque algunos historiadores creen que estuvo ms cerca del ao 1000 a.C. La tarea de fechar los documentos matemticos chinos no es fcil. Por ejemplo, las estimaciones que se han hecho acerca del Chou Pei Suan Ching, escrito en forma de dilogo entre un prncipe y su ministro que est considerado en general como el texto chino ms antiguo de contenido matemtico, difieren entre s en casi mil aos, ya que se le atribuyen varios autores de distintas pocas comprendidos entre 1200 a.C. y 300a.C. donde en esta ltima fecha, esta obra, coincidira con otro tratado matemtico muy importante Chui-chang suan-shu o los Nueve Captulos sobre el Arte Matemtico, poco antes de la dinasta Han (200 a.C.- 220 a.C.). Esta obra ejerci una gran influencia en los libros matemticos chinos posteriores; incluye 246 problemas sobre agrimensura, agricultura, impuestos, clculo, resolucin de ecuaciones y propiedades de los tringulos rectngulos. En muchos casos la resolucin de problemas conduce a sistemas de ecuaciones lineales utilizando nmeros positivos y negativos. Los Nueve Captulos nos recuerdan en cierta manera a la matemtica egipcia por su uso del mtodo de la falsa posicin, pero lo cierto es que la invencin de este procedimiento, lo mismo que el origen de la matemtica china en general, parece haber sido independiente de toda influencia occidental. Mayor inters histrico y matemtico despierta el SSu-yan y-Chien o Espejo Precioso de los Cuatro elementos escrito por Chu Shih-Chieh en 1303. Los cuatro elementos a los que se refiere el ttulo, que son el cielo, la tierra el hombre y la materia, representan las cuatro incgnitas de una ecuacin. Este libro marca la cota ms alta que alcanz el desarrollo del lgebra china, y en l se estudian tanto sistemas de ecuaciones simultneas como ecuaciones individuales de grados tan altos como catorce. Chu Shih-Chieh explica un mtodo de transformacin para ecuaciones, que l llama el fan fa y cuyo fundamento debe de haber aparecido en China mucho tiempo atrs. Este mtodo suele conocerse en occidente con el nombre de mtodo de Horner, matemtico que vivi medio milenio ms tarde, y consiste en evaluar de manera eficiente polinomios de una forma monomial. Un ejemplo que vienen el libro de Chu Shih-Chieh para resolver la ecuacin x + 252x 5292 = 0 es : obtene en primer lugar por tanteo la aproximacin x =19, lo que significa que la ecuacin tiene una raz entre x =19 y x =20, a 2 continuacin utiliza el fan fa, en este caso la transformacin y = x-19 para obtener la ecuacin y +290y-143 = 0 con una raz entre y =0 e y =1. El valor aproximado de la raz buscada de esta ltima es y =143/(1+290) y por tanto el correspondiente valor de x es 19 %. En algunos casos Chu Shih-Chieh obtiene aproximaciones decimales de las races. El llamado mtodo de Horner era bien conocido en China, ya que por lo menos otros matemticos del periodo Sung (960-1224) tardo hicieron uso de procedimientos anlogos. Uno de ellos fue Chin Chiu- Shao (1202-1261) donde su obra Shu-Shu Chiu-Chang o Tratado matemtico en nueve secciones marca el punto culminante del anlisis indeterminado chino con la invencin de reglas rutinarias para resolver sistemas de congruencias simultneas, y el clculo de la raz cuadrada por etapas, paralelamente a lo que se hace en el mtodo de Horner.
2

LA CIVILIZACIN HIND
Las excavaciones arqueolgicas que se han realizado en Mahenjo Daro (valle indio que aguard una gran poblacin) muestran la existencia de una vieja civilizacin con un alto nivel cultural, contemporneo de los egipcios, pero de la cual no existe ningn documento matemtico de aquella poca. Un milenio ms tarde, el pas fue ocupado por los invasores arios, procedentes de las altiplanicies de Irn, quienes introdujeron el sistema social de castas y desarrollaron la literatura snscrita. En el caso de la matemtica hind, nos encontramos con una sorprendente falta de continuidad. Las importantes contribuciones matemticas se han realizado en periodos separados por largos intervalos de tiempo. La primera poca matemtica se conoce como el periodo de los Sulvasutras o regla de la cuerda, que termin hacia el siglo II d.C. Este nombre haca alusin a la operacin de extender o tensar las cuerdas para efectuar mediciones

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

y guardar los datos obtenidos segn unas reglas marcadas. Estos conocimientos geomtricos, algo primitivos, sirvieron para la planificacin de templos y construcciones de altares. La segunda poca de la matemtica hind, conocida tambin como el periodo alto, abarca desde el ao 200 d.C. al ao 1200 d.C. Este periodo es el ms importante, especialmente en lo referente al lgebra hind, ya que sta alcanz su plenitud gracias a cuatro destacados matemticos Aryabhata (nacido el 476), Brahmagupta (nacido el 598), Mahavira (sigloIX) y Bhaskara (1114-1185). Muchos de sus trabajos, y en general los de los matemticos indios, estaban motivados por la astronoma y la astrologa, de hecho la mayor parte del material matemtico aparece en captulos de libros de astronoma. La primera obra que se conoce de este periodo fue la del matemtico Arybhata: Aryabhatiya, libro bastante anlogo a los Elementos de Euclides. Ambas obras son recopilaciones de desarrollos anteriores compiladas por un nico autor. Pero a diferencia de los Elementos, Aryabhatiya est compuesta por 123 estrofas mtricas y no tiene ninguna relacin con la metodologa deductiva. Uno de los grandes progresos de la matemtica hind en la rama del lgebra fue el uso de abreviaturas de palabras y algunos smbolos para describir las operaciones. Como en el caso de Diofanto, no haba ningn smbolo para la adicin, una tilde sobre el sustraendo indicaba sustraccin, otras operaciones se designaban con palabras clave o abreviaturas. Por ejemplo ka, de la palabra karama indicaba raz cuadrada. Para las incgnitas utilizaban palabras que denotaban colores. Este simbolismo aunque no era exhaustivo, es suficiente para que se pueda clasificar el lgebra hind como cuasisimblica, y en realidad lo era ms que el lgebra sincopada de Diofanto. Los problemas y sus soluciones correspondientes se escriban en este estilo cuasisimblico, y slo se daban los pasos y no iban acompaados de justificaciones ni demostraciones. Los indios saban que las ecuaciones cuadrticas tenan dos races e incluan las negativas y las irracionales. Los tres tipos de ecuaciones cuadrticas ax +bx =c , ax =bx +c , ax +c =bx con a, b, c positivos estudiados por Diofanto de manera independiente, fueron tratados por dos de los matemticos hindes antes mencionados, 2 Brahmagupta y Bhaskara, como un solo caso px +qx +r =o porque admitan que algunos coeficientes podan ser negativos. Para ello utilizaban el mtodo de completar cuadrado. En las ecuaciones indeterminadas avanzaron ms all que Diofanto. Estas ecuaciones surgieron en problemas de astronoma, las soluciones mostraban cundo ciertas constelaciones haban aparecido en el firmamento. Brahmagupta y Bhaskara consideraban todas las soluciones enteras, mientras que Diofanto tomaba una nica solucin racional. El procedimiento para obtener las soluciones enteras de ax bx =c donde a, b y c son nmeros enteros positivos era la siguiente: ellos saban que para que la ecuacin tuviese soluciones enteras, a y b deban dividir a c, y adems Brahmagupta descubri que si a y b eran primos entra s, todas las soluciones de la ecuacin vendran dadas por las frmulas x =p+mb e y =q-ma, donde m es un nmero arbitrario. Brahmagupta tambin estudi la ecuacin 2 2 diofntica cuadrtica x =1+py , la cual recibe el nombre errneo de ecuacin de J. Pell (1611-1685), y su colega Bhaskara resolvi algunos casos particulares. Bhaskara, ltimo matemtico medieval importante en la India, plasm las contribuciones hindes anteriores a su poca, en especial los problemas planteados por Brahmagupta, en su tratado ms conocido, el Lilavati (ttulo que toma del nombre de su hija) y en otra obra menos conocida llamada Vija-Ganita.
2 2 2

LA CULTURA RABE
La pennsula arbiga estaba habitada en el siglo VI por nmadas del desierto, los beduinos, que no saban leer ni escribir. En esta poca apareci el profeta Mahoma, quien en medio siglo consigui formar un estado mahometano con centro en La Meca. En el ao 622 muere Mahoma, pero esto no entorpece la expansin de la cultura islmica. En unos veinte aos conquistan Damasco, Jerusaln y Alejandra; el valle mesopotmico est bajo su mandato. Y en el siglo VIII ocupan Espaa y Marruecos. Esto, crea una pequea fisura entre los rabes de Oriente y los de Occidente, por lo que nos damos cuenta que su unidad era ms econmica y religiosa que poltica.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Su despertar intelectual fue gracias al califa Al-Mamun quien orden traducir todas las obras griegas existentes al rabe y fund la Casa de la Sabidura en Bagdad, donde los miembros de esta especie de universidad estudiaban las obras antiguas e investigaban en el terreno cientfico. Al lgebra contribuyeron antes que nada con el nombre. La palabra lgebra viene de un libro escrito en ao 830 por el astrnomo Mohamed ibn Musa al-Khowrizm, titulado Al-jabr wal muqbala, que significa restauracin y simplificacin. Como ya hemos dicho, a veces se le llama a Diofanto el padre del lgebra, pero segn muchos este ttulo se le aplicara mejor a Al-Khowrizm. Aunque sea verdad que al menos en dos aspectos la obra de Al-Khowrizm representa un retroceso respecto a la de Diofanto: es de un nivel mucho ms elemental y el lgebra de Al-Khowrizm es completamente retrica, sin ninguna de las sincopaciones que se encuentran en la Aritmtica de Diofanto o en la obra del matemtico hind Brahmagupta. Aunque es probable que Al-Khowrizm hubiese estado familiarizado con las obras de estos dos matemticos. No obstante Al-jabr wal muqbala est ms prxima al lgebra elemental moderna que a las obras de Diofanto o de Brahmagupta, ya que el libro no trata de difciles problemas de anlisis indeterminado, sino de la exposicin directa y elemental de la resolucin de ecuaciones, en especial de las de segundo grado. Esto se debe a que en general, a los rabes les gustaba poder seguir una argumentacin lgica, correcta y clara de las premisas a la conclusin, as como una organizacin sistemtica. Pero de lo que no hay duda es que ninguna rama de la matemtica nace ya completamente crecida, y el lgebra rabe tiene claramente influencias babilnicas, hindes y griegas. El libro de Al-Khowrizm empieza exponiendo, en seis breves captulos, la solucin de los seis tipos de ecuaciones que resultan al considerar simultneamente en presencia los tres posibles tipos de cantidades: cuadrados, races y nmeros, es decir, x", x y constante. El captulo I abarca en tres prrafos el caso de los cuadrados igual a 2 2 2 races, que se puede expresar en notacin moderna como, x =5x, x /3 =4x, 5x =10x (la raz igual a cero no se reconoce como tal). El captulo II cubre el caso de los cuadrados igual a nmeros y el captulo III resuelve el caso de las races igual a nmeros. Los captulos IV, V, VI son ms interesantes, ya que se ocupan de la resolucin de los tres casos clsicos que presentan las ecuaciones cuadrticas completas: Cuadrados y races igual a nmeros Cuadrados y nmeros igual a races Races y nmeros igual a cuadrados

Las soluciones consisten en recetas para completar el cuadrado aplicadas a ejemplos concretos. En el captulo IV incluye los tres casos particulares siguientes: x +10 x =39; 2x +10x =48 y x /2+5x =28; en cada una da solamente la solucin positiva. En el captulo V se da un nico ejemplo, la ecuacin x +21 =10x, de la que se calculan las dos races, x =3, x =7 obtenidas a partir de la regla x = 5 # 25-21. En el captulo VI el autor vuelve a dar un nico ejemplo y nos advierte de que si el coeficiente de x" no es la unidad, entonces se debe reducir la ecuacin a esta forma antes de completar cuadrados. Estos seis tipos de ecuaciones que se han mencionado agotan todas las posibilidades de ecuaciones lineales y cuadrticas que tengan una raz positiva. Aunque Al-Khowrizm da soluciones algebraicas de las ecuaciones cuadrticas, en algn momento se ve influenciado por la confianza que tenan los griegos en el lgebra geomtrica, a la vez que aritmetizaban el problema, deban pensar que la demostracin haba que hacerla con mtodos geomtricos. As, 2 que para resolver la ecuacin x +10x =39, Al-Khowrizm en su libro da el siguiente razonamiento geomtrico:
2 2 2 2

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Sea AB el segmento que representa el valor de la incgnita x y construyamos el cuadrado ABCD. Prolonguemos DA hasta H y DC hasta F de manera que AH =CF =5, que es la mitad del coeficiente de x. Entonces las reas I, II y III 2 son x , 5x y 5x respectivamente. La suma de las tres es el primer miembro de la ecuacin. Aadimos ahora a ambos miembros el rea IV. Luego el cuadrado completo tiene rea 39 +25 64 y su lado debe valer 8. Por tanto AB o AD es 85 3. Este es el valor de x. El argumento geomtrico se basa en la proposicin cuatro del libro II de los Elementos de Euclides. El libro de Al-Khowrizm contiene adems de la resolucin de ecuaciones, que ocupa aproximadamente la mitad del libro, reglas para operar con expresiones binmicas, incluyendo productos tales como (10+x)(10-x), demostraciones geomtricas para la resolucin de ecuaciones, como ya hemos visto, y por ltimo una gran variedad de problemas que sirven para ilustrar los casos tratados en los seis captulos ya citados, por ejemplo: Muere un hombre dejando dos hijos y legando un tercio de su capital a un extrao el hombre deja unas propiedades que valen diez dirhams y una reclamacin de deuda de diez dirhams a sus hijos. Los rabes resolvieron tambin algunas ecuaciones cbicas de forma algebraica y en algunos casos dieron una justificacin geomtrica. Uno de ellos fue el fsico y astrnomo Alhazen Tbit. En el siglo X vivi otro gran algebrista llamado Abu Kamil, quien continu los trabajos de Al-Khowrizm y sus avances en las leyes fundamentales e identidades del lgebra, fueron utilizados ms tarde por algunos matemticos de la Europa Medieval. La resolucin de ecuaciones cbicas con el uso de intersecciones de cnicas es el mayor avance hecho por los rabes en lgebra. Tambin resolvieron ecuaciones indeterminadas de segundo y tercer grado; y un par de autores se dedicaron a estudiar la ecuacin x$+y$=z$ aunque no pudieron resolverla completamente.

EUROPA MEDIEVAL
Tras la cada del imperio romano en el ao 476, Europa comienza una nueva etapa, conocida como Edad Media que finalizara a principios del siglo XIV. El punto de arranque de las matemticas en Europa fue la creacin de los centros de enseanza. Con anterioridad, tan solo algunos monjes se haban dedicado a estudiar las obras de carcter matemtico de los antiguos. Uno de los primeros centros de enseanza fue organizado en Reims, ciudad francesa, por Gerberto (Silvestre II) a finales del siglo X. Gerberto, fue posiblemente el primero de Europa que ense el uso de los numerales indo-arbigos. Sin embargo, hubo que esperar a que los musulmanes rompieran la barrera lingstica, hacia el siglo XII, para que surgiera

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

una oleada de traducciones que pusiera en marcha la maquinaria matemtica. Tras estas traducciones en rabe, entra en escena el importante papel que desempearon los traductores espaoles, ya que stos a su vez tradujeron las obras del rabe al latn, permitiendo su difusin por Europa. Uno de los traductores ms importantes fue Gerardo de Carmona (1114- 1187), quien tradujo del rabe los Elementos de Euclides, el Almagesto de Ptolomeo y el lgebra de AlKhowarizmi. Los principales centros en los que se desarroll este punto de arranque matemtico en Europa fueron las universidades de Oxford, Pars, Viena y Erfurt (estas dos ltimas fundadas en los aos 1365y 1392 respectivamente). Cabe destacar a tres matemticos del siglo XII y XIII procedentes de sectores sociales muy distintos, que contribuyeron a popularizar el algorismo: -Alexandre de Villedieu fue un franciscano francs que escribi Carmen de algoritmo, una obra lrica en la que se describen con detalle las operaciones fundamentales con los enteros utilizando los numerales hindarbigos y considerando al cero como un nmero. -John de Halifax (1200-1265) conocido tambin como Sacrobosco, fue un maestro ingls que contribuy con su obra Algorismus vulgaris, manual prctico de clculo que rivaliz en popularidad con su otra famosa obra: Sphaera, un tratado sobre astronoma que se us en las escuelas a lo largo de la Edad Media tarda. -Y el tercero y ms importante fue Leonardo de Pisa (1170 - 250), ms conocido como Fibonacci o hijo de Bonaccio. Fue educado en frica y viaj extensamente por Europa y Asia Menor, gracias a lo que pudo aprender el sistema de numeracin indo-arbigo. En 1202, Fibonacci escribi su Liber Abaci (el libro del baco), un tratado muy completo sobre mtodos y problemas algebraicos en el que se recomienda con gran insistencia el uso de los numerales hind-arbigos. El Liber Abaci no es un libro cuya lectura resulte precisamente gratificante al lector moderno porque explica los procesos algortmicos o aritmtico usuales, incluida la extraccin de races en problemas de transacciones comerciales, utilizando para ello un complicado sistema de fracciones al calcular los cambios de moneda .No deja de ser una de ser una de las ironas ms notables de la historia que la principal ventaja del sistema de notacin posicional, es decir, su aplicacin a las fracciones, pasase casi desapercibido a los que utilizaron los numerales indo-arbigos durante los primeros mil aos de su existencia. Tanto en el Liber Abaci como en su trabajo posterior: Liber Quadratorum (1225), Leonardo se ocup del lgebra. Sigui a los rabes en usar palabras en lugar de smbolos y basar el lgebra en mtodos aritmticos. Expuso la solucin de ecuaciones determinadas e indeterminadas de primer y segundo grado, as como de algunas ecuaciones cbicas. Al igual que Khayyam (matemtico rabe), crea que las ecuaciones cbicas no podan ser resueltas algebraicamente. La caracterstica nueva ms significativa del trabajo de Leonardo es la observacin de que la clasificacin de Euclides de los irracionales en el libro X de los Elementos no inclua todos los irracionales. Fibonacci mostr que las 2 races de la ecuacin x$ +2x +10x =20 no pueden construirse con regla y comps. Esta fue la primera indicacin de que el sistema de nmeros contena ms de los que permita el criterio griego de existencia basado en la construccin mencionada. Pero a pesar de todo, Fibonacci quedara inmortalizado por la famosa sucesin que lleva su nombre y su no menos conocido problema de los conejos.

RENACIMIENTO
Durante los siglos XV y XVI hubo un vasto movimiento de revitalizacin de la cultura en Europa Occidental. El nombre de Renacimiento es debido a que se retomaron los elementos de la cultura clsica tanto en el mbito del arte

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

como en el estudio de los cientficos antiguos. El invento de la imprenta ayud notablemente a que este movimiento cultural pudiese expandirse de una manera rpida por toda Europa. Los matemticos del Renacimiento prepararon el terreno para el resurgir del estudio matemtico en Europa mediante las traducciones de los trabajos griegos y rabes y los trabajos enciclopdicos de compilacin del conocimiento existente. Pero las motivaciones y direcciones de las creaciones matemticas surgieron principalmente de los problemas tecnolgicos y cientficos. Pero hubo algunas excepciones, como es el caso del crecimiento del lgebra. Ya en el siglo XV Regiomontano fue el matemtico que ms enriqueci el lgebra, su rama de las matemticas favorita, aunque su influencia se vio limitada por su adhesin a la forma de expresin retrica y por su temprana muerte. Despus de su fallecimiento, sus manuscritos fueron a parar a las manos de otro matemtico, Nuremberg, quien no logr hacer accesible la obra de Regiomontano en los aos posteriores. As, Europa continu aprendiendo su lgebra de forma lenta dado a la escasez de traducciones que discurran por las universidades y el poco inters que mostraban muchos humanistas por las ciencias. Hasta la aparicin del Ars Magna de Cardano en 1545, no hubo en el Renacimiento desarrollos trascendentes en lgebra. Sin embargo, merecen ser mencionadas algunas obras que contribuyeron a que esta rama de las matemticas no quedase en el olvido. El trabajo de un fraile italiano llamado Luca Pacioli(1445-1514), su principal publicacin es la Summa , una recopilacin de material de cuatro campos distintos: aritmtica, lgebra, geometra eucldea y contabilidad de doble entrada. Fue escrita en lengua verncula y la parte dedicada al lgebra incluye las soluciones de las ecuaciones lineales y algunas soluciones de las cuadrticas. Su lgebra es retrica; sigue a Leonardo y a los rabes al llamar a la incgnita la cosa y, al cuadrado de la incgnita census, que a veces abrevia como ce o Z; el cubo de la incgnita, cuba, se presenta a veces como cu o C. Al escribir ecuaciones, cuyos coeficientes son siempre numricos, coloca los trminos en el lado que permite la utilizacin de coeficientes positivos y slo da las races positivas. La parte del libro dedicada al lgebra termina con la observacin de que la solucin de las ecuaciones x! +mx =n y x! +n =mx son tan imposibles como la cuadratura del crculo. Gracias al amplio conocimiento disponible en el libro, fue ms usada de lo que le correspondera por su originalidad. A parte de la innegable influencia de Italia durante el despegue cultural del siglo XV y XVI, en otros lugares Europeos no se quedaron rezagados. En Alemania los libros de lgebra publicados llegaron a ser tan numerosos que durante algn tiempo se impuso en casi toda Europa el uso de la palabra alemana coss para designar a la incgnita y el lgebra misma vino a llamarse el arte csico o arte de la cosa. Entre las numerosas lgebras germnicas cabe destacar la Die Coss, escrita en 1524 por el famoso matemtico alemn Adam Riese (1492-1559). Este autor fue el ms influyente de los matemticos alemanes por su tendencia de reemplazar los viejos mtodos de clculo basados en el uso de cuentas o fichas, o bien de los numerales romanos, por los nuevos mtodos utilizando pluma y los numerales hindrabes. Sus numerosos textos de aritmtica resultaron ser tan efectivos que an se usa en Alemania la frase Nach Adam Riese como un elogio a la exactitud en los clculos aritmticos. Riese menciona tambin en su Die Coss el lgebra de Al-Khowrizm y cita adems a un cierto nmero de predecesores alemanes en este campo. Entre ellos se encuentran la Coss (1525) de Christoph Rudolff, el Rechnung (1527) de Peter Apian y la Aritmtica integra (1544)de Michael Stifel. La primera obra es importante por ser uno de los primeros libros impresos que hace uso de las fracciones decimales, as como del smbolo moderno para las races; la segunda es notable por el hecho de que en ella en una aritmtica comercial a fin de cuentas, aparece impreso en la portada el llamado tringulo de Pascal, casi un siglo antes del nacimiento de Pascal. Y la tercera de las obras que se ha mencionado, Aritmtica integra, fue la ms importante de las tres, trata los nmeros negativos, la races y las potencias. Mediante el uso de los coeficientes negativos en las ecuaciones, Stiffel pudo reducir la multiplicidad de casos de ecuaciones cuadrticas a una forma nica, pero como contrapartida tena que explicar por medio de una regla especial cundo usar el signo + y el signo - . Para las sucesivas potencias de la cantidad incgnita en lgebra, propuso utilizar una letra nica para representar la incgnita, y repetir dicha letra para las potencias ms elevadas de la incgnita tantas veces como indique la potencia en cuestin. Stiffel daba en su obra muchos ejemplos que conducan a ecuaciones cuadrticas, pero ninguno de sus problemas conduca a una ecuacin cbica, por la sencilla razn de que no haba nada ms sobre la resolucin

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

algebraica de las cbicas que lo que saban Pacioli o Khayyam. Sin embargo en al ao 1545 se divulg la solucin no slo de la ecuacin cbica, sino tambin de la curtica, gracias a la publicacin del Ars Magna de Jernimo Cardano (1501-1576).Un avance tan sorprendente e inesperado como ste produjo un impacto tan importante en el mundo de los algebristas, que el ao1545 se suele consideras a menudo como el que marca el comienzo del periodo moderno en la matemtica. No obstante, Cardano afirma en su libro que no fue el descubridor original de la solucin de la ecuacin cbica ni de la curtica. La sugerencia para resolver la cbica la obtuvo de Niccolo Tartaglia (1500-1557), que a su vez obtuvo la idea de Scipione del Ferro (1465-1526) un profesor de matemticas que nunca lleg a publicar la solucin, sino que se la revel antes de su muerte a uno de sus alumnos, Antonio Mara Fior, un matemtico mediocre. Mientras, la solucin de la curtica fue descubierta por primera vez por el antiguo secretario de Cardano, Ludovico Ferrari (15221565). Sea como fuere, estos desarrollos abrieron las puertas a muchos otros hallazgos matemticos en los siglos posteriores. En el Ars Magna aparece adems el genial descubrimiento de que un polinomio es divisible por los factores del tipo (x-a) donde a es raz del polinomio, aunque no se da ninguna demostracin. Una de las consecuencias ms importantes tras la publicacin del Ars magna fue que la solucin de la ecuacin cbica condujo a las primeras consideraciones significativas acerca de un nuevo tipo de nmero. Tuvieron que aceptar la existencia de los nmeros irracionales y de los nmeros negativos, pero estos ltimos presentaban ms dificultades ya que no se les poda aproximar por nmeros positivos a diferencia de los irracionales que podan ser aproximados fcilmente por nmeros racionales. Cardano se encontraba a menudo con el problema de que la frmula para resolver ecuaciones cbicas le conduca a races cuadradas de nmeros negativos. Ante este problema, otro importante algebrista italiano Rafael Bombelli (1526-1573) tuvo una genial idea, como los dos radicandos bajo las races cbicas que aparecen en la frmula final solo difieren en un signo, Bombelli imagin que los radicales mismos podan estar relacionados entre s de la misma manera que lo estn los radicandos; es decir, lo que ahora nosotros denominaramos como complejos conjugados. Pero Bombelli se encuentr con que necesitaba conocer de antemano una de las races de la ecuacin, y sin tal conocimiento previo su planteamiento fallaba. Bombelli plasm todas sus ideas en su obra pstuma lgebra. Uno de los avances ms significativos en el lgebra durante el siglo XVI fue la introduccin de un mejor simbolismo, lo que hizo posible hacer una ciencia del lgebra. Los smbolos + y - fueron introducidos por los alemanes en el siglo XV para denotar excesos y defectos en los pesos de cofres y arcas; el smbolo & para la multiplicacin lo introdujo William Oughtret y el smbolo = fue obra de Robert Recorde, matemtico en Cambridge, donde escribi un tratado sobre el lgebra, The Whet-stone of Witte; en l deca que no conoca dos cosas ms iguales que dos lneas paralelas y por tanto este tipo de lneas deban denotar la igualdad. Pero sin duda el cambio ms significativo en el carcter del lgebra relacionado con el simbolismo fue introducido por Franois Vite (1540-1603) un abogado francs cuyo inters por las matemticas era puro entretenimiento y describe su In Artem Analyticam Isagoge como la obra del anlisis matemtico restaurado. Vite traza la lnea divisoria entre la aritmtica y el lgebra y propone utilizar una vocal para representar una cantidad que se supone en lgebra desconocida o indeterminada, y una constante para representar una magnitud o un nmero que se supone conocido o dado. Esta distincin entre el concepto de parmetro y la idea de incgnita fue un paso previo a la matemtica moderna.

SIGLO XVII
Hacia el ao1575, Europa occidental haba recuperado ya la mayor parte de las obras matemticas ms importantes de la antigedad. El lgebra rabe no slo haba sido asimilada, sino mejorada gracias a la resolucin de las ecuaciones cbicas y curticas y el uso de un cierto simbolismo. Por tanto Europa estaba preparndose para la

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

matemtica del mundo moderno. Pero este salto no hubiera sido posible sin una excelente transicin del Renacimiento al mundo moderno. Esto fue posible gracias a la intensa intercomunicacin que hubo entre los distintos matemticos de este siglo, algo que no exista desde los tiempos de Platn. Todava no exista ninguna organizacin matemtica de tipo profesional, pero en pases como Italia, Francia e Inglaterra ya haba algunos cientficos que estaban ms o menos organizados. En Italia estaban las Accademias dei Lincei y del Cimento, en Francia el Cabinet Du Puy y el Invisible College en Inglaterra. Adems hubo un fraile, Marin Mersenne, que se encarg de que la informacin sobre nuevos hallazgos matemticos circulase por todo el mbito cientfico con una rapidez y eficacia inusual hasta el momento. Este preludio a la matemtica moderna viene marcado por grandes figuras matemticas. El escocs John Napier (1550-1617) con su obra Canonis mirifici logarithmorum descripto; los ingleses Henry Briggs (1561-1639), Thomas Harriot (1598-1621) y William Oughtred (1574-1660), ste ltimo introdujo el aspa & para denotar a la multiplicacin en su libro Clavis mathematicae, y el flamenco Albert Girad (1590-1633) quien en su obra Invention nouvelle adopta una notacin algo singular, las potencias estn escritas con nmeros dentro de crculos. Pero el lgebra simblica alcanza su madurez ocho despus de la publicacin de la obra de Girad, aparece La Gomtrie de Ren Descartes (1596-1650), que sita a Francia en el centro del mundo matemtico, durante el ltimo tercio del siglo XVII. Descartes comienza La Gomtrie con la resolucin de problemas geomtricos mediante el lgebra. Primero muestra cmo se pueden interpretar geomtricamente las operaciones algebraicas, incluida la resolucin de las ecuaciones cuadrticas, y a continuacin Descartes se centra en la aplicacin del lgebra a determinados problemas geomtricos formulando el planteamiento general de una manera mucho ms clara que los cosistas del Renacimiento. A lo largo de los libros I y III se dedica a este tipo de problema geomtrico en el que la ecuacin algebraica resultante slo puede contener una incgnita. l saba muy bien que el grado de esta ecuacin final era el que determinaba los mtodos geomtricos con ayuda de los cuales podra efectuarse la construccin geomtrica pedida. Descartes comenzaba con el estudio de un problema puramente geomtrico para traducirlo a continuacin al lenguaje de una ecuacin algebraica. l insista en que al resolver geomtricamente una ecuacin se deberan utilizar nicamente los mtodos ms sencillos compatibles con el grado de la ecuacin. Para las ecuaciones cuadrticas son suficientes rectas y circunferencias y para las cbicas y las curticas bastan las cnicas. En el Tercer libro de La Gomtrie, Descartes afirma que una ecuacin puede tener tantas races como el nmero de dimensiones (el grado) de la incgnita, usando la expresin puede tener, por considerar las races negativas como falsas. Ms tarde, al incluir las races imaginarias y las negativas a efectos de contar las races, concluy que hay tantas como indica el grado. Descartes en esta obra enunci sin demostracin la regla de los signos conocida como regla de Descartes, que afirma que el mximo nmero de races positivas de f(x)=0 donde f es un polinomio, es el nmero de variaciones del signo de los coeficientes, y que el mximo nmero de races negativas es el nmero de apariciones de dos signos +o dos signos -consecutivamente. En terminologa actual, la ltima parte de la regla afirma que el nmero mximo de races negativas es el nmero de variaciones en la ecuacin f(-x)=0. Esta regla fue demostrada por varios matemticos del siglo XVIII. Descartes tambin enuncia y demuestra en este tercer libro que f(x) es divisible por (x-a,) con a positivo, si y slo si a es una raz de f(x)=0 y por (x+a) si y slo si a es una raz falsa. Con este y otros resultados, Descartes establece el mtodo moderno de hallar las races racionales de una ecuacin polinmica. En La Gomtrie, introduce el principio de coeficientes indeterminados, que puede ilustrarse del siguiente modo: 2 2 para descomponer (x -1) en dos factores lineales, expresamos x -1= (x+b)(x+d), seguidamente realizamos la multiplicacin en el segundo miembro e igualamos los coeficientes de las potencias de x en ambos lados, obteniendo b+d =0 y bd =-1 de donde podremos conocer b y d. Descartes insisti en la utilidad de este mtodo. Aunque Descartes us las mejoras en la notacin algebraica, su libro no es fcil de leer, de hecho Descartes presuma que pocos matemticos en Europa podan entender su trabajo, tal vez por ello, la difusin del empleo de ecuaciones algebraicas para representar y estudiar curvas fue lenta.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Descartes ve en el lgebra un poderoso mtodo de gua del razonamiento con cantidades desconocidas y abstractas. En su visin el lgebra mecaniza la matemtica de forma que el pensamiento y los procesos se simplifican. Por ello, propone tomar lo mejor del lgebra y la geometra y corregir los defectos de una con la ayuda de la otra .As crea lo que se denominar geometra analtica. l fue el primero en asignar al lgebra un lugar fundamental en el sistema de conocimiento. Y al argumentar que una curva es cualquier lugar geomtrico que tiene una ecuacin algebraica, Descartes abri de un solo golpe el dominio matemtico. El otro francs importante de la poca fue Pierre de Fermat (1601- 1665) que contribuy tambin a la geometra analtica y al anlisis infinitesimal, aunque su aportacin ms importante fue en el campo de la teora de nmeros, segn l gracias haber ledo la Aritmtica de Diofanto. Fermat formul que no hay nmeros enteros positivos x, y, z tales que x!+y!=z!; conocida esta afirmacin como ltimo teorema de Fermat.Aunque desgraciadamente no dej ninguna demostracin escrita, segn l porque el margen era demasiado estrecho para contenerla.

SIGLO DE LAS LUCES


El siglo XVIII fue el siglo de las revoluciones. En 1789 estalla en Francia la conocida como Revolucin Francesa, y en otras zonas de Europa, especialmente en Inglaterra, la llamada Revolucin Industrial que cambi profundamente la estructura social del mundo occidental. A pesar de la inestabilidad poltica en Francia, los matemticos franceses seguan siendo el centro de atencin de la Europa matemtica, y fueron los responsables de las principales lneas de investigacin y desarrollo matemtico. La gran cantidad de publicaciones anteriores a la RevolucinFrancesa, contribuiran un siglo despus a la aparicin del lgebra abstracta. En 1707 aparece De Anlysis de Isaac Newton (1642-1727); la esencia de la obra consiste en reducir cualquier problema a la formacin de una ecuacin algebraica, cuya raz ser la solucin del problema. En el libro, Newton enuncia un teorema que permite determinar el nmero de races reales de un polinomio, as como una regla con la que es posible dar una cota superior de las races positivas. De Anlysis termina con los resultados de la teora general de ecuaciones y adems la resolucin grfica de stas mediante la construccin geomtrica de las races. En 1646 nace, en Leipzig, Gottfried Leibniz (1646-1716), su contribucin ms importante a la matemtica, a parte de en el clculo, lo fue en el campo de la lgica. Lo que ms le impresionaba del clculo era el carcter de universalidad que presentaba, y esta misma idea fundamental, la aplic a sus restantes trabajos. Leibniz pretenda reducir todas las cosas a un orden, y para reducir todas las discusiones lgicas a una forma sistemtica quera desarrollar una caracterstica universal que sirviera como una especie de lgebra de la lgica. Adems pensaba que se podan hacer descubrimientos nuevos mediante operaciones correctas, pero ms o menos rutinarias con los smbolos, de acuerdo con las leyes del clculo lgico. Su sugerencia revivi en el siglo XIX y jug un papel muy importante en la matemtica de este siglo. DAlembert (1717-1783) dio una demostracin, defectuosa, del teorema fundamental del lgebra y Clairaut en 1740 ya haba publicado un texto, los Elments dalgbre, que lleg a alcanzar tal popularidad que an se public una sexta edicin de l en 1801. Euler no slo contribuy a la teora de nmeros, sino que escribi tambin un texto de lgebra muy popular que se public en ediciones en alemn y en ruso en San Petersburgo 1770-1772, en francs (bajo los auspicios de DAlembert) 1774 y en otras muchas versiones, incluidas algunas ediciones americanas en ingls. La excepcional calidad didctica del lgebra de Euler se suele atribuir al hecho de que la dict el autor ya ciego a un criado de escasos conocimientos. Los libros de texto de Clairaut y Euler se utilizaron relativamente poco en Inglaterra, en parte debido al aislamiento matemtico de Inglaterra a finales del siglo XVIII, y en parte tambin a que Maclaurin y otros matemticos haban escrito buenos libros de texto de nivel elemental. El Treatise of lgebra de Maclaurin lleg alcanzar media docena de ediciones desde 1748 a 1796. Uno de los textos rivales de este tratado fue el Treatise of lgebra de

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Thomas Simpson(1710-1761) quien pudo jactarse de llegar a ocho ediciones, por lo menos en Londres de 1745 a 1809; otro, los Elements of lgebra por Nicholas Saunderson (1682-1739) se edit cinco veces entre 1740 y 1792. Los textos de lgebra del siglo XVIII ilustraban de manera clara la tendencia hacia un nfasis creciente en los aspectos algortmicos de la materia, mientras que sus fundamentos lgicos permanecan an sumergidos en una incertidumbre considerable. La mayor parte de los autores consideraba necesario insistir largamente sobre las reglas que regan la multiplicacin de nmeros negativos, aunque algunos rechazaban de forma categrica la posibilidad de multiplicar dos nmeros negativos. A juzgar por la aparicin casi repentina de tantas obras sobre geometra analtica a partir de 1798, se produjo una autntica revolucin en la enseanza. La geometra analtica, que haba permanecido eclipsada por el clculo durante ms de un siglo, consigui de pronto que se le reconociera un lugar por derecho propio en las escuelas; la paternidad de esta revolucin analtica hay que atribuirla principalmente a Gaspard Monge (1746-1818). Entre los aos 1798 y 1802 aparecieron cuatro obras sobre geometra analtica elemental, de las plumas de Sylvestre Franois Lacroix (1765-1842), Jean-Baptiste Biot (1774-1862), Louis Puissant (1769-1843) y F.L.Lefranais, todas ellas inspiradas directamente por las lecciones dadas en la cole Polytechnique. Los politcnicos fueron responsables de otros tantos textos de nuevo en la dcada siguiente. La mayor parte de ellos alcanzaron un gran xito, publicndose en numerosas ediciones. El libro de Biot lleg a cinco ediciones en menos de una docena de aos; el de Lacroix, alumno y ms tarde colega de Monge, apareci en veinticinco ediciones en noventa y nueve aos. Lacroix se neg a utilizar el nombre de geometra analtica como posible ttulo de su libro de texto, al que titul Traite lmentairede trigonomtrie rectiligne et sphrique et application de lalgbre la gomtrie. Aunque el nombre de geometra analtica haba aparecido ya de vez en cuando a lo largo del siglo XVIII, parece ser que el primero que lo utiliz como ttulo de un libro de texto fue Lefranais en una edicin de sus Essais de gomtrie de 1804, as como Biot en la edicin de 1805 de sus Essais de gomtrie analytique.

SIGLO XIX
El siglo XIX merece ser llamado ms que ningn otro periodo anterior, la Edad de Oro de la Matemtica. Los progresos realizados en el mbito matemtico durante este siglo superan tanto en cantidad como en calidad, la produccin reunida de todas las pocas anteriores. En 1874 el dominio del anlisis se ve conmocionado por la matemtica del infinito que acababa de introducir Cantor (1845-1918), un matemtico alemn que haba nacido en Rusia. Francia ya no era el centro reconocido del mundo matemtico aunque produjera la meterica carrera de un jovencsimo variste Galois (1811-1832), tuvo que compartir este liderazgo con otros pases como Alemania, pas que crea al matemtico ms importante de este siglo o para muchos de la historia, Carl Friedrich Gauss (1777-1855). El carcter internacional de la matemtica tambin queda de manifiesto en el hecho de que las dos contribuciones ms revolucionarias al lgebra, en 1843 y 1847 las hicieron dos matemticos que enseaban en Irlanda. La primera de ellas fue obra de Sir William Hamilton (1805-1865) y la segunda de George Boole (1815-1864). No obstante, los algebristas ms prolficos del siglo XIX fueron dos ingleses que vivieron parte de su vida en Estados Unidos; se trata de Arthur Cayley(1821-1895) y J.J.Sylvester (1814-1897) y fue principalmente de su alma mater , Cambirge, de donde surgi el desarrollo del lgebra moderna. En 1799, Gauss publica su tesis en la Universidad de Helmstdt que lleva el ttulo de Nueva Demostracin del Teorema Que Toda Funcin Algebraica Racional y Entera de Una Variable Puede Resolverse en Factores Reales de Primero o de Segundo Grado. Este teorema, al que ms tarde se referir Gauss como el teorema fundamental del lgebra, era conocido en su tiempo como el teorema de DAlembert; pero Gauss demostr que todos los intentos de demostracin anteriores, incluyendo los de Euler y Lagrange, eran incorrectos. La tesis doctoral de Gauss demostraba que toda ecuacin polinmica f(x) =0 tiene al menos una raz, ya sean los coeficientes reales o complejos. Esta primera demostracin se basa en su mayor parte en consideraciones geomtricas, lo cual no resultaba del todo satisfactorio para nuestro genio. Por ello Gauss publica dos nuevas demostraciones en 1816 y 1850, intentando poder rescribir una demostracin puramente algebraica. En su primera demostracin, Gauss da una representacin grfica de los nmeros

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

complejos, la cual ya haba sido publicada en1797 por Wessel pasando desapercibida para el mundo matemtico.Gauss considera las partes real e imaginaria pura de un nmero complejo a+bi como las dos coordenadas rectangulares de un punto en el plano. El hecho de que se pudiera visualizar un nmero complejo como un punto del plano, hizo que el resto de matemticos se sintiesen ms cmodos con su uso. Dos aos despus de la presentacin de su tesis, Gauss public su libro ms conocido, un tratado de teora de nmeros en latn, Disquisitiones arithmeticae. Esta obra es la responsable del desarrollo del lenguaje y de las notaciones de la parte de la teora de nmeros conocida como el lgebra de las congruencias. La notacin que adopt Gauss en su obra es la misma que utilizamos en la actualidad, b!c(mod a) y procedi a construir un lgebra para la relacin anloga al lgebra usual expresada en el lenguaje de la igualdad. Las Disquisitiones de Gauss, sirvi para que con diecisis aos un chico noruego llamado Niels Henrik o ms conocido como Abel, mostrase un gran inters por las matemticas y tres aos ms tarde, en 1824 publicase un ensayo titulado Sobre la Resolucin Algebraica de Ecuaciones. En su obra, Abel llega a la conclusin de la insolubilidad de la quntica, es decir, demuestra que no puede existir ninguna frmula general expresada en trminos de operaciones algebraicas explcitas que nos de las races de la ecuacin si el grado del polinomio es mayor que cuatro. Sin embargo, despus de este descubrimiento, Abel saba que haba muchas ecuaciones especiales tales como las ecuaciones binmicas x' =a, n primo, y las ecuaciones abelianas que eran solubles por radicales. La finalidad ahora era determinar qu ecuaciones eran solubles por radicales. Esta tarea iniciada por Abel, fue resulta en 1830 por el joven francs Galois con tan slo 20 aos. Galois escribi un ensayo sobre sus investigaciones Sur les conditions de rsolubilit des quations par radicaux. Este texto le fue confiado a su mejor amigo antes de que Galois muriera trgicamente en un duelo a pistola. Y hasta 1846 que fue cuando Lioville public y edit en el Journa l Mathmatiques (revista matemtica importante de la poca) algunos de estos artculos, no se dio a conocer el magnfico trabajo del joven francs. El criterio aportado por Galois para la resolubilidad en radicales de las ecuaciones polinmicas tuvo un significado tan novedoso que se sala de los marcos del problema a tratar. La idea central de la teora de ecuaciones algebraicas de Galois era la creacin del concepto abstracto de grupo. Esta idea del estudio de la estructura de los campos algebraicos y la comparacin con ellos de la estructura de los grupos de un nmero finito de sustituciones, fue la base de lo que se denomina lgebra moderna. El trabajo de Galois sobre la solubilidad de ecuaciones mediante procesos algebraicos cerr un captulo del lgebra y, a pesar de que present ideas tales como las de grupo y dominio de racionalidad (cuerpo) que rendiran fruto ms tarde, la completa explotacin de estas ideas tuvo que esperar otros desarrollos. La siguiente gran creacin algebraica, iniciada por William R. Hamilton, abri nuevos dominios, mientras rompa con viejas convicciones acerca de cmo deban comportarse los nmeros. Para apreciar la originalidad del trabajo de Hamilton, hay que examinar cmo se extendi la lgica del lgebra ordinaria en la primera mitad del siglo XIX. Hacia 1800 los matemticos empleaban con libertad los varios tipos de nmeros reales y complejos, pero la definicin precisa de estos distintos tipos de nmeros no tena ninguna justificacin respecto a las operaciones realizadas con ellas. Las mayores inquietudes parecan estar causadas por el hecho de que se manipulaban las letras como si tuvieran las propiedades de los enteros, sin embargo los resultados de estas operaciones eran vlidos cuando nmeros cualesquiera sustituan las letras. Como no se haba realizado el desarrollo de la lgica de los diversos tipos de nmeros no era posible ver que estos posean la misma propiedad formal de los enteros positivos y consecuentemente, que expresiones literales que simplemente se mantenan para cualquier clase de nmeros reales o complejos deban poseer las mismas propiedades. Pareca como si el lgebra de expresiones literales poseyera una lgica en s misma, que responda de su efectividad y correccin. De aqu que los matemticos atacaran hacia 1830 el problema de justificar las operaciones con expresiones literales o simblicas. Este problema fue tratado en un principio por George Peacock (1791-1858), quien hizo una distincin entre el lgebra aritmtica y simblica. En su Treatise on lgebra, justificaba gracias a lo que l denominaba lgebra simblica, las operaciones con expresiones literales que podan mantenerse para nmeros reales y complejos, es decir quera hacer del lgebra una ciencia de smbolos sin interpretacin, con sus correspondientes leyes de combinacin. De esta obra se deriv el principio de la permanencia de la forma de la adopcin de los axiomas. Este enfoque allan el camino

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

para un pensamiento ms abstracto en el lgebra e influenci notablemente en los desarrollos de Boole sobre el lgebra de la lgica. En 1833 Hamilton presenta un importante artculo en la Irish Academy, en el que introduce y estudia un lgebra formal de parejas de nmeros reales cuyas reglas de combinacin eran las que se dan en la actualidad para el sistema de los nmeros complejos. La importante regla que defina la multiplicacin de parejas era (a , b) (( , )) = (a( b) , a) + b( ) Hamilton interpreta este producto como una operacin en la que interviene una rotacin. l se dio cuenta de que sus pares ordenados podan interpretarse como entidades dirigidas en el plano e intent extender esta idea a tres dimensiones, pasando los nmeros complejos binarios a+bi a las ternas de nmeros ordenados a+bi+cj. Pero a Hamilton estas ternas le crearon dificultades a la hora de operar con ellas. As que en 1843 averigu que si utilizaba cudruplas, 2 2 2 a+bi+cj+dk, en vez de ternas estas dificultades desaparecan. Para estas cudruplas se debera tomar i +j + k =-1, ij=k, ji=-k, anlogamente para el resto, perdiendo la propiedad conmutativa. Sus ideas las plasm en su obra Lectures on Quaternions que ms tarde ampliara con el ttulo Elements of Quaternions. Lo fundamental del descubrimiento de Hamilton no era en esencia este tipo particular de lgebra, sino ms bien el descubrimiento de la gran libertad de que goza la matemtica para construir lgebras que no necesitan satisfacer las restricciones impuestas por la llamadas leyes fundamentales. A mediados del siglo XIX los matemticos alemanes sobresalan en general por encima de los de otros pases. En cambio en lo referente al lgebra, Inglaterra estuvo a la cabeza con el Trinity College de Cambridge y el Cambridge Mathematical Journal como medio de expresin. En esta universidad inglesa trabaron amistad dos importantes algebristas G. Cayley y J. J.Sylvester. Cayley fue uno de los primeros matemticos en estudiar las matrices, como peculiar forma y estructura algebraica. Defini la suma y multiplicacin de matrices y la matriz identidad. Por su parte Sylvester consigui eliminar una incgnita entre dos ecuaciones polinmicas; esto es conocido en la actualidad como mtodo dialtico de Sylvester. Este mtodo es muy sencillo y consiste en multiplicar una o las dos ecuaciones por la incgnita que se quiere eliminar, repitiendo el proceso si es necesario hasta que el nmero de ecuaciones sea uno ms que el nmero de potencias de la incgnita, entonces de este conjunto de n+1 ecuaciones se pueden eliminar todas las n potencias, considerando cada potencia como una incgnita distinta. Pero uno de los mayores logros lo consigui junto a su amigo Cayley en el desarrollo de la teora de las formas o cunticas, polinomios homogneos en dos o ms variables y sus invariantes, de donde les vino el apodo de los gemelos invariantes.Los casos ms importantes en geometra analtica y en fsica son las formas cuadrticas en dos y en tres variables, que al igualarlas a una constante, representan cnicas y cudricas. Mientras tanto, Boole, otro matemtico autodidacto ingls estaba inventando otro tipo de lgebra radicalmente diferente al de sus colegas anteriores. En 1847 public un libro titulado The Mathematical Analysis of Logic en el que afirmaba que la lgica deba estar asociada a la matemtica ms bien que a la metafsica. En este libro se expresa claramente por primera vez que la caracterstica esencial de la matemtica no es tanto su contenido como su forma; si un tema cualquiera se presenta de manera que consiste nicamente en smbolos y reglas precisas para operar con estos smbolos, sujeto todo ello nicamente a una exigencia de consistencia interna, entonces este tema constituye una parte de la matemtica. En 1854 escribe otra obra, Investigation of the Laws of Though; en ella extendi y clarific las ideas presentadas en su libro anterior, construyendo tanto la lgica formal como un nuevo tipo de lgebra que se conoce en la actualidad como lgebra de Booleque es a la vez el lgebra de los conjuntos y el lgebra de la lgica. En el siglo XIX apareca en el Journal uno de los artculos ms revolucionarios de este siglo; la publicacin de G.Cantor sobre las matemticas del infinito. En 1874, Cantor reconoce la propiedad fundamental de los conjuntos infinitos, atribuida por su compaero Dedekind; pero se dio cuenta adems, de que no todos los conjuntos infinitos son del mismo tamao. En el caso finito, dos conjuntos se dicen que tienen el mismo cardinal si se pueden poner sus elementos en correspondencia biunvoca, as que Cantor se puso a construir de manera anloga una jerarqua de

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

conjuntos infinitos atendiendo a la potencia del conjunto. Cantor demostr que el conjunto de los nmeros reales tiene una potencia mayor que el conjunto de los nmeros racionales; y dividi a los nmeros reales en dos grupos, en racionales e irracionales y en algebraicos y transcendentes. Los sorprendentes resultados de Cantor le llevaron a desarrollar la teora de conjuntos como una rama autnoma de la matemtica a la que dio el nombre de Mengenlehre (teora de conjuntos) o Mannigfalttigkeitsslehre (teora de variedades o de multiplicidades). Durante los aos que Cantor puso las bases a esta teora, tuvo que esforzarse en convencer a sus contemporneos de la validez de sus resultados, ya que haba un cierto escepticismo a la hora de aceptar una teora sobre el infinito. Esta teora de conjuntos o variedades tuvo una gran influencia en la matemtica de mediados del siglo XX a todos sus niveles.

SIGLO XX
El siglo XX se ha caracterizado por las dos Guerras Mundiales que asolaron el viejo continente, y por las dictaduras que emergieron en Europa. Pero estos dos hechos no hicieron entorpecer el avance matemtico que vena empujando con fuerza desde siglo anterior. A comienzos del siglo XX era un hecho reconocido que la matemtica era una forma de pensamiento axiomtico, en la que uno deduce conclusiones vlidas de sistemas de premisas arbitrarias. La cuestin de si los axiomas son o no verdaderos, en el sentido cientfico del trmino careca de importancia; de hecho las palabras mismas con que se expresaban los axiomas son trminos indefinidos. Pero dentro del mbito matemtico hubo dos tipos de pensamiento distintos; por un lados los que identificaban a la matemtica con la lgica como es el caso de Russell y por otro lado los que se inclinaban hacia una concepcin intuicionista de la matemtica, como Sylvester . Un matemtico decididamente intuicionista, fue Henri Poincar (1854-1912), que marc una gran transicin entre los siglos XIX y XX. Poincar no se detuvo en ningn campo el tiempo suficiente como para completar su obra. Pero hubo un antes y un despus tras la publicacin en 1895 de su Analysis Situ, en este libro se daba por primera vez un desarrollo sistemtico de una nueva rama de las matemticas: la Topologa. En esta obra Poincar se adelant a lo que sera una de las direcciones de investigacin ms desarrolladas y fructferas del siglo XX. Aunque hay que destacar que la topologa no ha sido invencin de un solo hombre, algunos problemas topolgicos se encontraban ya en las obras de Euler, Mbius y Cantor. Actualmente la Topologa se puede subdividir a grandes rasgos en dos ramas muy distintas: topologa combinatoria o algebraica y la topologa conjuntista. El alto nivel de abstraccin formal que se produjo tanto en el anlisis como en la geometra y topologa a comienzos del siglo XX, no poda por menos que invadir el lgebra. El resultado fue un nuevo tipo de lgebra al que se denomin lgebra moderna y se desarroll a lo largo de la segunda mitad de este siglo. Las letras x e y ya no representaban necesariamente nmeros desconocidos (reales o imaginarios), ni segmentos, ahora podan representar objetos del cualquier tipo: sustituciones, figuras geomtricas, matrices, etc. La transicin del lgebra clsica al lgebra abstracta durante el intervalo de la Primera Guerra Mundial a la Segunda fue casi completa; y los artculos publicados tras estos treinta aos dan coma vencedora favorita al lgebra abstracta. Los conceptos fundamentales del lgebra moderna o abstracta, de la topologa y de la teora de espacios lineales se consolidaron entre 1920 y 1940, pero la veintena siguiente fue testigo de una verdadera efervescencia de los mtodos de la topologa algebraica, que se transmitieron de forma rpida al lgebra y al anlisis. El resultado fue una nueva rama conocida como lgebra homolgica.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

El lgebra homolgica es una rama del lgebra abstracta que se ocupa de resultados vlidos para tipos de espacios muy diferentes, una invasin de la topologa algebraica en el dominio del lgebra pura. La gran rapidez con la que se produjo este cruce fue gracias a los artculos publicados en el Mathematical Reviews al libro publicado en 1956 por el francs Henri Cartan (1904- ) y el polaco, Samuel Einlenberg (1913- 1998), Homological lgebra. Este proceso de abstraccin y el inters creciente en el anlisis de esquemas cada vez ms amplios y generales, puede verse con una mayor claridad en la obra producida a lo largo de la segunda mitad del siglo XX por el matemtico conocido como Nicols Bourbaki. El nombre de Nicols Bourbaki engloba a un grupo de matemticos en su mayora franceses, como Cartan, que constituan una especie de crptica sociedad annima. El primer volumen de los Elments apareci en 1939, la obra an no est completa, y su primera parte: Les structures fondamentales de lanalyse , contiene libros de Teora de Conjuntos y lgebra entre otros. En los ltimos aos diversos fascculos de un nivel ms avanzado se han aadido a sus Elments. Se dice que a partir del conocimiento del pasado uno puede anticipar, de una manera muy general, lo que puede deparar el futuro. Pero lo cierto es que la historia de la Matemtica ha demostrado que es imposible hacer un pronstico significativo de lo que va a venir. De hecho, una grfica que represente el crecimiento de de la ciencia, incluida la matemtica, se aproxima mucho a una curva exponencial.

COMENTARIO
En los siglos XV y XVI Europa fue sacudida profundamente por una gran cantidad de acontecimientos que acabaron por alterar drsticamente las perspectivas intelectuales de la poca y agitaron la actividad matemtica con gran magnitud y profundidad. Las influencias revolucionarias se difundieron ampliamente. Los cambios polticos que sucedieron a las casi incesantes guerras afectaron a todas las ciudades y estados de Europa. Italia, la madre del renacimiento es un ejemplo importante ya que su historia esta plagada de intrigas constantes. Durante el ltimo periodo de la Edad Media Italia acumul una gran riqueza, gracias a su situacin geogrfica. Grandes casas de banca hicieron de Italia el centro financiero y parte de esta riqueza fue esencial para propiciar el aprendizaje. Durante el siglo XV llegaron a Europa, en enormes cantidades, las obras griegas. Durante la primera parte del siglo se hicieron ms fuertes las conexiones entre Roma y el Imperio Bizantino, que posea la mayor coleccin de documentos griegos pero que haba estado muy aislado del continente europeo. Los bizantinos, en guerra con los turcos, buscaron el apoyo de los estados italianos. Estas mejoras en las relaciones hicieron que profesores griegos fueran a Italia e italianos al imperio bizantino para aprender griego. Por tanto no slo hubo ms manuscritos griegos disponibles en Europa, sino que muchos de los recientemente adquiridos eran mucho mejores que los adquiridos durante los siglos XII y XIII, adems las traducciones realizadas al latn directamente del griego eran ms fiables que las realizadas del rabe. La invencin de Gutenberg hacia 1450 de la imprenta con tipos movibles aceler la difusin del conocimiento. Y la sustitucin del papiro por el papel de lino y algodn se hizo extensible a toda Europa. Los artistas del Renacimiento fueron los primeros en manifestar la renovacin del inters en la naturaleza y en aplicar seriamente la doctrina griega de que las matemticas son la esencia de la realidad de la naturaleza. Especialmente de los trabajos de Platn que se conocieron en el siglo XV, los europeos aprendieron que la naturaleza esta diseada matemticamente y que este diseo es armonioso, estticamente agradable y la verdad ltima. A partir del siglo XVI muchos de estos clsicos griegos fueron traducidos a las lenguas populares, ya que como la sociedad europea no era culta, no todo el mundo saba leer. Los mismos matemticos participaron en esta actividad. Por ejemplo, Tartaglia tradujo los Elementos de Euclides del latn al italiano, Galileo escribi deliberadamente en italiano y Descartes en francs.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Durante el Renacimiento surgi una importante figura: los humanistas. Estos se dedicaron a reunir, organizar y estudiar crticamente el conocimiento griego y romano, escribieron tambin libros en los que rehicieron muchos trabajos antiguos en una reinterpretacin escolstica. Tpico entre los humanistas del siglo XVI fue Gerolamo Cardano que naci en Pava en 1501. Su carrera como pcaro y estudioso fue una de las ms fascinantes trayectorias de los hombres del Renacimiento. Proporciona un relato de su vida en su obra De Vita Propria, en la que se ensalza y humilla a s mismo. Cuenta que sus padres le dotaron solo de miseria y desprecio y fue tan pobre durante los primeros cuarenta aos de su vida que dej de considerarse pobre a s mismo porque no le quedaba nada que perder. Era de gran temperamento, dedicado al placer ertico, pendenciero, engredo, sin sentido del humor e incapaz de sentir ningn remordimiento. Fue gran jugador de dados y ajedrez. Despus de dedicar su juventud a las matemticas, la fsica y el juego se gradu en Medicina por la Universidad de Papua. En 1570 fue encarcelado por hereje, aunque sorprendentemente despus el Papa le contrat como astrlogo. Su obra ms famosa fue el Ars Magna en 1545. Libro en el que aparece la resolucin de la ecuacin cbica y curtica. Sin embargo no fue l el descubridor original de ambas ecuaciones, tal como l admite en su libro. La sugerencia para resolver la cbica la obtuvo de Niccolo Tartaglia mientras que la solucin de la curtica fue descubierta por primera vez por su antiguo secretario, Ludovico Ferrari. Tartaglia consigui aprender hacia el ao 1541 a resolver ecuaciones cbicas. Cuando se extendi esa noticia se organiz un desafo matemtico entre Fior (otro matemtico que desarroll la solucin de la ecuacin cbica) y Tartaglia. En el que cada uno de los dos contendientes propondra treinta cuestiones al otro para resolverlas en un intervalo de tiempo fijo. Cuando lleg el da de decidir el resultado, Tartaglia haba resuelto todas las cuestiones propuestas por Fior, mientras que ste no haba conseguido resolver ni una sola de las de su contrincante. Esto fue debido a que Fior slo saba resolver ecuaciones del tipo en el que son los cubos y las races igual a un nmero, es decir las del tipo x! +px =q; y Tartaglia haba aprendido a resolver tambin las ecuaciones en que son los cubos y cuadrados igual a un nmero. Tras este triunfo Cardano logr ganarse a la confianza de Tartaglia, quien le confi su mtodo. En el Ars Magna todos los casos de la ecuacin cbica se tratan con detalle segn que los trminos de los diversos grados aparezcan en el mismo o en distinto miembro de la ecuacin, puesto que todos los coeficientes han de ser necesariamente positivos .A pesar de que estudia siempre ecuaciones numricas, sigue la costumbre de AlKhowrizm de razonar geomtricamente de manera que podra llamarse a su mtodo como el de completar el cubo. Al resolver ecuaciones Cardano usaba poca sincopacin, consideraba coeficientes numricos concretos como representantes de tipos generales. Por ejemplo cuando escribe sea el cubo y seis veces el lado igual a veinte, est pensando en esta ecuacin como tpica de todas aquellas que presentan el cubo y la cosa igual a un nmero, es decir, de la forma x!+px=q. Para resolver este tipo de ecuaciones Cardano sustituye la incgnita x por u-v y supone u y v relacionadas de modo que su producto considerado como su rea sea igual a un tercio del coeficiente de x en la ecuacin, y una vez terminado el proceso de sustitucin Cardano da una formulacin verbal a la regla equivalente a nuestra solucin moderna de x!+px=q Cardano estudia otros casos como el de l cubo igual a la cosa y a un nmero. Aqu hace la sustitucin de x=u +v siendo el resto del proceso esencialmente de la misma manera que el antes explicado. Sin embargo, en este caso Cardano se encuentra con una dificultad, por ejemplo si se aplica la regla a la ecuacin x$=15x+4 se llega a un resultado en el que se observa la raz cuadrada de un nmero negativo, y Cardano saba que esto no exista, aunque tambin saba que una de las races de la ecuacin era un nmero entro positivo, por lo que el autor no llega a entender qu sentido tiene su regla en esta situacin. Cardano se refiere a estas races cuadradas de nmeros negativos como sofsticas, concluyendo que en este caso su resultado era tan sutil como intil. Sobre la regla para resolver ecuaciones curticas Cardano dice en Ars magna que se debe a Luigi Ferrari que la invent a peticin suya. Se tratan todos los casos posibles de forma separada, veinte en total. Cardano saba cmo eliminar el trmino de grado tres, aumentando o disminuyendo las races en un cuarto del coeficiente del trmino cbico.

Jose Isaac Mtz Hdez

ALGEBRA I

ICEST

Tomamos como ejemplo una de las ecuaciones que se tratan en su obra: x+6x +36=60x Cardano la resuelve de la siguiente manera: primero aade distintos cuadrados y nmeros a ambos lados de la 2 2 ecuacin para poder conseguir un cuadrado perfecto en el primer miembro de la ecuacin., lo que nos queda (x +6) .A continuacin aadimos una nueva incgnita, de tal manera que el primer miembro siga siendo un cuadrado perfecto, tal 2 2 2 2 2 como (x +6+y) =6x +60x+y +12y+2yx .La siguiente etapa es la ms importante, consiste en elegir de tal forma que el trinomio del segundo miembro se convierta en un cuadrado perfecto, lo cual se consigue igualando el discriminante a cero. El resultado de la etapa anterior es una ecuacin cbica en y, que hoy se conoce como la cbica resolvente de la ecuacin curtica dada .Esta cbica se resuelve en y por medio de las reglas dadas anteriormente .Sustituimos un valor de y en la ecuacin en x y tomamos la raz cuadrada de los dos miembros. El resultado es una ecuacin cuadrtica que se debe resolver para hallar el valor buscado de x. La solucin de las ecuaciones cbica y curtica fue una de las mayores contribuciones al lgebra desde que los babilonios haban aprendido a completar el cuadrado para resolver las ecuaciones cuadrticas y supuso un estmulo para los algebristas de la poca. Las frmulas de Tartaglia- Cardano no tenan para el hombre de la poca un sentido prctico, simplemente tenan una gran importancia lgica.
2

BIBLIOGRAFA - BOURBAKI, Nicols: Elementos de Historia de las Matemticas. Versin espaola Jess Hernndez. Ed. Alianza. - GRATTAN-GUINNES: Del Clculo a la Teora de Conjuntos, 16301910. Versin espaola Mariano Martnez Prez. Ed. Alianza. -COOKE, Roger: The History of Mathematics (a brief course). University Of Vermont. Ed. Wiley- Interscience. - KLINE, Morris: El pensamiento matemtico de la antigedad hasta Nuestros das. Ed. Alianza. - BOYER, Carl B.: Historia de la matemtica. Ed. Alianza - EVES, Howard: An Introduction to the History of Mathematics. Ed. The Saunders Series - DURN GUARDEO, Antonio J.: El Legado de las Matemticas de Euclides a Newton: los genios a travs de sus libros. Edita Consejera de Cultura (Junta de Andaluca) - Wikipedia