You are on page 1of 16

De cmo se gest y vino al mundo el clculo infinitesimal

Del legado de las matemticas, el clculo infinitesimal es, sin duda, la herramienta ms potente y eficaz para el estudio de la naturaleza. El clculo infinitesimal tiene dos caras: diferencial e integral; y un oscuro interior donde, como demonios, moran los infinitos: grandes y pequeos. Los orgenes del clculo integral se remontan, como no, al mundo griego; concretamente a los clculos de reas y volmenes que Arqumedes calcul en el siglo III a.C.. Aunque hubo que esperar mucho tiempo hasta el siglo XVII -2000 aos! para que apareciera -o mejor, como Platn afirmaba para que se descubriera- el clculo. Varias son las causas de semejante retraso. Entre ellas debemos destacar la inexistencia de un sistema de numeracin adecuado - en este caso el decimal- as como del desarrollo del lgebra simblica y la geometra analtica que permitieron el tratamiento algebraico -y no geomtrico- de las curvas posibilitando enormemente los clculos de tangentes, cuadraturas, mximos y mnimos, entre otros. Todo ello ocurri esencialmente en el siglo XVII. Comenzaremos por tanto desde el principio. Como ya es habitual comenzaremos por un filsofo. En este caso Aristteles. Ya los griegos se haban preocupado de como tratar ese ente tan curioso -como difcil- que es el infinito. Para los griegos el infinito aparece de dos maneras distintas: lo infinitamente pequeo y lo infinitamente grande. Ya apareci de algn modo en la inconmensurabilidad de la diagonal de cuadrado; tambin, claro est, lo tenemos en la famosa paradoja de Zenn sobre Aquiles y la tortuga, por ello no es de extraar que alguien intentara regularlos. Ese alguien fue nada ms y nada menos que Aristteles. Lo que hizo fue prohibir el infinito en acto no es posible que el infinito exista como ser en acto o como una substancia y un principio, escribi, pero aadi es claro que la negacin absoluta del infinito es una hiptesis que conduce a consecuencias imposibles de manera que el infinito existe potencialmente [...] es por adicin o divisin. As, la regulacin aristotlica del infinito no permite considerar un segmento como una coleccin de puntos alineados pero s permite dividir este segmento por la mitad tantas veces como queramos. Fue Eudoxo, discpulo de Platn y contemporneo de Aristteles quien hizo el primer uso "racional" del infinito en las matemticas. Eudoxo postul que toda magnitud finita puede ser agotada mediante la substraccin de una cantidad determinada. Es el famoso principio de Arqumedes que ste toma prestado a Eudoxo y que sirvi a aquel para superar la primera crisis de las Matemticas -debida al descubrimiento de los irracionales-. No obstante, fue obviamente Arqumedes el precursor del clculo integral aunque desgraciadamente -o quiz por suerte, quin sabe- su mtodo se perdi y por tanto no tuvo ninguna repercusin en el descubrimiento del clculo -recordemos que su original mtodo "mecnico" donde adems se saltaba la prohibicin aristotlica

de usar el infinito in acto se perdi y solo fue recuperado en 1906 como ya hemos tenido ocasin de contar en la seccin dedicada a los griegos-. La genial idea de siracusano fue considerar las reas como una coleccin -necesariamente infinita- de segmentos. Habr que esperar 2000 aos hasta que otro matemtico -en este caso Cavalieri- volviera a usar de esa manera los infinitos. De hecho Leibniz descubri la clave de su clculo al ver un trabajo de Pascal donde ste usaba un mtodo semejante. Como primer libro de esta seccin colocaremos, por tanto, la Opera Omnia de Arqumedes que ya vimos antes. Se trata de la edicin de 1911 debida a Heiberg. Esta abierta justo en la pgina donde Arqumedes describe el mtodo de sus infinitos segmentos para cuadrar la parbola usando una palanca y moviendo convenientemente los correspondientes segmentos hasta que ambas figuras, tringulo y parbola quedasen equilibradas. Como ya mencionamos una razn importante de la aparicin del clculo fue la aparicin de una adecuada representacin para los nmeros. Se trata de la representacin decimal -cuyo primer registro escrito en el mundo occidental mostramos en la seccin dedicada a las matemticas en la pennsula ibrica-. Junto a Vite, uno de los principales impulsores de la idea fue Simon Stevin del cual admiramos Les oubres mathematiques (Leiden, 1634) especialmente abierto en la primera pgina de La Disme donde Stevin desarrolla si aritmtica decimal. Tambin Stevin uso distintos argumentos infinitesimales para calcular centros de gravedad, pero eso lo veremos ms adelante. No obstante fue la necesidad de entender obras griegas difciles como las de Arqumedes -ya en el siglo XVII se haban recuperado y se dominaban la mayora de las obras griegas, por ejemplo admrese la preciosa edicin de las obras de Arqumedes debida a Wallis (arriba a la izquierda) justamente abierta ste da su famosa estimacin de Pi usando polgonos regulares inscritos y circunscritos a la circunferencia- que desemboc en el nacimiento del clculo. Aunque tambin ayud un cambio de actitud en la matemtica del siglo XVII quiz influenciada por los grandes descubrimientos de todo tipo -geogrficos, cientficos, mdicos y tecnolgicos- y fu el inters de los matemticos por descubrir ms que por dar pruebas rigurosas. Ello potenci sin duda el uso del infinito sin las limitaciones aristotlicas de las que ya hemos hablado. Y finalmente, el descubrimiento de la Geometra analtica de Descartes y Fermat.

