1982 - Waldegg - Historia Del Cálculo

CENTRO DE INVESTIGACION Y ESTUDIOS AVANZADOS
DEL I. P. N.
H I S T O R I A
D E L
A L
e u
GUILLERMINA WALDEGG
?" .
SECCION DE MATEMATICA EDUCATIVA
Mxico 1982.
CINVESTAV IPN
Autor:
Guillermina Waldegg
Sec. Mat. Educ. CIEA del IPN
Mecanografa:
Jos Luis Ga 1 ser P.

Margarita Br 4 t o
1
1
1
Dibujo:
Enrique Oaxaca
Rebeca Mora
Hctor Mares
Impresin:
Octavio Corts
Jos Luis Hermosillo
Juan Hermosillo
Mxico, 1982.
Seccin de Matemtica Educativa del Centro de Investigacin y
Estudios Avanzados del IPN.
N D
C E
P~g.
Introduccin
I.
Isaac Newton
I.1
I.2
I. 3
Primeras Ideas Sobre la Variacin.

Ideas Generales sobre los Momentos
Fluentes y Fluxiones .
Deter111inacin de Mr ximos y Mnimos
Trazar Tangentes a Curvas
La Cicloide. Tang ~ nte y Cuadratura
Un tratado del Mtodo de Series y Fluxiones

Teorema del Binomio
.
I.4
I. 5
I. 6
I. 7
I.8
II.
18
24
30
. 35
42
45
El Clculo de Leibniz
55
I I. l
I I. 2
57
I I. 3
I I. 4
I l. 5
I l. 6
I I. 7
I I. 8
III.
Los Orgenes - Sumas y Diferencias

El Tringulo Caracterstico
Transmutacin y la Cuadratura Aritmtica
del Crculo
La Invencin del Clculo Analtico
La primera Publicacin del Clculo
Diferenciales de Orden Superior .
El Significado de los Infinitesimales de
Leibniz
Leibniz y Newton
61
68
77
85
. 89
93
95
La Epoca de Euler
98
El Concepto de Funcin
II I. 2 Funcin Exponencial y Funcin Logartmica
I I I . 3 Funciones Trigonomtricas
II I. 4 Diferenciales de las Funciones Elementales
I II. 5 Descubrimiento por Analoga
98
I I l. 1
99
103
105
108
rP.l g.
IV.
V.
La Teorfa de las Funciones Analfticas de Lagrange

Oerivacin de la Frmula de Taylor .
El Clculo de Acuerdo de Cauchy, Riemann y Weierstrass .

V.1 Funciones y Continuidad
V.2 Fourier y la Discontinuidad
V.3 Golzano, Cauchy y la Continuidad
V.4 El Clculo Diferen ~ ial de Cauchy
V.5 La Integral de Cau 4hy .
I
V.6 La Integral de Rie~ann y sus Reformulaci?nes
110
115
115
119
124
133
140
149
1
1
1
VI.
El Desarrollo del Concepto de Integral.

Henri Lebesgue .
158
Ap
167
c e
I NT R o o u e
e I oN
El Descubrimiento del Clculo

Difcilmente podemos pensar que alguna rama de las matemticas sea el
producto del trabajo individual. La Geometrfa Analftica de Descartes y
Fermat no es, solamente, el resultado de sus propias investigaciones, sino que fue surgiendo a travs de muchos intentos que !convergieron en los
siglos XVI y XVII. Los trabaj J s de Apolonio, Oresme ~ Vi eta y muchos
1
otros, fueron detenni nantes en le ste trayecto.
Del mismo modo, el desarrol lo del clculo no lo 8odemos reducir al

trabajo de dos personas: Newton y Leibniz, puesto q~e los primeros inte~
tos por resolver problemas relacionados con esta disciplina se remontan
a las especulaciones filosficas de los antiguos griegos. Nombres como
Eratstenes y Arqumedes y, posteriormente, Kepler, Cavalieri, Fermat,

Wallis, 13arrow y otros, jugaron un papel importante en el proceso de 1naduracin de las ideas del clculo.
Decir que Newton y Leibniz descubrieron el Clculo en el siglo XVII
no significa solamente que descubrieron mtodos efectivos para la solucin de problemas que involucraban tangentes y cuadraturas (o, en tenninologa moderna, derivacin e integracin), ya que estos problemas haban sido estudiados con xito desde la antigUedad. El mrito indudable
de estos dos genios radica en la diferencia entre el mero descubrimiento
de un hecho importante y el reconocimiento de que este hecho es importan~. es decir, que nos da las bases de progresos posteriores.
La contribucin de Newton y Leibniz, por la que propiamente se les
acredita como descubridores del Clculo, no es solamente el reconocimien
to del teore111a fundamental del clculo corno un hecho matemtico, sino
el haberlo empleado para derivar, de la rica amalgama de tcnicas infini
tesimales ya existentes, un poderoso instrumento algortmico para el cl
culo sistemtico.
11
11
Iniciaremos pues, estas notas de Historia del Clculo con el trabajo

de Newton y Leibniz pero subrayando el hecho de que esta historia comienza muchos siglos atras.
ISAAC NEWTON
Newton naci el da de Navidad de 1642, pero nada de lo que conocemos
de su juventud y primeros estudios parece anunciar el hecho de que su vida y su trabajo marcaran una nueva etapa en la historia intelectual de
la humanidad. Ingres en Cambridge en 1661 y en 1669 ocup la ctedra
Lucasiana al retirarse Garrow, puesto que desempe hasta 1696, cuando d~
j Londres para servir como custodio de la Casa de Moneda. Tras su muerte en 1727 fue sepultado en la Abada de Westminster con tal pompa que
Voltaire escribi "He visto u ~ profesor de matemti t as, slo porque fue
grande en su vocacin, sepult f do como un rey que ha l hech~ bien a sus subditos".
Aparentemente, Newton ini i sus estudios serio~ de matemticas - comenzando con los Elementos de Euclides y la Geometrta de Descartes- en
el verano de 1664. Durante 1665 y 1666 cuando Cambridge fue cerrada a
causa de una plaga, Newton regres a su casa en Lincolnshire, y ah sen'
t las bases para los tres grandes logros de su carrera cientfica: el
clculo, la naturaleza de la luz y la teora de la gravitacin.
Los "Principia Mathematica" de 1687 y la "Opticks" de 1704 detallan
sus contribuciones a la mecnica y a la ptica. Sin embargo sus contribu
ciones a la matemtica pura (incluido el clculo) permanecieron sin publj_
car durante mucho tiempo.
A su muerte, Newton dej una gran cantidad de manuscritos matemticos
inditos, algunos de los cuales haban circulado entre sus contemporneos
o servido de base para sus infrecuentes publicaciones matemticas. Estos
manuscritos han sido organizados sistemticamente y publicados por Cambridge en "The Mathematical Papers of Isaac Ne1-vton editado por D. T.
Whiteside.
A continuacin presentaremos algunas de las nociones fundamentales que
Newton maneja en sus trabajos sobre el clculo, as como algunos problemas
especficos reproducidos en su forma original.
1
11
I.l
PRIMERAS IDEAS SOBRE LA VARIACIN,

Vamos a suponer que las cantidades
varia~les
crecen o decrecen en
forma continua a medida que t ranscurre ("fluye") el tiempo.

1
Para iniciar nuestra discusin sobre la idea de "va ri ac i 6n 11 vamos

1
a tomar un ejemplo, estudiado inicialmente por Gal iileo.
Se trata de un m6
vil que se desplaza rectilneamente con velocidad constante k .
La canti
dad variable que tomaremos en cuenta es el espacio recorrido por el mvil.

Podemos representar dicho espacio (= distancia recorrida) como un rea:
Cuando haya transcurrido un tiempo t, el espacio recorrido A se

r igual a kt.
A = kt
-------------------------------(!)
Tambin podemos representarnos esta rea como generada por el mo

vimiento continuo de una recta de longitud k (la ordenada):
-Pi
1.
__J
11
1
~
1
ti
_.JI
-..'
:1
-1
!>
Cuando transcurre un tiempo infinitesimal ("muy pequeo") dt la

ordenada se desplaza tambin una dtstancia infinitesimal.
Entonces, en
ese tiempo se producir un incremento infinitesimal "del rea, que deno

tamos dA,
SegOn 1a f6rmul a ( l) tendremos 1
dA
= k dt
que podemos interpretar diciendo que la variacin del rea es directa

mente proporcional a la variacin del tiempo.
El cociente ("razn de cambio") de dA entre dt nos produce la velocidad con la cual cambia el rea.
Es decir,
dA
dt
representa el cambio de rea por unidad de tiempo.
El hecho que
dA/dt
= k constante, quiere decir que el rea cam
bia (se incrementa) con velocidad uniforme.

Consideremos ahora una situacin ms interesante:
Supongamos que el mvi1 se desplaza con velocidad uniformemente
acelarada.
as:
Entonces en el plano tiempo-velocidad esto lo
repres~ntamos
Las ordenadas representan las velocidades en los tiempos correspo.!:!_
En un determinado tiempo t, el rea barrida por la ordenada hasta

t, representa el espacio (distancia) recorrido por el m6vil en ese tiem
po t.
Si v
= at (a = constante) representa la relaci6n entre las orde
nadas y el tiempo, entonces el espacio total recorrido despus de trans

currido un tiempo t es:
1 at 2
A = -2Supongamos que el tiempo t recibe un incremento infinitesimal dt.
'~
..-~-------------------
___ ___
(A,
...:._
.... ~ ......
_\:'-"""-~-----------------------
Entonces el correspondiente incremento dA (= espacio recorrido

du rante el tiempo dt) es:
dA = a t d t + - } a ( d t) 2
Podemos ignorar la contribucin hecha al incremento dA por+ a
(dt) 2 , argumentando en nuestro modelo (conceptual) geomtrico-fsico
diremos:
i
11
~ 1 t.1ene unaI ve 1oc1. dad

Ene 1 instante
t, e,1 :Fuerpo mov1
'
v =a t . El
incremento que recibe esta velocidad al transcurr{r el tiempo dt es un

1
incremento infinitesimal, podremos pues considerar que durante el tiempo

dt
la velocidad del mvil permanece constante.
Por lo tanto dA
Es decir, ignoramos 1a contribucifl hecha por + a (dt) 2 a
at dt
dA.
Otra forma de presentar este hecho es comparar la contribucin hecha por

el sumando + a (dt) 2 con la hecha por el sumando at. dt.
Para ello,
consideremos la razn:
- 21-
(dt) 2
=
at.(dt)
que es infinitamente pequeRa.
dt es
11
dt
Esto quiere decir que comparando con t,
corno si fu es e nu1o 11
Afirmamos pues
dA
= at
dt ---------------------------(2)
Resumiendo nuestra discusin tendremos:

(a) Si A - kt
(b) Si A = +
entonces
dA
= k
at 2 entonces
dt
dA = at dt .
donde, en ambos casos, A representa el espacio recorrido por un mvil

en el tiempo t que indican las frmulas.
11
.,
6
Vamos a tratar el ejemplo anterior desde un punto de vista ms

abstracto, referido al modelo geomtrico-ffsico del que hemos estado
hablando en las pginas anteriores:
Supongamos dado un tringulo ABC que est generado por el despl.?_
zamiento uniforme de BC:
i~
Entonces, al fluir uniformemente la base AB, sta adquiere un
cremento BD y en consecuencia el tringulo ABC adquiere el incremento

BDEFC.
De este incremento, el tringulo EFC es consecuencia de la
ac~
leracin del movimiento (NO del movimiento de BC, que fluye uniformemen
te, sino del mvil cuya velocidad
BC).
Por lo tanto, si BD es infinitamente pequeo, durante ese tiempo

el incremento de la velocidad (del mvil) es EF que es tambin infini
tamente pequeo.
De allf que la variacin instantnea del tringulo
ABC este representada por el rectngulo BDEC.
.'
!
'
'1,
1,
'
'
;\
I ,2
:DEAS GENERALES SOBRE LOS MOMENTOS
Como en la seccin anterior, seguiremos considerando que las

cantidades variables crecen 6 decrecen por un movimiento (flujo) con
tinuo.
El incremento instantneo (en un determinado instante) de una
variable x lo denotaremos dx y se llama su momento
11
11
6 su "diferencial".
Este momento puede ser positivo 6 negativo, pero ro es finito: es una

cantidad infinitesimal.
1
Segn la terminolog1a empleada por Newton, los momentos son

Como los momentos son ma~
principios nacientes de cantidades finitas.
nitudes infinitesimales, entonces,., en lugar de referirnos a su "tama

o 11 nos interesa rns estudiar sus razones de cambio, es decir, sus ve
locidades.
El desarrollo que sigue est construfdo sobre el contenido del
lema II del libro II, de los Principia de Newton.
Consideremos ahora el producto de dos cantidades variables
(que pueden 6 no coincidir) y calculemos sus momentos (es decir, sus
11
dHerencias
11
segn Leibniz 6 diferenciales

11
11
segn el uso actual).
Geomtricamente, las expresiones de este tipo corresponden a reas,

bien sea de rectngulos 6 cuadrados (si coinciden las variables).
X
-~,,___ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __ _ ,_ _ _ _ _ _ _ _ _Damsll_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __ _ _
Cuando estas variables se incrementan (siempre dependiendo del

tiempo, es decir, en
11
funci6n
11
del tiempo) entonces el producto xy
x2 sufre un incremento que se puede calcular asf:

Si el
do
x2
11
momento
11
de un lado x es dx entonces el rea del cuadra
se incrementa en x dx
h.,
a causa del momento dx.
XdX
t1 1 t 1 111 1 1 U.ll.U ...l.Ut 1 1 11 1111 t 111
::im
..._,_.,
rlx
Si se incrementa la otra dimensi6n, tambin produce un aumento
x ~ dx en el rea.
Por lo tanto 2x dx es el incremento total del rea
x2 por los incrementos independientes (~simultneos) de las dos di

mensiones.
lQu suceder si las dos dimensiones se incrementan simultnea
mente?
...
T1
rf
L:x
l---------~
''
''-
--=
--
En tal caso el incremento del rea
'
r1
dA
/\ = x2 es:
= 2x dx + ( dx) 2
el sumando (dx) 2 corresponde al cuadrito rayado en la figura de la de
recha p que se produce debido al incremento simultneo de las dos dimen
si ones.
1
En la seccin anterior presentamos varios /argumentos para jus

1
tific ar el que los
11
momentos ," ( diferenciales si !as se prefiere) ele

1
va do s al cuad r ado se pueden :ignorar frente a 1os

)
momentos 1; nea 1es 11
11
1
En efecto, nuevamente:
(dx) 2
dx
2x dx
2x
, que es infinitamente pequeo, por lo
cual (dx) 2 se puede despreciar frente a 2x . dx quedando entonces:

dA
Esta manera de
cisa 11
11
= d(x 2 ) = 2x. dx
dem os t ra r " el resultado puede parecernos
11
impr!E_
Pero recordemos que se apoya en un argumento fsico y en una
se r ie de ideas de la geometr a infinitesimal.

Es bueno recordar en este momento que la matemtica del siglo
XVII pre sen t a un marcado contraste con la matemtica clsica de los
gr-iegos en el aspecto del rigor.
Las consideraciones sobre los
11
momen
tos" (que no s on cantidades finitas sino infinitesimales) y su corres

pondi en te manipulacin como si fuesen cantidades ordinarias necesit,
sin duda, de la audacia propia del visionario .
Decir que dx es una cantidad in f initesimal, es decir

que dx es distinta de cero pero que es ms pequea
que cualquier cantidad .ordinaria (finita)
10
E~
e~
pensarni en t o de Newton a est.e respecto, ya 1o hemos visto,
t marcado intensamente por consideraciones fsicas.

habla de la
11
Por eso l no
diferencia 11 (como Leibniz) de dos cantidades que estn in
f'initamente prximas sino que habla de "momentos".
Para l, una varia
ble es una cantidad que fluye y, entonces, eso que es, en el instante
mismo en que empieza a fl ,uir, es el "momento" de dicha cantidad:
af irmaba pues que una cantidad infinitesimal era una entidad discreta
1Pf
V
se
~e
preservaba cualidades de lo continuo.

1
En el lema II (libr,o II) de los Principia, Newton da las reglas

para calcular los momentos (diferenciales) de los productos y potencias
de distintas variables.
Si denotamos A, B,
las variables y dA, dB,
dC sus respectivos momentos, entonces

Si la expresin es
su diferencial es:
AB
d(AB) =A dB + BdA
d (A
nA n-l
n ) ==
n
==
--
dA
:::_1
Arn
dA
as sucesivamente.
Si denotamos a, b, c etc. las diferenciales (6 momentos) de las
cantidades variables A, B, C etc., entonces
d(AB)
==
aB + bA
n -1
d (An )
= nA m
.. a
= _n_ a. A;n
m
-1
etc.
11
Cas.Q_.J:..
Consideremos el rectngulo
AB
aumentado por un flu-
jo continuo.
+--a-f
T
B
Il
l
Tomemos el instante en el que los lados son iguales a

A - 1/2 a
to" de
y
A
Bb
1/2 b,
respectivamente,
el "momento" de
siendo
el "mome_!l
el rea del rectngulo
B ;
en ese instante ser:

Area inicial = (A - 1/2 a) (B - 1/2 b)
AB - 1/2 aB - 1/2 bA + 1/4 ab
Pero tan pronto como los lados se incrementan en sus "mamentos", se transforman en
A+ 1/2 a
B + 1/2 b ,
por lo que
el rea ser:
Area final
(A+ 1/2 a) (B + 1/2 b)
= AB
+ 1/2 aB + 1/2 bA + 1/4 ab
Restando el rea final menos la inicial,
tendremos el "momen-
to" del rea:

Area final
Area inicial
AB
+ 1/2
aB
+ 1/2 bA + 1/ 4 ab
-AB + 1/2 aB + 1/2 bA "momento" de AB
aB + bA
1/4 ab
--
12
c as o 2.
Ahora calculemos el "momento" d e l volumen
do sus lados se incrementan en
a,
Consideremos el rea de la base
AB = G
ABC
cuan-
respectivamente.
como una sola varia-
ble, entonces el volumen ser:

ABC = GC
Como se demostr en el caso 1, el "momento" de
GC
es:
cG + ge
en donde
es el "momento" de
= AB
que, por el mismo ca
so 1, es igual a:
por tanto,
= aB' + bA
sustituyendo de nuevo los valores de
dremos que e 1 "momento" de

CG
ABC
+ ge
G,
ten-
es:
c ( AB) + (a B + bA) e
'(
Momento de
Caso 3.
ABC = cAB + aBC + bAC
Supongamos ahora que
ces el "momento" de
Momento de
A ,
a=b=c.
En ton
segn el caso 1, e s:
A = Momento de
y, por el caso 2, el "momento" de

