Historia del clculo 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, de AB. 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. 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 es 4/3 del rea del tringulo con los mismos base y vrtice y es igual a 2/3 del 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 . Diagrama de Arqumedes

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 (15521618) 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. Hiprbola: y/a = (b/x) generalizada como (y/a)n = (b/x)m. 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 Descartes dando 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. 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 Tringulo de Barrow

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, Leibniz realiz un trabajo buensimo sobre el clculo, pensando en los fundamentos de manera muy distinta a Newton. Newton consideraba que las variables cambiaban con el tiempo. Leibniz pensaba que las variables x, y variaban 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 dy mientras que Newton usaba x' y y' que eran velocidades finitas. Por supuesto que ni Leibniz ni Newton pensaban en trminos de funciones, pero ambos pensaban siempre en trminos de grficas. Para Newton, 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.