Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cuando decimos que el clculo fue descubierto por Newton y Leibniz a nales
del siglo XVII, no nos referimos simplemente a que los mtodos efectivos fueron
descubiertos en aquella poca para la solucin de problemas relacionados con
tangentes y cuadraturas. Porque como hemos visto en captulos anteriores,
tales problemas haban sido estudiados con cierto xito desde la antigedad y
con notable xito durante la mitad del siglo precedente al de Newton y Leibniz.
Las soluciones previas de problemas de tangente y rea siempre involucraban
la aplicacin de mtodos especiales para problemas particulares. Tan exitosas
como fueron por ejemplo los diferentes mtodos de tangente de Fermat y Roberval, sin embargo ninguno de ellos se convirti en un procedimiento o algoritmo
general. Hoy en da podemos ver solamente una pequea brecha, entre estas
tcnicas especiales para la solucin de problemas individuales y los mtodos
generales del clculo para la solucin de todas las clases de problemas relacionados, esta era un brecha en la que Fermat y Roberval, y sus contemporneos a
principios del siglo XVII no vean ninguna razn por la cual intentar cerrarla.
Lo que aqu est involucrado es la diferencia entre el simple descubrimiento de un hecho importante y el reconocimiento de que ste es importante,
esto es, que proporciona la base para seguir avanzando. En matemticas, el
reconocimiento del signicado de un concepto comnmente involucra su realizacin en una nueva terminologa o notacin que facilite sus aplicaciones en
nuevas investigaciones. Como Hadamard seala, La creacin de una palabra
o una notacin para una clase de ideas puede ser, y usualmente es, un hecho
cientco de gran importancia, porque signica conectar estas ideas juntas en
nuestro pensamiento subsecuente ([2], p.38).
Por ejemplo, hemos visto que Fermat construyo la diferencia f (A+E) f (A),
not que (para las funciones polinomiales que l manejo) contenan a E como
un factor, dividi por E y nalmente cancel cada termino que contena a E
como un factor y por lo tanto obtuvo la cantidad
f (A + E)
E
f (A)
jE
a dicha cantidad. Si l lo hubiera hecho el camino habra sido abierto para aplicaciones generales, y l debera haber sido (como ha sido errneamente llamado)
al menos un codescubridor del clculo diferencial.
Quiz el ejemplo mejor denido en la historia del clculo, entre el descubrimiento y el reconocimiento, de verdadera importancia, esta dado por el teorema
fundamental del clculo, el cual arma explcitamente la relacin inversa entre
tangente y problemas de rea (o, en terminologa moderna, entre diferenciacin
e integracin). Esta relacin fue implcita (si no, sobresaliente) en los resultados a principio del siglo XVII para el clculo de reas mencionadas en captulos
anteriores-por ejemplo, el rea bajo la curva y = xn sobre el intervalo [0; x] es
xn+1 =n+1, mientras la pendiente de la recta tangente a la curva y = xn+1 =n+1
es xn . En efecto, Barrow arm y demostr (como se vio en el captulo 5) un
teorema geomtrico que claramente enunci la relacin inversa entre tangentes
y cuadraturas. Sin embargo l fall en reconocer que su teorema fundamental
dio las bases para una nueva materia caracterizada por un mtodo distintivo
de proceder (Boyer [1], p.187). La contribucin de Newton y Leibniz por la
cual ellos son propiamente llamados los descubridores del clculo, no fue el simple hecho que ellos reconocieron el teorema fundamental del clculocomo un
hecho matemtico, sino que ellos lo emplearon para destilar desde la rica amalgama de las primeras tcnicas innitesimales un algoritmo poderoso para hacer
clculos sistemticamente.
dx
dt
y y_ =
dy
,
dt
aij xi y j = 0, su solucin es
X x_
y_
(i + j )aij xi y j = 0
x
y
(1)
@f
@f
+ y_
=0
@x
@y
@f =@x
.
@f =@y
aij y j (ixi
yo
_ + trminos en o2 )
xo
_ + trminos en o2 )
xo
_ + :::)(jy j 1 yo
_ + :::) = 0.
P
Aplicando el hecho de que
aij xi y j = 0 y agrupando todos los trminos
2
que tengan o , el resultado es
X
aij (ixi 1 y j xo
_ + jxi y j 1 yo)
_ = 0.
+
aij (ixi
Primero esos trminos y t que siempre desaparecen a W ch no son multiplicados por o, ellos siendo la ecuacin propuesta y e . Segundo esos trminos
tambin desaparecen en W ch o es de una dimensin y n ms, porque son innitamente menores que y n esos en W ch o es pero de una dimensin. Tercero
y e todava tiene trminos restantes, siendo divididos por o se tendr [la forma
deseada].
As, en la base de consecuencias plausibles de una concepcin intuitiva fsica
de las uxiones como componentes de la velocidad instantnea, l es capaz de
calcular (de (1) en el Ejercicio 1) la pendiente y=
_ x_ de la recta tangente de
una curva algebraica.
Ejercicio 2. Escriba y = xn en la forma f (x; y) = y
de (1) que
y_
= nxn 1 .
x_
xn = 0 y concluya
generales algortmicas, con las cuales estos clculos pudieron ser sistematizados,
esto constituy "el descubrimiento del clculo" de Newton.
Mientras que las tcnicas innitesimales previas haban sido fundadas, en
principio, en la determinacin de un rea como el lmite de una suma (o, ms
crudamente, como una suma de innitesimales o de elementos indivisibles de
rea), Newton introdujo aqu la tcnica de una primera determinacin de la
razn de cambio del rea deseada, (con respecto a x) y entonces calculando
el rea por anti diferenciacin. En combinacin con su aproximacin uxional
a tangentes y tasas de cambio, esto hizo claro por primera vez la naturaleza
precisa de la relacin inversa entre problemas de tangente y problemas de rea,
y el hecho de que ambos tipos de clculo sean aspectos de una misma rama de la
matemtica, una que esta caracterizada por distintos y generales procedimientos
algortmicos aplicables.
FIGURA 4
Para la formulacin uxional de Newton y la derivacin del teorema fundamental del clculo, sea y el rea abc bajo la curva q = f (x) (Fig. 4) y considere
esta rea como una que est siendo barrida por el segmento vertical bc movindose a la derecha con velocidad unitaria x_ = 1. Si p = 1 (en la gura) entonces
el rea del rectngulo es x. Ahora, dice Newton, suponga y e la recta cbe por
un movimiento paralelo para describir y e como dos [reas] x y y; la velocidad
W th W ch su incremento ser, de be a bc: y t es, el movimiento y e por W ch x
siendo incrementada be = p = 1, el movimiento de y e por W ch y su incremento
ser bc = q ([NP I], p. 427). As l tomo como obvio que la variacin del rea
con respecto al tiempo es q = f (x), con x_ = 1, as
y_
= f (x).
x_
Su visin crucial consisti en la observacin de este hecho, ms que una
prueba rigurosa en trmino modernos. Sin duda, l pens en trminos de un
incremento en el rea de y a y + oq, correspondiente a un incremento de x a
x + o durante un innitamente pequeo intervalo de tiempo o.
Como una aplicacin inmediata, sto explic la relacin reciproca entre el
hecho de que la pendiente de la curva con ordenada xn+1 =n + 1 es xn y el hecho
de que el rea bajo la curva con ordenada xn es xn+1 =n + 1. As
y=
xn+1
n+1
(el rea)
(la curva)
7
Se puede notar que Newton habitualmente ignoraba la constante de integracin, tomando todas sus curvas pasando por el origen.
x.
_
(2)
(3)
3nxn 1 (1 + xn )2
3
= nxn
n
3=2
2
2(1 + x )
1 + xn .
Esta es una ilustracin del siguiente procedimiento general que Newton emple (en ejemplos especcos) para diferenciar
y = [f (x)]m=n ,
donde f (x) es un polinomio. Primero introducir la nueva variable z = f (x)
con uxin z_ = f 0 (x)x.
_ Entonces y n = z m , se sigue que
ny n
y_ = mz m
8
z_
m f 0 (x)[f (x)]m
n [f (x)](m=n)(n
1
1)
m
[f (x)]m=n
n
1 0
f (x),
v_ = g 0 (x)x.
_
(4)
uv_ + uv
_
y_
=
= f (x)g 0 (x) + f 0 (x)g(x).
x_
x_
(5)
y_
u_ y v_
(u=
_ x)
_
y(v=
_ x)
_
=
=
x_
v x_
v
=
f 0 (x)
g 0 (x)[f (x)=g(x)]
g(x)
Note y t si pasa a ser en una ecuacin ya sea una fraccin o una cantidad
radical. . . para encontrar en qu proporcin las cantidades desconocidas incrementan o decrecen hacer lo siguiente. 1. Tome dos letras y t una (como ) para
signicar la cantidad y t , otra y e (como _ ) para su movimiento de incremento
o decrecimiento: Y hacer una ecuacin entre y e y la letra y una cantidad y e
denotada por esta, encuentra en virtud [de (1)] el valor y e de la otra letra _ . 2.
Entonces sustituyendo y e por la letra denotando la cantidad y t , en su lugar,
en y e ecuacin original y t letra como una cantidad desconocida y desarrollar
el trabajo y e de [(1)]; y en la ecuacin y e resultante en lugar de las letras y
_ sustituirlas por sus valores. Y por eso se obtiene la ecuacin y e requerida.
Para un ejemplo similar a uno de Newton, considere
y2 = p
Sea primero
=p
x
a2
x
, y a2
a2 x2
x2
2
x2
= x2 .
2x 2 x_
2x2 _ = 2xx,
_
y
2
_ = x(1 + )x_ .
(a2 x2 )
=
=
=
x(1 + 2 )
2y(a2 x2 )
2x1=2 (a2
x[1 + x2 =(a2 x2 )]
x2 ) 1=4 (a2 x2 )x(a2
1=2 2
1 2
(a
2a x
x2 )
5=4
x2 )
1=2
Despus de muchos ejemplos, l concluy que cmo proceder en otros casos (como cuando se tienen
cbicas, denominadores con radicales, races
p races
p
dentro de races (como ax + aa xx)), etc. en la cual la ecuacin pueda ser
fcilmente deducida a partir de lo dicho anteriormente ([NP I], p. 413).
10
c
.
nab + nbz
(6)
=
=
y=
_ x_
cxn 1
=
z=
_ x_
a + bxn
c 1
,
nb a + z
nbxn
p
2
n
Ejercicio 8. Si y=
_ x_ = (c=x) axn + bx2n
p, sustituir z = x y de esta
n 1
2
manera 2z z_ = nx
x_ probar que y = (2c=n) a + bz :
2c p
2c p
a + bz =
a + bxn
nb
nb
(como puede ser vericado derivando directamente).
En casos tales como los Ejercicios 7 y 8, donde una cuadratura exacta
(en trminos algebraicos) pareca imposible, el objetivo general de Newton era
reducir la cuadratura al clculo del rea bajo la graca de una funcin circular
o hiperblica, tales como
p
a
o
a2 x2 .
b + cx
y=
Estas reas el las calcul por expansin binomial seguido de una integracin
termino a termino. Por ejemplo, si
y_
a
a
=
=
x_
b + cx
b
acx ac2 x2
+
b2
b3
11
:::,
entonces
y=
similarmente, si
entonces
ax
b
p
y_
= a2
x_
y = ax
ac2 x3
acx2
+
2
2b
3b2
x2 = a
x3
x5
+
6a 40a3
:::.
x2
x4
+ 3
2a 8a
:::.
(7)
:::,
(8)
12
Mtodo de Newton
2y
5 = 0,
(9)
k
X
ai xi = 0
(10)
i=0
k
X
ai xi
i=0
k
X
ai (xn + p)i
i=0
k
X
i=0
k
X
ai xin
+p
i=0
k
X
iai xin
i=0
+ :::
Donde los puntos suspensivos indican trminos de grado superior en p. ignorando estos trminos obtenemos
f (xn )
f 0 (xn )
p=
y
x = xn
f (xn )
= xn+1,
f 0 (xn )
(11)
x3
2a3 = 0,
x3
2 = 0.
(12)
1
4 x.
x2
1
x+
+ :::.
4
64
14
z=x
+ 13 x3
1 4
4x
+ 15 x5
:::
1 2
2z
+ 13 z 3
+p2 (
1
2
1 4
4z
+ 15 z 5 ) + p(1
3 2
2z
+z
z + z2
+ 2z 3 ) + ::: = 0.
z3 + z4)
(14)
1 2
2z
1 3
3z
+ 41 z 4 15 z 5
1
= z 2 + :::,
2
3
4
z+z
z +z
2
1 3
6z
+ 18 z 4
as
q=
1 5
20 z )
1 3
6z
+ q(1
z + 21 z 2 ) + ::: = 0
1 4
8z
1 5
+ 20
z
= 16 z 3 + :::,
1 2
z + 2z
FIGURA 7
por lo tanto la tercera aproximacin para x es
x = z + 21 z 2 + 61 z 3 .
Continuando de esta manera Newton obtiene
x = z + 12 z 2 + 61 z 3 +
1 4
24 z
15
1 5
120 z
+ :::.
(15)
ex = 1 + z + 12 z 2 + 61 z 3 + :::
(16)
1z
n 1
1,
sustituir
+r
Az n + Bz n+1 + :::
=
A0 + B 0 z + :::
r=
y nosotros tomamos bn =
A n
z + :::,
A0
A=A0 .
Newton procede a aplicar estas tcnicas para obtener la serie de potencias del
sin x y cos x por primera vez. El obtiene primero la serie
sin
x = x + 61 x3 +
3 5
40 x
7
5
112 x
+ :::
(17)
1 3
6x
1 5
40 x
7
1
112 x
FIGURA 8
16
+ ::::
7
1 3
1 5
1
6x
40 x
112 x + :::)
7
1 5
1
2(x 61 x3 40
x
112 x + :::)
1 6
x(1 12 x2 18 x4 16
x + :::)
7
3 5
5
1 3
x + 6 x + 40 x + 112 x + :::)
2(x
p
x 1
x2
p
como se quera (donde 1 x2 ha sido expandido por la serie binomial). Newton obtuvo su serie para el seno por reversin de series (17)!
Ejercicio 10. Aplicar el mtodo de Newton de aproximaciones sucesivas
para invertir la serie anterior para sin 1 x y obtener
x = sin =
1 3
6
1 5
120
7
1
5040
+ :::.
(18)
Ejercicio 11. Calcular la raz cuadrada para obtener la serie para el coseno,
p
1 4
1 6
cos = 1 sin2 = 1 21 2 + 24
+ :::. (19)
720
esto puede ser hecho ya sea (i) extraccin algebraica directa de la raz, (ii)
aplicacin de la serie binomial, o (iii) por aplicacin del mtodo de Newton de
aproximaciones sucesivas para solucionar la ecuacin
y2 + (
1 3
6
1 5
120
:::)2 = 1
para y = cos .
Habiendo hecho todos esos clculos, newton entonces not el patrn factorial
obvio de los coecientes,
1
X
( 1)k 2k+1
sin =
,
(2k + 1)!
k=0
1
X
( 1)k 2k
cos =
(2k)!
k=0
BD = BK + AK,
17
AK
1
AK
= sin 1
2
AH
p
= sin 1 x
3 5=2
= x1=2 + 61 x3=2 + 40
x +
7=2
5
:::
112 x
2 5=2
15 x
1 7=2
70 x
9=2
1
:::
252 x
FIGURA 9
FIGURA 10
La cuadratriz, una curva mecnica que fue empleada por los griegos para
hacer la cuadratura del crculo y trisecar un ngulo, est denida como sigue
(gura 10). Supngase que el punto B empieza en el punto E(0; =2) en el eje y
y se mueve al origen A con velocidad constante durante una unidad de tiempo,
as su altura en el tiempo t es
y=
(1
t).
(1
t).
=
y
cos x
1 (1=2)x2 + (1=24)x4 (1=720)x6 :::
=x
sin x
x (1=6)x3 + (1=120)x5 (1=5040)x7 :::
1 (1=2)x2 + (1=24)x4 (1=720)x6 :::
1 (1=6)x2 + (1=120)x4 (1=5040)x6 :::
= x
1 2
3x
1 4
45 x
6
2
945 x :::
FIGURA 11
Por divisin, la integracin trmino a trmino da
x
1 3
9x
5
1
225 x
7
2
6615 x :::
10
l incluye una lista de nueve problemas geomtricos que pueden ser solucionados
por esta tcnica que es ahora materia prima de cursos bsicos de clculo.
En el De Methodis la concepcin de Newton de uxiones ha avanzado desde
su explicacin original en trminos de velocidades de cuerpos en movimiento al
estado maduro que l muchos aos despus describe como se sigue: (ver [NP
III], p. 17 para la referencia)
Yo considero el tiempo como algo que uye o incrementa su ujo continuo y
otras cantidades continuamente en el tiempo y de la uxin ye de tiempo yo le
doy el nombre de uxiones a las velocidades wth wch todas las otras cantidades
se incrementan. . . yo expongo el tiempo como una cantidad que uye uniformemente y representa su uxin por una unidad y las uxiones de otras cantidades
las represento por algn otro smbolo conveniente. . . Este mtodo es obtenido
inmediatamente de la naturaleza misma.
Es importante notar que no solo el tiempo t pero cualquier cantidad que
uye uniformementepuede ser escogida como la variable independiente x. Con
x_ = 1, la uxin de alguna otra variable es entonces su derivada con respecto a
x.
11
v
.
z_
(21)
FIGURA 12
Si, nalmente, z est dado como una funcin de x , z = (x) o x = (z),
entonces (21), con el lado derecho expresado como una funcin de z, dene la
20
funcin y = g(z) para la cual las dos rea son iguales. En particular
y
y
v
f (x)
f ( (z))
= 0
= 0
z_
(x)
( (z))
0
= f ( (z)) (z),
f ( (z)) 0 (z)dz
=
=
x2 y z =
ax (v 2 = ax
x2 y
v
2vz
=
z_
a
2z p
ax x2
a
2z 2 p 2
a
z2
a2
z 2 dz.
Newton concluye la seccin con las elegantes cuadraturas de la cisoide, cicloide y espiral de Arqumedes. Estas cuadraturas utilizan una poderosa tcnica
para la transformacin de integrales que generaliza el sencillo mtodo de sustitucin discutido anteriormente.
En lugar de asumir que las reas s y t bajo las curvas v = f (x) y y = g(z),
respectivamente, son iguales, asumimos una relacin ms general de la forma
t = F (x; v) + ks (k = constante).
bajo la sustitucin de
t_ = xF
_ x + vF
_ v + k s_
= Fx + vF
_ v + kv
en
y=
21
t_
,
z_
(22)
La sustitucin x = (z) puede ser usada para expresar y como una funcin
de z, entonces se obtiene y = g(z) tal que (22) se tiene. En particular
y=
s, (23)
entonces
t_ = u(x)w0 (x) + u0 (x)w(x)
= u0 (x)w(x),
as
y=
u(x)w0 (x)
t_
= u0 ( (z))w( (z)) 0 (z) = g(z).
z_
f (x)dx,
t=
g(z)dz,
wdu = uw
u(x)w0 (x)dx
u dw,
x2 Newton
p
p
_ z_ = a2 z 2 , la ecuacin
l entonces calcula t_ = ax=2 ax x2 , as y = t=
de un crculo. Por lo tanto (24) reduce la cuadratura de un segmento de la
cisoide a la cuadratura de un segmento del crculo.
p
Ejercicio 12. Vericar que t_ = ax=2 ax
22
x2 en el resultado anterior.
12
El tratado de Newton de 1671 contiene dos tablas de integrales ([NP III], pp.
237-255). La primera se titula Un catalogo de algunas curvas relacionadas
a guras rectilneas este consiste de una lista de curvas y = f (z) tales que
el rea correspondiente t = F (z) puede ser calculada explcitamente mediante
derivacin directa o inversa.
La segunda tabla, titulada Un catlogo de algunas curvas relacionadas a
secciones cnicas, primero apareci impresa en un apndice (De Quadratura
Curvarum) del libro Opticks en 1704. Este consiste de una lista de curvas
y = f (x) tales que el rea correspondiente puede ser expresada en trminos del
rea bajo una seccin cnica apropiada, es decir en trminos de una integral tal
que
Z p
Z
dx
a + bx + cx2 dx.
o
a + bx
Estas reducciones son obtenidas por medio de la tcnica de Newton de comparacin del rea t bajo la curva y = f (z) con el rea s bajo la curva v = g(x),
dada una sustitucin x = (z):
Por ejemplo, dada y = z 1 =(e + f z ) l sustituye x = z y considera la
hiprbola
1
v=
.
e + fx
Tomando z_ = 1, se sigue que
t_ = y z_ =
z 1
e + fz
y
s_ = v x_ =
donde
t=
por lo tanto t_ = s=
_ as
y dz
x_
z 1
=
,
e + fx
e + fx
y s=
t=
o
z 1 dz
1
=
e + fz
v dx.
,
dx
e + fx
(25)
z k 1 dz
e + fz
23
(k
1)
=
=
t_k
zk 1
e + fz
1 (k 1)
z
f
1 (k 1)
z
f
as
tk =
z (k 1)
(k 1)f
Para k = 2 y k = 3, se tiene
Z 2 1
z
dz
z
=
e + fz
f
y
e z (k 1)
f e + fz
e_
tk 1 ,
f
e
tk
f
e
f
z 3 1 dz
z2
=
e + fz
2f
xv
z 1 dz
=
e + f z + gz 2
1.
dx
e + fx
ez
e2
+ 2
2
f
f
dx
e + fx
donde
x2 =
1
e + fz +
gz 2
y v2 =
v dx, (26)
4g + (f 2 4eg)x2
.
4g 2
p + 2gx),
1
,
1 + z2
=
=
1p
1
x2
x2
1 p
(z + ) 1 + z 2 ,
z
1
25
x2
as
y=
t_
1=z
1
.
=
=
z_
z + (1=z)
1 + z2
p
Los lmites z = 0 y z = z corresponden a x = 1 y x = 1= 1 + z 2 , as (27)
da
Z
dz
1 + z2
p
= x 1
p
= x 1
x2
p
1= 1+z 2
x2 + 2
1
p
1= 1+z 2
p
1
p
1
x2 dx.
x2 dx.
(28)
26
13
En el problema 12: Para determinar las longitudes de curva ([NP III], pp. 315329) de Los mtodos de series y uxiones, Newton aplica la tcnica bsica de
uxiones para el clculo de longitudes de arco que l describe como sigue (ver
g. 16).
FIGURA 16
La uxin de la longitud esta determinada hacindola igual a la raz cuadrada
de la suma de los cuadrados de las uxiones de la base y la ordenada perpendicular. Designando RN la ordenada de la lnea perpendicular sobre la base M N ,
y QR la curva propuesta a la cual RN termina. Llamando M N = s, N R = t y
_ v,
QR = v, y sus respectivas uxiones s,
_ t,
_ imagine la lnea N R movindose directamente al lugar ms cercano posible nr y entonces, cuando la perpendicular
Rs toque a nr, Rs, sr y Rr sern llamadas momentos contemporneos de las
rectas M N , N R y QR, cuya adicin ser M n, nr y Qr. Como estas son una a
la otra como las uxiones de las mismasprectas y ya que el triangulo rectngulo
p
Rsr, es Rs2 + sr2 = Rr, por lo tanto s_ 2 + t_2 = v.
_
Esto es, l deduce de el triangulo caractersticoRsr la relacin de longitud
de arco conocida
r
ds
dx
dy
= ( )2 + ( )2
dt
dt
dt
En trminos de coordenadas rectangulares x y y y longitud de arco s. Sin
embargo en los ejemplos que siguen, l denota z y y las coordenadas horizontal
y vertical,
y por t la longitud de arco. Asignando z_ = 1, por lo tanto tiene
p
t_ = 1 + y_ 2 . Por ejemplo si y = (z 3 =a2 )+(a2 =12z), entonces t_ = [1+[(3z 2 =a2 )
(a2 =12z 2 )]2 ]1=2 = (3z 2 =a2 ) + (a2 =12z 2 ), as t = (z 3 =a2 ) (a2 =12z). Newton
seala que, si Ab = 21 a (g. 17), la sustitucin de z = 12 a da t = a=24, y la
longitud de dD (donde AB = z) es
z3
a2
a2
12z
a
z3
)= 2
24
a
a2
a
+ .
12z
24
De donde
t=
8a
9z
(1 + )3=2
27
4a
De su tabla de integrales.
27
1+
16z 2=3
9a2=3
Entonces
y_ =
as
t_ =
3=2
1
(a
2z
z)1=2 (a + 2z)
p
1 + y_ 2 = 12 az
3=2
a + 3z.
6s
a
v3
.
ax
t_ =
=
A la sustitucin de v =
y
=
=
de la cisoide
p sobre la integral [z; a] en trminos del rea s (g. 18) bajo la
hiprbola v = a2 + 3x2 sobre el intervalo [x; a],
Z
(a2 + 3x2 )3=2 ap
6 a p 2
2 dx
a
+
3x
[
t=
] az
a paz
ax
En su ejemplo 8 Newton obtiene una serie innita para la longitud de arco
de la elipse
y 2 + bz 2 = a2.
FIGURA 18
La derivada da
y_ = p
bz
+ bz 2
a2
as
p
1 + y_ 2 =
a2 + (b + b2 )z 2
a2 + bz 2
2
3
b
b
b4
= [1 + 2 z 2 + 4 z 4 + 6 z 6 + :::]1=2
a
a
a
2
3
4
b
4b
b
8b4 4b5 + b6 6
4
t_ = 1 + 2 z 2 +
z
+
z + :::
2a
8a4
16a6
t_ =
x2
3a
2x6
:::,
945a5
x4
45a3
FIGURA 19
as
y_ =
2x
3a
4x3
45a3
4x5
:::.
315a5
Entonces
p
1 + y_ 2
14 x4
604 x6
2 x2
+
+
+ :::,
= 1+
9 a2
405 a4
127; 575 a6
t_ =
as
t=x+
2 x3
14 x5
604 x7
+
+
+ :::
27 a2
2025 a4
893; 025 a6
14
30
sirvieron para establecer la prioridad de Newton por muchas aplicaciones tempranas de su clculo que hemos recontando des el De Analysi y el De Methodis.
Mientras l ocultaba sus tcnicas bsicas de uxiones mediante anagramas - una
manera desafortunada que no fue para nada oculta en el siglo XVII - l listo
en estas cartas un gran nmero de series innitas, cuadraturas y recticaciones
cuyas derivaciones hemos descrito en este captulo.
Un factor adicional de inters en esta correspondencia tiene que ver con la
cuadratura del crculo que resulta en unas representaciones de series innitas
del nmero . En su respuesta a la epistola prior, Leibniz presento la serie
alternante
1 1 1
=1
+
+ :::
(29)
4
3 5 7
que ahora recibe su nombre ([NC II], pp.65-71). Contrario a la suposicin
general, Leibniz no obtuvo este resultado directamente de la integral
Z 1
dx
=
4
1
+
x2
0
por integracin trmino a trmino despus de la expansin del integrando
como una serie geomtrica. Como se explicar en el capitulo 9 la derivacin de
Leibniz de (29) fue una aplicacin de su mtodo general de transmutacin
para la transformacin de integrales.
En respuesta a la epistola posterior, Newton menciona su propia tabla de integrales comparacin de curvas con secciones cnicasincluyendo en particular
la integral de
z 1
e + f z + gz 2
(ver ejercicio 13). l seala primero que con f = 0 y = 1 esto da la serie
de Leibniz (29) (evidentemente por la aproximacin de la tangente inversa
mencionada previamente) y entonces presenta la serie
1+
1
5
1
3
1
7
1
9
1
11
1
13
1
15
+ :::
(30)
para la longitud
del arco cuadrantal de la cual la cuerda es unitaria (es
p
decir para =2 2), o lo que es lo mismo, esto:
1
2
1
15
1
63
1
143
:::
para la mitad de su longitud. Y quizs esto, ya que ellas son tan simples como
las otras y convergen ms rpidamente, usted y sus amigos no van a desdear.
Pero yo por mi parte trato esto de otra forma. Para eso es mejor la que sea ms
til y solucione el problema con menos trabajo ([NC II], pp.138-139).
Ejercicio 17. Dar, como se sigue, los detalles en la derivacin de Newton
de la serie
1
1 X ( 1)n+1
1
1
p = +
= +
2
2
16n
1
2
15
4 2
1
31
1
1
+
63 143
1
+ :::.
255
1 + x2
1
dx = 1 +
1 + x4
3
1
5
1 1
1
+ +
7 9 11
:::
1
1 + x2
p
=
+
1 + x4
1 + 2x + x2
1
1
,
2x + x2
Z
dx
1 1
1 + x2
p
dx =
.
4
1
+
x
2
2x + x2
1 1+
0
p
p
sustituir x + ( 2=2) = (1= 2) tan para obtener
Z
1 + x2
dx =
1 + x4
=
=
p
1
p [tan 1 (1 + 2)
2
1 3
p [( ) (
)]
8
2 8
tan
(1
2)]
p
2 2
como se quera.
(c) Finalmente agrupar trminos as
1 + ( 31
1
5)
( 17
1
9)
1
+ ( 11
1
13 )
:::
15
El magistral Philosophiae Naturalis Principia Mathematica (Principios matemticos de losofa natural) fue publicado en 1687. Este documento bsico de la
ciencia moderna exacta avanza con comprensible detalle el sistema de Newton
de mecnica y teora de la gravitacin.
El Principia pule con consideraciones innitesimales y argumentos de lmite,
y es algunas veces considerado como el primer trabajo de Newton publicado
de clculo. Sin embargo su exposicin est enmarcada la mayor parte en el
lenguaje y la forma de la geometra clsica sinttica, y hace poco o ningn
uso de algoritmos para el clculo uxiones. El punto de vista tradicional es
32
que Newton primero descubri las proposiciones bsicas del Principia mediante
anlisis de uxiones y clculos, y luego las adorno de geometra sinttica, presumiblemente en un esfuerzo para evitar controversia (para evitar ser burlado
por los matemticos promedio). Sin embargo de acuerdo a Whiteside, es intil abrirse paso laboriosamente a travs de los extensos documentos de Newton
(que contienen 10 a 15 millones de palabras en un estimado conservador) para
buscar manuscritos que hablen de argumentos uxionales puntuales cuando estos reaparecen, refundidos acomodadamente en un molde geomtrico, en las
pginas de la primera edicin del Principia. . . en ningn lugar, repito, hay para
ser encontrada extensa autografa precedente del Principia, el cual pudiera concebiblemente reforzar la conjetura que l primero trabaj las pruebas en ese
libro por uxiones antes de re moldearlas en forma geomtrica tradicional. Ni
en todos los muchos miles de hojas que relatan la composicin y la revisin del
Principia existe una leve huella de sugerencia que tales documentos alguna vez
existieron ([7], pp. 9-10).
FIGURA 20
Lo que Newton, de hecho, necesito y us en todo el Principia fue la facilidad
para lidiar con lmites de razones de cantidades geomtricas. Por ejemplo, lema
_
VII en la seccin 1 del libro 1 arma que, dado una cuerda AB de el arco AB de
una curva, y el correspondiente segmento tangente AD (g. 20), si los puntos
A y B se aproximan uno al otro y se encuentran, entonces la ltima razn del
arco, cuerda, y tangente, una a otra, es la razn de la igualdad. El escolio a la
seccin 1 especica que
La ltima razn de las cantidades evanescentes (es decir que estn aproximndose a cero) es entendida como la razn de las cantidades antes de que
desaparezcan, no despus, pero con la cual ellas desaparecen. . . estas ltimas
razones con las cuales las cantidades desaparecen no son verdaderamente las
razones de las ltimas cantidades, pero los lmites a los cuales las razones de las
cantidades decrecen sin lmite siempre convergen; y a las cuales ellas se aproximan cada ves ms cerca dada una diferencia, pero nunca va ms all ni en
efecto lo logra, hasta que las cantidades son disminuidas in innitum.
As, la ltima razn de cantidades evanescenteses simplemente el lmite de
sus razones. El lema 1 del libro 1 del Principia es, en efecto, la lograda denicin
de lmite dada por Newton: las cantidades, y las razones de cantidades, las
cuales en un tiempo nito convergen continuamente a una igualdad, y antes del
n de ese tiempo se aproxima cada vez ms cerca una a la otra para cualquier
diferencia dada, se convierte en ltimas iguales en notacin moderna nosotros
decimos que, si dado un > 0, se sigue que f (t) y g(t) dieren menos que para
un t sucientemente cerca a a entonces el
lim f (t) = lim g(t).
t!a
t!a
33
16
es
Qf
x
s
r
s
r
1 eA
+
1 fx
s
2 eB
2 fx
r
s
3 eC
+ :::g (31)
3 fx
donde
Q=
(e + f x )
f
+1
, r=
+1
, s=
+ r,
= (r
1),
(31)
1,
= 2,
1
2 (1
x1=3
1
3x2=3 + 3x4=3
x2
= x1=3 (1
x2=3 )
3=5
p
5
x1=3 dx
1
3x2=3 + 3x4=3
30x2=3 + 75
(1
28
x2
x2=3 )2=5 .
(e + f x ) dx
i)ex
i)
i = 0, 1, 2, ... ,
(e + f x )
+ (s
+1
es
(i 1)
i + 1)f x
].
Qx(r i)
s i+1
(r
(s
i)e
Ii .
i + 1)f
(32)
I0
X
Qx
(r
[1 +
( 1)k
s
(s
k=1
+( 1)n
1)(r
1)(s
2):::(r
2):::(s
k) ek
]
k) f k xk
(33)
I0
X
Qf x +
(s + 1)(s + 2):::(s + k) f k xk
[1 +
( 1)k
]
re
(r + 1)(r + 2):::(r + k) ek
k=1
n.
(34)
a=
b=
sf A
+
x
re
(r + 1)e
c=
(s + 1)f B tgA 2
+
x
(r + 2)e
d=
(s + 2)f C (t + 1)gB
+
(r + 3)e
(35)
... .
S dx = x R [
vhA
x3 + :::],
a=
b=
sf A
c=
, B=
, C=
re
(r + 1)e
(s + 1)f B
(r + 2)e
tgA
, ... .
x6 9x4 + 8x3
(x 1)4 (x + 2)2
= x3 (2
3x + x3 )
(8
9x + x3 )
x4
.
3x + 2
En 1676 el mismo Newton haba escrito, en una carta a John Collins ([NC
II], p. 179),
No existe una lnea curva expresada en alguna ecuacin de tres trminospero yo puedo al menos en un suspiro decidir si puede ser cuadrado o cuales
son las guras ms simples con las cuales pueden ser comparadas, sean estas
secciones cnicas u otras. Y entonces por una manera directa y corta (yo me
atrevo a decir que es el ms corto en la naturaleza que se admite) que puedo
compararlos. Y si cualesquiera dos guras se expresan por tales ecuaciones yo
puedo de la misma forma compararlas a ellas si pueden ser comparadas. Esto
puede ser una armacin descarada porque es difcil decir que una gura puede
ser cuadrada o comparada con otra, pero es fcil para m por la fuente de la
cual vengo, yo no voy a encargarme de probar esto a los dems.
Y en la misma docena de aos de 1664 a 1676 l haba descubierto la ley de la
gravitacin universal, explicado el espectro de colores de un arcoris, inventado
y construido telescopios reectivos, y dedic desordenadas cantidades de tiempo
en experimentos qumicos humeantes!
38