Momento de
A=B=C
A3 = Momento de
AA
A3
aA + aA
2aA
ser:
AAA = aA + aA + aA
e:
3aA
13
Sabemos que
=l
A(.l)
A
entonces, el "momento" de
"momento" de
l/A
multiplicado por
multiplicado por
l/A
1
1
A )A+ a A
momento de
l
A
Y, en general, como
entonces:
(momento de
es decir:
momento de
Caso 5.
Como:
o bien
A
ms el
debe ser igual al
mento" de 1, que es cero, ya que l es constante

(momento
= !o
11
es decir:
mo-
r
14
entonces , por el c as o 3:
=
2(momento de
de donde:
momento de
y, en general, haciendo
tenemos que
por lo tanto, calculando los "momentos" en ambos lados de la

igualdad:
de donde
b
pero
momento de
Caso 6.
= momento
de B
entonces:
m aA 1Il::!l..
n
n
Por lo tanto, el momento de cualquier expresin del
15
momento de
AmBn
(momento de
Am) Bn +
(momento de
Bn)Am
e s decir:
1
1
momento de
A~Bn =
(maAm-i )Bn + i (nbBn- 1 )Am
~
~
y esto es vlido para exponentes
rios, positivos o negativos.
m y
enteros, fracciona-
Y el razonamiento es el mismo
cuando se tienen ms variables.
Q.E.D.
.~
,,
Comentario final sobre la proposicin
d (AB) =A dB + B dA
Analizando la demostracin del lema II, vemos que todas

las conclusiones dependen de la proposicin
d (AB)
A dB + B dA
Pero, c6mo se ha demostrado (l)?
---------- ( l)
Para llegar a este resulta-
do, uno de los mtodos utilizados fue el siguiente:

Incrementamos las variables
A y
mentos instantneos (sus diferenciales)

vamente.
mediante sus incredA
dB,
respecti-
Entonces obtenemos para el producto de las variables
el valor:
(A + dA) ( B + dB)
AB +A dB + B dA dB
Restando a este valor el valor inicial d el producto

o~tenemos
decir, efectuando la diferencia (l)),

dif e rencial de
AB
(es
el valor de la
(AB) :
d (AB) = A dB
+ B dA + dA dB
'
d (AB)
Ahora, el producto
El postulado
dA dB
1 del L ' Hopi tal
es infinitamente pequefto.
asegura que dos cantida-
des que estn infintamente cercanas entre s (esto es, que difieran por un infinitesimal), pueden considerarse iguales.
co-
mo en el caso presente, las cantidades

A dB + B dA + dA dB
A dB + B dA
difieren por la cantidad infinitesimal
consecuencia, considerarse como iguales.
dA dB ,
pueden, en
Ntese que este cri-
terio puede reformularse diciendo que dos cantidades son "igua

les" si: lo son en el sentido ordinario del trmino o si difie
ren en una cantidad infinitesimal.
del post,ulado
'
4 ,
Para captar el significado
enunciado por L 'Hpi tal en su lib:i;o "An-
17
lisis de los Infinitesimales", c onviene recordar que en su po

ca los postulados eran considerados como hechos em2ricos, a
partir de los cuales se obtenan otros hechos empricos, mediante un proceso deductivo.
De modo que podemos concluir que
L 1 Ho~p ital estaba convencido de la existencia real de las can-
tidades infinitesimales, cuyo comportamiento estaba regulado

por el postulado l.
t
1
Tanto los proponentes como los adversarios de la teora

i
de los infinitesimales estaban motivados por consideraciones

tcnicas y filosficas.
Pero en el fondo,
la posicin de los
adversarios estaba apoyada en el hecho de que "no haba lugar"

'
para los infinitesimales en sus sistemas filosficos basados
en la percepcin.
18
1.3
FLUENTES Y FL.UX IONES
En su obra Principia Mathematica (1687), Newton no emplea de

manera explcita los algoritmos del
c~lculo.
Lo ms parecido a un de
sarrollo algortmico en dicha obra est concentrado en el lema II, que

se discuti6 en la seccin anterior; all aparecen los infinitesimales
1
como momentos
11
11 ,
'
como pri ~ci pi os generadores de\ cantidades finitas.
Ms adelante,en su libro sobre 6ptica (1704), Newton publica una expo

1
sicin ms elaborada del clculo.

'
En ella, se
~nfatiza
1
el empleo de
1os l fmites -en una forma que hoy 11 ama darnos "vaga 11 - y 1as f1 uxiones
(derivadas) y casi no se habla de los infinitesimales.

obra, que Newton intitul
11
En esta nueva
Cuadratura de Curvas", las cantidades se con
sideran como generadas por el movimiento continuo por oposicin a los

infinitesimales que sugieren siempre un tratamiento discreto -con cier
tas dosis de continuidad, segn vimos en la seccin I.2.
As por
eje~
plo, una curva se genera por el movimiento continuo de un punto, una

superficie, por el movimiento continuo de una lnea
/{
/l
/ ~ ~
l
l
l
1
\ --4
~~~___\__
y un slido por el movimiento continuo de una superficie.
Los n gulos , por rot aci 6n de l ados:
y asf otras cantidades.
..
Estos procesos realmente suceden en la Naturaleza y se pueden
ver a diario en el movimiento de los cuerpos.
Por tanto, concuerdan
con nuestra idea intuitiva de continuidad.

Si consideramos tiempos iguales, las cantidades generadas en
esos t iempos son mayores (6 menores) si son mayo res (6 menores) las ve
loc idades de los movimientos que las generan.
El mtodo que aquf se

l
propone, permite determinar l as cantidades a partir de las velocidades

de los movimientos con los cuales son generadas.
Por ejemplo, con.Q_
:l
1
ciendo la rapidez de cambio del rea, podremos determinar el rea
11~
!"
dA
(conocida -d-=-x- podremos conocer A).

Llamaremos fluentes a las cantidades generadas por movimientos
con t inuos y las fluxiones sern las velocidades de dichos movimientos.
Las fluxiones son -muy aproximada me nte- proporcionales a los
(i
20
le s pe r o muy pequelos y. para habl ar can
e~a ct i t ud , est ~n
en 1a
pr ~ m ara
ra z6n de los aumen t os nac i entes (en el l i mite) .
As , si en la si guiente figura con si deramo s el rea AEC

1
t;~
t
K
l
~
1
-------1E
1
1
1
l
b
descrita por la ordenada SC movindose sobre la base AS con un movimien

to uniforme, la fluxi6n de esta rea ser proporcional a la ordenada BC
y puede ser representada por esta ordenada porque sta es proporcional
al aumento en el rea (es decir ~~-~~
y)
[Teorema Fundamental]
En la misma figura, avancemos la ordenada SC hacia una nueva

1
pos i cin be, completemos el paralelog ramo BCEb y tracemos la recta
li
VT H tangente a la curva en C.
Sea V el punt0 de intersecci6n de esta
:1'\ .
.,
'
~;
'
! J
21
tangente con la recta AB
T el que tiene con be.
incremento de la abscisa AB
Entonces, Bb es el
Ec es el incremento de la ordenada BC.
Si estos incrementos ocurren en tiempos pequeos, los iados del trin
gulo CET estarn (en el inicio del movimiento -en el
l~~ite-)
en la
misma raz6n que las fluxiones de AB y BC y podrn ser representadas

por. estos lados 6, lo que es lo mismo, por los lados del tringulo VBC
!
que es semejante al tringulo CET.

!
En este razonamiento podemos reconocer e 11 mtodo que emp 1eamos

actualmente para el clculo de la tangente ya que
BC
VB
= pendiente
de la tangente en C (=m)
variaci6n de BC (=y)
variaci6n de A-S- (=x)
'
entonces,
Ec
Bb
en el inicio del movimiento (en el lmite):

BC
im _t:._y_
m = _,.-=--= 16X_,.O
6 X
VB
Si ahora trazamos la recta k uniendo C y c, y retrocedemos la

ordenada be hasta BC, cuando los puntos c y e coincidan, la secante CK
coincidir con la tangente CH.
puede considerar como la
11
Es decir, la tangente en un punto, se
ltima razn'' de la secante (6 el Hmite
de
la secante cuando el arco de curva tiende a cero).

Mediante estos argumentos, se puede visualizar fcilmente que
la derivaci6n y la integracin son procesos inversos: al.avanzar la
ordenada BC con un movimiento continuo, generamos el rea ABC (integr2_
ci6n). Cuando retrocedemos la ordenada be hasta su posici6n original,
generamos 1a tangente en C ( deri vac i 6n ):.
Es te razonamiento nos permite
ver el significado geomtrico del Teorema Fundamental.
22
Cuando se conoce la fluente, la fluxi6n se calcula directamente

Por ejemplo, supongamos que queremos calcular la
incrementndola.
fl~
xi6n de la fluente xn comparndole con la cantidad x que fluye uniforme

mente:
En el mismo tiempo en el que la cantidad x 11 fluye 11 hasta x +o,
.
la cantidad xn viene
a ser (x + o)n que, por ~l Teorema del Binomio
nos da:
n2 - n
(x + o)n = xn + nox n-1 +
of X n-2 + ....
2
1
El incremento en x es:
Llx = (x + o) - (x)
=p
mientras que el incremento de

AX
(x + o)n
= nox n-1 +
n ser
(xn)
n2 - n
2
02
n-2 +
Comparando estos dos incrementos tendremos:
= nx n-1
AX
n2
ox n-2+ .....
Ahora, hagamos tender este incremento a cero, y su "ltima ra

z6n"
-su lmite1im
D.x-o
ser:
=
D.x
dx
= nx n-1
23
1'
Si se tienen las fluxiones, el problema de encontrar las fluentes

es mucho ms complicado pero si empre ~ solucin ~ equivalente ~ ~ cuadratura de curvas.
Por ejemplo: Consideremos el rea ABC
donde BC es la ordenada rectangular y AB
de la siguiente figura, en
la abscisa:
p1.
BE = 1 , y comp l eternos
hasta E de tal manera que
Pro 1onguemos CB
el paralelogramo ABDE; las fluxiones de las reas ABC y ABDE estar~n en la misma proporcin que las ordenadas
BC y BE
S = rea ABC
s
entonces:
= rea ABDE = AB l
variacin S
variacin s
,J'
BC
1
o bien,
variacin
variacion
S
AB
-~-~--
01
escrito en el lenguaje moderno, con

.}
dS
dx =y
= BC
AB = x
BC =y
dS
entonces, si conocemos la fluxin
encontrar la fluente
(y = dx) '
(S) equivale a encontrar el rea bajo la curva definida por la ordenada (y).
En lo que sigue, denotaremos las cantidades fluentes por las letras

. . .
s, t, u, v, x, y, z~ y sus fluxiones respectivas por s, t, u, etc.
.'I.4
DETERMINACIN DE
~XIMOS
Y MfNIMOS. :
Consideremos una variable que crece o decrece continuamente. En el

instante en que alcanza su valor mximo (o mfnimo), su flujo no crece ni
decrece, porque si creciera (o decreciera) significara que no haba alcanzado su mximo (o mnimo). Entonces, para hallar el valor mximo o
mnimo de una variable, se encuentra su fluxin y se iguala a cero.
Ejemplo
1.
Se desea encontrar el valor mximo de

3
2.
?i
x - ax + axy - y
Se calculan las fluxiones

ma 11 del libro II
x en la ecuacin
x y y por medio de la regla dada en el le3
. 2 - 2axx
+ axy
+ axy - 3"
3 xx
yy 2 =
entonces, si se quiere que

obtenemos
x tome su valor mximo, hacemos

axy - 3y2y
x= o ,
=O
o sea
Al resolver el sistema de ecuaciones que se forman con esta expresin Y

la inicial, encontramos el valor de y para el cual x toma su valor
''
'I
25
mximo,
ste valor mximo de
x.
Por este mtodo se pueden resolver problemas como los siguientes:

l.
En un tringulo dado o en un segmento de curva dado, inscribir el

el rectngulo de rea mxima:
2.
Trazar la recta mxima (o mnima) desde un pur1to a una curva dada.

En otras palabras, trazar la normal a una curva desde un punto dado.
p
3.
Desde un punto interior a una curva dada, trazar la cuerda mxima (o

mfoima).
4.
Desde un punto exterior a una curva dada. trazar la recta que corta
a la curva con un ngulo mximo (o mnimo)
5.
Determinar los puntos mximos, mnimos y de inflexin de una curva

dada.
6.
Encontrar los puntos de una curva de curvatura mxima (o mnima).
7.
De entre todas las elipses que pasan por cuatro puntos dados. definir la de rea mnima o la que ms se aproxima a un crculo.
O bien problemas de carcter fsico. como:
8.
Determinar el ancho de la superficie esfrica tal que la luz que 11!

ga desde el infinito, despus de refractarse en un hemisferio, ilumi
na el otro.
Como un ejemplo de la forma en que se usara este mtodo, resolvamos
el ej emp 1o l.
~En un segmento de parbola
la recta
AA'
OAA' inscribir el rectngulo con base en

y que tenga rea mxima
27
y= 2QB' (L-x)
pero, por las propiedades de la parbola

2
(os)
(k
kx
constante)
entonces el rea queda

y=
2;:;:
(L-x)
Una vez planteada la ecuacin, debemos encontrar las fluxiones:
y=
Como buscamos el rea
-2
fkix
+ _k_ (L- x)x
{kx1
mxima, hacemos
Jk? x = _k_
,fkx1
(L - x)x
de donde:
2(kx)
y= O,
k(L - x)
es decir,
o sea:
2x + x = L
L
=3
Entonces, el rectngulo buscado es aquel que tiene altura igual a 2/3 L.
Y el ejemplo 2 -trazar la normal a una curva desde un punto exterior- lo resolveramos de la siguiente forma:
1
Sea f(x,y) la curva, y P(x 1 ,y 1 ) un punto dado exterior a ella.

Llamemos z a la longitud de un segmento de recta cualquiera, desde P
hasta la curva. Entonces:
z2.;:; (x-x 1 )
donde
(x,y)
2.
+ (y-y1 )
2.
es un punto sobre la curva.
Si calculamos las fluxiones en esta ecuacin, tendremos:

2zi
2(x-x 1 )x + 2(y-y
)y
Como z es la variable que queremos hacer mnima, tomamos

donde obtenemos:
(x-x 1 )x
= - (y -
)y
z =o ,
de
29
de donde
= -
--
-1
y/x
el primer miembro de esta expresin es la pendiente de la recta buscada

(la mnima) y el segundo es el recproco negativo de la tangente a la
curva en el punto de interseccin de la curva con la recta buscada; esto
~
significa que la recta cuy~ distancia es mfnima, debe ser perpendicular
a la tangente. es decir, es la normal a la curvai
1
Veamos el siguiente ejemplo concreto:

Hallar el punto de la curva
2y = x 2
ms cercano al punto
Calculemos las fluxiones en la ecuacin
2y
2y = 2xX
entonces
y_
entonces
4-
X =
x20
-2 - . 1
ya que la ecuacin inicial nos dice que

X'l
y=
e ntonce~
x2.
x(z--1)
y, resolviendo esta ecuacin en
= 4-x
x, tenemos:
x - 2x
~
=8-
=8
2x
=X
(4,1).
y
y=
El punto (2,2) es
e l p i de l a norma 1
a la parbola trazada desde P(4,l)
I.5
TRAZAR TANGENTES A CURVAS.
Hay var1os mtodos para trazar tangentes a una curva y la eleccin del
mtodo se hace de acuerdo al tipo de coordenadas en las que est expres!
da la ecuacin de la curva.
ler. Mtodo:
31
/
I
/
1
'
Sea Ed 1a curva considerada y D el punto (sobre ella) donde se quiere trazar la tangente. Y sean AB y BD la abscisa y la ordenada del
punto O (no necesariamente ortogona 1es).
Moyamos la ordenada
BD
un espacio indefinidamente pequeo a la P,2
sici n bd. Asi ., el 11 momento 11 de la ordenada es

11
momento 11 de la abscisa es
B b= De .
Prolonguemos
Dd
hasta intersectar la recta
es un arco indefinidamente pequeo, entonces
Dd
mo un segmento de recta indefinidamente pequeo.
Dcd
AB
en
T.
Como
Dd
se puede considerar CQ
Y los tringulos
TBD
son semejantes (lados paralelos), as que:

TB
80
De
pero
cd, mientras que el
Ccf
De
Ccr
es precisamente la razn de los "momentos" de las coordena-
das. Entonces, si se co11oce la relacin entre la ordenada
"
BD
y la ab~
cis a AB que determina la curva, se busca la relacin de las fluxiones

(que es la misma que la de los momentos) y se encuentra el punto T sobre AB, talque
TB = BD ( Qf_ )
cd
Por ejemplo:
llamemos
x a
AB
BD, en la relacin
32
2.
x - ax + axy - y
2>
=O
La ecuacin de fluxiones ser

2..
3x x - 2axx + ayx + axy - 3y y = O

de
aqu~
.
.J;_
= 3x - 2ax + ay
3yl - ax
BD (=y)
BT
de donde:
3
BT =
Consecuentemente, dado el punto D(x,y), la longitud BT queda d~

terminada por la relacin anterior y, por lo tanto, queda tambin determinada 1a tangente DT .
3y - axy
3xl. - 2ax +ay
t
,~t .11
Como otro ejemplo de este mtodo, tomemos la Conchoide de Nicomedes*. 1
Sea ED
LD(=cte.)
la Conchoide con polo
G, asntota
AT y distancia
.
1
E
'
'
, :r;
'... .,,,
,'I
*La Concoide o Conohoide de Nioomedes, se define como el lugar geomtrico de loD puntos D tales que
DL = ate .
Donde C es un punto
fijo llamado polo, AT es una recta fija a una distancia AG del polo
y l es una reata cualquiera trazada desde G que intersecta a AT e11
el punto L.
,
l...........,'_,_,___ -
-- -
33
Llamemos
x=AB
y=BD,
GA=b
Y 6.GMD
son semejantes, ya que
y
DBL= o'MG = 90 ;
LD==c.
MOL= BLD
Los tringulosADBL
tpor alternos internos),
entonces
LB
DM
=
BD
MG
pero
LB
= ~ cz. - Yl
BD
DM
MG
b+y
entonces
X
'
b+y
*.
llamemos
entonces tendremos las dos ecuaciones

bz + yz
y buscando las fluxiones de
= xy
x, y
z
z,
bi + yi + zy = xy. + yx.
el iminando
= e2
2..
-y
'2.
obtenemos:
2zi
de las dos ecuaciones, tendremos:
:..EYt
z - LJ!...
z +
de donde
2.
yz = xy + yx
= -2yy
por lo que:
:t_
X
pero como
BD
z -~-~
z
z
= BT
BD =y
BT
- .t?i_
z
- L z
pero
z = BL
adems :
z-
= -AL
= BD = M-1
b +y
entonces, el punto
= AB
GM
T quedar determinado mediante la relacin:
-BT
=AL+
(BDGM)
BL
;
f itf
en donde el signo (-) indica que el punto
T debe ser tomado del lado de
B opuesto a A.
El mtodo anterior se usa cuando la curva est referida a un
:y
de coordenadas recti1 neas ya sean ortogonales o no.

simplifican mucho su ecuacin cuando se usa un
vi lneas.
Pero algunas curvas .~~;,
siste~a
En la pr6xima seccin, dedicada bsicamente a la
tudiaremos otro mtodo para calcular tangentes.
cicloide,~
l
; l
. '
'1
\'
'
."
UI
.....
35
1.6 LA CICLOIDE,
TANGENTE Y CUADRATURA
El mtodo que estudiaremos a continuacin, nos permite encontrar

la t ngente a una curva cuando se conoce la relacin entre ella y otra
curva de referencia dada.
Estudiaremos este mtodo en el caso particular de la cicloide en
donde, como se ver, se simpl 1fica mucho el problema.
1
Sea ABF una curva dada que usaremos como referencia Y sea Bt su
!
tangente en un punto B y BC id ordenada de B (con un cierto ~ngulo con
AC).
Supongamos que la curva DE (a la
~ual
queremos trazar la tangente)
se puede expresar por medio de una relacin entre el segmento BD (prolo.!l

........
gaci6n de la ordenada) y el segmento de curva AB.

Movamos la qrdenada BD un espacio indefinidamente pequeo a la
~s
posi cin bd, y sea Oc un arco paralelo

-
11
"
a Bb. Entonces, e 1 "momento" de

......-..
la ordenada BD ser cd, mientras que el "momento" de la "abscisa" AB se

ra Bb.
Prolonguemos Dd hasta que se intersecte con Bt en T.
~~arc o
Como ""
Dd es
indef inidamente pequelo , entonces se puede considerar como un
,,
segmento de la tangent!:_ a la curva DE en O.
Y,como """
Bb es un
t,
g~_f} r:!i dmente
pequeo, entonces se puede coris i derar como un segmento
je la tangente a la curva
Los
tri~ngulos
ABF
~TDB
en B.
y ~Ddc son semejantes (lados paralelos)
entonces:
BT
BD
--
De
Bb
Cd = Cd
1
1
1
Asi que el punto T se puede
d e terminar
1
conoci er.do 1a razn ept

1
los 11 momentos 11 Bb/cd.

Como un ejemplo de este mtodo encontremos la tangente a la ci ';
'
cloide (*):
t.,
f
(*) La cicloide se define como el lugar geomtrico descrito por un p
1
1
to fijo P de una circunferencia que rueda, sin resbalar,

ta fija.
La ecuaci6n rectangular de la cicloide es:
= a are cos
a - Y
a
de donde a es el radio del crculo generador.
Y sus
mtricas son:
x
= a(Q - senQ)
y = a(l - cosQ)
.,~ y
1
2o.
1
1
1
1
. 1, 1
,
'1
J
o
\To..
- - - -------------------~
37
Consideremos el cfrculo fijo ABF (el cfrculo generador de la

cicloide en el centro de sta).
Sea O el punto de la cicloide en donde se quiere trazar la tan
Tracemos DB//OF (la recta fija de la cicloide).
gente.
Como O est sobre la cicloide

00'
= x = a(Q
- senQ)
Donde O' es el pie de la perpendicular al eje x desde O y. de

acuerdo -a-la figura
OB'
= OF
+ FB'
con B' pie de la perpendicular al eje x desde B.

Pero OF = 1ra
la semicircunferencia. ya que el cfrculo ha roda
do sin resbalar.
y
FB'
=a
cos(Q - - 23- r )
OB'
a + a cos (g
entonces
11"
- - 3-
1r
2 .
De la figura vemos que:

OB
= OD'
i
OB'
"'a(Q - senQ) - ar - a cos(Q - _3_

2
pero
cos(Q - - 3-
::::-senQ
entonces
OB
= aQ
- a"
- a senQ + a senQ
es decir
DB .. aQ - a 7r
,....
..
AB
38
Entonces la ecuaci6n de la cicloide referida al
c~rculo
fijo
FAB es:
r--.
= AB
OB
Si llamamos AB
X
=x
08 =y
la ecuaci6n ser
=y
1
Y, calculando las fluxiones:

1
x =y
Entonces, si BT es la tangente al crculo fijo en B, la tangente
en
o a la cicloide es DT donde T es un punto que cumple

BT
80 =
=1
o sea
s
d
Para el caso de la cuadratura, la cicloide nos permitir 'tambin
ilustrar un mtodo interesante en el que, por otra parte, podremos

conocer el mtodo de integraci6n por sustitucin.
El problema es:
- Encontrar curvas cuyas reas se relacionen de cierta forma con

el rea de una curva dada (por ejemplo, que sean iguales).Solucin.Sea FDH la curva dada y GE! la curva buscada en la figura
te:
sigui~
s
f1
r
l
d
'
"'
'
.\
su
39
--
....~
\...
.....
ente
DB
1.
..J
)'.
EC sus ordenadas respectivas, que avanzan sobre las bases AB
AC.
Los incrementos y, por tanto, las fluxiones de las reas barridas
sern proporcionales a estas ordenadas multiplicadas por la velocidad
de avance, esto es, por las fluxiones de sus bases respectivas, es de
nbin
cir, de acuerdo con la notaci6n en la figura:
re
-s - vx
t
yz
a con
Si ahora suponemos que

y
iguie!!_
x=1
= s,
t/z
De acuerdo con esto, si conocemos la relaci6n entre las reas
sy t
y 1a
fluxiones
"' .
lae
re 1aci6n entre 1as bases x y z podremos encontrar 1as
y 1a curva buscada ser
= t,; .
Si las reas son iguales, t enemos el mtodo de integracin por
sust ituc i 6n :
,
1
. 40
Sea s = t =}
s = t
en notaci 6n moderna:
V
= f (x)
y(z) =
por lo tanto y = v/z.
=V
Es decir,
.t
J
z
= ~(x),
f (x)
'l' (z)
f('l'(z))
Y' 1 ( 'lt(z))
Y''(x)
pero
~ ('l'(Z)
po r 1o tanto y
= f('Jl(Z)
'
)~(z)
o sea, Jf(x) f x
1\
Ahora, apliquemos este
~todo
=Jf( 'l'(z)
) q,'(z) _
11
1
1
al caso de la cicloide:
.........
... ...
... ......
...
... ,,
.......
l..
F\
Tomamos AB como 1a abscisa x y completamos el rectngulo ABDG.

Busquemos la superficie complementaria AGD concibindola como
descri ta por el movimiento de la ordenada v
n
ri i
1~ '.
"
;t,
l .
rea se r
s = XV
= AG. La fluxin de esta
41
Ahora, como AL es paralela a la tangente DT (ver Apndice) se
tiene que
BL
::
A8
pero si
1
(t)
x = 1,
V
-.--
(pendiente de la tangente)
se tiene
v = -L
AB
y, consecuentemente,
= BL
es decir, el rea ADG es descrita con la misma razn de cambio que el

~re a
del crculo ALB entonces, estas dos reas son iguales.
(Ver Ap!J.
di ce).
La siguiente seccin corresponde a un problema tomado de los Prin
c1pia que nos parece interesante porque muestra el tratamiento de una
situaci6n fsica -ya no slo geomtrica como en las secciones anterioresen donde est presente una gran parte de la algoritmia del clculo dise
Hado. por Newton.
,'
42
I .7 UN TRATADO DEL METODO DE SERIES Y FLUXIONES

Issac Newton {1671)
Observando que la mayora de los matemticos, con un desprecio casi
completo por el mtodo sinttico de la antigedad, se han dedicado al es
tudio del Anlisis con la ayuda del cual han superado dificultades formi
dables agotando, virtualmente, todo aquello fuera de cuadratura de curvas
y algunos tpicos cuya n~turaleza no ha sido cpmpletamente dilucidada:
Decid, para satisfacci6p de los estudiantes, ~edactar el peque~o tratado
siguiente con el cual se : amplan las fronteras! del Anlisis y se avanza
en el estudio de las curyas.
Como las operaciones del clculo con nmeros y con variables, son
muy semejantes - de hecho no hay dife rencia entre ellas excepto que unas
son definidas y las otras, ind~finidas -, me sorprende que no se le haya
ocurrido a nadie (exceptuando a Mercator con su cuadratura de la hiprb~
la) ajustar la teora, recientemente establecida, de los nmeros decima
les, en forma semejante a las variables, especialmente porque este camino
est abierto a las ms notables consecuencias. Este tratamiento tendr~
con el Algebra la misma relacin que la teora de los nmeros decimales
tiene con la Aritmtica comn; las operaciones de suma, resta, multiplic!
ci6n, divisin y extraccin de raz, se pueden aprender fcilmente de sta
ltima. As, el lector puede ser experto en ambas, Algebra y Aritmtica,
y apreciar la correspondencia entre nmeros decimales y series infinitas
de trminos algebraicos. Y as como la ventaja de los decimales consiste
en que, una vez reducidas las fracciones y races a ellos, pueden ser tr!
ta das como enteros; asimismo, 1a ventaja de 1as series infinitas es que
las expresi ones complicadas (como fracciones cuyos denominadores son ca~
tidades complicadas, races de cantidades complicadas, etc .) pueden ser
reducidas a series infinitas de trminos ms simples . Consecuentemente,
primero mostrar como reducir ciertas cantidades a trminos ms simples,
revelando mtodos menos familiares y, entonces, aplicar este anlisis a
la resolucin de problemas.
Las reducciones por divisin y extraccin de rz sern ms claras,
a partir de los siguientes ejemplos, comparando los mtodos, tan simila
res, de operar con decimales en Aritmtica.
1
'
.'
SE!
'
:1
--
- - - -- - - - - - - - - - - - - - - - - - - - -......
43
Ejemplo de reducci6n por divisi6n:

2
Si se propone la reduccin de "li-::::-x , divdase a 2 entre b+x de la si
'
guiente manera:
b +
a 2/b - a2xzb2 + a 2x2/b 3

1 a2
a 2x3/b 4 + ...
a2 + aL;b
o
arx/b
1
- a~x/b - a 2x2;b 2
a2x2/b2
a 2x2/b 2
'
a2x3;b 3
a2x3/b3
y el resultado es la serie
no
-b-
ca
sta
que, continuada hasta el infinito, es equivalente a

O bien, si se ordena el divisor como x + b,
:a'
1S
;te
:ra
1 -
x2 - x6
se reduce a
y la fracci 6n
as,
a
2x .J/2
1 +x 112
2x 112 -
2x + 7x 3 12
x3/ 2
3x
la serie equivalente ser:
oa
se reduce a
+ .....
x2
s,
a
-X- -
1
De la misma manera, la fracci6n - -1 +
:ir1
e,
+ ..
13x2 + 34x 5/ 2 + .. .
44
Ejemplo de reduccin por extraccin de rafz:

Si se propone reducir
manera:
~a 2
x2
1
,
se extrae la rafz de la siguiente
t.
X
x2
2a+x 2/2a
+ x4 /4a 2
- x4 /4a 2
x4/4a 2
"
2a + x2/a - x4/4a 3 + x 6 /!6a~ " ';
x6/sa 4 - x8/64a 6
x6/sa 4 + x8/16a 6 - x10 /64a 8+ ..
ci
lo
te
entonces, la rafz de a 2 + X2 es equivalente a 1a serie

a +
x2
x4
Sa 3
x6
16a 5
y, si ordenamos los trminos como x2 + a 2 , la serie equivalente ser:
2a
2
4
6
+
2x
sx 3
16x 5
Ca lcu 1ando de 1a misma forma, la rafz de x - x2 es
X
1
xl/2 - -2x3/2
1,
Y 1a raz de
2 + bx
'
__l_ XS/2
8
a +~ - -X 2a
2a
'i
'
1
16
--X
es:
b2 x3
+
Sa 3
.....
7/2
er
45
I.8 TEOREMA DEL BINIMIO

Isaac Newton
(Carta de Junio 13, 1676 a Oldenburg)
Las fracciones se reducen a series infinitas por divisin, y los radj_
cales, por extraccin de races, llevando estas operaciones con smbolos has
ta donde, comunmente, son llevadas con nmeros decimales. Estos son los fun
~ment as de estas reducciones; pero la extraccin de races es mucho ms cor
ta con el siguiente teorema:
1
1
(P + PQ)m/n = pm/n + ~
4o
1
(16a 5
'
,l.
'
+ m-n
2n
BQ + m-2n
3n
CQ + ....
Donde P + PQ es la cantidad cuya raz, o potencia, o raz de una pote~

cia se qui ere encontrar. P representa e 1 primer trmino de 1a expresin; Q
' el primero, y m/n el negativo expone.Q_
los trminos restantes divididos entre
te , entero o fraccionario, negativo o positivo.
Finalmente, A es el primer
t~rmino pm/n , B, el segundo (m/n) AQ, etc.

Por ejemplo para calcular
P == c2 ; Q == x2/c 2 ; m == 1
J(c 2 + x2)
::;
1-2
4
[== (c 2 +
x2) 1/2]
= (l/2c)
x2;c 2J
n =2
B
C = [ ~ BQ
2n
'
''
==
2
(+)
[(m/n)AQ
2
( X
-;z
-X
==
~~
J = 8c3
etc.
ento nces,
(c2 +x2)1/2
::;
2
4
X
c+-- _x_+
2c
sc3
x6
16c5
5x 8
128c7
+ ....
JUSTIFICACION DEL TEOREMA DEL BINOMIO

Isaac Newton
(Carta de Octubre 24, 1676 a 01 denburg)
En el inicio de mis estudios matemticos, cuando me encontr con los tra
bajos de nuestro celebrado Wallis, observando las series que, al intercalarlas,
lf:
cy.
JI ,
46
le permitieron calcular el rea del crculo y la hiprbola, consider el h~,

cho de que, en la serie de curvas cuya base comn o eje es x y cuyas ordena
das son :
Curvas
Areas
(1 - x2)0/2
/)1/2
(1
(1 - x2)2/2
(1
- x2 )3/2
(1
x2)4/2
X - -
1
3
x __2_ x3 + _1_ x5
3
( 1 _ x2)5/2
x __3_ x3 + _3_ x5 __1_ x7
( 1 _ x2)6/2
si las reas conocidas de estas curvas (2da. columna) pudieran ser interpQ
ladas, deberamos tener las reas intermedias, la primera de las cuales
(1 - x) 112
es el rea del crculo.

Para interpolar estas series, not que, en todas ellas, el
. era, respec t 1vamen

.
t e, - o-x 3 - 1-x 3 , - 2-x,
3
. era x y e l segun do t rmrno
mino
3
3
3
_3_ x3
3
,
que vara en progresin aritmtica; entonces, los primeros
dos trminos de las series a intercalar, deberan ser:
'
X -
X -
1 (-5-32 x3)
etc.
47
e
a
Para encontrar los otros trminos de las series, encontr que los denE_
mi nadores 1, 3, 5, 7,
etc., estn en progresin aritmtica, as que slo
necesitaba investigar los coeficientes numricos de los numeradores.
Pero en
1as reas alternadas dadas, estos coeficientes, eran los dgitos de las pote!.!_
cia s de 11, es decir 110, 11 1 , 11 2 113. 11 4 ,
...
esto es, el primero 1; de~
pus 1,1; el tercero 1,2,l; el cuarto 1,3,3,1; el quinto 1,4,6,4, l, etc.

Y as empec a preguntarme cmo los nmeros restantes en estas series podran
deri varse de los dos primeros \ numeradores y encontr\ que, llamando mal segu.!.!_
do , los restantes seran prodcidos por multipl icac iones sucesivas de los tr
minos de la serie siguiente:
1
'
m-0
m-1
m-2
m-3
4
m-4
5
"
Por ejemplo, sea m = 4, entonces
4-1
4x--=6
2
para el 3er. numerador,
6 x4-2
-- = 4
3
para el 4o.
numerador
4 x-1::]__
4
para el So.
numerador
lx_H_ =O
para el 60.
numerador
en cuyo trmino, para este caso, la serie termina.

De acuerdo con esto, apliqu esta regla para interpolar las series en
tre las series y entonces, para el caso del crculo, cuyo segundo trmino es
- 31- (-21- x3 ) , le corresponde
m=
1
2- y los coeficientes de los numeradores
restantes sern:
1
-2-
-2- - 1
1
= -8
2
para el 3er. numerador
1
--x
8
-2- - 2
2
-15
para Pl 4o. numerador
48
16 X
3
-2-5 --4-:--- =128
para el 5o. numerador
y as hasta el infinito.
Entonces, el rea del segmento circular ser:

X -
(1/2) x 3
(1/8) x5
(1/16)
7
x7
(5/128) x9
9
- ....
Y, por el mismo razonamien 1o , se pueden intercal r las reas de las otras

curvas.
r
Esta fue mi primera ~ntroduccin en estos rstud1os, pero cuando

d sto, inmediatamente em~ec a considerar que los trminos
1
apre~
(1 - x2)0/2
=1
(1 - x2)2/2
= 1 - x2
(1 _ x2)4/2
= 1 - 2X 2 + X4
,,
(1 -
x2) 6/2 = 1 -
'
3x2 + 3x 4 - x6
podran ser interpolados de la misma manera en que lo habrn sido las reas
generadas por ellos, y que, para este propsito, slo se requera omitir los
denomina dores 1, 3, 5, 7, etc. que son los trminos que expresan las reas;
esto sigifica que, los coeficientes de los trminos de las expresiones
ca l adas, es decir de (1 - x2 ) 112 o (1 - x2 ) 312 o, en general, (1 - /)m
provienen de las multiplicaciones sucesivas de los trminos de esta serie:
mx m-1
2
m-2
3
m-3
4
m-4
5
....
As, por ejemplo:

1'
(1
- x2)1/2
=1 -
_l_ x2
2
_l_ x4
8
1
16
- --X
49
2 + _3_ x4 + _l_ x6
16
8
(1 - x2)3/2
= 1 - -X
(1 - /)1/3
- -X
5
6
- -1x 4 - ---gr- X
9
As f entonces, conoc la reduccin general de radicales en series infinitas,

despus de estar familiarizado con la extraccin de races. Pero una vez
conocido lo primero, lo segundo no podia permanecer mucho tiempo oculto para
mi.
:n
Pa ra probar este proceso, multipliqu .
1 __1_ x2 __1_ x4 __1_ x6 _

2
16
por s mismo y obtuve 1 - x 2 y ttmi nos res tan tes que se hacen cero si se
continua hasta el infinito.
1 - - 3-
Y an
- - 9-
5
---gr-
mu lti plicada dos veces por si misma produce

s~
l -
1 - x2 .
Y como sta no era, por
sola, una prueba de estas conclusiones, trat de extraer las races de
x2
de una manera aritmtica, lo cual result correcto.
l'!
Esta es la forma como trabaj con races cuadradas:

as
1os
as;
ter
1_1_
0- X
2 - X2 - X4/8
- x4/4 + x6 /8 + x16 /64

O - x6 /8- x 16 /64
-~X:~:~.-.
1
1
1,'
'
--r- - --2 - x2 - x4 /4 - x6 /16
50
Ejemplo de reducci6n por medio de la resoluci6n de ecuaciones.

Como la dificultad aquf se encuentra enteramente en la tcnica de
lucin, dar primero un ejemplo del mtodo en una ecuaci6n numrica.
Supongamos que y 3 - 2y - 5 = O es la ecuacin que se quiere resolver ~
y supongamos que, por algn mtodo, hemos encontrado que la raz de la ecua
ci 6n difiere en menos 1/10 de 2 (*) entonces: hagamos y = 2 + p, 1a ecuacin
queda entonces:
p3 + 6p 2 +1lOp - 1 :: o
1
1
1
'
Como p es menor que tllO,
podemos aproximarla (despreciando las
cias 2 y 3) por la ecuacin
lOp - 1
esto significa que p
ecuacin dada queda:
o sea
~O
pote~
0.1
0.1 + q (ton lql < 0.01)
Con este valor de p la

e
q3 + 6.3 q2 + 11.23 q + 0.061 :: o

De nuevo, como q es menor que 1/100, podemos aproximarla despreciando
los trminos en q2 y q3, entonces:
11.23 q + 0.061
~o
==} q ~ - 0.0054
entonces podremos escribir q =-0.0054 + r
(con
Ir/ <0.001)
por
ecuacin dada quedar (despreciando el trmino q3):

2
6.3 r + 11.16196 r + 0.000541708
~O
y despreciando nuevamente el trmino r2 , tendremos
-0.000541708
11.16196
ob
- o. 00004853
finalmente, la raz buscada ser:
01
y :: 2 + 0.1 - 0.0054
0.00004853
2.09455147
y ::
(*)
(*) Si f(y) = y
.!
...
f (2
p)
- 2y - 5
con
y
O < p
f(2.l)
<
0.1
>O
> f(2.0)
entonces, por
( **
r,
51
Por mtodos no muy diferentes se pueden resolver ecuaciones de dimensio

nes mayores, teniendo cuidado, como se hizo aqu, de omitir el primer trmino
en cada paso.
Yb no se si este mtodo de resolver ecuaciones.es ampliamente conocido
o no , pero ciertamente, en comparacin con otros es simple y fcil de practj_
car . Su prueba es evidente a partir del modo de operacin de l mismo, y en
consecuencia facilmente puede ser recordado cuando se necesita. Con l se pu~
den resolver ecuaciones completas o incompletas de la misma forma.
1
Supongamos ahora que queremos resolver la ecu1cin algebrica:
2a~ + axy
x3
,,
.,
'
Primero, busquemos el valor de y cuando x

ecuacin
2a 3 = O
que nos da la raz y = a
Entonces, supongamos que y
O, es decir, resolvamos la
a + p en la ecuacin original:
(a + p) 3 + a 2 (a + p) - 2a 3 + ax(a + p) - x3
(*)
=O
x3
x3 = O
. , 4a 2p + a 2x en l a cua l l as varia
. bl es
Ah ora cons1. deremos al expres1on
p y x estn en su menor potencia, entonces apro ximando (**)
obtenemos
p :::: - _1_
4
o bien
p =
1
--X
+ q
(*) Para obtener una expansin de

(**)
Porque x ==O
y en potencias de x alrededor de x
entonces sus potencias son muy pequeas.
O.
52
Sustituyendo esta expresin en la ecuacin original tendremos:

2
3
(--41-x+q) 3 +3a (- 41 x+q) 2 +4a 2 (- 41 x+q)+ax(- 41 x+q)+ax-x
=O .
es decir:
1
3 x2q - 3 xq 2 + q3 + l6
3
- 64
x3 + 16
ax 2 - 23 axq + 3aq 2 +
4
i
-a 2x + 4a2q - - 1 ax2 + axq + a 2 x

4
- X
=o
'
De esto tomemos la expresin

2
4a q .,. l 6 ax
2
~
en la cual las variables q y x (*) estn en su menor potencia y, como esta

es cercana a cero obtenemos la aproximacin:
q ~
o bien
q
x2
64a
x2
= 64a
+ r
entonces, sustituyendo esta expresin en la

los trminos en q3 y xq2) tendremos:
x2
x2
x2
ecuacin original, (despreciando
2 x2
3a(64a + r) + 4 (64a + r) - yax (64a + r) + 16 x (64a + r) - 16 ax

O sea:
( * ) Porqu e x es c e r can a a ce r o
65
-54x = ~
53
2
4a r
_Jj
3
1j<5 x
1 /
- -2-~axr +
de donde (despreciando el trmino en r 2 ):

1
15x 4
4096a
131 x3 +
-128
1 axr + 4a2r = O
- -2-
9 x2r
32
entonces despejando r:
r =
r_JJJ__ x3
L 12s
'
15
4096a
4
X
J-;- [ 12
2 - -}- a X + 4a 2
de donde, realizando la divisin tendremos:
131x 3 + 509x 4
16384a 3
512a 2
.r
t
'.)
4a - -
1
9 2
2 ax+ --x
32
131
128
15
x4
- 4096a
131 x3 _
128
131 x4
1024a
1179
x5
16384a 2
1179
x5
16384a2
509 x4
4096a
De manera que, despreciando los residuos en donde x tenga una potencia
> 5 (ya que x es cercana a O) tenemos que:

131 x3 +
509
r ~
- 512a 2
16384a 3
x4
54
Entonces podremos escribir y con las aproximaciones calculadas, de la

siguiente manera:
y=a--x-+
4
x2
64a
131 x3
509
x4
+
+ .....
512a2
16384a3
que se puede continuar de la misma forma hasta donde se desee.
de
b6
la
n1
y '
can
rea
una
por
I.
'
'
'
(
:1
55
)4
, de la
sl
l l, EL CALCULO DE LEIBNIZ
(*)
Una de las mayores preocupaciones de Leibniz, y al mismo tiempo uno

de sus mayores triunfos, fue la de pr oveer al Clculo de un lenguaje sim
b61i co como un medio para "guiar la mente a conclusiones correctas". Unos
cua ntos ejemplos bastarn para resaltar la importancia de lo que la nota
1
ci6n Leibniziana significa para el Clculo.

!
En la notacin funcional, introducida mucho ms tarde por Lagrange,
la regla de la cadena dice lque si h(x) = f( g(x) 1), entonces
1
=f
1 (
g(x)) g'(x)
- - - - (1)
Nada en la notacin de la,expresin (1) sugiere por qu sta es cierta
ni tam poco cmo probarla.
Pero la notacin diferencial con z

y" g(x) transforma la frmula (1) en:
dz
dX
dz
_d_y_
~y_
dx
= f(y)
- - - - - - - - - - (2)
Esta expresin por el contrario, sugiere su propia validez por la

cancel acin de las diferenciales dy's de la derecha como si fueran nmeros
rea les. Esta cancelacin simblica de las diferenciales tambin sugiere
una prueba lgica de la frmula, reemplazando las diferenciales dx, dy, dz
por los incrementos finitos t:.x,t:.y,t:.z y tomando despus lmite.
La versin integral de la regla de la cadena, es la frmula de inte
gracin por sustitucin.
ff(
g(x)) g' (x)dx = /f(u)du - - - - - - - (3)
() Traduccin del libro "The Historical Developme nt of the Calculus" de

C. H. Edwards, Jr.
Springer-Verlag, New York Inc., 1979, Captulo IX.
La sustitucin simblica u = g(x) du = g' (x)dx hace cue la frmula (3)

parezca inevitable cualquiera que sea su demostracin. Esto viene a ser
la invarianza de la forma diferencial f(u)du con respecto a cambios arbi
trar ios de variable; uno de los ms importantes descubrimientos de Leibi
niz.
Ahora consideremos una superficie generada por la rotacin de la
curva y = f(x) alrededor del eje x. Pensando en un segmento infinitesi
mal de curva ds como la hipotenusa del 11 tri~ngulo caracterstico 11 con l!
dos dx y dy (ver Fig. 1) el teorema de Pitgoras dice que:
par4
rre<
En <
y li
'(qu i
do e
anal
fini
in ve
ds =
J(dx)
+ (dy) 2 \
prot
==J 1 +
tran
1a e
sult
':1
'1
!
'
Yi='f(x)
II.1
\
1
1
'
I
1
1
1
'
t..eib
1
1
sion
res a
lado
de
e~
Fig. 1
te 111
1
Cuando este segmento ds gira alrededor del eje x en un circulo den

dio y, genera un rea infinitesimal:
dA
Sumando estas
''
= 2 rr y ds = 2 rr y J
~reas
*)
1 + (
infinitesimales obtenemos:
2 '
dx
ces i l
57
i6
pa ra el rea de la superficie. De esta forma 11 descubrimos 11 la frmula c.2_

rrecta (4) por medio de un sencillo manipuleo de los smbolos de Leibiniz.
En contraste, su justificacin rigurosa requerira una detallada discusin
y la definicin del concepto de "rea de superficie" seg~ida de una prueba
(qu iz en trminos de suma de Riemann) de qL1e la frmula (4) est de acuer
do con esta definicin.
Estos sencillos ejemplos ilustran los principales rasgos del clculo
analHi co o simblico de Leibn~z - el papel central de las diferencias in
. '!'".:".,.''
f1nite simales (diferenciales)

de las sumas (integrales), y la relacin
inversa entre ellas; el tringulo caracterstico como la unin entre los problemas de tangentes (diferehcial) y los de cuadratura (integral); la
tran sformacin de integrales por medio de sustituciones - y la forma por
la cual este clculo gua, de hecho, la mente en la deduccin formal de re
sultados correctos.
i-,
''
,,
r.
ll.l
LOS ORIGENES - SUMAS Y DIFERENCIAS
En la "Historia et origo calculi defferentialis 11 y en otras obras,

Leibniz siempre atribuye su inspiracin a sus primeros trabajos sobre suce
siones de sumas y diferencias de nmeros. Cuando estudiante, estuvo inte
resado en las propiedades de los nmeros y en 1666 public un ensayo titu
lado "Qe Arte Combinatoria 11 en el cual trataba las propiedades elementales
de combinaciones y permutaciones.
Poco despus de su llegada a Pars en 1672, Leibniz not un interesa.!!.
te hecho en la suma de las diferencias de trminos consecutivos de una su
cesin numrica. Dada la sucesin
consideremos la sucesin
de diferencias
d.l. = a.l. - a.i - 1 .
Entonces
58
Esto es, la suma de las diferencias consecutivas es igual a la dife

rencia entre el primer y el ltimo trmino de la sucesin original.
Como un ejemolo de esto, veamos que la suces16n de diferencias de la
sucesi6n de cuadrados
O, 1. 4, ... , n2
es la sucesin de nmeros
i~pares
1, 3, 5,
consecutivos
... ,
2n - 1
porque i 2 - (i - 1) 2 = 2i - 1, de aqu se sigue que la suma de los primeros

n impares es n2
1 + 3 + 5 + ... + (2n-l)
n2
No mucho tiempo despus de su llegada a Pars, Leibniz llam a Chris

tiaan Huygens (1629-1695), quin estaba concluyendo su tratado Horologium
oscillatorium 11 (1673) sobre la teora del reloj de pndulo, y era probabl~
mente el ms renombrado cientfico en Europa continental. Cuando Leibniz
le destribi sus resultados con sumas de diferencias, Huygens le sugiri
que tratara de encontrar la suma de la serie
11
-1- + -3- + -6- +
1. + .. + -n~(n-+-1~)-2- +
- - -(6)
de recprocos de los nmeros triangulares. Este problema haba surgido,

por alguna razn, en una discusin con Hudde sobre el clculo de probabilj_
dades para ciertos juegos de azar.
El problema de Huygens era especialmente propicio para Leibniz en ese
tiempo. Por sus primeros trabajos, l estaba familiarizado con el "tring~
lo aritmtico" de Pascal. Si escribimo el tringulo de la siguiente forma:
1'
--
.......
---~--~----
imeros
Chris
ogium
bable
bniz
ri
El n-simo elemento de cada columna es la suma de los primeros n ele

mentos de la columna precedente. Entonces el n-simo nmero triangular, la
suma de los primeros n enteros, ~s el n~simo elemento de la tercer columna.
El tri ngulo aritmtico, exhibe as, los nmeros triangulares como sumas de
enteros, los piramidales como sumas de triangulares, etc. E inversamente,
los nmeros ' triangulares son diferencias de nmeros piramidales consecutj_
vos, etc.
Leibniz vi que la pregunta formulada por Huygens poda contestarse
empezando con la sucesin de los recfprocos de los enteros en lugar de los
enteros mismos y construyendo despu~s las subsiguientes columnas tomando
dife rencias en lugar de sumas. De esta forma Leibniz obtuvo el siguiente
arregl o, al cual llam el trHngulo armnico
11
(6)
1
1
-1- /'-2-
11
1
)"-3-
do,
abili
-3-l/'
12
l.
30
42
30
60
105
: J1):
-5-
30
6:0
105
-6-
ing~
forma:
-5-
20
1
en ese
-4-
140
-7-
60
Cada una de las columnas del tringulo armnico es la sucesin de~

ferencias de los trminos consecutivos de la columna precedente. Entonces,
la suma de los trminos de cada columna es igual al primer elemento de la
co l umna precedente. En particular
_1_ +_1_ +_1_ +_1_
2
6
12
20
- 1
- - - - - - - - - (7)
+ -.-------1
1
1
1
1
-3- + 12 +30 + 60 +
(8)
1
1
+ 20 + 60
El n-simo elemento de la
~egunda
n+l
b1
de
su
de
n1e
1
+ 140 +
_1_ - _1_
tr
dE
l~
+ .
= -3-
- - - - - - - - - (9)
columna del tringulo armnico es
con
Des,
mo
= ~-1~n(n+l)
el cual es la. mitad del recproco del n-:-simo nmero triangular n(n+l)/2.
Entonces la multiplicacin de la ecuacin (7) por 2 resulta la suma solici
tada por Huygens,
1 .
1
1
1
-1-+-3-+-6-+10+
lin
= 2
El tringulo aritmtico de Pascal y el tringulo armnico de Leibniz

encierran una cierta relacin inversa con respecto a su forma de construc
cin - involucrando sumas en un caso y .diferencias en el otro-. En el
tringulo aritmtico cada columna contiene las sumas de los trminos de la
columna precedente y las diferencias de los trminos de la columna sigui~
te. En el tringulo armnico, cada columna contiene las diferencias de 101
trminos de la columna precedente.
Estas consideraciones sembraron en la mente de Leibniz una concepci~
que habra de jugar un papel dominante en su desarrollo del clculo -la~
cin de una relacin inversa entre la operacin de tomar difere.ncias y la
de f ormar sumas de los elementos de una sucesin-.
61
60
di
1ces,
la
7)
3)
3)
es
12.
lici
oniz
ruc
;; la
uien
e los
pci6n
la no
la
11.2 EL
TRIANGULO CARACTERISTICO
Leibniz encontr su famoso "tringulo caracterfstico 11 estudiando el

trabajo de Pascal. En junio de 1658 Pascal propuso un concurso con fecha
de cla usura lo. de octubre de 1658 para la solucin de varios problemas r~
lativos a la cicloide -encontrar el rea y el centroide de un segmento ar_
b1trario de cicloide, y encontrar los volmenes y centroides de los slidos
de revolucin obtenidos al 9irar dicho segmento alrededor de su base o de
su ordenada
En 1643 Roberval haba demostrado que el rea de la cicloi
de completa c;s tres veces la de su crculo generador y que el volmen obte
nido por la revolucin de la cicloide alrededor de su base es 5/8 del ci
lindro circunscrito (ver Source book - Struik, pgs. 232-238).
la mayora de los principales matemticos de la poca siguieron este
concurso con inters y algunos de ellos presentaron posibles soluciones.
4
Oespus de que ninguna de las soluciones presentadas haba sido juzgada CE_
mo completamente aceptable, Pascal public su propio trabajo sobre la cj_
cloide y problemas relativos, bajo el ttulo de 11 Lettres de A. Dettonville 11
(el pseudnimo de Amos Dettonville es un anagrama de Louis, o Lovis de Mon
talde, el pseudnimo bajo el cual aparecieron las 11 Lettres provinciales 11
de Pasea l )
En la "Historia et origo 11 Leibniz, refirindose a l mismo en terce
N p e~sona, describe su descubrimiento decisivo del tringulo caractersti
co como sigue:
"De un ejemplo dado po r Dettonville, surge
repentinamente la luz en l (en Leibniz),
es extrao decir que el mismo Pascal no
se hubiera dado cuenta. Porque cuando l
prueba el teorema de Arqumedes para la
medida de la superficie de una esfera o
partes de ellas, usa un mtodo en el cual
la superficie completa del slido formado
por una rotacin alrededor de cualquier
eje puede ser reducida a una figura plana
equivalente. De aqu, nuestro joven amj_
go enunci, por s solo, el siguiente teo
1
rema general. Porciones de una lnea rec

ta normal a una curva, intersectadas entre
"'' . ##iW*
wf:?~j~'.;~
'I'
I,
62
la curva y un eje cuando se toman en

orden y se aplican en ngulos rectos
.a los ejes, producen una figura equj_
valente al momento de la curva alrede
dor del eje
11
La referencia de PaTcal aqu alude a su breve "tratado de senos de

un cuadrante de cfrculo el cual es parte de la , primera carta de Detton
ville (~er Struik - Source book, pgs. 239-241)~ En su Proposicin I
Pascal demuestra que la suma de los senos (ordenadas) de un arco de un
cuadrante (de un cfrculo) :es 1gua1 a la porc16n de la base entre el seno
extremo multiplicado por el radio". El uso de la palabra seno para la OJ:
denada connota el hecho de que en la suma referida, cada ordenada se mul
tiplica por el correspondiente,arco infinitesimal ds del crculo (en l.!:!_
gar de un segmento infinitesimal dx de la base).
Para demostrar la proposicin, Pascal construy el tringulo rect~
gula E1 E2 k con hipotenusa E1 E2 tangente al crculo en un punto tpico
O, y entonces advirti que los tringulos E 1 E2 k y AD! eran semejantes
(ver Fig. 2).
11 ,
11
Fig. 2
Entonces
l
63
62
l<i,
i.:t -
Entonces, si y= DI, a= AD, tis = E1 E2 ,tix::: R1 R2 , se tiene y tis::: al::)(...

Viendoils y Ax
de Pasea l es:
como indivisibles y sumndolos, tenemos que el resultado
/yds
= /adx
- - - - - :- - - - - - - - - - - (10)
!
Como 2 ~ Y ds es el rea de una zona infinites 1imal de la semiesfera de
radio a, obtenida por la revolucin de un cuarto de crculo alrededor del
eje x, se sigue que el rea de la semiesfera es
1
10
or
u1
t.
r.
A::: /2m'dS
.tn
>i co
~es
Entonces la ecuacin (10) da una derivacin infinitesimal de la fr

mula del rea A= 411a2 para una esfera de radio a.
La 11 luz que surgi repentinamente 11 en Leibniz consisti en advertir
h completa aplicacin general de la construccin del tringulo infinitesj_
ma1 de Pascal en una curva arbitraria, en donde la normal a la curva dada
juega el papel del radio del crculo. As, por la semejanza de tringulos
que se observa en la figura 3:
y
:. ~ ~~.
.:
Fi g. 3
{ I
f ''
64
:st::'
sigue que
-dsn
::
-dxY
= ndx .
yds
Sumando los infinitesimales tenemos que:

- - (11)
1
1
1
Como Leibniz no invent6 su notacin diferenc~al sino hasta finales

de 1675, tuvo que expresar (11) en forma verbal - el momento de la curva da
da alrededor del eje x es igual al rea bajo la segunda curva cuya ordenada
es la normal n a la curva dada - (ver 11 Historia et Origo 11 } . Multiplicando
el momento por 2i se obtiene el rea A = 21Tyds de la superficie de revol.!!_
ci6n obten i da por rotacin de la eurva original alrededor del eje x. Cua~
do Leibniz mostr este resultado a Huygens ste ltimo 11 confes6 que con la
ayuda de este teorema haba encontrado la superficie del conoide parab61ico
(paraboloide} y de otras similares, que habtan permanecido sin demostraci6n
desde mucho aos antes 11 (1657}.
Al mismo tiempo, Leibniz encontr cmo aplicar el mtodo del tri~n~
lo caracterstico a problemas de rectificaci6n y cuadratura. Dada una e~
va de la cual se pide una longitud de arco, denotemos con t la longitud
del segmento de tangente intersectado entre el eje x y una ordenada vert
cal de longitud (constante) a. Entonces, por la semejanza de tringulo
en la figura 4, se sigue que:
'
VI
't
/1""
1a
1
1
,' '
' 1
Fig. 4
do
es
1/t
que
por
64
65
~=~
t
a
De donde
/ads =
t
(11)
1a l es
:urva da
>rdenada
i cando
re vol u
Cuan
con l a
ab61 i co
;traci6n
- - - - (12)
tdy
As, la rectificacin de una curva dada se reduce a un problema de

cuadratura - e1 c 1cu1 o, de 1 rea de la reg i 6n, entre el eje y y una segunda
1
1
curva cuya absc1 sa x es 1a tangente t a la curva dada.
Para la tercera aplicacin del tringulo caracterstico de Leibniz,
veamos la semejanza de ~ os tringulos de la figura 3, la cual implica que
;ri ng_!!
ma cur
tud
vert i
ulo
ads = tdy
_Q,L
V
it
=~
y
donde ves la subnormal a la curva dada.
vdx = ydy
De ah
- - - - - - - - - - - - - - (13).
Leibniz advirti6 que, si la curva dada pasa por el origen y su base

es el intervalo [o,b], entonces la integral (13) es simplemente el rea
1/2 b2 de un tringulo cuya base y altura son iguales a b - 11 lneas rectas
que continuamente se incrementan desde cero, cuando cada una se multiplica
por su elemento de incremento, forman un tringulo".
~
As, para encontrar e 1 rea de una fi gura dada1 se busca otra figu~a tal que
sus subnormales sean respectivamente igu2_
les a las ordenadas de la figura dada, y
entonces esta segunda figura es la cua dratriz de la dada; y as, de esta extr~
madamen t e elegante consideraci6n, obt~
nemes la reducci6n de las reas de super_
f i cies descritas po r rotacin a cuadratu
ras planas (frmula (11)), asi como 1a
recti f icacin de curvas (frmulas (12));
al mis mo tiempo, podemos reducir estas
M'
66
cuadraturas de figuras a un problema

inverso de tangentes (frmula (13))".
Como v
= y(dy/dx),
b1ert
cf to
res"
la frmula (13) dice que:
y (
~~-)
dx =
- el 1
resul i
Dos di
dy
Esta fue la primera aparicin de dos ideas que habran de jugar pape
les centrales en el clculo de leibniz - la transformacin de integrales
por medio de sustituciones, y la reduccin de los pro91emas de cuadratura
a los del inverso de la tangente, siendo este ltimo la determinacin de
una curva a partir del conocimiento de su tangente.
Para ilustrar la forma en la cual la expresin (13) reduce las cu~
draturas al problema inverso a la tangente, supongamos que se quiere e~
a
contrar el rea J; xn dx bajo la crva z = xn . Si podemos encontrar
una curva y = f (x) con subnormal v = xn , entonces la expresin (13) nos
dar
1
como s
=2f(a)
asumiendo que f(O) =O .
Tratando y= bxk, queremos que
Para esto se requiere que

1 (n+l)
k -- -2-
[+ r/2
(n+l)
se sigue. que:
J:
1 (bak)2
xn dx -- -2-
- . an+l
n+1
En estas investigaciones de 1673, su primer ao de investigaciones s!

rias en matemticas, Leibniz obtuvo pocos resultados realmente nuevos, es~
es, ninguna cuadratura o rectificacin especfica que no hubiera sido
;.
66
pap~
a les
atura
in de
cua
~ en
trar
) nos
ciones se
~ vos, esto
,ido descu
67
b1erta prev1 arnente por otros. Aun su trHngul o caracterstico estaba implf
c1to en el trabajo de Pasea 1 (y para ser justos, en 1as "Geometrical Lect.!:!_
res" de Barrow). Pero el di6 importantes primeros pasos hacia su meta real
-el desarrollo de un mtodo algortmico general que unificara los distintos
resul tados y tcnicas que encontr en la 1 iteratura matemtica existente.
Dos dcadas despus, en una carta a 1 'Hopital, resumi estos primeros pasos
como s1 gue:
"[Con el] uso de lo que yo he llamado el
tringulo caracterstico, formado con los
elementos de las coordenadas y de la cur
va, encontr como en un parpadeo, casi to
dos los teoremas que despus encontr en
los trabajos de Barrow y Gregory. Hasta
entonces, yo no'estaba lo suficientemente
v~rsado en el clculo (lgebra) de Desea!'_
tes y no hice uso de las ecuaciones para
expresar la naturaleza de las curvas; p~
ro por consejo de Huygens, me puse a tr~
bajar en l, y estuve lejos de arrepenti_c
me de hacerlo, porque me di los medios
casi inmediatamente para encontrar mi c_!_
culo diferencial. Esto fue como sigue:
Yo haba experimentado desde hacia algn
tiempo cierto placer por encontrar las S.!:!_
mas de series de nmeros, y para sto h~
ba hecho uso del bien conocido teorema
que, en una serie infinita decreciente, el
primer trmino es igual a la suma de todas
las diferencias. De esto obtuve lo que
llamo el tringulo armnico, en oposicin
al tringulo aritmtico de Pascal ... Re
' conociendo de esto la gran utilidad de las
diferencias y viendo que por el clculo de
Descartes las ordenadas de la curva podan
ser expresadas numricamente; v que encoD_
trar cuadraturas o las sumas de las ordena
111'
,,!
1
t:t
"
das era lo mismo que encontrar una ordenada

(la de la cuadratiz) de la cual la diferen
cia es proporcional a la ordenada dada. Re
conoc tambin, casi inmediatamente que en
contrar las tangentes no es otra cosa que e~
centrar diferencias, y que encontrar cuadr~
turas no es otra cosa que encontrar sumas,
teniendo :en cuenta que uno supone que las dj_
ferencias son incomparablemente pequeas
11
II~3
TRANSMUTACION Y LA CUADRATURA ARITMETICA
D~L
CIRCULO
Afinales de 1673 o principios de 1674 Leibniz descubri una 11 transmuta

ci6.n general o mtodo de tran~mutaci6n con .el cual poda derivar esencial
mente todos los resultados entonces conocidos de cuadraturas planas. En su
respuesta a la Epistolar prior de Newton, Leibniz describe sus progresos:
11
11
11
11
Mi mtodo es como un corolario de una teorfa

general de transformaciones, con ayuda del
cual, cualquier figura, dada por cualquier
ecuacin, se reduce a otra figura analtec~
mente equivalente, ... Ms aun, el mtodo g~
neral de transformaciones me parece adecuado
para ser considerado entre los ms poderosos
mtodos del anlisis, porque no solamente si.!:_
ve para series infinitas y aproximaciones, sj_
no tambin para soluciones geomtricas y un
sin fn de cosas, difcilmente manejables de
otra forma ... El principio de las transform~
ciones es el siguiente: una figura dada, con
innumerables lneas (ordenadas) trazada de a.!_
guna manera (de acuerdo a alguna regla o ley),
puede ser resuelta en partes, y las partes - u
otras iguales a ellas - , cuando se reacomopan
en otra posici6n o en otra forma, componen otra
figura, equivalente a la primera o de la misma
rea aunque la forma sea totalmente diferente;
69
68
as, se puede obtener la cuadratura de muchas

formas ... Estos pasos son tales que los pu~
de encontrar de una vez cualquiera que proc~
da metdicamente bajo la gua de la Natural~
za misma; y contiene el verdadero mtodo de
los indivisibles con una concepcin ms gen~
ral y que, hasta donde yo s, hasta ahora no
haba sido expuesto con sufici~nte generali
dad. Porque, no slo a rectas paralelas o
convergenFes, sino a otras lne~s, rectas o
curvas, construdas mediante una ley defini
da, se les puede aplicar la resolucin (de
la figura original en partes que se van a
reunir formand otra figura); pero quien hE_
ya probado la universalidad del mtodo, ju~
r lo grande y profundo de los resultados que
se pueden obtener. Porque, ciertamente, t2_
das las cuadraturas, absolutas o hipotticas
hasta ahora conocidas, no son sino casos pa.!:_
ticulares de sta.
ansmut!
ncial
En su
resos:
Aquf Leibniz describe en trminos generales el siguiente principio,

41 cual fue aplicado el trmino 11 transmutaci6n 11 durante el siglo XVII. Sean
Ay B dos regiones planas (o del espacio) cada una subdividida en 11 indivisj_
bles 11 , generalmente rectngulos (o prismas) infinitamente pequeos. Si hay
un correspondencia uno a uno entre los indivisibles de A y los de B, tal
que indivisibles correspondientes tengan igual rea (o volmen),entonces se
dice que B se deriva de A por 11 transmutaci6n 11 , y conclumos que A y B tienen
!reas (o volmenes) iguales.
Este principio est basado en los clculos de Cavalieri y otros que
usaron rectngulos indivisibles. Lo que les permiti llevar a cabo (en una
vari edad de casos especiales) lo que .habramos hecho ahora por medio de ca!!!
bios de variable e integracin por partes. Aunque l describe las posibilj_
ddes inherentes, de alguna manera ms generalmente en su .carta a Newton,
1a principal innovacin de Leibniz en la prctica, fue el uso del tringulo
1ndivisible en un proceso sistemtico de transformacin.
70
Dados dos puntos vecinos P(x,y) y Q(x+dx, y+dy) en la curva y = f{x),

x e [a,b], Leibniz considera el tringulo infinitesimal OPQ, donde O es el
origen. Sea la tangente determinada por el arco infinitesimal ds que une
los puntos P y Q e intersecta el eje y en el punto T(o,z) (ver Fig. 5), donde
'I
Y:f(x)
._
___ _
lag (x)
as
\
\p
\
\
ni 1
tre
tan
par
la
ple
Fi g. 5
=y
d
- X~
bi1
- - - - - - - - - - - - - (14)
y denotamos por os el segmento perpendicular de longitud p desde O a la
teg1
pr~
longaci6n de esta tangente. Entonces el tringulo OST es semejante al tri

ngulo caracterstico PRQ, as que se sigue que
dx
p
ds
z
fue
= --
masa
de donde el rea del tringulo infinitesimal OPQ es:

1
a ( OPQ) = - 2-
p d s = - 21-
z dx
- - - - - - (15)
71
70
Si consideramos el sector OAB, limitado por el arco AB de y= f(x) y
= f (X );
1os radios OA y OB. como subdividido en tringulos infinitesimales como el
es el
Je une
O?Q 1 entonces se sigue de ( 15) que
5). donde
a(OAB) --
21
Jb
z dx - - - - - - - - - - - - (16)
en donde z = g(x) est definida por (14).
Pero
= 21 b f(b) - - 21- a f(a + a(OAB)
l:
--;:;-
(ver Fig. 5)
= --}- [xy]a + a(OAB)

u1sesi gue de (16) que:
y dx
= -2-
La frmula (17) es el
( 17)
11
teorema de transmutacin 11 de Leibniz.
Su si_g_
ntticado [como el de la frmula (13)] es establecer una relacin inversa eD_

tr~
e1 problema de la tangente (ya que z est definida en trminos de la

ungente) y el problema de cuadratura (del clculo de fab y dx). Por otra
{ierte, se introduce una nueva curva z = g(x) que sirve como
cuadratiz 11 para
z dx sea una integral ms sim
( 14)
h curva original y = f(x), en caso de que J'f

.
b
p1 en trminos de la cual fa ydx pudiera ser elvaluada. Hay que notar ta_!!!
~i~n que la sustituci6n de z = y - x (dy/dx) en (17) nos da la f6rmula de in
l 3r4ci6n por partes
) a la pr.2_
te al
11
= [xy ]b
tri
f (b)
x dy
f {a)
La ms interesaRte aplicaci6n de Leibniz del teorema de transmutacin

r11~ la ll amada 11 cuadratura aritmtica del crculo" - la derivaci6n de la fa
C!C;.! serie infinita
- - (15)
.1L_
= 1--1-+_1___1_+
3
- - - - - (18)
72
que ahora lleva su nombre.
y:/2x-x2'
,?
ll
Fi g. 6
La mitad superior del crculo unitario tangente al eje y en el origen
(Fig. 6) es la grfica de y =.J 2x x \
Como
~
dx
1-x
i gr
encontramos que
Z
=y - X
o bien
X
1 - X
=Jh'
2z 2
1 + z2
Leibniz entonces aplica la frmula de transmutacin para calcular el rea un

cua rto de crculo como sigue:
73
72
[por (17}]
-+ [
o x dz ) ]
1
1 + (1 -
{ver Fig.7)
-11
z2 dz
1 +
z2
(serie geomtrica)
=1
e-- z3
-i- z + -i- z
5
+ ... ]~
origen
11
-4-
1--1-+_1___1_+
3
5
7
ignorando la cuestin de convergencia cuando z
= l.
rea un
:.
ll
Fi g. 7
(integraci6n
trmino a trmino)
74
A Leibniz le atrajo la comparaci6n entre la serie
l.""3+~ + 9.11 +
- - - - - - -
(19)
y la serie de Mercator en la forma
_l
1og 2 - 4
1
1
1
1
(1 - -2- + -3- - -4- + -5- -
1
1
= (4
- -s-)
+ )
1
1
1
1
+ (--z-- - ~) + ("21) - ~) + ....
lag 2 = ---1_ + _1_ + __1_ _ + ...

2'4
68
1012
(20)
Otro logro importante del mtodo de transmutacin fue la cuadratura de

un segmento cualquiera de cicloide (el primer problema del concurso de Pas
cal). La figura 8 muestra la mitad de un arco de cicloide generado por un
crculo de radio a rodando a lo largo de la lnea vertical x = 2a. La longi
tud y de la ordenada AQ de un punto cualquiera Q de la cicloide, est~ dada
por
y ='u + s
donde u =,)2ax - x2' es la longitud de la ordenada AP del correspondiente
punto P del cfrculo generador, y s es la longitud del arco circular OP. E~
to es, la longitud del segmento PQ es igual a la del arco OP, (Probarlo!).
75
La semejanza del tringulo caracterfstico del cfrculo
el tringulo
ABP implica que:
~
dx
= a-x
_EL_
=~
_iL = __
dx
asi que
dx
dx
entonces
z Y x
,,
~ _iL
dx
2a u
.2x; x2
(u + 1) ..
(u
~o;----------..1..-,._
_ _ _ _ _ _A
_____________...,__
2a __
Fig. 8
1) u 1
76
El teorema de transmutaci6n da entonces
l"\dx= J:1..dx =2 ydx- xy

1
1 1
- - - - - -
- (21)
ta.
de
Chi
De donde
1
Pero restando el
ABP del sector circular OBP nos da:
tri~ngulo
,.,
.l
niz
te
log
ter1
res
val e
tesi
una
piez
se sigue que
}oxSl dx
=aU
(a
X )
i
(22)
Finalmente, el rea del segmento de cicloide en el intervalo [O,x 1 ]

es, de (21) y (22)
usa ne
serva
obvio''
u =O' l
s =1Ta.
Por eJemplo, con x1 = 2a' yl =1a' l
La frmula (23)
da 3~a 2 /2 para el rea del medio arco de cicloide mostrado en la figura 8.
76
77
!l,4
)
INVENCION DEL CALCULO ANALITICO
Leibniz relat la invencin de su clculo analtico en una serie de no

tas aisladas que escribi durante finales de octubre y principios de noviembre
de 1675. Nos referiremos. a la traduccin al ingls de estas notas hechas por
Chil d.
Dada una curva descrita en trminos de su abscisa y de su ordenada, Lei.Q.

niz contempla una sucesin infinita de valores lde y asociada a la correspondie_!!
te sucesin de valores de x. La sucesin de ordenadas es de alguna manera an!
loga a una sucesin ordinaria de nmeros, y las abscisas (como subndices) de
termina el orden de esta sucesin. Sin embargo, la diferencia entre dos valQ_
res sucesivos de y, se supone infinitesimal, o 11 despreciable 11 comparada con los
valores mismos de y.
Al principio Liebniz us. la letra 11 e11 para denotar la diferenciainfini
tesimal entre dos valores sucesivos de y y design las sumas por 11 0 mn11 , como
una abreviatura del latn omnia. Entonces, en el manuscrito de octubre 29, em
pieza con su resultado
y2 = f y dy escrito en forma:
----,,r-2
~2)
omn.
2
=.
omn. --~-- _f__

omn. (!
a
- - - - - - - - - - (24)
usando barras en lugar de parentesis e incluyendo la constante a = 1 para

servar la homogeneidad dimensional. As que (24) significa:
Leibniz resalta que "este es un teorema . muy fino,

obvio 11 Continuando dice:
3)
(23)
a 8.
11
pr~
no es, para nada,
0tro teorema del mismo tipo es:

omn . x J.. = x omn R - omn omn ).
- - - - - (25)
donde J.._ es un trmino de 1a progres i 6n (de
diferencias), y x es el nmero que expresa
la posicin u orden del_.eque le corresponde;
o x es el nmero ordinal y.J.. es la cosa ar
denada 11
78
Despus habla de sucesiones de diferencias de ordenadas.

(25) viene a ser:
jY dx
= xy -
En estas primeras notas, Leibniz a menudo 1escriba

ro si trataba de
dy o
dx .
dejy
jY
La ecuaci6n
y, sin dejar cla
Es realmente en este punto de la discusin que introduce el smbolo de

integral:
11
Ser til escribir
f = omn. l, o
por OMN., as que
i' s. As:
1 suma de
~I2 =ff J-ffxl = Je- - jjf

11
(26)
Y agrega que todos estos teoremas son ciertos por las series en las que las
diferencias de los trminos tienen con los trminos mismos unaraz6n que es
menor que cualquier cantidad asignable (es decir, es infinitesimal).
Habiendo introducido el smbolo J(evidentemente una S alargaga de
suma"), procedi a investigar sus reglas de operacin. Por ejemplo, con
i= dx en la primera de las ecuaciones (26), recobra
11
11
f
Con
dx::: - 2-
1 = xdx en la segunda de las ecuaciones (26), obtiene

/x 2 dx = x
J xdx j (Jxdx)
= X ,.-2x2 -
x22
79
;a;:
::.:c i se sigue que
Realmente, en el manuscrito de octubre 29, Leibniz escribe~ = y/d,

la cual se transforma en el ahora familiar dy, tres das despus en su m2_
nuscrito de noviembre 1 . La notacin de diferencia y/d inicial, apar~
ce en su discusin dei problema inverso de la tangente:
1
r.
11
[''
t
~
r.
I'
'
JJ..
Dada), y su relacin con x, encontrar

Esto se obtiene a partir del clculo contrario
es decir, supng~se que
= ya.
Sea ) = ya/d.
Entonces, a medida que
se incrementa, d di~
minuye las dimensiones., PeroJ significa una su
ma y d una diferencia. Se la y dada, podemos
siempre encontrar y/d o ) , esto es, la dif~
rencia de y's. De aqu una ecuacin puede trans
formarse en otra
J)
11
En el manuscrito de noviembre 11, Leibniz propone las preguntas si

d(uv) = (du) (dv) y si d(v/u) = (dv)/(du). Su respuesta negativa no es
ms que:
d(x 2 ) = (x + dx) 2
x2 = 2x dx + ( dx) 2 = 2x dx
ignorando la infinitesimal de orden superior, mientras
(dx) (dx) = (x + dx - x) (x + dx - x) = (dx) 2
En este tiempo Leibniz estaba todava investigando sobre las reglas
correctas de producto y cociente. No obstante, l pudo ya usar su clc.!!_
lo rudimentario para resolver problemas geomtricos no-triviales. -Enco.!l
trar la curva y = f(x) cuya subnormal ~ es inversamente proporcional a su
ordenada, es decir
--J - _b_
y
Empieza con su resultado previo
-Vdx =
[f 6 rmu l a {13 ) ]
Y2
La aplicacin del operador inverso d da
sustituyendo \) = b/y obtenemos

-
b
y
dx =y dy
g
Ct
b dx = y2dy
su
as que
ay
es la ecuaci6n de la curva pedida. Despus, procede a checar su result~
do usando 1a regla de 1a tangente de Sl use, verificando en un prob 1ema no
trivial, la validez de su clculo.
Por julio de 1676, Leibniz consistentemente inclufa la diferencial
bajo e1 signo de integral. En un manuscrito fechado en noviembre de 1676,
establece claramente las reglas para la integracin y la diferenciacin
de potencias
que e
xe+l
e + 1
as
con e no necesariamente un entero positivo. Y agrega la importante ob~
servaci6n de que 11 este razonamiento es general y no depende de cual pueda
ser la progresin de x 1 s 11 Esta es una forma de decir que x puede ser
una funcin de la variable independiente, y no slo la variable indepe~
diente misma. Esto generalmente hace posible el mtodo de sustitucin por
composiciones diferenciales de funciones (es decir, lo que hoy llamamos la
regla de la cadena).
de ac
Leibn
proba
81
x "' a + bz + cz 2
'J
dR = _
d_x_
rix
'I
::{}_..
= (b+ 2.c::)
dz.
se sigue que
d a+ bz + cz 2
(b+2cz)dz
2 ~a + bz + cz 2 r
1
Anteriormente, Leibniz haba aceptado la regla de Sluse de la ta.!!_

gente sin demostracin. En el manuscrito de noviembre de 1676 demuestra
cmo derivarla de su clculo. Por ejemplo, dada
1
ay 2 + byx + cx 2 + fx + gy + h
sust i tuye x por x + dx
y po r
y~
O - - - - - - (27)
dy , obteniendo
ay 2 + 2aydy + a ( dy) 2 + byx + bydx + bxdy + bdxdy + ex 2 + 2cxdx + e (dx) 2 + fx +

+ f dx + gy + gdy + h
=O
A partir de (27) y asumiendo que

a ( dy) 2 + b dx dy + e ( dx) 2 = O
queda
l
1
2ay dy + by dx + bx dy + 2cx dx + f dx + g dy = O
as
~=
dx
by + 2cx + f
2ay + bx + g
(Jz/ (Jx
(Jz/ ClY
de acuerdo con la regla de Sluse.

En un manuscrito fechado 11 de julio de 1677, en una revisin de ste,
Leibniz establece y demuestra las reglas del producto y el cociente. Para
probar que
d ( xy) = x dy + y dx,
...
"
82
escribe
d(xy) = (x + dx) (y+ dy) - xy
e
dy + y dx + dx dy ,
y observa que la omi si 6n de 1a cantidad dx dy, que es infinitamente pequ~

a en comparaci6n con el resto, porque se supone que dx y dy son infini
tamente pequeas, quedar x dy + y dx".
Para mostrar que
11
dy - y dx
d _L :::
X
d _L:::
X
y + dy
x2
escribe
X
+ dx
.. _L :::
dy - y dx
x2 + x dx
"lo que se transforma (si escribimos x 2 en lugar de x 2 + xdx, ya que

xdx puede omitirse porque es infinitamente pequeo en comparacin con
x2 ) en (xdy- ydx) /x 2 11
Leibniz fue cuidadoso en verificar cualquier posible concordancia e~
tre los resultados de su clculo analftico u operacional y los resultados
de los argumento~ geomtricos familiares. Por ejemplo, not que la regla
del producto d(xy) = x dy + y dx est de acuerdo con la adicin de reas de
la figura 9.
---------------
e
V
'
la
y=
con
Fi g. 9
83
82
Jx + J
dy
An~logamente,
y dx xy
"
la suma de momentos alrededor de los ejes x Y y,
respectivamente, da
pequ!:_
fini
+y 2 dx + /xydy
xy 2
Sin embargo. como resC11t en l a ."li is to r 1a", "el
sto sin re ferirse a ni nguna f igura, porque
t ambin muestra
= xy dx +
x2dy 11
c~lculo
d(x 2y)
En el manuscrito revisado de 1677, se hace explcito el papel del trj_

~ngu lo caracterstico infinitesimal en el nuevo clculo.
Una curva es aho
ra n polgono con un nmero infinito de ngulos y lados infinitesimales.
: el emento de longitud de arco ds es un lado de este polgono de infinitos
lados - un segmento de recta infinitesimal que une dos vrtices adyacentes,
as
dx ,
de
donde dx y dy son las diferencias de las coordenadas x y y de estos dos
vrtices adyacentes.
arco est dada
As, para la parbola y
s =
J =JJ
ds
x2
la longitud de
1 + x 21 dx
la rectificaci6n de esta parbola depende de la cuadratura de la hiprbola
y=Jl
+ x2 '
En este manuscrito la integral /ydx est claramente identificada

con una suma de rectngulos infinitesimales de altura y y ancho dx.
Refi
84
rindose a la figura 10, Leibniz dice:

11
Represento e 1 rea de una figura por 1a

suma de todos los rectngulos formados
con las ordenadas y las diferencias de
abscisas, i.e., por
Porque los
do
ne
p~
queos tringulos C1D1C2 , C2D2C3 , etc.

como son infinitamente pequeos compar~
dos con dichos rectngulos, pueden ser
omitidos sin riesgo; y asf representado
en mi clculo el rea de las figuras por
y dx o los rectngulos formados por ca
as 1
da y y la dx corres'pondiente".
sup1
tone
a pr
la e
sati
tan te
ll
I I.5
Fi g. 10
A continuacin, Leibniz introduce lo que hoy llamaramos el toerema

fundamental de 1 clculo 11 nosotros, ahora remontndonos a alturas' may.Q_
res, obtenemos el rea de una figura de su sumatriz o cuadratrfz". Dada
aparee
Sourc
E
mfnimos
85
84
una curva con ordenada z, cuya rea se busca, supongamos que es posible
encontra r una curva con ordenada y ta 1 que
_iL
dx
z
a
..
..;a es una constante (probablemente includa para conservar la

r.eidad dimensiona 1 ) .
Entonces
homog~
z dx
=i a dy
1
1
1
=~
que e1
rea bajo 1a cu rva or ig ina 1 es
jz dx
=a
dy = ay
- - - - - - - - - - - (28)
'
suponiendo (como lo hace Leibniz) que la curva y pasa por el origen. En
tonces los problemas de cuadratura se reducen, en el clculo de Leibniz,
a problemas i nver so de t angente. Es decir, ~ere encentrar el rea bcja
1 ~- -- _ - . -;;_
-- ~-....
.
:- -~'!
- -;;.- .-_=-
--
=----~
-::..--=- -- - ~
- =.J"T'c.. -n--- - ....~
~ -= ""'' __, , - ::..
.a:.
1
_:.... ' ::
y::.
-::~..
-.:::i.n?-t-~
sa:1sfga l a conai ci n:
~~s ~a~ao ~ l
brea soore [o,a] del

t ante a = 1 en (28) se sigue que
f:
~rea
sobre [o ,b] y haci endo l a cons
dx = y(b) - y(a)
II.5
LA PRIMERA PUBLICACION DEL CALCULO
El primer artculo sobre el clculo diferencial publicado por Leibniz

apareci en 1684 en el peridico de Leipzig "Acta Eruditorum 11 (Ver Struiks
Source book, pgs. 272-280).
Este primer artculo tena el ttulo 11 Un nuevo mtodo para mximos y
mnimos as como para tangentes, el cual no es impedido ni por cantidades
86
fraccionarias ni por irracionales, y un notable tipo de clculo para sto 11

Las diferencias se introducen sin muchas indicaciones de consideraciones
infinitesimales que haban sido su motivacin.
Dado un nmero arbitrario dx, dy se define como un nmero tal que el
cociente dy/dx es igual a la inclinacin de la recta tangente. Para los
criterios actuales, esto no es malo, excepto que no se da una definicin
real de recta tangente - "Debemos slo tener en mente que encontrar una ta~
gente significa trazar una recia que una dos puntos de la curva infinitamen
te cercanos, o que sea la continuacin del lado de un polgono con un nme
ro infinito de ngulos, el cual para nosotros toma el lugar de la curva".
Las reglas mecnicas para el clculo de diferenciales de potencias,
productos y cocientes se establecen sin ninguna explicacin de su fuente.
Se apunta que dv es positiva cuando la ordenada v crece al crecer x, mie~
tras que dv es negativa cuando v decn:ce. Como "ninguno de estos casos p~
sa ... cuando v ni crece ni decrece, sino es estacionaria", la condicin n~
cesara dv = O para un mximo o un mnimo, corresponde a la recta tangente
horizontal. La condicin necesaria d(dv) = O para un punto de inflexin sa
explica de la misma forma.
1U2
Beau1
nada
curva
Fi g. 11
Leibni:;
dx .. b.
87
Como una primera aplicacin de su mtodo de mximos y mfnimos, Le~

niz resuelve los siguientes problemas.
"Sean dos puntos C y E, (Fig. 11) y una recta SS en el mismo plano.
Se requiere encontrar un punto F en SS tal que cuando E y C se unan con F
la suma del rectngulo (producto) de CF y una recta dada h y el rectngulo
de FE y una recta dada r sea tan pequea como sea posible".
Con la notacin indi~ada en la figura 11 l~ cantidad a ser minimiza
da es:
1
dw ' = h
aplicando la condicin dw
J(p - x)
+ c2 '
l r Jx
+ e2 '
O, llegamos a que
sena
sen s
( iprobarlo!)
Leibniz interpreta esta resultado como la ley de la refraccin de la

luz.
11
Y este es slo el principio de mucha ms sublime

Geometra, concerniente a aun los ms difciles
y ms bellos problemas de matemticas aplicadas,
los cuales sin nuestro clculo diferencial o al
go similar, nadie los podra atacar tan fcil mente".
El artculo de 1684 concluye con la solucin de un problema de De

Be aune que Descartes no haba sido capaz de resolver - encontrar la arde
nada w de una curva cuya subtangente z es una constante, z = a. Para tal
curva (Fig. 12),
dw
_ w = _l!_
a
crx-T
o
w =a~
dx
(29)
Leibniz considera una sucesin de valores de x con diferencias constantes

dx = b. Entonces
l
J''
'
.
88
'
.K
dw
= _b_
a
,.
?;
ll
Fig. 12
j .
,.
'
As que la correspondiente sucesi6n de ordenadas w es proporcional a

su sucesi6n de diferencias. Conociendo que esta es la propiedad carac~r~
tica de la progresi6n geomtrica, concluye que "si la x forma una progre
sin aritmtica, entonces w formar una progresin geomtrica. En otras pa
labras, si los w son nameros, las x deben ser logaritmos, asf que (la curu
deseada) es logartmica".
La integral y el smbolo
aparecieron por primera vez impresos en un
artculo publicado por Leibniz en el "Acta Eruditorum 11 de 1686, donde pr~
sent el resultado expresado en la ecuacin (13). El teorema fundamental
del clculo, con la prueba discutida en la seccin anterior, apareci en el
"Acta Eruditorum 11 de 1693.
en
su
j !
89
11.6
DIFERENCIALES DE ORDEN SUPERIOR
Hemos visto que el clculo infinitesimal de Leibniz tiene sus rafees

en una cierta extrapolacin lgica - de los conceptos simples de sucesi.Q.
nes de sumas y diferencias, para sucesiones ordinarias de nmero, al caso
de sucesiones de variables asociadas a la curva geomtrica. La curva es
contemplada como un polfgono de un nmero infinito de ngulos con infinito
nmero de lados infinitesimales, cada uno de lus cuales coincide con una
recta tangente a la curv~. Las sucesiones b~icas de variables asociadas
a la curva son las sucesiones de abscisas x y ordenadas y de los infinitos
vrtices del polfgono.
La diferencia de dos valores sucesivos de x es la diferencial dx, Y
anlogamente para dy. Se supone que las cantidades dx y dy no son cero si
no incomparablemente pequeas 1 y entonces despreciables, con respecto a los
valores de las variables x y y. Anlogamente, se asume que el producto de
diferenciales, como (dx) (dy) o (dx)2, se vuelve despreciable en comparacin
con las diferenciales dx y dy. Sobre la base de este supuesto, tomado como
regla operacional, se derivan las reglas usuales de derivacin.
Es importante notar que las diferenciales dx son cantidades fijas di~
tintas de cero; no son variables que se aproximan a cero ni cantidades de~
tinadas a, eventualmente, aproximarse a cero. Hay realmente una sucesin
de diferenciales dx (o dy) asociada a la curva - es simplemente la sucesin
de diferencias de la sucesin de abscisas x (u ordenadas y). Esta sucesin
de diferencias de nuevo tiene una sucesin de diferencias cuyos elementos
son diferenciales de segundo orden:
1
un
el
d ( dx) = d dx = d2 x
Anlogamente, d2 y es la diferencia de diferencias sucesivas de valo
res de y. Tomando diferencias repetfdamente, se obtienen las diferencia
les de .orden superior
Se supone que d2y es incomparablemente pequeo con respecto a dy y,
en general dky es incomparablemente pequea con respecto a dk-ly. Adems,
su supone que la diferencial de k-sirno orden de dky es del mismo orden de
li
90
magnitud que una k-sima potencia (dx)k de una diferencial de primer orden,
en el mismo sentido el cociente dKy/(dx)k es un nmero real (excepto en
casos singulares). En la base de este supuesto, se pueden usar las reglas
de producto y cociente para calcular diferenciales de diferenciales. Por
ejemplo,
d (x dy) = ( dx) ( dy) + X d2 y
. d2(xn)
d ( nx n-1 dx )
= n(n d(_Ey-)
dx
1) xn- 2(dx) 2 + nxn-ld 2x
(d 2 y) (dx) - ( d2
(dx) 2
X)
(dy)
- - - -
(30)
(31)
En los clculos leibnizianos con diferenciales, la eleccin de x c.2_

mo la variable independiente fue afectada por la eleccin de la sucesin
original de los valores x o abscisas como una progresin aritmtica, as
que dx es constante y entonces d2x = O. Ntese que con d2x = O, las frmu
las (30) y (31) quedan:
d(_.s!y_)
dx
= d2 y
dx2
de lo cual se sigue que:
d(dy/dx)
dx
91
n,
.s
En un problema donde era ms indicado la eleccin de y como variable

1ndependiente, 1a suces i 6n de ordenadas 11 y 11 (mejor que 1a de abscisas 11 x11 )
fue tomada como una progresin aritmtica, as que d2 y= O (en lugar de
d2 x= O). Esta eleccin fue referida como la 11 especificacin de la progr~
si6n de variables 11 (ver artculo de Bos pgs. 25-35 para una discusin de
las consecuencias de esta eleccin). En particular, esta libertad de ele.f_
c1n fue la base para el mtodo de integracin por sustitucin. Por ejem
plo, si la sucesin de abscisas x se tomo como una, sucesin de cuadrados,
uno tiene .la sustitucin x =: t 2 , dx = 2tdt donde: tes una nueva variable
1ndepend1ente con d2 t = O. Como Leibniz mismo dijo, 11 de esta manera puedo
transformar la cuadratura dada en otras de infinitas maneras, y entonces
encontrar una por med o de 1a otra 11
Para ilustrar las aplicaciones geomtricas de las diferenciales de
orden superior, inclumos la deduc~in de John Bernoulli de una frmula p~
ra el radio de curvatura en un punto de una curva (ver Bos pgs. 36-37).
los radios 00 y BD en la figura 13 son perpendiculares a la curva AB y se
lntersectan en el centro de curvatura D. El radio de curvatura en B es
r = BD y la diferencial de longitud de arco es ds = 80. Del hecho que el
SHJ es semejante al tringulo caracterstico, se sigue que:
1
O)
1)
'
AH = x + y ~
dx
tornando x como la variable independiente, as que d2 x =O se sigue que GH,

la diferencial de AH, est dada por:
GH
= d(AH) = d(x
GH
= dx
+ y
~~
( dy) 2 + y d2 y
dx
(32)
Ahora, por la semejanza de tringulos DGH y DCB tenemos la propor~In
BC
_ BD
GH-HD
(33)
92
'
en donde
"
~ .<'
GC -
J
1
(dx) 2 + (dy) 2
dx
la
BD = r
HD
'<I
=r
- BH
=r
II.;
y
JI
Fig. 13
Despus de sustituir estos valores y (32) en (33) la ecuacin resul

tante es fcil de resolver
r = -
[(dx)2 + (dy)2 ]3/2 = _ __.._(d_s__,_)_3 _

(dx)(d 2 y)
(dx)(d 2 y)
1
t
93
92
Dividiendo numerador y denominador entre (dx}3 da la f6rmu

1A famil 1ar
r ,. _.._(d_s.._/_dx__,)_3_ _
[d 2 y/dx 2 J
11.7
[1 + (dy/dx) 2 ] 312
[d 2 y/d~]
EL SIGNIFICADO DE LOS INFINITESIMALES DE LEIBNIZ

1
En sus publicaciones del clculo, Leibniz resalt el carcter formal

y rutinario de sus reglas para el clculo y manipulacin de diferenciales
y asegur que la aplicacin correcta de estas reglas de operacin llevarfan
invariablemente a resultados cor'rectos y significativos, aunque el signifj_
cado real de " los infinitesimales que aparecan en los clculos era imprecj_
so. De hecho, lo correcto de los resultados obtenidos haba sido su gua
en la formulacin de sus algoritmos, y haba confirmado su confianza en su
~'.
~
resul
validez operacional.
La tradicin matemtica generalmente atribuye a Leibniz la creencia
en la existencia real de las cantidades infinitesimales - una cantidad in
finite simal es una cantidad que no es cero pero que es menor que cualquier
real positivo - y argumentos a este respecto se encuentran algunas veces en
1as discusiones del "anlisis no-standart 11 del siglo veinte. No obstante,
Leibniz parece no haberse convencido l mismo de la existencia real de los
infinitesimales y, ciertamente, expres sus dudas en algunas ocasiones.
~todos modos, l reconoci que el problema de la existencia de los infi
. nitesimales es independiente del problema de si los clculos con infinite
simales, llevados de acuerdo con las reglas del clculo, llevan a result~
~s correctos.
Consecuentemente, ya sea que los infinitesimales realmente
existan o no, pueden servir como 11 ficciones tiles para abreviar y hablar
universalmente 11 Leibniz di6 un argumento comprensible de este punto de
vista en un manuscrito que no public. probablemente escrito despus de
liOO , como respuesta a las crticas lanzadas en 1694 por el fsico y gem~
tra holands Bernard Nieuwentijdt:
94
~ ~;'
'
'
'
"Si las extensiones (cantidades) infinitas, cada

vez ms y ms grandes, o las infinitamente pequeas, cada vez menores, son consideraciones
legftimas, es un asunto que, admito, est posiblemente abierto a la discusin; pero aquel que
discutiera estos asuntos, no es necesario que
caiga en controversias metafsicas como la composicin del continuo, o hacer qu~ problemas
'
geomtricos 1dependan de l ... Ser suficiente
1
'1
"
't..
e
d
d
r1
'
Sl
fi
si, cuando hablamos de cantidades : infinitamente
grandes (o, ims estrictamente, il~mitadas), o

infinitamente pequeas (es decir, menores que
aquellas que conocemos), se entienda que queremos decir que son, indefinidamente grandes o indefinidamente pequeas, es decir, tan grandes
como quiera o tan pequeas como quiera, as que
el error que cualquiera pueda asignar puede ser
menor que una cierta cantidad fija. Tambin,
como en general aparecer que, cuando es asign~
do un error pequeo, se puede mostrar que debera ser menor, se sigue que el error no es abs_Q_
lutamente nada ... Si alguien desea entender e~
tos (lo infinitamente grande y lo infinitamente
pequeo) como las cosas ltimas o el verdadero
infinito, se puede dar, y que tambin, sin caer
en una controversia acerca de la realidad de ex
tensiones, o de continuos infinitos en general,
o de infinitamente pequeos, aunque piense que
tales cosas son completamente imposibles; ser
suficiente simplemente hacer uso de ellas como
una herramienta que tiene ventajas para propsitos del clculo, as como los algebristas co~
servan races imaginarias con gran ganancia.
Porque contienen un medio manejable de cmputo
as como pueden manifiestamente ser verificadas
en cada caso de una forma rigurosa por mtodos
ya establecidos".
ne
bl
to:
ini
c1~
nlO'f
del
tivc
'
95
14
As Leibniz presenta su clculo de infinitesimales como una forma

abre viada del riguroso mtodo de exhauci6n de los griegos, una forma cuyo
lenguaje ms conciso est mejor adoptado para el arte de descubrir. La
base de su argumento es que, dada una igualdad entre dos expresiones que
envuelven diferenciales, que ha sido obtenida descartando diferenciales
de orden superior, podda haber sido establecida rigurosamente (y ms t~
d1osamente ) sustituyendo para cada diferencial la correspondiente d1f!
renc1 a finita, y entonces probar que la diferenci9 entre la expresin r~
sulta nte podra hacerse arbitrariamente pequea e~cogiendo diferencias

fin itas suficientemente peq~ea s.
!
Finalmente, se debe mencionar que Leibniz fue siempre de alguna m2_
nera circunspecto al considerar la existencia real de los inconmensura
bles, esta cautela no fue en general imitada por sus seguidores inmedia
tos (como los herma no s Bernoulli) que indiscriminadamente aceptaron los
'
infinite simales como entes matemticos genuinos. De hecho, esta ignora.!!_
cia de las dudas acerca de los fundamentos del clculo probablemente pr.2_
movieron el rpido desa r rollo de esta disciplina y sus aplicaciones.
'I
11.8
LEIBNIZ
"1
Y NEWTON
Hemos detallado las aportaciones de Newton y Leibniz al desarrollo

del clculo como una disciplina matemtica nueva y coherente. Es instruc
tivo, finalmente, comparar y contrastar sus aportaciones.
La devocin de Leibniz por las ventajas de una notacin apropiada
fue tan sincera que no podra preguntarse si invent el clculo o simpl~
mente un sistema de notacin particularmente acertado. Por supuesto, la
respuesta es que fue ambas cosas; de hecho, su notacin diferencial e in
tegral captura la esencia de su clculo y hace que la notacin y el con
cepto sean virtualmente inseparables. Newton, por otra parte, estuvo me
nos interesado en los asuntos de la notacin y no le di6 gran importancia
a que la notacin fuera sugestiva o consistente.

La meta constante de Leibniz fue la formulacin de mtodos gener~
les y algoritmos que pudieran servir para unificar el tratamiento de di
versos problemas. En el trabajo de Newton estuvieron ciertarnent impl..!._
citos los mtodo s generales, pero era evidente su mayor entusiasmo por la
...\
.
96
resolucin de problemas particulares. La diferencia es de nfasis -Leib

niz enfatiza en tcnicas generales que puedan ser aplicadas a problemas
especfficos, en tanto que Newton en resultados concretos que puedan ser g~
neralizados.
Por l que toca al clculo mismo, en el trabajo de Leibniz jugaron un
papel central las diferencias infinitesimales discretas de variables geE_
mtricas, mientras que el concepto fundamental de Newton fue la fluxin o
razn de cambio en el tiempo, basada en ideas intuiti~as de movimiento con
tinuo. Como consecuencia, la notacin y terminologa de Leibniz efectiva
mente disfraza el concepto de lmite, el cual, en cambio, est justamente
explcito en el clculo de Newton.
Para Leibniz, las diferenci ales separadas dx y dy son fundamentE_
les; su razn dy/dx es meramente un cociente con significado geomtrico.
Para Newton, sin embargo, especialmen t e en su ltimo trabajo, la derivada
misma -como razn de fluxiones o la ltima razn de cantidades evanecenteses el centro del asunto. Una segunda derivada es simplemente una fluxin
de una fluxin, cada fluxin envuelve slo infinitesimales de primer orden
as f Newton no necesita los infinitesimales de orden superior de Leibniz.
La integral de Newton es un a integral indefinida, una fluente que
se debe determinar a partir de una fluxin dada; resuelve problemas de
reas y volmenes interpretndolo s como problemas inversos de razn de
cambio. La i ntegra 1 de Leibniz, en contraste, es una suma infinita de di
ferenciales. Por supuesto, ambos finalmente calcular sus integrales por
procesos de antidiferenciacin; la explotacin operacional de la relacin
inversa entre la cuadratura y la tangente fue la contribucin comn de am
bos.
Mientras Leibniz tena slo un inters perifrico en las series infi
nitas (aparte de la contribucin a su motivacin inicial), la expansin
de f unciones en series de potencias fue para Newton una herramienta de tr~
bajo cotidiana que siempre consider parte indispensable de su "mtodo"
de anlisis. Por ejemplo, Newton evaluaba una integral o resolva una
ecuacin diferencial expresando la solucin en trminos de una serie infi
nita, mientras que Leibniz siempre prefiri.una solucin de "forma cerra
da
Hemos visto que el trabajo formativo de Newton en el clculo data de
1
11
t
IT
fu
fu
qu
qUE
in~
ces
do
97
de 1664 a 1666, mientras el perodo anlogo de Leibniz comprende de 1672

a 1676. Sin embargo, la primera publicacin de Leibniz sobre clculo
apareci en 1684 y 1686 (sus artculos en "Acta Eruditorum"), mientras
que Newton, aunque haba mostrado sus manuscritos a sus colegas de lngl2_
terra, no public nada sobre el clculo hasta sus "Principia" de 1687 y
su 0ptica de 1704 (con "De Quadratura" como apndice matemtico).
Empezando los 1690 1 s Leibniz cay bajo ataques de los seguidores de
Newton, quienes suponan que haba tomado y usado sugerencias cruciales
(sin el debido crdito a Newton) de las cartas de 1676, y que haba conoc
do el trabaJo de Newton durante su breve visita a Londres en 1673 y en
1676 (aunque l y Newton nunca se conocieron).
Eventualmente, las inf~
rencias se convirtieron en cargos pblicos de plagio. Leibniz en 1711
llam la atencin de la Royal Society de Londres (de la cual l era mie!!!
bro y Newton presidente) para r~mediarlo. La Royal Society form una CQ
misin que lleg en 1712, a una decisin que fue evidentemente manejada
por Newton, de que Leibniz era esencialmente culpable del cargo.
Esta infortunada controversia tuvo menos que ver con las matem~ticas
que con la rivalidad nacionalista entre Inglaterra y los matemHicos de E~
ropa continental. Ningn estudio serio de las investigaciones de Newton
y Leibniz pone en claro que sus respectivas contribuciones fueran descubier
tas independientemente.
Una irona de la victori a " ingles a en la disputa de Newton y Leibniz
fue que los matemticos ingleses, siguie ron con constancia a Newton y t~
futaron los mtodos analticos de Leibniz, efectivamente se cerraron a cual
quier muestra de progreso en matemticas durante el siguiente siglo. Aun
que l as aplicaciones espectaculares de Newton a los proble1nas cientficos
inspiraron mucho del progreso en matemticas en el siglo XVIII, estos ava.!!_
ces vinieron principalmente de manos de los matemticos continentales usa.!!_
do la maquinaria analftica de Leibniz, en lugar de los mtodos de Newton .
11
11
11
l
l
\
98
I I I, LA EPOCA DE EULER
esencia~
El siglo XVIII fue para la matemtica, un perodo de consolidaci6ny

exploracin, basados en los grandes descubrimientos del siglo anterior.
Er
Fue tambin un perfodo de aplicaci6n de los mencionados descubrimientos a

la investigacin de problemas cientfficos. La figura dominante de este~
riodo fue Leonardo Euler (1707-1783). El alcance y la creatividad tanto en
las ma temticas puras como aplicadas exhibidas en su obra, podrfan justifJ.
car e l in cluir a Euler en esa lista tan breve como tradicional -Arqumedes,
Newton, Gauss- de los titanes incomparables de la Matemtica.
La~
1fticas 11
ecua e ion e
tes, suma
I I I. l
EL CONCEPTO DE FUNCION
En su obra Introductio in analysi~ infinitorum (1748), de Euler, el

concepto de funcin desempea un papel preponderante y explcito. A partir
..
completo
aparece n
posterior,
de esta obra, el reconocimiento de las funciones en lugar de las curvas como objeto de estudio (a diferencia de lo que sucede en la obra de Leibniz)
~:r~: ~:~:;::~:~u:: 9::i :::: ~ z::: 6:b~:: 0:n::::::1:ss:ec:::::::n:: ::p:::::::, I'

t
infinitesimal fueron las curvas geomtricas.
Este estudio se realiz bli
t,
camente en el contexto de la geometra cartesiana. Las variables asociadas 1.'

a una curva, en particular, eran cantidades geomtricas -abscisas, ordenadas,". ,
subtangentes, subnormales, longitudes de arco, etc.Las relaciones entre ,:
estas cantidades a menudo se describan mediante ecuaciones, excepto en el , .,.,
II I.2
Fl
En e
garftmicas
en series
te
Eule :
grandes
Noso1
caso de relaciones trascendentes -aquellas que 11 trascendan 11 una descripci6n

basada en ecuaciones algebricas- que se describan en trminos de descri~
ciones verbales de construcciones geomtricas. Es de notar, empero, que~
En e.l
J,ogarftmo d
das estas variables geomtricas estaban concebidas esencialmente como canti.
Hay q1
ron f nterprE
dades (variables) asociadas a la curva en lugar de concebidas como relacio

nadas directamente entre si.
Es interesante notar que las variables asociadas con una curva no se
consideraba que dependiesen de una "variable independiente". Es decir, no
estaba explcito el concepto de funci6n. Una excepcin a ello es el ~studfo
de flux iones de Newton en el cual las variables geomtricas dependen del
tiem po.
Ya en
r.fen do
una
f)Onde de a .
98
99
IY
Sin embargo, en la prctica el punto de vista de Newton sigui6 siendo

esencialmente geomtrico y cinemtico en lugar de .funcional.
En su Introductio, Euler di la siguie nte definicin de funcin:
Una funcin de una cantidad variable es una
expresin analftica formada arbitrariamente
pg_
) en
con esta variable
con nmeros o constantes
i f.:!_
des .
Las operaciones admisibles para Euler, para componer expresiones ana

Hti cas 11 eran las operaciones usuales del lgebra (incluyendo la solucin de
ecuac iones algebraicas) y var i os procesos trascendentes como el tomar lfmi
tes , sumas infinitas productos infinitos, etc. Sobre estas bases, fue tan
wmpleto el proceso de aritmet iza c i6n conseguido que en los Introductio no
el
aparece ningn tipo de figur a s.

posteriores del clculo .
.rt ir
Tampoco aparecen figuras en sus tratados

'
' coli
z)
lC in
111.2
FUtiCION EXPONENCIAL Y FUtKION LOGA RITMICA
En el captulo VII de su Introductio, Euler estudia las funciones lo

lis1s
) s i
ia dilS
::n adas,
nt re
n e1
i pe i n
c ri_e_
ue to
can ti_
ac io
garftmi cas y exponencial.
en series para tales funciones.

Euler acepta, sin asomo de duda, la existencia de nmeros infinitamen
te gra ndes e i nf in i tamen te pequeos.
Nosotros aqu denotaremos
~e: una cantidad infinitesimal
1N: una cantidad infinita (mente grande)
En e.l captulo VI de la multi-editada obra de Euler, l introduce tl
logartmo de x en base a,
le 1
1ogax como e l e xpo nente;_ tal que aY
= x.
Hay que hacer notar que esta e s la primera vez que los logartmos fue
ron interpretados como eXfJLi11entes.
Ya en el captulo VII, observando que a 0
a~=
o se
no
:s tud i o
De su estudio, vamos a enfatizar sus desarrollos
1 + ke
~1endo e una cantidad infinitesimal.
Euler escribe
-----------------------------(!)
Resulta que k es una constante que de
pende de a.
100
E j e r c i c i o:
Interprete k como el
a~
lim
t--o
Dado un nmero (finito) x,
e un
Explique por qu
logea
infinitesimal, N un nmero infinito
X
relacionado as: N = ~
, entonces:
ax
Por (1) tendremos:
(aC)N .
ax = (aS)N = ( 1 +
k~ )N
-----------------------(2)
(l + l><_)N
pu e s
N - -
N
+ N(~) +
N
( ~x )2 + ... (serie binmica)
N(N-1)
2!
Entonces:
ax = l + kX +
1
+-3.1
N(N-1)
N2
2r-
N(N-l)(N-2)
3
N
3X 3 + ...
Como N es infinito, entonces
ax
1 =
N- 1
=1
+ kX +
1
2T
N- 2-=
N
k2 x2 +
por 1o tanto
31 ! k3 X 3 + ....
---(4)
lueg
Sea x
l.
Entonces obtenemos:
a
k2
k3
1 + k + - 2- ,- + :r-- +
-- -------------(5)
Al llegar a este punto Euler introduce el nmero e como el valor de a

para k = 1 :
asf q
101
[
Inmediatamente identifica e como la base de los logarftmos hiperb6lj_
cos y escribe su expansin decimal hasta el vigsimo tercer dfgito:
e= ,718281828459045 ..
De la ecuacin ax
(1 + ~; )N
obtenemos
------------------(6)
que podemos interpretar como ex = 1i m (1 + _x_)n

n
n - .o
De la ecuacin (4) obtenemos:
-------(8)
Pasando
- a los 1oga ritmos, Eul er escribe
1 + Y
= ax = aNC = (1
luego
loga ( 1 + y)
Ne
Entonces
(1 + ~ = (1 + y) l/N
~sf
que
+ kt)N
(l +y)l /N - 1
k
y
se sigue que
-f- [o+ y)l/N
log (1 +y)=
Para k
- 1
---------(9)
= 1 (ie: a = e) se recibe:
\,__1_0_9-(l_+_x)_=_N_[(-1_+_x_)l-/N___
l ]_ ___,\-- --- ----( 10)
que podemos interpretar como

lag (1 + x) = lim
[(l
+ x )l/N - 1
-------------(11)
n -rJJ
En la ecuacin (10) vamos a aplicar el desarrollo binominal
1
(l+x)l/N
1
= 1 +-x +
N
= 1 + _l_
N
(-
1
N
- 1)
X
2!
- 2T
N - 1
x2
N2
3T
( -1- - 1) ( 1- - 2)
3!
~N - 1}(2N N3
l}
t ....
Ne
Hac i endo:
N
= 1.
2N
= 2 etc.
se r ec i be:
2
l og ( 1 + x )
=X
SERIE DE MERCATOR
3
3
ce
r.:
.
!
----------(12q '
co~
102
103
!!I,3
FUNCIONES TRIGONOMETRICAS
En el captulo VIII de su Introductio, Euler desarrolla las funciones

tri gonomtricas como funciones de un ~ngulo central en un crculo unitario.
Luego, expone el famoso teorema (de De Moivre):
(cos x +
Ahora, sea
sen x)n = cos nx +
e un
sen nx
-----------------(15)
infinitesimal y N un nmero infinito. Por (15) tendre
rno s
cos Ne+
sen N6'= (cose+ i sen)N
cos Ne-
sen Ne= ~cose - i sene)N
: 11)
. h.
Sumando y restando estas frmulas tendremos:

cos Ne=
+ [(
cos + i sen
C) N +
( cos
e-
sene)N
J1
------(16)
2)
-
sen NS=* [(cose+ i sene)N - (cose- i sen')NJ
3
-
X ;
Desarrollando mediante el
tos N = co s N~ - . N. ( N e
2!
teorema del binomio en (16) se llega a:
cos N-2~
(., . Sen 2J:'>+
e
1)
Como ' es un infinitesimal,

cos Nt= l _ N(~!l) ~2 +
Sea x = NC.
--(12 )
COS X
= 1 -
N(N-l)(N-2)(N-3) cos N-4't:>, sen 4 ~ - ....

4!
e:
e:
cos ~= 1, sen e.=e luego
N(N-1)(~!2)(N-3)
e 4 - .....
Entonces:
N(N-1)
2!
x2
+ N(N-1) (N-2)(N-3)
4!
~ _
N
~;
=1
COS X
4
+-x-
- - -----------( 17)
4!
2!
Anloga mente encontramos:

x3
sen x
... I
= X - -- +
5!
3!
Il
- - - - -- ------(18)
Eu
, CD
A partir de (16) Euler procede as:

Sea x
ya que sen
= N8'. Entonces,
e =e ,
cos
e = 1.
Recordando
que
se r eci be las frmulas:

cos
sen
e i x + e -ix
- - - - - -- - -- - - --------------(19)
= e
ix
'"
e -ix
2i
- -- - -- - - - -- - - ------------(20) 1.'j,.... .....' '"'

~t
:::-': J'
Ejerc
cios
(1) Pr uebe que log
lim
n-... O
10 .1
105
(2) Obtenga el desarrollo

- ( 17)
log
!! l.4
1 + X
1 - X
(X + _l_
3 X3 + _l_
5 X5 + ... )
DIFERENCIALES DE LAS FUNC IOt~ES ELEMENTALES
-(1 8)
Para el clculo de las diferenciales, una de las tcnicas que emple

Eu ler fue descartar ,todos los infinitesimales de orden superior (dx)2, (dx)3, ..
(D
Por ejemplo, si
= xn , entonces
dy = (x + dx)n - xn
= nxn-l dx +
nx n-1
~ n (n-1) xn-Z (dx) 2
+ ....
dx
Para la regla del producto procede de la forma usual:

d(pq) = (p + dp) (q + dq) - pq
=
---( 19)
---(20)
pdq + qdp +~
= pdq + qdp
Para obtener la regla del cociente, primero desarrolla

ser ie geomtrica:
1
q+dq
como una
.,
~"
..
'~
1
q + dq
= _l_( 1 - _j_g_ +
1
1 + (dq/g)
q
q
= _l_ -
j ~ -~
q
~-=-q2
-)
...
(dg) 2
q3
q \
Entonces:
d(-p-)
q
= P + dP
_ _P_
q + dq
= (p
dp) [-1- _ _j_g_

q
q2
-pqdq + g2dp
q3
j
=
-pdq + qdp
'q 2
Para hallar la diferencial de logaritmo:

d(log x)
r]
og (X + dx) - ] og X
= log (1
=
= -dx
X
~)
X
Aplicando serie de log (1 + x):
-+ft:
106
107
Veamos otra deduccin de la diferencial

Sabemos que log x =
Entonces
ex~-l
d(log x)
d(log x):
dx
= -----
L~ e
X
dx
pero xc = 1, luego d(log x) - -dxX
La diferencial de la ex;ionencial.
= ex+dx
Q)
ex (edx - 1)
ex (dx
,.
dx
Diferencial de sen x, cos x
d(sen x)
,,
+~+,::+ ...
sen (x + dx) - sen x
!
=
sen x cos dx + sen dx cos x - sen x
sen x (cos dx - 1) + cos x (sen dx)
(-~+;f. . )+
sen x
= COS X ' dX
CDS X (dx
fa+?
111,5 DESCUBRIMIENTO POR ANA LOGIA (Un ejemplo)

Aunque Jacobo Bernoull i (1654-1705), contemporneo de Newton y Le lbniJ
pudo calcular la suma de varias series infinitas no tuvo xito al intentar
calcular
1 + _l_ + _l_ + _ l_ +
4
9
n2
Er
El problema lleg a odos de Euler. La analoga,

una solucin extremadamente ingeniosa:
Euler considera la ec uacin
sen x
de
Utilizando el desarrollo en serie de sen x se tiene:

3
x7
x-3! + -sr-7! +
X
-----------------(1)
rf
+J'
El "polinomio" del lado izquierdo tiene grado infinito por lo tanto,

un nmero infinito de races:
,
o, n, -n, zn, -zn, .... ,
nn' -nll, ....
Dividiendo entre x en (1) se tiene:
=o
----------~-------(2)
cuyas races son:

I1, -
n , zn, -2n, ... , nn, -nn, ....
El "polinomio" que ap arece en (2) es de grado "par".

de l as r aces de un polin omio de grado par , y de signos alternados]
Si b0 - b1x2 + bzX4
O tiene 2n races
,,,+
entonces
_ l_ +
{3 2
2
'.
+ _l_ )
{3 2
n
qu
109
100
Este es el caso del "polinomio"

y Lei bni?,
sen x
X
ntenta r
Entonces
bl -
-fi.-
-r-:2- +
-(-~n-)2- + -(~-n-)2-
+ .....
cons eguir
l
de manera que:
11. .
n2
-6- - 1
+ _1_ + _1_ +
_1_
4
9
+ n2
+
--- -(1)
que es el extraodinario resultado, obtenido por Euler!
tanto.
::>
---- -(2)
abe Euler
?
, disti nta1
'
'->~
M!PfKJ1. t .
110
IV.
LA
11
TEORIA DE LAS FUNCIONES ANALITICAS 11 DE LAGRANGE
mi
(*)
plt
- DERIVACION DE LA FORMULA DE TAYLOR-,
En su
11
Teora de las Funciones Analticas 11 publicada en 1797, Joseph
Louis Lagrange [1736-1813], la otra gran fi~ura (con Euler) de la matem~

ca del siglo XVIII, present un cla r o desarrollo del clculo que intentaba
eliminar toda referencia a diferenciales, infinitesimales y conceptos de
lmite. En el Struik's Source book (pp 388-391) se incluye un breve extrae
to de su trabajo.
El nuevo punto de vista de Lagrange estaba basado en una expansin
f (x
en serie de potencias de una funcin dada f(x). Si x se reemplaza por

x + i entonces 11 por la teora de series 11 como l dice, obtenemos:
f(x + i)
f(x) +pi + qi 2 + ri 3 + ....

'
- - - -(1)
donde los coeficientes p, q, r,

son nuevas funciones de x, derivadas
(de algun modo que se debe determinar) de la funcin original f(x). Expa~
siones ad hoc de este tipo son vlidas para funciones familiares particul!
res y Lagrange se propone probar que, excepto para valores particulares de
~~s ~:~:a:u::; ~~
' f(x
-i'
(
r'; . :
~:
,.:
(
se puede de sarro 11 ar como (1) , con s 1o potencias enteras
Hoy podramos decir que, si f(x + i) se representa por la serie de P2

tencias convergente (1) en una vecindad de i
O, entonces fes c:inaltica
Campa
f\i:. '
:~a;eo:;ae::e,:::::::se!n!::::c:: ~:g::n:: ;~:::o::st:~:::r::~::;~o ~= ~

Cfa(uxc)hy ep::~tx: sequael n hay funciones si mp 1es como:
J.~'
=
son analticas.
~
El primer coeficiente de (1), para el cual Lagrange intr'oduce la not!, li:
,
0
,,
"
cin p(x) = f 1 (x), se llama la ~rimera funcin derivada ~e f(x). Por su

puesto esto vendr a ser la derivada de f(x); de hecho, este es el origen
wl.:... .
histrico de la notacin f 1 (x) para la derivada de f(x), as como del tr
{ ..
Do nde
me nte
.':' ..
'j,1'
'
'
que es
F
( * ) Traduccin del libro "The Historical Development of the Calculus" de
C. H. Ed wards, Jr.
Springer-Verlag, New York, Inc. 1979.
Captulo X,
mie nto
I
1
;
'
<
...
:~'.
'r.
~
110
111
,.
....
mino 11 derivada 11
Para identificar los coeficientes en (1), Lagrange reem

+ O, obteniendo:
pla za i por
f (X +
f(x +
O) =
+o)
f (X ) + p (
O)
+ q (i +
O )2
+ r ( +
)3 + ...
= f(x) + pi + qi 2 + ri 3 + si 4 +
+ po + 2pio + 3ri 2 o + 4si 3 o
- ( 2)
Despus reemplaza x por x +o en (1) obteniendo:

f (X + i t O)
= f
(X + O) + p (X + O)
= [ f (X)
X)O
+ q(x + o)
i 2 + r(x + o)
.J
+ ...
+ ... ] + [ p ( X ) + p 1 ( X ) O + ... ] i +
+ [q(x) + q'(x) o+ ... ] i 2 +
f(x + i +o)
f(x) + pi + qi 2 + ri 3 + ....
+ p' i o + q' i 2 o + r' i 3 o + .. .
- - - - - - - - - - - - ( 3)
Compa rando los coeficientes de (2) y (3) obtenemos:

q(x)
r (X) =
s(x)
:e 1a not!_
Por su
1 orige n
del tr
+
i
p'(x)
q 1 (X) -
-t-
=--}- r'(x) = 1!
f"(x),
f"' (X) ,
f( 4 ) (x), etc.
tiQnde f 11 (x) denota la funcin primera derivada de f' (x), etc.

nente la serie (1) viene a ser:
f(x + i)
~Je
f(x) + f'(x)i +
f" (x) i 2
2!
+ _l_"_'LxJ_J_:.__ +
3!
Consecuente
- -{ 4)
es la serie de Taylor.
Finalmente, Lagrange subraya que se necesita slo un pequeo conoc
Lus" de
tptulo X.
""'
~iento del clculo diferencial para reconocer que las funciones derivadas
112
f' (x), f"(x), f (x), ... , coinciden con las derivadas sucesivas de la fun
cin original f(x). Realmente esta verificacin requiere que sea vlida
la hiptesis de que (1) es diferenciable trmino a trmino con respecto ai.
111
El intento de Lagrange de librar al clculo cualquier rastro de infJ.

nitesimales y lmites fue inevitablemente fallido. No obstante, su libro
sobre clculo incluye varias contribuciones significativas. Por ejemplo,
el trmino residual de la frmula de Taylor hace su primera aparicin en
el captulo VII. La derivacin de Lagrange es equivalente a una que tod!
va se ve hoy en da en los libros de texto de Clculo.
Lagrange empieza sustituyendo x por x - i en (4), obteniendo:
.2
f(x)
Sustituyendo xz por
f(x)
:::
nos da:
f(x - xz) + xzf 1 ( x - xz) +

+
2 2
X Z
2!
f"(
xnzn (n)
xn+l zn+l
f
(x
xz)
+
n!
(n+l)!
f (X) ::: f (X - XZ) + XZ f 1 (X - XZ) +
par
f(x - i) + if'(x - -j) +---h-f"(x - i) + ...
x2 z2
2!
- xz) +
(n+l)
va 1<
(x - xz) + ...
f 11 (x - xz) + ...
f(n) (x - xz) + xn+l R(x,z)
para
- - - - - - - - - (5)
fina
Ntese que R(x ,O) = O. Para una derivacin moderna de la frmula

de Taylor con residuo, nosotros difinirfamos R(x,z) para z t O por medio
de (5) con respecto a z, obten i endo:
Q:::-xf'( x -xz) + xf'(x-xz) - x2 zf"(x-xz) + x2 zf (x-xz)
11
f (n+l) (x - xz) + xn+l R' (x,z)

As, simplificando slo quedan los dos ltimos trminos:
n
R'(x,z)::: -2~ f(n+l) (x - xz)

n!
i-~'
- - - -(6) ~
f (x )
don de
113
112
para la derivada parcial de R(x,z) con respecto a z.
la fun
l ida
Sean M y N los valores mnimo y mximo respectivamente, de
cto a 1.
f(n+l )(x - xz) para z
[0,1].
Entonces (6) da:
e i nfi
1 i bro
< R' (x,z) :S
mplo.
n en
toda
para z E [0,1].
Corno R(x,O) = O, la anti derivada de esta desigualdad da:

Mzn+l
( n+ 1) !
para z E [0,1].
Nzn+l
:$ R(x,z)
:$
(n+l)!
Tomando z = 1 en particular, obtenemos:
(n~l)! ~
R(x,z)' :$
(n+l)!
En este punto Lagrange supone lo que ahora llamamos el teorema del
\'a lor intermedio pa ra concluir qu e

R(x,l) =
f (n+l) (x - xz)
(n+l)!
para alguna
- ( 5)
1 en la ecuacin (5)
fi nalmente tendremos:
lU 1a
r(x ) = f(o ) + f '(o) x +
iedi o
- - (6)
Sustituyendo esta valor con z
[O,l].
~nde
u=X
xz
[o ,
_f_'.'._~-~ - x2
f ( n) 1 o\
f (n+l) ~ xn+l --( 7)
+ ... + ___ __:,_:::__ xn +
(n+1p -n!
114
Por supuesto el trmino final de (7) es la "forma de Lagrange 11 del

t rmino residual.
Lagrange trata expl citarnente slo los casos
partic~
lares n =O, 1, 2, indicando que el resultado general se obtiene de mane

ra anloga. Y, muy adecuadamente, identifica su frmula de Taylor con
residuo como un "nuevo teorema notable por su simplicidad y generalidad 11
Este trabajo de Lagrange fue un clmax adecuado, para el desarrQ
llo del clculo del siglo XVIII.
Di una fundamentacin razonablemente
f irme para la serie de Taylor que haba tipificado el papel central de

los desarrollos de series infinitas en las investigaciones del sigloXVIII,
y al mismo tiempo puntualiz la necesidad del estudio de las propiedades
bsicas de las funciones continuas (mximos-mnimos y propiedades de va
lor interme~io) que se siguieron en el siglo XIX.
V.l
(can
nera
tes.
f6rm
da e:
si6n
prev
nes E
Bernc
surg
que r
tos d
cuerd,
o
cial r
x.
siend
to X d
lugar 1
Eu l er 1
face P
{ ) Trae
C. I
'.
115
114
v. EL cAlcuLo DE ACUERDO A CAUCHY, RIEMANN y WEIERSTRASS
el
( *)
.ne
'/,l FUNCIONE5 Y CONTINUIDAD
d ll
Al
prin~ipio de
su "Introductio", Euler defini una funcin de una
(cantidad) variable como "una expresin analtica formada, de cierta ma
:e
VIl 1,
fo s
'
ne ra, por stf (cantidad) variable y por nmeros o (cantidades)

tes .
Entonce~
consta~
una funcin particular estaba definida en trminos de una
frmula especifica o ecuacin; Euler supona, adems, que una funcin d~

da est definda en todo su "dominio de definicin" por la misma "expr~
sin analtic 11
Esta concepcin estrechamente analtica de funciones, en general
prevaleci en l el clculo del siglo XVIII pero fue cuestionada en discusi.2_
nes en tre EulLr, d'Alembert y Danie'l Bernoulli (1700-1782, hijo de John
Bernoulli) re f erentes a la naturaleza de las "funciones arbitrarias 11 que
surgfan en la integracin de ecuaciones diferenciales parciales, como la
que rep resentf el movimiento de la cuerda vibrante.
Para algunos estrac
tos de sus dcusiones ver Struik Source Book, (pp 351-368).

En un ar tculo de 1747, d'Alembert investig el movimiento de una
cuerda vibranfe estirada entre los puntos x =O
x = L
del eje de las
x. D'Alemberf introdujo una condicin equivalente a la ecuacin diferen

cial pa rcial
( 1)
siendo y(x,t l) el desplazamiento (tranversal) en el tiempo t y en el
pu~
to x de la curda. (Realmente, d'Alembert us la longitud de arcos en

lugar de la variable x , y la notacin diferencial parcial fue dada por
Eu l er va r i os ~ os de s pu s ) . D' A1e mbe r t e nto nc e s o bs e r v6 q ue (1 ) s e s a t i s
face para cua r quier funcin de la forma:
tJ
Traducc i~
c.
del li b ro "The Histor ical De v e lop me nt o f the Ca lculus.'.'._ de

H. Edwr rd s , Jr.
Spring er - Ve r lag , New Yor k Inc. 1 9 7 9 .
Captulo XI.
J:i
y(x,t)
donde
<t>
<t>(x + at) + f(x - at) - - - - - - - - - (2)
f son ''funciones arbitrarias" de una sola variable.
Suponie!!
do que la cuerda se pone en movimiento por una deformacin inicial cuya

grfica es y
==
f(x), al soltarse en t
O, se ve que el movimiento subsi
guiente est descrito por
e
' 1
y(x,t) = ' - 2-
1
f(x + at) + - 2-
f(x - at) - - - - - - (3)
El desacuerdo que surgi 6 se refera al tipo de funci 6n arbitraria
==
f(x) que se podan suponer para representar la forma inicial de la
cuerda. D'Alembert argumentaba que, para aplicar legtimamente las OP!

raciones del clculo, era necesario que cada una de tales funciones fue
ra representada, en cualquier punto, en trminos de una sola ecuacin al

gebraica o trascendente. Este requisito era descrito diciendo que "la
funcin est sujeta a la ley de continuidad de forma".
Euler se opuso diciendo que este requisito es fsicamente irreal
- una cuerda puede ser pulsada de tal manera que su forma inicial sea
descrita por diferentes expresiones analticas en diferentes intervalos.
Por ejemplo, si una cuerda tensa se pone en movimiento desplazando su
punto medio una distancia unidad antes de soltarla en el
entonces su forma inicial est descrita por:
r 2:
y
::;
t+
(L - x)
si
X E
[0, - L
2-J
si
XE
L
[-2-, L]
tiem~o
t =O,
Euler entonces argumento a favor de la inclusin en el anlisis matemt,!,

co de funciones que hoy seran llamadas diferenciables por pedazos", P!
ro a las que l se refera como "mixtas" o "irregulares y discontinuas",
porque correspondan a diferentes funciones 11 cont i nuas 11 (di ferenciables)
en diferentes intervalos. Euler tambin incluy como una funcin
11
tinua 11 una cuya grfica puede ser trazada con el movimiento libre de la
f1
ce
o
ma
al
po
jo1
llG
117
- (2)
mano, tal funcin no estaba sujeta a ninguna
pon i e_!l
surgidas de la controversia de la cuerda vibrante, la
11
continuidad 11 se
refera a la constancia de la expresin analtica de una funcin, ms que

a la conexidad de su grfica (la idea actual de continuidad). De hecho,
cuya
subs i
ley de continuidad 11
Entonces, a finales del siglo XVIII se contemplaban las funciones
~.
11
esencialmente todas las funciones tratadas en el anlisis del siglo XVIII

eran continuas en el sentido actual; la "discontinuidad" entonces se . r~
fera tanto al fracaso para aislar puntos (donde la expresin analtica
cambiaba) de una funcin que era diferenciable (en el sentido moderno),
o a la falta de una expresin analtica (coii:o t;?n el cado de las curva a
. - ( 3)
:rari a
manos libres).
le 1u
tS
OP!
~s
fue
En contraste, el sentido moderno de discontinuidad est ms cercano

al de discontigidad.
11
Esta distincin fue hecha explcita por primera vez
por Louis Arbogast (1759-1803).'
: i 6n a1
~
En 1787 la Academia de St. Peter sburgo ofreci un premio para la me
la
JO r respuesta a la pregunta de que
rea 1
"Si las funciones arbitrarias que uno obtiene por
sea
la integracin de una funcin de tres o ms va-
va l os.
riables representan una curva o una superficie
) su
cualquiera, trascendente a algebraica, mecnica,
discontinua o producida por el movimiento libre

de la mano; a si estas funciones incluyen slo
curvas continuas representadas por una ecuacin
algebraica o trascendente".
En su informe de 1791 que gan el premio, Arbogast escribi:
11
La ley de continuidad consiste en que una cantidad no puede pasar de un estado a otro sin pasar por todos los intermedios que estn sujetos
1tem~ t i
>S 11
p~
a la misma ley. Las funciones algebraicas se

reconocen como continuas porque los diferentes
inuas" ,
.ables)
discon
valores de estas funciones dependen, de una misma forma; de los de la variable; y, suponiendo
que la variable se incrementa continuamente, la
de l a
funcin recibir las variaciones correspondien-
11
tes; pero no pasar de un valor a otro sin tomar
llU
119
rompe tambin cuando las diferentes partes

de una curva no se unen unas con otras ....
Llamaremos a las curvas de esta clase curvas discontiguas, porque sus partes no estan todas unidas, y anlogamente para funciones discontiguas".
Arbogast decidi que las funciones arbitrarias que aparecen en las
so luciones de ecuaciones diferenciales parciales pueden no ser ni contj_
nuas ni contiguas. Sin embargo, como veremos en la prxima seccin, el
argumento crucial de la necesidad de considerar funciones discontinuas
nto juga
en anlisis matemtico fue dado por Joseph Fourier (1768-1830) en la pri

me ra dcada del siglo XIX.
V,2 FOURIER Y LA DISCONTINUI'DAD

El famoso libro de Fourier "Teora analtica del calor" fue publj_
cado en 1822, pero mucho de su contenido es anterior y pertenece a un
1nforme que present a la Academia de Ciencias de Pars en 1807.
En l Fourier desarrolla en una clara teora general el mtodo de
series trigonomtricas que Euler y Bernoulli haban aplicado a casos e~
pec iales aislados en sus trabajos sobre la cuerda vibrante medio siglo
antes.
Un problema tpico en la teora del calor de los que considera Fo~
ri er pregunta por una funci6n u(x,y) de temperatura de un estado estable
en la regi6n O(. x ~ n , y~ O que satisface las condiciones
u (o ,y) = u ( n ,y) = o - - - - - - - - - - - - - - ( 5)
u(x,O)
cJ>
(x)
- - - - - - - - - - - - - - - -
(6)
donde <f>(x) es una funcin dada que define la temperatura ~n la base
oe la regin.
Fourier observa (por ejemplo por separaci6n de variables)
que cada una de las func1one s simple s
= 1,
2, 3, ...
n
IT
satisface las condiciones (4) y (5), y concluye por superposicin (supQ

niendo convergencia, diferenciabilidad trmino a trmino, etc.) que la
funci6n ms general
.o
u(x,y) =
n=l
b e-ny sen nx
n
tambin las cumple, donde b 1 , b2, son constantes arbitrarias. La candi

cin final (6) puede entonces satisfacerse tambin si estas constantes
se escogen de tal manera que
eO
(x ) =
<P
n=l
bn sen nx
X E
(0,I1) - - - - - - - - (7)
Fourier se propone el "de sar rollo de una funcin arbitraria en series

trigo nom t r icas". Su primer procedimiento heurstico para la evaluacin
de las constantes { bn} puede ser esbozado como sigue.
Aqu se supone
que ~ (x) es una funcin impar con serie de Taylor

3
~( x ) = x ~'(O)+ + ~ 111 (0) + + ~( 5 )
(O)+ ...
Sus t ituyendo primero la serie de Taylor para sen nx en el lado derecho

de (7), e igualando entonc e s los coefici entes de potencias iguales en
(7) y (8 ), Fourier obti ene e l conjunto infinito de ecuaciones lineales:
ti 1 (O)
- r/J '" (O)
= bl
=
+ 2b
+ 3b
+ 23 b
+ 33 b
+ 4b
+ 43 b
.. .
Po
- - - - - (8)
la
ba 1
f61
ca1
t t
1nt
rj; ( 5 )
- rj; ( 7)
( O) = b
(O)
+ 25 b
+ 35b
+ 45b
+ ...
7
7
7
bl + 2 b 2 + 3 b 3 + 4 b4 + .. .
121
Para resolver este sistema, Fourier prime ro aproxima b , ... , b
su
primie ndo todos los trminos en las pr i me ras m ecuaciones con subndices
mayores que m (ya que son rn ecuaciones lineales con m incgnitas), y final
mente calcula el lmite de e sta aproximacin cuando m-c0. El resultado
de sto, sin incluir el proceso es
a
a =
n
= (-l)n+l
~(n)
~ " (n) + _1_ ~ (4l (n) n4
1
n6
(6)
(n) + ...
- - - (9)
ond i
Considerando an como una funcin de n, diferenciando dos veces, comparando
los resultados, y final mente reemplazando I1 por x, Fourier obtiene
es
- (7)
La solucin general a esta ecuacin diferencial de segundo orden es:
:s
:ici6n
ne
a n (x) = A cos nx + B sen nx
[x ~(t)
+ (n sen nx)
cos nt dt
( n c os nx )
(8)
b = (-l)n+l
les:
x
o
(t
) sen n t d t.
Po rque A= a n (O)= O (por qu?), se sigue finalmente que

n
:cho
en
j~
11a
-II- n
(n)
2l n~(x) sennxdx - - - - - - - -
(10)
frmula familiar para los coeficientes de Fourier!
Slo despus de prQ_
ba r la eficacia de esta proeza de habilidad tcnica, Fourier seala que la

f6rmula (10) puede ser
11
verificada" por el mtodo ahora usual de multiplj_
car ambos lados de la ecuacin (7) por sen nx y entonces integrar trmino a
trmino de O a l, haciendo uso de la ortogonalidad de la funcin seno en el
intervalo [O,n].
11
Veamos por esto que los coeficientes a,b,c,d,e,f, ...

los cuales entran en la ecuacin
1
- 2- lf(x)=a senx + bsen2x + cscn3x + dscn4x + .. ,

los cuales encontramos formalmente por medio de eli
minaciones sucesivas, son los valores de integrales
definidas expresadas por el trmino general
jsen i x ~ (x) dx, siendo i el nmero del t~rmino cuyo coeficiente se busca.
Esta observaci6n es importante, porque muestra como an funciones enteramente
arbitrarias pueden ser desarrolladas en series de senos de arcos mltiplos. De hecho, si la funci6n
~ (x) se representa por la ordenada variable de una
curva cua 1qui era Cllya abscisa va de x = O a x =TI y
si en la misma parte del eje, se construye la curva trigonomtrica cuya ordenada es y = sen x, es fy
cil representar el valor de cualquier tnnino integral. Debemos suponer que para cada abscisa x, a la
cual le corresponde un vale, de cf> (x), y un valor de
senx,multiplicamos el ltimo valor por el primero,
y en el mismo punto del eje elevamos una ordenada igual al producto ct>(x) sen x. Por esta operacin con".'
tinua se forma una tercera curva, cuyas ordenadas
son aquellas de la curva trigonomtrica, reducidas en
proporcin a las ordenadas de las curvas arbitrarias
~(x). Dado esto, el rea de la curva reducida tomada desde x = O a x = D da el valor exacto
de los coeficientes de sen x; y cualquiera que sea
1a curva dada puede ser 1a que corresponde a cf> (x)
ya sea que podamos asignarle una ecuacin analtica
o que no dependa de ninguna ley regular, es evidente que siempre sirva para reducir de cualquier manera la curva trigonomtrica, as que el rea
de
re
pu
im
</> ( :
r11
Ul
de
des
gen(
ne r
123
122
de la curva reducida tiene, en todos los casos

posibles, un valor definido el cual es el valor
de los coeficientes de sen x en el desarrollo
de 1a fu nc i n .
E1 caso es e 1 rn i s mo con l os si -
guientes coeficientes b o
j <P(x)
sen 2x dx".
Aqu1 Fourier hace la observacin importante que, para permitir el cl

culo de los coeficientes en la serie de Fourier de <P(x), es suficiente te
ne r un 6rea para la reg16n bajo y "-'(x) sen nx (para cada n) que pueda ser
interpolada corno el valor de la integral
'1
.'\
;(x)
sen nx dx.
No es necesa
r1 o que <J>(x) sen nx sea continua y, por tanto, que tenga una integra 1 que
se pueda calcular por anti-diferenciacin. Ms an, Fourier observ que
Si '<j>(x) es continua en [O, l], pero <P(l) f O, entonces la funcin extendi
da a la cual su serie de Fourjer converge (presumiblemente) sobre toda la
rec ta real ser necesariamente discontinua (es decir discontigua) en los
pun tos x que son mltiplos impares de l, porque esta funcin extendida es
impa r con perodo 2 l. Este es el caso de una funcin tan simple como
~(x ) = x. Consecuentemente, la introduccin de tcnicas de series de Fou
rie r, forz esencialmente la consideracin de funciones discontinuas sobre
una fundamentacin igual a la de las continuas y apel por el desarrollo
de una teora de integracin de funciones discontinuas (que apareci poco
despus, como veremos, con Cuachy y Ri emann).
En el captulo final de su libro Fourier esboz una prueba de conve!
gencia de sus series trigonomtricas e incluy la siguiente formulacin
neral del concepto funcional:
"Sobre todo, se debe enfatizar que la funcin f(x),
a la cual se aplica esta prueba, es enteramente
arbitraria, y no sujeta a una ley continua ....
En general, la funcin f(x) representa una sucesin de valores que vienen dados por la abscisa
x, hay un nmero igual de ordenadas f(x) .... No
suponemos estas ordenadas sujetas a una ley 'coman; se suceden unas a otras de una manera arbitraria, y cada una de ellas est dada como si
fuera una cantidad aislada.
-----------
g~
124
Puede seguirse de la naturaleza del problema, o

del anlisis aplicado, que el paso de una orden~
da a la siguiente se afecta de una forma conti-
ba
ta1
ni
ti r
no
nua. Pero corresponden entonces condiciones especiales, y la ecuacin general, por s misma,
es independiente de estas condiciones. Esto se
aplica rigurosamente a funciones discontinuas 11
ca
uno
tin
A pesar del acercamiento de Fourier al concepto moderno de funci6n,

su trabajada definicin de discontinuidad en la prctica real era la del
siglo XVIII (discontinuidad de la forma analtica) -sus funciones fueron
los
como las ms diferenciales por pedazos, con slo un nmero finito de 11 dis
contigidades" en cada intervalo finito.
El primer ejemplo de una funcin 11 genuinamente discontinua 11 , en la
tal
'
que quedaba al descubierto todo el potencial del concepto de funci6n co~

un apareamiento arbitrario, fue dado por Peter J. Dirichlet (1805-1859).
En un artculo de 1829 Dirichlet formul condiciones suficientes para la
un n
in te
duce
Aunq
convergencia de una serie de Fourier y di6 la primera prueba completamen

te rigurosa de tal convergencia.
X e1
mamo:
Al final de su artculo di un ejemplo
si
de una funcin que no satisface las 11 condiciones de Dirichlet 11 : 11 f(x) igual

a determinada constante c cuando la variable x toma un valor racional, e
no pt
igual a otra constante d cuando la variable es irracional
pro pi
11
Esta famosa
funcin es, por supuesto, discontinua en todas partes.
Ej e
una s
V,3
BOLZANO, CAUCHY Y LA CONTINUIDAD

Una formulacin precisa del concepto moderno de continuidad apareci
por primera vez en un folleto publicado (1817), en forma privada, en Praga

por un sacerdote estudioso y solitario de Bohemia: Bernardo Bolzano (1781
1848). Su ttulo anunciaba su propsito: "Prueba puramente analtica
del teorema de que entre dos races que garantizan un resultado opuesto
(en signo), se encuentra al menos una raz real de la ecuacin 11 Es de
cir, Bolzano se propuso dar una "prueba puramente analtica" del teorema
entone
~
t'
1' !!',
.~
..
podemu:
del valor intermedio para las funciones continuas.

Bolzano argument que la prueba geomtrica intuitiva
tinua debe, en algn lado, cruzar una recta que separa sus
>X
~-
----
125
124
basa en una concepcin inadecuada de continuidad.

Para explicar corre~
tamente el concepto de continuidad, dice ~l. se debe entender que el si_g_
nificado de la frase
11
una funcin f(x) varia de acuerdo a la ley de
co~
tinuidad para todos los val ores de x dentro o fuera de ciertos 1 fmi tes,
no es otra cosa ms que si x es cualquiera de estos valores, la difere~
cia f(x + w)- f(x) se puede hacer ms pequea que cualquier. cantidad, si
uno hace w tan pequea como se quiera". En otras palabras, f(x) es con
tinua en un intervalo dado que lim f(x + w) = f(x) para cualquier punto
w--o
: i 6n,
del
~ron
11
di s
la
como
)9) .
1a
1men
npl o
x en el intervalo.
Como un lema crucial, Bolzano afirma que, si Mes una propied~d de
los nmeros reales que no es vlida para todo x, y si existe un nmero u
tal que todos los nmeros x <u cumplen la propiedad M, entonces existe
un nmero mximo U tal que todos los x<U tienen la propiedad M.
En su
intento de prueba por el ahora familiar mtodo de biseccin, Bolzano pr~

duce una "sucesin de Cauchy" {un}"" tendiente a converger a la U deseada.
Aunque l (y ms tarde Cauchy) estableci correctamente lo que ahora
mamos el "criterio ~convergencia ~ Cauchy 11
si, dado
e>
O,
un
Um -
11~
{un}', converge si y slo
para m y n suficientemente grandes], Bolzano
i gua 1
1, e
nos a
no pudo (ni tampoco Cauchy) dar una prueba completa, por la falta de la
propiedad de completez del sistema de los nmeros reales.
Eje r c i c i o:
Usando el lema de Bolzano, probar que, si
{ an}c0, es
una sucesin acotada, montona creciente
an+ 1 s ... :sA,

1reci6
Praga
entonces hay un nmero U tal que 1im
n-i:0
(1 781-
= U.
Supngase que x tiene la propiedad M dado que x > a
:a
;to
Sea
X ={ x 1 a
< x
~ A para a 1gun
para alguna n.
n}
de
podemus encontrar
1a con
se
::} x t
~ U > x para
> existe
x
ta 1 que
u>
por lo tanto
~ U~ A
para todo n.
126
Bolzano aplic el lema anterior para probar la siguiente ~~ralizaci6n

- -del
- teorema de su artculo: Si f(x) y g(x) son funciones continuas
en el intervalo [a,b] con f(a)L g(a) y f(b) '?g(b), entonces f{x) = g(x)
para alguna x en [a,b].
con
en
ci6
cus
E j e r c i c i o . - (Prueba de Bolzano). Supongamos que el nmero r tie

ne la propiedad M de que r ~O o r >O y f(a .+ r) _ g(a + r). Si U es
chy
de e
el mayor nmero tal que r < u para toda r que tiene la propiedad M, demue1
t re que a a + U < b y
f (a + U) = g (a + U).
del
te e
mate
en d
del J
fici<
gor 1
ro ma
chy o
entre
cia u
ro im
dfa.
Parfs,
sumen
---
el
c~l
poner
mo una
127
12 6
al izanuas
= g(x)
r tie
J es
demu es
El folleto de Bolzano no circul6 ampliamente entre los matemctticos

contemporcineos y la extensin de su influencia no es clara. Sin embargo,
en su 11 Curso de anl i si s 11 de 1821, Cauchy esencialmente dupl ic6 la definj_
ci6n de Bolzano y las aplicaciones inmediatas de la continuidad. Una dis
cusin ilteresante (y quiz s controvertida) sobre el hecho de que si Ca.!:!_
chy conoci . los primeros t r abajos de Bolzano se incluye en un artculo
de Grattan-Guinness (Bolzano, Cauchy y el
11
nuevo anlisis de principios
del si gl o XI X) .
Augustin-Lo uis Cauchy (1789-1857) fue la fi gura 111atemHica domina.!:!_
te en un Pars que todava se mirab a a s mismo como el centro del mundo
rnatemHico (a pesar del hecho de que Gauss nunca sali de Alemania). Hoy
en da, Cauchy es consider ado a menudo como el fundador de ~era moderna
del rigor matem~tico. En esta tradicin puede ser que Cauchy sea el bene
fi ciario en parte por descu i de' a Gauss cuyos patrones personales del ri
gor fueron i gua 1rrent e al tos, pero cJ; a r:.r;r!i::n-: i a cara
. :.. .
: ::_ ~: ~ : :~ - ~- -
C.'JJ 1 i car
- "po co
--- - -... --
o~
-chy ocasion alment e t uvo trop i ezos visible s, coffia su fall a en distinguir
en tre conti nuida d y con tinuidad
unifor~e
;.
o e nt re conv e rgen cia y
:;.
...
:;.
converge~
cia uniforme.
No obstante, fue la exposicin de Cauchy del anlisis la que prim~
ro imprimi al ccilculo el ement a l el car cter general que conserva hoy
:'.{a . Continuando la trad i ci n pe daggica de la Escuelea Politcnica de
:::~f s, escribi t re s gran de s tex t os - El "Curso~ anlisis" (1821), "R~
s:.:me n ~lecciones sobre clculo infinitesimal"(l822) y "Lecciones sobre
.tl
clculo diferencia 1 11 (1829 )- . Los cual es fueron los primeros en e~

poner el establecimiento de l cornpl e to ri gor en el analsis matemtico co
mo una meta principal. En el prlogo de su "Resumen" Cauchy escribe:
11
Los mtodos que he segu do difieren en
muchos aspectos de los que han sido expuestos

en otros trabajos del mismo tipo.
vo principal ha sido
reconciliar~
Mi objetirigor,
del cual he hecho una ley para m mismo en mi

"Curso de anlisis", con ~~mplicidad que
produce l a consideracin directa de cantidades
infinita mente pe queas.
Por esta r azn, creo
128
que es mi deber rechazar el desarrollo de funcio

nes en series infinitas siempre que las series
obtenidas no converjan ... En el clculo integral
me ha parecido necesario demostrar en general la
existencia de las 'integrales' o 'funciones primitivas' antes de dar a conocer sus diversas
propiedades. Para lograr esto, fue necesario es
tablecer p:Jr principio la nocin de 'integrales
tomadasentre lmites dados' o integrales definidas' ''.
1
1
1
!
1
'
El primer tratamiento comprensible sobre anlisis matemtico, bama

en una definicin razonablemente clara del concepto de lmite fue el h~
por Cauchy:
Cuando los valores sucesivos atribudos a una
variable se aproximan indefinidamente a un valor fijo tal que al final la diferencia se hace tan pequea como uno quiere, ste ltimo
(valor fijo) se llama el lmite de los otros.
Asf, por ejemplo, un nmero irracional es el
lmite de di versas fracciones que dan valores
cada vez ms prximos a l
11
La idea que le permiti a Cauchy reconciliar el rigor con

nitesimales fue una nueva definicin de los infinitesimales que
los nmeros fijos infinit amente pequeos de los primeros matemHicos.
Cauchy defini un infinitesimal o una cantidad infinitamente peque~a ~
mo una variable cuyo lmite es cero.
11
11
"Se dice que una cantidad variable es infinitamente pequea cuando su valor numrico decrece
indefinidamente de tal modo que converge a cero".
"Sea J.. un infinitesimal ("une quantite infinitment petite
es decir, una variable cuyo va1or
numrico decrece indefinidamente".
11
),
129
'. 8
jf
.1
do
ho
Aunque Cauchy complica su exposicin discutiendo las cantidades infi

nitamente pequeas en el lenguaje de las variables ms que en el de las
funciones, es claro que en frases como "un infinitment petit 11 y 11 une qua~
tite infinitment petite" -ambas traducidad frecuentemente como "un infini
tesimal"- se refiere a una variable dependiente o funcin o<..(h) que se
apro xi ma a ce ro cu a ndo h --.. O En pa r t i c u1a r , s us i nf i n i te s i ma l e s no son
~s los nGmeros fijos pequeos que haban sido la fuente de tanta confusin
y controversia.
En el captulo II de su ''Curso de anlisis 11 Cuachy introduce el co~
cepto de continuidad para una funcin definida en un intervalo, esencialmen
te coh la misma definicin que haba dado Bolzano. Si, dado un valor de
x en el intervalo donde est definida la funcin f,
" ... se asigna a la variable x un incrementool.in' funcin misma se incremenfinitamente pequeo, la
tar en la diferencia
f(x +<><-) - f(x),
la cual depender al mismo tiempo de la nueva variable o1... y del valor de x. Dado esto, la funcin
f(x) sera una "funcin continu a " entre los 1 mites
asignados a la variable x de la variable si, para
cada valor de x entre estos lmites, el valor numrico de la diferencia
f(x
+~) -
f(x)
decrece indefinidamente con o< . En otras palabras,' la funcin f(x) permanecer continua con
respecto ax entre los lmites dados si, entre estos lmites, un incremento infinitamente pequeo
de la variable siempre produce un incremento infi-.
ni tamente pequeo de la funcin misma 1 11
Ntese que la afirmacin entrecomillada final no se refiere a infi
nitesimales fijos; se dice simplemente que la variable f(x +-C.) - f(x) es
una cantidad infinitamente pequea (tal y como se defini antes) siempre
130
que
variable ,,(lo sea, esto es, que f(x +oC) - f(x) se aproxima a cero
cuando J:. se aproxima a cero tambin.
Entonces Cauchy usa la afirmaci6n de
que "f(x +el) - f(x) es infinitamente pequea sioC lo es 11 en el mismo sen

ti do en el que se usa hoy - como una abreviatura de una afirmacin ms
CO.!!)
plicada que envuelve lmites.

Cuachy puntualiza que la continuidad de una funcin elemental fami
liar se puede verificar f~cilmente (en intervalos que no contengan pun~s
singulares correspondientes a denominadores cero).
[
d
Por ejemplo, la fun

f
cin sen x es continua en todo intervalo porque 11 el valor numrico de

sen 1/2cl.), y consecuentemente el de la diferencia
CE
ti
sen (x +ol) - sen x = 2sen (-12-ot.) cos (x + - 21-oC)

decrece indefinidamente con
cu
ot:_ ".,
E j e r c i c i o.- Demuestre directamente que e
tes.
Qu
ca
)(
es continua en todas par
te
1rn
e debe suponer?
Si!
val
en
ecJ....-1
pero
si
o(. -
o
mer
por 1o tanto
eo1...
- 1 -
A continuacin Cauchy discute la
funciones continuas.
continuidad~
una composicin de
Sin embargo, se equivoc en su prueba de que una
fu~
cin continua de varias funciones continuas es continua, pensando erroMa

merite que haba probado que f(x,y,z) es continua, esto es
lim
f(x +o<., y +(3, z
+~) =
Prot
la s
f(x, y, z)
~.(3.'J.-0
dado que fes continua en cada una de las variables x, y, z separadamente.

Cauchy establece el teorema del valor intermedio:
Si f ( X ) e S C Ont i nUa e n e 1 i nte r V a l O [ X o , -X] , y b e S Un
f(x ) y f(_K) , entonces existe al menos un pun to x en el intervalo tal que
o
los
Teo
com
Primi
ge si
una a
direc
ces q
131
13 0
f(x) = b.
ce r o
: i 6n de
sen
10
:1ti s
com
fa mi
)Untos
fu n
Da una prueba intuitiva, pero en una nota en la soluci6n
numrica de ecuaciones incluye una prueba alternativa por
recto y puramente an a ltico
(l sornbra de Bo 1za no?).
debe cambiar de signo en algun subintervalo [x 1,X1 J.
Despues subdivide
[x 1 ,X 1 ] en m subintervalos iguales, en uno de los cuales, digamos [x 2 ,X 2 ],

cesin decreciente
Continuando de esta forma Cauchy construye una su
{xn}, de puntos de [x 0
XJ
tal que el valor f(xn)
{z:}
t iene el mismo signo que f(x 0 ) y una sucesin decreciente

Como~ - xn
cada f(!n) tiene el mismo signo que f(K).
fa s pa!_
un mtodo di
Tomando b = O y m un entero mayor que uno, Cauchy subdivide primero

[x , ) ] en rn sub1nte rva1o s 1gua1e s . Como f(x) carnb1a de s1gno en [x ,X]
o
o
f (x) cambia de signo.
je
11
11
00
(! -
tal que
x0 )/mn- O
cuando n- , conc 1uye que e gtas dos suce~iones convergen a un punto lm~
te comn a -E (x , 1). Por continuidad, f( x ) /'O (digamos) para cada n
o
n
i mp l i ea f (a ) = 1 i m ( x ) 7 O mientras que f(~) LO implica f(a) ~O. Se
n
sigue entonces que f (a) = O corno se deseaba.
Es ta prueba del teorema de 1
va l or intermedio es una de las que quizs ms frecuentemente se encuentran

en los textos modernos.
En el captulo VI de s u "Curso de anlisis 11 , Cauchy presenta el
mer estudio
sistemtico~~ convergencia~
E.!:..i:.
series infinitas, incluyendo
los enunciados y pruebas de los criterios~~ raz6n y~ raz. En el

Teorema I hace su famosa afirmacin incorrecta de que la suma de una serie
)n
de
rna fun
convergente infinita de funciones continuas es una funcin continua. En el

Problema I hace un intento incompleto pero muy interesante para establecer
-ro nea
(l +
mente.
1 -
....
....
o entre
3.1 que
:;..
::.
- =- - - -
- .... ---... --...-
..,..
X)
-__- ----
1 +
X +
- - - ,. . ... ._. ~ :. -_:.
( - 1)
2!
'f
'l
(- l)(-2)
- - - - - -...
....
....
x3 + .. . - - (11 )
-.
"'"'- .
--
- - ;.
132
~() ~( ') :: ~(
l)
(12)
Pero l demuestra en el Problema II del captulo V que esta ecuac16n fun

cional para una funcin continua implica que
esto es, ~()es una funcin exponencial de

esto significa que ~ ()
(1 +
==
xt
para
Pero~ (1)
= 1 + x, asf,
xJ < 1 y arbitraria, como se
deseaba. La primera verificacin completa de la serie binominal fue dada

por Abel en 1826.
E j e r c i c i o.-
~ (m)
= [
)6
(l)]m
(a). Suponiendo (12) para toda y ', demuestre que
~(l/m)
= [~(1)] 1 /m
si mes un entero positivo
~() ~(') = ~(+')
Sea
= 1
' = 1
.0 ( 1 ) = P(2)
~
~(3)
::
[~(1)]2
( 1)
- p(m)
[~(l)]m-1
por lo tanto
~(m) = [~(l)]m
e
~(1/2) ~(1/2)
==
o(l)
[}1 (1/2 ) J2 = ~ (1 )
[~(1/3)
o(l/3)]
~(1/3) = ~(l)
[p(l/3)] 3 = ~(l)
,0(1/n) J'5(1/n) ... ~(l/n) = p(l/n + 1/n + ... + 1/n)
[ri(l/n)]n
_0'(1)
133
132
(12)
(b). Deducir que ct>(m/n)
==
[<D( 1) r/n con m y n enteros
~(m) o(l/n)
:ici6n fun
[~(l)]m
::: [cp( 1)
r 1n
(e). Conclu.ir por continuidad que ct>( .u)
l+x,as,
, como se
fue dada
[ct>(l)] si_
==
P.S
irracional
,,.u= lim m/n

(fL)
~stre
[~(1)] 11
que
==
q., ( 1i m m/ n) = 1 i m <P ( m/ n)
lim [~(l)]m/n ::: [~(l)]lim m/n
[~(l)]~
)Sitivo
V,4 EL CALCULO DIFERENCIAL DE CAUCHY

las exposiciones anteriores a Cauchy del clculo (con excepcin de
Lagrange y su intento de un clculo como lgebra sin lmites) haban t~
mado en general a la diferencial de alguna manera como el concepto fund~
mental. La derivada de y= f(x) haba sido introducida corno el "cociente
de diferenciales" en la expresin dy = f 1 (x) dx. Cauchy, en cambio, tom
como punto de partida una clara definicin de la derivada como el lmite
de un cociente de diferencias:
11
Cuando un a fu nc i 6n y = f ( x ) se nia ntiene e onti nua

entre dos lmites dados de la variable x, y cua~
do se le da a dicha variable un valor encerrado
entre los dos lmites, entonces un incremento in
finitamente pequeo de la variable produce un in
cremento infinitamente pequeo en la funcin mis
ma. Consecuentemente, si se pone t. x = i, los
dos trminos 1 de la razn de diferencias 1
_{J___ =
6.X
f (X + i ) - f (X)
sern cantidades infinitamente pequeas.
Pero
41i;::;;;:;;;;'
,.-.
11,
134
aunque estos dos t~rminos se aproximen al lfmi

te cero indefinida y simultneamente, la raz6n
puede converger hacia otro lmite, positivo o
negativo. Este lmite, cuando existe, tiene un
valor definido para cada valor particular de x;
pero vara con la x ... La forma de la nueva
funcin que funciona como lmite de la razn
[f(x +i) - f(x)]/i depender de la forma de la
funcin dada y= f(x). Para indicar esta de
pendencia, se da a la nueva funcin el nombre
de funcin derivada', y se le designa con
ayuda de un acento por medio de la notacin
y
o f1(x)11 .
1
Despus de algunos clculos tpicos de derivadas de funciones elemen

ta 1es, Cauchy introduce lo que ahora se conoce como la 1 regla de ~ cadena 1
calculando la derivada de la composicin de dos funciones.
11 Ahora sea z una segunda funcin de x, ligada
a la primera y = f(x) por la frmula
6X
= F(y+D.y) - F(y)
6X
e
SI
'
V
(n
cr
de
ci <
do
F(y)
z o F[f(x)] ser lo que uno llama una funcin

de una funcin de una variable x; y, si se designan los incrementos infinitamente pequeos y
simultneos de x, y y z por 6x, D.y y 6z,
se encontrar
-~
_fil'2_6y) - F(y) -~
6Y
6X
si gr
Ente
se i
ci6n
y se
si f
entonces, pasando al lmite,

z' = y'F'(y) = f 1 (x) F 1 [f(x)]
11
Aqu (como algunas veces pasa en los textos elementales d~ clculo

hoy en da) la posibilidad de que 6Y = f(x + L>x) - f(x) =O para V2_
lores de 6x pequeos pero diferentes de cero se pasa por alto.
medio
terva
terva
135
.34
La formulacin explfcita de continuidad y diferenciabilidad en tr_

minos de lfmites es una de las tres caracterfsticas del clculo de Cauchy
que pone el patrn para exposiciones subsiguientes de esta materia. La
segunda caracterstica fue el papel central que atribuy6 al teorema del
valor medio (que era ya conocido por Lagrange aunque no muy usado). La
tercera - su definicin de la integral y la prueba del teorema fundamen
tal del clculo - ser discutida en la siguiente seccin.
1
En los textos modernos el teorema del valor medio - si f es diferen

ciable en [a,b] entonces f(b) - f(a) = f' (0 (b ', - a) para alguna ~e (a,b)
se prueba en general, aplicando el teorema de Rolle a una funci6n auxiliar
adecuadamente elegida; este mtodo aparentemente fue usado por primera
vez por Ossian Bonnet (1819-1892). El hecho de que una derivada positiva
(negativa) en un intervalo corresponde a una funcin incrementndose (d~
crementndose) en ese intervalo,se deduce como un corolario inmediato
del teorema del valor medio.
En cambio, en la cuarta de sus 11 Lecciones sobre el clculo deferen
cial" Cauchy empieza su acercamiento al teorema de valor medio investiga.!!_
do primero el significado del signo de la derivada. Como
ien
~na'
y1
observa que, si y'
= ~ = lim 6Y
6X
O en x0 , entonces
t;.y
t:.x deben tener el mismo
signo para 6X suficientemente pequea (y diferente signo si y'<.. O).

Entonces y = f(x) crece cuando x crece desde x 0 Adems dice Cauchy, si
se incrementa x
11
por grados insensibles 11 desde x
= x hasta x =~ , la
fu.!!_
ci6n f(x) se incrementar todo el tiempo que su derivada sea positiva,

y se decrementar cuando sta sea negativa. En particular, f(X)> f(x )
si f 1 (x) >O en [x 0 ,
:KJ.
Con esta preparacin, Cauchy est listo para su teorema del valor
medio general izado". Sean f(x) y F(x) con derivadas continuas en el in
11
te rvalo [xo, ZJ, y supongamos que F 1 (x) es diferente de cero en este in

te rv alo. Entonces
136
(0
F' (0
para algun punto
~E
- - - - - - - - - - - - (13)
(x, X).
o
si
La prueba de Cauchy est ms claramente motivada que la prueba de

la funcin auxiliar (la cual, sin embargo, no requiere la continuidad de
las derivadas).
Considrese el caso F 1 (x)>O, y supngase sin prdida de generalidad
que f(x ) = F(x ) = O. Sean A y B los valores mnimo y mximo, respectiv!
o
Con
mente, del cociente f 1 (x)/F 1 (x) en el intervalo [x o , X]

(se puede notar
que Cauchy pasa por alto la necesidad de probar que una funcin continua
en un 1nterva1o cerrado alcanza mfn1mo y m!x1mo), Entonces
par
f (X) - AF (X)
1
f (x) - BF (x)~ O
As la derivada de f(x)
AF(x) es no-negativa en [x o ,X],

mientras
-
que la de f(x) -BF(x) es no-positiva.
Entonces la primera de estas dos
ltimas funciones es no-decreciente en el intervalo, mientras que la segu_!l

da es no-creciente. Como ambas se anulan en x , se sigue que
o
par.
nes
f(X) - AF(X)
f(X) - BF(X)
res1
y/de ah que
L..
f(X)
F (~)
La aplicacin del teorema del valor intermedio al cociente

f' (x)/F 1 (x) nos da un punto
(13) (recordando que
[x , X]
o
tal que se cumple la ecuaci6n
f(x o ) = F(x o ) =O).
Ej e r c
c i o.- Obtener el teorema del valor medio ordinario susti
tuyendo F(x) = x en la frmula de Cauchy del teorema del valor medio gen~
ralizado.
par
deri
tre
dife
e1 1
137
136
f (!) - f (x o )
(13)
F(!) - F(x 0
si F(x)
dad
~ctiva
para
[x 0
X]
= f' (0
para
[x 0
XJ
= X
de
i de
l 1i
f (
F' (0
f {X}
f {xQ}
x - Xo
Con X = xo + h
:ar
= F(x o ) = O, la ecuacin (13) se transforma en:
f(x o )
f(x 0 + h)
f' ( x 0 + Gh)
F(x 0 + h)
inua
para a1guna 8 E
( 1 1).
F11 (x 0 + Gh)
ta~bin
Si
f'(x )
o
= F'(x o ) =O, una segunda
aplic~
Ci6n del teorema del valor medio generalizado nos da:

.ras
f' (x 0 + Gh)
los
f 11 (x 0 + G1 h)
F' (x 0 + Gh)
F11 (x 0 + G1 h)
segu.Q_
para alguna G1 e (0,1). Continuando de esta forma, despus den aplicaci_Q
nes del teorema del valor medio generalizado, Cauchy obtiene el siguiente
resultado
f(xo + h)
F(x 0 + h)
para alguna
ee
tre x0
- - - - - - - - - - (14)
las primeras n derivadas de f son continuas en
x0 + h, y que 1as primeras n deriva das de F son continuas y
diferentes de cero entre x 0

:i
F(n)
(xo + Gh)
(x 0 + Gh)
(0,1), bajo las hiptesis de que f y F y sus primeras n-1
derivadas se anulan en x0
Sn
f(n)
x0 + h.
En su "5a. Leccin", Cauchy toma
el lmite de (14) cuando h ~O para obtener la regla de l 'Hopital:
en~
: 1 ( \
1-i.,-
' --'- ).
&'( 1')
- 1
" ----- ' o F , ..
!! \
(x)
138
,/
para formas indeterminadas 0/0 de orden superior (con las primeras n deri
vadas de f y F continuas en una vecindad de x , y las primeras n-1 de
o
ellas teniendox 0 como un cero aislado).
En su 11 7a. Lecci6n 11 Cauchy aplica la expresin (14) para establ~
cer rigurosamente 1a prueba de ~ deriva da ~ orden mayor para mximo y_
mnimo locales que ya haba sido conocida por Euler y Maclaurin en el si
glo XVIII. Supngase que f y sus primeras n-1 derivadas se anulan en x0
F(
Si F(x) = (x - x 0 )n , entonces F y sus primeras :n-1 derivadas tambin se

anulan en x , mientras que F(n) (x) = n! Entonces la ecuacin (14) queda:.
f(x
+ h) =
hn
l!
f(n) (x
+ Gh) - - - - - - - - -
(15)
para alguna g E (0,1).
"
f(
Ej e r c
c i o.- Deduzca de (15) que f tiene, (a) un miximo local en
x si n es par y f(n) (x ) L. O; (b) un mnimo local en x si n es par y
o
n par
f(x
co
y f(n) (xo) >O; (c) ninguno de los dos si n es impar y f(n) (x ) f O .
(a)
p1
f(n)(x )<...O
f(>
est
+ h) = _Jf_ f (n) (x + Gh)

n!
o
et 6r
como n es par hn
>
O Vh
f(x)
Por lo tan
Como
to, en x0 f tiene un mximo local.

Por continuidad de f(n) (x) si f(n) (x )
o
h pequea.
En su
11
<
O =} f(n) (x
+ h) <O para
8a. Leccin", Cauchy da lo que, de alguna forma, se considera
138
139
n deri
todava como la derivaci6n ms atractiva de la f6rmula de Taylor con re-
de
siduo. Si f(x) es una funci6n cuyas primeras n derivadas son continuas

en [x 0 , x0 + h] entonces la funci6n
bl e
'
~.t.
el si
en x0
F(x) =f (X)- f ( xJ
-f
f"(!o)
1 (
se anula junto con sus primeras n-1 derivadas en x0
n se
queda: .
(15)
f(n-l)
Xo )(X - Xo) - -- 2! -- (X - Xo) - . - - ( n-1) ! (X) (X - Xo)
F(x
por la ecuaci6n (15).
+ h)
con x0 =a
as
~h)
1
= f(n)(x) as esto nos da:
f(n-1)~)
en
F(n) (x 0 +
Pero obviamente F(n)(x)
f(x) = f(x ) + f (x ) h + ... +

o
=~
n.
n-1
(n)(
)
X o hn-1 + f x o + Gh hn
(n-1 !
n!
= x - a esto nos da:
f(n-l)(a)
2
f(n) a+9(x-a)
f(x) = f(a)+f'(a)(x-a) + ... + (n-l)!
(x-a)n- +
n!
(x-ar
esto es, la., frmula de Taylor con la forma de Lagrange para el residuo.
En otra parte de sus "Lecciones" aparece la "forma~ Cauchy" para~
residuo. Viendo x como constante y a como variable, Cauchy define la fun
ci6n ;(a) por medio de la ecuaci6n:
f(x)=f(a)+f'(a)(x-a)+ ... +
f(n-l)(a)
n-1
(n-l)!
(x-a)
+ rl(a) - - - - - (16)
lo tan
Como ~ ( x ) = O, un s i mp1e c l cu 1o da
~(a)=
f(n) ~a)
(n-1 !
(x - a)n-l
- - - - - - - - - - - - (17)
O para
sidera
Aplicando el teorema del valor medio (ordinario) a la funcin

en un i nterva 1o con extremos x y a tenemos
~(a)
',''
140
~(a)= ~(x) - (x-a) ~(a+G(x- a ))
(l - G)n-1 (x-a) f(n) (a+ G(x-a)),

(n-1)!
~(a) =
la forma de Cauchy del residuo.
En lecciones siguientes Cauchy aplica la
f 6rmula de Taylor con residuo para establecer rigurosamente la convergencia

de~ ~erie de Taylor de funciones trascendentes elementales, por ejemplo:
ex
,
.,
..'
... '
=1
x2
+ x +~ +
e
e
+_X_+
n!
x3
xs
sen x = x - -3 +
! + ---;--
5.
d;
Ej e r c
c i o.tener (17).
Diferenciar la ecuacin (16) con respecto a!
para~
se
.,'t
f(x) = f(a) + f' (a) (x - a)+ ... +
~_tl
(x - a)n-l +
ca
ta
~(a)
FOL
O = f 1 (a ) - f 1 (a ) + f 11 (a ) ( x - a ) +...
f(n)(a) (x -a)- 1
+
(n-1)!
( n-1) ( x-a )- 2
(n-1)!
f n-1)(
+ ~(a)
ci~
Tal
los
que
si gi
por lo tanto
f(n)(a) (x - a)n-l
(n-1)!
~
di ve
bar
pudit
V,5 LA INTEGRAL DE CAUCHY

Durante el siglo XVIII la integral se vi6, en general, simplemente
como el inverso de la derivada. Es decir, una funci6n f(x) se .integraba
encontrando una funci6n F(x) antiderivada o primitiva tal que F'(x)=f(x).
La integral de f(x) sobre el intervalo [a,b] era dada de acuerdo al teore
piedc
sur l
Jnteg
' en lo
con ti r
141
ma fundamental del clculo, todavfa slo comprendido heuristicamente
Jl(x) dx
= F(b) - F(a) .
Al mismo tiempo, la idea de integral como alguna clase de lmite

de una suma o como el rea bajo una curva, era una idea familiar pero,
en general, se contaba con ella slo en integrales aproximadas cuando era
inconveniente o imposible encontrar la antiderivada necesaria para aplj_
car el teorema fundamental. Ni los lmites de sumas, ni las reas de sec
ciones planas se entendieron suficientemente bien co1110 para dar una base
slida para un tratamiento lgico de la integral.
En particular, la nocin de rea era todava enteramente intuitiva
- se va como un concepto auto~evidente y no haba sido todava contemplE.
da la necesidad de una definicin precisa. De hecho, la integral analtj_
ca en.el sentido de la antiderivada de Newton era adecuada en la prctica,
tanto ms que las nicas funciones que se integraban eran continuas en el
sentido de Euler, esto es, funciones defini~as por una sola expresin anE.
ltica explcita.
Pero a principios del siglo XIX, como hemos visto, el trabajo de
Fourier puso de manifiesto la necesidad de darle significado a la integrE.
cin de funciones que eran discontinuas (al menos en el sentido de Euler)
Tales funciones aparecieron en forma natural en problemas aplicados, y
los coeficientes de sus series de Fourier se expresaron como integrales
que no se ajustaban a los estrechos patrones analticos de integracin del
siglo XVIII.
Fue Cauchy el primero en sealar la necesidad de "demostrar 19_ existencia cl_e las integrales o funciones primitivas antes de dar a conocer sus
diversas propiedades" - esto es, primero dar una definicin general y prQ_
bar la existencia de la integral para una clase amplia de funciones que
pudieran dar una base de discusin para integrales particulares y su prQ_
piedades. En su 11 Resume des lec;ons donnes a 1 1 Eco le Royal e Polytechnique
sur le calcul infinitesimal" de 1822, Cauchy formul la definicin~ 19_
integral la cual (posteriormente completada por Riemann)es la que ?Parece
en los tratados modernos elementales sobre clculo integral.
En su leccin nmero 21, Cauchy in~cia con una funcin f(x) que es
continua (en el sentido moderno) en el intervalo [x ~ XJ, y subdivide es
\
' .,
. 1
142
te intervalo en n subintervalos por medio de los puntos x0 , x1 ,

1.
xn::
X.
A esta subdivi si6n o particin de P de [x 0 , X] asocia la suma aproximada
qu
co
s=
f (X 1.-l
. ) (X 1.. - Xi-1
. ) - - - - - - - - - - - - (18)
2;
i=l
P,
sul
nu1
que se obtiene sumando las reas de los rectngulos cuyas bases son los
subintervalos de la particin, el rectngulo cuya base es [x. 1 , x.] tiene
1.-
altura f(xi_ 1 ).
Cauchy quiere definir la
1.
integral~ f(x) dx como el lf

'
Xo
mite de la suma (18) cuando la mxima de las longitudes x. - x.
l.- 1
l.
"
de los
intervalos tiende a cero. Por supuesto se necesita establecer la existen

ca de este l~mite. Para esto, C~uchy dice:
don
int
can
"Es importante enfatizar que si los valores numricos

(longitudes) de estos elementos (subintervalos) se
par,
hacen muy pequeos y el nmero n muy grande el modo

de la subdivisin tendr s6lo una influencia imperceptible en el valor de su.
,\
Para probar esto aplica el siguiente resultado aritmtico elemental

de su "Curso de anlisis 11
Sid 1 , ... ,c'('.n son nmeros positivos y a1 .. an
Si e
son nmeros arbitrarios, entonces:

n
L:
ol. a.
i=l
donde
a es
una
11
1.
a (.,(
1.
+ . +o<. )
n
- - - - - - - - - - - - (19)
para
media 11 de los nmeros 1, .... ,a , esto es,

n
el mayor y el menor de ellos.

queda:
S
= f ( xo
Con e<.
1.
= X.1.
- X.i - 1 y
a.l.
a est
= f(x.1.- 1 ),
entre
( 19)
+ g (X - x ) (X - x ) - - - - - - - - - - - (20)
o o
para
para alguna 9E (0,1), porque, por el teorema del valor intermedio, cual
1or di
"
143
quier media de los nmeros f(x 0 ),
f(xn_ 1 ) es un valor de la funci6n
continua f en algn punto del intervalo.

Ahora Cauchy considera un refinamiento f' de la particin original
P, es decir, cada subintervalo de la particin P' se encuentra en algn
subintervalo de P. Entonces la suma S' da la forma (18) asociada a esta
nueva partici6n se puede escribir como
+ ... + S'
+ S'
S' = S'
' 2
donde Si es la suma de aquellos trminos de S' que corresponden a los su.Q_

intervalos de P' que se encuentran en el i-simo subintervalo de P. Aplj_
cando (20) a este i-simo subintervalo, tendremos:
para alguna g t (0,1), i=l, ... , n,
as
Si escribimos
E,
1
=f
(x i-1
.
+ g ( X 1,
X.
i-1
))
f (X .
i-1
- ( 22 )
para cada i=l, ... , n, comparando (18) y (21) tendremos

n
S' - S
2:
i=l
E,
1
(X . -
para algn valor medio e de e1 , ...
X.
1- 1
(X -
X )
( 23)
, en
,,
Cauchy concluye de (23) que "no se alterar perceptiblemente el va

lor de S calculado por un modo de divisin (particin) en el que los ele
144
mentas (subintervalos) de la diferencia X- x ten9<ln valores numricos muy

o
pequeos, si se pasa a un segundo modo en el cual cada uno de estos elem~
tos se subdivide en muchos otros. Aqu es donde Cauchy pasa por alto la
necesidad de probar que una funcin continua f es uniforme111ente continuaen
[x 0
! ],
es decir que dado
E>
existe > O tal que\ f(x 1 )
f(x 11 )
\<e
para cua 1esqui era dos puntos x 1 y x 11 E [x 0 , ! ] con x 1 - x 11 I< . Conocien

do es to, e1 nmero Ei definido por ( 22) podd a hacerse tan pequeo como se
quisiera eligiendo P con subintervalos suficientemente pequeos.
Sean P1 y P2 dos particiones arbitrarias de [x 0 , KJ, y sea P1 un re
J
finamiento comn obtenido reuniendo los puntos de subdivisin de P1 y P2

Si\ S2
S' son las sumas aproximadoras asociadas, la expresin (23)
nos da:
y
s - s2
E2CK -
xo),
Caucl
(jusi
as que
su ce~
De aqu, la diferencia entre 51 y S2 puede hacerse arbitrariamente

pequea el i gi en do P1 y P2 con subi nterva los suficientemente pequeos.
Cauchy resume esta situacin como sigue:
"Por lo presente, vase que se consideran al mismo
tiempo dos modos de divisin de la diferencia
X - x0 , en cada uno de los cuales los elementos de
la diferencia tienen muchos valores numricos pequ~
os. Se podran comparar estos dos modos con un
tercero de tal forma que cada elemento, sea del prl
mero o del segundo modo se for111e por la unin de
varios elementos del tercero. Para que esta condi
cin se satisfaga, ser suficiente que cada uno de
los valores de x intercalados en los primeros dos
modos entre los extremos x0 y! sea e111pleado en el
tercero, y se probar que el valor de S se altera
muy poco pasando del primer o segundo modo al terce
Ej
Sn la
terva
una s
145
1
ro, y consecuente, del primero al segundo. Enton
ces, cuando los elementos de la diferencia X- xo
se hacen infinitamente pequeos, el modo de divisin slo tiene una influencia imperceptible en
el valor de S; y si uno hace que los valores num__
ricos de estos elementos decrezcan indefinidamen
te, incrementando su nmero, el valor de S terminar~ siendo perceptiblemente constante O, en
otras palabras, terminar acercndose :~ cierto lmite que depende solamente de la funcin f(x) y de
los valores extremos x0 y atribuidos a la vari~
ble x. Este lmite es lo que se llama una inte~ definida".
1
l
1
\
Para concluir su argumento final - la existencia real del H111iteCauchy haba requerido de la propiedad de completez de los nmeros reales
(justo como en los primeros problemas de la existencia del lmite de una
sucesin de Cauchy).
\
1
E j e r c i c i o.-
Sea f una funcin continua en [a,b], y denotemos por

Sn la suma de Cauchy (18) asociada con la particin de [a,b] en 2n subi~
tervalos iguales.
1
1
1
Usando los resultados de Cauchy probar que { Sn }00 , es
una sucesin de Cauchy, esto es, dado e > O existe un entero N tal que
Ism - sn I<
si m, n ~ N.
'
146
Ej e r c
'
''
c i o.-
Sea
(Pn) 1" y P 1 n}; dos sucesiones de particiones
del intervalo [a,b] en subintervalos cuyas longitudes tienden a cero cua~

do n--co.
Sea
{sn}7
{Sn'}"'
funcin continua f en [a,b].
las sumas de Cauchy asociadas para una
Suponiendo que lim

n--+ co
tados de Cauchy para demostrar que lim

n--+ J,_
Sn
= I, use los resul
s.n = I.
1
'
1'
e
n
En la lecci6n nmero 22, Cauchy argumenta que la ecuaci6n (20) por

sumas aproximadoras lleva a la integral misma, esto es:
= t (x) (x-
- x )
o
- - - - - - - - - - - - - - - - - (24)
para alguna 9E[0,1] o xE[x 0 , X].

Esta esla propiedad del valor medio
para integrales
En la lecci6n 23 observa cuidadosamente las propiedades
simples
11
11
;
1
+ bg(x)] dx
'r
=a
J1f
(x) dx + b Jxg(x) dx - - -
Xo
:X
JX f(x) dx f xf(x) dx + .Jxr~f(x)
dx
=
Xo
mit,
F
y
par
Xo
- - (25)
Xo
- - - - - - - - - - - - - - (26)
tin1
147
obtenindolas de la definicin de integral como el lfmite de una suma.

En la leccin 26, Cauchy presenta una formulacin rigurosa del 11 teorema fundamental del clculo" que se reproduce en casi todos los textos moder
nos de clculo.
Habiendo dado una def1nic16n aritm~tica de integral, podfo ahora est~
blecer la relacin inversa entre diferenciacin e integracin sin recurrir
a los conceptos intuitivos de ~rea. Dada una funci6n continua f(x) en el
intervalo [xo, RJ, Cauchy quiere probar que la nueva : funcin F(x) definida
para x
[x 0
X]
por
F(x) = [xf(x) dx - - - - - - - - - - - - - - - - (27)
Xo
es una funcin primitiva o antideriv~da de f(x), es decir que F (x) = f(x)

en [a,b]. El Qnico cambio en los detalles de la exposicin que uno podrfa
hacer hoy en dfa serfa escribir f(t) dt en lugar de f(x) dx en el integrando
de (27) para distinguir la variable auxiliar de integracin de la variable
del lfmite superior.
Aplicando adecuadamente (26) y el valor medio apropiado (24), Cauchy
nota que:
1
14
X+~
F(x +d.) - F(x)
! f(x) dx - [
Xo
:::
1
x
f(x) dx
Xo
x+..:.
f(x) dx
F(x +al) - F(x) = <".:.f(x + g .,c.)
(28)
para alguna g E- [0,1]. Dividiendo ambos lados de (28) entre o(., y tomando l
mites cuandoo<..--) O, concluye, de la definicin de derivada y por la con
tinuidad de f que
F
como se deseaba.
As:
(x) = f (x)
(29)
'f_ ' '
*(
Jx(x0 f ( t ) dt
,,,
'
"'
148
= f (X )
- - - - - - - - - - - (30)
si f es continua.
Para deducir 1a segunda forma familiar de 1 teorema fundamenta 1 de es
ta primera, Cauchy considera una funci6n arbitraria F(x) tal que
F 1 (x) = f(x) en [x 0 , KJ.
Si
,l,
l
1'
w(x)
F(x) - F(x),
entonces w (x) = F' (x) - F' (x)

ma del valor medio nos da
= f(x)
- f(x)
O, de tal modo que el teore
,~
w(x)
= w(x 0 )
+(X - Xo) w'(x)::: w (x 0
e
para toda X E [Xo, X J.
.......
De donde
,.....,
F(x) - F(x) = F(x 0
- F( X0
= -F(x 0
,....,
F(x) = F(x)
F( X0
te
) ,
co
1\(x) dx
Xo
= F(x) - F(x 0
- - - - - - - - - - - - - - - (31)
de
fo1
se
para alguna antiderivada F de f.
de1
De aqu vemos que Cuachy esencialmente complet6 la teora general de

integraci6n de funciones continuas en intervalos cerrados.
Aunque hemos
visto que a principios del siglo XIX se formularon definiciones bastante 9!

nerales de funciones, no parece que nadie haya considerado seriamente la it
"
portancia para el anlisis de funciones con ms de un nmero finito de di1

continuidades en cada intervalo finito. Se puede observar que la teora de
Cauchy de integraci6n de funciones continuas tambin abarca a las funciones
continuas~ pcdi.lzos.
Porque si el intervulo [x 0
~]
se d-ivide en subin
tervalos [Xi-1. Xi] i = l, ... , n, tales quef coincida en (xi-l , xi) con
una funci6n f i que es continua en [Xi-1 , xi], entonces la integral de f se
define satisfactoriamente por :
hab
tom
tabi
Ri em
prob
inve:
relac
para
ci6n
book
149
j~f(x) dx
= ~J
i=l
1
1
Xi
fi(x)dx
Xi-1
Adems, Cauchy consider integrales de funciones con un nmero infinito de

discontinuidades aisladas, es decir, integrales impropias. Por ejemplo, si
lim f(x) = co pero fes continua en [x , K - C] para toda - >O, defi
x-x
ni la integral de f en [Xo ', :KJ como
-f(x) dx
X-E
=
im
f-tO
- f(x) dx
Xo
Xo
1l
con tal que este lmite exista.
V,6 LA INTEGRAL DE RIEMANN Y SUS REFORMULACIONES '

Genuinamente, las funciones discontinuas entraron de lleno en las ma
temticas a travs del trabajo de G. B. F. Riemann (1826-1866) sobre la
convergencia de series de Fourier. Al extender la aplicacin de la prueba
de convergencia de Dirichlet a una clase ms amplia de funciones, Riemann
formul la generalizacin~~ integral~ Cauchy a la que actualmente
se considera la ms conveniente y til para las aplicaciones el ementales
del clculo.
Riemann, quien en 1859 sucedera a Dirichlet en el puesto que Gauss
haba ocupado en Gotinga, public, en 1854 su trabajo "Habilitationschrift
tomando, bajo la influencia de Dirichlet, un a nueva visin de la represe~
tabilidad de las funciones por medio de seri es trigonomtricas. Aunque
Riemann admita que las funciones ms generales que se propuso considerar
probablemente no ocurren en la naturaleza, pens que valdra la pena la
investigacin de sus series de Fourier porqu e ''este tema est fntimamente
relacionado con los principios del clculo infinites imal y puede servir
para traer mayor claridad y precisin a esto s .principios". Esta investiga
cin de 1854 no apareci impresa sino hasta 1867. [Ver Birkhoff's source
book pp. 16-23].
11
150
Las primeras tres secciones del trabajo estn dedicadas a resumir

la historia de las series de Fou r ier. En su artfculo de 1829, Dirichlet
haba demostrado que, si la funcin f(x) de perfodo 21f
(a) es continua por pedazos
(b) tiene slo un namero finito de mximos y mnimos locales en el in
tervalo [-TT, 7T]
entonces su serie de Fourier converge punto a punto a +[f(x +O)+ f(x - O)],
el promedio de sus lmites por la izquierda y por la derecha (suponiendo
que estos lmites existan en todo punto). Sin embargo, la sla necesidad
de la hiptesis (a) de continuidad por pedazos bastaba para asegurar la
integrabilidad de la funcin f(x) y el significado de las integrales que
aparecen como coeficientes de Fourier.
Riemann entonces propone, al principio de la seccin cuatro, la pr~
gunta 11 lQu se entiende por
f(x) ~x ? 11 a la que inmediatamente responde:
1
Jb
a
11
Para establecer esto, tomamos una sucesin de

valores x1 , x2 ,
,X
entre a y b ordena-
...
dos por tamaos, por brevedad, denotamos

X1 -
a =d 1 ,
X2 - X1
p1
n-1
=2 ,
, b-
\1- l = ~
fracciones propias positivas por

~es el valor de la suma
~.
n y
le
(l
la
EntonCOI
=!' 1 f(a+~1 d')1 + J 2 f(x 1 +2::2 )

2
+d" f(x +2: Cf) +

3
3 y
ca~
de
+ ... + ( f (x
+ ; n a)
n
n-1
n
de
cJepc:ncJert cJc: la eleccin cJ c: lo s intervalos
y de las cantidades 2:i. Si esta tiene la pro-
ent
[x .
.l
piedad de que, de cualquier forma que sean

elegidasJ y ~;,tienda a un valor lmite A
que
fijo cuando - se hace infinitamente pequeo

entonces este valor se llama
no tiene esta propiedad,
no tiene significado".
Jb f(x) dx.
ento~cesj b
a
Si
f(x) dx
Post1
l aci (
~(e
[a ,b]
151
En t onces Riemann elige un punto arbitrari _Q_

el i- si mo subintervalo [x.
1. -
x i= xi =l +EiJi
en
x.] de esta particin, i =l, ... , n y defi
1,
1.
ne l a in te gral por:
bf ( x) dx
1i m
cf-+o
i=l
donde d" denota el mximo de las longitudes
particin de [a,b].
de Cauchy:
(X1.. )
di.,
(X. - X.
1.
i-1
) - - - - - ( 32)
de los subintervalos de la
Esta es una generaliza.cin directa de la definicin
2:: f(x l. - 1 ) (x.1. - x.1.- 1 )

i=l
Riemann simplemente ha sustituido el punto inicial de Cauchy xi-l por un

punto arbitrario
.
x.
l.
de [x.1- 1 , x.]
e insiste (si la integral existe) en que
l
las sumas aproximadoras asociadas a una particin tiendan a un valor fijo

(la integral) cuando la 11 norma 11
la eleccin de los puntos xi.
d tienda a cero, independientemente de
Ahora Riemann dice, "Determinemos la ex t ens i n de valides de este

concepto y respondamos : l~ qu casos ~ una funcin integrable y en qu
casos no lo es? 11 Empezando con una funcin acotada f y una particin P
de [a,b], considera la "oscilacin total" D(P) =O 1 J J. + D2 d 2 +... +o n d n
= x.
de f(x) con respecto de P, donde d.l.
1
1
- x.i-1 y D.l denota la diferencia
entre el valor mayor y el menor de f(x) en el i-simo subintervalo

[x. 1 , x.]. Pasando por alto la completez de los nmeros reales, afirma
1-
l.
que la integral (32) existe si y slo si D(P)-.o cuando la norma
1 im
'd-.o
(D
d'
+ D
+ ... + D cf ) ::: O
n
'd~o
(33)
Posteriormente, Riemann define A::: . (d) como el valor mximo de la osci

lacin total D(P) para todas las particiones P con norma O" ~ d. Entonces
~
(d) es obviamente una funcin decreciente de d, y f es integ rable en

[a,b] si y slo si lim
il (d) =O.
Dadov7 O y una parti c in P,
cfv-+O
152
Riemann denota por s = s((}, P) la suma de las longitudes CJ . de aquellos

l
intervalos de P para los cuales la oscilacin Di
>V, y establece la
siguiente condicin necesaria y suficiente de la existencia de la inte

. '
gral de una funcin acotada:

11
Si f(x) es acotada para Xt [a ,b], entonces

bf(x) dx existe si y slo si, dada > O,
se sigue que s (O, P) ti ende a cero [cuando
la norma de la partici6n tiende a cero 11
!
Esto es, dado()> O y E >O, existe d >O tal que para una particin
cualquiera P con norma J < d, la suma s de las longitudes de los subinter
,
val os de P, en los cuales la oscilacin de f(x) es mayor que
U, es menor
'
que " .
Para ver que la condicin ' anterior es neces aria para la integrabili
dad de f, notemos que:
"'
cJs
<
D J + D + ... + D J ~.t:.(d)
1
si
s.
cJ
>
un
fijo, suponiendo que
d, porque D.>\) en subintervalos que tien en la longitud total de

l
Entonces s(<J, P) < L:. (d)/u la cual ti ende a cero cuando d -11>0 con
lbf(x) dx existe .
Para ver que la condicin anterior es suficiente para la integrabi

1 i dad de f, sea <J > O y > O dados, u escogemo s d > O como arriba.
Si
la norma de la particin P es menor que d, entonces los subintervalos en

los que la osciliacin de f(x) es mayor qu e a-, contribuyen a D(P) en
una cantidad menor que D- (porque sus longitudes suman arriba de s<E),
donde O es la oscilacin de f(x) en [a,b]. Los subintervalos restantes
contribuyen a D(P) en una cantidad a lo sumo 1e 0-(b-a).
De aqu:
D(P) <D+ U(b- a )
as D( P) se puede hacer t an pequ ea como se qui er a tornando y U suficien_
temente pequeos.
As la condicin (33) se sa tis f ace y jbf(X) dx existe.
153
1~
El teorema de Riemann implica inmediatamente que
Jb
f(x) dx ex is
te si fes uniformemente continua en [a,b]. Porque en este caso, dada

\I> O, existe d >O tal que la oscilacin de f(x) es menor que u en
cualquier subintervalo de longitud menor que d. Entonces s((J, P) = O
si la norma de la particin P es menor que d.
Sin embargo Riemann se contuvo de concluir que toda funcin conti
nua es integrable. La continuidad uniforme de una funcin continua en
un intervalo cerrado no fue establecida rigurosarnent~ sino hasta princi
pos de la dcada de 1870 cuando se dispuso del teorema de BolzanoWeierstrass (enunciado por Bolzano pero probado por Weierstrass). De
acuerdo con este teorema, toda sucesin infinita de puntos en un irilerv!
lo tiene una subsucesin que converge a algn punto del intervalo. Si
la funcin f no es uniformemente continua en [a ,b], entonces ilra alguna
>O y cada entero positivo n, existen puntos n bnE.[a,b] tales que
1
1
j
1
1
'
i'
l
\ n - bn
<
l/n pero que \ f(an) - f(bn) \
>
d . Por el teorema de Bol
zano-Weierstrass se puede suponer sin prdida de generalidad que las su

cesiones {
n}~
{bn}~ambas
De aqu se sigue que f
l
1
~es
convergen al mismo punto CE [a,b].
continua en C. (Lpor qu?).
En la direccin opuesta, Riemann seala que una funcin puede ser

discontinua en un conjunto denso de puntos y, sin embargo, ser integr~
ble. "Como no se consideran en ninguna parte estas funciones, ser
bueno empezar con un ejemplo especfico''. Este ejemplo se describe como
sigue: para cada nmero real x, sea (x) = x - i(x) donde i(x) es el
entero ms cercano a x, a menos de que x sea un mltiplo impar de 1/2,
en cuyo caso (x) =O. Entonces -1/2 < (x) < 1/2 para toda x, y (x) es
continua en x a menos que x sea un mltiplo impar de 1/2, en cuyo caso
(x) tiene un "brinco", o diferencia entre los lmites por la derecha y
por la izquierda de (x - O) - (x +O) = l. La extica funcin de Riemann
se define entonces por
00
f (x) =
(3x)
~2
j
+ ... =
L.:
k =l
(34)
154
Si x no es un nGmero racional de la forma m/2n, donde m y n son en

teros primos relativos con m impar, entonces kx no es un mltiplo impar
de 1/2 para ninguna k. Consecuentemente, cada trmino de (34) es conti
nuo en x y se puede probar que, como era de esperarse, que fes continua
en x.
Pero si x es de la forma indicada m/2n, entonces kx es un mltiplo
impar de 1/2 donde k es un mltiplo impar den, k = n(2p + 1). En este
,.
.. '
"
caso el trmino (kx)/k 2 de (34) tiene un salto (negativo) de l/k 2
l/n
l/k 2 = 1/n 2 (2p + 1) 2 en x = m/2n. Esto indica (y se puede verificar)

que f es discontinua en cada punto x = m/2n con un salto dado por:
' 1
f(x - O) -
f(x +O)
+
n
i:
p=l
(2p+1) 2
l2
=-8n 2
1;
usando una de las sumas de Euler. Por supuesto estos puntos de discon
tinuidad son densos en todo intervalo.
Por otro lado, si se da un intervalo [a,b] y un nmero U> O hay
solo un nmero finito de estos puntos x = m/2n en [a,b] tales que
2
,-
1T /8n > \J Consecuentemente la suma s( v, P) de las longitudes de los

los subintervalos que contienen estos ltimos puntos se pueden hacer.!:.
bitrariarnente pequeas eligiendo la norma de la particin P suficient~
mente pequea. Asf la funcin de Riemann (34) satisface la condicin
suficiente de integrabilidad, y bf(x) dx existe a pesar de la densidad
del conjunto de discontinuidades de f.
La definicin de la integral de Riemann (32) fue la m~s general
que se podfa dar basndose directamente en la idea original de Cauchy
de sumas aproximadoras asociadas a particiones del intervalo de inte
graci6n en subintervalos. No obstante, durante las ltimas tres dcadas
del siglo XIX, esta definicin fue reformulada de varias maneras que di!
ron mayor claridad al concepto de integral y prepararon el camino para
una importante generalizacin adicional de principios del siglo XX.
A mediados del la dcada de 1870, varios autores introdujeron in
dependientemente las llamadas sumas superiores e inferiores de Riemann
para una funcin acotada f en un intervalo [a, b]:
r
y
i n1
155
n
U( P)
~ M. (x.
i=l l. l.
X.
l.-
1 )
L(P)
r
i=l
mi(xi - xi_ 1 )
(35)
donde Pes una particin de [a,b] en n subintervalos, y M y 111 son, res

pectivamente, los valores mximo y mnimo (realmente, la mnima cota su
perior y la mxima cota inferior) de f(x) en el i-simo intervalo
[x_. 1 , x]. Hoy estas sumas se llaman frecuentemente sumas de Darboux
11
11
por Gaston Darboux (1842-1917) i.
E j e r e
e i o.-
Si P' es un refinamiento de la particin P, demues
tre que
L(P) ( L(P') (U(P') ( U(P)
Usando esta observacin se puede verificar fcilmente que las s~
mas superior e inferior U(P) y L(P) tienden a los lmites U y L, respe~
tivamente, cuando la norma rJ de la particin P tiende a cero si la fu!!_
cin acotada fes integrable o no. En la dcada de 1880, Vito Volterra
(1860-1940) introdujo los trminos integral superior e integral infe
rior para U y L, junto con la notacin descriptiva:
11
11
11
11
LJ
b f (X) dx
y
:1
y Giuseppe Peano (1858-1932) not que estas integrales superior e infe
rior podan ser definidas convenientemente como la mxima cota inferior

y la mnima cota superior de las sumas superior e inferior de Riemann,
respectivamente, para toda particin P del intervalo [a,b]:
j' f(x) dx = sup U(P) y J,' f(x) dx = inf lL(P) ---(36)

La funcin f es integrable si y slo si sus integrales superior e
inferior son iguales.
f.'f(x)dx = f'f(x)dx
156
Desde el siglo XVII la idea de la integral haba sido motivada

siempre por el concepto de rea. En particular, si Of denota el conju~
to de ordenadas de la funcin f no-negativa en el intervalo -el conjunto
de todos los puntos (x, y) con a~ x ~ b y o ~y~ f(x)- la idea era
que el valor integral
jb
f(x) dx deba ser el rea a(Of).
Poco antes de
finalizar el siglo XIX, el concepto de rea mismo ,haba sido completame~

te intuitivo y no se basaba en ninguna definicin ,precisa.
La primera definicin matemtica formal de rea aparentemente fue
dada por Peano en un libro publicado en 1887. Empezando con Eudoxio y
su mtodo de exhauci6n, se haba considerado simpre obvio que el rea de
un plano S es la mxima cota de las reas de todos los polgonos contenj_
dos en s y la mnima cota de las reas de todos los polgonos que co~
tienen a S (por supuesto el rea de un polgono se obtiene seccionndolo
en tringulos).
Peana tom esta antigua idea como punto de partida para una defini
cin real del rea. Defini el rea inferior a.(s)
de S como la mnima
l.
cota superior de las reas de todos los polgonos contenidos en S, y el
rea exterior a 0 (s) como la mxima cota inferior de las reas de todos
los polgonos que contienen a S.
Es claro que
ai(s)~
a 0 (s), pero stos
pueden no ser iguales. Por ejemplo, si S es el conjunto de todos los

puntos (x, y) de un cuadrado unidad o~ x y~ 1 tal que los nmeros x
y y son ambos irracionales, entonces a 0 (s) = 1, el rea del cuadrado,
pero a.(s)
=O porque slo hay polgonos degenerados contenidos en S.
l.
Con la definicin de Peano para el rea interior y exterior, es f
cil establecer que
.(
Ja
f ( x ) dx
= a . (O f)
- - - - (37)
l.
para cualquier funcin f no-negativa en [a,b]. En caso de que

ai(s) = a 0 (s) el valor comn es el rea a(s) de S. Si fes int~grable,
entonces (37) se reduce a:
;,
157
~(
x) dx
= a (O
) - -
- - - - - - - - - - -
--
(38)
Es en este punto que el concepto de integral regresa a su r11otivaci6n

original.
El rea de Peano se conoce ahora en general como "contenido Jordan 11
por haber aparecido en la segunda edicin (1893) del "Curso de Anlisis"
de Camille Jordan.
VI, EL DESARROLLO DEL CONCEPTO DE I NTEGHJ\L (* )

l!ENHI LEDE S GUE
Caballeros:
Dejando a un lado todos los tecnicismos, vamos a examinar las modi
ficaciones y enriquecimientos sucesivos del concepto de la integral y
la aparicin de otras nociones usadas en investigaciones recientes so
bre funciones de una variable real.
Antes de Cauchy, no haba una definicin de integral en el sentido
moderno de la palabra "definicin". Se deca solamente cules reas
deban ser sumadas o restadas para obtener la integral
lb
f (x) dx
Para Cauchy fue necesaria una definicin, porque con l aparece el

concepto de rigor que caracteriza las matemticas modernas. Cauchy de
fini6 las funciones continuas y sus integrales ms o menos de la misma
forma que lo hacemos en la actualidad. Para llegar a la integral f(x)
basta formar las sumas. (Fig. 1):
( 1)
que los matemticos han usado simpre para aproximar reas, y entonce s
f(x) dx por el paso al lmite.
deducir la integral
;:b
Fig. 1
(*) Traducido d e l lib ro "Meas ure a n d the I n tegr a l" d e He nri Leb esgu e ,
Ho l den- Day, Inc. 1 966 .
159
1
1
1
Aunque la legitimidad del paso al lmite era evidente para quien

pensaba en trminos de rea, Cau~hy tuvo que demostrar que S realn1ente
tenda al lmite bajo las condiciones que l consider. Una necesidad
semejante surge cada vez que uno reemplaza una nocin experimental .E9.!:.
una definicon puramente lgica. Se debera agregar que el inters
del objeto definido no es ya obvio, ste puede ser desarrollado slo a
partir del estudio de las propiedades que se derivan de la misma defi
nici6n. Este es el precio del progreso lgico. ,
Lo que Cauchy hizo es tan sustancial que es una especie de extensin
filosfica. A menudo se dice que Descartes redujo la geometra al lg~
bra, yo dira de ms buena gana que mediante el uso de las coordenadas,
Descartes redujo todas las geometras a la de la lnea recta, y que, la
lnea recta, con las nociones de continuidad y n111ero irracional, ha pe!_
mi ti do al lgebra alcanzar su e~tensin actual.
Para ~ograr la reduccin de todas las geometras a la de la lnea
recta, fue necesario eliminar un cierto nmero de conceptos relacionados
con las geometras de varias dimensiones como son la longitud de una
curva, el rea de una superficie y el volmen de un cuerpo. El progreso
realizado por Cauchy se encuentra precisamente aqu. Despus de l,
para completar la aritmetizacin de las matemticas, bast que los mat~
mticos construyeran el continuo lineal a partir de los nmeros natura
les.
Y ahora, ldebemos nosotros limitarnos a hacer anlisis? No. Cierta
mente, todo lo que hacemos puede ser traducido al lenguaje aritmtico,
pero si renunciamos a la visin directa, geomtrica e intuitiva, si nos
limitarnos a la lgica pura la cual no nos permite una eleccin entre co
sas que son correctas, entonces, difcilmente prodramos plantearnos mu
chas preguntas, y ciertos conceptos, por ejemplo, la mayora de las ideas
que examinaremos hoy aqu, si nos haban escapado completamente.
Durante mucho tiempo, han sido integradas ciertas funciones discontj_
nuas. La definicin de Cauchy todava se aplica a estas integrales,
sin embargo es natural examinar, como lo hizo Riemann, la capacidad exac
ta de esta definicin.
Si fi y fi representan las fronteras inferior y superior' de f(x) en
(x.,
x.i + l ), entonces S se encuentra entre:
.l
160
- x.)
S - l:fi(x.
l+ 1
l
R"ic~mann
S =i:f.(x.
- x.)
l
i+l
l
demostr que, para aplicor la definicin de Cauchy basta que

S - -S =~
,--. (T.l - f.l )
(X .
1+1
X. )
l.
tienda a cero para una cierta sucesin de particiones del intervalo entre
a y ben subdivisiones m~s y ms pequeas (x., x. 1 ). Darboux agreg
1
que, bajo la operacin usual de paso al

meros definidos.
Ib
f(x) dx
l.+
lmite~ y
S siempre dan dos na
fb f(x) dx
a
Estos nmeros son, en general, diferentes y slo son iguales cuando

existe la integral de Cauchy-Riemann.
Desde el punto de vista lgico, estas son definiciones muy naturales
lno es cierto? Sin embargo, podemos decir que desde un punto de vista
prctico no han sido tiles. En particular, la definicin de Riemann
tiene el inconveniente de que se aplica excepcionalmente y, en cierto
sentido, por casualidad.
Es evidente que partiendo el intervalo (a, b) en subintervalos ms y
ms pequeos (x l.. , xi+l ) la diferenciari - f.l. se l1<lce cada vez menor si
f(x) es continua, y que los sucesivos refinamientos de la subdivisin
harn que S - S tienda a cero si hay slo unos cuantos puntos de disco~
tinuidad. Pero no tenemos razn para esperar que pase lo mis1110 en una
funcin que es discontinua en todas partes. Tomar intervalos cada vez
menores (Xi, Xi+l) , ~ decir va 1ores ~ ..f..d. corres pon di entes a va 1ores
cercanos de ~. ~ ~ ~ ninguna forma garanta de ~ uno toma val ores
de .f1!1 cuyas diferencias ~ hacen ms pequeas.
Guimonos por ~l propsito de reunir valores aproximadamente iguales
de f{x). Es claro entonc es que debemos dividir no el intervalo (a, b),
sino el intervalo (f, f) acotado por las fronteras mnima y m~ima de
de f(x) en (a, b). Hagamos sto con la ayuda de nmeros Yi que difieren
161
entre s en menos que

nidos por
Vamos
Yl . b,f(x)
LI
considerar los valores de f(x) defi
~y
i+l
- -
- _, -
Fig . 2
Los valores correspondientes de x forman un conjunto E.l

gura 2 este conjunto E. est formado por cu at ro intervalos.
l
En la fi
Con algunas
funciones continuas, ste podrfa es tar formado de una infinidad de inter

valos. Para una funci6n arbitraria Ei podra ser 111uy complicado. Pero
sto importa poco. Es este conjunto Ei el que juega un papel anlogo al
intervalo (xi, xi+l) en l a definicin usual de integ ral de funciones con
tinuas, ya que nos dice cules son los valores de x que dan valores
aproximadamente iguales de f(x).
Si ti es un nmero cualquiera tomado entre Yi y
162
el valor de f(x) para puntos de E. difieren den. en menos que

i
nmero
11.
i
E.
va a jugar el papel que f(
~.)
i
jugaba en la f6rrnula (1).
El
As
como el papel de la longitud o medida xi+l - xi del intervalo (xi, xi+l)

lo tomara la medida m(E) que asignaremos al conjunto E posteriormente.
De esta forma tendremos la suma
S = 2;n.m(E . )
\i
.. - (2)
Veamos ms de cerca qu hemos hecho, para entenderlo mejor,

mos en otros trminos.
repit~
Los gemetras del siglo XVII consideraron la integral de f(x) -la

palabra "integral 11 no haba sido inventada, pero sto no importa- como
'
la suma de una infinidad de indivisibles, cada uno de los cuales tena
como ordenada, positiva o negativa, a f(x). iMuy bien! Nosotros simpl~
mente hemos agrupado los indivisibles de tamalo comparable. Hemos, co
mo se dice en lgebra, reunido trminos semejantes. Se podra decir
que, de acuerdo al procedimiento de Riemann, se trat6 de sumar los indj_
visibles tomndolos en el orden en el que los da la variacin de x, co
mo un comerciante poco sistemtico que cuenta monedas y billetes al
azar en el orden en el que le llegan a las manos, mientras que nosotros
hemos operado como un comerciante metdico que dice:
. f
1
Tengo rn(E 1 ) centavos que valen 1.m(E 1 )

Tengo m(E 2 ) quintos que valen
5.m(E 2 )
Tenoo m(E 3 ) pesetas que valen 25.m(E 3 )

Juntndolo todo tengo:
Los dos procedimientos llevarn ciertamente al comerciante al mismo

resultado porque, no importa cuanto dinero tenga, siempre habr s6lo un
nmero finito de monedas y billetes. Pero para nosotros, que necesitamos
sumar un nmero infinito de indivisibles, la diferencia entre los dos m
todos tiene una importancia capital.
163
Consideraremos ahora la definicin del nmero m(E.) asociado a E. .

l.
l.
La analoga de esta medida con la longitud, o an con el nmero de mone

das, nos lleva en forma natural a decir que, en el ejemplo de la figura
2, m(E.) ser la suma de las longitudes de los cuatro intervalos que
l.
forman E.,
l.
que, en un ejemplo donde E. est formado de una infinidad

l.
de intervalos, m( E. ) ser la suma de las long i tu eles de esos intervalos.

l.
En el caso general sto nos lleva a proceder como sigue:

Se encierra Ei en un nmero finito o infinito numerable de interva
los, y sean
f 1 ,.2 2
las longitudes de esos intervalos.
, ...
Obviamente
deseamos tener que

m(E.) ~ f. +
l.
l.
f 2 + ...
Si buscamos la m~xima cota inferior del segundo miembro para todos

los posibles sistemas de intervalos que cubren a E., esta cota ser una
l.
frontera superior de m(E.).

l.
Por esta razn, la representamos por
rn(r), y tendremos
l.
m( E.)
m(rl - - - - - - - - - -
l.
l.
- - - - (3)
Si Ces el conjunto de puntos del intervalo (a, b) que no pertenece

a El, tenemos, anlogamente:
m(C)
6=
iTCJ
Ahora, ciertamente deseamos tener

m(E[) + m(C) = m[(a,b)] = b - a;
y entonces tenemos que tener
m(E.)
l.
:2:.
b - a -
mrcJ
-------- ---- ----
(4)
Las desigualdades (3) y (4) nos dan fronteras superior e inferior

para m(EL). Uno puede ver fcilmente que estas desigualdades nunca son
contradictorias. Cuando 1as fronteras, superior e inferior, de E~ son
164
iguales, m(E.)
esta definida, y entonces decimos que E.i es medible
i
(l)
Se dice que una funcin
ful_~
medible si los conjuntos Et, son
dibles para todas las elecciones posibles de yi

una suma S para tal funcin.
m~
La frmula (2) define
Es fcil probar que cuando la
y, varia de
tal forma que tiende a cero, la S tiende a un Hmite finito el cual

es, por definicin (2 ),
f\(x) dx.
Esta primera extensin de la nocin de integra l definida nos lleva

a muchas otras. Supong amos que desearnos integrar una funcin f(x,y) de
dos variables. Procediendo exactamente como antes, construmos conjuntos
E que son ahora conjuntos de puntos en el plano y no sobre la recta como
anteriormente. A estos conjuntos debemos ahora asociarles una medida pl!
'
na, y esta med ida se deduce del rea de los rectngulos
de la misma manera como la medida lin ea l se deriv de la longitud de i~

tervalo. Una vez definida la medida, la frmula (2) nos da la s sul!las
a partir de las cuales obtenemos la integral al pasar al lmite.
Enton
ces, la definicin que hemos considerado, se extiende inmedia tamente a

funciones de varias variabl es .
(l)La definici6n de medida de conjunto s usada aqu es l a de C. Jo rdan ,

Cours d'analyse de l'ecole Polytechnique , Vol . I, pero con la mo dif i
cacin, esencial para nuestros propsitos, de que el conjunto Ei que
se va a medir se encierra en intervalos cuyo nmero puede ser infin~
to, mientras que Jordan emplea s6lo un nmero finito.
Este uso de un
infinito numerable en lugar de un nmero finito de intervalos fue s~
gerido por el trabajo de Borel, quien ha utiliz a do esta idea para co~
seguir una definicin de medida (Leco ns s u la the6rie des fonctions).
(2) De finiciones equival e nt e s a la d a d a a qu h a n s i d o propuestas por v~
rios autores. La ms interes a nte se d e be a W. !!. Young, Phil. Trans.
Roy Soc. London, 204, 1905, pp221-252. Ver tambin por junplo las
notas d~ Borel y M. F. Riesz, C. R. Acad . Sci . Paris . 154. 1912. pp.
413-415.
~ :
zt ....
165
Otra extensin que se aplica igualmente bien sin importar el nmero

de variables, pero que explicar slo en el caso en el que se desea inte
grar la funcin f(x) en el intervalo (a, b), es la siguiente.
He dicho que es una cuestin de sumar indivisibles representados por
las diferentes ordenadas y= f(x) de los puntos x. Hace un momento, re~
nimos estos indivisibles de acuerdo a su tamao. Ahora, sencillamente,
agrup1nos los de acuerdo a su signo .. Tendremos que considerar entonces
el conjunto Ep de puntos en el plano cuyas ordenadas son positivas, y el
conjunto En de puntos cuyas ordenadas son negativas. Como dije al princj_
pio de mi pltica, para el caso simple donde f(x) es continua, an antes
de la poca de Cauchy se escriba
Esto nos lleva a asegurar que
bf(x) dx= m (E) - m (E),

s
donde ms denota una medida plana.
Esta nueva definicin es equivalente
a la precedente. Esto nos lleva a los mtodos intuitivos anteriores a

Cauchy, pero la definicin de medida les da una fundamentaci6n l6gica s
licia.
Conocemos ahora dos formas de definir la inte9ral de una funcin de
una o de varias variables. Y no necesitamos considerar la ms o menos
complicada forma del dominio de integracin porque este dominio intervie
ne s6lo de la siguiente manera: los conjuntos Ei en nuestra primera defj_
nicin y los conjuntos EP y En en la segunda se formaron to111ando valo
res de la funcin f slo para puntos del dominio D.
Como la eleccin del dominio de integracin interviene slo en la
formacin de Ei, o de ~ y En' es claro que podramos tambin formar los
conjuntos Ei, ~, ~, usando 1os va 1ores de f en puntos de un conjunto
arbitrario E y, de esta manera, podramos definir la integral sobre cual
quier conjunto.
Para precisar el significado de esta nueva extensin de la nocin de
lGG
integrul, recordemos que nuestras deFiniciones requcrun que f fuera me

dible, es decir que E fu cc ra 111edil >lt.: e n !0 11 i111c r ddi11ici11 '/que EP y
En fueran medibles en la
medible tambin.
~egunda
definicin y asi sto in1plica que E sea
rior tanto sube111os corno definir la inti::gra1 sobre un
conjunto n1edible ele una funcin que es med ible

Hasta ahora, he supuesto implcitamente que
acotada en el conjunto.
c~ stan1os
tratando co n funcio
[
lQu hubiramos tenido que cambiar en 1a pri111era definicin si la

funcin a integral' no fuet'a acotada?
nito.
E'! intervalo (_f, f) ya
110
sera fi
Se necesitara entonces un nOmero infinito ele y.J_ para dividirlo
en intervalos de longitud a lo ms igual a
flab1a una infinidad de
conjuntos E. , y la suma S de la frmula (2) sera uhora una

l
'.'(~ rie.
Para
no detenernos en el mero principi, debernos suponer que la serie Ses

convergente para la pr-mera eleccin de los nmeros yi, que tenemos que
hacer.
Ahora, si S existe para una eleccin de y.,

existe para todas
l
las elecciones,
la definicin de
illte~Jral
se aplica sin ninsJuna 111odifi
cacin.
El nombre de funcin sumable se aplica a todas las funcicrnes que se
pueden integrar por los prncedi111ientos indi cados, es decir, a t.odas las
funciones medibles para las cuales la suma S tiene significado .
Todas
las funciones medibles acotadas son sumables, y co1110 nadie ha logr ad o
t~
dava nombrar una funcin que no es rnedible(3l, uno puede decir que hasta
el presente, prcticamente todas las funciones acotadas tiene11 int egrales.
Por el contrario, existen funciones no-acotadas muy s impl es que no son
sumab les.
Luego no es de sorprender que nuestro concepto de in tegia l
sea todava insuficiente en ciertas situaciones,
(3) Lebesgue no admita los mtodos no-constructivo s usados para construir

funciones no-medibles antes de 1926, y un re s ultado r e ci e nte de Robert
So1ovay muestra que sin t<lles proccdirnj i:: ntos " j naclrnisibJ e s" 110 se pueden definir funciones no-m e dibles.
Par a un ejemplo de un a funcin nomedible, ver Gelbaum y Olrnsted, Counterexarnples in lrnalysis , Holden Day, San Feo., 1964, p. 109.
167
AP E NDI C E
PROPIEDADES DE LA CICLOIDE
1.- Consideremos la cicloide de la Figo
1. Demostraremos
que DT es paralela a LAo
,,
I
, ,,,. ,,..-
/'
,'
'
I
1
1
'
'
'
,. /
'
,'
1
1
\
/
I
I
\
L\
'
.___ _ __J. - -
',
~'
Fig. 1
Las ecuaciones paramtricas de la cicloide son:
X
= a(
= a(
8 - sen 8 )
- cos
e )
Sea DT la tangente a la cicloide en D y sea
el ngulo
que forma DT con el eje x.

Si x y x son las coorden adas del punto D de la cicloide,
se tiene que:
dx
=a
dy
=a
sen e d8
- cos 8 ) d8
entonces:
dy
tan
pero
sen
dx
sen
- cos
- cos
: : ; ctg 8/2
168
entonces
tan ~
tan
de donde:
= ctg
lf
= 2 ( \\ - e
por tanto:
tan
C Ti/2
- 8/2
)
esto implica que:

iT
-----DPT =
2
pero
11
(n,
2
~) = 2
...--..
es el ngulo central que subtiende el arco LQ, en....-.._,_
tonces, el
LAQ
= 1/2
, _.,,,,...._,
= DTP
de donde se sigue que:
D'r //AL
2.- AREA.DE LA CICLOIDE
Consideremos la cicloide de la Fige 2,
O... - - - - - - . 1 M
169
_,,,,...__
_../'--
por lo que BAL = Ddd'
Como se demostr6 antes, AL//DT

por lo tanto:
b.BAL
entonces:
6d 1 dD
AR
dx
=
BL
pero AB = x, entonces,
dy
x dy = BL dx, pero x dy = dt, en-
tonces:
dt
= BL
dx
pero:
BL = Y' =
por lo tanto:
g(x)
dt = 'g(x) dx = ds
de donde:
dt = ds
o bien
t = s
Si se quiere calcular el rea total de la cicloide, en la
fig . 2 vemos que:

Area de la cicloide
=2
rea OMHA - 2 rea ANMD
pero
rea ANMD = rea semicrculo ALO =
y
rea OMNA = ( bD.SC=) ll a
-11 a'
(al tura=) 2a
= 2\i '2..
entonces:
rea de la cicloide
=2[
2 Ti a 2
= 2 [ ; i a
tJ
=3
1/2\ia'2J
=3\la2.
rea del crculo generador.

1982 - Waldegg - Historia Del Cálculo

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

1982 - Waldegg - Historia Del Cálculo

Transféré par

Droits d'auteur :

Formats disponibles

CENTRO DE INVESTIGACION Y ESTUDIOS AVANZADOS

SECCION DE MATEMATICA EDUCATIVA

Jos Luis Ga 1 ser P.

Primeras Ideas Sobre la Variacin.

Un tratado del Mtodo de Series y Fluxiones

Los Orgenes - Sumas y Diferencias

La Teorfa de las Funciones Analfticas de Lagrange

El Clculo de Acuerdo de Cauchy, Riemann y Weierstrass .

El Desarrollo del Concepto de Integral.

El Descubrimiento del Clculo

otros, fueron detenni nantes en le ste trayecto.

Del mismo modo, el desarrol lo del clculo no lo 8odemos reducir al

Eratstenes y Arqumedes y, posteriormente, Kepler, Cavalieri, Fermat,

Iniciaremos pues, estas notas de Historia del Clculo con el trabajo

PRIMERAS IDEAS SOBRE LA VARIACIN,

forma continua a medida que t ranscurre ("fluye") el tiempo.

Para iniciar nuestra discusin sobre la idea de "va ri ac i 6n 11 vamos

a tomar un ejemplo, estudiado inicialmente por Gal iileo.

vil que se desplaza rectilneamente con velocidad constante k .

dad variable que tomaremos en cuenta es el espacio recorrido por el mvil.

Cuando haya transcurrido un tiempo t, el espacio recorrido A se

Tambin podemos representarnos esta rea como generada por el mo

Cuando transcurre un tiempo infinitesimal ("muy pequeo") dt la

ese tiempo se producir un incremento infinitesimal "del rea, que deno

SegOn 1a f6rmul a ( l) tendremos 1

que podemos interpretar diciendo que la variacin del rea es directa

= k constante, quiere decir que el rea cam

bia (se incrementa) con velocidad uniforme.

Entonces en el plano tiempo-velocidad esto lo

Las ordenadas representan las velocidades en los tiempos correspo.!:!_

En un determinado tiempo t, el rea barrida por la ordenada hasta

= at (a = constante) representa la relaci6n entre las orde

nadas y el tiempo, entonces el espacio total recorrido despus de trans

Entonces el correspondiente incremento dA (= espacio recorrido

~ 1 t.1ene unaI ve 1oc1. dad

incremento que recibe esta velocidad al transcurr{r el tiempo dt es un

incremento infinitesimal, podremos pues considerar que durante el tiempo

la velocidad del mvil permanece constante.

Es decir, ignoramos 1a contribucifl hecha por + a (dt) 2 a

Otra forma de presentar este hecho es comparar la contribucin hecha por

Esto quiere decir que comparando con t,

Resumiendo nuestra discusin tendremos:

donde, en ambos casos, A representa el espacio recorrido por un mvil

Vamos a tratar el ejemplo anterior desde un punto de vista ms

Entonces, al fluir uniformemente la base AB, sta adquiere un

cremento BD y en consecuencia el tringulo ABC adquiere el incremento

De este incremento, el tringulo EFC es consecuencia de la

Por lo tanto, si BD es infinitamente pequeo, durante ese tiempo

De allf que la variacin instantnea del tringulo

ABC este representada por el rectngulo BDEC.

:DEAS GENERALES SOBRE LOS MOMENTOS

Como en la seccin anterior, seguiremos considerando que las

Este momento puede ser positivo 6 negativo, pero ro es finito: es una

Segn la terminolog1a empleada por Newton, los momentos son

principios nacientes de cantidades finitas.

nitudes infinitesimales, entonces,., en lugar de referirnos a su "tama

segn Leibniz 6 diferenciales

segn el uso actual).

Geomtricamente, las expresiones de este tipo corresponden a reas,

Cuando estas variables se incrementan (siempre dependiendo del

del tiempo) entonces el producto xy

x2 sufre un incremento que se puede calcular asf:

de un lado x es dx entonces el rea del cuadra

a causa del momento dx.