Historias
58
Junio 2008, pp. 1-5 Historias de al-Khwrizm (1 entrega)
A hora que SUMA est al cargo de la Societat dEducaci
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-
tar historias de matemticos y matemticas, comience con-
tando historias del matemtico cuyo nombre pusimos a nues-
tra sociedad.
Yo fui el culpable del bautizo, que se decidi en un viaje en
coche en diciembre de 1993, hace ya quince aos, desde
Valencia a Castelln, donde bamos a celebrar la Asamblea
Constituyente, despus de descartar encomendarnos a un par
de matemticos valencianos, Tosca y Corachn, ambos sacer-
dotes y de nombres sonoros. De al-Khwrizm nos interesaba
que de su nombre y de su obra provienen dos palabras de la
terminologa matemtica presentes en la enseanza primaria
y secundaria, algoritmo y lgebra. Pero tambin que, en la
poca en que vivi al-Khwrizm, finales del siglo VIII y pri-
mera mitad del IX, Valencia formaba parte del emirato de
Crdoba, que, aunque era poltica y administrativamente
independiente del califato de Bagdad, segua mantenindose
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
el otro extremo del imperio rabe, a miles de kilmetros.
Cercana y lejana, proximidad y extraeza hicieron que al-
valenciana de profesores de matemticas, aunque no fuera un
matemtico valenciano.
El matemtico ms antiguo del que tengo noticia que naci en
Valencia es cAbd ar-Rahmn Ibn Sayyid, cuya vida sita
Ahmed Djebbar en torno a 1070 (Djebbar, 2005, p. 137), ya,
por tanto, un par de siglos posterior a al-Khwrizm, y en la
poca en que Valencia era uno de los reinos de taifas en que
qued dividido el califato de Crdoba despus de la fitna, caos
o guerra civil, que acab con l. Snchez Prez tambin lo
menciona en su Biograf a de matemticos rabes que florecie-
ron en Espaa, con el nombre de Abuzeid Abderrahman
Benabdala Abensayid el Kelbi, y dice de l que naci en
Valencia, no podemos precisar en qu ao, pero s asegurar que
viva en Jtiva en el 456/1063 (Snchez Prez, 1921, p. 37).
Djebbar afirma que sus libros no se han encontrado, pero que
conocemos los trabajos de Ibn Sayyid a partir de un resumen
Luis Puig
Universitat de Valncia
historias@revistasuma.es
1
SUMA 58
Junio 2008
que hizo de ellos uno de sus alumnos, que no es otro que el
filsofo Ibn Bjja (Djebbar, 2005, p. 69).
No se qu hubiera pasado si nos hubiramos encomendado a
los valencianos Tosca, Corachn o Ibn Sayyid, pero el haber
elegido a alguien lejano y extrao a nuestro(s) idioma(s) ha
hecho que desde el primer momento hayamos tenido compli-
caciones con nuestro nombre. Complicaciones para saber
cmo se escribe o cmo se pronuncia, o qu son esas rayas
encima de una a y una i, que no son fciles de escribir con el
procesador de textos. Hablar en esta primera entrega de
Historias de cmo se escribe, cmo se llama, de dnde era y
si era rabe y hablaba rabe al-Khwrizm. En prximas entre-
gas, lo har de sus libros.
Cmo se escribe al-Khwrizm?
En los libros de historia podemos encontrarnos con el nom-
bre de nuestro matemtico escrito de muchas maneras. Las
rayas sobre la a y la i pueden estar presentes o no, o ser subs-
tituidas por acentos circunflejos, por razones tipogrficas,
pero sa no es la diferencia ms importante. Con rayas o acen-
tos circunflejos, podemos encontrarnos con al-Khwrizm, al-
Jwrizm, o al-Hwrizm, y tambin al-Khowrizm, al-
Jowrizm, o al-Howrizm, o al-Khuwrizm, al-Juwrizm, o
al-Huwrizm, pero tambin con una e en el lugar de la pri-
mera i, al-Khwrezm, al-Khowrezm, al-Khuwrezm, etc.
Figura 1.
Portadilla rabe de la edicin de Rosen del lgebra de al-
Khwrizm
El origen de tanta variacin est en que en realidad el nombre
de nuestro matemtico se escribe con un alfabeto distinto del
latino, el alfabeto rabe o alifato, y se escribe as:  
Para escribirlo en el alfabeto latino hay que transliterar el
nombre escrito en rabe, para lo que hace falta que se haya
establecido un convenio para hacer corresponder a cada letra
del alfabeto rabe una letra, o una combinacin de letras o sig-
nos del alfabeto latino, que se pronuncien de forma similar.
Ahora bien, precisamente como el objetivo de la translitera-
cin es representar la palabra rabe en el alfabeto latino de
forma que la pronunciacin sea similar, se han establecido sis-
temas diferentes de transliteracin del rabe, al buscarse la
similitud de la pronunciacin en distintos idiomas.
La primera letra del nombre de  despus del artculo
al, es decir, la tercera letra, , empezando por la derecha, ya
que el rabe se escribe de derecha a izquierda es una letra
que se pronuncia como la jota castellana, de ah la translitera-
cin al-Jwrizm. Pero el sonido de la jota castellana no existe
ni en ingls, ni en francs o alemn, y adems, en esos idio-
mas, la letra jota se pronuncia de forma muy distinta, por lo
que no resulta razonable usarla para representar ese sonido.
En el caso ingls, esa letra rabe se translitera por la combi-
nacin de letras kh, de forma convencional, indicando con la
k que el sonido se parece al de su hache, pero que es ms fuer-
te. En el caso alemn y francs, se translitera por la letra
Figura 2.
Portada de la edicin de Masharrafa y Ahmad del lgebra
de al-Khwrizm
2

hache, a la que se le aade un pequeo arco debajo, que yo no
he podido escribir aqu, para indicar tambin que el sonido se
parece al de su hache aspirada, slo que ms fuerte.
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
anglosajn, espaol y franco-alemn1.
Nosotros decidimos optar por la transliteracin anglosajona
para nuestra sociedad por el predominio del ingls como len-
gua cientfica, por un lado, pero tambin porque el nombre de
nuestra sociedad es Societat dEducaci Matemtica de la Co-
munitat Valenciana, y en cualquiera de las variantes del cata-
ln no existe el sonido de la jota castellana y la letra jota se
pronuncia de otra manera. Podamos haber optado por la
transliteracin al-Hwrizm, como hicieron Parads y Malet
en su historia del lgebra escrita en cataln, pero se no fue el
caso. De modo que nos quedamos con la transliteracin que
es de hecho la ms extendida2.
En cualquier caso, se translitere como se translitere esta pri-
mera letra, la primera letra del nombre de nuestro matemti-
co se pronuncia como la jota castellana, no por escribir al-
Khwrizm, se tiene que pronunciar al-kuarismi.
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-
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,
en vez de Kh). El origen de estas variantes est, en primer
lugar, en una peculiaridad de la escritura de la lengua rabe, y,
en segundo lugar, en diferencias de pronunciacin del rabe.
La peculiaridad a la que me refiero no es de hecho exclusiva
de la lengua rabe, sino que es algo que el rabe comparte con
otras lenguas semticas como el hebreo. En rabe hay dos
tipos de vocales: las vocales largas y las vocales breves3. Pues
bien, en el rabe escrito slo se representan las consonantes y
las vocales largas, pero no las vocales breves. As, por ejemplo,
en  no est escrita una de las es, porque es breve, de vara.
manera que, si slo transliterramos lo escrito, escribiramos
al-Khwrzm.
Leer un texto escrito en rabe es una tarea distinta de leer un
texto escrito en castellano, ya que no basta con conocer qu
sonidos resultan de la combinacin de las letras, sino que hay
que reconocer por el contexto cules son las vocales breves
que no estn escritas. En el caso de al-Khwrizm, apenas fal-
SUMA 58
Junio 2008
tan vocales, pero, cuando uno se encuentra escrito en un texto
rabe, por ejemplo, , que son las tres consonantes que
transliteramos drs, tiene que decidir por el contexto si se trata
de darasa, con tres aes breves, que significa estudi, o duri-
Como hay textos cuya lectura no se quiere que est sometida
a esta necesidad de interpretar por el contexto de qu palabra
se trata, en particular los textos sagrados del Islam, se usa
tambin una escritura vocalizada, en la que, adems de las
letras del alifato, se utilizan otros signos, que se colocan enci-
ma o debajo de las letras del alifato, y que indican las vocales
breves y algunos otros rasgos de la pronunciacin, como la
ausencia de vocal en una slaba o la duplicacin de una con-
sonante al final de una slaba y el comienzo de la siguiente. A
ttulo de ejemplo, en las figuras 1 y 2 reproducimos dos por-
tadas del libro de lgebra de al-Khwrizm: la portadilla en
rabe de la edicin bilinge en rabe e ingls de Rosen de 1831
(figura 1), y la portada de la edicin rabe de cAl Mustaf
Masharrafa y Muhammad Murs Ahmad de 1939 (figura 2).
En la portadilla rabe de la edicin de Rosen, la escritura es la
corriente; en la otra, hay algunas palabras vocalizadas, en par-
ticular, el nombre de al-Khwrizm. En la figura 3 hemos
recortado al-Khwrizm escrito sin vocalizar, como lo escribi
Rosen, y en la figura 4, vocalizado, como lo escribieron
Masharrafa y Ahmad.
Figura 3 Figura 4
puede pronunciarse como una u o como una o, segn la
zona lingstica, y una vocal que puede pronunciarse como
una i o como una e.
Las vocales breves no escritas en la escritura corriente rabe y
las diferencias de pronunciacin son las responsables pues de
las variantes al-Khwrizm, al-Khawrizm, al-Khowrizm,
al-Khuwrizm, al-Khwrezm, al-Khawrezm, al-
Khowrezm y al-Khuwrezm, segn se escriban o no la a
breve y la primera u breve, y segn se tome la pronunciacin
u, e i, u o y e, de las vocales breves cuya pronunciacin
Cmo se llama al-Khwrizm?
Las variantes con que puede encontrarse escrito el nombre de
nuestro matemtico no slo afectan a lo que en la onomstica
rabe se llama su nisba, al-Khwrizm, que es el nombre que
indica procedencia, origen, tribu o similares. Tambin hay
variantes respecto a su nombre completo.
3
SUMA 58
Junio 2008
En la gran mayora de las referencias, aparece como
Muhammad ibn Msa al-Khwrizm, con su nombre propio,
o ism, Muhammad (Mahoma), su filiacin, o nasab, ibn
Msa (hijo de Moiss), y su nisba, al-Khwrizm (el de
Khwrizm). En algunas ocasiones, se le aade adems lo que
en rabe se denomina la kunya, que se forma con la palabra
Ab, que significa padre de, seguida del nombre del hijo
varn primognito; ste es el caso, por ejemplo, de la pgina
web The MacTutor History of Mathematics archive,
http://www-groups.dcs.st-and.ac.uk, en la que aparece como
Ab Jacfar Muhammad ibn Msa al-Khwrizm, es decir, el
padre de Jacfar Mahoma el hijo de Moiss el de Khwrizm.
Pero aqu empiezan las discrepancias, porque en otros luga-
res su kunya, en vez de Ab Jacfar, es Ab cAbd Allh.
Aunque la variante que ms consecuencias tiene y que ha
dado lugar incluso a alguna agria controversia entre historia-
dores de las matemticas es la que proviene del historiador al-
Tabar (838-923), en cuyo libro Historia de los profetas y los
reyes, aparece en una ocasin escrito Muhammad ibn Msa
al-Khwrizm al-Majs al-Qutrubbull. Roshdi Rashed afirma
que se no es el nombre de al-Khwrizm, sino que ah se est
hablando de dos personas distintas y que algn copista del
manuscrito de al-Tabar dej de escribir la letra que corres-
ponde a nuestra conjuncin copulativa y entre al-
Khwrizm y al-Majs (Rashed, 1984, p. 17). Sin embargo,
Gerald Toomer en su biograf a de al-Khwrizm, publicada en
la monumental obra Dictionary of Scientific Biography, toma
se como su nombre completo y saca consecuencias de los
nuevos componentes del nombre, al-Majs y al-Qutrubbull,
para establecer su biograf a, en particular para hacerle nacer
cerca de Bagdad. Esto nos lleva a la pregunta sobre de dnde
era al-Khwrizm.
Ruinas de la fortaleza de Ayaz Kala 1 en el antiguo Khwrizm,
construida en el siglo V-IV a.n.e., actualmente en Uzbekistn.
Foto: Marisa Fernndez
De dnde era al-Khwrizm?
Tambin en este asunto hay discrepancias. La mayor parte de
los historiadores derivan del nisba al-Khwrizm que nuestro
matemtico era oriundo de la regin de Khwrizm. En The
MacTutor History of Mathematics archive, al que he hecho
referencia antes, sin embargo, al-Khwrizm aparece como
nacido en Bagdad4. Siguen en esto lo que Toomer mantiene en
su biograf a incluida en el Dictionary of Scientific Biography,
en la que, a partir del nisba al-Qutrubbull, afirma que naci
en Qutrubbull, una pequea poblacin cercana a Bagdad, y
que al-Khwrizm slo indicara la procedencia de sus antece-
sores.
La idea ms extendida, sin embargo, es que al-Khwrizm
habra nacido en algn lugar de Khwrizm, de donde emigra-
ra a Bagdad para trabajar en la Casa de la Sabidura.
Ruinas de la fortaleza de Ayaz Kala 2 en el antiguo Khwrizm,
construida en el siglo IV, actualmente en Uzbekistn.
Foto: Marisa Fernndez
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-
sado por los mongoles de Genghis Khan. No voy a recorrer la
historia de la regin de origen de al-Khwrizm, slo sealar
a ttulo de ancdota la existencia ef mera de una Repblica
Socialista Sovitica de Khwrizm en los aos veinte del siglo
4

pasado, que se incorpor a la URSS, dividiendo su territorio
entre varias de las repblicas socialistas soviticas caucsicas.
Actualmente, queda con el nombre de Khwrizm una regin
en Uzbekistn, que es considerablemente ms pequea de lo
que fue en el pasado el territorio primigenio. Una regin que
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
eso, el sello tantas veces usado como ilustracin en historias
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
alfabeto rabe, no al alfabeto latino, sino al alfabeto cirlico,
, otra forma pues de escribir el nombre de nues- de Khwrizm, territorio independiente en ocasiones, centro
tro matemtico!
Sello emitido en la antigua
URSS, para conmemorar el 1200
aniversario (aproximado) del
nacimiento de al-Khwrizm
Si al-Khwrizm proceda de Khwrizm, era en Bagdad un
emigrante llegado a la metrpoli desde una regin sometida
por los rabes. Lo que nos lleva a la ltima cuestin.
Era rabe y hablaba rabe al-Khwrizm?
Si naci en Khwrizm, al-Khwrizm no era rabe, y proba-
blemente su lengua materna tampoco era el rabe, ya que en
Khwrizm exista en la poca una lengua propia, que actual-
mente es una lengua muerta. Si fueron sus padres o sus abue-
los quienes nacieron en Khwrizm y l ya era un inmigrante
de segunda o tercera generacin que viva y trabajaba en
Bagdad, para responder a esa pregunta habra que examinar
cules eran las formas de integracin de culturas y lenguas en
el Bagdad de los absidas.
Ya hemos visto que los historiadores discuten sobre el lugar
de procedencia de al-Khwrizm. Tambin pueden encontrar-
se discrepancias con respecto a su adscripcin tnica o de
nacionalidad. Junto al genrico matemtico rabe, que habi-
tualmente no implica que se est afirmando que sea de origen
rabe, sino su pertenencia a un mbito poltico y cultural,
puede encontrarse escrito tambin que es persa o turco. As,
en la versin inglesa de Wikipedia, una fuente que nunca
puede tomarse como fiable, est escrito a da de hoy que al-
Khwrizm era un matemtico persa islmico, que naci
SUMA 58
Junio 2008
alrededor de 780 en Khwarizm. En la versin espaola de
Wikipedia, que an es menos fiable, est escrito a da de hoy
que era persa musulmn y que naci en la ciudad persa de
Juarism o Jwarizm, con lo que no slo hacen persa a al-
Khwrizm, sino tambin a la ciudad de Juarism. Una fuente
que s es fiable, el historiador turco Aydin Sayili, argumenta
ria de la ciencia y la cultura, que hay pruebas de que al-
Khwrizm conoca el turco y perteneca al sector turco de la
dor turco llega a decir que al-Khwrizm era turco de nacio-
nalidad y rabe de lengua (Ayyubi, 1990, p. 213). La historia
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.
Youschkevitch es ms comedido. Al explicar que va a utilizar
las expresiones matemticas rabes o matemticas de los
pases islmicos, dice que lo hace a pesar de que esas expre-
siones son tan poco satisfactorias una como la otra, porque
haba pocos rabes entre los sabios y los filsofos; y aade:
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
encuentran situados hoy en da en Irn y las Repblicas
Soviticas de Tayikistn, Uzbekistn y Turkmenistn desem-
pearon un papel decisivo en la vida cientfica. Pero tambin
advierte contra la pretensin de atribuir nacionalidades de
forma anacrnica porque como consecuencia de las invasio-
nes sucesivas se produjeron de manera constante fusiones de
nacionalidades y apariciones de nuevas entidades nacionales,
pero adems, porque nuestros conocimientos no nos permi-
ten, en la mayor parte de los casos, ms que dar indicaciones
sobre el origen y el lugar donde un sabio ha ejercido su activi-
dad, pero no sobre su pertenencia nacional en el sentido tni-
co del trmino (Youschkevitch, 1976, pp. 13-14).
No voy a hacer, por tanto, ninguna afirmacin de cul era la
nacionalidad de al-Khwrizm. Lo que en cualquier caso s
hizo al-Khwrizm fue escribir en rabe sus libros cientficos.
El rabe era en su poca la lengua de la ciencia y de la religin
en el mundo islmico, como lo fue el latn en el occidente cris-
tiano medieval, o lo es el ingls actualmente en todo el
mundo. Pero de sus libros hablar en la prxima entrega de
esta seccin.
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
hisb al-jabr wal-muqbala, edited by cAl Mustaf Masharrafa
and Muhammad Murs Ahmad. al-Qahirah. Reprinted 1968.
Cairo.
Ayyubi, N. A. (1990). Contribution of Khwrazm to Mathematics
and Geography. In Acts of the International Symposium on Ibn
Turk, Khwrazm, Farab, Beyrn, and Ibn Sina (Ankara, 9-12
September 1985), pp. 213-214.
Corriente, F. (2002). Acerca de la transcripcin o transliteracin del
cdigo grafmico rabe al latino, particularmente en su variante
castellana. Miscelnea de Estudios rabes y Hebraicos. Seccin
rabe-Islam. 51, 361-368.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art.Vuibert-Adapt.
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.
Rashed, R. (1984). Entre arithmtique et algbre. Recherches sur
lhistoire des Mathmatiques arabes. Les Belles Lettres. Paris.
Rosen, F. (1831). The algebra of Mohammed Ben Musa. Oriental
Translation Fund. London.
Snchez Prez, J. A. (1921). Biograf a de matemticos rabes que flo-
recieron en Espaa. Imprenta de Estanislao Maestre. Madrid.
Sayili, A. (1991). Al-Khwarizmi, Abul-Hamid Ibn Turk and the place
of Central Asia in the History of Science and Culture. ERDEM,
VII, 19, pp. 1-100.
Toomer, G. (19701990). Al-Khwrizm, Abu Jacfar Muhammad ibn
Ms. In C. C. Gillispie (Ed.) Dictionary of Scientific Biography.
Vol. 7 (pp. 358365). Charles Scribners Sons. New York.
Youschkevitch, A. P. (1976). Les Mathmatiques arabes (VIIIe-XVe si-
cles). Trad. M. Cazenaze y K. Jaouiche. Vrin. Paris.

Estatua de al-Khwrizm en Khiva (Uzbekistn).

Foto: Marisa Fernndez

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

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
el establecimiento de una relacin de los escritos de al-
Khwrizm es una labor detectivesca. No se conserva, por
supuesto, ningn manuscrito que haya salido de su mano,
sino slo, en el mejor de los casos, copias realizadas por otros.
Y estas copias, pueden estar hechas por alguien con conoci-
mientos de la materia del libro o por copistas de profesin,
que podan no entender nada de lo que estaban copiando.
Ms an, lo habitual es que la copia que se conserve haya sido
a su vez copiada de otra copia.
Hay libros que se conocen nicamente porque algn autor
posterior lo cita, ya sea en libros que continan el trabajo de
al-Khwrizm o lo evocan, o bien en repertorios bibliogrficos
escritos por historiadores. Y estos libros, a su vez, tambin se
conservan a travs de una tradicin de copias.
O puede suceder que lo nico que se conserve sea una traduccin a
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
libro del autor anterior, ms o menos textualmente, mencionndolo o
sin mencionarlo.
Historias
Hay que aadir adems que todo esto vara con el tiempo.
Siempre es posible que aparezca en alguna biblioteca o en
algn depsito de libros un nuevo manuscrito del que no se
tena noticia.
El trabajo pues de los historiadores que preparan la edicin de
un libro de un autor de la antigedad acaba siendo siempre la
elaboracin de un texto a partir de los materiales de los que se
dispone, que se acompaa de la explicacin de las fuentes que
se han utilizado, las decisiones que se han tomado para ela-
borarlo, y las variantes que cabe considerar. Y este trabajo, en
ocasiones, no est exento de polmica.
Todas estas posibilidades estn presentes en el caso de al-
Khwrizm. En esta entrega de Historias, voy a dar cuenta de
lo que yo conozco del asunto. Hablar pues de los libros de al-
Khwrizm y la elaboracin de las ediciones publicadas por
los historiadores, pero apenas de su contenido.
Luis Puig
Universitat de Valncia Estudi General
historias@revistasuma.es
105
SUMA 59
Noviembre 2008
Los libros de al-Khwrizm
Al-Khwrizm es conocido sobre todo por su libro de lgebra
y por el libro en que introduce el sistema de numeracin posi-
cional y cifrado de los hindes y el clculo aritmtico en ese
sistema, y es razonable que as sea por la importancia que
ambos libros han tenido en la historia de las matemticas. Sin
embargo, se tiene noticia de que escribi un buen nmero de
libros en varias disciplinas.
sta es una lista de los libros de los que yo tengo noticia. Doy
de ellos una transliteracin del ttulo rabe, una traduccin
del ttulo y unas someras indicaciones.
Kitb al-Mukhtasar f hisb al-jabr wal-muqbala (Libro
conciso de clculo de restauracin y oposicin).
El libro de lgebra. Segn el prlogo debi escribirlo entre 813
y 833, ya que se lo dedica al califa al-Mamn, y sos son los
aos en que fue califa. Roshdi Rashed dice que Mukhtasar,
conciso no forma parte del ttulo, sino que fue una decisin
de Rosen, en su edicin de 1831, el usar para el ttulo una frase
del prlogo donde al-Khwrizm dice que va a componer en
el clculo de al-jabr y al-muqbala un libro conciso en el que
tiene que encerrar todo lo que es sutil en el clculo y lo que
en l es lo ms noble. Segn Rashed, esto son las normas de
una redaccin elegante (Rashed, 2007, p. 9), y no significan
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 1
Reconstruccin del mapa del mundo
Kitb al-hisb al-cadad al-hind (Libro del clculo con los
nmeros hindes).
Escrito tambin despus de 813. El libro en que explica el sis-
tema de numeracin hind y el clculo aritmtico con l. No
se conserva ningn manuscrito rabe de este libro. Veremos
106
en el apartado El libro de clculo hind. La edicin de A.
Allard lo que ha llegado hasta nosotros.
Kitb al-jamc wat-tafrq (Libro de la reunin y de la separa-
cin).
Perdido. La opinin de Djebbar (2005) y de Rashed (2007) es
que deba contener un clculo aritmtico anterior a la intro-
duccin del clculo hind.
Kitb srat al-ard (Libro de la configuracin de la tierra).
Escrito alrededor de 817, segn Djebbar, o terminado en 833,
segn Ayyubi (1990). Se conserva una copia rabe en la
Biblioteca de la Universidad de Estrasburgo, y una traduccin
latina en la Biblioteca Nacional de Madrid. En esta geograf a,
al-Khwrizm sigue la teora de los siete climas, y usa datos de
Ptolomeo, pero otros que no estn en el Almagesto. Es proba-
ble que haya participado en la expedicin organizada por al-
Mamn para comprobar los datos del libro de Ptolomeo. En
ninguna de las copias hay mapas, y se especula sobre si al-
Khwrizm incluira un mapa del mundo. Hay una recons-
truccin hecha por Hubert Dannicht, a partir de las coorde-
nadas que aparecen en el libro de al-Khwrizm (figura 1), y
un mapa del mundo (figura 2) atribuido a los gegrafos del
califa al-Mamn aparece en Maslik al-absr de Ibn
Fadlallh al-Umar (ca. 1340)2.
Figura 2
Mapa del mundo atribuido a los gegrafos del califa al-Mamn
Istikhrj tarkh al-Yahd (Determinacin del calendario
judo).
En este libro, escrito alrededor de 824 y descubierto alrededor
de 1940, al-Khwrizm muestra conocer tambin el mundo
hebreo, ya que describe las reglas de clculo de las longitudes
medias del sol y de la Luna a partir del calendario judo.
Youschkevitch (1976, p. 51) llega a decir que no excluye que
al-Khwrizm conociera el hebreo, lo que explicara tambin
el parecido de la parte de geometra de su libro de lgebra con
el Mishnat Ha Middot, el primer libro de geometra que se
conoce en hebreo, escrito alrededor del ao 1503.

