EL DESCUBRIMIENTO DEL

CALCULO




Isaac Newton

G. W. Leibniz


1. Introduccin.

Isaac Newton (1642-1727) nac el 25 de Diciembre de 1642 segn el
calendario Juliano, todava usado por entonces en Inglaterra, o el 4 de Enero de
1643 con respecto a nuestro calendario Gregoriano. Fue profesor de matemticas
en Cambridge y luego jefe de la casa de la moneda
en Londres. Sus principales ideas fueron desarrolladas en 1664-1666 cuando
estaba recluido en su casa natal de la aldea de Woolsthorpe, ya que el Trinity
College de Cambridge, donde Newton era estudiante, estuvo cerrado por la
epidemia de la peste. Alli desarroll sus ideas de la gravitacin universal, de la
teora de los colores y sobre la serie del binomio y el clculo de fluxiones.
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.
De entre el trabajo matemtico de Newton, profundo y poderoso, se pueden
distinguir algunos temas centrales. Estos son los desarrollos en
serie de potencias, en especial el desarrollo del binomio, algoritmos para hallar
races de ecuaciones y de inversin de series, relacin inversa
entre diferenciacin e integracin y el concepto de fluentes y fluxiones como
variables que cambian en el tiempo. Newton estuvo muy
interesado tambin en ptica, dinmica, alquimia, cronologa de la historia y en
la interpretacin de las sagradas escrituras.
Gotfried Wilhem Leibniz (1646-1716) era hijo del vice-presidente de la
facultad de filosofa de la universidad de Leipzig. De joven, estudi filosofa,
derecho y lenguas clsicas. Su principal inters estuvo centrado en desarrollar
una especie de lenguaje simblico para representar los conceptos fundamentales
del pensamiento humano y las maneras de combinar estos smbolos para llegar a
conceptos ms elaborados. Esta idea filosfica, que tiene relacin con la
combinatoria, fue ya algo en parte elaborada por franciscano mallorqun Ramn
Llull (1235-1316) en su
Arte Luliano.
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.
El trabajo de Leibniz se conoce principalmente por los numerosos artculos
que public en Acta y por sus cartas personales y manuscritos
que se conservan en Hannover. Entre estos documentos estn los manuscritos
fechados el 25, 26 y 29 de Octubre y el 1 y 11 de Noviembre
de 1675 donde Leibniz estudia la cuadratura de curvas y desarrolla su clculo
diferencial e 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
2.1 Isaac Newton (1642-1727).
Sus aos ms fecundos fueron durante el periodo 1665-1666 cuando cerraron
la Universidad de Cambridge, donde era estudiante, debido
a la peste bubnica. Newton se recluy en su casa natal y all descubri el
Teorema del binomio, el clculo diferencial e integral, la ley de gravitacin
universal y la Teora de los colores. Prcticamente todos los descubrimientos
importantes de su vida.
Newton tard mucho en publicar sus trabajos ya que no le gustaban las
controversias y quera evitar la crtica de sus contemporneos. En
los ltimos aos de su vida fue miembro del parlamento britnico y presidente de
la Royal Society y considerado como un tesoro nacional.
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.

2.2 El Teorema del Binomio.
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:
"La extraccin de races cuadradas se simplifica con este teorema
(P+PQ)
m/n
=P
m/n
+
m
n
AQ+
mn
2n
BQ+
m2n
3n
CQ+
m3n
4n
DQ+

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 = P
m/n

B =
m
n
AQ =
m
n
P
m/n
Q

C =
m-n
2n
BQ=
m-n
2n
(
m
n
P
m/n
Q ) Q =
(
m
n
)

(
m
n
-1 )

2
P
m/n
Q
2


D =
m-2n
3n
CQ=
m
n
(
m
n
-1 )

(
m
n
-2 )

3x2
P
m/n
Q
2


...



y as sucesivamente.
De esta forma queda
P
m/n
(1+Q)
m/n
=(P+PQ)
m/n
=P
m/n
( 1+
m
n
Q+

m
n

[
m
n
-1 ]

2
Q
2
+

+
m
n
[
m
n
-1 ]

[
m
n
-2 ]

3 x2
Q
3
+ )


dividiendo por P
m/n

(1+Q)
m/n
=1+
m
n
Q+
(
m
n
)