La primera parte del siglo XVII vio el nacimiento de la geometra analtica de Fermat y Descartes. La importancia de este descubrimiento consiste en que la geometra analtica permite el tratamiento algebraico de problemas geomtricos, al asignar a las curvas, superficies, etc. frmulas algebraicas que las describen y permiten su manipulacin analtica. De esta forma encontrar tangentes, por ejemplo, se haca extremadamente sencillo -basta saber calcular las derivadas como ahora sabemos- frente a los engorrosos y especficos para cada curva procedimientos geomtricos.

De los dos inventores de la geometra analtica, uno es ms conocido como filsofo: Renato Descartes. Present su geometra junto con otros dos tratados cientficos: la diptrica y los meteoros y les prepar un prlogo que se convertira despus en uno de los libros de filosofa ms conocidos de la historia: El discurso del mtodo. El otro inventor de la geometra analtica, Pierre de Fermat, fue jurista y aficionado a las matemticas: probablemente el mejor aficionado que ha visto la historia, sin duda superior a muchos profesionales. Intervino de hecho en todas las ramas de las matemticas que se crearon en el siglo XVII, y no fueron pocas. Fermat no public, sin embargo, casi nada: sus obras aparecieron aos despus de su muerte editadas por su hijo. Mostraremos aqu un ejemplar de la primera edicin (Leiden, 1637) del Discours de la Methode... la obra ms clebre de Descartes y una de las obras filosficas ms famosas jams escrita que como ya dijimos antes serva de prlogo a tres obras de este autor -entre las que se inclua su Gemetrie-. A la derecha podemos apreciar una de las tantas ediciones que ms tarde se realizaran de la Geometra ya separada del resto de sus originales compaeras.

Otra razn no menos importante es que, como ya mencionamos, en el siglo XVII los matemticos perdieron el miedo a los infinitos que los griegos les haban tenido: Kepler y Cavalieri fueron los primeros en usarlos, empezaron a andar un camino que llevara en medio siglo al descubrimiento del clculo infinitesimal. El primer paso importante se debe a Cavalieri -discpulo de Galileo-. Cavalieri considera reas formadas por segmentos y volmenes formados por trozos de reas planas redescubriendo las bases metodolgicas del mtodo mecnico -y desconocido en aquella poca- de Arqumedes. Cavalieri incluso fue ms all intentando construir una teora de indivisibles que le permitiera, evitando los infinitos, demostrar rigurosamente sus resultados -cosa que no consigui ya que el infinito en acto siempre acababa apareciendo en alguna parte-. Las desventajas de su mtodo de indivisibles -poca generalidad, debilidad lgica, excesivos razonamientos y procedimientos geomtricos- fueron rpidamente superados por Torricelli, Fermat, Pascal Wallis y Roberval. Otro de los protagonistas de nuestra historia es, sin duda, Grgoire de Saint-Vicent, jesuita discpulo de Clavius al que ya encontramos en el apartado de astronoma reformando el calendario. Sus principales aportaciones las public en su Opus geometricum de cuya primera edicin de 1647 podemos admirar un ejemplar (izquierda). En ella desarrolla un mtodo de integracin geomtrico, estudia las series geomtricas incluyendo diversas aplicaciones de las mismas discutiendo, como no, la conocida apora de Zenn sobre Aquiles y la tortuga que adems resolva magistralmente argumentando que Zenn no consider en la persecucin de Aquiles que el tiempo formaba una progresin geomtrica de razn 1/2 y por tanto tardaba un tiempo finito en alcanzar a la tortuga. Finalmente, una de sus aportaciones ms valiosas consisti en que encontr que el rea encerrada bajo una hiprbola se expresaba mediante los logaritmos. Este resultado es el que justamente podemos admirar en la foto de su obra ya mencionada. Nuestro prximo personaje es John Wallis, miembro fundador de la Royal Society de Londres y editor de obras de Arqumedes que adems escribi una Gramtica inglesa -como ya antes ya haba hecho Nebrija con la castellana-. Wallis aritmetiz los indivisibles de Cavalieri asignndoles valores numricos convirtiendo de esta forma el clculo de reas -hasta el momento algo

meramente geomtrico- en clculos aritmticos ms un primitivo proceso al lmite haciendo adems un uso descarado del infinito -a l debemos tambin el smbolo que usamos actualmente, ese 8 acostado-. Es curiosa la opinin que l mismo profesaba de sus mtodos: Este procedimiento es altamente heterodoxo, pero puede verificarse mediante el bien conocido mtodos de figuras inscritas y circunscritas, lo que es superfluo, porque la frecuente iteracin produce nuseas al lector. Cualquier ducho en la materia puede realizar la prueba, escribi en su Arithmetica infinitorum. Usando su mtodo aritmtico, la induccin incompleta y su intuicin lleg a calcular el rea de todas las parbolas generalizadas xrcon r racional excluyendo al -1, adems de una bellsima frmula para calcular Pi Pi = 22446688 4 1335577 Presentamos aqu una foto de la portada del libro De Algebra tractatus correspondiente a su primera edicin latina de 1693 contenido en su Operum mathematicorum. El trabajo de Wallis influy enormemente en Newton quien asegur que el desarrollo del binomio y otras ideas iniciales sobre el clculo tuvieron los orgenes en el estudio que realiz del libro de Wallis en su poca de estudiante en Cambridge. El mismo Wallis propone una genealoga del clculo:

Mtodo de Exhaucin (Arqumedes) Mtodo de los indivisibles (Cavalieri) Aritmtica de los infinitos (Wallis) Mtodos de las series infinitas (Newton)