Zj as-Sindhind (Tablas hindes)
Escrito despus de 813. El libro ms importante de astrono-
ma de al-Khwrizm. Adems escribi otros menos conoci-
dos, perdidos o redescubiertos recientemente, que cito a con-
tinuacin. De ste hablar en el apartado siguiente.
Macrifa sica al-mashriq f kull balad (Determinacin de la
amplitud ortiva en cada ciudad).
No tengo ms noticia de este libro y los dos siguientes que la
que da Rosenfeld (1993), segn la cual se encuentra en unos
manuscritos en Estambul (ver tambin Ahmedov, ad-
Dabbagh, & Rosenfeld, 1987).
Macrifa samt min qibal al-irtifc (Determinacin del azimut
segn la altitud).
c
Amal sica ayy mashriq shita min al-burj f ayy ard shita bil-
handasa (Construccin geomtrica de la amplitud ortiva de
cada signo y para cada latitud).
c
Amal al-sct f bast al-rukhna (Construccin de las horas
en el plano del cuadrante solar).
Segn Rashed (2007, p. 6, n. 10) ste libro y el siguiente estn
en la coleccin Aya Sofya 4830 de la biblioteca Sleymaniye
de Estambul.
Tarif min camal Muhammad ibn Ms al-Khwrizm:
macrifat al-samt bi-al-asturlab (Nuevas adquisiciones de
Muhammad ibn Ms al-Khwrizm: el conocimiento del azi-
mut mediante el astrolabio).
Kitb cAmal al-asturlb (Libro sobre la realizacin del astro-
labio).
No se conserva ninguna copia. Mencionado por al-Nadm, en
su Kitb al-Fihrist. En este libro, publicado en 938, al-Nadm
pretendi recoger en un ndice todos los libros escritos en
rabe hasta ese momento.
Kitb al-rukhma (Libro sobre el cuadrante solar).
Perdido, salvo que coincida como dice Rashed (2007, p. 376)
con el libro cAmal al-sct f bast al-rukhna, que est en la
biblioteca Sleymaniye de Estambul. Mencionado tambin
por al-Nadm en su catlogo.
Kitb al-cAmal bil-asturlb (Libro sobre la utilizacin del
astrolabio).
Identificado por unos fragmentos reproducidos por el astr-
nomo del siglo IX al-Farghn.
SUMA 59
Noviembre 2008
Kitb al-Trkh.
Mencionado tambin por al-Nadm, se trata de un libro de
historia, escrito despus de 826.
Las tablas astronmicas de al-Khwrizm
Segn Djebbar (2005, pp. 20-21), como el nombre de al-
Khwrizm no figura en la lista de miembros del equipo de
astrnomos encargados por al-Mamn de elaborar unas
tablas astronmicas, debi de trabajar en las suyas de forma
independiente. Estas tablas se basan sobre una obra hind
ofrecida en 773 al califa al-Mansr, que fue traducida al rabe
por Muhammad al-Fazr. Al-Khwrizm, sin embargo, no
us slo esa obra hind, sino tambin tom de la astronoma
persa recogida en las Zj ash-Shh (Tablas del Sha) las ecua-
ciones de mximos, entre otras cosas, y de la astronoma grie-
ga del Almagesto de Ptolomeo, disponible en el mundo rabe
desde el siglo VIII, las declinaciones del sol y las ascensiones
rectas. Adems tom datos del libro de Brahmagupta (598-
668) Brhmasphutasiddhnta (La apertura del universo) para
el movimiento de los siete planetas.
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
haban introducido en al-Andalus en la poca de cAbd al-
Rahmn II, que escribi alrededor del ao 1000 el astrnomo
de al-Andalus, nacido en Madrid, Maslama al-Majrt.
Maslama no se limit a traducir el libro de al-Khwrizm, sino
que cambi el meridiano de referencia, que era el que pasa
por la localidad de Uyyain en la India, por el meridiano de
agua, situado al oeste de las Islas Canarias, e introdujo otros
cambios para el uso de las tablas con Crdoba como centro
religioso (Dorce, 2008). Pero tampoco se conserva ninguna
copia rabe de la reelaboracin de Maslama, sino slo una tra-
duccin latina, hecha probablemente por Adelardo de Bath en
1126, de la que se conservan varios manuscritos. Suter la
edit en 1912, y hay una traduccin inglesa con comentarios
hecha por Neugebauer de esa edicin latina de Suter, suple-
mentada con un manuscrito del Corpus Christi College de
Oxford (Neugebauer, 1962).
El libro de clculo hind. La edicin de Allard.
Si lo que nos ha llegado de las tablas astronmicas de al-
Khwrizm, escritas en el siglo IX en Bagdad y para el Oriente
rabe, es una traduccin latina del siglo XII, de una versin
rabe de alrededor del ao 1000, adaptada por un astrnomo
de al-Andalus para su uso en el otro extremo del mundo
rabe, lo que tenemos del Kitb al-hisb al-cadad al-hind, el
libro de clculo con los nmeros hindes, es tambin algo ale-
jado del original escrito por al-Khwrizm.
107
SUMA 59
Noviembre 2008
Tampoco en este caso se conserva ninguna copia en rabe. S
se conservan, sin embargo, varios textos en latn que estn
relacionados con el libro de al-Khwrizm, aunque Andr
Allard, que ha editado recientemente los cuatro ms impor-
tantes, mantiene que todos ellos son textos hbridos en los
que lo que puede provenir del libro que escribiera al-
Khwrizm est combinado con cuestiones que proceden de
otras tradiciones aritmticas (Allard, 1992).
Los cuatro libros que ha editado Allard se conocen por las
palabras con las que empiezan, lo que se llama el Incipit en la
terminologa de los estudiosos de manuscritos, y son los
siguientes:
Dixit Algorizmi, es decir, Dijo al-Khwrizm (al que me
referir como DA).
Liber Ysagogarum Alchorismi, es decir, Libro de la introduc-
cin de al-Khwrizm (LY).
Liber Alchorismi, es decir, Libro de al-Khwrizm (LA).
Liber pulueris, es decir, Libro de polvo (LP).
El primero de ellos, Dixit Algorizmi ha sido estudiado y se
ha editado en varias ocasiones, la primera por el prncipe
Baldassarre Boncompagni en 1857. Slo se conserva un
manuscrito de l, en la Biblioteca de la Universidad de
Cambridge, que es del siglo XII, y bastantes historiadores lo
han considerado como una traduccin directa al latn del libro
de al-Khwrizm. Sin embargo, Allard mediante un examen
detallado de ciertas series de expresiones que aparecen en este
manuscrito y en los de los otros tres libros latinos, dice que
hay dos fuentes distintas que se manifiestan no slo en los
otros tres libros, sino tambin en ste, y llega a afirmar que en
l no slo est presente la traduccin del libro de al-
Khwrizm, sino que tambin hay partes que tienen que pro-
ceder de la tradicin de Boecio y de la Aritmtica de
Nicmaco. De todas maneras, DA sigue siendo, segn Allard,
la mejor fuente del libro de al-Khwrizm. El traductor podra
haber sido Adelardo de Bath o Robert de Chester, segn opi-
nin bastante extendida, pero Allard tambin afirma que no
hay ninguna razn de peso para preferir estos traductores a
cualquier otro traductor conocido de la poca (Allard, 1992,
p. VII, n. 31).
Crossley y Henry, que publicaron una traduccin inglesa de
este manuscrito un par de aos antes de la edicin de Allard,
tambin afirman que no es una traduccin directa del texto
rabe de al-Khwrizm, sino una copia de una traduccin lati-
na hecha por un copista que no estaba familiarizado con las
cifras hindorabes y que no entenda demasiado la aritmti-
ca que estaba copiando (Crossley y Henry, 1990, p. 107). De
hecho, en la mayora de los folios del manuscrito en donde
108
deberan estar las cifras hay huecos, que el copista dejaba para
escribir las cifras ms tarde en tinta roja, cosa que nunca lleg
a hacer. Youschkevitch, que public tambin un facsmil de
este manuscrito, ya deca que no se trata de una traduccin
fiel del rabe, los diversos errores y aadidos hechos al texto
lo testimonian. Pero se ignora si se deben al primer traductor
o al copista (Youschkevitch, 1976, p. 15).
Figura 3.
Liber Alchorismi, Biblioteca Nacional de Paris (s. XIII)
Si sta es la situacin del mejor testimonio que tenemos del
libro de al-Khwrizm, el anlisis de los otros tres libros por
parte de Allard concluye con el descubrimiento de incorpora-
ciones an ms variadas de las presentes en Dixit Algorismi
En particular, desglosa el Liber Ysagogarum Alchorismi, del
que hay cinco manuscritos de los siglos XII a XVI, en tres sub-
tipos (que representaremos por LY I, LY II y LY III), y ve en l
un conjunto de influencias variopintas, que habran sido reco-
gidas probablemente alrededor de 1143 en los medios tole-
danos cercanos a Avendauth (Allard, 1992, p. XX). Este
Avendauth no est muy claro quin pueda ser, pero Allard
seala como hiptesis ms convincente que se trate del fil-
sofo judo Abraham ibn Dad, que vivi en Toledo entre 1140
y 1180.
El Liber Alchorismi, del que hay nueve manuscritos de los
siglos XII a XVI, sale mejor parado del anlisis de Allard, aun-
que ste tambin se entretiene en desmontar la hiptesis de
que su autor fuera Juan de Sevilla (Iohannis Hispalensis) a
quien se atribuye desde que Boncompagni editara en 1857
uno de los manuscritos que se conservan de l en la Biblioteca
Nacional de Pars, cuyo comienzo es Incipit prologus in libro
alghoarismi de pratica arismetrice qui editus est a magistro
Iohanne Yspalensi, en el que se le menciona (Boncompagni,
1857, p. 25). Allard aduce que eso slo sucede en ese manus-
crito, pero no en los otros ocho manuscritos que tambin se
conservan de este libro, en los que en todo caso se habla de un
maestro Juan, a secas. As, por ejemplo, la primera pgina del

manuscrito del Liber Alchorismi que reproducimos aqu
(figura 3) y que se encuentra tambin en la Biblioteca
Nacional de Pars, codificado como Lat. 15461, est escrito en
Italia en la primera mitad del siglo XIII, y comienza as: Incipit
prologus in libro alchorismi de pratica arismetice qui editus
est a magistro Iahanne, es decir, Comienza el prlogo del
libro de al-Khwarizmi, como en el otro manuscrito, pero en l
se menciona que ha sido editado por un Maestro Juan, sin
especificar qu Juan. Allard propone llamar Juan de Toledo a
ese Maestro Juan, aunque no haya constancia de nadie con
ese nombre (Allard, 1992, p. XIX). De paso, sealar que este
manuscrito es del siglo XIII, segn Allard, y no del siglo XII,
como dice Charbonier (2004), de cuyo folleto para profesores
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.
El Liber pulueris, por su parte es ms breve, est inspirado en
las mismas fuentes que LA, y de l slo se conservan dos
copias del siglo XIV.
El anlisis de Allard est resumido grficamente por l en el
rbol genealgico de los manuscritos y sus influencias que
incluimos aqu (figura 4), y que muestra la distancia entre el
libro de al-Khwrizm y los libros de que disponemos para
saber algo de l.
Figura 4
En cualquier caso, la huella de al-Khwrizm qued en los
incipit de estos libros en la forma latinizada de su nombre,
Algorismi o Alchorismi, que pronto dej de significar de al-
Khwrizm para adquirir como significado el contenido de
esos libros. As proliferan los libros de Algorismos, como el
Algorismus Vulgaris de Juan de Sacrobosco (comienzo del
siglo XIII), del que se conocen unos doscientos manuscritos y
varias ediciones impresas entre 1488 y 1582. Y a partir de ah
la palabra algoritmo va adoptando el significado que hoy en
da tiene en la terminologa de las matemticas.
SUMA 58
Noviembre 2008
El libro de lgebra. Traducciones y ediciones.
Del libro de lgebra de al-Khwrizm s que se conservan
manuscritos rabes, pero eso no significa que el estableci-
miento de un texto lo ms cercano al original posible no est
exento de problemas. Hasta hace poco tiempo la edicin del
lgebra de al-Khwrizm de que se dispona era la que hizo
Frederic Rosen en 1831, acompaada de su traduccin al
ingls (Rosen, 1831). Esa edicin estaba hecha a partir de un
nico manuscrito (figura 5) que se conserva en la Bodleyan
Library de Oxford (Hunt. 212, fol. 1v-54r), que es de 1342, es
decir, ms de cinco siglos posterior a la fecha de redaccin por
parte de al-Khwrizm.
Figura 5.
Portada del lgebra de al-Khwrizm
Aunque el manuscrito est en muy buen estado y el copista
hizo un trabajo cuidadoso, con el texto ntido en tinta negra y
los ttulos y las figuras en tinta roja, y con la escritura vocali-
zada a menudo, e incluso indic el da exacto en que acab la
copia (19 Muharram del 743 de la Hgira, es decir, 24 de junio
de 1342), no cupo nunca duda de que el tiempo transcurrido
desde el original tena que haber producido cambios, prdidas
o incorporaciones por su paso por mltiples manos de copis-
tas.
El libro fue editado de nuevo en Egipto en 1939 por cAl
Mustaf Masharrafa y Muhammad Murs Ahmad en rabe a
partir del mismo manuscrito, en una edicin ligeramente ms
cuidadosa que la realizada por Rosen (Masharrafa y Ahmad,
1939), que apenas modificaba la situacin.
A falta de manuscritos rabes ms antiguos, los historiadores
recurrieron al estudio de las traducciones latinas medievales,
una de las cuales result ser especialmente buena. En efecto,
se conservan tres traducciones latinas diferentes del lgebra
de al-Khwrizm. La ms antigua es de Robert de Chester (ca.
1145), seguida de cerca por una de Gerardo de Cremona (ca.
1170). La tercera parece ser de Guglielmo de Lunis (ca. 1250),
aunque esa atribucin no est exenta de controversia, y, lo que
la hace particularmente interesante, hay una traduccin de
109
SUMA 59
Noviembre 2008
ella a un italiano medieval (al vernculo, o volgare como
dice Raffaella Franci, que la ha publicado recientemente4).
Recientemente las dos primeras han sido editadas por
Barnabas Hughes usando todos los manuscritos que se cono-
cen actualmente, tres en el caso de la traduccin de Robert de
Chester (Hughes, 1989), y quince en el caso de la de Gerardo
de Cremona (Hughes, 1986). Pero esas tres traducciones ya se
conocan desde hace tiempo. En 1838, Libri public una edi-
cin de la de Gerardo de Cremona (no muy buena, segn
Hughes, 1986, p. 211); en 1850, Boncompagni public la de
Guglielmo de Lunis como si fuera de Gerardo de Cremona, y
Karpinski, en 1915, public la de Robert de Chester a partir de
un nico manuscrito.
La traduccin de Robert de Chester comienza as: In nomine
dei pii et misericordis incipit Liber Restaurationis et
Oppositionis Numeri quem edidit Mahumed filus Mysi
Algaurizm, es decir En nombre de los pos y misericordiosos
comienza el libro de Restauracin y Oposicin, que compuso
Mahoma hijo de Moiss, al-Khwrizm. Robert de Chester
traduce los trminos rabes al-jabr y al-muqbala al latn por
restauracin y oposicin, y, como hemos visto que dice
Roshdi Rashed, no indica en el ttulo del libro que sea conci-
so.
La de Gerardo de Cremona se titula Liber Maumeti filii
Moysi Alchorismi de Algebra et almuchabala, es decir, Libro
de Mahoma, hijo de Moiss, Alchorismi, de lgebra y almu-
chabala. Gerardo de Cremona opt por no traducir los trmi-
nos rabes al-jabr y al-muqbala al latn, sino que los transli-
ter. Podemos hacer la hiptesis de que Gerardo pens que
esos trminos tenan un significado tcnico en el texto de al-
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.
La traduccin de Gerardo de Cremona ya es importante por
este hecho, pero adems, la edicin de Barnabas Hughes y el
posterior estudio de Jens Hyrup comparndola con el
manuscrito rabe de la biblioteca Bodleian de Oxford, ha
demostrado que la traduccin de Gerardo se puede conside-
rar que est mucho ms cerca del texto escrito por al-
Khwrizm que el manuscrito de Oxford (Hyrup, 1991). De
hecho, el mejor manuscrito de la traduccin de Gerardo, que
se conserva en la Biblioteca Nacional de Pars (Lat. 9335 fols.
116v-125v) es del siglo XIII, y se supone que el manuscrito
rabe que us Gerardo para su traduccin era del siglo XI.
Hyrup ha mostrado que el cuidado y la meticulosidad de las
110
traducciones de Gerardo garantiza que sta es lo mejor que
tenemos hasta la fecha para conocer el lgebra de al-
Khwrizm.
sa era la situacin hasta hace poco en que empez a tenerse
noticia de la existencia de otros manuscritos rabes del lge-
bra de al-Khwrizm5. Sin embargo, la reciente edicin hecha
por Roshdi Rashed a partir de los cinco manuscritos que ha
podido consultar6 (ms uno7 de poco valor), no le quita a la
traduccin latina de Gerardo de Cremona el lugar privilegia-
do que ya tena, a pesar de que ahora hay tambin un par de
buenos manuscritos (uno de 1222), y, adems, un manuscrito
de un comentario escrito por al-Khuzc, en el mes del
Ramadan del 607 de la Hgira (febrero/marzo 1211), que
Roshdi Rashed ha encontrado en Estambul (Yeni Cami 803),
en el que ste va transcribiendo el texto de al-Khwrizm,
intercalando sus comentarios.
En el rbol de la figura 6 est resumida la genealoga de los
manuscritos que se conservan en rabe, ms la posicin en
ella de la traduccin de Gerardo de Cremona (Rashed, 2007,
p. 90). Los manuscritos que Rashed ha usado son:
A: Oxford, Bod., Hunt 214 (de 1342)
B: Berlin, Landberg 199 (tardo)
O: Medina, cArf Hikmat, 4-jabr (1222)
H: Medina, cArf Hikmat, 4-jabr (1767, pero correspondiente
a una tradicin anterior)
M: Tehern, Malik 3418 (slo contiene el captulo de geome-
tra o medida)
S: Smith, New York, Columbia
L: Gerardo de Cremona
K: Gerardo de Cremona (problemas del apndice)
Figura 6
Nota final
No he pretendido ser exhaustivo en esta entrega de Historias
de al-Khwrizm, ni entra dentro de mi competencia, sino
slo mostrar que la historia de los textos no es simple. De lo
que me dejo en el tintero, mencionar slo que no hay tra-

duccin castellana alguna del lgebra de al-Khwrizm. La hay
inglesa, la de Rosen de 1831 que he citado y que ha sido
recientemente reeditada en facsmil en varias editoriales8
Tambin la hay francesa muy reciente, la de Rashed (2007).
Tengo noticia de que hay una traduccin persa, cuya referen-
cia no he podido localizar, y de una traduccin rusa, que
segn Hughes (1989, p. 23) es de Rosenfeld y se public en
1964. Ya he mencionado la casi primera traduccin en vern-
culo hecha en Italia, que ha editado Raffaella Franci (2003) y
de la que tambin habla Hissette (2003).
Sealar finalmente que queda otra tradicin medieval por
explorar, que es la hebraica. Tony Lvy afirma que no se cono-
ce ninguna versin hebrea del lgebra de al-Khwrizm en el
primero de sus estudios sobre el lgebra rabe en los textos
hebraicos (Lvy, 2003), pero tambin habla de un manuscrito
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
NOTAS
1 Ya que sigo aqu a Roshdi Rashed, conviene sealar que el trabajo prolfico de
este historiador ha estado trufado de agrias controversias con otros historia-
dores (Sesiano, Hojendijk, Toomer), en las que se han cruzado por ambos
bandos acusaciones de trabajo poco cuidadoso, falta de rigor, apropiacin del
trabajo del otro, etc. No conozco ninguna recensin de la edicin de Rashed
que estoy citando en ninguna revista especializada, hasta la fecha.
2 No he podido consultar esta enciclopedia de la poca mameluca. La referen-
cia aparece en:
http://web.uni-frankfurt.de/fb13/igaiw/geschichte_arabisch/geschichte_arabisch.html,
la pgina del Institut fr Geschichte der Arabisch-Islamischen
Wissenschaften (Instituto para la Historia de las Ciencias rabo-islmicas),
que dirige Fuat Sedgin, en el que se est publicando una monumental
Geschichte des Arabischen Schrifttums (Historia de los escritos rabes).
3 Solomon Gandz public esta geometra hebrea junto con la parte de geome-
tra del libro de lgebra de al-Khwrizm, acompaadas ambas por su tra-
duccin al ingls, en Gandz (1932), y afirma que esa parte del libro de al-
Khwrizm est simplemente copiada de ella, sin embargo pensaba que lo
haba ledo en una traduccin al sirio o al persa y no en hebreo (Gandz ,1932,
pp. 63-64).
4 Ver Franci (2003). La traduccin est en un manuscrito de comienzos del
siglo xv. Franci indica que la primera traduccin en vernculo completa y
declarada del Al-jabr actualmente conocida est contenida en el manuscrito
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.
Primera pgina del lgebra de al-Khwrizm
SUMA 59
Noviembre 2008
ecuaciones cannicas y su procedimiento de solucin, y afir-
ma que, aunque no aparece la palabra lgebra, ni se cita a al-
Khwrizm, puede ser una traduccin directa o una adapta-
cin hecha por Ibn Ezra (1089-1164) o un contemporneo
suyo, y, por tanto, ser contempornea de las traducciones lati-
nas. Como Ibn Ezra se fue de Espaa en 1140 al norte de Italia
y luego a la Provenza en 1148, esta versin hebrea del lgebra
de al-Khwrizm, podra haber sido compuesta en Espaa
(Lvy, 2002 y 2003).
Esto es lo que los historiadores nos han puesto disponible
para conocer la obra de al-Khwrizm. Las vicisitudes que he
esbozado aqu de la historia de los textos conviene tenerlas
presentes a la hora de hacer afirmaciones sobre lo que dijo al-
Khwrizm. En una prxima entrega de estas historias, podr
entrar a hablar pues de lo que Dixit Algorizmi.
HISTORIAS
5 De hecho Anbouba (1978) ya mencionaba hace treinta aos un manuscrito
que estaba en Berln.
6 Rashed (2007, p. 83) dice que conoce la existencia de otros dos, pero que son
dif cilmente accesibles, porque ambos se encuentran en Kabul, Afganistn (o,
al menos, se encontraban). Uno, dice, forma parte de una coleccin privada,
y lo tuvo entre sus manos en un viaje que hizo entre la cada de la monarqua
y el comienzo de la invasin sovitica, pero nunca le enviaron la copia fotos-
ttica prometida. El otro debera haber estado en la biblioteca del antiguo
Palacio Real, en la que Rashed nunca tuvo autorizacin para entrar. Rashed
concluye diciendo se comprende que actualmente, despus de la nueva inva-
sin, sea imposible trabajar sobre el terreno Rashed (2007, p. 83).
7 Se trata del manuscrito que luego llama S y que est en New York, Columbia.
Rashed dice que este manuscrito es una copia que el historiador David
Eugene Smith hizo de la edicin de Rosen. Rashed no parece haber ledo a
Gandz (1932) que cuenta que Smith compr ese manuscrito en Lahore
(India) a un persa que se lo vendi como antiguo, para descubrir posterior-
mente que haba sido timado, al comprobar que era de hecho una copia pos-
terior a 1831 de la edicin de Rosen.
8 A ttulo de curiosidad dir que, aparte de tener una fotocopia de la edicin
original de 1831, que consegu hace aos en la biblioteca de Matemtica
Educativa del CINVESTAV de Mxico, tengo una edicin en facsmil publi-
cada en 2003 por The University Press of the Pacific, Honolulu, Hawaii.
Algorismus de Johannes de Sacrobosco (s. XII-XIII)
111
SUMA 59
Noviembre 2008
REFERENCIAS BIBLIOGRFICAS
Ahmedov, A. A., ad-Dabbagh, J., & Rosenfeld, B. A. (1987). Istanbul
Manuscripts of al-Khwrizms Treatises. ERDEM, 3 (7), 163-
211.
Allard, A. (Ed.). (1992). Muhammad ibn Ms al-Khwrizm. Le
calcul indien (Algorismus). Paris: Librairie Scientifique et
Technique Albert Blanchard.
Anbouba, A. (1978). Lalgbre arabe aux IXe et Xe sicles. Aperu
gnral. Journal for the History of Arabic Science, 2, 66-100.
Ayyubi, N. A. (1990). Contribution of Khwrazm to Mathematics
and Geography. In Acts of the International Symposium on Ibn
Turk, Khwrazm, Farab, Beyrn, and Ibn Sina (Ankara, 9-12
September 1985), pp. 213-214.
Boncompagni, B. (1857). Trattati di Aritmetica. II. Ioannis
Hispalensis. Liber Algorisme de Parstica Arismetrice. Roma:
Tipografia delle Scienze Fisiche e Matematiche.
Charbonnier, R. (2004). La route des chiffres travers les civilisa-
tions indienne, arabe et occidentale du Ve sicle au XVIIIe sicle.
Aubiere: IREM de Clermont Ferrand.
Crossley, J. N., & Henry, A. S. (1990). Thus Spake al-Khwrizm: A
Translation of the Text of Cambridge University Library Ms. Ii.
vi.5. Historia Mathematica , 17, 103-131.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert /
Adapt.
Dorce, C. (2008). Azarquiel. El astrnomo andalus. Madrid: Nvola.
Franci, R. (2003). Una traduzione in volgare dellal-jabr di al-
Khwarizmi (Ms. Urb. Lat. 291 Biblioteca Apostolica Vaticana).
En R. Franci, P. Pagli, & A. Simi (Edits.), Il sogno di Galois.
Scritti di storia della matematica dedicati a L. Toti Rigatelli per
il suo 60 compleanno (pp. 19-49). Siena, Italia: Centro Studi
della Matematica Medioevale. Universit di Siena.
Gandz, S. (Ed. Trans.) (1932). The Mishnat ha Middot, the First
Hebrew Geometry of about 150 C.E., and the Geometry of
Muhammad ibn Musa al-Khowarizmi, the First Arabic
Geometry <c. 820>, Representing the Arabic Version of the
Mishnat ha Middot. Quellen und Studien zur Geschichte der
Mathematik, Astronomie und Physik. Abteilung A: Quelle, 2.
Band. Berlin: Julius Springer.
Hissette, R. (2003). Lal-Jabr dal-Khwrizm dans les mss Vat. lat.
4606 et Vat. Urb. lat. 291 et Guglielmo de Lunis. Miscellanea
112
Bibliothecae Apostolicae Vaticanae , X, 137-158.
Hyrup, J. (1991). Oxford and Cremona: On the relations between
two Versions of al-Khwrizms Algebra. Filosofi og videnskab-
steori p Roskilde Universitetcenter. 3. Rkke: Preprint og
Reprints nr. 1.
Hughes, B. (1986). Gerard of Cremonas Translation of al-
Khwrizms al-jabr: A Critical Edition, Mediaeval Studies, 48,
211-263.
Hughes, B. (1989). Robert of Chesters Translation of al-Khwrizms
al-jabr: A New Critical Edition, Boethius, Band XIV. Stuttgart:
Franz Steiner Verlag.
Lvy, T. (2002). A newly-discovered parcial translation of al-
Khwrizms Algebra. Aleph, 2, 225-234.
Lvy, T. (2003). Lalgbre arabe dans les textes hbraques (I). Un
ouvrage indit dIssac Ben Salomon al-Ahdab (xive sicle).
Arabic Sciences and Philosophy, 13, 269-301.
Libri, G. (1838). Histoire des sciences mathmatiques en Italie,
depuis la renaissance des lettres, jusqu la fin du 17e sicle. 4
volumes. Paris: Chez Jules Renouard et Cie., libraires.
Masharrafa, A. M. y Ahmad, M. M. (Eds.) (1939). Al-Khwrizm,
Muhammad ibn Msa. Kitb al-mukhtasar f hisb al-jabr wal-
muqbala. Cairo: al-Qahirah. Reprinted 1968.
Neugebauer, O. (1962). The astronomical tables of al-Khwrizm.
Translation with Commentaries of the Latin Version edited by
H. Suter supplemented by Corpus Christi College MS 283.
Kbenhavn: Det Kongelige Danske Videnskabernes Selskab.
Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lalg-
bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Rosen, F. (1831). The algebra of Mohammed Ben Musa. London:
Oriental Translation Fund.
Rosenfeld, B. A. (1993). Geometric trigonometry in treatises of al-
Khwrizm, al Mhn and Ibn al-Haytham. En M. Folkerts, & J.
P. Hogendijk (Edits.), Vestigia Mathematica. Studies in medieval
and early modern mathematics in honour of H. L. L. Busard (pp.
305-308). Amsterdam - Atlanta, GA: Rodopi.
Youschkevitch, A. P. (1976). Les Mathmatiques arabes (VIIIe-XVe
sicles). Paris: Librairie Philosophique Vrin.
 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