(
m
n
-1 )

2
Q
2
+
m
n
(
m
n
-1 )

(
m
n
-2 )

2x3
Q
2
+

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
(1+Q)
o
=


E
n=1

(
o

n
) x
n


donde a es un nmero real cualquiera y los coeficientes binomiales se definen
como

(
o
n
) =
o(o1) (on+1)
n!
Para el caso en que a sea entero positivo sale un desarrollo finito ya que

(
o
n
) = 0
para n > o, al ser cero uno de los factores del numerador que define el coeficiente binomial.
Por ejemplo (1+x)
3
=1+3x+3x
2
+x
4
.
Pero en el caso de no ser a entero aparecen series infinitas como

1

1+x
=(1+x)
-1
=1-x+x
2
-x
3
+







=(1+x)
1/2
=1+
x
2
-
x
2

8
+
x
3

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)
o
converge para |x| < 1. Newton
no habla de convergencia, pero es consciente de ello y usa cierta intuicin en sus
clculos, por ejemplo utilizaba
y=
1

1+x
2

=1-x
2
+x
4
-x
6
+x
8
-

para x pequeos, pero la cambiaba a
y=
1

1+x
2

=
1/x
2


1+1/x
2

= x
-2
-x
-4
-x
-6
-x
-8
+

para x grandes.

1.2.2 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
REGULAI. Si ax
m/n
=y; Erit
an

m+n
x
(m+n)/n
=Areae ABD.




Primera edicin
inglesa de De
Analysi (1745).
Traduccin del
original en latn.
Ms tarde en el mismo tratado da un procedimiento para hallar la ordenada de
una curva cuya cuadratura ABD est dada. El proceso
es interesante ya que es de alguna forma el comienzo del clculo diferencial e
integral y donde se ve el papel inverso que juegan la
diferenciacin y la integracin. Lo explica con un ejemplo, aunque es claramente
generalizable.
De acuerdo con la figura sean z=rea(ABD), y=BD, x=AB, B| = o. Elijamos
ahora v=BK de tal manera que
rea (BDo|) = rea( BKH|)=ov.


Consideremos por ejemplo la curva para la cual
z=
2
3
x
3/2


para facilitar los clculos, elevamos al cuadrado la relacin anterior para obtener
z
2
=(4/9)x
3
. Por la eleccin que hemos hecho de v tambin se tiene
(z+ov)
2
=
4
9
(x+o)
3


esto es
z
2
+2zov+o
2
v
2
=
4
9
(x
3
+3x
2
o+3xo
2
+o
3
)

Simplificando z
2
= 4/9x
3
en cada lado de esta expresin y dividiendo por o
queda
2zv+ov
2
=
4
9
(3x
2
+3xo+o
2
)

Newton toma ahora B| infinitamente pequeo. De la figura se observa
entonces que v=y , y que los trminos que contienen o se anulan, de donde
2zy=
4
3
x
2


Sustituyendo ahora el valor de z, resulta finalmente y=x
1/2
.
Newton introduce despus un mtodo iterativo para resolver ecuaciones que
ahora lleva su nombre. Pone como ejemplo el resolver la ecuacin
y
3
2y5=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
p
3
+6p
2
+10p1=0
Como p es pequeo, elimina los trminos p
3
, 6p
2
, para obtener 10p1=0, de
donde p=0.1. De este modo y=2.1 es la segunda aproximacin de la raz buscada.
Toma ahora p=0.1+q, que sustitudo en la ecuacin para p da
q
3
+6.3 q
2
+11.23 q+0.061=0
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 escribiendo0.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
y
3
+a
2
y+axy2a
3
x
3
=0
y observa que si x=0, entonces y=a es la solucin. Esta es la primera
aproximacin. Escribe como antes a+p=y, que sustitudo en la ecuacin da la
cbica en p
p
3
+3ap
2
+(4a
2
+ax)p+a
2
xx
3
=0
cuya parte lineal es (4a
2
+ax)p+a
2
xx
3
=0, de solucin
p=
a
2
x+x
3

4a
2
+ax
=
x
4
+

De donde toma y=ax/4 como la segunda aproximacin. Escribe ahora
q=x/4+p, etc., y continuando de esta forma va obteniendo la serie
y=a
x
4
+
x
2