Dediquemos algn tiempo a comentar los mtodos infinitesimales relacionados con el clculo de tangentes, que junto al de reas consituyeron la base del clculo. En la parte central del siglo XVII, las cantidades infinitesimales, los fantasmas de cantidades desaparecidas, como alguien las llam en el siglo XVIII, fueron cada vez ms usadas para resolver problemas de clculos de tangentes reas, volmenes, etc.; los primeros daran origen al clculo diferencial, los otros al integral. Como hemos mencionado Saint Vincent, Pascal, Wallis, ... siguieron los pasos de Kepler y Cavalieri; adems de los infinitsimos cada vez usaban ms frmulas y menos dibujos: la geometra analtica cumpla su funcin de puente entre la geometra y el anlisis. Si Isaac Barrow, el maestro de Newton en Cambridge la hubiera estudiado bien, podra haber arrebatado a su discpulo el descubrimiento del clculo. En efecto, como ya comentamos, la geometra analtica ampli considerablemente el horizonte de las curvas geomtricas. Un ejemplo de tales fue el logaritmo. Surgidos de la necesidad de ahorrar tiempo y evitar errores en los engorrosos clculos usados por los astrnomos -tenan que realizar una ingente cantidad de multiplicaciones, divisiones y

extracciones de races- fueron descubiertos independientes por Napier y Brgi terminaron convirtindose en una curva a la que se poda calcular su rea -lo hizo SaintClement- y su tangente, etc. Mostramos a la derecha un ejemplar de la segunda edicin de la obra de Napier Logaritmorum canonis descriptio ... de 1619 que inclua una explicacin detallada de como se ha de elaborar una tabla de logaritmos no incluida en a primera edicin de 1614. Este incremento de nuevas curvas hizo imprescindible el desarrollar nuevos mtodos para calcular tangentes. Uno de ellos fue el mtodo de adigualdades de Pierre Fermat que serva adems para calcular mximos y mnimos. Esto unido a sus trabajos sobre cuadraturas le hacen merecedor de un puesto de honor como precursor del clculo. Newton en una carta descubierta en 1934 escribi en relacin con sus ideas para el desarrollo del clculo: La indicacin me la dio el mtodo de Fermat para las tangentes. Aplicndolo a las ecuaciones abstractas directas e inversamente, yo lo hice general. Sin duda Fermat fue uno de los mejores matemticos del siglo XVII y el mejor matemtico aficionado de la historia -y no precisamente por su "larga" demostracin que no entraba en el estrecho margen de la obra de Diofanto y que le ha hecho famoso fuera del crculo estrictamente matemtico- por sus contribuciones importantes en casi todas las ramas de las matemticas que emergieron en ese siglo. Mostramos aqu una foto de la portada de su Varia opera mathematica publicada pstumamente por su hijo en 1679. Relacionado con los problemas de tangentes surgi a mediados del XVII el llamado problema inverso de tangentes, es decir, deducir una curva a partir de las propiedades de sus tangentes. El primero en plantear un problema de este tipo fue Florimond de Beaune, discpulo de Descartes, quien plante, entre otros, el problema de encontrar la curva con subtangente constante. El propio Descartes lo intent sin xito siendo Leibnitz el primero en resolverlo en la la primera publicacin de la historia sobre el clculo infinitesimal. De hecho un elemento esencial para el descubrimiento del clculo era el reconocimiento de que el problema de las tangentes y las cuadraturas eran problemas inversos, de hecho es por eso que la relacin inversa entre la derivacin y la integracin es lo que hoy, con toda justicia y razn, llamamos Teorema fundamental del clculo. Pero pasemos ya al Clculo. Newton en su clebre frase Si he llegado a ver ms lejos que otros es por que me sub a hombros de gigantes se refiere entre otros a su maestro y mentor Isaac Barrow. Barrow fue probablemente el cientfico que estuvo ms cerca de descubrir el clculo. Lleg a las matemticas en su afn de comprender la teologa -de hecho se marcho de su ctedra en Cambridge, cedindosela a Newton para continuar sus estudios teolgicos-. En la leccin X de su obra Letiones opticae & geometricae Barrow demuestra su versin geomtrica del Teorema fundamental del clculo. Podemos admirar el comienzo de esa leccin as como la figura 109 directamente relacionada con el teorema que Barrow

explica como que el valor de la pendiente de la tangente en F a VIFI se corresponde con el segmento DE, o sea, si trazamos la tangente a la curva cuadratriz VIFI en un punto, se obtiene como pendiente para esta recta tangente el valor de la curva inicial en ese punto.

