El origen de la integral:

La primera mitad del siglo XVII

Fermat

Vctor Miguel Garca Dorado

Nos situamos a comienzos del siglo XVII ,

justamente despus de la aparicin del concepto de
funcin, cuando comienza a tomar forma el clculo,
que junto con la geometra analtica es la mayor
creacin de todas las matemticas.
En aquella poca haba cuatro tipos de problemas
principalmente:
1). Dada la frmula de la distancia que un cuerpo
recorre como funcin del tiempo, obtener la velocidad
y la aceleracin en cada instante; y, al revs, dada la
frmula de la aceleracin de un cuerpo como funcin
del tiempo, obtener la velocidad y la distancia
recorrida. Este problema surge directamente del
estudio del movimiento.
2). Obtener la tangente a una curva, como
consecuencia de las aplicaciones de la ptica y el
estudio del movimiento.
3). Obtener el valor mximo o mnimo de una funcin
para aplicarlo al problema del tiro parablico y el
estudio del movimiento de los planetas.
4). Obtener longitudes de curvas; las reas acotadas
por curvas; los volmenes acotados por superficies;
los centros de gravedad y la atraccin gravitatoria
entre cuerpos extensos.
En aquel entonces aun no haba constancia de la
estrecha relacin que hay entre los cuatro problemas.

Nos centraremos en este cuarto problema, y

mostraremos los mtodos ms significativos para
resolverlo que utilizaron los predecesores de Newton y
Leibniz.
Los griegos ya haban aplicado mtodos
exhaustivos para el clculo de reas y volmenes. A
pesar del hecho de que lo aplicaban para reas y
volmenes relativamente sencillos, tenan que utilizar
mucha ingeniosidad, porque al mtodo le faltaba
generalidad, y no obtuvieron respuestas numricas
muy a menudo. Fue con los trabajos de Arqumedes
con los que se volvi a despertar en Europa el inters
por obtener longitudes, reas, volmenes y centros de
gravedad. El Mtodo exhaustivo se modifico primero
gradualmente, y despus radicalmente por la invencin
del clculo.
Los trabajos del siglo XVII al respecto de este
cuarto problema comienzan con Kepler, de quien se
dice que se interes por el problema de los volmenes
porque not la falta de precisin de los mtodos
utilizados por los tratantes de vinos para obtener el
volumen de los barriles. Este trabajo (en Stereometria
Dolorium) es tosco para los niveles actuales; por
ejemplo, el rea de un crculo es el rea de un nmero
infinito de tringulos, cada uno con un vrtice en el
centro y una base en la circunferencia. De la frmula
del rea de un polgono regular inscrito en una
circunferencia, la mitad del permetro por la apotema,
obtena el rea del crculo. De forma anloga,
consideraba el volumen de la esfera como la suma de
los volmenes de pequeos conos cuyos vrtices
estn en el centro de la esfera y cuyas bases estn en
la superficie. As demostr que el volumen de la esfera

es un tercio del radio por la superficie. Consider el

cono como una suma de discos circulares muy
estrechos y as pudo calcular su volumen.
Galileo, en Dos nuevas ciencias, concibe las reas
de un modo parecido a Kepler; al tratar el problema del
movimiento uniformemente acelerado, present un
razonamiento para mostrar que el rea de la curva
tiempo-velocidad es la distancia.

Supongamos que un objeto se mueve con

velocidad variable v=32t representado en el dibujo por
la recta OB; entonces la distancia recorrida en el
tiempo OA es el rea OAB. Lleg a esta conclusin
considerando, por ejemplo, AB como una velocidad
tpica en un instante y tambin como la distancia
infinitesimal recorrida, y razonando entonces que el
rea OAB, que est construida con las lneas AB,
debe ser, por tanto, la distancia total. Este
razonamiento (poco claro) estaba apoyado en la mente

de Galileo por consideraciones filosficas que

