Orgenes del Clculo

Historia de las Matemticas

Javier Prez Gonzlez

Departamento de Anlisis Matemtico Universidad de Granada

Orgenes del Clculo Diferencial e Integral I.

De la matemtica griega a los antecedentes del clculo.

Historia del Anlisis Matemtico

Evolucin de la idea de integral

499

Problemas de cuadraturas en las matemticas griegas

8.8. Evolucin de la idea de integral
Los problemas de cuadraturas son problemas geomtricos que consisten en lo siguiente:

Es un buen ejercicio de clculo que compruebes estos resultados paso a paso. Te garantizo que el resultado nal obtenido es correcto. Un resultado parecido se obtiene para el caso en que b > a. Lo dejo para que lo hagas t.

8.8.1. Problemas cuadraturas en las matemticas dada una gura, construir unde cuadrado con rea igual a griegas la de la gura dada. Esta construccin
5 Los deba hacerse con regla no de graduada y problemas comps, siguiendo unas en normas precisas. Segn lo problemas cuadraturas son geomtricos que consisten lo siguiente: dada una gura, construir un cuadrado con rea igual a la de la gura dada. Esta construccin establecido en los Elementos de Euclides (c. 300 a.C.) la construccin debe constar de un deba hacerse con regla no graduada y comps, siguiendo unas normas precisas. Segn lo estanmero nito de pasos, uno de ellos en: blecido en los cada Elementos de Euclides (c. consistente 300 a.C.) la construccin debe constar de un nmero nito de pasos, cada uno de ellos consistente en: Trazar una recta que una dos puntos.

Son famosos los problemas de la cuadratura del crculo, la triseccin de un ngulo, la duplicacin Son famosos los problemas de la cuadratura del crculo, la triseccin de un ngulo, la duplidel cubo y la inscripcin regulares en una circunferencia. la antigua Grecia se cacin del cubo de y la polgonos inscripcin de polgonos regulares en una circunferencia. En laEn antigua Grecia se saba cuadrar cualquier polgono. saba cuadrar cualquier polgono.

 Trazar una recta que una dos puntos. Trazar una circunferencia de centro y radio arbitrarios.  Trazar una circunferencia de centro y radio arbitrarios. Intersecar dos de las guras anteriores.  Intersecar dos de las guras anteriores.

C
Figura 8.26. Cuadratura de un rectngulo

Figura 1. Cuadratura de un rectngulo Para cuadrar el rectngulo ABCD de la gura 8.26 se procede de la forma siguiente:

1)rectngulo Se prolonga el lado AB y sede determina sobre l punto E tal que BE D forma BC . Para cuadrar el ABCD la gura 1 un se procede de la siguiente:
1) Se prolongaGonzlez el lado AB y se determina sobre l un punto Urbaneja [7] y H. J. M. Bos [2]. 2) Se traza con centro en el punto medio
5 Para

escribir estas notas histricas he seguido de cerca los trabajos de Kirsti Andersen [1], Israel Kleiner [10],

tal que

BE = BC.
la

Universidad de Granada 3) Se traza por una perpendicular a Dpto. de Anlisis Matemtico semicircunferencia.

O de AE una semicircunferencia de radio OE. Prof. Javier Prez AE y se determina su punto de corte F con Clculo diferencial e integral

4) El segmento

FB

es el lado de un cuadrado cuya rea es igual a la del rectngulo

ABCD.

Esto es consecuencia de que la altura

FB

de un tringulo rectngulo

entre las dos partes en que divide a la hipotenusa, es decir,

AFE es media proporcional FB/ AB = BE/ FB, por lo que

FB2 = AB. BE = AB. BC.

A partir de aqu es fcil obtener la cuadratura de un tringulo, lo que permite obtener la cuadratura de cualquier polgono descomponindolo en tringulos. Los matemticos griegos

inventaron un procedimiento, que se conoce con el nombre de exhauscin, por el cual podan lograr la cuadratura de algunas regiones delimitadas por curvas. Se atribuye a Eudoxo de Cnido (c. 400 - 347 a.C.) la invencin de este mtodo, que fue perfeccionado posteriormente por Arqumedes (c. 287 - 212 a.C.). El siguiente es un notable ejemplo de su aplicacin.

Cuadratura de un segmento de parbola por Arqumedes

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

PVQ.
Problemas de cuadraturas en las matemticas griegas Q0 501

P0

Figura 8.27. Cuadratura de un segmento de parbola

Figura 2. Cuadratura de un segmento de parbola 1

Llamando S al rea del tringulo 4P VQ, el rea de los dos nuevos tringulos es S . Natural4 mente, este proceso se puede repetir ahora con cada uno de los cuatro segmentos parablicos determinados por las cuerdas PM , M V , V N y NQ inscribiendo en ellos los respectivos trin1 gulos, 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 X 1 4 SD S 4n 3

nD0

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

Demostracin.

Esta demostracin aparece en una carta que escribe Arqumedes a su amigo

Dositheus, obra que se conoce con el nombre de Sobre la Cuadratura de la Parbola. La demostracin consiste en hacer una descomposicin exhaustiva del segmento parablico por medio de tringulos de una forma muy ingeniosa. Empezaremos explicando la construccin geomtrica de la gura 2. Una cuerda

PQ
y

de una parbola es un segmento que une dos de sus puntos. La regin

plana acotada, cuya frontera est formada por la cuerda entre los puntos

PQ y el arco de la parbola comprendido

se llama un segmento parablico. El vrtice de un segmento parablico

es el punto de la parbola en el cual la tangente es paralela a la cuerda que dene el segmento. Se verica que el vrtice de un segmento parablico

PVQ

es el punto interseccin con la

parbola de la recta paralela al eje de la parbola que pasa por el punto medio del segmento

O=

PQ. PVQ
cuya base es el segmento

1 ( P + Q) 2 V
del

El tringulo

PQ

y cuyo otro vrtice es el vrtice

segmento parablico le llamaremos el tringulo inscrito. En la gura 2 se han representado tambin los tringulos

PMV

respectivamente, en los segmentos parablicos determinados por las cuerdas

V NQ inscritos, PV y VQ.

La primera parte de la demostracin consiste en calcular el rea de los dos tringulos

PMV

V NQ.

Arqumedes demuestra que

( V NQ) =
Por tanto

1 ( VOQ), 4

( V MP) =

1 ( VOP) 4
(1)

( V NQ) + ( V MP) =
Llamando

1 ( PVQ) 4 1 S. 4

al rea del tringulo

PVQ,

el rea de los dos nuevos tringulos es

Natural-

mente, este proceso se puede repetir ahora con cada uno de los cuatro segmentos parablicos determinados por las cuerdas la suma de cuyas reas ser

PM, MV , V N y NQ inscribiendo en ellos los respectivos tringulos, 1 igual a S. Y puede repetirse indenidamente. 16 1 4 S = S n 4 3 n =0

Nosotros ahora acabaramos calculando el rea del segmento parablico por

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 sea

a>0

b > 0, n.

siempre es posible, por pequea que

y grande que sea

b,

conseguir que un mltiplo conveniente de

exceda a

b,

es

decir

na > b

para algn nmero natural

Partiendo de la propiedad arquimediana se deduce fcilmente el siguiente resultado, llamado principio de convergencia de Eudoxo, en el que se basa el llamado mtodo de exhauscin griego: 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 (I) Supongamos que

el rea del segmento parablico

PVQ.

K>

4 S; 3

es decir, que

4 K S > 0. 3 PVQ
es la mitad del rea

Como el rea del tringulo inscrito en un segmento parablico del paralelogramo circunscrito

PP QQ ,

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. Por tanto, en la sucesin de reas

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
Esto implica que

1 1 1 4 S + S + S + + nS > S 4 16 4 3
lo que es contradictorio con la igualdad, conocida por Arqumedes, que dice que:

1 1 1 4 1 1 S S + S + S + + nS = S 4 16 4 3 3 4n
la cual implica que

(2)

1 1 1 4 S + S + S + + n S < S. 4 16 4 3

Por tanto, no puede ser

K>

4 S. 3

(II) Supongamos que

K<

4 S; 3

es decir, que

4 S K > 0. 3

Como cada una de las reas

1 1 S, 4 S, 16 S, . . . , 41n S es menor que la mitad de la que le precede

Entonces

y, por tanto, en virtud del principio de convergencia de Eudoxo, podemos concluir que en alguna etapa se tendr que

1 4n S

<4 3 S K.

4 1 1 1 4 1 1 1 S K > nS > S = S S + S + S + + nS n 3 4 34 3 4 16 4
Lo que implicara que

1 1 1 K < S + S + S + + nS 4 16 4
Que es absurdo pues la suma de la derecha es el rea de un polgono inscrito en el segmento parablico. Por tanto, no puede ser

K<

4 S. 3

La nica posibilidad es

K=

4 S. 3

rea de una espiral

El siguiente ejemplo de cuadratura sigue un procedimiento que, traducido a las notaciones actuales, es prcticamente el mismo de la integral de Riemann.

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 de su extremo. Es un ejemplo de las llamadas curvas mecnicas. La ecuacin polar de una espiral de Arqumedes es de la forma

= a ,

donde

a>0

es una constante.

Teorema. El rea del primer ciclo de una espiral es igual a una tercera parte del rea del crculo
circunscrito.

2 que el rea de un sector circular de radio r y amplitud ' radianes es 1 2 r ' , resulta que el rea de 1 sector circular ms grande inscrito en cada arco de espiral es 2 .a2 k = n/2 .2= n/, y el rea de 2 sector circular ms pequeo circunscrito a cada arco de espiral es 1 2 .a2.k C 1/= n/ .2= n/. Deducimos que el rea, S , de la espiral verica que:

k D0

n 1 X

1 2

a2 k n

2

  n 1 n n X 2 4 3 a2 X 2 1 a2 k 2 2 4 3 a2 X 2 D k < S < D k n 2 n n n3 n3

k D0 k D1 k D1

Figura 8.29. Cuadratura de una espiral

Figura 3. Cuadratura de una espiral

Arqumedes conoca queespiral k 2 Dden. n C 1/.2n C 1/. Usando este resultado podemos Demostracin. Consideremos una 6 Arqumedes de ecuacin polar = a y calculemos
el rea cuando el ngulo polar vara 0a escribir la desigualdad anterior desde en la forma:
k D1

n X

2 ,

es decir, de la primera vuelta de la espiral.

 El radio del crculo circunscrito 1 es 4 3 a2 1 6 a = 2 /n, desde = 2 k/n

   este   crculo  en sectores de amplitud 2 1 a. Para 1 ello dividimos 1 1 1 2 < S < 4 3 a2 1C 2C 6 n . . . , n 1. En cada sector n = 2n (k + 1)/n para k n= 0, 1,

examinamos el arco de espiral que2 queda dentro del mismo y acotamos el rea correspondiente a Pongamos KD1 3 .2 a/ que es una tercera parte del rea del crculo circunscrito. Restando un sector circular de radio

