EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII y XVIII

The Evolution of Calculus in the 17th and 18th Century

Jorge Javier Jimnez Zamudio

jzamudio@apolo.acatlan.unam.mx

Jeanett Lpez Garca

jeanettlg@hotmail.com

Resumen
La creacin de conocimiento, incluyendo el matemtico, sustenta sus avances en saberes
previos, sin embargo, la historia muestra que cuando el modelo propuesto ya no permite
avanzar ms, se requiere de un cambio de paradigma. El artculo muestra, a travs de una
breve revisin del estado del Clculo en los siglos XVII y XVIII, algunos de los elementos
matemticos relevantes previos al descubrimiento de su teorema fundamental, haciendo
hincapi en la importancia de las creencias que impidieron la modificacin de cnones,
al margen del formalismo y la prueba rigurosa, para posteriormente enfrentar y superar
las inconsistencias estructurales del nuevo Clculo. Asimismo, el artculo reflexiona
sobre cmo el pragmatismo es piedra angular para el desarrollo de cualquier disciplina
y, dado que el cuerpo de conocimientos de la matemtica no est acabado, deja abierta
la posibilidad de futuras interpretaciones y nuevas propuestas.
Palabras clave: historia del Clculo, evolucin del Clculo, inicios del Clculo, Clculo
en los siglos XVII y XVIII.
Abstract
The creation of knowledge- including the mathematical one- upholds its advances in
previous knowledge. However, history shows that when an established model does not
allow you to move forward, you need to change this paradigm. This article presents
some of the most relevant mathematical elements prior to the discovery of their
fundamental theorem through a brief revision of Calculus in the 17th and 18th century,
emphasizing the beliefs that stopped the modification of canons, putting formalism and
rigorous proof aside, in order to face and overcome the structural inconsistencies of the
new Calculus. Likewise, this article reflects on Pragmatism as the cornerstone of the
development of any discipline, for the body of mathematical knowledge is never over,
and it is open to new analysis and proposals.
nm. 12, 2012, pp. 110127

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

La etapa emprica del clculo infinitesimal

a historia reconoce a Newton y Leibniz como los creadores del clculo

diferencial e integral, hecho que se manifiesta en los materiales escritos
en forma de alusiones explcitas o implcitas, a travs de fotografas o
fichas bibliogrficas. En la bibliografa actual, da la impresin, que de la nada,
en un acto de creacin inexplicable, obtuvieron el conocimiento tal y como lo
conocemos hoy en da. No obstante, cuando ellos inventaron el nuevo Clculo,
como se le llam en el siglo XVII a los trabajos de Newton con sus infinitesimales
y de Leibniz con su concepto de diferenciales, ya exista un amplio bagaje de
conocimientos que en aquella poca constituan la vanguardia del saber.
Histricamente, desde los tiempos de Arqumedes, los problemas vinculados
al Clculo eran la determinacin de tangentes y la estimacin de reas, y, por
otro lado, el objeto matemtico que marca el nacimiento del nuevo Clculo es
el teorema fundamental del Clculo el cual, mediante el uso de un procedimiento inverso al clculo de tangentes de curvas, establece el algoritmo para
calcular una integral definida.
Las ideas precursoras de los infinitesimales y el concepto de infinito,
piedras de toque para el nuevo Clculo, parecen remontarse a los inicios
de las matemticas, en la sucesin ilimitada de los nmeros naturales, en el
Quinto Postulado de Euclides sobre las paralelas o en el mtodo de exhauscin1
de los griegos, slo por sealar algunos ejemplos. Conviene sealar, por significativo, que en el lenguaje matemtico de hoy las expresiones infinito o infinitsimo conservan el sentido que Aristteles les asign.2
Los griegos, influidos por la supremaca de la Geometra en sus matemticas,
buscaron procedimientos puramente geomtricos para hallar la cuadratura de
distintas superficies. Mediante la descomposicin de polgonos en tringulos,
los griegos cuadraban cualquier superficie poligonal. Arqumedes, fue todava
1El mtodo de exhauscin (latn exhausti apuramiento, vaciado, agotamiento) es un
procedimiento geomtrico-matemtico de aproximacin a un resultado, con el cual, al
avanzar el clculo numrico, aumenta el grado de precisin.
2Rey Pastor, Julio y Babini, Jos, Historia de la matemtica. Volumen 2, Barcelona, Gedisa,
2000, p. 62.

111

MULTIDISCIPLINA 12

Matemticas e Ingeniera

Keywords: the history of Calculus, evolution of Calculus, the beginnings of

Calculus, 17th and 18th Century Calculus.

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

ms all, y en su libro Cuadratura de la Parbola, prueba3 que un segmento

de parbola puede agotarse mediante una serie de tringulos. Claramente
se puede ver en la figura 1, que cada una de las cuerdas que se corresponden
con la hipotenusa de los tringulos tiende a pegarse a la curva, conforme se
aumenta el nmero de stos.

Figura 1. Cuadratura de la parbola utilizando el mtodo de exhauscin.

