111L, vol.

24, 2001, 705-725

LAS RELACIONES ENTRE EL LGEBRA Y

LA GEOMETRA EN EL SIGLO XVII
MARA ROSA MASSA ESTEVE
Centre d'Estudis d'Histria de les Cincies
Universitat Autbnoma de Barcelona
RESUMEN

ABSTRACT

En este artculo se analiza el proceso de algebrizacin de las matemticas en el siglo XVII a travs de las
aportaciones del matemtico boloils
Pietro Mengoli (1625-1686), que fue
posiblemente el discpulo ms original
de Bonaventura Cavalieri (1598-1647).
La parte ms innovadora es el uso del
lenguaje especioso para construir y
calcular las sumas de potencias, las
tablas triangulares, las cuasiproporciones y las cuadraturas de infinitas jiguras. Mengoli es un buen ejemplo de los
matemticos del siglo XVII que estn en
la lnea de considerar el lgebra un
complemento de la Geometra y no dos
disciplinas enfrentadas.

This paper analyses the algebrization process of mathematics in the seventeenth centuly jrom the viewpoint of
the contributions of the mathematician
Pietro Mengoli (1625-1686), probably
the most original student of
Bonaventura Cavalieri (1598-1647).
The most innovating pare of Mengoli's
work is the use of algebraic language
for building and calculating the summations, the triangular tables, the quasi
proportions and the quadratures of the
infinitejigures. Mengoli is a good example of seventeenth centuty mathematics,
which consider algebra as a complement to geometry and not as two
opposite disciplines.

Palabras Clave: Siglo XVII, Matemticas, lgebra, Geometria, Pietro Mengoli.

Tant que l'Algbre et la Gomtrie on t spares, leur progrs ont t lents et leurs
usages borns mais lorsque ces deux sciences se sont runies, elles se sont prt des forces
Recibido el 6 de noviembre de 2001

1.S.S.N. 0210-8615

706

MARA ROSA MASSA ESTEVE

LLULL, 24

nnituelles et on march ensemble d'un pas rapide vers la perfection. C'est Descartes qu 'on
doit I 'application de l Algbre a la Gomtrie, application qui est devenue la clef des plus
grandes dcouvertes dans toutes les branches des Alathmatiques. [LAGRANGE (1795,
Oeuvres, vol. 7, p. 271)]

I. Introduccin
En el siglo XVII una de las principales caractersticas de la matemtica es la
articulacin del lgebra y la geometra. Los dos grandes avances de este siglo, la
geometra analtica y el clculo infinitesimal, adquieren su excepcional potencial al
establecer conexiones entre frmulas y figuras, entre clculos algebraicos
simblicos y operaciones geomtricas y construcciones.
En el simposio A1gebra and Geometry around 1600, celebrado en el marco
del XIXth Intemational Congress of History of Science (Zaragoza, 1993), Henk Bos
puntualizaba sobre este tema: El periodo, los protagonistas y el proceso han recibido poca atencin por parte de los historiadores de la matemtica, pero en los ltimos
aos existe una lnea de investigacin que intenta entender el proceso en su propio
contexto, en trminos de conocimiento matemtico y de las intenciones con que se
trabajaba, ms que en trminos de lo que sucedera posteriormente. Dentro de esta
lnea de investigacin se enmarcan estas refiexiones sobre el proceso de algebrizacin de las matemticas en el siglo XVII, incorporando algunos elementos nuevos a
la luz de nuestro trabajo sobre la figura y obra del matemtico bolos, Pietro
Mengoli (1625-1686), discpulo de Bonaventura Cavalieri (1598-1647). Esta investigacin forma parte de mi tesis doctoral y se ha realizado con copias microfilmadas
de las obras de Mengoli de la Bodleian Library de Oxford y fuentes primarias y
secundarias de otros autores de la Biblioteca del Centre d'Estudis d'Histria de les
Cincies de la Universitat Autnoma de Barcelona y otras bibliotecas.

2. Breve recorrido histrico

Un sucinto bosquejo del contexto histrico nos servir para analizar los
aspectos ms relevantes de esta conjuncin lgebro-geomtrica. Las relaciones
entre lgebra y geometra fueron muy diferentes en las etapas anteriores al siglo diecisiete. As pues, podramos separarlas en dos grandes bloques; el lgebra retrica
y sincopada de los inicios que resolva esencialmente problemas de aritmtica mercantil, donde apenas haba conexin entre el lgebra y la geometra y, si la haba, se

LLULL, 24 RELACIONES ENTRE EL LGEBRA Y LA GEOMETRA EN EL S. XVII

707

limitaba a justificar de vez en cuando los resultados y, un segundo bloque, en el

Renacimiento, cuando ya se intentaron las primeras clasificaciones de ecuaciones,
seg n el grado y el signo, y se presentaron las soluciones elaborando constantemente diagramas y construcciones geomtricas que las verificasen. As podemos
citar, entre otras, las obras Ars Magna de Rebus algebraicis (Nuremberg, 1545), de
Girolamo Cardano (1501-1576) y Algebra (Bolonia, 1572), de Rafael Bombelli
(1526-1573). Estos algebristas del cinquecento, de manera ms o menos acentuada y no siempre con puntos de vista coincidentes, tuvieron constantemente presente en sus tratados los lazos y las conexiones existentes entre lgebra y geometra
desde el momento en que, con insistencia, quisieron probar de manera geomtrica
los resultados obtenidos por va puramente baco-algbrica. Las razones de esta
aproximacin epistemolgica podran derivar del estatus de la geometra que era
considerada como una parte tericamente ms elevada dentro de la matemtica.
Uno de los puntos cruciales en la historia del lgebra es la aparicin en 1591
de la obra In artem analiticem isagoge, de Franois Vite(1540-1603), en la que ste
puso de manifiesto las ventajas de utilizar smbolos dentro de la matemtica, no slo
para representar la incgnita, sino tambin para las cantidades conocidas. De esta
manera se poda trabajar con ecuaciones de forma general. Vite intentaba explicar
el camino que utilizaba para resolver las ecuaciones enmarcndolo dentro del anlisis griego. El objetivo de su arte analtico era proporcionar un mtodo para resolver todos los problemas mediante tres procesos. El primero consista en transformar
el problema en una ecuacin compuesta de cantidades conocidas y desconocidas
(zettica). En el segundo a partir de la ecuacin planteada se probaban los teoremas
conocidos (porstica). En el ltimo proceso, que era el ms importante para Vite,
se trataba de estudiar la estructura de las ecuaciones planteadas para poder encontrar la solucin (exegtica). As resuma Vite estas ideas al final de su obra:
Finalmente, el arte analtico, dotado de sus tres formas zettica, porstica y exegtica, reclama para l mismo la solucin del problema ms grande de todos que es
SOLUCIONAR TODOS LOS PROBLEMAS. 2 Vite resolva las ecuaciones creando un lazo
con la geometra a travs de la teora de proporciones de Euclides; identificaba
ecuacin con proporcin y conectaba el lgebra con la geometra mediante construcciones de las soluciones de las ecuaciones. El lgebra de Vite fue la gua para
resolver ecuaciones en aritmtica, en geometra, en trigonometra,...
La obra de Vite tuvo una gran difusin a travs de muchos textos de lgebra. Un ejemplo es el libro de texto de Pierre Hrigone (1580-1643), Cursus mathematicus (Pars, 1634), que consta de seis vol menes entre ellos uno de lgebra 3. En
1631, Jean Beaugrand (1595-1640) 4 public su In artem analiticem Isagoge, que era
de hecho la obra de Vite ampliada con unos escolios y un compendio matemtico.