K en laentre desigualdad anterior de y haciendo operacionescirculares. sencillas, obtenemos que: en cuenta que el rea de dicho arco de espiral las reas dos sectores Teniendo   1 2 que el rea de sector circular 1 radianes es 2 r 3, resulta 1 < S K < K C I 2 1 2n 2n 2 2n2 2n ms grande inscrito en cada arco de espiral es ( a2 k / n ) (2 / n ), y el rea de sector circular 2 2 el axioma de y como 1= n2 6 n, obtenemos 2K = n < es S 1 K < 2K = n. Usando ahora ms pequeo circunscrito a1= cada arco que de espiral 2 ( a2 ( k + 1) / n ) (2 / n ). Deducimos que Arqumedes se concluye que S D K . el rea, S, de la espiral verica que:

y amplitud 3

n 1 k =0

1 2

a2 k 2 2 4 3 a2 Universidad de Granada = n de Anlisis n Matemtico n3 Dpto.

n

n 1

1 k <S< 2 k =0 k =1
2

a2 k 2 2 4 3 a2 Prof. Javier = Prez3 n diferencial n e integral n Clculo

k =1

k2

Arqumedes conoca que

k =1

k2 = 6 n(n + 1)(2n + 1). Usando este resultado podemos escribir

1 n 2 1 n

la desigualdad anterior en la forma:

4 3 a2
Pongamos

1 6

< S < 4 3 a2

1 6

1+

1 n

2+

1 n K

1 K=3 (2 a )2

que es una tercera parte del rea del crculo circunscrito. Restando

en la desigualdad anterior y haciendo operaciones sencillas, obtenemos que:

K
y como

3 1 + 2 2n 2n

< SK < K

3 1 + 2 2n 2n

1/n2 1/n,

obtenemos que

2K / n < S K < 2K / n.

Usando ahora el axioma de

Arqumedes se concluye que

S = K.

Clculo de tangentes en la matemtica griega

Adems de las cuadraturas, otro problema relacionado con curvas como las cnicas (circunferencia, parbolas, elipses, hiprbolas) y algunas pocas ms como la cisoide de Diocles y la concoide de Nicomedes, era el trazado de tangentes a las mismas. El concepto de tangencia de los griegos es esttico y, naturalmente, geomtrico. Inicialmente, la tangente se considera como una recta que toca a la curva sin cortarla. Esta denicin resultaba apropiada para la circunferencia pero no lo era para otras curvas. En el siglo III a.C., Apolonio deni la tangente a una seccin cnica y procedi a determinarla en cada caso. Las tcnicas para el clculo de tangentes eran, por supuesto, geomtricas. Para curvas como la espiral de Arqumedes estas tcnicas no eran de gran utilidad. Arqumedes saba trazar las tangentes a su espiral y se cree que para ello consider el problema desde un punto de vista cinemtico, calculando la direccin del movimiento de un punto que genera la espiral.

Las matemticas en Europa en el siglo XVII

El perodo de las matemticas griegas abarca casi 1000 aos, desde los pitagricos en el siglo VI a.C. hasta los ltimos representantes de la Escuela de Alejandra en el siglo V de nuestra era. Suele sealarse el asesinato de Hypatia en marzo del 415 por hordas de fanticos cristianos como el nal de esta poca. Es sabido que la civilizacin Romana, tan excelente en tantos aspectos, no destac en el estudio de las ciencias puras y, en particular, de las matemticas. La prueba de ello es que no hay ningn matemtico Romano digno de mencin. No obstante, el sistema de numeracin Romano se impuso extendindose por todo el Imperio. Con el triunfo del Cristianismo a nales del siglo IV y la cada del Imperio Romano de Occidente en el ao 476, se inicia una larga era de oscurantismo en Europa. La fe y los dogmas no son demostrables lgicamente; disputas teolgicas ocupan el lugar de los estudios de la Naturaleza y la Biblia es la fuente de todo conocimiento. Segn San Agustn las palabras de las Escrituras tienen ms autoridad que toda la inteligencia humana. El racionalismo cientco es sospechoso de paganismo. 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.

Asimilacin y sntesis de la tradicin clsica griega y del legado rabe.

Se sigue admirando el rigor demostrativo euclidiano pero se buscan procedimientos heursticos. Se impone la idea de primero descubrir y luego demostrar. Progresos decisivos en el simbolismo algebraico (Vite, Stevin). Concepto de cantidad abstracta. Invencin de la geometra analtica por Fermat y Descartes. Multitud de nuevas curvas, muchas de ellas curvas mecnicas, como la cicloide, que llevan consigo problemas de tangentes, cuadraturas, centros de gravedad, mximos y mnimos, recticaciones.

Invencin de mtodos innitesimales para tratar problemas de cuadraturas, tangentes, mximos y mnimos. Libre uso del innito. Inicios del estudio matemtico del movimiento. Concepto de cantidad variable. La Revolucin Cientca protagonizada por Coprnico, Galileo y Kepler. Mecanicismo. Invencin de los logaritmos por Neper. Progresos de la astronoma y de la trigonometra. Desarrollo de la ptica. Creacin de instituciones cientcas como la Royal Society (1660) en Londres y la Acadmie des Sciences (1666) en Pars y comienzo de las publicaciones cientcas peridicas. Es conocido que la carencia de una teora aritmtica satisfactoria de las cantidades

inconmensurables, hizo que los matemticos griegos consideraran la Geometra como una ciencia ms general que la Aritmtica, lo que condujo al desarrollo de un lgebra geomtrica que fue usada por Euclides, Arqumedes y Apolonio para realizar sus clculos. La consecuencia de esta actitud fue que durante casi 2000 aos, en Europa, casi todo razonamiento matemtico riguroso se expres en lenguaje geomtrico. los matemticos del siglo XVII se distancian de esta tradicin, pero no se produce un corte radical sino que, como es usual, se trata de un proceso lento al que contribuyen muchos estudiosos. Con respecto al Clculo, podemos destacar una primera etapa emprica, que comprende los dos primeros tercios del siglo XVII, en la que se introducen una serie de conceptos como indivisibles e innitsimos que permiten desarrollar tcnicas para calcular tangentes o realizar cuadraturas. Dichas tcnicas carecen de rigor y son usadas de forma heurstica, aunque los matemticos que las usan arman que podran ser justicadas al estilo clsico. A este respecto son signicativas las siguientes armaciones. J. Kepler en Nova stereometria doliorum vinariorum (1615): Podramos obtener demostraciones perfectas de los libros de Arqumedes, a nosotros no nos repele la espinosa lectura de ellos. P. Fermat en De acquationum localium. . . in quadratics innitis parabolis el hiperbolis (tratado de cuadraturas) (1658): 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. B. Cavalieri en Geometria Indivisibilibus continuorum (1635): Se podra demostrar todo esto utilizando las tcnicas arquimedianas, pero supondra un gran esfuerzo. J. Wallis en Arithmetica innitorum (1656): Este procedimiento es altamente heterodoxo, pero puede vericarse mediante el bien conocido mtodo apaggico [la doble reduccin al absurdo del mtodo de exhauscin] de guras inscritas y circunscritas, lo que es superuo, porque la frecuente iteracin produce nusea en el lector. Cualquiera ducho en Matemticas puede realizar tal prueba. 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 Los indivisibles de Cavalieri

El mtodo de integracin geomtrica que se consideraba ideal durante la primera mitad del siglo XVII era el mtodo de exhauscin que haba sido inventado por Eudoxo y perfeccionado por Arqumedes. El nombre es desafortunado porque la idea central del mtodo es la de evitar el innito y por lo tanto este mtodo no lleva a un agotamiento de la gura a determinar. 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)

Bonaventura Cavalieri (1598 - 1647), discpulo de Galileo y profesor en la Universidad de Bolonia, public en 1635 un tratado Geometria Indivisibilibus Continuorum Nova quadam Ratione Promota en el que, siguiendo ideas de Kepler y Galileo, desarroll una tcnica geomtrica para calcular cuadraturas, llamada mtodo de los indivisibles. En este mtodo, un rea de una regin plana se considera formada por un nmero innito de segmentos paralelos, cada uno de ellos se interpreta como un rectngulo innitamente estrecho; un volumen se considera compuesto por un nmero innito de reas planas paralelas. A estos elementos los llama los indivisibles de rea y volumen respectivamente. En lneas generales los indivisibilistas mantenan, como expresa Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea est hecha de puntos como una sarta de cuentas; el plano est hecho de lneas, como un tejido de hebras y un slido de reas planas como un libro de hojas.

de una regin plana se considera formada por un nmero innito de segmentos paralelos, cada uno de ellos se interpreta como un rectngulo innitamente estrecho; un volumen se considera compuesto por un nmero innito de reas planas paralelas. A estos elementos los llama los indivisibles de rea y volumen respectivamente. En lneas generales los indivisibilistas mantenan, como expresa Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea est hecha de puntos como una sarta de cuentas; el plano est hecho de lneas, como un tejido de hebras y un slido de reas planas como un libro de hojas.

A F G D H C

B E

La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue. Para demostrar que el paralelogramo

La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue. ABCD tiene rea doble que cualquiera de los tringulos
hace notar que cuando

Universidad de Granada Prof. Javier Prez tringulos ABD y BCD estn constituidos por igual nmero de lneas iguales, tales como Dpto. de Anlisis Matemtico Clculo diferencial e integral

ABD

BCD,

GD = BE,

se tiene que

GH = FE.

Por tanto los

GH

EF,

y por tanto sus reas deben ser iguales.

Cuadratura de la cicloide por Roberval

Gilles de Roberval (Nol-Saint-Martin, Francia, 1602  Pars, 1675)

En 1630, Mersenne, propuso a sus amigos matemticos hacer la cuadratura de la cicloide. Esta fue llevada a cabo por Gilles Personne de Roberval en 1634, utilizando esencialmente el mtodo de los indivisibles de Cavalieri. Recuerda que la cicloide es la curva que describe un punto de una circunferencia que rueda sin deslizar.

y EF , y por tanto sus reas deben ser iguales. 8.8.2.2. Cuadratura de la cicloide por Roberval

En 1630, Mersenne, propuso a sus amigos matemticos hacer la cuadratura de la cicloide. Esta fue llevada a cabo por Gilles Personne de Roberval en 1634, utilizando esencialmente el mtodo de los indivisibles de Cavalieri. Recuerda que la cicloide es la curva que describe un punto de una circunferencia que rueda sin deslizar.

P r A B X Q O C Y r S U R

V 2r

Figura 4. Cuadratura de la cicloide En la gura 8.30, sea QMNS la mitad de un arco de la cicloide generada por el crculo de radio r centrado en O . El rea del rectngulo QM NP es el doble del rea del crculo. Construimos segmentos de lnea innitesimales horizontales, AB , con longitud determinada por la distancia En la gura 4,horizontal sea QMNS la mitad de un arco Cada de la cicloide generada por el crculo de radio entre el dimetro PQ y la circunferencia. punto C de la cicloide lo sometemos una traslacin hasta el puntoQMNP D , segn el correspondiente segmento AB D CD , y r centrado en aO . El reahorizontal del rectngulo es el doble del rea del crculo. Construimos as obtenemos la curva QRN , llamada compaera de la cicloide. Por la construccin realizada, segmentos de las lnea innitesimales , comprendida con longitud determinada por la distancia secciones horizontales del horizontales, semicrculo y de la AB regin entre la cicloide y su curva compaera son segmentos de igual longitud, por lo que dicha regin tiene rea igual a la horizontal entre el dimetro PQ y la circunferencia. Cada punto C de la cicloide lo sometemos mitad del circulo. Por otra parte, la curva compaera de la cicloide divide en dos partes iguales a una traslacin horizontal hasta punto D, segnlas elsecciones correspondiente segmento AB = CD, y al rectngulo QMNP , pues,el como Roberval demostr, horizontales de altura a 2r curva a dan QRN en cada , una de las partes en que dicha curva divide al rectngulo, as obtenemos yla llamada compaera de la cicloide. Por segmentos la construccin realizada, iguales X Y y U V . Deducimos as que el rea encerrada por la mitad de un arco de cicloide es 3 del 2 2 las secciones horizontales semicrculo y de la regin comprendida entre la cicloide y su r2 C 1 2  r D 2  r . Por tanto, concluimos que el rea encerrada por un arco de la cicloide es tres veces el rea del crculo la genera. curva compaera son segmentos deque igual longitud, por lo que dicha regin tiene rea igual a la