Tmese en cuenta que se debe a Eudoxo el mtodo de exhauscin (aunque

el trmino de exhauscin se introdujo en el siglo XVII)4 y que, por ser un
mtodo indirecto de demostracin, no requiere del uso del concepto del lmite
para hallar reas y volmenes.
Uno de los antecedentes ms prximos a la creacin del nuevo Clculo,
que influy en el pensamiento, ms emprico que formal, de los matemticos
de los siglos XVI, XVII y XVIII, fue el cardenal alemn Nicols de Cusa, autor
de La Docta Ignorancia5 (ao de 1440). En su obra, acepta la imposibilidad de
que un polgono inscrito en un crculo, por ms lados que aqul contenga,
llegue a convertirse en dicho crculo, y dice que Es evidente, pues, que
nosotros no sabemos acerca de lo verdadero, sino que lo que exactamente
es en cuanto tal, es algo incomprensible y que se relaciona con la verdad
como necesidad absoluta, y con nuestro entendimiento como posibilidad.6
3Kline, Morris, El pensamiento matemtico de la antigedad a nuestros das, Madrid, Alianza
Universidad, 1972, p. 157.
4Ibid., p. 121.
5Conocimiento de los lmites del propio saber. Saber que no se sabe, diferente de la ignorancia
completa.
6Sahaquiel, <http://astruminhomine.blogspot.com> De la Docta Ignorantia de Nicols de
Cusa, mencionada en La viva imagen de Dios y el paso al lmite. [Entrada del viernes
15 de enero de 2010].

112

Herramientas y procedimientos
Kepler (en el Principio de continuidad en 1615) propone una curva como la suma
de segmentos infinitamente pequeos. Imagina un crculo como la yuxtaposicin7 de infinitos tringulos infinitamente pequeos (figura 2), con base infinitamente pequea sobre el crculo y el tercer vrtice como el centro.8 Esta
referencia puede verse como la influencia de Arqumedes al tratar de agotar la
parbola y la aceptacin de los argumentos de Nicols de Cusa.

Figura 2. Conforme la base del tringulo se hace ms pequea, esta se empieza a fundir con el segmento
de arco respectivo.

Cavalieri, medio siglo antes de los trabajos de Newton, formul el mtodo

de integracin fundado en los indivisibles, (alrededor de 1635, en sus
7Entendida como la accin de poner algo junto a otra cosa o inmediata a ella.
8Gonzlez, Miguel, Las races del clculo infinitesimal en el siglo XvII, Madrid, Alianza, 1992,
p. 264.

113

MULTIDISCIPLINA 12

Agrega: De esto se deduce que, la diferencia entre los polgonos y el crculo

no es simplemente cuantitativa sino que es una diferencia de especie, o sea,
esencialmente cualitativa.
La trascendencia, en los siglos XVI y XVII, de la declaracin anterior es una
aceptacin de la intuicin como base del conocimiento, sin el necesario paso
a la formalizacin rigurosa, en tanto existieran problemas que pudieran, en la
prctica, ser resueltos. Justifica la aceptacin acrtica de conceptos tales como
los infinitesimales, los indivisibles y a las razones evanescentes y nacentes a
que se refiere Newton en sus trabajos, todo ello debido a la incapacidad del ser
humano, de acuerdo con Cusa, de fundamentar el conocimiento cuando ste
se genera por primera vez.

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

obras: Mtodo de los indivisibles; Integracin de x n con n = 1,2,,9 ; rea de la

elipse y cuadratura de la espiral); propone los indivisibles como piezas fundamentales de su mtodo; sin embargo, al igual que Euclides en Los Elementos,
no explica suficientemente la naturaleza infinitesimal que utiliza en su mtodo,
aunque s seala que aquellos son entes de una dimensin menor respecto
al continuo del cual forman parte.9 Cavalieri con su atomismo matemtico,
(el punto como ente indivisible de la recta, la recta como ente indivisible del
plano y el plano como ente indivisible de un volumen) parece convencerse a
s mismo que su mtodo es independiente de las doctrinas sobre la naturaleza
del continuo. Considera su mtodo simplemente como un instrumento
geomtrico para evitar el procedimiento de exhauscin. No obstante la falta
de rigor matemtico de Cavalieri, su influencia fue decisiva en la elaboracin
de conceptos y tcnicas del Clculo del siglo XVII, durante el cual fue el autor
ms citado despus de Arqumedes.10
El concepto esencial de la teora de Cavalieri es el de omnes linae (todas las
lneas).11 La notacin resultante en Cavalieri, para referirse al rea de un objeto
era anteponer una O (en mayscula), es decir, omn antepuesto a una lnea tal
como l refiere un rea, correspondindose a una cuadratura, por ejemplo: Oxl,
(figura 3), y omn antepuesto a un rea en referencia al volumen de un slido.

Figura 3. La suma de todas las lneas de dimensin uno van llenando el rea, de dimensin dos, bajo la
curva. La suma de los valores de las lneas corresponde a la suma de los nmeros naturales a alguna
potencia entera.

