Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Historia Matematica Origenes Calculo PDF
Historia Matematica Origenes Calculo PDF
Granada, 2008
Contenido:
De la matemtica griega al origen del Clculo 3
1. Problemas de cuadraturas en las matemticas griegas 3
Cuadratura de un segmento de parbola por Arqumedes
rea de una espiral
Clculo de tangentes en la matemtica griega
2. Las matemticas en Europa en el siglo XVII 10
3. La integracin antes del Clculo 12
Los indivisibles de Cavalieri
Cuadratura de la cicloide por Roberval
Parbolas e hiprbolas de Fermat
La integracin aritmtica de Wallis
4. Orgenes y desarrollo del concepto de derivada 21
Clculo de tangentes y de valores extremos
El mtodo de mximos y mnimos de Fermat
El mtodo de las tangentes de Fermat
El mtodo de Roberval y Torricelli para las tangentes
El tringulo diferencial de Barrow
5. El resultado fundamental de Barrow 31
El nacimiento del Clculo: Newton y Leibniz 33
1. Newton y el clculo de uxiones 35
2. Leibniz y el clculo de diferencias 41
3. El Teorema Fundamental del Clculo segn Newton 46
4. La invencin del calculus summatorius por Leibniz 48
5. Newton y las series innitas 52
6. Desarrollo posterior del clculo diferencial 57
Evolucin de la idea de integral 499
De la matemtica griega al origen del Clculo
Es un buen ejercicio de clculo que compruebes estos resultados paso a paso. Te garan-
tizo que el resultado final obtenido es correcto. Un resultado parecido se obtiene para el
Problemas de cuadraturas en las matemticas griegas
caso en que b > a. Lo dejo para que lo hagas t.
8.8. Evolucin
Los problemas de la idea
de cuadraturas de problemas
son integral geomtricos que consisten en lo siguiente:
dada una gura, construir un cuadrado con rea igual a la de la gura dada. Esta construccin
8.8.1. Problemas de cuadraturas en las matemticas griegas
deba hacerse con regla no graduada y comps, siguiendo unas normas precisas. Segn lo
5 Los problemas de cuadraturas son problemas geomtricos que consisten en lo siguiente:
establecido en los Elementos de Euclides (c. 300 a.C.) la construccin debe constar de un
dada una figura, construir un cuadrado con rea igual a la de la figura dada. Esta construccin
nmero nito de
debapasos, cada
hacerse con reglauno de ellos
no graduada consistente
y comps, en:normas precisas. Segn lo esta-
siguiendo unas
blecido en los Elementos de Euclides (c. 300 a.C.) la construccin debe constar de un nmero
Trazar unafinito de pasos,
recta quecadaunaunodos
de ellos consistente en:
puntos.
Trazar
Intersecar dos de lasuna guras
circunferencia de centro y radio arbitrarios.
anteriores.
Intersecar dos de las figuras anteriores.
Son famosos los problemas de la cuadratura del crculo, la triseccin de un ngulo, la duplicacin
Son famosos losde
del cubo y la inscripcin problemas de la cuadratura
polgonos regulares del crculo,
en una la triseccin de un ngulo, la
circunferencia. En dupli-
la antigua Grecia se
cacin del cubo y la inscripcin de polgonos regulares en una circunferencia. En la antigua
saba cuadrar cualquier polgono.
Grecia se saba cuadrar cualquier polgono.
F G
A
O B E H
D C
Figura 8.26. Cuadratura de un rectngulo
Figura 1. Cuadratura de un rectngulo
Para cuadrar el rectngulo ABCD de la figura 8.26 se procede de la forma siguiente:
semicircunferencia.
Arqumedes
(Siracusa, Sicilia, 287 a.C. 212 a.C.)
Teorema. El rea del segmento parablico PVQ es igual a cuatro tercios del rea del tringulo
inscrito 4 PVQ.
Problemas de cuadraturas en las matemticas griegas 501
Q0
V
N
P0 M Q
Pero Arqumedes, que no sabe de convergencia de series ni falta que le hace, razona de forma
Una cuerda PQ de
muyuna
eleganteparbola
por medio de laes un
doble segmento
reduccin queen la
al absurdo usual une dos griega.
matemtica de sus puntos. La regin
plana acotada, cuya frontera
Paraest formada
ello hace porpropiedad
uso de la llamada la cuerda PQ yo axioma
arquimediana el arco de la parbola
de Arqumedes. Este comprendido
axioma aparece en el libro de Arqumedes La Esfera y el Cilindro as como en Sobre la Cua-
entre los puntos P y Q dratura
se llama un segmento
de la Parbola y en Espirales. Alparablico. Elfue
parecer, dicho axioma vrtice deporun
ya formulado segmento
Eudoxo. parablico
Como sabemos, la propiedad arquimediana establece que:
es el punto de la parbola en el cual la tangente es paralela a la cuerda que dene el segmento.
Dadas magnitudes cualesquiera a > 0 y b > 0, siempre es posible, por pequea
Se verica que el vrtice de un segmento parablico PVQ es el punto interseccin con la
que sea a y grande que sea b, conseguir que un mltiplo conveniente de a exceda
a b, es decir na > b para algn nmero natural n. 1
parbola de la recta paralela al eje de la parbola que pasa por el punto medio O= ( P + Q)
Partiendo de la propiedad arquimediana se deduce fcilmente el siguiente resultado, llamado 2
del segmento PQ. principio de convergencia de Eudoxo, en el que se basa el llamado mtodo de exhauscin
griego:
El tringulo 4 PVQ cuya base es el segmento PQ y cuyo otro vrtice es el vrtice V del
Universidad de Granada Prof. Javier Prez
segmento parablico le llamaremos el tringulo inscrito.
Dpto. de Anlisis Matemtico Clculo diferencial e integral
1 1
(4V NQ) = (4VOQ), (4V MP) = (4VOP)
4 4
Por tanto
1
(4V NQ) + (4V MP) = (4 PVQ) (1)
4
1
Llamando S al rea del tringulo 4 PVQ, el rea de los dos nuevos tringulos es S. Natural-
4
mente, este proceso se puede repetir ahora con cada uno de los cuatro segmentos parablicos
determinados por las cuerdas PM, MV , V N y NQ inscribiendo en ellos los respectivos tringulos,
1
la suma de cuyas reas ser igual a S. Y puede repetirse indenidamente.
16
Nosotros ahora acabaramos calculando el rea del segmento parablico por
1 4
n
S = S
n =0 4 3
Pero Arqumedes, que no sabe de convergencia de series ni falta que le hace, razona de forma
muy elegante por medio de la doble reduccin al absurdo usual en la matemtica griega.
Para ello hace uso de la llamada propiedad arquimediana o axioma de Arqumedes. Este
axioma aparece en el libro de Arqumedes La Esfera y el Cilindro as como en Sobre la Cuadratura
de la Parbola y en Espirales. Al parecer, dicho axioma fue ya formulado por Eudoxo. Como
sabemos, la propiedad arquimediana establece que:
Dadas magnitudes cualesquiera a>0 y b > 0, siempre es posible, por pequea que
sea a y grande que sea b, conseguir que un mltiplo conveniente de a exceda a b, es
decir na > b para algn nmero natural n.
Si de cualquier magnitud sustraemos una parte no menor que su mitad, y si del resto
sustraemos de nuevo una cantidad no menor que su mitad, y si continuamos repitiendo
este procesos de sustraccin, terminaremos por obtener como resto una magnitud
menor que cualquier magnitud del mismo tipo dada de antemano.
Arqumedes razona como sigue. Sea K el rea del segmento parablico PVQ.
4 4
(I) Supongamos que K> S; es decir, que K S > 0.
3 3
Como el rea del tringulo inscrito en un segmento parablico PVQ es la mitad del rea
del paralelogramo circunscrito PP0 QQ0 , la cual, a su vez, es mayor que el rea del segmento, se
sigue que el rea del tringulo inscrito en un segmento parablico es mayor que la mitad del rea
de dicho segmento, lo que permite aplicar el principio de convergencia de Eudoxo.
1 1 1
K, K S, K (S + S), K (S + S + S), . . .
4 4 16
cada una es menor que la mitad de la que le precede y, por tanto, en virtud del citado principio,
podemos concluir que en alguna etapa se tendr que
4 1 1 1
K S > K S + S + S + + nS
3 4 16 4
1 1 1 4 1 1
S + S + S + + nS = S S (2)
4 16 4 3 3 4n
1 1 1 4 4
la cual implica que S + S + S + + n S < S. Por tanto, no puede ser K > S.
4 16 4 3 3
4 4
(II) Supongamos que K < S; es decir, que S K > 0.
3 3
1 1 1
Como cada una de las reas S, S,
4 16 S, . . . , 4n S es menor que la mitad de la que le precede
y, por tanto, en virtud del principio de convergencia de Eudoxo, podemos concluir que en alguna
1
etapa se tendr que
4n S < 43 S K. Entonces
4 1 1 1 4 1 1 1
S K > nS > S = S S + S + S + + nS
3 4 3 4n 3 4 16 4
La espiral de Arqumedes es la curva que describe un punto material que se mueve con
velocidad uniforme a lo largo de una semirrecta que gira con velocidad angular uniforme alrededor
Problemas de cuadraturas en las matemticas griegas 505
espiral. El radio del crculo circunscrito es 2a. Para ello dividimos este crculo en sectores de
amplitud # D 2=n, desde # D 2k=n a # D 2.k C 1/=n para k D 0; 1; : : : ; n 1. En cada
sector examinamos el arco de espiral que queda dentro del mismo y acotamos el rea corres-
pondiente a dicho arco de espiral entre las reas de dos sectores circulares. Teniendo en cuenta
que el rea de un sector circular de radio r y amplitud ' radianes es 12 r 2 ', resulta que el rea de
sector circular ms grande inscrito en cada arco de espiral es 12 .a2k=n/2 .2=n/, y el rea de
de su extremo. Es un ejemplo de las llamadas curvas mecnicas. La ecuacin polar de una espiral
sector circular ms pequeo circunscrito a cada arco de espiral es 12 .a2.k C 1/=n/2 .2=n/.
de Arqumedes es de la forma
Deducimos S=, deala,espiral
que el rea, donde a>
verifica 0 es una constante.
que:
n 1 2 de Granada 3 2
Universidad n 1 n 2Prof. Javier Prez3 2 n
1 a2k 4 a
2 Matemtico 1 a2k 4 a
2 e integral
2
Dpto. de Anlisis
n n
=
n3 k <S< 2
2 Clculo diferencial
n n
=
n3 k2
k =0 k =0 k =1 k =1
n
1
Arqumedes conoca que k2 = 6 n(n + 1)(2n + 1). Usando este resultado podemos escribir
k =1
la desigualdad anterior en la forma:
3 21 1 1 3 21 1 1
4 a 1 2 < S < 4 a 1+ 2+
6 n n 6 n n
Pongamos K = 13 (2a)2 que es una tercera parte del rea del crculo circunscrito. Restando K
en la desigualdad anterior y haciendo operaciones sencillas, obtenemos que:
3 1 3 1
K + 2 < SK < K + 2 ;
2n 2n 2n 2n
y como 1/n2 1/n, obtenemos que 2K/n < S K < 2K/n. Usando ahora el axioma de
Arqumedes se concluye que S = K.
La herencia matemtica griega pas a los rabes de donde regres a Europa ya en el siglo
XII. En estos siglos se desarroll sobre todo la aritmtica y los comienzos del lgebra. Pero hay
que esperar hasta el siglo XVII para que en Europa empiecen a notarse cambios signicativos en la
forma de hacer matemticas y a lograr avances que abren nuevas perspectivas. Las caractersticas
principales de las matemticas en el siglo XVII en Europa son las siguientes.
Basta hacer esta observacin [sobre las condiciones para poder aplicar el mtodo de
Arqumedes] una vez, para no obligarse a recordar y a insistir constantemente sobre
un articio bien conocido de todos los gemetras. . . As alcanzamos la conclusin
que podra ser fcilmente conrmada por una ms prolija prueba llevada a cabo a la
manera de Arqumedes.
Se podra demostrar todo esto utilizando las tcnicas arquimedianas, pero supondra
un gran esfuerzo.
Para hacernos una idea clara de los precedentes que condujeron a la invencin del Clculo,
lo mejor es estudiar cmo fueron solucionados algunos de los problemas por los matemticos de
los dos primeros tercios del siglo XVII. Consideraremos problemas de cuadraturas y de clculo de
tangentes.
La integracin antes del Clculo
Entre los matemticos del siglo XVII era general el deseo de encontrar un mtodo para
obtener resultados y que, a diferencia del mtodo de exhauscin, fuera directo. Y mejor que
mejor si el nuevo mtodo, aparte de dar resultados, pudiera ser utilizado para demostrarlos.
El camino que siguieron fue el que se deriva de una concepcin intuitiva inmediata de
las magnitudes geomtricas. Se imaginaron un rea como formada, por ejemplo, por un nmero
innito de lneas paralelas. Kepler ya haba hecho uso de mtodos innitesimales en sus obras;
el inters que se tom en el clculo de volmenes de toneles de vino dio como resultado un
libro Nova stereometria doliurum vinariorum (1615). En l consideraba slidos de revolucin
como si estuvieran compuestos de diversas maneras por una cantidad innita de partes slidas.
Por ejemplo, consideraba una esfera como formada por un nmero innito de conos con vrtice
comn en el centro y base en la supercie de la esfera. Esto le conduca al resultado de que la
esfera es igual en volumen al cono que tiene como altura el radio de la esfera y como base un
crculo igual al rea de la esfera, es decir un crculo con el dimetro de la esfera como radio.
Galileo tena la intencin de escribir un libro sobre indivisibles, pero este libro nunca se
public.
Bonaventura Cavalieri
(Miln, 1598 Bolonia, 1647)
el inters que se tom en el clculo de volmenes de toneles de vino dio como resultado un
libro Nova stereometria doliurum vinariorum (1615). En l consideraba slidos de revolucin
como si estuvieran compuestos de diversas maneras por una cantidad infinita de partes slidas.
Por ejemplo, consideraba una esfera como formada por un nmero infinito de conos con vrtice
comn en el centro y base en la superficie de la esfera. Esto le conduca al resultado de que la
esfera es igual en volumen al cono que tiene como altura el radio de la esfera y como base un
crculo igual al rea de la esfera, es decir un crculo con el dimetro de la esfera como radio.
Galileo tena la intencin de escribir un libro sobre indivisibles, pero este libro nunca se
Bonaventura
public. Cavalieri (1598 - 1647), discpulo de Galileo y profesor en la Universidad de
Bolonia, public en 1635 un tratado Geometria Indivisibilibus Continuorum Nova quadam Ratione
Bonaventura Cavalieri (1598 - 1647), discpulo de Galileo y profesor en la Universidad
Promota
deen el que,
Bolonia, siguiendo
public ideas
en 1635 de Kepler
un tratado y Galileo,
Geometria desarroll
Indivisibilibus una tcnica
Continuorum geomtrica
Nova quadam para
calcular Ratione
cuadraturas, llamada
Promota mtodo
en el que, de los
siguiendo ideasindivisibles.
de Kepler yEn este mtodo,
Galileo, desarroll un
unarea de geo-
tcnica una regin
plana semtrica para formada
considera calcular cuadraturas, llamadainnito
por un nmero mtodo de
de los indivisibles.
segmentos En este mtodo,
paralelos, cada unoun rea
de ellos se
de una
interpreta comoregin
un plana se considera
rectngulo formada por
innitamente un nmero
estrecho; uninfinito
volumende segmentos paralelos,
se considera cada
compuesto por
uno de ellos se interpreta como un rectngulo infinitamente estrecho; un volumen se considera
un nmero innito de reas planas paralelas. A estos elementos los llama los indivisibles de rea
compuesto por un nmero infinito de reas planas paralelas. A estos elementos los llama los
y volumen respectivamente. En lneas generales los indivisibilistas mantenan, como expresa
indivisibles de rea y volumen respectivamente. En lneas generales los indivisibilistas man-
Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea est hecha de puntos
tenan, como expresa Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea
como unaestsarta
hechadedecuentas; el plano
puntos como est
una sarta dehecho deellneas,
cuentas; como
plano est unde
hecho tejido
lneas,decomo
hebras y un slido
un tejido
de reasdeplanas
hebrascomo un libro
y un slido de hojas.
de reas planas como un libro de hojas.
A B
F E
G H
D C
La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue.
Para demostrar que el paralelogramo ABCD tiene rea doble que cualquiera de los tringulos
La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue.
ABD o BCD, hace notar que cuando GD = BE, se tiene que GH = FE. Por tanto los
tringulos ABD y de
Universidad BCD estn constituidos por
Granada igual nmero de lneas iguales, tales como
Prof. Javier Prez GH y
EF, y por tanto
Dpto. sus reas
de Anlisis deben ser iguales.
Matemtico Clculo diferencial e integral
Cuadratura de la cicloide por Roberval
Gilles de Roberval
(Nol-Saint-Martin, Francia, 1602 Pars, 1675)
Para demostrar que el paralelogramo ABCD tiene rea doble que cualquiera de los tringulos
ABD o BCD, hace notar que cuando GD D BE, se tiene que GH D FE. Por tanto los
tringulos ABD y BCD estn constituidos por igual nmero de lneas iguales, tales como GH
y EF , y por tanto sus reas deben ser iguales.
En 1630,8.8.2.2. Cuadratura
Mersenne, de la cicloide
propuso a suspor Robervalmatemticos hacer la cuadratura de la cicloide.
amigos
Esta fue llevada Ena 1630,
caboMersenne,
por Gilles
propusoPersonne de Roberval
a sus amigos matemticos hacer laen 1634,deutilizando
cuadratura la cicloide. esencialmente el
Esta fue llevada a cabo por Gilles Personne de Roberval en 1634, utilizando esencialmente
mtodo de los indivisibles de Cavalieri. Recuerda que la cicloide es la curva que describe un punto el
mtodo de los indivisibles de Cavalieri. Recuerda que la cicloide es la curva que describe un
de una circunferencia
punto de unaque rueda sin
circunferencia que deslizar.
rueda sin deslizar.
P N
r S U
V
R
O 2r
A B
C D
X Y
Q r M
Los matemticos no se mostraban de acuerdo acerca del valor que haba que dar al mtodo
de los indivisibles. La mayora consideraba este mtodo slo como un mtodo heurstico y crean
que era an necesaria una demostracin por exhauscin.
Digo que todas estas innitas hiprbolas, excepto la de Apolonio, que es la primera,
pueden ser cuadradas por el mtodo de la progresin geomtrica, de acuerdo a un
procedimiento uniforme general.
La cuadratura de las curvas definidas por y D x donde n es un nmero natural o bien un
entero negativo n 1, haba sido realizada para n D 1; 2 : : : ; 9 por Cavalieri, aunque podemos
remontarnos hasta Arqumedes que haba resuelto geomtricamente los casos correspondientes
a n D 1; 2; 3. Fermat, con una ingeniosa idea, logr obtener la cuadratura de reas limitadas por
arcos de hiprbolas generalizadas x n y m D 1 (m; n 2 N).
Fermat segua un mtodo clsico de exhauscin, pero con una idea feliz que consisti en
considerar rectngulos infinitesimales inscritos en la figura a cuadrar cuyas bases estaban en
progresin geomtrica. Fermat considera al principio las hiprbolas yx n D k y manifiesta:
Digo que todas estas infinitas hiprbolas, excepto la de Apolonio, que es la prime-
ra, pueden ser cuadradas por el mtodo de la progresin geomtrica, de acuerdo
Vamos a hacernos una ideaa un
deprocedimiento
cmo calculaba Fermat la cuadratura de la hiprbola generalizada
uniforme general.
y = x 2 para x a. Usaremos notacin
Vamos a hacernos una idea de y terminologa
cmo calculaba Fermat actuales.
la cuadratura de la hiprbola generalizada
y D x 2 para x > a. Usaremos notacin y terminologa actuales.
B
A
O a ar ar 2 ar 3 ar 4 ar 5 ar 6
2
Figura 8.31. Cuadratura de la hiprbola de Fermat y D x
Figura 5. Cuadratura de la hiprbola de Fermat y = 2x 3
2
Elegimos un nmero r > 1 y consideremos los puntos de abscisas a; ar; ar ; ar ; : : : . Los
rectngulos inscritos (ver figura 8.31) tienen rea 2 3
Elegimos un nmero r > 1 y consideremos los puntos de abscisas a, ar, ar , ar , . . . . Los
1
1 2 1 3 2 1 r 1X 1 1
rectngulos inscritos (ver .argura
a/ 5)Ctienen
.ar arrea
/ C .ar ar / C D D
.ar /2 .ar 2 /2 .ar 3 /2 ar 2 rk ar
kD0
1 r
<S<
ar a
1
Como esta desigualdad es vlida para todo r > 1, concluimos que S= . Observa que dicho
a
valor es precisamente el rea del rectngulo OABa.
El razonamiento de Fermat tiene detalles muy interesantes que se pierden usando la
terminologa y smbolos actuales. Vamos a reproducir parte de su razonamiento. Fermat se apoya
en una propiedad de las progresiones geomtricas de razn menor que la unidad, que enuncia
como sigue:
R1 R2 R1
=
R2 S R1
Simplicando, resulta
1
S R1 = = OA.AB
a
Dice Fermat:
rea PQR 0k C 1k C 2k C 3k C C nk
D (8.50)
rea ABCD nk C nk C nk C nk C C nk
R D C
ak
yD xk
P Q A B
Figura 8.32. Comparando indivisibles
Figura
Esto lleva a Wallis 6.el Comparando
a estudiar valor de la expresin (8.50) indivisibles
para n D 16 . Despus de
estudiar varios casos para valores de k D 1; 2; 3 haciendo, en cada caso, sumas para distintos
valores de n D 1; 2; 3; 4, Wallis observa ciertas regularidades en las mismas y, con tan dbil
Esto lleva a Wallis a afirmando
base, acaba estudiar que paraelnD1 valor dek Dla
y para todo 1; 2; expresin
: : : , se verifica que: (5) para n = 1 . Despus de
estudiar varios casos para valores de Ck =
C 1,
C 2,C3 haciendo,
C
D
1 en cada(8.51)
0k caso, sumas para distintos
1k 2k 3k nk
nk C nk C nk C nk C C nk k C1
valores de n = 1, 2, 3, 4Naturalmente,
, Wallis observa ciertas regularidades en las mismas y,
de aqu deduce el valor del rea de la regin PQR:
con tan dbil base,
acaba armando que para n = y para todo k = 1, 2, . . . , se verica que: kC1
rea PQR rea PQR 1 a
D D ) rea PQR D k D 1; 2; 3 : : : (8.52)
rea ABCD akC1 k C1 k C1
0k era
Este resultado ya
1k +anteriormente,
+conocido 2k + 3kpero nk aqu y extenda
no+se paraba
+Wallis 1 la vali-
k en l sekbas Newtonk para obtener
k
=
dez de la igualdad (8.51) a todos los exponentes racionales positivos. Su peculiar razonamiento
k Lo esencial del mismo
(6)
n +n +n +n ++n
tiene inters pues
puede resumirse, en trminos actuales, como sigue.
la serie binomial.
k+1
6 Fue precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conicis, el smbolo del lazo del
1 Fue precisamente amor,
Wallis quien introdujo en 1655 en la obra De Sectionibus Conicis, el
1, con el significado de infinito.
Universidad
smbolo del lazo del amor, , con el signicado de innito.Prof. Javier Prez
de Granada
Dpto. de Anlisis Matemtico Clculo diferencial e integral
Naturalmente, de aqu deduce el valor del rea de la regin PQR:
Este resultado ya era conocido anteriormente, pero Wallis no se paraba aqu y extenda la
validez de la igualdad (6) a todos los exponentes racionales positivos. Su peculiar razonamiento
tiene inters pues en l se bas Newton para obtener la serie binomial. Lo esencial del mismo
puede resumirse, en trminos actuales, como sigue.
suponiendo que dicho lmite tenga sentido. Por ejemplo, (6) nos dice que el ndice de la funcin
f k (x) = xk es ( f k ) = k para k = 1, 2, . . . .
Wallis observ que, dada una progresin geomtrica de potencias de x como, por ejemplo
1, x3 , x5 , x7 , . . . , la correspondiente sucesin de ndices 0, 3, 5, 7, . . . forman una progresin
aritmtica. Como ( f k ) = k, esta observacin es trivial, pero le permite dar un atrevido salto
adelante, de manera que mediante una audaz interpolacin establece (sin demostracin) que
una conclusin anloga puede deducirse para la progresin geomtrica
1, q
x, ( q x )2 , . . . , ( q x )q1 , x
de manera que la sucesin de sus ndices debe formar una progresin aritmtica, de donde se
sigue que debe ser ( q x ) p = p/q para p = 1, 2, . . . , q. De esta forma obtiene que
( 0) p + ( 1) p + ( 2) p + ( 3) p + + ( n ) p 1
lm p p p p p =
n ( n ) + ( n ) + ( n ) + ( n ) + + ( n ) p/q + 1
Adems, Wallis deduce que necesariamente debe ser ( q x ) p = x p/q . Ser Newton, poco ms
tarde, quien siguiendo los pasos de Wallis, introducir el uso de potencias fraccionarias y
negativas.
Wallis, incluso llega a armar que la igualdad
a r +1
Z a
xr dx = (9)
0 r+1
no es vlida solamente para exponentes r racionales, sino tambin para otros como r= 3
pero, naturalmente, no puede dar ninguna justicacin.
Z 1p
x x2 dx
0
Dicha integral representa el rea bajo la semicircunferencia de centro (1/2, 0) y radio 1/2,
su valor es, por tanto, /8. Wallis quera obtener dicho resultado evaluando directamente la
integral. No tuvo xito en este empeo que Newton habra de resolver posteriormente, pero sus
resultados le llevaron a obtener la llamada frmula de Wallis
2 1335577
=
2244668
Orgenes y desarrollo del concepto de derivada
El concepto de derivada presupone los de funcin y de lmite funcional, los cuales tuvieron
una larga evolucin hasta alcanzar su signicado actual, por eso la denicin de derivada es
relativamente reciente. No obstante, tcnicas en las que podemos reconocer el uso, ms o
menos explcito, de derivadas, se han venido usando desde el siglo XVII, incluso antes de que
Newton y Leibnitz, en el ltimo tercio de dicho siglo, las formularan en trminos de uxiones
y de cocientes diferenciales respectivamente. Durante los siglos XVIII y XIX las derivadas
fueron ampliamente desarrolladas y aplicadas a campos muy diversos y no fueron denidas en
los trminos actuales hasta el ltimo tercio del siglo XIX. Todo este proceso lo resume la
historiadora de las matemticas Judith V. Grabiner en una frase feliz: Primero, la derivada fue
usada, despus descubierta, explorada y desarrollada y, nalmente, denida .
Con la invencin de la geometra analtica, haba una enorme variedad de nuevas curvas
para cuyo estudio no servan los mtodos tradicionales. Los matemticos del siglo XVII se vieron
en la necesidad de inventar nuevas tcnicas para calcular tangentes.
En el periodo de 1630 a 1660 empiezan a usarse tcnicas en las que podemos apreciar
el uso de derivadas. Suelen ser tcnicas especcas para resolver problemas concretos de
forma emprica, con frecuencia dichas tcnicas no se justican sino que, simplemente, se
comprueba que proporcionan soluciones correctas. Los matemticos de la poca se interesaban
por problemas de ptica, por ejemplo, determinar la forma de una lente que hace que todos los
rayos luminosos paralelos entre s o los que parten de un nico foco, despus de atravesar la
lente, converjan en un nico punto. Problemas fsicos, como la determinacin de la trayectoria
de un cuerpo que se mueve alrededor de un centro y que cae al mismo tiempo hacia ese centro
con aceleracin constante. Otros problemas consistan en el clculo de tangentes y de valores
mximos o mnimos.
Vamos a considerar algunas de las aportaciones ms signicativas.
1. Sea a una incgnita cualquiera del problema (que tenga una, dos o tres
dimensiones, segn convenga al enunciado).
2. Se expresar la cantidad mxima o mnima por medio de a en trminos de cualquier
grado.
3. Se sustituir a continuacin la incgnita original a por a + e, y se expresar la
cantidad mxima o mnima por medio de a y e, en trminos de cualquier grado.
4. Se adigualar para hablar como Diofanto, las dos expresiones de la cantidad
mxima o mnima.
5. Se eliminarn los trminos comunes de ambos lados, tras lo cual resultar que a
ambos lados habr trminos afectados de e o de una de sus potencias.
6. Se dividirn todos los trminos por e, o por alguna potencia superior de e, de modo
que desaparecer la e, de al menos uno de los trminos de uno cualquiera de los dos
miembros.
7. Se suprimirn, a continuacin, todos los trminos donde todava aparece la e o
una de sus potencias, y se iguala lo que queda, o bien si en uno de los miembros no
queda nada, se igualar, lo que viene a ser lo mismo, los trminos afectados con signo
positivo a los afectados con signo negativo.
8. La resolucin de esta ltima ecuacin dar el valor de a, que conducir al mximo
o mnimo, utilizando la expresin original.
Fermat ilustraba su mtodo hallando el punto E de un segmento AC que hace mxima el rea
del rectngulo AE.EC.
Pongamos AC = b.
1. Sea a uno de los segmentos, el otro ser b a.
2. El producto del que se debe encontrar el mximo es ba a2 .
3. Sea ahora a+e b, el segundo segmento ser b a e,
el primer segmento de y el
producto de segmentos: ba a2
+ be 2ae e2 .
2 2
4. Se debe adigualar al precedente: ba a + be 2ae e ba a .
2
Debemos observar que el mtodo de Fermat da una condicin necesaria para los mximos
y mnimos, pero esa condicin no es suciente y tampoco distingue mximos de mnimos. Es un
mtodo puramente algebraico y algortmico, no geomtrico.
f ( x+ Mx) f ( x)
f 0 ( x ) = lm =0
Mx 0 Mx
Sin embargo, esto signica extrapolar demasiado el contenido estricto del mtodo. Lo que
estamos haciendo es interpretar con nuestra mirada de hoy lo que hizo Fermat. En primer
lugar, Fermat no pensaba en una cantidad como una funcin, y por eso habla de cantidad
mxima o mnima, no de una funcin que alcance un mximo o un mnimo. Fermat no tiene
clara la nocin de variable independiente. l est pensando en una ecuacin algebraica con dos
incgnitas que interpreta como segmentos, es decir, magnitudes lineales dadas. Fermat no deca
nada acerca de que e fuese un innitesimal, ni siquiera una magnitud muy pequea, y el mtodo
no implica ningn concepto de lmite, sino que es puramente algebraico. Adems, la condicin 6
no tiene sentido en esta interpretacin. Los problemas a los que Fermat aplic su mtodo son
problemas de construcciones geomtricas ms que de optimizacin de cantidades.
T1
P1
P
R
e
T V Q Q1
Figura 6.11. Clculo de la subtangente
Figura 7. Clculo de la subtangente
semejantes, resulta
En la gura (7), el segmento TQ T1 Q
es TQ1
la1 subtangente
D
a la parbola en un punto dado
(6.35)
P.
El vrtice de la parbola es V. TeniendoPQ TQ que los tringulos
en cuenta TQP y TQ1 P1 son
semejantes,Teniendo
resulta en cuenta ahora la propiedad de la parbola
TVQ
1 Q1 PTQ 21
1 = 1 Q1 (10)
PQ D TQ2
VQ PQ
Teniendo en cuenta ahora la propiedad de la parbola
y que P1 Q1 < T1 Q1 , deducimos que:
TQ 2 2
VQ11
VQ PQ
< 1 12 1 (6.36)
VQ = TQ
VQ PQ2
Pongamos ahora VQ D a, que es la abscisa de la parbola en P , conocida porque se conoce
P . Hagamos tambin TQ D x que es la subtangente que queremos calcular, y QQ1 D e. La
igualdad (6.36) se expresa por:
aCe .x C e/2
< ax 2 C ex 2 < ax 2 C 2aex C ae 2
a x2
Fermat aplica su mtodo de mximos y mnimos y sustituye esta desigualdad por la adigualdad
ax 2 C ex 2 ax 2 C 2aex C ae 2
y que P1 Q1 < T1 Q1 , deducimos que:
VQ1 TQ21
< (11)
VQ TQ2
Pongamos ahora VQ = a, que es la abscisa de la parbola en P, conocida porque se conoce
P. Hagamos tambin TQ = x que es la subtangente que queremos calcular, y QQ1 = e. La
igualdad (11) se expresa por:
a+e ( x + e )2
< 2
ax2 + ex2 < ax2 + 2aex + ae2
a x
Fermat aplica su mtodo de mximos y mnimos y sustituye esta desigualdad por la adigualdad
x2 2ax + ae
Eliminando ahora el trmino que queda en e, igualando y simplicando por x, se obtienes que
x = 2a, resultado ya conocido de la Antigedad y que expresa que la subtangente es el doble de
la abscisa.
y(b + e)
T1 Q1 =
b
Como T1 Q1 es casi igual a y1 = P1 Q1 , Fermat escribe
y(b + e)
f x + e, 0
b
y a esta adigualdad le aplica su mtodo para mximos y mnimos. Es fcil ver que ello conducir
a una expresin para b dada por
f
( x, y)
y
y
b=
f
( x, y)
x
Que, usando que la tangente viene dada por y/b, podemos escribir, viendo y como funcin
(implcita) de x, en la forma familiar
f
( x, y)
0
y = x
f
( x, y)
y
Es tentador expresar en trminos actuales las ideas de Fermat para calcular tangentes.
Esencialmente, dado un punto P = ( a, f ( a)) en una curva y = f ( x ), se trata de calcular la
pendiente de la curva en P. Sea QQ1 un incremento de TQ en una cantidad E. Ya que los
tringulos TQP y PRT1 son semejantes, se tiene
PQ TR
= 1
TQ E
PQ P1 Q1 QP
Clculo de tangentes y de valores extremos 311
TQ E
T1
P1
P
R
E
E
T V Q Q1
Figura 6.12. Clculo de la tangente
Figura 8. Clculo de la tangente
el resultado es la pendiente de la tangente en P . Est claro que el procedimiento que indica
FermatPQ
Poniendo = f ( a), alacalcular
es equivalente igualdad anterior puede escribirse como:
3 f .2 C E/ f .2/ 2E C E 2
D D D2CE
c E E
Haciendo E D 0 se obtiene 3=c D 2, por la que la subtangente es c D 3=2 y el valor de la
Ahora, dice Fermat, se cancelan trminos iguales en f ( a + E) f ( a), se divide por E y
nalmente, se ignoran los trminos que an contengan E (lo que equivale a hacer E = 0), y
el resultado es la pendiente de la tangente en P. Est claro que el procedimiento que indica
Fermat es equivalente a calcular
f ( a + E) f ( a)
lm
E 0 E
Naturalmente, a esta interpretacin se le pueden hacer las mismas observaciones que hicimos a
la interpretacin anloga del mtodo para mximos y mnimos.
3 f (2 + E ) f (2) 2E + E2
= = = 2+E
c E E
Haciendo E=0 se obtiene 3/c = 2, por la que la subtangente es c = 3/2 y el valor de la
pendiente de la tangente es 3/c = 2 que, efectivamente es igual a la derivada de f en x = 2.
Figura 9. 6.13.
Figura Tangente a la cicloide
Tangente a la cicloide
Consideremosvector
unatangente
cicloide, esto esgeneradora
a la circunferencia la curva
en P que describe
y un vector horizontalun
en Ppunto
, y ambosde una circunferencia
vectores tienen igual mdulo.
que rueda sin deslizar. El punto que genera la cicloide tiene una velocidad angular igual a la
Naturalmente, esta idea de la tangente solamente poda aplicarse a curvas mecnicas, si
velocidad de avancebien
horizontal, por tanto,
tena la virtud de relacionar geometrasu tangente
y dinmica siguiendoen un depunto
las ideas Galileo. P se obtiene sumando el
vector tangente a la circunferencia generadora en P y un vector horizontal en P, y ambos
6.8.2.4. El tringulo diferencial de Barrow
vectores tienen igual mdulo.
Isaac Barrow (1630 - 1677) tambin dio un mtodo para calcular tangentes. Barrow era un
Naturalmente,admirador
esta de idea de laantiguos
los gemetras tangente
y edit lassolamente
obras de Euclides,poda
Apolonio aplicarse a curvas mecnicas, si
y de Arqumedes,
a la vez que publicaba sus propias obras Lectiones Opticae (1669) y Lectiones Geometricae
bien tena la virtud de relacionar
(1670) en la edicin degeometra y Newton.
las cuales colabor dinmica siguiendo
El tratado las ideas
Lectiones Geometricae se con-de Galileo.
sidera una de las principales aportaciones al Clculo. En l Barrow quiso hacer una puesta al
da de todos los ltimos descubrimientos, principalmente de problemas de tangentes y cuadra-
Isaac Barrow (1630 - 1677) tambin dio un mtodo para calcular tangentes. Barrow era un
admirador de los gemetras antiguos y edit las obras de Euclides, Apolonio y de Arqumedes, a
la vez que publicaba sus propias obras Lectiones Opticae (1669) y Lectiones Geometricae (1670)
en la edicin de las cuales colabor Newton. El tratado Lectiones Geometricae se considera una
de las principales aportaciones al Clculo. En l Barrow quiso hacer una puesta al da de todos
los ltimos descubrimientos, principalmente de problemas de tangentes y cuadraturas. Barrow
hace un tratamiento detallado de todos estos problemas incluyendo conceptos como tiempo y
Clculo de tangentes y de valores extremos 313
movimiento y usando mtodos innitesimales y mtodos de indivisibles.
Una de las herramientas a las que saca gran partido es al tringulo caracterstico o
tringulo diferencial.
P1 P1
P P a
R R
e
N M N M
Observa que este procedimiento equivale a quedarse con la aproximacin lineal de la fun-
Ejemplo. Consideremos laycurva
cin en el punto P eso es como
3 3
x +reemplazar 3
y = r elytringulo
sigamos el1 mtodo
PRP en la figurade
de Barrow para calcular
la izquierda
porun
su pendiente en el tringulo P = ( x, y) de la misma. Como el punto
punto diferencial. P1 = ( x + e, y + a) est en
El mtodo de Barrow es parecido al de Fermat, la diferencia es que Barrow considera
incrementos independientes de las dos variables con el propsito de calcular el cociente a=e.
Parece que Barrow no conoca directamente la obra de Fermat.
y D g.x/
I
L
K
A
T P D
Z
G y D f .x/
E
Ya que
rea PDEG < rectngulo PD:DE (8.55)
rea ADEZ = FD
rea APGZ = PI = LD
rea PDEG = FD LD = FL
Ya que
rea PDEG < rectngulo PD.DE (12)
Se sigue que
FL < PD.DE = DE > FL/PD
y por tanto
FL/KL > FL/PD = KL < PD = IL
Deducimos que el punto K queda debajo de la curva y = g( x ) y por tanto la recta FT queda
a un lado de la curva. Para completar la demostracin es necesario repetir el razonamiento
tomando puntos a la derecha de EF. Esto prueba que TF es tangente a y = g( x ) en D y su
pendiente es DE = f ( D ). En trminos actuales, lo que Barrow ha probado es que:
Z x
d
f (t)dt = f ( x )
dx a
El nacimiento del Clculo: Newton y Leibniz
Sir Isaac Newton
Newton llam a nuestra derivada una uxin una razn de cambio o ujo; Leibniz vio la
derivada como una razn de diferencias innitesimales y la llam el cociente diferencial. Newton
hizo sus primeros descubrimientos diez aos antes que Leibniz quien, sin embargo, fue el primero
en publicar sus resultados.
Newton y el clculo de uxiones
Los principales descubrimientos matemticos de Newton en el campo del clculo
innitesimal datan de los llamados Anni Mirabiles 1665 y 1666. La Universidad de Cambridge,
en la que Newton se haba graduado como bachelor of arts en 1664, estuvo cerrada por la peste
esos dos aos. Newton pas ese tiempo en su casa de Woolsthorpe y, como l mismo reconoci
cincuenta aos despus, se fue el perodo ms creativo de su vida.
A principios de 1665 descubre el teorema del binomio y el clculo con las series innitas.
A nales de ese mismo ao, el mtodo de uxiones, es decir, el clculo de derivadas. En 1666
el mtodo inverso de uxiones y la relacin entre cuadraturas y uxiones. En esos dos aos
tambin inici las teoras de los colores y de la gravitacin universal. Newton tena 24 aos.
Una segunda presentacin del Clculo es la que realiza Newton en el libro Methodus
uxionum et serierum innitorum, escrito hacia 1671 y que se public mucho despus en 1736.
Newton considera cantidades variables que van uyendo con el tiempo, a las que llama uentes .
Despus se introducen las razones de cambio instantneas de las uentes, a las que llama
uxiones , que son las derivadas respecto al tiempo de las uentes. Newton representaba a las
primeras por letras x, y, z, . . . y a las segundas por letras punteadas x, y, z, . . . . Los incrementos
de las uentes x, y, z, . . . , los representa por medio de las correspondientes uxiones en la forma
xo, yo, zo, . . . , y los llama momentos , donde o es entendido como un incremento innitesimal
de tiempo. Newton desarroll una serie de algoritmos y redujo muchos problemas como
determinacin de tangentes, mximos y mnimos, reas y supercies, curvaturas, longitudes de
arcos, centros de gravedad etc., a dos problemas fundamentales que pueden formularse tanto en
trminos mecnicos como en trminos matemticos:
Hay que notar que Newton no piensa en trminos de funciones con el signicado actual de
ese trmino, sino que imagina curvas o supercies descritas por las variables, o sea, considera
relaciones entre las uentes del tipo f ( x, y, z, . . . ) = 0, donde f para l es una expresin
analtica nita o innita. Por tanto, el primer problema planteado puede verse como un problema
de derivacin implcita: supuesta conocida la expresin analtica que satisfacen las uentes
f ( x, y, z, . . . ) = 0, obtener la expresin analtica F ( x, y, z, x, y, z, . . . ) = 0 que satisfacen las
uxiones. Para este problema, Newton introdujo un algoritmo que sistematizaba los clculos
necesarios. Por ejemplo, sea la curva de ecuacin
x3 ax2 + axy y3 = 0
Teniendo en cuenta ahora que x3 ax2 + axy y3 = 0, dividiendo por o y despreciando los
dems trminos que contengan a o , resulta
3xx2 2a xx + a xy + ax y 3yy2 = 0
Esta es la relacin que satisfacen las uxiones. A partir de ella puede obtenerse la tangente a la
curva x3 ax2 + axy y3 = 0 en cualquier punto ( x, y) de la misma, que viene dada por:
y 3x2 2ax + ay
=
x 3y2 ax
Como ya hemos indicado, Newton aplica los resultados sobre uentes y uxiones a la resolucin
de multitud de problemas. Por ejemplo, con respecto a los problemas de mximos y mnimos,
escribe:
Newton usa el teorema fundamental del clculo para realizar cuadraturas. Escribe:
Newton reduce la integracin al proceso inverso del clculo de uxiones, esto es, al clculo de
primitivas.
El problema 2, es mucho ms difcil que el problema 1, pues se trata de resolver
una ecuacin diferencial que puede ser muy general. Newton consider varias posibilidades
resolviendo algunos casos particulares. Para ello utiliz tcnicas de clculo de primitivas y de
desarrollos en serie.
n ( n 1 ) 2 n 2
o y nox n1 + o x +
2
estn entre s en la misma razn que
n ( n 1 ) n 2
1 a nx n1 + ox +
2
Dice Newton dejemos ahora que los incrementos se anulen y su ltima proporcin ser 1 a
nx n1 : por tanto, la uxin de la cantidad x es a la uxin de la cantidad xn como 1 : nx n1 .
Hay distintas interpretaciones de las razones que llevaron a Newton a exponer su clculo
de una u otra forma. La ms extendida es que su intencin era conseguir una fundamentacin
rigurosa del mismo. La primera exposicin, basada en el concepto de cantidad innitesimal,
entendida como una cantidad menor que cualquier cantidad positiva pero no nula, presentaba
problemas de coherencia lgica de los que Newton era muy consciente. En sus propias palabras,
su clculo estaba concisamente explicado ms que exactamente demostrado .
Por velocidad ltima se entiende aquella con la que el cuerpo se mueve, no antes de
alcanzar el punto nal y cesa, por consiguiente, el movimiento, ni tampoco despus
de haberlo alcanzado, sino aquella con la que se mueve cuando lo alcanza, esto es,
aquella velocidad con la que el cuerpo alcanza el punto nal y aquella con la que cesa
el movimiento. De igual manera, ha de entenderse por razn ltima de cantidades
evanescentes, la razn de cantidades, no antes de que desaparezcan, ni despus de
desaparecidas, sino aquella con la que desaparecen.
Las razones ltimas con las que tales cantidades desaparecen en realidad no son
razones de cantidades ltimas, sino lmites a los que tiende a acercarse siempre las
razones de cantidades continuamente decrecientes, lmites a los que pueden acercarse
ms que una diferencia dada, pero nunca traspasarlo, ni tampoco alcanzarlo antes de
que las cantidades disminuyan in innitum.
La teora de las razones ltimas puede verse como una teora cinemtica de lmites. Con esta
teora, Newton pretenda recuperar el rigor de la geometra de la Antigedad.
Otros autores opinan que estos tres mtodos empleados por Newton responden, ms que
a fundamentar con rigor su clculo, a distintos propsitos. As, la teora de uxiones proporciona
mtodos heursticos de descubrimiento y algoritmos tiles para el calculo; la teora de razones
primera y ltima servira al propsito de proporcionar demostraciones convincentes y el uso
de los innitsimos servira para proporcionar atajos a las pruebas ms rigurosas. Newton us
simultneamente estas tres aproximaciones en la resolucin de una gran variedad de problemas.
Las tres obras consideradas, escritas entre 1666 y 1676, se publicaron ya en el siglo
XVIII, por eso la primera noticia impresa de la teora de uxiones apareci, de forma bastante
circunstancial, en la obra magna de Newton Philosophiae Naturalis Principia Mathematica, cuya
primera edicin se hizo en 1687. Los Principia consta de tres libros escritos en el estilo
tradicional a la manera de los Elementos de Euclides, y su lenguaje es principalmente el de la
geometra sinttica.
Los Principia estn considerados como la obra cientca ms importante de todos los
tiempos y una hazaa intelectual incomparable por sus logros y sus consecuencias. En dicha obra
Newton estable los fundamentos de la mecnica y enuncia las tres clebres leyes del movimiento,
as como la ley de la gravitacin universal. En los dos primeros libros, se estudia el movimiento
de los cuerpos en el vaco y en un medio resistente. Newton deduce matemticamente las tres
leyes que Kepler haba obtenido empricamente. En el libro III, titulado Sobre el Sistema del
Mundo, Newton desarrolla la mecnica celeste. Hace un detallado estudio de los movimientos
de la Luna, explicando las causas de las mareas. Calcula la masa del Sol con respecto a la de
la Tierra, estudia la precesin de los equinoccios, predice el achatamiento de la Tierra por los
polos . . . .
En los Principia el mundo aparece como un sistema ordenado y armonioso en el que todo,
los cielos, la tierra y el mar, obedecen unas pocas leyes matemticas fundamentales. A partir
de Newton quedar claro que no hay diferencias entre un mundo sublunar y otro supralunar,
ni entre la Tierra y el Cielo; las leyes de la Naturaleza no hacen estas distinciones y en todas
partes del Universo los procesos obedecen a las mismas leyes naturales inexorables.
El prestigio y admiracin que goz Newton en vida queda reejado en las palabras de
Alexander Pope:
Nature, and Nature's Laws lay hid in Night:
God said, Let Newton be and All was light.
No s cmo puedo ser visto por el mundo, pero a m me parece haber sido solamente
como un nio que juega al borde del mar, y que se divierte al encontrar de vez en
cuando una piedra ms pulida o una concha ms bonita de lo normal, mientras que el
gran ocano de la verdad yace ante m completamente desconocido.
Newton muri en la noche del 20 de marzo de 1727, y fue enterrado con grandes honores en la
abada de Westminster entre los grandes hombres de Inglaterra.
Leibniz y el clculo de diferencias
Gottfried Wilhelm Leibniz (1646 - 1716) naci en Leipzig (Alemania) en el seno de una
piadosa familia luterana. A los quince aos entr en la Universidad de su ciudad natal donde
estudi una gran variedad de materias incluyendo derecho, teologa, losofa y matemticas. Se
doctor a la edad de 21 aos en la Universidad de Altdorf, en Nuremberg, donde le fue ofrecido
un puesto de profesor que l rechaz.
En las matemticas de Leibniz son importantes los estudios sobre sucesiones numricas y
sus sucesiones de diferencias consecutivas asociadas. Dada una sucesin de nmeros:
a 1 , a 2 , a 3 , a 4 , . . . , a n 1 , a n , . . .
b1 = a1 , b2 = a2 a1 , b3 = a3 a2 , b4 = a4 a3 , . . . , bn = an an1 , . . .
b1 + b2 + b3 + + bn = an
lo que indica que las sucesiones de diferencias pueden sumarse fcilmente, y que el proceso de
formar la sucesin de diferencias y despus sumarla recupera la sucesin inicial, es decir, que se
trata de operaciones inversas una de la otra. Esta sencilla idea, cuando se lleva al campo de la
geometra, conduce al concepto central del clculo de Leibniz que es el de diferencial, el cual
tuvo para l diferentes signicados en distintas pocas.
ds dy
dx
productos y cocientes. Dichas reglas se expresan fcilmente con su notacin diferencial:
x
x y dx y dx x dy
x dy
d.xy/ D yddx( xy) C
= yx
dx dy ; , dd y = Dy2
+ x dy
y y2
La manera en que Leibniz lleg a estas frmulas pudo ser como sigue. Consideremos
znznD @ x A@ y A
+1 zn = xn+1j y j + yn+1 jx j (13)
j =1 j =1
j D1 j D1
s
nC1
X n
X
znC1 zn D xnC1 yj C ynC1 xj
j D1 j D1
Si interpretamos, al estilo de Leibniz, que xj e yj son diferencias de valores consecutivos
de las cantidades x e y respectivamente, entonces los valores de dichas cantidades vendrn
dados por las sumas respectivas x = nj=1 x j e y = nj=+11 y j , mientras que dx = xn+1 y
dy = yn+1 por ser diferencias de valores consecutivos. De la misma forma, zn+1 zn sera
la diferencial de z = xy. Por tanto, la igualdad 13 es interpretada por Leibniz en la forma
d( xy) = x dy + y dx , lo que lleva a la regla para la diferencial de un producto.
dx z dy dx yx dy y dx x dy
dz = = =
y y y2
Desarrollo del clculo diferencial 322
Consideremos ahora una curva como la de la gura 13 con una sucesin de ordenadas trazadas
a intervalos de longitud unidad.
y12 y13
y9 y10 y11
y7 y8
y5 y6
y4
y3
y2
y1
1 1 1 1 1 1 1 1 1 1 1 1 1
recprocas
Leibniz queentre s, dedujo
el clculo Leibniz que
de cuadraturas el tangentes
y de clculo detambin
cuadraturas y de tangentes
eran operaciones tambin
inversas eran
una de
otra.
operaciones inversas una de otra.
Las investigaciones de Leibniz sobre la integracin y el origen de sus notaciones para la
Las investigaciones de Leibniz sobre la integracin y el origen de sus notaciones para la
integral y los diferenciales, pueden seguirse con todo detalle en una serie de manuscritos del 25
integral y los diferenciales, pueden seguirse con todo detalle en una serie de manuscritos del
25 de octubre al 11 de noviembre de 1675. Nos ocuparemos de ello en el captulo dedicado a la
integracin. En 1676 Leibniz ya haba obtenido prcticamente todos los resultados descubiertos
por Newton un poco antes.
La primera publicacin sobre clculo diferencial fue el artculo de Leibniz Nova methodus
pro maximis et minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates
moratur, et singulare pro illis calculi genus, que fue publicado en Acta Eruditorum hace ya
de octubre al 11 de noviembre de 1675. En 1676 Leibniz ya haba obtenido prcticamente todos
los resultados descubiertos por Newton un poco antes.
La primera publicacin sobre clculo diferencial fue el artculo de Leibniz Nova methodus
pro maximis et minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates
moratur, et singulare pro illis calculi genus, que fue publicado en Acta Eruditorum hace ya ms
de tres siglos, en 1684. En este trabajo, Leibniz dena el diferencial dy de forma que evitaba
el uso de las sospechosas cantidades innitesimales. Poco despus, en 1686, Leibniz public un
trabajo con sus estudios sobre la integracin.
Reconocido hoy da como un genio universal, Leibniz vivi sus ltimos aos en Hannover
en un aislamiento cada vez mayor y muri el 14 de noviembre de 1716. A su entierro solamente
asisti su secretario.
8.8.3. La relacin fundamental entre cuadraturas y tangentes
El Teorema
Newton desarroll Fundamental
tres versiones del Clculo
de su clculo. En la obra segn Newtonper aequatione
De Analysi
numero terminorum infinitas, que Newton entreg a su maestro Barrow en 1669, y que puede
considerarse el Newton
escritodesarroll
fundacional del Clculo,
tres versiones Newton
de su clculo. En lausa conceptos
obra De Analysi infinitesimales
per aequationes de mane
numero terminorum innitas, que Newton entreg a su maestro Barrow en 1669, y que
ra similar apuede
como haca el propio Barrow. Este trabajo, adems de contener el teorema binomia
considerarse el escrito fundacional del Clculo, Newton usa conceptos innitesimales de
y los descubrimientos
manera similar de Newton
a como relativos
haca el a series
propio Barrow. Este infinitas, contiene
trabajo, adems tambin
de contener un claro recono
el teorema
cimiento debinomial y los descubrimientos de Newton relativos a series innitas, contiene tambin un
la relacin inversa entre problemas de cuadraturas y de tangentes. La exposicin
claro reconocimiento de la relacin inversa entre problemas de cuadraturas y de tangentes. La
que hace Newton de esta relacin fundamental es como sigue. Supone una curva y llama z a
exposicin que hace Newton de esta relacin fundamental es como sigue. Supone una curva y
rea bajo lallama
curva
z al hasta el lapunto
rea bajo curva hasta el punto x
de abscisa de (ver figura
abscisa x (ver 8.34). SeSesupone
gura 14). conocida
supone conocida la la relacin
entre x y z. Aunque Newton explica su mtodo con un ejemplo, queda perfectamente
entre x y z.relacin
Aunque Newton explica su mtodo con un ejemplo, queda perfectamente claro su
claro su carcter general.
carcter general. El ejemplo que Newton considera es
d
K
H
P
y D y.x/
y
z.x/
o
O x
B b
Figura 8.34.
Figura Dz(z.x/
14. zz = x) = D rea
rea OPBOPB
El ejemplo que Newton considera es
nn m+nmCn
zD
z=
m + n ax
ax n n (14) (8.56
mCn
Pongamos, por comodidad r = m+
mCn
n
n . Newton se imagina que el punto P = ( x, y ) se
Pongamos,mueve
por comodidad
a lo largo de rla D . Newton
curva ny razona como se imagina
sigue. abscisaPx D
que el lapunto
se muev
Incrementemos a .x;
x + oy/
a lo largo de la curva y razona como sigue. Incrementemos la abscisa x a x C o donde o e
a a
( x + o )r = xr (1 + o/x )r =
r r
o r (r 1) o 2 r (r 1)(r 2) o3
a r
x 1+r + + + (16)
r x 2 x2 123 x3
m
y = axr1 = ax n (17)
Este es, por tanto, el valor de la ordenada de la curva en P = ( x, y). El proceso puede invertirse
y, de hecho, ya se saba que la cuadratura de (17) viene dada por (14).
z( x + o ) z( x )
o
se hace igual a la ordenada de la curva cuando o se hace nada. En trminos actuales, la
derivada de z( x ) es la funcin y = y ( x ). La relacin simtrica entre cuadraturas y derivadas
queda as puesta claramente de maniesto. Para calcular cuadraturas, basta con calcular una
antiderivada, lo que llamamos una primitiva de la funcin y = y ( x ).
La invencin del calculus summatorius por Leibniz
Principales ideas que guiaron a Leibniz en la invencin del Clculo:
Se conservan en el archivo Leibniz en Hannover los manuscritos que contienen las investigaciones
de Leibniz sobre los problemas de cuadraturas. En dichos documentos, fechados del 25 de
octubre al 11 de noviembre de 1675, Leibniz investiga la posibilidad de formular simblicamente
los problemas de cuadraturas e introduce los smbolos que actualmente usamos para la integral
y la diferencial. Algunos de los resultados de Leibniz en estos manuscritos son casos particulares
de la regla de integracin por partes, como, por ejemplo, la siguiente igualdad (se supone
f (0) = 0):
Z a Z a Z a Z a Z x
xf 0 ( x ) dx = a f ( a) f ( x ) dx = a f 0 ( x ) dx f 0 ( t ) dt dx (18)
0 0 0 0 0
Por supuesto, Leibniz no la escribe as. La notacin que usamos para la derivada se debe a
Lagrange y es bastante tarda, de nales del siglo XVIII. Adems, la notacin que usamos para
indicar los lmites de integracin fue introducida por J. Fourier en el primer tercio del siglo
XIX. Incluso el trmino integral no se debe a Newton ni a Leibniz. Leibniz llam calculus
dierentialis, esto es clculo de diferencias, a la parte de su clculo que se ocupa del estudio
de tangentes, y calculus summatorius, o sea clculo de sumas, a la que se ocupa de problemas
de cuadraturas. Para Leibniz una integral es una suma de innitos rectngulos innitesimales,
R
el smbolo que ide para representarlas, tiene forma de una s alargada como las que en
aquel tiempo se usaban en la imprenta; adems, es la primera letra de la palabra latina summa,
o sea, suma. Fue Johann Bernoulli quien, en 1690, sugiri llamar calculus integralis al clculo
de cuadraturas, de donde deriva el trmino integral que usamos actualmente.
De hecho, Leibniz obtuvo la frmula (18) antes de inventar su notacin para las integrales
y las diferenciales. Es interesante mostrar cmo lo hizo. Para ello vamos a seguir el camino
opuesto al seguido por Leibniz, modicando la notacin de dicha frmula hasta llegar a escribirla
como lo hizo l.
Podemos interpretar grcamente la igualdad (18) sin ms que observar la gura 15.
De hecho, Leibniz obtuvo la frmula (8.60) antes de inventar su notacin para las inte-
grales y las diferenciales. Es interesante mostrar cmo lo hizo. Para ello vamos a seguir el
camino opuesto al seguido por Leibniz, modificando la notacin de dicha frmula hasta llegar
a escribirla como lo hizo l.
Podemos interpretar grficamente la igualdad (8.60) sin ms que observar la figura 8.35.
P D .a; f .a//
B b b
w
w
w
w
w
w
w
b b
O x ADa
Ra
El nmero a f ( a) es el rea del rectngulo OAPB, 0 f ( x ) dx es el rea de la
la integral
Universidad de Granada Prof. Javier
parte de dicho rectngulo OAP que queda bajo la curva y = f ( x ). Deducimos de (18)Prez
que la
Ra
Dpto. de Anlisis Matemtico Clculo diferencial e integral
integral
0 x f ( x ) dx es el rea de la parte OBP de dicho rectngulo que queda por encina
de la curva y = f ( x ). Esta rea es la suma de las reas de rectngulos horizontales como
los representados en la gura 15. Estos rectngulos horizontales tienen como base el valor
de la abscisa correspondiente, x, y como altura la diferencia innitamente pequea entre dos
ordenadas sucesivas, que Leibniz representa por w. Esta diferencia es lo que posteriormente se
llamar diferencial dey. Podemos, pues, interpretar que w = dy = f 0 ( x ) dx . Por su parte, el
rea de la regin OAP es considerada por Leibniz como la suma de las ordenadas y. Finalmente,
podemos eliminar y porque para Leibniz el valor de una variable puede obtenerse sumando sus
diferencias consecutivas, por eso, y puede verse como la suma de las w. Esto equivale, en
Rx 0 R
nuestra notacin, a sustituir f ( x ) por
0 f ( t ) dt (o, al estilo de Leibniz, y por dy ), lo que
tambin hemos hecho en la igualdad (18). La forma exacta en que Leibniz escribi la igualdad
18 es:
y observa que omn. antepuesto a una magnitud lineal como ` da un rea; omn. antepuesto a un
rea como x` da un volumen y as sucesivamente.
... Estas consideraciones de homogeneidad dimensional parecen haber sido las que
sugirieron a Leibniz el usar una nica letra en vez del smbolo omn., porque escribe
R
a continuacin: Sera conveniente escribir en lugar de omn., de tal manera que
R
` represente omn.`, es decir, la suma de todas las
R `. As fue como se introdujo el
signo [. . . ] E inmediatamente a continuacin escribe Leibniz la frmula (20)
utilizando el nuevo formalismo:
Z Z Z Z
x` = x ` ` (21)
Una lneas ms adelante nos encontramos tambin con la introduccin del smbolo
d para la diferenciacin. Aparece en el contexto de un brillante razonamiento que
puede resumirse de la forma siguiente: el problema de las cuadraturas es un problema
R
de suma de sucesiones, para lo cual hemos introducido el smbolo y para el que
queremos elaborar un clculo, es decir, un conjunto de algoritmos ecaces. Ahora
R
bien, sumar sucesiones, es decir hallar una expresin general para y dada la y, no es
posible normalmente, pero siempre lo es encontrar una expresin para las diferencias
de una sucesin dada. As pues, el clculo de diferencias es la operacin recproca
del clculo de sumas, y por lo tanto podemos esperar dominar el clculo de sumas
desarrollando su recproco, el clculo de diferencias. Para citar las mismas palabras de
Leibniz:
R
Dada ` y su relacin con x, hallar `. Esto se puede obtener mediante
R
el clculo inverso, es decir, supongamos que
R ` = ya
` = ya/d; y sea
entonces de la misma manera que la
R d las
aumenta las dimensiones,
disminuir. Pero la representa una suma y d una diferencia, y de la y dada
podemos encontrar siempre y/d o `, es decir, la diferencia de las y.
En el resto del manuscrito Leibniz se dedica a explorar este nuevo simbolismo, al que
R
traduce viejos resultados, y a investigar las reglas operacionales que rigen la y la d.
Esta larga cita, extrada del trabajo de H.J.M. Bos Newton, Leibniz y la tradicin leibniziana,
nos da una idea de cmo lleg Leibniz a la invencin del clculo. No fueron los caminos del
razonamiento lgico deductivo los seguidos por Leibniz sino los de la intuicin, la conjetura, el
estudio de casos particulares y su generalizacin . . . Los mismos caminos que hoy siguen los
matemticos activos en sus trabajos de investigacin. Pese a que los conceptos que maneja
Leibniz son oscuros e imprecisos fue capaz de desarrollar algoritmos de clculo ecaces y de
gran poder heurstico.
Newton y las series innitas
Newton haba ledo la obra de Wallis Arithmetica Innitorum, y siguiendo las ideas de
interpolacin all expuestas, descubri la serie del binomio que hoy lleva su nombre. Dicha
serie es una generalizacin del desarrollo del binomio, que era bien conocido para exponentes
naturales, y haba sido muy usado por Pascal para resolver una gran variedad de problemas.
Z x 1 1 1 1
2 1/2 3 5 7
(1 t ) dt = x 2
x 8
x 16
x 128
x9
0 3 5 7 9
Rx
Representando para n = 0, 1, 2, . . . por Qn ( x ) el polinomio
0 (1 t2 )n dt , se tiene que
n
n (1)k 2k+1
Z x
Qn ( x ) = (1 t ) dt =
2 n
x
0 k =0
k 2k + 1
Donde
n(n 1)(n 2) (n k + 1)
n n
= , =1
k 123k 0
Haciendo ahora en Q n ( x ), n = 1/2, se obtiene
1 1 1 1
Q1/2 ( x ) = x 2
x3 8
x5 16
x7 128
x9
3 5 7 9
Lo que llev a Newton a concluir que
Z x
(1 t2 )1/2 dt = Q1/2 ( x )
0
1
(1)n 2n+1
Donde Q1/2 ( x ) = 2 x es una suma con innitos trminos. A partir de aqu,
n=0 n 2n + 1
Newton dedujo el
2 1/2 por derivacin.
desarrollo de (1 x )
1 1 1 1 8
(1 x2 )1/2 = 1 x2 x4 x6 x
2 8 16 128
Newton nunca public su teorema binomial, ni dio una demostracin general del mismo. La
primera vez que apareci en un texto impreso fue en 1685 en un libro de Wallis (que reconoce
la autora de Newton), titulado Treatise of Algebra. Newton mismo, en una carta a Henry
Oldenburg, el secretario de la Royal Society, conocida como la Epistola Prior (junio de 1676),
expone el teorema binomial, a requerimiento de Leibniz, con estas oscuras palabras:
m mn m 2n m 3n
( P + PQ)m/n = Pm/n + AQ + BQ + CQ + DQ + etc
n 2n 3n 4n
donde P + PQ representa una cantidad cuya raz o potencia, o cuya raz de una
potencia se necesita calcular, siendo P el primer trmino de esa cantidad, Q los
m
trminos restantes divididos por el primero, y
n el ndice numrico de las potencias de
m/n m mn
P + PQ. . . Por ltimo A = P , B =
n AQ, C = 2n BQ y as sucesivamente.
Newton era consciente de que su forma de razonar por analoga no era rigurosa por lo que
comprob su resultado de varias formas. Aplic su algoritmo a diversos resultados conocidos,
comprobando que las soluciones obtenidas eran siempre correctas, redescubri la serie de
Mercator para el logaritmo y obtuvo las series del arcoseno y del seno.
na m+n
1. El rea bajo la curva de ecuacin y = ax m/n es ax n .
m+n
Debe notarse que Newton supuso que cualquier cantidad analticamente expresada poda
desarrollarse en una serie de la forma a k x rk , donde rk es un nmero racional, serie que puede
ser cuadrada trmino a trmino usando la regla 1.
R 1/4
Veamos un ejemplo de esta forma de proceder. Se trata de calcular
0 x x2 dx .
Newton procede como sigue
1 1 1 1 9/2
( x x2 )1/2 = x1/2 (1 x )1/2 = x1/2 x3/2 x5/2 x7/2 x
2 8 16 128
Por tanto
Z 1/4 h i1/4
2 1/2 2 3/2 1 5/2 1 7/2 1 9/2 5 11/2
(x x ) dx = 3x 5x 28 x 72 x 704 x
0 0
2
= 323
5125 28127 72129 7045211 (22)
2 3=2 1 5=2 1 7=2 1 9=2 5 11=2
.x x 2 /1=2 dx D x x x x x
3 5 28 72 704 0
0
2 1 1 1 5
D (10.22)
3 23 5 25 28 27 72 29 704 211
p
yD x x2
C
A B O
r 1=4 p
Figura 10.4. Cuadratura R01/4 x x 2 dx
Figura 16. Cuadratura
0 x x2 dx
En la figura 10.4
En la se ha16
gura representado el semicrculo
se ha representado el semicrculo dede (1/2,.1=2;
centro
centro 0/ y1/2
0) y radio radio 1=2. El sector
. El sector
Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie infinita que,
de la citada obra De analysi :
Es decir, Newton no slo descubri el teorema binomial sino que las series innitas
proporcionaban un mtodo de anlisis con la misma consistencia interna que el lgebra de
ecuaciones nitas.
Desarrollo posterior del clculo diferencial
Aunque las publicaciones de Leibniz eran breves y difciles de leer, su clculo, ms sencillo
de entender que el de Newton y provisto de una excelente notacin, triunf pronto en el
continente europeo logrando grandes xitos, mientras que en Inglaterra la delidad a la teora de
uxiones y a la notacin newtoniana condujo a un cierto aislamiento, agravado por sentimientos
nacionales y la disputa sobre la prioridad, y no consigui xitos comparables a los del continente.
En su libro, L'Hpital desarrollaba el clculo diferencial tal como haba sido concebido por
Leibniz, es decir, usando cantidades innitesimales para las que se establecan ciertas reglas de
clculo. La denicin de diferencial es como sigue: La parte innitamente pequea en que una
cantidad variable es aumentada o disminuida de manera continua, se llama la diferencial de esta
cantidad . Para trabajar con innitsimos se establece la siguiente regla: Dos cantidades cuya
diferencia es otra cantidad innitamente pequea pueden intercambiarse una por la otra .
Resumimos muy esquemticamente los puntos clave en el desarrollo del clculo diferencial.
El descubrimiento en 1715 por Brook Taylor de las llamadas series de Taylor, que se
convirtieron en una herramienta bsica para el desarrollo del clculo y la resolucin de
ecuaciones diferenciales.
El extraordinario trabajo, tanto por su asombrosa amplitud como por sus notables
descubrimientos, de Leonhard Euler (1707 - 1783) que, sin duda, es la gura principal de las
matemticas en el siglo XVIII. En sus tres grandes tratados, escritos en latn, Introductio in
analysin innitorum (1748), Institutiones calculi dierentiales (1755) e Institutiones calculi
integralis (1768), Euler dio al clculo la forma que conserv hasta el primer tercio del
siglo XIX. El clculo, que inicialmente era un clculo de variables o, ms exactamente, de
cantidades geomtricas variables, y de ecuaciones, se fue transformando, por inuencia de
Euler, en un clculo de funciones.
Los problemas planteados por las series de Fourier. Dichas series hacen sus primeras
apariciones a mitad del siglo XVIII en relacin con el problema de la cuerda vibrante, y
nacen ocialmente en el trabajo de Joseph Fourier (1768 - 1830) Thorie analytique de la
chaleur (1822). Tales series plantean problemas relacionados con las ideas centrales del
anlisis: el concepto de funcin, el signicado de la integral y los procesos de convergencia.
El proceso de algebraizacin del anlisis que tiene lugar en los dos ltimos tercios del
siglo XIX y que culmina con la fundamentacin del anlisis sobre el concepto de lmite
(Bolzano, Cauchy, Weierstrass) y la teora de los nmeros reales (Dedekind, Cantor).