equivalan a considerar el rea OAB como construida
con un nmero infinito de unidades indivisibles como A
B.
Bonaventura Cavalieri (1598-1647), discpulo de
Galileo y profesor en un liceo de Bolonia fue influido
por Kepler y Galileo, y fue estimulado por este ltimo
para interesarse por problemas del clculo. Cavalieri
desarroll las ideas de Galileo y otros sobre los
indivisibles mediante un mtodo geomtrico, y public
un trabajo sobre el tema, Geometra Indivisibilibus
Continuorum Nova quadam Ratione Promota
(Geometra superior mediante un mtodo bastante
desconocido, los indivisibles de los continuos, 1635).
Considera un rea como constituida por un nmero
indefinido de rectas paralelas y equidistantes y un
volumen como compuesto por un nmero indefinido de
reas planas paralelas; a estos elementos los llama los
indivisibles de rea y volumen respectivamente. En
lneas generales los indivisibilistas mantenan, como
expresa Cavalieri en sus Exercitationes Geometricae
Sex (1647), que una lnea est hecha de puntos como
una sarta de cuentas; el plano est hecho de lneas,
como un tejido de hebras y un slido de reas planas
como un libro de hojas, sin embargo aceptaban un
nmero infinito de elementos constituyentes.
El mtodo o principio de Cavalieri puede ilustrarse
mediante la proposicin siguiente que, por supuesto
puede, demostrarse de otras formas. Para demostrar
que el paralelogramo ABCD tiene rea doble que
cualquiera de los tringulos ABD o BCD, hace notar
que cuando GD=BE, se tiene que GH=FE.

Por tanto los tringulos ABD y BCD estn

constituidos por igual nmero de lneas iguales, tales
como GH y EF, y por tanto tienen que tener reas
iguales.
Este mismo principio est incluido en la
proposicin que se ensea actualmente en los libros
de geometra de slidos y que se conoce como
teorema de Cavalieri. Con este mtodo encontr el
rea acotada bajo funciones del tipo f ( x) x n para
n=1,2,3,4,5,6,9. Pero sin embargo, su mtodo era
enteramente geomtrico.
En 1634, Roberval, utiliz esencialmente el
mtodo de los indivisibles para obtener el rea
encerrada bajo un arco de cicloide, un problema sobre
el que Mersenne haba llamado su atencin en 1629.
Denomin a su mtodo el mtodo de las infinidades,
aunque utiliz como ttulo de su trabajo el de Trait
des Indivisibles.

Sea OABP el rea situada bajo la mitad de un arco

de cicloide. El dimetro de la circunferencia generatriz
es OC y P es un punto cualquiera del arco. Se toma
PQ=DF. El lugar geomtrico descrito por Q se llama
curva asociada a la cicloide. (La curva OQB es, en
nuestra notacin, y = a sen(x/a), donde a es el radio de
la circunferencia generatriz, con tal que el origen est
en el punto medio de OQB y el eje OX sea paralelo a
OA.) La curva OQB divide al rectngulo OABC en dos
partes iguales porque a cada lnea DQ en OQBC le
corresponde una lnea igual RS en OABQ. Entonces
puede aplicarse el principio de Cavalieri. El rectngulo
OABC tiene su base y su altura iguales,
respectivamente, a la semicircunferencia y dimetro
de la circunferencia generatriz; por lo tanto su rea es
el doble de la circunferencia. Entonces OABQ tiene la
misma rea que la circunferencia generatriz. Adems
el rea entre OPB y OQB es igual al rea del
semicrculo OFC porque de la misma definicin de Q se
tiene que DF=PQ, de modo que estas dos reas tienen
la misma anchura en todas partes. En consecuencia, el
rea encerrada debajo del semiarco es una vez y
media el rea de la circunferencia generatriz. Adems

tambin obtuvo el rea encerrada en un arco de la

curva seno, el volumen generado por la revolucin del
arco alrededor de su base, otros volmenes
conectados con la cicloide y el centro de su rea.
El mtodo ms importante para calcular reas,
volmenes y otras cantidades comenz con
modificaciones del mtodo exhaustivo griego. As
como los griegos utilizaban diferentes tipos de figuras
aproximantes rectilneas, en el siglo XVII adoptaron un
procedimiento sistemtico utilizando rectngulos.
Supongamos que se quiere calcular el rea situada por
la parbola y x 2 desde x=0 hasta x=B.

A medida que la anchura d de estos rectngulos