9Rey Pastor, Julio y Babini, Jos, Historia de la matemtica. Volumen 2, Barcelona, Gedisa,
2000, p. 66.
10Gonzlez, Miguel, Las races del clculo infinitesimal en el siglo XvII, Madrid, Alianza, 1992,
p. 264.
11Cavalieri utiliz lneas rectas para llenar reas y planos para llenar volmenes.

114

Cavalieri, para 1639 a travs de un mtodo totalmente geomtrico ya era

capaz de calcular la suma de los nmeros naturales elevados a potencias12
desde 1 hasta 9, lo cual permiti el clculo de infinidad de reas y volmenes,
y consecuentemente, calcular las primeras integrales para potencias enteras.
Este proceso de clculo an es utilizado en universidades, para calcular el
rea bajo una curva utilizando sumas de un infinito nmero de trminos
n
y el concepto de lmite (por ejemplo lim
i =1 x 4 + 5x 3 4 x 2 3x + 10 x ), y
x
probado a travs del mtodo de exhauscin al atrapar el rea buscada
entre dos reas calculadas a travs de rectngulos de ancho infinitesimal,
como una va para sustentar la lgica de la integral de Riemann.

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

A partir del nivel ms alto alcanzado en el campo del Clculo hasta la primera
parte del siglo XVII, el siguiente paso en el avance de la ciencia se debi a un
cambio de paradigma.
La tradicin obligaba a mantener el status del conocimiento tal como lo
haban planteado a travs de siglos los grandes de la Matemtica. No existan
intenciones de definir lo indefinible. Al igual que Euclides que bas su obra
de los Elementos en objetos matemticos sin definir, los matemticos y filsofos
como Cavalieri, Kepler o de Cusa, aceptaron los infinitesimales, los indivisibles o el paso al infinito sin mayor cuestionamiento. Luego entonces era de
esperarse, que el nuevo Clculo estuviese impregnado de esta tradicin la cual
era necesaria modificar para ir hacia el siguiente estadio del conocimiento.
Segn Collete,13 se puede decir que los mtodos de anlisis empleados por
los predecesores de Newton y Leibniz, haban sido desarrollados con objeto
de resolver una clase de problemas bien definidos, tales como la construccin de las tangentes a las curvas, la obtencin de mximos y mnimos y el
clculo de cuadraturas.
Con la ayuda de la geometra analtica de Descartes y el ingenio de Cavalieri,
fue posible crear un mtodo general aplicable a todas las curvas de cierta clase
m
todas las curvas de la forma y = ax , 1 m 9 y m N .
Sin embargo, si bien era posible integrar cualquier polinomio que fuese
una combinacin de trminos de la forma y = ax m , an no se haba llegado a
12Jacobo Bernoulli (16551705) dedujo la frmula general para sumar potencias de los
nmeros enteros y con base en l, Faulhaber desarroll sus polinomios con el mismo fin.
13Collete, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985, p. 100.

115

MULTIDISCIPLINA 12

El cambio de paradigma sugerido por Newton y Leibniz

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

la obtencin de algoritmos que permitieran obtener soluciones a funciones de

otra ndole, por ejemplo, funciones trigonomtricas o exponenciales.
Aunque diversos matemticos del siglo XVII, por ejemplo Roberval, Barrow
(profesor de Newton) y Cavalieri, haban desarrollado algoritmos eficaces,
ninguno de ellos haba conseguido proporcionar el mtodo general que se
esperaba. Asimismo, pocos matemticos haban percibido los estrechos lazos
existentes entre los problemas estudiados, ya fuese porque les faltaba un
mtodo general de clculo o porque se preocupaban demasiado en encontrar
una solucin especfica para su problema.
La notacin algebraica y las tcnicas que utilizaron Newton (con sus razones
de velocidades y series infinitas) y Leibniz (con sus diferenciales y su tringulo
caracterstico) les permitieron no slo enunciar el teorema fundamental del
Clculo, que se convirti en una herramienta ms eficaz que la de la Geometra,
sino tambin estudiar otro tipo de problemas mediante el mismo mtodo
general.14 Por ejemplo, a Newton le interesaba conocer el por qu los planetas
se aceleraban o desaceleraban en determinadas posiciones respecto al Sol,
es decir, poder explicar cientficamente el movimiento de los cuerpos celestes y
demostrar con rigor cientfico las leyes de Kepler sobre los planetas.
Leibniz, en un rasgo que se interpreta como un intento de pasar de lo
intuitivo a lo formal, para dotar al nuevo Clculo de una notacin consistente,
a travs de una correcta eleccin de smbolos, primero utiliz el smbolo l,
para sustituir la notacin de Cavalieri de omn.l (la suma de todas las lneas);
el smbolo tiene la forma de una letra s tal como se usaban en los
manuscritos de la poca de Leibniz, que adems es la primera letra de la
1
palabra summa. Para la diferenciacin, primero propuso utilizar D para poder
mantener su notacin congruente con la Ley de Homogeneidad Dimensional,
(recurdese que al derivar un polinomio de grado n se obtiene un polinomio
de grado n1), es decir, todos los trminos que aparecan en las frmulas
deban ser de la misma dimensin; sin embargo, modifica su propia propuesta15
y propone simplemente el smbolo d.
Por su parte, Newton, afirmaba que a travs de los conceptos de razn
primera y ltima, se le podra dar una fundamentacin rigurosa al clculo

