PRESENTACIN INFINITESIMALISTA DE LA DIFERENCIAL DE REA

Ismael Arcos Quezada (ismael_arcos@msn.com)

Eugenio Daz Barriga Arceo (eugeniux@hotmail.com)
Facultad de Ingeniera, Universidad Autnoma del Estado de Mxico (FIUAEM)

RESUMEN
En este documento se describe la manera en la que se puede presentar el concepto de
diferencial, recuperando el significado geomtrico que tena en los orgenes del
clculo, el cual se perdi cuando las cantidades infinitamente pequeas fueron
desechadas. Ello en el entendido de que, en los cursos dirigidos a estudiantes de
ingeniera, uno de los principales propsitos es el de facilitar el acceso al
conocimiento de los conceptos propios de las ciencias de la ingeniera.
Al final del documento se muestra cmo puede recurrirse a la tecnologa para tener
una perspectiva de las curvas acorde con la perspectiva de la geometra
infinitesimalista que se tena en el clculo leibniziano.

INTRODUCCIN
Desde sus orgenes, a finales del siglo XVII, el clculo, tanto el newtoniano como el
leibniziano, fue criticado por una supuesta carencia de fundamento lgico. As, cuando a
fines del siglo XVIII, Lagrange escribi su Teora de las funciones analticas, se propuso
presentar un clculo que no tuviese las deficiencias de las versiones existentes, en cuanto a
sus fundamentos.
En dicha obra, desde el mismo ttulo anunciaba: (esta obra) contiene los Principios del
Clculo diferencial, desprovistos de toda consideracin de los infinitamente pequeos, de
los evanescentes, de los lmites y las fluxiones, y se reducen al anlisis algebraico de
cantidades finitas. Despus, en la introduccin de la obra, describe las caractersticas de
las versiones de Leibniz y Newton, y las deficiencias presentes en cada una de ellas. As,
respecto de la presentacin al estilo de Leibniz y sus seguidores, Lagrange indicaba:
Los primeros gemetras que emplearon el clculo diferencial, Leibniz, los Bernoulli,
LHpital, etc. lo hicieron bajo la consideracin de las cantidades infinitamente pequeas de
diferentes rdenes, y la suposicin de que se pueden ver como iguales, las cantidades que no
difieren entre s sino por una cantidad infinitamente pequea respecto de las mismas.
Contentos por haber llegado por los procedimientos de ese clculo a resultados exactos, no se
ocuparon de demostrar sus principios. Aquellos que les siguieron, Euler, dAlembert, etc.,
buscaron remediar esa situacin, haciendo ver, para aplicaciones particulares, que las
diferencias que se haban supuesto infinitamente pequeas, deberan ser absolutamente nulas,
y que sus razones, las nicas cantidades que entran realmente en el clculo, no son otra cosa
que los lmites de las razones de las diferencias finitas o indeterminadas.
Ms adelante aborda la perspectiva de Newton, indicando los inconvenientes del mtodo de
las fluxiones y del Principio de las ltimas razones:
Newton, para evitar la suposicin de los infinitamente pequeos, consider las cantidades
matemticas como engendradas por el movimiento, y busc un mtodo para determinar
directamente las rapideces variables con las cuales se producen esas cantidades, es aquello
que se ha llamado, despus de l, el mtodo de las fluxiones o el clculo fluxional, por que l
 llam fluxiones a esas rapideces. () Pero, por un lado, introducir el movimiento en un