708

MARA ROSA MASSA ESTEVE

LLULL, 24

En Inglaterra, William Oughtred (1575-1660) public Clavis Mathematicae (1648)

obra capital para difundir el lgebra de Vite fuera del continente.
0 sea, que a principios del siglo diecisiete, gracias a la difusin de la obra de
Vite, algunos matemticos empezaban a comprobar que los mtodos algebraicos
eran una herramienta muy til para resolver problemas geomtricos. As lo hizo
tambin Pierre de Fermat (1601-1665) en su obra Varia Opera mathematica
(1679), aunque el punto culminante de la relacin entre el lgebra y la geometra fue
la publicacin de la obra La Gomtrie de Ren Descartes (1596 - 1650), que figuraba como un apndice en su Discours de la methode (Leiden, 1637). La Geomtrie
est dividida en tres libros: Problemas de construccin que requieren slo lneas
rectas y crculos; Sobre la naturaleza de las lneas curvas y Sobre la construccin de los problemas que son slidos o cuasislidos. El programa de Descartes
incluye por una parte la clasificacin de las curvas en algebraicas y mecnicas y por
otra las construcciones geomtricas de las curvas.' En Descartes el lgebra y la geometra se relacionan a travs de las construcciones geomtricas de la interseccin de
curvas (casi siempre parbolas y circunferencias) que expresan las soluciones de
ecuaciones algebraicas (adecuadamente preparadas) de dimensin mayor que dos.
Este trabajo de Descartes supuso un punto de partida en la contemplacin de la
geometra desde otra perspectiva.
La obra de Descartes fue traducida del francs al latin en 1649 por F. van
Schooten. La segunda edicin (1659) contiene tambin contribuciones hechas por
De Witt, Hude, Van Heurat y el mismo Van Schooten. Estos cientficos pueden ser
considerados como el primer grupo activo de matemticos cartesianos.

3. Algebrizacin de las matemtleas

Lo cierto es que a partir de la obra de Descartes y durante un siglo, aproximadamente, se Ilev a cabo el proceso de algebrizacin de las matemticas: un periodo en el que de una manera de pensar en matemticas casi exclusivamente geomtrica se pas a un pensamiento matemtico ms algebraico. Esta evolucin fue
lenta y desigual. Algunos autores adoptaron las tcnicas algebraicas en su obra y a
la vez intentaron justificarlas o transformarlas de acuerdo con la matemtica clsica. Otros, a pesar de conocer la existencia de estos procedimientos, los consideraban ajenos al pensamiento matemtico e incluso los rechazaban y, por ltimo, unos
pocos, aceptaban esta nueva manera de pensar como un complemento ms para el
desarrollo de sus tcnicas matemticas. En una poca en la que se estaba

LLULL, 24 RELACIONES ENTRE EL ALGEBRA Y LA GEOMETRIA EN EL S. XVII

709

recuperando el pensamiento clsico a travs de las traducciones de los textos griegos, simultneamente, se estaban introduciendo en el pensamiento matemtico unas
tcnicas algebraicas muy frdles cuyo significado, a veces, se opona a la comprensin de las tcnicas clsicas'. De hecho las caractersticas del nuevo pensamiento
algebraico diferan substancialmente del pensamiento geomtrico. Siguiendo a
Mahoney [1980, p. 142] quedaran determinadas por: el uso de un simbolismo
nuevo y operativo, es decir, un simbolismo que no slo abrevia palabras sino que
tambin representa los trabajos de operaciones combinadas o sea un simbolismo
con el que se opera; el nfasis en las relaciones matemticas ms que en los objetos, como, por ejemplo, la clasificacin de ecuaciones de un mismo grado, de curvas, de figuras; y, el hecho de que el modus algebraico de pensamiento quede
libre de compromiso ontolgico, ya que es abstracto y no siempre comporta una
interpretacin fisica de las relaciones. As pues, hay objetos como los n meros
imaginarios que se introducen sin justificacin geomtrica explcita.
Si analizamos las caractersticas del pensamiento geomtrico griego es evidente la falta de simbolismo y en especial de simbolismo operativo. Respecto al
segundo aspecto, hay que remarcar que con la geometra podemos buscar caractersticas comunes a figuras semejantes pero al no poder escribirlas todas bajo una
misma expresin se hace dificil estudiar una estructura que las contenga. Sobre la
tercera caracterstica sealemos nicamente que la geometra es ms intuitiva y
depende en gran parte de su representacin fsica, en cambio el lgebra nos
permite trabajar con dimensiones superiores al espacio9.
Para examinar este proceso de algebrizacin de las matemticas, de 1650 a
1700, nos centraremos en tres aspectos relacionados con la obra de P. Mengoli: el
cambio de relaciones que se introdujo entre las diferentes ramas de la matemtica; el
proceso de constitucin y utilizacin de un lenguaje nuevo (lenguaje especioso) y,
por ltimo, la obtencin de mtodos de cuadratura utilizando el lgebra.

4. El estatus del lgebra

La introduccin del lgebra dentro de las matemticas desdibuj las lneas