64a
+
131x
3

512a
2

+
509x
4


16384a
3

+

Ms adelante utiliza un proceso parecido para invertir series. Considera el
ejemplo de tomar como z el rea debajo de la hiprbola
y=1/(1+x), esto es
z=x
1
2
x
2
+
1
3
x
3

1
4
x
4
+
1
5
x
5
+

Para invertir esta serie, toma primero sus cinco primeros trminos, esto es la
ecuacin

1
5
x
5

1
4
x
4
+
1
3
x
3

1
2
x
2
+xz=0

la va resolviendo y considerando ms trminos de la serie a invertir. De esta
forma va obteniendo
x=z+
1
2
z
2
+
1
6
z
3
+
1

24
z
4
+
1

120
z
5
+

que es la serie de la funcin exponencial e
z
. Aunque sin utilizar el nmero e, esta
es la primera vez que aparece esta serie en matemticas.

2.6 Descubrimiento de las series de sin x y cos x
A partir de su binomio, Newton encuentra tambin series trigonomtricas. Si
consideramos la circunferencia de radio 1, de acuerdo con
la figura


es x=AQ=sin u, esto es, u= arcsinx, de manera que
u = 2 rea(OQR)=2 [rea(ORQB)rea(OQB)] =

Por el desarrollo del binomio

de donde integrando trmino a trmino

mientra que

sustituyendo y despus de simplificar queda
u = x+
1
6
x
3
+
3

40
x
5
+
5

112
x
7
+

Inviertiendo ahora la serie Newton obtiene
x=sinu = u
1
6
u
3
+
1

120
u
5

1

5040
u
7
+

Encuentra luego la serie de cosu como

y calcula las cuadraturas de la cicloide y luego de la cuadratriz, de ecuacin x=y
coty primero invirtiendo esta ecuacin para encontrar la
serie de y=y(x) y luego integrando trmino a trmino.

2.3 El mtodo de Fluxiones.
Newton da luego otra versin de su clculo en "Methodus Fluxiorum et Serierum
Infinitorum" que fue escrito en 1671 y publicado
en 1736. Wallis, con permiso de Newton, incluy el mtodo de fluxiones en la
pginas 390-396 de su Algebra.
Newton concibe las cantidades matemticas como el movimiento continuo de un
punto que traza una curva. Cada una de estas cantidades
que aparecen (variable) x es un "fluente" y su velocidad, designada por , esto es
una x con un puntito encima, es una "fluxin".
La parte infinitesimal pequea en la que un fluente se incrementa por unidad de
tiempo o, es o el momento del fluente. El problema
fundamental es, dada una relacin entre fluentes hallar la relacin entre sus
fluxiones y recprocamente. Si y=f(x) en un pequeo
intervalo o de tiempo x se incrementa a x+o, y se incrementa a

.
y+o y
Al ser
y+o
.
y

=f(x+o



) se tiene o
.
y

=f(x+o



)f(x)

es decir

.
y

=
f(x+o



)f(x)

o


Veamos como hace Newton en un caso concreto. Si es y=x
3
obtenemos

Luego elimina los trminos que contienen o, ya que "se le supone infinitamente
pequeo", quedando

.
y

=3x
2






y por tanto, la relacin entre fluxiones es

.
y



=3x
2


De esta forma su afirmacin inicial del prrafo anterior de que el rea
y=
x
n+1

n+1
proviene de la curva y=x
n
es que el cociente de fluxiones

.
y



=x
n


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
x
3
ax
2
+axyy
3
=0
Sustituye x por x+ o e y por y+ o, realiza el desarrollo, resta la relacin
x
3
ax
2
+axyy
3
=0, cancela los trminos con o
2
y o
3
por ser despreciables frente a
o, y divide ahora por o para obtener
3x
2




2a x



+ay



+ax
.
y

3y
2

.
y

=0

de donde obtiene la relacin de fluxiones

.
y



=
3x
2
2ax+ay
3y
2
ax