14Idem.
15La notacin aplicada al concepto del operador inverso fue retomada por Oliver Heaviside
entre los aos 1880 y 1887 para resolver ecuaciones diferenciales ordinarias.

116

Supongamos una curva cuya rea se expresa mediante A = ax m donde m es

entero o fraccionario. Newton denota con o un intervalo de tiempo muy
pequeo; con ox el momento de x, es decir, un incremento infinitesimal
de x. En ese mismo orden de ideas, denota con oy el momento de y y
A + oy el crecimiento del rea cuando x vara o se incrementa o veces. Por
m
lo tanto A + oy = a(x + o ) . Despus, cuando m es fraccionario, desarrolla el
segundo miembro en una serie binmica infinita; sustrae de esta serie el rea
A = ax m y divide cada uno de los trminos obtenidos por o o una potencia de
o y obtiene finalmente y = maxm 1 .19

Observe que la o (minscula) es equivalente al smbolo que se utiliza

en la actualidad por algunos autores para denotar un incremento.
Newton propuso utilizar los infinitesimales como si se comportaran casi
como cualquiera de las cantidades aceptadas por la comunidad matemtica de
su poca, implicndolos en operaciones algebraicas comunes, en similitud de
lo que haba propuesto al usar series infinitas como 1 +1 x sin hacer mencin al
radio de convergencia.
16Grattan-Guinness, I., Del clculo a la teora de conjuntos, 16301910. Una introduccin
histrica, Madrid, Alianza Editorial, 1984, p. 124.
17Collete, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985, p. 103.
18Ibid., p. 107.
19Idem.

117

MULTIDISCIPLINA 12

de las razones de cambio.16 Descubri los principios de su clculo diferencial

e integral hacia 16651666, pero el hecho de que en el trascurso de una dcada,
haya elaborado al menos tres enfoques diferentes de su nuevo anlisis, ha hecho
suponer a los historiadores que su hallazgo an no se encontraba terminado.
Su amigo Halley lo impuls a publicar sus trabajos y en 1687, publica su
clebre Philosophiae naturales principia mathematica (Principios matemticos
de la filosofa natural). El libro I contiene el mtodo de las primeras y ltimas
razones mismo que se encuentra como anexo al libro III, la teora de las
fluxiones,17 en forma de notas o de comentarios. No obstante de que el libro De
Analysi era ya conocido en su versin manuscrita desde los finales de los 1660,
no fue hasta 1711 que publica su obra.18
Newton, en la creacin del nuevo Clculo requiere de modificar el
paradigma seguido hasta ese entonces. La propuesta, en principio, intuitiva y
sin formalismo, deba ser validada por su pragmatismo. Para la determinacin
del cambio instantneo de una variable con respecto a otra, propone:

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

Al atribuirle a sus infinitesimales propiedades inexplicables desde el cuerpo

de conocimientos matemticos de la poca se produce la innovacin, el cambio
de paradigma. Cabe sealar que el proceso que involucra las razones primera y
ltima, en el fondo se ajusta al primer y cuarto paso, de la regla de derivacin que
presentan algunos textos actuales, bajo el nombre de derivacin por definicin
de derivada o simplemente, de la regla de los cuatro pasos,20esto ltimo, desde
luego, soportado formalmente con el concepto de lmite. Un retorno a los
conceptos de razones primera y ltima bien podra darse, apoyndose en el
planteamiento del clculo no estndar propuesto alrededor de los aos 70
del siglo XX por Abraham Robinson,21 quien logra justificar rigurosamente el
empleo de infinitesimales, llamados hiperreales * .
Consolidacin del cambio de paradigma a travs de la propagacin de
los infinitesimales
El conocimiento emprico adquirido a travs de la experiencia, ha estado
presente en el trascurso de toda la humanidad. El hombre cre el fuego, la
agricultura, el vino y mil cosas ms a travs de la experiencia. El soporte a este
tipo de conocimiento es su aplicabilidad a cuestiones prcticas y cotidianas;
es el pragmatismo lo que le da vala y supervivencia. La aplicabilidad, en
matemticas como en otras ciencias, es la fase intermedia entre la creacin y
su formalizacin. Es a travs del uso cotidiano como se va refinando el conocimiento, a travs de nuevas aportaciones de los diferentes usuarios. En la
creacin del Clculo no poda ser diferente.
Pese a que en 1694, el holands Bernard Nieuwentijt (16541718), fsico
y gemetra, es el primero en sealar la falta de claridad en los trabajos de
Newton y la existencia dudosa de las diferenciales de orden superior de Leibniz,
la mayora de los matemticos que trabajaban con las tcnicas del clculo a
finales del siglo XVII y principios del XVIII, dado que las soluciones que obtenan
eran correctas, no se preocuparon mucho acerca de las cuestiones de los
fundamentos. Si bien Nieuwentijt tambin consideraba que los resultados que
se obtienen eran en general exactos, tambin asume que estos presentaban una
cierta oscuridad y critica la inconsistencia lgica al despreciar las cantidades
infinitesimales y juzga oscuros y peligrosos sus mtodos de clculo.22
20Para conocer ms del tema ver: Spivak, M., Calculus. Barcelona, Revert, 1981.
21Para conocer ms del tema ver: Robinson, A., Non Standar Analysis, New Jersey, Princeton
University, 1996.
22Collete, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985, p. 179.