se hace ms pequea, la suma de las reas de los
rectngulos se aproxima al rea encerrada bajo la
curva. Esta suma, si las bases son todas ellas de
anchura d, y si se utiliza la propiedad caracterstica de
la parbola de que la ordenada es el cuadrado de la
abscisa, es
d d 2 d ( 2d ) 2 d (3d ) 2 ... d ( nd ) 2

o lo que es lo mismo
d 3 (12 2 2 32 ... n 2 )

La suma de las potencias m-simas de los

primeros n nmeros naturales haba sido obtenida por
Pascal y Fermat precisamente para su uso en tales
problemas; por ello los matemticos pudieron sustituir
fcilmente la ultima expresin por
d 3(

2n 3 3n 2 n
)
6

Si sustituimos d por la longitud fija OB dividida por

n, el resultado es
1
1 1

2
3 2n 6 n

OB 3

Si se considera, como lo hicieron ellos entonces,

que los dos ltimos trminos se pueden despreciar
cuando n es infinito, se obtiene el resultado correcto.
El proceso de paso al lmite no haba sido introducido
todava (o se perciba toscamente) y por lo tanto el
despreciar trminos tales como los dos ltimos no
estaba justificado. Este enfoque que fue mostrado por
Stevin en 1586 en su obra Statics fue seguido por
muchos otros, incluyendo a Fermat, que ya antes de
1936 conoca

x n dx

a n 1
n 1

para todo n racional excepto -1.

En 1658 Pascal considero algunos problemas

sobre la cicloide. Calculo el rea de cualquier
segmento de la curva cortada por una recta paralela a
la base, el centroide del segmento y los volmenes de
los slidos generados por esos segmentos al girar
alrededor de sus bases (YZ en la figura) o de una recta
vertical ( el eje de simetra).

En este trabajo, as como en trabajos previos

sobre reas encerradas bajo curvas de la familia y x n ,
sumo pequeos rectngulos en la forma del mtodo
anterior aunque su trabajo y resultados fueron
enunciados geomtricamente. Bajo el pseudnimo de
Dettonville, propona los problemas que haba resuelto
como un reto para otros matemticos, publicando a
continuacin sus propias soluciones superiores
(Letras de Dettonville, 1659).
John Wallis (1616-1703) fue de los primeros en
introducir mtodos analticos en el clculo, as en sus
esfuerzos por calcular el rea del crculo
analticamente obtuvo una nueva expresin de

Calcul el rea acotada por los ejes, la ordenada en x

y la curva para las funciones

y 1 x2

n , para n=1,2,3

y obtuvo reas
x, x

1 3
2
1
3
3
1
x , x x 3 x 5 , x x 3 x 5 x 7 ,...
3
3
5
3
5
7

respectivamente. Cuando x=1 estas reas son

1,

2 8 48
,
,
,...
3 15 105
1

pero la circunferencia viene dada por y (1 x 2 ) 2 . Por

induccin e interpolacin, Wallis calcul su rea y,
mediante complicados razonamientos posteriores
lleg a que

2 2 4 4 6 6 8 8...

.
2 1 3 3 5 5 7 7 9...

Gregorio de San Vicent, en su Opus Geometricum

(1647), proporcion las bases para la importante
conexin entre la hiprbola rectangular y la funcin
logaritmo. Demostr, utilizando el mtodo exhaustivo,
que si para la curva y=1/x las xi se eligen de modo
que las reas a,b,c,d son iguales, entonces las yi
estn en progresin geomtrica. Esto significa que la
suma de las reas desde x0 hasta xi , cuya suma
forma una progresin geomtrica, es proporcional al
logaritmo de los valores de las yi o, en nuestra
x

notacin, x

dx
k log y .
x

La observacin de que las reas pueden

interpretarse como logaritmos se deben en realidad a
un discpulo de Gregorio, el jesuita belga Alfonso de
Sarasa (1618-1667) en sus Solutio Problematis a
Mercenno Propositi (1649).

Bibliografa:
-Carl B. Boyer : Historia de la matemtica.
-Morris Kline : El pensamiento matemtico de la
antigedad a nuestros das. Vol. I.
-Pedro Miguel Gonzlez Urbaneja : Las races del
clculo infinitesimal en el siglo XVII.