matemticas sobre el lugar central que ocupa en la historia
del lgebra el libro de al-Khwrizm Kitb al-mukhtasar f
hisb al-jabr wal-muqbala (Libro conciso de clculo de res-
tauracin y oposicin). No slo porque el nombre de la disci-
plina provenga de la decisin de Gerardo de Cremona de no
traducir al latn la palabra al-jabr que designa una de las ope-
raciones del clculo, como ya cont en la segunda entrega de
estas historias de al-Khwrizm, sino tambin porque en ese
libro de al-Khwrizm est presente lo que podemos llamar el
proyecto algebraico de resolucin de problemas, y los objetos,
los trminos tcnicos y el mtodo que constituyen una nueva
disciplina, as como su aplicacin a otras disciplinas preexis-
tentes. En esta entrega de las historias de al-Khwrizm pre-
sentar dos historias sobre el origen del libro y la originalidad
de su contenido.
A todo libro famoso se le atribuye un origen
mtico
El libro de al-Khwrizm es un libro escrito por encargo. El
mismo al-Khwrizm narra en sus primeros prrafos, despus
de las habituales invocaciones a Dios y a su profeta, que lo
escribe a peticin del califa al-Mamn, y que lo hace para
ayudar a aclarar lo que era impenetrable y a facilitar lo que era
dif cil1 (Rashed, 2007, p. 94), sin atribuirse la invencin de
todo lo que va a presentar en l.
Djebbar (2005, pp. 41-42) cuenta que fue corriente entre los
historiadores y comentaristas rabes medievales el atribuir un
papel crucial en el origen del inters por el lgebra a uno de
los personajes fundamentales en la historia de la fundacin
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
condujo a que sus seguidores no reconocieran la autoridad de
ninguno de los tres primeros califas, y su asesinato, cuando
finalmente fue nombrado califa, produjo la escisin chita del
Islam, que persiste en nuestros das.
Segn el origen legendario del lgebra, cAl, el yerno y primo
del profeta, mrtir chita, habra sido el primer rabe en cono-
cer el lgebra, una ciencia trada de Persia, que l habra
aprendido en cinco das. As se narra en el comentario al libro
de al-Khwrizm escrito por al-Khuzc en el siglo XIII y con-
servado en un manuscrito en Estambul (Yeni Cami 803), que
cita y traduce Rashed (2007, p. 4):
Se cuenta que, bajo el califato de cUmar ibn al Khattb,
unos persas trajeron la ciencia del lgebra y al-muqbala.
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,
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-
biando esta ciencia oralmente, sin consignarla en un libro,
hasta que el califato recay sobre al-Mamn, cuando ya
desapareca. Se inform de ello a al-Mamn, que inquiri
por expertos en la materia. Se encontr que slo el Shayk
104
Ab Bakr Muhammad ibn Ms al-Khwrizm era experto
en ella. Al-Mamn le pidi entonces que compusiera un
libro de lgebra y al-muqbala, para resucitar lo que haba
desaparecido. ste consinti en escribir ese libro para fijar
en l los principios del lgebra y al-muqbala, y para que
sirviera de referencia.
La rapidez de aprendizaje de cAl la envidiaran los escolares a
lo largo de los siglos, pero esta leyenda no slo proporciona
un origen glorioso al lgebra, sino que establece la importan-
cia del paso de la tradicin oral, que siempre est en peligro
de desvanecerse, a su fijacin en un texto escrito. El gesto fun-
dacional de al-Khwrizm se presenta en esta leyenda como
ese gesto de fijacin y ordenacin para que sirva de referen-
cia, no muy distinto de la fijacin de la palabra en los textos
sagrados.
A todo libro famoso se le discute la prioridad
Abandonando el terreno de lo legendario, de la historia sagra-
da, que convierte a al-Khwrizm en el amanuense de lo que
c
Al saba, tambin en el terreno de los hombres vulgares se le
ha discutido a al-Khwrizm la originalidad de su libro de
lgebra.

Portada del manuscrito de la biblioteca Bodleyan de Oxford
del lgebra de al-Khwrizm
No me refiero a quienes han atribuido a al-Khwrizm, al igual
que al conjunto de la ciencia rabe medieval, el papel de
meros intermediarios entre el pasado glorioso de la matem-
tica griega clsica y la matemtica que renace en el occidente
cristiano despus de aos oscuros. El competidor al que me
refiero es el libro que Aydin Sayili ha editado y traducido al
turco y al ingls con el ttulo Logical Necessities in Mixed
Equations, escrito por un cAbd al-Hamd Ibn Turk en la
misma poca en que al-Khwrizm escribi el suyo (Sayili,
1962), y que ya el nieto del autor del libro, que tambin era
matemtico, que vivi a finales del siglo IX y principios del
siglo X, y a quien se conoce con el nombre de Ab Barza,
habra afirmado que el libro de su abuelo era anterior al de al-
Khwrizm (Djebbar, 2005, pp. 44-45).
De hecho, al-Khwrizm no reivindica que lo que presente en
su libro no lo haya tratado nadie antes que l. Ms bien se
limita a colocarse en una estirpe:
Los sabios del tiempo pasado y de las naciones de antao
continuaban escribiendo libros que componan en los dis-
tintos tipos de ciencias y los diversos aspectos de la sabi-
dura, para que los que les sucedieran y en previsin de una
recompensa, en la medida de su capacidad [] (Rashed,
2007, p. 92).
SUMA 60
Febrero 2009
Sabios que escriban libros para elucidar los secretos de la
ciencia y lo que encierra de obscuro, de tres posibles mane-
ras:
O bien es un hombre que ha llegado a <descubrir> el pri-
mero lo que no se haba descubierto antes de l y lo ha lega-
do despus suyo; o un hombre que ha explicado lo que sus
predecesores haban dejado inaccesible, para aclarar su
mtodo, allanar el camino y acercar el acceso; o un hombre
que ha encontrado un fallo en ciertos libros, y que enton-
ces ha reunido lo que estaba disperso, ha enderezado su
porte teniendo una buena opinin de su autor, sin echarle
en cara el fallo ni enorgullecerse de lo que l ha hecho.
(Rashed, 2007, p. 94).
De las tareas de esos sabios, al-Khwrizm parece que no pre-
tenda situarse ms que en la segunda, al decir que va
a aclarar lo que era impenetrable y a facilitar lo que era
dif cil [] componer un libro conciso en el clculo de al-
jabr y al-muqbala (Rashed, 2007, p. 94).
El orgullo familiar del nieto de Ibn Turk estuvo probablemen-
te detrs de su reivindicacin de la prioridad del libro de su
abuelo sobre el libro de al-Khwrizm, que ya en ese momen-
to se haba convertido efectivamente, la propia protesta de
Ab Barza se convierte en una prueba de ello, en el libro de
referencia sobre el clculo de al-jabr y al-muqbala.
Djebbar (2005) afirma que no slo era el libro de referencia,
sino que su prioridad prevaleci ya a partir del siglo x, como
lo atestigua la reivindicacin que hace de ello Ab Kmil en la
introduccin de su libro de lgebra2:
Habiendo estudiado mucho los libros de los sabios <relati-
vos> al clculo y habiendo investigado sus afirmaciones y
lo que hay de ms precioso en lo que han escrito en sus
libros, he constatado que el libro de Muhammad ibn Ms
al-Khwrizm, que se conoce bajo <el ttulo de> La restau-
racin y la comparacin, es aquel cuyo fundamento es el
ms preciso y cuya demostracin es la ms verdadera; lo
que debera incitarnos, a nosotros especialistas en clculo,
a reconocer su ciencia y su preeminencia, porque l ha pre-
cedido <a los otros> en la realizacin del Libro de al-jabr y
al-muqbala, que l es su iniciador y que l ha inventado
los fundamentos que contiene. (Djebbar, 2005, p. 45)
al-jabr wal-muqbala
105
SUMA 60
Febrero 2009
Primera pgina del manuscrito de la biblioteca Bodleyan de Oxford del
lgebra de al-Khwrizm
Ab Kmil va en su reivindicacin mucho ms lejos de lo que
el propio al-Khwrizm se atribua, y probablemente barre
para casa (aunque l fuera egipcio, como atestigua que se le
conociera como al-Hsib al-Misr, el calculista egipcio).
Sayili, historiador turco como Ibn Turk, estira en la otra direc-
cin, a pesar de que lo nico que tiene para reivindicar la prio-
ridad de Ibn Turk sea un texto muy breve, que ensalza:
El texto que existe de cAbd al-Hamd Ibn Turk, que tiene
unas mil cuatrocientas palabras, es probablemente un
captulo del lgebra de cAbd al-Hamd. Posiblemente es
slo una parte de un captulo, pero en ese caso constituye
un apartado bien definido, completo en s mismo, con
principio y fin (Sayili, 1962, p. 99).
Con tan poco material, Sayili concede no poder demostrar
cul de los dos textos, el de Ibn Turk o el de al-Khwrizm,
106
est escrito antes, ni mucho menos que uno copiara del otro
o se inspirara en l, pero s que el texto de Ibn Turk es una
prueba contra el que al-Khwrizm iniciara, como dice Ab
Kmil, la ciencia del lgebra, inventando sus fundamentos.
El texto de cAbd al-Hamd, sin embargo, puede decirse que
corrobora la hiptesis contraria. El lgebra de cAbd al-
Hamd y al-Khwrizm no parece estar en absoluto cerca
del estado de su gnesis. No tiene los rasgos de un lgebra
que an no ha terminado de recorrer un proceso inicial de
desarrollo, sino un lgebra con reglas, tradiciones y puntos
de vista bien establecidos (Sayili, 1962, p. 125).
Sayili, al no poder probar la prioridad de Ibn Turk, le quita la
prioridad a ambos sobre la fundacin del lgebra como disci-
plina independiente, colocndolos en un estadio desarrollado
de la disciplina tras un pasado del que lamentablemente no
quedan huellas.

Al-Khwrizm no ha pretendido inventar gran cosa, sino par-
tir de un conocimiento preexistente, el que el califa le ha pedi-
do que explique. Jens Hyrup en un artculo que public en
1986 comparaba, tanto el libro de lgebra de al-Khwrizm
como el fragmento que se conserva de Ibn Turk, con otro
libro de un tal Ab Bakr, que slo se conoce por una traduc-
cin medieval latina del siglo XII hecha por Gerardo de
Cremona, que lleva el ttulo de Liber Mensurationum3. Una
parte de ese libro contiene una serie de problemas que estn
resueltos de dos maneras: una que sigue una pauta similar a la
de los textos paleobabilnicos y otra que Ab Bakr indica que
est hecha segn al-jabr y que es muy similar a la que apa-
rece en el libro de al-Khwrizm. Esta segunda tcnica corres-
pondera a una tradicin, que Hyrup califica de subcientfi-
ca, propia de los que Thbit ibn Qurrah llama gentes de al-
jabr o seguidores de al-jabr4, que segn Hyrup probable-
mente eran algn tipo de contables.
Hyrup se inclina por que el texto de Ibn Turk sea anterior al
de al-Khwrizm, pero eso no lo hace valorarlo como un ini-
ciador del lgebra ya que, al compararlo con el Liber
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.
Las fotograf as que ilustran este artculo son de Marisa
Fernndez que las hizo en un viaje a Uzbekistn en 2007.
SUMA 60
Febrero 2009
En Ibn Turk encontramos [] un paralelismo ms patente
con la tradicin de geometra ingenua que est reflejada en
el Liber Mensurationum que en el caso de al-Khwrizm
(Hyrup, 1986, p. 474).
El trasfondo sobre el que escriben tanto Ibn Turk como al-
Khwrizm sera, en opinin de Hyrup, tanto lo que pode-
mos llamar el lgebra babilnica, como esas tradiciones que
llama subcientficas y que estn representadas en el libro de
Ab Bakr. Sobre ese trasfondo, al aclarar lo que era impene-
trable y [] facilitar lo que era dif cil construye al-
Khwrizm, lo que se reconocer a partir de l como una
nueva disciplina.
Algo de la radical novedad que supone el paso del lgebra
babilnica al lgebra de al-Khwrizm examin en mi texto La
resolucin de problemas en la historia de las matemticas
(Puig, 2006), y sobre lo que hay en general de radicalmente
nuevo en el texto de al-Khwrizm he escrito en varias oca-
siones (p. e., Puig, 1998, 2008)5. Volver sobre ello en la prxi-
ma entrega de estas historias.
HISTORIAS
107
SUMA 60
Febrero 2009
NOTAS
1 Traduzco aqu de la traduccin francesa de Roshdi Rashed.
2 Cito la introduccin a partir de Djebbar (2005) porque no dispongo del
manuscrito rabe que l cita, y en las ediciones publicadas de las versiones
medievales latina (Sesiano, 1993) y hebrea con traduccin al ingls (Levey,
1966) del libro de Ab Kmil, la introduccin no aparece.
3 Este libro ha sido editado por Busard (1968).
REFERENCIAS BIBLIOGRFICAS
BUSARD, H. L. L. (1968). Lalgbre au Moyen ge: Le Liber
Mensurationum dAbu Bekr. Journal des Savants, avril-juin, pp.
65-125.
DJEBBAR, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert
/ Adapt.
HYRUP, J. (1986). Al-Khwrizm, Ibn Turk, and the Liber
Mensurationum: On the Origins of Islamic Algebra, ERDEM 2,
445-484.
LEVEY, M. (Ed.) (1966). The Algebra of Ab Kmil, in a Commentary
by Mordecai Finzi. Hebrew text and translation, and commen-
tary. Madison, WI: The University of Wisconsin Press
LUCKEY, P. (1941). Thbit b. Qurra ber den geometrischen
Richtigkeitsnachweis der Auflsung der quadratischen
Gleichungen. Sitzungsberichte des schsischen Gesellschaft der
Wissenschaften zu Leipzig, Mathematisch-physische Klasse.
Berichte 93, pp. 93-114.
PUIG, L. (1998). Componentes de una historia del lgebra. El texto de
al-Khwarizmi restaurado. En F. Hitt (Ed.) Investigaciones en
Matemtica Educativa II (pp. 109-131). Mxico, DF: Grupo
Editorial Iberoamrica.
108
4 El texto de Thbit ibn Qurrah se titula Proposiciones sobre la rectificacin de
los problemas del lgebra mediante demostraciones geomtricas, est escri-
to unos cincuenta aos despus de la aparicin del de al-Khwrizm y est
editado en Luckey (1941).
5 Estos tres textos estn disponibles en http://www.uv.es/puigl/textos.htm en
formato pdf.
PUIG, L. (2006). La resolucin de problemas en la historia de las
matemticas. En Aymerich, Jos V. y Macario, Sergio (Eds.)
Matemticas para el siglo XXI (pp. 39-57) Castelln: Publicacions
de la Universitat Jaume I.
PUIG, L. (2008). History of algebraic ideas and research on educa-
tional algebra. In M. Niss (Ed.) Proceedings of the Tenth
International Congress on Mathematical Education. CD-version.
Roskilde: IMFUFA, Department of Science, Systems and Models,
Roskilde University.
RASHED, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lal-
gbre. Paris: Librairie Scientifique et Technique Albert
Blanchard.
SAYILI, A. (Ed.). (1962). Abdlhamid ibn Trkn Katk denklem-
lerde Mantk Zururetler adl yazs ve Zamann Cebri (Logical
necessities in mixed equations by cAbd al-Hamd Ibn Turk and the
algebra of his time). Ankara: Trk Tarih Kurumu Basmevi.
SESIANO, J. (1993). La version latine mdivale de lAlgbre dAb
Kmil. In M.FOLKERTS, AND J. P. HOGENDIJK (Eds.) Vestigia
Mathematica. Studies in medieval and early modern mathemat-
ics in honour of H. L. L. Busard (pp. 315-452). Amsterdam and
Atlanta, GA: Editions Rodopi B. V.
 Historias
Historias de al-Khwrizm (4 entrega). El pro-
65 yecto algebraico.
Noviembre 2010, pp. 87-94

P roblema problematum raleza es el propsito de Descartes expresado en su libro

inacabado y publicado slo pstumamente Reglas para la
El libro de Franois Vite (1540-1603) Introduccin al arte direccin del espritu (Regul ad directionem ingenii)3, cuyas
analtica (In artem analyticem Isagoge)1, que se considera por reglas pueden reescribirse de manera que sean la descripcin
muchos historiadores como el que comienza el lgebra sim- precisa y metdica de cmo resolver cualquier problema
blica, termina enunciando cul es la ambicin del proyecto transformndolo en un sistema de ecuaciones4.
algebraico:
El Kitb al-mukhtasar f hisb al-jabr wal-muqbala (Libro
29. Denique fastuosum problema problematum ars Analytice, conciso de clculo de restauracin y oposicin), el libro de
triplicem Zetetices, Poristices & Exegetices formam tandem lgebra de al-Khwrizm, es el primer libro que conocemos
induta, iure sibi adrogat, Quod est, NULLUM NON PROBLEMA SOL-
del que se puede decir que se plantea ese proyecto, que lo que
VERE.
pretende es que todos los problemas puedan ser resueltos.
[29. Finalmente, el Arte Analtica, una vez ha sido presentada en
su triple forma de Zettica, Porstica y Exegtica2, se apropia a
justo ttulo del fastuoso problema de los problemas, que es: NO
DEJAR NINGN PROBLEMA SIN RESOLVER] (Vite, 1591, p. 9r).

ltimo prrafo del libro de Vite In artem analyticem Isagoge

La declaracin de Vite es pues explcita: de lo que se trata es

de tener una manera de trabajar, un arte, que garantice que Luis Puig
todos los problemas pueden ser resueltos. De la misma natu- Universitat de Valncia Estudi General

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.

Una parte crucial de esa transformacin del mtodo de anli-

sis y sntesis es superar la concepcin griega de la necesidad
de tratar con objetos que estn dados. Klein (1968) explica
cul es el escollo: la sntesis slo puede realizarse en la con-
cepcin griega con magnitudes que han sido dadas7. Cuando
el anlisis se realiza en problemas que tratan con objetos geo-
mtricos, el carcter de dado puede tomarse como posibili-
dad de haber sido dado al trazar la figura de anlisis que da
la construccin por ya realizada y constituye el primer paso
del anlisis:

Esta posibilidad de haber sido dado aparece en el anlisis geom-

trico en el hecho de que la construccin que se considera como ya
efectuada [] no necesita el uso de magnitudes dadas como un-
vocamente determinadas, sino slo como que tienen el carcter de
haber sido dadas (Klein, 1968, p. 164).

Ahora bien, Klein se pregunta cmo puede transferirse esa

situacin al anlisis en el terreno de la aritmtica, y responde:
Portada del libro de Vite In artem analyticem Isagoge
Claramente de esta manera: que los nmeros dados en un proble-
ma se consideren slo en su carcter de haber sido dados, y no como
Esta ruptura con el escollo de la concepcin griega de con qu
precisamente esos nmeros determinados (Klein, 1968, p. 164).
puede calcularse, le permitir a Descartes, poco despus de
Es decir, que, cuando los problemas pertenecen al terreno de Vite, zanjar el asunto estableciendo que en el anlisis hay que
la aritmtica, es necesario para efectuar el anlisis que los tratar de la misma manera lo conocido y lo desconocido, y
nmeros se consideren como dados, pero no determinados. decir que ah reside el meollo del mtodo:
Pero, se pregunta Klein ahora, cmo puede ser que nmeros
dados y por tanto determinados desempeen un papel inde-
terminado? (Klein, 1968, p. 165). La manera de Vite de supe- [] totum huius loci artificium consistet in eo, quod ignota pro cog-
nitis supponendo possimus facilem & directam qurendi viam
rar este escollo es abandonar el clculo con nmeros, lo que l
nobis proponere, etiam in difficultatibus quantumcumque intrica-
llama Logistica8 numerosa, y crear un clculo con especies de tis9. (Descartes, 1701, pp. 61-62)
nmeros, lo que l llama Logistica especiosa, que es otro nom-

88