En el ltimo cuarto del siglo XVII, Newton y Leibnitz, de manera independiente, sintetizaron de la maraa de mtodos infinitesimales usados por sus predecesores dos conceptos, los que hoy llamamos la derivada y la integral, desarrollaron unas reglas para manipular la derivada -reglas de derivacin-y mostraron que ambos conceptos eran inversos- teorema fundamental del clculo-: acababa de nacer el clculo infinitesimal. Para resolver todos los problemas de cuadraturas, mximos y mnimos, tangentes, centros de gravedad, etc que haban ocupado a sus predecesores bastaba echar a andar estos dos conceptos mediante sus correspondientes reglas de clculo El primero en descubrirlo fue Newton, pero su fobia a publicar le hizo guardar casi en secreto su descubrimiento. Newton gest el clculo en sus anni mirabilis (1665-1666) cuando se refugiaba en su casa materna de la epidemia de peste que asolaba Inglaterra. De hecho su primer a obra sobre el clculo De analyse per aequationes numero terminorum infinitas -que le vali la ctedra lucasiana que dej su maestro Barrow- fue finalizada en 1669 aunque slo la public en 1711 -contmplese una foto de la portada de su primera edicin donde adems admiramos el clculo del rea bajo la parbola x m/n usando el teorema fundamental del clculo mediante primitivas-. Ntese adems la aparicin de las famosas Epistola prior y Epistola posterior, sendas cartas dirigidas a Leibnitz. En ambas Newton explica muy someramente bsicamente se centra en el teorema del binomio-, en la primera, e incomprensiblemente, en la segunda, su mtodo de clculo. La segunda obra de Newton sobre el clculo fue escrita dos aos ms tarde en 1671 pero esperara hasta 1737 para ver la luz !diez aos despus de su muerte y 66 despus de escrita!. Se trata de De methodis serierum et fluxionum. En ella Newton describe sus conceptos de fluente -es una variable en funcin del tiempo- y fluxin de la fluente -la derivada respecto al tiempo de la fluente- como entidades propias, con unas reglas algortmicas de fcil uso que luego usar para resolver distintos problemas de mximos y mnimos, tangentes, cuadraturas -en relacin a este ltimo, estableci el ya mencionado Teorema fundamental del clculo-. Para demostrar la

potencia de su clculo Newton se dedica en unas "pocas" pginas a resolver todos los problemas de clculo de tangentes, reas, etc que haban ocupado a sus predecesores. En la figura de la izquierda podemos admirar una pgina de dicho libro, abierto por la pgina donde Newton "destroza" la concoide de Nicmedes con su nuevo mtodo de clculo. Una pregunta que casi inmediatamente aflora en la mente es por qu Newton tard tanto en publicar sus resultados? A parte de su peculiar personalidad y las distintas disputas que tuvo con muchos de sus contemporneos, Newton era consciente de la dbil fundamentacin lgica de su mtodo de clculo de fluxiones -no obstante siempre hubo copias de sus trabajos circulando entre sus amigos-. Este temor tambin est patente en su obra cumbre: Los Principia, donde opt por un lenguaje geomtrico ms riguroso -y obscuro- eliminando todo indicio de su clculo que probablemente us -se puede encontrar una nica mencin del mismo en el lema II de la seccin II del libro II: la regla para derivar productos-. Leibnitz, ms conocido como filsofo, fue el otro inventor del clculo. Su descubrimiento fue posterior al de Newton, aunque Leibnitz fue el primero en publicar el invento. Lo hizo adems usando una va ciertamente novedosa en aquella poca: para facilitar la difusin de sus resultados los public en una de las recin creadas revistas cientfico filosficas el Acta Eroditorum que el mismo haba ayudado a fundar -eran ciertamente momentos importantes para la ciencia donde empezaron a aparecer las revistas cientficas que permitiran luego y hasta nuestro das la difusin del conocimiento y los descubrimientos cientficos-. Durante una estancia en Pars ya que era un afamado diplomtico- Leibnitz conoce a Huygens quien le induce a estudiar matemticas. En 1673, luego de estudiar los tratados de Pascal, Leibnitz se convence que los problemas inversos de tangentes y los de cuadraturas eran equivalentes. Alejndose de estos problemas, a partir de sumas y diferencias de sucesiones comienza a desarrollar toda una teora de sumas y diferencias infinitesimales que acabaran en la gestacin de su clculo por el ao 1680 y a diferencia de Newton si lo publica en las mencionadas Actas con el ttulo "Un nuevo mtodo para los mximos y los mnimos, as como para las tangentes, que no se detiene ante cantidades fraccionarias o irracionales, y es un singular gnero de clculo para estos problemas". En este artculo de 6 pginas -e incomprensible como el mismo luego reconoce- Leibnitz recoge de manera esquemtica sin demostraciones y sin ejemplos su clculo diferencial un enigma ms que una explicacin dijeron de l los hermanos Bernoulli-. Tambin el l Leibnitz resuelve el ya mencionado problema de De Beaune encontrando que la solucin era el logaritmo. El siguiente artculo de Leibnitz se llam "Sobre una geometra altamente oculta y el anlisis de los indivisibles e infinitos", tambin publicado en las Actas Eroditorum en 1686. En l aparece por primera vez la notacin para la integral que todava