divisorias, en cuanto a terminologa y metodologa, de la aritmtica, el lgebra, y la
geometra. En los Elementos de Euclides la geometra se considera superior a la
aritmtica y los teoremas aritmticos se prueban por consideraciones geomtricas.
El lgebra oblig a replantear los lmites entre las distintas disciplinas matemticas.
consideraba el lgebra
Podramos preguntamos: (:,Era una ciencia o un arte?

710

MARA ROSA MASSA ESTEVE

LLULL, 24

como una parte de las matemticas? ,Era la aritmtica superior al lgebra?

qu
mbitos la geometra era ms eficaz o necesaria? cules lo era el lgebra? No
todos los matemticos aceptaron y aplicaron el lgebra como una parte nueva de las
matemticas. Unos la ignoraron, unos pocos la aceptaron y la usaron, otros la
introdujeron intentando fundamentarla en la geometra de los antiguos y tambin
hubo quienes la rechazaron totalmente1".
En Inglaterra, Thomas Hobbes (1588-1679) en su Examinatio (1660), condenaba rotundamente la nueva lgebra". La geometra y su subordinada la aritmtica eran en su opinin ciencias, mientras que el lgebra a la que vea esencialmente como un razonamiento simblico, era un arte para registrar con brevedad y
celeridad las invenciones de la geometra pero no una ciencia. Isaac Barrow (16301677), que tambin tom postura en contra del lgebra, consideraba a la aritmtica
como una parte de la geometra, a la geometra la nica ciencia por excelencia y al
lgebra como un instrumento de lgica. John Wallis (1616-1703), al contrario, no
slo la utiliz en Arithmetica Infinitorum (1655) sino que escribi un tratado A
Treatise of Algebra Both historical and practical showing the original progress and
advancement thereof from time to time, and by what steps it haht attained to the
Heighth at which now it is (Oxford, 1685) donde intent esbozar una historia del
lgebra analizando su evolucin desde la poca de Euclides", la obra consta de un
prefacio y 374 pginas divididas en 100 captulos. En cuanto al contenido se pueden distinguir dos partes. La primera est dedicada al lgebra pura basada en la aritmtica, con el estudio de la estructura de las ecuaciones, mientras que la segunda
trata de la adecuacin del lgebra a la geometra, o sea, de demostraciones geomtricas en lenguaje algebraico. Como libro de historia resulta un tanto tendencioso,
ya que Wallis ensalza las virtudes de las lgebras de Harriot y Oughtred e infravalora los resultados obtenidos por Descartes". La obra fue un texto de referencia en
su poca y la notacin utilizada desplaz la de muchos otros textos. Wallis con su
obra pretenda dar legitimidad al lgebra dentro de las matemticas. Aunque Maieru
[1994, p. 105] respecto a este tema dice: La posicin de Wallis se puede considerar minoritaria (especialmente durante la dcada que va de 1650 a 1660). No solamente en Italia domina una visin geomtrica del mundo (que es cuasiabsoluta, con
decidida exclusin del clculo algebraico, sobre todo en los grandes matemticos
del momento, es decir, Cavalieri, Torricelli, Viviani) sino tambin en otras regiones
europeas (baste slo citar a Barrow o a Gregoire de Saint-Vincent).
Estos datos nos permiten apreciar todava ms la posicin singular del matemtico bolofis, Pietro Mengoli. El nombre de Mengoli aparece en el registro de la
Universidad de Bolonia en el periodo 1648-1686 donde sustituy a Cavalieri en su
ctedra de mecnica. Se gradu en filosofia en 1650 y tres aos ms tarde en leyes

LLULL, 24 RELACIONES ENTRE EL LGEBRA Y LA GEOMETRIA EN EL S. XVII

711

civiles y cannicas. El 1660 fue ordenado sacerdote y hasta su muerte fue prior de
la iglesia de Santa Mara Magdalena de Bolonia".
En 1655 Mengoli escribi, por encargo, una obra en verso dedicada a la
Reina Cristina de Suecia titulada Via Regia ad Mathematicas per Arithmeticam,
Algebram Speciosam, & Planimetriam, ornata Maiestatae Serenissimae D.
Christinae Reginae Suecorum. En ella Mengoli le expona una va real para
entender las matemticas, que divida en tres partes: aritmtica, donde explicaba las
operaciones con los n meros, incluso las tablas triangulares; lgebra especiosa,
donde expona como utilizar las letras para resolver ecuaciones y daba una clasificacin de stas hasta el tercer grado; y planimetra en la que trataba de las figuras
planas y de sus propiedades. Para Mengoli el lgebra era una parte ms de las matemticas al mismo nivel que la aritmtica y la geometra. En el inicio de la segunda
parte, o sea, del lgebra especiosa, Mengoli [1655, p.19] describe as este arte en un
apartado titulado Sobre la utilidad del lgebra especiosa: Una sola entre las
Matemticas se Ilamar Algebra Especiosa, un arte en el que nada se esconde al
investigador. Si preguntas, si es o no es, consiste en decir la verdad; si preguntas
cuanto es, este arte lo hace suficientemente. Ya que a los n meros genricos [este
arte] les proporciona maneras aptas para hacer y probar las cosas hechas y dichas.
As es a saber que intervendrn dos tipos de nmeros genricos, los que buscas
[incgnitas] y los que puedes dar arbitrariamente [datos]".
As pues, Mengoli era de los pocos que consideraba el lgebra una parte de
las matemticas en una Italia en la que, seg n Pepe [1982, pp. 249-288], apenas se
conoca La Gomtrie de Descartes y los que usaban el lgebra se encontraban en
minora'6. i;Conoci Mengoli La Gomtrie de Descartes? Mengoli reconoci haber
ledo a Vite, Hrigone y Beaugrand, pero no cit a Descartes. As mismo, sus interpretaciones algebraicas tampoco nos inducen a pensar que lo hubiera ledo. Sin
embargo, aunque Mengoli no particip en los debates de la poca como defensor
del lgebra, queda patente que, para l, el lgebra era una parte de las matemticas
y adems como mostraremos a continuacin la utiliz profusamente en sus obras
matemticas posteriores.

5. La evolucin del lenguaje especioso

Un segundo aspecto a considerar en el proceso de algebrizacin de las matemticas es el establecimiento de la logstica especiosa como un lenguaje nuevo de
smbolos y tcnicas. Podramos preguntarnos: ,Este nuevo lenguaje era un arte que

712

MARA ROSA MASSA ESTEVE

LLULL, 24

serva para clarificar, para dar a conocer ms fcilmente los resultados obtenidos o
utilizaban para encontrar
al utilizar smbolos nuevos era ms dificultoso?
evolucion? ,Haba unificacin de criterios en lo que
nuevos resultados?
respecta a la nomenclatura y utilizacin de smbolos?
Consideremos de nuevo la valoracin que se hizo de este nuevo lenguaje por
parte de algunos matemticos. Segn Pycior [1997, p. 146], Hobbes trivializaba el
estilo simblico que Oughtred y Wallis haban considerado como el corazn del
lgebra''. Mientras Wallis enfatizaba la economa, la claridad, la fertilidad e incluso el hecho de que el simbolismo algebraico permitiera a primera vista ver complejas relaciones matemticas. Hobbes insista en que era una prdida de tiempo, ya
que para comprender los smbolos primero stos haban de ser trasladados a palabras y a nombres y despus a ideas particulares. Barrow, sin rechazar totalmente el
simbolismo algebraico, pareca considerarlo como un sistema de abreviacin ms
que como un sistema de resolucin.
Aunque con Vite, y ms tarde con Descartes, la notacin de las expresiones
algebraicas fue mejorando, no haba unanimidad respecto a la simbologa. Durante
muchos aos todava se utilizaron diferentes notaciones en las obras de lgebra.
Analicemos, pues, la contribucin de Mengoli al desarrollo del lenguaje algebraico".
Mengoli adopt el simbolismo algebraico de Vite ya en su primera obra Via
Regia. En sta explicaba que representara los n meros con letras, pero present el
lgebra como un lenguaje y compar metafricamente las figuras lingtisticas con
las figuras algebraicas. As las consonantes representaban datos; las vocales, incgnitas; las silabas, expresiones algebraicas
de una sola letra; los signos de puntua,
cin, las reglas de adicin, substraccin...; las palabras, expresiones algebraicas de
varias letras; los textos, igualdades; los versos, ecuaciones. Mengoli no puso ning n
ejemplo con letras ni con n meros de estas comparaciones metafricas, solo daba
explicaciones. Finalmente hizo una clasificacin de las ecuaciones hasta el tercer
grado segn el grado y seg n los signos. Aunque la clasificacin de Vite era ms
completa hay coincidencias en las palabras usadas: antithesi, que quiere decir transposicin de tnninos de la ecuacin; subgraduales, para indicar que tienen un grado
ms pequeo que el de la ecuacin, etc. La originalidad de Mengoli en esta primera obra reside en que presentaba explcitamente el lgebra como un lenguaje para
poder operar matemticamente, estableciendo comparaciones metafricas con el
lenguaje que utilizaba para escribir, aunque no realiz ninguna contribucin a la
formacin del lenguaje simblico".

LLULL, 24 REL4C1ONES ENTRE ELLGEBRA Y LA GEOMETRI EN EL S. XVII

713

Cuatro aos ms tarde Mengoli escribi una nueva obra donde el lgebra
pas a ser un elemento esencial. En el ttulo de la obra Geometriae Speciosae
Elementa que podemos traducir por Elementos de geometra especiosa, Mengoli ya
sealaba que estaba utilizando el lgebra especiosa en la geometra y la Ilamaba
Geometra Especiosa.
Aqu, Mengoli volva a exponer los signos que utilizara y es coherente con
su primera obra. Si comparamos estos signos con los definidos por Vite y
Descartes apreciamos algunas diferencias. Por ejemplo, para expresar una igualdad,
Mengoli representaba el signo igual con dos puntos, mientras que Vite lo representaba con una abreviacin de la palabra aequalis y Descartes lo escriba con el
smbolo Para multiplicar, Vite usaba la palabra in, mientras que Mengoli y
Descartes escriban una letra al lado de otra. La razn entre dos cantidades en
Mengoli vena representada por punto y coma y en cambio Vite usaba la
expresin ad y Descartes .
As mismo, en este libro, a diferencia de Vite, para simbolizar los n meros,
Mengoli no distingua entre vocales y consonantes que pueden representar indistintamente datos, incgnitas y variables. Utilizaba min sculas y may sculas; generalmente las min sculas representaban datos y las may sculas variables. Se inventaba
nombres para las letras y expresiones utilizadas, seg n l, por Vite, Hrigone y
Beaugrand. Algunos nombres coinciden como la palabra radix, que, tanto para Vite
como para Mengoli, representaba la primera potencia [base], otros eran totalmente
originales de Mengoli, triprimam, unisextam, etc. Para representar las potencias
Vite, por ejemplo, retuvo las palabras A quadratus, A cubus,...2". Descartes en cambio escriba los exponentes tal como hacemos ahora, con una excepcin, cuando, a
veces, para representar el cuadrado escriba xx Mengoli no escriba palabras como
Vite pero tampoco colocaba los exponentes como Descartes, los escriba al lado a
la derecha, como Hrigone. Como se puede apreciar a mitad del siglo diecisiete a n
no haba unificacin de criterios ni para los smbolos, ni para los nombres.
A Mengoli el lgebra le era til tambin para obtener nuevos resultados ya
que la gran novedad aportada por l al lenguaje algebraico consista en la manipulacin de este lenguaje especioso, simblico. Adems de usar las operaciones
conocidas, invent una manera de escribir y de calcular las sumas finitas de potencias. Mengoli no escribi las sumas de potencias, dando valores o bien escribiendo los nmeros con el signo + y puntos suspensivos, sino que represent los n meros con letras y cre una construccin original y ventajosa que le permitiera
calcular estas sumas.

LLULL, 24

MARA ROSA MASSA ESTEVE

714

Mengoli consider un n mero cualquiera o tota, representado por la letra t, y

lo divida en dos partes a y r = t-a. Con sus palabras, Las partes de tota se Ilamarn parte separada [abscissa] y parte restante [residua], y la parte separada se
representar con la letra a y la restante con r2 '. A continuacin consider tota igual
a I, 2,... y puso ejemplos hasta 10. Es decir, si t es 2, a es I y r es 1. Si t es 3, a puede
ser I o 2 y entonces r es 2 o 1, respectivamente. Si t es 4, a puede ser 1, 2 o 3, y
entonces r es 3, 2 o 1, respectivamente, y as indefinidamente. Tambin calcul los
cuadrados y los cubos de a, los productos de a y r, de los cuadrados de a y r, etc.
Adems, Mengoli explic que todos los n meros que separaba, a, de un
mismo n mero, t, (as como los restantes r que le quedaban) los Ilamara sinnimos [synonymae]. As, si t es 3, los synonimae son 1 y 2; si t es 4, los synonimae
son 1, 2 y 3, etc. Despus sum los synonimae para obtener sumas del tipo

/-1
0.a = todos los sinnimos de t =/fa
a=1

Mengoli los Ilam massa de todas las abscisas. As, si t es 3, la suma

[massa] valdr 3, ya que es la suma de I y 2. Si t es 4, la suma valdr 6, ya que es
la suma de I, 2 y 3, etc.
Mengoli orden todos estas sumas que resultan de la adicin de los synonimae
en una tabla triangular que Ilam tabla de los smbolos [Tabula Speciosa].
0.0

0.a 0.r
Base primera
0.a2 0.ar 0.r2
Base segunda
Base tercera
0.a3 0.a2r 0.ar2 0.13
Base cuarta
0.a4 0.a3 r 0.a2r2 0.ar3 0.r4
Tabzda speciosa
Los elementos de esta tabla son sumatorios del tipo
0.0 = (t-1)

0.a = 1 + 2 + 3 +... + (t-1)

0.r = (t-I) + (t-2) + (t-3) +... + 1
0.a2 = 1 2 + 22 + 32 +... 0_02
0.ar = 1. (t-1) + 2. (t-2) + 3. (t-3) +... + (t- ). 1

LLULL, 24 RELACIONES ENTRE EL LGEBRA Y LA GEOMETRI EN EL S. XVII

715

Mengoli las Ilam species". Consider que el vrtice de la tabla era de

orden cero, y la primera fila de la tabla triangular de orden uno, la segunda de
orden dos, etc. y asign n meros ordinales a las filas o bases. As calcul y demostr el valor de estas sumas utilizando el nmero t como punto de partida para su
construccin. Estos clculos dan el valor de la suma de las zn potencias de 1-1 enteros". Mengoli aplic el lgebra a las tablas triangulares para generalizar y aprovech las propiedades de los n meros combinatorios para calcular el valor de estas
sumas de potencias".
Otra aportacin original de Mengoli fue la justificacin y el uso de la nocin
de variable. Su idea era que las letras, adems de representar un n mero dado o una
incgnita, tambin pudieran representar variables, es decir, n meros indeterminados
pero determinables. As, afirma: Cuando escribo 0.a, despus del captulo precedente, tengo inmediatamente la suma [nassa] de todas las abscisas. Pero qu valor
es esta suma [massa], an no sabes, si no escribes de qu n mero [ests calculando] el sumatorio. Pero lo sabes si asignas que 0.a es la suma [obtenida a partir] del
nmero t. Y de esta manera no sabes cuanto es, si al mismo tiempo no asignas cual
es el valor de la letra t. Pero cuando te permita que fijes un valor cualquiera para la
letra t, y tu, utilizando este permiso, digas que vale 5, al instante ciertamente asignars que 0.a vale 10, que 12 vale 25, que t' vale 125, y que 0.r vale 10, y si las
letras t estn determinadas las cantidades 0.a, 0.r, 12 , t' estarn determinadas. Por lo
que, antes que t hayas utilizado el permiso dado, tenas ciertamente 0.a, 0.1; i2 , ',
cantidades [que son] determinables pero [cantidades] indeterminadas."
Por lo tanto, est claro que las sumas eran n meros indeterminados, pero que
quedaban determinados cuando se conoca el valor de t. Asignando diferentes valores a t, Mengoli introdujo la definicin de variable, probablemente por primera vez,
y sefialando adems la dependencia entre el valor de t y el valor de la suma". En el
pensamiento de Mengoli parece que subyace una idea de sucesin, aunque quede
lejos del concepto general de funcin.
Mengoli aplic su idea de variable al clculo de las cuasi-razones de estas
sumas. 0 sea que el valor de una razn es tambin indeterminado pero es determinable dando sucesivos valores a t. La razn, efectivamente, no asume este valor, el
cual podemos interpretar como su valor actual; ms bien, tiende a l a medida que
aumenta t. Es en este sentido que Mengoli entiende la expresin razn indeterminada determinable. Mengoli continu dando ejemplos y clarific su nocin de
razn cuasi un n mero. Consider valores hasta 10 en la razn 0.a a 12 y argument que estaba ms cerca de 1/2 que cualquier otra razn dada. A esta razn la

716

MARA ROSA MASSA ESTEVE

LLULL, 24

Ilam cuasi 1/2. De esta manera poda calcular el valor de cuasi-razones entre expresiones algebraicas cuando el valor de las letras iba aumentando. La diferencia entre
1/2 y la razn, que est determinada cuando el valor de t aumenta, es as ms pequefia que la diferencia entre 1/2 y cualquier otra razn dada. El lmite de esta sucesin
de razones o de esta razn, en la medida en que es as determinable, es 1/2, y lo denomin razn cuasi 1/2. La idea de razn cuasi un n mero sugiere, aunque de manera imprecisa, el concepto moderno de lmite. Basndose en esta idea, la cuasirazn, que utiliz despus para demostrar las cuadraturas, no dependa de los valores
dados a las letras, pudindose utilizar para cualquier potencia natural, ya que las
razones las estableca comparando los grados de las expresiones algebraicas.
Hay que sealar que el hecho de que Mengoli utilizara el lenguaje algebraico en su obra, lejos de ser una ventaja para su difusin se convirti en un handicap.
Su manera de escribir enrevesada y poco clara, su afn por definir todos los conceptos que utilizaba y la elaboracin de un lenguaje propio, donde la notacin a
medida que avanzaba en su discurso se iba complicando, hicieron que no fuera ledo
como se mereca. As, Barrow, en una carta a Collins [GREGORY, 1939, p. 49],
refirindose a la obra de Mengoli, deca que era ms dura que el rabe y que si haba
descubierto algo l no tena tiempo para averiguarlo.

6. lgebra versus indivisibles

El tercer aspecto sobre el que queremos reflexionar es la utilizacin del lgebra para resolver problemas de cuadratura. La obtencin de la cuadratura de las infinitas parbolas e hiprbolas y, como no, la cuadratura del crculo, constituy una de
las grandes preocupaciones de los matemticos del siglo XVII.
Cavalieri, fue de los primeros en desarrollar un nuevo mtodo de cuadratura
Ilamado mtodo de los indivisibles. Cuando Cavalieri expuso su mtodo ya haba
dos antecedentes claros: la tcnica de los antiguos, que hoy se Ilama mtodo de
exhauscin, creado por Eudoxo y que Euclides y Arqumedes explotaron en una
gran variedad de caminos para determinar reas de figuras curvilneas, vol menes,
superficies y arcos, y el trabajo de Kepler. El mtodo de los indivisibles de Cavalieri
se encuentra explicado bsicamente en dos de sus libros: Geometra
continuorum nova quadam ratione promota (Bolonia, 1635) y Exercitationes geometricae sex (Bolonia, 1647)27 . La demostracin de las cuadraturas de infinitas parbolas y = ,Y171 , para m entero positivo, fue publicada por Cavalieri en esta ltima
obra, aunque afirmaba conocerla desde el 1639. En 1636, Gilles Persone de

LLULL, 24 REL4C1ONES ENTRE ELLGEBRA Y LA GEOMETRA EN EL S. XVII

7 17

Roberval (1602-1675) en una carta dirigida a Fermat tambin cit la regla para
encontrar la suma finita de potencias y explic que la aplicaba para calcular cuadraturas. As mismo, Fermat especificaba en una carta a Cavalieri, antes del 1644,
que haba cuadrado las parbolas, exponindole la regla y un ejemplo. El propio
Fermat, en 1657, demostr las cuadraturas para m racional positivo. Wallis por su
parte, tambin demostr estas mismas cuadraturas en su Arithmetica Infinitorum
(1655) utilizando la suma de potencias". Aunque Fermat y Wallis tambin utilizaban elementos algebraicos en su mtodo de cuadratura, el camino que siguieron fue
muy diferente al de Mengoli.
Mengoli, en un primer clculo, utiliz el mtodo de los indivisibles de su
maestro Cavalieri pero lo hizo a travs de un lema y tres proposiciones cuasialgebraicas de Jean Beaugrand que se encuentran en la Exercitatione quarta, de
Cavalieri. En la introduccin de esta parte Cavalieri [1647, pp. 243-245] explicaba
que cuando estaba investigando sobre las cuadraturas pas, camino de Pars, el
padre Nicerone, a quien comunic sus descubrimientos, y ste los refiri a
Beaugrand". Ms tarde Cavalieri tuvo noticias a travs de Mersenne de la muerte
de Beaugrand y de las soluciones que ste haba encontrado a las cuadraturas propuestas. Cavalieri precisaba que incorpor estas soluciones de Beaugrand, que son
ms algebraicas, para que no se perdiesen. A pesar de que encontraba la va algebraica ms fcil y ms corta, no la utiliz`". En cambio, Mengoli en Geometriae
Speciosae Elementa, cuando quiso usar el mtodo de los indivisibles de Cavalieri,
especificaba que lo hara por va algebraica porque era ms corta, As tambin para
obtenerlo por va ms breve, procederemos por Algebra Especiosa''.
Habiendo calculado cuadraturas por el mtodo cuasialgebraico de
Beaugrand, Mengoli las volvi a calcular con un segundo mtodo aritmtico
algebraico y lo justific con estas palabras:
Mientras tanto dej de lado este aadido hecho a la Geometra de los indivisibles,
teniendo miedo de la autoridad de los que juzgan falsa la hiptesis que la infinitud de todas
las rectas de una figura plana sea una figura plana; lo dej no porque fuese de esta opinin
sino que la esquiv porque la encontraba dudosa e intent, si me era posible, establecer fundamentos nuevos y seguros para el mismo mtodo de los indivisibles o para otros mtodos
nuevos que fuesen equivalentes."

No est clara la razn por la que Mengoli no sigui el camino de su maestro. Quizs fuera debido a que el mtodo de Cavalieri haba recibido muchas crticas y Mengoli no poda dejar de ser sensible a ellas. Quiso buscar nuevos mtodos,

718

MARA ROSA MASSA ESTEVE

LLULL, 24

con fundamentos ms slidos, introduciendo en sus clculos el lgebra de Vite a

travs de las tablas triangulares y la teora de las cuasi-proporciones.
Mengoli intent ya desde el principio que quedara clara su aplicacin del
lgebra a la geometra y dedic mucho espacio a identificar las figuras (las llama
formas) que quiere cuadrar con las expresiones algebraicas que utilizaba para representarlas, sin hacer ning n dibujo. Daba su propio sistema de coordenadas, definiendo la abscisa y la ordenada y describa individualmente las ordenadas de las
figuras a travs de las abscisas en el intervalo (0,1). Por ejemplo, las ordenadas
correspondientes a una figura descrita por una parbola las llamaba abscisas
segundas y eran descritas por terceras proporcionales de la unidad y de la abscisa,
1 : x = x : y. Las ordenadas de estas figuras quedaban definidas por medianas proporcionales o terceras proporcionales. Es decir, la conexin entre la figura (que no
representaba) y la expresin algebraica (curva) que describa la figura era la teora
de proporciones de Euclides".
Mengoli adems coloc estas expresiones algebraicas en tablas triangulares
de manera similar a como haba hecho con los sumatorios a fin de calcular a la vez
todas las cuadraturas de las figuras de la tabla. As para representar la parbola
escriba FO.a2 , para la expresin y=x3 escriba FO.a3 ,para la expresin y=x(1-x)
escriba FO.ar, representando x por a y 1-x por r Seguidamente multiplic estas
expresiones algebraicas por dos factores que calculaba fcilmente ya que slo
dependan del grado (no de la dimensin) de la expresin algebraica y, por ltimo,
demostraba que todas las cuadraturas eran iguales a la del cuadrado de lado uno. La
demostracin de Mengoli es independiente del grado y sirve para cualquier figura'.
El lgebra le proporcionaba un mtodo para calcular a un mismo tiempo todas estas
cuadraturas (que ya conoca) y no le haca falta hacer cada vez la cuadratura de una
curva para encontrar una regla que le permitiera generalizarlas.
Mengoli no hizo, como Descartes, un lgebra de segmentos, o sea, no interpret geomtricamente cada una de las operaciones algebraicas que defina. Incluso
cuando demostraba la igualdad (a + b)2 = a 2 + 2ab + 192 lo haca a travs de las propiedades de las proporciones. Su obra presenta ms similitudes con la de Vite, que
tambin utilizaba la teora de proporciones como vnculo entre lgebra y geometra.
Pero Vite, adems de confeccionar diagramas sin establecer un sistema de coordenadas, comprobaba las construcciones de las soluciones de las ecuaciones de segundo grado sin establecer relaciones entre las ordenadas y las abscisas, y no
demostraba la cuadratura de estas figuras.

LLULL, 24 REL4C1ONES EIVTRE EL ALGEBRA Y LA GEOMETRA EN EL S. XVII

719

Mengoli adems clasific las figuras en tipos, seg n estuviesen situadas en

los lados primero y ltimo de la tabla triangular o bien en medio, demostrando sus
propiedades con la teora de proporciones. Al final de la obra establecia otra clasificacin de las figuras. Seg n el lugar que les corresponda en la tabla les daba uno
u otro nombre, especificando, sin demostrarlo, como seria su dibujo, qu ngulo
formaban, cual era su baricentro. Si bien queda patente que saba cual era el dibujo
de cada una de las figuras, Mengoli no hizo casi ning n dibujo de las mismas. A
resear que en el caso de la cuadratura del crculo, que se encuentra en una obra
posterior, no aparece ni un solo dibujo a lo largo de toda la obra.
En dicha obra, titulada Circolo (1672), cuando construa una tabla de cuadraturas de figuras interpoladas, Mengoli clasificaba tambin las cuadraturas calculadas segn el lugar y el grado en cuadraturas de primera, segunda y tercera clase.
As cuando se examina esta obra no parece que en la misma se trate de cuadraturas
de figuras geomtricas, ya que slo se aprecian tablas triangulares y clculos de
productos infinitos para hallar pi.
El hecho de representar los nmeros, las variables y las figuras con letras y
buscar artilugios para operar con ellas y poder generalizar, lo interpretamos como
una respuesta a la necesidad mengoliana de resolver infinitas cuadraturas a la vez
con independencia de su representacin geomtrica. Mengoli hall el instrumento
generalizador en las tablas triangulares y en el lgebra ya que las tablas se pueden
extender indefinidamente, son fciles de construir y las letras le permiten identificar las figuras dentro de la tabla. La utilizacin del lgebra de Vite en el mtodo
de cuadraturas de Mengoli es un rasgo caracterstico y fundamental de su obra, tal
como l mismo sealaba al principio de Geometriae Speciosae Elementa
Ambas geometras, la antigua de Arqumedes y la nueva de los indivisibles de
Buenaventura Cavalieri (preceptor mo), asi como tambin el lgebra de Vite, han estado
tratadas con bastante acierto por personas cultas; de ellas, ni confusamente ni como si fuese
una mezcla, sino por una perfecta conjuncin, se obtiene una nueva, la especie propia de
nuestro trabajo, que no podr desagradar a nadie."

Mengoli siguiendo una investigacin muy original conjunta perfectamente en su obra la matemtica clsica, representada en este caso por Euclides (teoria
de proporciones) y Arquimedes (mtodo de exhauscin), el mtodo de los indivisibles de su maestro y la matemtica innovadora representada por el lgebra de Vite.
Aunque las aportaciones de Mengoli constituyen un eslabn ms en el proceso de
la algebrizacin de las matemticas, su objetivo prioritario no fue ni la construccin
algebraica de las curvas ni clasificar las mismas, sino resolver unas cuadraturas que

720

MARA ROSA MASSA ESTEVE

LLULL, 24

ya conoca, por un mtodo distinto, con fundamentos ms seguros, y en el cual desarrollaba el lgebra de Vite. En Mengoli las caractersticas del pensamiento algebraico y geomtrico no se enfrentan sino que se superponen como dos capas de
barniz a fin de dar mejor color al cuadro.

7. EPLOGO
El proceso de algebrizacin de las matemticas no fue lineal ni en el tiempo
ni en el espacio ya que no fue el mismo ni dentro de cada pas ni dentro de cada
grupo de matemticos. Los grandes difusores e investigadores de este arte analtico con un lenguaje y mtodos nuevos tomaban postura y lo defendan frente a los
que lo ignoraban o atacaban. No se aprecia una ruptura clara pero en un siglo aproximadamente se acab imponiendo el lgebra como una parte til de las matemticas para resolver problemas que de otra manera era imposible solucionar. Uno de los
puntos clave fue la constitucin del lenguaje algebraico. La utilizacin de un lenguaje propio por parte de los distintos matemticos origin que estos nuevos mtodos analticos no fuesen considerados una nueva ciencia bien fundamentada, aunque
fueran herramientas de clculo muy potentes, frente a la sntesis geomtrica.
Para poder entender todo este proceso con rigor histrico sera necesario
analizar otros aspectos: el desarrollo del concepto modemo de n mero (los n meros imaginarios, los n meros negativos,...), la introduccin y el aumento de mtodos algebraicos en otros campos (teora de n meros, trigonometra,...), el aumento
de construcciones geomtricas dadas las ecuaciones algebraicas (relacin entre la
ecuacin y la representacin, clasificacin de curvas,...), la limitacin que las expresiones algebraicas presenta frente a las figuras geomtricas, los cambios de mtodo
(anlisis-sntesis, mtodos directos,...) y tambin la recepcin y utilizacin de estos
mtodos algebraicos dentro de otros mbitos cientficos.

Agradecindentos
Mi agradecimiento a Paolo Mancosu, Toni Malet, Carles Puig, Jos
Llombart y Pilar Crivills que han leido versiones previas de este articulo
mejorando su contenido y su estilo.

LLULL, 24 RELACIONES ENTRE EL LGEBRA Y 1,4 GEOMETRI EN EL S. XVII

721

NOTAS
1 Vase CARDANO [1968, pp. 7-22, 96-101, 217-221] y BOMBELLI [1929, pp. 1-46].
2 En latin: Denique fastuosum problema problematum ars Analyticae, triplicem Zetetices,
Poristices & Exegetices formam tandem induta, jure sibi adrogat, quod est, NULLUM
NON PROBLEMA SOLVEREVIETE [1970, p. 12].
3 Sobre Herigone vase CIFOLETTI [1990, p. 129].
4 Jean Beaugrand( 1595-1640) era matemtico; el ao 1635 lo pas en Italia donde visit a
Cavalieri en Bolonia. Ms referencias en CIFOLETTI [1990. pp. 114-128].
5 William Oughtred (1571-1660) matemtico ingls muy influyente, se deca que su obra era
la mejor lgebra del momento. Ms informacin en SCOTT [1981, p. 207].
6 Fermat no public mientras vivi, sus trabajos circulaban a travs de canas o manuscritos.
7 La interpretacin de este programa actualmente a n da lugar a posiciones muy
contrastadas. Por una parte Bos, Boyer, Lenoir, explican que para Descartes el lgebra
es simplemente una herramienta para economizar esfuerzos. La ecuacin de una curva
no es un medio de definicin o representacin sino una herramienta para poder
clasificar las curvas en clases. Seg n estos historiadores la intencin de Descartes al
escribir La Gomtrie era buscar un mtodo de resolucin de problemas geomtricos,
como era usual en la poca, y la ecuacin nunca es el ltimo paso de la solucin.
Giusti, al contrario, dice que para Descartes la curva es la ecuacin. Giusti destaca el
componente algebraico de La Gomtrie como fundamental en su programa ya que le
permite dar soluciones generales y uniformes a una gran variedad de problemas. Seg n
este autor, los elementos de construccin de las curvas juegan un rol ms retrico que
cientfico en la obra de Descartes. Vase BOS [1981. pp. 295-338], BOS [1998, pp. 291317], GIUSTI [1987, pp. 409-432], MANCOSU [1996, pp. 84-91], PEPE [1982, pp.
249-288].
8 Esta idea de oposicin de los dos pensamientos perdur en algunos casos, as Cauchy en
1821 en la introduccin al Cours d'Analyse de Icole Royale Polytechnique (p. Ij)
explica que para los mtodos ha buscado todo el rigor de la geometra ya que los
razonamientos algebraicos sirven para hacer presentir la verdad pero que no se ajustan a
la exactitud de las matemticas.
9 Un anlisis ms exhaustivo sobre estas diferencias se puede encontrar en
MAHONEY[1980, p. 141-155].
10 Vase HOYRUP [1996, pp. 3-4].
11 Vase PYCIOR [1997, p. 143] y JESSEPH [1999, p. 189].
12 Sobre la controversia Barrow, Hobbes y Wallis vase PYC1OR [1997, pp. 135-166],
MAIERU [1994, 99-105], MANCOSU [1997, pp. 86-88] y JESSEPH [1999, pp. 189246]. Sobre el debate entre Leibniz, Arnauld, Prestet y Gottignies, vase MANCOSU
[1997, pp. 88-91].
13 Thomas Harriot (1560-1621) Algebrista ingls graduado en Oxford. Escribi Artis
Analyticae Praxis (1631) basndose en la obra de Vite
14 Ms referencias sobre vida y obra de Mengoli en BARONCINI [1986], NATUCCI [1971]
y MASSA [1998].

722

MARA ROSA MASSA ESTEVE

LLULL, 24

15 En latn, De utilitate Algebra Speciosa. Una, Mathematicas inter, Speciosa vocatur

Algebra: quaerenti qua nihil arte latet. Sive rogas, utrum sic, vel non, dicere verum est;
sive rogas, quantum est: ars facit ista satis. Utpote quae numeris generalibus instruit
aptos. Ad facere, ad facta, 8z. dicta probare, modos. Scilicet intererit generalis uterque
fuisse; Quemquaeris numerus, quem dare cunque potes. MENGOLI [1655, p. 19].
16 Pepe, en su estudio, destaca que as como Vite estaba presente en las obras de los
italianos, La Gomtrie (1637) de Descartes, tuvo poca difusin en Italia. PEPE [1982,
p. 2631 dice haber encontrado dos referencias, una de ellas en Giannantonio Rocca (16071659), alumno del Colegio .jesuita de Parma, al cual en 1640 un amigo le envi la
traduccin de La Gomtrie de Descartes. Mengoli tiene inters en hacer cuadraturas a
partir de un problema propuesto por Rocca adems de mantener correspondencia con l.
17 Wallis escribi Alathesis Universalis seu Opus Arithmeticzun (1657) donde intent reflejar
la evolucin y el estado de la notacin algebraica. Vase SCOTT [1981, pp. 65-82].
18 Para ms datos sobre los orgenes del lenguaje algebraico vase MALET [1984,
pp. 169-1791.
19 Newton en su obra Arithmetica Universalis (1684 ) dice algo similar al explicar como
encontrar una ecuacin; identifica las palabras con las cantidades conocidas y
desconocidas y las frases con las ecuaciones. Vase WHITESIDE [1972, p. 565].
20 Algunos autores quieren ver en este rasgo una cierta dependencia de la geometra.
20 Et partes Totae, dicentur, Abscissa, & Residua: & significabitur abscissa, charactere a;
& residua, r. MENGOLI [1659, p. 21].
22 El nombre procede claramente de Vite y su Logistica speciosa.
23 Una frmula que efectivamente no era nueva. El primer reconocimiento como regla
general aparentemente fue hecho en 1636 por Fermat, quien anunci que haba
solucionado el que es quizs el problema ms bonito de toda la aritmtica, es decir,
dada cualquier progresin aritmtica, hallar la suma de cualquier potencia. Fermat
estableci las reglas pero no escribi la frmula ni la demostracin. Vase Fermat [1891,
pp. 69-70, 83-84] y MAHONEY [1973, p. 291].
24 Vase demostraciones detalladas en MASSA [1997, pp. 266-268] y [1998, pp. 51-56].
25 Cum scriptero 0.a, statim ex praecedenti capite habes massam ex omnibus adscissis: sed
quota sit haec massa, nondum habes, nisi scriptero, cuius numeri sit massa. Quod si
assignavero 0.a, numeri t massam esse; neque sic habes, quota sit, nisi simul
assignavero, quotus est numerus, valor litterae t... Cum ver licentiam dedero, ut quotum
quemque litterae t valorem taxes; tuque huiusmodi usus licentia dixeris, t valere quinario:
statim profecto assignabis & 0.a, valere 10: & t valere 25; & t valere 125; & 0.r, valere
10: & determinatae litterae t, determinatas esse quantitates 0.a, 0.r, t , t , quantitates
indeterminatas determinabiles [MENGOLI, 1659, p. 611.
26 Seg n YOUSCHKEVITCH [1976, p. 59] el trmino variable fue introducido por Leibniz
el 1692 y difundido a travs de la obra de FHpital: Analyse des infiniments petits (1696).
27 Sobre el mtodo de los indivisibles de Cavalieri vase MALET [1996, pp. 11-22],
MASSA [1994. pp. 68-100], GIUSTI [1980] y ANDERSEN [1984/85, pp. 291-367].
28 Fermat [1891, Tomo I, pp. 195-1981 escribi Ad Bon. Cavalieri: Questiones responsa, que
se cree anterior a 1644. El misrno Fermat [1891, Tomo I, pp. 255-288], en 1657 escribi
De aequationum localizuzz transmutatione et emmendatione ad multimodam

LLULL, 24 RELACIONES ENTRE ELLGEBRA Y LA GEOMETRIA EN EL S. XVII

723

cztrvilineorum inter se vel cum rectilineis comparationem, cui annectitur proportionis

geometricae in quadrandis infinitis parabolis et hyperbolis usus. Fermat y Wallis
tambin demostraron las cuadratures para m negativo, excepto el caso rn = -1.
29 Jean Francois Niceron (1613-1646) perteneca a la orden de los Mnimos, igual que
Mersenne. Se dedic a la ptica geomtrica y a la perspectiva y viaj mucho por Italia.
30 En Exercitatione, en el escolio despus del lema. Cavalieri escribia: A partir de estas
demostraciones el lector no ignorante de estas multiplicaciones algebraicas, comprender
que esta va es mucho ms fcil que la Euclidiana, cuya estructura es ms larga en las
Proposiciones 17 y 1 8.
31 Ut autem breviori via id obtineamus, procedemus per Algebram Speciosam
[MENGOLI, 1659, p. 3491
32 En latn, Ipsam interim accessionem, qum Geometriae Indivisibilium feceram,
praeterivi: veritus eorum authoritatem, qui falsum putant suppositum, omnes rectas
figurae planae infinitas, ipsam esse figuram planam: non quasi hanc sequens partem; sed
illam quasi non prorsus indubiam devitans: tentandi animo, si possem demum eamdem
indivisibilium methodum, aut aliam equivalentem novis, & indubijs prorsus constituere
fundamentis [MENGOLI, 1659, p. 364]. La cursiva es nuestra.
33 Cuando demostraba las propiedades de las curvas que describan la figura (creciente,
punto mximo,...), Mengoli utilizaba directamente la expresin algebraica y las
propiedades de las proporciones sin preocuparse de la representacin grfica de la figura.
34 Vase demostraciones detalladas en MASSA [1998. pp. 129-171]
35 En latn, Ipsae satis amabiles litterarum cultoribus visae sunt, utraque Geometria,
Archimedis antiqua, & Indivisibilium nova Bonaventura Cavalierij Praeceptoris mei,
necnor & Viettae Algebra: quarum, non ex confusione, aut mixtione, sed coniunctis
perfectionibus, nova quaedam, & propria laboris nostri species, nemini poterit
displicere [MENGOLI, 1659, pp. 2-3]. La cursiva es nuestra.

BIBLIOGRAFA
ANDERSEN, K. (1984/85) Cavalieri's Method of Indivisibles. Archive for the History of
Exact Sciences, 31, 291-367.
BARONCINI, G. & CAVAllA, M. (1986) La corrispondenza di Pietro Mengoli,
Florencia: Olschki.
BORTOLOTTI, E. (ed.) (1929) L'Algebra opera di Rafael Bombelli da Bologna: Libri IV e
V comprendenti la parte geometrica inedita tratta dal manoscrito B.1569 della
Biblioteca dell'Archiginnasio di Bologna. Bolonia, Zanichelli.
BOS, H. J. M. (1981) On the representation of curves in Descartes Gonztrie. Archive for
the Histoty of Exact Sciences, 24, 295-338.
BOS, H. J. M. (1998) La structure de la Gonztrie de Descartes, Revue d'histoire des
sciences, 51, 291-317.
CARDANO, G. (1968) The Great Art or the Rules of Algebra. Witmer, T. Richard (ed.,
trans.), Cambridge, Mass., & London: M. 1. I. Press.
CAUCHY, A. L. (1821) Cours d'Analyse de lcole Royale Polytechnique. Pars,
Imprimerie Royale.

724

MARA ROSA MASSA ESTEVE

LLULL, 24

CAVALIERI, B. (1966) Geometria degli indivisibili di Bonaventura Cavalieri. Trad. L.

Lombardo Radice, Torino.
CAVALIERI, B. (1647) Exercitationes geometricae sex. Bolonia.
CIFOLETTI, G.C. (1990) La mthode de Fermat: son statut et sa difitssion. Cahiers
d'histoire et de philosophie des sciences, nouvelle srie, 33. Paris, Socit francaise
d'histoire des sciences et des techniques.
DESCARTES, R. (1954) The geometry of Ren Descartes. D. E. Smith & M. L. Latham
(ed.), Nueva York, Dover.
FERMAT, P. (1891-1922) Oeuvres. Tannery, P. & Charles, H. (ed.), 4 vols. & spp. Paris,
Gauthier-Villars.
GIUSTI, E. (1980) Bonaventura Cavalieri and the Theory of Indivisibles. Bolonia,
Edizioni Cremonese.
GIUSTI, E. (1987) La 'Gomtrie - di Descartes tra numeri e grandezze. Giornale critico
della filosofia italiana, 66 (68), 409-432.
GIUST1, E. (1992) Algebra and Geometry in Bombelli and Viete. Bollettino di storia delle
scienze matenzatiche, 12, 303-328.
GREGORY, J. (1939) Tercentenazy Menwrial Volume. H. W. Turnbull (ed.), Londres, Bell.
HOYRUP, J. (1996) A New Art in Ancient Clothes. Itineraries chosen between
Scholasticism and Baroque in orderto makealgebra appear legitimate, and their impact
on the substance of the discipline. Filosofi og Videnskabsteori pa Roskilde
Universitetscenter. 3. Raekke: Preprints of Reprints 1996 Nr 1.
JESSEPH, D. M. (1999) Squaring the circle. The war between Hobbes and Wallis. Chicago
& London, The University of Chicago Press.
LAGRANGE (1795) Oeuvres, vol. 7, p. 271
MAHONEY, M. S. (1973) The mathematical career of Pierre de Fermat. Princeton,
Princeton University Press.
MAHONEY, M.S. (1980) The beginnings of algebraic thought in the seventeenth century,
Descartes ' philosoplzy, nzathenzatics and phisics, Gaukroger, S. (ed.), Totowa/ Brighton,
Barnes and Noble/ Harvester, 141-156.
MAIERU, L. (1994) Fra Descartes e Newton, Isaac Barrow e John Wallis. Messina,
Rubbettino.
MANCOSU, P. (1996) Philosophy of Mathematics and Mathenzatical Practice in the
Seventeenth Centwy. Oxford, Oxford University Press.
MALET, A. & PARADIS. J. (1984) Els origens i 1 'ensenyament de l'lgebra simblica.
Barcelona, Universitat de Barcelona.
MALET, A. (1996) From indivisibles to infinitesimals, Studies on Seventeenth Century
Alathematizations of Thfinitely Small Quantities. Barcelona, Universitat Autnoma
de Barcelona.
MASSA, M.a R. (1994) El mtode dels indivisibles de Bonaventura Cavalieri. Butlleti de
la Societat Catalana de Alatemtiques, 9, 68-100.
MASSA, M. R. (1997) Mengoli on Quasi Proportions'. Historia Mathematica, 24, 2,
257-280.

LLULL, 24 RELACIONES ENTRE EL LGEBRA Y LA GEOMETRIA EN EL S. XVII

725

MASSA, M. a R. (1998) Estudis matemtics de Pietro Alengoli (1625-1686): Taules

triangulars i quasi proporcions C0171 a desenvolupament de rlgebra de i ite. Tesi
Doctoral, Barcelona, Universitat Autbnoma de Barcelona.
MENGOLI, P. (1655) Va Regia ad mathenzaticas per arithmeticam, algebram speciosam and
planimetriam, ornata Alaiestati Serenissimae D. Christinae Reginae Suecontm. Bolonia.
MENGOLI, P. (1659) Geometriae Speciosae Elementa. Bolonia.
MENGOLI, P. (1672) Circolo. Bolonia.
NATUCCI, A. (1970-1991) Mengoli. En: Gillispie, C.C. (ed.) Dictionaty of Scientific
Biography, Nueva York, Scribner's, 9, 303-304.
PYCIOR, H. M. (1997) Symbols, Impossible Numbers, and Geometric Entanglements:
British algebra through the commentaries on Newton's Universal arithmetik.
Cambridge, Cambridge University Press.
PEPE, L. (1982) Note sulla diffusione della Gomtrie di Descartes in Italia nel secolo
XVII. Bollettino di Storia delle Scienze Alatematiche, Vol. II. fasc. 2, 249-288.
SCOTT, J. F. (1981) The Alathematical Work of John Wallis, D. D., F R. S. (1616-1703).
Nueva York, Chelsea.
VITE, F. (1983) The Analytic Art. T.R. Witmer (tr.), Kent, Ohio, Kent State University Press.
VITE, F (1970) Opera Alathematica. F. A. Schooten (ed.), Nueva York, Georg Olms Verlag
Hildesheim.
WALLIS, J. (1685) A Treatise of Algebra both Historical and Practical showing the
original, progress and advancenzent thereof from tinze to time; and by what steps it
haht attained to the heighth at which now it is. Londres.
WHITESIDE, D. T. (1972) The Alathematical Papers of Isaac Newton. Vol. l' (1683-1684).
Cambridge, Cambridge University Press.
YOUSCHKEVITCH, A. P. (1976) The concept of Function up to the Middle of the 19th
Century. Archive for Histoty of Exact Sciences, 16, 37-84.