Universidad Nacional Experimental Francisco de Miranda rea de Postgrado Ciencias de la Educacin Especializacin en Enseanza de la Matem tica Mencin Educacin

!uperior

5 % ! # 0 1 % . /E ". M . # E M # % C .

"uisa #re$o C%& '()'*+)*,!.N#. .N. /E C0102 M.30 /E 4*'')

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 esla mayor creacin de la matemtica !n aquella poca "a#a cuatro tipos de pro#lemas

principalmente$ %& 'ada la frmula de la distancia que un cuerpo recorre como funcin del tiempo, o#tener la (elocidad y la aceleracin en cada instante) y, al re(s, dada la frmula de la aceleracin de un cuerpo como funcin del tiempo, o#tener la (elocidad y la distancia recorrida !ste pro#lema surge directamente del estudio del mo(imiento *& +#tener la tangente a una cur(a, como consecuencia de las aplicaciones de la ptica y el estudio del mo(imiento ,& +#tener el (alor m-imo o mnimo de una funcin para aplicarlo al pro#lema del tiro para#lico y el estudio del mo(imiento de los planetas .& +#tener longitudes de cur(as) las reas acotadas por cur(as) los (ol/menes acotados por superficies) los centros de gra(edad y la atraccin gra(itatoria entre cuerpos e-tensos !n aquel entonces aun no "a#a constancia de la estrec"a relacin que "ay entre los cuatro pro#lemas

Nos centraremos en este cuarto pro#lema, y mostraremos los mtodos ms significati(os para resol(erlo que utilizaron los predecesores de Ne0ton y 1ei#niz 1os griegos ya "a#an aplicado mtodos e-"austi(os para el clculo de reas y (ol/menes 2 pesar del "ec"o de que lo aplica#an para reas y (ol/menes relati(amente sencillos, tenan que utilizar muc"a ingeniosidad, porque al mtodo le falta#a generalidad, y no o#tu(ieron respuestas numricas muy a menudo 3ue con los tra#ajos de 2rqumedes con los que se (ol(i a despertar en !uropa el inters por o#tener longitudes, reas, (ol/menes y centros de gra(edad in(encin del clculo 1os tra#ajos del siglo XVII al respecto de este cuarto pro#lema comienzan con 5epler, de quien se dice que se interes por el pro#lema de los (ol/menes porque not la falta de precisin de los mtodos utilizados por los tratantes de (inos para o#tener el (olumen de los #arriles !ste tra#ajo 6en Stereometria Dolorium& es tosco para los ni(eles actuales) por ejemplo, el rea de un crculo es el rea de un n/mero infinito de tringulos, cada uno con un (rtice en el centro y una #ase en la circunferencia 'e la frmula del rea de un polgono regular inscrito en una circunferencia, la mitad del permetro por la apotema, o#tena el rea del crculo 'e forma anloga, considera#a el (olumen de la esfera como la suma de los (ol/menes de peque7os conos cuyos (rtices estn en el centro de la esfera y cuyas #ases estn en la superficie 2s demostr que el (olumen de la esfera es un tercio del radio por la superficie !l 4todo e-"austi(o se modifico primero gradualmente, y despus radicalmente por la

8onsider el cono como una suma de discos circulares muy estrec"os y as pudo calcular su (olumen 9alileo, en Dos nuevas ciencias, conci#e las reas de un modo parecido a 5epler) al tratar el pro#lema del mo(imiento uniformemente acelerado, present un razonamiento para mostrar que el rea de la cur(a tiempo:(elocidad es la distancia

;upongamos que un o#jeto se mue(e con (elocidad (aria#le (<,*t representado en el di#ujo por la recta +=) entonces la

