Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TALLER N12
EL DESCUBRIMIENTO DEL
CLCULO
1. INTRODUCCION
2. ISAC NEWTON
De naturaleza entonces tmida era reacio a publicar sus resultados, para asi evitar las
posibles crticas y controversias de sus contemporneos.
En Octubre de 1666 escribi un tratado sobre fluxiones y en 1669 De analysi, un tratado
sobre series infinitas que circul en forma de manuscrito entre los miembros de la Royal
Society. Hay otro tratado sobre fluxiones y series infinitas de 1671 y otro sobre la
cuadratura de curvas de 1693.
Sin embargo estos fueron publicados hasta bien tarde y algunos slo lo fueron despus
de su muerte. De analysifue publicado en 1711 y el tratado sobre cuadratura de
curvas, De Quadratura Curvarum de 1693 apareci como un apndice de su Opticksen
1704. Su obra ms famosa, donde expone su teora de la gravitacin universal,
los Principia,fue publicada en 1687, pero sus argumentos son muy geomtricos y slo
dan una idea
de sus mtodos del clculo infinitesimal.
Poco despus de acabar sus estudios, Leibniz empez en 1672 una misin
diplomtica en Paris donde permanecera unos cuatro aos hasta
1676. All conoci a numerosos filsofos y miembros de la alta sociedad, en particular
al holands C. Huygens (1629-1695), entonces miembro
de la recin creada Acadmie Royale des Sciences. Como curiosidad Huygens le
plante a Leibniz que hallara la suma de los inversos de los nmeros triangulares.
Mediante sumas y diferencias Leibniz fue capaz de hallar la suma de esta serie y
entonces creci su inters en estudiar matemticas, cuya formacin hasta entonces haba
sido muy escasa. Huygens le recomend que leyera la renovada edicin en latn de
van Schooten de la Gometrie de Descartes y los trabajos de Pascal. La entrada
matemtica de Leibniz fue entonces impresionante, ya que
le llev al descubrimiento del clculo en 1675 y su elaboracin y publicacin en dos
cortos artculos del Acta Eruditorum despus en 1684
y 1686, el primero sobre clculo diferencial y el segundo sobre clculo integral.
Uno de los ingredientes fundamentales del clculo de Leibniz son las reglas para la
manipulacin de los smbolos " " y "d" de la integral
y la diferencial. Esto refleja sus ideas filosficas de buscar un lenguaje simblico y
operacional para representar los conceptos e ideas del pensamiento de tal manera que
los razonamientos y argumentos se puedan escribir por smbolos y frmulas. En
matemticas su clculo es
en parte esto, un algoritmo para escribir los mtodos geomtricos de cuadraturas y
tangentes por medio de smbolos y frmulas. Las otras
dos ideas fundamentales del clculo de Leibniz son la relacin entre la sumas de
sucesiones con las diferencias de sus trminos consecutivos
y el llamado tringulo caracterstico.
Leibniz pas la mayor parte del resto de su vida en Alemania, como consejero del
duque de Hannover. Aparte de la invencin y del
desarrollo de su clculo y en la solucin de problemas geomtricos y de ecuaciones
diferenciales, Leibniz tiene otros trabajos en solvabilidad
de ecuaciones y determinantes y escribi y contribuy enormemente en prcticamente
todos los campos del conocimiento humano, religin,
poltica, historia, fsica, mecnica, tecnologa, lgica, geologa, lingustica e historia
natural.
Aunque oscuros y difciles de leer, los dos artculos de Acta de Leibniz de 1684 y
1686 fueron leidos por los hermanos Jakob y Johann Bernoulli. Jakob Bernoulli era
profesor de matemticas en Basilea y su hermano Johann, unos trece aos ms joven, le
sucedi despus en
1705. Ambos entendieron notablemente el simbolismo y los conceptos de Leibniz y
publicaron varios artculos en Acta a partir de 1690.
Despus iniciaron una intensa y productiva correspondencia con Leibniz, resolviendo en
unos pocos aos numerosos problemas en los que
el nuevo clculo demostr toda su fuerza, tales como el la isocrona, la catenaria, la
tractriz, la isocrona paracntrica o la braquistocrona.
2. ISAAC NEWTON
Tal como hemos indicado, Newton concibi su clculo durante los aos 1665-1666.
Despus lo describi en numerosas cartas personales
y en un pequeo tratado no publicado, De Analysi (1669) que circul entre los
matemticos ingleses de la poca y que fue en parte includo
en el tratado De Algebra de John Wallis en 1669. Luego organiz y describi todos sus
trabajos anteriores sobre el clculo en De Methodis Serierum et Fluxionumque escribi
en 1671, pero que no fue publicado hasta despus de su muerte en 1736. La principal
obra de Newton
es Philosophiae Naturalis Principia Mathematica que fue publicada en 1687 y donde
expone muchsimas propiedades sobre las secciones
cnicas y su famosa ley de gravitacin universal. En este ltimo no muestra realmente
su clculo, ya que los argumentos de Principia son principalmente de geometra
sinttica.
El ltimo tratado que escribi, pero el primero que se public, fue De Quadratura
Curvarum. Escrito entre los aos 1691-1693 apareci
como un apndice de su Opticks de 1704. Cabe sealar tambin las dos cartas, donde
expone su teorema del binomio, la epistola priorde
Junio de 1676 y la epistola posteriorde Octubre de 1676, que mand al secretario de la
Royal Society of London, Henry Oldenburg, para
que ste se las transmitiera a Leibniz.
La serie del binomio fue descubierta por Newton el invierno de 1664. Aparece
expuesta en dos cartas, la Epistola prior de Junio de 1676
y la Epistola posterior de Octubre de 1676, que mand al secretario de la Royal Society
of London, Henry Oldenburg, para que se las
transmitiera a Leibniz. Dice Newton:
donde A, B, C, ... son los trminos inmediatos que les preceden en el desarrollo".
Expresado de esta forma suena poco familiar, Newton quiere decir que toma
A = Pm/n
m m m/n
B= AQ = P Q
n n
m m
m-n m-n m m/n ( ) ( -1 ) m/n 2
C= BQ= ( P Q)Q= n n P Q
2n 2n N
2
m m m
m-2n ( -1 ) ( -2 ) m/n 2
D= CQ= n n n P Q
3n
3x2
...
y as sucesivamente.
m m m
Pm/n(1+Q)m/n=(P+PQ)m/n=Pm/n ( 1+ Q+ [ -1 ] Q2+
n n n
2
m m m
[ -1 ] [ -2 ] 3
+ n n n Q+ )
3 x2
m m m m m
m
m/n ( ) ( -1 ) 2 ( -1 ) ( -2 ) 2
(1+Q) =1+ Q+ n n Q+ n n n Q+
n
2 2x3
que es la expresin ms familiar que usamos ahora. Aunque el binomio para enteros
positivos era conocido desde haca tiempo, el inters del descubrimiento de Newton est
en que lo usa para exponentes fraccionarios y negativos y en que aparece una suma
infinita en vez del desarrollo finito anterior. En nuestra notacin actual escribimos
comnmente
a
(1+Q)a= S ( ) xn
n
n=1
a a(a-1) (a-n+1)
( )=
n n!
Para el caso en que a sea entero positivo sale un desarrollo finito ya que
a
( )=0
n
para n > a, al ser cero uno de los factores del numerador que define el coeficiente
binomial. Por ejemplo (1+x)3=1+3x+3x2+x4.
1
=(1+x)-1=1-x+x2-x3+
1+x
x x2 x3
=(1+x)1/2=1+ - + +
2 8 16
Newton escribi casos particulares como stos en su carta y las us para el clculo de
races cuadradas. Observ por ejemplo
obteniendo una gran precisin con slo unos pocos trminos. El avance era
considerable.
Ahora sabemos que la serie que define (1+x)a converge para |x| < 1. Newton no habla
de convergencia, pero es consciente de ello y usa cierta intuicin en sus clculos, por
ejemplo utilizaba
1
y= =1-x2+x4-x6+x8-
1+x2
1 1/x2
y= 2= = x-2-x-4-x-6-x-8+
1+x 1+1/x2
para x grandes.
2.3 De Analysi.
Esta monografa circular de 1669 que mand Newton a sus amigos y que fue
publicado mucho despus en latn en 1711 contiene ya las ideas
esenciales del clculo de Newton. Empieza dando unas reglas para calcular cuadraturas
tal como se ve en en la imagen de la primera
pgina de esta publicacin
an (m+n)/n
REGULAI. Si ax m/n=y; Erit x =Areae ABD.
m+n
Primera
edicin
inglesa de
De Analysi
(1745).
Traduccin
del original
en latn.
2 3/2
z= x
3
para facilitar los clculos, elevamos al cuadrado la relacin anterior para obtener
z2=(4/9)x3. Por la eleccin que hemos hecho de v tambin se tiene
4
(z+ov)2= (x+o)3
9
esto es
4 3
z2+2zov+o2v2= (x +3x2o+3xo2+o3)
9
Simplificando z2= 4/9x3 en cada lado de esta expresin y dividiendo por o queda
4
2zv+ov2= (3x2+3xo+o2)
9
4 2
2zy= x
3
Newton introduce despus un mtodo iterativo para resolver ecuaciones que ahora
lleva su nombre. Pone como ejemplo el resolver la ecuacin
y3-2y-5=0
Observa primero que y=2 es una aproximacin de la solucin. Escribe luego y=2+p y
lo sustituye en la ecuacin para encontrar
p3+6p2+10p-1=0
Como p es pequeo, elimina los trminos p3, 6p2, para obtener 10p-1=0, de donde
p=0.1. De este modo y=2.1 es la segunda aproximacin de la raz buscada.
Tomando otra vez su parte lineal 11.23 q+0.061=0, obtiene q=-0.0054, lo que da el
nuevo valor aproximado de la solucin y=2.0946. Newton da un paso ms en este
ejemplo escribiendo -0.0054+r=q, y despus sustituir en la ecuacin para q y seguir el
mismo proceso llega de este modo a la nueva aproximacin y=2.09455147.
Newton aplica luego este mtodo para resolver ecuaciones f(x,y)=0 ms generales.
Toma como ejemplo
y3+a2y+axy-2a3-x3=0
p3+3ap2+(4a2+ax)p+a2x-x3=0
-a2x+x3 x
p= =- +
4a2+ax 4
De donde toma y=a-x/4 como la segunda aproximacin. Escribe ahora q=-x/4+p, etc.,
y continuando de esta forma va obteniendo la serie
x x2 131x3 509x4
y=a- + + 2 + +
4 64a 512a 16384a3
1 2 1 3 1 4 1 5
z=x- x+ x- x+ x+
2 3 4 5
Para invertir esta serie, toma primero sus cinco primeros trminos, esto es la ecuacin
1 5 1 4 1 3 1 2
x - x + x - x +x-z=0
5 4 3 2
1 2 1 3 1 4 1 5
x=z+ z+ z+ z+ z+
2 6 24 120
que es la serie de la funcin exponencial ez. Aunque sin utilizar el nmero e, esta es la
primera vez que aparece esta serie en matemticas.
q = 2 rea(OQR)=2 [rea(ORQB)-rea(OQB)] =
mientra que
1 3 3 5 5 7
q = x+ x+ x+ x+
6 40 112
1 3 1 5 1 7
x=sinq = q- q+ q- q+
6 120 5040
.
y+oy
Al ser
. .
y+o y =f(x+o ) se tiene o y =f(x+o )-f(x)
es decir
.
f(x+o )-f(x)
y=
o
Luego elimina los trminos que contienen o, ya que "se le supone infinitamente
pequeo", quedando
.
=3x2
y
y por tanto, la relacin entre fluxiones es
.
y =3x2
xn+1
y=
n+1
.
y =xn
considerando luego que la fluxin de x es uno, es decir, que el incremento que considera
en x por unidad de tiempo es uno.
Aplica tambin su mtodo al caso de tener dada una curva en la forma f(x,y)=0. Por
ejemplo considera el caso de la cbica
x3-ax2+axy-y3=0
. .
3x2 -2a x +ay +ax y -3y2 y =0
. 2
y = 3x -2ax+ay
3y2-ax
Intuitivamente, esto viene a ser nuestro concepto de derivada interpretada como lmite
f(x+h)-f(x)
f(x)= lim
h
h0
1 2 2 1
(x- ) +y =
2 4
x x2 x3 5 4 7 5
y=x1/2(1-x)1/2=x1/2 ( 1- - - - x- x- )=
2 8 16 128 256
1 3/2 1 5/2 5 9/2 7 11/2
= x1/2- x - x - x - x -
2 8 128 256
1 1 1 1 5
rea (ADB)= - - - - - = 0.076663
12 160 3584 36864 1441792
Calcula luego la misma rea por geometra, ya que
Luego se observa de los lados del tringulo BCD que el ngulo en C es de 60o. De
donde
1
rea(sectorACD)= rea(semicircunferencia)
3
Mientras que
Por tanto
Igualando los dos valores encontrados anteriormente para esta rea resulta
y por consiguiente
valor que aqu hemos calculado correcto hasta cuatro decimales (el error es 1.33 x10-5).
Newton de hecho usa 20 trminos del binomio para llegar a calcular p con 16 decimales
correctos.
Luego dice "I am ashamed to tell you how many figures I carried these calculations,
having no other business at the time" (Me avergenzo de decirle cuantas cifras he
calculado, no teniendo nada ms que hacer en aqul momento). A pesar de sus
afirmaciones, este es un nuevo paso de gigante en el
clculo del nmerop.
2 1 1
=2 ( - )
n(n+1) n n+1
de donde
1 1 1 1 1 1 1 1 1 1
+ + + + + = 2 ( 1- ) +2 ( - ) +2 ( - ) + =2
1 3 6 10 15 2 2 3 3 4
Leibniz, tal como hizo en la suma de la serie de los inversos de los nmeros
triangulares, consideraba sumas y diferencias de sucesiones de
nmeros. Observ por ejemplo que dada la sucesin a0, a1, a2, ... , an , si consideramos
la sucesin de diferencias d1, d2, ... , dn , donde
di=ai-ai-1 . Entonces
ya que i2-(i-1)2=2i-1. Luego se sigue que la suma de los n primeros nmeros impares es
n2
1+3+5+ + (2n-1)=n2
Leibniz utiliza este mtodo en otros casos. Por ejemplo en relacin a la serie
geomtrica
Leibniz considera una curva como una poligonal de infinitos lados donde dy es la
diferencia infinitesimal de dos ordenadas consecutivas,
dx la diferencia de dos abscisas consecutivas e ydx representa la sumade los pequeos
rectngulos infinitesimales ydx.
De esta forma el teorema fundamental del clculo aparece como obvio. Esto es, para
hallar el rea debajo de una curva con ordenadas y,
debemos hallar una curva de ordenadas z de tal manera que dz/dx=y, en cuyo caso es
tambin ydx=z.
donde omn es omnia, que en latn significa suma, y donde l son diferencias. Con ello
empieza a desarrollar su calculo y la expresin
simplemente significa que la suma de las primeras diferencias de una sucesin que
empieza por 0 es igual al ltimo trmino.
Despus ira cambiando su notacin y escribe la anterior relacin como dy=y que es
la que usamos actualmente. El signo integral no
es ms que una S elongada que significa suma.
d(x+y)=dx+dy
d(xy)=x dy+y dx
x y dx-x dy
d( )=
y y2
d(xn)=n xn-1 dx etc.
Para demostrar por ejemplo la regla d(xy)=x dy+y dx, calcula la diferencia entre dos
trminos consecutivos de la sucesin producto xy
d(xy)=(x+dx)(y+dy)-xy=xdy+ydx+dx dy
x dy=xy- y dx
Aunque las demuestra como teoremas, siempre que puede intenta relacionar sus
operaciones analticas con resultados geomtricos familiares. Por ejemplo para esta
ltima integracin por partes, observa que es tambin la adicin de reas
x dy+ y dx=xy
y xdy-ydx
d ( )=
x x2
escribe
y y+dy y xdy-ydx
d = - =
x x+dx x x2+x dx
y otra vez cancela xdx del denominador por ser pequeo frente a x2.
y2
y dy=
2
En sus aplicaciones geomtricas, dado un punto P=(x,y) sobre una curva, tal como se
observa de la figura
aparecen las llamadas subtangente s=TA, tangente t=TP, normal n=PB y subnormal n =
AB. Todas estas variables tienen entitad
propia y estn relacionadas unas con otras. Por ejemplo se tiene por la semejanza
y n
=
s y
Para cada una de estas variables se pueden considerar tambin sus diferencias. Si
consideramos las diferencias dx y dy, el pequeo
tringulo PQR se llama el tringulo caracterstico y se tiene por ejemplo la relacin
dy y
=
dx s
Todo este clculo y en especial su notacin result ser muy manejable y de gran
utilidad, lo que contribuy decisivamente a su xito.
Notacin y concepto son virtualmente inseparables. Por ejemplo la regla de la cadena
para z=f(y) e y=g(x) que nosotros escribimos como
primero la composicin h(x)=f(g(x) y luego
h(x)=f(g(x))g(x)
dz dz dy
=
dx dy dx
Aunque desde el punto de vista lgico le falta rigor a esta frmula simblica, ya que
cancela dys como si fueran nmeros reales, no
slo halla correctamente al resultado sino que sugiere adems la manera de demostrarla,
reemplazando las diferenciales dx,dy,dz por
incrementos finitos Dx,Dy,Dz y pasando luego al lmite.
Leibniz tard unos aos en presentar estas ideas en pblico ya que era una
formulacin intuitiva, pero que tena el problema de trabajar
con cantidades infinitamente pequeas y esto no estaba rigurosamente definido ni era
muy aceptable en matemticas. Su primera publicacin
fue un corto artculo titulado "Nova Methodus pro Maximis et Minimis, itemque
Tangentibus, quae nec fractas nec irrationales quantitates
moratur et singulare pro illis calculi genus", (Un nuevo mtodo para mximos y
mnimos y tangentes, no impedido por cantidades
racionales o irracionalesy un singular nuevo tipo de clculo para ellas), que apareci en
1684 en Acta eruditorum.
De la relacin
dx s
=
dy y
a dy=y dx
Leibniz considera dx=b constante, lo que equivale a tener las abscisas en progresin
aritmtica. Tomando k=b/a, la relacin anterior da
dy=k y
que estn en progresin aritmtica, al ser dy1=y1-y0=k y1, ser y1=k1 y0 para la constante
k1=1/(k+1). Luego las correspondientes ordenadas
dy
a =dx
y
de donde integrando a logy=x+C. (Obsrvese que la notacin que usamos ahora para
este proceso es la original). Leibniz viene a describir una poligonal solucin de una
ecuacin en diferencias que aproxima a la exponencial y su ecuacin diferencial
correspondiente, siendo la aproximacin cada vez mejor a medida que dx se va
haciendo infinitsimo.
dy2+y2 dq2=d q2
que es la ecuacin diferencial que verifica y=sinq. Para resolver esta ecuacin Leibniz
considera dq como constante y aplica el operador d a la ecuacin. Se obtiene
d[dy2+y2 dq2]=0, de donde por la regla del producto
esto es
d2y
=-y
d q2
que es la ecuacin diferencial de segundo orden de y=sinq. Ahora Leibniz supone que
podemos escribir la serie de potencias con coeficientes indeterminados
donde ha tomado el trmino constante igual a cero al ser sin0=0 y slo toma potencias
impares al ser sinq impar. Diferenciando dos veces
esta expresin se obtiene
que debe ser igual a -y=-b q-c q3-e q5-f q7-gq9- Igualando coeficientes se obtiene
23 c=-b
45 e = -c
89 g = -f
1 3 1 5 1 7 1 9
sinq = q- q+ q- q + q-
3! 5! 7! 9!
Obtiene por tanto con su mtodo de diferencias la relacin que ya haba obtenido
Newton en 1676 con su serie del binomio.
Una vez que hemos descrito con detalle separadamente las ideas de Newton y Leibniz
en el desarrollo del clculo como una nueva y
coherente disciplina matemtica vamos a comparar y contrastar ambos procedimientos.
Tal como hemos visto Newton concibe la derivada de y=f(x) como el cociente entre
fluxiones
.
y
.
x
donde considera las fluxiones , como las velocidades en que cambian los fluentes x,y.
Su concepcin es cinemtica. En cambio Leibniz
considera el cociente anterior dy/dx como cociente entre diferencias. La integral para
Newton es una integral definida, es el fluente a determinar para una fluxin dada. Para
Leibniz la integral es, en cambio, una suma infinita de diferenciales. A pesar de estas
diferencias de concepto luego ambos la calculan de la misma forma, como un proceso
inverso de derivadas. Ambos desarrollan el mismo clculo desde puntos de vista
distintos
y observan como inversos los procesos de diferenciacin e integracin. Antes se haban
calculado reas, volmes y tangentes, pero eran razonamientos particulares para cada
caso concreto sin que se observara con claridad que el clculo de reas y el de tangentes
son inversos uno
del otro. El nuevo clculo es universal, en el sentido en que se aplica del mismo modo a
todo tipo de funciones. Newton y Leibniz lo aplicaron
con xito para calcular reas como la cisoide o la cicloide, tangentes, longitudes de arco,
problemas de mximos y mnimos, geomtricos, etc.
Para ilustrar con un ejemplo sencillo los conceptos del clculo de Newton y de
Leibniz, veamos como calcularan ambos la tangente a la
parbola y2=ax en un punto M=(x,y) de la figura
Dada la relacin entre fluentes y2=ax Newton calculara primero la relacin entre sus
fluxiones: De
elevando al cuadrado
.
y a
=
. 2y
x
"Si se quiere que ax=yy exprese la relacin de AP a PM, la curva AM ser una
parbola que tendr por parmetro la recta dada a y tendr, tomando diferencias en cada
miembro
a dx=2y dy
ydx 2yy
PT= = =2x
dy a
donde hemos sustitudo yy por su valor ax. De donde se deduce que si se toma como PT
el doble de AP y se considera la recta MT, ella ser tangente
en el punto M. Ce qui tait propos".
Este desafortunado incidente separ en dos bandos los matemticos de Inglaterra y del
Continente por mucho tiempo. La irona del destino,
fue que la victoria inglesa hizo que sus matemticos rehusaran sistemticamente el uso de los
mtodos de Newton, cerrando para si con ello el tremendo desarrollo que la matemtica tuvo
en el siglo XVIII.
5. Referencias
http://www.geocities.com/grandesmatematicos/
http://www-groups.dcs.st-and.ac.uk/ history/index.html
Ch. C. Gillispie, Dictionary of Scientific Biography, es una excelente
enciclopedia de biografas de cientficos.
Antonio J. Durn, Historia, con personajes de los conceptos del clculo ,
Alianza Universidad AU 861, un ameno y completo
librito de bolsillo que trata sobre estos temas.
Jakob Bernoulli lanz el
desafo, en 1690, de hallar la
curva que formara
una cadena suspendida por sus
dos extremos. Se estableci un
ao de plazo
para que los participantes
pudieran mandar soluciones.
Leibniz, Huygens
y el hermano de Jakob, Johann
Bernoulli, hallaron la
respuesta y stas se
publicaron el el Acta
Eruditorum.
En la figura de la izquierda
aparece el grabado original de
la publicacin de
Leibniz de Junio de 1691. En
una publicacin posterior,
Leibniz demuestra
como aplicar la catenaria en
navegacin, en el caso en que el
capitn
extrave su tabla de logaritmos.
Bartolom Barcel
Departamento de Matemticas
Universidad Autnoma de Madrid