De Lagrange A Cauchy-Calculo Diferencial

LLULL, vol.
16, 1993, 327-370
DE LAGRANGE A CAUCHY: EL CALCULO

DIFERENCIAL EN LAS ACADEMIAS MILITARES
EN ESPAA EN EL SIGLO XIX*
1VP ANGELES VELAMAZAN
ELENA AUSEJO
Universidad de Zaragoza
RESUMEN
ABSTRACT
El estudio de las aportaciones

que desde las academias militares
espaolas se hacen al desarrollo del
clculo infinitesimal en Espaa en el
siglo XIX permite establecer un
hecho absolutamente novedoso en la
propia historia del clculo: el mtodo
de los incrementos ideales de Garca
San Pedro como fundamentacin del
concepto de derivada. Este mtodo,
original y autctono, se impone
entre los ingenieros militares
espaoles a lo largo del siglo de una
manera desvirtuada, de modo que su
existencia les sita en el nivel alto
de la banda de modernidad en la
primera parte del siglo XIX pero
simboliza un cierto anquilosamiento
en la segunda.
The study of the contribution of

19th century Spanish military
academies to the development of
infinitesimal calculus in Spain
enables to set a novelty in the
history of calculus: Garca San
Pedro's ideal increments method as
the foundation of the concept of
derivative. This original and
autochthonous method prevails
among Spanish military engineers
all through the century in a very
spoiled way, so that its existence
places them in a high modernity
bound during the first part of the
century but typifies a certain
stagnation in the second part.
* Este trabajo ha sido parcialmente financiado por el Proyecto de Investigacin

DGICYT PB90-0592 sobre Las Matemticas en Esparia en la Edad
Corztempornea (1808-1936).
Recibido el 15 de noviembre de 1992
328
1VPANGELFS VELAMAZAN Y ELENA AUSEJO
Son los artilleros los que, fieles

a la omnipresente influencia
politcnica francesa, introducen la
obra de Cauchy en la enseanza
militar en la segunda mitad del siglo
XIX.
LLULL 16
Artillerymen, loyal to the

omnipresent French polytechnicians
influence, introduce Cauchy's works
into military teaching in the second
half of the 19th century.
Palabras clave: Clculo Diferencial, Espaa, Siglo XIX, Ejrcito, Academias,

Instituciones, Fernando Garca San Pedro, Educacin, Ingenieros,
Matemticas.
De los profesores militares fueron ingenieros y artilleros los que se
dedicaron a la redaccin de libros de texto para el Clculo diferencial e integral.
A principios del siglo XIX los artilleros utilizaban el texto de P.
Giannini, cuya primera edicin corresponde al ao 1795. Posteriormente, los
textos recomendados fueron el de S.F. Lacroix (1824), Jos Odriozola (1829),
Francisco Sanchiz y Castillo -que public en 1851 un texto de Clculo
diferencial y en 1863 el Clculo integral-, Navier (1865), Dmaso Bueno
(1876), Diego 011ero y Toms Prez Grin (1889).
Los ingenieros, a principios del siglo XIX, utilizaban el texto de Pedro
Padilla publicado en 1756. Posteriormente los textos recomendados fueron el
de S.F. Lacroix (1824), Femando Garca San Pedro (1828), Manuel Dez
Prado, Antonio Tomer Carb -que redact en 1864 una Memoria de Elementos
del Clculo integral que posteriormente se declar libro de texto-, Alejandro
Beln -con el Clculo diferencial en el ao 1876-, Antonio Vidal y Ra -con
las Aplicaciones del Clculo diferencial a la teora de lneas y superficies en
1880 y las Aplicaciones geomtricas del Clculo integral a la rectificacin de
lneas, cuadratura de superficies y cubatura de slidos en 1882- y Jos de Toro
y Snchez -con el texto de Clculo diferencial y sus aplicaciones analticas en
1894-.
En estas condiciones, el primer libro de texto de Clculo diferencial e
integral de un profesor militar escrito en el siglo XIX corresponde al tratado de
Femando Garca San Pedrol.
Cuando redact esta obra Fernando Garca San Pedro era teniente de
Ingenieros y en ella afirma que est destinada a la enseanza en el Real
Colegio General Militar -centro que se abri tras el cierre de todas la
Academias militares despus del Trienio Liberal (1820-1823) y en el que
Garca San Pedro fue profesor-. Cuando aos ms tarde volvi a abrirse la
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
M ANGELFS VELAMAZAN Y ELENA AUSETO
LLULL 16
El mtodo de los incrementos ideales se inicia con el estudio de la

variacin de una funcin f(x) cuando x toma un incremento positivo o
negativo h.
Para analizar esta variacin lo primero que se plantea es expresar de un
modo algebraico la cantidad f(x+h), de manera que la h est separada en lo
posible de las dems cantidades que compongan dicha expresin (desarrollo de
Taylor), pues de este modo es como puede formarse una idea de cmo los
diferentes valores de h pueden producir otros diferentes def(x+h).
La funcin f(x+h) debe convertirse en su funcin primitivaf(x) cuando se
haga en ella h=0; por consiguiente, su forma algebraica puede descomponerse
en dos partes o dos sumandos, de los cuales uno ser f(x), y el otro una
expresin que, para que se reduzca a cero cuando h=0, podr ser de la forma
h af(x,h); siendo a una cantidad positiva y f(x,h) una funcin que no se
convierta en cero ni en infinito para el caso h=0:
fix+ h) = f(x) + haf(x,h)
Como la funcin f(x,h), cuando h=0, no es cero ni infinito, se podr
descomponer tambin en dos sumandos: uno ser una cantidad finita A ,
funcin de x solamente, y el otro una expresin que para h=0 no se convierta
en cero ni en infinito, y que podr ser de la forma h If'(x,h), siendo C una
cantidad positiva yf'(x,h) una funcin que no puede convertirse ni en cero ni
en infinito cuando h=0:
f(x,h) = A + hf"(x,h)
Como la funcin f'(x,h) est en las mismas condiciones que f(x,h),
admite una descomposicin anloga:
f'(x,h) = B + hr(x,h)
Igualmente ocurre con f"(x,h) que podr descomponerse de la misma
manera y bajo las mismas condiciones:
f(x,h) = C + hr(x,h)
Y as sucesivamente.
LLULL 16
331
Este proceso se suceder infmitamente, o se terminar cuando se llegue a

una funcin de las designadas porf' que sea independiente de h.
Sustituyendor en f", f" en f', ren f hasta Ilegar af(x+h), se obtiene
la siguiente expresin
f(x+h) = f(x) + Aha + Bha+ + Cha+1+ + Dha+
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
Md ANGELFS VELAMAZAN Y ELENA AUSETO
f(x+k)
LLULL 16
f(x) + Akm + Bkn + CkP +Dkq +

A + A'km ' + A"kn ' + A'"kP' +Awkq ' +
>B + B' ic,"" + B"kn" + B"Y" +Blvkq " +
--> C + Ck'n"' + C"kn "' + CkP"' +Civkq '" +
D + Erkrniv + D"kniv + DkPly +DIvkqiv +
Haciendo ahoraf(x+k+h) se obtiene:

f(x+k+h)=f(x) + Akm + Bkn + CkP +Did +
+ Ahm + Almkm + A "hmkn' AhmkP ' +
+ Bhn + BInIcm " + B"hnkn"
C1Pkm"'
ChP
+ Dhq +
Igualandof(x+h+k) conf(x+k+h) se tiene (2):

f(x)+ A(h+k)m + B(h+k)n + C(h+k)P + D(h+k)q + =
f(x) + Akm + Bkn + CkP + Dkq +
+ Ahm + Almkm ' + A"hmkn ' + AhmkP' +
+ Bhn +Blnkm" + B"hnkn " +
+ ChP + CIPkm'" +
+ Dhq +
Esta igualdad se verifica cualesquiera que sean los valores de h y k. Si se
supone k=h, entonces se puede escribir:

f(x) + A2'nhm + B2nhn + C2PhP + D2 qhq + =
f(x) + Ahm + Bhn + ChP + Dhq +
+ Ahm + A'hm+m ' + A"hm+n ' + Ahm+P' +
+ Bhn + Blin+m" + B"h n+n " ...
ChP + C1P +'n"' +
+ Dhq +
Los trminos que llevan h con exponente cero son f(x), los que llevan h
con exponente m o una cantidad igual a m, teniendo en cuenta que los
exponentes son positivos y crecientes, son:
42mh'n = Ah'n + Ahm 2m=2 m=1
Como este es un razonamiento de tipo general que le lleva a determinar
como 1 el valor del primer exponente m que aparece en el desarrollo de
LLULL 16
333
cualquier funcin de x, tambin puede aplicarse a A, B, C, D, (funciones

de x) para concluir que m' = m" = m'" = = 1.
A continuacin Garca San Pedro sigue calculando cules sern los
valores de n, p, q, Ilegando a n=2, p=3 , q=4, ... etc., y anlogamente
n'=n"=n= ... =2, p'=p"=p--, ... =3, q'=q"=q".= ... =4, etc.
Para hallar . la relacin entre los coeficientes A, B, C, D,
valores de los exponentes as obtenidos en (2):
coloca los
f(x) + A(h+k) + B(h+k)2 + C(h+k)2 + D(h+44 +

f(x) + Ak + Bk2 + Ck3 + Dk4 +
+ Ah + A'hk + A"hk2 + Ahk3 +
+ Bh2 + B'h2k + B"h2k2 +....
+ Ch3 + C'h3 k +
+ Dh4 +
Desarrollando las potencias del binomio (h+k) y tomando en ambos
miembros de la igualdad nicamente los tnninos en que k est elevada a cero
o a la unidad se tiene:
f(x) + Ah + Bh2 + Ch3 + Dh4 +
+ Ak + 2Bhk + 3Ch2 k + 4Dh3k +
f(x) + Ah + Bh2 + Ch3 + Dh4 +
+ Ak + A'kh + B'h2k + C'h3 k +
+
Igualando trminos semejantes se Ilega a que:
2Bkh = A'kh
3Ch2k = B'h2 k
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
1VP ANGELES VELAMAZAN Y EI FNA AUSEJO
LLULL 16
El estudio se centra as en lo sucesivo en el coeficiente A. Garca San

Pedro empieza por darle un nombre y un signo algebraico que le distinga, el
nombre esprimer coeficiente diferncial y el smbolo 1L7c2
dx
Sobre esta eleccin, Garca San Pedro afirma:

"Hemos adoptado el nombre de primer coeficiente diferencial para la funcin
A, por acomodamos a la nomenclatura ms recibida, y hemos tomado para espresar
df(x)
(sic) algebraicamente dicha funcin, el smbolo
no slo por seguir en esta
dx
parte el uso ms generalmente admitido y para lograr adems la comodidad y
facilidad con que se presta a la nueva clase de procedimientos algebraicos que debe
hacer nacer la presente teora, sino tambin porque slo l puede servir a enlazar al
mismo tiempo los diferentes mtodos seg n los cuales se ha presentado sta hasta
el da, haciendo que todos puedan deducirse del que aqu seguimos, y tenerse por
establecidos de un modo claro y completamente riguroso" [P. 16].
A continuacin se observa que si la funcinf(x) est multiplicada por un

factor constanteN, el primer coeficiente diferencial de la funcin N f(x) es el
mismo que el de la funcinf(x) multiplicado porN.
son los primeros coeficientes
Teniendo en cuenta que B, C, D,
multiplicados por los factores
diferenciales respectivos de A, B,C,D,
11
pueden establecerse las ecuaciones:
constantes ,
2 3
d
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
Una manera abreviada de escribir estas expresiones ser poner los

quebrados simblicos:
d2f(x)
d3f(x) d4f(x)
dx2 ' dx3 dx4
LLULL 16
335
que se llamarn, por analoga con el primer coeficiente diferencial, coeficientes

diferenciales de 29, 3Q, 49, orden.
Por ltimo, sustituyendo estas expresiones de A, B, C, D,
desarrollof(x+h) se obtiene (3):
df(x)
1 df(x)
1 d3f(x) h3
f(x+h)=f(x)+ dx h + 2 dx2 h2 +
2 .3 dr?
en el
.."
Obtenida la expresin que caracteriza la variacin de la funcin f(x)

cuando x vara por los incrementos positivos o negativos h, Garca San Pedro
afirma [p. 26] que a los nuevos estados de magnitud representados por la
funcin f(x+h) se les puede dar siempre la representacin algebraica contenida
en el desarrollo (3) (Primera ley).
Seguidamente, el autor se refiere a una cierta disposicin de la cantidad
representada en general por f(x) para crecer o decrecer con ms o menos
rapidez.
Esta disposicin a crecer o decrecer de las cantidades estar medida por la
relacin existente entre los incrementos de la funcin y de su variable, de
manera que pasando al primer miembro de la ecuacin (3) el trminof(x) y
dividiendo dicha ecuacin por h, se tendr expresada algebraicamente la referida
disposicin. El incremento de la funcin f(x) se representar por df(x) y el
incremento h de su variable por dx, y como
f(x+h) - f(x) df(x) I d2f(x)
h
dx + 2 elx2
se tiene
df(x) df(x) 1 d2f(x)
+
dx +
Ax
dx 2 cl.t.2
Garca San Pedro afuma que
"es bien claro que dicha disposicidn a crecer o decrecer de las cantidades nada
tiene que hacer con los valores de los incrementos reales y efectivos que ellas
tengan, y que su medida puede ser independiente de dichos valores" [p. 27].
336
M4 ANGELES VELAMAZAN Y ELENA AUSE-10
LLULL 16
De aqu que si en la expresin anterior se prescinde de todos los trminos

en los que aparece dx, o si se supone que dx=0, resultar por verdadera medida
y expresin algebraica de la referida disposicin el primer coeficiente
diferencial.
A partir de ahora es cuando Garca San Pedro define sus incrementos
ideales de la siguiente manera:
"Para obtener esta medida que acabamos de hallar independiente de los valores
de los incrementos de la funcin y de su variable, hemos necesitado suponer, que
despus de haber tenido lugar estos incrementos reales y de haber formado una
medida general dependiente de ellos, se reducan a cero, quedndonos con aquella
parte de dicha medida general cuya existencia no dependa de la de tales
incrementos. Desde luego se ve que esta medida particular, obtenida en este
supuesto, no puede nunca ser igual a la relacin que exista entre dos incrementos
reales y efectivos de la funcin y de su variable; ms sin embargo de esta
imposibilidad, el entendimiento puede concebir y aun formar dos incrementos, uno
de la funcin y ota-o de su variable cuya relacin d esta misma medida particular;
los cuales, aunque verdaderamente ideales y diferentes de los que efectivamente
tendrn lugar segn la dependencia que la variabilidad de la funci n tenga de la de su
variable, producirn la ventaja de dar una expresin de la medida que nos ocupa, que
dependa de las variaciones de la cantidad, sino (sic) de las reales y efectivas, de
unas ideales que podrn llenar, como veremos, el mismo objeto que si fuesen
reales" [pp. 27-28].
A continuacin realiza los siguientes razonamientos para convencer de

que se pueden concebir y formar los dos incrementos ideales de los que ha
hablado.
Si en la ecuacin
f(x+h) = f(x) + Ah + Bh2 + Ch3 + Dh4 +
se pasa f(x) al primer miembro, se divide por h y se indica el incremento de la
funcin f(x+h) - f(x) por dfx, se tiene que:
df(x)
(4) A + Bzix + Ctlx2 + Ddx3 + Edx4 +
dx
Si en esta ecuacin se supone que dx, que est tomado en ella
la ecuacin anterior se transformar en
positivamente, se convierte en
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
Si en (4) se supone ahora que el incremento Ax de la variable se convierte

sucesivamente en AxTi, y en representando por d'f(x) y por d"f(x)
los nuevos incrementos de la funcin relativos a estos supuestos, podremos
obtener las siguientes ecuaciones:
47(x)
A + Bdx<71 - Cilx2 - Ddx3 + E4x4 +
tlxNI -1
-d"f(x)
- A - B4x\17 - C4x2 + D4x3 '17 + E4x4 -
dx*V -1
. Sumndolas, se obtiene
(6)
d'f(x) - d"f(x)
- 2A - 2C4x2 +2E4x4 -
Sumando tambin la (5) y (6), y dividiendo por 4, tenemos:

(df(x) - df(x)) 1F-71 + (d'f(x) - d"f(x))
(7)= A + E4x4 +
4dx7
Los dos trminos del quebrado que forma el primer miembro de esta
ecuacin son dos incrementos imaginarios o ideales, el uno de la funcin y el
otro de su variable. El denominador es un incremento de la variable, igual
al cuadruplo del imaginario 4xTJ. y el numerador es un incremento de la
funci6n, igual a la suma de cuatro incrementos particulares, unos imaginarios
y otros reales.
338
M4 ANGELES VELAMAZAN Y F1 ENA AUSEJO
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-
sucesivamente dx por Az"V -1 dx "s1 -1 , tremos disminuyendo cada vez en

'2
2
la mitad de sus trminos menos el primero A. De aqu que Garca San Pedro
afirme:
"y por consiguiente que suponiendo llevada esta operacin tan lejos como sea
necesario, podemos venir a formar, o juzgar que se forma, una ecuacin cuyo
segundo miembro sea A, y el primero la relacin entre una combinacin algebraica
de un nmero definido o indefinido de incrementos imaginarios de la funcin, que
pueden mirarse como un incremento ideal de sta, y un incremento ideal de la
variable. De este modo es evidente la existencia de la ecuacin
(8)
incremento ideal de la funci n

incremento ideal de la variable = A
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
Supuesto que en la ecuacin A = df(x)

no
dxhemos dado representaci6n alguna
df(x)
algebraica a cada tmo de los dos trruinos que forman el quebrado simblico dx
sino al todo de este quebrado, podemos muy bien hacer ahora que el numerador df(x)
represente el incremento ideal o imaginario de la funcidn f(x) contenido en el
numerador del quebrado que forma el primer miembro de la ecuacin
incremento ideal de la funcidn
incremento ideal de la variable A, y que el denominador dx represente el
incremento tambin ideal o imaginario de la variable x contenido en el
denominador del mismo quebrado" [p. 291.
Este hecho constituye para Garca San Pedro la segunda ley que rige las
variaciones de la cantidad: en este modo ideal o imaginario de variar la
cantidad, los incrementos de la funcin son proporcionales a los de la variable.
Para aplicar esta ley el camino es seguro y sencillo. Cuando se tenga una
relacin entre dos incrementos reales y efectivos, el uno de la funcin y el otro
de su variable, se deben desechar de esta relacin todas aquellas cantidades que
se opongan a que estos incrementos sean proporcionales, y entonces tales
incrementos se convierten en los ideales que dice la ley, y dicha relacin en la
medida de la disposicin a crecer o decrecer de la funcin que se considere. As
la ecuacin
,df(x)
A + Bdx + C4x2
dx
debe convertirse en:
dirx) A
dr
desechando de ella todos los trminos que en su segundo miembro se oponen a

que df(x) y dx vaden proporcionalmente4 , y haciendo despus de esto que
df(x) se convierta en df(x), y dx en dx.
A continuacin Garca San Pedro explica que la formacin de los
incrementos ideales sucesivos se obtendr por los mismos medios indicados
para formar el de primer orden.
340
Ma ANGELES VELAMAZAN Y Fl FNA AUSEJO
As
dnf(x)
drn
LLULL 16
representar por su numerador dnf(x) el incremento ideal de
orden n de la funcin f(x), y por su denominador dxn la potencia n del

incremento ideal dx de la variable x.
Garca San Pedro realiza la siguiente observacin sobre la naturaleza de
los incrementos ideales, precisando la defmicin de elemento de una cantidad.
"Elemento de una cantidad, puede decirse, es aquella parte suya infinitamente
pequeria, por la cual principia a nacer o a tener existencia, y que sirvindole como
de base a su creacidn o a su composicin, pueda obtenerse sta por la reunidn de
infinitas de dichas partes hechas de cierto y determinado modo para cada clase de
cantidad" [p. 36].
Dos son, pues, las cualidades de los elementos de las cantidades: la

prnera que son unas cantidades infinitamente pequeas, si se quiere incluso se
les podra atribuir el ltimo grado de pequefiez posible; y la segunda que la
reunin de infinito n mero de estas cantidades infinitamente pequefias pueden
formar o componer las cantidades correspondientes.
Garca San Pedro atribuye a los incrementos ideales df(x) y dx el ser
verdaderos elementos de las cantidadesf(x) y x respecvamente.
Tambin afirma que:
"nada es ms natural que ver a los incrementos ideales de las funciones
convertidos por su pequeriez, en lo que puede llamarse elementos de la cantidad.
Estos, hablando en general, no puede concebirse que sean cantidades reales y
existentes, porque a la verdad no cabe en el entendimiento que existan en la
naturaleza cantidades sirnples que no admitan el ser descompuestas en otras
cantidades; y as los elementos de stas, de cualquier modo que se les conciba, no
pueden menos de ser verdaderas cantidades ideales" [p. 38].
Por otra parte, a unos mismos smbolos df(x) y dx se les puede hacer
tornar, segn convenga, el carcter de verdaderas cantidades o el de verdaderos
elementos de cantidades. Estos dos caracteres no los puede tener al mismo
tiempo, y si se considera a df(x) como una verdadera cantidad, slo su
incremento ideal d2f(x) puede mirarse como un verdadero elemento de la
cantidad f(x).
Este situar el Clculo infinitesimal dentro del Algebra lo expresa Garca
San Pedro de la siguiente manera:
LLULL16
341
"E1 clculo infinitesimal convertido en el clculo de los incrementos ideales

que deben medir la disposicin a crecer o decrecer de las cantidades, puede tener
todo el rigor, exactitud y claridad que debe acompaar siempre a todos los
procedimientos algebraicos: cualidades que no tiene segn los mtodos que se han
seguido hasta el da para presentarle, y que no podra tener mientras fuese preciso
establecer la ecuacin df(x) = Adx por aproximacin, por ms que se empeasen en
buscar compensaciones al error que lleve consigo dicha aproximaci6n" [p. 39].
Todo parece indicar que Garca San Pedro llama a sus incrementos ideales
'en el momento en que utiliza las cantidades imaginarias -frmula (7)-. Sus
clculos vienen a justificar la posibilidad de obtener de manera algebraica el
primer coeficiente diferencial, puesto que siempre existe una cantidad
imaginaria para anular cualquier potencia del incremento dx. Desde el punto de
vista de la fundamentacin rigurosa del Clculo, sta parece ser para l una
solucin satisfactoria frente al mtodo de los l nites, cuya indeterminacin
lim Af(x) 0
repudia.
Ax->49 isx
As, Garca San Pedro presenta el mtodo de los lmites en la exposicin
del Clculo diferencial e integral, pero lo considera ms obscuro que el de los
incrementos ideales y asegura que este mtodo de los limites o ltimas razones
no debe ser la base de la exposicin del Clculo.
Para enunciar su tercera ley Garca San Pedro realiza la siguiente
consideracin, si en la ecuacin:
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
141 ANGELES VELAMAZAN Y ELENA AUSETO
LLLTLL 16
"Sobre esta ley pueden establecerse todos los procedimientos y aplicaciones

de la parte del lgebra que forma el asunto de este tratado. La marcha que seguimos
en nuestra exposicin nos har ver, que si bien esta ley es surnamente apreciable
para obtener el planteo algebraico de muchas cuestiones, y en una palabra para las
aplicaciones de la parte del lgebra que nos ocupa, no es en manera alguna
necesaria para servir de fundamento a los procedimientos algebricos que puede
decirse forman la parte terica de este ramo. No slo no es necesaria para llenar
dicho objeto, sino que cuando se la emplee de ese modo, los procedimientos
algebraicos que de ella se deduzcan no pueden menos de tener la obscuridad que es
consiguiente a haber de operar con s nbolos cuya representancin se refiere en
realidad a cero; privando al lgebra de las ventajas que debe recibir de poder revestir
a estos s nbolos de un modo claro y fcil, bien con el caracter de cantidades
finitas, o bien con el de verdaderos elementos de cantidad. Como no es nuestro
objeto criticar en este lugar la exposicin de los llamados clculos diferencial e
integral por el mtodo de los lmites o ltimas razones, no nos estenderemos (sic)
a manifestar el verdadero lugar que debe tener esta ley con respecto a los
procedimientos algebraicos, ni por consiguiente cuan distante est de deber ser la
base sobre que se funde la esposicin (sic) de dichos clculos" [pp. 39-40].
Como se ha visto, el desarrollo de la funcin f(x+ h) contiene unas

funciones A, B, C, D, etc. dependientes entre si y de la funcin primitivaf(x).
Esto da lugar a que pueda establecerse como cz4arta ley en las variaciones de la
cantidadf(x) lo siguiente:
"Toda cantidad f(x) que pasa del estado de magnitud f(x) a otra cualquiera
f(x+h), crea una serie de cantidades de n mero finito o infinito, cuya existencia est
nimamente ligada con la de aquella y dependiente de ella, cuyas formas
algebraicas podrn deducirse sucesivamente de la de aquella segn ciertos
procedimientos, y cuyos modos de ser o de existir podrn conducir al conocimiento
de los que convengan a aquella, concibiendo retrgrados los referidos
procedimientos que rigen a su formacin" [p. 40].
Garca San Pedro atribuye esta ley a Lagrange y, aunque la considera

importante para establecer con rigor toda la teora del clculo, opina que es
poco fecunda en recursos para las aplicaciones de dicha teora.
Concretamente afirma lo siguiente:
"El clebre autor [Mr. La-Grange] que bajo el nombre de clculo de las
funciones derivadas ha dado 1a esposicin (sic) de los principales procedimientos
que comprende la parte del lgebra que nos ocupa, fundando dicha esposici6n (sic)
en esta ley nicamente ha conocido bien su infecundidad en recursos para las
aplicaciones, cuando ha echado mano en su mecnica analtica de los mismos
procedimientos algebraicos que haba establecido as, pero fundados en otros
principios. La segunda de las leyes que nosotros acabamos de presentar, contiene y
contendr siempre los principios ms tiles, las verdades ms interesantes y los
LLULL 16
343
medios ms fciles y fectindos para obtener el planteo algebraico y la solucin de

todas las cuestiones a que pueda aplicarse" [p. 41].
Con el establecimiento de las cuatro leyes a que estn sujetas o pueden
sujetarse las variaciones de magnitud de la cantidadf(x), Fernando Garca San
Pedro termina la presentacin del mtodo de los incrementos ideales con el que
fundamenta su Clculo diferencial e integral.
Este mtodo cre escuela entre sus sucesores como profesores de Clculo
en la Academia de Ingenieros, que optaron por l, valorndolo por encima del
de los lmites. Ahora bien, estos sucesores no realizaron la demostracin de
Garca San Pedro de la existencia de los incrementos ideales, sino otra mucho
ms sencilla, pero inadmisible matemticamente hablando.
Hacia 1840 a Femando Garca San Pedro le sucedi Manuel Dez de Prado
en el puesto de profesor de la asignatura de Clculo diferencial e integral en la
Academia de Ingenieros. Basndose en el tratado de Garca San Pedro, Dez de
Prado redact cinco lecciones que sirvieron de texto en dicho centro y, seg n
afirma Jos de Toro [p. 6], utiliz el mtodo de los incrementos ideales.
Como estas lecciones no eran suficientes, se segua utilizando para su
complemento el texto de Garca San Pedro.
En 1853 muri Dez de Prado y le sucedi en su puesto Antonio Torner y
Carb. En el ao 1864 este profesor present al Concurso anual de premios
para memorias escritas por oficiales de Ingenieros un trabajo titulado
Elementos de Clculo Inte_gral con el que consigui el primer premio.
Posteriormente esta memoria5 fue declarada libro de texto en la Academia.
El prximo libro de texto de clculo escrito para los alumnos de la
Academia de Ingenieros fue debido al profesor Alejandro Beln y Torres. En
1876 Beln redact un texto de Ckulo Diferencial afladiendo ocho lecciones a
las cinco anteriormente citadas de Dez de Prado.
Beln afirma [p. VII] que con su texto no ha pretendido ms que llenar el
vaco que exista entre las lecciones de Manuel Dez de Prado y la memoria de
Antonio Torner completando el Clculo diferencial de Manuel Dez de Prado.
Trece son pues las lecciones que componen el texto de Alejandro Beln.
En su primera leccin queda ya establecida la exposicin del Clculo bajo el
ttulo Definiciones. Disposicin variar de las funciones; medida de esta
disposicin; desarrollo de una funcin Variable en forma finita; primer
coeficiente diferencial; explicacin suya por los incrementos ideales.
344
141 ANGELES VELAMAZAN Y ELENA AUSETO
LLULL 16
Tras las definiciones de cantidad constante, variable y funcin, Beln trata

el tema de la disposicin de las funciones a crecer o decrecer, considerndolo
como un tiecho propio, peculiar. y determinado. Al igual que dos rboles
idnticos plantados al mismo tiempo y en el mismo lugar son de diferente
tamarlo pasado alg n tiempo, lo que prueba que en cada uno de ellos exista
mayor o menor disposicin a crecer, las cantidades variables tienen una
disposicin a crecer o decrecer que le es propia, que est enlazada intimamente
a su esencia, y que las caracteriza y sirve para distinguirlas y determinarlas.
La cuestin siguiente es, dada la importancia de la referida disposicin,
cmo lograr un medio seguro de medirla y conocerla, lo que conduce
naturalmente al planteamiento de la expresin algebraica del nuevo estado de
magnitud F(x) cuandox vara de un modo determinado.
Por el mismo razonamiento de Fernando Garca San Pedro, Beln llega a
que si x se incrementa en una cantidad h, entonces
(9) F(x+h) = F(x) + Alr + Bhn + ChP +
De esta expresin slo le interesa de thomento el valor de m y, de manera
idntica a Garca San Peclro, obtiene m=1. A continuacin pasa de la ecuacin
(9) a:
F(x+h) - F(x) = Ah + hnf(x,h)
Como el primer miembro representa el incremento de F(x) lo expresa
bajo el smbolo Y-F(x) y divide por h:
(10)
PF(x)
h A+ hn-lf(x,h)
Haciendo h=rh', siendo r y h dos nmeros cualesquiera, obtiene:

YF(x)
(11)
r
h'
A + (rh7-1 - f(x, rh')
Beln afirma que para que el segundo miembro de la ecuacin anterior

mida la disposicin a crecer o decrecer de la cantidad variable F(x), ste debe
ser independiente de h; luego no debe existir el segundo trmino o debe
verificarse que:
LLULL 16
345
(12) (r h9 n-1 f(x, rh') = 0

Esta ecuacin podr verificarse exactamente si h = 0 6 si f(x, h') = 0,
y sensiblemente cuando h' sea infinitamente pequeo. Lo que a continuacin
realiza es la exposicin de cada uno de estos tres casos:
- Si la ecuaci6n (12) se verifica por ser h'=0, la cantidad A medir la
0
disposicin a crecer o decrecer de F(x), pero ser A= y expresar la razn
0
entre el incremento cero de la funcidn y el incremento cero de la variable. No
trata el caso r=0 porque entonces el numerador del primer miembro de la
ecuacin (11) sera infinito.
- Si la ecuacin (12) se verifica sensiblemente por suponer el incremento
h' infinitamente pequeo, tambin A medir la disposicin a crecer o decrecer
de F(x) y representar la razn entre dos incrementos infinitamente pequeos,
el uno de la funcin y otro de su variable.
- Por ltimo, si la ecuacin (12) se verifica por el valor de r deducido de
la ecuacinf(x, h') =0, en general trascendente, ser A la verdadera medida de
la disposicin a variar que tenga F(x) y representar la relacin entre dos
incrementos ideales o imaginarios, el uno de la funcin y el otro de su
variable; porque siendo el valor de r imaginable o ideal por deducirse de la
Y.F(x)
ecuacirif(x, rh')=0, en general trascendente,
o el incremento de la
h
funcidn ser tambin imaginario, y el incremento h'. lo ser tambin como
cociente de cantidades reales y cantidades imaginarias.
Tras este anlisis realiza una valoracidn sobre cul de las tres hiptesis
anteriores es preferible a las dems. En el primer caso se trabaja con cero o la
nada,faltando esencialmente a las preciosas cualidades de la claridad y rigor
matemticos. La segunda encierra la idea vaga e inexacta de los infinitamente
pequeos, y destruye la exactitud de la ecuaci6n (11). La tercera carece de todos
los vicios inherentes a estas dos ltimas hiptesis, y se conforma del modo
ms sadsfactorio a las verdades rigorosas de las matemticas, y adems la
ecuacidn (11) es exacta. Por ello, tendremos sobrado motivo para concluir que
este tercer supuesto, hijo de un feliz artificio anal ico debe preferirse a los
otros dos en todo cuanto haga referencia a la cantidad A, que es el objeto
exclusivo y nico de esta vasta ciencia Ilamada clculos [pp. 12-13].
346
M ANGELFS VELAMAZAN Y ELENA AUSEJO
LLULL 16
Finalmente Beln concluye el captulo primero de su texto exponiendo

con toda claridad el procedimiento para calcular el primer coeficiente
diferencial:
incremento ideal de la funcin
dF(x)
"De ser la cantidad A = .incremento ideal de la vari able d
= x se sigue
que en este modo ideal de variar la cantidad, los incrementos ideales de la funcin
son proporcionales a los ideales de la variable, siendo su razn igual a la cantidad
que mide su disposicin a variar; por consiguiente, el mtodo que ha de seguirse en
cada caso particular para determinar el primer coeficiente diferencial es uniforme;
hllese la relacin entre dos incrementos reales y efectivos de la variable y su
funcin, deschense todos aquellos trminos que se opongan a la proporcionalidad
de dichos incrementos y nos quedar el primer coeficiente diferencial o razn entre
los dos incrementos ideales: a medida que nos vayamos encumbrando iremos
descubriendo nuevas ventajas de este mtodo de los incrementos ideales.
Convertido as el clculo analtico infinitesimal en el de los incrementos
ideales que miden la disposicin a crecer o decrecer de las cantidades, veremos que
tiene todo el rigor y fecundidad que conviene en las matemticas" [p. 13].
Parece claro que la exposicin de Beln representa un claro retroceso

respecto de Garca San Pedro, de quien toma denominaciones y algoritmos
para el clculo diferencial, sin considerar ms que nominalmente los aspectos
del rigor y la demostracin. En el ltimo cuarto del siglo XIX sus
injustificadas consideraciones sobre el uso del cero o sobre la trascendencia de
las funciones, expuestas en tono de probada irrefutabilidad slo pueden ser
calificadas de brbaras y no tienen justificacin alguna desde el punto de vista
de una posible simplificacin pedaggica.
Con Alejandro Beln no termin la utilizacin del mtodo de los
incrementos ideales: el siguiente profesor que redact un texto de Clculo,
Antonio Vidal y R a, continu con esta tradicin. En los afios 1880 y 1882
se publicaron respectivamente su Aplicacin del Clculo Diferencial a la
Teora de Lneas y Supetficies y sus Aplicaciones geomtricas del Clculo
Integral a la rectzficacin de lneas, cuadratura de supelficies y cubatura de
slidos. Vidal bas sus dos obras en los textos de Clculo diferencial de Beln
y del Clculo integral de Torner debido, como el mismo argumenta [1880, p.
VI], a la necesaria unidad en la ensefianza.
Finalmente -y teniendo en cuenta que en este trabajo slo se analiza el
siglo XIX-, en el afio 1894 Jos de Toro y Snchez escribi un texto titulado
Clculo Diferencial y sus aplicaciones analticas, tambin basado en los
incrementos ideales.
LLUIL 16
347
La leccin primera de este texto se titula Funciones. Variabilidad de las

funciones. Primer coeficiente chferencial. Diferenciales, y en ella se realiza una
exposicin del mtodo de los incrementos ide,ales anloga a la efectuada por
Alejandro Beln y en la que se compara este mtodo -atribuido a Fernando
Garca San Pedro- con el de los infinitamente pequeos -atribuido a Leibnitzy con el de los lmites -atribuido a Newton-. En una eleccin corporativista, el
mtodo del militar espatiol resulta ser el mejor.
En esta primera leccin de fundamentacin del C.lculo diferencial, Jos de
Toro no menciona en ning n momento a Cauchy -aunque conoce su trabajo,
puesto que en la leccin VIII, sobre el desarrollo de las funciones en serie,
estudia la forma del resto debida a Cauchy-. Es ms, en el prlogo de su libro
Jos de Toro afirma que para la elaboracin de su trabajo ha tenido a la vista
las obras de Bertrand, Laurent, Edwards, etc. [p. 7] -concretamente Bertrand
haba sido profesor de anlisis de l'Ecole Polytechnique desde 1856 hasta
1894-, luego conoca la forma de exposicin triunfante del Clculo; sin
embargo, continu con la tradicin de la explicacin de esta disciplina en la
Academia de Ingenieros. Esta tradicin s se vio afectada, en cambio, en lo
referente a los mtodos de exposicin: de los siete textos de clculo que se han
citado -excluyendo el de Dez de Prado, que deba ser manuscrito y no se ha
encontrado- el nico que est redactado siguiendo el mtodo de pizarras es el de
Garca San Pedro.
Hasta aqu, pues, se ha descrito cmo los profesores de este centro
exponan los fundamentos del Clculo diferencial. A partir de este nexo comn
se va a analizar lo que los sucesivos profesores fueron aportando con la
redaccin de sus propios libros de texto, tomando para ello como punto de
partida el tratado de Femando Garca San Pedro.
En el captulo II Garca San Pedro expone las reglas para calcular los
coeficientes diferenciales sucesivos de las funciones de una sola variable. Para
ello empieza por las funciones simples o elementales, y en primer lugar con
las potencias de la forma z=xm.
Garca San Pedro aplica a la funcin z=xm los dos desarrollos establecidos
en el captulo anterior, llegando as a las siguientes ecuaciones:
1 d2z
dz
(13) (x+h)m = xm + h + h2 +
2 dx2 ***
dx
(14) (x+hr = xm + Ah + Bh2 +
348
144 ANGELES VELAMAZAN Y FI ENA AUSEJO
LLULL 16
Haciendo x=1 en la ecuacin (14) los coeficientes A, B,

se convierten
en las cantidades finitas A', B',
diferentes de cero e independientes de h y
resulta:
(1 +h)m =1 +A'h+B'h2+...
Como los coeficientes A', B no dependen de h, deben depender de m,

puesto que h y m son las nicas variables. Escribiendo A'=F(m) la ecuacin
anterior se transforma en:
(1 + h)m = 1 + hF(m) +
h
En vez de h coloca y resulta:
h
1+h
)m = 1 + F(m) +
x
x
Multiplicando por x'n:

(15) (x+h)in = x'n + x1n- 1 hF(m) +
Dando a m un incremento cualquiera representado por m' obtiene:

(16) (x+h)m+m. = x'n+ 'n ' +
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) +
Multiplicando ordenadamente las ecuaciones (15) y (17):

(18) (x+hri-m. = . 147149n. +
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)
Aplica a la funcin F(m+m') su desarrllo correspondiente dando a m' y

m el papel de x y h, respectivamente y escribe:
LLULL 16
349
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
d2F(m) d3 F(m ')

,
dm ,3
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
Mi ANGELES VELAMAZAN Y ELENA AUSEJO
LLULL 16
Lacroix parte de que la diferencial del producto de dos funciones se obtiene

multiplicando cada funcin por la diferencial de la otra y sumndolas.
duv = udv + vdu

Si se dividen los dos miembros por la funcin primitiva uv, se obtiene:
duv du+dv
uv u v
Aplicando este resultado a un logra lo siguiente:
dun ck4+du du
(n veces)
un u u u
Luego
du
un = n
dun
De donde concluye que:
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
le aplica el desarrollo correspondiente y forma la
z h2 1 cf? z "
h
2
dx 2 dx2 73
Escribe:
ax+h = ar ah,
pone (1 +b)h en vez de ah para obtener:

ax+h = ax (.1 +b)h
LLULL 16
351
y como (1 +b)h es la funcin estudiada en el apartado anterior:

ar+h = (1 + hb +
b2 + 11(12-1 ) (11-2) b3 + )
Efectuando las operaciones indicadas en la ecuacin anterior

b2 b3
ax+ h = ax + (b - + - + ) h +
2 3 4
y cambiando b por su igual a-1:
ar+h = crz + ((a-1)-
(a-1)2 + (a-10 (a-1)4

+ ) h+
2
3
4
Llamando K a la expresin:
(a-1)-
(a-1)2 (a-1)2 (a-1 )4

+
+
2
3
4
se sigue que:
(23)
ax+ h =
ax + Kaxh +
Por ltimo, comparando el desarrollo (22) con el (23) llega a la

conclusin de que:
dz
= Kaz
dx
Por lo tanto
"el primer coeficiente diferencial de toda funcin esponencial (sic) z=ax, es
igual a la misma esponencial (sic) a x multiplicada por un factor constante K, que en
cada caso particular depender de la base a que se considere " [p. 57].
Teniendo en cuenta esta regla puede formar todos los coeficientes
diferenciales sucesivos:
7
(Pz
1-t2- = K2ax
MIANGELES VELAMAZAN Y Fl FNA AUSEJO
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
+
K. Para ello escribe la
+...),
divide por ar:

ah
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
Luego a l/h = e y tomando logaritmos K
log a
log e'
Para calcular la derivada de la funcin exponencial z=ax Lacroix, en su

Trait de Calcul Diffrentiel et de Calcul intgral [pp. 31-33], realiza un
anlisis bastante parecido a Garca San Peclro, pero utilizando el concepto de
limite -concepto sobre el cual Lacroix bas el clculo-.
Lacroix considera la funcin exponencial u=ax y arladiendo a la variable x
el incremento dx, coloca el siguiente cociente de incrementos:
ax+dx ax adx - 1)
dx
ar
sustituye a por por
dx
1 +b y desarrolla en potencias de 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
A continuacin, Lacroix dice que si se hace dx=0 en el segundo miembro

de esta ecuacin, quedar por el l nite:
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
a-1 (a-1)2 4.(a-10

1
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
M4 ANGELES VELAMAZAN Y ELENA AUSEJO
LLULL 16
"Consiste en encontrar la relacin entre dos incrementos reales y efectivos de

la funcin y de su variable; desechar luego todos los terminos que se opongan a la
proporcionalidad de dichos incrementos, que sern todos los trminos en que
entren por factor el incremento de la variable: de este modo, se habrn convertido
los incrementos reales en ideales, y la razn de estos dos incrementos ideales nos
dar el primer coeficiente diferencial" [p. 29].
Despus toma la funcin y=x1n , a x le da el incremento h y designa por k

el de la funcin:
y+
k = (x+hr
A continuacin desarrolla el segundo miembro por la frmula del

binomio:
y
+ k = x'n + mh
1 +m(171-1)h2xm-2
divide el incremento de la funcin, y+k-xm por h:
mx'n- 1 + m(m-1) hxm -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
Veamos a continuacin el clculo que Alejandro Beln realiza del

coeficiente diferencial de la funcin exponencial.
En la funcin ax le da el incremento h a la variable x y considera la
relacin de incrementos de la funcin y de la variable:
Yax
ax(ah-1)
Yx
Beln afirma que el segundo miembro de esta ecuacin no determinar el

primer coeficiente diferencial pedido mientras no sea independiente de h; luego
ser constante el factor que multiplica a a x y Ilamndolo k, obtiene:
LLULL 16
355
dav
-c-r
x = kal
A continuacin determina el valor de k:
k=
ah-1
h
de donde ah = 1 + kh, y escribiendol en vez de h obtiene:

ahlk = i + h
h
- log a = log (1 +h)
k
Despejando K, llega a que:

k-
log a
log a
1
- log (1 +h) log 1+h
h
y teniendo presente que:
417-h.1
1
+1 +1-+L+...=2718251...=e
2 6
ser
k-
loka
log e
Como se observa en los textos de Beln y De Toro el mtodo de los

incrementos ideales no era ms que un feliz arufico de clculo 6 que les
permita obtener la derivada de forma distinta a la del mtodo de los lmites.
., Analizados los procedimientos de clculo del coeficiente diferencial en los
diversos autores hasta aqu considerados se ve como los ingenieros militares
espaibles defendieron y cultivaron su propio mtodo particular. Sin embargo,
conviene distinguir entre Garca San Pedro y sus sucesores. Garca San Pedro
aparece como un matemtico profundo conocedor de los desarrollos del
Paradigma Lagrangiano7, sensible a la problemtica de la fundamentacin y el
rigor del Clculo al que nicamente se le puede reprochar su inadvertencia de la
importancia de los trabajos de Cauchy como punto de partida del nuevo
356
Mir ANGELES VELAMAZAN Y ELENA AUSEJO
LLULL 16
Paradigma Hilbertiano 8 en sus obras posteriores y, sobre todo, tras su visita a

Pars de 1838. Esta ignorancia de la nueva fundamentacin del Clculo en los
sucesores de Garca San Pedro es, conforme avanza al siglo, cada vez menos
disculpable. En su descargo, y sobre todo en el de Garca San Pedro, cabe
considerar las dificultades que la introduccin del moderno Anlisis
infinitesimal tiene en la misma Francia. As, Nicole y Jean Dhombres
destacan como, en parte por razones polticas, la gran novedad de los cursos de
Cauchy no tuvo un impacto inmediato en los manuales al uso en las aulas. El
xito de los mediocres Elments de calcul diffrential et intgral de Boucharlat,
que suponan un retroceso incluso respecto del Trait lmentaire du calcul
dzffrentiel et du calcul intgral de Lacroix -a caballo entre Euler y la teora de
lmites-, o la competencia que el poco analtico libro de Bzout Cours de
mathmatiques l'usage des gardes du pouillon et de la marine [Pars, 17641769] hizo al propio Lacroix a lo largo de todo el siglo XIX son buena prueba
de ello9.
En lo que respecta a los desarrollos tericos del Clculo diferencial,
Alejandro Beln y Jos de Toro fueron los sucesores de Garca San Pedro. A
grandes rasgos el texto de Beln no presenta grandes diferencias respecto del de
Garca San P,edro. En cambio, Jos de Toro s introdujo nuevas teoras: en la
leccin V desarroll el tema, no presente en los autores anteriores, de los
determinantes funcionales y las funciones de variable compleja o imaginaria;
dentro de los determinantes funcionales estudia el jacobiano y hessiano de un
sistema de funciones, el teorema de Bertrand, el jacobiano de un sistema de
funciones de funciones y el jacobiano de las funciones inversas.
Tambin el texto de Garca San Pedro influy en el manual de Clculo
Integral redactado por Antonio Torner.
Ambos autores utilizaron la denominacin defunciones indefinidas para
el generalmente llamado Clculo de variaciones.
Garca San Pedro presenta dicho clculo de la siguiente manera:
Si se supone que z vara por las variaciones de x en f(x,z) y que est
indeterminada la relacin algebraica que existe entre estas dos variables, se
verificar que z ser de forma indefinida con respecto a x y que los incrementos
positivos o negativos de x producirn otros positivos o negativos en z, que
sern indeterminados hasta que no se haga desaparecer la indefinicin de la
funcin z fijando la relacin que exista entre ella y x.
Garca San Pedro denomina a esta clase de funciones, como la z
anteriormente considerada, con el nombre defunciones indefinidas.
LLULL 16
DE L4GRANGE A CAUCHY
357
A continuacin concreta como pueden aplicarse las cuatro leyes

establecidas en el primer captulo a esta clase particular de cantidades,
llamando ahora a los incrementos ideales incrementos ideales indefinidos o
bien dij'erenciales indefinidas.
Depus aade:
"Hasta ahora se conoce la teora que forma el asunto de este captulo, con el
nombre impropio de clculo de las variaciones, y se han llamado variaciones a los
incrementos ideales que yo acabo de nombrar indefinidos. Respeto, como he dado
entender en otros parages (sic) de esta obra, los nombres que la ciencia tiene ya
admitidos, y que se hace un uso general, y soy de parecer, que sin una necesidad o
sin que resulte de ello conocidas ventajas, no deben alterarse; pero en el caso
presente creo indispensable variar los ya referidos, porque su significaci n no est
en mariera alguna en armona con las ideas que deben espresar (sic). De este modo
llamar en lo sucesivo la presente teora, teora diferencial de las funciones
indefinidas, seg n indica el encabezamiento cle este captulo; y los incrementos
ideales que se refieran las funciones que ella abraza, los distinguir con el nombre
que ya va espresado (sic)" [p. 207].
Y termina este captulo con el siguiente comentario:

'Todo lo que llevamos dicho en este captulo, prueba que la aplicacin de los
principios y procederes del clculo diferencial a las funciones indefinidas, se hace
del mismo modo que si fuesen funciones cualesquiera de dos o ms variables
independientes, y por los mismos medios ya establecidos para las funciones en
general; teniendo siempre presente el concepto de indefinicin sobre que se
procede, por el cual las variables se miran como independientes, y las pocas y
sencillas observaciones a que da lugar este concepto. Solo una confusin de ideas
que no ha permitido ver claramente todo el campo hasta donde se estiende (sic) la
teora que hemos establecido en el primer captulo, ha hecho que al mal llamado
clculo de las variaciones se considere en cierto modo como independiente del
clculo diferencial, y se le haya querido dar una metafsica particular,
constituyndole ms bien como un medio particular de resolver ciertos problemas
de mximos y mnimos, que como la teora de una cierta especi de cantidades o
funciones. Nosotros tendremos lugar de observar en la mecnica, que esta teora de
las funciones indefinidas, simple y fcil, por estar completamente ligada a la teora
diferencial de las funciones en general, puede aplicarse, no solo a la resoluci n de
cuestiones de mximos y mnimos, sino tambin a todas aquellas cuyo planto y
solucin algebraica pueda o deba depender de los principios generales del clculo
diferencial, y que versen sobre funciones que tengan el carcter de indefinidas" [p.
211].
Antonio Torner, en su captulo XX, tambin desarroll la Teora de las
funciones indefinidas, y sobre esta denominacin dice:
358
M1ANGELES VELAMAZAN Y ELENA AUSEJO
LLULL 16
"Esta teora de las funciones indefinidas es conocida generalmente con el

nombre de Clculo de las variaciones, habiendo admitido nosotros la primera
denominacin que fue dada por el serior D. Femando Garca San Pedro, brigadier que
fue del Cuerpo de Ingenieros, por ser ms propia, seg n manifiesta este autor en su
Tratado de Clculos Diferencial e Integral al ocuparse de este asunto" [p. 338].
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
359
Garca San pedro define la curvatura de una curva plana a travs de la

curvatura de.1 crculo osculador -crculo que en un punto de la curva forma con
la recta tangente un ngulo igual al de la curva con la misma tangente-. A
continuacin analiza algebraicamente esta situacin e indica que considerando
en una curva dos tangentes consecutivas correspondientes a dos puntos muy
prximos el ngulo que formasen entre s estas dos tangentes podra medir la
curvatura de la curva en esa zona considerada; otro proceclimiento sera medir la
diferencia que hubiese entre el ngulo de la primera tangente con el eje X,
dz
representado por y el de la segunda tangente con el mismo eje. Esta
diferencia de los dos ngulos, a su vez, podra considerarse como un
incremento o decrecimiento del primero de ellos, al pasar del primer punto de
contacto al segundo. Despus aade:
"Este paso, que no puede efectuarse real y verdaderamente, por ser imposible
marcar y determinar la diferencia de las abscisas correspondientes a estos dos
puntos inmediatamente prximos, puede verificarse idealmente, concibiendo un
dz
dx correspondiente a un
incremento ideal del primer ngulo, representado por d
incremento tambin ideal dx de la abcisa x. La ecuacin que encerrar la relacin
dz
entre estos dos incrementos ideales del rtgulo y de la abcisa, ser la d
dx = Bdx; y
dz
dx y dx son completamente indeterminadas, y
como en esta las dos cantidades d
podemos atribuirles todos los valores que queramos, podemos tambin suponer que
la primera de ellas sea la diferencia efectiva que haya entre el ngulo de la primera
tangente con el eje (x) y el de la tangente consecutiva e inmediata con el mismo
dz
dx puede medir la curvatura de la
eje; por consiguiente dicho incremento ideal d
curva en el paraje que se considere" [p. 292-2931.
Para poder trabajar con esta medida, eludiendo el inconveniente del
carcter ideal o imaginario que posee, Garca San Pedro considera que un
crculo que pase por el punto de la curva en cuestin, que tenga all la misma
tangente que la curva y para quien se verifique que la medida ideal de su
curvatura sea la misma hallada para la curva, tendr la misma curvatura que
sta; y como en el crculo la curvatura puede medirse por la longitud de su
radio, la de la curva podr referirse a esta medida que ya no ser ideal o
imaginaria. El crculo en quien todo esto se verifica es el osculador; de aqu
concluye que el radio de este crculo puede ser, y es en efecto, la medida de la
curvatura de las lneas curvas [p. 2931.
360
1VP ANGELFS VELAMAZAN Y ELENA AUSEJO
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].
El clculo de la curvatura lo realiza del siguiente modo:

Sea la curva AB (fig. 1) de la ecuacin y=f(x). Para hallar la curvatura en
uno cualquiera de sus puntos M medir la variabilidad del ngulo e comparada
con la variabilidad arbitraria del punto M sobre la curva. Para esto da a la
abcisa OP=x un incremento ideal dx, obteniendo el MM que adquiere la curva
de
y que designa por ds; obteniendo tambin la expresin de la relacin
ds
medir la curvatura en el punto M.
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
361
p p
Figura 2
Vidal comenta que este incremento PP siempre puede ser lo bastante

pequeo para que el arco MM'=Is vuelva su concavielad hacia un mismo lado y
no corte a la tangente MT. En este caso la longitud del arco MM' estar
comprendida entre la de la cuerda MM' y la de la lnea quebrada MTM' y as
escribe:
> cuerda MM'
(24)
arc MM'
< MT + TM'
A continuacin determina las magnitudes MM', MT y TM'.

Para MM' tiene:
MM' = I x2 + Iy2
Para hallar MT observa que del tringulo MT7V obtiene que:
MT = MN 2 + TN2
362
M4 ANGELFS VELAMAZAN Y ELENA AUSETO
Como MN es igual a Ix y
TN = MN tangTMN = lx c-11
dx
se tiene:
MT ="\I Ix
2
+ (Ix
dy. 2
dx)
Por ltimo, para TM'encuentra que:

TM' = TN - M'N = - 41 - Iy
dx
Sustituyendo estos valores en la expresi n (24) obtiene que:
>
Ix
Is
<
Iy
lx2
+ (Ix dj)2 + lx41-ly

dx
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
ds = +dx -\/ 1 + d-92 = +< dx2 + dy2

dx
Una vez finalizada la determinacin de ds, Vidal afirma que a esta

expresin tambin poda haber llegado fundndose en la consideracin de los
lmites. Para ello, en la misma figura 2 antes propuesta, Vidal toma un punto
M prximo a M y escribe que:
cuerda MM' = +< MN2 + M'N2 = +< 1x2 + 1y2
A continuacin considera que M' se aproxima indefinidamente a M y la

igualdad anterior se seguir verificando, pero en el lmite la cuerda MM' se
confundir con un elemento de la curva y su longitud ser igual a ds, y los
catetos MN y M'N sern respectivamente dx y dy, con lo que se Ilegar a la
misma frmula (25) antes enunciada.
Sobre este hecho Vidal realiza el siguiente comentario:
"Esta demostraci6n, aunque sencilla, no es en cambio tan rigorosa (sic) como
la que hemos dado; sirt embargo, conviene conocerla causa de su grandsima
sencillez, y ser de mucha aplicacin la f&mula ds = dx 2 + dy 2 " [pp. 26-27].
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.
Para ello parte de la expresin:

tang e =
que pone bajo la forma

e = arc (tang = /x)
Diferenciando
364
M4 ANGELES VELAMAZAN Y ELENA AUSEJO
(26)
de = d arc ( tang =)

dx .1
LLUI.L 16
d21 dx
dx2
d dx
(41)2
Dividiendo la expresin (26) por la (25) obtiene:

(Py
de
Curvatura en el punto M -
dx2
(i + (db2)3/2
ds
El doble signo del valor de la curvatura proviene del de y ste de que

el arco s crezca o de,crezca para el valor positivo
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
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
cantidades que varan por incrementos positivos o negativos de sus variables

componentes, o sea Clculo diferencial e integral. El libro de Boucharlat
consultado, Elementos de Clculo diferencial e integral es la traduccin, como ya
se ha dicho, del ingeniero de caminos, G. del Campo de la cuarta edicin franc,esa,
publicado en Madrid en 1830. La primera edicin de este libro es de 1810, lo que
sigrfica que nos encontramos con dos obras, de las que la francesa es anterior a la
espaola y adems ms moderna. Veremos que, a pesar de la posterior edicin del
texto espaol, su contenido es ms anticuado que el francs. La responsabilidad de
esta seleccin poco adecuada de las obras recae sobre los que juzgaron y sobre
quienes eligieron el tribunal que seleccion los libros y ambos criterios, los del
tribunal y los del Ministerio, fueron los fracasados principalmente" [p. 57].
Para empezar, la traduccin de Gernimo del Campo es del ao 1834, y la

cuarta edicin francesa es de 1830, en la que Boucharlat, como l mismo
afirma, completa y aade nuevos temas a sus ediciones anteriores, luego no
nos encontramos con dos obras, de las que la francesa es anterior a la espaola,
sino al revs.
Ms adelante Ganna contin a:
"Es decir, que aun siendo obras prcticamente contemporneas, la espaola
evidencia un contenido anticuado, no slo con respecto al libro francs, sino con
respecto a la matemtica que se hace en ese momento" [p. 58].
" Desde luego Garma no se ha ledo pausadamente el libro de Garca San
Pedro, de lo contrario no se puede entender este dictamen. Si se tiene en cuenta
el concepto de banda de modernidad definido por Hormign il como un cierto
entorno en el que se instalan las comunidades matemticas y en el que pueden
intercambiar posiciones sin salirse de l, el texto de Garca San Pedro no es en
absoluto anticuado. Como se observa por su libro, Garca San Pedro conoce
los trabajos de Leibniz, Newton y Lagrange, como ocurre con Boucharlat
-quien en el pn5logo de su obra termina su relacin de matemticos igualmente
con Lagrange-, pero adems Garca San Pedro reflexion y discurri sobre la
fundamentacin del anlisis -tema clave en esos momentos- y cre un mtodo
que, aunque imperfecto -como ocurra con todos los mtodos de esa misma
poca, incluido el de Boucharlat- funcionaba -como todos, para funciones
desarrollables en serie de Taylor-. Indudablemente Garca San Pedro no era
Cauchy, pero la publicacin de su obra coincidi prcticamente con los
trabajos en los que Cauchy fijaba definitivamente las bases del nuevo anlisis.
Por lo tanto, en el sentido de reflexionar sobre la fundamentacin del anlisis,
el texto de Garca San Pedro fue modemo.
366
1VP ANGELES VELAMAZAN Y ELENA AUSEJO
LLULL 16
Finalmente Ganna, tras analizar nicamente la definicin de derivada en

ambos autores, termina con un juicio absolutamente severo y
desproporcionado del autor espaol:
"Despus de leer los dos textos, sacamos como conclusiones claras que: 1) el
texto de San Pedro es rebuscado, especulador, in til hasta el punto de que se puede
considerar difcil sacar una idea clara de qu es la derivada de una funcin de una
variable real, y 2) el texto del francs e,s didctico y breve, pues aun cuando todava
nos se tena muy clara la forma de la definicin de la derivada, sta saban exponerla
bien. El contenido matemtico de los textos es el mismo hasta la ltima pgina,
por lo que las observaciones son vlidas no slo en la parte confrontada, sino para
toda la obra. Una de las cosas que hace ms ineficaz el texto espaol es que separa
las frmulas y las ecuaciones del texto general, colocndolas al fin de cada
capt-ulo, con lo que se hace dos veces ms difcil seguir las explicaciones" [p. 61].
No es de gran rigor la generosa extensin que Garma aplica a todo el

texto de Garca San Pedro tras el estudio de una definicin, ni tampoco la
contradiccin comparativa segn la cual el contenido del texto de Garca San
Pedro es a la vez anticuado e idntico respecto del de Boucharlat. Por otro lado,
la separacin de las ecuaciones y frmulas del texto vuelve a incidir en el tema
de la modernidad. El mtodo de pizarras era una influencia de la Escuela
Politcnica francesa: hablar en este primer tercio del siglo XIX en Espaa del
conocimiento y puesta en prctica de un mtodo de enseanza de los
politcnicos no parece nada despreciable.
Con la inclusin de este estudio comparativo realizado por Garma
terminan en este trabajo las referencias al texto de Garca San Pedro, ya que el
breve anlisis que a continuacin se realiza sobre el C.lculo en la Academia de
Artillera va a tener sus propios redactores de manuales para la enseanza, y
artilleros e ingenieros no parecen mantener ning n tipo de contacto sobre este
hecho.
Los artilleros, a principios del siglo XIX, utilizaban en su enseanza el
texto de Clculo diferencial e integral de Pedro Giannini, cuya primera edicin
corresponde al ao 1795. Posteriormente, en el Plan de estudios del ao 1819,
los textos aconsejados para la enseanza de las distintas disciplinas
matemticas fueron los de Lacroix. Como el texto de Clculo diferencial e
integral de Lacroix estaba sin traducir utilizaban I2 el de Mariano Vallejo, hasta
que en el ao 1829 se edit el clculo de Jos de Odriozola.
El Clculo diferencial e integral formaba parte de una obra matemtica
ms amplia, siendo concretamente el tomo IV del Curso completo de
Matemticas Puras escrito por Odriozola, cuyos tres primeros tomos -que
contenan el primero la aritmtica y el lgebra elemental, el segundo la
LLULL 16
367
geometra eleme ntal y la trigonometra y el tercero el lgebra sublime y la

geometra analtica- haban empezado a publicarse en 1827.
En el Clculo diferencial e integral de Odriozola, basado

fundamentalmente en Lagrange, se pueden distinguir cuatro apartados: el
clculo diferencial, las aplicaciones geomtricas y analticas del clculo
diferencial, el clculo integral y el clculo de variaciones.
Mayor cambio representa, con relacin a los autores hasta aqu
considerados de Clculo diferencial, el siguiente artillero que escribi6 un libro
sobre esta disciplina en el ao 1851: Francisco Sanchiz y Castillo. Sanchiz y
Castillo, en su definicin de derivada, ya ha asimilado el trabajo de Cauchy.
El cambio que supone Cauchy en el Clculo lo expresa Belhoste"
claramente en el libro que realiza sobre este matemtico:
"Le Rsum des lecons donnes l'Ecole Roy. ale Polytechnique sur le calcul
infinitsimal de 1823 appliquait les concepts fondamentaux de limite, d'infiniment
petit et de continuit au calcul diffrentiel et intgral. Le concept-cl tait celui de

drive d'une fonction continue d'une variable relle f(x), c'est- -dire la limite du
rapport aux diffrences [f(x+h)-f(x)1/h quand h tend vers 0, note f(x) d'aprs
Lagrange. Cauchy ne mettait pas en doute que cette limite existe quand f est
continue; en d'autres termes que toute fonction contirtue est drivable. La dfinitin
de la drive par Cauchy est identique celle du coefficient diffrentiel donne par
Lacroix mais le contexte est tout diffrent. Pour Lacroix, toute fonction est
dveloppable en srie entire et c'est ce dveloppement qui permet de calculer
effectivement le coefficient diffrentiel, c'est- -dire le coefficient du second terme
de la srie. Dans le Calcul infinitsimal de 1823, le mthode des limites permettait
non seulement de dfinir mais aussi de calculer la drive. Cauchy donnait des
rgles de calcul, par exemple pour le calcul de la drive d'une fonction compose.
De la notion de drive, il dduisait ensuite celle de diffrentielle df(x) d'une
fonction d'une seule variable f(x), gale f(x)dx o la diffrentielle dx est une
constante quelconque.
En introduisant le calcul diffrentiel par la mthode des limites, Cauchy
n'avait pas supposer une fonction continue toujours dveloppable en srie
entire, comme l'avaient fait ses prdcesseurs. C'tait l , en vrit, la raison
profonde du choix de cette mthode" [pp. 108-109].
Unos aflos ms tarde, en 1863, Sanchiz y Castillo tambin public6 un

libro de Clculo integral, pero dos despus, en 1865, se determin6 seguir para
la ensefianza del Clculo en la Academia de Artillera el texto de Navier. Tanto
Navier como Cauchy haban sido profesores de la Escuela Politcnica,
concretamente Cauchy desde 1815 a 1829 de las clases de anlisis y Navier de
368
MI ANGELES VELAMAZAN Y ELENA AUSFJO
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.
Ms tarde fue de nuevo el trabajo de un artillero el seleccionado como

libro de texto de esta asignatura. As, en el ao 1876 el profesor Dmaso
Bueno public su Anlisis transcendente para la enseanza en la Academia.
Uno de los matemticos citados en esta obra es Duhamel, igualmente profesor
de anlisis de la Escuela Politcnica desde 1851 a 1868.
Finalmente otros dos profesores de la Academia de Artillera, Diego
011ero y Toms Prez Grin redactaron otro manual de C.lculo infinitesimal
en 1889. Como ellos mismos afirman, para realizar su libro haban
consultado fundamentalmente las obras de Ho el, Bertrand, Serret, Rubini,
Sturm y Duhamel. De nevo los politcnicos estn presentes en la redaccin
de este texto; de los autores citados tres fueron profesores de anlisis en la
Escuela Politcnica; el ya nombrado Duhamel, Sturm -profesor de esta
asignatura desde 1851 a 1855- y Bertiand -responsable de ella desde 1856 hasta
1894-.
Con este ltimo texto culmina el estudio del Clculo diferencial e
integral en las academias militares espaolas. En ellas, junto a la
omnipresencia francesa, cabe destacar el relevo que los artilleros toman de los
ingenieros en la segunda mitad del siglo con la introduccin de la obra de
Cauchy como paliativo de la va muerta en la que se empantanaron los
sucesores de Garca San Pedro.
NOTAS
1 Sbbre la importancia de Garca San Pedro en la enseanza de las
matemticas entre los ingenieros militares espaoles vase:
VELAMAZAN, Ma A. & AUSEJO, E. (1989) "Los planes de estudio en la
Academia de Ingenieros del Ejrcito de Espaa en el siglo XIX". Llull, 12(23), 415453.
VELAMAZAN, Ma A. & AUSEJO, E. (1991) "La enseanza de las

Matemticas en la Academia de Ingenieros en Espaa en el siglo XIX". In: Manuel
Valera & Carlos Lpez Fernndez (eds.), Actas del V Congreso de la Sociedad
Espaola de Historia de las Ciencias y de las Tcnicas. Murcia, Promociones y
Publicaciones Universitarias, S.A., vol. 2, pp. 1307-1317.
LLULL 16
369
2 BOYER, C.B. (1986) Historia de la Materntica. Madrid, Alianza

Editorial, p. 647.
3 DUGAC, P. (1982) Sur les fondements de l'analyse a la fin du XVIlleme
sicle d'aprs le trait de S.F. Lacroix. Option d'Histoire des Sciences exactes,
Histoire des Mathmatiques. Universit Pierre et Marie Curie (Paris VI), p. 14.
4 Por ejemplo, dada la funcin x 2 el procedimiento consistir en hacer
+ 2xh + h2 - x2
2xh + h2
di(x)
4if(x)
(x+h)2 - x2 x2
.
= 2x + h y tomar dx =
h
dx
A = 2x.
5 Estudio Histrico del Cuerpo de Ingenieros del Ejrcito (1911). Madrid,
Establecimiento Tipogrfico Sucesores de Rivadeneyra (reedicin de 1987), tomo

I, p. 428.
6 Esta expresin la utiliza Jos de Toro y Snchez en el prlogo de su libro
Lecciones de Clctdo diferencial y de sus aplicaciones analticas [1894, p. 6].
7 HORMIGON, M. (1980) "Paradigmas y Matemticas". Publicaciones de la
Secci de Matemtiques de la Universitat Autnotna de Barcelona, 20, 51-54.
8 HORMIGON, M. (1984) "El Paradigma Hilbertiano en Espaa". In:
Mariano Hormign (ed.), Actas del 11 Congreso de la Sociedad Espaola de Historia
de las Ciencias (Jaca, 27 de septiembre - I de octubre 1982). Zaragoza, Sociedad
Espaola de Historia de las Ciencias, vol. 2,_pp. 193-212.
9 DHOMBRES, N. & DHOMBRES, J. (1989) Naissance d'un pouvoir:
Sciences et savants en France (1793-1824). Pars, Payot, pp. 626-629.
10 PESET, J. L.; GARMA, S.; PEREZ GARZON, J. S. (1978) Ciencias y
ensetianza en la revolucin burguesa. Macirid, Editorial Siglo XXI.
11 HORMIGON, M. (1981) "Un modelo te6rico para la investigacin de la
Modemidad en Historia de las Matemticas". In: Actas del I Simposio sobre
Metodologa de la Historia de las Ciencias. Madrid, Universidad Complutense de
Madrid (Facultad de Ciencias Biolgicas), pp. 19-27.
12 Esta informacin se encuentra en la documentacin correspondiente a
Jos de Odriozola. Archivo General Militar de Segovia (Secci6n 1 1, Legajo 0-106).
13 BELHOSTE, B. (1985) Cauchy, un mathmaticien lgitimiste au X1Xe
sicle. "Un savant, une poque". Paris, Belin.
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.
Tomo III, Clculo diferencial e integral.
370
/vP ANGELES VELAMAZAN Y ELENA AUSETO
LLULL
16
LACROIX, S.F. (1828) Trait lmentaire de calcul diffrentiel et de calcul

intgral. Paris, Bachelier, 41me d., rev. corr. et augm.
LAGRANGE, J.L. (1806) Lelons sur le calcId des fonctions. Paris, Courcier.
NAVIER (1851) Reswnen de las lecciones de Anlisis dadas en la Escuela
Politcnica de Pars por Mr. Navier, con las notas de Mr. Liouville. Madrid.
Traducido, anotado y precedido de una introduccin por Eugenio de la Cmara.
ODRIOZOLA, J. (1829) Curso completo de Matemticas puras. Madrid, Imp.
Garca. Tomo IV, Clculo diferencial e integral. l a edici6n.
OLLERO, D. & PEREZ GRION, T. (1889) Curso de Clculo Infinitesimal.
Segovia, Imp. Ondero, Tomos I y
SANCHIZ Y CASTILLO, F. (1851) Tratctdo de Clculo diferencial. Segovia,
Imp. Baeza.
(1863) Lecciones de Clculo integral. Segovia, Imp. Ondero.
TORNER Y CARBO, A. (1879) Elementos de Clculo integral. Madrid, Imp.
Memorial de Ingenieros.
TORO Y SANCHEZ, J. de (1894) Lecciones de Clculo diferencial y de sus
aplicaciones analticas. Guadalajara, Imp. Provincial.
VALLEJO, J.M. (1819) Compendio de Matemticas puras y mixtas. Valencia,
2 tomos, 1 1 edicin.
VIDAL Y RUA, A. (1880) Aplicacin del Clculo diferencial a la teora de
lneas y superficies. Madrid, Imp. Memorial de Ingenieros.
(1882) Aplicaciones geomtricas del Clculo integral a la rectificacin
de lneas, cuadratura de superficies y cubatura de slidos. Madrid, Imp. Memorial de
Ingenieros.

De Lagrange A Cauchy-Calculo Diferencial

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

De Lagrange A Cauchy-Calculo Diferencial

Enviado por

Direitos autorais:

Formatos disponíveis

LLULL, vol.

16, 1993, 327-370

DE LAGRANGE A CAUCHY: EL CALCULO

El estudio de las aportaciones

The study of the contribution of

* Este trabajo ha sido parcialmente financiado por el Proyecto de Investigacin

1VPANGELFS VELAMAZAN Y ELENA AUSEJO

Son los artilleros los que, fieles

Artillerymen, loyal to the

Palabras clave: Clculo Diferencial, Espaa, Siglo XIX, Ejrcito, Academias,

M ANGELFS VELAMAZAN Y ELENA AUSETO

El mtodo de los incrementos ideales se inicia con el estudio de la

Este proceso se suceder infmitamente, o se terminar cuando se llegue a

Md ANGELFS VELAMAZAN Y ELENA AUSETO

f(x) + Akm + Bkn + CkP +Dkq +

Haciendo ahoraf(x+k+h) se obtiene:

Igualandof(x+h+k) conf(x+k+h) se tiene (2):

supone k=h, entonces se puede escribir:

cualquier funcin de x, tambin puede aplicarse a A, B, C, D, (funciones

f(x) + A(h+k) + B(h+k)2 + C(h+k)2 + D(h+44 +

1VP ANGELES VELAMAZAN Y EI FNA AUSEJO

El estudio se centra as en lo sucesivo en el coeficiente A. Garca San

Sobre esta eleccin, Garca San Pedro afirma:

A continuacin se observa que si la funcinf(x) est multiplicada por un

Una manera abreviada de escribir estas expresiones ser poner los

dx2 ' dx3 dx4

que se llamarn, por analoga con el primer coeficiente diferencial, coeficientes

Obtenida la expresin que caracteriza la variacin de la funcin f(x)

M4 ANGELES VELAMAZAN Y ELENA AUSE-10

De aqu que si en la expresin anterior se prescinde de todos los trminos

A continuacin realiza los siguientes razonamientos para convencer de

Si en (4) se supone ahora que el incremento Ax de la variable se convierte

A + Bdx<71 - Cilx2 - Ddx3 + E4x4 +

- A - B4x\17 - C4x2 + D4x3 '17 + E4x4 -

Sumando tambin la (5) y (6), y dividiendo por 4, tenemos:

M4 ANGELES VELAMAZAN Y F1 ENA AUSEJO

sucesivamente dx por Az"V -1 dx "s1 -1 , tremos disminuyendo cada vez en

incremento ideal de la funci n

Supuesto que en la ecuacin A = df(x)

desechando de ella todos los trminos que en su segundo miembro se oponen a

Ma ANGELES VELAMAZAN Y Fl FNA AUSEJO

representar por su numerador dnf(x) el incremento ideal de

orden n de la funcin f(x), y por su denominador dxn la potencia n del

Dos son, pues, las cualidades de los elementos de las cantidades: la

"E1 clculo infinitesimal convertido en el clculo de los incrementos ideales

141 ANGELES VELAMAZAN Y ELENA AUSETO

"Sobre esta ley pueden establecerse todos los procedimientos y aplicaciones

Como se ha visto, el desarrollo de la funcin f(x+ h) contiene unas

Garca San Pedro atribuye esta ley a Lagrange y, aunque la considera

medios ms fciles y fectindos para obtener el planteo algebraico y la solucin de

141 ANGELES VELAMAZAN Y ELENA AUSETO

Tras las definiciones de cantidad constante, variable y funcin, Beln trata

Haciendo h=rh', siendo r y h dos nmeros cualesquiera, obtiene:

A + (rh7-1 - f(x, rh')

Beln afirma que para que el segundo miembro de la ecuacin anterior

(12) (r h9 n-1 f(x, rh') = 0

M ANGELFS VELAMAZAN Y ELENA AUSEJO

Finalmente Beln concluye el captulo primero de su texto exponiendo

Parece claro que la exposicin de Beln representa un claro retroceso

La leccin primera de este texto se titula Funciones. Variabilidad de las

144 ANGELES VELAMAZAN Y FI ENA AUSEJO

Haciendo x=1 en la ecuacin (14) los coeficientes A, B,

Como los coeficientes A', B no dependen de h, deben depender de m,