clculo que no tiene por objeto ms que cantidades algebraicas es introducir una idea extraa,
que obliga a ver esas cantidades como espacios recorridos por un mvil; por otro, que no se
tiene un idea muy clara de qu es la rapidez de un punto a cada instante.
Tambin Newton mismo, en su libro de los Principios, prefiri por ms corto, el mtodo de
las ltimas razones de las cantidades evanescentes; y es a los principios de este mtodo que se
reducen en ltimo anlisis las demostraciones relativas a las fluxiones. Pero este mtodo
tiene, como aquel de los lmites, del que antes hemos hablado, y del que no es sino una
traduccin algebraica, el gran inconveniente de considerar las cantidades en el estado en el
que ellas cesan, por as decirlo, de ser cantidades; ya que mientras que uno concibe muy bien
la razn de dos cantidades en tanto que ellas se conservan finitas, esa razn no ofrece ms al
espritu una idea clara y precisa, en cuanto las cantidades devienen, la una y la otra, nulas a la
vez.
Obsrvese que, en esa poca (principios del siglo XIX) se deca este principio era
equivalente o una traduccin algebraica del mtodo de los lmites.
Otra cuestin interesante, en los argumentos de Lagrange, es que indicaba la necesidad de
la descontextualizacin del clculo, ya que el movimiento resulta un concepto extrao, no
propio del clculo. Por otra parte, no le resultaba admisible hablar de la razn de dos
cantidades justo cuando estas dejan de serlo. As pues, despus de mostrar los
inconvenientes de las presentaciones del clculo, entonces ms recurridas, Lagrange
anuncia el objeto de su Teora:
El objeto de esta obra es dar la teora de las funciones, consideradas como primitivas y
derivadas; resolver por esta teora, los problemas principales del anlisis, de la geometra y de
la mecnica, que dependen del clculo diferencial, y dar por ella, a la solucin de esos
problemas, todo el rigor de las demostraciones de los antiguos.
Algunas dcadas despus, Cauchy presenta su Anlisis y, a partir de entonces y de manera
gradual, las versiones anteriores del clculo van cayendo en desuso. En el caso del clculo
leibniziano, ello implica que los infinitesimales dejan de usarse e incluso, de aceptarse. El
concepto bsico deja de ser el de la diferencial y emerge en su lugar el de lmite.
Sin embargo, eso slo ocurri entre los profesionales de la matemtica y en los cursos de
clculo; ya que en los cursos de ciencias bsicas y de la ingeniera los infinitesimales
continuaron usndose y eso contina hasta hoy en da.
Ello se debe principalmente a las cualidades didcticas de la presentacin leibniziana, en
contraste con las reconocidas dificultades que tiene la mayora de los alumnos para
entender la presentacin basada en el lmite, con todo su rigor lgico. Es por eso que en la
FIUAEM, desde hace ms de una dcada, se vienen explorando en las aulas cursos de
clculo en los que los infinitesimales no slo se acepten, sino que recuperen la importancia
que tenan en los orgenes del clculo.

LA DIFERENCIAL EN EL CLCULO LEIBNIZIANO Y EN LOS TEXTOS DE INGENIERA

