Professional Documents
Culture Documents
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/270684035
CITATIONS READS
0 2,192
2 authors, including:
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Juan Carlos Ponce-Campuzano on 18 August 2015.
The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document
and are linked to publications on ResearchGate, letting you access and read them immediately.
Breve historia del
concepto de derivada
j.ponce@uq.edu.au
UQ
2015
1
Si he llegado a ver ms lejos que otros es por que me sub a hombros de gigantes.
Isaac Newton
3
Contenido
1. Introduccin 7
Referencias 32
5
1. Introduccin
7
se usaron primeramente en un contexto particular para resolver problemas.
Entonces se identific el concepto general inmerso detrs de estos usos, co-
mo parte de la invencin del clculo. Despus muchas de las propiedades
de la derivada fueron explicadas y desarrolladas en aplicaciones matemti-
cas y fsicas. Finalmente, se estableci una definicin precisa del concepto
de derivada dentro de una teora rigurosa.
En este documento presento una historia compacta del origen y evolu-
cin del concepto de derivada. Cabe enfatizar que se trata de una historia
y no de la historia de la derivada, debido a que no cumple con los obje-
tivos de un historiador experto. La razn es que describo ideas del pasado
desde un punto de vista actual, lo cual es considerado inapropiado por los
historiadores. Sin embargo, considero apropiado, y defendible, comenzar
desde lo que ya conocemos y preguntarnos de dnde vienen esas ideas.
8
gama de curvas para estudiar y analizar, dado que cada ecuacin poda
ahora producir una curva. Con estas nuevas curvas, los antiguos mtodos
de la geometra sinttica eran insuficientes. Una pregunta que aqu surge es:
Los griegos saban como trazar tangentes para cierto tipo de curvas. Ellos
haban definido una tangente como la lnea que toca una curva en un solo
punto pero sin cortarla. Esta definicin resultaba apropiada para la circun-
ferencia pero no lo era para otro tipo de curvas. Por ejemplo, en el siglo III
a.C., Apolonio de Prgamo (262-190 a. C.) defini la tangente a una seccin
cnica y procedi a determinarla en cada caso. Las tcnicas para el clculo
de tangentes eran dentro de un contexto geomtrico. Para curvas como la
espiral de Arqumedes estas tcnicas no eran de gran utilidad. Arqumedes
(287-212 a. C) saba trazar las tangentes a su espiral y se cree que para ello
consider el problema desde un punto de vista cinemtico, calculando la
direccin del movimiento de un punto que genera la espiral.
9
Figura 1: y = x3 Figura 2: y = 1 2 10
10 x sin x
1
+ 10 x
De todas las figuras planas con el mismo permetro, cul es la de mayor rea?
10
Dada una lnea, dividirla en dos partes de tal manera
que el producto de las partes sea un mximo.
Figura 3:
A( B A) = AB A2 . (1)
BA + BE A2 AE EA E2 = AB A2 2AE + BE E2 . (2)
AB A2 = AB A2 2AE + BE E2 .
11
Simplificando obtenemos 2AE + E2 = BE y finalmente
2A + E = B.
12
El trabajo de Fermat se dio conocer principalmente por correspondencia
con otros matemticos contemporneos y su mtodo de extremos se utiliz
ampliamente. Por ejemplo, en 1659, Johannes Hudde (1628-1704) dio una
formulacin verbal general del clculo de extremos para cierto tipo de po-
linomios [3, p. 186], lo cual se pude describir con notacin moderna de la
siguiente manera:
13
Figura 4: Secante a una curva.
14
Cmo es que la derivada se concibi tal y como la conocemos actualmente?
15
gentes, reas, lmites, continuidad y funcin.
16
permitir ilustrar su potencialidad y sus defectos para la comprensin de la
derivada en ese periodo.
Sea AD la curva como se muestra en la Figura 5, con AB = x y BD = y.
Sea z igual al rea ABD.
Figura 5:
17
En este punto, Newton comenta: si suponemos que Bb disminuye infinitamente
hasta desaparecer, esto es que o sea nula, v y y en este caso sern iguales y los trminos
que se multiplican por o desaparecern [17, pp. 243-245]. Por lo que obtenemos
y = 3x2 .
Efectivamente, Newton acert en el hecho de que, como o se hace cero
(hoy diramos tiende a cero), los trminos que tienen a o en la expresin
(3) tambin se hacen cero. Al mismo tiempo, v se hace igual a y, lo cual
equivale a decir que la altura BK del rectngulo de la Figura 5 ser igual a
la ordenada BD de la curva original.
A partir de la suposicin de que el rea ABD est dada por
an (m+n)/n
z( x ) = x ,
m+n
Newton haba deducido que la curva AD debe satisfacer la ecuacin y =
ax m/n . En esencia, l haba derivado la funcin rea (integral indefinida).
Posteriormente, sin mayores justificaciones, Newton estableci que:
n (m+n)/n
Si y = ax m/n , entonces z = m+n ax .
18
conjunto de propiedades tiles, todava haban muchas preguntas sin res-
ponder. Por ejemplo, qu significado tena el cociente diferencial de Leib-
niz? Algunos discpulos de Leibniz trataron de responder esta pregunta,
principalmente Johann Bernoulli (1667-1748) y LHpital (1661-1704) quie-
nes afirmaban que el cociente diferencial era una razn de infinitesimales,
despus de todo, era as como se calculaba. Pero los infinitesimales no obe-
decan el axioma de Arqumedes:
Dado que este axioma era la base para la teora de razones de los griegos,
la cual en su momento era la base para la aritmtica, el lgebra y la geome-
tra del siglo XVII, los objetos no arquimedianos eran percibidos con cierta
suspicacia.
Por otra parte, en el caso de la aproximacin de Newton, que era exac-
tamente una fluxin? Aunque se consideraba intuitivamente como una ve-
locidad, las demostraciones que Newton estableci en su Mtodo de fluxiones
de 1671 involucraban el uso de una cantidad o indefinidamente pequea,
lo cual caus tambin controversia. Qu es exactamente esta cantidad o
indefinidamente pequea? Es cero? Si es as, cmo es que podemos utili-
zarla para dividir? Si no es cero, se comete un error al eliminarla de una
ecuacin?
A pesar de que las contribuciones de Newton y Leibniz fueron ata-
cadas por el uso de los infinitesimales, se admita el hecho de que sus
descubrimientos y procedimientos conducan a resultados correctos. Los
infinitesimales fueron una herramienta muy til y exitosa, as que las cues-
tiones acerca de su validez fueron subsanadas debido a su eficacia.
19
5. Tercera etapa: Ecuaciones diferenciales y series de Taylor
20
Por otra parte, la ley de elasticidad de Hooke3 establece
mos que F = m x.
que F = kx. Al igualar estas dos expresiones con respecto a la fuerza,
Euler en 1739 logr establecer y resolver la ecuacin diferencial
m x + kx = 0
2 y T2 y
=
2 x
21
Es posible citar ms ejemplos, pero basta mencionar que a mediados del
siglo XVIII las series de Taylor y las ecuaciones diferenciales se haban con-
vertido en herramientas indispensables dentro de la historia las matemticas
y en la fsica. El anlisis realizado en este periodo es un ejemplo de la explo-
racin y desarrollo del concepto de cociente diferencial de primero, segundo
y n-simo orden un desarrollo que est vinculado con la solucin de los
problemas de extremos y con la caracterizacin de mximos y mnimos.
1 + x2 + x3 + x4 +
f ( x + h ) = f ( x ) + p ( x ) h + q ( x ) h2 + r ( x ) h3 + (4)
23
primer derivada de la funcin f 0 ( x ), y as sucesivamente de manera recursi-
va. Finalmente, utilizando estas definiciones, Lagrange demostr que en la
expresin (4):
f 00 ( x ) f 000 ( x )
q( x ) = , r(x) =
2 6
y as sucesivamente [12, Captulo 2].
Qu hay de novedoso en la definicin de Lagrange? El concepto de fun-
cin permiti liberar al concepto de derivada de previas nociones impreci-
sas. La explicacin de Newton al respecto de las fluxiones como una razn
de cambio pareca involucrar el concepto de movimiento en matemticas.
En el caso de Leibniz, el coeficiente diferencial era un cociente de pequeas
diferencias que se desvanecan.
El filsofo irlands George Berkeley (1685-1753), en su ataque al clculo
de Newton y Leibniz, se burlaba de estos conceptos al llamarlos: ghosts of
departed quantities [2, Seccin 2] (lo cual se podra traducir como: fantasmas
de cantidades extintas). Pero para Lagrange, la derivada era una funcin, as
como la n-sima derivada era simplemente otra funcin, definida como el
coeficiente de h en las series de Taylor para
f ( n 1) ( x + h ) .
24
Por ejemplo, usando el criterio de Euler4 para usar series truncadas, La-
grange dio una caracterizacin ms til de la derivada de una funcin:
25
ge haba cometido algunos errores, uno de ellos era al respecto de las series
infinitas. Como Augustin Louis Cauchy (1789-1857) lo haba puntualizado
en 1821, el lgebra de cantidades infinitas no se puede extender automtica-
mente a procesos infinitos. Asimismo, Cauchy observ que la manipulacin
de las series de Taylor no era una prueba del todo completa. Por ejemplo, la
funcin
2
f ( x ) = e1/x
f ( x + h) f ( x )
h
Si f ( x ) es continua en [ x, x + i ], entonces
f (x + i) f (x)
mn f 0 ( x ) max f 0 ( x ).
[ x,x +i ] i [ x,x +i ]
26
Sean y e dos nmeros pequeos; el primero se elige de tal forma que
para todo valor absoluto de h sea menor que y para cada valor de x, la
razn ( f ( x + i ) f ( x ))/i ser siempre mayor que f 0 ( x ) e y menor que
f 0 ( x ) + e.
27
como el Teorema Fundamental del Clculo para funciones continuas. De
hecho se considera a Cauchy como el primero en dar una demostracin
analtica de tan famoso teorema.
28
Mittag-Leffler, E. Heine, S. Pincherle, Sonya Kowalevsky, Georg Cantor, solo
por nombrar algunos. Del trabajo de Weierstrass proviene nuestra definicin
moderna de derivada usando epsilon y delta [3, p. 284-287].
La comprensin rigurosa que Weierstrass dio al concepto de la deriva-
da se pone de manifiesto al publicar en 1872 un ejemplo de una funcin
continua en todo punto y no derivable (o diferenciable) en ninguno:
f ( x ) = n n
n=0 a cos ( b x ), donde 0 < a < 1, b es un entero
29
7. Comentarios finales: La importancia histrica de
la evolucin del concepto de derivada
30
Lnea temporal
31
Referencias
[3] Boyer, C. History of the Calculus and Its Conceptual Development, Dover,
New York, 1959. 13, 15, 29
[4] Cauchy, A.-L. Rsum des lecons donnes lcole royale polytechnique
sur le calcul infinitsimal, Paris, 1823. In Oeuvres compltes dAugustin
Cauchy, Gauthier-Villars, Paris, 1882- , series 2, vol. 4. 26
[6] Euclid. The thirteen books of the elements. Sir Thomas L Heath, translator.
Vol. 2 (books III-IX); 2nd ed. New York, NY: Dover Publications, Inc.;
1956. 19
32
[10] Grabiner, J. V. (1983). The changing concept of change: The derivative
from Fermat to Weierstrass. Mathematics Magazine. Vol. 56. No. 4. pp.
195-206. 7, 17, 30
[12] Lagrange, J.-L. Theorie des fonctions analytiques, Paris, 2nd edition, 1813.
In Oeuvres de Lagrange, ed. M. Serret, Gauthier-Villars, Paris, 1867-
1892, vol. 9. 22, 24
[17] Whiteside, D. T. (1968). The Mathematical Papers of Isaac Newton. Vol. II.
Cambridge: Cambridge University Press, 8 vols. 17, 18
33