Newton es consciente de las dificultades de rigor que tienen estos conceptos y
posteriormente refina su interpretacin en "De Quadratura Curvarum" , escrito en
1676 y publicado en 1704. Aqu habla de "ltimas proporciones" ( "ultimate
ratios" ). Dice: "Por ltima proporcin de cantidades evanescentes debemos
entender el cociente de estas cantidades, no antes de que desvanezcan, ni
despus, pero tal como van desvaneciendo."
Intuitivamente, esto viene a ser nuestro concepto de derivada interpretada como
lmite
f'(x)=

lim
h0

f(x+h)f(x)
h


2.5 Clculo de Newton del nmero t
Aparece en su "Methodus Fluxiorum et Serierum Infinitorum," 1671. Newton
considera la circunferencia de centro (1/2,0) y radio 1/2
(x
1
2
)
2
+y
2
=
1
4
de donde despejando y en funcin de x y usando el desarrollo del binomio
y=x
1/2
(1x)
1/2
=x
1/2

(
1
x
2

x
2

8

x
3

16

5

128
x
4

7

256
x
5

)
=

= x
1/2

1
2
x
3/2

1
8
x
5/2

5

128
x
9/2

7

256
x
11/2



Calcula entonces el rea debajo de la curva integrando trmino a trmino
A(x)=
2
3
x
3/2

1
5
x
5/2

1

28
x
7/2

1

72
x
9/2

5

704
x
11/2


Luego para x=1/4, el rea de la regin ADB es igual a
rea (ADB)=
1

12

1

160

1

3584

1

36864

5

1441792
= 0.076663

Calcula luego la misma rea por geometra, ya que
rea (ADB)= rea(sectorACD)rea(tringuloDBC)
Para evaluar esta ltima relacin calcula primero

Luego se observa de los lados del tringulo BCD que el ngulo en C es de 60
o
.
De donde
rea(sectorACD)=
1
3
rea(semicircunferencia)




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 t 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 nmerot.
3. W.G. LEIBNIZ (1646-1716).
3.1 Sumas y diferencias.
Cuando a sus 26 aos conoci en 1672 a Huygens en Paris, ste le plante el
problema de sumar los inversos de los nmeros triangulares

1
1
+
1
3
+
1
6
+
1

10
+
1

15
+ +
2

n(n+1)
+

Leibniz observ que cada trmino se puede descomponer como

2

n(n+1)
=2
(
1
n

1

n+1
)

de donde

1
1
+
1
3
+
1
6
+
1

10
+
1

15
+ = 2
(
1
1
2
)
+2
(
1
2

1
3
)
+2
(
1
3

1
4
)
+ = 2

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 a
0
, a
1
, a
2
, ... , a
n
, si
consideramos la sucesin de diferencias d
1
, d
2
, ... , d
n
, donde
d
i
=a
i
a
i1
. Entonces
d
1
+d
2
+ +d
n
=(a
1
a
0
)+(a
2
a
1
)+ +(a
n
a
n1
)=a
n
a
0

es decir, la suma de diferencias consecutivas es igual a la diferencia entre el
ltimo y el primer trmino de la sucesin original.
Por ejemplo, dada la sucesin de cuadrados
0, 1, 4, 9, 16, 25, 36, ..., n
2

sus primeras diferencias son
1, 3, 5, 7, 9, 11, ... , 2n1
ya que i
2
(i1)
2
=2i1. Luego se sigue que la suma de los n primeros nmeros
impares es n
2

1+3+5+ + (2n1)=n
2

Leibniz utiliza este mtodo en otros casos. Por ejemplo en relacin a la serie
geomtrica
1,q,q
2
, ... ,q
n
, ...
obtiene




3.2 El clculo de Leibniz.
Leibniz no tard en aplicar a la geometra sus observaciones de que las sumas
de sucesiones y sus diferencias consecutivas son procesos
inversos el uno del otro. Consideremos una curva como la de la figura donde
aparece una sucesin de ordenadas equidistantes y
1
,y
2
,y
3
,?,y
n


Si suponemos que la distancia entre estas ordenadas es 1, entonces su suma
y
1
+y
2
+y
3
+ +y
n
es una aproximacin de la cuadratura de
la curva, mientras que la diferencia entre dos sucesivas y
i
's da aproximadamente
la pendiente de su tangente. Adems, cuanto ms pequea
sea la unidad 1 elegida, mejor ser la aproximacin. Si la unidad se pudiera
elegir infinitamente pequea, entonces las aproximaciones
seran exactas, la cuadratura sera igual a la suma de ordenadas y la pendiente de
la tangente sera igual a la diferencia de ordenadas. De
esta forma y por su analoga con las sucesiones numricas, Leibniz observa que
la determinacin de cuadraturas y el clculo de tangentes
son operaciones inversas la una de la otra.
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.
En la primera notacin de sus manuscritos Leibniz escribe
omn l = y
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.
La idea de su clculo es que las frmulas y relaciones geomtricas se realicen
de manera casi automtica por medio de las reglas del
clculo de diferencias

d(x+y)=dx+dy
d(xy)=x dy+y dx
d(
x
y
)=
y dxx dy
y
2

d(x
n
)=n x
n1
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
y luego omite la cantidad dx dy por ser infinitamente ms pequea en
comparacin con los otros trminos.
De esta regla Leibniz deduce la integracin por partes


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
de acuerdo con la figura


Para probar
d
(
y
x
)
=
xdyydx
x
2

escribe
d
y
x
=
y+dy
x+dx

y
x
=
xdyydx
x
2
+x dx
y otra vez cancela xdx del denominador por ser pequeo frente a x
2
.
Otra relacin es por ejemplo


y dy=
y
2

2
Para su prueba, piensa en trminos de la funcin y=x. Tal como se observa en
la figura el rea del tringulo ABC es la suma de los y dy, para pequeos dy, pero
esta rea es y
2
/ 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 v = AB. Todas estas variables tienen entitad
propia y estn relacionadas unas con otras. Por ejemplo se tiene por la semejanza

y
s
=
v
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
dx
=
y
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)
en su notacin diferencial es simplemente