El proyecto algebraico usa pues, para resolver el problema de
los problemas, un clculo con especies de nmeros que per-
mite tratar de la misma manera lo conocido y lo desconocido
en el anlisis de los problemas, y ese clculo con especies se
establece como un lenguaje, un sistema de signos, especfico.
En Vite, el sistema de signos est en el umbral de lo simbli-
co, casi se puede calcular con l en el terreno de la expresin
sin recurrir al terreno del contenido, en Descartes ya es ple-
namente simblico10.
El uso de un clculo con especies ya est presente en las
Aritmticas de Diofanto11, y en este libro de Diofanto, las
especies de nmeros se representan mediante abreviaturas de
sus nombres. El sistema de signos es, por tanto, sincopado, en
este sentido, y no permite el clculo en el nivel de la expresin.
El lgebra de al-Khwrizm tambin est basada en un clcu-
lo con especies, que veremos de inmediato.
Pero, aunque este desarrollo de un clculo con especies sea un
elemento crucial del proyecto algebraico, no basta para resol-
ver el problema de los problemas. Para ello es necesario con-
tar al menos con otras dos cosas. Por un lado, el clculo con
especies es un lenguaje, un sistema de signos, distinto del len-
guaje natural en el que estn expresados los problemas. As
que hace falta que el nuevo mtodo establezca cmo traducir
el enunciado de cualquier problema a una expresin en ese
nuevo sistema de signos. Por otro lado, las expresiones que
resultan de la traduccin de los problemas son ecuaciones, de
modo que hace falta saber resolver todas las ecuaciones.
Es decir que, una vez establecido el procedimiento de traduc-
cin de enunciados de problemas a ecuaciones en el mtodo
de anlisis, el problema de los problemas queda reducido a
tener un procedimiento de solucin de todas las ecuaciones.
Pero ese problema sigue siendo fastuoso, casi tan desmesura-
do como el problema de los problemas, ya que hay un sinn-
mero de ecuaciones. Sin embargo, el lenguaje del lgebra tiene
una estructura y una sintaxis que permite hacer con sus
expresiones algo que no puede hacerse con el lenguaje vern-
culo. La infinidad de ecuaciones distintas que pueden apare-
cer como traduccin de los enunciados de problemas se pue-
den clasificar en conjuntos finitos de ecuaciones representa-
dos por formas cannicas. El problema de los problemas se
reduce entonces a dos cosas: saber resolver todas las formas
cannicas, y tener un clculo que permita transformar cual-
quier ecuacin en una de las formas cannicas.
Resumiendo todo lo dicho, el proyecto algebraico de resolu-
cin del problema de los problemas consiste en:
La elaboracin del concepto de especie de nmero.
La elaboracin de un sistema de signos especfico para tra-
tar el clculo con especies.
SUMA 65
Noviembre 2010
El establecimiento de un procedimiento de traduccin del
enunciado de un problema a una ecuacin.
La clasificacin de las ecuaciones en formas cannicas, y
el establecimiento de todas las formas cannicas.
La elaboracin de un clculo que garantice transformar
cualquier ecuacin en una forma cannica.
La resolucin de todas las formas cannicas.
El proyecto algebraico de al-Khwrizm
El propio orden con el que organiza al-Khwrizm su Kitb al-
mukhtasar f hisb al-jabr wal-muqbala (Libro conciso de
clculo de restauracin y oposicin) es una indicacin de que
se est planteando resolver el problema de los problemas. En
efecto, el libro podemos dividirlo en las siguientes partes12:
1. Introduccin.
2. Las especies de nmeros.
3. Las (seis) formas cannicas, simples y compuestas.
4. Los algoritmos de solucin de las formas cannicas.
5. Las demostraciones de los algoritmos de solucin de las
formas cannicas compuestas.
6. Sobre la multiplicacin [de expresiones con especies].
7. Sobre la adicin y la substraccin [de expresiones con
especies y con radicales].
8. Sobre la divisin [de radicales].
9. Los seis problemas [ejemplos de las seis formas canni-
cas].
10. Varios problemas.
11. Transacciones mercantiles13.
12. Medida14 [de reas y volmenes].
13. Testamentos15.
14. Devolucin de dotes.
Al-Khwrizm comienza efectivamente definiendo las espe-
cies de nmeros con las que va a calcular. En la introduccin,
tras indicar que el libro lo escribe por encargo del califa al-
Mamn, dice que quiere exponer lo que las gentes necesitan
en sus herencias, legados, repartos, arbitrajes, comercios []
medida de tierras, perforacin de canales, medicin y otras
cosas que dependen del clculo (Rashed, 2007, p. 94-9516). A
continuacin presenta las especies de nmeros como las for-
mas que adoptan los nmeros que se necesitan en el clculo:
He encontrado que los nmeros que se necesitan en el clculo de al-
jabr y al-muqbala son de tres especies, que son: races, tesoros y
nmeros simples no relacionados con raz ni con tesoro. La raz
(jidr) es cualquier cosa que se multiplica por s misma, como la uni-
dad, o los nmeros, que le son superiores, o las fracciones17, que le
son inferiores. El tesoro (ml) es todo lo que resulta de la raz mul-
tiplicada por s misma. El nmero simple (cadad mufrad) es todo lo
que, entre los nmeros, es expresable y que no se relaciona con raz
ni con tesoro (Rashed, 2007, p. 96-97; Hughes, 1986, p. 23318).
89
SUMA 65
Noviembre 2010
Traduzco las palabras que usa al-Khwrizm para designar las
tres especies de nmeros, jidr, ml, y cadad mufrad, de forma
bastante literal, por raz, tesoro19 y nmero simple. Cabe
identificar sin ms las tres especies de nmeros con los tres
trminos de la forma cannica de una ecuacin de segundo
grado, y decir entonces que la raz es la incgnita, x, que ml
es la segunda potencia de la incgnita, el cuadrado, x2, y que
nmero simple es el trmino independiente, pero esta iden-
tificacin es anacrnica. Aunque traducir as las especies de
nmeros hace ms legible el texto de al-Khwrizm para un
lector actual, es aras de la legibilidad se sacrifica la posibilidad
de comprensin de cules eran los conceptos que al-
Khwrizm elaboraba y usaba; ms an, traducir as hace poco
patente que se trata de especies de nmeros.
Si examinamos las definiciones de al-Khwrizm y el uso que
hace de esos trminos en el libro, podemos ver que la raz no
es la incgnita, al-Khwrizm tiene otro nombre para la incg-
nita, shay, cosa, que no aparece hasta el apartado Sobre la
multiplicacin, que en nuestra divisin del libro en partes es
la sexta. La cosa se identificar con la raz, pero si hay que
identificar esos dos trminos es porque de entrada no son
idnticos: cosa designa una cantidad desconocida, raz es
una especie de nmero.
Un nmero es de la especie jidr, raz, si en algn momento
de los clculos se multiplica por s mismo: lo que hace que se
califique a un nmero de raz no tiene nada que ver con que
sea o no sea una cantidad desconocida de un problema, raz
no designa a una incgnita como hace la x en el sistema de sig-
nos actual del lgebra. De hecho, cuando al-Khwrizm est
definiendo qu es una raz, est hablando de nmeros, que
son por tanto, cantidades conocidas, dadas, no est hablando
de cantidades desconocidas, de incgnitas, y lo que est defi-
niendo es la forma que tiene un cierto tipo de nmeros cuan-
do se usan en clculos aritmticos.
Correlativamente, un nmero es de la especie ml, tesoro, si
en algn momento de los clculos se ha obtenido como resul-
tado de que un nmero se ha multiplicado por s mismo
(nmero que ser la raz de ese tesoro). Finalmente, un nme-
ro es de la especie cadad mufrad, nmero simple, si en el
curso de los clculos no se ha multiplicado por s mismo ni ha
sido el resultado de la multiplicacin de un nmero por s
mismo.
Si queremos que la traduccin conserve en la medida de lo
posible los conceptos de al-Khwrizm, no podemos por tanto
leer las especies de nmeros como potencias de la incgnita.
Adems, en el caso de ml, su traduccin por cuadrado es
inconveniente por ms motivos. Hyrup (1991) da tres razo-
nes de peso para no hacerlo. En primer lugar, cuadrado tiene
un significado geomtrico del que ml carece por completo,
con lo que traducir ml por cuadrado hace incomprensible el
esfuerzo de al-Khwrizm (en la parte del libro en que
demuestra los algoritmos) para explicar que ml puede repre-
sentarse mediante un cuadrado. La segunda potencia de la
incgnita y la figura geomtrica se nombran en castellano con
la misma palabra cuadrado, pero en el rabe matemtico, hay
dos palabras distintas para dos conceptos de mbitos distin-
tos: ml es una especie de nmero y el cuadrado, figura geo-
mtrica, se dice murabc. En segundo lugar, el significado de x2
como cuadrado de la incgnita, propio del lgebra elemental
actual, hace que para un lector actual carezca de sentido con-
siderar el cuadrado como incgnita; por lo tanto, una conse-
cuencia de traducir ml por cuadrado es que entonces no se
entiende por qu al-Khwrizm, despus de encontrar la raz,
calcula tambin el ml, cuando es ste la incgnita del pro-
blema. En tercer lugar, la identificacin de ml con x2 conlleva
la identificacin de la raz con la raz de la ecuacin, cuando
para al-Khwrizm es la raz del ml, la raz del tesoro.
Esta inconveniencia de traducir ml por cuadrado no es de
hecho una novedad. Ya Gerardo de Cremona, en el siglo XII,
tradujo ml por census, y no por quadratus, y la traduccin de
Gerardo de Cremona hizo tal fortuna que la palabra census,
que en latn significa patrimonio, riqueza, fue usada en
libros de lgebra escritos en latn en la poca medieval, y tam-
bin ms adelante cuando en el Renacimiento empezaron a
aparecer libros de lgebra en lenguas vernculas. En stos, la
palabra census, convertida en trmino tcnico, cuyo significa-
do en el lenguaje natural ya careca de importancia, no se tra-
dujo sino que se castellaniz (censo20), catalaniz (cens) o ita-
lianiz (censo)21.
El libro de al-Khwrizm presenta pues un primer rasgo de lo
que he llamado el proyecto algebraico ya que comienza defi-
niendo especies de nmeros con las que va a calcular, as que
no va a tener que calcular con nmeros dados, sino que va a
poder hacerlo con formas de nmeros, que tienen carcter
indeterminado. Pero en esto al-Khwrizm no es distinto de
Diofanto, que tambin comienza sus Aritmticas de forma
parecida, e incluso con una lista ms larga de especies de
nmeros22. Sin embargo, hay algo que los distingue y que no
se encuentra en ningn libro conocido anterior al de al-
Khwrizm. Diofanto dice que muchos de los problemas arit-
mticos se pueden tratar con clculos aritmticos con las
especies y resuelve un gran nmero de problemas, desarro-
llando tcnicas para ello. Al-Khwrizm pretende resolverlos
todos, y para ello comienza por establecer cules son todas las
posibilidades de combinacin de las especies de nmeros. Ese
gesto combinatorio sita el proyecto de al-Khwrizm en el
corazn de lo que hemos llamado el proyecto algebraico: la
determinacin de cules son todas las posibilidades es el paso
fundamental para poder resolver el problema problematum,
el problema de los problemas, resolver todos los problemas.
90

Al-Khwrizm encuentra que todas las posibilidades son seis,
tres simples (Rashed, 2007, pp. 96-97 Hughes, 1998, p. 233), y
tres compuestas (Rashed, 2007, pp. 100-101 Hughes, 1998, p.
234), a saber:
tesoro igual a races
tesoro igual a nmero
races igual a nmero
tesoro y races igual a nmero
tesoro y nmero igual a races
races y nmero igual a tesoro
Esas seis posibilidades son otras tantas formas cannicas, a las
que se tratar de que mediante el clculo de al-jabr y al-
muqbala se pueda reducir cualquier ecuacin que resulte de
traducir un problema a este lenguaje algebraico23. Al-
Khwrizm prosigue el libro, como hemos indicado al dividir-
lo en partes, enunciando una regla algortmica para resolver
cada una de las formas cannicas y demostrando los algorit-
mos. Con ello, todas las ecuaciones que se pueden transfor-
mar en las seis formas cannicas se pueden resolver, y stas
son todas las formas cannicas. Precisemos: todas dentro de
un dominio acotado previamente, el de las tres especies de
nmeros de las que parte al-Khwrizm. Al-Khwrizm no
resuelve pues el problema de los problemas, pero s que pre-
senta en un mundo de problemas manejable un modelo de
cmo abordarlo. La continuacin est implcita: basta con
ampliar el conjunto de especies de nmeros y aplicar de nuevo
una combinatoria que garantice que se estn considerando
todas las formas cannicas para ese nuevo conjunto de formas
cannicas.
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-
muqbala (Rashed y Vahebzadeh, 1999): habla de una lista de
especies ms larga, que se prolonga tan lejos como se quiera,
y de la que se sabe que estn en proporcin continua la razn
del nmero a las races es igual a la razn de las races a los
tesoros y es igual a la razn de los tesoros a los cubos, y es
igual a la razn de los cubos a los tesoro-tesoros, y esto tan
lejos como se quiera (Rashed y Vahebzadeh, 1999 pp. 120-
123), y luego establece todas las formas cannicas hasta la
especie siguiente a las consideradas por al-Khwrizm, es
decir, hasta el cubo.
al-jabr wal-muqbala
SUMA 65
Noviembre 20109
La lista de todas las posibilidades tiene veinticinco formas
cannicas (Rashed y Vahebzadeh, 1999 pp. 124-129):
nmero igual a raz
nmero igual a tesoro
nmero igual a cubo
races igual a tesoro
tesoros igual a cubo
races igual a cubo
tesoro y raz igual a nmero
tesoro y nmero igual a raz
raz y nmero igual a tesoro
cubo y tesoro igual a raz
cubo y raz igual a tesoro
cubo igual a raz y tesoro
cubo y raz igual a nmero
cubo y nmero igual a raz
nmero y raz igual a cubo
cubo y tesoro igual a nmero
cubo y nmero igual a tesoro
nmero y tesoro igual a cubo
cubo y tesoro y raz igual a nmero
cubo y tesoro y nmero igual a raz
cubo y raz y nmero igual a tesoro
cubo igual a raz y tesoro y nmero
cubo y tesoro igual a raz y nmero
cubo y raz igual a tesoro y nmero
cubo y nmero igual a raz y tesoro
El proyecto algebraico tropieza con un escollo: cUmar al-
cannicas. Sin embargo, s que es capaz de encontrar, cuando
el algoritmo no est disponible, un procedimiento de cons-
truccin de la solucin mediante intersecciones de cnicas.
Admirable solucin, pero que no satisface el proyecto alge-
braico. No es ste el lugar para exponer la continuacin de la
historia que conduce a la teora de Galois y el lgebra moder-
na. Volvamos al libro de al-Khwrizm.
Hasta esta altura de su libro, al-Khwrizm no ha resuelto an
ningn problema concreto, pero ya ha puesto las bases del
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
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
tiene el tamao de un manifiesto: 9 folios. Esta edicin original latina est
disponible en Gallica, http://gallica.bnf.fr/, la biblioteca digital de la
Biblioteca Nacional de Francia. Existe una traduccin al francs hecha poco
despus de la muerte de Vite por Vaulzard, con largos comentarios de ste
intercalados en la traduccin, en un volumen titulado La nouvelle algbre de
M. Vite, que tambin contiene otro libro de Vite que contina ste. De esa
traduccin francesa hay una edicin facsmil reciente (Vaulzard, 1986). Hay
una traduccin inglesa de J. Winfree Smith incluida como apndice de la edi-
cin inglesa del clsico estudio de Jakob Klein Greek Mathematical Thought
and the Origin of Algebra, que est accesible en una reedicin barata de la
editorial Dover (Klein, 1968).
2
Vite pretende en este libro restaurar el anlisis matemtico de los griegos,
y as lo subtitula, como una parte de su restauracin del anlisis matemti-
co. Para ello parte del texto de Pappus en el que ste describe el mtodo de
anlisis y sntesis, y lo transforma a su manera mediante el lgebra, que
transforma a su vez en lo que l llama logstica especiosa o clculo con
especies. La zettica, la porstica y la exegtica son los tres trminos que
Vite introduce para caracterizar las tres partes del nuevo anlisis. Pappus
distingue entre dos tipos distintos de anlisis: el problemtico (cuando se
trata de resolver un problema) y el teortico (cuando se trata de demostrar
un teorema). Vite toma la palabra zttikn (que significa investigacin)
de la descripcin del anlisis teortico y la palabra poristikn (que significa
obtencin) de la descripcin del anlisis problemtico, para las partes de su
nuevo anlisis en el que se plantea una ecuacin (por la zettica), y se exa-
mina la verdad del teorema que expresa la ecuacin (por la porstica), y
aade una tercera parte cuyo nombre, exegtica, viene de una palabra grie-
ga que significa mostrar, y que consiste en resolver la ecuacin para obte-
ner los valores concretos. La terminologa de Vite es bastante idiosincrsi-
ca, lo que hizo que apenas hiciera escuela y que no se haya conservado en
absoluto. Estos tres trminos introducidos para las tres partes del nuevo
anlisis son una buena muestra de su uso idiosincrsico de la terminologa,
ya que el trmino usado para la parte del nuevo anlisis en que se examina
un teorema est tomada del anlisis problemtico, y el trmino usado para la
parte del anlisis en que el problema se traduce a una ecuacin est tomado
del anlisis teortico.
3
La edicin cannica de las obras de Descartes es la de Charles Adam and Paul
Tannery, uvres de Descartes, cuyo volumen X contiene el original latino de
las Reglas, que no se public en vida de Descartes. La primera vez que las
Reglas se imprimieron fue en una coleccin de textos no publicados que se
edit en Holanda en 1701, con el ttulo Opuscula posthuma physica et
mathematica (Descartes, 1701).
4
En la entrega anterior de estas historias (Puig y Navarro, 2010) ya citaba mi
caracterizacin del mtodo cartesiano en forma de una serie de pasos que
describen la conducta del sujeto ideal y, por tanto, pueden considerarse
como un modelo de competencia en la resolucin (algebraica) de problemas.
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
Regul y en la Geometra, reelaborando y modificando lo que ya present
Plya en el captulo The cartesian pattern del volumen primero de su libro
Mathematical Discovery (Plya, 1962).
5 fracciones; las otras fracciones se llamaban inexpresables o sordas, califi-
En su exposicin del mtodo de anlisis y sntesis, Pappus distingue entre el
anlisis problemtico y el teortico, ya se trate de resolver problemas o
demostrar teoremas. Siguiendo en esto a Polya, yo considero que problemas
y teoremas son ambos problemas (unos de encontrar y los otros de
demostrar), con lo que el mtodo de anlisis y sntesis es un mtodo de
resolucin de problemas (Puig, 1996; Polya, 1945).
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,
p. 84).
7
Euclides escribi un libro que se suele conocer con su nombre latino Data,
pero que se titula en griego Dedomena, el participio pasado pasivo en plural
del verbo dar, y significa, por tanto, que han sido dados. Pappus lo consi-
deraba como uno de los libros que formaban parte del Tesoro del Anlisis.
Sobre el significado de dedomenon, ver mi texto sobre otro libro, este medie-
val, que tambin trata de lo que sido dado: el De Numeris Datis de Jordanus
de Nemore (Puig, 1994)
8
En la tradicin griega hay dos disciplinas distintas que tratan con nmeros:
la Aritmtica y la Logstica. La Aritmtica estudia la naturaleza de los nme-
ros y los clasifica, la Logstica estudia los clculos con nmeros. En los
92
hecho, todas las proposiciones de los libros aritmticos de los Elementos
acaban con la frase como queramos demostrar, es decir estn tratadas
como teoremas. Por el contrario, el libro de Diofanto que se conoce con el
nombre de las Aritmticas, es, desde este punto de vista, un libro de logsti-
ca, no de aritmtica.
9
Juan Manuel Navarro Cordn traduce de esta manera: [] el artificio entero
de esta exposicin consistir en que, suponiendo lo desconocido como cono-
cido, podamos preparar un camino de investigacin fcil y directo, incluso en
las dificultades ms intrincadas que se quiera (Descartes, 1984, p. 161).
10
Ver en el apartado Una historia de la simbolizacin de Puig y Rojano
(2004) cmo la creacin del actual sistema de signos del lgebra combina ele-
mentos del sistema de signos de Vite y del de Chuquet-Bombelli, pero cmo
a cada uno de ellos le falta una caracterstica, que el otro posee: en el caso de
Vite, las especies se representan mediante abreviaturas de sus nombres, en
vez de mediante nmeros, lo que no permite el clculo en la expresin; en el
caso de Chuquet-Bombelli, no hay ningn signo para representar las canti-
dades, slo se representa de qu especie es una cantidad, lo que impide
representar ms de una cantidad con signos distintos.
11
La edicin cannica es la de Tannery (1893). Hay una traduccin castellana
reciente en Nvola (Diofanto de Alejandra, 2007).
12
Las cinco primeras partes no aparecen como captulos en el libro.
13
Las traducciones latinas de Gerardo de Cremona (Hughes, 1986) y de Robert
de Chester (Hughes, 1989) slo llegan hasta aqu. La de Robert de Chester
titula este captulo de transacciones mercantiles Regula de tribus, es decir,
Regla de tres; de hecho, los problemas planteados estn todos resueltos
mediante una regla de tres.
14
Moreno (Al-Jwarizmi, 2009) traduce este captulo como Captulo de geo-
metra. Rosen (1831) y Rashed (2007) traducen ambos por medida. En el
texto rabe la palabra que aparece es mashat, que significa medicin, rea;
la palabra rabe que se usa para geometra es handasa. Solomon Gandz tra-
duce mashat por rea en el texto en que mantiene que este captulo del
libro de al-Khwrizm es simplemente una versin del Mishnat ha Middot,
la primera geometra escrita en hebreo alrededor del ao 150, y lo demues-
tra traduciendo el texto de al-Khwrizm como apndice a su edicin y tra-
duccin inglesa del texto hebreo del Mishnat ha Middot, y comparando
ambos textos (Gandz, 1932). Por supuesto que Roshdi Rashed opina, por el
contrario, que el Mishnat ha Middot es un texto mucho ms tardo, que
depende de fuentes rabes, y que al-Khwrizm no lo usa (Rashed, 2007, p. 57).
15
Este captulo y el siguiente que tratan de problemas de repartos de herencias
y devolucin de dotes, siguiendo lo establecido por la ley islmica, ocupan la
mitad del libro, y estn desglosados en varios captulos, que no detallo aqu.
16
En la edicin de Rashed, el texto rabe est en las pginas impares y su tra-
duccin francesa en las pginas pares; en las citas, indico ambas pginas.
17
Las fracciones, cuando no se especifica ms, son fracciones propias, por
tanto, menores que la unidad. De hecho, en la matemtica rabe se llamaban
fracciones expresables las fracciones unitarias, que adems eran expresa-
bles en el sentido de que la lengua rabe tiene palabras para expresar esas
cadas con la misma palabra que tambin se usaba para calificar los nmeros
que nosotros llamamos irracionales: asamm.
18
Como mi conocimiento de la lengua rabe es limitado, la versin castellana
del texto de al-Khwrizm la he compuesto utilizando el texto rabe de
Rashed (2007), que est construido utilizando todos los manuscritos que
cesa, y la traduccin latina de Gerardo de Cremona editada por Hughes
(1986), que se supone que es ms cercana al texto original de al-Khwrizm
que cualquiera de los manuscritos rabes que se conservan. No utilizo la tra-
duccin castellana de Moreno, aparecida en Nvola en 2009, por dos moti-
vos: porque est hecha a partir del nico manuscrito rabe que se haba edi-
tado y traducido antes del trabajo de Rashed (2007), pero, sobre todo, por-
que ha adoptado decisiones de traduccin contrarias a las que yo arguyo que
son necesarias para no ser anacrnicos, y poder entender los conceptos alge-
braicos de al-Khwrizm.
19
Fuera del significado tcnico en el lgebra, ml en rabe significa fortuna,
patrimonio, cantidad de dinero, bien.