En el clculo leibniziano, toda vez que las cantidades infinitamente pequeas eran
aceptadas y constituan una herramienta bsica, la diferencial, definida como el incremento
infinitamente pequeo de una cantidad variable, resultaba ser el concepto bsico, como
ahora lo es el de lmite. Sin embargo, sabemos que el concepto de lmite resulta poco
comprensible para la mayora de los estudiantes, por lo que vale la pena, desde la
perspectiva del docente, analizar la pertinencia de apoyar el curso de clculo en el concepto
de diferencial.
Veamos cmo se defina la diferencial en dos de los primeros libros de texto para el estudio
del clculo. Primeramente, tenemos que LHpital (1696), en su Anlisis de los
infinitamente pequeos indicaba en las primeras definiciones:
La parte infinitamente pequea en la que una cantidad variable aumenta o disminuye
continuamente, es llamada diferencia.
Poco ms de medio siglo despus, Bezout (1770?) precisaba:
Cuando se considera una cantidad variable que crece por grados infinitamente pequeos y se
desea conocer el valor de esos incrementos, lo que se presenta ms natural es determinar el
valor de esa cantidad para un instante cualquiera y el valor de esa misma cantidad para el
instante inmediatamente siguiente: entonces, la diferencia de estos dos valores es el
incremento (o el decremento) que recibe esa cantidad: a esto es a lo que se llama diferencial
de esa cantidad.
De esta manera, y utilizando simbologa actual, si f es una funcin definida mediante
y = f (x ) , y si consideramos que la variable crece en grados infinitamente pequeos de
tamao dx, entonces la diferencial de y, correspondiente a x = a estar dada por
dy (a) = f (a + dx) f (a) .
La importancia de este concepto es apreciable en la misma obra de Bezout, cuando, al
referirse a los propsitos del clculo infinitesimal, deca:
Nos proponemos dos objetivos: el primero, ensear a descender desde las cantidades hasta
sus elementos y el mtodo para efectuar ese trnsito se denomina Clculo diferencial; el
segundo nos mostrar la ruta para regresar desde los elementos de las cantidades hasta estas
mismas y llamaremos a este mtodo Clculo integral.
Desde esta perspectiva, el proceso de integracin consiste en recuperar una cantidad
finita a partir del conocimiento de un elemento de la misma; entendiendo que un elemento
es una parte infinitamente pequea de la cantidad.
Podemos constatar que esta concepcin est an presente en los textos de ciencias bsicas y
de la ingeniera. Por ejemplo, en el segundo volumen de la Fsica de Tipler, para calcular el
campo elctrico debido a una distribucin continua de carga dada, se hace la siguiente
sugerencia:
Comenzar dibujando un diagrama claro que incluya las caractersticas importantes del
problema. Si se utiliza la ley de Coulomb, el esquema debe mostrar dq, el vector unitario r
desde dq hasta el punto del campo P y el campo elemental dE. Descomponer dE en sus
componentes y utilizar la simetra siempre que sea posible. Al determinar E utilizar la
superposicin, mostrar los vectores individuales E en el diagrama, junto con sistema
apropiado de coordenadas
Por otra parte, el procedimiento para calcular de una cantidad mediante la suma
(integracin) de sus elementos, es independiente de la naturaleza geomtrica de tales
elementos, si bien es importante saber si estos son partes de un segmento (integral simple),
de una regin plana (integral de rea o doble), de una curva (integral de lnea), de una
regin en el espacio (integral de volumen o triple), o de una superficie (integral de
superficie). Por ejemplo, en la Mecnica de Bedford, en el volumen dedicado a la esttica,
al abordar el clculo de las coordenadas del centroide, los autores se refieren primero al
caso de una regin plana, descomponindola en partes ms pequeas, pero finitas:
Consideremos un rea A arbitraria en el plano x-y. Dividamos el rea en partes A1, A2,, AN y
denotemos las posiciones de las partes por medio de sus coordenadas
. Podemos obtener el centroide o posicin media del rea con las
partes de las reas como pesos:

Despus de ello se pasa a la consideracin de la continuidad y el paso al lmite:

Pero entonces nos preguntaremos: cules son las posiciones exactas de las reas A1, A2,,
AN? Podramos reducir la incertidumbre dividiendo A en partes menores, pero an as
obtendramos slo valores aproximados para y . Para determinar la localizacin exacta
del centroide, debemos tomar el lmite cuando los tamaos de las partes tienden a cero. Este
lmite se obtiene remplazando las sumas por las integrales:

Donde x y y son las coordenadas del elemento diferencial de rea dA. El subndice A significa
que la integracin se efecta sobre el rea completa.
Obsrvese que los autores mezclan el lmite con los elementos diferenciales, lo cual sera
inadmisible desde una perspectiva rigurosa pero que no es raro en estos textos. Obsrvese
tambin que dA es un elemento del rea y que el subndice de la integral (A en este caso)
nos indica de qu objeto geomtrico son parte tales elementos.
La consideracin del paso al lmite, a partir de las sumas no vuelve a hacerse, lo cual es
tambin usual en estos textos. As pues, al considerar otro tipo de objetos geomtricos, los
autores pasan (por analoga) directamente a la integral:
Considere un volumen V, y sea dV un elemento diferencial de V con coordenadas x, y y z. Por
analoga, las coordenadas del centroide son

El subndice V en la integral significa que la integral se lleva a cabo sobre el volumen

completo.
Finalmente consideran el caso de las lneas, en donde tendramos (formalmente)
integrales de lnea:
Las coordenadas del centroide de una lnea L son

Donde dL es una longitud diferencial de la lnea con coordenadas x, y y z.