dz
dx
=
dz
dy

dy
dx
Aunque desde el punto de vista lgico le falta rigor a esta frmula simblica,
ya que cancela dy's 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 Ax,Ay,Az 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.
En este trabajo original, despus de introducir su clculo, Leibniz da tres
ejemplos de la aplicaciones, el primero prueba el principio
ya conocido por Descartes y Fermat de que el ngulo de incidencia es igual al
ngulo de refraccin, el segundo es un problema geomtrico.
Luego, dice Leibniz:
"Y esto es slo el comienzo de una mucho ms sublime Geometra, de
problemas incluso mucho ms difciles y de los ms bonitos de
matemticas aplicadas, los cuales sin nuestro clculo diferencial o algo similar
nadie podra atacar con tanta facilidad. Aadiremos
como apndice la solucin del problema que De Beaune propuso a Descartes,
quin lo intent resolver el el Vol. 3 de sus Lettres,
pero sin xito"
En realidad Descartes haba encontrado prcticamente la naturaleza de esta
curva, pero careca de instrumentos adecuados para su solucin.
Este problema y otros que fueron apareciendo despus pusieron de manifiesto la
potencia del nuevo clculo. Exponemos este problema en
la seccin siguiente.

3.3 El problema de De Beaune.
El problema que Florimont De Beaune haba propuesto originalmente a
Descartes en 1639 es: Hallar una curva cuya subtangente
sea una constante dada a.


De la relacin

dx
dy
=
s
y
obtenemos tomando s=a
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
Esto es, los incrementos dy son proporcionales a sus las ordenadas y.
Ms concretamente, si tomamos la sucesin de abscisas
x
0
=x, x
1
=x+b, x
2
=x+2b, x
3
=x+3b , ...
que estn en progresin aritmtica, al ser dy
1
=y
1
y
0
=k y
1
, ser y
1
=k
1
y
0
para la
constante k
1
=1/(k+1). Luego las correspondientes ordenadas
y
0
, y
1
=k
1
y
0
, y
2
=k
1
2
y
0
,y
3
=k
1
3
y
0, ...

estn en progresin geomtrica.
Leibniz concluye diciendo que la curva es una "logartmica".
En nuestro clculo actual de la relacin diferencial que define la curva a dy=ydx,
obtenemos
a
dy
y
=dx

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.

3.4 Desarrollo del seno a partir de su ecuacin
diferencial.

Leibniz utiliza series de potencias para resolver muchas de us ecuaciones
diferenciales. Por ejemplo consideremos la figura donde aparece
el primer cuadrante de la circunferencia de radio 1, donde P=(x,y) y u es el
ngulo que forma POB.