118

23Rey Pastor, Julio y Babini, Jos, Historia de la matemtica. Volumen 2, Barcelona, Gedisa,
2000, p. 102.
24Grattan-Guinness, I., Del clculo a la teora de conjuntos, 1630-1910. Una introduccin
histrica, Madrid, Alianza, 1984, p. 119.

119

MULTIDISCIPLINA 12

No obstante, tuvieron que pasar alrededor de 40 aos despus de Nieuwentijt

para que se diera la primera discusin ampliamente difundida sobre los
fundamentos del Clculo, la cual no fue el resultado de dificultades encontradas
en el desarrollo o en la aplicacin de las nuevas tcnicas, sino que fue debido a
las crticas de un lego en matemticas. Se critic la posicin de los matemticos
que pretendan mostrar que su ciencia estaba basada en fundamentos slidos
y podan, por lo tanto llegar a alcanzar la verdad. El profano en la materia,
creador de esta crtica, fue el famoso filsofo y obispo, George Berkeley, al
hacer pblicas sus crticas en el panfleto El Analista. En el documento, compara
sagazmente el dogma de fe de la iglesia con la falta de formalidad que rodeaba
a las cantidades infinitamente pequeas, a los incrementos evanescentes y sus
razones, a las diferenciales y las fluxiones de orden superior.
Segn el historiador Cajori,23 en Inglaterra, despus de las fluxiones, el
acontecimiento ms clamoroso, fue la crtica extra matemtica de Berkeley
en 1734. En su obra, Berkeley intenta reivindicar los misterios de la fe ante las
posiciones crticas de algunos cientficos, entre ellos, Edmond Halley (16561742),
astrnomo que, entre otros mritos, tuvo el de sufragar los gastos de
impresin de los Principia de Newton, y a quien el obispo en su panfleto llam
El matemtico infiel. Sin embargo, en su escrito seala que los cientficos
aceptaban una ciencia, el nuevo Clculo, cuyos fundamentos eran ilgicos. La
crtica contra aquellos mtodos era tan pertinente, aguda e incisiva que logr
mover a la comunidad cientfica en torno a ella.
Los llamados nuevos mtodos, estaban envueltos en principios vagos y
contradictorios. Acertadamente Berkeley critic esos incrementos evanescentes, esos momentos que no son cero pero que luego, a conveniencia,
se anulan y que calific de fantasmas de cantidades desaparecidas, aquellas
fluxiones de fluxiones, aquellos infinitamente pequeos de infinitamente
pequeos, etc. Berkeley critica tambin la inconsistencia lgica que supone
trabajar con incrementos pequeos que, para empezar, se suponen distintos
de cero con objeto de poder dividir por ellos, y que finalmente se los considera
como iguales a cero para poder librarse de ellos. La incisiva crtica de Berkeley
era, desde el punto de vista matemtico inobjetable y por ello se explica la
impresin que caus entre los mismos matemticos.24

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

Pero, qu sucedi despus de las crticas de Berkeley al nuevo Clculo?

En el mismo ao de la aparicin de El Analista (1734), James Jurin presenta
las primeras apologas, pero estas fueron excesivamente dbiles y fcilmente
refutadas por Berkeley, y ste abandon la controversia, dado que el objetivo
de Berkeley no eran realmente los objetos matemticos. Sin embargo, la
naturaleza insatisfactoria de los argumentos de Jurin condujo a Benjamn
Robins a reflexionar sobre la naturaleza y la certeza de los mtodos de
fluxiones y de las primeras y ltimas razones de Newton. Conviene sealar
que durante un periodo de siete aos posteriores a la publicacin de Berkeley,
hubo cerca de treinta textos para remediar la situacin.25
Las acertadas crticas al nuevo Clculo, dejaron de manifiesto que, durante el
transcurso del siglo XVIII, su fundamentacin era un problema no resuelto, lo cual
era evidente al revisar las contradicciones existentes en el concepto fundamental
del Clculo, es decir, la diferencial. Segn el primer postulado de LHpital, una
cantidad podra incrementarse en una diferencial sin incrementarse nada en
absoluto (esto en esencia es lo mismo se propone en el clculo no estndar).
No obstante, este supuesto era indispensable para deducir las reglas del nuevo
Clculo, donde las diferenciales de orden superior o las potencias o productos
entre diferenciales deben considerarse como despreciables con respecto a las
diferenciales ordinarias y anlogamente las diferenciales ordinarias tienen que
despreciarse con respecto a las cantidades finitas.26
LHpital en 1696 publica Analyse, lo que los historiadores han sealado como
una buena introduccin al clculo diferencial; el libro de texto comienza dando
las definiciones de las variables y de sus diferenciales, as como los postulados
sobre estas diferenciales.27 Tambin enuncia la definicin siguiente: La parte
infinitamente pequea en que una cantidad variable es aumentada o disminuida
de manera continua, se llama diferencial de esta cantidad. La propuesta de
LHpital puede entenderse a travs de la figura 4, en la que se describen las
diferenciales de las diferentes variables con respecto a una curva AMB:

25Collete, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985, pp. 181182.
26Grattan-Guinness, I., Del clculo a la teora de conjuntos, 1630-1910. Una introduccin histrica,
Madrid, Alianza, 1984, p. 116.
27Ibid., p. 96.

120

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

La construccin es la siguiente:
Tmese la abscisa AP = x , la ordenada PM = y , la cuerda AM = z , el arco
AM = s , y la cuadratura o rea AMP = C . Si se traza una segunda ordenada
infinitamente prxima a PM, entonces las diferenciales de las variables son:
dx = Pp , dy = Rm , dz = Sm , ds = Mm (donde se considera que la cuerda Mm
y su arco28 Mm coinciden) y dC = MPpm .

LHpital explica aqu que la des un smbolo especial que se usa solamente
para representar la diferencial de la variable escrita a continuacin, es decir,
introduce la idea de usarse como un operador. Los segmentos pequeos PP,
Rm, en la figura 4 deben considerarse como infinitamente pequeos; y
no se aborda aqu la cuestin acerca de si tales cantidades existen, pero s se
especifica cmo se comportan, por ejemplo, a travs del siguiente postulado.29
Postlese que dos cantidades cuya diferencia es otra cantidad infinitamente
pequea, pueden intercambiarse una por la otra; o bien (lo que es lo mismo)
que una cantidad que est incrementada o disminuida solamente en una
cantidad infinitamente menor, puede considerarse que permanece constante.

Esto implica que en la figura 4, AP puede considerarse igual a Ap (o bien

x = x + dx ), PM igual a pm (es decir y = y + dy ), etc.

28La recta de la cuerda no aparece en el dibujo, pues se sobrepondra con el arco.

29Ibid., p. 97.

121

MULTIDISCIPLINA 12

Figura 4. Construccin para justificar Pp y Rm como infinitamente pequeos.

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

y
El postulado anterior le permite a LHpital derivar las reglas
usuales del
x
clculo, por ejemplo:

( ) (

)(

d xy = x + dx y + dy xy
= xdy + ydx + dxdy
= xdy + yd
porque dxdy es una cantidad infinitamente pequea con respecto a los otros
dos trminos ydx y xdy, puesto que si dividimos, por ejemplo, ydx y dxdy, por
dx obtendremos como cocientes y y dy, el segundo de los cuales es infinitamente menor que el primero.

LHpital considera a las variables creciendo y decreciendo de manera

continua, y entonces las diferencias son las partes infinitamente pequeas en
que aumentan o disminuyen.
Segn Grattan-Guinnes,30 en la bsqueda de la fundamentacin del nuevo
Clculo surgieron tres preguntas fundamentales. La primera de ellas fue:
existen cantidades infinitamente pequeas?
Dado los buenos resultados de aquellos que aplicaban el clculo propuesto
por Leibniz llegaron a convencerse, de una manera u otra, de que la respuesta
era s y por lo tanto consideraron las reglas del clculo como demostradas de
una manera suficiente. Sin embargo, el mismo Leibniz ya tena sus dudas acerca
de la existencia de las cantidades infinitamente pequeas e intent en consecuencia demostrar que utilizando las diferenciales como smbolos posiblemente
sin significado y aplicando las reglas del clculo, se llegara a resultados correctos.
Aqu la clave est en usar las diferenciales como smbolos sin significado.
La segunda cuestin era: se puede garantizar que es seguro el uso de
cantidades infinitamente pequeas en el clculo?
Grattan-Guinness menciona que a esta pregunta Leibniz no le encontr
una respuesta satisfactoria, por lo que l utiliz el concepto de diferencial.
No obstante, con relacin a Leibniz y los infinitesimales hubo dos aspectos
relevantes: (i) el uso de la diferencial como operador matemtico iba ms all
del uso de los infinitesimales y (ii) adjudicar a sus diferenciales las mismas
propiedades de los infinitesimales, a los cuales en principio les rehua.
30Grattan-Guinness, I., Del clculo a la teora de conjuntos, 1630-1910. Una introduccin histrica,
Madrid, Alianza, 1984, pp. 116122.

122

dy
dt

dx
dt

dy

dx

As entonces, su concepto fundamental era el de fluxin, es decir, la velocidad

de cambio de una variable que puede ser considerada como aumentando o
disminuyendo con el tiempo. Ejemplifica su razonamiento a travs del clculo
de la tangente a una curva mediante el argumento (figura 5) de que la razn
de la ordenada y a la subtangente AB es igual a la razn de las fluxiones de
la ordenada y y de la abscisa x , respectivamente, es decir: y = yy siendo y la
fluxin de y y x la de x.

Figura 5. Razn de cambio de las velocidades vistas como fluxiones

La explicacin de Newton es que la razn de las fluxiones x es igual a la

primera o a la ltima de la razones de los incrementos o decrementos
de y y de x respectivamente. Es decir, considera incrementos corresponEc
dientes Bb de x y Ec de y y entonces considera la razn CE cuando Ec y CE
disminuyen ambos hacia cero o aumentan ambos desde cero. En el primer caso
habla de su razn ltima, que alcanzan esos objetos matemticos, justamente
antes de desvanecerse en el cero o en la nada, y en el segundo caso habla de su
y

123

MULTIDISCIPLINA 12

Por otro lado, el enfoque de Newton realmente no dependa de las

cantidades infinitamente pequeas per se, sino de sus razones. Es decir, a l no
dx
dy
le interesaban por s mismos los infinitesimales del estilo de x = dt o y = dt que
interpretaba como la rapidez de cambio (velocidades escalares), sino que lo
verdaderamente importante era la razn entre ellas, es decir:

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

razn primera que es la que tienen justamente al llegar al ser, nada ms surgir
y
del cero o de la nada. La razn x es, pues, exactamente igual a esta razn ltima
de los incrementos evanescentes, o equivalentemente, a esta razn primera
de los incrementos nacientes.31
Claramente se ve que el incremento evanescente, corresponde a lo que
actualmente se denota como:
lim

x 0

( )

f x + x f x
x

(1)

Implcitamente hace referencia al concepto de lmite; pero tambin es claro

que la formulacin, dada tal como est, deja importantes vacos lgicos, a
saber: (i) en tanto que los incrementos existen, su razn no es su razn ltima,
y (ii) cuando ya han cesado de existir no tienen ninguna razn entre s.
La tercera pregunta fundamental era: existen las razones primeras o
ltimas?
La respuesta a partir de la experiencia era clara. Al tomar una funcin e
incrementarla, es decir, al hacer y + y = f (x + x) , se podra sostener la
existencia de la primeras razones, si bien sin formalidad alguna. De las ltimas
razones, con la expresin (1) se garantizaba la ltima razn, aunque el paso al
lmite no era explcito ni fundamentado, dado que se careca del concepto de
continuidad (enunciado en la primera mitad del siglo XIX) y del conjunto de los
nmeros reales (formulado en la segunda mitad del siglo XIX).
La reflexin sobre el objeto matemtico y los intentos de resolver los
problemas de fundamentos
El paso previo para la consolidacin del conocimiento cientfico es la
reflexin sobre los aspectos consistentemente objetados y en un ejercicio
ajeno al pragmatismo y en el mbito de las matemticas, es plantear las
posibles soluciones a los problemas que generaron las controversias. A
continuacin se muestran los efectos derivados de los ataques recibidos por
sus inconsistencias lgicas.
La idea de lmite fue la piedra de toque para resolver las cuestiones de
fundamentos. Tanto Robins como dAlambert, el primero enfocado al clculo
31Ibid.

124

fluxional de Newton y el segundo respecto al clculo diferencial, consideraron

a los lmites de las variables como los valores limitadores a los que dichas
variables se pueden aproximar tan cerca como se quiera (vase aqu una seal
que presagiaba el uso de los delta y psilon de Weierstrass).
DAlambert en un artculo de 1765 sobre Lmite dice: Una magnitud
se dice que es lmite de otra magnitud cuando la segunda se puede aproximar
a la primera en menos que cualquier magnitud dada, por pequea que sta
sea, aunque la primera magnitud no pueda superar a la magnitud a la que se
aproxima. Asimismo, en el artculo Diffrentiel de 1764, DAlambert da una
explicacin tomando la parbola y 2 = ax como ejemplo. Sus razonamientos
se pueden resumir de la forma siguiente:32
De la figura 6 se sigue que PQ (la tangente en M) es el lmite de OM = 2y + z ,
), donde el lado derecho de la igualdad corresponde
(la secante del arco Mm
al resultado de aplicar la regla de los cuatro pasos33 para derivar funciones
a
y que la pendiente de la recta secante antes del lmite es 2y + z y al hacer
tender a cero la z ( o sea el incremento en la variable y) la pendiente
a
dy
a
MP
a
corresponde a la tangente y es 2y , en consecuencia PQ = 2y , es decir, dx = 2y .
dy
El punto aqu es la interpretacin de dx , no como una razn de diferenciales,
mO
sino como el lmite de la razn de diferencias finitas OM .
mO

Figura 6. Construccin para introducir la idea intuitiva de lmite justificando el uso de diferencias finitas
en lugar de diferenciales.

32Idem.
y
33Se aplica la regla de los cuatro pasos a la funcin x = a y posterior al tercer paso se toma la
y
a
para finalmente sustituir z = y .
inversa para obtener =
2

2y + y

125

MULTIDISCIPLINA 12

MP

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII

JEANETT LPEZ GARCA, JORGE JAVIER JIMNEZ ZAMUDIO

Desde luego, el concepto intuitivo de lmite ya aparece implcitamente

en la antigua matemtica griega, y ms tarde Stevin (15481620), estuvo muy
cerca de formularlo. El uso de este pre-concepto para resolver los problemas
de los fundamentos, fue un enfoque ms entre los muchos planteamientos
posibles del problema y fue preciso esperar hasta finales del siglo XIX en que se
consolid en concepto de lmite.
En el siglo XIX, Weierstrass (18151897) propone sustituir la vaga expresin
de llega a ser y sigue siendo tan pequea como cualquier cantidad por
la primera definicin de lmite de una funcin en trminos de y .34 La
culminacin del proceso en la creacin matemtica del Clculo se dio a travs
de una reformulacin de algunos conceptos, es decir, de un nuevo cambio de
paradigma. Se requiri de la formulacin de los nmeros reales, la definicin
de continuidad y la nueva definicin de lmite.
Conclusiones
Los objetos matemticos, al igual que otros muchos objetos de la ciencia,
requieren no slo de una reflexin profunda de sus antecedentes, sino de un
cambio de paradigma que a travs de aproximaciones sucesivas vaya transformando el conjunto de saberes hasta culminar con un conocimiento ms actual.
La revisin histrica de la etapa de formacin del Clculo permite hacer
una reflexin documentada del cmo se inici la creacin del nuevo Clculo,
con base en un cambio de representacin y que fue evolucionando ante las
dificultades de orden matemtico, filosfico y pragmtico que tuvieron que
superarse en aras de la creacin de nuevo conocimiento.
Desde luego, no se demerita la exactitud de las matemticas, pero tampoco se
presenta a stas como un cuerpo de conocimientos nacidos de una generacin
espontnea y absolutamente terminado. En principio, el surgimiento y consolidacin del nuevo Clculo tom tres siglos.
Quiz el Clculo como lo conocemos hoy en da se encuentra totalmente
acabado o quiz no. La propuesta del clculo no estndar, es una muestra de justificacin rigurosa que se da alrededor de los aos 70 del siglo pasado, al empleo
de los nmeros infinitesimales adicionados a los reales, los hiperreales
que ya haban sido empleados sin formalismo alguno por los matemticos
griegos y que podran generar, una vez ms, un cambio de paradigma y una
reconstruccin de los saberes matemticos. Desde luego sta es slo una de
34Collete, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985, p. 355.

126

Referencias
CollETE, Jean, Historia de las matemticas II, Mxico, Siglo XXI, 1985.
GoNZlEZ, Miguel, Las races del clculo infinitesimal en el siglo XvII, Madrid,
Alianza, 1992.
GRATTAN-GuINNESS, I., Del clculo a la teora de conjuntos, 1630-1910. Una introduccin histrica, Madrid, Alianza, 1984.
klINE, Morris, El pensamiento matemtico de la antigedad a nuestros das, Madrid,
Alianza Universidad, 1972.
REY PASToR, Julio y Babini, Jos, Historia de la matemtica. Volumen 2, Barcelona,
Gedisa, 2000.
RoBlES, Antonio, Las ideas matemticas de George Berkeley, Obispo de Cloyne,
Mxico, uNAM, 1993.
SAHAQUIEl, <http://astruminhomine.blogspot.com> De la Docta Ignorantia de
Nicols de Cusa, mencionada en La viva imagen de Dios y el paso al lmite.
Entrada el 15 de enero de 2010.
JorGe JiMnez zAMUdio es Ingeniero Bioqumico, Maestro en Educacin Matemtica,
candidato a Doctor en Evaluacin Educativa, con estudios de maestra en Dinmica
no Lineal y Sistemas Complejos. Coautor de dos libros, autor de un captulo en un
libro sobre Evaluacin Docente. Coautor de un artculo en la revista Multidisciplina.
Participacin en Congresos nacionales e internacionales sobre Educacin
Matemtica e Historia del Clculo. Sus lneas de investigacin son Educacin
Matemtica y Sistemas Dinmicos. Es profesor titular de tiempo completo en la
Divisin de Matemticas e Ingeniera de la FeS Acatln.
JeAnett lPez GArcA cuenta con dos licenciaturas: Matemticas Aplicadas y
Computacin (FeS-Acatln, UnAM) y Fsica (Fc-UnAM). Maestra en Educacin
Matemtica (UnAM) y Candidata a Maestra en Ciencias Fsicas (iF-UnAM). Ha dictado
conferencias y participado en congresos nacionales e internacionales, as como en
eventos sobre Matemticas, Computacin, Fsica o Educacin. Coautora de un libro
editado por la UnAM y artculos de investigacin. Sus lneas de investigacin son
Educacin Matemtica, Anlisis Multifractal y Sistemas Dinmicos. Es Profesora de
Asignatura A interina en la Divisin de Matemticas e Ingeniera de la FeS Acatln.

127

MULTIDISCIPLINA 12

las posibilidades de innovacin del conocimiento. En la actualidad parece que

el concepto del lmite es la piedra de toque del fundamento del Clculo, pero
quiz habr que esperar 20 siglos ms, como en el caso de la propuesta de
Arqumedes, para tener una nueva visin y una transformacin de fondo en
los paradigmas de la ciencia matemtica.

Matemticas e Ingeniera

EVOLUCIN DEL CLCULO EN LOS SIGLOS XVII Y XVIII