Figura 8.30. Cuadratura de la cicloide

matemticos no se mostraban de compaera acuerdo acerca del valor que haba que dar a una mitad del circulo.Los Por otra parte, la curva de la cicloide divide en dos partes iguales demostracin por el mtodo de los indivisibles. La mayora de los que se preocupaban de la al rectngulo QMNP , pues, el como demostr, las secciones de altura a cuestin consideraban mtodo Roberval de los indivisibles slo como un mtodo heurstico horizontales y crean que era an necesaria una demostracin por exhauscin. y 2r a dan en cada una de las partes en que dicha curva divide al rectngulo, segmentos
iguales

XY y UV . Deducimos as que el rea encerrada por la mitad de un arco de 3 2 2 tanto, concluimos que el rea encerrada por un arco de la r2 + 1 de Granada Prof. Javier Prez 2 r =Universidad 2 r . Por
Dpto. de Anlisis Matemtico Clculo diferencial e integral

cicloide es cicloide es

tres veces el rea del crculo que la genera.

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.

Parbolas e hiprbolas de Fermat

Pierre de Fermat (Beaumont-de-Lomagne, Francia, 1601  Castres, Francia, 1665)

y = x n donde n es un nmero natural o bien un entero negativo n = 1, haba sido realizada para n = 1, 2 . . . , 9 por Cavalieri, aunque podemos
La cuadratura de las curvas denidas por remontarnos hasta Arqumedes que haba resuelto geomtricamente los casos correspondientes a

n = 1, 2, 3.

Fermat, con una ingeniosa idea, logr obtener la cuadratura de reas La integracin antes del Clculo 508limitadas por

arcos de hiprbolas generalizadas x y = 1 (m, n N). 8.8.2.3. Parbolas e hiprbolas de Fermat Fermat segua un mtodo clsico de exhauscin, pero con una idea feliz que consisti La cuadratura de las curvas denidas por y D x n donde n es un nmero natural o bien un en considerar rectngulos en la gura a cuadrar cuyas bases estaban en enteroinnitesimales negativo n 1, habainscritos sido realizada para nD 1; 2 : : : ; 9 por Cavalieri, aunque podemos n = Arqumedes haba resuelto geomtricamente los casos correspondientes progresin geomtrica.remontarnos Fermat hasta considera alque principio las hiprbolas yx k y maniesta: 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 ). Digo que todas estas innitas hiprbolas, excepto la de Apolonio, que es la primera, Fermat segua un mtodo clsico de exhauscin, pero con una idea feliz que consisti en pueden ser cuadradas por el mtodo de la progresin deestaban acuerdo a un considerar rectngulos innitesimales inscritos en la gura geomtrica, a cuadrar cuyas bases en progresin geomtrica. Fermat considera al principio las hiprbolas yx n D k y maniesta: procedimiento uniforme general.

n m

Digo que todas estas innitas hiprbolas, excepto la de Apolonio, que es la primera, pueden ser cuadradas por el mtodo de la la progresin geomtrica, de acuerdo Vamos a hacernos una idea de cmo calculaba Fermat cuadratura de la hiprbola generalizada a un procedimiento uniforme general. 2 y = x para x a. Usaremos notacin y terminologa actuales. Vamos a hacernos una idea de cmo calculaba Fermat la cuadratura de la hiprbola generalizada y D x 2 para x > a. Usaremos notacin y terminologa actuales.

a ar ar 2 ar 3

ar 4

ar 5

ar 6
2

Figura 5. Cuadratura de la hiprbola de Fermat y = 2 x Elegimos un nmero r > 1 y consideremos los puntos de abscisas a; ar; ar ; ar 3 ; : : : . Los rectngulos inscritos (ver gura 8.31) tienen rea

Figura 8.31. Cuadratura de la hiprbola de Fermat y D x

.ar

a/

1 C .ar 2 .ar /2

ar /

1 C .ar 3 .ar 2 /2

ar 2 /

1 1 r 1X 1 1 C


D D 3 2 2 ar .ar / ar rk k D0

El rea de los rectngulos circunscritos viene dada por .ar a/ 1 C .ar 2 a2 ar / 1 C .ar 3 .ar /2 ar 2 /
1 1 r 1X 1 r C


D D a a .ar 2 /2 rk k D0

Por tanto, llamando S al rea bajo la curva, tenemos que 1 <S < r

Elegimos un nmero

r>1

y consideremos los puntos de abscisas

a, ar, ar2 , ar3 , . . . .

Los

rectngulos inscritos (ver gura 5) tienen rea

( ar a)

1 1 1 r1 1 1 2 3 2 + ( ar ar ) + ( ar ar ) + = = 2 2 2 3 2 2 k ar ( ar ) ( ar ) ( ar ) ar k=0 r 1 1 1 r1 1 r 2 3 2 + ( ar ar ) + ( ar ar ) + = = 2 2 2 2 k a k =0 r a a ( ar ) ( ar ) S
al rea bajo la curva, tenemos que

El rea de los rectngulos circunscritos viene dada por

( ar a)

Por tanto, llamando

1 r <S< ar a
Como esta desigualdad es vlida para todo valor es precisamente el rea del rectngulo

r > 1, OABa.

concluimos que

S=

1 . a

Observa que dicho

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: Dada una progresin geomtrica cuyos trminos decrecen indenidamente, la diferencia entre dos trminos consecutivos es al ms pequeo de ellos, como el mayor es a la suma de los trminos restantes. Llamemos

R1 , R2 , R3 , . . .

a las reas de los sucesivos rectngulos y

a la suma de todas ellas.

Como se trata de una progresin geomtrica decreciente, se tiene que:

R1 R1 R2 = R2 S R1
Simplicando, resulta

S R1 =
Dice Fermat:

1 = OA. AB a R1
que a

[. . . ] si ahora aadimos [a ambos miembros de esta igualdad] el rectngulo

causa de las innitas subdivisiones, se desvanece y queda reducido a nada, alcanzamos la conclusin, que podra ser fcilmente conrmada por una ms prolija prueba llevada a cabo a la manera de Arqumedes. . . No es difcil extender esta idea a todas las hiprbolas denidas anteriormente excepto la que ha sido indicada [la hiprbola de Apolonio].

Vemos cmo en las cuadraturas de Fermat de hiprbolas y parbolas generalizadas, subyacen los aspectos esenciales de la integral denida:

La divisin del rea bajo la curva en elementos de rea innitamente pequeos. Aproximacin de la suma de esos elementos de rea por medio de rectngulos innitesimales de altura dada por la ecuacin analtica de la curva. Un intento de expresar algo parecido a un lmite de dicha suma cuando el nmero de elementos crece indenidamente mientras se hacen innitamente pequeos.

La integracin aritmtica de Wallis

John Wallis (Ashford, Reino Unido, 1616  Oxford, 1703)

John Wallis (1616 - 1703) public en 1655 un tratado Arithmetica innitorum (La Aritmtica de los innitos) en el que aritmetizaba el mtodo de los indivisibles de Cavalieri. Para ilustrar el mtodo de Wallis consideremos el problema de calcular el rea bajo la curva (k

y = xk

= 1, 2, . . . ) y sobre el segmento [0, a] (ver gura (6)). Siguiendo a Cavalieri, Wallis considera PQR formada por un nmero innito de lneas verticales paralelas, cada una de ellas k con longitud igual a x . Por tanto, si dividimos el segmento PQ = AB = a en n partes de longitud h = a / n, donde n es innito, entonces la suma de estas innitas lneas es del tipo
la regin

0k + hk + (2h)k + (3h)k + + (nh)k

Anlogamente, el rea del rectngulo

(3)

ABCD

es (4)

ak + ak + ak + + ak = (nh)k + (nh)k + (nh)k + + (nh)k

La integracin antes del Clculo

510

de ellas con longitud igual a x k . Por tanto, si dividimos el segmento PQ D AB D a en n partes de longitud h D a= n, donde n es innito, entonces la suma de estas innitas lneas es del tipo

La razn entre el rea de la regin

k k

Anlogamente, el rea del rectngulo ABCD es

k k k k k

PQR

0k C hk C .2h/k C .3h/k C


C .nh/k

y el rectngulo

ABCD
k

es

(8.48)

/ Ck / C. / C
k .nh/ a C a C a C


C a D 0k.nh + 1 .nh + 2knh+ 3

C + +(8.49) nk rea PQR = La razn entre el rea de la regin PQRk y el rectngulo ABCD es n + nk + nk + nk + + nk rea ABCD rea PQR rea ABCD D 0k C 1k C 2k C 3k C


C nk nk C nk C nk C nk C


C nk R D (8.50)

(5)

ak yD xk

Figura 8.32. Comparando indivisibles

Esto lleva a

valores de

estudiar varios casos para valores de k 2, haciendo, en cada caso, sumas para distintos k C3 0k C 1k = C 2k1, C3


C nk 1

Figura 6.el Comparando indivisibles Esto lleva a Wallis a estudiar valor de la expresin (8.50) 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 Wallis a estudiar el valor de la expresin (5) para base, acaba armando que para n D 1 y para todo k D 1; 2 ; : : : , se verica que:
k k k k k

n = 1 .

Despus de

n = 1, 2, 3, 4,

k C1 n C n ciertas Cn Cn C


C n Wallis observa regularidades en las mismas y, con tan dbil base, rea PQR

(8.51)

acaba armando que para

Naturalmente, de aqu deduce el valor del rea de la regin PQR:

n=
D

1 0 + 1k + 2k + 3k + + n k Este resultado ya era conocido anteriormente, pero Wallis no se paraba aqu y extenda la vali= dez de la igualdad (8.51) k a todos losk exponentes racionales positivos.k Su peculiar razonamiento k k k +del 1mismo n +Newton n + nobtener + la + n Lo esencial tiene intersn pues+ en l se bas para serie binomial.
puede resumirse, en trminos actuales, como sigue.
6 Fue precisamente Naturalmente, de aqu deduce el valor del enrea de la regin Wallis quien introdujo 1655 en la obra De Sectionibus ConicisPQR , el smbolo : del lazo del

rea ABCD k

rea PQR 1 ak C1 D ) rea PQR D k C1 k C1 ak C1

y para todo

k = 1, 2, . . . ,

se verica que:
(8.52)