Por semejanza de tringulos

Adems por el teorema de Pitgoras dx
2
+dy
2
=d u
2
. Elevando al cuadrado la
primera relacin, despejando dx
2
y sustituyendo en la
segunda obtenemos despus de simplificar
dy
2
+y
2
du
2
=d u
2

que es la ecuacin diferencial que verifica y=sinu. Para resolver esta ecuacin
Leibniz considera du como constante y aplica el operador d a la ecuacin. Se
obtiene d[dy
2
+y
2
du
2
]=0, de donde por la regla del producto
d[dy dy+y
2
du
2
]=2(dy)(d dy)+2y dy du
2
=0
esto es

d
2
y
d u
2

=y

que es la ecuacin diferencial de segundo orden de y=sinu. Ahora Leibniz supone
que podemos escribir la serie de potencias con coeficientes indeterminados
y=sinu = b u+cu
3
+e u
5
+f u
7
+gu
9
+
donde ha tomado el trmino constante igual a cero al ser sin0=0 y slo toma
potencias impares al ser sinu impar. Diferenciando dos veces
esta expresin se obtiene

d
2
y
du
2

=2 3 c u+4 5 e u
3
+8 9 g u
7
+

que debe ser igual a y=b uc u
3
e u
5
f u
7
gu
9
Igualando coeficientes se
obtiene

2 3 c=b
4 5 e = c
8 9 g = f





De donde tomando b=1 como condicin inicial obtenemos sucesivamente
c=1/3!, e=1/5!, f=1/7!, g=1/9!, ... , esto es
sinu = u
1
3!
u
3
+
1
5!
u
5

1
7!
u
7
+
1
9!
u
9


Obtiene por tanto con su mtodo de diferencias la relacin que ya haba
obtenido Newton en 1676 con su serie del binomio.

4. Resumen y desarrollo posterior.

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 y
2
=ax en un punto M=(x,y) de la figura

Dada la relacin entre fluentes y
2
=ax Newton calculara primero la relacin
entre sus fluxiones: De

elevando al cuadrado

Simplificando y dividiendo por o resulta

de donde cancelando luego los trminos que contienen o se obtiene 2y =a , esto
es

.
y

.
x
=
a

2y

que nos dara la pendiente de la tangente.
En el primer libro de texto de clculo diferencial, "Analyse des Infinitement
Petits" de l'Hospital de 1696, aparece exactamente el ejemplo
que estamos calculando. De hecho la figura geomtrica anterior est tomada del
este libro, seccin 2, pag. 12. Su solucin, siguiendo de
diferencias de Leibniz dice asi:
"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
por tanto dx=2ydy/a y
PT=
ydx
dy
=
2yy
a
=2x

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".
Newton la derivada como cociente entre fluxiones, o como "razn ltima de
cantidades evanescentes" presentaba problemas de rigor
lgico. Para Leibniz sin embargo, el cociente dy/dx era "simplemente" un
cociente con interpretacin geomtrica clara. Los problemas de interpretacin se
volvan ms agudos al considerar derivadas de mayor orden. Debido a su
facilidad y al genial tratamiento que tuvo por
parte de los hermanos Bernoulli y por Euler el clculo de Leibniz empez a
cosechar grandes xitos. Sus seguidores se preocupaban menos
de sus aspectos lgicos y ms de sus aplicaciones ya que era un clculo que
funcionaba. Permiti resolver problemas tales como el de la braquistocrona o de
la catenaria que haban sido intratables hasta entonces. En cambio en Inglaterra
los matemticos se preocuparon mucho
ms por los problemas de rigor lgico, paralizando con ello su aplicacin. Una
vigorosa y malintencionada exposicin de las inconsistencias
del nuevo clculo fue la que escribi el obispo anglicano de la dicesis de Cloyne
(Irlanda) George Berkeley(1685-1753). Berkeley escribi
en 1734 un ensayo titulado "The Analyst, or A Discourse Addressed to an Infidel
Mathematician". El "matemtico infiel" era Edmund
Halley (1656-1742), el famoso astrnomo y amigo de Newton, quin parece ser
que convenci a un conocido sobre la inutilidad de la
doctrina cristiana y ste rehus el consuelo espiritual de Berkeley cuando estaba
en su lecho de muerte.
Este es un prrafo del argumento de Berkeley:
"Y Qu son las fluxiones? Las velocidades de incrementos evanescentes.
Y Qu son estos mismos incrementos evanescentes? Ellos no son ni cantidades
fimnitas, ni cantidades infinitamente pequeas, ni nada. No las podramos
llamar fantasmas de cantidades que han desaparecido?"
A finales de 1690 Leibniz fue duramente atacado por los seguidores de
Newton, quienes le acusaban de plagio. Su principal argumento
fueron las cartas que Newton le haba mandado via Oldenburg. Al irse
incrementando los ataques Leibniz pidi en 1711 a la Royal Society
of London, de la que era miembro, para que interviniera en el asunto. La Royal
Society nombr una comisin para que estudiara el caso y
en 1712, movida ms que nada por motivos de nacionalismo y maniobrada por
Newton, decidi que Leibniz haba en efecto plagiado a
Newton. Hoy sabemos que tanto Newton como Leibniz desarrollaron
independientemente su clculo.
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.

