Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Naci el 4 de enero de 1643 en Woolsthorpe, Lincolnshire (Reino Unido). Muri el 31 de marzo de 1727 en Londres (Reino Unido).
Naci el 1 de julio de 1646 en Leipzig (ahora Alemania). Muri el 14 de noviembre de 1716 en Hannover, (Alemania).
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.
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.
llama uxiones , que son las derivadas respecto al tiempo de las uentes. Newton representaba
x, y, z, . . . y a las segundas por letras punteadas x, y, z, . . . . Los incrementos de las uentes x, y, z, . . . , los representa por medio de las correspondientes uxiones en la forma xo, yo, zo, . . . , y los llama momentos , donde o es entendido como un incremento
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.
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
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,
F ( x, y, z, x, y, z, . . . ) = 0
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:
dividiendo por
y despreciando los
3xx2 2a xx + a xy + ax y 3yy2 = 0
Esta es la relacin que satisfacen las uxiones. A partir de ella puede obtenerse la tangente a la curva
x3 ax2 + axy y3 = 0
en cualquier punto
( x, y)
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
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
n ( n 1 ) n 2 ox + 2 1
a
Dice Newton dejemos ahora que los incrementos se anulen y su ltima proporcin ser
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.
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 , . . .
( xi , yi )
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
de diferenciales al que Leibniz llam cociente diferencial. Leibniz nunca cons dx dy ds como un (lmite.( dx )2 + ( dy )2 ds )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).
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 dx 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
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=1 x j j
+ y = n=11 y j , j
partir
de
la
regla
para
la
diferencial
de
un
producto,
Leibniz
obtuvo
la
regla
z=
x y . Poniendo
x = zy
se tiene que
dx = y dz + z dy ,
de donde despejando
dz ,
resulta:
x dx y dy dx z dy y dx 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.
322
y1 1 1
y2
y3
y4
y5
y6
y7
y8
y9
cuadratura de la y la diferencia entre doscurva), y la sucesivas es entre dos ordenadas sucesivas curva (del rea bajo la ordenadas diferencia aproximadamente igual a la bajo la curva), espendiente de la correspondientependiente Cuanto ms pequea setangente. Cuanto tantopequea aproximadamente igual a la tangente. de la correspondiente elija la unidad 1, ms mejor sesern estas aproximaciones. Leibniz razonaba que si la unidad Leibniz ser tomadaque si la unidad elija la unidad 1, tanto mejor sern estas aproximaciones. pudiera razonaba innitamente pudiera serestas aproximaciones se pequea, estas aproximaciones se haran exactas, esto es, la pequea, tomada innitamente haran exactas, esto es, la cuadratura sera igual a la suma cuadratura sera igualla la suma dede laordenadas,sera pendiente de la tangente sera igual a la de las ordenadas, y a pendiente las tangente y la igual a la diferencia de dos ordenadas sucesivas. Como las operaciones de tomar diferencias y sumar son recprocas entre s, dedujo diferencia de dos ordenadas sucesivas. Como las operaciones de tomar diferencias y sumar son Leibniz que el s, dedujo Leibniz que el clculo de cuadraturas y de tangentes tambin eran recprocas entreclculo de cuadraturas y de tangentes tambin eran operaciones inversas una de 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.poco antes. los resultados descubiertos por Newton un Nos ocuparemos de ello en el captulo dedicado a la integracin. En 1676 Leibniz ya haba obtenido prcticamente todosde Leibniz Novadescubiertos La primera publicacin sobre clculo diferencial fue el artculo los resultados methodus por Newton unet minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates pro maximis poco antes. 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 aislamientolas sospechosas y muri el 14 de noviembre de 1716. A su entierro solamente el uso de cada vez mayor cantidades innitesimales. Poco despus, en 1686, Leibniz en un public un secretario. sus estudios sobre la integracin. trabajo con asisti su
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
Reconocido hoy da como un genio universal, Leibniz vivi sus ltimos aos en Hannover en un aislamiento cada vez mayor y muri el 14 de noviembre de 1716. A su entierro solamente asisti su secretario.
8.8.3.1.
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 desarroll tres versiones de su clculo. En la obra De Analysi innitesimales de mane escrito fundacional del Clculo, Newton usa conceptos per aequationes ra similar anumero terminorum propio Barrow. Este trabajo,suadems de contener el teorema binomia como haca el innitas, que Newton entreg a maestro Barrow en 1669, y que puede considerarse el escrito y los descubrimientos de Newtonfundacional del series innitas, contiene tambin unde relativos a Clculo, Newton usa conceptos innitesimales claro recono manera similar a como haca el propio Barrow. Este trabajo, adems de contener el teorema cimiento de la relacindescubrimientos de problemas de cuadraturas y de tangentes. La exposicin inversa entre Newton relativos a series innitas, contiene tambin un binomial y los claro reconocimiento de la relacin inversa entre problemas sigue. Supone tangentes. La que hace Newton de esta relacin fundamental es comode cuadraturas y de una curva y llama z a exposicin que hace rea bajo la curva hasta el Newton de esta relacin fundamental es 8.34). Se suponeuna curva y la relacin punto de abscisa x (ver gura como sigue. Supone conocida llama z al rea bajo la curva hasta el punto de abscisa x (ver gura 3). Se supone conocida la entre x y z. Aunque Newton explica su explica su mtodo con un ejemplo, queda perfectamente claro su relacin entre x y z. Aunque Newton mtodo con un ejemplo, queda perfectamente claro su El ejemplo que carcter general. carcter general. Newton considera es K P
y D y.x/
d H
z.x/
o B b
(8.56
r = n que el punto P = ( x, y ) se mueve a lo largo de la curva y razona como sigue. Incrementemos la abscisa x a x + o Pongamos,donde comodidad r D mCn . Newton se imagina que BK punto Pforma.x; y/ se muev por o es una cantidad innitesimal o momento. Tomemos el = v de D que n a lo largo de = rea BbHK = rea BbPd. El incremento del rea viene dado por:abscisa x a x C o donde o e ov la curva y razona como sigue. Incrementemos la a a ov = z( x + o ) z( x ) = ( x + o )r xr (3) r r
Pongamos, por comodidad
Desarrollando en potencias
o,
que:
v = axr1 +
y,
y = axr1 = ax n
Este es, por tanto, el valor de la ordenada de la curva en
P = ( x, y).
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
z( x )
es la funcin
y = y ( x ).
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 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.
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
a f ( a)
OAPB,
la integral
Universidad de parte de dicho rectngulo OAP que queda bajo la curva y = f ( x ). Deducimos Prez Prof. Javier de (6) de la Granada a Dpto. de Anlisisintegral Clculo diferencial integral que la Matemtico( x ) dx es el rea de la parte OBP de dicho rectngulo quee queda por 0 xf 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 ) dx es el rea
x,
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,
(7)
x,
el ltimo de los
x,
es
OA = a.
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.
omn. x
rea como
(8)
da un volumen y as sucesivamente.
...
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
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
el clculo inverso, es decir, supongamos que entonces de la misma manera que la disminuir. Pero la
= ya
y sea
una diferencia, y de
y/d
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
y de
d,
y pasa a escribir d ( ya )
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.
1 0 (1
x2 )1/2 dx ,
las
relacionndola naturales
con
cuadraturas
n N.
1 0 (1
x2 )n dx
conocidas
para
exponentes
un valor genrico
x.
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
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
=1
x3
1 8
x5
1 16
x7
1 128
x9
x 0
Donde
(1 t2 )1/2 dt = Q1/2 ( x )
innitos trminos. A partir de aqu,
Q1/2 ( x ) =
Newton dedujo el
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:
( 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
los
m trminos restantes divididos por el primero, y n el ndice numrico de las potencias de m/n , B = m AQ, C = mn BQ y as sucesivamente. P + PQ. . . Por ltimo A = P n 2n
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
3.
Si la curva tiene una forma ms complicada, entonces debe desarrollarse la ecuacin de la curva en una serie del tipo 2.
rk
Debe notarse que Newton supuso que cualquier cantidad analticamente expresada poda desarrollarse en una serie de la forma
a k x rk ,
donde
rk
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 dx .
1/4 0
( x x2 )1/2 dx
2 3/2 3x
1/4 0
(10)
.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 704 211
(10.22)
p x
x2
O
0
1=4 0 1/4
p x
x2 dx
x 2 dx
En la gura 10.4 se ha 5 se ha representado el semicrculo dede centro .1=2; 0/ y radiosector El sector En la gura representado el semicrculo centro (1/2, 0) y radio 1/2. El 1=2. circular COA tiene amplitud por lo lo que su rea es tercera parte de la de la del semicrculo, ircular COA tiene amplitud =3 /3 por que su rea es lala tercera parte del semicrculo, p 3/4, el rea del tringulo BOC es 3/32. Por otra parte, la p es decir, /24. Como BC = s decir, =24. Como BC D es el rea de la regin ACB. Por tanto: 3=4, el rea del tringulo BOC es 3=32. Por otra parte, la integral calculada en (10) 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 = 24 32 3 2 1=2 .x x / dx C D Deducimos que 32 24 p 3 3 2 1 adems, converge rpidamente. D C 24 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. comn [es decir, el lgebra] realiza por medio de ecuaciones Todo lo que el anlisis
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 que no he tenido ninguna mismo por medio de ecuaciones innitas, de tal forma reejada en las siguientes palabras de la citada obraduda en darle asimismo el nombre de anlisis. Porque el razonamiento es ste no es De analysi:
menos cierto que en el otro; ni las ecuaciones menos exactas; aunque nosotros los mortales, cuyo Todo lo que el anlisis poder de [es decir, elest connado dentro de estrechosde ecuaciones con comn razonamiento lgebra] realiza por medio lmites, no 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
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.
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)
f,
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).