Professional Documents
Culture Documents
58
Junio 2008, pp. 1-5 Historias de al-Khwrizm (1 entrega)
A hora que SUMA est al cargo de la Societat dEducaci Cercana y lejana, proximidad y extraeza hicieron que al-
Matemtica de la Comunitat Valenciana al-Khwrizm, Khwrizm haya acabado identificando a nuestra sociedad
parece razonable que esta seccin, que se va a dedicar a con- valenciana de profesores de matemticas, aunque no fuera un
tar historias de matemticos y matemticas, comience con- matemtico valenciano.
tando historias del matemtico cuyo nombre pusimos a nues-
tra sociedad. El matemtico ms antiguo del que tengo noticia que naci en
Valencia es cAbd ar-Rahmn Ibn Sayyid, cuya vida sita
Yo fui el culpable del bautizo, que se decidi en un viaje en Ahmed Djebbar en torno a 1070 (Djebbar, 2005, p. 137), ya,
coche en diciembre de 1993, hace ya quince aos, desde por tanto, un par de siglos posterior a al-Khwrizm, y en la
Valencia a Castelln, donde bamos a celebrar la Asamblea poca en que Valencia era uno de los reinos de taifas en que
Constituyente, despus de descartar encomendarnos a un par qued dividido el califato de Crdoba despus de la fitna, caos
de matemticos valencianos, Tosca y Corachn, ambos sacer- o guerra civil, que acab con l. Snchez Prez tambin lo
dotes y de nombres sonoros. De al-Khwrizm nos interesaba menciona en su Biograf a de matemticos rabes que florecie-
que de su nombre y de su obra provienen dos palabras de la ron en Espaa, con el nombre de Abuzeid Abderrahman
terminologa matemtica presentes en la enseanza primaria Benabdala Abensayid el Kelbi, y dice de l que naci en
y secundaria, algoritmo y lgebra. Pero tambin que, en la Valencia, no podemos precisar en qu ao, pero s asegurar que
poca en que vivi al-Khwrizm, finales del siglo VIII y pri- viva en Jtiva en el 456/1063 (Snchez Prez, 1921, p. 37).
mera mitad del IX, Valencia formaba parte del emirato de
Crdoba, que, aunque era poltica y administrativamente Djebbar afirma que sus libros no se han encontrado, pero que
independiente del califato de Bagdad, segua mantenindose conocemos los trabajos de Ibn Sayyid a partir de un resumen
unido a l desde el punto de vista cultural y espiritual. Es
decir, que al-Khwrizm trabaj en el mismo mbito cultural
en que entonces estaba Valencia, a pesar de haber nacido en Luis Puig
Universitat de Valncia
el otro extremo del imperio rabe, a miles de kilmetros.
historias@revistasuma.es
1
SUMA 58
Junio 2008
que hizo de ellos uno de sus alumnos, que no es otro que el El origen de tanta variacin est en que en realidad el nombre
filsofo Ibn Bjja (Djebbar, 2005, p. 69). de nuestro matemtico se escribe con un alfabeto distinto del
latino, el alfabeto rabe o alifato, y se escribe as:
No se qu hubiera pasado si nos hubiramos encomendado a
los valencianos Tosca, Corachn o Ibn Sayyid, pero el haber Para escribirlo en el alfabeto latino hay que transliterar el
elegido a alguien lejano y extrao a nuestro(s) idioma(s) ha nombre escrito en rabe, para lo que hace falta que se haya
hecho que desde el primer momento hayamos tenido compli- establecido un convenio para hacer corresponder a cada letra
caciones con nuestro nombre. Complicaciones para saber del alfabeto rabe una letra, o una combinacin de letras o sig-
cmo se escribe o cmo se pronuncia, o qu son esas rayas nos del alfabeto latino, que se pronuncien de forma similar.
encima de una a y una i, que no son fciles de escribir con el Ahora bien, precisamente como el objetivo de la translitera-
procesador de textos. Hablar en esta primera entrega de cin es representar la palabra rabe en el alfabeto latino de
Historias de cmo se escribe, cmo se llama, de dnde era y forma que la pronunciacin sea similar, se han establecido sis-
si era rabe y hablaba rabe al-Khwrizm. En prximas entre- temas diferentes de transliteracin del rabe, al buscarse la
gas, lo har de sus libros. similitud de la pronunciacin en distintos idiomas.
Cmo se escribe al-Khwrizm? La primera letra del nombre de despus del artculo
al, es decir, la tercera letra, , empezando por la derecha, ya
En los libros de historia podemos encontrarnos con el nom- que el rabe se escribe de derecha a izquierda es una letra
bre de nuestro matemtico escrito de muchas maneras. Las que se pronuncia como la jota castellana, de ah la translitera-
rayas sobre la a y la i pueden estar presentes o no, o ser subs- cin al-Jwrizm. Pero el sonido de la jota castellana no existe
tituidas por acentos circunflejos, por razones tipogrficas, ni en ingls, ni en francs o alemn, y adems, en esos idio-
pero sa no es la diferencia ms importante. Con rayas o acen- mas, la letra jota se pronuncia de forma muy distinta, por lo
tos circunflejos, podemos encontrarnos con al-Khwrizm, al- que no resulta razonable usarla para representar ese sonido.
Jwrizm, o al-Hwrizm, y tambin al-Khowrizm, al- En el caso ingls, esa letra rabe se translitera por la combi-
Jowrizm, o al-Howrizm, o al-Khuwrizm, al-Juwrizm, o nacin de letras kh, de forma convencional, indicando con la
al-Huwrizm, pero tambin con una e en el lugar de la pri- k que el sonido se parece al de su hache, pero que es ms fuer-
mera i, al-Khwrezm, al-Khowrezm, al-Khuwrezm, etc. te. En el caso alemn y francs, se translitera por la letra
Figura 1. Figura 2.
Portadilla rabe de la edicin de Rosen del lgebra de al- Portada de la edicin de Masharrafa y Ahmad del lgebra
Khwrizm de al-Khwrizm
2
SUMA 58
Junio 2008
hache, a la que se le aade un pequeo arco debajo, que yo no tan vocales, pero, cuando uno se encuentra escrito en un texto
he podido escribir aqu, para indicar tambin que el sonido se rabe, por ejemplo, , que son las tres consonantes que
parece al de su hache aspirada, slo que ms fuerte. transliteramos drs, tiene que decidir por el contexto si se trata
de darasa, con tres aes breves, que significa estudi, o duri-
As que las variantes al-Khwrizm, al-Jwrizm, o al- sa, con otras tres vocales breves, que significa se estudi.
Hwrizm responden a tres sistemas distintos de translitera-
cin del alfabeto rabe al alfabeto latino, que podemos llamar Como hay textos cuya lectura no se quiere que est sometida
anglosajn, espaol y franco-alemn1. a esta necesidad de interpretar por el contexto de qu palabra
se trata, en particular los textos sagrados del Islam, se usa
Nosotros decidimos optar por la transliteracin anglosajona tambin una escritura vocalizada, en la que, adems de las
para nuestra sociedad por el predominio del ingls como len- letras del alifato, se utilizan otros signos, que se colocan enci-
gua cientfica, por un lado, pero tambin porque el nombre de ma o debajo de las letras del alifato, y que indican las vocales
nuestra sociedad es Societat dEducaci Matemtica de la Co- breves y algunos otros rasgos de la pronunciacin, como la
munitat Valenciana, y en cualquiera de las variantes del cata- ausencia de vocal en una slaba o la duplicacin de una con-
ln no existe el sonido de la jota castellana y la letra jota se sonante al final de una slaba y el comienzo de la siguiente. A
pronuncia de otra manera. Podamos haber optado por la ttulo de ejemplo, en las figuras 1 y 2 reproducimos dos por-
transliteracin al-Hwrizm, como hicieron Parads y Malet tadas del libro de lgebra de al-Khwrizm: la portadilla en
en su historia del lgebra escrita en cataln, pero se no fue el rabe de la edicin bilinge en rabe e ingls de Rosen de 1831
caso. De modo que nos quedamos con la transliteracin que (figura 1), y la portada de la edicin rabe de cAl Mustaf
es de hecho la ms extendida2. Masharrafa y Muhammad Murs Ahmad de 1939 (figura 2).
En la portadilla rabe de la edicin de Rosen, la escritura es la
En cualquier caso, se translitere como se translitere esta pri- corriente; en la otra, hay algunas palabras vocalizadas, en par-
mera letra, la primera letra del nombre de nuestro matemti- ticular, el nombre de al-Khwrizm. En la figura 3 hemos
co se pronuncia como la jota castellana, no por escribir al- recortado al-Khwrizm escrito sin vocalizar, como lo escribi
Khwrizm, se tiene que pronunciar al-kuarismi. Rosen, y en la figura 4, vocalizado, como lo escribieron
Masharrafa y Ahmad.
Ahora bien, la existencia de esas tres normas de translitera-
cin distintas slo explican las tres variantes Kh, J o H, para la
primera letra del nombre de nuestro matemtico, pero no el
resto de las variantes en las que lo que es distinto es la pre- Figura 3 Figura 4
sencia o ausencia de algunas vocales y el cambio de unas voca-
les por otras: las variantes que, en el caso de dejar Kh fija, dan
al-Khwrizm, al-Khawrizm, al-Khowrizm, al-Khuw- Por otro lado, hay diferencias de pronunciacin del rabe que
rizm, y al-Khwrezm, al-Khawrezm, al-Khowrezm, al- afectan a las vocales breves, en concreto, hay una vocal que
Khuwrezm (y las correspondientes variantes con J y con H, puede pronunciarse como una u o como una o, segn la
en vez de Kh). El origen de estas variantes est, en primer zona lingstica, y una vocal que puede pronunciarse como
lugar, en una peculiaridad de la escritura de la lengua rabe, y, una i o como una e.
en segundo lugar, en diferencias de pronunciacin del rabe.
Las vocales breves no escritas en la escritura corriente rabe y
La peculiaridad a la que me refiero no es de hecho exclusiva las diferencias de pronunciacin son las responsables pues de
de la lengua rabe, sino que es algo que el rabe comparte con las variantes al-Khwrizm, al-Khawrizm, al-Khowrizm,
otras lenguas semticas como el hebreo. En rabe hay dos al-Khuwrizm, al-Khwrezm, al-Khawrezm, al-
tipos de vocales: las vocales largas y las vocales breves3. Pues Khowrezm y al-Khuwrezm, segn se escriban o no la a
bien, en el rabe escrito slo se representan las consonantes y breve y la primera u breve, y segn se tome la pronunciacin
las vocales largas, pero no las vocales breves. As, por ejemplo, u, e i, u o y e, de las vocales breves cuya pronunciacin
en no est escrita una de las es, porque es breve, de vara.
manera que, si slo transliterramos lo escrito, escribiramos
al-Khwrzm. Cmo se llama al-Khwrizm?
Leer un texto escrito en rabe es una tarea distinta de leer un Las variantes con que puede encontrarse escrito el nombre de
texto escrito en castellano, ya que no basta con conocer qu nuestro matemtico no slo afectan a lo que en la onomstica
sonidos resultan de la combinacin de las letras, sino que hay rabe se llama su nisba, al-Khwrizm, que es el nombre que
que reconocer por el contexto cules son las vocales breves indica procedencia, origen, tribu o similares. Tambin hay
que no estn escritas. En el caso de al-Khwrizm, apenas fal- variantes respecto a su nombre completo.
3
SUMA 58
Junio 2008
Khwrizm era una regin situada al sur del lago Aral, al norte
de Persia, que en la poca de al-Khwrizm perteneca al
imperio rabe, al haber sido ya conquistada por los absidas
en el ao 712, prcticamente al mismo tiempo en que, al otro
extremo del mundo, otros rabes cruzaban el estrecho de
Gibraltar para conquistar gran parte de la pennsula ibrica.
Anteriormente haba sido un reino independiente en alguna
poca, o sometido en mayor o menor medida a los imperios
persas. Posteriormente, fue el centro de un imperio con una
extensin que inclua toda Persia perodo de esplendor que
dur desde el siglo XI hasta comienzos del XIII, en que fue arra-
Ruinas de la fortaleza de Ayaz Kala 1 en el antiguo Khwrizm,
construida en el siglo V-IV a.n.e., actualmente en Uzbekistn. sado por los mongoles de Genghis Khan. No voy a recorrer la
historia de la regin de origen de al-Khwrizm, slo sealar
Foto: Marisa Fernndez
a ttulo de ancdota la existencia ef mera de una Repblica
Socialista Sovitica de Khwrizm en los aos veinte del siglo
4
SUMA 58
Junio 2008
pasado, que se incorpor a la URSS, dividiendo su territorio alrededor de 780 en Khwarizm. En la versin espaola de
entre varias de las repblicas socialistas soviticas caucsicas. Wikipedia, que an es menos fiable, est escrito a da de hoy
que era persa musulmn y que naci en la ciudad persa de
Actualmente, queda con el nombre de Khwrizm una regin Juarism o Jwarizm, con lo que no slo hacen persa a al-
en Uzbekistn, que es considerablemente ms pequea de lo Khwrizm, sino tambin a la ciudad de Juarism. Una fuente
que fue en el pasado el territorio primigenio. Una regin que que s es fiable, el historiador turco Aydin Sayili, argumenta
no se escribe Khwrizm, sino , es decir, en el alfabeto extensamente, al estudiar el lugar del Asia Central en la histo-
cirlico, que es el que se usa en la escritura en Uzbekistn. Por ria de la ciencia y la cultura, que hay pruebas de que al-
eso, el sello tantas veces usado como ilustracin en historias Khwrizm conoca el turco y perteneca al sector turco de la
de al-Khwrizm, que es un sello de la URSS (, en cirli- poblacin de Khwrizm (Sayili, 1991, p. 29) y otro historia-
co), lleva en l el nombre de al-Khwrizm transliterado del dor turco llega a decir que al-Khwrizm era turco de nacio-
alfabeto rabe, no al alfabeto latino, sino al alfabeto cirlico, nalidad y rabe de lengua (Ayyubi, 1990, p. 213). La historia
, otra forma pues de escribir el nombre de nues- de Khwrizm, territorio independiente en ocasiones, centro
tro matemtico! de un imperio en otras, parte del imperio persa en otras,
Repblica Socialista Sovitica ef mera, parte de lo que en el
diccionario puede encontrarse con el nombre de Turquestn,
Forma tradicional espaola del nombre de la regin del Asia
central cuyo territorio se extiende por zonas de los actuales
pases de Afganistn, China, Kazajistn, Kirguistn,
Tayikistn, Turkmenistn y Uzbekistn, permite que se pue-
dan reivindicar para al-Khwrizm nacionalidades diversas si
se quiere aadir un nombre ilustre al panten nacional.
Sello emitido en la antigua
URSS, para conmemorar el 1200
aniversario (aproximado) del Youschkevitch es ms comedido. Al explicar que va a utilizar
nacimiento de al-Khwrizm las expresiones matemticas rabes o matemticas de los
pases islmicos, dice que lo hace a pesar de que esas expre-
Si al-Khwrizm proceda de Khwrizm, era en Bagdad un siones son tan poco satisfactorias una como la otra, porque
emigrante llegado a la metrpoli desde una regin sometida haba pocos rabes entre los sabios y los filsofos; y aade:
por los rabes. Lo que nos lleva a la ltima cuestin. Al comienzo, eran sobre todo sirios, iranes, khorasianos,
griegos y judos. Un gran nmero de sabios no eran por tanto
musulmanes y pertenecan a distintas sectas cristianas o
paganas. Luego, los habitantes de los territorios que se
Era rabe y hablaba rabe al-Khwrizm?
encuentran situados hoy en da en Irn y las Repblicas
Soviticas de Tayikistn, Uzbekistn y Turkmenistn desem-
Si naci en Khwrizm, al-Khwrizm no era rabe, y proba- pearon un papel decisivo en la vida cientfica. Pero tambin
blemente su lengua materna tampoco era el rabe, ya que en advierte contra la pretensin de atribuir nacionalidades de
Khwrizm exista en la poca una lengua propia, que actual- forma anacrnica porque como consecuencia de las invasio-
mente es una lengua muerta. Si fueron sus padres o sus abue- nes sucesivas se produjeron de manera constante fusiones de
los quienes nacieron en Khwrizm y l ya era un inmigrante nacionalidades y apariciones de nuevas entidades nacionales,
de segunda o tercera generacin que viva y trabajaba en pero adems, porque nuestros conocimientos no nos permi-
Bagdad, para responder a esa pregunta habra que examinar ten, en la mayor parte de los casos, ms que dar indicaciones
cules eran las formas de integracin de culturas y lenguas en sobre el origen y el lugar donde un sabio ha ejercido su activi-
el Bagdad de los absidas. dad, pero no sobre su pertenencia nacional en el sentido tni-
co del trmino (Youschkevitch, 1976, pp. 13-14).
Ya hemos visto que los historiadores discuten sobre el lugar
de procedencia de al-Khwrizm. Tambin pueden encontrar- No voy a hacer, por tanto, ninguna afirmacin de cul era la
se discrepancias con respecto a su adscripcin tnica o de nacionalidad de al-Khwrizm. Lo que en cualquier caso s
nacionalidad. Junto al genrico matemtico rabe, que habi- hizo al-Khwrizm fue escribir en rabe sus libros cientficos.
tualmente no implica que se est afirmando que sea de origen El rabe era en su poca la lengua de la ciencia y de la religin
rabe, sino su pertenencia a un mbito poltico y cultural, en el mundo islmico, como lo fue el latn en el occidente cris-
puede encontrarse escrito tambin que es persa o turco. As, tiano medieval, o lo es el ingls actualmente en todo el
en la versin inglesa de Wikipedia, una fuente que nunca mundo. Pero de sus libros hablar en la prxima entrega de
puede tomarse como fiable, est escrito a da de hoy que al- esta seccin.
Khwrizm era un matemtico persa islmico, que naci HISTORIAS
5
SUMA 58
Junio 2008
NOTAS
1 O, de forma ms precisa, anglosajn, de la escuela de arabistas espa- 3 En la transliteracin del alifato al alfabeto, la diferencia entre las voca-
oles y centroeuropeo, como puede verse en Corriente (2002), en les largas y las breves est sealada por la raya que se coloca sobre las
donde se describen estos sistemas y su historia, y se propone un sistema vocales largas.
adaptado a las posibilidades de los medios electrnicos de comunica- 4 Ver http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Al-Khwarizmi.html.
cin, que es el anglosajn con ligeras variantes.
2 Si se buscan en Google las variantes en el momento en que estoy escri-
biendo esta historia, se obtienen los siguientes resultados: al-
Khwarizmi, 113000; al-Jwarizmi, 7950; al-Hwarizmi, 1120.
REFERENCIAS BIBLIOGRFICAS
Al-Khwrizm, Muhammad ibn Msa (1939). Kitb al-mukhtasar f Rashed, R. (1984). Entre arithmtique et algbre. Recherches sur
hisb al-jabr wal-muqbala, edited by cAl Mustaf Masharrafa lhistoire des Mathmatiques arabes. Les Belles Lettres. Paris.
and Muhammad Murs Ahmad. al-Qahirah. Reprinted 1968. Rosen, F. (1831). The algebra of Mohammed Ben Musa. Oriental
Cairo. Translation Fund. London.
Ayyubi, N. A. (1990). Contribution of Khwrazm to Mathematics Snchez Prez, J. A. (1921). Biograf a de matemticos rabes que flo-
and Geography. In Acts of the International Symposium on Ibn recieron en Espaa. Imprenta de Estanislao Maestre. Madrid.
Turk, Khwrazm, Farab, Beyrn, and Ibn Sina (Ankara, 9-12 Sayili, A. (1991). Al-Khwarizmi, Abul-Hamid Ibn Turk and the place
September 1985), pp. 213-214. of Central Asia in the History of Science and Culture. ERDEM,
Corriente, F. (2002). Acerca de la transcripcin o transliteracin del VII, 19, pp. 1-100.
cdigo grafmico rabe al latino, particularmente en su variante Toomer, G. (19701990). Al-Khwrizm, Abu Jacfar Muhammad ibn
castellana. Miscelnea de Estudios rabes y Hebraicos. Seccin Ms. In C. C. Gillispie (Ed.) Dictionary of Scientific Biography.
rabe-Islam. 51, 361-368. Vol. 7 (pp. 358365). Charles Scribners Sons. New York.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art.Vuibert-Adapt. Youschkevitch, A. P. (1976). Les Mathmatiques arabes (VIIIe-XVe si-
Paris. cles). Trad. M. Cazenaze y K. Jaouiche. Vrin. Paris.
Malet, A. i Parads, J. (1984). Els orgens i lensenyament de llgebra
simblica (1478-1545) Volumen I. Publicacions de la Universitat
de Barcelona. Barcelona.
Las fotograf as que ilustran este artculo se las tenemos que agradecer a nuestra compaera y anti-
gua tesorera de la Societat dEducaci Matemtica de la C.V. al-Khwrizm y viajera infatigable,
Marisa Fernndez, que las hizo en un viaje a Uzbekistn en 2007.
6
Historias
59 Historias de al-Khwrizm (2 entrega):
Noviembre 2008, pp. 105-112 los libros
C omo sucede en general con los autores de la antigedad Hay que aadir adems que todo esto vara con el tiempo.
el establecimiento de una relacin de los escritos de al- Siempre es posible que aparezca en alguna biblioteca o en
Khwrizm es una labor detectivesca. No se conserva, por algn depsito de libros un nuevo manuscrito del que no se
supuesto, ningn manuscrito que haya salido de su mano, tena noticia.
sino slo, en el mejor de los casos, copias realizadas por otros.
Y estas copias, pueden estar hechas por alguien con conoci- El trabajo pues de los historiadores que preparan la edicin de
mientos de la materia del libro o por copistas de profesin, un libro de un autor de la antigedad acaba siendo siempre la
que podan no entender nada de lo que estaban copiando. elaboracin de un texto a partir de los materiales de los que se
Ms an, lo habitual es que la copia que se conserve haya sido dispone, que se acompaa de la explicacin de las fuentes que
a su vez copiada de otra copia. se han utilizado, las decisiones que se han tomado para ela-
borarlo, y las variantes que cabe considerar. Y este trabajo, en
Hay libros que se conocen nicamente porque algn autor ocasiones, no est exento de polmica.
posterior lo cita, ya sea en libros que continan el trabajo de
al-Khwrizm o lo evocan, o bien en repertorios bibliogrficos Todas estas posibilidades estn presentes en el caso de al-
escritos por historiadores. Y estos libros, a su vez, tambin se Khwrizm. En esta entrega de Historias, voy a dar cuenta de
conservan a travs de una tradicin de copias. lo que yo conozco del asunto. Hablar pues de los libros de al-
Khwrizm y la elaboracin de las ediciones publicadas por
O puede suceder que lo nico que se conserve sea una traduccin a los historiadores, pero apenas de su contenido.
otra lengua, que, a su vez, se conserva a travs de una tradicin de
copias. Tambin cabe que se hayan conservado libros que no son
copias sino adaptaciones comentadas o traducciones que no preten-
den ser fieles sino ser adaptaciones a otra lengua. O incluso que dis-
pongamos de un libro en el que se ha incorporado una parte de algn Luis Puig
Universitat de Valncia Estudi General
libro del autor anterior, ms o menos textualmente, mencionndolo o
historias@revistasuma.es
sin mencionarlo.
105
SUMA 59
Noviembre 2008
sta es una lista de los libros de los que yo tengo noticia. Doy Kitb srat al-ard (Libro de la configuracin de la tierra).
de ellos una transliteracin del ttulo rabe, una traduccin
del ttulo y unas someras indicaciones. Escrito alrededor de 817, segn Djebbar, o terminado en 833,
segn Ayyubi (1990). Se conserva una copia rabe en la
Kitb al-Mukhtasar f hisb al-jabr wal-muqbala (Libro Biblioteca de la Universidad de Estrasburgo, y una traduccin
conciso de clculo de restauracin y oposicin). latina en la Biblioteca Nacional de Madrid. En esta geograf a,
al-Khwrizm sigue la teora de los siete climas, y usa datos de
El libro de lgebra. Segn el prlogo debi escribirlo entre 813 Ptolomeo, pero otros que no estn en el Almagesto. Es proba-
y 833, ya que se lo dedica al califa al-Mamn, y sos son los ble que haya participado en la expedicin organizada por al-
aos en que fue califa. Roshdi Rashed dice que Mukhtasar, Mamn para comprobar los datos del libro de Ptolomeo. En
conciso no forma parte del ttulo, sino que fue una decisin ninguna de las copias hay mapas, y se especula sobre si al-
de Rosen, en su edicin de 1831, el usar para el ttulo una frase Khwrizm incluira un mapa del mundo. Hay una recons-
del prlogo donde al-Khwrizm dice que va a componer en truccin hecha por Hubert Dannicht, a partir de las coorde-
el clculo de al-jabr y al-muqbala un libro conciso en el que nadas que aparecen en el libro de al-Khwrizm (figura 1), y
tiene que encerrar todo lo que es sutil en el clculo y lo que un mapa del mundo (figura 2) atribuido a los gegrafos del
en l es lo ms noble. Segn Rashed, esto son las normas de califa al-Mamn aparece en Maslik al-absr de Ibn
una redaccin elegante (Rashed, 2007, p. 9), y no significan Fadlallh al-Umar (ca. 1340)2.
que el libro sea un compendio, como da a entender el colocar
la palabra conciso en el ttulo, y como titula Rosen su tra-
duccin inglesa (Mohammed Ben Musas Compendium on
Calculating by Completion and Reduction). El libro habra que
llamarlo, como lo hicieron los matemticos inmediatamente
posteriores a al-Khwrizm que lo citan, Kitb al-jabr wal-
muqbala (Libro de restauracin y oposicin), y as lo ha
hecho l en su edicin reciente (Rashed, 2007)1.
Figura 2
Mapa del mundo atribuido a los gegrafos del califa al-Mamn
106
SUMA 59
Noviembre 2008
Escrito despus de 813. El libro ms importante de astrono- Mencionado tambin por al-Nadm, se trata de un libro de
ma de al-Khwrizm. Adems escribi otros menos conoci- historia, escrito despus de 826.
dos, perdidos o redescubiertos recientemente, que cito a con-
tinuacin. De ste hablar en el apartado siguiente. Las tablas astronmicas de al-Khwrizm
Macrifa sica al-mashriq f kull balad (Determinacin de la Segn Djebbar (2005, pp. 20-21), como el nombre de al-
amplitud ortiva en cada ciudad). Khwrizm no figura en la lista de miembros del equipo de
astrnomos encargados por al-Mamn de elaborar unas
No tengo ms noticia de este libro y los dos siguientes que la tablas astronmicas, debi de trabajar en las suyas de forma
que da Rosenfeld (1993), segn la cual se encuentra en unos independiente. Estas tablas se basan sobre una obra hind
manuscritos en Estambul (ver tambin Ahmedov, ad- ofrecida en 773 al califa al-Mansr, que fue traducida al rabe
Dabbagh, & Rosenfeld, 1987). por Muhammad al-Fazr. Al-Khwrizm, sin embargo, no
us slo esa obra hind, sino tambin tom de la astronoma
Macrifa samt min qibal al-irtifc (Determinacin del azimut persa recogida en las Zj ash-Shh (Tablas del Sha) las ecua-
segn la altitud). ciones de mximos, entre otras cosas, y de la astronoma grie-
ga del Almagesto de Ptolomeo, disponible en el mundo rabe
c
Amal sica ayy mashriq shita min al-burj f ayy ard shita bil- desde el siglo VIII, las declinaciones del sol y las ascensiones
handasa (Construccin geomtrica de la amplitud ortiva de rectas. Adems tom datos del libro de Brahmagupta (598-
cada signo y para cada latitud). 668) Brhmasphutasiddhnta (La apertura del universo) para
el movimiento de los siete planetas.
c
Amal al-sct f bast al-rukhna (Construccin de las horas
en el plano del cuadrante solar). No se conserva ninguna copia de este libro. Si se conoce, es a
travs de una versin de esas tablas de al-Khwrizm, que se
Segn Rashed (2007, p. 6, n. 10) ste libro y el siguiente estn haban introducido en al-Andalus en la poca de cAbd al-
en la coleccin Aya Sofya 4830 de la biblioteca Sleymaniye Rahmn II, que escribi alrededor del ao 1000 el astrnomo
de Estambul. de al-Andalus, nacido en Madrid, Maslama al-Majrt.
Maslama no se limit a traducir el libro de al-Khwrizm, sino
Tarif min camal Muhammad ibn Ms al-Khwrizm: que cambi el meridiano de referencia, que era el que pasa
macrifat al-samt bi-al-asturlab (Nuevas adquisiciones de por la localidad de Uyyain en la India, por el meridiano de
Muhammad ibn Ms al-Khwrizm: el conocimiento del azi- agua, situado al oeste de las Islas Canarias, e introdujo otros
mut mediante el astrolabio). cambios para el uso de las tablas con Crdoba como centro
religioso (Dorce, 2008). Pero tampoco se conserva ninguna
Kitb cAmal al-asturlb (Libro sobre la realizacin del astro- copia rabe de la reelaboracin de Maslama, sino slo una tra-
labio). duccin latina, hecha probablemente por Adelardo de Bath en
1126, de la que se conservan varios manuscritos. Suter la
No se conserva ninguna copia. Mencionado por al-Nadm, en edit en 1912, y hay una traduccin inglesa con comentarios
su Kitb al-Fihrist. En este libro, publicado en 938, al-Nadm hecha por Neugebauer de esa edicin latina de Suter, suple-
pretendi recoger en un ndice todos los libros escritos en mentada con un manuscrito del Corpus Christi College de
rabe hasta ese momento. Oxford (Neugebauer, 1962).
107
SUMA 59
Noviembre 2008
Tampoco en este caso se conserva ninguna copia en rabe. S deberan estar las cifras hay huecos, que el copista dejaba para
se conservan, sin embargo, varios textos en latn que estn escribir las cifras ms tarde en tinta roja, cosa que nunca lleg
relacionados con el libro de al-Khwrizm, aunque Andr a hacer. Youschkevitch, que public tambin un facsmil de
Allard, que ha editado recientemente los cuatro ms impor- este manuscrito, ya deca que no se trata de una traduccin
tantes, mantiene que todos ellos son textos hbridos en los fiel del rabe, los diversos errores y aadidos hechos al texto
que lo que puede provenir del libro que escribiera al- lo testimonian. Pero se ignora si se deben al primer traductor
Khwrizm est combinado con cuestiones que proceden de o al copista (Youschkevitch, 1976, p. 15).
otras tradiciones aritmticas (Allard, 1992).
108
SUMA 58
Noviembre 2008
manuscrito del Liber Alchorismi que reproducimos aqu El libro de lgebra. Traducciones y ediciones.
(figura 3) y que se encuentra tambin en la Biblioteca
Nacional de Pars, codificado como Lat. 15461, est escrito en Del libro de lgebra de al-Khwrizm s que se conservan
Italia en la primera mitad del siglo XIII, y comienza as: Incipit manuscritos rabes, pero eso no significa que el estableci-
prologus in libro alchorismi de pratica arismetice qui editus miento de un texto lo ms cercano al original posible no est
est a magistro Iahanne, es decir, Comienza el prlogo del exento de problemas. Hasta hace poco tiempo la edicin del
libro de al-Khwarizmi, como en el otro manuscrito, pero en l lgebra de al-Khwrizm de que se dispona era la que hizo
se menciona que ha sido editado por un Maestro Juan, sin Frederic Rosen en 1831, acompaada de su traduccin al
especificar qu Juan. Allard propone llamar Juan de Toledo a ingls (Rosen, 1831). Esa edicin estaba hecha a partir de un
ese Maestro Juan, aunque no haya constancia de nadie con nico manuscrito (figura 5) que se conserva en la Bodleyan
ese nombre (Allard, 1992, p. XIX). De paso, sealar que este Library de Oxford (Hunt. 212, fol. 1v-54r), que es de 1342, es
manuscrito es del siglo XIII, segn Allard, y no del siglo XII, decir, ms de cinco siglos posterior a la fecha de redaccin por
como dice Charbonier (2004), de cuyo folleto para profesores parte de al-Khwrizm.
editado por el IREM de Clermont Ferrand hemos tomado la
figura. Lo que es del siglo XII es la traduccin latina hecha en
Toledo, pero no esta copia.
109
SUMA 59
Noviembre 2008
ella a un italiano medieval (al vernculo, o volgare como traducciones de Gerardo garantiza que sta es lo mejor que
dice Raffaella Franci, que la ha publicado recientemente4). tenemos hasta la fecha para conocer el lgebra de al-
Khwrizm.
Recientemente las dos primeras han sido editadas por
Barnabas Hughes usando todos los manuscritos que se cono- sa era la situacin hasta hace poco en que empez a tenerse
cen actualmente, tres en el caso de la traduccin de Robert de noticia de la existencia de otros manuscritos rabes del lge-
Chester (Hughes, 1989), y quince en el caso de la de Gerardo bra de al-Khwrizm5. Sin embargo, la reciente edicin hecha
de Cremona (Hughes, 1986). Pero esas tres traducciones ya se por Roshdi Rashed a partir de los cinco manuscritos que ha
conocan desde hace tiempo. En 1838, Libri public una edi- podido consultar6 (ms uno7 de poco valor), no le quita a la
cin de la de Gerardo de Cremona (no muy buena, segn traduccin latina de Gerardo de Cremona el lugar privilegia-
Hughes, 1986, p. 211); en 1850, Boncompagni public la de do que ya tena, a pesar de que ahora hay tambin un par de
Guglielmo de Lunis como si fuera de Gerardo de Cremona, y buenos manuscritos (uno de 1222), y, adems, un manuscrito
Karpinski, en 1915, public la de Robert de Chester a partir de de un comentario escrito por al-Khuzc, en el mes del
un nico manuscrito. Ramadan del 607 de la Hgira (febrero/marzo 1211), que
Roshdi Rashed ha encontrado en Estambul (Yeni Cami 803),
La traduccin de Robert de Chester comienza as: In nomine en el que ste va transcribiendo el texto de al-Khwrizm,
dei pii et misericordis incipit Liber Restaurationis et intercalando sus comentarios.
Oppositionis Numeri quem edidit Mahumed filus Mysi
Algaurizm, es decir En nombre de los pos y misericordiosos En el rbol de la figura 6 est resumida la genealoga de los
comienza el libro de Restauracin y Oposicin, que compuso manuscritos que se conservan en rabe, ms la posicin en
Mahoma hijo de Moiss, al-Khwrizm. Robert de Chester ella de la traduccin de Gerardo de Cremona (Rashed, 2007,
traduce los trminos rabes al-jabr y al-muqbala al latn por p. 90). Los manuscritos que Rashed ha usado son:
restauracin y oposicin, y, como hemos visto que dice
Roshdi Rashed, no indica en el ttulo del libro que sea conci- A: Oxford, Bod., Hunt 214 (de 1342)
so. B: Berlin, Landberg 199 (tardo)
O: Medina, cArf Hikmat, 4-jabr (1222)
La de Gerardo de Cremona se titula Liber Maumeti filii H: Medina, cArf Hikmat, 4-jabr (1767, pero correspondiente
Moysi Alchorismi de Algebra et almuchabala, es decir, Libro a una tradicin anterior)
de Mahoma, hijo de Moiss, Alchorismi, de lgebra y almu- M: Tehern, Malik 3418 (slo contiene el captulo de geome-
chabala. Gerardo de Cremona opt por no traducir los trmi- tra o medida)
nos rabes al-jabr y al-muqbala al latn, sino que los transli- S: Smith, New York, Columbia
ter. Podemos hacer la hiptesis de que Gerardo pens que L: Gerardo de Cremona
esos trminos tenan un significado tcnico en el texto de al- K: Gerardo de Cremona (problemas del apndice)
Khwrizm, que haca poco aconsejable traducirlos por pala-
bras del latn que tenan significados en su uso fuera de las
matemticas, que l no quera que los evocara el lector y por
eso se decidi por la transliteracin. El hecho es que su deci-
sin tuvo como consecuencia la creacin del trmino con que
acabara conocindose no slo una operacin del clculo
expuesto por al-Khwrizm en su libro, sino la disciplina
matemtica que en cierta manera funda: el lgebra.
110
SUMA 59
Noviembre 2008
duccin castellana alguna del lgebra de al-Khwrizm. La hay ecuaciones cannicas y su procedimiento de solucin, y afir-
inglesa, la de Rosen de 1831 que he citado y que ha sido ma que, aunque no aparece la palabra lgebra, ni se cita a al-
recientemente reeditada en facsmil en varias editoriales8 Khwrizm, puede ser una traduccin directa o una adapta-
Tambin la hay francesa muy reciente, la de Rashed (2007). cin hecha por Ibn Ezra (1089-1164) o un contemporneo
Tengo noticia de que hay una traduccin persa, cuya referen- suyo, y, por tanto, ser contempornea de las traducciones lati-
cia no he podido localizar, y de una traduccin rusa, que nas. Como Ibn Ezra se fue de Espaa en 1140 al norte de Italia
segn Hughes (1989, p. 23) es de Rosenfeld y se public en y luego a la Provenza en 1148, esta versin hebrea del lgebra
1964. Ya he mencionado la casi primera traduccin en vern- de al-Khwrizm, podra haber sido compuesta en Espaa
culo hecha en Italia, que ha editado Raffaella Franci (2003) y (Lvy, 2002 y 2003).
de la que tambin habla Hissette (2003).
Esto es lo que los historiadores nos han puesto disponible
Sealar finalmente que queda otra tradicin medieval por para conocer la obra de al-Khwrizm. Las vicisitudes que he
explorar, que es la hebraica. Tony Lvy afirma que no se cono- esbozado aqu de la historia de los textos conviene tenerlas
ce ninguna versin hebrea del lgebra de al-Khwrizm en el presentes a la hora de hacer afirmaciones sobre lo que dijo al-
primero de sus estudios sobre el lgebra rabe en los textos Khwrizm. En una prxima entrega de estas historias, podr
hebraicos (Lvy, 2003), pero tambin habla de un manuscrito entrar a hablar pues de lo que Dixit Algorizmi.
que l ha encontrado en el que hay una adaptacin hebrea de
la parte del libro de al-Khwrizm en que se exponen las seis HISTORIAS
NOTAS
1 Ya que sigo aqu a Roshdi Rashed, conviene sealar que el trabajo prolfico de 5 De hecho Anbouba (1978) ya mencionaba hace treinta aos un manuscrito
este historiador ha estado trufado de agrias controversias con otros historia- que estaba en Berln.
dores (Sesiano, Hojendijk, Toomer), en las que se han cruzado por ambos 6 Rashed (2007, p. 83) dice que conoce la existencia de otros dos, pero que son
bandos acusaciones de trabajo poco cuidadoso, falta de rigor, apropiacin del dif cilmente accesibles, porque ambos se encuentran en Kabul, Afganistn (o,
trabajo del otro, etc. No conozco ninguna recensin de la edicin de Rashed al menos, se encontraban). Uno, dice, forma parte de una coleccin privada,
que estoy citando en ninguna revista especializada, hasta la fecha. y lo tuvo entre sus manos en un viaje que hizo entre la cada de la monarqua
2 No he podido consultar esta enciclopedia de la poca mameluca. La referen- y el comienzo de la invasin sovitica, pero nunca le enviaron la copia fotos-
cia aparece en: ttica prometida. El otro debera haber estado en la biblioteca del antiguo
http://web.uni-frankfurt.de/fb13/igaiw/geschichte_arabisch/geschichte_arabisch.html, Palacio Real, en la que Rashed nunca tuvo autorizacin para entrar. Rashed
la pgina del Institut fr Geschichte der Arabisch-Islamischen concluye diciendo se comprende que actualmente, despus de la nueva inva-
Wissenschaften (Instituto para la Historia de las Ciencias rabo-islmicas), sin, sea imposible trabajar sobre el terreno Rashed (2007, p. 83).
que dirige Fuat Sedgin, en el que se est publicando una monumental 7 Se trata del manuscrito que luego llama S y que est en New York, Columbia.
Geschichte des Arabischen Schrifttums (Historia de los escritos rabes). Rashed dice que este manuscrito es una copia que el historiador David
3 Solomon Gandz public esta geometra hebrea junto con la parte de geome- Eugene Smith hizo de la edicin de Rosen. Rashed no parece haber ledo a
tra del libro de lgebra de al-Khwrizm, acompaadas ambas por su tra- Gandz (1932) que cuenta que Smith compr ese manuscrito en Lahore
duccin al ingls, en Gandz (1932), y afirma que esa parte del libro de al- (India) a un persa que se lo vendi como antiguo, para descubrir posterior-
Khwrizm est simplemente copiada de ella, sin embargo pensaba que lo mente que haba sido timado, al comprobar que era de hecho una copia pos-
haba ledo en una traduccin al sirio o al persa y no en hebreo (Gandz ,1932, terior a 1831 de la edicin de Rosen.
pp. 63-64). 8 A ttulo de curiosidad dir que, aparte de tener una fotocopia de la edicin
4 Ver Franci (2003). La traduccin est en un manuscrito de comienzos del original de 1831, que consegu hace aos en la biblioteca de Matemtica
siglo xv. Franci indica que la primera traduccin en vernculo completa y Educativa del CINVESTAV de Mxico, tengo una edicin en facsmil publi-
declarada del Al-jabr actualmente conocida est contenida en el manuscrito cada en 2003 por The University Press of the Pacific, Honolulu, Hawaii.
Fon. Prin. II. III. 198 de la Biblioteca Nacional de Florencia y es de finales del
siglo xiv (Franci, 2003, p. 29), con lo que el que ella ha editado sera unas
dcadas posterior, pero tiene el inters de que se sabe exactamente de qu
texto latino fue traducido.
111
SUMA 59
Noviembre 2008
REFERENCIAS BIBLIOGRFICAS
Ahmedov, A. A., ad-Dabbagh, J., & Rosenfeld, B. A. (1987). Istanbul Bibliothecae Apostolicae Vaticanae , X, 137-158.
Manuscripts of al-Khwrizms Treatises. ERDEM, 3 (7), 163- Hyrup, J. (1991). Oxford and Cremona: On the relations between
211. two Versions of al-Khwrizms Algebra. Filosofi og videnskab-
Allard, A. (Ed.). (1992). Muhammad ibn Ms al-Khwrizm. Le steori p Roskilde Universitetcenter. 3. Rkke: Preprint og
calcul indien (Algorismus). Paris: Librairie Scientifique et Reprints nr. 1.
Technique Albert Blanchard. Hughes, B. (1986). Gerard of Cremonas Translation of al-
Anbouba, A. (1978). Lalgbre arabe aux IXe et Xe sicles. Aperu Khwrizms al-jabr: A Critical Edition, Mediaeval Studies, 48,
gnral. Journal for the History of Arabic Science, 2, 66-100. 211-263.
Ayyubi, N. A. (1990). Contribution of Khwrazm to Mathematics Hughes, B. (1989). Robert of Chesters Translation of al-Khwrizms
and Geography. In Acts of the International Symposium on Ibn al-jabr: A New Critical Edition, Boethius, Band XIV. Stuttgart:
Turk, Khwrazm, Farab, Beyrn, and Ibn Sina (Ankara, 9-12 Franz Steiner Verlag.
September 1985), pp. 213-214. Lvy, T. (2002). A newly-discovered parcial translation of al-
Boncompagni, B. (1857). Trattati di Aritmetica. II. Ioannis Khwrizms Algebra. Aleph, 2, 225-234.
Hispalensis. Liber Algorisme de Parstica Arismetrice. Roma: Lvy, T. (2003). Lalgbre arabe dans les textes hbraques (I). Un
Tipografia delle Scienze Fisiche e Matematiche. ouvrage indit dIssac Ben Salomon al-Ahdab (xive sicle).
Charbonnier, R. (2004). La route des chiffres travers les civilisa- Arabic Sciences and Philosophy, 13, 269-301.
tions indienne, arabe et occidentale du Ve sicle au XVIIIe sicle. Libri, G. (1838). Histoire des sciences mathmatiques en Italie,
Aubiere: IREM de Clermont Ferrand. depuis la renaissance des lettres, jusqu la fin du 17e sicle. 4
Crossley, J. N., & Henry, A. S. (1990). Thus Spake al-Khwrizm: A volumes. Paris: Chez Jules Renouard et Cie., libraires.
Translation of the Text of Cambridge University Library Ms. Ii. Masharrafa, A. M. y Ahmad, M. M. (Eds.) (1939). Al-Khwrizm,
vi.5. Historia Mathematica , 17, 103-131. Muhammad ibn Msa. Kitb al-mukhtasar f hisb al-jabr wal-
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert / muqbala. Cairo: al-Qahirah. Reprinted 1968.
Adapt. Neugebauer, O. (1962). The astronomical tables of al-Khwrizm.
Dorce, C. (2008). Azarquiel. El astrnomo andalus. Madrid: Nvola. Translation with Commentaries of the Latin Version edited by
Franci, R. (2003). Una traduzione in volgare dellal-jabr di al- H. Suter supplemented by Corpus Christi College MS 283.
Khwarizmi (Ms. Urb. Lat. 291 Biblioteca Apostolica Vaticana). Kbenhavn: Det Kongelige Danske Videnskabernes Selskab.
En R. Franci, P. Pagli, & A. Simi (Edits.), Il sogno di Galois. Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lalg-
Scritti di storia della matematica dedicati a L. Toti Rigatelli per bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
il suo 60 compleanno (pp. 19-49). Siena, Italia: Centro Studi Rosen, F. (1831). The algebra of Mohammed Ben Musa. London:
della Matematica Medioevale. Universit di Siena. Oriental Translation Fund.
Gandz, S. (Ed. Trans.) (1932). The Mishnat ha Middot, the First Rosenfeld, B. A. (1993). Geometric trigonometry in treatises of al-
Hebrew Geometry of about 150 C.E., and the Geometry of Khwrizm, al Mhn and Ibn al-Haytham. En M. Folkerts, & J.
Muhammad ibn Musa al-Khowarizmi, the First Arabic P. Hogendijk (Edits.), Vestigia Mathematica. Studies in medieval
Geometry <c. 820>, Representing the Arabic Version of the and early modern mathematics in honour of H. L. L. Busard (pp.
Mishnat ha Middot. Quellen und Studien zur Geschichte der 305-308). Amsterdam - Atlanta, GA: Rodopi.
Mathematik, Astronomie und Physik. Abteilung A: Quelle, 2. Youschkevitch, A. P. (1976). Les Mathmatiques arabes (VIIIe-XVe
Band. Berlin: Julius Springer. sicles). Paris: Librairie Philosophique Vrin.
Hissette, R. (2003). Lal-Jabr dal-Khwrizm dans les mss Vat. lat.
4606 et Vat. Urb. lat. 291 et Guglielmo de Lunis. Miscellanea
112
Historias
60 Historias de al-Khwrizm (3 entrega).
Febrero 2009, pp. 103-108 Orgenes del lgebra.
C abe poca duda hoy en da entre los historiadores de las A todo libro famoso se le atribuye un origen
matemticas sobre el lugar central que ocupa en la historia mtico
del lgebra el libro de al-Khwrizm Kitb al-mukhtasar f
hisb al-jabr wal-muqbala (Libro conciso de clculo de res- El libro de al-Khwrizm es un libro escrito por encargo. El
tauracin y oposicin). No slo porque el nombre de la disci- mismo al-Khwrizm narra en sus primeros prrafos, despus
plina provenga de la decisin de Gerardo de Cremona de no de las habituales invocaciones a Dios y a su profeta, que lo
traducir al latn la palabra al-jabr que designa una de las ope- escribe a peticin del califa al-Mamn, y que lo hace para
raciones del clculo, como ya cont en la segunda entrega de ayudar a aclarar lo que era impenetrable y a facilitar lo que era
estas historias de al-Khwrizm, sino tambin porque en ese dif cil1 (Rashed, 2007, p. 94), sin atribuirse la invencin de
libro de al-Khwrizm est presente lo que podemos llamar el todo lo que va a presentar en l.
proyecto algebraico de resolucin de problemas, y los objetos,
los trminos tcnicos y el mtodo que constituyen una nueva Djebbar (2005, pp. 41-42) cuenta que fue corriente entre los
disciplina, as como su aplicacin a otras disciplinas preexis- historiadores y comentaristas rabes medievales el atribuir un
tentes. En esta entrega de las historias de al-Khwrizm pre- papel crucial en el origen del inters por el lgebra a uno de
sentar dos historias sobre el origen del libro y la originalidad los personajes fundamentales en la historia de la fundacin
de su contenido. del Islam, cAl, el yerno y primo del profeta, que a la muerte de
ste sin que hubiera establecido ningn procedimiento para
su sucesin fue considerado por sus seguidores como el nico
que legtimamente poda sucederle. El hecho de que cAl no
Luis Puig
Universitat de Valncia Estudi General
al-jabr wal-muqbala
historias@revistasuma.es
103
SUMA 60
Febrero 2009
fuera el elegido como primer califa tras la muerte del profeta Ab Bakr Muhammad ibn Ms al-Khwrizm era experto
condujo a que sus seguidores no reconocieran la autoridad de en ella. Al-Mamn le pidi entonces que compusiera un
ninguno de los tres primeros califas, y su asesinato, cuando libro de lgebra y al-muqbala, para resucitar lo que haba
finalmente fue nombrado califa, produjo la escisin chita del desaparecido. ste consinti en escribir ese libro para fijar
Islam, que persiste en nuestros das. en l los principios del lgebra y al-muqbala, y para que
sirviera de referencia.
Segn el origen legendario del lgebra, cAl, el yerno y primo
del profeta, mrtir chita, habra sido el primer rabe en cono- La rapidez de aprendizaje de cAl la envidiaran los escolares a
cer el lgebra, una ciencia trada de Persia, que l habra lo largo de los siglos, pero esta leyenda no slo proporciona
aprendido en cinco das. As se narra en el comentario al libro un origen glorioso al lgebra, sino que establece la importan-
de al-Khwrizm escrito por al-Khuzc en el siglo XIII y con- cia del paso de la tradicin oral, que siempre est en peligro
servado en un manuscrito en Estambul (Yeni Cami 803), que de desvanecerse, a su fijacin en un texto escrito. El gesto fun-
cita y traduce Rashed (2007, p. 4): dacional de al-Khwrizm se presenta en esta leyenda como
ese gesto de fijacin y ordenacin para que sirva de referen-
Se cuenta que, bajo el califato de cUmar ibn al Khattb, cia, no muy distinto de la fijacin de la palabra en los textos
unos persas trajeron la ciencia del lgebra y al-muqbala. sagrados.
c
Al ibn Ab Tlib que Dios est satisfecho de l aconse-
j a cUmar ibn al Khattb que Dios est satisfecho de l
que les gratificara con una subvencin de dinero pblico,
A todo libro famoso se le discute la prioridad
para que la ensearan. Se le concedi. Se cuenta que enton-
ces cAl comprendi en cinco das lo que posean de lgebra
y al-muqbala. Despus de lo cual, se continu intercam- Abandonando el terreno de lo legendario, de la historia sagra-
biando esta ciencia oralmente, sin consignarla en un libro, da, que convierte a al-Khwrizm en el amanuense de lo que
c
hasta que el califato recay sobre al-Mamn, cuando ya Al saba, tambin en el terreno de los hombres vulgares se le
desapareca. Se inform de ello a al-Mamn, que inquiri ha discutido a al-Khwrizm la originalidad de su libro de
por expertos en la materia. Se encontr que slo el Shayk lgebra.
104
SUMA 60
Febrero 2009
105
SUMA 60
Febrero 2009
Ab Kmil va en su reivindicacin mucho ms lejos de lo que est escrito antes, ni mucho menos que uno copiara del otro
el propio al-Khwrizm se atribua, y probablemente barre o se inspirara en l, pero s que el texto de Ibn Turk es una
para casa (aunque l fuera egipcio, como atestigua que se le prueba contra el que al-Khwrizm iniciara, como dice Ab
conociera como al-Hsib al-Misr, el calculista egipcio). Kmil, la ciencia del lgebra, inventando sus fundamentos.
Sayili, historiador turco como Ibn Turk, estira en la otra direc- El texto de cAbd al-Hamd, sin embargo, puede decirse que
cin, a pesar de que lo nico que tiene para reivindicar la prio- corrobora la hiptesis contraria. El lgebra de cAbd al-
ridad de Ibn Turk sea un texto muy breve, que ensalza: Hamd y al-Khwrizm no parece estar en absoluto cerca
del estado de su gnesis. No tiene los rasgos de un lgebra
El texto que existe de cAbd al-Hamd Ibn Turk, que tiene que an no ha terminado de recorrer un proceso inicial de
unas mil cuatrocientas palabras, es probablemente un desarrollo, sino un lgebra con reglas, tradiciones y puntos
captulo del lgebra de cAbd al-Hamd. Posiblemente es de vista bien establecidos (Sayili, 1962, p. 125).
slo una parte de un captulo, pero en ese caso constituye
un apartado bien definido, completo en s mismo, con Sayili, al no poder probar la prioridad de Ibn Turk, le quita la
principio y fin (Sayili, 1962, p. 99). prioridad a ambos sobre la fundacin del lgebra como disci-
plina independiente, colocndolos en un estadio desarrollado
Con tan poco material, Sayili concede no poder demostrar de la disciplina tras un pasado del que lamentablemente no
cul de los dos textos, el de Ibn Turk o el de al-Khwrizm, quedan huellas.
106
SUMA 60
Febrero 2009
Al-Khwrizm no ha pretendido inventar gran cosa, sino par- En Ibn Turk encontramos [] un paralelismo ms patente
tir de un conocimiento preexistente, el que el califa le ha pedi- con la tradicin de geometra ingenua que est reflejada en
do que explique. Jens Hyrup en un artculo que public en el Liber Mensurationum que en el caso de al-Khwrizm
1986 comparaba, tanto el libro de lgebra de al-Khwrizm (Hyrup, 1986, p. 474).
como el fragmento que se conserva de Ibn Turk, con otro
libro de un tal Ab Bakr, que slo se conoce por una traduc- El trasfondo sobre el que escriben tanto Ibn Turk como al-
cin medieval latina del siglo XII hecha por Gerardo de Khwrizm sera, en opinin de Hyrup, tanto lo que pode-
Cremona, que lleva el ttulo de Liber Mensurationum3. Una mos llamar el lgebra babilnica, como esas tradiciones que
parte de ese libro contiene una serie de problemas que estn llama subcientficas y que estn representadas en el libro de
resueltos de dos maneras: una que sigue una pauta similar a la Ab Bakr. Sobre ese trasfondo, al aclarar lo que era impene-
de los textos paleobabilnicos y otra que Ab Bakr indica que trable y [] facilitar lo que era dif cil construye al-
est hecha segn al-jabr y que es muy similar a la que apa- Khwrizm, lo que se reconocer a partir de l como una
rece en el libro de al-Khwrizm. Esta segunda tcnica corres- nueva disciplina.
pondera a una tradicin, que Hyrup califica de subcientfi-
ca, propia de los que Thbit ibn Qurrah llama gentes de al- Algo de la radical novedad que supone el paso del lgebra
jabr o seguidores de al-jabr4, que segn Hyrup probable- babilnica al lgebra de al-Khwrizm examin en mi texto La
mente eran algn tipo de contables. resolucin de problemas en la historia de las matemticas
(Puig, 2006), y sobre lo que hay en general de radicalmente
Hyrup se inclina por que el texto de Ibn Turk sea anterior al nuevo en el texto de al-Khwrizm he escrito en varias oca-
de al-Khwrizm, pero eso no lo hace valorarlo como un ini- siones (p. e., Puig, 1998, 2008)5. Volver sobre ello en la prxi-
ciador del lgebra ya que, al compararlo con el Liber ma entrega de estas historias.
Mensurationum, Hyrup encuentra el texto de Ibn Turk ms
primitivo en las demostraciones por parecerse al Liber
Mensurationum ms que el texto de al-Khwrizm. HISTORIAS
107
SUMA 60
Febrero 2009
NOTAS
1 Traduzco aqu de la traduccin francesa de Roshdi Rashed. 4 El texto de Thbit ibn Qurrah se titula Proposiciones sobre la rectificacin de
los problemas del lgebra mediante demostraciones geomtricas, est escri-
2 Cito la introduccin a partir de Djebbar (2005) porque no dispongo del to unos cincuenta aos despus de la aparicin del de al-Khwrizm y est
manuscrito rabe que l cita, y en las ediciones publicadas de las versiones editado en Luckey (1941).
medievales latina (Sesiano, 1993) y hebrea con traduccin al ingls (Levey,
1966) del libro de Ab Kmil, la introduccin no aparece. 5 Estos tres textos estn disponibles en http://www.uv.es/puigl/textos.htm en
formato pdf.
3 Este libro ha sido editado por Busard (1968).
REFERENCIAS BIBLIOGRFICAS
BUSARD, H. L. L. (1968). Lalgbre au Moyen ge: Le Liber PUIG, L. (2006). La resolucin de problemas en la historia de las
Mensurationum dAbu Bekr. Journal des Savants, avril-juin, pp. matemticas. En Aymerich, Jos V. y Macario, Sergio (Eds.)
65-125. Matemticas para el siglo XXI (pp. 39-57) Castelln: Publicacions
de la Universitat Jaume I.
DJEBBAR, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert
/ Adapt. PUIG, L. (2008). History of algebraic ideas and research on educa-
tional algebra. In M. Niss (Ed.) Proceedings of the Tenth
HYRUP, J. (1986). Al-Khwrizm, Ibn Turk, and the Liber International Congress on Mathematical Education. CD-version.
Mensurationum: On the Origins of Islamic Algebra, ERDEM 2, Roskilde: IMFUFA, Department of Science, Systems and Models,
445-484. Roskilde University.
LEVEY, M. (Ed.) (1966). The Algebra of Ab Kmil, in a Commentary RASHED, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lal-
by Mordecai Finzi. Hebrew text and translation, and commen- gbre. Paris: Librairie Scientifique et Technique Albert
tary. Madison, WI: The University of Wisconsin Press Blanchard.
LUCKEY, P. (1941). Thbit b. Qurra ber den geometrischen SAYILI, A. (Ed.). (1962). Abdlhamid ibn Trkn Katk denklem-
Richtigkeitsnachweis der Auflsung der quadratischen lerde Mantk Zururetler adl yazs ve Zamann Cebri (Logical
Gleichungen. Sitzungsberichte des schsischen Gesellschaft der necessities in mixed equations by cAbd al-Hamd Ibn Turk and the
Wissenschaften zu Leipzig, Mathematisch-physische Klasse. algebra of his time). Ankara: Trk Tarih Kurumu Basmevi.
Berichte 93, pp. 93-114.
SESIANO, J. (1993). La version latine mdivale de lAlgbre dAb
PUIG, L. (1998). Componentes de una historia del lgebra. El texto de Kmil. In M.FOLKERTS, AND J. P. HOGENDIJK (Eds.) Vestigia
al-Khwarizmi restaurado. En F. Hitt (Ed.) Investigaciones en Mathematica. Studies in medieval and early modern mathemat-
Matemtica Educativa II (pp. 109-131). Mxico, DF: Grupo ics in honour of H. L. L. Busard (pp. 315-452). Amsterdam and
Editorial Iberoamrica. Atlanta, GA: Editions Rodopi B. V.
108
Historias
Historias de al-Khwrizm (4 entrega). El pro-
65 yecto algebraico.
Noviembre 2010, pp. 87-94
87
SUMA 65
Noviembre 2010
El proyecto algebraico
bre para su nueva lgebra. Las especies de nmeros no repre-
sentan nmeros concretos, sino formas distintas que los
Como dice Vite, esa pretensin de resolver problema proble- nmeros pueden adoptar cuando se calcula con ellos, son, en
matum, el problema de los problemas, es fastuosa, desmesu- ese sentido, indeterminados. Las incgnitas de los problemas
rada. Cmo se puede estar seguro de que todos los proble- aritmticos, que son nmeros desconocidos, pero determina-
mas pueden resolverse? Con qu medios puede abordarse dos, ya que estn dados por las relaciones del enunciado del
ese problema problematum? Cmo lo hace en concreto el problema, pueden convertirse as en el objeto del clculo: por
lgebra? el intermedio de considerarlas no como nmeros, sino como
especies de nmeros, y por tanto su carcter de dado est
Los matemticos griegos ya tuvieron esa pretensin y forjaron tomado como posibilidad de haber sido dado.
para ello el mtodo de anlisis y sntesis. Ahora bien, el mto-
do de anlisis y sntesis es un mtodo heurstico, es decir, sirve
para descubrir, se es el significado del verbo griego heurisk
del que se deriva la palabra heurstica. Concebido como un
mtodo de resolucin, sirve para descubrir la solucin de los
problemas5, pero como es un mtodo heurstico lo que hace
es transformar el problema original en otros problemas, sin
que d garantas de que esos otros problemas puedan ser
resueltos6. El proyecto algebraico necesita transformar el
mtodo de anlisis y sntesis y completarlo, si quiere tener
xito con el problema de los problemas.
88
SUMA 65
Noviembre 2010
89
SUMA 65
Noviembre 2010
Traduzco las palabras que usa al-Khwrizm para designar las con lo que traducir ml por cuadrado hace incomprensible el
tres especies de nmeros, jidr, ml, y cadad mufrad, de forma esfuerzo de al-Khwrizm (en la parte del libro en que
bastante literal, por raz, tesoro19 y nmero simple. Cabe demuestra los algoritmos) para explicar que ml puede repre-
identificar sin ms las tres especies de nmeros con los tres sentarse mediante un cuadrado. La segunda potencia de la
trminos de la forma cannica de una ecuacin de segundo incgnita y la figura geomtrica se nombran en castellano con
grado, y decir entonces que la raz es la incgnita, x, que ml la misma palabra cuadrado, pero en el rabe matemtico, hay
es la segunda potencia de la incgnita, el cuadrado, x2, y que dos palabras distintas para dos conceptos de mbitos distin-
nmero simple es el trmino independiente, pero esta iden- tos: ml es una especie de nmero y el cuadrado, figura geo-
tificacin es anacrnica. Aunque traducir as las especies de mtrica, se dice murabc. En segundo lugar, el significado de x2
nmeros hace ms legible el texto de al-Khwrizm para un como cuadrado de la incgnita, propio del lgebra elemental
lector actual, es aras de la legibilidad se sacrifica la posibilidad actual, hace que para un lector actual carezca de sentido con-
de comprensin de cules eran los conceptos que al- siderar el cuadrado como incgnita; por lo tanto, una conse-
Khwrizm elaboraba y usaba; ms an, traducir as hace poco cuencia de traducir ml por cuadrado es que entonces no se
patente que se trata de especies de nmeros. entiende por qu al-Khwrizm, despus de encontrar la raz,
calcula tambin el ml, cuando es ste la incgnita del pro-
Si examinamos las definiciones de al-Khwrizm y el uso que blema. En tercer lugar, la identificacin de ml con x2 conlleva
hace de esos trminos en el libro, podemos ver que la raz no la identificacin de la raz con la raz de la ecuacin, cuando
es la incgnita, al-Khwrizm tiene otro nombre para la incg- para al-Khwrizm es la raz del ml, la raz del tesoro.
nita, shay, cosa, que no aparece hasta el apartado Sobre la
multiplicacin, que en nuestra divisin del libro en partes es Esta inconveniencia de traducir ml por cuadrado no es de
la sexta. La cosa se identificar con la raz, pero si hay que hecho una novedad. Ya Gerardo de Cremona, en el siglo XII,
identificar esos dos trminos es porque de entrada no son tradujo ml por census, y no por quadratus, y la traduccin de
idnticos: cosa designa una cantidad desconocida, raz es Gerardo de Cremona hizo tal fortuna que la palabra census,
una especie de nmero. que en latn significa patrimonio, riqueza, fue usada en
libros de lgebra escritos en latn en la poca medieval, y tam-
Un nmero es de la especie jidr, raz, si en algn momento bin ms adelante cuando en el Renacimiento empezaron a
de los clculos se multiplica por s mismo: lo que hace que se aparecer libros de lgebra en lenguas vernculas. En stos, la
califique a un nmero de raz no tiene nada que ver con que palabra census, convertida en trmino tcnico, cuyo significa-
sea o no sea una cantidad desconocida de un problema, raz do en el lenguaje natural ya careca de importancia, no se tra-
no designa a una incgnita como hace la x en el sistema de sig- dujo sino que se castellaniz (censo20), catalaniz (cens) o ita-
nos actual del lgebra. De hecho, cuando al-Khwrizm est lianiz (censo)21.
definiendo qu es una raz, est hablando de nmeros, que
son por tanto, cantidades conocidas, dadas, no est hablando El libro de al-Khwrizm presenta pues un primer rasgo de lo
de cantidades desconocidas, de incgnitas, y lo que est defi- que he llamado el proyecto algebraico ya que comienza defi-
niendo es la forma que tiene un cierto tipo de nmeros cuan- niendo especies de nmeros con las que va a calcular, as que
do se usan en clculos aritmticos. no va a tener que calcular con nmeros dados, sino que va a
poder hacerlo con formas de nmeros, que tienen carcter
Correlativamente, un nmero es de la especie ml, tesoro, si indeterminado. Pero en esto al-Khwrizm no es distinto de
en algn momento de los clculos se ha obtenido como resul- Diofanto, que tambin comienza sus Aritmticas de forma
tado de que un nmero se ha multiplicado por s mismo parecida, e incluso con una lista ms larga de especies de
(nmero que ser la raz de ese tesoro). Finalmente, un nme- nmeros22. Sin embargo, hay algo que los distingue y que no
ro es de la especie cadad mufrad, nmero simple, si en el se encuentra en ningn libro conocido anterior al de al-
curso de los clculos no se ha multiplicado por s mismo ni ha Khwrizm. Diofanto dice que muchos de los problemas arit-
sido el resultado de la multiplicacin de un nmero por s mticos se pueden tratar con clculos aritmticos con las
mismo. especies y resuelve un gran nmero de problemas, desarro-
llando tcnicas para ello. Al-Khwrizm pretende resolverlos
Si queremos que la traduccin conserve en la medida de lo todos, y para ello comienza por establecer cules son todas las
posible los conceptos de al-Khwrizm, no podemos por tanto posibilidades de combinacin de las especies de nmeros. Ese
leer las especies de nmeros como potencias de la incgnita. gesto combinatorio sita el proyecto de al-Khwrizm en el
Adems, en el caso de ml, su traduccin por cuadrado es corazn de lo que hemos llamado el proyecto algebraico: la
inconveniente por ms motivos. Hyrup (1991) da tres razo- determinacin de cules son todas las posibilidades es el paso
nes de peso para no hacerlo. En primer lugar, cuadrado tiene fundamental para poder resolver el problema problematum,
un significado geomtrico del que ml carece por completo, el problema de los problemas, resolver todos los problemas.
90
SUMA 65
Noviembre 20109
Al-Khwrizm encuentra que todas las posibilidades son seis, La lista de todas las posibilidades tiene veinticinco formas
tres simples (Rashed, 2007, pp. 96-97 Hughes, 1998, p. 233), y cannicas (Rashed y Vahebzadeh, 1999 pp. 124-129):
tres compuestas (Rashed, 2007, pp. 100-101 Hughes, 1998, p.
234), a saber: nmero igual a raz
nmero igual a tesoro
tesoro igual a races nmero igual a cubo
tesoro igual a nmero races igual a tesoro
races igual a nmero tesoros igual a cubo
tesoro y races igual a nmero races igual a cubo
tesoro y nmero igual a races
races y nmero igual a tesoro tesoro y raz igual a nmero
tesoro y nmero igual a raz
Esas seis posibilidades son otras tantas formas cannicas, a las raz y nmero igual a tesoro
que se tratar de que mediante el clculo de al-jabr y al- cubo y tesoro igual a raz
muqbala se pueda reducir cualquier ecuacin que resulte de cubo y raz igual a tesoro
traducir un problema a este lenguaje algebraico23. Al- cubo igual a raz y tesoro
Khwrizm prosigue el libro, como hemos indicado al dividir- cubo y raz igual a nmero
lo en partes, enunciando una regla algortmica para resolver cubo y nmero igual a raz
cada una de las formas cannicas y demostrando los algorit- nmero y raz igual a cubo
mos. Con ello, todas las ecuaciones que se pueden transfor- cubo y tesoro igual a nmero
mar en las seis formas cannicas se pueden resolver, y stas cubo y nmero igual a tesoro
son todas las formas cannicas. Precisemos: todas dentro de nmero y tesoro igual a cubo
un dominio acotado previamente, el de las tres especies de
nmeros de las que parte al-Khwrizm. Al-Khwrizm no cubo y tesoro y raz igual a nmero
resuelve pues el problema de los problemas, pero s que pre- cubo y tesoro y nmero igual a raz
senta en un mundo de problemas manejable un modelo de cubo y raz y nmero igual a tesoro
cmo abordarlo. La continuacin est implcita: basta con cubo igual a raz y tesoro y nmero
ampliar el conjunto de especies de nmeros y aplicar de nuevo cubo y tesoro igual a raz y nmero
una combinatoria que garantice que se estn considerando cubo y raz igual a tesoro y nmero
todas las formas cannicas para ese nuevo conjunto de formas cubo y nmero igual a raz y tesoro
cannicas.
El proyecto algebraico tropieza con un escollo: cUmar al-
c Khayym no encuentra algoritmos para todas las formas
Eso es exactamente lo que hace Umar al-Khayym (1048-
1131) unos dos siglos ms tarde en su Tratado de lgebra y al- cannicas. Sin embargo, s que es capaz de encontrar, cuando
muqbala (Rashed y Vahebzadeh, 1999): habla de una lista de el algoritmo no est disponible, un procedimiento de cons-
especies ms larga, que se prolonga tan lejos como se quiera, truccin de la solucin mediante intersecciones de cnicas.
y de la que se sabe que estn en proporcin continua la razn Admirable solucin, pero que no satisface el proyecto alge-
del nmero a las races es igual a la razn de las races a los braico. No es ste el lugar para exponer la continuacin de la
tesoros y es igual a la razn de los tesoros a los cubos, y es historia que conduce a la teora de Galois y el lgebra moder-
igual a la razn de los cubos a los tesoro-tesoros, y esto tan na. Volvamos al libro de al-Khwrizm.
lejos como se quiera (Rashed y Vahebzadeh, 1999 pp. 120-
123), y luego establece todas las formas cannicas hasta la Hasta esta altura de su libro, al-Khwrizm no ha resuelto an
especie siguiente a las consideradas por al-Khwrizm, es ningn problema concreto, pero ya ha puesto las bases del
decir, hasta el cubo. proyecto algebraico. Para resolver problemas concretos le
falta poder traducir cualquier enunciado a una expresin del
clculo con especies y transformar las expresiones en una de
las formas cannicas. Los captulos siguientes del libro se
dedican a ello, y en ellos aparece un nuevo trmino tcnico,
shay, cosa, que en el occidente medieval cristiano acabar
constituyendo otro nombre del lgebra cuando no se quiera
al-jabr wal-muqbala
usar su nombre brbaro: el arte de la cosa. Trataremos de ello
en la prxima entrega de estas historias.
HISTORIAS
91
SUMA 65
Noviembre 2010
NOTAS
1 Elementos de Euclides slo hay aritmtica, no hay nada de logstica, de
Vite public en 1591 a sus expensas (era un hombre de negocios en buena
situacin econmica y se publicada l mismo sus escritos) este libro, que hecho, todas las proposiciones de los libros aritmticos de los Elementos
tiene el tamao de un manifiesto: 9 folios. Esta edicin original latina est acaban con la frase como queramos demostrar, es decir estn tratadas
disponible en Gallica, http://gallica.bnf.fr/, la biblioteca digital de la como teoremas. Por el contrario, el libro de Diofanto que se conoce con el
Biblioteca Nacional de Francia. Existe una traduccin al francs hecha poco nombre de las Aritmticas, es, desde este punto de vista, un libro de logsti-
despus de la muerte de Vite por Vaulzard, con largos comentarios de ste ca, no de aritmtica.
intercalados en la traduccin, en un volumen titulado La nouvelle algbre de 9
M. Vite, que tambin contiene otro libro de Vite que contina ste. De esa Juan Manuel Navarro Cordn traduce de esta manera: [] el artificio entero
traduccin francesa hay una edicin facsmil reciente (Vaulzard, 1986). Hay de esta exposicin consistir en que, suponiendo lo desconocido como cono-
una traduccin inglesa de J. Winfree Smith incluida como apndice de la edi- cido, podamos preparar un camino de investigacin fcil y directo, incluso en
cin inglesa del clsico estudio de Jakob Klein Greek Mathematical Thought las dificultades ms intrincadas que se quiera (Descartes, 1984, p. 161).
and the Origin of Algebra, que est accesible en una reedicin barata de la 10
Ver en el apartado Una historia de la simbolizacin de Puig y Rojano
editorial Dover (Klein, 1968). (2004) cmo la creacin del actual sistema de signos del lgebra combina ele-
2
Vite pretende en este libro restaurar el anlisis matemtico de los griegos, mentos del sistema de signos de Vite y del de Chuquet-Bombelli, pero cmo
y as lo subtitula, como una parte de su restauracin del anlisis matemti- a cada uno de ellos le falta una caracterstica, que el otro posee: en el caso de
co. Para ello parte del texto de Pappus en el que ste describe el mtodo de Vite, las especies se representan mediante abreviaturas de sus nombres, en
anlisis y sntesis, y lo transforma a su manera mediante el lgebra, que vez de mediante nmeros, lo que no permite el clculo en la expresin; en el
transforma a su vez en lo que l llama logstica especiosa o clculo con caso de Chuquet-Bombelli, no hay ningn signo para representar las canti-
especies. La zettica, la porstica y la exegtica son los tres trminos que dades, slo se representa de qu especie es una cantidad, lo que impide
Vite introduce para caracterizar las tres partes del nuevo anlisis. Pappus representar ms de una cantidad con signos distintos.
distingue entre dos tipos distintos de anlisis: el problemtico (cuando se 11
La edicin cannica es la de Tannery (1893). Hay una traduccin castellana
trata de resolver un problema) y el teortico (cuando se trata de demostrar reciente en Nvola (Diofanto de Alejandra, 2007).
un teorema). Vite toma la palabra zttikn (que significa investigacin)
de la descripcin del anlisis teortico y la palabra poristikn (que significa 12
Las cinco primeras partes no aparecen como captulos en el libro.
obtencin) de la descripcin del anlisis problemtico, para las partes de su
13
nuevo anlisis en el que se plantea una ecuacin (por la zettica), y se exa- Las traducciones latinas de Gerardo de Cremona (Hughes, 1986) y de Robert
mina la verdad del teorema que expresa la ecuacin (por la porstica), y de Chester (Hughes, 1989) slo llegan hasta aqu. La de Robert de Chester
aade una tercera parte cuyo nombre, exegtica, viene de una palabra grie- titula este captulo de transacciones mercantiles Regula de tribus, es decir,
ga que significa mostrar, y que consiste en resolver la ecuacin para obte- Regla de tres; de hecho, los problemas planteados estn todos resueltos
ner los valores concretos. La terminologa de Vite es bastante idiosincrsi- mediante una regla de tres.
ca, lo que hizo que apenas hiciera escuela y que no se haya conservado en 14
Moreno (Al-Jwarizmi, 2009) traduce este captulo como Captulo de geo-
absoluto. Estos tres trminos introducidos para las tres partes del nuevo
metra. Rosen (1831) y Rashed (2007) traducen ambos por medida. En el
anlisis son una buena muestra de su uso idiosincrsico de la terminologa,
texto rabe la palabra que aparece es mashat, que significa medicin, rea;
ya que el trmino usado para la parte del nuevo anlisis en que se examina
la palabra rabe que se usa para geometra es handasa. Solomon Gandz tra-
un teorema est tomada del anlisis problemtico, y el trmino usado para la
duce mashat por rea en el texto en que mantiene que este captulo del
parte del anlisis en que el problema se traduce a una ecuacin est tomado
libro de al-Khwrizm es simplemente una versin del Mishnat ha Middot,
del anlisis teortico.
la primera geometra escrita en hebreo alrededor del ao 150, y lo demues-
3
La edicin cannica de las obras de Descartes es la de Charles Adam and Paul tra traduciendo el texto de al-Khwrizm como apndice a su edicin y tra-
Tannery, uvres de Descartes, cuyo volumen X contiene el original latino de duccin inglesa del texto hebreo del Mishnat ha Middot, y comparando
las Reglas, que no se public en vida de Descartes. La primera vez que las ambos textos (Gandz, 1932). Por supuesto que Roshdi Rashed opina, por el
Reglas se imprimieron fue en una coleccin de textos no publicados que se contrario, que el Mishnat ha Middot es un texto mucho ms tardo, que
edit en Holanda en 1701, con el ttulo Opuscula posthuma physica et depende de fuentes rabes, y que al-Khwrizm no lo usa (Rashed, 2007, p. 57).
mathematica (Descartes, 1701). 15
Este captulo y el siguiente que tratan de problemas de repartos de herencias
4
En la entrega anterior de estas historias (Puig y Navarro, 2010) ya citaba mi y devolucin de dotes, siguiendo lo establecido por la ley islmica, ocupan la
caracterizacin del mtodo cartesiano en forma de una serie de pasos que mitad del libro, y estn desglosados en varios captulos, que no detallo aqu.
describen la conducta del sujeto ideal y, por tanto, pueden considerarse 16
En la edicin de Rashed, el texto rabe est en las pginas impares y su tra-
como un modelo de competencia en la resolucin (algebraica) de problemas.
duccin francesa en las pginas pares; en las citas, indico ambas pginas.
En Puig (2003) y Puig y Rojano (2004) expongo con un cierto grado de deta-
lle cmo derivar ese modelo de competencia de lo que dice Descartes en las 17
Las fracciones, cuando no se especifica ms, son fracciones propias, por
Regul y en la Geometra, reelaborando y modificando lo que ya present tanto, menores que la unidad. De hecho, en la matemtica rabe se llamaban
Plya en el captulo The cartesian pattern del volumen primero de su libro fracciones expresables las fracciones unitarias, que adems eran expresa-
Mathematical Discovery (Plya, 1962). bles en el sentido de que la lengua rabe tiene palabras para expresar esas
5 fracciones; las otras fracciones se llamaban inexpresables o sordas, califi-
En su exposicin del mtodo de anlisis y sntesis, Pappus distingue entre el
cadas con la misma palabra que tambin se usaba para calificar los nmeros
anlisis problemtico y el teortico, ya se trate de resolver problemas o
que nosotros llamamos irracionales: asamm.
demostrar teoremas. Siguiendo en esto a Polya, yo considero que problemas
y teoremas son ambos problemas (unos de encontrar y los otros de 18
Como mi conocimiento de la lengua rabe es limitado, la versin castellana
demostrar), con lo que el mtodo de anlisis y sntesis es un mtodo de del texto de al-Khwrizm la he compuesto utilizando el texto rabe de
resolucin de problemas (Puig, 1996; Polya, 1945). Rashed (2007), que est construido utilizando todos los manuscritos que
6 actualmente se conocen como describo en Puig (2008b), su traduccin fran-
Sobre esta caracterstica de la heurstica, ver Puig (1996, p. 46) y Polya (1965,
cesa, y la traduccin latina de Gerardo de Cremona editada por Hughes
p. 84).
(1986), que se supone que es ms cercana al texto original de al-Khwrizm
7
Euclides escribi un libro que se suele conocer con su nombre latino Data, que cualquiera de los manuscritos rabes que se conservan. No utilizo la tra-
pero que se titula en griego Dedomena, el participio pasado pasivo en plural duccin castellana de Moreno, aparecida en Nvola en 2009, por dos moti-
del verbo dar, y significa, por tanto, que han sido dados. Pappus lo consi- vos: porque est hecha a partir del nico manuscrito rabe que se haba edi-
deraba como uno de los libros que formaban parte del Tesoro del Anlisis. tado y traducido antes del trabajo de Rashed (2007), pero, sobre todo, por-
Sobre el significado de dedomenon, ver mi texto sobre otro libro, este medie- que ha adoptado decisiones de traduccin contrarias a las que yo arguyo que
val, que tambin trata de lo que sido dado: el De Numeris Datis de Jordanus son necesarias para no ser anacrnicos, y poder entender los conceptos alge-
de Nemore (Puig, 1994) braicos de al-Khwrizm.
19
8
En la tradicin griega hay dos disciplinas distintas que tratan con nmeros: Fuera del significado tcnico en el lgebra, ml en rabe significa fortuna,
la Aritmtica y la Logstica. La Aritmtica estudia la naturaleza de los nme- patrimonio, cantidad de dinero, bien.
ros y los clasifica, la Logstica estudia los clculos con nmeros. En los
92
SUMA 65
Noviembre 2010
93
SUMA 65
Noviembre 2010
REFERENCIAS BIBLIOGRFICAS
Al-Jwarizmi, M. b. M. (2009). El libro del lgebra. Traduccin, intro- Puig, L. (1994). El De Numeris Datis de Jordanus Nemorarius como
duccin y notas de Ricardo Moreno Castillo. Madrid: Nvola. sistema matemtico de signos. Mathesis, 10, pp. 47-92.
Descartes, R. (1701). Opuscula posthuma physica et mathematica. Puig, L. (1996). Elementos de resolucin de problemas. Granada:
Amsterdam: Typographia P. & Blaev J. Comares.
Descartes, R. (1984). Reglas para la direccin del espritu. Puig, L. (1998). Componentes de una historia del lgebra. El texto de
Introduccin, traduccin y notas de Juan Manuel Navarro al-Khwarizmi restaurado. En F. Hitt (Ed.) Investigaciones en
Cordn. Madrid: Alianza Editorial. Matemtica Educativa II (pp. 109-131). Mxico, DF: Grupo
Descartes, R. (1996). Regul ad Directionem Ingenii. En uvres de Editorial Iberoamrica.
Descartes. Tome X. dition de Charles Adam et Paul Tannery. Puig, L. (2003). Historia de las ideas algebraicas: componentes y pre-
Paris: Librairie Philosophique J. Vrin. guntas de investigacin desde el punto de vista de la matemtica
Diofanto de Alejandra (2007). La Aritmtica y el libro Sobre los educativa. En E. Castro, P. Flores, T. Ortega, L. Rico, y A.
nmeros poligonales. Versin en castellano, introduccin, notas y Vallecillos (Eds.) Investigacin en Educacin Matemtica. Actas
apndices de Manuel Benito Muoz, Emilio Fernndez Moral y del Sptimo Simposio de la Sociedad Espaola de Investigacin en
Mercedes Snchez Benito. Tomo I y Tomo II. Madrid: Nvola. Educacin Matemtica (pp. 97-108). Granada: Universidad de
Granada.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert /
Adapt. Puig, L. (2008a). History of algebraic ideas and research on educatio-
nal algebra. In M. Niss (Ed.) Proceedings of the Tenth
Gandz, S. (Ed. trans.) (1932). The Mishnat ha Middot, the First
International Congress on Mathematical Education. CD-version.
Hebrew Geometry of about 150 C. E., and the Geometry of
Roskilde: IMFUFA, Department of Science, Systems and Models,
Muhammad ibn Musa al-Khowarizmi, the First Arabic
Roskilde University.
Geometry <c. 820>, Representing the Arabic Version of the
Mishnat ha Middot. Quellen und Studien zur Geschichte der Puig, L. (2008b). Historias de al-Khwrizm (2 entrega). Los Libros.
Mathematik, Astronomie und Physik. Abteilung A: Quelle, 2. Suma, 59, pp. 105-112.
Band. Berlin: Julius Springer Puig, L. y Navarro, T. (2010). Protolgebra en Babilonia (2 entrega).
Hyrup, J. (1991). Oxford and Cremona: On the relations between Mtodos de solucin. Suma, 64, pp. 97-104.
two versions of al-Khwrizms Algebra. Filosofi og videnskabste- Puig, L., y Rojano, T. (2004). The history of algebra in mathematics
ori p Roskilde Universitetcenter. 3. Rkke: Preprint og Reprints education. In K. Stacey, H. Chick, y M. Kendal (Eds.), The future
nr. 1. of the teaching and learning of algebra: The 12th ICMI study (pp.
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms 189-224). Boston / Dordrecht / New York / London: Kluwer
al-jabr: A critical edition. Mediaeval Studies 48, 211-263. Academic Publishers.
Hughes, B. (1989). Robert of Chesters translation of al-Khwrizms Rashed, R. (Ed.) (2007). Al-Khwrizm. Le commencement de lalg-
al-jabr: A new critical edition. Boethius, Band XIV. Stuttgart, bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Germany: Franz Steiner Verlag. Rashed, R., y Vahebzadeh, B. (1999). Al-Khayym mathmaticien.
Klein, J. (1968). Greek Mathematical Thought and the Origins of Paris: Librairie Scientifique et Technique Albert Blanchard.
Algebra. Cambridge, MA: MIT Press. [Reprinted in New York: Rosen, F. (1831). The algebra of Mohammed Ben Musa. London:
Dover, 1992.] Oriental Translation Fund.
Levey, M. (ed.) (1966). The Algebra of Ab Kmil, in a Commentary Tannery, P. (Ed.) (1893). Diophanti Alexandrini opera omnia cum
by Mordecai Finzi. Hebrew text and translation, and commen- graecis commentariis (Reprinted 1974, Vols. 1-2). Stuttgart,
tary. Madison, WI: The University of Wisconsin Press. Germany: B. G. Teubner.
Polya, G., 1945, How to Solve It. (Princeton University Press: Vaulzard, J.-L. (1986). La nouvelle algbre de M. Vite. Paris: Fayard.
Princeton, NJ). [Traduccin castellana de Julin Zugazagoitia, Vieta, F. (1591). In artem Analyticem Isagoge. Turonis: Iametium
Cmo plantear y resolver problemas. (Trillas: Mxico, 1965).] Mettayer Typographum Regium.
Polya, G., 1962-1965, Mathematical Discovery. 2 vols. (John Wiley
and Sons: New York).
Este artculo fue solicitado por SUMA en julio de 2010 y aceptado en octubre de 2010 para su publicacin
94
Historias
66 Historias de al-Khwrizm (5 entrega). La cosa
Febrero 2011, pp. 89-100
C osa en el lenguaje natural trata de resolver un problema, tambin hace falta poder refe-
rirse directamente a nmeros concretos que son desconoci-
dos, no basta con decir si son de la especie raz, o de la espe-
En el apartado 11 Variables en el lenguaje vernculo del cie tesoro o de la especie simple nmero. Pero esos nmeros
captulo 16 de su Fenomenologa didctica de las estructuras son desconocidos, no sabemos cul es su nombre, y, como
matemticas, dedicado al anlisis fenomenolgico del dijo la hija de Freudenthal, cosa sirve para nombrar algo
lenguaje del lgebra, Hans Freudenthal cuenta la siguiente cuyo nombre se desconoce.
historia de su hija:
No sabemos quin ni cundo us por primera vez la palabra
Cuando mi hija estaba en la edad en que los nios juegan el cosa para referirse a un nmero desconocido y as poder
juego de esto qu quiere decir y le pregunt qu quiere darle nombre. Lo que s sabemos es que el libro de lgebra de
decir cosa contest que cosa es si quieres decir algo y no
al-Khwrizm es el ms antiguo que se conserva en el que la
sabes cul es su nombre. (Freudenthal, 1983, p. 474)1
palabra aparece usada as. En el fragmento que queda del
libro, casi contemporneo, de Ibn Turk2 (Sayili, 1962) la pala-
A menudo las matemticas han elaborado sus conceptos a bra cosa no aparece, aunque eso no significa que no pudie-
partir de la riqueza inmensa de la lengua verncula, fijando el ra estar tambin en este libro, ya que la pequea parte que se
uso de alguno de sus trminos en un sentido preciso, deter- ha conservado de l corresponde a las demostraciones de los
minado, unvoco. El proyecto algebraico necesita poder cal- algoritmos de solucin de las formas cannicas compuestas,
cular con lo desconocido. Ya vimos en la entrega anterior de y al-Khwrizm tampoco usa el trmino cosa en esa parte de
estas historias (Puig, 2010) que la elaboracin del concepto de su libro de lgebra.
especie de nmero hace posible referirse a los clculos con
cantidades que se desconocen por el intermedio de las espe-
cies, que son formas de nmeros. Pero las especies de nme-
ros, raz, tesoro o simple nmero, son slo esas formas que los Luis Puig
nmeros adoptan cuando se calcula con ellos. Cuando se Universitat de Valncia Estudi General
89
SUMA 65
Noviembre 2010
Es bastante plausible que el uso de la palabra cosa como tr- disminuidas en un nmero o si estn restadas de un nmero;
y cmo sumarlas unas a otras y cmo restarlas unas de otras
mino tcnico para nombrar una cantidad desconocida con la
(Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
que se quiere calcular, proceda de una tradicin distinta de la
tradicin de la que proceden los trminos con los que al- Sin embargo, no es en esta parte del libro de al-Khwrizm
Khwrizm designa las especies de nmeros3. Venga de donde donde puede verse por qu hace falta que al-Khwrizm nos
venga, la primera vez que aparece, lo hace en rabe, shay, y ensee a multiplicar unas por otras las cosas, menos an por
ser a partir de esa palabra rabe de la que pasar al latn qu aparece ese nuevo trmino cosa, del que al-Khwrizm lo
como res, cuando se traduzca el libro de al-Khwrizm al latn nico que dice al introducirlo es que son las races. Si cosa
en el siglo XII. Luego aparecer como cosa a principios del y raz fueran la misma cosa, hubiera sido innecesario que
siglo XIV en el primer libro escrito en una lengua romance, el apareciera la cosa en escena; podra al-Khwrizm haber
Tractatus algorismi de Jacopo da Firenze, y el trmino cosa explicado en este captulo cmo multiplicar unas por otras
har tanta fortuna, que la Regla de la cosa acabar siendo las races y ahorrarse un trmino primitivo, un concepto del
otro nombre del lgebra. clculo de al-jabr y al-muqbala. Si al-Khwrizm explica el
clculo con la cosa y no el clculo con la raz, es porque cosa
Como la observacin de la hija de Freudenthal muestra, no es y raz no son conceptualmente iguales, aunque al mencionar
de extraar que una palabra como cosa se use para designar por primera vez el trmino, al-Khwrizm se limite a explicar-
lo desconocido, y la palabra rabe shay, segn Rashed, es una lo diciendo que son las races, o incluso, unas lneas ms ade-
palabra que pertenece al rabe clsico ya que aparece en el lante diciendo el significado de la cosa es la raz (Rashed,
Corn, y 2007, p. 124-125; Hughes, 1986, p. 242)
se dice de todo cuerpo animado o inanimado, de todo lo que El significado de la cosa en el texto de al-Khwrizm est en su
puede ser sujeto de atribucin, sin ser, sin embargo, repre- uso (sa es la definicin pragmtica de significado de
sentado necesariamente por individuos [] Designando un
Wittgenstein), ms que en esa definicin. Al-Khwrizm no
desconocido, la palabra necesita siempre una determinacin
o una explicacin. Si por ejemplo se dice: yo tengo una cosa, usa nunca cosa cuando introduce las especies de nmeros
la afirmacin no puede entenderse sin un comentario suple- que se usan en los clculos: ah usa raz. Las especies de
mentario. (Rashed, 1984, p. 122). nmeros son raz, tesoro y simples nmeros. La raz es raz
del tesoro, y el tesoro proviene de una raz que se ha multipli-
El mismo Rashed nos dice que los gramticos de la poca de cado por s misma, el tesoro no es una cosa que se ha multi-
al-Khwrizm decan que la palabra shay era lo ms indefini- plicado por s misma. Al-Khwrizm no usa nunca cosa
do de los indefinidos y que cuando establece las seis formas cannicas, ni cuando expone
los algoritmos de solucin de las formas cannicas, ni cuando
en teologa, el trmino remite a una existencia cierta, pero de expone las demostraciones de esos algoritmos. En las formas
la que nuestro conocimiento todava est indeterminado. Por cannicas, al-Khwrizm siempre usa raz y tesoro, por ejem-
ejemplo, se atribuye al lingista al-Khalil en el siglo VIII esta
plo tesoro y races igual a nmeros, nunca dice al-Khwrizm
expresin a propsito de Dios: Es una cosa de una cosa, no
cosa de no cosa, cosa de no cosa, no cosa de una cosa, que se tesoro y cosas igual a nmeros.
conjuga tambin como una tabla de verdad. Se entiende que
al-Khwrizm haya elegido este trmino para bautizar la En esto, sus sucesores inmediatos le son fieles. En el lgebra
incgnita algebraica4 (Rashed, 2007, p. 15). de Ab Kmil (ca. 850-930) tampoco aparece la cosa en las
formas cannicas, ni en los algoritmos, ni en las demostracio-
nes. Ms an, en la lista de veinticinco formas cannicas de
las ecuaciones hasta el tercer grado que cUmar al-Khayym
La frmula es una cosa de una cosa, no cosa de no cosa, cosa de (1048-1131) estudia unos dos siglos ms tarde en su Tratado
no cosa, no cosa de una cosa, escrita en rabe de lgebra y al-muqbala (Rashed y Vahebzadeh, 1999) tam-
poco aparece la cosa, sino las especies cubos, tesoros, races y
simples nmeros5.
La cosa en el lenguaje del lgebra de al-Khwrizm
La primera vez que aparece la palabra cosa con significado Al-Khwrizm introduce el trmino cosa en el captulo dedi-
tcnico en el libro de al-Khwrizm es en el primero de los cado al clculo literal, pero donde al-Khwrizm lo usa conti-
captulos dedicados al clculo literal, el que se titula sobre la nuamente y cobra sentido es en los captulos dedicados a
multiplicacin. En l al-Khwrizm comienza anunciando lo resolver problemas. En efecto, al-Khwrizm comienza la
que va a hacer en ese captulo y el siguiente: resolucin de cualquier problema llamando a alguna de las
cantidades desconocidas cosa. As, por ejemplo, el primer
Yo te enseo cmo multiplicar unas por otras las cosas, que problema que al-Khwrizm plantea para estudiar las seis for-
son las races; si estn solas, si estn con un nmero, si estn mas cannicas es
90
SUMA 65
Noviembre 2010
Es por ejemplo cuando dices: has dividido diez en dos partes; enunciado se ha dicho que era una cosa no aparece para nada
has multiplicado una de las dos partes por la otra; luego has
en la solucin del problema, con lo que cosa en el transcur-
multiplicado una por s misma, de manera que la multiplica-
da por s misma es igual al cudruple del producto de una de so de la solucin es el nombre propio de la cantidad descono-
las dos partes por la otra. (Rashed, 2007, p. 144-145; Hughes, cida nmero de hombres que haba al principio, sin que
1986, p. 247) quepa ambigedad alguna sobre ello. En el lenguaje del lge-
bra de al-Khwrizm cosa es un nombre comn, cuyo signi-
y la solucin, la regla para resolver problemas, comienza lla- ficado tiene que ver con el hecho de que la cantidad que nom-
mando cosa a una de las dos partes en que se ha dividido bra es una cantidad determinada, pero cuyo valor se descono-
diez: ce. De hecho, la mayor parte de las veces el trmino algebrai-
co cosa aparece sin artculo, cosa, o de forma indetermina-
t pones una de las dos partes una cosa y la otra diez menos da, una cosa, y muy pocas veces con el artculo determinado,
una cosa; multiplica una cosa por diez menos una cosa, y la cosa.
resulta diez cosas menos un tesoro (Rashed, 2007, p. 144-145;
Hughes, 1986, p. 247).
En resumen, al-Khwrizm nunca usa el trmino cosa en las
primeras partes del libro en las que trata:
Como esa cosa se multiplica por s misma, es una raz y el pro-
ducto por s misma es un tesoro. De esta manera, al- 1. Introduccin.
Khwrizm traduce el enunciado del problema al lenguaje de 2. Las especies de nmeros.
su lgebra, que no tiene signos distintos de los del lenguaje 3. Las (seis) formas cannicas, simples y compuestas.
vernculo, pero s un vocabulario propio y preciso. La palabra 4. Los algoritmos de solucin de las formas cannicas.
del lenguaje vernculo cosa, convertida en nombre de lo des- 5. Las demostraciones de los algoritmos de solucin de las
conocido, permite desarrollar un clculo con lo desconocido, formas cannicas compuestas.
y que la resolucin de los problemas se desarrolle por la va
del anlisis. En el libro de lgebra de al-Khwrizm, la palabra Al-Khwrizm introduce el trmino cosa en el primer cap-
cosa aparece arrebatada al lenguaje vernculo para ser apro- tulo dedicado al clculo literal:
piada por el lenguaje del lgebra.
6. Sobre la multiplicacin [de expresiones con especies].
En efecto, si pensamos que el corazn de la resolucin alge-
braica de problemas se puede decir que es esa lectura del Al-Khwrizm nunca utiliza el trmino cosa en los otros dos
enunciado del problema, que est en lenguaje vernculo, para captulos dedicados al clculo literal:
transformarlo en un nuevo texto que est en el lenguaje del
lgebra, una de las seales en el texto de al-Khwrizm de que 7. Sobre la adicin y la substraccin [de expresiones con
se est pasando de un lenguaje a otro es que la palabra cosa especies y con radicales].
nunca aparece en los enunciados de los problemas, donde 8. Sobre la divisin [de radicales].
aparece es en las soluciones.
Al-Khwrizm usa sistemticamente el trmino cosa en los
Hay una excepcin, que en realidad no lo es: el problema 28 captulos dedicados a ensear a resolver problemas algebrai-
(en la numeracin de Rashed, 2007). En el enunciado de ese cos de segundo grado:
problema s que aparece la palabra cosa. Sin embargo, en la
solucin del problema, la cantidad que al-Khwrizm designa 9. Los seis problemas [ejemplos de las seis formas canni-
con cosa no es la que en el enunciado ha sido llamada cosa, cas].
sino otra cantidad desconocida. De hecho, la cantidad desco- 10. Varios problemas.
nocida que en el enunciado se llama cosa no es necesaria
para resolver el problema, el problema tiene la misma solu- Los cuatro captulos restantes son especiales y no entrar a
cin, valga esa cantidad lo que valga. El enunciado del proble- describir aqu cmo usa al-Khwrizm el trmino cosa en
ma es ellos. Slo dir que en el corto captulo titulado
Transacciones mercantiles no usa el trmino cosa. Esto se
Si te dicen: repartes un dirham entre unos hombres y les toca debe a que el captulo est dedicado a una clase de problemas
una cosa; les aades un hombre, y repartes entre ellos un dir- en los que siempre estn implicadas cuatro cantidades que
ham, entonces les toca un sexto de dirham de menos que en
tienen nombre. Al-Khwrizm comienza el captulo diciendo
el primer reparto (Rashed, 2007, p. 190-191; Hughes, 1986, p.
255) Que sepas que todas las transacciones entre las gentes, de
venta, compra [] se realizan [] segn cuatro nombres pro-
y al-Khwrizm llama cosa al nmero de hombres que haba nunciados por el que pregunta, que son cantidad de evalua-
al principio, y calcula con esa cosa. La cantidad que en el cin, tasa, precio y cantidad evaluada (Rashed, 2007, p. 196-
91
SUMA 65
Noviembre 2010
197; Hughes, 1986, p. 2556). Esas cuatro cantidades forman El caso del persa cUmar al-Khayym es ms interesante. La
una proporcin, y los problemas son problemas de hallar la palabra cosa slo aparece una vez en todo su libro de lge-
cuarta proporcional dados los otros tres trminos de la pro- bra, muy al comienzo, cuando dice:
porcin. Al-Khwrizm no usa el trmino cosa porque no
necesita darle nombre a la cantidad desconocida, ya tiene Es la costumbre, entre los algebristas, nombrar en su arte la
nombre para referirse a ella, y los clculos para resolver los incgnita que se quiere determinar cosa, su producto por s
misma, tesoro, su producto por su tesoro, cubo, el producto
problemas son los que establece la regla de tres, en los que no
de su tesoro por su semejante, tesoro tesoro, el producto de
se calcula con lo desconocido. su cubo por su tesoro, tesoro cubo, el producto de su cubo
por su semejante, cubo cubo, y as sucesivamente hasta tan
lejos como se quiera. Se sabe a partir del libro de los
Elementos de Euclides que esos grados son todos proporcio-
La cosa y la raz nales, quiero decir que la razn de la unidad a la raz es igual
a la razn de la raz al tesoro y es igual a la razn del tesoro al
He sealado que cosa y raz son trminos con significado cubo. La razn del nmero a las races es por tanto igual a la
distinto, que probablemente provienen de tradiciones ante- razn de las races a los tesoros, igual a la razn de los teso-
riores a al-Khwrizm distintas, y que l identifica, pero usa de ros a los cubos, e igual a la razn de los cubos a los tesoro
manera diferenciada. Esa situacin no poda dejar de causar tesoro, y esto hasta tan lejos como se quiera (Rashed and
dificultades, y la historia lo atestigua. El historiador tunecino Vahebzadeh, 1999, pp. 120-122).
Mohamed Souissi as lo afirma en uno de los captulos de su
libro Feuilles dautomne en que, ya jubilado quince aos antes, En esa frase, cosa aparece como un trmino propio del len-
repasa su trabajo. Trata ese captulo del poema didctico de guaje del lgebra (es la costumbre, entre los algebristas) que
Ibn al-Ysamn, del que hablar ms adelante, y Souissi cita un se usa para designar la incgnita que se quiere determinar.
comentario a ese poema hecho en el ao 1506 por un tal al- Al-Khayym est pues dando a cosa el sentido en que hemos
Mridini que visto que al-Khwrizm usa el trmino, pero, de inmediato, lo
usa para generar las especies de nmero bastante ms all del
seala una polmica que se haba desatado en torno al uso de tesoro, que es donde se queda al-Khwrizm, mezclando pues
las dos palabras shay (cosa, res) y jidhr7 (raz). Para ciertos el sentido en que al-Khwrizm usa raz.
algebristas son dos trminos sinnimos. Otros, como Ibn al-
Him, piensan que es necesario reservar la palabra shay para
el nmero desconocido, y restringir jidhr al nmero conoci- Podra parecer que la raz ya no va a ser para al-Khayym un
do. Ibn al-Ysamn, as como su comentarista, optan por el trmino necesario porque la ha substituido por la cosa en la
primer punto de vista y se refieren a una cita de Ab Kmil lista de especies de nmero, pero, muy al contrario, cuando
Shujc ibn Aslam, en su obra Al-Mabst f-l-jabr wa-l-muq- explica que se sabe a partir del libro de los Elementos de
bala: La shay no es sino la jidhr, y la jidhr no significa ms Euclides que esos grados son todos proporcionales, la cosa
que la shay; son dos nombres que sirven, uno y otro, para
desaparece y ya slo habla de la raz. Mucho ms significativo
expresar la misma nocin. (Souissi, 2001, p. 120).
an es que la trmino cosa no vuelve a aparecer en todo el
libro. Esto se debe claramente a que al-Khayym no resuelve
Rastraer indicaciones del uso de cosa y raz en algunos tex- ni un solo problema en todo el libro; a lo que el libro est dedi-
tos y autores posteriores a al-Khwrizm en este apartado. cado es a encontrar algoritmos de solucin para las veinticin-
co formas cannicas, que son todas las posibilidades de com-
Ab Kmil (ca. 850-930) binar las especies nmeros, races, tesoros y cubos, y, para las
que no consigue encontrar un algoritmo, encontrar su solu-
En el siglo XVI andaban pues los algebristas discutiendo sobre cin geomtrica mediante la interseccin de cnicas. Las for-
el uso de cosa y raz, y quien mantena que eran trminos mas cannicas estn enunciadas en trminos de nmeros, ra-
sinnimos usaba como autoridad las palabras de Ab Kmil, ces, tesoros y cubos, nunca aparece el trmino cosa al enun-
conocido en su tiempo como el calculista egipcio, que nace ciarlas, y nunca se usa el trmino cosa en las soluciones de
cuando muere al-Khwrizm. Sin embargo, si se recorre el las ecuaciones.
libro de lgebra de Ab Kmil8, aunque afirme que cosa y raz
son lo mismo, igual que ya lo haba hecho al-Khwrizm, el Sharaf al-Dn al-Ts (1135-1213)
uso que hace de los dos trminos en su libro es prcticamen-
te el mismo que el que hace al-Khwrizm: no lo usa en los El libro fundamental que se conserva del persa al-Ts (naci-
captulos iniciales, lo introduce cuando comienza el clculo do en el ciudad de Ts) es su Tratado de las ecuaciones (Al-
literal, y lo usa en la resolucin de problemas de forma simi- Ts, 1986). En l al-Ts aborda la resolucin de las veinti-
lar a al-Khwrizm. cinco formas cannicas de las ecuaciones de tercer grado,
c
Umar al-Khayym (1048-1131) como lo haba hecho al-Khayym, pero, a diferencia de ste, lo
que hace es desarrollar mtodos aproximados para la resolu-
92
SUMA 65
Noviembre 20109
Sin embargo, el trmino cosa tiene una nica aparicin en es decir que la raz que hay que determinar es el nmero de
todo el libro cuando al-Ts demuestra que la forma cannica races ms una cosa. La cosa no se identifica aqu con la raz
tesoro igual a races y nmeros se puede resolver transfor- que hay que determinar, sino con otra raz de otro tesoro. Si
mndola en la forma cannica tesoro y races igual a nmeros, queremos expresar lo que al-Ts hace en nuestro lenguaje
para la que ya ha dado previamente un algoritmo de solucin. algebraico, tendremos que usar para representar la cosa una
letra distinta de la x, ya que la x la hemos usado para repre-
Veamos qu es lo que hace al-Ts exactamente. Se trata de sentar la raz; pongamos una y. Entonces, lo que acaba de
resolver la ecuacin races y nmeros igual a tesoros, que, en decir al-Ts es que x = b + y.
el lenguaje del lgebra simblica actual, podemos escribir x2 =
bx + c. Al-Ts comienza demostrando que es posible tener Podramos pensar que al-Ts est haciendo un cambio de
efectivamente un tesoro que sea la suma de races y nmeros. variable. En efecto, si substituimos en la forma cannica x por
La demostracin utiliza una figura similar a la que al- b + y, obtenemos
Khwrizm usa para demostrar el algoritmo de esta forma
cannica, pero al-Ts no ha dado ningn algoritmo y no est (b + y)2 = b(b + y) + c
por tanto demostrando algoritmo alguno sino slo la posibili- b2 + 2by + y2 = b2 + by + c
dad de existencia de esa forma cannica. Tras hacer esto, con- by + y2 = c
tina diciendo:
es decir, que obtenemos la forma cannica tesoro y races
Para determinar la raz, sea AE el cuadrado [murabac]9 de igual a nmeros, que es lo que al-Ts quiere obtener. Sin
AD. Tracemos BG paralela a DE y pongamos DB una cosa, es embargo, al-Ts no desarrolla un clculo algebraico con las
decir, la raz de un tesoro desconocido, y AB el nmero de
expresiones hasta obtener la ecuacin que quiere, sino que
races mencionado en el problema. (al-Ts, 1986, p. 31)
busca obtener esa ecuacin en las relaciones que tienen las
Al-Ts quiere determinar la raz, que es lo que hemos repre- partes de la figura que ha construido. En efecto, al-Ts con-
sentado por x en nuestro lenguaje algebraico en x2 = bx + c, y tina su demostracin as:
designa con el nombre de cosa no a la raz que tiene que
determinar, sino a otra raz de un tesoro desconocido. En la el rectngulo BE proviene pues del producto del nmero de
figura, la raz que hay que determinar es el lado del cuadrado races y una cosa por una cosa, pero el producto de una cosa
por una cosa es el tesoro desconocido y el producto del
AE, es decir, AD, la cosa es el segmento DB, de manera que
nmero de races por una cosa es cosas en nmero igual al
como dice al-Ts nmero de races, pero esta suma es igual al rectngulo BE,
que es el nmero mencionado en el problema. Se tiene pues
AD es, por tanto, el nmero de races y una cosa. un tesoro y races en nmero igual al nmero mencionado en
el problema iguales al nmero mencionado en el problema.
(al-Ts, 1986, p. 31).
93
SUMA 65
Noviembre 2010
Lo que ha hecho pues al-Ts es mostrar que el rectngulo BE, (Puig, 2010) hemos llamado el proyecto algebraico de Vite, la
que representa el nmero (c), tambin representa el producto resolucin del problema de los problemas, y para ello se cons-
de sus lados, que son BD, que representa la cosa (y) y DE. Pero truye la teora algebraica, su lenguaje, y se estudian las formas
DE es igual a AD, ya que AE es un cuadrado, y AD representa cannicas y sus soluciones. Lo que hace as-Samawal en este
la suma del nmero de races y una cosa (b + y). De manera libro es estudiar lo que podramos llamar ahora una teora de
que el nico clculo que ha hecho al-Ts es el equivalente a polinomios, siguiendo los trabajos de al-Karaj, y facilitndolo
(b + y)y = by + y2: el producto de una cosa por una cosa es el gracias a la introduccin de una representacin de los polino-
tesoro desconocido y el producto del nmero de races por mios en forma de tablas, encabezadas por los nombres de las
una cosa es cosas en nmero igual al nmero de races. especies, en las que se escriben slo lo que llamamos ahora los
coeficientes, de manera que en la tabla lo que aparece escrito
En esta demostracin de cmo una forma cannica puede es la sucesin de los coeficientes.
transformarse en la otra est patente una de las deficiencias
que tiene el sistema de signos del lgebra rabe medieval, que
no se resolver hasta Vite: slo hay un nombre para lo des-
conocido y los trminos raz y tesoro no son potencias de una
incgnita, sino especies de nmeros. En el curso de esta
demostracin raz y tesoro se han referido a dos races y
dos tesoros distintos, que con nuestro lenguaje del lgebra
actual hemos podido diferenciar: la primera raz con x, la
segunda con y; el primer tesoro con x2, el segundo con y2.
94
SUMA 65 SUMA 66
Noviembre 2010 Febrero 2011
95
SUMA 66
Febrero 2011
Cito la parte del poema en que introduce las especies de Efectivamente, como dice Souissi, Ibn al-Ysamn identifica
nmeros y la cosa, y el comienzo de la lista de las formas cosa con raz: el verso 14, para dejar claro que significan lo
cannicas, a partir del verso 11: mismo, utiliza dos palabras sinnimas del lenguaje natural.
Sin embargo, cuando Ibn al-Ysamn enumera las formas
11. Sobre tres gira el lgebra: cannicas no usa cosa sino raz. De hecho la palabra cosa
los tesoros y los nmeros y luego las races slo aparece una vez ms en el resto del poema en una de las
12. El tesoro es cualquier nmero cuadrado reglas algortmicas en la que dice que hay que dividir por dos
y la raz uno de sus lados las cosas, en vez de decir dividir por dos las races como hace
13. El nmero absoluto no est relacionado en las otras dos reglas algortmicas en que hay que dividir por
ni con los tesoros ni con las races. Comprndelo! dos las races. Sin embargo, aunque slo sea en una de tres, ya
14. Y la cosa y la raz significan lo mismo, est el trmino cosa tambin en las reglas algortmicas.
igual que los trminos padre y progenitor.
15. Pueden ser iguales a un nmero aislado
o aadidos a otras especies.
16. Hay seis ecuaciones bien ordenadas
la mitad compuestas, la mitad simples.
17. La primera, segn la terminologa actual, consiste
en igualar los tesoros y las races.
(Abdeljaouad, 2005, p. 5, en ingls, y p. 15, en rabe)
96
SUMA 66
Febrero 2011
Ibn Badr (s. XIII) Ibn Badr habla de las especies nmero, raz y tesoro en el
comienzo del libro, como ya hemos visto en otras ocasiones,
Segn Djebbar, muy poco se sabe de Muhammad Ibn Badr, y, en su caso, la cosa hace su aparicin como en el libro de al-
del que slo se conoce el Libro que contiene un resumen del Khwrizm en el captulo de la multiplicacin, sin que se
lgebra. Como segn los bioblibligrafos rabes, hubo, en el moleste Ibn Badr siquiera en decir que cosa y raz sean lo
siglo X en Crdoba, un matemtico llamado cAbd ar-Rahmn mismo; simplemente titula el captulo de la multiplicacin de
Ibn Badr, es posible que nuestro algebrista del siglo XIII sea las cosas, los tesoros, los cubos y los nmeros, y en la lista de
uno de sus descendientes. En ese caso sera originario de la lo que ahora va a ensear a multiplicar las races han desapa-
Espaa musulmana. Pero ningn otro elemento permite con- recido y han sido substituidas por las cosas.
firmar esta hiptesis (Djebbar, 2005, p. 133).
Al-Qalasd (1412-1486)
Ese libro fue editado y traducido al castellano en 1916 por Jos
A. Snchez Prez, con el titulo de Compendio de lgebra de Al-Qalasd naci en Baza y, aunque despus de pasar algn
Abenbder (Snchez Prez, 1916), a partir de un manuscrito tiempo en Tlemcen en el Magreb se instal a trabajar en
que se conserva en la biblioteca escurialense. Snchez Prez Granada durante un buen nmero de aos, abandon el reino
tambin fue muy cauto a la hora de afirmar si Ibn Badr, a nazar por su inestabilidad poltica y su debilidad ante los rei-
quien l llam Abendder, era nacido en la pennsula ibrica. nos cristianos, para acabar en Bja, en el actual Tnez. Al-
En efecto, tras decir que Suter y Casiri indican que el autor del Qalasd es citado normalmente en las historias del lgebra
manuscrito del Escorial en cuestin era de Sevilla, contina: por su uso de un simbolismo propio de la matemtica rabe
occidental, de al-Andalus y el Magreb, que durante tiempo se
Esta afirmacin de Suter y Casiri acerca de la patria de pens que haba desarrollado l, pero que ahora se sabe que ya
Abenbder, a quien hacen sevillano, fue, sin duda, el princi- se usaba siglos antes. Sin embargo, lo que me interesa aqu es
pal motivo que nos decidi a emprender el estudio de su
el libro que escribe como comentario a un lgebra de Ibn al-
compendio de lgebra. Sinceramente debemos confesar, sin
embargo, que no poseemos ms datos que las noticias de Bann (1256-1321), en el que la cosa ya toma el lugar de la
Suter y Casiri, para suponer que Abenbder fuera espaol especie raz. El libro de Ibn al-Bann se titula Compendio de
(Snchez Prez, 1916, pp. xvii-xviii). las operaciones del clculo, y se convirti en el manual de base
de la enseanza de las matemticas en el Magreb entre los
siglos XIV y XVII, segn Djebbar (2005, p. 130). En su comenta-
rio, al-Qalasd presenta as las especies de nmeros:
Figura 5. Primera pgina del manuscrito del Escorial del lgebra de Ibn Badr
97
SUMA 66
Febrero 2011
98
SUMA 66
Febrero 2011
NOTAS
1 6
La referencia es a la pgina del original de Freudenthal publicado en ingls En la traduccin latina de Gerardo de Cremona, los nombres de las canti-
por Kluwer como primer volumen de la ya clsica coleccin Mathematics dades son pretium et appretiatum secundum positionem, et pretium et
Education Library, dirigida por Alan Bishop. Yo traduje una seleccin de appretiatum secundum querentem.
captulos de este libro, que public en 1994 el Centro de Investigacin y de 7
Souissi no translitera estas dos palabras rabes as, porque usa la transli-
Estudios Avanzados de Mxico, en la que figuraba este captulo sobre el teracin centroeuropea, que es la habitual en los pases del mbito cul-
lenguaje algebraico, junto a los captulos El mtodo y Fracciones. En tural francs, en vez de la transliteracin que yo estoy usando. He preferi-
esa edicin, el texto que cito aparece en la pgina 68 (Freudenthal, 1994, do no ser fiel en la cita y mantener la misma transliteracin que estoy
p. 68). Unos aos despus inclu tambin el captulo Razn y proporcio- usando en estas historias.
nalidad en una segunda edicin ampliada de la seleccin de textos. En esa 8
El lgebra de Ab Kmil est disponible en tres ediciones: una edicin de
segunda edicin, el texto aparece en la pgina 124 (Freudenthal, 2001, p. la traduccin hebrea del siglo XV del judo probablemente espaol
124). Mordecai Finzi, con traduccin al ingls del texto hebreo de Martin Levey
2
Ver en la tercera entrega de estas historias la discusin sobre si el libro de (Levey, 1966); una edicin de la traduccin latina del siglo XIV (Sesiano,
Ibn Turk es anterior o no al de al-Khwrizm (Puig, 2009). 1993), y una edicin del texto rabe con traduccin al alemn (Chalhoub,
3
En Puig & Rojano (2004) present sucintamente, siguiendo una indicacin 2004).
9
que aparece en Hyrup (1994), cmo esta hiptesis puede apoyarse en el Obsrvese que al-Ts utiliza aqu la palabra murabac y no la palabra ml,
hecho de que esos trminos aparecen en dos partes distintas, y separadas porque se refiere al cuadrado figura geomtrica y no al cuadrado alge-
por doscientas pginas, del Liber Abacci de Leonardo de Pisa, sin que braico, que como sabemos se denomina ml, tesoro, en el lenguaje alge-
Leonardo de Pisa relacione ambas partes de forma alguna. braico de la poca.
4 10
Rashed no duda en atribuirle a al-Khwrizm la paternidad del trmino. Su libro contra los judos se titula Ifhm al-Yahd, Confundir a los jud-
Hyrup por el contrario apunta que el trmino probablemente venga de os, y fue muy popular en la Edad Media a raz de su traduccin al latn en
una tradicin anterior, que, hasta ahora, no ha dejado rastro escrito. El el siglo XIV, por lo que ha sido traducido tambin al alemn, el italiano, el
historiador egipcio Rashed suele ser muy contundente en sus afirmacio- ingls, el espaol y el ruso (Ahmed & Rashed, 1972, p. 3).
nes, en particular cuando se trata de atribuir prioridades a los autores que 11
Del al-Fakhr hay una edicin resumida y comentada en francs por Franz
edita. Woepcke (Woepcke, 1853). Del Libro maravilloso hay una edicin de Adel
5
Ver la lista de las veinticinco formas cannicas en la anterior entrega de Anbouba del texto rabe con un comentario y un resumen en francs
estas historias (Puig, 2010). Dir de paso que nada de esto puede obser- (Anbouba, 1964). De El suficiente sobre clculo hay una traduccin ale-
varse en el libro de Moreno dedicado a cUmar al-Khayym, publicado por mana de Adolf Hochheim (Hochheim, 1878).
Nvola: en l, Moreno escribe la lista de formas cannicas con la cosa en
vez de la raz, cuando no aparece as en el texto rabe.
99
SUMA 66
Febrero 2011
REFERENCIAS BIBLIOGRFICAS
Abdeljaouad, M. (2005). 12th Century Algebra in an Arabic Poem : Puig, L. (2009). Historias de al-Khwrizm (3 entrega). Orgenes del
Ibn Al-Ysamns Urjza fil-jabr wal-muqbala. Tunis. lgebra. Suma, 60, pp. 103-108.
Descargable en enero de 2011 de: Puig, L. (2010). Historias de al-Khwrizm (4 entrega). El proyecto
http://membres.multimania.fr/mahdiabdeljaouad/Urjuza.pdf algebraico. Suma, 65, pp. 87-94.
Ahmad, S. & Rashed, R. (Eds.) (1972). Al-Bhir en algbre das- Puig, L., y Rojano, T. (2004). The history of algebra in mathematics
Samawal. Damas: Universit de Damas. education. In K. Stacey, H. Chick, y M. Kendal (Eds.), The future
Al-Ts, S. (1986). uvres mathmatiques. Tome I et II. Texte tabli of the teaching and learning of algebra: The 12th ICMI study (pp.
et traduit par R. Rashed. Paris: Les Belles Lettres. 189-224). Boston / Dordrecht / New York / London: Kluwer
Anbouba, A. (Ed.) (1964). Lalgbre al-Badc dal-Karag. Beyrouth: Academic Publishers.
Publications de luniversit libanaise. Rashed, R. (Ed.). 1984. Diophante. Tome III. Les Arithmtiques. Livre
Bentaleb, F. (Ed.) (1999). Ab al Hasn al-Qalasd. Sarh talhs aml IV, et Tome IV, Livres V, VI et VII. Texte de la traduction arabe de
al hisb. uvre mathmatique en Espagne musulmane du XVe Qust ibn Lq tabli et traduit par Roshdi Rashed. Paris: Les
sicle. Beyrouth: Dar al-Gharb al-Islami. Belles Lettres.
Chalhoub, S. (Ed.) (2004). Die Algebra Kitab al-Gabr wal-muqabala Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de l'alg-
des Abu Kamil Soga ibn Aslam. Aleppo: Aleppo University. bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert/ Rashed, R., y Vahebzadeh, B. (1999). Al-Khayym mathmaticien.
Adapt. Paris: Librairie Scientifique et Technique Albert Blanchard.
Freudenthal, H. (1983). Didactical Phenomenology of Mathematical Snchez Prez, J. A. (1916). Compendio de lgebra de Abenbder.
Structures. Dordrecht: Kluwer. Madrid: Junta para la ampliacin de estudios e investigaciones
cientficas.
Freudenthal, H. (1994). Fenomenologa didctica de las estructuras
matemticas. Textos seleccionados. (L. Puig, Introduccin, tra- Sayili, A. (Ed.). (1962). Abdlhamid ibn Trkn Katk denklemler-
duccin y notas.) Mxico: CINVESTAV. de Mantk Zururetler adl yazs ve Zamann Cebri (Logical
necessities in mixed equations by cAbd al-Hamd Ibn Turk and the
Freudenthal, H. (2001). Fenomenologa didctica de las estructuras algebra of his time). Ankara: Trk Tarih Kurumu Basmevi.
matemticas. Textos seleccionados. (2 edicin ampliada). (L.
Puig, Introduccin, traduccin y notas.) Mxico: CINVESTAV. Sesiano, J. (1993). La version latine mdivale de lAlgbre dAb
Kmil. In M. Folkerts, and J. P. Hogendijk (eds.) Vestigia
Hochheim, A. (ed., trans.), (1878). Kf f l Hisb (Gengendes ber Mathematica. Studies in medieval and early modern mathema-
Arithmetik) des Abu Bekr Muhammed ben Alhusein Alkarkhi. I- tics in honour of H. L. L. Busard (pp. 315-452). Amsterdam and
III. Halle: Louis Nebert. Atlanta, GA: Editions Rodopi B. V.
Hyrup, J. (1994). The Antecedents of Algebra, Filosofi og videns- Souissi, M. (2001). Feuilles dautomne ou En souvenir des Congrs et
kabsteori p Roskilde Universitetcenter. 3. Rkke: Preprint og Colloques du patrimoine scientifique Maghrbo-arabe. Beyrouth:
Reprints 1994 nr. 1. Dar al-Gharb al-Islami.
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms Woepcke, F. (1853). Extrait du Fakhr, trait dalgbre par Abo Bekr
al-jabr: A critical edition. Mediaeval Studies 48, pp. 211-263. Mohammed ben Alhaan Alkarkh; precede dun mmoire sur lal-
Levey, M. (ed.) (1966). The Algebra of Ab Kmil, in a Commentary gbre indtermin chez les Arabes. Paris: LImprimerie Impriale.
by Mordecai Finzi. Hebrew text and translation, and commen-
tary. Madison, WI: The University of Wisconsin Press.
Este artculo fue solicitado por Suma en diciembre de 2010 y aceptado en enero de 2011 para su publicacin
100
Historias
Historias de al-Khwrizm (6 entrega). El clculo
67 con la cosa
Junio 2011, pp. 101-110
C lculo literal, clculo con especies, clculo con ningn signo distinto de las palabras del lenguaje vernculo.
la cosa No hay pues en el libro de al-Khwrizm, estrictamente
hablando, lo que nosotros llamamos clculo literal, en el sen-
Como ya vimos en una entrega anterior de estas historias que tido de clculo con letras. Sin embargo, s que hay desarrolla-
subtitul El proyecto algebraico (Puig, 2010), Franois Vite, do un clculo con la cosa y un clculo con especies, hay pues
en su libro Introduccin al arte analtica (In artem analyticem una logstica especiosa. Adems, al-Khwrizm le dedica a
Isagoge), presenta lo que l llama Logstica especiosa, un cl- ese clculo una parte especfica del libro situada antes de que
culo que no se hace con nmeros, sino con especies, con for- aborde el procedimiento para resolver los problemas y des-
mas de nmeros. Tambin vimos que esto es lo que le permi- pus de haber expuesto cules son los objetos de los que va a
te efectuar el anlisis para resolver los problemas. La logstica tratar el clculo, es decir, las especies de nmeros, y haber
especiosa, en el caso de Vite, y esto le hace ser considerado establecido el conjunto completo de formas cannicas, sus
el iniciador del lgebra simblica, se acompaa de un clculo algoritmos de solucin y las demostraciones de esos algorit-
con letras. As lo dice explcitamente Vite en el recto del folio mos.
5 de la Introduccin al arte analtica:
Los captulos del libro en que al-Khwrizm desarrolla ese
Logistice numerosa est qu per numeros, Speciosa qu per clculo con la cosa y con especies son (con la numeracin que
species seu rerum formas exhibetur, ut pote per Alphabetica les di en Puig, 2010) los siguientes:
elementa.
[La Logstica numerosa es la que se presenta mediante
nmeros, la Especiosa la que se presenta mediante especies 6. Sobre la multiplicacin.
o formas de las cosas, como, por ejemplo, mediante elemen- 7. Sobre la adicin y la substraccin.
tos alfabticos] (Vite, 1591, p. 5r). 8. Sobre la divisin.
101
SUMA 65
Noviembre 2010
En el captulo Sobre la multiplicacin al-Khwrizm calcula del clculo con los nmeros hindes (Allard, 1992)1. En efecto,
con la cosa y en los clculos aparecen las especies. En los otros lo que hace al-Khwrizm es explicar que para multiplicar
dos captulos calcula con especies y con radicales, sin que apa- decenas ms unidades por decenas ms unidades hay que
rezca el trmino cosa. Adems, al final del captulo Sobre la hacer cuatro multiplicaciones. Pero no slo explica eso, sino
divisin vuelve sobre tres de los clculos expuestos en el cap- que extiende el modelo concreto del clculo aritmtico hind
tulo Sobre la adicin y la substraccin para demostrarlos. a la situacin en que las unidades no se aaden a las decenas
Veamos, en primer lugar, cmo explica al-Khwrizm el cl- (como en la representacin hind de los nmeros) sino que se
culo con la cosa. substraen:
Como para al-Khwrizm los nmeros son positivos, tiene Entonces, si las unidades que estn con las decenas son
que haber dos tipos de expresiones con la substraccin, las ambas aadidas, la cuarta multiplicacin es aditiva, y si son
ambas substradas, la cuarta multiplicacin es tambin aditi-
cosas disminuidas en un nmero y las cosas restadas de un
va. Pero si unas estn aadidas y otras substradas, la cuarta
nmero, mientras que slo hay un tipo de expresin cuando multiplicacin es substractiva (Rashed, 2007, p. 122-123;
se suman cosas y nmeros. Veremos ms adelante que en uno Hughes, 1986, p. 241).
de los ejemplos al-Khwrizm dice explcitamente que diez
ms cosa y cosa ms diez es lo mismo, y por qu necesita Vale la pena detenerse un momento en el detalle de los trmi-
decirlo. nos que acompaan este modelo aritmtico de la regla de los
signos: al-Khwrizm no multiplica los signos ms y menos a
Para ensear a multiplicar esas expresiones con la cosa al- la manera de la moderna formulacin de la regla de los signos
Khwrizm recuerda qu significa multiplicar: (+ + = +; + = ; = +). Al-Khwrizm no dice siquie-
ra en lenguaje vernculo: ms por ms, ms; ms por menos,
Que sepas que para cualquier nmero multiplicado por otro menos; menos por menos, ms. Al-Khwrizm no habla de
nmero es necesario sumar uno de los nmeros tantas veces esos signos sueltos, sino de las cantidades que se suman o se
como las unidades que contiene el otro (Rashed, 2007, p.
restan.
122-123; Hughes, 1986, p. 241).
Al-Khwrizm no contina, como podra esperarse, dando Pero adems, al-Khwrizm no habla de cantidades positivas
ahora una regla para multiplicar las expresiones con nmeros o cantidades negativas, esto ltimo es simplemente impensa-
y cosas, sino que presenta una situacin puramente aritmti- ble, sino de cantidades que se suman y cantidades que se res-
ca que utiliza como un modelo ms concreto a partir del cual tan a otras: en este caso unidades aadidas y unidades
dar sentido a los clculos (algebraicos) con la cosa. La situa- substradas a unas decenas. El calificativo aadido o subs-
cin en cuestin es la multiplicacin de nmeros cuando trado, aditivo o substractivo no tiene sentido para una
estn representados en el sistema de numeracin posicional cantidad aislada, slo tiene sentido para una cantidad que est
decimal, es decir, lo que al-Khwrizm explicar en su Libro inmersa en un clculo. La regla de multiplicacin es pues una
102
SUMA 65
Noviembre 2010
regla operatoria sobre lo que la cantidad est realizando o ha Si se tiene diez menos uno por diez menos uno, el diez por el
diez es cien; y el uno substrado por el diez es diez substrac-
realizado en una operacin aritmtica: ser aadida o ser subs-
tivo, y el uno tambin substrado por el diez es diez substrac-
trada en el curso de la realizacin de un clculo es lo que le tivo. Esto es ochenta. Y el uno substrado por el uno substra-
da a las cantidades, slo a efectos de ese clculo, el carcter do, uno aditivo. Esto es pues ochenta y uno.
aditivo o substractivo. Ese carcter aditivo o substractivo no Si se tiene diez y dos por diez menos uno, el diez por el diez
es pues una propiedad absoluta de una cantidad, sino una pro- es cien; el uno substrado por el diez es diez substractivo; el
piedad de la cantidad relativa a un clculo concreto en el que dos aadido por el diez es veinte aditivo. Esto es ciento diez.
El dos aadido por el uno substrado es dos substractivo.
aparece: como se est multiplicando una cantidad, a la que se
Todo esto es pues ciento ocho (Rashed, 2007, pp. 122-125;
le ha aadido otra, por otra cantidad, a la que se le ha subs- Hughes, 1986, pp. 241-242).
trado otra, el cuarto producto es una cantidad substractiva,
es decir, una cantidad que se va a substraer de otra. Los tres ejemplos son pues
Por otro lado, la regla slo est enunciada para la cuarta mul- (10 + 1) (10 + 2)
tiplicacin, que es la multiplicacin en la que los factores pro- (10 1) (10 1)
vienen ambos de las cantidades que estn aadidas o substra- (10 + 2) (10 1)
das a otras. Slo en este caso tiene al-Khwrizm que enun-
ciar una regla. En los otros casos, interviene una cantidad que Los dieces son siempre cantidades que ni son aadidas ni
ni est aadida ni est substrada, sino que es la cantidad a la substradas. En los clculos al-Khwrizm siempre escribe
que se le aade o se le quita algo. Cuando dos de esas canti- diez sin calificativo alguno. En el primer ejemplo, en que las
dades se multiplican, el producto no es aditivo ni substracti- otras cantidades estn ambas aadidas, al-Khwrizm no se
vo, es de nuevo una cantidad a la que se le aade o se le quita preocupa de escribir el calificativo aadido con el uno o el
algo. Cuando una de estas cantidades se multiplica por una dos, pero en los otros dos ejemplos, siempre lo escribe: el uno
cantidad aadida o substrada, el producto resultante tiene el substrado, el dos aadido.
carcter aditivo o substractivo de la cantidad por la que se
multiplica, sin que la cantidad que ni es aadida ni substrada Los productos siempre van acompaados de su calificativo,
pueda influir en ese carcter. aditivo o substractivo, de manera que el clculo se comple-
ta luego realizando sobre el primer producto, es decir, el
Al-Khwrizm ejemplifica a continuacin las reglas que ha resultado de la multiplicacin de las dos cantidades iniciales
formulado en general en el modelo aritmtico concreto con (que es al que se van a aadir o del que se van a substraer el
tres ejemplos numricos, elegidos para tener uno de cada una resto de los productos) las adiciones o substracciones corres-
de las posibilidades de producto de unidades aadidas y pondientes al carcter de los otros tres productos. Al-
unidades substradas. El primero, y ms simple, es: Khwrizm, adems, se detiene en subrayar el efecto de la
cuarta multiplicacin, que es en la que ambos factores estn
Por ejemplo: diez y uno por diez y dos; el diez por el diez es calificados como aadido o substrado.
cien; el uno por el diez, diez aditivo; el dos por el diez, veinte
aditivo; el uno por el dos, dos aditivo. Y todo esto es treinta y
Una vez expuestos los ejemplos de los clculos aritmticos
dos. (Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
que son el modelo concreto para ensear las reglas de clculo
En este ejemplo est patente ese carcter asimtrico de la adi- con la cosa, al-Khwrizm dice explcitamente que sa ha sido
cin que hemos indicado: en diez y uno, diez es la cantidad a su intencin al explicar todo lo anterior:
la que se le suma otra cantidad; uno es la cantidad aadida. El
modelo de adicin que subyace es el de una cantidad inicial al Te he mostrado esto para indicarte cmo multiplicar las
que se le aade una cantidad que cambia la cantidad inicial, cosas unas por otras, si estn aadidas a un nmero, o resta-
das de un nmero, o disminuidas por un nmero (Rashed,
no es el modelo de adicin que la presenta como el cardinal de
2007, pp. 124-125; Hughes, 1986, p. 242).
la unin de dos conjuntos disjuntos y en el que los dos suman-
dos desempean el mismo papel en la adicin. Dicho esto, al-Khwrizm desgrana ejemplos de clculos con
expresiones con la cosa del estilo que ha anunciado, en los
Ambos dieces, el de diez y uno y el de diez y dos, son can- que, al poner en funcionamiento para esas expresiones alge-
tidades que ni son aadidas ni substradas: su producto, por braicas los clculos que ha mostrado en el modelo concreto
tanto, no es aditivo ni substractivo. Al-Khwrizm escribe el aritmtico, va ms all de la imitacin con las expresiones
diez por el diez es cien, y no el diez por el diez es cien aditi- algebraicas de los clculos aritmticos. En particular, lo aditi-
vo. En las otras tres multiplicaciones, el producto s que est vo y lo substractivo dejan de ser calificativos estrictamente
calificado, en este caso, siempre como aditivo. Veamos los ligados a lo que se aade o se substrae a una cantidad que ni
otros dos ejemplos: es aditiva ni substractiva, para calificar tambin a las cantida-
des que en las expresiones aritmticas aparecan como canti-
103
SUMA 65
Noviembre 2010
dades iniciales. Pero adems, lo substractivo, aunque sigue cosa por menos cosa, tesoro aditivo. Resulta pues cien y teso-
ro menos veinte cosas (Rashed, 2007, pp. 124-125; Hughes,
apareciendo como substrado de una cantidad, parece inde-
1986, p. 242).
pendizarse en el curso de los clculos. Veamos cmo son los
ejemplos. En estos cuatro ejemplos, al-Khwrizm hace las dos o las cua-
tro multiplicaciones por separado, y luego combina los pro-
Los ejemplos son estos diez: ductos teniendo en cuenta si cada uno de ellos es aditivo o
substractivo. Hasta aqu no hace ms que calcar sobre las
1. (10 x) 10 2. (10 + x) 10 expresiones con la cosa lo que ha hecho con el modelo arit-
3. (10 + x) (10 + x) 4. (10 x) (10 x) mtico ms concreto, substituyendo simplemente el uno o el
5. (1 1/6) (1 1/6) 6. (10 x) (10 + x) dos, que estaban aadidos o substrados a diez en los ejemplos
7. (10 x) x 8. (10 + x) (x 10) aritmticos, por la cosa.
9. (10 + x/2) (1/2 5x) 10. (10 + x) (x 10)
Sin embargo, hay algo que es nuevo: en los ejemplos aritmti-
El quinto ejemplo no es en realidad un clculo de expresiones cos en que aparece diez menos uno, al-Khwrizm llamaba
con la cosa, sino que el lugar de la cosa est ocupado por una en los clculos el uno substrado a ese uno que en la expre-
fraccin. En el ejemplo noveno tambin hay fracciones, o, sin aritmtica est despus de la palabra menos, aqu al-
para ser ms preciso, mitades, y curiosamente, el nmero de Khwrizm ante la expresin equivalente diez menos cosa no
cosas es la mitad de diez. Estos dos ejemplos no responden al dice en los clculos la cosa substrada, sino menos cosa ya
mismo esquema sistemtico de desarrollo de posibilidades desde el primer ejemplo.
que los otros, y slo parece tener sentido que al-Khwrizm
los incluya por la dificultad que conllevaba el clculo con frac- Lo substrado de una cantidad, el uno substrado de diez en
ciones en su poca. el ejemplo aritmtico expresado en la frase diez menos uno,
se independiza para ser no una cosa substrada sino menos
En el ejemplo dcimo, cuyo enunciado es el mismo que el del cosa.
octavo, lo que hace al-Khwrizm es decir que diez y cosa es
lo mismo que cosa y diez y desarrollar entonces el clculo Por supuesto que esto est lejos de indicar la constitucin de
(x + 10) (x 10). la idea de nmero negativo: slo cuando nombra lo que se va
a multiplicar dice al-Khwrizm menos cosa, en cuanto se
Veamos en detalle cmo desarrolla al-Khwrizm los ejem- trata del resultado de la multiplicacin, de nuevo est presen-
plos. Empecemos por los cuatro primeros. te que cualquier cosa que lleve delante la palabra menos
representa una cantidad que ha de substraerse de otra. El
1. (10 x) 10 resultado de la multiplicacin de menos cosa por diez no es
menos diez cosas, sino diez cosas substractivas. La palabra
Si se te dice: diez menos cosa, y el sentido de la cosa es la raz,
menos, la expresin menos cosa slo se ha independizado
por diez, entonces multiplica diez por diez, resulta cien, y
de la cantidad de la que se substrae mientras se est calculan-
menos cosa por diez, resulta diez races substractivas.
Decimos: cien menos diez cosas (Rashed, 2007, pp. 124-125;
do con ella.
Hughes, 1986, p. 242).
Eso no quita para que la reiteracin a lo largo del texto de al-
2. (10 + x) 10 Khwrizm de la expresin menos cosa le d carta de natu-
raleza como parte del lenguaje algebraico que al-Khwrizm
Si se dice: diez y cosa por diez, t multiplicas diez por diez,
resulta cien, y cosa por diez, resulta diez cosas aditivas. Se usa en su libro, y probablemente contribuy a establecer. Si
tiene pues cien y diez cosas (Rashed, 2007, pp. 124-125; usamos la clsica caracterizacin de Nesselman (1842) de los
Hughes, 1986, p. 242). tipos de lenguaje algebraico, el texto de al-Khwrizm es
retrico porque los clculos algebraicos estn expresados
3. (10 + x) (10 + x)
totalmente y en detalle usando palabras del lenguaje verncu-
Si se dice: diez y cosa por s misma, t dices: diez por diez, lo. Ahora bien, decir que entonces el lgebra est escrita en
cien, y diez por cosa, diez cosas, y diez por cosa, diez cosas lenguaje vernculo es contar slo la mitad de la historia: al-
tambin, y cosa por cosa, tesoro aditivo. Resulta entonces Khwrizm slo usa el lenguaje vernculo, por supuesto, pero,
cien dirhams y veinte cosas y tesoro aditivo (Rashed, 2007, por un lado, fija significados tcnicos de las palabras, y, por
pp. 124-125; Hughes, 1986, p. 242).
otro, y ms importante para lo que quiero sealar aqu, esque-
4. (10 x) (10 x) matiza y estereotipa el texto. Salta a la vista cuando se lee el
libro de lgebra de al-Khwrizm, o simplemente los fragmen-
Si se dice: diez menos cosa por diez menos cosa, t dices: diez
por diez, cien, y menos cosa por diez, diez cosas substracti-
tos que estoy citando aqu, que al-Khwrizm construye frases
vas, y menos cosa por diez, diez cosas substractivas, y menos repitiendo expresiones verbales que, por la reiteracin, se
104
SUMA 65
Noviembre 20109
convierten en frmulas estereotipadas. El historiador libans que se pone la palabra cosa en dual. Esto explica la forma en
Adel Anbouba dice que una frase como ill shay f ill shay que al-Khwrizm da aqu el resultado: en rabe se ve como
ml zid (menos cosa por menos cosa, tesoro aditivo), que ms simple la expresin dos tercios y un sexto de un sexto
acabamos de encontrar en el cuarto ejemplo, va contra la que veinticinco partes de treinta y seis partes.
gramtica (Anbouba, 1978, p. 72). Al-Khwrizm rompe la
gramtica de la lengua verncula como parte de su elabora- Lo que interesa sealar, y va en el sentido que haba adelanta-
cin del sistema de signos del lgebra, que no se hace con ms do antes de exponer este ejemplo, es que aqu al-Khwrizm
materia de la expresin que la de la propia lengua verncula2. aplica al clculo de expresiones con fracciones la regla que ha
La nueva gramtica produce textos esquemticos y estereoti- enunciado para expresiones con la cosa, e incluso usa el
pados: menos cosa es ms compacto y manejable en un mismo lenguaje esquematizado y estereotipado que viola la
texto esquemtico y estereotipado que la cosa substrada, y, gramtica: menos un sexto por menos un sexto, etc.
una vez se ha permitido violar la gramtica, se puede inde-
pendizar de la expresin completa que le daba sentido (diez Veamos ahora los ejemplos sexto, sptimo y octavo
menos cosa), para designar algo con lo que se hacen clculos
algebraicos3. 6. (10 x) (10 + x)
Veamos el quinto ejemplo, en el que no aparece la cosa, pero Si se dice: diez menos cosa por diez y cosa, t dices: diez por
que al-Khwrizm enlaza con los anteriores al empezar diez, cien, y menos cosa por diez, diez cosas substractivas;
cosa por diez, diez cosas aditivas, y menos cosa por cosa,
diciendo De la misma manera, lo que nos podra hacer pen-
tesoro substractivo. Y esto es cien dirhams menos un tesoro
sar que el sentido de incluir este ejemplo no est en usarlo (Rashed, 2007, pp. 126-127; Hughes, 1986, p. 242).
como modelo aritmtico y por tanto ms concreto de la mul-
tiplicacin de expresiones con la cosa, sino, por el contrario, 7. (10 x) x
como aplicacin ahora de esos clculos de vuelta a la aritm-
tica, para unos clculos que son dif ciles. Si se dice: diez menos cosa por cosa, t dices: diez por cosa,
diez cosas, y menos cosa por cosa, tesoro substractivo.
Resulta pues diez cosas menos un tesoro (Rashed, 2007, pp.
5. (1 1/6) (1 1/6)
126-127; Hughes, 1986, pp. 242-243).
105
SUMA 65
Noviembre 2010
que tiene la misma raz que al-muqbala, la palabra que apa- ro. Pero eso no completa el clculo, sino que el resultado se da
rece en el ttulo del libro de al-Khwrizm acompaando a al- con la expresin algebraica en su forma esquemtica y estere-
jabr, y que es el nombre de una de las operaciones fundamen- otipada: un tesoro menos cien dirhams.
tales que definen el clculo. Esa raz tiene el significado de
oponer una cosa a otra, y se usa para compensar los trminos Despus de este ltimo ejemplo, al-Khwrizm termina el
de una expresin algebraica que sean de la misma especie. En captulo Sobre la multiplicacin recapitulando:
el caso de este clculo, hay dos de las cuatro multiplicaciones
que han producido trminos de la misma especie: diez cosas Y para todo lo que se obtiene por la multiplicacin de aditi-
aditivas y diez cosas substractivas. El calculista algebraico las vo y substractivo, como menos cosa por cosas aadidas, el
ltimo producto es substractivo siempre. (Rashed, 2007, pp.
opone, las pone una frente a otra y las compensa, en este caso
128-129; Hughes, 1986, p. 243).
la oposicin, al-muqbala, tiene como consecuencia que las
cosas se eliminan y en la expresin final no hay cosas, slo dir-
hams y tesoros.
El clculo con especies
El ejemplo noveno, ya lo anunciaba cuando comenzamos a Al-Khwrizm slo trata con tres especies: tesoros, races y
examinar estos ejemplos, es peculiar por la presencia de mita- simples nmeros. En el captulo Sobre la multiplicacin, que
des: hemos examinado, desarrolla un clculo con expresiones en
las que est la cosa y ensea a calcular con las cosas si estn
9. (10 + x/2) (1/2 5x) solas, si estn con un nmero, si estn disminuidas en un
nmero o si estn restadas de un nmero. Con ello trata todas
Si se dice: diez dirhams y media cosa por medio dirham las multiplicaciones entre expresiones con especies que pue-
menos cinco cosas, t dices: medio dirham por diez, cinco den aparecer en su clculo; cualquier otra multiplicacin exi-
dirhams aditivos; y medio dirham por media cosa, un cuarto
gira ampliar la serie de las especies, incluyendo el cubo, el
de cosa aditivo, y menos cinco por diez dirhams, cincuenta
races substractivas. Resulta la suma de todo entonces cinco tesoro tesoro, el tesoro cubo, etc., como hicieron tras l sobre
dirhams menos cuarenta y nueve races y tres cuartos de raz. todo al-Karaj, as-Samawal y los que les siguieron. En los
Multiplicas luego cinco races substractivas por media raz otros dos captulos al-Khwrizm aborda las tres operaciones
aditiva. Resulta dos tesoros y medio substractivos. Es enton- aritmticas que faltan: adicin, substraccin y divisin. Sin
ces cinco dirhams menos dos tesoros y medio y menos cua- embargo, en estos captulos al-Khwrizm no sigue calculan-
renta y nueve races y tres cuartos de raz. (Rashed, 2007, pp.
128-129; Hughes, 1986, p. 243).
do con la cosa; de hecho, la palabra cosa ni siquiera aparece
una sola vez en ellos. Las expresiones con las que al-
Khwrizm calcula en estos dos captulos son algunas expre-
Este ejemplo nos hace ver de nuevo que la presencia de frac- siones con especies y, sobre todo, expresiones en las que apa-
ciones era una dificultad notable para los clculos, pero no recen radicales.
nos vamos a entretener ms que en constatarlo.
No examinar los dos captulos completos como he hecho en
El ltimo ejemplo muestra, en primer lugar, que es necesario el caso del captulo Sobre la multiplicacin, sino que me
decir explcitamente que diez y cosa es lo mismo que cosa y limitar a examinar unos clculos que presenta en el captulo
diez. Sobre la adicin y la substraccin que son peculiares. En el
conjunto de estos dos captulos, el estilo de presentacin es
10. (10 + x) (x 10) bastante diferente del que hemos visto que al-Khwrizm uti-
liza en el captulo Sobre la multiplicacin: no hay aqu
Si se dice: diez y cosa por cosa menos diez. Es como si se modelo concreto alguno a partir del cual se le d sentido a los
hubiera dicho: cosa y diez por cosa menos diez. T dices: cosa clculos algebraicos. Los clculos que vamos a examinar tie-
por cosa, tesoro aditivo; diez por cosa, diez cosas aditivas;
nen la peculiaridad, adems, de que al-Khwrizm los
menos diez por cosa, diez cosas substractivas. Se anula lo
aditivo con lo substractivo y queda el tesoro. Y menos diez demuestra mediante figuras en dos casos, y dice que no es
por diez, cien substrado del tesoro. Resulta pues un tesoro posible demostrarlo mediante figuras en otro, pero que en ese
menos cien dirhams. (Rashed, 2007, pp. 128-129; Hughes, caso se puede hacer una demostracin con palabras. Esta
1986, p. 243). demostracin con palabras puede verse como el germen de
la demostracin puramente algebraica.
Aqu, la oposicin de los dos trminos que son de la misma
especie se enuncia sin tanta precisin como en el ejemplo Los dos primeros clculos no son clculos con especies sino
octavo, y como despus de las tres primeras multiplicaciones con radicales, en concreto la adicin y la substraccin de dos
slo queda el tesoro, la cuarta multiplicacin, que da un resul- binomios con radicales cuadrticos que son irracionales:
tado substractivo, se enuncia como cien substrado del teso-
106
SUMA 65 SUMA 67
Noviembre 2010 Junio 2011
( ) (
200 10 + 20 200 ) Sobre la adicin y la substraccin con cuestiones cmo
duplicar la raz de cualquier tesoro, conocido o sordo, tripli-
y carla, etc., cuestiones que no vamos a examinar, y slo al final
(20 ) ( )
del captulo Sobre la divisin aparecen las demostraciones.
200 200 10
La primera de ellas, que pretende demostrar que efectiva-
Veamos cmo enuncia al-Khwrizm los clculos: mente
Figura 1 Figura 2
107
SUMA 67
Junio 2011
cular en la figura no desempea papel alguno) va a represen- operaciones de cortar, trasladar y pegar, en este caso los seg-
tar el otro binomio, comenzando para ello por la cantidad a la mentos). En ningn caso se duda que lo que se vea pueda ser
que se le substrae algo, en este caso, por el veinte. El segmen- engaoso, continuamente est diciendo al-Khwrizm es evi-
to BD se construye de manera que sea el doble del segmento dente que (Cremona traduce ergo manifestum est nobis,
AC, ya que ste representa diez, y ahora se trata de represen- por tanto es evidente para nosotros).
tar veinte. De la misma manera, llevar a ese nuevo segmento
otro igual a la raz de doscientos, para representar as veinte Por tanto, al-Khwrizm no busca la garanta de verdad en un
menos la raz de doscientos, es decir, el binomio que se suma conjunto establecido de proposiciones que se aceptan como
al inicial: verdaderas y de procedimientos de derivacin de nuevas pro-
posiciones verdaderas a partir de las ya establecidas. Es decir,
Del punto B al punto E una igual a la recta AB, es tambin la no son demostraciones que se sustenten en el edificio eucl-
raz de doscientos. El resto del veinte es del punto E al punto deo de definiciones, nociones comunes, postulados y propo-
D (Rashed, 2007, pp. 136-137; Hughes, 1986, p. 245).
siciones derivadas a partir de ellos. Son demostraciones
hechas con figuras geomtricas, pero no demostraciones geo-
Con los dos binomios representados, ya est en condiciones mtricas (en el sentido eucldeo).
de representar su adicin:
La segunda de las demostraciones es del mismo estilo. En la
Ya que queremos aadir lo que queda de la raz de doscien- figura 3 indicamos cmo estn representadas las expresiones
tos una vez quitado el diez, que es la recta CB, a la recta ED, en la figura que al-Khwrizm construye. La figura 4 es la que
que es veinte menos la raz de doscientos, cortamos de la
aparece en la edicin de Masharrafa y Ahmad del texto de al-
recta BE una recta igual a la recta CB, sea la recta GE
(Rashed, 2007, pp. 136-139; Hughes, 1986, p. 245). Khwrizm (Masharrafa y Ahmad, 1939 p. 34).
Es decir, al-Khwrizm traslada ahora el segmento que repre- En cuanto a la causa de la raz de doscientos menos diez
senta raz de doscientos menos veinte en la primera recta a la substrada de veinte menos raz de doscientos, he aqu la
figura: la recta AB es la raz de doscientos; de A al punto C,
segunda recta, colocndolo a continuacin del segmento que
es el diez conocido. Construyamos del punto B al punto D
representa veinte menos la raz de doscientos, de manera que una recta y pongmosla veinte. Pongamos del punto B al
est a la vez separando una parte del segmento que represen- punto E una recta igual a la recta raz de doscientos, que es
ta a la raz de doscientos. Entonces puede identificar los seg- igual a la recta AB. Es evidente que la recta CB es lo que
mentos correspondientes en las dos rectas que ha construido. queda de la raz de doscientos, una vez quitado el diez, y que
la recta ED es lo que queda de veinte una vez quitada la raz
Ahora bien, es evidente que la recta AB, que es la raz de dos- de doscientos. (Rashed, 2007, pp. 138-139; Hughes, 1986, p.
cientos, es igual a la recta BE; que la recta AC, que es el diez, 246).
es igual a la recta BG, y que el resto de la recta AB que es CB,
La representacin comienza de la misma manera que en el
es igual al resto de la recta GE (Rashed, 2007, pp. 138-139;
Hughes, 1986, p. 245). caso anterior, ya que los binomios son los mismos, pero ahora
se trata de substraer uno de otro en vez de sumarlos, por lo
Con lo que puede proceder a ver que, representada as la adi- que la construccin del segundo segmento ha de ser distinta.
cin de los dos binomios en la segunda recta, el resultado es El diez que est substrado del binomio que se substrae, lo
el que haba enunciado. coloca en la figura aadido al segmento que representa el
binomio del que se tiene que substraer, en la derecha del seg-
Aadimos a la recta ED la recta GE; ser evidente que se ha mento que lo representa (ver la figura 3).
substrado de la recta BD, que es veinte, una recta igual a la
recta AC, que es diez, es decir, la recta BG, y que nos queda Queremos substraer la recta CB de la recta ED.
la recta GD, que es diez (Rashed, 2007, pp. 138-139; Hughes, Construyamos una recta desde el punto B al punto G, que se
1986, p. 245). igual a la recta AC, que es diez. La recta GD entera ser pues
igual a la recta GB, y la recta BD. Ahora bien, es evidente que
Y concluye: todo esto es treinta. (Rashed, 2007, pp. 138-141; Hughes,
1986, p. 246).
Lo que haba que demostrar. He aqu la figura (Rashed, 2007,
pp. 138-139; Hughes, 1986, p. 245). El resto de la demostracin transcurre de forma similar a la
La demostracin es del mismo estilo que la que al-Khwrizm anterior:
hace de los algoritmos de resolucin de las formas cannicas
compuestas. Una demostracin cuya garanta de verdad resi- Es evidente que la recta BE es la raz de doscientos, y que la
de en que se ve lo que se quiere demostrar en una figura en la recta GB y BC es igualmente la raz de doscientos. Ya que la
recta EH se ha hecho igual a la recta CB, ser evidente que lo
que se representan los objetos algebraicos (en este caso
que se ha substrado de la recta GB, que es treinta, es dos ra-
mediante segmentos) y las operaciones con ellos (mediante
108
SUMA 67
Junio 2011
Figura 3 Figura 4
ces de doscientos. Pero dos races de doscientos es la raz de Khwrizm recurre al artificio de que stos estn representa-
ochocientos (Rashed, 2007, pp. 140-141; Hughes, 1986, p.
dos por toda la superficie de la figura, lo que puede hacer ya
246).
que los simples nmeros estn relacionados con las otras dos
Y concluye: especies por substraccin o adicin en las ecuaciones. Esto no
puede hacerse si no se trata de representar una ecuacin, sino
Lo que haba que demostrar. He aqu la figura (Rashed, 2007, una expresin algebraica como las que tiene que representar
pp. 140-141; Hughes, 1986, p. 246). ahora, por eso dice al-Khwrizm que no le conviene una
figura porque tiene las tres especies y no hay con ellas lo que
La tercera demostracin que vamos a examinar es diferente, y les sea igual.
no tiene parangn con ninguna de las demostraciones que al-
Khwrizm hace en su libro. No es una demostracin con Al-Khwrizm concluye esta explicacin con una frase enig-
figuras geomtricas del estilo ingenuo, con la garanta de mtica:
verdad en lo que se ve, sin dudar de ello, que acabamos de ver
Pudimos hacer una figura de ello, pero no sensible (Rashed,
en prctica en las dos demostraciones anteriores. Lo que al- 2007, pp. 140-141; Hughes, 1986, p. 247).
Khwrizm quiere demostrar no es ahora un clculo con radi-
cales, sino una adicin de dos expresiones con especies, cuyo Nada ms nos dice al-Khwrizm de esa figura no sensible,
resultado ha enunciado en el captulo Sobre la adicin y la porque ante esta dificultad abandona el recurso a las figuras
substraccin unas pginas antes6: sensibles en las que cortar, trasladar y pegar para ver lo que se
quiere demostrar (y tampoco recurre a esa enigmtica figura
(100 + x2 20x) + (50 + 10x 2x2) = 150 x2 10x no sensible), para hacer lo que podemos llamar el primer
precursor del que tenemos noticia de una demostracin pura-
El mismo al-Khwrizm explica por qu no va a hacer una mente algebraica: una demostracin que se hace simplemen-
demostracin con figuras: te en el terreno de la expresin en el sistema de signos del
lgebra sin recurso a las figuras. Al-Khwrizm la llama
En cuanto a cien y un tesoro menos veinte races, a las que se demostracin mediante palabras (al-lafz), o por la expresin
aaden cincuenta y diez races menos dos tesoros, no le con- (Cremona traduce verbis, por las palabras):
viene ninguna figura porque est compuesta por tres espe-
cies diferentes, tesoros, races y nmeros, y no hay con ellas
En cuanto a su necesidad es evidente en palabras7 [por la
lo que les sea igual, para que pueda ser representado en una
expresin] (Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
figura (Rashed, 2007, pp. 140-141; Hughes, 1986, pp. 246-
247). sta es la demostracin por la expresin o en palabras:
En las demostraciones mediante figuras de los algoritmos de Sabes en efecto que tienes cien y un tesoro menos veinte ra-
solucin de las formas cannicas compuestas que hace al- ces. Ya que le has aadido cincuenta y diez races, resulta
ciento cincuenta y un tesoro menos diez races porque estas
Khwrizm, la manera que tiene de representar las tres espe-
diez races han restaurado las veinte races substradas a diez
cies depende efectivamente de que lo que ha de representar es races (Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
una ecuacin. En efecto, al-Khwrizm representa los tesoros
mediante cuadrados y las races mediante rectngulos en los Al-Khwrizm trata las expresiones por partes, considerando
que un lado representa la raz (del tesoro) y el otro el nmero que las dos que se van a aadir constan de una parte que es la
de races, con lo que las races es tambin una superficie. cantidad digamos principal o inicial, y otra que es la cantidad
Para representar la tercera especie, los simples nmeros, al- que se le ha quitado, y por tanto le falta a la cantidad inicial, y
109
SUMA 67
Junio 2011
ha de restaurarse en el curso de los clculos, si se quiere llegar tesoro se anula con un tesoro y te queda un tesoro. Resulta
pues ciento cincuenta menos un tesoro menos diez races
a una forma cannica. se es el sentido que tiene al-jabr, la
(Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
operacin fundamental del clculo: la restauracin de lo que
falta. Lo primero que hace aqu al-Khwrizm es restaurar las Y concluye
veinte races substradas a la primera cantidad (cien y tesoro)
con las diez races de la segunda cantidad, con lo que consigue Lo que haba que demostrar (Rashed, 2007, pp. 140-141;
Hughes, 1986, p. 247).
restaurar parte de lo que le falta a la primera. Ahora puede
tratar el caso de los dos tesoros que le faltan a la segunda can- inaugurando as una nueva forma de demostrar, cuya historia
tidad: vale la pena indagar8. Sin embargo, no puedo dejar de pensar
que me hubiera gustado ver esa figura no sensible que al-
Queda pues ciento cincuenta y un tesoro menos diez races; Khwrizm dice haber hecho, pero que se guard para s.
haba un tesoro con el cien; as, cuando has substrado de HISTORIAS
cien y un tesoro los dos tesoros substrados de cincuenta, un
NOTAS
1 re diminuta, en donde diminuta viene del verbo diminuere, substraer,
Se supone que el libro de clculo hind lo escribi al-Khwrizm despus
del libro de lgebra, porque al comienzo de l cita el libro de lgebra. y, por tanto, est mas cerca de cosa substrada que de menos cosa. En
Aunque esa hiptesis es plausible, cabe que no fuera as ya que no se con- consecuencia, cuando Cremona traduce la frase contra la gramtica rabe
serva ningn testimonio del libro de clculo hind que no est mezclado ill shay f ill shay ml zid (menos cosa por menos cosa, tesoro adi-
con textos procedentes de otras fuentes (ver la entrega de estas historias tivo), escribe res diminuta in rem diminutam fit census additus, literal-
de al-Khwrizm subtitulada Los Libros, Puig, 2008). Adems, que al- mente cosa substrada por cosa substrada hace censo aadido, en la que
Khwrizm an no hubiera escrito su libro de clculo hind no excluye no aparece menos cosa, quiz gracias a la sintaxis latina.
4
que no conociera ya la representacin de los nmeros hind que luego Sobre las complejas relaciones entre cosa y raz, ver la anterior entrega
contribuira decisivamente a difundir en todo el mundo. de estas historias, que subtitul precisamente La cosa (Puig, 2011).
2 5
El historiador tunecino Mahdi Abdeljaouad hace, en su introduccin a un Este clculo no aparece en la traduccin latina de Cremona.
texto del siglo XIV de Ibn al Him, un comentario del mismo orden: se ve 6
De la substraccin de estas dos expresiones, que tambin aparece enun-
funcionar una lengua matemtica, totalmente retrica, pero que respon- ciada en el captulo Sobre la adicin y la substraccin, pero no en la tra-
de a las reglas lingsticas especficas de la lengua algebraica duccin latina de Cremona, no da al-Khwrizm ninguna demostracin,
(Adbeljaouad, 2003, p. 11). Es ese responder a reglas especficas lo que ni la menciona al presentar esta demostracin.
permite hablar del sistema algebraico de signos del texto de al-Khwrizm, 7
Cremona traduce: Eorum vero necessitas verbis manifesta est, Cuya
aunque todo l sea retrico, es decir, no use ms materia de la expresin necesidad es evidente por las palabras [por la expresin].
que la materia de la expresin de la lengua verncula. 8
Vase un punto de vista para hacerlo en Puig (2009) y Puig (in press), y los
3
En la traduccin latina de Cremona, las cosas no son exactamente iguales. resultados de algunas indagaciones en el trabajo de Infante (2010), que se
Diez menos cosa por diez menos cosa es Decem re diminuta in decem han presentado parcialmente en Infante y Puig (2011).
REFERENCIAS BIBLIOGRFICAS
Abdeljaouad, M. (2003). Sharh al-Urjza al-Yasminya dIbn Al- Nesselman, G. H. F. (1842). Versuch einer Kritischen Geschichte der
Him texte tabli et comment par Mahdi Abdeljaouad. Tunis: Algebra, 1. Teil. Die Algebra der Griechen. Berlin: G. Reimer.
Association Tunisienne des Sciences Mathmatiques. Puig, L. (2008). Historias de al-Khwrizm (2 entrega). Los Libros.
Allard, A. (Ed.). (1992). Muhammad ibn Ms al-Khwrizm. Le Suma, 59, pp. 105-112.
calcul indien (Algorismus). Paris: Librairie Scientifique et Puig, L. (2009). Nave, geometric and algebraic proof in ancient and
Technique Albert Blanchard. modern times. Talk to the meeting Semiotic Approaches to
Anbouba, A. (1978). Lalgbre arabe aux IXe et Xe sicles. Aperu Mathematics, the History of Mathematics, and Mathematics
gnral. Journal for the History of Arabic Science, 2, pp. 66-100 Education (SemMHistEd) 3rd Meeting. Aristotle University of
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms Thessaloniki, July 16-17, 2009.
al-jabr: A critical edition. Mediaeval Studies 48, 211-263. Puig, L. (2010). Historias de al-Khwrizm (4 entrega). El proyecto
Infante, J. F. (2010). Un estudio de las demostraciones de los algorit- algebraico. Suma, 65, pp. 87-94.
mos de solucin de las formas cannicas de las ecuaciones de Puig, L. (2011). Historias de al-Khwrizm (5 entrega). La cosa.
segundo grado en al-Khwrizm, Ab Kmil, Marc Aurel, Juan Suma, 66, pp. 89-100.
Prez de Moya y Pedro Nunes. Trabajo Fin del Mster de Puig, L. (in press). Researching the History of Algebraic Ideas from
Investigacin en Didcticas Especficas. Universitat de Valncia. an Educational Point of View. In. V. Katz & C. Tzanakis (Eds.)
Infante, F. y Puig, L. (2011). Una comparacin entre las demostra- Recent Developments on Introducing a Historical Dimension in
ciones de Pedro Nunes y al-Khwrizm de los algoritmos de las Mathematics Education. The Mathematical Association of
formas cannicas de la ecuacin de segundo grado. Congresso America.
Ibero-americano de Histria do Ensino da Matemtica. Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lalg-
Comunicacin. Covilh, 26 a 29 de mayo de 2011. bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Masharrafa, A. M. y Ahmad, M. M. (Eds.) (1939). Al-Khwrizm, Vieta, F. (1591). In artem Analyticem Isagoge. Turonis: Iametium
Muhammad ibn Msa. Kitb al-mukhtasar f hisb al-jabr wal- Mettayer Typographum Regium.
muqbala. Cairo: al-Qahirah. Reprinted 1968
Este artculo fue solicitado por Suma en febrero de 2011 y aceptado en mayo de 2011 para su publicacin
110