As pues, podemos ver que si en los cursos de clculo se omiten las cantidades
infinitamente pequeas, al estudiar los textos de ciencias bsicas y de la ingeniera se ver
un clculo en el que, desde la simbologa, tendr significados distintos a los que el alumno
ha aprendido.
LA DIFERENCIAL EN LOS TEXTOS ACTUALES DE CLCULO
Si las cantidades infinitamente pequeas no son aceptadas, conceptos como el de derivada y
de integral tendrn que ser reformulados, lo que ocurri a partir de los trabajos de Cauchy.
En el caso de la diferencial, la reformulacin resulta notable, ya que en el clculo
leibniziano era un cambio infinitamente pequeo de la variable. Veamos lo que se dice en
algunos textos contemporneos de clculo.
Sabemos que la derivada se define como el lmite de la razn existente entre el incremento
de la funcin y el de la variable. Sin embargo, la notacin leibniziana es todava muy
utilizada, por lo que suele hacerse una advertencia al respecto. Por ejemplo, en el texto de
Leithold se dice:
dy
Se debe recordar que cuando se utiliza como notacin para la derivada de una funcin, a
dx
dy
dy y dx no se les ha dado significado independiente () De modo que en esta ocasin es
dx
un smbolo para la derivada y no se le puede considerar como una razn
Esto da lugar a una definicin de la diferencial que le quita toda la significacin que tiene
en el clculo leibniziano. La definicin de la diferencial de la funcin corresponde ms bien
a la aproximacin lineal del incremento de la misma. Por ejemplo, en el texto de Leithold
encontramos lo siguiente:
Si la funcin f est definida por la ecuacin y = f ( x ) , entonces la diferencial de y, denotada
por dy est dada por dy = f ( x) x donde x est en el dominio de f y x es un
incremento arbitrario de x.
Lo ms raro ocurre cuando se define, de manera forzada, la diferencial de la variable, con el
propsito de hacerlo consistente con la notacin leibniziana para la derivada:
Ahora se desea definir la diferencial de la variable independiente, o dx. Para llegar a una
definicin adecuada y consistente con la definicin de dy, se considera la funcin identidad
definida por f ( x) = x . Para esta funcin, f ( x ) = 1 y y = x ; as que dy = 1 x ; es decir,
si y = x entonces dy = x .
Para la funcin identidad se desea que dx sea igual a dy; es decir, se quiere que dx sea igual a
x .
Entonces se define la diferencial de la variable independiente diciendo que Si la funcin f
est definida por la ecuacin y = f ( x) , entonces la diferencial de x, denotada por dx, est
dada por dx = x , y, a partir de ello, se llega a que dy = f ( x) dx , y como dx es finita, se
dy
puede dividir por tal cantidad, obteniendo = f (x) , si dx 0 . Al llegar a esto, Leithold
dx
indica:
Esta ecuacin expresa la derivada como un cociente de dos diferenciales. Recuerde que
dy
cuando se introdujo la notacin se remarc que dy y dx no se les haba dado un
dx
significado independiente en ese momento.
La falta de una significacin para la diferencial, consistente con lo que se encontrar en los
textos de ciencias bsicas y de la ingeniera, se hace ms patente en el momento de definir
la integral. Por ejemplo, en el texto de Haaser encontramos lo siguiente:
b b
Otra notacin para f
a
que a menudo se usa es f ( x)dx . La x es un smbolo mudo y
a
puede reemplazarse por cualquier otro smbolo conveniente.
Podemos ver que para la d no hay ni siquiera un comentario. La diferencial no tiene nada
que ver con la integral. Ms bien es la derivada, ya que se busca una primitiva de la funcin
integrando. El proceso de integracin, para recuperar el valor de una cantidad finita, ha
desaparecido totalmente.
Por supuesto, al momento de abordar la integracin doble, la abstraccin resulta an ms
necesaria. Por ejemplo, en Haaser la integral doble se presenta como una analoga, de
manera que, para empezar, se dice que, si y , entonces

, despus de lo cual se define , indicndose a

continuacin:

Puede usarse tambin para denotar la integral de f la notacin .

() Las notaciones e se usan a veces para denotar la integral

doble de f sobre .
As pues, lo que originalmente era el producto de las diferenciales de las variables
coordenadas, o bien la diferencial del rea de la regin de integracin, pasa a ser slo una
cuestin de notacin. De esa manera no es de extraar que la interpretacin de la integral
doble para el clculo del volumen bajo la superficie, la encontremos hasta 55 pginas
despus de comenzar con el tema:
Siendo R la regin del plano xy dada por , entonces
el volumen del cilindro con base en esa regin, y acotado superiormente por la superficie

