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, B
1
, deAB. Ahora bien, para llegar a B
1
debe primero pasar por el punto
medio B
2
de AB
1
. 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 .

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 x
n
entre 0 y a era a
n+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 x
m
entre 0 y 1 y demostr que tena un valor aproximado de
(0
m
+ 1
m
+ 2
m
+...+ (n-1)
m
)/n
m+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 r
p
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.

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 e
x
.

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 x
n
se convierte en (x + o)
n
,
es decir, por el mtodo de series infinitas,
x
n
+ nox
n-1
+ (nn - n)/2 oox
n-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.