20
As aparece en los tres primeros libros en que se trata el lgebra en castella-
no, escritos por Marc Aurel, Pedro Nunes y Prez de Moya, y todos ellos
publicados en el siglo XVI.
21
Robert de Chester, que tambin tradujo en el siglo XII el libro de al-
Khwrizm, tradujo ml por substantia. Un caso ms curioso es el de
Mordecai Finzi, que tradujo al hebreo en el siglo XIV el lgebra de Ab Kmil
(Levey, 1966). Mordecai Finzi era probablemente un judo espaol o que tra-
bajaba en Espaa ya que us una palabra castellana transliterada al hebreo,
y no una palabra hebrea para traducir ml: algo (). Quienes se han pre-
ocupado de distinguir ml de cuadrado han usado en ingls treasure,
fortune, wealth, possession; en francs, bien (as lo hace, por ejemplo,
Ahmed Djebbar en su libro de 2005 Lalgbre arabe. Gense dun art), pos-
session; en alemn, Vermgen; palabras que todas ellas tienen el signifi-
cado de cantidad de dinero. Rashed, aunque menciona la especificidad del
trmino ml como trmino del lenguaje del lgebra, lo traduce por carr,
pero lo distingue de la figura geomtrica escribiendo carr, en cursiva, cuan-
do traduce ml, y sin cursiva cuando traduce murabc. Rosen traduce ml por
square, y lo que hace para distinguir ml de murabc es traducir esta ltima
palabra por quadrate.
22
Es interesante sealar, de paso, que Diofanto habla de las especies de nme-
ros dos veces, lo que Vite har de forma explcita en su In artem Analyticen
Isagoge. En la definicin de las especies de nmeros por la que comienza,
stos son nmeros dados, que se clasifican en formas, en especies: []
todos los nmeros estn compuestos por una determinada cantidad de uni-
Madrasa Ulugbek de Samarkanda (Uzbekistn). Foto: Marisa Fernndez
SUMA 65
Noviembre 2010
dades, admitiendo claramente cualquier agregacin hasta el infinito. De
manera que, entre ellos, los hay que son cuadrados (tetragnn), resultantes
de la multiplicacin de un nmero denominado lado (pleur) del cuadrado
por s mismo [] (Diofanto, 2007, p. 18). Luego dice que se sabe que cada
uno de aquellos nmeros recibe una designacin ms breve cuando es un
elemento genrico del clculo aritmtico (Diofanto, 2007, p. 18), e introdu-
ce las abreviaturas de los nombres de las especies. Diofanto le cambia el
nombre a la especie que primero ha llamado cuadrado, cuando se trata de
elementos de la teora aritmtica: Denominar as dynamis al cuadrado
(tetragnos) y lo denotar mediante una letra con un superndice , es
decir, [las dos primeras letras griegas de la palabra dynamis] (Diofanto,
2007, p. 19). La lista de especies de nmeros de Diofanto contina con el
cubo, y las combinaciones de cuadrado y cubo, cuadrado-cuadrado, cuadra-
do-cubo y cubo-cubo, y se completa con el nmero a secas, que no posee
ninguna de estas propiedades y consta de una cantidad de unidades indeter-
minada [que] se llamar simplemente nmero (arithms) y an queda otro
signo para denotar una cantidad determinada y constante [formado por las
dos primeras letras de la palabra griega mons, que significa unidad]
(Diofanto, 2007, p. 19). Diofanto tambin define las especies inversas de
stas por analoga con cmo se construyen en la lengua griega los nombres
de las fracciones unitarias a partir de los nombres de los nmeros: de arith-
ms, arithmostn; de dynamis, dynamostn; etc.
23
En Puig (1998, 2008a) he explicado cmo las operaciones del clculo estn con-
cebidas para transformar cualquier ecuacin a una de las formas cannicas.
93
SUMA 65
Noviembre 2010
REFERENCIAS BIBLIOGRFICAS
Al-Jwarizmi, M. b. M. (2009). El libro del lgebra. Traduccin, intro-
duccin y notas de Ricardo Moreno Castillo. Madrid: Nvola.
Descartes, R. (1701). Opuscula posthuma physica et mathematica.
Amsterdam: Typographia P. & Blaev J.
Descartes, R. (1984). Reglas para la direccin del espritu.
Introduccin, traduccin y notas de Juan Manuel Navarro
Cordn. Madrid: Alianza Editorial.
Descartes, R. (1996). Regul ad Directionem Ingenii. En uvres de
Descartes. Tome X. dition de Charles Adam et Paul Tannery.
Paris: Librairie Philosophique J. Vrin.
Diofanto de Alejandra (2007). La Aritmtica y el libro Sobre los
nmeros poligonales. Versin en castellano, introduccin, notas y
apndices de Manuel Benito Muoz, Emilio Fernndez Moral y
Mercedes Snchez Benito. Tomo I y Tomo II. Madrid: Nvola.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert /
Adapt.
Gandz, S. (Ed. trans.) (1932). The Mishnat ha Middot, the First
Hebrew Geometry of about 150 C. E., and the Geometry of
Muhammad ibn Musa al-Khowarizmi, the First Arabic
Geometry <c. 820>, Representing the Arabic Version of the
Mishnat ha Middot. Quellen und Studien zur Geschichte der
Mathematik, Astronomie und Physik. Abteilung A: Quelle, 2.
Band. Berlin: Julius Springer
Hyrup, J. (1991). Oxford and Cremona: On the relations between
two versions of al-Khwrizms Algebra. Filosofi og videnskabste-
ori p Roskilde Universitetcenter. 3. Rkke: Preprint og Reprints
nr. 1.
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms
al-jabr: A critical edition. Mediaeval Studies 48, 211-263.
Hughes, B. (1989). Robert of Chesters translation of al-Khwrizms
al-jabr: A new critical edition. Boethius, Band XIV. Stuttgart,
Germany: Franz Steiner Verlag.
Klein, J. (1968). Greek Mathematical Thought and the Origins of
Algebra. Cambridge, MA: MIT Press. [Reprinted in New York:
Dover, 1992.]
Levey, M. (ed.) (1966). The Algebra of Ab Kmil, in a Commentary
by Mordecai Finzi. Hebrew text and translation, and commen-
tary. Madison, WI: The University of Wisconsin Press.
Polya, G., 1945, How to Solve It. (Princeton University Press:
Princeton, NJ). [Traduccin castellana de Julin Zugazagoitia,
Cmo plantear y resolver problemas. (Trillas: Mxico, 1965).]
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
Puig, L. (1994). El De Numeris Datis de Jordanus Nemorarius como
sistema matemtico de signos. Mathesis, 10, pp. 47-92.
Puig, L. (1996). Elementos de resolucin de problemas. Granada:
Comares.
Puig, L. (1998). Componentes de una historia del lgebra. El texto de
al-Khwarizmi restaurado. En F. Hitt (Ed.) Investigaciones en
Matemtica Educativa II (pp. 109-131). Mxico, DF: Grupo
Editorial Iberoamrica.
Puig, L. (2003). Historia de las ideas algebraicas: componentes y pre-
guntas de investigacin desde el punto de vista de la matemtica
educativa. En E. Castro, P. Flores, T. Ortega, L. Rico, y A.
Vallecillos (Eds.) Investigacin en Educacin Matemtica. Actas
del Sptimo Simposio de la Sociedad Espaola de Investigacin en
Educacin Matemtica (pp. 97-108). Granada: Universidad de
Granada.
Puig, L. (2008a). History of algebraic ideas and research on educatio-
nal algebra. In M. Niss (Ed.) Proceedings of the Tenth
International Congress on Mathematical Education. CD-version.
Roskilde: IMFUFA, Department of Science, Systems and Models,
Roskilde University.
Puig, L. (2008b). Historias de al-Khwrizm (2 entrega). Los Libros.
Suma, 59, pp. 105-112.
Puig, L. y Navarro, T. (2010). Protolgebra en Babilonia (2 entrega).
Mtodos de solucin. Suma, 64, pp. 97-104.
Puig, L., y Rojano, T. (2004). The history of algebra in mathematics
education. In K. Stacey, H. Chick, y M. Kendal (Eds.), The future
of the teaching and learning of algebra: The 12th ICMI study (pp.
189-224). Boston / Dordrecht / New York / London: Kluwer
Academic Publishers.
Rashed, R. (Ed.) (2007). Al-Khwrizm. Le commencement de lalg-
bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Rashed, R., y Vahebzadeh, B. (1999). Al-Khayym mathmaticien.
Paris: Librairie Scientifique et Technique Albert Blanchard.
Rosen, F. (1831). The algebra of Mohammed Ben Musa. London:
Oriental Translation Fund.
Tannery, P. (Ed.) (1893). Diophanti Alexandrini opera omnia cum
graecis commentariis (Reprinted 1974, Vols. 1-2). Stuttgart,
Germany: B. G. Teubner.
Vaulzard, J.-L. (1986). La nouvelle algbre de M. Vite. Paris: Fayard.
Vieta, F. (1591). In artem Analyticem Isagoge. Turonis: Iametium
Mettayer Typographum Regium.

66 Historias de al-Khwrizm (5 entrega). La cosa
Febrero 2011, pp. 89-100
C osa en el lenguaje natural
En el apartado 11 Variables en el lenguaje vernculo del
captulo 16 de su Fenomenologa didctica de las estructuras
matemticas, dedicado al anlisis fenomenolgico del
lenguaje del lgebra, Hans Freudenthal cuenta la siguiente
historia de su hija:
Cuando mi hija estaba en la edad en que los nios juegan el
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
sabes cul es su nombre. (Freudenthal, 1983, p. 474)1
A menudo las matemticas han elaborado sus conceptos a
partir de la riqueza inmensa de la lengua verncula, fijando el
uso de alguno de sus trminos en un sentido preciso, deter-
minado, unvoco. El proyecto algebraico necesita poder cal-
cular con lo desconocido. Ya vimos en la entrega anterior de
estas historias (Puig, 2010) que la elaboracin del concepto de
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
nmeros adoptan cuando se calcula con ellos. Cuando se
Historias
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-
cie tesoro o de la especie simple nmero. Pero esos nmeros
son desconocidos, no sabemos cul es su nombre, y, como
dijo la hija de Freudenthal, cosa sirve para nombrar algo
cuyo nombre se desconoce.
No sabemos quin ni cundo us por primera vez la palabra
cosa para referirse a un nmero desconocido y as poder
al-Khwrizm es el ms antiguo que se conserva en el que la
palabra aparece usada as. En el fragmento que queda del
libro, casi contemporneo, de Ibn Turk2 (Sayili, 1962) la pala-
bra cosa no aparece, aunque eso no significa que no pudie-
ra estar tambin en este libro, ya que la pequea parte que se
ha conservado de l corresponde a las demostraciones de los
algoritmos de solucin de las formas cannicas compuestas,
y al-Khwrizm tampoco usa el trmino cosa en esa parte de
su libro de lgebra.
Luis Puig
Universitat de Valncia Estudi General
89
SUMA 65
Noviembre 2010
Es bastante plausible que el uso de la palabra cosa como tr-
mino tcnico para nombrar una cantidad desconocida con la
que se quiere calcular, proceda de una tradicin distinta de la
tradicin de la que proceden los trminos con los que al-
Khwrizm designa las especies de nmeros3. Venga de donde
venga, la primera vez que aparece, lo hace en rabe, shay, y
ser a partir de esa palabra rabe de la que pasar al latn
como res, cuando se traduzca el libro de al-Khwrizm al latn
en el siglo XII. Luego aparecer como cosa a principios del
siglo XIV en el primer libro escrito en una lengua romance, el
Tractatus algorismi de Jacopo da Firenze, y el trmino cosa
har tanta fortuna, que la Regla de la cosa acabar siendo
otro nombre del lgebra.
Como la observacin de la hija de Freudenthal muestra, no es
de extraar que una palabra como cosa se use para designar
lo desconocido, y la palabra rabe shay, segn Rashed, es una
palabra que pertenece al rabe clsico ya que aparece en el
Corn, y
se dice de todo cuerpo animado o inanimado, de todo lo que
puede ser sujeto de atribucin, sin ser, sin embargo, repre-
sentado necesariamente por individuos [] Designando un
desconocido, la palabra necesita siempre una determinacin
o una explicacin. Si por ejemplo se dice: yo tengo una cosa,
la afirmacin no puede entenderse sin un comentario suple-
mentario. (Rashed, 1984, p. 122).
El mismo Rashed nos dice que los gramticos de la poca de
al-Khwrizm decan que la palabra shay era lo ms indefini-
do de los indefinidos y que
en teologa, el trmino remite a una existencia cierta, pero de
la que nuestro conocimiento todava est indeterminado. Por
ejemplo, se atribuye al lingista al-Khalil en el siglo VIII esta
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
conjuga tambin como una tabla de verdad. Se entiende que
al-Khwrizm haya elegido este trmino para bautizar la
incgnita algebraica4 (Rashed, 2007, p. 15).
La frmula es una cosa de una cosa, no cosa de no cosa, cosa de
no cosa, no cosa de una cosa, escrita en rabe
La cosa en el lenguaje del lgebra de al-Khwrizm
La primera vez que aparece la palabra cosa con significado
tcnico en el libro de al-Khwrizm es en el primero de los
captulos dedicados al clculo literal, el que se titula sobre la
multiplicacin. En l al-Khwrizm comienza anunciando lo
que va a hacer en ese captulo y el siguiente:
Yo te enseo cmo multiplicar unas por otras las cosas, que
son las races; si estn solas, si estn con un nmero, si estn
disminuidas en un nmero o si estn restadas de un nmero;
y cmo sumarlas unas a otras y cmo restarlas unas de otras
(Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
Sin embargo, no es en esta parte del libro de al-Khwrizm
donde puede verse por qu hace falta que al-Khwrizm nos
ensee a multiplicar unas por otras las cosas, menos an por
qu aparece ese nuevo trmino cosa, del que al-Khwrizm lo
nico que dice al introducirlo es que son las races. Si cosa
y raz fueran la misma cosa, hubiera sido innecesario que
apareciera la cosa en escena; podra al-Khwrizm haber
explicado en este captulo cmo multiplicar unas por otras
las races y ahorrarse un trmino primitivo, un concepto del
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
y raz no son conceptualmente iguales, aunque al mencionar
por primera vez el trmino, al-Khwrizm se limite a explicar-
lo diciendo que son las races, o incluso, unas lneas ms ade-
lante diciendo el significado de la cosa es la raz (Rashed,
2007, p. 124-125; Hughes, 1986, p. 242)
El significado de la cosa en el texto de al-Khwrizm est en su
uso (sa es la definicin pragmtica de significado de
Wittgenstein), ms que en esa definicin. Al-Khwrizm no
usa nunca cosa cuando introduce las especies de nmeros
que se usan en los clculos: ah usa raz. Las especies de
nmeros son raz, tesoro y simples nmeros. La raz es raz
del tesoro, y el tesoro proviene de una raz que se ha multipli-
cado por s misma, el tesoro no es una cosa que se ha multi-
plicado por s misma. Al-Khwrizm no usa nunca cosa
cuando establece las seis formas cannicas, ni cuando expone
los algoritmos de solucin de las formas cannicas, ni cuando
expone las demostraciones de esos algoritmos. En las formas
cannicas, al-Khwrizm siempre usa raz y tesoro, por ejem-
plo tesoro y races igual a nmeros, nunca dice al-Khwrizm
tesoro y cosas igual a nmeros.
En esto, sus sucesores inmediatos le son fieles. En el lgebra
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
(1048-1131) estudia unos dos siglos ms tarde en su Tratado
de lgebra y al-muqbala (Rashed y Vahebzadeh, 1999) tam-
poco aparece la cosa, sino las especies cubos, tesoros, races y
simples nmeros5.
Al-Khwrizm introduce el trmino cosa en el captulo dedi-
cado al clculo literal, pero donde al-Khwrizm lo usa conti-
nuamente y cobra sentido es en los captulos dedicados a
resolver problemas. En efecto, al-Khwrizm comienza la
resolucin de cualquier problema llamando a alguna de las
cantidades desconocidas cosa. As, por ejemplo, el primer
problema que al-Khwrizm plantea para estudiar las seis for-
mas cannicas es
90

Es por ejemplo cuando dices: has dividido diez en dos partes;
has multiplicado una de las dos partes por la otra; luego has
multiplicado una por s misma, de manera que la multiplica-
da por s misma es igual al cudruple del producto de una de
las dos partes por la otra. (Rashed, 2007, p. 144-145; Hughes,
1986, p. 247)
y la solucin, la regla para resolver problemas, comienza lla-
mando cosa a una de las dos partes en que se ha dividido
diez:
t pones una de las dos partes una cosa y la otra diez menos
una cosa; multiplica una cosa por diez menos una cosa, y
resulta diez cosas menos un tesoro (Rashed, 2007, p. 144-145;
Hughes, 1986, p. 247).
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-
Khwrizm traduce el enunciado del problema al lenguaje de
su lgebra, que no tiene signos distintos de los del lenguaje
vernculo, pero s un vocabulario propio y preciso. La palabra
del lenguaje vernculo cosa, convertida en nombre de lo des-
conocido, permite desarrollar un clculo con lo desconocido,
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-
piada por el lenguaje del lgebra.
En efecto, si pensamos que el corazn de la resolucin alge-
braica de problemas se puede decir que es esa lectura del
enunciado del problema, que est en lenguaje vernculo, para
transformarlo en un nuevo texto que est en el lenguaje del
lgebra, una de las seales en el texto de al-Khwrizm de que
se est pasando de un lenguaje a otro es que la palabra cosa
nunca aparece en los enunciados de los problemas, donde
aparece es en las soluciones.
Hay una excepcin, que en realidad no lo es: el problema 28
(en la numeracin de Rashed, 2007). En el enunciado de ese
problema s que aparece la palabra cosa. Sin embargo, en la
solucin del problema, la cantidad que al-Khwrizm designa
con cosa no es la que en el enunciado ha sido llamada cosa,
sino otra cantidad desconocida. De hecho, la cantidad desco-
nocida que en el enunciado se llama cosa no es necesaria
para resolver el problema, el problema tiene la misma solu-
cin, valga esa cantidad lo que valga. El enunciado del proble-
ma es
Si te dicen: repartes un dirham entre unos hombres y les toca
una cosa; les aades un hombre, y repartes entre ellos un dir-
ham, entonces les toca un sexto de dirham de menos que en
el primer reparto (Rashed, 2007, p. 190-191; Hughes, 1986, p.
255)
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
SUMA 65
Noviembre 2010
enunciado se ha dicho que era una cosa no aparece para nada
en la solucin del problema, con lo que cosa en el transcur-
so de la solucin es el nombre propio de la cantidad descono-
cida nmero de hombres que haba al principio, sin que
quepa ambigedad alguna sobre ello. En el lenguaje del lge-
bra de al-Khwrizm cosa es un nombre comn, cuyo signi-
ficado tiene que ver con el hecho de que la cantidad que nom-
bra es una cantidad determinada, pero cuyo valor se descono-
ce. De hecho, la mayor parte de las veces el trmino algebrai-
co cosa aparece sin artculo, cosa, o de forma indetermina-
da, una cosa, y muy pocas veces con el artculo determinado,
la cosa.
En resumen, al-Khwrizm nunca usa el trmino cosa en las
primeras partes del libro en las que trata:
1. Introduccin.
2. Las especies de nmeros.
3. Las (seis) formas cannicas, simples y compuestas.
4. Los algoritmos de solucin de las formas cannicas.
5. Las demostraciones de los algoritmos de solucin de las
formas cannicas compuestas.
tulo dedicado al clculo literal:
6. Sobre la multiplicacin [de expresiones con especies].
Al-Khwrizm nunca utiliza el trmino cosa en los otros dos
captulos dedicados al clculo literal:
7. Sobre la adicin y la substraccin [de expresiones con
especies y con radicales].
8. Sobre la divisin [de radicales].
Al-Khwrizm usa sistemticamente el trmino cosa en los
captulos dedicados a ensear a resolver problemas algebrai-
cos de segundo grado:
9. Los seis problemas [ejemplos de las seis formas canni-
cas].
10. Varios problemas.
Los cuatro captulos restantes son especiales y no entrar a
describir aqu cmo usa al-Khwrizm el trmino cosa en
ellos. Slo dir que en el corto captulo titulado
Transacciones mercantiles no usa el trmino cosa. Esto se
debe a que el captulo est dedicado a una clase de problemas
en los que siempre estn implicadas cuatro cantidades que
tienen nombre. Al-Khwrizm comienza el captulo diciendo
Que sepas que todas las transacciones entre las gentes, de
venta, compra [] se realizan [] segn cuatro nombres pro-
cin, tasa, precio y cantidad evaluada (Rashed, 2007, p. 196-
91
SUMA 65
Noviembre 2010
197; Hughes, 1986, p. 2556). Esas cuatro cantidades forman
una proporcin, y los problemas son problemas de hallar la
cuarta proporcional dados los otros tres trminos de la pro-
porcin. Al-Khwrizm no usa el trmino cosa porque no
necesita darle nombre a la cantidad desconocida, ya tiene
nombre para referirse a ella, y los clculos para resolver los
problemas son los que establece la regla de tres, en los que no
se calcula con lo desconocido.
La cosa y la raz
He sealado que cosa y raz son trminos con significado
distinto, que probablemente provienen de tradiciones ante-
riores a al-Khwrizm distintas, y que l identifica, pero usa de
manera diferenciada. Esa situacin no poda dejar de causar
dificultades, y la historia lo atestigua. El historiador tunecino
Mohamed Souissi as lo afirma en uno de los captulos de su
libro Feuilles dautomne en que, ya jubilado quince aos antes,
repasa su trabajo. Trata ese captulo del poema didctico de
Ibn al-Ysamn, del que hablar ms adelante, y Souissi cita un
comentario a ese poema hecho en el ao 1506 por un tal al-
Mridini que
seala una polmica que se haba desatado en torno al uso de
las dos palabras shay (cosa, res) y jidhr7 (raz). Para ciertos
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-
do. Ibn al-Ysamn, as como su comentarista, optan por el
primer punto de vista y se refieren a una cita de Ab Kmil
Shujc ibn Aslam, en su obra Al-Mabst f-l-jabr wa-l-muq-
bala: La shay no es sino la jidhr, y la jidhr no significa ms
que la shay; son dos nombres que sirven, uno y otro, para
expresar la misma nocin. (Souissi, 2001, p. 120).
Rastraer indicaciones del uso de cosa y raz en algunos tex-
tos y autores posteriores a al-Khwrizm en este apartado.
Ab Kmil (ca. 850-930)
En el siglo XVI andaban pues los algebristas discutiendo sobre
el uso de cosa y raz, y quien mantena que eran trminos
sinnimos usaba como autoridad las palabras de Ab Kmil,
conocido en su tiempo como el calculista egipcio, que nace
cuando muere al-Khwrizm. Sin embargo, si se recorre el
libro de lgebra de Ab Kmil8, aunque afirme que cosa y raz
son lo mismo, igual que ya lo haba hecho al-Khwrizm, el
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
captulos iniciales, lo introduce cuando comienza el clculo
literal, y lo usa en la resolucin de problemas de forma simi-
lar a al-Khwrizm.
c
Umar al-Khayym (1048-1131)
92
El caso del persa cUmar al-Khayym es ms interesante. La
palabra cosa slo aparece una vez en todo su libro de lge-
bra, muy al comienzo, cuando dice:
Es la costumbre, entre los algebristas, nombrar en su arte la
incgnita que se quiere determinar cosa, su producto por s
misma, tesoro, su producto por su tesoro, cubo, el producto
de su tesoro por su semejante, tesoro tesoro, el producto de
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-
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
cubo. La razn del nmero a las races es por tanto igual a la
razn de las races a los tesoros, igual a la razn de los teso-
ros a los cubos, e igual a la razn de los cubos a los tesoro
tesoro, y esto hasta tan lejos como se quiera (Rashed and
Vahebzadeh, 1999, pp. 120-122).
En esa frase, cosa aparece como un trmino propio del len-
guaje del lgebra (es la costumbre, entre los algebristas) que
se usa para designar la incgnita que se quiere determinar.
Al-Khayym est pues dando a cosa el sentido en que hemos
visto que al-Khwrizm usa el trmino, pero, de inmediato, lo
usa para generar las especies de nmero bastante ms all del
tesoro, que es donde se queda al-Khwrizm, mezclando pues
el sentido en que al-Khwrizm usa raz.
Podra parecer que la raz ya no va a ser para al-Khayym un
trmino necesario porque la ha substituido por la cosa en la
lista de especies de nmero, pero, muy al contrario, cuando
explica que se sabe a partir del libro de los Elementos de
Euclides que esos grados son todos proporcionales, la cosa
desaparece y ya slo habla de la raz. Mucho ms significativo
an es que la trmino cosa no vuelve a aparecer en todo el
libro. Esto se debe claramente a que al-Khayym no resuelve
ni un solo problema en todo el libro; a lo que el libro est dedi-
cado es a encontrar algoritmos de solucin para las veinticin-
co formas cannicas, que son todas las posibilidades de com-
binar las especies nmeros, races, tesoros y cubos, y, para las
que no consigue encontrar un algoritmo, encontrar su solu-
cin geomtrica mediante la interseccin de cnicas. Las for-
mas cannicas estn enunciadas en trminos de nmeros, ra-
ces, tesoros y cubos, nunca aparece el trmino cosa al enun-
ciarlas, y nunca se usa el trmino cosa en las soluciones de
las ecuaciones.
Sharaf al-Dn al-Ts (1135-1213)
El libro fundamental que se conserva del persa al-Ts (naci-
do en el ciudad de Ts) es su Tratado de las ecuaciones (Al-
Ts, 1986). En l al-Ts aborda la resolucin de las veinti-
cinco formas cannicas de las ecuaciones de tercer grado,
como lo haba hecho al-Khayym, pero, a diferencia de ste, lo
que hace es desarrollar mtodos aproximados para la resolu-

cin de las formas cannicas para las que no se haba encon-
trado en la poca ningn algoritmo de solucin.
En su libro, el trmino cosa tampoco aparece cuando pre-
senta las veinticinco formas cannicas, que estn enunciadas
en trminos de nmeros, races, tesoros y cubos:
De la formacin de las ecuaciones entre los nmeros, las ra-
ces, los tesoros y los cubos se engendran veinticinco proble-
mas que son: una raz igual a un nmero, un tesoro igual a un
nmero [] (Al-Ts, 1986, p. 16).
El trmino cosa tampoco aparece en los algoritmos, ni en las
demostraciones de stos, ni en los clculos aproximados de
las soluciones de las ecuaciones. Como adems el libro slo
trata de la resolucin de ecuaciones y no de la resolucin de
problemas de enunciado verbal, no hay lugar a que se use el
trmino cosa para nombrar alguna cantidad desconocida y
as traducir el enunciado del problema al lenguaje del lgebra.
Sin embargo, el trmino cosa tiene una nica aparicin en
todo el libro cuando al-Ts demuestra que la forma cannica
tesoro igual a races y nmeros se puede resolver transfor-
mndola en la forma cannica tesoro y races igual a nmeros,
para la que ya ha dado previamente un algoritmo de solucin.
Veamos qu es lo que hace al-Ts exactamente. Se trata de
resolver la ecuacin races y nmeros igual a tesoros, que, en
el lenguaje del lgebra simblica actual, podemos escribir x2 =
bx + c. Al-Ts comienza demostrando que es posible tener
efectivamente un tesoro que sea la suma de races y nmeros.
La demostracin utiliza una figura similar a la que al-
Khwrizm usa para demostrar el algoritmo de esta forma
cannica, pero al-Ts no ha dado ningn algoritmo y no est
por tanto demostrando algoritmo alguno sino slo la posibili-
dad de existencia de esa forma cannica. Tras hacer esto, con-
tina diciendo:
Para determinar la raz, sea AE el cuadrado [murabac]9 de
AD. Tracemos BG paralela a DE y pongamos DB una cosa, es
decir, la raz de un tesoro desconocido, y AB el nmero de
races mencionado en el problema. (al-Ts, 1986, p. 31)
Al-Ts quiere determinar la raz, que es lo que hemos repre-
sentado por x en nuestro lenguaje algebraico en x2 = bx + c, y
designa con el nombre de cosa no a la raz que tiene que
determinar, sino a otra raz de un tesoro desconocido. En la
figura, la raz que hay que determinar es el lado del cuadrado
AE, es decir, AD, la cosa es el segmento DB, de manera que
como dice al-Ts
AD es, por tanto, el nmero de races y una cosa.
SUMA 65
Noviembre 20109
Figura 1
es decir que la raz que hay que determinar es el nmero de
races ms una cosa. La cosa no se identifica aqu con la raz
que hay que determinar, sino con otra raz de otro tesoro. Si
queremos expresar lo que al-Ts hace en nuestro lenguaje
algebraico, tendremos que usar para representar la cosa una
letra distinta de la x, ya que la x la hemos usado para repre-
sentar la raz; pongamos una y. Entonces, lo que acaba de
decir al-Ts es que x = b + y.
Podramos pensar que al-Ts est haciendo un cambio de
variable. En efecto, si substituimos en la forma cannica x por
b + y, obtenemos
(b + y)2 = b(b + y) + c
b2 + 2by + y2 = b2 + by + c
by + y2 = c
es decir, que obtenemos la forma cannica tesoro y races
igual a nmeros, que es lo que al-Ts quiere obtener. Sin
embargo, al-Ts no desarrolla un clculo algebraico con las
expresiones hasta obtener la ecuacin que quiere, sino que
busca obtener esa ecuacin en las relaciones que tienen las
partes de la figura que ha construido. En efecto, al-Ts con-
tina su demostracin as:
el rectngulo BE proviene pues del producto del nmero de
races y una cosa por una cosa, pero el producto de una cosa
por una cosa es el tesoro desconocido y el producto del
nmero de races por una cosa es cosas en nmero igual al
nmero de races, pero esta suma es igual al rectngulo BE,
que es el nmero mencionado en el problema. Se tiene pues
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,
que representa el nmero (c), tambin representa el producto
de sus lados, que son BD, que representa la cosa (y) y DE. Pero
DE es igual a AD, ya que AE es un cuadrado, y AD representa
la suma del nmero de races y una cosa (b + y). De manera
que el nico clculo que ha hecho al-Ts es el equivalente a
(b + y)y = by + y2: el producto de una cosa por una cosa es el
tesoro desconocido y el producto del nmero de races por
una cosa es cosas en nmero igual al nmero de races.
En esta demostracin de cmo una forma cannica puede
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.
En trminos de lo que ha hecho al-Ts no hay cambio de
variable, no ha substituido una cantidad desconocida por
otra, lo que ha probado ha sido ms bien que si una ecuacin
tiene la forma races y nmeros igual a tesoros, se puede
transformar en otra que tiene la forma tesoros y races igua-
les a nmeros. La primera est representada en la figura 1 por
el hecho de que el cuadrado AE (que representa un tesoro) es
el resultado de pegar los rectngulos AG (que representa ra-
ces) y BE (que representa un nmero); la segunda est repre-
sentada en la misma figura 1 por el hecho de que el rectngu-
lo BE (que representa un nmero) es tambin el resultado de
pegar un cuadrado de lado BD (que representa un tesoro) y un
rectngulo (que representa races) de lado BD (que represen-
ta una raz).
As-Samawal (ca. 1130- ca. 1175)
As-Samawal era hijo de un judo nacido en Fez en el Magreb,
que emigr a Bagdad y all se cas con una juda de Basora
(Iraq). Segn Djebbar (2005) su familia era de gran cultura y
l public libros de medicina (El paseo de los compaeros,
que es esencialmente un tratado de sexologa y de historias
erticas, Djebbar, 2005, p. 54), de teologa (public, despus slo se consideran lo que para nosotros son monomios de
de su conversin al islamismo, varios panfletos contra el juda-
smo10 y el cristianismo, Djebbar, 2005, p. 54). Para lo que aqu
nos interesa su libro fundamental de matemticas es el Kitb
al-bhir f l-jabr, el Libro resplandeciente sobre lgebra
(Ahmad & Rashed, 1972).
Ese libro de as-Samawal se sita en una lnea de desarrollo del
lgebra que es diferente a la que representan los libros de Ab
Kmil, al-Khayym y al-Ts, en los que el objetivo principal
del libro es lo que en la entrega anterior de estas historias
94
(Puig, 2010) hemos llamado el proyecto algebraico de Vite, la
resolucin del problema de los problemas, y para ello se cons-
truye la teora algebraica, su lenguaje, y se estudian las formas
cannicas y sus soluciones. Lo que hace as-Samawal en este
libro es estudiar lo que podramos llamar ahora una teora de
polinomios, siguiendo los trabajos de al-Karaj, y facilitndolo
gracias a la introduccin de una representacin de los polino-
mios en forma de tablas, encabezadas por los nombres de las
especies, en las que se escriben slo lo que llamamos ahora los
coeficientes, de manera que en la tabla lo que aparece escrito
es la sucesin de los coeficientes.
Figura 2
En la figura 2 (tomada de Ahmed & Rashed, 1972, p. 45 del
texto rabe) puede verse un ejemplo de la disposicin en una
tabla de los coeficientes de los polinomios
140 50 99 20
20 x 6 + 2 x5 + 58 x 4 + 75 x3 + 125 x 2 + 96 x + 94 + + 2+ 3+ 4
x x x x
y
10
2 x3 + 5 x + 5 +
x
preparados para ejecutar en la tabla un algoritmo para la divi-
sin de polinomios (por lo que el divisor est desplazado ya
tres lugares hacia la izquierda).
La primera palabra que aparece en todas las casillas de la tabla
significa rango, orden, es decir que indica lo que ahora lla-
mados el grado del monomio. Las palabras que aparecen
debajo son los nombres de las especies. Como puede verse, no
exponentes positivos, sino tambin monomios de exponentes
negativos. stos no estn expresados, sin embargo, como
posiciones negativas en una serie ordenada, sino que estn
expresadas como fracciones: el nombre de esas especies se
forma aadiendo la palabra parte a los nombres de las espe-
cies. As, en esta tabla, debajo de la palabra que significa
rango u orden, aparecen las especies parte de tesoro teso-
ro, parte de cubo, parte de tesoro, parte de cosa, nme-
ro, cosa, tesoro, cubo, tesoro tesoro, tesoro cubo y
cubo cubo.
SUMA 65
Noviembre 2010
Figura 3
En la figura 3 (tomada de Ahmed & Rashed, 1972, p. 48 del
texto rabe) se puede ver la representacin en la tabla de los
polinomios
6 x8 + 28 x 7 + 6 x 6 80 x5 + 38 x 4 + 92 x3 200 x 2 + 20 x
y Al comienzo de este apartado ya he indicado que el historia-
25 x5 + 8 x 4 20 x 2
tambin dispuestos ya para ejecutar el algoritmo de la divisin.
Puede verse que los coeficientes negativos tambin estn repre-
sentados en la tabla escribiendo antes de los nmeros la palabra
que significa menos (que es la misma que significa no).
En estas tablas, gracias a las cuales as-Samawal desarrolla su
clculo con polinomios, la raz ha desaparecido de la lista de
los nombres de las especies y ha sido reemplazada por la cosa.
De esta manera, as-Samawal est usando cosa en el sentido
en que al-Khwrizm usaba raz, como una especie de nme-
ro. Sin embargo, eso no quiere decir que as-Samawal identifi-
que totalmente la cosa con la raz, ya que parece querer dife-
renciar dos usos cuando afirma
se dice que la cosa es un lado de cada una de sus potencias,
pero no se dice que es raz ms que del tesoro (Ahmed &
Rashed, 1972, p. 19)
Al-Karaj (ca. 953- ca. 1029)
Menciono a al-Karaj sin entrar en grandes detalles sobre su
uso de los trminos cosa y raz, ya que as-Samawal parti hiciera ms sencilla su memorizacin.
de sus trabajos. Se sabe poco de su vida, lo que ha hecho que
los historiadores hayan discutido si naci en Bagdad o si era
de Karaj, con lo que sera persa, e incluso a que tambin se
haya discutido sobre cul era exactamente su nombre. En
cualquier caso, los libros ms importantes que se conservan
de l los escribi en Bagdad: el libro al-Fakhr, que es un libro
de lgebra que lleva ese nombre porque est dedicado al visir
Fakhr al-Mulk, gobernante de la poca en Bagdad, al-Kitb al-
Badc, el Libro maravilloso, otro tratado de lgebra, y el libro
al-Kf f l-hisb, El suficiente sobre clculo, un libro de clcu-
lo mercantil en el que aparece tambin el lgebra aplicada11.
SUMA 66
Febrero 2011
Al comienzo de al-Fakhr, si confiamos en el resumen de
Woepcke (1853, p. 48) al-Karaj coloca sin ms la cosa con la
raz, e incluso con el lado, cuando expone en una lista los
nombres de las especies; y habla en especial de la cosa, en tr-
minos similares a como lo hace al-Khwrizm en un captulo
titulado Sobre los seis problemas:
El autor explica que el objetivo del lgebra es la determina-
cin de las incgnitas mediante las premisas conocidas; que
se nombra al asunto del problema cosa, y se la somete a las
operaciones enseadas en los captulos precedentes de este
tratado, de acuerdo con lo que aparece en el enunciado del
problema. (Woepcke, 1853, p. 63).
Ibn al-Ysamn (muerto en 1204)
dor tunecino Mohamed Souissi dice que Ibn al-Ysamn era
de los que identificaba cosa y raz. Segn el historiador
argelino Ahmed Djebbar,
c
Abdallah Ibn al-Ysamn naci en el Magreb Extremo de
madre negra y padre bereber de esa regin. [] Algunos bi-
grafos dejan entender que estudi las ciencias en Sevilla, que
era en esa poca la verdadera capital poltica y cultural de la
Espaa musulmana. Igualmente en esa ciudad y en
Marrakech habra sido donde ense y donde habra publi-
cado sus escritos matemticos (Djebbar, 2005, p. 132).
Souissi aade que muri degollado en Marrakech porque su
conducta dejaba que desear (Souissi, 2001, p. 117).
Su nombre completo, segn el historiador tunecino Mahdi
Abdeljaouad era Ab M. cAbd Allah b. M. b. Hajjj Al-Adrn,
conocido como Ibn al-Ysamn.
El poema sobre lgebra ya mencionado antes es el texto que lo
hizo ms famoso. En la edicin de Adbeljaouad (2005) tiene
54 versos y lleva el ttulo de al-Urjza fil-jabr wal-muqba-
la. El poema corresponde a un estilo de textos de enseanza
en los que se presentaban de forma sucinta las cuestiones fun-
damentales de alguna disciplina en verso para que el verso
Este poema sobre lgebra de Ibn al-Ysamn tuvo tanto xito
que se escribieron muchos comentarios sobre l, de los que se
conservan veinte incluyendo los de Ibn Qunfudh (muerto en
1404), Ibn Al-Hm (muerto en 1412), Al-cIrqi (muerto en
1423), Al-Qalasd (muerto en 1486), Al-Mradn (muerto en
1506) y Al-Ansri (muerto en 1661) (Adbeljaouad, 2005, p.
3), es decir, que an en el siglo XVII se seguan escribiendo
comentarios al poema, cuatro siglos despus de su composi-
cin.
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)