, est dado por .

El texto de Haaser se escribi en momentos en los que el rigor lgico era incuestionable,
mientras que la visualizacin no era muy bien vista. 1 En textos ms recientes esa situacin
se ha invertido, mereciendo ahora menos atencin el rigor y mucho ms la visualizacin,
por lo que la presentacin de los conceptos bsicos del clculo ha cambiado, an cuando los
infinitesimales siguen prohibidos.
En Stewart, por ejemplo, para la presentacin de la integral doble, se parte de la idea del
clculo del volumen bajo la superficie, aproximndolo mediante una suma de prismas con
base en rectngulos de rea , procediendo a definir la integral doble como un
lmite y terminando por afirmar que el volumen en cuestin tiene un valor dado por

1
La edicin original, en ingls, es de 1959; la edicin en espaol es de 1970.
 . Sin embargo, no se habla nunca de una relacin entre dA con dx y dy o
con su producto.
Ms adelante, al estudiar la integral en coordenadas polares, Stewart considera una regin
caracterstica, dada por , llegando a obtener (en la forma
usual en estos textos) que:

Enseguida de lo cual el autor indica que puede hablarse de una igualdad entre dA y
, e incluso que hay un referente geomtrico, pero advierte que ello es slo un
mtodo clsico para recordar, es decir, no se debe pensar que eso es cierto en realidad:
() Tenga cuidado en no olvidar el factor adicional r en el lado derecho de la frmula. Un
mtodo clsico para recordar esto se muestra en la figura 1, donde el rectngulo polar
infinitesimal se puede considerar como un rectngulo ordinario con dimensiones y dr
y, por lo tanto, tiene rea .

Fig. 1

PROPUESTA PARA LA DIFERENCIAL DE REA: COORDENADAS POLARES

En esta segunda parte del documento se describir cmo hacer una presentacin de la
diferencial en un curso dirigido a estudiantes de ingeniera, en el supuesto de que las
cantidades infinitamente pequeas son aceptadas.
Tomando en cuenta que la diferencial de una sola variable es la medida de un incremento
infinitamente pequeo de la misma, puede definirse la diferencial de rea como la medida
del incremento del rea de una regin plana cuando las (dos) variables tienen incrementos
infinitamente pequeos.
En otras palabras, el elemento de rea ser el rea de la regin resultante del movimiento de
un punto, al considerar variaciones infinitesimales de las dos variables coordenadas, lo que,
en un sistema de coordenadas rectangulares, da lugar a un elemento rectangular, con lados
dx y dy.
D
 C
+ d
B
A
r + dr
r

Fig. 2

En cambio, en un sistema de coordenadas polares, una variacin infinitesimal dr de la

coordenada radial, a partir de un punto cualquiera, como el punto A en la figura 2 (derecha),
produce un movimiento sobre un rayo, hacia el punto B. La longitud de ese desplazamiento
es .
Por otra parte, una variacin infinitesimal d de la coordenada angular, produce un
movimiento a lo largo de una circunferencia de radio , hasta el punto C. La longitud
de este desplazamiento es .
Considerando que los puntos A y C estn infinitamente prximos, el arco AC puede
considerarse rectilneo y, por lo tanto, el rea del elemento ser:

DIFERENCIAL DE REA Y CAMBIO DE VARIABLE EN UNA INTEGRAL DOBLE

Consideremos ahora una transformacin T, en el plano, definida mediante x = f1 (u, v) y
y = f 2 (u, v) . Vamos a averiguar cul es el valor del elemento de rea cuando ste
corresponde a la regin infinitesimal del plano, comprendida entre dos pares de curvas
coordenadas correspondientes a variaciones infinitesimales de los parmetros u y v.
Para calcular tal elemento, o diferencial de rea, recurriremos a la concepcin
infinitesimalista de las curvas: cuando consideramos una porcin infinitamente pequea de
una curva, sta puede ser sustituida por la cuerda, o por la recta tangente, de manera que,
cuando vemos dos pares de curvas coordenadas, en una vecindad infinitamente pequea de
un punto, estaremos mirando dos pares de rectas.
Adems, las rectas resultarn ser paralelas, ya que sern perpendiculares a los vectores
gradiente de las curvas, y la diferencia entre estos ser infinitesimal ya que corresponde a
variaciones infinitesimales de los parmetros.
 Fig. 3

