Historia del clculo Por :Covadonga Escandn Martnez Las principales ideas que apuntalan el clculo se desarrollaron durante

un periodo de tiempo muy largo sin duda. Los primeros pasos fueron dados por los matemticos griegos. Para los antiguos griegos, los nmeros eran cocientes de enteros as que la recta numrica tena 'hoyos' en ella. Le dieron la vuelta a esta dificultad usando longitudes, reas y volmenes adems de nmeros ya que, para los griegos, no todas las longitudes eran nmeros. Zenn de Elea, alrededor de 450 a. C., plante una serie de problemas que estaban basados en el infinito. Por ejemplo, argument que el movimiento es imposible: Si un cuerpo se mueve de A a B entonces, antes de llegar a B pasa por el punto medio, B1, deAB. Ahora bien, para llegar a B1 debe primero pasar por el punto medio B2 de AB1. Continuando con este argumento se puede ver que A debe moverse a travs de un nmero infinito de distancias y por lo tanto no puede moverse. Leucippo, Demcrito y Antifon hicieron contribuciones al mtodo exhaustivo griego al que Eudoxo dio una base cientfica alrededor de 370 a. C. El mtodo se llama exhaustivo ya que considera las reas medidas como expandindolas de tal manera que cubran ms y ms del rea requerida.

Diagrama de Arqumedes Sin embargo, Arqumedes, alrededor de 225 a. C. hizo uno de las contribuciones griegas ms significativas. Su primer avance importante fue demostrar que el rea de un segmento de parbola es4/3 del rea del tringulo con los mismos base y vrtice y es igual a 2/3del rea del paralelogramo circunscrito. Arqumedes construy una secuencia infinita de tringulos empezando con uno de rea A y aadiendo continuamente ms tringulos entre los existentes y la parbola para obtener reas A, A + A/4, A + A/4 + A/16, A + A/4 + A/16 + A/64, ... El rea del segmento de la parbola es, por lo tanto: A(1 + 1/4 + 1/4 + 1/4 + ...) = (4/3)A.

Este es el primer ejemplo conocido de suma de una serie infinita.Arqumedes us el mtodo exhaustivo para encontrar la aproximacin al rea de un crculo. Esto, por supuesto, es un ejemplo temprano de integracin que llev a valores aproximados de . Entre otras 'integraciones' de Arqumedes estaban el volumen y la superficie de una esfera, el volumen y rea de un cono, el rea de una elipse, el volumen de cualquier segmento de un paraboloide de revolucin y un segmente de un hiperboloide de revolucin. No hubo ms progresos hasta el siglo XVI cuando la mecnica empez a llevar a los matemticos a examinar problemas como el de los centros de gravedad. Luca Valerio (1552-1618) public De quadratura parabolae en Roma (1606) que continuaba los mtodos griegos para atacar este tipo de problemas de calcular reas. Kepler, en su trabajo sobre movimientos planetarios, tena que encontrar el rea de sectores de una elipse. Su mtodo consista en pensar en las reas como sumas de lneas, otra forma rudimentaria de integracin, pero Kepler tena poco tiempo para el rigor griego y ms bien tuvo suerte de obtener la respuesta correcta ya que cometi dos errores que se cancelaron uno al otro en su trabajo. Tres matemticos, nacidos en un periodo de tres aos, fueron los siguientes en hacer contribuciones importantes. Eran Fermat, Roberval y Cavalieri. Este ltimo lleg a su 'mtodo de los indivisibles' por los intentos de integracin de Kepler. No fue riguroso en su acercamiento y es difcil ver con claridad cmo se le ocurri su mtodo. Al parecer Cavalieri pens en un rea como formada por componentes que eran lneas y luego sum su nmero infinito de 'indivisibles'. Demostr, usando estos mtodos, que la integral de xn entre 0 y a era an+1/(n+1) mostrando el resultado para ciertos valores de n e infiriendo el resultado general. Roberval consider problemas del mismo tipo pero fue mucho ms riguroso que Cavalieri. Roberval se fij en el rea entre una curva y una lnea como formada por un nmero infinito de rectngulos infinitamente delgados. Aplic esto a la integral de xm entre 0 y 1 y demostr que tena un valor aproximado de (0m + 1m + 2m +...+ (n-1) m)/nm+1. Roberval entonces afirm que esto tenda a 1/(m+1) cuando n tiende a infinito, calculando as el rea. Fermat tambin fue ms riguroso en su acercamiento pero no dio demostraciones. Generaliz la parbola y la hiprbola: Parbola: y/a = (x/b) generalizada como (x/a)n = (y/b)m. y b y n b m Hiprbola: /a = ( /x) generalizada como ( /a) = ( /x) . Al estar examinando y/a = (x/b)p, Fermat calcul la suma de rp para r entre 1 y n. Fermat tambin investig mximos y mnimos considerando dnde la tangente a la curva es paralela al eje X. Le escribi a Descartesdando el mtodo esencialmente como se usa hoy, es decir, encontrando los mximos y los mnimos calculando dnde la derivada de la funcin es 0. De hecho, debido a este trabajo Lagrange afirm claramente que l consideraba a Fermat como el inventor del clculo. Descartes produjo un importante mtodo para deteminar normales en La Gometrie en 1637 basado en la doble interseccin. De Beaune extendi sus mtodos y los aplic a las tangentes; en este caso la doble inteseccin se traduce en races dobles. Hudde descubri un mtodo ms sencillo, llamado la Regla de Hudde, que bsicamente involucra a la derivada. El mtodo de Descartes y la Regla de Hudde tuvieron una influencia importante

sobre Newton. Huygens critic las pruebas de Cavalieri diciendo que lo que se necesita es una demostracin que al menos convenza de que puede construirse una prueba rigurosa. Huygens tuvo gran influencia sobre Leibniz y por lo tanto jug un papel importante en la produccin de un acercamiento ms satisfactorio al clculo.

