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, 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.

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 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 . 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: y Parbola: /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 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.

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, 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

HISTORIA DEL CLCULO INFINITESIMAL El clculo se deriva de la antigua geometra griega. Eudoxo y Arqumedes quisieron encontrar el rea del crculo. En el siglo XVII Descartes y Fermat utilizaron el lgebra para encontrar el rea y las tangentes.

Sin embargo, fue inventado por Newton alrededor de 1669 y Leibniz alrededor de 1684 y lo desarrollaron ampliamente en el siglo XVIII los Bernouilli, Euler, Lagrange y muchos otros. Pero fue en siglo XIX con el trabajo de Dirichlet, Cauchy y Weierstrass, y otros cuando sus fundamentos fueron puestos sobre una base firme. Veamos como fueron apareciendo alguno de los conceptos: Funcin El trmino funcin fue usado por primera vez en 1637 por el matemtico francs R. Descartes para designar una potencia xn. Newton y Leibniz contribuyeron decisivamente al desarrollo del concepto de funcin. Descubrieron el desarrollo de funciones en serie de potencias. En esta poca la idea de funcin era muy restringida, pus se reduca a funciones analticas, primero las que se podan expresar mediante una ecuacin algebraica y poco despus las desarrollables en serie de potencias. En 1755 Euler dio la primera definicin de funcin: "Si algunas cantidades dependen de otras de manera que varan cuando varan las ltimas, entonces se dice que las primeras son funcin de las ltimas. Variable Al matemtico francs F. Vite se le ocurri la idea de usar letras para representar las variables (normalmente X, Y y Z para los nmeros reales y N para los enteros). Lmites Wallis (1616-1703) introduce el concepto de lmite y el smbolo para el infinito.Newton y Leibniz ignoraban una definicin precisa de lmite y de los conceptos que ste lleva asociado y sin embargo no fue ningn impedimento grave para invertar el clculo. Tenan una idea intuitiva de los lmites. Los conocimientos de los lmites fueron asentados en el siglo XIX por Cauchy, Dedekind y Weierstrass. La famosa curva descubierta en 1906 por Helge von Koch y queorigin los fractales fue un proceso al lmite de un tringulo equiltero y en cada lado un nuevo tringulo. Continuidad El hombre lleg al concepto abstracto de continuidad obsevando los medios densos que le rodean, tanto slidos, lquidos como gaseosos. En realidad, como ahora sabemos, todo medio fsico representa la acumulacin de un gran nmero de partculas distintas en movimiento. Pero estas particulas y su distancias mutuas son tan pequeas en comparacin con las dimensiones del medio, que son como distribuciones continuas en el espacio que ocupan. El concepto matemtico de continuidad juega un gran papel en la hidrodinmica, la aerodinmica y la teora de elasticidad. Bolzano public en 1817 dedicado a dar una demostracin analtica del teorema del valor medio de funciones continuas. y en 1834 l mismo invent una funcin continua en un intervalo pero que no tena derivada en ningun punto de dicho intervalo. La definicin de funcin continua en un intervalo fue dada por primera vez por Cauchy. Derivabilidad Newton y Leibniz descubrieron ambos el concepto de derivada de manera independiente.Newton empez a pensar en 1665 en la velocidad de cambio o fluxin de magnitudes. Sin embargo, fue Leibniz quien utiliz en primer lugar la notacin para indicar simblicamente el paso al lmite de cambiando D por d. La manera de razonar de Newton estaba mucho ms prxima de forma moderna del clculo, pero la eficacia de la notacin diferencial de Leibniz hizo que se aceptase mejor la idea de la diferencial que la de fluxin. La notacin y' y f'(x) fueron introducidas por Lagrange (siglo XVIII). Mximos y mnimos En 1744, P.L. Moreau de Maupertius present el "principio metafsico" de la naturaleza segn el cual, la naturaleza siempre opera con la mayor economa posible; dicho de otra forma, la naturaleza siempre actua de tal manera que minimiza alguna cantidad, por ejemplo, la forma esfrica de las burbujas de jabn, que est relacionado con el hecho de que las esferas son las superficies de rea mnima que contienen un volumen fijo. El matemtico suizo L. Euler proporcion muchas de las herramientas matemticas para la teora de mximos y mnimos

de cantidades escalares. Regla de L' Hpital Fue descubierto por uno de los hermanos Bernouilli, Jean, aunque se conoce como "Regla de L' Hpital", debido a que J.B. en su estancia en Pars ense matemticas al joven marqus francs, G.F.A. de L' Hpital y firm con l un pacto, segn el cual, a cambio de un salario regular, se comprometa a enviarle al marqus sus descubrimientos en matemticas para que el marqus los utilizase a su voluntad. Integracin Tiene su origen en Arqumedes, matemtico griego que indag bastante en el clculo de reas limitadas por curvas. Seki-Kowa, matemtico japons del siglo XVII, calcula el rea del crculo a partir de la suma de rectngulos. Cauchy fue el primero en definir las cantidades de rea de superficies mediante integrales. Present en 1823 la necesidad de probar la existencia de la integral como lmite de una suma. Sin embargo, su demostracin no es rigurosa pues desconocia el concepto de continuidad uniforme. El concepto de suma de Riemann para una funcin f, es anterior a Riemann. Las sumas llevan su nombre porque l dio las condiciones necesarias y suficientes para que una funcin acotada sea integrable. Su enfoque fue generalizado por Darbou (1875) y Stieltjes (1894). Realmente, el que ampli la teora de la integracin fue Lebesgue en 1902.

ALGUNOS MATEMTICOS Ren Descarte Francia 1596-1650 Pierre de Fermat Francia 1601-1665 Isaac Barrow Inglaterra 1630-1677 Isaac Newton Inglaterra 1642-1727 Gottfried W. Leibniz Alemania 1646-1716 Leonhard Euler Suiza 1707-1783 Bernhard Bolzano Chescolovaquia 1781-1848 Agustn L. Cauchy Francia 1789-1857 Karl Weierstrass Alemania 1815-1897 Bernhard Riemann Alemania 1826-1866