El sistema de nmeros (positivos) racionales e irracionales fue descrito tambin por algunos filsofos y matemticos griegos, pero dentro

del marco de una teora autnoma de proporciones conmensurables e inconmensurables, y no se vea como una extensin de los nmeros naturales. No fue sino hasta despus muchos siglos trabajando numricamente con las proporciones cuando se empez a caer en la cuenta, en el siglo XVII, que un nmero es algo que mantiene la misma relacin con la unidad que la mantenida por un segmento con la unidad de longitud. Por otro lado, aunque se sabe que los nmeros negativos se utilizaban en India ya en el siglo VI no debe olvidarse tampoco que durante parte del siglo XIX la enseanza de los nmeros negativos estuvo prohibida en Francia1. En 1545 Girolamo Cardano (1501-1576) considerara a los nmeros complejos como soluciones de una ecuacin de segundo grado2, pero ni los unos ni los otros fueron aceptados sin la menor duda hasta ya entrado el siglo XIX, en el cual empez a emerger la construccin que se utiliza hoy3. Nmeros trascendentes: es un tipo de nmero irracional que no es raz de ningn polinomio (no nulo) con coeficientes enteros (o racionales). En este sentido, nmero trascendente es antnimo de nmero algebraico. La definicin no proviene de una simple relacin algebraica, sino que se define como una propiedad fundamental de las matemticas. Son estos todos los sistemas de nmeros de que disponemos los matemticos? No, sabemos que hoy contamos con bastantes ms sistemas que emergieron en el siglo XIX al poco de formalizarse los nmeros complejos, y tambin sabemos que hay otras cadenas de sistemas para contar, que no empiezan en los naturales y que empezaron a emerger en el siglo XVII. Repasemos algunos momentos de la biografa del nmero, que tiene la sorprendente propiedad de ser muy larga en aos.
Sobre los agujeros negros en Lockhart, Paul A Mathematicians Lament.(2002) marzo de 2008 en la columna Devlins Angle de MAA Online (http://www.maa.org/devlin/devlin_03_08.html), New York: Bellevue Literary Press, 2009. (publicado en en Espaa en 2008 en la Gaceta Matemtica de la Real Sociedad Matemtica Espaola Volumen 11, nmero 4, el prlogo de la publicacin espaola corre a cargo de Antonio Prez.) pg.742

Schubring, Gert Changing cultural and epistemological views on mathematics and different institutional contexts in nineteenthcentury Europe en "L'Europe mathmatique: histoires, mythes, identits", C. Goldstein, J. Gray, J. Ritter (eds.), Ed, de la Maison des Sciences de l'Homme 1996, pp.363-390, citado por Capi Corrales oc. 2000 pg. 6 . 2 Cardano, Girolamo, Artis magnae, sive de regulis algebraicis - conocido como Ars Magna -Nremberg, 1545. (http://www.filosofia.unimi.it/cardano/testi/operaomnia/vol_4_s_4.pdf)
3

Atiyah, Michael F. Collected Works, Vol. 6, art. 160, 2004. pg. 7 , citado por Corrales, Capi o.c. 2000 pg. 6.

Fue en Alejandra con Euclides (c.325-265 a.C.) donde surgi el problema del significado filosfico de los nmeros, pues al estar el universo caracterizado por los nmeros y sus relaciones surge entonces el problema de definir lo que es un nmero, algo que Euclides incluye en su libro Los Elementos , uno de los textos ms divulgados en la historia y el segundo en nmero de ediciones publicadas despus de la Biblia. Durante varios siglos, el quadrivium 4 estaba incluido en el temario de los estudiantes universitarios, y se exiga el conocimiento de este texto. El libro VII se inicia con 22 definiciones que Euclides establece sobre el concepto de nmero. He aqu las tres primeras 5:
Definicin 1. Una unidad es aquello en virtud del cual cada una de las cosas que existen se llama una. Definicin 2. Un nmero es una pluralidad compuesta de unidades. Definicin 3. Un nmero es una parte de un nmero, menor que la mayor, cuando mide la mayor.

La Matemtica India tuvo una importancia capital en la cultura occidental con el legado de sus cifras, incluyendo la cifra cero como valor nulo. Si bien algunos testimonios permiten opinar que durante la poca vdica (1500-1000 a.C.) y brahmnica (siglo V) existi en la India una ciencia matemtica, fue durante la poca clsica (siglos I al VIII) cuando los matemticos hindes llegaron a la madurez. Con anterioridad a este perodo, los hindes haban tenido algn contacto con el mundo griego a partir de Alejandro Magno durante el siglo IV a.C. Sin embargo, las matemticas hindes se desenvolvieron en un plano original, apoyndose ms en el clculo numrico que en el rigor deductivo. Utilizaron, como en occidente, un sistema de numeracin de base 10 y aunque egipcios, griegos y romanos, utilizaban un sistema decimal, ste no era posicional, ni posea el cero, que fue transmitido a Occidente en poca medieval por los rabes, de forma que las mltiples ventajas prcticas y tericas del sistema de notacin posicional con cero dieron el impulso definitivo a todo el desarrollo ulterior de las matemticas. El carcter operacional de la matemticas hindes iba a la par con una concepcin general del nmero irracional, pero abierta de un modo natural al negativo, con lo cual podan tomar en consideracin los dos signos de la raz cuadrada y las dos soluciones de la ecuacin de segundo grado; as qued abierto el camino del lgebra formal, seguido posteriormente por los rabes. Los hindes fueron los pioneros en utilizar cantidades negativas para representar deudas, de tal forma que lo hicieron con el signo (-) 6. Hay que hacer notar que la referencia a nueve smbolos utilizada primeramente en la India y no a diez implica evidentemente que los hindes no haban superado an la segunda etapa en la transicin hacia el sistema de numeracin moderno, es decir, la que consiste en la introduccin de una notacin especial para una posicin que falta o, lo que es lo mismo, de un smbolo para el cero. La primera aparicin indudable del cero en la India es una inscripcin del ao 876 7, es decir, ms de dos siglos despus de la primera referencia conocida a los otros nueve numerales. No est demostrado siquiera que el nmero cero, como idea conceptualmente distinta de un smbolo para una posicin vaca, surgiera al mismo tiempo que los otros nueve numerales hindes. Existen opiniones que proponen que el cero tuvo su origen en el mundo griego, quiz en Alejandra, y que desde all se propagara a la India despus de que el sistema decimal posicional se hubiera consolidado8. La idea del valor local o posicional haba sido ya un elemento absolutamente esencial del sistema de numeracin babilnico, y quiz lo que los hindes hicieron fue darse cuenta de que esta idea era aplicable tambin al sistema de notacin decimal para los nmeros enteros, que ya se estaba usando en la India9.

Quadrivium significa "cuatro caminos"; agrupaba las disciplinas relacionadas con las matemticas; se estudiaba as aritmtica, geometra, astronoma y msica. (Proclus, A commentary on the first book of Euclid's Elements, xii, trans. Glenn Raymond Morrow (Princeton: Princeton University Press) 1992, pp. 29-30)
5

Euclides, Los Elementos, Libro VII) Existe una edicin en ingls disponible en http://aleph0.clarku.edu/~djoyce/java/elements/toc. html. La traduccin espaola de referencia es la de Editorial Gredos ( Los Elementos, tomos V-IX , Traduccin y notas de M. L. Puertas Castaos. Revisada por P. Ortiz Garca, Madrid, 2013.
6
7

Struik, D. J. A Concise History of Mathematics, 3 edicin. Dover, New York, pg. 71. Smith, History of Mathematics, vol. II, Dover, New York. 1958, pg. 69

8 9

Van der Waerden, B. L. Science Awakening , Vol. I. - Noordhoff international publishing, (1954) English translation by Arnold Dresden, with additions of the author. Oxford University Press, New York, 1961., pp. 56-58. Lattin, Harriet P The Origin of Our Present System of Notation According to the Theories of Nicholas Bubnov, Isis, 19 (1933), pp. 181-194

Sobre el prrafo que me envas:

Tras la lectura de tus historias de los nmeros y la geometra se me ocurre que quizs te vengan bien un par de escritos. El primero es el texto de una conferencia que sobre la historia de la idea de nmero d en la Facultad de matemticas de la Comlutese hace un par de aos. Te lo adjunto. Vers, por ejemplo, que la identificacin de una razn entre nmeros naturales con una fraccin es del siglo XIX (se inici con Bolzano y Ohn) no de los griegos, o que la idea de decimales no surge hasta mediados del siglo XIX, o que Diofacto no haca lgebra, o que los nmeros naturales carecen de estructura,... En fin, que mucho de lo que sobre los nmeros cuentas no es verdad.

Me gustara saber 1/ El Ohn a que citas (tanto en tu estupenda carta como en el artculo Nmero no menos estupendo) es en realidad Martin Ohm (17921872) hermano menor del famoso fsico Georg Simon Ohm.? 2/ Me he preguntado por lo de ...los nmeros naturales carecen de estructura.... Comprendo que soy un ignorante, pero encuentro un artculo en internet que parece sostener lo contrario (te lo adjunto). No me lo tienes que explicar si no te parece bien, o si te aburre todo esto. Gracias por tu comprensin y perdona la lata que te estoy dando. MMM
Un sello postal de la antigua Unin Sovitica (sept. 1983) en conmemoracin del 1200 aniversario del matemtico persa AlKhwrizm (c.780- 850)

Del nombre de Al-Jwarismi derivan las palabras algoritmo y guarismo. La primera se us para describir el procedimiento de clculo usando el sistema hind de numeracin, aunque hoy viene a significar un sistema organizado de instrucciones y operaciones que permiten resolver un determinado problema. La segunda, hoy en cierto desuso, es sinnimo de cifra, aunque tambin vale para calificar aquello relativo a losnmeros. Al-Jwarismi us la palabra rabe sifr, que significa vaco, para referirse al cero. La palabra castellana cifra, con que desde el Renacimiento se nombra al resto de los nmeros dgitos deriva directamente de sifr. Esto mismo ha ocurrido en otras lenguas como en francs chiffre o en alemn ziffer, algo que sugiere la importancia conceptual del cero: su nombre rabe ha acabado siendo usado para referirse al resto de los nmeros. La palabra castellana cero deriva tambin indirectamente de ese vocablo en la versin de zephirum usada por Leonardode Pisa (c. 1170-1240), tambin llamado Fibonacci en su Liber Abaci de 120210. A partir de finales del siglo X se produce un cambio decisivo. Los procedimientos de clculo apenas pueden documentarse en siglos anteriores y slo aparecen fuentes dispares. En la vida prctica, los clculos complicados eran raros y se efectuaban, sin duda, con ayuda de calculi o pequeos objetos similares11. Las llamadas cifras rabes aparecen por primera vez en el mundo latino en 976, a propsito de una nota transcrita en el Codex Vigilanus de la Biblioteca del Monasterio de El Escorial 12. Sin embargo y aunque fueron conocidas primero en la Pennsula Ibrica, en los confines del mundo musulmn, su primera introduccin en el corazn de Europa parece debida a Gerberto de Aurillac (945-1003) que por entonces diriga la escuela de Reims y que luego sera consagrado papa con el nombre de Silvestre II 13.
10 11

Eves, Howard. An Introduction to the History of Mathematics. Brooks Cole, 1990 pg. 261.

Jacques Le Goff menciona las tablas aritmticas del Calculus de Victorio de Aquitania, el cmputo escrito por Beda el Venerable y las Propostiones ad acuendos juvenes, atribuidas a Alcuino (Jacques Le Goff y Jean-Claude Schmitt (eds.) Diccionario razonado del Occidente medieval, vol. 36 de Diccionarios Akal Series. Trad. Ana Isabel Carrasco Manchado, Ed. Akal, 2003, pg. 610) 12 Ibid. Le Goff, 2003
13

Rich, Pierre. Gerbert d'Aurillac, le pape de l'an mil, Pars, 1987 (trad, en Nerea, Madrid, 1990)

Snchez Risco Jos Antonio Las Matemticas en la India (500-1200 d.c) pg. 6 (http://matematicas.uclm.es/ita-cr/web_matematicas/trabajos/4/4_matematica_india.pdf)

La introduccin en Europa del sistema indo-arbigo, inicialmente a travs de Italia, dar lugar a una lucha entre los abacistas, como defensores del baco y sus derivados en el cuadro calculador y los algoristas 14 con el triunfo final de estos ltimos y as, a lo largo del siglo XIII, el sistema indo-arbico se introducir en Europa con su smbolos caractersticos aunque se usa el trmino cifra para denominar todo el sistema de numeracin15. Con el uso del cero, las columnas del antiguo baco derivado en cuadro por Gerberto de Aurillac resultan ya intiles, aunque en el lenguaje cientfico se sigue manteniendo la palabra cifra solamente para el cero, aunque finalmente se impondr la modalidad que se usar hasta nuestros das16. El baco de Gerberto de Aurillac y de sus discpulos es, pues, muy diferente al baco romano, que era un marcador de bolas. Aqu, la existencia de columnas permite dar a estas cifras recientemente aparecidas un valor de posicin, incluso aunque no est el cero. Desde finales del siglo XIII hasta c. 1600, la prctica aritmtica italiana es objeto de numerosas publicaciones17. A partir de mediados del siglo XV aparece un nuevo inters por el lgebra, incluyendo sus aplicaciones en geometra, algo que se refleja en la obra de Piero de la Francesca (c. 14151492) Trattato dabacco18 y derivada del mismo en la Summa de Arithmetica de Luca Pacioli (14451517) editada en Venecia en 149419. *************************************************************

14

Ambos trminos pertenecen a la jerga matemtica y no se recogen el DRAE (http://www.rae.es/drae/)

15

Ouaknin, Marc-Alain, El misterio de las cifras (Mystre des chiffres, Assouline, 2003) trad. en Ciencia (Ma non troppo), ed. Robinbook, Barcelona, 2006 pp. 118-119. 16 La amplitud del trmino queda reflejada en el DRAE entrada cifra .(Del b. lat. cifra, este del r. hisp. sfr, y este del r. cls. sifr, vaco).1. f. Nmero dgito./2. f. Signo con que se representa este nmero./3. f. Escritura en que se usan signos, guarismos o letras convencionales, y que solo puede comprenderse conociendo la clave./4. f. Enlace de dos o ms letras, generalmente las iniciales de nombres y apellidos, que como abreviatura se emplea en sellos, marcas, etc./5. f. abreviatura ( representacin de una palabra con solo algunas de sus letras)./6. f. abreviatura (palabra as representada)./7. f. Cantidad de dinero./8. f. Modo vulgar de escribir msica por nmeros./9. f. Suma y compendio, emblema./ en ~.1. loc. adv. Oscura y misteriosamente./2. loc. adv. Con brevedad, en compendio. (http://www.rae.es/drae/). Capi Corrales sostiene que el uso de cifra para referirse al cero se encuentra todava en Gauss, aunque no proporciona cita (Corrales Rodrigez, Capi e Ins M Gmez Chacn (eds.) Nmero en Ideas y Vizualizaciones matemticas, Ctedra Miguel de Guzmn, Facultad de Ciencias Matemticas, UCM 2011, pg. 8).
17 18

Van Egmond, Warren, Practical mathematics in the Italian Renaissance: A catalog of Italian abbacus manuscripts and printed books to 1600, Florence, 1980 Se trata del segundo libro escrito por este artista.Un ejemplar, redactado c. 1470?, est en la Biblioteca Medicea Laurenziana de Florencia. (Codex Ashburnham 280 (Turner, A. Richard. "Piero della Francesca". en William D. Halsey. Collier's Encyclopedia 19. Macmillan Educational Corporation. 1976, pp. 4042, y Grendler, Paul F., Renaissance education between religion and politics , Ashgate Publishing, Ltd., Aldershot, 2006, pp. 99-104, as como un amplio estudio de la obra matemtica de Piero della Francesca figura en (Veronica Field, Judith, Piero Della Francesca: A Mathematician's Art Yale University Press, 2005. Un artculo sobre la geometra de Piero de la Francesca est en Martn Casalderrey, Francisco , IES Juan de la Cierva (Madrid) Piero della Francesca y el engao de los ojos. I El espacio Suma 61, 2009, pp. 63-70. 19 La Summa de arithmetica, proportioni et proportionalita , (Venecia, 1494) es la gran obra de Pacioli, dedicada a Guidobaldo da Montefeltro (1472-1508), el entonces joven duque de Urbino. Esta obra enciclopdica es la suma de los textos manuscritos que Pacioli haba compuesto anteriormente, junto con otros temas que muestran el conocimiento general de su tiempo. Tiene sin embargo poco de original y se basa en Euclides, Boecio, Sacrobosco y fundamentalmente en Fibonacci que haba descrito tcnicas similares anteriormente en su "Liber Abaci" (1202) y su "Liber Quadratorum" (1225). El libro, escrito en lengua verncula, circul ampliamente en el siglo XVI y es citado por los grandes algebristas que culminan el Renacimiento como Nicolo Fontana Tartaglia (1499-1557), Girolamo Cardano Tartaglia (1501-1576), Pedro Nunes (1502 - 1577) o Raffaele Bombelli (1526-1572). Dividida en cinco partes, la primera y ms extensa trata de aritmtica y lgebra, con numerosos algoritmos para la multiplicacin, divisin y extraccin de races cuadradas; la segunda trata de la aritmtica comercial utilizada por los mercaderes venecianos de la poca, y la tercera de tenedura de libros con el "De computis et scripturis", (De las cuentas y de las Escrituras), una de las pocas obras que ocupa un lugar destacado a la vez dentro de la historia de la Economa y Matemtica. La cuarta parte trata de los distintos sistemas monetarios, pesas y medidas de la poca en Italia, y la quinta, de geometra terica y prctica.(J J O'Connor y E. F. Robertson (http://www-history.mcs.st-and.ac.uk/Biographies/Pacioli.html). De Fibonacci existe una traduccin en Sigler, Laurence E. , Fibonacci's Liber Abaci, trad. Springer-Verlag, 2002. Sobre el Liber Quadratorum c.f. Fibonacci, Leonardo Pisano . The Book of Squares (Liber Quadratorum). An annotated translation into modern English by L. E. Sigler. Academic Press. Orlando, 1987

The Greek mathematician Diophantus has traditionally been known as the "father of algebra" but in more recent times there is much debate over whether al-Khwarizmi, who founded the discipline of al-jabr, deserves that title instead.[10] Those who support Diophantus point to the fact that the algebra found in Al-Jabr is slightly more elementary than the algebra found in Arithmetica and that Arithmetica is syncopated while Al-Jabr is fully rhetorical.[11] Those who support Al-Khwarizmi point to the fact that he introduced the methods of "reduction" and "balancing" (the transposition of subtracted terms to the other side of an equation, that is, the cancellation of like terms on opposite sides of the equation) which the term al-jabr originally referred to,[12] and that he gave an exhaustive explanation of solving quadratic equations,[13] supported by geometric proofs, while treating algebra as an independent discipline in its own right.[14] His algebra was also no longer concerned "with a series of problems to be resolved, but an exposition which starts with primitive terms in which the combinations must give all possible prototypes for equations, which henceforward explicitly constitute the true object of study". He also studied an equation for its own sake and "in a generic manner, insofar as it does not simply emerge in the course of solving a problem, but is specifically called on to define an infinite class of problems".[15]

********************************************* Las races de lo que hoy se conoce como lgebra se remontan a los antiguos babilonios 20, que desarrollaron un sistema de aritmtica avanzada con la que fueron capaces de hacer clculos de forma algortmica, desarrollando frmulas para el clculo de soluciones para los problemas que hoy suelen resolverse hoy mediante el uso de ecuaciones lineales, ecuaciones cuadrticas y ecuaciones lineales indeterminadas. Por el contrario, la mayora de los egipcios de la poca, as como las matemticas griegas y chinas en el primero milenio a.C. resuelven por lo general estas ecuaciones mediante mtodos geomtricos, tales como los descritos en el Papiro matemtico de Rhind 21, los Elementos de Euclides o los Nueve Captulos del Arte Matemtico escritos en China entre los siglos X-II a.C.22. El trabajo geomtrico de los griegos, tipificado en la obra monumental de Euclides proporcionara un marco para la generalizacin de las frmulas ms all de la solucin de problemas particulares en sistemas ms generales de resolucin de ecuaciones, algo que no tendra lugar aunque esto no se dio cuenta hasta que las matemticas desarrollaron en el Islam medieval. Tanto los helensticos Hern de Alejandra (c.1070 AD)23 como el propio Diofanto 24, as como matemticos indios posteriores como Brahmagupta (597668 AD)25 continuaron las tradiciones egipcia y babilnica, fueron los matemticos rabes quienes desarrollaron mtodos algebraicos con un grado mucho mayor de perfeccin y la contribucin de AlKhwarizmi contribucin fue fundamental en la resolucin de ecuaciones lineales y cuadrticas 26. De hecho, aunque a Diofanto de Alejandra tradicionalmente se le ha conocido como el "padre del lgebra" 27 en tiempos ms recientes se ha planteado el debate sobre si Al-Khwarizmi, fundador de la disciplina de Al-Jabr28, merece ese ttulo en su lugar 29 , mientras que los que apoyan a Diofanto apuntan al hecho de

20
21

Struik, Dirk J. A Concise History of Mathematics. Dover Publications. New York, 1987, pg. 31 Gillings, Richard J. Mathematics in the Time of the Pharaohs, MIT Press, Dover reprint,1972, pg. 16 y (http://www.recoveredscience.com/const130egymathcontributions.htm)
22 23 24 25

Una edicin crtica en francs puede encontrarse en Chemla, Karine y Shuchun Guo. Les neuf chapitres: le classique mathmatique de la Chine ancienne et ses commentaires. Paris: Dunod, 2004. Research Machines plc. The Hutchinson dictionary of scientific biography. Helicon Publishing. Abingdon, Oxon, 2004 pg.. 546. "Hero of Alexandria (lived c. AD 60) Greek mathematician and engineer, the greatest experimentalist of antiquity" La cronologa de Diofanto es incierta AD (c. 201-215- c. 285-299 a la edad de 84 aos) en Katz Victor J. A History of Mathematics: An Introduction, Addison Wesley, Boston, Mass., 1998, pg. 184. Por ejemplo, el primer clculo completo solucin (incluyendo soluciones de cero y negativos) de ecuaciones de segundo grado fue descrito por Brahmagupta en su libro Brahmasphutasiddhanta (Plofker, Kim (2007). "Mathematics in India". en The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook. Princeton University Press, 2007 pp. 418-424)
26 27 28

Meri, Josef W. Medieval Islamic Civilization An Encyclopedia. Routledge, London-New York, 2004. p. 31.

Cajori, Florian A History of Elementary Mathematics With Hints on Methods of Teaching. (ed. reimpresa de BiblioBazaar, 2010 pg. 34.) La palabra lgebra es una variante latina de la palabra rabe al-Jabr obtenida a partir del titulo del libro de Mohammed ibnMusa al-Khowarizmi escrito en Baghdad c. 825 AD Hidab al-Jabr wal-muqubala. Las palabras jabr y muqubalah fueron utilizados por al-Khowarizmi para designar dos operaciones bsicas en la resolucin de ecuaciones. Jabr se utiliz para la transposicin de trminos de uno al otro lado de la ecuacin, mientras que Muqubalah serva para cancelar trminos semejantes en los lados opuestos. De hecho, el ttulo de libro ha sido traducido como "Ciencia de la Reunin y la Oposicin" y tambin como o "Ciencia de la Transposicin y la Cancelacin" o "El Libro de la Restauracin y el Equilibrio". Jabr se utiliza por al-Khowarizmi en x - 2 = 12 , que se convierte en x = 14. El lado izquierdo de la ecuacin, en donde x se reduce en un 2, se "restaura" o "completa" en la x de la segunda ecuacin. Muqabalah se plantea en x + y = y + 7 , para llegar x = 7 con lo cual se "cancela" o "equilibra" ambos lados de la ecuacin. Finalmente, el tmino muqabalah se olvid y este tipo de matemticas se conoci como lgebra en muchos idiomas occidentales. Es interesante notar que la palabra al-Jabr utilizada en su sentido no matemtico accedi a Europa a travs de la invasin musulmana en donde un algebrista era un curandero o "restaurador" de huesos y lesiones. Los barbero de poca medieval se llamaban de este modo dada la prctica frecuente de curar lesiones y practicar sangras: ese es el origen del tradicional smbolo de las barberas con un cilindro decorado con bandas rojas y blancas.( Origin of the Word Algebra en http://www.und.nodak.edu/instruct/lgeller/algebra.html)
29

Boyer, Carl B y Uta C. Merzbach, A History of Mathematics (2ed.). Wiley. New York, 1991, pp. 178- 181.

que el lgebra que se encuentra en al-Jabr es algo ms elemental que el lgebra que se encuentra en su Arithmetica 30 ************************************ Los que apoyan la posicin de Al-Khwarizmi sealan el hecho de que introdujo los mtodos de la transposicin de trminos a uno y otro lado de la ecuacin y la cancelacin de trminos iguales en ambos miembros al que el trmino al-Jabr se refera originalmente 31 y tambin de su explicacin exhaustiva de la solucin de ecuaciones cuadrticas de raz positiva 32 con apoyo de pruebas geomtricas, posicionando as el lgebra como una disciplina independiente 33. En ese mismo sentido el sistema propuesto ya no estaba preocupado por una serie de problemas a resolver, sino en una exposicin que se inicia con trminos elementales que combinados dan origen a todos los posibles prototipos de ecuaciones, que en adelante constituyen su verdadero objeto de estudio, dando as origen a una clase infinita de problemas34. ***************************************

30

"En los teoremas aritmticos descritos en los Elementos de Euclides VII-IX, los nmeros se representaban por segmentos de lnea unidos a letras y aunque en las demostraciones geomtricas en el lgebra de Al-Khwarizmi se utilizan diagramas de letras, en este segundo caso todos los coeficientes incorporados a las ecuaciones utilizadas son nmeros especficos, ya sea mediante numerales escritos o en palabras. La idea de generalidad est implcita en la exposicin de al-Khwarizmi, aunque no propuso ningn esquema para expresar algebraicamente las proposiciones generales que son fcilmente identificables en geometra " (Boyer, Carl B y Uta C. Merzbach, "Europe in the Middle Ages" en A History of Mathematics (2ed.). Wiley. New York, 1991, pg. 258). La propia Capi Corrales opina (en carta dirigida al autor de este texto en 2013) que ...Diofanto no haca lgebra.... 31 (Boyer 1991, "The Arabic Hegemony" pg. 229) "It is not certain just what the terms al-jabr and muqabalah mean, but the usual interpretation is similar to that implied in the translation above. The word al-jabr presumably meant something like "restoration" or "completion" and seems to refer to the transposition of subtracted terms to the other side of an equation; the word muqabalah is said to refer to "reduction" or "balancing" that is, the cancellation of like terms on opposite sides of the equation."
32

(Boyer 1991, "The Arabic Hegemony" p. 230) "The six cases of equations given above exhaust all possibilities for linear and quadratic equations having positive root. So systematic and exhaustive was al-Khwarizmi's exposition that his readers must have had little difficulty in mastering the solutions."
33

"In a sense, Khwarizmi is more entitled to be called "the father of algebra" than Diophantus because Khwarizmi is the first to teach algebra in an elementary form and for its own sake, Diophantus is primarily concerned with the theory of numbers" (Gandz, Solomon. The sources of al-Khwarizmi's algebra, Osiris I, 1936, pp. 263277)
34

Rashed, R. The Development of Arabic Mathematics: Between Arithmetic and Algebra. Vol. 156 de Boston Studies in the Philosophy of Science, trad. de Armstrong, Angela, Springer. Netherlands, 1994, pg. 61.

********************************************

Las antiguas investigaciones de matemticos hindes como Brahmagupta (598-660) 35 o Mahavira (c. 800870)36 as como las del matemtico e ingeniero persa al-Karaji, (c. 953 1029)37 tendran su culminacin posterior en Bhaskara II (1114-c.1185) dando pie al final de una era38. Se identifica sin embargo a Omar Khayyam (1048-1131), otro matemtico persa, como el verdadero fundador de la geometra algebraica, a travs de su hallazgo de la solucin geomtrica general de la ecuacin cbica39 aunque Sharaf al-Din al-Tusi, (c.1135-1213)40 del mismo origen, encontrara posteriormente soluciones algebraicas y numricas para diversos casos de ecuaciones cbicas 41, desarrollando el concepto de funcin42. En los principios del siglo XIII, la solucin de una ecuacin cbica debida a Fibonacci es representativa del comienzo de un renacimiento del lgebra en Europa, de forma que el ocaso inminente de la influencia islmica procurara el ascenso de el mundo europeo y un cierto progreso del desarrollo cientfico. Tambin y muy lejos de todo ese universo, en los inicios del siglo XIV el matemtico chino Zhu Shijie (1270-1330), resolvera varios casos de ecuaciones polinmicas cbicas y de rdenes superiores utilizando mtodos numricos43. *************************************
El Liber Abaci no es un libro cuya lectura resulte precisamente gratificante al lector moderno ya que explica los procesos algortmicos o aritmticos 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 inadvertido a los que utilizaron los numerales indo-arbigos durante los primeros mil aos de su existencia (Ana Cecilia Lorente Morata, Historia del lgebra y de sus textos en http://www.uam.es/personal_pdi/ciencias/barcelo/) *******************************************

Es sabido que durante los siglos XV y XVI hubo un vasto movimiento de revitalizacin de la cultura en Europa Occidental en donde se retoman los elementos de la cultura clsica tanto en el mbito del arte como en el estudio de la obra de los cientficos antiguos y el invento de la imprenta (hacia 1450) ayud notablemente a que el movimiento cultural que despus se bautizara con el nombre de Renacimiento pudiese expandirse de una manera rpida. Los matemticos prepararon el terreno para el resurgir del estudio matemtico en Europa mediante traducciones de los trabajos griegos y rabes, as como del anlisis compilatorio del conocimiento existente. Aun as, las motivaciones de las creaciones matemticas surgieron principalmente de los problemas tecnolgicos y cientficos, aunque hubo algunas excepciones, como es el caso del desarrollo del lgebra.
35

Brahmagupta sera el primero en proporcionar reglas para calcular utilizando el cero. Sus textos se recogen en verso, tal y como era la prctica habitual en la matemtica hind de forma que no se conoce suficientemente la evolucin de sus ideas en los matemticos posteriores. (Brahmagupta) ... fue el primero en dar una solucin general de la ecuacin lineal diofntica ax + by = c, donde a, b, y c son nmeros enteros. [...] Es en gran medida mrito en su haber la propuesta de dar todas las soluciones de esa ecuacin..., mientras que Diofanto se haba limitado a proponer una solucin particular para una ecuacin indeterminada. En la medida en que Brahmagupta utiliza algunos de los mismos ejemplos que Diofanto, se aprecia una vez ms la probabilidad de la influencia griega en la India, o la posibilidad de que ambos hicieran uso de una fuente comn, posiblemente de Babilonia. Es interesante observar tambin que el lgebra de Brahmagupta, como la de Diofanto, es sincopada. La suma se indica por yuxtaposicin, la resta mediante la colocacin de un punto sobre el sustraendo, y la divisin colocando el divisor debajo del dividendo, como en nuestra notacin fraccional pero sin la barra. Las operaciones de multiplicacin y toma de races, as como las cantidades desconocidas, se representan con abreviaturas de palabras apropiadas ".(Boyer o.c. 1991, "China and India" pg. 221). Ms informacin (particularmente sobre el uso del cero y su discusin) en (http://www-groups.dcs.stand.ac.uk/~history/Biographies/Brahmagupta.html)
36 37 38

Tabak, John, en The History of Mathematics, Algebra: Sets, Symbols, and the Language of Thought, Infobase Publishing, Newq York, 2009, pp. 42-44. Seaquist, Carl R., Seshaiyer, Padmanabhan y Dianne Crowley. "Calculation across Cultures and History" en Texas College Mathematics Journal 1:1, 2005; pp 1531. Su obra principal Siddhnta Shiromani, (trad. del snscrito "Corona de los Tratados) est dividida en cuatro secciones relativas a aritmtica, lgebra, matemtica de los planetas y esferas, respectivamente (Plofker, Kim, Mathematics in India, Princeton University Press, 2008, pg. 2056 y 353). Tambin, Tabak, John, en The History of Mathematics, Algebra: Sets, Symbols, and the Language of Thought, Infobase Publishing, New York, 2009, pp.44-46.
39 40 41

Amir-Moez, A. R. Khayyam's Solution of Cubic Equations Mathematics Magazine, Vol. 35, no. 5 , 1962, pp. 269-271. Thomas Hockey et al. (eds.). The Biographical Encyclopedia of Astronomers, Springer, New York, 2007, pg. 1051.

Berggren, J. Lennart "Al-Ts, Sharaf Al-Dn Al-Muzaffar Ibn Muhammad Ibn Al-Muzaffar". Dictionary of Scientific Biography. Charles Scribner & Sons. (1980) y Al-s, Sharaf al-Dn . Oeuvres mathmatiques: Algbre et gomtrie au XIIe sicle (ed. y trad. de Roshdi Rashed. 2 Vols. Les Belles Lettres. Paris, 1986 (http://dx.doi.org/10.1007/978-0-387-30400-7_1268).
42 43

J. Katz, Victor y Bill Barton (October 2007). "Stages in the History of Algebra with Implications for Teaching". Educational Studies in Mathematics , 66 (2), Springer, Netherlands) pp. 185201 [pg. 192]. Hoe, J. The jade mirror of the four unknowns, Mingming Bookroom, New Zealand, 2007.

************************************ Johann Mller Regiomontano (1436-1476) fue un astrnomo y matemtico alemn cuyo apodo proviene de la traduccin latina del nombre de Knigsberg, su ciudad natal. Su obra Algorithmus Demonstratus, publicada en 153444 muchos aos despus de su muerte est entre las primeras en donde aparece una lgebra provista de smbolos45 aunque su influencia se vio limitada por su adhesin a formas de expresin retrica y tambin por su temprana muerte en Roma, adonde haba acudido llamado por el Papa Sixto IV para iniciar la reforma del calendario juliano 46. Despus de su muerte, sus manuscritos fueron a parar a manos de otros y en una gran parte quedaron inditos y la obra de Regiomontano permaneci inaccesible en los aos posteriores y Europa continu aprendiendo su lgebra de forma lenta dado a la escasez de traducciones que discurran por las universidades. *********************************** 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 y sigue en ella 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 x3 + mx = n y x3 + n = mx son tan imposibles como la cuadratura del crculo. Gracias al amplio conocimiento mostrado en el libro, fue una obra ms usada de lo que le correspondera por su originalidad real.

*************************************

44

Chasles, Michel, Aperu historique sur l'origine et le dveloppement des mthodes en gomtrie: particulirement de celles qui se rapportent la gomtrie moderne, suivi d'un Mmoire de gomtrie sur deux principes gnraux de la science, la dualit et l'homographie editor, M. Hayez, 1837, procedencia del original, Universidad de Harvard, digitalizado en 31 Jul 2007, pg. 528.
45 46

Mett, Rudolf Regiomontanus. Wegbereiter des neuen Weltbildes. Teubner- Vieweg, Stuttgart-Leipzig, 1996.

Bonnie Blackburn and Leofranc Holford-Stevens, The Oxford Companion to the Year, Oxford University Press, 1999, (2003, reprinted with corrections). pg. 813 y ss..

*************************************** 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 su obra manuscrita Coss, escrita en 152547 por el famoso matemtico alemn Adam Riese (14921559)48. 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 hind-rabes 49. Riese menciona tambin en su Coss el lgebra de Al-Khowrizm y cita adems a un cierto nmero de contemporneos alemanes en este campo como Christoph Rudolff (1499-1545), el autor del primer libro alemn de lgebra tambin denominado Die Coss (1525) 50 , una obra importante por ser uno de los primeros libros impresos que hace uso de las fracciones decimales, as como del smbolo moderno para las races 51. Tambin menciona a Peter Apian tambin conocido como Petrus Apianus (1495-1552) quien incorpora en una obra de aritmtica comercial de 1527 52 notable por el hecho de que en la misma - una aritmtica comercial a fin de cuentas - aparece impreso en la portada el llamado tringulo de Pascal, casi un siglo antes del nacimiento de Blaise Pascal (1623-1662) aunque este tringulo ya haba sido descrito por los matemticos persas citados AlKaraji y Omar Khayym 53. La tercera de las obras mencionada por Riese es la Arithmetica integra (1544) del monje luterano Michael Stifel (1487-1567) que trata los nmeros negativos, la races y las potencias, siendo el primer matemtico en usa el trmino exponente como un remoto precursor de los logaritmos54. Hasta la aparicin del Ars Magna de Girolamo Cardano (1501-1576) en 1545, no hubo en el Renacimiento un desarrollo trascendente en lgebra y precisamente en este libro se divulg la solucin no slo de la ecuacin cbica, sino tambin de la de cuarto grado de forma que la aparicin de este libro suele considerarse como el comienzo del periodo moderno en la matemtica. No obstante, Cardano afirmaba que no fue el descubridor original de la solucin de estas ecuaciones, adjudicando su paternidad a Niccolo Tartaglia (1500-1557)55, que a su vez obtuvo la idea de Scipione del Ferro (1465-1526) un profesor de matemticas que la haba descubierto hacia 1515 y que comunic su solucin a su pupilo y yerno Annibale della Nave, y al menos a otro estudiante, el veneciano Antonio Maria Fiore, un matemtico mediocre de oscura biografa que mantendra una clebre disputa con Tartaglia por esa
47 48 49

W Kaunzner and H Wussing (eds.), Adam Ries, Coss (B G Teubner Verlagsgesellschaft mbH, Stuttgart, 1992). O'Connor J. J. y E. F. Robertson en (http://www-history.mcs.st-andrews.ac.uk/Biographies/Ries.html) Mehnert, Joachim: "Wahre Geschichten um Adam Ries", Tauchaer Verlag 2003,

50 51 52

Rouse Ball, Sir Walter William A short account of the history of mathematics (1901) (4 ed.), Courier Dover Publications, (1960) p. 215. Kaunzner, Wolfgang "Rudolff, Christoff ". en Neue Deutsche Biographie (NDB). 22. Duncker & Humblot. Berlin, 2005, pg. 198. Se trata de Ein newe und wolgegrndete underweisung aller Kauffmanns Rechnung in dreyen Bchern, mit schnen Regeln und fragstcken begriffen, (Un libro nuevo y fiable para aprender el clculo y destinado a los comerciantes) Ingolstadt 1527. Una imagen de este libro figura en el cuadro Los Embajadores de Hans Holbein el Joven (1497-1543), "El desplazamiento de la contemplacin frontal de la pintura borrar todo el interior, para traer la muerte al mundo", afirma Stephen Greenblatt. En otras palabras, el crneo representa la muerte, que puede ser ignorada mientras mira a los objetos y conceptos mundanos, pero prevalece fuera de la perspectiva normal, en la cual todo el resto se desvanece fuera de perspectiva. Este es un punto interesante, ya que el en la yuxtaposicin del Renacimiento se produce un traslado de la muerte a un segundo plano de la vida cotidiana como un cambio cultural importante en el universo del siglo XVI (Greenblatt, Stephen, Renaissance Self Fashioning; From More to Shakespeare, University of Chicago Press, 1980 pp. 113-114). Jeremy Brotton tambin trae a colacin la calavera anamrfica en su interpretacin de la pintura de Holbein en la cual se incluyen las representaciones de la antiguas siete artes liberales. (el Trivium - gramtica, dialctica y retrica - y el Quadrivium - aritmtica, geometra, astronoma y msica canta). Brotten concluye que el crneo es "un escalofriante recordatorio de que en medio de toda esta riqueza, el poder, y el aprendizaje, la muerte nos llega a todos." Mientras que el crneo puede haber sido un mero memento mori, Brotton no aclara el porqu de esa pose anamrfica.(Brotton, Jeremy. The Renaissance Bazaar: From the Silk Road to Michelangelo. Oxford University Press. 2003.pg. 15).
53 54

O'Connor, John J.; Robertson, Edmund F., Biografa de Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji MacTutor History of Mathematics archive, Universidad de Saint Andrews en (http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Karaji.html) Mediante el uso de coeficientes negativos en las ecuaciones, Stifel pudo reducir tambin 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 positivo y el negativo. 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 proporcionaba 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 su resolucin algebraica aparte de los escrito por Khayyam y Pacioli (Shaw Groza, Vivian y Susanne M. Shelley Precalculus mathematics. Holt, Rinehart and Winston, New York, 1972 .pg. 182.)
55

Livio, Mario, The Equation that couldn't be solved (2005) La ecuacin jams resuelta Ariel, 2007, pg. 310-314.

cuestin56. Al mismo tiempo, la solucin de la ecuacin de cuarto grado sera descubierta por primera vez por el antiguo secretario de Cardano, Ludovico Ferrari (1522-1565). Sea como fuere, estos desarrollos abrieron las puertas a muchos otros hallazgos matemticos en los siglos posteriores 57. ********************************* El bolos de nacimiento Rafael Bombelli (1526-1573)58 no recibi una educacin universitaria, sino que adquiri su formacin con el ingeniero hidrulico Francesco Maria Clementi da Corinaldo (fl. 15391580)59 eligiendo dicha profesin para s mismo. Su patrn, el obispo Alessandro Ruffini, le encarg un proyecto para desecar las marismas del valle de Chiana en la Toscana y aunque este trabajo no lleg a terminarse, Bombelli con su proyecto adquiri una gran reputacin y en 1561 Bombelli acude a Roma a reparar el puente de Santa Mara sobre el Tber. No se sabe exactamente como adquiri Bombelli su inters por las matemticas, pero entre los citados algebristas italianos de la poca (Scipione dal Ferro, Cardano, Ferrari y Tartaglia), su trabajo representa una especie de sntesis que constituye el desarrollo de numerosos tratados que llev, junto con la geometra, a la constitucin del lgebra como disciplina independiente. Bombelli consider que ninguno de los trabajos sobre el lgebra de los principales matemticos de su poca proporcionaba una exposicin cuidadosa y exhaustiva de la materia y decidi escribir un libro de lgebra que pudiera ser entendido por cualquier persona. Ya en Roma, Antonio Mara Pazzi, que luego sera profesor de matemticas en la universidad de Roma entre 1567 y 1575 60, le mostr a Bombelli un manuscrito de la Aritmtica de Diofanto y los dos decidieron hacer conjuntamente su traduccin. A pesar de que nunca llegaron a completarla, Bombelli - a la luz del texto de Diofanto comenz a revisar sus conocimientos anteriores de lgebra y el manuscrito que haba iniciado hacia 1550 durante su trabajo en Toscana 61. La obra de Bombelli titulada LAlgebra, parte maggiore dellaritmetica. est dividida en cinco libros. Los tres primeros fueron publicados por Giovanni Rossi 1572, poco antes de la muerte del autor 62 y all anunciaba que los libros IV y V , dedicados a la geometra, apareceran seguidamente, pero lo cierto es nunca lleg a publicar estos volmenes porque su muerte en Roma se lo impidi. Parece que el conjunto se basa en ese manuscrito que el autor ira revisando durante su estancia en Roma que no vera la luz hasta su publicacin. En el siglo XVI, el universo matemtico se situaba todava en lnea con el pensamiento griego, y era slo la geometra la que poda justificar cualquier cuestin algebraica y en Rafael Bombelli est el mrito de haber superado esta actitud para a evaluar el propio conocimiento de la ciencia algebraica, e incluso en sus dos libros sobre geometra que deberan haber acompaado a los tres sobre lgebra, presenta una geometra que se desarrolla con herramientas algebraicas, y que denomina lgebra lineal o linaria en sus propias palabras, en tanto que queda expuesta a travs del estudio de segmentos. En 1923, un manuscrito de Bombelli fue descubierto en una
56

Gutirrez, Santiago Tartaglia: El desafo de una ecuacin Suma 56 Noviembre 2007, pp. 89-96

57

En el Ars Magna aparecen los mtodos de resolucin de los casos posibles de ecuaciones de tercer grado, los tres de Tartaglia ms otros diez, que son todos los que resultan de poner cada uno de los trminos en un miembro u otro de la ecuacin, puesto que ningn coeficiente poda ser negativo. Se incluye adems la resolucin de la ecuacin de cuarto grado, descubierta por Ferrari, que logr reducirla a una de tercer grado, mediante un artilugio consistente en esencia en completar cuadrados perfectos. En el Ars Magna aparece adems el singular descubrimiento de que un polinomio es divisible por los factores del tipo (x-a) en donde a es raz del polinomio, aunque sin ofrecer ninguna demostracin. Una de las consecuencias ms importantes tras la publicacin del libro fue que la solucin de la ecuacin cbica condujo a las primeras consideraciones significativas acerca de un nuevo tipo de nmero, pues Cardano se encontraba a menudo con el problema de que la frmula para resolver ecuaciones cbicas le conduca a races cuadradas de nmeros negativos. Gutirrez, Santiago Tartaglia: El desafo de una ecuacin Suma 56 Noviembre 2007, pp. 89-96 (pg.95)
58 59

Fiocca, Alessandra Studi Matematici e Regolazione Delle Acque en Annali di Storia delle Universit italiane - Vol. 8 (2004) en http://www.cisui.unibo.it/annali/08/testi/07Fiocca_testo.htm. pg. 12. La participacin de Clementi , un personaje oscuro, en la recuperacin de las marismas de Foligno en Umbria para Paulo III se evidencia en un documento de 1539 (Buonora, Paolo La Valle Umbra. Genesi e trasformazione di un sistema idraulico (secoli XVI-XIX). Quaderni monografici di Proposte e ricerche, 17 (1994), pg. 60, nota 20.) asi como en una carta y relacin dirigidas al Papa Gregorio XIII entre 1579-1580. ( Fiocca . Alessandra Studi Matematici e Regolazione Delle Acque en Annali di Storia delle Universit italiane - Vol. 8 (2004) en http://www.cisui.unibo.it/annali/08/testi/07Fiocca_testo.htm.)
60

Enrico Giusti, Paolo Freguglia, Pier Daniele Napolitani y Pierre Souffrin Medioevo Rinascimento - Il Rinascimento: Verso una nuova Matematica en Storia della Scienza (2012) en: http://www.treccani.it/enciclopedia/medioevo-rinascimento-il-rinascimento-verso-una-nuova-matematica_(Storia-della-Scienza)
61

Valeria Fulvi seala un cambio en la terminologa empleada por Bombelli inicialmente en sus manuscritos (cosa para la incgnita a la manera alemana. y censo para la potencia) que luego abandonar, utilizando los trminos de Diofanto de tanto y potencia, respectivamenteFulvi, Valeria Lalgebra di Rafael Bombelli: nuova trascrizione e commento. Tesi di Laurea in Storia della Matematica, Facolta Di Scienze Matematiche, Fisiche e Naturali, Bologna 2011/2012, pg. 15.
62

Fulvi, Valeria Lalgebra di Rafael Bombelli: nuova trascrizione e commento. Tesi di Laurea in Storia della Matematica, Facolta Di Scienze Matematiche, Fisiche e Naturali, Bologna 2011/2012, pg. 11.

biblioteca de Bolonia, pero adems de una versin manuscrita de los tres libros ya publicados, haba un manuscrito de los otros dos libros citados sobre geometra 63. Bombelli comenzara la exposicin de su primer libro con la introduccin de las definiciones simples relativas a las competencias y llevar a cabo una primera ampliacin del campo racional con la introduccin de radicales simples (como lado de un nmero que no es cuadrado) ampliando as el campo de los nmeros racionales. ******************************************************** Despus de ocuparse del clculo aritmtico para operar con nmeros positivos y negativos, Bombelli pasa a describir el modo de extraccin de la races aritmticas aproximadas y exactas. En primer lugar se centra en la extraccin de la raz cuadrada con un tratamiento puramente aritmtico para luego completarlo con una construccin geomtrica de la raz cuadrada que supone representa por un segmento como primer ejemplo de aplicacin algebraica a la geometra. Procedimientos parecidos se aplican tambin para la extraccin de races cbicas y de esa forma el autor proporciona un mecanismo aritmtico y una regla para el clculo aproximado, pero tambin otra construccin geomtrica de la raz cbica de un segmento, que identifica la del clculo de dos medias proporcionales entre dos segmentos. Bombelli dedica una nueva y ltima parte del libro a los nmeros imaginarios, introduciendo unas nuevas entidades matemticas que representan la ltima extensin del campo racional como algo necesario para la resolucin de las ecuaciones cbicas irreducibles, algo que haba supuesto un escollo insalvable para los algebristas hasta entonces. Seguidamente, manifiesta que se trata de entes especiales que requieren una representacin mediante smbolos adecuados, con nuevas reglas y leyes para el clculo de los conjugados como nmeros que poseen una parte real y otra imaginaria64. ************************************************* El segundo libro trata de polinomios y de la teora y la solucin de ecuaciones algebraicas hasta el cuarto grado, siempre con coeficientes positivos de un modo sistemtico y preciso aunque no proporciona reglas generales para cada grado, mediante un proceso que crece en su complejidad de forma sucesiva de acuerdo con la dificultad de las ecuaciones consideradas. En su tercer libro, Bombelli abordar la aplicacin de los mtodos expuestos anteriormente para la resolucin de 272 problemas de los cuales 143 estaban planteados en la Arithmetica de Diofanto con datos numricos concretos. El mrito del autor reside en tratar esta clase de problemas mediante datos con nmeros abstractos, transformando el enunciado de cada problema en la resolucin de la ecuacin oportuna 65. Otra evidencia de la influencia desempeada por Diofanto en este autor se muestra tanto en el desorden de la sucesin de los problemas planteados como en la formulacin de problemas de solucin indeterminada, en los cuales slo busca soluciones de nmeros racionales positivos, a diferencia de la prctica matemtica posterior que busca todas las soluciones enteras. Buena parte de estos problemas tratados por Bombelli se traduciran hoy en sistemas determinados de ecuaciones lineales66. ****************************************************

63

La seccin del lgebra geomtrica [libros cuarto y quinto] se crea perdida hasta que Ettore Bortolotti la descubri en la biblioteca del Archiginnasio de Bolonia (cdice B.1569). Aqu podemos encontrar todo el trabajo manuscrito de Bombelli tanto algebraico como geomtrico algebraica, que tras una primera edicin imperfecta. Bortolotti publicara en su totalidad en 1966. (R.Bombelli, Lalgebra (prima edizione integrale), a cura di U.Forti e di E.Bortolotti, Feltrinelli, Roma, 1966)
64

Igualmente, como en la resolucin de las ecuaciones con coeficientes reales, cada raz compleja esta siempre acompaada de su conjugada en la forma (a + ib) , (a - ib). (Fulvi, Valeria Lalgebra di Rafael Bombelli: nuova trascrizione e commento. Tesi di Laurea in Storia della Matematica, Facolta Di Scienze Matematiche, Fisiche e Naturali, Bologna 2011/2012, pg. 202.) 65 Un ejemplo sera el de la ecuacin cuadrtica propuesta en el problema n 10 Trovinsi dui numeri de quali il maggiore sia quattro volte il minore e che il maggiore sia 21 pi`u del minore. Poniamo il numero minore come x, allora il maggiore `e 4x. Lequazione risolvente sar`a la seguente: 4x = 21 + x (Fulvi, Valeria Lalgebra di Rafael Bombelli: nuova trascrizione e commento. Tesi di Laurea in Storia della Matematica, Facolta Di Scienze Matematiche, Fisiche e Naturali, Bologna 2011/2012, pg. 588.) 66 Fulvi, Valeria Lalgebra di Rafael Bombelli: nuova trascrizione e commento. Tesi di Laurea in Storia della Matematica, Facolta Di Scienze Matematiche, Fisiche e Naturali, Bologna 2011/2012, pg. 11.

En el primer captulo del libro cuarto Bombelli expresa - a travs de procedimientos geomtricos - las correspondientes operaciones algebraicas y al hacerlo, introduce algunos conceptos bsicos de la geometra analtica posterior, sumando y restando segmentos o multiplicndolos y dividindolos, anticipndose a Ren Descartes (1596-1650) incluso en la representacin de potencias mediante segmentos67. El lgebra de Bombelli gozara de gran fama en toda Europa, y es probable que Descartes la conociera, a travs de la lectura del segundo libro de los tres publicados a travs de la demostracin geomtrica de la resolucin de las ecuaciones cbicas 68. Una vez elegida la unidad de longitud, existe una correspondencia entre las longitudes y su proporcin, de forma que Bombelli define - mediante segmentos establecidos sobre una longitud - las distintas operaciones algebraicas y relacionando nmeros con longitudes obtiene la definicin geomtrica del cuerpo de los nmeros reales, un punto de vista que a menudo se atribuye a Descartes, otorgando de ese modo a su 'lgebra' una slida base geomtrica, aunque falte en este autor el paso definitivo del simbolismo algebraico dentro del lenguaje geomtrico 69. El libro quinto, Bombelli se centra en los poliedros regulares y la incertidumbre sobre su nmero y forma de generacin, algo que prueba su desconocimiento de la obra de Pappus de Alejandra, uno de los grandes matemticos de la Antigedad en la cual se describen los poliedros de Arqumedes, aunque el libro haba sido publicado en 1558 70. En cualquier caso, el lgebra de Bombelli constituira uno de los ms importantes trabajos matemticos del siglo XVI, y de hecho su autor fue el nico que dio importancia a los nmeros complejos en su poca: quiz uno de los avances ms significativos en el lgebra durante el siglo XVI fue la introduccin de una simbologa ms adecuada a partir de los smbolos (+) y (-) que haban sido introducidos por los alemanes en el siglo XV para denotar excesos y defectos en las medidas de pesos. El smbolo correspondiente a la igualdad (=) sera creacin de Robert Recorde (c. 1512-1558), un matemtico gals educado en Oxford 71, y el del punto para explicar la multiplicacin lo introducira William Oughtret (1575-1660) un matemtico de Cambridge junto con las abreviaturas de "sen" y "cos" para las funciones trigonomtricas72.

******************************************************** Capi Respecto de los nmeros naturales su estructura no es ms que un conjunto de elementos, los que sean, con unas relaciones entre ellos. Enrique Lins Escard (1914-1988) describe su estructura, que es lo mismo que decir que describe las relaciones entre distintos nmeros y/o conjuntos de nmeros. Esa clase de estructura no es sin embargo una estructura algebraica, pues para que un conjunto tenga estructura
67

Bombelli, Rafael, LAlgebra, parte maggiore dellaritmetica Potencias y productos de segmentos , Libro IV, cap. 1 Proposicin 21. En esta proposicin Bombelli, por delante de Descartes, representa con segmentos tambin las potencias poder. Se trata de un paso fundamental para traducir en forma geomtrica expresiones aritmticas superando una interpretacin geomtrica rgida que llev, entre otras cosas, a los matemticos a tratar solamente potencias con exponente inferior a cuatro (Simonetti. Carla, Geometria Analitica: un Percorso Storico Mathesis, Firenze, pg. 8 (http://web.math.unifi.it/users/mathesis/conferenze/filespresentazioni/1112/Simonetti.pdf).
68

Ettore Bortolotti (1866-1947) que publicara el manuscrito de Bombelli en su versin completa con los libros IV y V, manifiesta: "Por tanto, no es legtimo que a [Descartes] se le atribuya a ese paso que, al decir de los historiadores constituye un progreso tan esencial en la representacin analtica de las escalas de potencias Trad del autor (Bortolotti, Ettore Lezioni di geometria analitica, Vol.I , Ed. Zanichelli, Bologna, 1923, pg. 25).
69

Bourbaki, N. lments d'histoire des mathmatiques, collection Histoire de la Pense , IV Hermann, Paris, 1960. pg. 97 y 162. Nicolas Bourbaki es el " heternimo con el que - a partir de 1935 y hasta 1983 - un grupo de matemticos de alto nivel, en su mayora franceses, escribi una serie de libros para la exposicin sistemtica de las nociones de matemtica avanzada moderna. La eleccin del nombre dado al grupo, que tuvo lugar en broma, se cree que es debido al apellido de un general francs del siglo XIX, de origen griego, Charles Denis Bourbaki (1816-1897 )
70

Pappus de Alejandra (c. 290-350 AD) fue uno de los ltimos grandes matemticos griegos de la antigedad, conocido por su Synagoge (c. 340), y por el teorema de Pappus en geometra proyectiva. Nada se sabe de su vida, a excepcin de sus propios escritos.(Dedron, Pierre y J. Itard (1959) Mathematics And Mathematicians, Vol. 1, p.149 (trans. Judith V. Field) , Transworld Student Library, 1974, pg.149)
71

Recorde escribi un tratado sobre el lgebra denominado The Whetstone of Witte (1557) en donde manifestaba no conocer dos cosas ms iguales que dos lneas paralelas y por tanto este tipo de lneas deban denotar la igualdad.(ed. facsimil en http://archive.org/details/TheWhetstoneOfWitte) . La referencia en Jourdain, Philip E. B.. The Nature Of Mathematics. London, 1913.
72

Cajori, Florian A History of Elementary Mathematics With Hints on Methods of Teaching. Macmillan 1919 (ed. reimpresa de BiblioBazaar, 2010 pp. 157-158)

algebraica, hace falta poder definir en sus elementos una operacin algebraica y en los naturales no se puede definir ninguna, pues ni la suma ni el producto tienen inverso en los naturales, pues al restar o dividir dos naturales no siempre se obtiene otro natural73. ******************************************************************* Abogado y asesor de Enrique IV de Francia Franois Vite (1540-1603), tambin llamado Vieta, estudia matemtica durante los perodos en que est libre de compromisos oficiales, si bien no especifica sus fuentes, con lo cual no puede saberse si se inspir en el "lgebra de Bombelli. En 1591 public su libro Artem Analyticem Isagoge (Introduccin al Arte del Anlisis) en donde introducir algunos de los fundamentos de lgebra posterior, aunque su pensamiento matemtico est estrechamente relacionado con la geometra74. En lo que se refiere a la simbologa, introduce formas nuevas y eficiente, entre otras, el concepto de parntesis, expresado a travs de una lnea horizontal dispuesta encima de las palabras en cuestin. Vite sigue la "ley de la homogeneidad" segn la cual no se puede sumar o restar sino trminos que son comparables a magnitudes geomtricas equivalentes del mismo tamao, algo muy diferente a Bombelli, que llegaba a explicar las potencias mediante segmentos75. Vieta distingue entre "lgebra numerosa" en la que los datos son nmeros, y "lgebra speciosa" en la que los datos son cantidades de cualquier tipo, ya que los objetos no se expresan en trminos numricos, sino a travs de letras (vocales para coeficientes y consonantes incgnitas) que permiten tratar diversas situaciones de una numrica o geomtrica. De esta manera se abre el concepto generador de la geometra analtica, que constituye un mtodo algebraico para solucionar problemas geomtricos y ser utilizando una simbologa literal como despus Descartes (1596-1650) sentar las bases de su geometra creando una correspondencia natural entre las operaciones de lgebra, que actan sobre los nmeros, y la construccin de la geometra, que se lleva a cabo a partir de los segmentos, de tal manera que cada frmula literal del lgebra literal pueda interpretarse en trminos geomtricos. Sin embargo, Descartes negara la influencia de Vite en su trabajo y no poda conocer la parte geomtrica del lgebra de Bombelli ya que sus dos ltimos libros no haban sido publicados: evidentemente, eran tiempos ya apropiados para la revolucin que supuso dentro del campo matemtico la geometra cartesiana que tambin puede aparecer como el desarrollo de los escritos anteriores de Bombelli y Vieta 76. El hecho de sustituir nmeros por smbolos (letras de los coeficientes, en este caso) tendr una enorme trascendencia ya que abre un universo de soluciones simblicas. Nada en los smbolos indica si se est ante un caso lcito o ilcito, por lo que no se caer en contradiccin si se opera con los smbolos como si, en efecto, fuesen nmeros. Esta situacin invitar a dar un paso ms para reconocerlos as, y aunque la aceptacin de los negativos tendra altibajos el lgebra de Renacimiento proporcionara al cero y los nmeros negativos carta de ciudadana matemtica completa, al hacer posible la clasificacin de distintos tipos de ecuaciones dentro de una misma categora77. ***********************************************************

73

Sobre un comentario de Capi Corrales a Lins Escard, Enrique Sobre la estructura del conjunto de los nmeros naturales. Actas de la tercera reunin de matemticos espaoles: octubre 1962, 1963, pgs. 75-90 74 Francisci Vietae-in artem analyticem isagoge. Tours, Mettayer, 1591; 9 fol-Francisci Vietae Fontenaeensis in artem analyticem isagoge. Ejusdem ad logisticem speciosam Notae priors. Paris, Baudry, 1631.
75

Vieta escribir A cubis B en A quad + B quad en A aeq. B quad en Z se expresa como: a 3 - b a2 + b2a = b2z. 2.De esta manera, cada trmino representa un volumen una actitud muy diferente a la de Bombelli. En Simonetti. Carla, Geometria Analitica: un Percorso Storico Mathesis, Firenze, (http://web.math.unifi.it/users/mathesis/conferenze/files-presentazioni/1112/Simonetti.pdf). pg. 10.
76

Biard Jol y Rushd Rshid, Eds., Descartes et le moyen age: actes du colloque organis la Sorbonne du 4 au 7 juin 1996 par le Centre d'histoire des sciences et des philosophies arabes et mdivales (URA 1085, CNRS/PH) la occasion du quatrime centenaire de la naissance de Descartes. Volumen 75 de Collection Latitudes 23, Vrin, Paris, 1997, pg. 38 y 50. 77 Corrales Rodrigez, Capi e Ins M Gmez Chacn (eds.) Nmero en Ideas y Vizualizaciones matemticas, Ctedra Miguel de Guzmn, Facultad de Ciencias Matemticas, UCM 2011, pg. 10).

En su tercer libro de La Geometra (Leyden, 1637) dedicado a la teora de ecuaciones, Descartes escribe sobre la naturaleza de los nmeros negativos "Estn constituidos de trminos parecidos, en parte conocidos y en parte incgnitos, de los cuales algunos son iguales a otros y ms bien en conjunto, son iguales a cero; a menudo, de hecho ser mejor considerarlos de esta ultima forma". Descartes reconoce que una ecuacin tiene tantas races como dimensiones tiene la incgnita y esto lo lleva a aceptar las races negativas, que llama falsas: si x indica "la falta de una cantidad": "Sucede a menudo, sin embargo, que algunas de estas races son falsas (o inferiores a 0)", y agrega: "tanto las raices verdadera como las falsas no son siempre reales sino a veces imaginarias [...] no hay ninguna cantidad que corresponde a lo que imaginamos." pp. 377-380 ed. de Descartes La Gomtrie.en (http://fr.wikisource.org/wiki/Livre:Descartes_-_La_G%C3%A9om%C3%A9trie) *******************************************************************************

En la tercera giornata de sus Discorsi de 163878, Galileo Galilei (1564-1642) intenta demostrar que el espacio cubierto con un movimiento uniformemente acelerado en un cierto perodo de tiempo es igual a la distancia recorrida con movimiento uniforme al mismo tiempo con una velocidad constante igual a la mitad de la velocidad mxima alcanzada en el primer caso. Para ello, dibuja un grfico que tiene en cuenta dos ejes perpendiculares, representando en el eje horizontal la velocidad y el tiempo en el eje. La suma de las velocidades es la misma en ambas situaciones, una referencia implcita a las reas. El uso de ejes de referencia abstractos provienen as de la explicacin de problemas especficos en Fsica. Pero lo que resulta comn a Galileo y Descartes es la revolucin propuesta para la naturaleza misma de la actividad cientfica, eligiendo los conceptos que la ciencia tendra que usar, redefiniendo los objetivos de la investigacin cientfica y modificando profundamente la metodologa utilizada hasta la fecha 79. El matemtico hngaro Alfred Rnyi (1921-1970) argumentaba que Discorsi era el libro ms importante escrito sobre Matemtica en ms de dos mil aos: las matemticas griegas no trataron del movimiento y nunca formularon leyes sobre el mismo, a pesar de que Arqumedes desarrollara ideas sobre derivacin e integracin, y de ese modo sera Galileo quien abri el camino para el tratamiento de la fsica en forma matemtica. Zenn de Elea haba construido sus famosas paradojas para demostrar que el movimiento no poda ser tratado matemticamente, y que cualquier intento de hacerlo dara lugar a esas paradojas, como una limitacin inevitable de las matemticas y Aristteles reforzara esa creencia, diciendo que la matemtica slo poda tratar con objetos abstractos que eran inmutables 80. Galileo utiliz los mismos mtodos de los griegos para demostrar que el movimiento podra ser tratado matemticamente. Su gran idea fue la de la separacin la idea de infinito de las paradojas de Zenn. En primer lugar, mostr que la secuencia infinita S de los cuadrados 1, 4, 9, 16, ... contena tantos elementos como la secuencia N de todos los nmeros enteros positivos, algo que ahora se conoce como paradoja de Galileo. Esta paradoja muestra una de las sorprendentes propiedades de los conjuntos infinitos. Galileo propone para ello asertos aparentemente contradictorios acerca de los nmeros enteros positivos. En primer lugar, plantea como algunos nmeros son cuadrados, mientras que otros no lo son: sin embargo, todos los nmeros (incluyendo los cuadrados y los no cuadrados) deben ser ms numerosos que solamente los cuadrados. Por otra parte, por cada cuadrado existe un nmero positivo que es su raz cuadrada, y por cada nmero existe su cuadrado, por lo que no puede haber ms en un conjunto que en el otro. Galileo plantea as un uso temprano - aunque no sea el primero en hacerlo - de la idea de una correspondencia unvoca en el contexto de los conjuntos infinitos. Luego demostr, utilizando la geometra griega, que un intervalo corto de lnea contiene tantos puntos como un intervalo ms largo y en algn momento formula el principio general de que un conjunto infinito ms pequeo puede tener la misma cantidad de puntos que un conjunto infinito mayor que lo contiene 81. Galileo concluye as que las ideas de menos, igual, y mayor pueden aplicarse a conjuntos finitos, pero no a conjuntos infinitos. En el siglo XIX, con los mismos mtodos, Georg Cantor demostrara que esta restriccin no es necesaria, pues es posible establecer comparaciones significativas entre conjuntos infinitos estableciendo una nocin de tamao que permite definir que algunos conjuntos infinitos son estrictamente ms grandes que otros. Sin embargo, es notable el trabajo anticipatorio de Galileo mostrando que el nmero de puntos en un
78

(Discorsi e dimostrazioni matematiche, intorno due nuove scienze , Leyden, 1638) fue el ltimo libro de Galileo y una suerte de testamento cientfico que cubri gran parte de sus trabajos en Fsica. en los treinta aos precedentes. Drake, Stillman. Galileo At Work. Chicago: University of Chicago Press, 1978, pg. 367.
79 80 81

Kline, Morris. Mathematical Thought from Ancient to Modern Times: Vol. 1 , Oxford University Press, Oxford, 1990, pp. 328329. Rnyi, A. Dialogues on Mathematics, Holden-Day, San Francisco (California),1967, pg. 53 y 83. Salviati: Por lo que veo, slo se puede inferir que la totalidad de los nmeros es infinita, que el nmero de cuadrados es infinito, y que el nmero de sus races es infinito: ni el nmero de cuadrados es inferior a la totalidad de todos los nmeros, ni tampoco los segundos mayores que los primeros, y por ltimo los atributos de "igualdad", "mayor" y "menor" no son aplicables al infinito, sino slo para cantidades finitas. Por tanto, cuando Simplicio introduce varias lneas de diferentes longitudes y me pregunta cmo es posible que las ms largas no contengan ms puntos que las ms cortas, yo le respondo que una lnea no contiene ms, menos o la misma cantidad de puntos que otra, sino que cada lnea contiene un nmero infinito de puntos. ( Galilei, Galileo Dialogues concerning two new sciences. [1638]. Transl. Crew and de Salvio. Dover. New York, 1954, pg. 33.)

segmento de lnea es el mismo que el nmero de un segmento de lnea ms grande aunque no lleg a la definicin de Cantor basada en la existencia de un mayor nmero de enteros. La idea de Galileo era rebatir las paradojas de Zenn, a fin de abrir el camino para una teora matemtica del movimiento y esas paradojas ese comportamiento tambin paradjico de las cantidades infinitas, de forma que Galileo, despus de haber resuelto este escollo terico bimilenario pas a introducir sus leyes matemticas del movimiento, anticipndose a Newton82. *************************************************** Pierre de Fermat (1601-1665) ejercera durante su vida su profesin de abogado como magistrado adscrito al Tribunal de Toulouse combinndola con la pasin matemtica durante su tiempo libre. En 1636 escribe una memoria titulada Ad Locos Planos et Solidos Isagoge (Introduccin a los lugares planos y slidos), que ser publicado en una compilacin pstuma de 1679 denominada "Varia opera mathematica"83. En dicho escrito, Fermat, a partir de copias de textos de Apolonio de Prgamo (c. 262190 a.C.) 84 y el citado Francisco Vieta, llega a decir que "Siempre que en una ecuacin final aparezcan dos cantidades incgnitas, aparecer un lugar", ya que el extremo de un segmento que tiene como medida el valor de una de las variables y que se fija en funcin del valor de la otra, describe una lnea recta o una curva85. As, el trabajo pionero manuscrito de Fermat en geometra analtica resultara ligeramente anterior a la publicacin de La Gomtrie de Descartes, cuya primera edicin es de 1637 86 incluida dentro del Discurso del Mtodo y que funciona como introduccin a tres ensayos que se sitan como apndices denominados sucesivamente la Dioptrique (ptica), les Mtores (fenmenos naturales) y la citada La Gomtrie, que se publican conjuntamente para proporcionar ejemplos del xito del mtodo propuesto por el autor. El Discurso comienza con una crtica de la educacin impartida en las escuelas de alta reputacin de la poca por su enfoque prevalente humanstico y literario, basado ms en el ejercicio de la imaginacin y el estudio de las grandes obras de los dems, ms que en la investigacin directa desarrollada racionalmente as como la separacin del conocimiento de aplicaciones prcticas que interesan al autor. En esta posicin, su inters lo acerca a Galileo y su pensamiento filosfico-cientfico se apoya tanto en el poder de la razn como en una concepcin definida de la actividad humana, a medio camino entre racionalidad y actividad 87. As y tras indagar en diversos campos del conocimiento Descartes llega a la conclusin de que el mtodo matemtico es el adecuado para establecer la verdad en todos los mbitos, ya que permite alcanzar y demostrar certezas aplicables tambin fuera del mbito de la matemtica misma. Un buen ejemplo de ello es lo apuntado en sus Meditaciones Metafsicas (1641) para la demostracin de las diferentes razones que prueban la existencia de Dios, en donde propone para ello diez definiciones, siete postulados, diez axiomas y cuatro proposiciones, con un corolario para la tercera 88. Frente a todo ello, el pensamiento cartesiano pone la duda en un lugar central que invierte los datos de los sentidos y todo conocimiento, incluyendo en ellos las afirmaciones demostradas en Matemtica. Dudar es pensar y pensar significa ser de forma que su celebrrimo "Cogito ergo sum" como verdad absoluta se convierte en el centro de su filosofa cartesiana. La geometra de Descartes no dispone de una estructura axiomtica, no existen definiciones o teoremas con una manipulacin libre del lgebra literal 89. Descartes, como Galileo, repudia la tradicin y hace una renovacin radical de la ciencia, criticando la geometra de los griegos por su carcter demasiado abstracto pero vinculado a las figuras y critica tambin el lgebra por su sujecin a
82 83 84

Hawking, Stephen On the Shoulders of Giants. Running Press, Philadelphia, 2002 pg. 397. Gullberg, Jan. Mathematics from the birth of numbers, W. W. Norton & Company; New York, 1997, pg. 548.

Particularmente de su De Locis Planis una coleccin de proposiciones relativas a lugares geomtricos referidos a lneas rectas o curvas. El texto sera estudiado no slo por Fermat ( Oeuvres de Fermat, v. I, Oeuvres mathmatiques diverses , d. P. Tannery et C. Henry, Paris, Gauthier-Villars, 1891, pp. 351) sino tambin posteriormente por otros matemticos como Frans van Schooten (1615-1660) y el escocs Robert Simson (1687-1768). Datos en Chisholm, Hugh, "Apollonius of Perga". Encyclopdia Britannica (11th ed.). Cambridge University Press. ed. (1911).
85

Warusfel, Andr, Livre Premier de La Gomtrie, Des problmes quon peut construire sans y employer que des cercles et des lignes droites , extrait du Discours de la mthode, p.297-314 de ldition originale (Leyde 1637) en (http://www.bibnum.education.fr/mathematiques/geometrie/le-livre-premier-de-la-geometrie-de-descartes). Citado tambin por Simonetti. Carla, Geometria Analitica: un Percorso Storico Mathesis, Firenze, (http://web.math.unifi.it/users/ mathesis/conferenze/files-presentazioni/1112/Simonetti.pdf). pg. 12. 86 Smith David E. and Lantham M. L. . The Geometry of Ren Descartes (Reprint of 1925 ed.). Courier Dover Publications. N. York, 1954.
87 88 89

Kline, Morris Mathematics: The Loss of Certainty Vol. 686 de A Galaxy book Oxford paperbacks, Oxford University Press, 1982, pp. 42-49. Descartes, R. Mditations mtaphysiques, Mditation sixime, ed. GF-Flammarion, (1979), 1992, pg.191 y ss. Giusti, Enrico. Ipotesi sulla natura degli oggetti matematici, Bollati Boringhieri, Torino, 1999, pg. 23.

reglas y frmulas. En consecuencia, decide tomar lo mejor de cada uno de ellas, corrigiendo los defectos de una con la ayuda de la otra 90. ************************************* No es pues la geometra la que justifica al lgebra, pero es el lgebra la que permitir investigar diversos problemas geomtricos con un tratamiento uniforme y ser el uso sistemtico de ejes de referencia lo que permitir representar puntos mediante sus coordenadas, y as traducir nmeros y problemas geomtricos en relaciones algebraicas. Cabe sealar, sin embargo, que los ejes cartesianos no se dan a priori, sino que deben elegirse de acuerdo con el problema tratado y que Descartes no consider valores negativos en la representacin. Del mismo modo, al igual que lo hicieron Fermat y Apolonio de Prgamo, en realidad no consideraba dos ejes, sino un semieje y un conjunto de segmentos que parten del mismo y a los que se asigna una direccin91. Leonhard Euler (1707-1783), en el texto latino de su Introductio in Analysin Infinitorum de 1748 92, considera ejes de coordenadas que no dependen del problema particular que se trata y que se refieren a todos los puntos del plano de coordenadas de acuerdo con el signo. De esta manera, el concepto de coordenadas se sita dentro de una exposicin sistemtica de la Geometra Analtica93 . Por su parte, Joseph-Louis de Lagrange (1736-1813) que mantendra correspondencia con el propio Euler 94 estableca que mientras el lgebra y la geometra, avanzaron por caminos separados su progreso fue lento y sus aplicaciones limitadas, pero cuando estas dos ciencias se unieron, establecieron una nueva vitalidad y se encaminaron hacia la perfeccin 95. En el primer libro de La Gomtrie, y despus de proporcionar las lneas generales para el planteamiento de ecuaciones para la resolucin de un problema, Descartes escribir: "No me atendr a una explicacin detallada de todo esto, ya que al hacerlo privara (al lector) del placer de aprender por su cuenta, y la utilidad para cultivar su ingenio en el ejercicio de tal investigacin, y esto, en mi opinin, es el mayor beneficio que puede derivarse de esta ciencia " 96. Esta idea se vuelve a retomar en una sentencia dispuesta en las palabras finales de la obra:" ...espero que los que me sucedan me estn agradecidos, no slo por lo que he explicado aqu, pero por todo lo que he omitido intencionalmente con el fin de permitir el placer de su descubrimiento... "97

90

Goldstein, Catherine. Le mtier des nombres au 17 e et 19e sicles, en lments d'Histoire des Sciences, sous la dir. de M. Serres, Bordas, Paris, 1989, p. 274-295 (Trad. inglesa en A History of Scientific Thought, Blackwell, Oxford et Cambridge (MA), 1995, p. 344-371 en Michel Serres, ed., Historia de las ciencias, Ctedra 1991.pp. 313-336.
91

Sasaki, C. Descartes's Mathematical Thought, vol. 237 de Boston Studies in the Philosophy of Science, Springer, N. York, 2003, pg. 47 y tambin, Mahoney, Michael Sean, The Mathematical Career of Pierre de Fermat, 1601-1665, History and Philosophy of Sciences, Princeton University Press, 1994, pp.73-77 y 91.
92 93

Puede encontrase un facsmil de este libro de Leonhard Euler, Introductio in analysin infinitorum , ed. Marc-Michel Bousquet, y socios, Laussanne, 1748 , procedente de la Universidad de Lausanne (digitalizado 7 Ene 2009) en (http://books.google.es/). Navarro Moncho, Maite, Del lgebra a la geometra, la sistematizacin de las coordenadas cartesianas y la representacin grfica de funciones en la Introductio in Analysin Infinitorum de Euler y en el Trait Du Calcul Diffrentiel Et Du Calcul Intgral y en el Trait lmentaire de Trigonomtrie Rectiligne et Sphrique,et dapplication de lalgbre a la Gomtrie de Lacroix. Memoria del Trabajo de Investigacin del Programa del Doctorado de Didctica de la Matemtica de la Universitat de Valncia, Valencia, 2012, pp. 67-77.
94 95

Lettres indites de Joseph-Louis Lagrange Lonard Euler (1877). Harvard Univ. (http://archive.org/details/ lettresinditesd00 eulegoog). Tant que l'Algbre et la Gomtrie on t spares, leur progrs ont t lents et leurs usages borns mais lorsque ces deux sciences se sont runies, elles se sont prt des forces mutuelles et on march ensemble d'un pas rapide vers la perfection. C'est Descartes qu'on doit l'application de l'Algbre a la Gomtrie, application qui est devenue la clef des plus grandes dcouvertes dans toutes les branches des Mathmatiques. (Joseph Louis de Lagrange, Leons lmentaires sur les mathmatiques donnes l'cole Normale en 1795. Document (Gallica) uvres compltes, vol. 7, pg. 271) en Sances, recueillies par des stnographes, et revues par les professeurs. (Leons). France coles normales, 1800, procedencia del original: Universidad de Oxford, Digitalizado, 20 Sep 2006, pg. 401. (http://books.google.es/).
96 97

Descartes, Ren, Project Gutenberg : PDF de La Gomtrie (d. Hermann, 1886) pg. 3 (traduccin de M.M.Mons)

...Et jespre que nos neveux me sauront gr, non seulement des choses que jai ici expliques, mais aussi de celles que jai omises volontairement, afin de leur laisser le plaisir de les inventer. Descartes, Ren, Project Gutenberg : PDF de La Gomtrie (d. Hermann, 1886) pg. 66 (traduccin de M.M.Mons)

Mi sembra significativo avvicinare queste affermazioni a ci che scriver tre secoli dopo Federigo Enriques nel suo articolo Insegnamento dinamico (Periodico di Matematiche 1921) : [linsegnamento ] un aiuto a chi voglia imparare da s e per sia disposto, anzich a ricevere passivamente, a conquistare il sapere, come una scoperta o un prodotto del proprio spirito.. Nello stesso articolo parla anche della messa in equazione di un problema e dellimportanza di condurre lallievo a comprendere che cos lequazione di un problema , tenendo presente che comprendere significa divenir atti ad applicare: e tale attitudine si svolge solo come frutto di un lavoro attivo Queste considerazioni possono essere assunte come indicazioni didattiche di particolare interesse.

Parece significativo tambin lo que escribira tres siglos despus de Federico Enriques en su artculo Enseanza Dinmica (Revista Matemtica 1921): "[La enseanza es] una ayuda para aquellos que quieren aprender por s mismos pero que estn dispuestos sin embargo para adquirir conocimientos como un descubrimiento o un producto de su propia mente, en lugar de recibirlos pasivamente...". En el mismo artculo tambin habla de "comprender significa realizar actos y aplicar actitudes como el conducentes al resultado de un trabajo activo ".