Tringulo de Barrow El siguiente paso importante lo dieron Torricelli y Barrow. El segundo dio un mtodo de tangentes a una curva en el que la tangente est dada como el lmite de una cuerda cuando los puntos se acercan uno a otro y que es conocido como el tringulo diferencial de Barrow. Tanto Torricelli como Barrow estudiaron el problema del movimiento con velocidad variable. La derivada de la distancia es la velocidad y la operacin inversa nos lleva de la velocidad a la distancia. De aqu empez a evolucionar naturalmente una concienciacin de la inversa de la diferenciacin y que Barrow estuviera familiarizado con la idea de que integral y derivada son inversas una de otra. De hecho, aunque Barrow nunca afirm explcitamente el teorema fundamental del clculo, estaba trabajando hacia el resultado y Newton continuara en esta direccin y dara explcitamente el Teorema Fundamental del Clculo. El trabajo de Torricelli fue continuado en Italia por Mengoli y Angeli. Newton escribi un tratado sobre fluxiones en octubre de 1666. Esta obra no sera publicada en ese momento pero fue revisada por muchos matemticos y tuvo gran influencia sobre la direccin que tomara el clculo. Newton pens en una partcula que dibuja una curva con dos lneas que se mueven que eran las coordenadas. La velocidad horizontal x' y la velocidad vertical y' eran las fluxiones de x y y asociadas con el flujo del tiempo. Los fluentes o cantidades flotantes eran x y y mismas. Con esta notacin de fluxin, y' / x' era la tangente a ( x,y) = 0. En su tratado de 1666, Newton discute el problema inverso: encontrar y dada la relacin entre x y y'/x'. Por lo tanto la pendiente de la tangente estaba dada para cada x y cuando y'/x' = (x) entonces Newton resuelve el problema mediante la antidiferenciacin. Tambin calcul reas mediante este mtodo y su obra contiene el primer enunciado claro del Teorema Fundamental del Clculo. Newton tuvo problemas para publicar su obra matemtica. Barrow tuvo algo de culpa ya que el editor de la obra de Barrow haba quebrado y despus de esto otros tenan temor de publicar obras matemticas! La obra de Newton sobre Anlisis con series infinitas fue escrita en 1669 y circul como manuscrito. No fue publicada sino hasta 1711. Se modo similar, su Mtodo de fluxiones y series infinitas fue escrito en 1671 y publicado en ingls en 1736.

El original en latn fue publicado mucho despus. En estas dos obras, Newton calcul la expansin en serie de sen x y cos x y la expansin de lo que en realidad es la funcin exponencial pero sta funcin no quedara establecida como tal hasta que Euler introdujo la notacin actual ex. Aqu se pueden ver la Newton fue el Tractatus de Quadrarura Curvarum que escribi en 1693 pero no fue publicado hasta 1704 cuando la public como un apndice de su Optiks. Su trabajo contiene otro acercamiento que involucra el clculo de lmites. Newton dice: En el tiempo en que x al fluir se convierte en x + o, la cantidad xn se convierte en (x + o)n, es decir, por el mtodo de series infinitas, xn + noxn-1 + (nn - n)/2 ooxn-2 + ... Al final deja que el incremento o desaparezca 'tomando lmites'. Leibniz aprendi mucho en un viaje por Europa en el que conoci a Huygens en Pars en 1672. Tambin conoci a Hooke y a Boyle en Londres en 1673 donde compr varios libros de matemticas, incluyendo las obras de Barrow. Leibniz sostendra una larga correspondencia con Barrow. Al volver a Pars, Leibnizrealiz un trabajo buensimo sobre el clculo, pensando en los fundamentos de manera muy distinta aNewton. Newton consideraba que las variables cambiaban con el tiempo. Leibniz pensaba que las variables x, yvariaban sobre secuencias de valores infinitamente cercanos. Introdujo a dx y dy como las diferencias entre valores consecutivos de esas secuencias. Leibniz saba que dx/dy da la tangente pero no la us como una propiedad que defina. Para Newton, la integracin consista en encontrar flujos para una fluxin dada as que se implica el hecho de que la integracin y la diferenciacin son inversas. Leibniz usaba la integral como una suma, de forma muy similar a la de Cavalieri. Tambin estaba contento con el uso de las 'infinitesimales' dx y dymientras que Newton usaba x' y y' que eran velocidades finitas. Por supuesto que ni Leibniz ni Newtonpensaban en trminos de funciones, pero ambos pensaban siempre en trminos de grficas. ParaNewton, el clculo era geomtrico mientras que Leibniz lo llev hacia el anlisis. Leibniz estaba bien consciente de que encontrar una buena notacin era sumamente importante y pens en ella mucho tiempo. Newton, por otro lado, escribi ms bien para l mismo y, como consecuencia, tenda a usar cualquier notacin que se lo ocurriera ese da. La notacin d y de Leibniz destacaban el aspecto de operadores que probara ser importante ms adelante. Para 1675, Leibniz se haba quedado con la notacin y dy = y/2 escrita exactamente como se hace hoy. Sus resultados sobre clculo integral fueron publicados en 1864 y 1686 con el nombre de calculus summatorius; el trmino 'clculo integral' fue sugerido por Jacobo Bernoulli en 1690. Despus de Newton y Leibniz, el desarrollo del clculo fue continuado por Jacobo Bernoulli y Johann Bernoulli. Sin embargo, cuando Berkeley public su Analyst en 1734 atacando la falta de rigor en el clculo y disputando la lgica sobre la que se basaba, entonces se hicieron grandes esfuerzos para amarrar el razonamiento. Maclaurin intent poner el clculo sobre una base geomtrica rigurosa pero sus fundamentos realmente satisfactorios tendran que esperar al trabajo de Cauchy en el siglo XIX.

1. Introduccin.

