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( 2n3 + 3n 2 + n ) 6

Si sustituimos d por la longitud fija OB dividida por n, el resultado es

1 1 1 OB 3 + + 2 3 2n 6n

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 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
y = 1 x2

) n , para n=1,2,3

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 notacin, x
x
0

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.