k D 1; 2 ; 3 : : :

(6)

amor, 1, con el signicado de innito.

1 rea PQR 1 ak+ rea PQR Universidad de Granada Prof. Javier Prez Dpto. Clculo diferencial e integral = de AnlisiskMatemtico = rea PQR = k+1 k+1 a +1 rea ABCD

k = 1, 2, 3 . . .

(7)

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. Denamos el ndice,

( f ),

de una funcin

mediante la igualdad

l m

f (0) + f (1) + f (2) + + f ( n ) 1 = f (n) + f (n) + f (n) + + f (n) ( f ) + 1

para

(8)

suponiendo que dicho lmite tenga sentido. Por ejemplo, (6) nos dice que el ndice de la funcin

f k (x) = xk 1 Fue

es

( f k ) = k

k = 1, 2, . . . .
con el signicado de innito.

precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conicis, el

smbolo del lazo del amor,

Wallis observ que, dada una progresin geomtrica de potencias de

como, por ejemplo

1, x3 , x5 , x7 , . . . , la correspondiente sucesin de ndices

aritmtica. Como

0, 3, 5, 7, . . .

forman una progresin

( 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,
sigue que debe ser

x , ( q x )2 , . . . , ( q x ) q 1 , x

de manera que la sucesin de sus ndices debe formar una progresin aritmtica, de donde se

( 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 l m = n ( n ) p + ( n ) p + ( n ) p + ( n ) p + + ( n ) p p/q + 1

convencido de la validez de su mtodo, conocido

Wallis

estaba

posteriormente

como

interpolacin de Wallis, que tuvo importancia en el siglo XVIII. Puede considerarse como un intento de resolver el siguiente problema: Dada una sucesin

Pk ,

denida para valores enteros de

k,

encontrar el signicado de

cuando

no es un nmero entero.

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 0
no es vlida solamente para exponentes

xr dx = r

a r +1 r+1 r=

(9)

racionales, sino tambin para otros como

pero, naturalmente, no puede dar ninguna justicacin. Obtenida, a su manera, la cuadratura fundamental (9), Wallis intenta calcular la integral

1 0

x x2 d x

Dicha integral representa el rea bajo la semicircunferencia de centro su valor es, por tanto,

(1/2, 0)

y radio

1/2,

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

Clculo de tangentes y de valores extremos

Los matemticos de la antigedad saban cmo trazar tangentes a diversos tipos de curvas. El concepto de tangencia de los griegos es esttico y, naturalmente, geomtrico. Inicialmente, la tangente se considera como una recta que toca a la curva sin cortarla. Esta denicin resultaba apropiada para la circunferencia pero no lo era para otras curvas. En el siglo III a.C., Apolonio deni la tangente a una seccin cnica y procedi a determinarla en cada caso. Las tcnicas para el clculo de tangentes eran, por supuesto, geomtricas. Para curvas como la espiral de Arqumedes o la concoide de Nicomedes estas tcnicas no eran de gran utilidad. 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.

El mtodo de mximos y mnimos de Fermat

Pierre de Fermat (Beaumont-de-Lomagne, Francia, 1601  Castres, Francia, 1665)

En 1637 Fermat escribi una memoria titulada Methodus ad disquirendam maximan et minimam (Mtodo para la investigacin de mximos y mnimos). En ella se estableca el primer procedimiento general conocido para calcular mximos y mnimos. Fermat se expresa como sigue. Toda la teora de la investigacin de mximos y mnimos supone la consideracin de dos incgnitas y la nica regla siguiente:

1.

Sea

una

incgnita

cualquiera

del

problema

(que

tenga

una,

dos

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

por

a + e,

y se expresar la

cantidad mxima o mnima por medio de

4. 5.

e,

en trminos de cualquier grado.

Se  adigualar para hablar como Diofanto, las dos expresiones de la cantidad

mxima o mnima. Se eliminarn los trminos comunes de ambos lados, tras lo cual resultar que a

ambos lados habr trminos afectados de

6. Se dividirn todos los trminos por e, o por alguna potencia superior de e, de modo
que desaparecer la

o de una de sus potencias.

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

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 del rectngulo

de un segmento

AC

que hace mxima el rea

AE.EC. Pongamos AC = b. 1. Sea a uno de los segmentos,

3. Sea ahora

el otro ser

b a. ba a2 .

2. El producto del que se debe encontrar el mximo es

b, el segundo segmento ser b a e, y el producto de segmentos: ba + be 2ae e2 . 2 2 2 4. Se debe  adigualar  al precedente: ba a + be 2 ae e ba a . 2 5. Suprimiendo trminos comunes: be 2 ae + e . 6. Dividiendo todos los trminos por e: b 2 a + e. 7. Se suprime la e: b = 2 a. 8. Para resolver el problema se debe tomar por tanto la mitad de b. El recurso de hacer e = 0 es equivalente a lo indicado en la instruccin 7 de Fermat. Esto a+e
el primer segmento de

a2

era precisamente lo que se haca al aplicar el mtodo, a pesar de que antes era necesario dividir por

e,

lo que resultaba algo contradictorio. 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. Es tentador reproducir este razonamiento en trminos actuales. Hagamos y pongamos

a = x, e = x,

f ( x ) = x ( b x ).

1  5 f ( x + x ) f ( x ) 0. 6 7, 8
f (x+ x) f (x) 0. x f (x+ x) f (x) =0 x x =0 x
que hace

Para funciones derivables podemos interpretar todo esto como que el valor de mximo o mnimo a

f (x)

es la solucin de resolver la ecuacin

f ( x ) = l m

f (x+

x 0

x) f (x) =0 x

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

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.

El mtodo de las tangentes de Fermat

Fermat, determina la subtangente a una parbola haciendo uso de su mtodo para mximos y mnimos.

Clculo de tangentes y de valores extremos

309

T1 P1 P R

e T V Q Q1
Figura 6.11. Clculo de la subtangente
Figura 7. Clculo de la subtangente En la gura (7), el segmento El vrtice de la parbola es

semejantes, resulta

TQ

es la1 subtangente a la parbola en un punto dado T1 Q TQ1

V.

TQ que los tringulos TeniendoPQ en cuenta

TQP

(6.35)
y

P.

TQ1 P1

son

semejantes,Teniendo resulta en cuenta ahora la propiedad de la parbola

T1 Q1 TQ1 VQ1 =P1 Q2 1 D TQ PQ VQ PQ2

Teniendo en cuenta ahora la propiedad de la parbola

(10)

y que P1 Q1 < T1 Q1 , deducimos que:

2 2 P1 Q VQ TQ VQ 11 1 1 = < 22 VQ TQ VQ PQ

(6.36)

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:

TQ2 VQ1 1 < VQ TQ2

Pongamos ahora

(11)

P.

Hagamos

VQ = a, que es la abscisa de la parbola en P, conocida porque se conoce tambin TQ = x que es la subtangente que queremos calcular, y QQ1 = e. La a+e ( x + e )2 < ax2 + ex2 < ax2 + 2aex + ae2 2 a x

igualdad (11) se expresa por:

Fermat aplica su mtodo de mximos y mnimos y sustituye esta desigualdad por la adigualdad

ax2 + ex2 ax2 + 2aex + ae2

Cancelando trminos y dividiendo por

obtenemos

x2 2ax + ae
Eliminando ahora el trmino que queda en

e,

igualando y simplicando por

x,

se obtienes que

x = 2 a,

resultado ya conocido de la Antigedad y que expresa que la subtangente es el doble de

la abscisa. Realmente no se entiende bien la razn de por qu Fermat usa su mtodo de mximos y mnimos para calcular tangentes y Descartes hizo una dura crtica de esta forma de proceder. Para responder a estas crticas, Fermat desarroll, en una memoria de 1638, un procedimiento bastante general para calcular tangentes que, con notacin actual, podemos resumir como sigue. Sea

P = ( x, y)

un punto de una curva

curva prximo a cuenta que

P como en la gura (8). PQ = y, la igualdad (10) se escribe T1 Q1 =

f ( x, y) = 0 y sea P1 = ( x + e, y1 ) otro Llamemos b = TQ, la subtangente en P.

como

punto de la Teniendo en

y(b + e) b

Como

T1 Q1

es casi igual a

y1 = P1 Q1 , f

Fermat escribe

x + e,

y(b + e) b

y a esta adigualdad le aplica su mtodo para mximos y mnimos. Es fcil ver que ello conducir a una expresin para

dada por

f ( x, y) y b= f ( x, y) x y

Que, usando que la tangente viene dada por (implcita) de

y / b,

podemos escribir, viendo

como funcin

x,

en la forma familiar

f ( x, y) x y = f ( x, y) y
La idea de  adigualdad  en Fermat puede interpretarse algo as como cantidades innitamente prximas. De alguna forma Fermat est considerando cantidades innitesimales. Es tentador expresar en trminos actuales las ideas de Fermat para calcular tangentes. Esencialmente, dado un punto pendiente de la curva en tringulos

P = ( a, f ( a)) en una curva y = f ( x ), se trata de calcular la P. Sea QQ1 un incremento de TQ en una cantidad E. Ya que los PQ TR = 1 TQ E

TQP

PRT1

son semejantes, se tiene

Pero, dice Fermat,

T1 R

es casi igual a

P1 R; PQ TQ

por tanto tenemos la adigualdad

Clculo de tangentes y de valores extremos

P1 Q1 QP E

311

T1 P1 P E R

E T V Q Q1
Figura 6.12. Clculo de la tangente
Figura 8. Clculo de la tangente Poniendo = f ( a), ala igualdad anterior puede escribirse como: FermatPQ es equivalente calcular

el resultado es la pendiente de la tangente en P . Est claro que el procedimiento que indica f .a C E / f .a/ f ( a) lK m f ( a + E ) f ( a ) E !0 E TQ E

Naturalmente, a esta interpretacin se le pueden hacer las mismas observaciones que hicimos a la interpretacin anloga del mtodo para mximos y mnimos. 6.48 Ejemplo. Sea f .x / D x 2 2x C 3 y a D 2. Entonces f .2/ D 3. Pongamos c D TQ la longitud de la subtangente. Tenemos la adigualdad: 3 f .2 C E / D c E f .2/ D 2E C E 2 D2CE 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 nalmente, se ignoran los trminos que an contengan el resultado es la pendiente de la tangente en Fermat es equivalente a calcular

f ( a + E) f ( a), se E (lo que equivale a

divide por hacer

E E = 0),

y y

P.

Est claro que el procedimiento que indica

E 0

l m

f ( a + E) f ( a) E

Naturalmente, a esta interpretacin se le pueden hacer las mismas observaciones que hicimos a la interpretacin anloga del mtodo para mximos y mnimos.

Ejemplo.

Sea

f ( x ) = x2 2 x + 3

a = 2.

Entonces

f ( 2 ) = 3.

Pongamos

c = TQ

la

longitud de la subtangente. Tenemos la adigualdad :

3 f (2 + E ) f (2) 2 E + E2 = = = 2+E c E E
Haciendo

E=0

se obtiene

pendiente de la tangente es

3/c = 2, por la que la subtangente 3/c = 2 que, efectivamente es igual a

es

c = 3/2

y el valor de la

la derivada de

en

x = 2.

El mtodo de Roberval y de Torricelli para las tangentes

Roberval (16021675) y Torricelli (1608  1647)

En 1630 Roberval y Torricelli descubrieron independientemente un mtodo para calcular tangentes por medio de consideraciones cinemticas. Este mtodo se apoya en dos ideas bsicas: la primera es la de considerar una curva como la trayectoria de un punto mvil que obedece a dos movimientos simultneamente, y la segunda es la de considerar la tangente en un punto de la curva como la direccin del movimiento en ese mismo punto. Si la razn entre las velocidades de los dos movimientos es conocida, la direccin del movimiento resultante se puede hallar

mediante la ley del paralelogramo. Ya en la antigedad, Arqumedes haba usado un mtodo anlogo para trazar la tangente a su espiral.
Clculo de tangentes y de valores extremos 312

Figura Tangente a la cicloide Figura 9. 6.13. Tangente a la cicloide

tangente a la circunferencia en P que y un vector horizontal en P , y ambosde una circunferencia Consideremosvector una cicloide, esto esgeneradora la curva describe un punto

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 bien tena la virtud de relacionar geometra y dinmica siguiendo las ideas Galileo. velocidad de avance horizontal, por tanto, su tangente en un de punto

vectores tienen igual mdulo.

se obtiene sumando el

vector tangente a la circunferencia generadora en vectores tienen igual mdulo.

6.8.2.4. El tringulo diferencial de Barrow

y un vector horizontal en

P,

y ambos

Naturalmente, esta de idea de laantiguos tangente solamente poda a curvas mecnicas, si admirador los gemetras y edit las obras de Euclides, Apolonio aplicarse y de Arqumedes, bien tena la virtud de relacionar geometra y dinmica siguiendo las ideas de Galileo.
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 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.

Isaac Barrow (1630 - 1677) tambin dio un mtodo para calcular tangentes. Barrow era un

El tringulo diferencial de Barrow

Partiendo del tringulo PRQ, que resulta de un incremento PR, como este tringulo es semejante al PNM , resulta que la pendiente de la tangente PM =M N es igual a QR =PR. Barrow arma que cuando el arco PP1 es muy pequeo podemos identicarlo con el segmento PQ de la tangente en P . El tringulo PRP1 de la gura de la derecha, en el cual PP1 es considerado a la vez como un arco de la curva y como parte de la tangente, es el tringulo caracterstico o diferencial. Ya haba sido usado mucho antes por Pascal y otros en problemas de cuadraturas.

Isaac Barrow (Londres, 1630  id., 1677)

En la Leccin X de Lectiones, Barrow calcula la tangente a una curva, dada por una ecuacin polinmica f .x ; y / D 0, en un punto de la misma P D .x ; y / de la forma siguiente. Pongamos P1 D .x C e ; y C a/ un punto de la curva prximo a P y sustituyamos estas coorUniversidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral

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 movimiento y usando mtodos innitesimales y mtodos de indivisibles.

Clculo de tangentes y de valores extremos

313

Una de las herramientas a las que saca gran partido es al tringulo caracterstico o tringulo diferencial.

Q P1 P R
P e P1 a
R

Figura 6.14. Tringulo diferencial

Figura 10. Tringulo diferencial Partiendo del tringulo semejante al Barrow

PQ

de

PRQ, que resulta de un incremento PR, como este tringulo es Rechacemos losla trminos en los que no hay a o e (porque PM se anulan unos aes otros PN M , resultatodos que pendiente de la tangente / MN igual a QR / PR. por la naturaleza de la curva); rechacemos todos los trminos en los que a o e estn por arma que cuando el arco PP1 es muy pequeo podemos identicarlo con el segmento encima de la primera potencia, o estn multiplicados ambos (porque, siendo innitamente pequeos, noEl tienen valor en comparacin resto). la tangente en P. tringulo PRP1 con de el la gura de la derecha, en el cual PP1 es
Despus de estas operaciones se puede calcular el cociente a=e que es la pendiente de la curva 6.49 Ejemplo. Consideremos la curva x 3 C y 3 D r 3 y sigamos el mtodo de Barrow para .x C e /3 C .y C a/3 D r 3
de la curva

denadas en la ecuacin f .x ; y / D 0. En palabras de Barrow:

considerado a la vez como un arco de la curva y como parte de la tangente, es el tringulo caracterstico o diferencial en el punto P . . Ya haba sido usado mucho antes por Pascal y otros en problemas de cuadraturas. En la Leccin Xpendiente de Lectiones , Barrow la tangente aP una curva, por una calcular su en un punto P D .x ; y calcula / de la misma. Como el punto C e ; y Cdada a/ 1 D .x

est en la f curva se ecuacin polinmica ( x, y )tiene: = 0, en un punto de la misma

Pongamos

P1 = ( x + e, y + a) un punto Esto es coordenadas en la ecuacin , y) = 0 3 f ( x2 2 . En 3

P = ( x, y) prximo a P

de la forma siguiente.

y sustituyamos estas

y obtenemos otros por que la uno, naturaleza de la curva); rechacemos todos los trminos en los que 3x 2 e C 3y 2 a D 0 a D x de donde resulta la pendiente: innitamente pequeos, no tienen valor en comparacin con el resto). 2 e el cociente y2 Despus de estas operaciones se puede calcular
en el punto

Rechacemos todos los trminos los no hay o e (porque se anulan Simplicamos usando que x 3 Cen y3 D r 3 que y eliminando lasa potencias de a y e de grado mayorunos a

x C 3x e C 3xe C e C y 3 C y 3 C 3y 2 a C 3ya2 C a3 D r 3

palabras de Barrow:

estn por encima de la primera potencia, o estn multiplicados ambos (porque, siendo

a/e

que es la pendiente de la curva

P.

 Observa que este procedimiento equivale a quedarse con la aproximacin lineal de la fun3 3 3

Ejemplo.

Consideremos laycurva x + y = r elytringulo sigamos el1 mtodo de para calcular cin en el punto P eso es como reemplazar PRP en la gura de Barrow la izquierda

porun el tringulo su pendiente en punto diferencial. P = ( x, y) de la misma. Como el punto

P1 = ( x + e, y + 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.
Universidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral

a)

est en

la curva se tiene:

( x + e )3 + ( y + a )3 = r 3
Esto es

x3 + 3x2 e + 3xe2 + e3 + y3 + y3 + 3y2 a + 3ya2 + a3 = r3

Simplicamos usando que uno, y obtenemos

x 3 + y3 = r 3

y eliminando las potencias de

de grado mayor que

3 x 2 e + 3y2 a = 0
de donde resulta la pendiente:

x2 a = 2 e y
Observa que este procedimiento equivale a quedarse con la aproximacin lineal de la funcin en el punto

y eso es como reemplazar el tringulo

PRP1

en la gura de la izquierda

por el tringulo diferencial.

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 Parece que Barrow no conoca directamente la obra de Fermat.

a / e.

El resultado fundamental de Barrow

Barrow estuvo muy cerca de descubrir la relacin inversa entre problemas de tangentes y de cuadraturas, pero su conservadora adhesin a los mtodos geomtricos le impidi hacer uso efectivo de esta relacin. Veamos cmo aparece esa relacin tal como se expone en la Leccin X, Proposicin 11 de las Lectiones Geometricae.

y = g( x ). El segmento AD representa el eje de abscisas donde toma valores x . La cantidad g ( x ) representa el valor del rea bajo la grca de f comprendida entre el punto A y x . Dado un punto de abscisa D , se trata de probar que la pendiente de la tangente a y = g ( x ) en el punto F , es decir en el punto ( D, g( D )), es igual a f ( D ) = DE. La demostracin de Barrow es geomtrica.
En la gura (11) se han representado dos curva e

y = f (x)

de cuadraturas, pero su conservadora adhesin a los mtodos geomtricos le impidi hacer uso efectivo de esta relacin. Veamos cmo aparece esa relacin tal como se expone en la Leccin X, Proposicin 11 de las Lectiones Geometricae. En la gura (8.33) se han representado dos curva y D f .x / e y D g.x /. El segmento AD representa el eje de abscisas donde toma valores x . La cantidad g.x / representa el valor del rea bajo la grca de f comprendida entre el punto A y x . Dado un punto de abscisa D , se trata de probar que la pendiente de la tangente a y D g.x / en el punto F , es decir en el punto .D; g.D //, es igual a f .D / D DE . La demostracin de Barrow es geomtrica. y D g .x / F

I A T Z G E K P

L D

y D f .x /

Figura 11. Teorema Fundamental Tracemos una lnea recta

Figura 8.33. Teorema Fundamental

Tracemos una lnea recta F T por F que corta en T a la recta AD y tal que

FT

por

que corta en

a la recta

AD

y tal que

Queremos probar que F T es la tangente a y D g.x / en el punto F . Para ello vamos a ver que la distancia horizontal, KL, de cualquier punto L de la recta EF a la recta F T es menor que Queremos probar que FT es la dicho tangente =curva g( x ) punto F. Para vamos ver la distancia, IL , de punto a Ly a la y en D gel .x / . Esto probar queello la recta FT a queda siempre por debajo y D g.x /. punto L de la recta EF a la recta FT es menor la distancia horizontal, KL , dede cualquier
la distancia, siempre por

DF / TD = f ( D ) = DE

DF = TD D f .D / D DE

que que

IL, de dichoque: punto L Tenemos debajo de y = g ( x ).

parte:

a la curva

y = g ( x ).

Esto probar que la recta

FT

queda

FL=KL D DF = TD D DE

otra TenemosPor que:

FL/ KLADEZ = DF /D TD = DE rea FD

Por otra parte:

rea AP GZ D PI D LD rea PDEG D FD

Ya que

rea ADEZ rea APGZ

= =

FD

LD D FL (8.55)
Prof. Javier Prez Clculo diferencial e integral

rea PDEG < rectngulo PD:DE

PI = LD

Universidad de Granada PDEG Dpto. de Anlisis rea Matemtico

Ya que

FD LD = FL

rea PDEG < rectngulo PD. DE

Se sigue que

(12)

FL < PD. DE = DE > FL/ PD

y por tanto

FL/KL > FL/ PD = KL < PD = IL

Deducimos que el punto

queda debajo de la curva

y = g( x ) TF

y por tanto la recta

FT
en

queda

a un lado de la curva. Para completar la demostracin es necesario repetir el razonamiento tomando puntos a la derecha de pendiente es

EF.

Esto prueba que

es tangente a

y = g( x )

y su

DE = f ( D ).

En trminos actuales, lo que Barrow ha probado es que:

d dx

x a

f ( t )dt = f ( x )

Orgenes del Clculo Diferencial e Integral II.

El nacimiento del Clculo: Newton y Leibniz.

Historia del Anlisis Matemtico

Sir Isaac Newton

Naci el 4 de enero de 1643 en Woolsthorpe, Lincolnshire (Reino Unido). Muri el 31 de marzo de 1727 en Londres (Reino Unido).

Gottfried Wilhelm von Leibniz

Naci el 1 de julio de 1646 en Leipzig (ahora Alemania). Muri el 14 de noviembre de 1716 en Hannover, (Alemania).

Los inventores del Clculo

En el ltimo tercio del siglo XVII, Newton (en 1664 - 1666) y Leibniz (en 1675) inventaron el Clculo (de forma independiente):

Unicaron y resumieron en dos conceptos generales, el de integral y derivada, la gran variedad de tcnicas diversas y de problemas que se abordaban con mtodos particulares. Desarrollaron un simbolismo y unas reglas formales de clculo que podan aplicarse a funciones algebraicas y trascendentes, independientes de cualquier signicado geomtrico, que haca casi automtico, el uso de dichos conceptos generales.

Reconocieron la relacin inversa fundamental entre la derivacin y la integracin.

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. Newton desarroll tres versiones de su clculo. En la obra De Analysi per aequationes numero terminorum innitas, que Newton entreg a su maestro Barrow en 1669, y que puede considerarse el escrito fundacional del Clculo, Newton usa conceptos innitesimales de manera similar a como haca el propio Barrow. 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

, y , z , . . . . Los x, y, z, . . . y a las segundas por letras punteadas x incrementos de las uentes x , y, z, . . . , los representa por medio de las correspondientes uxiones , yo , zo , . . . , y los llama momentos , donde o es entendido como un incremento en la forma xo
a las primeras por letras 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:

Problema 1 Problema 2
uxiones.

Determinacin de la velocidad de movimiento en un momento de tiempo dado

segn un camino dado. De otro modo: dada la relacin entre las cantidades uentes, determinar la relacin de las uxiones. Dada la velocidad de movimiento, determinar el camino recorrido en un tiempo

dado. Matemticamente: determinar la relacin entre las uentes dada la relacin entre las

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

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

, y , z , . . . ) = 0 F ( x , y, z, x

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
Sustituyendo

por

x + xo

y + yo

respectivamente, tenemos:

2 + 3x 2 o2 x + x 3 o3 ) a( x2 + 2xox +x 2 o2 )+ ( x3 + 3xox + yox +x yo 2 ) (y3 + 3yox 2 + 3y 2 o2 y + y 3 o3 ) = 0 + a( xy + xoy

Teniendo en cuenta ahora que dems trminos que contengan

x3 ax2 + axy y3 = 0, a o , resulta

dividiendo por

y despreciando los

2 2a xx + a xy + ax y 3yy 2=0 3xx

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: Cuando una cantidad es la ms grande o la ms pequea, en ese momento su uir ni crece ni decrece: si creciera, eso probara que era menor y que lo que sigue sera ms grande que lo que ahora es, y recprocamente pasara si decreciera. As, calclese su uxin como se ha explicado en el problema 1 e igulese a cero. Newton usa el teorema fundamental del clculo para realizar cuadraturas. Escribe: Problema 9: Determinar el rea de cualquier curva propuesta. La resolucin del problema est basada en el establecimiento de la relacin entre la cantidad uente y su uxin (problema 2). 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. En De Quadratura Curvarum, escrita en 1676 y publicada en 1704, Newton propone fundamentar su clculo de uxiones en lo que llama razones primera y ltima de incrementos evanescentes. De esa forma se reere Newton a los cocientes de los incrementos innitesimales de las cantidades variables, y su objetivo es determinarlos en el momento en que dichas cantidades nacen desde cero (razn primera) o se anulan (razn ltima). Un ejemplo ayudar a entender el signicado de estas ideas. En la introduccin de la citada obra, Newton calcula la uxin de

xn .
en

Para ello, considera un incremento

de forma que

pasa a

x + o.

Entonces

xn

se convierte

( x + o )n = x n + nox n1 +
Los incrementos de

xn ,

n ( n 1 ) 2 n 2 o x + 2

a saber,

y nox n1 +

n ( n 1 ) 2 n 2 o x + 2

estn entre s en la misma razn que

1 a nx n1 + nx n1 : por tanto, la uxin de la cantidad

n ( n 1 ) n 2 ox + 2 1
a

Dice Newton dejemos ahora que los incrementos se anulen y su ltima proporcin ser

n es a la uxin de la cantidad x 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 . En Methodus Fluxionum et Serierum Innitarum (1671), el concepto bsico es el de cantidad en movimiento o que uye continuamente en el tiempo. Las magnitudes estn generadas por el movimiento continuo y no por agregacin de cantidades innitesimales; la idea bsica es la de continuidad tal como se observa en los procesos de la Naturaleza. Quizs Newton pretenda de esta forma evitar el uso de innitesimales estticos o geomtricos, pero lo que realmente hizo fue sustituirlos por los innitesimales de tiempo usados para denir los momentos de las uentes. Conviene advertir que lo que Newton considera es la abstraccin matemtica anloga al tiempo, es decir, una magnitud independiente imaginaria abstracta que uye uniformemente y con la que se relacionan todas las uentes. Puede verse aqu un intento de Newton por evitar los problemas matemticos del continuo (innitesimales, indivisibles) y trasladarlos al mundo fsico, a la continuidad de los procesos naturales y al movimiento. Por otra parte, Newton aceptaba como algo dado la idea intuitiva de velocidad instantnea de las uentes, no le pareci preciso denirla. En Quadrature of Curves (1676), Newton expresa su propsito de abandonar por completo el uso de cantidades innitesimales. Maniesta en este sentido que errores quam minimi in rebus mathematicis non sunt contemnendi , esto es, que en matemticas ni siquiera los errores ms pequeos pueden ser admitidos. Y eso es justamente lo que se haca cuando se despreciaban en los clculos cantidades innitesimales. Seguidamente, enuncia su teora de las razones primera y ltima de cantidades evanescentes . Estas ideas sealan claramente al concepto matemtico de lmite. Lo que expresa, a su manera, Newton es, en trminos actuales, el lmite de un cociente de funciones que se anulan. Pero estamos en el siglo XVII y se necesitarn casi 200 aos para precisar matemticamente el concepto de lmite. Debemos notar que Newton usa dicho concepto a partir de la intuicin mecnica del movimiento. 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. Newton tena su particular idea de lmite.

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. [. . . ] investigar las razones primera y ltima de cantidades nitas, nacientes o

evanescentes, est en armona con la geometra de los antiguos; y me he esforzado en probar que, en el mtodo de uxiones, no es necesario introducir en la geometra cantidades innitamente pequeas. 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. Newton realiz tambin contribuciones importantes en la teora de ecuaciones, donde podemos destacar las identidades de Newton para la suma de las potencias de las races de una ecuacin polinmica, y a la teora de curvas, siendo notable su clasicacin de las curvas de tercer grado. Considerando la matemtica desde el comienzo del mundo hasta la poca de Newton, lo que l ha hecho es, con mucho, la mitad mejor. Leibniz

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 Universo newtoniano es un Cosmos difano y sereno ofrecido a la exploracin racional del hombre. La gran obra de Newton proporcionar a la Ilustracin, en el siglo XVIII, la base cientca necesaria para acabar con una concepcin conservadora y absolutista del poder poltico apoyada en dogmticas concepciones religiosas. 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. Y qu pensaba el propio Newton de s mismo? Escuchemos sus palabras, ya casi al nal de su vida. 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. A lo largo de su vida, Leibniz realiz mltiples actividades. Como abogado y diplomtico trabaj para el Prncipe elector arzobispo de Maguncia y, desde 1676 hasta su muerte, para los

Duques de Brunswick-Luneburgo (conocidos como prncipes electores de Hanover desde 1692), lo que le llev a viajar por gran parte de Europa. Invent una mquina de calcular, la primera mquina de este tipo capaz de realizar las operaciones de multiplicacin, divisin y extraccin de races cuadradas. Como ingeniero trabaj en prensas hidrulicas, molinos de viento y desarroll proyectos para drenar el agua de las minas de plata de las montaas de Harz en la Baja Sajonia. Como historiador escribi la historia de la casa de Brunswick, realizando muchas investigaciones genealgicas. Trabaj tambin como bibliotecario en la ciudad de Hanover. Leibniz fue un pensador profundo. Como lsofo se propuso la creacin de un lgebra del pensamiento humano, algo as como un lenguaje simblico universal para escribir los razonamientos con smbolos y frmulas, cuyas reglas de combinacin permitieran reducir todo discurso racional a clculos rutinarios. Esto explica el gran inters de Leibniz en desarrollar una notacin matemtica apropiada para su clculo; de hecho, su notacin, muy superior a la de Newton, es la que usamos actualmente. Leibniz fund la Academia de Ciencias de Berln en 1700 y fue su primer presidente; tambin fue uno de los fundadores de la primera revista cientca alemana, el Acta Eruditorum. Aunque Leibniz public poco, mantuvo correspondencia con ms de 600 eruditos y se han conservado sus manuscritos que estn en el archivo que lleva su nombre en la ciudad de Hannover. Las contribuciones de Leibniz al lgebra (determinantes, resolucin de ecuaciones), la historia natural, la geologa y la lingstica son tambin importantes. En 1672, estando en Pars en misin diplomtica, Leibniz se dedic intensamente al estudio de la matemtica superior teniendo como gua al matemtico y fsico Christian Huygens (1629 - 1695). En los aos 1673 y 1676 realiz, tambin en misin diplomtica, dos viajes a Londres donde tuvo acceso al manuscrito de Newton De Analysi, circunstancia que se us para acusar, hoy sabemos que sin motivo alguno, a Leibniz de plagio cuando se produjo la agria controversia sobre la prioridad en el descubrimiento del Clculo. Los progresos matemticos realizados por Leibniz en estos cuatro aos fueron extraordinarios. 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 , . . .
Podemos formar la sucesin de sus diferencias primeras:

b1 = a1 , b2 = a2 a1 , b3 = a3 a2 , b4 = a4 a3 , . . . , bn = an an1 , . . .
Leibniz se haba dado cuenta de la relacin:

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. Leibniz consideraba una curva como un polgono de innitos lados de longitud y una

innitesimal. Con una tal curva se asocia una sucesin de abscisas sucesin de ordenadas

x1 , x2 , x3 , x4 , . . .

y1 , y2 , y3 , y4 , . . .

donde los puntos

( xi , yi )

estn todos ellos en la curva

y son algo as como los vrtices de la poligonal de innitos lados que forma la curva. La diferencia entre dos valores sucesivos de

y el clculo de diferencias
dx ,

x es llamada la diferencial de x y se representa por dy . El diferencial dx es una cantidad ja, no nula, innitamente pequea en comparacin con x , de hecho es una cantidad innitesimal. Los lados del polgono que constituye la curva son representados por ds . Resulta as el tringulo caracterstico de
signicado anlogo tiene Leibniz que es el mismo que ya haba sido considerado por Barrow.

ds dx y x

dy

Figura 6.17. Tringulo caracterstico Figura 1. Tringulo caracterstico

Curiosamente, los trminos abscisa, ordenada y coordenadas, tan propios de la geometra analtica, no fueron usados nunca por Descartes sino que son debidos a Leibniz; y mientras que nosotros hablamos de diferenciales, Leibniz siempre hablaba de diferencias. El tringulo caracterstico tiene lados innitesimales . El lado , ,

de diferenciales al que Leibniz llam cociente diferencial. Leibniz nunca cons d x dy ds como un (lmite. ds )2 = ( d x )2 + ( dy )2 ds
y se verica la relacin sobre la curva o polgono se hace coincidir con la tangente a la curva en el punto

niz investig durante algn tiempo hasta encontrar las reglas correctas para dif s y cocientes. Dichas reglas se expresan fcilmente con su notacin diferencia   x y dx x dy d.xy / D y dx C x dy ; d D y y2

( x , y ).

La pendiente de dicha tangente viene dada por

dy dx , que

es un cociente de diferenciales al que Leibniz llam cociente diferencial. Leibniz nunca consider la derivada como un lmite.

Leibniz investig durante algn tiempo hasta encontrar las reglas correctas para diferenciar productos y cocientes. Dichas reglas se expresan fcilmente con su notacin diferencial:

d( xy) = y dx + x dy ,

x y

y d x x dy y2

La manera en que Leibniz lleg a estas frmulas pudo ser como sigue. Consideremos

zn =

j =1

xj

j =1

yj

Entonces

n +1

z n +1 z n = x n +1
Si interpretamos, al estilo de Leibniz, que cantidades

j =1

y j + y n +1 x j
j =1

(1)

xj

yj

son diferencias de valores consecutivos de las

respectivamente, entonces los valores de dichas cantidades vendrn dados por

dx = xn+1 y dy = yn+1 por ser diferencias de valores consecutivos. De la misma forma, z n+1 z n sera la diferencial de z = xy. Por tanto, la igualdad 1 es interpretada por Leibniz en la forma d( xy) = x dy + y dx ,
las sumas respectivas e mientras que lo que lleva a la regla para la diferencial de un producto.

x = n j =1 x j

+1 y = n j =1 y j ,

partir

de

la

regla

para

la

diferencial

de

un

producto,

Leibniz

obtuvo

la

regla

correspondiente para la diferencial de un cociente

z=

x y . Poniendo

x = zy

se tiene que

d x = y dz + z dy ,

de donde despejando

dz ,

resulta:

x dx y dy d x z dy y d x x dy dz = = = y y y2

Consideremos ahora una curva como la de la gura 2 con una sucesin de ordenadas trazadas a intervalos de longitud unidad.

Desarrollo del clculo diferencial

322

y1 1 1

y2

y3

y4

y5

y6

y7

y8

y9

y12 y13 y10 y11

Figura 6.18. Aproximacin de una cuadratura

Figura 2. Aproximacin de una cuadratura

cuadratura de la curva (del rea bajo la curva), y la diferencia entre dos ordenadas sucesivas bajo la curva), y la diferencia entre dos ordenadas sucesivas es aproximadamente igual a la espendiente aproximadamente igual a la pendiente de la correspondiente Cuanto ms pequea de la correspondiente tangente. Cuanto ms pequea setangente. elija la unidad 1, tanto mejor sesern elija estas la unidad 1, tanto mejor sern estas aproximaciones. Leibniz razonaba que si la unidad aproximaciones. Leibniz razonaba que si la unidad pudiera ser tomada innitamente pudiera ser tomada innitamente , estas aproximaciones se haran exactas, es, la pequea , estas aproximaciones se pequea haran exactas, esto es, la cuadratura sera igual a esto la suma cuadratura sera igual a la suma dede las y la pendiente la tangente sera igual a la de las ordenadas, y la pendiente laordenadas, tangente sera igual a la de diferencia de dos ordenadas sucesivas.de Como las operaciones de tomar diferencias y sumarde son recprocas entre y s, dedujo diferencia dos ordenadas sucesivas. Como las operaciones tomar diferencias sumar son Leibniz que el clculo de cuadraturas y de tambin eran operaciones inversas una de recprocas entre s, dedujo Leibniz que el tangentes clculo de cuadraturas y de tangentes tambin eran otra. operaciones inversas una de otra. 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 de octubre al 11 de noviembre de 1675. En 1676 Leibniz ya haba obtenido prcticamente todos 25 de octubre al 11 de noviembre de 1675. Nos antes. ocuparemos de ello en el captulo dedicado a la los resultados descubiertos por Newton un poco integracin. En 1676 Leibniz ya haba obtenido prcticamente todosde los resultados La primera publicacin sobre clculo diferencial fue el artculo Leibniz Novadescubiertos methodus por Newton unet poco antes.itemque tangentibus, quae nec fractals nec irrationales quantitates pro maximis minimis, La primera publicacin sobre clculo diferencial fue el artculo de Leibniz Nova methodus dy de forma que evitaba pro maximis et minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates el uso de las sospechosas cantidades innitesimales. Poco despus, en 1686, Leibniz public un moratur, et singulare pro illis calculi genus, que fue publicado en Acta Eruditorum hace ya trabajo con sus estudios sobre la integracin. ms de tres siglos, en 1684. En este trabajo, Leibniz dena el diferencial dy de forma que Reconocido hoy da como un genio universal, Leibniz vivi sus ltimos aos en Hannover evitaba el uso de las sospechosas cantidades innitesimales. Poco despus, en 1686, Leibniz en un aislamiento cada vez mayor y muri el 14 de noviembre de 1716. A su entierro solamente public un trabajo con sus estudios sobre la integracin. asisti su secretario.
de tres siglos, en 1684. En este trabajo, Leibniz dena el diferencial moratur, et singulare pro illis calculi genus, que fue publicado en Acta Eruditorum hace ya ms Las investigaciones de Leibniz sobre la integracin y el origen de sus notaciones para la

La suma de las ordenadas es una aproximacin de la cuadratura de la curva (del rea

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.

El Teorema Fundamental del Clculo segn Newton

6.8.6. Desarrollo 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 senti-

8.8.3.1.

El Teorema Fundamental del Clculo segn Newton

Newton desarroll tres versiones de su clculo. En la obra De Analysi per aequatione numero terminorum innitas, que Newton entreg a su maestro Barrow en 1669, y que puede considerarse el Newton escritodesarroll fundacional del Clculo, Newton usa conceptos innitesimales de mane tres versiones de su clculo. En la obra De Analysi per aequationes ra similar anumero comoterminorum haca el propio Este trabajo, adems contener el teorema binomia innitas, Barrow. que Newton entreg a su maestro de Barrow en 1669, y que puede considerarse el escrito fundacional del Clculo, Newton usa conceptos innitesimales de y los descubrimientos de Newton relativos a series innitas, contiene tambin un claro recono manera similar a como haca el propio Barrow. Este trabajo, adems de contener el teorema cimiento de la relacin inversa entre problemas de cuadraturas y de tangentes. La exposicin binomial y los descubrimientos de Newton relativos a series innitas, contiene tambin un claro reconocimiento de la relacin inversa entre es problemas cuadraturas y de una tangentes. La y llama z a que hace Newton de esta relacin fundamental comode sigue. Supone curva exposicin que hace Newton de esta relacin fundamental es como sigue. Supone una curva y rea bajo la curva hasta el punto de abscisa x (ver gura 8.34). Se supone conocida la relacin llama z al rea bajo la curva hasta el punto de abscisa x (ver gura 3). Se supone conocida la entre x y zrelacin . Aunque explica su explica mtodo con un ejemplo, queda claro su entreNewton x y z. Aunque Newton su mtodo con un ejemplo, queda perfectamente perfectamente claro su carcter general. carcter general. El ejemplo que Newton considera es K P
y D y .x /

d H

z .x /

o B b

El ejemplo que Newton considera es

Figura 8.34. D /D rea OPB Figura 3. zz = z(z x. )x = rea OPB

m+n n n ax n mCn z D m + n ax n mCn m+n . Newton se imagina

z=

(2)

(8.56

r = n que el punto P = ( x , y ) se mueve a lo largo de la curva yn razona como sigue. Incrementemos la abscisa x a x + o Pongamos,donde por comodidad r D mC se imagina que el punto P D .x ; y / se muev n . Newton o es una cantidad innitesimal o momento. Tomemos BK = v de forma que a lo largo de larea curva y= razona como sigue. Incrementemos la abscisa x a x C o donde o e ov = BbHK rea BbPd . El incremento del rea viene dado por: a a ov = z( x + o ) z( x ) = ( x + o )r xr (3) r r
Pongamos, por comodidad

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Pre Clculo diferencial e integra

Desarrollando en potencias

a a ( x + o )r = x r (1 + o / x )r = r r a r r (r 1)(r 2) o3 o r (r 1) o 2 + + x 1+r + r x 2 123 x2 x3

De (3) y (4) deducimos, despus de dividir por (4)

o,

que:

v = axr1 +

a(r 1) r2 a(r 1)(r 2) 2 r3 ox + o x + 2 123 o

va disminuyendo hasta llegar a ser nada, en cuyo caso

Si en esta igualdad suponemos que coincidir con

y,

despus de eliminar los trminos que contienen

que desaparecen, resulta que: (5)

y = axr1 = ax n
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 (5) viene dada por (2). Observemos que Newton no ha usado el signicado tradicional de la integral al estilo de sus predecesores, es decir, no ha interpretado la integral como un lmite de sumas de reas innitesimales, sino que ha probado que la expresin que proporciona la cuadratura es correcta estudiando la variacin momentnea de dicha expresin. De hecho, lo que Newton ha probado es que la razn de cambio del rea bajo la curva, esto es, el cociente

z( x + o ) z( x ) o
se hace igual a la ordenada de la curva cuando derivada de

se hace nada. En trminos actuales, la

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:

La creacin de un simbolismo matemtico que automatizara los clculos y permitiera formular fcilmente procesos algortmicos.

La apreciacin de 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.

La consideracin de las curvas como polgonos de innitos lados de longitudes innitesimales y de las variables como sucesiones que toman valores consecutivos innitamente prximos.

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):
a 0 a 0 a a 0 0 x

x f ( x ) dx = a f ( a)

f ( x) dx = a

f ( x) dx

f ( t ) dt

dx

(6)

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, 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 (6) 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 (6) sin ms que observar la gura 4.

De hecho, Leibniz obtuvo la frmula (8.60) 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 (8.60) sin ms que observar la gura 8.35.
P D .a; f .a//

B w w w w w w w

ADa

Figura 8.35. reas complementarias

Figura 4. reas complementarias El nmero

a f ( a)

es el rea del rectngulo

OAPB,

la integral

Universidad Granada Prof. Javier Prez de de la parte de dicho rectngulo OAP que queda bajo la curva y = f ( x ) . Deducimos de (6) a Dpto. de Anlisis Matemtico Clculo diferencial e integral que la integral 0 x f ( x ) d x 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 4. Estos rectngulos horizontales tienen como base el valor de la abscisa correspondiente,

a 0 f ( x ) d x es el rea

x,

y como altura la diferencia innitamente pequea entre dos

ordenadas sucesivas, que Leibniz representa por llamar diferencial de

w. Esta diferencia es lo que posteriormente se y. Podemos, pues, interpretar que w = dy = f ( 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 x nuestra notacin, a sustituir f ( x ) por dy ), lo que 0 f ( t ) dt (o, al estilo de Leibniz, y por
tambin hemos hecho en la igualdad (6). La forma exacta en que Leibniz escribi la igualdad 6 es:

omn. xw
Aqu decir,

ult. x, omn. w, omn. omn. w x

signica el ultimus

(7)

es el smbolo para la igualdad, ult.

x,

el ltimo de los

x,

es

OA = a.

El smbolo omn. es la abreviatura de omnes lineae, todas las lneas, smbolo

que haba sido usado por Cavalieri y que Leibniz usa con el signicado de una suma. Se usan tambin lneas por encima de los trminos y comas donde ahora pondramos parntesis.

En un manuscrito posterior en algunos das, Leibniz vuelve a escribir la igualdad 7 en la forma:

omn. x
rea como

x omn. omn. omn. ,

(8)

y observa que omn. antepuesto a una magnitud lineal como

da un rea; omn. antepuesto a un

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 a continuacin: Sera conveniente escribir   en lugar de omn., de tal manera que . As fue como se introdujo el

represente omn. , es decir, la suma de todas las signo   [. . .

] E inmediatamente a continuacin escribe Leibniz la frmula (8)

utilizando el nuevo formalismo:

x =x
haciendo notar que:

x3 3

(9)

x=

x2 2

x2 =

y subrayando que estas reglas se aplican a las series en las que la razn de las diferencias de los trminos a los trminos mismos es menor que cualquier cantidad dada, es decir, a las series cuyas diferencias son innitamente pequeas. 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 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 bien, sumar sucesiones, es decir hallar una expresin general para

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: Dada y su relacin con

x,

hallar

. Esto se puede obtener mediante

el clculo inverso, es decir, supongamos que entonces de la misma manera que la disminuir. Pero la

= ya

y sea

aumenta las dimensiones,

representa una suma y

una diferencia, y de

= ya/d; d las la y dada

podemos encontrar siempre

y/d

, es decir, la diferencia de las

y.

As se introduce el smbolo  d (o ms bien el smbolo  1/ d). [. . . ] De hecho, pronto se da cuenta de que sta es una desventaja notacional que no viene compensada por

la ventaja de la interpretacin dimensional de la adimensionales [. . . ].

y de

d,

y pasa a escribir  d ( ya )

en vez de  ya / d, y de ah en adelante son interpretadas la

y la

como smbolos

En el resto del manuscrito Leibniz se dedica a explorar este nuevo simbolismo, al que 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. Newton, en su intento de calcular la cuadratura del crculo, es decir, de calcular la integral

1 0 (1

x2 )1/2 dx ,
las

consider dicha cuadratura como un problema de interpolacin, anlogas

relacionndola naturales

con

cuadraturas

n N.

1 0 (1

x2 )n d x

conocidas

para

exponentes

Newton tuvo la ocurrencia de sustituir el lmite superior de integracin por

un valor genrico

x.

De esta forma obtuvo las siguientes cuadraturas (Newton no dispona de

smbolo para la integral; usamos, claro est, la notacin actual).

x 0 x 0 x 0 x 0

(1 t2 ) dt

= = = =

1 x x3 3 1 2 x x3 + x5 3 5 3 3 1 x x3 + x5 x7 3 5 7 4 6 4 1 x x3 + x5 x7 + x9 3 5 7 9

(1 t2 )2 dt (1 t2 )3 dt (1 t2 )4 dt

Newton observ que el primer trmino de cada expresin es

x,

que

aumenta en potencias

impares, que los signos algebraicos se van alternando, y que los segundos trminos

4 3 3 x estaban en progresin aritmtica. Razonando por analoga, supuso que los dos primeros x 2 1/2 dt deberan ser trminos de 0 (1 t )

1 3 2 3 3 3 3x , 3x , 3x ,

1 2

x3

De la misma manera, procediendo por analoga, pudo encontrar algunos trminos ms:

x 0
Representando para

(1 t2 )1/2 dt = x 2 x3 8 x5 16 x7 128 x9 3 5 7 9
por

n = 0, 1, 2, . . .
x

Qn ( x )

el polinomio

x 2 n 0 (1 t ) dt , se tiene que

Qn ( x ) =
Donde

(1 t2 ) n dt =

k =0

n ( 1 ) k 2k +1 x k 2k + 1 n 0

Haciendo ahora en

n n(n 1)(n 2) (n k + 1) = , k 123k Qn ( x ), n = 1/2, se obtiene Q1/2 ( x ) = x

1 2

=1

x3

1 8

x5

1 16

x7

1 128

x9

Lo que llev a Newton a concluir que

x 0
Donde

(1 t2 )1/2 dt = Q1/2 ( x )
innitos trminos. A partir de aqu,

Q1/2 ( x ) =

Newton dedujo el

( 1 ) n 2n +1 es una suma con n 2n + 1 x n =0 2 1/2 por derivacin. desarrollo de (1 x )

1 2

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:

Las extracciones de races resultan muy abreviadas por el teorema

( P + PQ)m/n = Pm/n +
donde

m mn m 2n m 3n AQ + BQ + CQ + DQ + etc n 2n 3n 4n P
el primer trmino de esa cantidad,

P + PQ

representa una cantidad cuya raz o potencia, o cuya raz de una

potencia se necesita calcular, siendo

los

m trminos restantes divididos por el primero, y n el ndice numrico de las potencias de m mn m / n 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. Newton encontr que el mtodo de desarrollos en serie proporcionaba un algoritmo casi universal para calcular cuadraturas y resolver multitud de problemas. En su obra De analysi per aequationes numero terminorum innitas, escrita en 1669 y publicada en 1711, aunque circulaba en forma manuscrita entre los colegas y conocidos de Newton, propuso un mtodo para cuadrar una curva consistente en tres reglas: 1. 2. El rea bajo la curva de ecuacin Si la ecuacin

y = ax m/n

es

na m+n ax n . m+n
por un nmero nito de trminos a la suma de las reas de todos los

y = y( x ) de la curva est dada y1 + y2 + y3 + , el rea bajo la curva y es igual trminos y1 , y2 , y3 ,. . . a k x rk ,

donde

3.

Si la curva tiene una forma ms complicada, entonces debe desarrollarse la ecuacin de la curva en una serie del tipo 2.

rk

es un nmero racional, y aplicar las reglas 1 y

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. Veamos un ejemplo de esta forma de proceder. Se trata de calcular Newton procede como sigue

1/4 x 0

x2 d x .

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

1/4 0

( x x2 )1/2 dx

2 3/2 3x

5/2 1 x 7/2 1 x9/2 5 x 11/2 1 5x 28 72 704 2 323

1/4 0
(10)

51 281 721 7045 25 27 29 211

.x
0

x 2 /1=2 dx

D D

2 3= 2 x 3 2 3
23

1 5= 2 x 5 1 5
25
yD

1 7= 2 x 28 1 28
27

1 9= 2 x 72 1 72
29

5 11=2 x 704

5 704
211

(10.22)

p x

x2

O
0

Figura 10.4. Cuadratura

Figura 5. Cuadratura

1=4 0 1/4

p x

x2 d x

x 2 dx

En la gura 10.4 ha 5 representado el el semicrculo centro .0 1)=y2radio ; 0/ y radio 1=2. El sector En la se gura se ha representado semicrculo dede centro (1/2, 1/2 . El sector circular COA tiene amplitud /3 por lo que surea rea es tercera parte de la del ircular COA tiene amplitud = 3 por lo que su eslala tercera de semicrculo, la del semicrculo, parte p p es decir, /24. Como BC = 3/4, el rea del tringulo BOC es 3/32. Por otra parte, la s decir, =24 . Como BC D 3=4, el rea del tringulo BOC es 3=32. Por otra parte, la integral calculada en (10) es el rea de la regin ACB. Por tanto: ntegral calculada en (10.22) es el rea de la regin ACB . Por tanto: 1/4 3 2 1/2 = 1=4 0 ( x x ) dx + p 32 3 24  2 1= 2 .x x / dx C D Deducimos que 32 24 p  3 3 2 1  adems, D C 24 converge rpidamente. 4 3
23 5
25
de la citada obra De analysi :

Deducimos que

0 3 3 + 24 = 4

2 1 1 1 5 3 23 5 25 28 27 72 29 704 211

Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie innita que,

La conanza de Newton en los procesos innitos queda reejada en las siguientes palabras

Y de esta forma, Newton expresa la cuadratura del crculo por medio de una serie innita que, dems, converge rpidamente. Todo lo que el anlisis comn [es decir, el lgebra] realiza por medio de ecuaciones
con un nmero nito de trminos, este nuevo mtodo puede siempre conseguir lo

1 28
27

1 72
29

5 704
211

La conanza de Newton en los procesos innitos queda reejada en las siguientes palabras mismo por medio de ecuaciones innitas, de tal forma que no he tenido ninguna darle asimismo el nombre de anlisis. Porque el razonamiento es ste no es de la citada obraduda De en analysi :
menos cierto que en el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo poder de razonamiento est connado dentro de estrechos lmites, no Todo lo que el anlisis comn [es decir, el lgebra] realiza por medio de ecuaciones con podemos expresar ni tampoco concebir todos los trminos de esas ecuaciones como un nmero nito de trminos, este nuevo mtodo puede siempre conseguir lo mismo por medio de ecuaciones innitas, de tal forma que no he tenido ninguna duda en darle asimismo el nombre de anlisis. Porque el razonamiento es ste no es menos cierto que en el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo poder de razonamiento est connado dentro de estrechos lmites, no podemos expresar ni tampoco concebir todos los trminos de esas ecuaciones como para conocer exactamente a partir

para conocer exactamente a partir de ellas las cantidades que deseamos.

Para

terminar, podemos considerar todo esto como perteneciente al Arte Analtica, con cuya ayuda pueden ser determinadas de una manera exacta y geomtricamente las reas, longitudes, etc., de curvas. 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 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. Los hermanos Jakob y Johann Bernouilli, matemticos y profesores de la universidad de Basilea, estudiaron los trabajos de Leibniz con quien iniciaron una productiva correspondencia. A partir de 1690 publicaron una serie de trabajos en el Acta Eruditorum y en otras revistas, poniendo de maniesto que el clculo de Leibniz era una herramienta poderosa con la que haba que contar. Para divulgar dicha herramienta era preciso un buen libro de texto que explicara con detalle los pormenores del nuevo clculo. Dicho libro apareci bien pronto, en 1696, y su autor fue el matemtico y noble francs Guillaume Franois, marqus de L'Hpital. El ttulo del libro era Analyse des inniment petits pour l'intelligence des lignes courbes. Hoy sabemos que los resultados originales que aparecen en dicho libro son debidos no a L'Hpital sino a su profesor Johann Bernouilli. 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 . Los escritos de los Bernouilli, Leibniz y L'Hpital popularizaron el clculo leibniziano y ya en la primera dcada del siglo XVIII otros matemticos se interesaron por l. La potencialidad del concepto de derivada se puso de maniesto en las aplicaciones del clculo a la fsica newtoniana. 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.

La propuesta de Joseph Louis Lagrange (1736 - 1813) de fundamentar el clculo sobre un lgebra formal de series de potencias. Si bien la idea de Lagrange de evitar el uso de lmites no era acertada, su propuesta, concretada en su obra Thorie des fonctions analytiques (1797), tuvo el efecto de liberar el concepto de derivada de sus signicaciones ms tradicionales. De hecho, la terminologa funcin derivada, as como la notacin

f (x)

para representar la derivada de una funcin

f,

fueron introducidas por Lagrange en

dicho texto. A partir de este momento la derivada deja de ser algo de naturaleza imprecisa (uxin o cociente diferencial) y empieza a ser considerada simplemente como una funcin.

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