Isaac Newton (1642-1727) nac el 25 de Diciembre de 1642 segn el calendario Juliano, todava usado por entonces en Inglaterra, o el 4 de Enero de 1643 con respecto a nuestro calendario Gregoriano. Fue profesor de matemticas en Cambridge y luego jefe de la casa de la moneda en Londres. Sus principales ideas fueron desarrolladas en 1664-1666 cuando estaba recluido en su casa natal de la aldea de Woolsthorpe, ya que el Trinity College de Cambridge, donde Newton era estudiante, estuvo cerrado por la epidemia de la peste. Alli desarroll sus ideas de la gravitacin universal, de la teora de los colores y sobre la serie del binomio y el clculo de fluxiones. De naturaleza entonces tmida era reacio a publicar sus resultados, para asi evitar las posibles crticas y controversias de sus contemporneos. En Octubre de 1666 escribi un tratado sobre fluxiones y en 1669 De analysi, un tratado sobre series infinitas que circul en forma de manuscrito entre los miembros de la Royal Society. Hay otro tratado sobre fluxiones y series infinitas de 1671 y otro sobre la cuadratura de curvas de 1693. Sin embargo estos fueron publicados hasta bien tarde y algunos slo lo fueron despus de su muerte. De analysifue publicado en 1711 y el tratado sobre cuadratura de curvas, De Quadratura Curvarum de 1693 apareci como un apndice de su Opticksen 1704. Su obra ms famosa, donde expone su teora de la gravitacin universal, los Principia,fue publicada en 1687, pero sus argumentos son muy geomtricos y slo dan una idea de sus mtodos del clculo infinitesimal. De entre el trabajo matemtico de Newton, profundo y poderoso, se pueden distinguir algunos temas centrales. Estos son los desarrollos en serie de potencias, en especial el desarrollo del binomio, algoritmos para hallar races de ecuaciones y de inversin de series, relacin inversa entre diferenciacin e integracin y el concepto de fluentes y fluxiones como variables que cambian en el tiempo. Newton estuvo muy interesado tambin en ptica, dinmica, alquimia, cronologa de la historia y en la interpretacin de las sagradas escrituras. Gotfried Wilhem Leibniz (1646-1716) era hijo del vice-presidente de la facultad de filosofa de la universidad de Leipzig. De joven, estudi filosofa, derecho y lenguas clsicas. Su principal inters estuvo centrado en desarrollar una especie de lenguaje simblico para representar los conceptos fundamentales del pensamiento humano y las maneras de combinar estos smbolos para llegar a conceptos ms elaborados. Esta idea filosfica, que tiene relacin con la combinatoria, fue ya algo en parte elaborada por franciscano mallorqun Ramn Llull (1235-1316) en su Arte Luliano. Poco despus de acabar sus estudios, Leibniz empez en 1672 una misin diplomtica en Paris donde permanecera unos cuatro aos hasta 1676. All conoci a numerosos filsofos y miembros de la alta sociedad, en particular al holands C. Huygens (1629-1695), entonces miembro de la recin creada Acadmie Royale des Sciences. Como curiosidad Huygens le plante a Leibniz que hallara la suma de los inversos de los nmeros triangulares. Mediante sumas y diferencias Leibniz fue capaz de hallar la suma de esta serie y entonces creci su inters en estudiar matemticas, cuya formacin hasta entonces haba sido muy escasa. Huygens le recomend que leyera la renovada edicin en latn de van Schooten de la Gometrie de Descartes y los trabajos de Pascal. La entrada matemtica de Leibniz fue entonces impresionante, ya que le llev al descubrimiento del clculo en 1675 y su elaboracin y publicacin en dos cortos artculos del Acta Eruditorum despus en 1684 y 1686, el primero sobre clculo diferencial y el segundo sobre clculo integral.

El trabajo de Leibniz se conoce principalmente por los numerosos artculos que public en Acta y por sus cartas personales y manuscritos que se conservan en Hannover. Entre estos documentos estn los manuscritos fechados el 25, 26 y 29 de Octubre y el 1 y 11 de Noviembre de 1675 donde Leibniz estudia la cuadratura de curvas y desarrolla su clculo diferencial e integral. Uno de los ingredientes fundamentales del clculo de Leibniz son las reglas para la manipulacin de los smbolos " " y "d" de la integral y la diferencial. Esto refleja sus ideas filosficas de buscar un lenguaje simblico y operacional para representar los conceptos e ideas del pensamiento de tal manera que los razonamientos y argumentos se puedan escribir por smbolos y frmulas. En matemticas su clculo es en parte esto, un algoritmo para escribir los mtodos geomtricos de cuadraturas y tangentes por medio de smbolos y frmulas. Las otras dos ideas fundamentales del clculo de Leibniz son la relacin entre la sumas de sucesiones con las diferencias de sus trminos consecutivos y el llamado tringulo caracterstico. Leibniz pas la mayor parte del resto de su vida en Alemania, como consejero del duque de Hannover. Aparte de la invencin y del desarrollo de su clculo y en la solucin de problemas geomtricos y de ecuaciones diferenciales, Leibniz tiene otros trabajos en solvabilidad de ecuaciones y determinantes y escribi y contribuy enormemente en prcticamente todos los campos del conocimiento humano, religin, poltica, historia, fsica, mecnica, tecnologa, lgica, geologa, lingustica e historia natural. Aunque oscuros y difciles de leer, los dos artculos de Acta de Leibniz de 1684 y 1686 fueron leidos por los hermanos Jakob y Johann Bernoulli. Jakob Bernoulli era profesor de matemticas en Basilea y su hermano Johann, unos trece aos ms joven, le sucedi despus en 1705. Ambos entendieron notablemente el simbolismo y los conceptos de Leibniz y publicaron varios artculos en Acta a partir de 1690. Despus iniciaron una intensa y productiva correspondencia con Leibniz, resolviendo en unos pocos aos numerosos problemas en los que el nuevo clculo demostr toda su fuerza, tales como el la isocrona, la catenaria, la tractriz, la isocrona paracntrica o la braquistocrona.

2. ISAAC NEWTON 2.1 Isaac Newton (1642-1727).

Sus aos ms fecundos fueron durante el periodo 1665-1666 cuando cerraron la Universidad de Cambridge, donde era estudiante, debido a la peste bubnica. Newton se recluy en su casa natal y all descubri el Teorema del binomio, el clculo diferencial e integral, la ley de gravitacin universal y la Teora de los colores. Prcticamente todos los descubrimientos importantes de su vida. Newton tard mucho en publicar sus trabajos ya que no le gustaban las controversias y quera evitar la crtica de sus contemporneos. En los ltimos aos de su vida fue miembro del parlamento britnico y presidente de la Royal Society y considerado como un tesoro nacional. Tal como hemos indicado, Newton concibi su clculo durante los aos 1665-1666. Despus lo describi en numerosas cartas personales

