RESUMEN
ABSTRACT
328
LLULL 16
LLULL 16
DE LAGRANGE A CAUCHY
329
Academia de Ingenierol, Garca San Pedro pas a ella y su obra fue el libro de
texto de esa asignatura en la Academia. Pero, adems, l cre un nuevo
mtodo de Clculo diferencial, el d los incrementos ideales, y durante todo el
siglo XIX los sucesivos profesores de la Ac,ademia que fueron redactando y
ampliando esta disciplina siguieron trabajando con dicho mtodo.
Segn Boyer2 entre los arios 1821 y 1827 el matemfico francs A.L.
Cauchy, en sus lecciones de anlisis para la Escuela Politcnica, estaba
determinando las bases con las que actualmente se trabaja esta disciplina.
Puesto que Fernando Garca San Pedro public su obra en 1828,
posiblemente no conoca los trabajos de Cauchy -Espafia atravesaba adems
por entonces la denominada dcada ominosa-. Pero para los profesores que
sucedieron a Garca San Pedro en la Academia la situacin ya haba cambiado
y, a pesar de ello, siguieron el mtodo de los incrementos ideales,
prefirindolo a otras formas de trabajo.
Garca San Pedro afirma en el prlogo de su libro que se haba propuesto
enlazar los diversos mtodos hasta entonces existentes para presentar el
Clculo como eran el infinitesimal (Leibniz), el de las funciones derivadas
(Lagrange), el de los lmites o ltimas razones (Newton), etc., haciendo que
fuesen una sola teora algebraica.
El libro est escrito siguiendo el mtodo de pizarras -es decir, separando
las ecuaciones del texto, y colocndolas al fmal de cada captulo- y consta de
dos partes. La primera comprende la parte terica del Clculo diferencial e
integral y se divide en ocho captulos y la segunda trata de las aplicaciones de
la teora anteriormente establecida y consta de tres captulos.
En la primera parte, el primer captulo trata de las funciones de una sola
variable. El segundo de las reglas o procedimientos generales para formar los
coeficientes diferenciales sucesivos de las funciones de una sola variable. El
tercero es la extensin de los dos captulos precedentes a las funciones de dos o
ms variables. El cuarto trata la aplicacin de los tres captulos precedentes a
las funciones implcitas de una o ms variables. El quinto, sexto y sptimo
son anlogos al segundo, tercero y cuarto, respectivamente pero para el
Clculo integral. El octavo es un capftulo denominadofunciones indefinidas,
nombre con el que Garca San Pedn) designa el clculo de variaciones.
En la segunda parte, el captulo noveno est dedicado al desarrollo de las
funciones en series, el captulo dcimo a los mximos y mnimos de
funciones y el captulo undcimo a la teora de lneas y superficies.
330
LLULL 16
f(x,h) = C + hr(x,h)
Y as sucesivamente.
LLULL 16
331
DE LAGRANGE A CAUCHY
54-Y
Garca San Pedro afirrna que cualquiera que sea la forma de la funcin
f(x+h) sta siempre puede modificarse y expresarse por una serie de tnninos
en nmero funto o infinito que sean todos potencias monomias respecto de h
[p. 11].
Garca San Pedro segua aqu la concepcin de los matemticos de final
del siglo XVIII. Como afirma Pierre Dugac3:
"Mais pour les mathmaticiens de la fm du XVIIIe siele il tait vident que
toute fonction tait dveloppable localement en srie de Taylor et ils taient
absolument 'certains que la srie de Taylor d'une fonction converge vers la
fonction .
A continuacin Garca San Pedro pasa a estudiar la naturaleza y relaciones
de los exponentes a, a+C, a+1+3 y de los coeficientes A, B, C, D,
Para ello, llama a = m, a+C = n, a+ C+ = p, a++8+y = q, Por lo
tanto la serie anterior puede escribirse como:
f(x+h) = f(x) + Ahm + Bhn + ChP + Dhq +
Adems del incremento h dado a la x, se le da un nuevo incremento k. La
funcin f(x+h) pasa af(x+h+k), cuya expresin en serie, anloga a la anterior,
se podr deducir de sta por dos medios diferentes: escribiendo en vez de h, h+k
o bien, como f(x), A, B, C y D son funciones de x, haciendo que x se
convierta en stas en x+k.
Por el primer procedimiento se obtiene la siguiente serie:
f(x+h+k) = f(x) + A(h+k)'n + B(h+k)n + C(h+k)P + D(h+k)q +
Por el segundo, al hacer que x se convierta en x+k en las funciones f(x),
A,B,C,D,
se obtienen las siguientes series (1):
332
f(x+k)
LLULL 16
LLULL 16
DE LAGRANGE A CAUCHY
333
coloca los
o bien
4Dh3k = C'h3k
As pues, los coeficientes A', B', C', de los segundos trminos de los
desarrollos de A, B,C,D, nos permiten conocer los coeficientes B, C, D,
del desarrollo f(x+h) = f(x) + Ah + Bh2 + Ch3 + Dh4 + El problema de
la obtencin del desarrollo de una funcin en x se reduce pues al clculo del
coeficiente A, ya que con ste se determina anlogamente A -y por lo tanto
B-, B' -y por lo tanto C-, y as sucesivamente seg n las series (1).
334
LLULL 16
df(x)
B 1 dA 1 dx
2 dx 2 dx
dx '
ddiii
x
dx
cl---
C=
ldB 11 dx
=
3dx 23 dx '
D=
1dC111
4 dx 234
df(x)
dx
dx
dx
dx
d3f(x) d4f(x)
LLULL 16
335
DE LAGRANGE A CAUCHY
en el
.."
336
LLULL 16
DE LAGRANGE A CAUCHY
LLULL 16
337
-df(x)
- A - B dx + C4x2 - adx3 + Edx4 dx
Y sumando las dos se forma la siguiente:
(5)
df(x) - df(x)
- 2A + 2C4x2 + 2E4x4 +
Ax
tlxNI -1
-d"f(x)
dx*V -1
. Sumndolas, se obtiene
(6)
d'f(x) - d"f(x)
- 2A - 2C4x2 +2E4x4 -
338
LLULL 16
Del mismo modo que al deducir de la ecuacin (4) la (5) han desaparecido
del segundo miembro de aqulla la mitad de todos los trminos que contiene
-sin contar el primero A-, y que al pasar de esta ltima a la (7) han
desaparecido de su segundo miembro la mitad de sus trminos no incluyendo
el primero de ellos (2A), si en esta ecuacin (7) hacemos unas operaciones
1
anlogas sustituyendo sucesivamente 4x por - dx y 4 dx*V -1, obtendremos
4
una ecuacin cuyo segundo miembro ser el mismo que el de la ecuacin (7)
multiplicado por 2 y disminuido en la mitad de sus trminos menos el
primero A. Continuando este proceso, con slo ir sustituyendo despus
8 -_j
16r-
Los dos trminos del quebrado que forma el primer miembro de esta ecuacin,
pueden considerarse siempre como cantidades finitas" [p. 29].
A continuacin Garca San Pedro define el clculo diferencial basndolo
en su mtodo de los incrementos ideales.
Segn la ecuacin (8)
"la relacin entre dos ciertos incrementos ideales o imaginarios de la funcin
y de su variable es igual al primer coeficiente diferencial de la funcin; y como
hemos dicho que ste mide la disposicin a crecer o decrecer de la cantidad
representada en dicha funcin, independientemente de los valores de todo
incremento suyo, vems que seg n Io habamos previsto pueden concebirse y
formarse dos incrementos ideales de la funcin y de su variable, cuya relacin llene
de la propia manera el mismo objeto.
LLUI-1.. 16
DE LAGRANGE ACAUGHY
339
dirx) A
dr
340
As
dnf(x)
drn
LLULL 16
LLULL16
DE LAGRANGE A CAUCHY
341
df(x)
A + Bdx + Cdx2 +
dx
suponemos que el incremento dx decrece, el Af(x) ir decreciendo tambin y la
relacin entre estos dos incrementos se ir aproximando al primer coeficiente
diferencial A. Cuando estos dos incrementos lleguen a su lmite cero, entonces
dicha relacin ser la citada funcin A.
Seguidamente enuncia la tercera ley que rige las variaciones de la cantidad:
"cuando la cantidad f(x) vade por incrementos positivos o negativos, los de
la llamada funcin y los de su variable estn sujetos a admitir en su limite cero una
cierta relacin" [p. 39].
Despus afirma:
342
LLLTLL 16
LLULL 16
DE LAGRANGE A CAUCHY
343
344
LLULL 16
PF(x)
h A+ hn-lf(x,h)
(11)
r
h'
LLULL 16
DE LAGRANGE A CAUCHY
345
346
LLULL 16
incrementos ideales.
LLUIL 16
DE LAGRANGE A CAUCHY
347
348
LLULL 16
h
En vez de h coloca y resulta:
h
1+h
)m = 1 + F(m) +
x
x
h F(m+m) +
Considerando que m' es uno de los varios estados de magnitud que puede
tener m, la ecuacin (15) la escribe como:
(17) (x+hr . = x'n. +
hF(m) +
h(F(m) + F(m')) +
Al considerar que- los dos desarrollos (16) y (18) son dos transformaciones
de igual naturaleza de la funcin (x+h)m-fm., iguala trmino a trmino y:
(19) F(m+m') = F(m) + F(m)
LLULL 16
349
DE LAGRANGE A CAUCHY
dF(m)
1 c12 F(m) m2
(20) Ffm' +m) = F(m) dm , m + 2
dm ,2
Las ecuaciones (19) y (20) conducen a:
(21) F(m)
1 d2F(m)
dF(m)
m2 + -
dm m 2 dm'2
Como esta ecuacin (21) no debe establecer ninguna relacin entre las
cantidades m y m', que son independientes entre s, es necesario que
igual a una constante, y consecuentemente
dm
cero. Por lo tanto esta ecuacin la transforma en:
dF(m)
dm'
sea
sern igual a
F(m)= am.
Al tener que ser uno mismo el valor de la constante a cualesquiera que
sean los que se le asignen a m, haciendo m=1 en la ecuacin (15) se tiene que
F(m)=1 y como consecuencia a=1 y F(m).m. Sustituyendo este resultado en
la ecuacin (15) llega a que:
(x+hYn = xm +xm- ihm +
La necesaria identidad entre este desarrollo y el considerado en la ecuacin
(13), le lleva a afirmar que:
"Lo cual nos dice que el primer coeficiente diferencial de una potencia
cualquiera de una sola variable, es siempre igual a la potencia de un grado menor en
una unidad de la misma variable, multiplicada por el esponente (sic) de la potencia
dada" [p. 56].
Como se puede observar, pese a que Garca San Pedro define el mtodo de
los incrementos ideales, no lo emplea para calcular la derivada o el primer
coeficiente diferencial de la funcin potencia anteriormente considerada. Dicho
clculo es, en realidad bastante semejante al que realiza Lagrange en sus
Lelons sur le calcul des fonctions [1806, pp. 16-21], y bien distinto a la
sencillez del Trait lmentaire de Calcul diffrentiel et de Cakul intgral
[1828, pp. 15-17] de Lacroix.
350
LLULL 16
dun ck4+du du
(n veces)
un u u u
Luego
du
un = n
dun
dun = n un - i du
Garca San Pedro aborda a continuacin el clculo del primer coeficiente
de las funciones exponenciales de la forma z=ax. Al igual que ocurre en el caso
anterior tampoco aqu utiliza el mtodo de los incrementos ideales y la
bsqueda de la derivada ia efecta de la siguiente manera:
A la funcin
ecuacin:
az+ h
(22) ax+ h ax
z h2 1 cf? z "
h
2
dx 2 dx2 73
Escribe:
ax+h = ar ah,
LLULL 16
DE LAGRANGE A CAUCHY
351
b2 + 11(12-1 ) (11-2) b3 + )
Llamando K a la expresin:
(a-1)-
se sigue que:
(23)
ax+ h =
ax + Kaxh +
352
LLULL 16
3 z 3 =K 3ax
-dd7
Finalmente calcula el valor de la constante
siguiente ecuacin:
a x + h = ax
K2 ., K3
(1+Kh+-ThL
+
+...),
K2K3
=1 +Kh +
h2 + h3 +
2
23
1
y sustituye h por
ailh =
1 + 1 + .... =2'718281828459 = e
1 + 1 + 1 + 2 2 3 23-4
log a
log e'
dx
ar
dx
dx(dx-1) b2 +cli(dr-1)(dx-2) b3 +
adx = (1 +b)dx = 1 +-dl
1 b + 12
123
Luego
adx-1 b (dx-1) b2
dx 1+ 12
+
(dx-1)(dx-2) +
12
LLULL 16
DE LAGRANGE A
CAUCHY
353
b b2 b3
Cambiando de nuevo b por su valor a-1 obtiene:
dar
dx
= az (a-1 _(a-1)2 (a-1)3
1
2
y haciendo
K
puede escribir.
dar = Kaxcbc
El valor de K est calculado del mismo modo que en el texto de Garca
San Pedro.
De nuevo las analogas para el clculo de la derivada de la funcin
exponencial hay que establecerlas entre Lagrange [pp. 25-27] y Garca San
Pedro.
En el captulo II de su texto, Garca San Pedro calcula adems el
coeficiente diferencial de las funciones logartmicas de la forma z=log x, de las
funciones circulares de la forma z=sen x, y termina con el estudio de los
coeficientes diferenciales en las funciones compuestas formadas a partir de las
simples o elementales.
Esta misma estructura tiene el captulo II de los textos de Alejandro
Beln y Jos de Toro y Snchez, aunque ellos s que utilizaron el mtodo de
los incrementos ideales.
Concretamente Jos de Toro calcula del siguiente modo el primer
coeficiente diferencial de una potencia.
En primer lugar recuerda cul es el mtodo que debe utilizarse para hallar
dicho coeficiente diferencial en una funcin cualquiera.
354
LLULL 16
k = (x+hr
+ k = x'n + mh
1 +m(171-1)h2xm-2
y pasando de los incrementos reales a los ideales, para lo cual desecha los
trminos del segundo miembro multiplicados por h, obtiene que:
_ mxm-1
dx
Yax
ax(ah-1)
Yx
LLULL 16
DE LAGRANGE A CAUCHY
355
dav
-c-r
x = kal
A continuacin determina el valor de k:
k=
ah-1
h
h
- log a = log (1 +h)
k
log a
log a
1
- log (1 +h) log 1+h
h
417-h.1
1
+1 +1-+L+...=2718251...=e
2 6
ser
k-
loka
log e
356
LLULL 16
LLULL 16
DE L4GRANGE A CAUCHY
357
358
LLULL 16
Finalmente, el ltimo captulo del libro de Garca San Pedro est dedicado
a la Teora de lneas y superficies. Con este mismo ttulo Antonio Vidal y
Ra public en 1880 su libro sobre Aplicacin del Clculo Diferencial a la
Teora de lneas y superficies. Dos aos ms tarde redact otxo tratado cuyo
ttulo coincide con uno de los apartados que Garca San Pedro haba realizado
en dicho captulo, las Aplicaciones geomtricas del Clculo Integral a la
rectificacin de lneas, cuadratura de supeificies y cubatura de slidos. Como
ya se ha indicado, Antonio Vidal bas sus aplicaciones geomtricas en los
textos de Clculo diferencial de Alejandro Beln y de Clculo integral de
Antonio Tomer.
Vidal dividi el texto de las Aplicaciones del Clculo Diferencial a la
Teora de lneas y superficies en dos partes, separando por completo el estudio
de las lineas del de las superficies e incluyendo en la primera el de las lneas de
doble curvatura. Vidal observa que algunos autores exponen la teora de las
lineas de doble curvatura despus de la de las superficies, basndose en que esta
teora est relacionada con el conocimiento de las superficies desarrollables y
en el hecho de que una lnea en el espacio puede considerarse originada por la
interseccin de dos superficies, pero l piensa -siguiendo a Garca San Pedroque las lneas de doble curvatura pueden mirarse como engendradas por el
movimiento de un punto en el espacio, de modo que sus coordenadas
rectilneas satisfagan un sistema de dos ecuaciones con tres variables; adems,
seg n l, las nociones de teora de superficies necesarias para el estudio de las
lineas de doble curvatura son tan elementales que no hay razn para alterar la
exposicin de las ideas, sobre todo cuando el estudio de las superficies necesita
en alguna de sus partes del conocimiento de las lneas en el espacio.
A continuacin aade que en la Teora de lneas procura explicar el
anlisis de una curva considerando su ordenada como una cantidad variable y
aplicando las ideas generales del Clculo diferencial para llegar as ms
directamente al conocimiento de todas las circunstancias de la curva. As, por
ejemplo, la nocin de curvatura no resulta de la comparacin de la curva en
11110 de sus puntos con otra curva ms sencilla (la circunferencia), sino que es
una cualidad inherente y caracterstica de la lnea en cada uno de sus puntos. La
definicin de curvatura de una curva del texto de Vidal muestra pues, de nuevo,
la huella de Garca San Pedro.
LLULL 16
DE LAGRANGE A CAUCHY
359
360
LLULL 16
dz
Esta idea de Garca San Pedro de que el incremento ideal d mide la
dx
disposicin a crecer o decrecer del ngulo formado por la tangente a la curva
con el eje X y que dicho incremento ideal puede medir la curvatura de la curva
es la que se encuentra en el texto de Vidal, que calcula su valor como cociente
de incrementos ideales.
La definicin de curvatura en el texto de Vidal es la siguiente:
"Una cualidad muy esencial al estudio de las curvas es su curvatura. Esta la
podemos definir por la propensin variar de direccin que tiene la tangente la
curva, cuando se supone que su punto de tangencia v recorriendo sucesivamente
los diferentes puntos de dicha curva" [1880, p. 23].
Para hallar ds, o sea la diferencial de un arco de curva plana, considera una
curva cualquiera AB (fig. 2) donde A es el punto de origen a partir del cual
cuenta los arcos de dicha curva. Se trata de hallar la expresin del incremento
que toma el arco AM cuando la abscisa OP toma un incremento PP'=Ix.
LLULL 16
DE LAGRANGE A CAUCHY
361
p p
Figura 2
arc MM'
< MT + TM'
362
Como MN es igual a Ix y
TN = MN tangTMN = lx c-11
dx
se tiene:
MT ="\I Ix
2
+ (Ix
dy. 2
dx)
Ix
Is
<
Iy
lx2
o equivalentemente:
>'\41 1
(Ly
lx)
<< 1 + (elI
d)2 +drlx
y pasando de los incrementos reales a los ideales, obtiene la expresin:
o bien:
LLULL 16
LLULL 16
(25)
DE LAGRA1VGE A CAUCHY
363
0 sea, que una vez ms el mtodo de los lmites tena sus reservas y el
riguroso era el de los incrementos ideales.
Finalmente Vidal concluye su anlisis de la curvatura de una curva
cualquiera mediante la determinacin de la diferencial del ngulo de curvatura
de.
Diferenciando
364
(26)
de = d arc ( tang =)
dx .1
LLUI.L 16
d21 dx
dx2
d dx
(41)2
Curvatura en el punto M -
dx2
(i + (db2)3/2
ds
dx.
dx
As, pues, como afirmaba Vidal, la curvatura as definida era una cualidad
inherente y caracterstica de la curva en cada uno de sus puntos.
Hasta aqu la exposicin de la produccin de los ingenieros militares
espaoles en el terreno del Clculo diferencial e integral, en la que cabe
destacar significativamente la importancia cualitativa y cuantitativa de la obra
de Garca San Pedro como autor bien documentado que incluso se adentra en el
terreno de la investigacin, fundamentalmente por la va de los fundamentos.
Que sentara ctedra y creara escuela de la manera en que lo hizo no puede ser
nicamente achacado al corporativismo, y cabe pensar en la altura de su
magisterio para explicar la longevidad de una obra en la que precisamente no
destacan las virtudes pedaggicas. En efecto, la obra de Garca San Pedro es de
una dureza expositiva ms que notable, y quizs este hecho est en el origen
tanto de la confusin conceptual que se aprecia en algn sucesor como del
injusto rechazo que ha provocado en alg n historiador.
En un marco ms amplio de estudio de la matemtica espaola del siglo
XIX, tambin el texto de Fernando Garca San Pedro fue el elegido por
Santiago Garma l para realizar un anlisis de la calidad cientfica de las obras
escritas por matemticos espaoles para la enseanza superior. En este caso
los textos a comparar eran el de Garca San Pedro y el de Boucharlat, traducido
por Gernimo del Campo. En esta superficial comparacin, poco conocedora
del trabajo de Garca San Pedro, el que sale perdiendo es el militar espaol.
Empieza Garma su estudio de la siguiente forma:
LLULL 16
DE LAGRANGE A CAUCHY
365
"El primero de ellos, del teniente de ingenieros Garca San Pedro, se edita en
Madrid en 1828 con el largo ttulo siguiente: Teora algebraica elemental de las
366
LLULL 16
LLULL 16
DE LAGRANGE A CAUCHY
367
368
LLULL 16
estas mismas clases de 1,831 a 1832, y de las clases de mcanica desde 1833 a
1836.
Sobre las lecciones de anlisis dadas por Navier en la Escuela Politcnica,
completadas con notas de Liouville -quien tambin haba sido profesor de
anlisis en dicho centro desde 1839 a 1850- se haba realizado en el ao 1851
una traduccin al castellano por el arquitecto Eugenio de La Cmara.
LLULL 16
DE LAGRANGE A CAUCHY
369
A = 2x.
5 Estudio Histrico del Cuerpo de Ingenieros del Ejrcito (1911). Madrid,
BIBLIOGRAFIA
BELON Y TORRES, A. (1876) Lecciones de Clculo Diferencial. Madrid, Imp.
Memorial de Ingenieros.
BUENO, D. (1876) Curso de Anlisis trascendente. Segovia, Irnp. Pedro
Ondero, 2 vols.
GARCIA SAN PEDRO, F. (1828) Teora algebraica elemental de las cantidades
que varan por incrementos positivos o negativos de sus variables componentes, o
sea Clculo Dtferencial e Integral. Madrid, Imp. Garca.
GIANNINI, P. (1795) Curso matemtico para la enseanza de los Caballeros
Cadetes del Real Colegio Militar de Artillera. Segovia, Imp. Antonio Espinosa.
370
LLULL
16