4. Referencias

Para biografas de Newton, Leibniz y de otros matemticos en general se
pueden consultar
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.
Galileo ya haba estudiado antes este
problema en 1638, pero careciendo de las
herramientas matemticas necesarias
concluy, errneamente, que la curva es
un arco de circunferencia. Encontrar esta
curva, la catenaria, fue uno de los
primeros grandes xitos del nuevo clculo.
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

File translated from T
E
X by T
T
H, version 3.01.
On 12 Jan 2002, 01:09.


Leibniz


Pars, primavera 1672. Un joven abogado, diplomtico al servicio del Elector
de Mainz, en Alemania, va a quedar deslumbrado por el ambiente artstico,
literario y cientfico que rodeaba la corte del rey Sol.
Se trata de Gottfried Wilhelm Leibniz.

All va a conocer a un prestigioso fsico y matemtico, el holands Christian
Huygens.
La formacin matemtica de Leibniz es prcticamente nula.

Huygens ( 1629-1695)
Christian Huygens acoger a Leibniz despus de someterle a una prueba de
selectividad:
Calcular la suma de la serie de los inversos de los nmeros triangulares
S = 1 + 1/3 + 1/6 + 1/10 + 1/15...
La respuesta de Leibniz:

1/2 S = 1/2 + 1/6 + 1/12 + 1/20 + ... =
=(1- 1/2)+(1/2 - 1/3)+(1/3 - 1/4)+(1/4 - 1/5)... =
= 1- 1/2+1/2 - 1/3+1/3 - 1/4+1/4 - 1/5... = 1
S = 2
Leibniz. 1673


Antes de descubrir el Clculo Leibniz se hace famoso en los salones de Pars gracias a
esta mquina de calcular

Leibniz tampoco utilizaba el concepto de funcin como lo entendemos en la
actualidad.
Para l una curva estaba formada por un nmero infinito de tramos rectos
infinitamente pequeos.
En cada uno de ellos la diferencial de y es la derivada m por la diferencial de
x.
1684

Leibniz muri slo y abandonado por todos.
A su entierro en Hannover slo asisti su criado.

Newton


"Si he llegado a ver ms lejos que otros, es porque me sub a hombros de
gigantes"


Cuaderno de notas del joven Newton

Verano de 1665. Una terrible peste asola la regin de Londres. En unos pocos meses el
nmero de muertos asciende a 70.000
Los londinenses y los habitantes de los alrededores huyen utilizando cualquier medio.



La peste de 1665


La Universidad de Cambribge se ve obligada a cerrar sus aulas y a enviar a estudiantes
y profesores a sus casas.
Uno de estos estudiantes es un joven de 22 aos, Isaac Newton que va a pasar en su
pueblo natal Woolsthorpe dos aos de vacaciones forzosas.
Las vacaciones ms fructferas de la historia de la ciencia.

A lo largo de estos meses Newton va a concebir, experimentar y desarrollar sus
geniales ideas sobre la naturaleza de la luz, sobre la gravitacin universal y sobre el
mtodo de las fluxiones.
A principios de 1666 valindose de un prisma como ste, y un agujero en la
contraventana de su habitacin va a demostrar que la luz del sol es una mezcla de
luces de los colores del espectro.