hoy usamos -en en primero introduce la notacin "dx" para el diferencial-. Encima a la derecha podemos admirar este trabajo aunque por razones tipogrficas en vez de la S alargada para la integral aparece una especie de f. Como colofn a estas pginas y a nuestra Exposicin virtual dedicaremos unas lneas a tratar la mayor de todas las disputas que ha conocido la ciencia: la prioridad de la invencin del clculo. Las suspicacias entre Newton y Leibnitz y sus respectivos seguidores, primero sobre quin haba descubierto antes el clculo y, despus, sobre si uno lo haba copiado del otro, acabaron estallando en un conflicto de prioridad que amarg los ltimos aos de ambos genios. Para comenzar diremos que la disputa fue evitable pues los mtodos de ambos genios tienen importantes diferencias conceptuales que indican claramente la gnesis independiente de los mismos. Newton consideraba las curvas generadas por el movimiento continuo de un punto basndose su clculo diferencial en la medida de la variacin de la misma -de su fluir- mientras que Leibnitz consideraba una curva como formada por segmentos de longitud infinitesimal cuya prolongacin generaba la tangente en cada punto y de cuya geometra se obtiene la correspondiente relacin entre las diferenciales. Incluso la fundamentacin de ambos mtodos es totalmente distinta. Si el de Newton fue resuelto totalmente mediante el concepto de lmite, el de Leibnitz tuvo que esperar hasta la dcada 1960-70 hasta la aparicin del Anlisis no estndar de Abrahan Robinson. La polmica en cuestin se fragu a finales del siglo XVII: por un lado Leibnitz no haba hecho ninguna alusin al clculo infinitesimal de Newton -que el mismo Newton le haba indicado que existan en sus Epistolae- adems que en Holanda -como le asegur Wallis- se atribua el clculo a Leibnitz, eso sin contar que los discpulos de Leibnitz haban publicado el primer libro sobre el clculo: el Analyse des infiniment petits que redact el Marquz de L'Hospital a partir de las clases particulares que le dio Juan Bernoulli y de cuya primera edicin podemos admirar una foto -ntese que no aparece el nombre de su autor por ningn sitio-. La respuesta de los segidores de Newton no se hace esperar. Primero el propio Newton hace publicar en el tercer volumen de las obras matemticas de Wallis -que ya vimos antesla correspondencia cursada con Leibnitz las Epistolae prior & posterior donde este peda a Newton le enviase resultados sobre series, luego Fatio de Duillier, amigo de Newton, acusa a Leibnitz de haber plagiado a Newton y como no, en su ya mencionada De quadratura curvarum, Newton alega En una carta escrita a Sr. Leibnitz en 1676 y publicada por Wallis, mencionaba un mtodo por el cual haba encontrado algunos teoremas generales acerca de la cuadratura de figuras curvilneas [...] Hace aos yo prest un manuscrito conteniendo tales teoremas; y habindome encontrado desde entonces con varias cosas copiadas de l, lo hago pblico en esta ocasin . La respuesta de Leibnitz no se hizo esperar. En una resea del De quadratura curvarum, publicada annimamente -aunque era fcil reconocer a su autor: Leibnitz- en 1705 en las Actas se dice Para entender mejor este libro

los siguientes hechos deben ser conocidos. Cuando una cantidad vara continuamente como, por ejemplo, una lnea vara por el fluir de un punto que la describe, aquellos incrementos momentneos son llamados diferencias [...] Y por tanto ha aparecido el clculo diferencial y su converso, el clculo sumatorio. Los elementos de este clculo han sido publicados por su inventor el Dr. Gottfried Wilhelm Leibnitz en estas Actas, y sus varios usos han sido mostrados por l y por los Drs. y hermanos Bernoulli y por el Dr. Marquz de L'Hospital. En vez de las diferencias Leibnitzianas, el Dr. Newton emple, y ha empleado siempre, fluxiones donde queda patente la alusin a Leibnitz y sus discpulos y a Newton sin que est claro si ste es uno de aquellos. Esta resea fue el detonante del mayor ataque contra Leibnitz desde las Philosophical Transactions firmado por John Keill quien acusa abiertamente a Leibnitz de plagio. Tras la protesta de Leibnitz la Royal Society nombra una comisin -que result estar plagada de amigos de Newton- que luego de varias deliberaciones dictamin que Newton fue el primero y no acus a Leibnitz -aunque tampoco rectific las duras palabras de Keill-. Esta absurda guerra dur hasta principios del siglo XIX cuando finalmente los matemticos ingleses deciden adoptar la notacin Leibnitziana -que hasta el momento haban ignorado-, con gran perjuicio para los matemticos ingleses ya que la matemtica inglesa qued aislada del resto de la del continente. Para cerrar nuestra exposicin vamos a relatar, a modo de ejemplo de la gran potencia del clculo, uno de los problemas que se resolvi gracias a la nueva herramienta descubierta por Newton y Leibnitz: el problema de la braquistocrona. El problema consista en determinar la curva por la que un cuerpo desciende en el menor tiempo posible entre dos puntos que no estn en posicin vertical u horizontal. Este problema ya interes en su da a Galileo aunque ste fue incapaz de resolverlo -lo cual no es raro pues para resolverlo se precisaba del clculo-. La historia es como sigue. En el nmero de junio de 1696 de las Actas Eroditorum, Juan Bernoulli lanz un reto a los mejores matemticos del mundo -este reto lo podemos ver en la foto a la izquierda de dicho artculo de Bernoulli-. En realidad era un reto encubierto a Newton. Al cabo del ao -el plazo original fue de seis meses pero a peticin de Leibnitz se ampli para que tuvieran tiempo los matemticos franceses e italianos que se haban enterado tarde- aparecieron cinco soluciones: una de Leibnitz, una del mismo Juan Bernoulli, otra de su hermano Jacobo, una del conde Walter de Tschirnhaus, del Marquz de L'Hospital y una annima. Todas, excepto la de L'Hospital daban con la solucin: la cicloide. Quin era ese autor annimo que escogi las Philosophical Transactions para publicar su genial solucin que slo contena 67 palabras? -la cual podemos admirar en la foto de la derecha-. Un vistazo a la solucin fue suficiente para que Juan Bernulli exclamara tanquam ex ungue leonen, algo as como reconozco al len por sus garras! pues claro est que era Newton. Aos ms tarde se aclar toda la