y en un pequeo tratado no publicado, De Analysi (1669) que circul entre los matemticos ingleses de la poca y que fue en parte includo en el tratado De Algebra de John Wallis en 1669. Luego organiz y describi todos sus trabajos anteriores sobre el clculo en De Methodis Serierum et Fluxionumque escribi en 1671, pero que no fue publicado hasta despus de su muerte en 1736. La principal obra de Newton es Philosophiae Naturalis Principia Mathematica que fue publicada en 1687 y donde expone muchsimas propiedades sobre las secciones cnicas y su famosa ley de gravitacin universal. En este ltimo no muestra realmente su clculo, ya que los argumentos de Principia son principalmente de geometra sinttica. El ltimo tratado que escribi, pero el primero que se public, fue De Quadratura Curvarum. Escrito entre los aos 1691-1693 apareci como un apndice de su Opticks de 1704. Cabe sealar tambin las dos cartas, donde expone su teorema del binomio, la epistola priorde Junio de 1676 y la epistola posteriorde Octubre de 1676, que mand al secretario de la Royal Society of London, Henry Oldenburg, para que ste se las transmitiera a Leibniz.

2.2 El Teorema del Binomio.

La serie del binomio fue descubierta por Newton el invierno de 1664. Aparece expuesta en dos cartas, la Epistola prior de Junio de 1676 y la Epistola posterior de Octubre de 1676, que mand al secretario de la Royal Society of London, Henry Oldenburg, para que se las transmitiera a Leibniz. Dice Newton: "La extraccin de races cuadradas se simplifica con este teorema
(P+PQ)m/n=Pm/n+ m m n m 2n m 3n AQ+ BQ+ CQ+ DQ+ n 2n 3n 4n

donde A, B, C, ... son los trminos inmediatos que les preceden en el desarrollo". Expresado de esta forma suena poco familiar, Newton quiere decir que toma
A = Pm/n m m m/n B= AQ = P Q n n m m m-n m-n m m/n ( ) ( -1 ) m/n 2 C= BQ= ( P Q ) Q= n n P Q 2n 2n n 2 m m m m-2n ( -1 ) ( -2 ) m/n 2 D= CQ= n n n P Q 3n 3x2 ...

y as sucesivamente. De esta forma queda

P (1+Q) =(P+PQ) =P

m/n

m/n

m/n

m/n

m ( 1+ Q+ n )

m m [ -1 ] 2 n n Q+ 2

m m m [ -1 ] [ -2 ] 3 + n n n Q+ 3 x2

dividiendo por Pm/n

(1+Q)m/n=1+ m m m m m m ( ) ( -1 ) 2 ( -1 ) ( -2 ) 2 Q+ n n Q+ n n n Q+ n 2 2x3

que es la expresin ms familiar que usamos ahora. Aunque el binomio para enteros positivos era conocido desde haca tiempo, el inters del descubrimiento de Newton est en que lo usa para exponentes fraccionarios y negativos y en que aparece una suma infinita en vez del desarrollo finito anterior. En nuestra notacin actual escribimos comnmente
(1+Q) = ( ) xn n n=1

donde a es un nmero real cualquiera y los coeficientes binomiales se definen como

(

(1) ( n+1) )= n n!