Tal situacin se muestra grficamente en la figura 3; a la izquierda se muestran algunas

curvas coordenadas correspondientes a la transformacin definida mediante x = u + v ,
y = uv .
En la misma figura se ha marcado el rectngulo correspondiente a x [2.4, 3.4] y
y [2, 3] , el cul se muestra ampliado en la figura del centro, en el cual, nuevamente, se ha
marcado un rectngulo, en este caso, el correspondiente a x [ 2.4, 2.5] y y [ 2.15, 2.25] ,
que se muestra ampliado en la figura de la derecha. Podemos observar que, conforme se
mira una zona del plano cada vez ms pequea, ms se parecen las pequeas regiones, entre
curvas coordenadas, a paralelogramos. As pues, una regin del plano, comprendida entre
dos pares de curvas coordenadas (como PVWQ en la figura 4), se ver como un
paralelogramo cuando las variaciones de los parmetros sean infinitesimales.

u W

W
V V
Q
Q

y P
v
P
x

Fig. 4

As pues, si a partir del punto P = T (u, v) consideramos variaciones infinitesimales de los

parmetros u y v, obtendremos el paralelogramo infinitesimal con vrtices en P = T (u, v) ,
Q = T (u + du , v) , W = T (u + du , v + dv ) y V = T (u , v + dv ) , siendo el rea de este
paralelogramo el elemento de rea buscado. As, si y , tenemos que
dA = || a b || . Por otra parte:
T(u + du, v) T(u , v) T
= T(u + du, v) T(u, v) = du = du
du u
T(u, v + dv) T(u, v) T
y = T(u, v + dv) T(u, v) = dv = dv
dv v
T T T T
Por lo tanto: ab = du dv = du dv
u v u v
 T T T T
De manera que: || a b || = du dv = du dv
u v u v
En resumen: el elemento de rea de una regin en el plano, en un sistema de coordenadas
definido por medio de la transformacin ( x, y ) = T(u , v) , est dado por:

T T ( x, y )
dA = du dv = du dv
u v (u, v)

VISUALIZACIN 1: CURVAS Y POLIGONALES

Para finalizar se describen a continuacin dos ejemplos de cmo recurrir a la tecnologa
para visualizar cuestiones relativas a la geometra infinitesimalista.
En primer lugar nos proponemos visualizar las curvas de acuerdo con la concepcin
infinitesimalista, es decir, como poligonales constituidas por una infinidad de segmentos
rectilneos, uniendo cada uno de ellos dos puntos infinitamente prximos de la curva.
Para ello se puede trazar una curva cualquiera, preferentemente una cuya ecuacin est
dada en forma paramtrica, de manera que, dividiendo el intervalo recorrido por el
parmetro en n partes iguales (obtenindose as n + 1 puntos, o n, si la curva es cerrada),
pueda construirse la poligonal correspondiente.
Por otra parte, la longitud de la curva ser la del polgono con infinito nmero de lados,
cada uno de ellos de longitud infinitesimal. Esto implica, entre otras cosas, que la longitud
de la curva puede ser aproximada por medio de la longitud de una poligonal, a condicin de
que dicha poligonal contenga un nmero de lados suficientemente grande.
 Fig. 5

La visualizacin puede resultar ms efectiva si se hace un efecto de animacin, al presentar

la curva y la poligonal para valores crecientes de n. En la figura 5 se muestran cuatro de los
momentos de dicha animacin, para el caso de la curva definida mediante x = r cos t ,
y = r sen t , con r = 4 + 3 cos(3 t ) , y t [0, 2 ] . Los momentos mostrados corresponden,
respectivamente, a n = 4 , n = 24 , n = 44 y n = 64 . Puede verse que para desde n = 44 la
poligonal ya se confunde con la curva misma. Adems, para cada valor de n se calcula la
longitud de la poligonal y se compara con la de la curva misma, indicndose el valor de la
razn LP / LC , cuyo valor tiende a 1 conforme crece el valor de n. En el caso mostrado,
para n = 24 ya se tiene una cifra decimal correcta y para n = 64 ya se tienen dos cifras.