historia. Como ya dijimos el reto estaba dirigido a los matemticos ingleses y a Newton en particular justo en el momento en que comenzaba la polmica sobre la prioridad para ver si el clculo de Newton era tan bueno y poderoso para resolverlo. Adems, en una carta de Leibnitz a Juan Bernulli ste conjetura que slo quien conozca el clculo podr resolverlo Newton entre ellos claro est-. Incluso aos despus, ya en plena polmica, Leibnitz en una resea a la solucin del problema afirmaba el problema no poda ser resuelto sin la ayuda de su recin inventado mtodo que slo aquellos que haban profundizado lo suficiente en su estudio podan resolverlo: estos eran los Bernoulli, L'Hospital y Newton. Este juego de palabras de Leibnitz donde se poda deducir que Newton era un discpulo de suyo fue el otro gran detonante de la guerra que ya mencionamos antes de Duillier. Como no poda ser de otra forma el reto lleg a Newton aunque por aquel entonces ya no "haca ciencia" sino que se trabajaba en la Casa de la Moneda inglesa. Segn cuenta la sobrina de Newton, este recibi el problema a las 4 de la tarde cuando regres cansado de la Casa de la Moneda y tena lista su solucin 12 horas despus -aunque lo que probablemente no saba la sobrina era que Newton ya haba pensado en ese problema unos aos antes y que casi seguro lo haba resuelto por lo que slo tuvo que refrescar la memoria ese da-. Nuevamente aparece la misma pregunta: Si Newton ya haba resuelto el problema por qu no lo public? Como respuesta final a esta pregunta tomaremos la que dio Augusto de Morgan Cada descubrimiento de Newton tena dos aspectos. Newton tuvo que hacerlo y, luego, los dems tenamos que descubrir que l lo haba hecho.

Leibniz y Newton del clculo controversia


El clculo de la controversia fue una discusin entre el siglo XVII los matemticos Isaac Newton y Gottfried Leibniz (iniciado o fomentado en parte por sus discpulos y colaboradores - vase el Desarrollo de la disputa ms adelante) sobre quin haba inventado el clculo. Newton afirm haber comenzado a trabajar en una forma de clculo (que l llama " el mtodo de fluxiones y fluentes ") en 1666, pero no lo publico, excepto como una anotacin de menores en la parte posterior de uno de sus dcadas posteriores publicaciones. (Un manuscrito de Newton pertinentes de octubre 1666 se publica ahora entre sus trabajos matemticos. [1] .) Gottfried Leibniz empez a trabajar en su variante de clculo en 1674, y en 1684 public su primer empleo de la misma. L'Hopital public un texto en Leibniz el clculo en 1696 (en la que expres el reconocimiento acerca de Newton "Principia" de 1687, que el trabajo de Newton fue "casi todo acerca de este clculo. [2] ) Mientras tanto, Newton, a pesar de que explic su (geomtrica), forma de clculo en Seccin I del Libro I de los "Principia" de 1687, [3], no explic su fluxional notacin final para el clculo de impresin hasta 1693 (en parte) y 1704 (en su totalidad). Durante su visita a Londres en 1676, Leibniz se mostr por lo menos un manuscrito indito de Newton, se plantea la cuestin de si o no el trabajo de Leibniz se bas en realidad en la idea de Newton. Es una pregunta que haba sido la causa de una polmica intelectual ms importante que se descubri por primera vez el clculo, que comenz a fuego lento en 1699 y estall en pleno vigor en 1711.

La disputa
Los ltimos aos de la vida de Leibniz, 1709-1716, fueron amargados por una larga controversia con John Keill , Newton y otros, sobre si Leibniz haba descubierto el clculo independientemente de Newton, o si l haba inventado ms que otra notacin para las ideas que eran fundamentalmente de Newton . Newton manipulado la disputa. El aspecto ms notable de esta lucha estril, fue que ninguno de los participantes dud ni por un momento en que Newton ya haba desarrollado su mtodo de fluxiones cuando Leibniz empez a trabajar en el clculo diferencial. Sin embargo, hubo al parecer ninguna prueba ms all de la palabra de Newton. Haba publicado un clculo de la tangente con la nota: "Esto es slo un caso especial de un mtodo general por el cual puedo calcular las curvas y determinar mximos, mnimos, y los centros de gravedad". Cmo esto se hizo, explic a un alumno una completa veinte aos ms tarde, cuando los artculos de Leibniz ya estaban bien leer. manuscritos de Newton sali a la luz slo despus de su muerte. El clculo infinitesimal se puede expresar en la notacin de las fluxiones o en el de las diferencias , o, como se seal anteriormente, tambin se expres por Newton en forma geomtrica, como en el "Principia" de 1687. Newton fluxiones empleado ya en 1666, pero no public un relato de su anotacin hasta 1693. El uso ms antiguo de los diferenciales en los cuadernos de Leibniz puede remontarse a 1675. Emple esta notacin en una carta de 1677 a Newton. La notacin diferencial tambin apareci en las memorias de Leibniz de 1684. La afirmacin de que Leibniz invent el clculo independientemente de Newton se basa en el hecho de que Leibniz 1. Public una descripcin de su mtodo, algunos aos antes de que algo impreso en fluxiones de Newton; 2. Siempre se alude al descubrimiento como su propia invencin. Por otra parte, esta declaracin fue indiscutible algunos aos; 3. Con razn cuenta con la fuerte presuncin de que l actu de buena fe; 4. Demuestra en sus papeles privados su desarrollo de las ideas del clculo de una manera independiente del camino seguido por Newton Segn los detractores de Leibniz, para refutar este caso es necesario demostrar que l (I) vio algunos de los trabajos de Newton sobre el tema en o antes de 1675 o por lo menos 1677, y (II) obtenido las ideas fundamentales del clculo de los documentos . Ellos ven el hecho de que la demanda de Leibniz fue indiscutible desde hace algunos aos que carecen de importancia. No se trat de refutar # 4, que no se conoca en ese momento, sino que proporciona una fuerte evidencia de que Leibniz lleg al clculo independientemente de Newton. Por ejemplo Leibniz lleg primero a la integracin , que vio como una generalizacin de la