Figura 4. Versos 11 a 17 del poema de Ibn al-Ysamn, en rabe.

96

Ibn Badr (s. XIII)
Segn Djebbar, muy poco se sabe de Muhammad Ibn Badr,
del que slo se conoce el Libro que contiene un resumen del
lgebra. Como segn los bioblibligrafos rabes, hubo, en el
siglo X en Crdoba, un matemtico llamado cAbd ar-Rahmn
Ibn Badr, es posible que nuestro algebrista del siglo XIII sea
uno de sus descendientes. En ese caso sera originario de la
Espaa musulmana. Pero ningn otro elemento permite con-
firmar esta hiptesis (Djebbar, 2005, p. 133).
Ese libro fue editado y traducido al castellano en 1916 por Jos
A. Snchez Prez, con el titulo de Compendio de lgebra de
Abenbder (Snchez Prez, 1916), a partir de un manuscrito
que se conserva en la biblioteca escurialense. Snchez Prez
tambin fue muy cauto a la hora de afirmar si Ibn Badr, a
quien l llam Abendder, era nacido en la pennsula ibrica.
En efecto, tras decir que Suter y Casiri indican que el autor del
manuscrito del Escorial en cuestin era de Sevilla, contina:
Esta afirmacin de Suter y Casiri acerca de la patria de
Abenbder, a quien hacen sevillano, fue, sin duda, el princi-
pal motivo que nos decidi a emprender el estudio de su
compendio de lgebra. Sinceramente debemos confesar, sin
embargo, que no poseemos ms datos que las noticias de
Suter y Casiri, para suponer que Abenbder fuera espaol
(Snchez Prez, 1916, pp. xvii-xviii).
Figura 5. Primera pgina del manuscrito del Escorial del lgebra de Ibn Badr
SUMA 66
Febrero 2011
Ibn Badr habla de las especies nmero, raz y tesoro en el
comienzo del libro, como ya hemos visto en otras ocasiones,
y, en su caso, la cosa hace su aparicin como en el libro de al-
Khwrizm en el captulo de la multiplicacin, sin que se
moleste Ibn Badr siquiera en decir que cosa y raz sean lo
mismo; simplemente titula el captulo de la multiplicacin de
las cosas, los tesoros, los cubos y los nmeros, y en la lista de
lo que ahora va a ensear a multiplicar las races han desapa-
recido y han sido substituidas por las cosas.
Al-Qalasd (1412-1486)
Al-Qalasd naci en Baza y, aunque despus de pasar algn
tiempo en Tlemcen en el Magreb se instal a trabajar en
Granada durante un buen nmero de aos, abandon el reino
nazar por su inestabilidad poltica y su debilidad ante los rei-
nos cristianos, para acabar en Bja, en el actual Tnez. Al-
Qalasd es citado normalmente en las historias del lgebra
por su uso de un simbolismo propio de la matemtica rabe
occidental, de al-Andalus y el Magreb, que durante tiempo se
pens que haba desarrollado l, pero que ahora se sabe que ya
se usaba siglos antes. Sin embargo, lo que me interesa aqu es
el libro que escribe como comentario a un lgebra de Ibn al-
Bann (1256-1321), en el que la cosa ya toma el lugar de la
especie raz. El libro de Ibn al-Bann se titula Compendio de
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:
l dice: el lgebra gira en torno a tres especies: el nmero y
las cosas y los tesoros. Las cosas son las races. El tesoro es el
resultado de multiplicar la raz por s misma. (Bentaleb, 1999,
p. 249 del rabe, 285 de la traduccin francesa).
La cosa pues, en el texto que va a ser el ms usado en el
Magreb hasta el siglo XVII, ya ha pasado a ser una especie de
nmero y ha substituido a la raz. Y el comentario de al-
Qalasd contina:
l ha comenzado por el nmero, porque es absoluto y no
tiene relacin con la raz o el tesoro, no tiene exponente. Ha
hablado luego de la cosa, ya que su exponente es uno. Ha
hablado despus del tesoro ya que es el producto de la cosa
por s misma y su exponente es dos. La cosa y la raz son dos
trminos sinnimos, por eso l ha dicho: las cosas son las ra-
ces. Dicho de otra manera, es lo esencial de lo que compone
el tesoro, el cubo y los dems. (Bentaleb, 1999, pp. 249-250
del rabe, 286 de la traduccin francesa).
La cosa se ha convertido pues en lo esencial de los que com-
pone el tesoro, el cubo y los dems, es decir, en el trmino
central del lgebra.
97
SUMA 66
Febrero 2011
La regla de la cosa
Al desplazar a la raz, la cosa acaba convirtindose en el cen-
tro del lgebra, que se identifica como clculo con la cosa o
Regla de la cosa, y se incorpora al nombre de la disciplina,
como alternativa al nombre brbaro de lgebra. Incluso, en las
primeras lgebras alemanas, el lgebra se llama simplemente
Figura 6. Portada del libro Die Coss de Christoff Rudolff
98
Die Coss, por un curioso fenmeno de adopcin de la palabra
italiana, en su ortograf a del norte de Italia cossa, sin tradu-
cirla al alemn (Ding, es la palabra alemana que traduce
cosa). El libro de Die Coss de Christoff Rudolff de 1553 es el
primer ejemplo. Pero esa es otra historia, de la que hablar en
una prxima entrega.
HISTORIAS