VISUALIZACIN 2: DIFERENCIAL DE REA EN COORDENADAS POLARES

Aqu se trata de visualizar que, en coordenadas polares, la diferencial de rea es la de un
rectngulo de lados r d y dr . Ello se puede conseguir si se muestra que, para valores
pequeos de r y , la regin definida por los puntos P = (r , ) , Q = ( r + r , ) ,
V = (r + r , + ) y T = ( r , + ) , se confunde con la regin interior a un rectngulo
de lados r y r .
Utilizando cabri, partimos de tener construido un segmento para manipular el valor de los
incrementos de las coordenadas r y , a partir de un punto P cuya posicin podr
controlarse con el ratn. Ahora bien, estrictamente, se deberan construir dos segmentos,
uno para controlar r y el otro para r . Sin embargo, utilizaremos un solo segmento, de
magnitud h, para ambos, de manera que la figura ampliada se ir aproximando a un
cuadrado y no a un rectngulo.

T
Q

P
 Fig. 6

En la figura 6 se muestran dos situaciones. En la primera se tiene un sector PQVT grande,

de manera que se nota claramente la diferencia entre el sector mismo con respecto del
cuadriltero PQVT (izquierda). En la segunda se muestra un sector tan pequeo que se
requiere de una ampliacin para observarlo. La ampliacin se muestra a un lado,
observndose que no se distinguen el sector y el cuadrado.

COMENTARIO FINAL
Los cursos de clculo que acepten y utilicen infinitesimales deben ser explorados en las
aulas, al menos en las escuelas de ingeniera. Con ello se recuperaran las indudables
cualidades didcticas del clculo leibniziano y ofreceran una presentacin ms acorde con
la manera en la que el clculo es utilizado en los cursos de ciencias bsicas y de la
ingeniera.
Por otro lado, los recursos tecnolgicos disponibles hoy en da nos permiten visualizar con
claridad situaciones que se dan a niveles microscpicos, pudiendo entonces extrapolar lo
observado a una escala infinitesimal.

BIBLIOGRAFA
Arcos, I.; Osorio, A. (2003). Uso de la microcomputadora en la visualizacin en el clculo infinitesimal,
Segundo Foro sobre la Enseanza de las Matemticas en Ingeniera, UNAM, Mxico, agosto de 2003.
Arcos, I. (2008), Clculo multivariable para estudiantes de ingeniera, 2 edicin, Kali, Toluca, Mxico.
Bedford, A., Fowler, W. (1996); Mecnica para ingeniera. Esttica. Addison-Wesley Iberoamericana,
Estados Unidos de Amrica.
Bezout, E. (1770 ?), Clculo infinitesimal, Limusa-IPN, Mxico, 1999. Traduccin de la edicin original en
francs.
Haaser, N., LaSalle, J., Sullivan, J. (1970); Anlisis Matemtico. Volumen 1. Curso de introduccin, Trillas,
Mxico.
Haaser, N., LaSalle, J., Sullivan, J. (1970); Anlisis Matemtico. Volumen 2. Curso intermedio, Trillas,
Mxico.
Lagrange, J. L. (1813); Thorie des fonctions analytiques, seconde dition, Courcier, Paris, Francia.
Leithold, L. (1998), El Clculo, 7 edicin. Oxford University Press, Mxico.
LHpital, Marqus de (1998). Anlisis de los infinitamente pequeos para el estudio de las lneas curvas,
coleccin MATHEMA, UNAM, Mxico. Versin en espaol del original en francs: Analyse des infiniment
petits pour lintelligence des lignes courbes, de 1696. Traduccin e introduccin de Rodrigo Cambray.
Newton, I. (1726). Principios Matemticos de la Filosofa Natural, Altaya, Barcelona, 1993. Esta edicin
espaola se bas en la tercera edicin en latn (1726) y la primera versin inglesa (1729), actualizada por F.
Cajori (1934). Las notas y el estudio preliminar son de Antonio Escohotado y la traduccin de Antonio
Escohotado y M. Senz de Heredia.
Tipler, P. (1998); Fsica para la ciencia y la tecnologa, volumen 2, Revert, Espaa, 2000. Traduccin de la
cuarta edicin en ingls, de 1998.