suma de las series infinitas, mientras que Newton comenz a partir de derivados. Sin embargo, para ver el desarrollo del clculo como totalmente independiente entre la obra de Newton y Leibniz se pierde el punto de que ambos tenan algn conocimiento de los mtodos de los dems, y de hecho trabajaron juntos en algunos aspectos, en particular, series de potencias , como se muestra en una carta a Henry Oldenburg, de fecha 24 de octubre 1676 donde se seala que Leibniz haba desarrollado una serie de mtodos, uno de los cuales era nuevo para l. Tanto Leibniz y Newton poda ver por el presente Canje de Notas que el otro estaba tan avanzado hacia el clculo (Leibniz, en particular, se menciona), pero slo Leibniz fue empujado por tanto en la publicacin. Que Leibniz vio algunos de los manuscritos de Newton haba sido siempre probable. En 1849, CJ Gerhardt , mientras va a travs de los manuscritos de Leibniz, que se encuentran extractos de los De Newton Anlisis, por Equationes Numero terminorum Infinitas (publicado en 1704 como parte de la quadratura curvarum De sino que tambin haba sido distribuido entre los matemticos de partida con Newton dar una copia a Isaac Barrow en Barrow 1669 y de enviarlo a John Collins [4] ) en la escritura a mano de Leibniz, cuya existencia haba sido previamente insospechada, junto con las notas re-expresin de los contenidos de estos extractos en la notacin de diferenciales de Leibniz. Por eso, cuando estos extractos fueron hechos se convierte en lo ms importante. Se sabe que una copia de los manuscritos de Newton haba sido enviado a Tschirnhaus mayo 1675, un momento en que estaban colaborando y Leibniz, no es imposible que estos extractos se hicieron entonces. Tambin es posible que se haya hecho en 1676, cuando Leibniz debati anlisis de series infinitas con Collins y Oldenburg. A priori, es probable que habra luego le muestra el manuscrito de Newton sobre el tema, una copia de la cual uno o ambos de ellos seguramente posean. Por otro lado se puede suponer que Leibniz hizo los extractos de la copia impresa en o despus de 1704. Poco antes de su muerte, Leibniz admiti en una carta al abad Antonio Conti , que en 1676 Collins le haba mostrado algunos de los documentos de Newton, Leibniz, sino tambin a entender que eran de poco o ningn valor. Es de suponer que se refera a Newton cartas de 13 de junio y 24 de octubre 1676, y la carta de 10 de diciembre 1672, para el clculo de tangentes , extractos de los que acompaaban a la carta de 13 de junio. Ya sea que Leibniz hizo uso del manuscrito de la que haba copiado sus extractos, o si l haba inventado antes el clculo, son cuestiones sobre las que no hay evidencia directa est disponible en la actualidad. Es, sin embargo, cabe sealar que el indito Portsmouth documentos muestran que cuando Newton fue cuidadosamente (pero con un sesgo evidente) en toda la disputa en 1711, l eligi este manuscrito como la que probablemente haba cado en alguna de las manos de Leibniz. En ese momento no haba evidencia directa de que Leibniz haba visto el manuscrito antes de que fuera impreso en 1704; por lo tanto, la conjetura de Newton no se public. Pero el descubrimiento de Gerhardt de una copia realizada por Leibniz tiende a confirmar su exactitud. Aquellos que cuestionan la buena fe de Leibniz alegan que a un hombre de su capacidad, el manuscrito, especialmente si se complementa con la carta de 10 de diciembre 1672, suficiente para darle una pista en cuanto a los mtodos de clculo. Puesto que el trabajo de Newton de que se trata emple la notacin fluxional, la creacin de cualquier usuario de que el trabajo tendra que inventar una anotacin, pero algunos lo niegan.

Desarrollo de la pelea
La disputa era un asunto de carcter retrospectivo. En 1696, ya algunos aos ms tarde que los acontecimientos que se convirti en el objeto de la querella, la situacin todava pareca potencialmente pacfica: Newton y Leibniz haba hecho cada uno de los reconocimientos limitada del trabajo del otro, y L'Hpital 1696 libro sobre el clculo de un leibniziana punto de vista tambin haba reconocido publicado trabajos de Newton de la dcada de 1680 como casi todo acerca de este clculo '(' Presque tout de ce calcul '), al tiempo que expres su preferencia por la conveniencia de la notacin de Leibniz. [2] Al principio, no haba razn para sospechar de buena fe de Leibniz. En 1699 Nicolas Fatio de Duillier acus a Leibniz de plagio de Newton, pero Fatio no era una persona de importancia. No fue sino hasta la publicacin de 1704 de un examen annimo de las vas de Newton sobre la cuadratura , una revisin de lo que implica que Newton haba tomado prestada la idea de la fluxional clculo de Leibniz, que cualquier matemtico responsable duda de que Leibniz haba inventado el clculo independientemente de Newton. Con respecto a la revisin del trabajo de cuadratura de Newton, todos admiten que no existe ninguna justificacin o la autoridad a las declaraciones formuladas en el mismo, que se atribuye con razn a Leibniz. Pero el debate posterior dio lugar a un examen crtico de toda la cuestin, y ha surgido dudas. Leibniz haba derivado la idea fundamental del clculo de Newton? El caso en contra de Leibniz, ya que parece que los amigos de Newton, se resume en la epistolicum Commercium de 1712, que hace referencia a todas las denuncias. Dicho documento fue completamente mecanizadas por Newton. No hay resumen de este tipo (con hechos, fechas y referencias) del caso de Leibniz fue emitida por sus amigos, pero Johann Bernoulli intent debilitar la evidencia indirecta al atacar el carcter personal de Newton en una carta de fecha 7 de junio 1713. Cuando se presiona para obtener una explicacin, Bernoulli ms solemne neg haber escrito la carta. Al aceptar el rechazo, Newton agreg en una carta privada a Bernoulli las siguientes observaciones, aleg razones de Newton por la cual tom parte en la controversia. "Nunca", dijo, "se aferr a la fama entre las naciones extranjeras, pero estoy muy deseoso de conservar mi carcter de honestidad, que el autor de esa carta, como por la autoridad de un gran juez, ha tratado de arrebatar de m. Ahora que soy viejo, tengo el honor poco en los estudios de matemticas, y nunca han tratado de difundir mis opiniones sobre el mundo, pero tengo ms cuidado de no meterme en conflictos a causa de ellos. " Leibniz explica su silencio de la siguiente manera, en una carta a Conti de 9 de abril 1716: "Pour rpondre de punto es un punto de l'ouvrage publi contre moi, il entrer dans falloit sin dtail grandes por cantidad de minuties passes il ya trente ans quarante, dont je ne me souvenois Guere: il me falloit Chercher mes vieilles lettres, No plusiers s perdus sont, outre Que le plus souvent je n'Ai punto Gard minutos les des miennes: et les autres sont dans des ensevelies tas de grandes papeles, Que je ne pouvois dbrouiller qu'avec du temps y de la paciencia, mais je n'en avois Guere le loisir, donns prsentement encargado de ocupaciones d'une autre toute la naturaleza. "