La naturaleza de la luz




Apuntes sobre la Naturaleza de la luz


Telescopio de Newton
Estas investigaciones sobre la luz le conducirn a disear un nuevo modelo de
telescopio, mucho ms corto, que utiliza espejos en lugar de lentes con lo que evita la
dispersin de los colores, la aberracin cromtica.


El telescopio es el que va a proporcionar a Newton su primer reconocimiento
internacional y su ingreso en la Royal Society. Gracias al cual se atreve a publicar por
fin en 1672 su teora de los colores de la luz. Tres aos antes Barrow le haba cedido
su ctedra lucasiana de la Universidad de Cambribge.



Optica 1704





Manuscrito de De Motu Corporum

"...el mismo ao empec a pensar que la gravedad se extiende a la rbita de la Luna y
deduje que la fuerza que mantiene a los planetas en su rbita deba ser proporcional a
la inversa de los cuadrados de sus distancias a los centros alrededor de los que
giran..."




Primer edicin de los Principia 1686

"La fuerza con se atraen dos cuerpos es directamente proporcional al producto de sus
masas e inversamente proporcional al cuadrado de su distancia"

En los tres volmenes de los Principia Newton presenta no slo la ley de gravitacin
universal sino las famosas "Leyes de Newton" sobre le movimiento de los cuerpos y las
fuerzas que los determinan.


Cuadratura de las curvas



Series infinitas: el binomio de Newton
En los 18 meses de vacaciones forzosas en Woolsthorpe, Newton realiza una
aportacin que por s sola le habra hecho pasar a la historia del Universo Matemtico,
lo que ms tarde se llamar el binomio de Newton.


Aritmtica Universal. Ed. 1707. Escrita entre 1673-1683


De Analysi. Contiene el Mtodo de Newton para el clculo de soluciones aproximadas



Un serio problema por resolver, el de las cuadraturas. Es decir, cmo calcular el rea
de un figura limitada por curvas.
Haca falta un mtodo general para encontrar el rea encerrada por cualquier curva. Y
este mtodo general lo van a encontrar Newton y Leibniz a travs de la idea de
integral.


Apndice de la ptica. 1704



Newton imaginaba las curvas como fluentes, lo que fluye, es decir, como la lnea que
dibujaba un punto al desplazarse a lo largo de un tiempo determinado. Algo parecido a
lo que hace un coche en una carretera. A la derivada la llam fluxin.

Mtodo de fluxiones y series infinitas. Escrito en 1671, publicado en 1686

Su Sistema del Mundo pronto va a romper fronteras publicndose obras para su
divulgacin en toda Europa a lo largo del siglo XVIII






La primera traduccin francesa de Los Principia tiene una autora notable Mme. de
Chatellet

Voltaire fuen un newtoniano militante


Aunque su Clculo tambin tuvo sus detractores



Alegora de Newton de Blake


El Trinity en la poca de Newton


Acta fundacional de la Royal Society 1660


El cientfico ms famoso del mundo









Newton tuvo en vida un prestigio y un reconocimiento social an mayor que el que
pudo tener Einstein en nuestro siglo. Como los reyes y muy pocos nobles fue enterrado
en la abada de Westminster.
"He visto a un profesor de matemticas, slo porque era grande en su
profesin, enterrado como un rey que ha hecho el bien a sus sbditos"
Voltaire


"No s lo que puedo parecer al mundo; pero para m mismo, slo he
sido como un nio jugando a la orilla del mar, y divirtindome al hallar
de vez en cuando un guijarro ms suave o una concha ms hermosa que
de costumbre, mientras que el gran ocano de la verdad permaneca
sin descubrir ante m"
Isaac Newton

La polmica

Newton y Leibniz van a ser los protagonistas de unos de los litigios ms
lamentables en la historia de las Matemticas, sobre la paternidad del clculo.
Una polmica subida de tono, con acusaciones de plagio y descalificaciones
por ambas partes que va significar la ruptura de las matemticas britnicas
con las del continente durante casi dos siglos.


Epstola a Leibniz
Leibnitz qued definitivamente cautivado por las series infinitas. En 1676
Newton le mandar por carta su frmula del binomio para potencias
fraccionarias y negativas.


Epstola posterior