Para el caso en que a sea entero positivo sale un desarrollo finito ya que
)=0 n para n > , al ser cero uno de los factores del numerador que define el coeficiente binomial. Por ejemplo (1+x)3=1+3x+3x2+x4.
(

Pero en el caso de no ser a entero aparecen series infinitas como

1 =(1+x)-1=1-x+x2-x3+ 1+x =(1+x)1/2=1+ x x2 x3 + + 2 8 16

Newton escribi casos particulares como stos en su carta y las us para el clculo de races cuadradas. Observ por ejemplo

obteniendo una gran precisin con slo unos pocos trminos. El avance era considerable.

Ahora sabemos que la serie que define (1+x) converge para |x| < 1. Newton no habla de convergencia, pero es consciente de ello y usa cierta intuicin en sus clculos, por ejemplo utilizaba
y= 1 =1-x2+x4-x6+x81+x2

para x pequeos, pero la cambiaba a

y= 1 1/x2 = = x-2-x-4-x-6-x-8+ 1+x2 1+1/x2

para x grandes.
De Analysi. Esta monografa circular de 1669 que mand Newton a sus amigos y que fue publicado mucho despus en latn en 1711 contiene ya las ideas esenciales del clculo de Newton. Empieza dando unas reglas para calcular cuadraturas tal como se ve en en la imagen de la primera pgina de esta publicacin an (m+n)/n REGULAI. Si ax m/n=y; Erit x =Areae ABD. m+n

Ms tarde en el mismo tratado da un procedimiento para hallar la ordenada de una curva cuya cuadratura ABD est dada. El proceso es interesante ya que es de alguna forma el comienzo del clculo diferencial e integral y donde se ve el papel inverso que juegan la diferenciacin y la integracin. Lo explica con un ejemplo, aunque es claramente generalizable. De acuerdo con la figura sean z=rea(ABD), y=BD, x=AB, B = o. Elijamos ahora v=BK de tal manera que rea (BD) = rea( BKH)=ov.

Consideremos por ejemplo la curva para la cual

z= 2 3/2 x 3

para facilitar los clculos, elevamos al cuadrado la relacin anterior para obtener z2=(4/9)x3. Por la eleccin que hemos hecho de v tambin se tiene
(z+ov)2= 4 (x+o)3 9

esto es
z2+2zov+o2v2= 4 3 (x +3x2o+3xo2+o3) 9

Simplificando z2= 4/9x3 en cada lado de esta expresin y dividiendo por o queda
2zv+ov2= 4 (3x2+3xo+o2) 9

Newton toma ahora B infinitamente pequeo. De la figura se observa entonces que v=y , y que los trminos que contienen o se anulan, de donde
2zy= 4 2 x 3

Sustituyendo ahora el valor de z, resulta finalmente y=x1/2. Newton introduce despus un mtodo iterativo para resolver ecuaciones que ahora lleva su nombre. Pone como ejemplo el resolver la ecuacin
y3 5=0 2y

Observa primero que y=2 es una aproximacin de la solucin. Escribe luego y=2+p y lo sustituye en la ecuacin para encontrar
p3+6p2+10p 1=0

Como p es pequeo, elimina los trminos p3, 6p2, para obtener 10p 1=0, de donde p=0.1. De este modo y=2.1 es la segunda aproximacin de la raz buscada. Toma ahora p=0.1+q, que sustitudo en la ecuacin para p da
q3+6.3 q2+11.23 q+0.061=0

Tomando otra vez su parte lineal 11.23 q+0.061=0, obtiene q= 0.0054, lo que da el nuevo valor aproximado de la solucin y=2.0946. Newton da un paso ms en este ejemplo escribiendo 0.0054+r=q, y despus sustituir en la ecuacin para q y seguir el mismo proceso llega de este modo a la nueva aproximacin y=2.09455147.

Newton aplica luego este mtodo para resolver ecuaciones f(x,y)=0 ms generales. Toma como ejemplo
y3+a2y+axy 3 3=0 2a x

y observa que si x=0, entonces y=a es la solucin. Esta es la primera aproximacin. Escribe como antes a+p=y, que sustitudo en la ecuacin da la cbica en p
p3+3ap2+(4a2+ax)p+a2x 3=0 x

cuya parte lineal es (4a2+ax)p+a2x 3=0, de solucin x

p= x 2x+x3 a = + 2 4 4a +ax

De donde toma y=a como la segunda aproximacin. Escribe ahora q= x/4 x/4+p, etc., y continuando de esta forma va obteniendo la serie
y=a x x2 131x3 509x4 + + + + 4 64a 512a2 16384a3

Ms adelante utiliza un proceso parecido para invertir series. Considera el ejemplo de tomar como z el rea debajo de la hiprbola y=1/(1+x), esto es
z=x 1 2 1 3 1 4 1 5 x+ x x+ x+ 2 3 4 5

Para invertir esta serie, toma primero sus cinco primeros trminos, esto es la ecuacin
1 5 1 4 1 3 1 2 x x + x x +x z=0 5 4 3 2

la va resolviendo y considerando ms trminos de la serie a invertir. De esta forma va obteniendo

x=z+ 1 2 1 3 1 4 1 5 z+ z+ z+ z+ 2 6 24 120

que es la serie de la funcin exponencial ez. Aunque sin utilizar el nmero e, esta es la primera vez que aparece esta serie en matemticas.

2.6 Descubrimiento de las series de sin x y cos x

A partir de su binomio, Newton encuentra tambin series trigonomtricas. Si consideramos la circunferencia de radio 1, de acuerdo con la figura

es x=AQ=sin ,

esto es, = arcsinx, de manera que

= 2 rea(OQR)=2 [rea(ORQB) rea(OQB)] =

Por el desarrollo del binomio

de donde integrando trmino a trmino

mientra que

sustituyendo y despus de simplificar queda

= x+ 1 3 3 5 5 7 x+ x+ x+ 6 40 112

Inviertiendo ahora la serie Newton obtiene

x=sin = 1 3 1 5 1 + 7+ 6 120 5040

Encuentra luego la serie de cos como y calcula las cuadraturas de la cicloide y luego de la cuadratriz, de ecuacin x=y coty primero invirtiendo esta ecuacin para encontrar la serie de y=y(x) y luego integrando trmino a trmino.

2.3 El mtodo de Fluxiones.

Newton da luego otra versin de su clculo en "Methodus Fluxiorum et Serierum Infinitorum" que fue escrito en 1671 y publicado

en 1736. Wallis, con permiso de Newton, incluy el mtodo de fluxiones en la pginas 390-396 de su Algebra. Newton concibe las cantidades matemticas como el movimiento continuo de un punto que traza una curva. Cada una de estas cantidades que aparecen (variable) x es un "fluente" y su velocidad, designada por , esto es una x con un puntito encima, es una "fluxin". La parte infinitesimal pequea en la que un fluente se incrementa por unidad de tiempo o, es o el momento del fluente. El problema fundamental es, dada una relacin entre fluentes hallar la relacin entre sus fluxiones y recprocamente. Si y=f(x) en un pequeo intervalo o de tiempo x se incrementa a x+o, y se incrementa a
. y+oy

Al ser
. y+o y =f(x+o ) se tiene . o y =f(x+o ) f(x)

es decir
. f(x+o y= o ) f(x)

Veamos como hace Newton en un caso concreto. Si es y=x3 obtenemos

Luego elimina los trminos que contienen o, ya que "se le supone infinitamente pequeo", quedando . y =3x2

y por tanto, la relacin entre fluxiones es

. 2 y =3x

De esta forma su afirmacin inicial del prrafo anterior de que el rea

y= xn+1 n+1

proviene de la curva y=xn es que el cociente de fluxiones

n . =x

considerando luego que la fluxin de x es uno, es decir, que el incremento que considera en x por unidad de tiempo es uno. Aplica tambin su mtodo al caso de tener dada una curva en la forma f(x,y)=0. Por ejemplo considera el caso de la cbica
x3 2+axy 3=0 ax y

Sustituye x por x+ o e y por y+ o, realiza el desarrollo, resta la relacin x3 2+axy 3=0, cancela ax y 2 3 los trminos con o y o por ser despreciables frente a o, y divide ahora por o para obtener
3x2 x 2a +ay . . +ax y 2 y =0 3y

de donde obtiene la relacin de fluxiones

. 3x2 2ax+ay y = 3y2 ax

Newton es consciente de las dificultades de rigor que tienen estos conceptos y posteriormente refina su interpretacin en "De Quadratura Curvarum" , escrito en 1676 y publicado en 1704. Aqu habla de "ltimas proporciones" ( "ultimate ratios" ). Dice: "Por ltima proporcin de cantidades evanescentes debemos entender el cociente de estas cantidades, no antes de que desvanezcan, ni despus, pero tal como van desvaneciendo." Intuitivamente, esto viene a ser nuestro concepto de derivada interpretada como lmite
f (x) lim = h0 f(x+h) f(x) h

2.5 Clculo de Newton del nmero

Aparece en su "Methodus Fluxiorum et Serierum Infinitorum," 1671. Newton considera la circunferencia de centro (1/2,0) y radio 1/2
(x 1 2 2 1 ) +y = 2 4

de donde despejando y en funcin de x y usando el desarrollo del binomio

x2 x3 5 4 7 5 x x 8 16 128 256 1 1 5 9/2 7 11/2 = x1/2 x3/2 x5/2 x x 2 8 128 256 y=x1/2(1 1/2=x1/2 x)

( 1 2

)=

Calcula entonces el rea debajo de la curva integrando trmino a trmino

A(x)= 2 3/2 1 5/2 1 7/2 1 9/2 5 11/2 x x x x x 3 5 28 72 704

Luego para x=1/4, el rea de la regin ADB es igual a

rea (ADB)= 1 1 1 1 5 12 160 3584 36864 1441792 = 0.076663

Calcula luego la misma rea por geometra, ya que

rea (ADB)= rea(sectorACD) rea(tringuloDBC)

Para evaluar esta ltima relacin calcula primero

Luego se observa de los lados del tringulo BCD que el ngulo en C es de 60o. De donde
rea(sectorACD)= 1 rea(semicircunferencia) 3

Mientras que

Por tanto Igualando los dos valores encontrados anteriormente para esta rea resulta

y por consiguiente

valor que aqu hemos calculado correcto hasta cuatro decimales (el error es 1.33 x10 5). Newton de hecho usa 20 trminos del binomio para llegar a calcular con 16 decimales correctos. Luego dice "I am ashamed to tell you how many figures I carried these calculations, having no other business at the time" (Me avergenzo de decirle cuantas cifras he calculado, no teniendo nada

ms que hacer en aqul momento). A pesar de sus afirmaciones, este es un nuevo paso de gigante en el clculo del nmero.

3. W.G. LEIBNIZ (1646-1716). 3.1 Sumas y diferencias.

Cuando a sus 26 aos conoci en 1672 a Huygens en Paris, ste le plante el problema de sumar los inversos de los nmeros triangulares
1 1 1 1 1 + + + + + 1 3 6 10 15 + 2 + n(n+1)

Leibniz observ que cada trmino se puede descomponer como

2 1 1 =2 ( n(n+1) n n+1 )

de donde
1 1 1 1 1 + + + + + 1 3 6 10 15 = 2 ( 1 1 1 1 1 1 ) +2 ( 2 3 ) +2 ( 3 4 ) + 2 =2

Leibniz, tal como hizo en la suma de la serie de los inversos de los nmeros triangulares, consideraba sumas y diferencias de sucesiones de nmeros. Observ por ejemplo que dada la sucesin a0, a1, a2, ... , an , si consideramos la sucesin de diferencias d1, d2, ... , dn , donde di=ai i1 . Entonces a
d1+d2+ +dn=(a1 0)+(a2 1)+ a a +(an n1)=an 0 a a

es decir, la suma de diferencias consecutivas es igual a la diferencia entre el ltimo y el primer trmino de la sucesin original. Por ejemplo, dada la sucesin de cuadrados
0, 1, 4, 9, 16, 25, 36, ..., n2

sus primeras diferencias son

1, 3, 5, 7, 9, 11, ... , 2n 1

ya que i2 1)2=2i Luego se sigue que la suma de los n primeros nmeros impares es n2 (i 1.
1+3+5+ + (2n 1)=n2

Leibniz utiliza este mtodo en otros casos. Por ejemplo en relacin a la serie geomtrica

1,q,q2, ... ,qn, ...

obtiene

3.2 El clculo de Leibniz.

Leibniz no tard en aplicar a la geometra sus observaciones de que las sumas de sucesiones y sus diferencias consecutivas son procesos inversos el uno del otro. Consideremos una curva como la de la figura donde aparece una sucesin de ordenadas equidistantes y1,y2,y3,?,yn

Si suponemos que la distancia entre estas ordenadas es 1, entonces su suma y1+y2+y3+ +yn es una aproximacin de la cuadratura de la curva, mientras que la diferencia entre dos sucesivas yi s da aproximadamente la pendiente de su tangente. Adems, cuanto ms pequea sea la unidad 1 elegida, mejor ser la aproximacin. Si la unidad se pudiera elegir infinitamente pequea, entonces las aproximaciones seran exactas, la cuadratura sera igual a la suma de ordenadas y la pendiente de la tangente sera igual a la diferencia de ordenadas. De esta forma y por su analoga con las sucesiones numricas, Leibniz observa que la determinacin de cuadraturas y el clculo de tangentes son operaciones inversas la una de la otra. Leibniz considera una curva como una poligonal de infinitos lados donde dy es la diferencia infinitesimal de dos ordenadas consecutivas, dx la diferencia de dos abscisas consecutivas e ydx representa la sumade los pequeos rectngulos infinitesimales ydx. De esta forma el teorema fundamental del clculo aparece como obvio. Esto es, para hallar el rea debajo de una curva con ordenadas y, debemos hallar una curva de ordenadas z de tal manera que dz/dx=y, en cuyo caso es tambin ydx=z. En la primera notacin de sus manuscritos Leibniz escribe
omnl = y

donde omn es omnia, que en latn significa suma, y donde l son diferencias. Con ello empieza a desarrollar su calculo y la expresin simplemente significa que la suma de las primeras diferencias de una sucesin que empieza por 0 es igual al ltimo trmino. Despus ira cambiando su notacin y escribe la anterior relacin como dy=y que es la que usamos actualmente. El signo integral no es ms que una S elongada que significa suma. La idea de su clculo es que las frmulas y relaciones geomtricas se realicen de manera casi automtica por medio de las reglas del clculo de diferencias
d(x+y)=dx+dy d(xy)=x dy+y dx x y dx dy x d( )= 2 y y n n 1 d(x )=n x dx etc.

Para demostrar por ejemplo la regla d(xy)=x dy+y dx, calcula la diferencia entre dos trminos consecutivos de la sucesin producto xy
d(xy)=(x+dx)(y+dy) xy=xdy+ydx+dx dy

y luego omite la cantidad dx dy por ser infinitamente ms pequea en comparacin con los otros trminos. De esta regla Leibniz deduce la integracin por partes
x dy=xy y dx

Aunque las demuestra como teoremas, siempre que puede intenta relacionar sus operaciones analticas con resultados geomtricos familiares. Por ejemplo para esta ltima integracin por partes, observa que es tambin la adicin de reas
x dy+ y dx=xy

de acuerdo con la figura

Para probar

( x)=

xdy ydx 2 x

escribe
d y y+dy y xdy ydx = = 2 x x+dx x x +x dx

y otra vez cancela xdx del denominador por ser pequeo frente a x2. Otra relacin es por ejemplo
y dy= y2 2

Para su prueba, piensa en trminos de la funcin y=x. Tal como se observa en la figura el rea del tringulo ABC es la suma de los y dy, para pequeos dy, pero esta rea es y2/ 2.

En sus aplicaciones geomtricas, dado un punto P=(x,y) sobre una curva, tal como se observa de la figura

aparecen las llamadas subtangente s=TA, tangente t=TP, normal n=PB y subnormal = AB. Todas estas variables tienen entitad propia y estn relacionadas unas con otras. Por ejemplo se tiene por la semejanza
y = s y

Para cada una de estas variables se pueden considerar tambin sus diferencias. Si consideramos las diferencias dx y dy, el pequeo tringulo PQR se llama el tringulo caracterstico y se tiene por ejemplo la relacin
dy y = dx s

Todo este clculo y en especial su notacin result ser muy manejable y de gran utilidad, lo que contribuy decisivamente a su xito. Notacin y concepto son virtualmente inseparables. Por ejemplo la regla de la cadena para z=f(y) e y=g(x) que nosotros escribimos como primero la composicin h(x)=f(g(x) y luego
h (x)=f (g(x))g (x )

en su notacin diferencial es simplemente

dz dz dy = dx dy dx

Aunque desde el punto de vista lgico le falta rigor a esta frmula simblica, ya que cancela dy s como si fueran nmeros reales, no slo halla correctamente al resultado sino que sugiere adems la manera de demostrarla, reemplazando las diferenciales dx,dy,dz por incrementos finitos x,y,z y pasando luego al lmite. Leibniz tard unos aos en presentar estas ideas en pblico ya que era una formulacin intuitiva, pero que tena el problema de trabajar con cantidades infinitamente pequeas y esto no estaba rigurosamente definido ni era muy aceptable en matemticas. Su primera publicacin fue un corto artculo titulado "Nova Methodus pro Maximis et Minimis, itemque Tangentibus, quae nec fractas nec irrationales quantitates moratur et singulare pro illis calculi genus", (Un nuevo mtodo para mximos y mnimos y tangentes, no impedido por cantidades racionales o irracionalesy un singular nuevo tipo de clculo para ellas), que apareci en 1684 en Acta eruditorum. En este trabajo original, despus de introducir su clculo, Leibniz da tres ejemplos de la aplicaciones, el primero prueba el principio ya conocido por Descartes y Fermat de que el ngulo de incidencia es igual al ngulo de refraccin, el segundo es un problema geomtrico. Luego, dice Leibniz: "Y esto es slo el comienzo de una mucho ms sublime Geometra, de problemas incluso mucho ms difciles y de los ms bonitos de matemticas aplicadas, los cuales sin nuestro clculo diferencial o algo similar nadie podra atacar con tanta facilidad. Aadiremos como apndice la solucin del problema que De Beaune propuso a Descartes, quin lo intent resolver el el Vol. 3 de sus Lettres, pero sin xito"

En realidad Descartes haba encontrado prcticamente la naturaleza de esta curva, pero careca de instrumentos adecuados para su solucin. Este problema y otros que fueron apareciendo despus pusieron de manifiesto la potencia del nuevo clculo. Exponemos este problema en la seccin siguiente.

3.3 El problema de De Beaune.

El problema que Florimont De Beaune haba propuesto originalmente a Descartes en 1639 es: Hallar una curva cuya subtangente sea una constante dada a.

De la relacin
dx s = dy y

obtenemos tomando s=a

a dy=y dx

Leibniz considera dx=b constante, lo que equivale a tener las abscisas en progresin aritmtica. Tomando k=b/a, la relacin anterior da
dy=k y

Esto es, los incrementos dy son proporcionales a sus las ordenadas y. Ms concretamente, si tomamos la sucesin de abscisas
x0=x, x1=x+b, x2=x+2b, x3=x+3b , ...

que estn en progresin aritmtica, al ser dy1=y1 0=k y1, ser y1=k1 y0 para la constante k1=1/(k+1). y Luego las correspondientes ordenadas
y0, y1=k1 y0, y2=k12 y0,y3=k13 y0, ...

estn en progresin geomtrica. Leibniz concluye diciendo que la curva es una "logartmica".

En nuestro clculo actual de la relacin diferencial que define la curva a dy=ydx, obtenemos
a dy =dx y

de donde integrando a logy=x+C. (Obsrvese que la notacin que usamos ahora para este proceso es la original). Leibniz viene a describir una poligonal solucin de una ecuacin en diferencias que aproxima a la exponencial y su ecuacin diferencial correspondiente, siendo la aproximacin cada vez mejor a medida que dx se va haciendo infinitsimo.

3.4 Desarrollo del seno a partir de su ecuacin diferencial.

Leibniz utiliza series de potencias para resolver muchas de us ecuaciones diferenciales. Por ejemplo consideremos la figura donde aparece el primer cuadrante de la circunferencia de radio 1, donde P=(x,y) y es el ngulo que forma POB.

Por semejanza de tringulos

Adems por el teorema de Pitgoras dx2+dy2=d 2. Elevando al cuadrado la primera relacin, despejando dx2 y sustituyendo en la segunda obtenemos despus de simplificar
dy2+y2 d2=d 2

que es la ecuacin diferencial que verifica y=sin. Para resolver esta ecuacin Leibniz considera d como constante y aplica el operador d a la ecuacin. Se obtiene d[dy2+y2 d 2]=0, de donde por la regla del producto
d[dydy+y2 d 2]=2(dy)(d dy)+2y dy d2=0

esto es
d2y = y d 2

que es la ecuacin diferencial de segundo orden de y=sin. Ahora Leibniz supone que podemos escribir la serie de potencias con coeficientes indeterminados
y=sin = b +c 3+e 5+f 7+g9+

donde ha tomado el trmino constante igual a cero al ser sin0=0 y slo toma potencias impares al ser sin impar. Diferenciando dos veces esta expresin se obtiene
d2y =23 c +45 e 3+89 g 7+ d 2

que debe ser igual a b c 3 5 7 9 y= e f g

23 c= b 45 e = c 89 g = f

Igualando coeficientes se obtiene

De donde tomando b=1 como condicin inicial obtenemos sucesivamente c= 1/3!, e=1/5!, f= 1/7!, g=1/9!, ... , esto es
sin = 1 3 1 5 1 7 1 9 + + 3! 5! 7! 9!

Obtiene por tanto con su mtodo de diferencias la relacin que ya haba obtenido Newton en 1676 con su serie del binomio.

4. Resumen y desarrollo posterior.

Una vez que hemos descrito con detalle separadamente las ideas de Newton y Leibniz en el desarrollo del clculo como una nueva y coherente disciplina matemtica vamos a comparar y contrastar ambos procedimientos. Tal como hemos visto Newton concibe la derivada de y=f(x) como el cociente entre fluxiones
. y . x

donde considera las fluxiones , como las velocidades en que cambian los fluentes x,y. Su concepcin es cinemtica. En cambio Leibniz considera el cociente anterior dy/dx como cociente entre diferencias. La integral para Newton es una integral definida, es el fluente a determinar para una fluxin dada. Para Leibniz la integral es, en cambio, una suma infinita de diferenciales. A pesar de estas diferencias de concepto luego ambos la calculan de la misma forma, como un proceso inverso de derivadas. Ambos desarrollan el mismo clculo desde puntos de vista distintos y observan como inversos los procesos de diferenciacin e integracin. Antes se haban calculado

reas, volmes y tangentes, pero eran razonamientos particulares para cada caso concreto sin que se observara con claridad que el clculo de reas y el de tangentes son inversos uno del otro. El nuevo clculo es universal, en el sentido en que se aplica del mismo modo a todo tipo de funciones. Newton y Leibniz lo aplicaron con xito para calcular reas como la cisoide o la cicloide, tangentes, longitudes de arco, problemas de mximos y mnimos, geomtricos, etc. Para ilustrar con un ejemplo sencillo los conceptos del clculo de Newton y de Leibniz, veamos como calcularan ambos la tangente a la parbola y2=ax en un punto M=(x,y) de la figura

Dada la relacin entre fluentes y2=ax Newton calculara primero la relacin entre sus fluxiones: De

elevando al cuadrado

Simplificando y dividiendo por o resulta

de donde cancelando luego los trminos que contienen o se obtiene 2y =a , esto es

. y a = . 2y x

que nos dara la pendiente de la tangente. En el primer libro de texto de clculo diferencial, "Analyse des Infinitement Petits" de l'Hospital de 1696, aparece exactamente el ejemplo que estamos calculando. De hecho la figura geomtrica anterior est tomada del este libro, seccin 2, pag. 12. Su solucin, siguiendo de diferencias de Leibniz dice asi: "Si se quiere que ax=yy exprese la relacin de AP a PM, la curva AM ser una parbola que tendr por parmetro la recta dada a y tendr, tomando diferencias en cada miembro
a dx=2y dy

por tanto dx=2ydy/a y

PT= ydx 2yy = =2x dy a

donde hemos sustitudo yy por su valor ax. De donde se deduce que si se toma como PT el doble de AP y se considera la recta MT, ella ser tangente en el punto M. Ce qui tait propos". Newton la derivada como cociente entre fluxiones, o como "razn ltima de cantidades evanescentes" presentaba problemas de rigor lgico. Para Leibniz sin embargo, el cociente dy/dx era "simplemente" un cociente con interpretacin geomtrica clara. Los problemas de interpretacin se volvan ms agudos al considerar derivadas de mayor orden. Debido a su facilidad y al genial tratamiento que tuvo por parte de los hermanos Bernoulli y por Euler el clculo de Leibniz empez a cosechar grandes xitos. Sus seguidores se preocupaban menos de sus aspectos lgicos y ms de sus aplicaciones ya que era un clculo que funcionaba. Permiti resolver problemas tales como el de la braquistocrona o de la catenaria que haban sido intratables hasta entonces. En cambio en Inglaterra los matemticos se preocuparon mucho ms por los problemas de rigor lgico, paralizando con ello su aplicacin. Una vigorosa y malintencionada exposicin de las inconsistencias del nuevo clculo fue la que escribi el obispo anglicano de la dicesis de Cloyne (Irlanda) George Berkeley(1685-1753). Berkeley escribi en 1734 un ensayo titulado "The Analyst, or A Discourse Addressed to an Infidel Mathematician". El "matemtico infiel" era Edmund Halley (1656-1742), el famoso astrnomo y amigo de Newton, quin parece ser que convenci a un conocido sobre la inutilidad de la doctrina cristiana y ste rehus el consuelo espiritual de Berkeley cuando estaba en su lecho de muerte. Este es un prrafo del argumento de Berkeley: "Y Qu son las fluxiones? Las velocidades de incrementos evanescentes. Y Qu son estos mismos incrementos evanescentes? Ellos no son ni cantidades fimnitas, ni cantidades infinitamente pequeas, ni nada. No las podramos llamar fantasmas de cantidades que han desaparecido?" A finales de 1690 Leibniz fue duramente atacado por los seguidores de Newton, quienes le acusaban de plagio. Su principal argumento fueron las cartas que Newton le haba mandado via Oldenburg. Al irse incrementando los ataques Leibniz pidi en 1711 a la Royal Society of London, de la que era miembro, para que interviniera en el asunto. La Royal Society nombr una comisin para que estudiara el caso y en 1712, movida ms que nada por motivos de nacionalismo y maniobrada por Newton, decidi que Leibniz haba en efecto plagiado a Newton. Hoy sabemos que tanto Newton como Leibniz desarrollaron independientemente su clculo. Este desafortunado incidente separ en dos bandos los matemticos de Inglaterra y del Continente por mucho tiempo. La irona del destino, fue que la victoria inglesa hizo que sus matemticos rehusaran sistemticamente el uso de los mtodos de Newton, cerrando para si con ello el tremendo desarrollo que la matemtica tuvo en el siglo XVIII.

4. Referencias
Para biografas de Newton, Leibniz y de otros matemticos en general se pueden consultar http://www.geocities.com/grandesmatematicos/ http://www-groups.dcs.st-and.ac.uk/ history/index.html Ch. C. Gillispie, Dictionary of Scientific Biography, es una excelente enciclopedia de biografas de cientficos. Antonio J. Durn, Historia, con personajes de los conceptos del clculo , Alianza Universidad AU 861, un ameno y completo librito de bolsillo que trata sobre estos temas.

Jakob Bernoulli lanz el desafo, en 1690, de hallar la curva que

formara una cadena suspendida por sus dos extremos. Se estableci un ao de plazo para que los participantes pudieran mandar soluciones. Leibniz, Huygens y el hermano de Jakob, Johann Bernoulli, hallaron la respuesta y stas se publicaron el el Acta Eruditorum. Galileo ya haba estudiado antes este problema en 1638, pero careciendo de las herramientas matemticas necesarias concluy, errneamente, que la curva es un arco de circunferencia. Encontrar esta curva, la catenaria, fue uno de los primeros grandes xitos del nuevo clculo. En la figura de la izquierda aparece el grabado original de la publicacin de Leibniz de Junio de 1691. En una publicacin posterior, Leibniz demuestra como aplicar la catenaria en navegacin, en el caso en que el capitn extrave su tabla de logaritmos.