["A fin de responder punto por punto a todos los trabajos publicados en mi contra, que tendra que entrar en minucias mucho de lo que ocurri hace treinta o cuarenta aos, de la que recuerdo poco: tendra que buscar mis viejas cartas, de los cuales muchos se pierden. Por otra parte, en la mayora de los casos que no guarde una copia, y cuando lo hice, la copia est enterrado en un gran montn de papeles, que podra ordenar a travs de slo con el tiempo y la paciencia. He disfrutado de poco tiempo libre, siendo lo lastrado en los ltimos tiempos con las ocupaciones de carcter totalmente diferente. "] Si bien la muerte de Leibniz poner fin temporal a la polmica, el debate mantenido durante muchos aos. Para los partidarios acrrimos de Newton se trataba de un caso de la palabra de Leibniz en contra de una serie de detalles contrario, sospechoso. Su posesin no reconocida de una copia de parte de uno de los manuscritos de Newton puede ser explicable, pero parece que en ms de una ocasin, Leibniz deliberadamente alterado o aadido a los documentos importantes (por ejemplo, la carta del 7 de junio de 1713, en el Volans Carta , y que el 8 de abril de 1716, en el Acta Eruditorum ), antes de publicarlos, y falsificado una fecha en un manuscrito (1675 ser modificada a 1673). Todo esto pone en duda su testimonio. Varios puntos deben tenerse en cuenta. Teniendo en cuenta la capacidad intelectual de Leibniz, como lo demuestran sus otros logros, tuvo ms de la necesaria pericia para inventar el clculo. Lo que se alega que recibi fue una serie de sugerencias en lugar de una cuenta del clculo, es posible que desde que l no public sus resultados de 1677 hasta 1684 y desde la notacin diferencial era su invencin, Leibniz puede haber minimizado, 30 aos ms tarde, cualquier beneficio que pueden haber disfrutado de la lectura de la obra de Newton en el manuscrito. Por otra parte, l podra haber visto la cuestin de quin se origin el clculo que carecen de importancia cuando se compara con el poder expresivo de su notacin. En cualquier caso, un sesgo a favor de Newton manchado todo el asunto desde el principio. La Real Sociedad estableci un comit para pronunciarse sobre el conflicto de prelacin, en respuesta a una carta que haba recibido de Leibniz. Esa comisin nunca pidi Leibniz para dar su versin de los hechos. El informe de la comisin, encontrando en favor de Newton, fue escrito por el propio Newton y publicado como "Commercium epistolicum" (mencionados anteriormente) a principios de 1713. Pero Leibniz no lo vi hasta el otoo de 1714. La opinin prevaleciente en el siglo XVIII estaba en contra de Leibniz (en Gran Bretaa, no en el mundo de habla alemana). Hoy el consenso es que Leibniz y Newton invent de forma independiente y se describe el clculo en Europa en el siglo 17. "Sin duda, fue Isaac Newton el primero que ide un nuevo clculo infinitesimal y elaborado en un algoritmo ampliamente extensibles, cuyas potencialidades se entiende completamente, de igual certeza, el diferencial y el clculo integral, la fuente de gran desarrollo que fluye continuamente desde 1684 hasta la actualidad da, fue creado independientemente por Gottfried Leibniz. " (Hall 1980: 1)

Un autor ha identificado la controversia acerca de como "profundamente diferentes mtodos: "A pesar de ... puntos de semejanza, los mtodos [de Newton y Leibniz] son profundamente diferentes, por lo que hacer la fila de la prioridad de un sentido." (GrattanGuiness de 1997: 247) Por otro lado, otros autores han hecho hincapi en las equivalencias y la traducibilidad recproca de los mtodos: aqu N Guicciardini (2003) parece confirmar L'Hopital (1696) (ya citado): "... Las escuelas de Newton y Leibniz para compartir un mtodo matemtico comn. Adoptaron dos algoritmos, el mtodo analtico de fluxiones, y el clculo diferencial e integral, que fueron un traducible en el otro." (Guicciardini 2003, en la pgina 250) [5]