distancia recorrida en el tiempo +2 es el rea +2= 1leg a esta conclusin considerando, por ejemplo, 2>=> como una (elocidad tpica en un instante y tam#in como la distancia infinitesimal recorrida, y razonando entonces que el rea +2=, que est construida con las lneas 2>=>, de#e ser, por tanto, la distancia total !ste razonamiento 6poco claro& esta#a apoyado en la mente de 9alileo por consideraciones filosficas que equi(alan a considerar el rea +2= como construida con un n/mero infinito de unidades indi(isi#les como 2>=> =ona(entura 8a(alieri 6%?@A:%B.C&, discpulo de 9alileo y profesor en un liceo de =olonia fue influido por 5epler y 9alileo, y fue estimulado por este /ltimo para interesarse por pro#lemas del clculo 8a(alieri desarroll las ideas de 9alileo y otros so#re los indi(isi#les mediante un mtodo geomtrico, y pu#lic un tra#ajo so#re el tema, Geometra Indivisibilibus Continuorum Nova quadam Ratione Promota (9eometra superior mediante un mtodo #astante desconocido, los indi(isi#les de los continuos, %B,?& 8onsidera un rea como constituida por un n/mero indefinido de rectas paralelas y equidistantes y un (olumen como compuesto por un n/mero indefinido de reas planas paralelas) a estos elementos los llama los indi(isi#les de rea y (olumen respecti(amente !n lneas generales los indi(isi#ilistas mantenan, como e-presa 8a(alieri en sus Exercitationes Geometricae Sex 6%B.C&, que una lnea est "ec"a de puntos como una sarta de cuentas) el plano est "ec"o de lneas, como un tejido de "e#ras y un slido de reas planas como un li#ro de "ojas, sin em#argo acepta#an un n/mero infinito de elementos constituyentes

!l mtodo o principio de 8a(alieri puede ilustrarse mediante la proposicin siguiente que, por supuesto puede, demostrarse de otras formas Dara demostrar que el paralelogramo 2=8' tiene rea do#le que cualquiera de los tringulos 2=' o =8', "ace notar que cuando 9'<=!, se tiene que 9E<3!

Dor tanto los tringulos 2=' y =8' estn constituidos por igual n/mero de lneas iguales, tales como 9E y !3, y por tanto tienen que tener reas iguales !ste mismo principio est incluido en la proposicin que se ense7a actualmente en los li#ros de geometra de slidos y que se conoce como teorema de 8a(alieri 8on este mtodo encontr el rea acotada #ajo funciones del tipo
f ( x) = x n

para n<%,*,,,.,?,B,@

Dero sin em#argo, su mtodo era enteramente geomtrico

!n %B,., Fo#er(al, utiliz esencialmente el mtodo de los indi(isi#les para o#tener el rea encerrada #ajo un arco de cicloide, un pro#lema so#re el que 4ersenne "a#a llamado su atencin en %B*@ 'enomin a su mtodo el Gmtodo de las infinidades, aunque utiliz como ttulo de su tra#ajo el de Trait des Indivisibles

;ea +2=D el rea situada #ajo la mitad de un arco de cicloide !l dimetro de la circunferencia generatriz es +8 y D es un punto cualquiera del arco ;e toma DH<'3 !l lugar geomtrico descrito por H se llama cur(a asociada a la cicloide 61a cur(a +H= es, en nuestra notacin, y < a sen6-Ia&, donde a es el radio de la circunferencia generatriz, con tal que el origen est en el punto medio de +H= y el eje +X sea paralelo a +2 & 1a cur(a +H= di(ide al rectngulo +2=8 en dos partes iguales porque a cada lnea 'H en +H=8 le corresponde una lnea igual F; en +2=H !ntonces puede aplicarse el principio de 8a(alieri !l rectngulo +2=8 tiene su #ase y su altura iguales, respecti(amente, a la semicircunferencia y dimetro de la circunferencia generatriz) por lo

tanto su rea es el do#le de la circunferencia !ntonces +2=H tiene la misma rea que la circunferencia generatriz 2dems el rea entre +D= y +H= es igual al rea del semicrculo +38 porque de la misma definicin de H se tiene que '3<DH, de modo que estas dos reas tienen la misma anc"ura en todas partes !n consecuencia, el rea encerrada de#ajo del semiarco es una (ez y media el rea de la circunferencia generatriz 2dems tam#in o#tu(o el rea encerrada en un arco de la cur(a seno, el (olumen generado por la re(olucin del arco alrededor de su #ase, otros (ol/menes conectados con la cicloide y el centro de su rea !l mtodo ms importante para calcular reas, (ol/menes y otras cantidades comenz con modificaciones del mtodo e-"austi(o griego 2s como los griegos utiliza#an diferentes tipos de figuras apro-imantes rectilneas, en el siglo XVII adoptaron un procedimiento sistemtico utilizando rectngulos ;upongamos que se quiere calcular el rea situada por la par#ola "asta -<=
y = x2

desde -<J

2 medida que la anc"ura d de estos rectngulos se "ace ms peque7a, la suma de las reas de los rectngulos se apro-ima al rea encerrada #ajo la cur(a !sta suma, si las #ases son todas ellas de anc"ura d, y si se utiliza la propiedad caracterstica de la par#ola de que la ordenada es el cuadrado de la a#scisa, 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 )

1a suma de las potencias m!simas de los primeros n n/meros naturales "a#a sido o#tenida por Dascal y 3ermat precisamente para su uso en tales pro#lemas) por ello los matemticos pudieron sustituir fcilmente la ultima e-presin por
2n3 + 3n 2 + n ) 6

d 3(

;i sustituimos d por la longitud fija += di(idida por n, el resultado es

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

;i se considera, como lo "icieron ellos entonces, que los dos /ltimos trminos se pueden despreciar cuando n es infinito, se o#tiene el resultado correcto !l proceso de paso al lmite no "a#a sido introducido toda(a 6o se perci#a toscamente& y por lo tanto el

despreciar trminos tales como los dos /ltimos no esta#a justificado !ste enfoque que fue mostrado por ;te(in en %?AB en su o#ra Statics fue seguido por muc"os otros, incluyendo a 3ermat, que ya antes de %@,B conoca
a n +1 n +1

x n dx =

para todo n racional e-cepto :% !n %B?A Dascal considero algunos pro#lemas so#re la cicloide 8alculo el rea de cualquier segmento de la cur(a cortada por una recta paralela a la #ase, el centroide del segmento y los (ol/menes de los slidos generados por esos segmentos al girar alrededor de sus #ases 6KL en la figura& o de una recta (ertical 6 el eje de simetra&

!n este tra#ajo, as como en tra#ajos pre(ios so#re reas encerradas #ajo cur(as de la familia
y = xn ,

sumo peque7os

rectngulos en la forma del mtodo anterior aunque su tra#ajo y resultados fueron enunciados geomtricamente =ajo el pseudnimo de 'etton(ille, propona los pro#lemas que "a#a resuelto como un reto para otros matemticos, pu#licando a continuacin sus propias soluciones superiores 6 "etras de Dettonville# $%&'( Mo"n Nallis 6%B%B:%CJ,& fue de los primeros en introducir mtodos analticos en el clculo, as en sus esfuerzos por calcular el rea del crculo analticamente o#tu(o una nue(a e-presin de 8alcul el rea acotada por los ejes, la ordenada en - y la cur(a para las funciones
y = 1 x2

) n O, para n<%,*,,P y o#tu(o 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

respecti(amente 8uando -<% estas reas son

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

1,

pero la circunferencia (iene dada por y = (1 x 2 ) 2 Dor induccin e interpolacin, Nallis 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...

9regorio de ;an Vicent, en su )*us Geometricum 6%B.C&, proporcion las #ases para la importante cone-in entre la "ipr#ola rectangular y la funcin logaritmo 'emostr, utilizando el mtodo e-"austi(o, que si para la cur(a y<%I- las
xi

se eligen de
yi

modo que las reas a,#,c,dP son iguales, entonces las desde
x0

estn en

progresin geomtrica !sto significa que la suma de las reas "asta

xi

, cuya suma forma una progresin geomtrica,

yi

es proporcional al logaritmo de los (alores de las notacin, x

x
0

o, en nuestra

dx = k log y x

1a o#ser(acin de que las reas pueden interpretarse como logaritmos se de#en en realidad a un discpulo de 9regorio, el

jesuita #elga 2lfonso de ;arasa 6%B%A:%BBC& en sus Solutio Problematis a +ercenno Pro*ositi 6%B.@&

Bibliografa: :8arl = =oyer$ Eistoria de la matemtica :4orris 5line$ !l pensamiento matemtico de la antigQedad a nuestros das Vol I :Dedro 4iguel 9onzlez Rr#aneja$ 1as races del clculo

infinitesimal en el siglo XVII