NOTAS
1 6
La referencia es a la pgina del original de Freudenthal publicado en ingls
por Kluwer como primer volumen de la ya clsica coleccin Mathematics
Education Library, dirigida por Alan Bishop. Yo traduje una seleccin de
captulos de este libro, que public en 1994 el Centro de Investigacin y de
Estudios Avanzados de Mxico, en la que figuraba este captulo sobre el
lenguaje algebraico, junto a los captulos El mtodo y Fracciones. En
esa edicin, el texto que cito aparece en la pgina 68 (Freudenthal, 1994,
p. 68). Unos aos despus inclu tambin el captulo Razn y proporcio-
nalidad en una segunda edicin ampliada de la seleccin de textos. En esa
segunda edicin, el texto aparece en la pgina 124 (Freudenthal, 2001, p.
124).
2
Ver en la tercera entrega de estas historias la discusin sobre si el libro de
Ibn Turk es anterior o no al de al-Khwrizm (Puig, 2009).
3
En Puig & Rojano (2004) present sucintamente, siguiendo una indicacin
que aparece en Hyrup (1994), cmo esta hiptesis puede apoyarse en el
hecho de que esos trminos aparecen en dos partes distintas, y separadas
por doscientas pginas, del Liber Abacci de Leonardo de Pisa, sin que
Leonardo de Pisa relacione ambas partes de forma alguna.
4 10
Rashed no duda en atribuirle a al-Khwrizm la paternidad del trmino.
Hyrup por el contrario apunta que el trmino probablemente venga de
una tradicin anterior, que, hasta ahora, no ha dejado rastro escrito. El
historiador egipcio Rashed suele ser muy contundente en sus afirmacio-
nes, en particular cuando se trata de atribuir prioridades a los autores que
edita.
5
Ver la lista de las veinticinco formas cannicas en la anterior entrega de
estas historias (Puig, 2010). Dir de paso que nada de esto puede obser-
varse en el libro de Moreno dedicado a cUmar al-Khayym, publicado por
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.
SUMA 66
Febrero 2011
En la traduccin latina de Gerardo de Cremona, los nombres de las canti-
dades son pretium et appretiatum secundum positionem, et pretium et
appretiatum secundum querentem.
7
Souissi no translitera estas dos palabras rabes as, porque usa la transli-
teracin centroeuropea, que es la habitual en los pases del mbito cul-
tural francs, en vez de la transliteracin que yo estoy usando. He preferi-
do no ser fiel en la cita y mantener la misma transliteracin que estoy
usando en estas historias.
8
El lgebra de Ab Kmil est disponible en tres ediciones: una edicin de
la traduccin hebrea del siglo XV del judo probablemente espaol
Mordecai Finzi, con traduccin al ingls del texto hebreo de Martin Levey
(Levey, 1966); una edicin de la traduccin latina del siglo XIV (Sesiano,
1993), y una edicin del texto rabe con traduccin al alemn (Chalhoub,
2004).
9
Obsrvese que al-Ts utiliza aqu la palabra murabac y no la palabra ml,
porque se refiere al cuadrado figura geomtrica y no al cuadrado alge-
braico, que como sabemos se denomina ml, tesoro, en el lenguaje alge-
braico de la poca.
Su libro contra los judos se titula Ifhm al-Yahd, Confundir a los jud-
os, y fue muy popular en la Edad Media a raz de su traduccin al latn en
el siglo XIV, por lo que ha sido traducido tambin al alemn, el italiano, el
ingls, el espaol y el ruso (Ahmed & Rashed, 1972, p. 3).
11
Del al-Fakhr hay una edicin resumida y comentada en francs por Franz
Woepcke (Woepcke, 1853). Del Libro maravilloso hay una edicin de Adel
Anbouba del texto rabe con un comentario y un resumen en francs
(Anbouba, 1964). De El suficiente sobre clculo hay una traduccin ale-
mana de Adolf Hochheim (Hochheim, 1878).
99
SUMA 66
Febrero 2011
REFERENCIAS BIBLIOGRFICAS
Abdeljaouad, M. (2005). 12th Century Algebra in an Arabic Poem :
Ibn Al-Ysamns Urjza fil-jabr wal-muqbala. Tunis.
Descargable en enero de 2011 de:
http://membres.multimania.fr/mahdiabdeljaouad/Urjuza.pdf
Ahmad, S. & Rashed, R. (Eds.) (1972). Al-Bhir en algbre das-
Samawal. Damas: Universit de Damas.
Al-Ts, S. (1986). uvres mathmatiques. Tome I et II. Texte tabli
et traduit par R. Rashed. Paris: Les Belles Lettres.
Anbouba, A. (Ed.) (1964). Lalgbre al-Badc dal-Karag. Beyrouth:
Publications de luniversit libanaise.
Bentaleb, F. (Ed.) (1999). Ab al Hasn al-Qalasd. Sarh talhs aml
al hisb. uvre mathmatique en Espagne musulmane du XVe
sicle. Beyrouth: Dar al-Gharb al-Islami.
Chalhoub, S. (Ed.) (2004). Die Algebra Kitab al-Gabr wal-muqabala
des Abu Kamil Soga ibn Aslam. Aleppo: Aleppo University.
Djebbar, A. (2005). Lalgbre arabe. Gense dun art. Paris: Vuibert/
Adapt.
Freudenthal, H. (1983). Didactical Phenomenology of Mathematical
Structures. Dordrecht: Kluwer.
Freudenthal, H. (1994). Fenomenologa didctica de las estructuras
matemticas. Textos seleccionados. (L. Puig, Introduccin, tra-
duccin y notas.) Mxico: CINVESTAV.
Freudenthal, H. (2001). Fenomenologa didctica de las estructuras
matemticas. Textos seleccionados. (2 edicin ampliada). (L.
Puig, Introduccin, traduccin y notas.) Mxico: CINVESTAV.
Hochheim, A. (ed., trans.), (1878). Kf f l Hisb (Gengendes ber
Arithmetik) des Abu Bekr Muhammed ben Alhusein Alkarkhi. I-
III. Halle: Louis Nebert.
Hyrup, J. (1994). The Antecedents of Algebra, Filosofi og videns-
kabsteori p Roskilde Universitetcenter. 3. Rkke: Preprint og
Reprints 1994 nr. 1.
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms
al-jabr: A critical edition. Mediaeval Studies 48, pp. 211-263.
Levey, M. (ed.) (1966). The Algebra of Ab Kmil, in a Commentary
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
Puig, L. (2009). Historias de al-Khwrizm (3 entrega). Orgenes del
lgebra. Suma, 60, pp. 103-108.
Puig, L. (2010). Historias de al-Khwrizm (4 entrega). El proyecto
algebraico. Suma, 65, pp. 87-94.
Puig, L., y Rojano, T. (2004). The history of algebra in mathematics
education. In K. Stacey, H. Chick, y M. Kendal (Eds.), The future
of the teaching and learning of algebra: The 12th ICMI study (pp.
189-224). Boston / Dordrecht / New York / London: Kluwer
Academic Publishers.
Rashed, R. (Ed.). 1984. Diophante. Tome III. Les Arithmtiques. Livre
IV, et Tome IV, Livres V, VI et VII. Texte de la traduction arabe de
Qust ibn Lq tabli et traduit par Roshdi Rashed. Paris: Les
Belles Lettres.
Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de l'alg-
bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Rashed, R., y Vahebzadeh, B. (1999). Al-Khayym mathmaticien.
Paris: Librairie Scientifique et Technique Albert Blanchard.
Snchez Prez, J. A. (1916). Compendio de lgebra de Abenbder.
Madrid: Junta para la ampliacin de estudios e investigaciones
cientficas.
Sayili, A. (Ed.). (1962). Abdlhamid ibn Trkn Katk denklemler-
de Mantk Zururetler adl yazs ve Zamann Cebri (Logical
necessities in mixed equations by cAbd al-Hamd Ibn Turk and the
algebra of his time). Ankara: Trk Tarih Kurumu Basmevi.
Sesiano, J. (1993). La version latine mdivale de lAlgbre dAb
Kmil. In M. Folkerts, and J. P. Hogendijk (eds.) Vestigia
Mathematica. Studies in medieval and early modern mathema-
tics in honour of H. L. L. Busard (pp. 315-452). Amsterdam and
Atlanta, GA: Editions Rodopi B. V.
Souissi, M. (2001). Feuilles dautomne ou En souvenir des Congrs et
Colloques du patrimoine scientifique Maghrbo-arabe. Beyrouth:
Dar al-Gharb al-Islami.
Woepcke, F. (1853). Extrait du Fakhr, trait dalgbre par Abo Bekr
Mohammed ben Alhaan Alkarkh; precede dun mmoire sur lal-
gbre indtermin chez les Arabes. Paris: LImprimerie Impriale.

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
la cosa
Como ya vimos en una entrega anterior de estas historias que
subtitul El proyecto algebraico (Puig, 2010), Franois Vite,
en su libro Introduccin al arte analtica (In artem analyticem
Isagoge), presenta lo que l llama Logstica especiosa, un cl-
culo que no se hace con nmeros, sino con especies, con for-
mas de nmeros. Tambin vimos que esto es lo que le permi-
te efectuar el anlisis para resolver los problemas. La logstica
especiosa, en el caso de Vite, y esto le hace ser considerado
el iniciador del lgebra simblica, se acompaa de un clculo
con letras. As lo dice explcitamente Vite en el recto del folio
5 de la Introduccin al arte analtica:
Logistice numerosa est qu per numeros, Speciosa qu per
species seu rerum formas exhibetur, ut pote per Alphabetica
elementa.
[La Logstica numerosa es la que se presenta mediante
nmeros, la Especiosa la que se presenta mediante especies
o formas de las cosas, como, por ejemplo, mediante elemen-
tos alfabticos] (Vite, 1591, p. 5r).
El lgebra de al-Khwrizm no es simblica en este sentido: ni
las especies ni las cantidades desconocidas ni las cantidades
conocidas estn representadas mediante letras, ni mediante
Historias
ningn signo distinto de las palabras del lenguaje vernculo.
No hay pues en el libro de al-Khwrizm, estrictamente
hablando, lo que nosotros llamamos clculo literal, en el sen-
tido de clculo con letras. Sin embargo, s que hay desarrolla-
do un clculo con la cosa y un clculo con especies, hay pues
una logstica especiosa. Adems, al-Khwrizm le dedica a
ese clculo una parte especfica del libro situada antes de que
aborde el procedimiento para resolver los problemas y des-
pus de haber expuesto cules son los objetos de los que va a
tratar el clculo, es decir, las especies de nmeros, y haber
establecido el conjunto completo de formas cannicas, sus
algoritmos de solucin y las demostraciones de esos algorit-
mos.
Los captulos del libro en que al-Khwrizm desarrolla ese
clculo con la cosa y con especies son (con la numeracin que
les di en Puig, 2010) los siguientes:
6. Sobre la multiplicacin.
7. Sobre la adicin y la substraccin.
8. Sobre la divisin.
Luis Puig
Universitat de Valncia Estudi General
101
SUMA 65
Noviembre 2010
En el captulo Sobre la multiplicacin al-Khwrizm calcula
con la cosa y en los clculos aparecen las especies. En los otros
dos captulos calcula con especies y con radicales, sin que apa-
rezca el trmino cosa. Adems, al final del captulo Sobre la
divisin vuelve sobre tres de los clculos expuestos en el cap-
tulo Sobre la adicin y la substraccin para demostrarlos.
Veamos, en primer lugar, cmo explica al-Khwrizm el cl-
culo con la cosa.
El clculo con la cosa
Al-Khwrizm comienza manifestando explcitamente que
escribe con intencin pedaggica:
Yo te enseo cmo multiplicar unas por otras las cosas, que
son las races; si estn solas, si estn con un nmero, si estn
disminuidas en un nmero o si estn restadas de un nmero;
y cmo sumarlas unas a otras y cmo restarlas unas de otras
(Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
Los tipos de expresiones que al-Khwrizm va a ensear cmo
se multiplican los podemos escribir en el lenguaje actual del
lgebra as:
las cosas solas: ax
las cosas con un nmero: ax + b
las cosas disminuidas en un nmero: ax b
las cosas restadas de un nmero b ax
Como para al-Khwrizm los nmeros son positivos, tiene
que haber dos tipos de expresiones con la substraccin, las
cosas disminuidas en un nmero y las cosas restadas de un
nmero, mientras que slo hay un tipo de expresin cuando
se suman cosas y nmeros. Veremos ms adelante que en uno
de los ejemplos al-Khwrizm dice explcitamente que diez
ms cosa y cosa ms diez es lo mismo, y por qu necesita
decirlo.
Para ensear a multiplicar esas expresiones con la cosa al-
Khwrizm recuerda qu significa multiplicar:
Que sepas que para cualquier nmero multiplicado por otro
nmero es necesario sumar uno de los nmeros tantas veces
como las unidades que contiene el otro (Rashed, 2007, p.
122-123; Hughes, 1986, p. 241).
Al-Khwrizm no contina, como podra esperarse, dando
ahora una regla para multiplicar las expresiones con nmeros
y cosas, sino que presenta una situacin puramente aritmti-
ca que utiliza como un modelo ms concreto a partir del cual
dar sentido a los clculos (algebraicos) con la cosa. La situa-
cin en cuestin es la multiplicacin de nmeros cuando
estn representados en el sistema de numeracin posicional
decimal, es decir, lo que al-Khwrizm explicar en su Libro
del clculo con los nmeros hindes (Allard, 1992)1. En efecto,
lo que hace al-Khwrizm es explicar que para multiplicar
decenas ms unidades por decenas ms unidades hay que
hacer cuatro multiplicaciones. Pero no slo explica eso, sino
que extiende el modelo concreto del clculo aritmtico hind
a la situacin en que las unidades no se aaden a las decenas
(como en la representacin hind de los nmeros) sino que se
substraen:
Si se tiene decenas a las que se ha aadido unidades o de las
que se ha quitado unidades, es necesario multiplicar cuatro
veces: las decenas por las decenas, las decenas por las unida-
des, las unidades por las decenas y las unidades por las uni-
dades. (Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
Vale la pena observar que, como al-Khwrizm tiene disponi-
bles los nombres decenas y unidades, puede enunciar la
regla en general sin verse obligado a enunciarla mediante un
ejemplo numrico concreto. Decenas y unidades desem-
pean, en los clculos aritmticos en el sistema de numera-
cin posicional decimal, un papel similar al que van a desem-
pear las especies de nmeros en los clculos algebraicos, por
eso al-Khwrizm puede usar ese clculo como modelo (ms
concreto) para ensear el clculo (ms abstracto) algebraico.
Adems, al extender el modelo de la situacin propia del sis-
tema de numeracin (la adicin de decenas y unidades) a una
situacin similar a la anterior, pero nueva (la substraccin de
unidades a decenas), da paso tambin a un modelo para la
regla de los signos:
Entonces, si las unidades que estn con las decenas son
ambas aadidas, la cuarta multiplicacin es aditiva, y si son
ambas substradas, la cuarta multiplicacin es tambin aditi-
va. Pero si unas estn aadidas y otras substradas, la cuarta
multiplicacin es substractiva (Rashed, 2007, p. 122-123;
Hughes, 1986, p. 241).
Vale la pena detenerse un momento en el detalle de los trmi-
nos que acompaan este modelo aritmtico de la regla de los
signos: al-Khwrizm no multiplica los signos ms y menos a
la manera de la moderna formulacin de la regla de los signos
(+ + = +; + = ; = +). Al-Khwrizm no dice siquie-
ra en lenguaje vernculo: ms por ms, ms; ms por menos,
menos; menos por menos, ms. Al-Khwrizm no habla de
esos signos sueltos, sino de las cantidades que se suman o se
restan.
Pero adems, al-Khwrizm no habla de cantidades positivas
o cantidades negativas, esto ltimo es simplemente impensa-
ble, sino de cantidades que se suman y cantidades que se res-
tan a otras: en este caso unidades aadidas y unidades
substradas a unas decenas. El calificativo aadido o subs-
trado, aditivo o substractivo no tiene sentido para una
cantidad aislada, slo tiene sentido para una cantidad que est
inmersa en un clculo. La regla de multiplicacin es pues una
102

regla operatoria sobre lo que la cantidad est realizando o ha
realizado en una operacin aritmtica: ser aadida o ser subs-
trada en el curso de la realizacin de un clculo es lo que le
da a las cantidades, slo a efectos de ese clculo, el carcter
aditivo o substractivo. Ese carcter aditivo o substractivo no
es pues una propiedad absoluta de una cantidad, sino una pro-
piedad de la cantidad relativa a un clculo concreto en el que
aparece: como se est multiplicando una cantidad, a la que se
le ha aadido otra, por otra cantidad, a la que se le ha subs-
trado otra, el cuarto producto es una cantidad substractiva,
es decir, una cantidad que se va a substraer de otra.
Por otro lado, la regla slo est enunciada para la cuarta mul-
tiplicacin, que es la multiplicacin en la que los factores pro-
vienen ambos de las cantidades que estn aadidas o substra-
das a otras. Slo en este caso tiene al-Khwrizm que enun-
ciar una regla. En los otros casos, interviene una cantidad que
ni est aadida ni est substrada, sino que es la cantidad a la
que se le aade o se le quita algo. Cuando dos de esas canti-
dades se multiplican, el producto no es aditivo ni substracti-
vo, es de nuevo una cantidad a la que se le aade o se le quita
algo. Cuando una de estas cantidades se multiplica por una
cantidad aadida o substrada, el producto resultante tiene el
carcter aditivo o substractivo de la cantidad por la que se
multiplica, sin que la cantidad que ni es aadida ni substrada
pueda influir en ese carcter.
Al-Khwrizm ejemplifica a continuacin las reglas que ha
formulado en general en el modelo aritmtico concreto con
tres ejemplos numricos, elegidos para tener uno de cada una
de las posibilidades de producto de unidades aadidas y
unidades substradas. El primero, y ms simple, es:
Por ejemplo: diez y uno por diez y dos; el diez por el diez es
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
dos. (Rashed, 2007, p. 122-123; Hughes, 1986, p. 241).
En este ejemplo est patente ese carcter asimtrico de la adi-
cin que hemos indicado: en diez y uno, diez es la cantidad a
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
que se le aade una cantidad que cambia la cantidad inicial,
no es el modelo de adicin que la presenta como el cardinal de
la unin de dos conjuntos disjuntos y en el que los dos suman-
dos desempean el mismo papel en la adicin.
Ambos dieces, el de diez y uno y el de diez y dos, son can-
tidades que ni son aadidas ni substradas: su producto, por
tanto, no es aditivo ni substractivo. Al-Khwrizm escribe el
diez por el diez es cien, y no el diez por el diez es cien aditi-
vo. En las otras tres multiplicaciones, el producto s que est
calificado, en este caso, siempre como aditivo. Veamos los
otros dos ejemplos:
SUMA 65
Noviembre 2010
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-
tivo, y el uno tambin substrado por el diez es diez substrac-
tivo. Esto es ochenta. Y el uno substrado por el uno substra-
do, uno aditivo. Esto es pues ochenta y uno.
Si se tiene diez y dos por diez menos uno, el diez por el diez
es cien; el uno substrado por el diez es diez substractivo; el
dos aadido por el diez es veinte aditivo. Esto es ciento diez.
El dos aadido por el uno substrado es dos substractivo.
Todo esto es pues ciento ocho (Rashed, 2007, pp. 122-125;
Hughes, 1986, pp. 241-242).
Los tres ejemplos son pues
(10 + 1) (10 + 2)
(10 1) (10 1)
(10 + 2) (10 1)
Los dieces son siempre cantidades que ni son aadidas ni
substradas. En los clculos al-Khwrizm siempre escribe
diez sin calificativo alguno. En el primer ejemplo, en que las
otras cantidades estn ambas aadidas, al-Khwrizm no se
preocupa de escribir el calificativo aadido con el uno o el
dos, pero en los otros dos ejemplos, siempre lo escribe: el uno
substrado, el dos aadido.
Los productos siempre van acompaados de su calificativo,
aditivo o substractivo, de manera que el clculo se comple-
ta luego realizando sobre el primer producto, es decir, el
resultado de la multiplicacin de las dos cantidades iniciales
(que es al que se van a aadir o del que se van a substraer el
resto de los productos) las adiciones o substracciones corres-
pondientes al carcter de los otros tres productos. Al-
Khwrizm, adems, se detiene en subrayar el efecto de la
cuarta multiplicacin, que es en la que ambos factores estn
calificados como aadido o substrado.
Una vez expuestos los ejemplos de los clculos aritmticos
que son el modelo concreto para ensear las reglas de clculo
con la cosa, al-Khwrizm dice explcitamente que sa ha sido
su intencin al explicar todo lo anterior:
Te he mostrado esto para indicarte cmo multiplicar las
cosas unas por otras, si estn aadidas a un nmero, o resta-
das de un nmero, o disminuidas por un nmero (Rashed,
2007, pp. 124-125; Hughes, 1986, p. 242).
Dicho esto, al-Khwrizm desgrana ejemplos de clculos con
expresiones con la cosa del estilo que ha anunciado, en los
que, al poner en funcionamiento para esas expresiones alge-
braicas los clculos que ha mostrado en el modelo concreto
aritmtico, va ms all de la imitacin con las expresiones
algebraicas de los clculos aritmticos. En particular, lo aditi-
vo y lo substractivo dejan de ser calificativos estrictamente
ligados a lo que se aade o se substrae a una cantidad que ni
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
apareciendo como substrado de una cantidad, parece inde-
pendizarse en el curso de los clculos. Veamos cmo son los
ejemplos.
Los ejemplos son estos diez:
1. (10 x) 10 2. (10 + x) 10
3. (10 + x) (10 + x) 4. (10 x) (10 x)
5. (1 1/6) (1 1/6) 6. (10 x) (10 + x)
7. (10 x) x 8. (10 + x) (x 10)
9. (10 + x/2) (1/2 5x) 10. (10 + x) (x 10)
El quinto ejemplo no es en realidad un clculo de expresiones
con la cosa, sino que el lugar de la cosa est ocupado por una
fraccin. En el ejemplo noveno tambin hay fracciones, o,
para ser ms preciso, mitades, y curiosamente, el nmero de
cosas es la mitad de diez. Estos dos ejemplos no responden al
mismo esquema sistemtico de desarrollo de posibilidades
que los otros, y slo parece tener sentido que al-Khwrizm
los incluya por la dificultad que conllevaba el clculo con frac-
ciones en su poca.
En el ejemplo dcimo, cuyo enunciado es el mismo que el del
octavo, lo que hace al-Khwrizm es decir que diez y cosa es
lo mismo que cosa y diez y desarrollar entonces el clculo
(x + 10) (x 10).
Veamos en detalle cmo desarrolla al-Khwrizm los ejem-
plos. Empecemos por los cuatro primeros.
1. (10 x) 10
Si se te dice: diez menos cosa, y el sentido de la cosa es la raz,
por diez, entonces multiplica diez por diez, resulta cien, y
menos cosa por diez, resulta diez races substractivas.
Decimos: cien menos diez cosas (Rashed, 2007, pp. 124-125;
Hughes, 1986, p. 242).
2. (10 + x) 10
Si se dice: diez y cosa por diez, t multiplicas diez por diez,
resulta cien, y cosa por diez, resulta diez cosas aditivas. Se
tiene pues cien y diez cosas (Rashed, 2007, pp. 124-125;
Hughes, 1986, p. 242).
3. (10 + x) (10 + x)
Si se dice: diez y cosa por s misma, t dices: diez por diez,
cien, y diez por cosa, diez cosas, y diez por cosa, diez cosas
tambin, y cosa por cosa, tesoro aditivo. Resulta entonces
cien dirhams y veinte cosas y tesoro aditivo (Rashed, 2007,
pp. 124-125; Hughes, 1986, p. 242).
4. (10 x) (10 x)
Si se dice: diez menos cosa por diez menos cosa, t dices: diez
por diez, cien, y menos cosa por diez, diez cosas substracti-
vas, y menos cosa por diez, diez cosas substractivas, y menos
104
cosa por menos cosa, tesoro aditivo. Resulta pues cien y teso-
ro menos veinte cosas (Rashed, 2007, pp. 124-125; Hughes,
1986, p. 242).
En estos cuatro ejemplos, al-Khwrizm hace las dos o las cua-
tro multiplicaciones por separado, y luego combina los pro-
ductos teniendo en cuenta si cada uno de ellos es aditivo o
substractivo. Hasta aqu no hace ms que calcar sobre las
expresiones con la cosa lo que ha hecho con el modelo arit-
mtico ms concreto, substituyendo simplemente el uno o el
dos, que estaban aadidos o substrados a diez en los ejemplos
aritmticos, por la cosa.
Sin embargo, hay algo que es nuevo: en los ejemplos aritmti-
cos en que aparece diez menos uno, al-Khwrizm llamaba
en los clculos el uno substrado a ese uno que en la expre-
sin aritmtica est despus de la palabra menos, aqu al-
Khwrizm ante la expresin equivalente diez menos cosa no
dice en los clculos la cosa substrada, sino menos cosa ya
desde el primer ejemplo.
Lo substrado de una cantidad, el uno substrado de diez en
el ejemplo aritmtico expresado en la frase diez menos uno,
se independiza para ser no una cosa substrada sino menos
cosa.
Por supuesto que esto est lejos de indicar la constitucin de
la idea de nmero negativo: slo cuando nombra lo que se va
a multiplicar dice al-Khwrizm menos cosa, en cuanto se
trata del resultado de la multiplicacin, de nuevo est presen-
te que cualquier cosa que lleve delante la palabra menos
representa una cantidad que ha de substraerse de otra. El
resultado de la multiplicacin de menos cosa por diez no es
menos diez cosas, sino diez cosas substractivas. La palabra
menos, la expresin menos cosa slo se ha independizado
de la cantidad de la que se substrae mientras se est calculan-
do con ella.
Eso no quita para que la reiteracin a lo largo del texto de al-
Khwrizm de la expresin menos cosa le d carta de natu-
raleza como parte del lenguaje algebraico que al-Khwrizm
usa en su libro, y probablemente contribuy a establecer. Si
usamos la clsica caracterizacin de Nesselman (1842) de los
tipos de lenguaje algebraico, el texto de al-Khwrizm es
retrico porque los clculos algebraicos estn expresados
totalmente y en detalle usando palabras del lenguaje verncu-
lo. Ahora bien, decir que entonces el lgebra est escrita en
lenguaje vernculo es contar slo la mitad de la historia: al-
Khwrizm slo usa el lenguaje vernculo, por supuesto, pero,
por un lado, fija significados tcnicos de las palabras, y, por
otro, y ms importante para lo que quiero sealar aqu, esque-
matiza y estereotipa el texto. Salta a la vista cuando se lee el
libro de lgebra de al-Khwrizm, o simplemente los fragmen-
tos que estoy citando aqu, que al-Khwrizm construye frases
repitiendo expresiones verbales que, por la reiteracin, se

convierten en frmulas estereotipadas. El historiador libans
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
acabamos de encontrar en el cuarto ejemplo, va contra la
gramtica (Anbouba, 1978, p. 72). Al-Khwrizm rompe la
gramtica de la lengua verncula como parte de su elabora-
cin del sistema de signos del lgebra, que no se hace con ms
materia de la expresin que la de la propia lengua verncula2.
La nueva gramtica produce textos esquemticos y estereoti-
pados: menos cosa es ms compacto y manejable en un
texto esquemtico y estereotipado que la cosa substrada, y,
una vez se ha permitido violar la gramtica, se puede inde-
pendizar de la expresin completa que le daba sentido (diez
menos cosa), para designar algo con lo que se hacen clculos
algebraicos3.
Veamos el quinto ejemplo, en el que no aparece la cosa, pero
que al-Khwrizm enlaza con los anteriores al empezar
diciendo De la misma manera, lo que nos podra hacer pen-
sar que el sentido de incluir este ejemplo no est en usarlo
como modelo aritmtico y por tanto ms concreto de la mul-
tiplicacin de expresiones con la cosa, sino, por el contrario,
como aplicacin ahora de esos clculos de vuelta a la aritm-
tica, para unos clculos que son dif ciles.
5. (1 1/6) (1 1/6)
De la misma manera si te dicen: un dirham menos un sexto
por un dirham menos un sexto. Se tiene cinco sextos por s
mismo, es decir, veinticinco partes de treinta y seis partes de
dirham, que es dos tercios y un sexto de un sexto.
La regla para ello es: multiplicas un dirham por un dirham, se
tiene un dirham. Y menos un sexto por un dirham vale un
sexto substractivo, y menos un sexto por un dirham vale un
sexto substractivo. Queda dos tercios de un dirham. Y menos
un sexto por menos un sexto vale un sexto de un sexto aditi-
vo. Es pues dos tercios y un sexto de un sexto (Rashed, 2007,
pp. 126-127; Hughes, 1986, p. 242).
No entrar aqu en las peculiaridades de la denominacin de
las fracciones en la poca rabe medieval, que son responsa-
bles de algunos de los detalles de estos clculos. Slo mencio-
nar que la lengua rabe tiene nombre slo para las fracciones
unitarias, y que stas se llaman fracciones expresables, mien-
tras que las dems se llaman inexpresables o sordas (exac-
tamente la misma palabra se usa tambin para las magnitudes
inconmensurables). Las fracciones sordas se describen con
expresiones como la que aparece en este texto: veinticinco
partes de treinta y seis partes para 25/36, reiterando la pala-
bra parte para indicar claramente que la unidad (en este
caso, el dirham) se ha dividido en treinta y seis partes y que se
han tomado veinticinco de esas treinta y seis. Tambin tiene
nombre para fracciones con un dos en el numerador, como
dos tercios, pero eso se debe a que la lengua rabe no slo
tiene singular y plural, sino tambin dual, por lo que para
decir dos cosas, por ejemplo, no se usa el nmero dos, sino
SUMA 65
Noviembre 20109
que se pone la palabra cosa en dual. Esto explica la forma en
ms simple la expresin dos tercios y un sexto de un sexto
que veinticinco partes de treinta y seis partes.
Lo que interesa sealar, y va en el sentido que haba adelanta-
do antes de exponer este ejemplo, es que aqu al-Khwrizm
aplica al clculo de expresiones con fracciones la regla que ha
enunciado para expresiones con la cosa, e incluso usa el
mismo lenguaje esquematizado y estereotipado que viola la
gramtica: menos un sexto por menos un sexto, etc.
Veamos ahora los ejemplos sexto, sptimo y octavo
6. (10 x) (10 + x)
Si se dice: diez menos cosa por diez y cosa, t dices: diez por
diez, cien, y menos cosa por diez, diez cosas substractivas;
cosa por diez, diez cosas aditivas, y menos cosa por cosa,
tesoro substractivo. Y esto es cien dirhams menos un tesoro
(Rashed, 2007, pp. 126-127; Hughes, 1986, p. 242).
7. (10 x) x
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.
126-127; Hughes, 1986, pp. 242-243).
8. (10 + x) (x 10)
Si se dice: diez y cosa por cosa menos diez, t dices: cosa por
diez, diez cosas aditivas; cosa por cosa, tesoro aditivo; menos
diez por diez, cien dirhams substractivos; menos diez por
cosa, diez cosas substractivas. Decimos entonces: un tesoro
menos cien dirhams. Despus de haberlas opuesto, se elimi-
nan diez cosas aditivas con diez cosas substractivas. Quedar
entonces un tesoro menos cien dirhams (Rashed, 2007, pp.
126-129; Hughes, 1986, p. 243).
El ejemplo sptimo no incluye nada nuevo, su diferencia con
los ejemplos primero y segundo es simplemente que la expre-
sin simple es una cosa en vez de ser un diez, por lo que una
de las dos multiplicaciones da origen a un tesoro, en este caso
substractivo. Esa multiplicacin de la cosa por la cosa ya haba
aparecido en los ejemplos tercero y cuarto, y es una multipli-
cacin de especies de nmeros: cosa por cosa es tesoro ya que
al-Khwrizm ha advertido que el sentido de la cosa es la
raz4.
En los ejemplos sexto y octavo, las diez cosas aditivas se com-
pensan con las diez cosas substractivas, quedando una expre-
sin en la que slo hay dos especies: simples nmeros o dir-
hams y tesoros. En el ejemplo sexto al-Khwrizm se limita a
enunciar el resultado: Y esto es cien dirhams menos un teso-
ro. El ejemplo octavo es ms interesante porque al-
Khwrizm explica cmo han desaparecido las cosas al final
de los clculos, y, en la explicacin, utiliza la palabra qblat,
105
SUMA 65
Noviembre 2010
que tiene la misma raz que al-muqbala, la palabra que apa-
rece en el ttulo del libro de al-Khwrizm acompaando a al-
jabr, y que es el nombre de una de las operaciones fundamen-
tales que definen el clculo. Esa raz tiene el significado de
oponer una cosa a otra, y se usa para compensar los trminos
de una expresin algebraica que sean de la misma especie. En
el caso de este clculo, hay dos de las cuatro multiplicaciones
que han producido trminos de la misma especie: diez cosas
aditivas y diez cosas substractivas. El calculista algebraico las
opone, las pone una frente a otra y las compensa, en este caso
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 ejemplo noveno, ya lo anunciaba cuando comenzamos a
examinar estos ejemplos, es peculiar por la presencia de mita-
des:
9. (10 + x/2) (1/2 5x)
Si se dice: diez dirhams y media cosa por medio dirham
menos cinco cosas, t dices: medio dirham por diez, cinco
dirhams aditivos; y medio dirham por media cosa, un cuarto
de cosa aditivo, y menos cinco por diez dirhams, cincuenta
races substractivas. Resulta la suma de todo entonces cinco
dirhams menos cuarenta y nueve races y tres cuartos de raz.
Multiplicas luego cinco races substractivas por media raz
aditiva. Resulta dos tesoros y medio substractivos. Es enton-
ces cinco dirhams menos dos tesoros y medio y menos cua-
renta y nueve races y tres cuartos de raz. (Rashed, 2007, pp.
128-129; Hughes, 1986, p. 243).
Este ejemplo nos hace ver de nuevo que la presencia de frac-
ciones era una dificultad notable para los clculos, pero no
nos vamos a entretener ms que en constatarlo.
El ltimo ejemplo muestra, en primer lugar, que es necesario
decir explcitamente que diez y cosa es lo mismo que cosa y
diez.
10. (10 + x) (x 10)
Si se dice: diez y cosa por cosa menos diez. Es como si se
hubiera dicho: cosa y diez por cosa menos diez. T dices: cosa
por cosa, tesoro aditivo; diez por cosa, diez cosas aditivas;
menos diez por cosa, diez cosas substractivas. Se anula lo
aditivo con lo substractivo y queda el tesoro. Y menos diez
por diez, cien substrado del tesoro. Resulta pues un tesoro
menos cien dirhams. (Rashed, 2007, pp. 128-129; Hughes,
1986, p. 243).
Aqu, la oposicin de los dos trminos que son de la misma
especie se enuncia sin tanta precisin como en el ejemplo
octavo, y como despus de las tres primeras multiplicaciones
slo queda el tesoro, la cuarta multiplicacin, que da un resul-
tado substractivo, se enuncia como cien substrado del teso-
106
ro. Pero eso no completa el clculo, sino que el resultado se da
con la expresin algebraica en su forma esquemtica y estere-
otipada: un tesoro menos cien dirhams.
Despus de este ltimo ejemplo, al-Khwrizm termina el
captulo Sobre la multiplicacin recapitulando:
Y para todo lo que se obtiene por la multiplicacin de aditi-
vo y substractivo, como menos cosa por cosas aadidas, el
ltimo producto es substractivo siempre. (Rashed, 2007, pp.
128-129; Hughes, 1986, p. 243).
El clculo con especies
Al-Khwrizm slo trata con tres especies: tesoros, races y
simples nmeros. En el captulo Sobre la multiplicacin, que
hemos examinado, desarrolla un clculo con expresiones en
las que est la cosa y ensea a calcular con las cosas si estn
solas, si estn con un nmero, si estn disminuidas en un
nmero o si estn restadas de un nmero. Con ello trata todas
las multiplicaciones entre expresiones con especies que pue-
den aparecer en su clculo; cualquier otra multiplicacin exi-
gira ampliar la serie de las especies, incluyendo el cubo, el
tesoro tesoro, el tesoro cubo, etc., como hicieron tras l sobre
todo al-Karaj, as-Samawal y los que les siguieron. En los
otros dos captulos al-Khwrizm aborda las tres operaciones
aritmticas que faltan: adicin, substraccin y divisin. Sin
embargo, en estos captulos al-Khwrizm no sigue calculan-
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-
siones con especies y, sobre todo, expresiones en las que apa-
recen radicales.
No examinar los dos captulos completos como he hecho en
el caso del captulo Sobre la multiplicacin, sino que me
limitar a examinar unos clculos que presenta en el captulo
Sobre la adicin y la substraccin que son peculiares. En el
conjunto de estos dos captulos, el estilo de presentacin es
bastante diferente del que hemos visto que al-Khwrizm uti-
liza en el captulo Sobre la multiplicacin: no hay aqu
modelo concreto alguno a partir del cual se le d sentido a los
clculos algebraicos. Los clculos que vamos a examinar tie-
nen la peculiaridad, adems, de que al-Khwrizm los
demuestra mediante figuras en dos casos, y dice que no es
posible demostrarlo mediante figuras en otro, pero que en ese
caso se puede hacer una demostracin con palabras. Esta
demostracin con palabras puede verse como el germen de
la demostracin puramente algebraica.
Los dos primeros clculos no son clculos con especies sino
con radicales, en concreto la adicin y la substraccin de dos
binomios con radicales cuadrticos que son irracionales:
SUMA 65
Noviembre 2010
( ) (
200 10 + 20 200 ) Sobre la adicin y la substraccin con cuestiones cmo
y carla, etc., cuestiones que no vamos a examinar, y slo al final
(20 ) ( )
200 200 10
Veamos cmo enuncia al-Khwrizm los clculos:
Que sepas que la raz de doscientos menos diez, sumada a
veinte menos la raz de doscientos, es igual a diez.
La raz de doscientos menos diez restada de veinte menos la
raz de doscientos es treinta menos dos races de doscientos,
y dos races de doscientos es la raz de ochocientos (Rashed,
2007, pp. 130-131; Hughes, 1986, p. 243).
Los otros clculos son la adicin y la substraccin de dos
expresiones algebraicas que ambas contienen las tres espe-
cies:
(100 + x2 20x) + (50 + 10x 2x2)
y dida a veinte menos la raz de doscientos, sta es la figura: la
(100 + x2 20x) (50 + 10x 2x2)
Veamos cmo enuncia al-Khwrizm los clculos:
Cien y tesoro menos veinte races, a lo que se aade cincuen-
ta y diez races menos dos tesoros, resulta ciento cincuenta
menos un tesoro y menos diez races (Rashed, 2007, pp. 130-
131; Hughes, 1986, p. 243).
Cien y tesoro menos veinte races, de lo que se substrae cin-
cuenta y diez races menos dos tesoros, resulta cincuenta dir-
hams y tres tesoros menos treinta races (Rashed, 2007, pp.
130-1315).
Tras esos enunciados en los que nada se explica, al-
Khwrizm promete demostraciones:
Te muestro su causa verdadera de una forma que te conduce
a lo que se busca, si Dios quiere (Rashed, 2007, pp. 130-131;
Hughes, 1986, p. 243).
Las demostraciones no estn, sin embargo, a continuacin de
estos enunciados, sino que al-Khwrizm contina el captulo
Figura 1
SUMA 67
Junio 2011
duplicar la raz de cualquier tesoro, conocido o sordo, tripli-
del captulo Sobre la divisin aparecen las demostraciones.
La primera de ellas, que pretende demostrar que efectiva-
mente
( ) (
200 10 + 20 200 = 10 )
es una demostracin hecha mediante una figura, que se cons-
truye para representar las expresiones y ver en ella que los cl-
culos dan lo que se ha dicho que dan. En la figura 1 indicamos
cmo estn representadas las expresiones en la figura que al-
Khwrizm construye. La figura 2 es la que aparece en la edi-
cin de Masharrafa y Ahmad del texto de al-Khwrizm
(Masharrafa y Ahmad, 1939 p. 33).
La demostracin comienza como sigue:
En cuanto a la causa de la raz de doscientos menos diez aa-
recta AB es la raz de doscientos: de A al punto B es el diez, y
lo que queda de la raz de doscientos es el resto de la recta
AB, es decir la recta CB (Rashed, 2007, pp. 136-137; Hughes,
1986, p. 245).
Al-Khwrizm comienza pues construyendo un segmento AB
para representar la raz de doscientos (que es irracional,
sorda, en la terminologa de al-Khwrizm) en el que seala
un segmento igual a diez para tener as representado tanto la
raz de doscientos como el binomio inicial, raz de doscientos
menos diez.
Construye luego una recta del punto B al punto D, la recta
veinte, que es el doble de la recta AC, que es diez (Rashed,
2007, pp. 136-137; Hughes, 1986, p. 245).
Lo que le va a aadir al binomio inicial, no lo representa a
continuacin del segmento ya construido, como parecera
natural para representar la adicin como yuxtaposicin de
segmentos, sino que en otra recta (dispuesta perpendicular-
mente a la anterior, pero el hecho de que aparezca perpendi-
Figura 2
107
SUMA 67
Junio 2011
cular en la figura no desempea papel alguno) va a represen-
tar el otro binomio, comenzando para ello por la cantidad a la
que se le substrae algo, en este caso, por el veinte. El segmen-
to BD se construye de manera que sea el doble del segmento
AC, ya que ste representa diez, y ahora se trata de represen-
tar veinte. De la misma manera, llevar a ese nuevo segmento
otro igual a la raz de doscientos, para representar as veinte
menos la raz de doscientos, es decir, el binomio que se suma
al inicial:
Del punto B al punto E una igual a la recta AB, es tambin la
raz de doscientos. El resto del veinte es del punto E al punto
D (Rashed, 2007, pp. 136-137; Hughes, 1986, p. 245).
Con los dos binomios representados, ya est en condiciones
de representar su adicin:
Ya que queremos aadir lo que queda de la raz de doscien-
tos una vez quitado el diez, que es la recta CB, a la recta ED,
que es veinte menos la raz de doscientos, cortamos de la
recta BE una recta igual a la recta CB, sea la recta GE
(Rashed, 2007, pp. 136-139; Hughes, 1986, p. 245).
Es decir, al-Khwrizm traslada ahora el segmento que repre-
senta raz de doscientos menos veinte en la primera recta a la
segunda recta, colocndolo a continuacin del segmento que
representa veinte menos la raz de doscientos, de manera que
est a la vez separando una parte del segmento que represen-
ta a la raz de doscientos. Entonces puede identificar los seg-
mentos correspondientes en las dos rectas que ha construido.
Ahora bien, es evidente que la recta AB, que es la raz de dos-
cientos, es igual a la recta BE; que la recta AC, que es el diez,
es igual a la recta BG, y que el resto de la recta AB que es CB,
es igual al resto de la recta GE (Rashed, 2007, pp. 138-139;
Hughes, 1986, p. 245).
Con lo que puede proceder a ver que, representada as la adi-
cin de los dos binomios en la segunda recta, el resultado es
el que haba enunciado.
Aadimos a la recta ED la recta GE; ser evidente que se ha
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
la recta GD, que es diez (Rashed, 2007, pp. 138-139; Hughes,
1986, p. 245).
Y concluye:
Lo que haba que demostrar. He aqu la figura (Rashed, 2007,
pp. 138-139; Hughes, 1986, p. 245).
La demostracin es del mismo estilo que la que al-Khwrizm
hace de los algoritmos de resolucin de las formas cannicas
compuestas. Una demostracin cuya garanta de verdad resi-
de en que se ve lo que se quiere demostrar en una figura en la
que se representan los objetos algebraicos (en este caso
mediante segmentos) y las operaciones con ellos (mediante
108
operaciones de cortar, trasladar y pegar, en este caso los seg-
mentos). En ningn caso se duda que lo que se vea pueda ser
engaoso, continuamente est diciendo al-Khwrizm es evi-
dente que (Cremona traduce ergo manifestum est nobis,
por tanto es evidente para nosotros).
Por tanto, al-Khwrizm no busca la garanta de verdad en un
conjunto establecido de proposiciones que se aceptan como
verdaderas y de procedimientos de derivacin de nuevas pro-
posiciones verdaderas a partir de las ya establecidas. Es decir,
no son demostraciones que se sustenten en el edificio eucl-
deo de definiciones, nociones comunes, postulados y propo-
siciones derivadas a partir de ellos. Son demostraciones
hechas con figuras geomtricas, pero no demostraciones geo-
mtricas (en el sentido eucldeo).
La segunda de las demostraciones es del mismo estilo. En la
figura 3 indicamos cmo estn representadas las expresiones
en la figura que al-Khwrizm construye. La figura 4 es la que
aparece en la edicin de Masharrafa y Ahmad del texto de al-
Khwrizm (Masharrafa y Ahmad, 1939 p. 34).
En cuanto a la causa de la raz de doscientos menos diez
substrada de veinte menos raz de doscientos, he aqu la
figura: la recta AB es la raz de doscientos; de A al punto C,
es el diez conocido. Construyamos del punto B al punto D
una recta y pongmosla veinte. Pongamos del punto B al
punto E una recta igual a la recta raz de doscientos, que es
igual a la recta AB. Es evidente que la recta CB es lo que
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
de doscientos. (Rashed, 2007, pp. 138-139; Hughes, 1986, p.
246).
La representacin comienza de la misma manera que en el
caso anterior, ya que los binomios son los mismos, pero ahora
se trata de substraer uno de otro en vez de sumarlos, por lo
que la construccin del segundo segmento ha de ser distinta.
El diez que est substrado del binomio que se substrae, lo
coloca en la figura aadido al segmento que representa el
binomio del que se tiene que substraer, en la derecha del seg-
mento que lo representa (ver la figura 3).
Queremos substraer la recta CB de la recta ED.
Construyamos una recta desde el punto B al punto G, que se
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
todo esto es treinta. (Rashed, 2007, pp. 138-141; Hughes,
1986, p. 246).
El resto de la demostracin transcurre de forma similar a la
anterior:
Es evidente que la recta BE es la raz de doscientos, y que 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 ha substrado de la recta GB, que es treinta, es dos ra-

Figura 3
ces de doscientos. Pero dos races de doscientos es la raz de
ochocientos (Rashed, 2007, pp. 140-141; Hughes, 1986, p.
246).
Y concluye:
Lo que haba que demostrar. He aqu la figura (Rashed, 2007,
pp. 140-141; Hughes, 1986, p. 246).
La tercera demostracin que vamos a examinar es diferente, y
no tiene parangn con ninguna de las demostraciones que al-
Khwrizm hace en su libro. No es una demostracin con
figuras geomtricas del estilo ingenuo, con la garanta de
verdad en lo que se ve, sin dudar de ello, que acabamos de ver
en prctica en las dos demostraciones anteriores. Lo que al-
Khwrizm quiere demostrar no es ahora un clculo con radi-
cales, sino una adicin de dos expresiones con especies, cuyo
resultado ha enunciado en el captulo Sobre la adicin y la
substraccin unas pginas antes6:
(100 + x2 20x) + (50 + 10x 2x2) = 150 x2 10x
El mismo al-Khwrizm explica por qu no va a hacer una
demostracin con figuras:
En cuanto a cien y un tesoro menos veinte races, a las que se
aaden cincuenta y diez races menos dos tesoros, no le con-
viene ninguna figura porque est compuesta por tres espe-
cies diferentes, tesoros, races y nmeros, y no hay con ellas
lo que les sea igual, para que pueda ser representado en una
figura (Rashed, 2007, pp. 140-141; Hughes, 1986, pp. 246-
247).
En las demostraciones mediante figuras de los algoritmos de
solucin de las formas cannicas compuestas que hace al-
Khwrizm, la manera que tiene de representar las tres espe-
cies depende efectivamente de que lo que ha de representar es
una ecuacin. En efecto, al-Khwrizm representa los tesoros
mediante cuadrados y las races mediante rectngulos en los
que un lado representa la raz (del tesoro) y el otro el nmero
de races, con lo que las races es tambin una superficie.
Para representar la tercera especie, los simples nmeros, al-
SUMA 67
Junio 2011
Figura 4
Khwrizm recurre al artificio de que stos estn representa-
dos por toda la superficie de la figura, lo que puede hacer ya
que los simples nmeros estn relacionados con las otras dos
especies por substraccin o adicin en las ecuaciones. Esto no
puede hacerse si no se trata de representar una ecuacin, sino
una expresin algebraica como las que tiene que representar
ahora, por eso dice al-Khwrizm que no le conviene una
figura porque tiene las tres especies y no hay con ellas lo que
les sea igual.
Al-Khwrizm concluye esta explicacin con una frase enig-
mtica:
Pudimos hacer una figura de ello, pero no sensible (Rashed,
2007, pp. 140-141; Hughes, 1986, p. 247).
Nada ms nos dice al-Khwrizm de esa figura no sensible,
porque ante esta dificultad abandona el recurso a las figuras
sensibles en las que cortar, trasladar y pegar para ver lo que se
quiere demostrar (y tampoco recurre a esa enigmtica figura
no sensible), para hacer lo que podemos llamar el primer
precursor del que tenemos noticia de una demostracin pura-
mente algebraica: una demostracin que se hace simplemen-
te en el terreno de la expresin en el sistema de signos del
lgebra sin recurso a las figuras. Al-Khwrizm la llama
demostracin mediante palabras (al-lafz), o por la expresin
(Cremona traduce verbis, por las palabras):
En cuanto a su necesidad es evidente en palabras7 [por la
expresin] (Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
sta es la demostracin por la expresin o en palabras:
Sabes en efecto que tienes cien y un tesoro menos veinte ra-
ces. Ya que le has aadido cincuenta y diez races, resulta
ciento cincuenta y un tesoro menos diez races porque estas
diez races han restaurado las veinte races substradas a diez
races (Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
Al-Khwrizm trata las expresiones por partes, considerando
que las dos que se van a aadir constan de una parte que es la
cantidad digamos principal o inicial, y otra que es la cantidad
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
a una forma cannica. se es el sentido que tiene al-jabr, la
operacin fundamental del clculo: la restauracin de lo que
falta. Lo primero que hace aqu al-Khwrizm es restaurar las
veinte races substradas a la primera cantidad (cien y tesoro)
con las diez races de la segunda cantidad, con lo que consigue
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-
tidad:
Queda pues ciento cincuenta y un tesoro menos diez races;
haba un tesoro con el cien; as, cuando has substrado de
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.
Aunque esa hiptesis es plausible, cabe que no fuera as ya que no se con-
serva ningn testimonio del libro de clculo hind que no est mezclado
con textos procedentes de otras fuentes (ver la entrega de estas historias
de al-Khwrizm subtitulada Los Libros, Puig, 2008). Adems, que al-
Khwrizm an no hubiera escrito su libro de clculo hind no excluye
que no conociera ya la representacin de los nmeros hind que luego
contribuira decisivamente a difundir en todo el mundo.
2 5
El historiador tunecino Mahdi Abdeljaouad hace, en su introduccin a un
texto del siglo XIV de Ibn al Him, un comentario del mismo orden: se ve
funcionar una lengua matemtica, totalmente retrica, pero que respon-
de a las reglas lingsticas especficas de la lengua algebraica
(Adbeljaouad, 2003, p. 11). Es ese responder a reglas especficas lo que
permite hablar del sistema algebraico de signos del texto de al-Khwrizm,
aunque todo l sea retrico, es decir, no use ms materia de la expresin
que la materia de la expresin de la lengua verncula.
3
En la traduccin latina de Cremona, las cosas no son exactamente iguales.
Diez menos cosa por diez menos cosa es Decem re diminuta in decem
REFERENCIAS BIBLIOGRFICAS
Abdeljaouad, M. (2003). Sharh al-Urjza al-Yasminya dIbn Al-
Him texte tabli et comment par Mahdi Abdeljaouad. Tunis:
Association Tunisienne des Sciences Mathmatiques.
Allard, A. (Ed.). (1992). Muhammad ibn Ms al-Khwrizm. Le
calcul indien (Algorismus). Paris: Librairie Scientifique et
Technique Albert Blanchard.
Anbouba, A. (1978). Lalgbre arabe aux IXe et Xe sicles. Aperu
gnral. Journal for the History of Arabic Science, 2, pp. 66-100
Hughes, B. (1986). Gerard of Cremonas translation of al-Khwrizms
al-jabr: A critical edition. Mediaeval Studies 48, 211-263.
Infante, J. F. (2010). Un estudio de las demostraciones de los algorit-
mos de solucin de las formas cannicas de las ecuaciones de
segundo grado en al-Khwrizm, Ab Kmil, Marc Aurel, Juan
Prez de Moya y Pedro Nunes. Trabajo Fin del Mster de
Investigacin en Didcticas Especficas. Universitat de Valncia.
Infante, F. y Puig, L. (2011). Una comparacin entre las demostra-
ciones de Pedro Nunes y al-Khwrizm de los algoritmos de las
formas cannicas de la ecuacin de segundo grado. Congresso
Ibero-americano de Histria do Ensino da Matemtica.
Comunicacin. Covilh, 26 a 29 de mayo de 2011.
Masharrafa, A. M. y Ahmad, M. M. (Eds.) (1939). Al-Khwrizm,
Muhammad ibn Msa. Kitb al-mukhtasar f hisb al-jabr wal-
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
tesoro se anula con un tesoro y te queda un tesoro. Resulta
pues ciento cincuenta menos un tesoro menos diez races
(Rashed, 2007, pp. 140-141; Hughes, 1986, p. 247).
Y concluye
Lo que haba que demostrar (Rashed, 2007, pp. 140-141;
Hughes, 1986, p. 247).
inaugurando as una nueva forma de demostrar, cuya historia
vale la pena indagar8. Sin embargo, no puedo dejar de pensar
que me hubiera gustado ver esa figura no sensible que al-
Khwrizm dice haber hecho, pero que se guard para s.
HISTORIAS
y, por tanto, est mas cerca de cosa substrada que de menos cosa. En
consecuencia, cuando Cremona traduce la frase contra la gramtica rabe
ill shay f ill shay ml zid (menos cosa por menos cosa, tesoro adi-
tivo), escribe res diminuta in rem diminutam fit census additus, literal-
mente cosa substrada por cosa substrada hace censo aadido, en la que
no aparece menos cosa, quiz gracias a la sintaxis latina.
4
Sobre las complejas relaciones entre cosa y raz, ver la anterior entrega
de estas historias, que subtitul precisamente La cosa (Puig, 2011).
Este clculo no aparece en la traduccin latina de Cremona.
6
De la substraccin de estas dos expresiones, que tambin aparece enun-
ciada en el captulo Sobre la adicin y la substraccin, pero no en la tra-
duccin latina de Cremona, no da al-Khwrizm ninguna demostracin,
ni la menciona al presentar esta demostracin.
7
Cremona traduce: Eorum vero necessitas verbis manifesta est, Cuya
necesidad es evidente por las palabras [por la expresin].
8
Vase un punto de vista para hacerlo en Puig (2009) y Puig (in press), y los
resultados de algunas indagaciones en el trabajo de Infante (2010), que se
han presentado parcialmente en Infante y Puig (2011).
Nesselman, G. H. F. (1842). Versuch einer Kritischen Geschichte der
Algebra, 1. Teil. Die Algebra der Griechen. Berlin: G. Reimer.
Puig, L. (2008). Historias de al-Khwrizm (2 entrega). Los Libros.
Suma, 59, pp. 105-112.
Puig, L. (2009). Nave, geometric and algebraic proof in ancient and
modern times. Talk to the meeting Semiotic Approaches to
Mathematics, the History of Mathematics, and Mathematics
Education (SemMHistEd) 3rd Meeting. Aristotle University of
Thessaloniki, July 16-17, 2009.
Puig, L. (2010). Historias de al-Khwrizm (4 entrega). El proyecto
algebraico. Suma, 65, pp. 87-94.
Puig, L. (2011). Historias de al-Khwrizm (5 entrega). La cosa.
Suma, 66, pp. 89-100.
Puig, L. (in press). Researching the History of Algebraic Ideas from
an Educational Point of View. In. V. Katz & C. Tzanakis (Eds.)
Recent Developments on Introducing a Historical Dimension in
Mathematics Education. The Mathematical Association of
America.
Rashed, R. (Ed.). (2007). Al-Khwrizm. Le commencement de lalg-
bre. Paris: Librairie Scientifique et Technique Albert Blanchard.
Vieta, F. (1591). In artem Analyticem Isagoge. Turonis: Iametium
Mettayer Typographum Regium.