Calc Dif Ap
Calc Dif Ap
Calc Dif Ap
Enseanza de la Matemtica
Clculo Diferencial
y Aplicaciones
Jos Heber Nieto Said
Mrida, 2009
Prefacio
La importancia del Clculo en el mundo actual es enorme, ya que la ciencia
y la tecnologa modernas sencillamente seran imposibles sin l. Las leyes de
la naturaleza se expresan mediante ecuaciones que involucran funciones y sus
derivadas, y el anlisis de stas ecuaciones se realiza mediante las herramientas
del clculo. Por esa razn los cursos de esta disciplina aparecen en los planes de
estudio de todas las carreras cientcas y tcnicas.
Para la enseanza del Clculo existe una gran cantidad de libros de texto,
materiales audiovisuales y software educativo, todo lo cual se incrementa cada
ao ya que su comercializacin parece ser un buen negocio. Tambin hay abun-
dante material disponoble gratuitamente en Internet. Sin embargo los resultados
alcanzados en los cursos por lo general no son satisfactorios. Un gran nmero de
aplazados, repitientes crnicos y desercin escolar parecen ser las caractersticas
constantes de estos cursos.
Estas notas se han escrito con el propsito de contribuir a la enseanza
del Clculo y lograr mejores rendimientos y logros acadmicos en los cursos.
Estn dirigidas a profesores de enseanza media y primeros aos de educacin
superior que estn dictando cursos de Clculo o tengan proyectado hacerlo. La
concepcin educativa que las anima es la siguiente:
1. No creemos que la funcin del profesor sea transmitir conocimientos, ni
que dicha transmisin sea posible. El conocimiento es algo que se cons-
truye em cada individuo a travs de un complejo proceso que el profesor
debe estimular, proponiendo diversas experiencias educativas. En el caso
de la matemtica, la resolucin de problemas por parte del alumno es una
actividad insustituible que el profesor debe propiciar cuanto pueda.
2. Es imposible que alguien aprenda algo si no desea aprenderlo. Es por eso
que la motivacin juega un papel sumamente importante en el proceso de
enseanza-aprendizaje.
3. El profesor de matemtica debe poseer un conocimiento profundo de su
materia, an cuando la enseanza deba adaptarse al nivel de sus alumnos.
Reconocemos, en algunos casos, la necesidad de la transposicin didctica,
pero sta debe partir de una seria formacin cientca de los profesores.
4. Muchos conceptos matemticos actuales son el resultado de la evolucin
del pensamiento matemtico durante siglos. El conocimiento del proceso
histrico puede en muchos casos contribuir a la comprensin de esos con-
ceptos, adems de mostrar que la matemtica es una actividad realizada
por los seres humanos y no una especie de verdad revelada e inmutable.
5. La tecnologa moderna, bien usada, puede aportar mucho al proceso de
enseanza-aprendizaje.
En base a las ideas anteriores se ha estructurado un curso con el nfasis
puesto en los siguientes aspectos, que lamentablemente se suelen descuidar:
1. La claricacin de los conceptos y resultados bsicos.
2. Las aplicaciones, tanto dentro como fuera de la propia matemtica.
3. El desarrollo histrico de la disciplina y las implicaciones del mismo sobre
su enseanza.
4. Las posibilidades didcticas de algunos recursos tecnolgicos modernos.
Aunque se han hecho esfuerzos por escribir un texto autocontenido, no se
trata de un curso introductorio. Se da por supuesto que el lector est familiari-
zado al menos con el clculo elemental de lmites y las reglas de derivacin. Por
razones de tiempo y espacio no se cubre el clculo integral, aunque hay nume-
rosas referencias al mismo e incluso se tratan y resuelven por vas alternativas
algunos problemas que se consideran tpicos del clculo integral.
Como material de apoyo y para mostrar su potencial didctico se han di-
seado algunas plantillas en GeoGebra que ilustran varios de los conceptos y
problemas estudiados. Las mismas se hallan disponibles en
http://mipagina.cantv.net/jhnieto/apcal/
(GeoGebra es un software libre y de plataformas mltiples que permite inter-
actuar dinmicamente con la matemtica, en un mbito en que se renen la
Geometra, el Algebra y el Clculo. Su sitio web es http://www.geogebra.org)
El signo
(x)/2,
r(x) = f
(x)/6, etc.
Aunque la denicin de Lagrange no es apropia-
da ms que para una clase de funciones (las que hoy
llamamos analticas), l tambin describi la derivada
mediante desigualdades semejantes a la actual de-
nicin mediante lmites. Tambin hall importantes
propiedades, por ejemplo prob que una funcin con
derivada positiva en un intervalo es creciente, obtuvo
la hoy llamada forma de Lagrange para el resto en la frmula de Taylor y aplic
sus hallazgos para resolver un gran nmero de problemas de geometra, mximos
y mnimos y mecnica.
Figura 1.9: Cauchy
El matemtico francs Augustin Louis Cauchy
(1789-1857) seal, en 1821, que el lgebra de las
cantidades nitas no poda extenderse a los procesos
innitos. Adems mostr que la funcin e
1/x
2
, hoy
llamada funcin de Cauchy, no se puede representar
mediante su serie de Taylor, pues tiene un desarrollo
nulo alrededor del origen. Por estas razones rechaz el
enfoque de Lagrange y trat de desarrollar uno pro-
pio, basado en el concepto de lmite. Este concepto
tiene races profundas en la antigedad. Los trabajos
de Arqumedes en relacin a la longitud de la circun-
ferencia y el rea encerrada por la misma, utilizando
aproximaciones por polgonos, y su aplicacin del m-
todo de exhaucin de Eudoxo, para demostrar riguro-
samente frmulas de reas y volmenes de diversas
guras (segmento de parbola, esfera, conos, cilindros, etc.), contienen implci-
tamente la nocin de lmite de una sucesin. Newton tambin utiliz la palabra
10 Perspectiva histrica
lmite, tratando de evitar las dicultades lgicas que encerraban los incrementos
evanescentes, pero nunca propuso una denicin aceptable de esta nocin. El
primero en precisar el concepto de lmite fue Cauchy, en su Cours dAnalyse
(Paris, 1821). A diferencia de sus predecesores, Cauchy evit la cuestin de si
una variable poda alcanzar o sobrepasar su lmite. Y aunque su denicin es
todava verbal, en sus demostraciones utiliza la caracterizacin algebraica de los
lmites, mediante desigualdades. De hecho, Cauchy es quien utiliza por primera
vez la hoy famosa notacin -. Y entonces, en 1823, dene la derivada como el
lmite (cuando existe) del cociente de diferencias (f(x +h) f(x))/h cuando h
tiende a 0.
Despus de Cauchy, el Clculo comenz a ser visto desde una perspectiva
diferente. De mero conjunto de poderosos mtodos se convirti en una disciplina
matemtica rigurosa, con buenas deniciones y teoremas cuyas pruebas se basan
en las deniciones.
Figura 1.10: Weierstrass
En 1856 Karl Weierstrass (18151897) comenz
a trabajar en la Universidad de Berlin. En el cur-
so de Introduccin al Anlisis que dict entre 1859
y 1860 encar el problema de los fundamentos. En
sus teoremas utiliz la tcnica - de Cauchy, pero
reemplazando la denicin verbal de los lmites por
desigualdades, y haciendo una distincin clara entre
la convergencia puntual y la uniforme, lo cual a Cau-
chy se le haba pasado por alto. De esta manera lo-
gr una presentacin sistemtica y completamente ri-
gurosa del Clculo. Aunque Weierstrass no public
sus conferencias, sus alumnos (entre quienes estaban
Georg Cantor, Eduard Heine, Mittag-Leer, Salvato-
re Pincherle, Hermann Schwartz y Soa Kowalevska-
ya, entre otros) diseminaron su enfoque riguroso por
toda Europa. Su publicacin en 1872 de un ejemplo de funcin continua que no
es derivable en ningn punto muestra su completo y profundo dominio de los
conceptos fundamentales del anlisis matemtico. Este descubrimiento perturb
a muchos matemticos, que consideraban a este tipo de funciones contrarias a la
intuicin como patolgicas. En una direccin contraria el mismo Weierstrass
prob, a los 70 aos de edad, que toda funcin continua en un intervalo cerrado
y acotado puede ser aproximada uniformemente, con la precision que se desee,
por medio de funciones polinmicas.
Para nalizar esta breve resea histrica es interesante mencionar que el
punto de vista original de los creadores del clculo ha resurgido modernamen-
te en el llamado anlisis no estndar de Abraham Robinson (ver [10]), teora
matemticamente rigurosa que se desarrolla en un cuerpo no arquimediano de
nmeros hiperreales que, junto a los reales estndar, contiene innitsimos e in-
nitos. Incluso se ha argumentado que la presentacin del clculo basada en este
punto de vista es ms intuitiva y fcil de comprender que el enfoque tradicional
- (ver por ejemplo [7]).
Captulo 2
Conceptos Bsicos
En este captulo se revisan los conceptos y resultados bsicos del clculo
diferencial. Su contenido no reeja la forma en que el autor piensa que debe
ensearse el Clculo, sino ms bien lo que ste cree que un profesor de Clculo
debera saber.
Un curso de Clculo para estudiantes que lo vean por primera vez requerira
de mucha ms motivacin, ejemplos y ejercicios. Adems, el grado de formalidad
y rigor debera adaptarse al nivel y objetivos del curso. No debe olvidarse que
la mayor parte del Clculo se desarroll antes de poseer deniciones formales
de los conceptos bsicos (como los de nmero real y lmite), y por lo tanto un
curso para estudiantes interesados en aplicar el clculo no necesita detenerse en
los aspectos ms sutiles de su fundamentacin.
Como se supone que el lector ya est ms o menos familiarizado con estos
temas, las demostraciones que se incluyen son bastante concisas y esquemticas.
Los ejercicios, ms que a desarrollar habilidades especcas, estn destinados a
refrescar la memoria del lector o a llamar la atencin sobre puntos interesantes
o delicados. Para una exposicin ms completa el lector puede consultar la
bibliografa, por ejemplo [2], [9] o [13].
2.1. Los nmeros reales
Para el desarrollo riguroso del clculo son imprescindibles los nmeros reales.
Pero hasta la segunda mitad del siglo XIX no hubo una denicin formal ni
un tratamiento riguroso de los nmeros reales, de modo que se puede decir
que los creadores del clculo y los matemticos que lo desarrollaron en sus
primeros dos siglos, lo hicieron a pesar de poseer tan slo una comprensin
intuitiva de los nmeros reales. Esta nocin intuitiva asimilaba un nmero real a
la medida de una magnitud (longitud, rea, tiempo, etc.) e inclua la posibilidad
de aproximarlo con cualquier grado de precisin mediante fracciones, o mediante
expresiones decimales nitas. Tambin se aceptaba que, jados un origen O y un
punto A en una recta, a cada punto B de la recta se le puede hacer corresponder
12 Conceptos Bsicos
un nmero real igual a la medida del segmento OB respecto a la unidad OA,
y que recprocamente para cada nmero real x existe un nico punto B en la
recta tal que la medida del segmento OB respecto a la unidad OA es x.
En la enseanza media los nmeros reales se denen como expresiones deci-
males innitas g, a
1
a
2
a
3
. . ., donde g es un nmero entero (posiblemente prece-
dido de un signo + ) y a
1
, a
2
, a
3
, . . . son dgitos. Las expresiones decimales
nitas pueden identicarse con expresiones decimales innitas agregndoles in-
nitos ceros a la derecha. Tambin se ensea que a cada nmero racional le
corresponde o bien una expresin decimal nita o bien una expresin decimal
innita peridica, mientras que las expresiones decimales innitas no peridicas
son nmeros irracionales.
Este enfoque, aunque aceptable, presenta varios problemas, entre los cuales
se pueden mencionar los siguientes:
1. Hace depender a los nmeros reales del sistema decimal. Una buena de-
nicin debera ser independiente de la base en que se representen.
2. Hay expresiones diferentes que corresponden al mismo nmero, por ejem-
plo 1,5 = 1,4999 . . .
3. Denir las operaciones bsicas (la suma, y especialmente el producto) con
expresiones decimales innitas, presenta ciertas dicultades.
4. Tampoco es sencillo demostrar las propiedades bsicas de las operaciones
(asociatividad, distributividad, etc.)
Por esas razones en la segunda mitad del siglo XIX varios matemticos (entre
ellos Cantor, Mray, Dedekind y Weierstrass) trabajaron para poner al nme-
ro real sobre bases ms slidas, proponiendo diversas formas de construirlos a
partir de los racionales. Entre los mtodos propuestos se pueden mencionar las
cortaduras de Dedekind, los pares de clases contiguas, los pares de sucesiones
montonas contiguas y las sucesiones de Cauchy.
Veamos brevemente el mtodo de las cortaduras (para ms detalles vea [8]).
Una cortadura es un par (I, S) de subconjuntos no vacos del conjunto Q de los
nmeros racionales, tales que
1. I S = Q, I S = .
2. si x I y y S, entonces x < y.
3. I no tiene elemento mximo.
Al conjunto I se le llama clase inferior y al S clase superior de la cortadura.
Observe que la clase inferior I determina completamente la cortadura, ya que
la clase superior S es el complement6o de I en Q.
Para cada nmero racional q se puede construir una cortadura (I
q
, S
q
) po-
niendo I
q
= {x Q : x < q}, S
q
= {x Q : x q}. Observe que en esta
cortadura q es el mnimo de la clase superior.
2.1 Los nmeros reales 13
Un ejemplo ms interesante es el siguiente: I = {x Q : x < 0 x
2
< 2},
S = {x Q : x > 0y x
2
2}. En esta cortadura, ni la clase inferior tiene mxi-
mo ni la clase superior tiene mnimo. Si supiramos qu cosa es
2, podramos
decir que la clase inferior contiene todas las aproximaciones por defecto de ese
nmero, y la clase superior todas las aproximaciones por exceso. La idea de De-
dekind fue sencillamente denir
= (I
, S
si I I
= {x + x
: x
I, x
2) = {a+b
2)
en lugar de R en los axiomas A1...A14, todos ellos se satisfacen.
Recordemos ahora algunas deniciones:
Denicin 2.1. Un nmero real c es cota superior de un conjunto A R, si
para todo a A se cumple a c. En este caso se dice que A est acotado
superiormente. Un nmero real M es mximo de A R, si M es cota superior
de A y adems M R. Anlogamente d R es cota inferior de A si para todo
a A se cumple d a (en este caso se dice que A est acotado inferiormente) y
m R es mnimo de A, si m es cota inferior de A y adems m R. Un conjunto
es acotado si lo est tanto superior como inferiormente. Si el conjunto de las cotas
superiores de un conjunto A tiene mnimo, a ese mnimo se le llama supremo o
extremo superior de A y se denota sup A. Anlogamente, si el conjunto de las
cotas inferiores de A tiene mximo, a ese mximo se le llama nmo o extremo
inferior de A, y se denota nf A.
Es claro que el mximo y el mnimo de un conjunto, si existen, son nicos.
Ejemplo 2.1. Sea R
+
= {x R : x > 0} la semirecta real positiva. R
+
no
tiene ninguna cota superior, pero cualquier nmero real c 0 es cota inferior.
El 0 es la mayor cota inferior, por lo tanto 0 es el nmo de R
+
. Como 0 R
+
,
R
+
no tiene mnimo.
Ejemplo 2.2. Sea X = {3, 1, 0,
A tal
que x
= 1. Si x 1, sea h = (2 x
2
)/4.
Como 1 x
2
< 2 se tiene 0 < h 1/4. Entonces (x + h)
2
= x
2
+ (2x + h)h <
x
2
+ (3 + 1/4)h < x
2
+ 4h = 2. Es decir que si tomamos x
= x + h se tiene
x
A y x
> x.
Tambin se cumple que, si y > 0 y y
2
> 2, entonces existe y
< y y y
2
> 2. En efecto, si ponemos x = 2/y se tiene x
2
= 4/y
2
< 4/2 = 2,
y entonces como acabamos de ver existe x
A tal que x
> x. Si tomamos
y
= 2/x
entonces y
= 2/x
< 2/x = y y y
2
= 4/x
2
> 4/2 = 2.
Ahora es fcil probar que A no tiene supremo en Q. En efecto, si c < 0
c > 0 y c
2
< 2, entonces c A, y como vimos existe un c
A tal que c
> c,
por lo tanto c no puede ser cota superior de A.
Si c > 0 y c
2
> 2, entonces ciertamente c es cota superior de A, pero como
existe c
< c y c
2
> 2, c no es cota superior mnima de A.
El nico caso que quedara por examinar es cuando c > 0 y c
2
= 2, pero eso
ya vimos que no es posible.
En el conjunto de los nmeros reales R, el conjunto A debe tener un supremo
c > 0. Como ya sabemos que no puede ser c
2
< 2 ni c
2
> 2, la nica posibilidad
que queda es c
2
= 2, y ese es el nmero que llamamos
2.
Por razones de simetra, existe tambin un
Principio del nmo: Todo conjunto no vaco y acotado inferiormente de
nmeros reales tiene nmo.
El Principio del nmo y el Principio del supremo son equivalentes (ver
ejercicios).
Prueba del Principio del Supremo
Cuando los nmeros reales se construyen a partir de los nmeros raciona-
les, el principio del Supremo puede y debe demostrarse. Usando cortaduras de
Dedekind es muy fcil: Si A R es no vaco y acotado superiormente, y cada
a A es una cortadura (I
a
, S
a
), entonces la cortadura cuya clase inferior es
aA
I
a
es el supremo de A (la vericacin es inmediata).
Si los reales se denen como expresiones decimales innitas, la prueba tam-
bin es fcil pero ms trabajosa. La haremos slo para el caso en que A tenga
algn elemento no negativo, dejando el otro caso como ejercicio.
Condideremos el conjunto A
0
formado por las partes enteras de los elementos
de A. Como A es acotado superiormente, A
0
contiene slo un nmero nito
de elementos no negativos, y por lo tanto tiene un elemento mximo g 0.
Condideremos ahora el conjunto A
1
formado por todos los elementos de A que
tienen parte entera g. Sea a
1
el mayor dgito que aparezca como primer cifra
decimal de algn elemento de A
1
. Sea A
2
el conjunto formado por todos los
elementos de A
1
que comienzan con g, a
1
. Sea a
2
el mayor dgito que aparezca
como segunda cifra decimal de algn elemento de A
2
. Continuando de este modo
se obtiene un real g, a
1
a
2
. . . que es el supremo de A.
2.1 Los nmeros reales 17
Como ejemplo, sea A = {x Q : x < 0 x
2
< 2}. Entonces A
0
=
{. . . , 2, 1, 0, 1} y g = 1. Ahora A
1
= {1+x : x Q, 0 x < 1, (1+x)
2
< 2}.
Como 1, 4
2
= 1, 96 < 2 pero 1, 5
2
> 2, es claro que a
1
= 4. Del mismo modo,
como 1, 41
2
= 1, 9881 < 2 pero 1, 42
2
= 2, 0164 > 2, resulta a
1
= 1. Prosiguien-
do de esta manera se van obteniendo las cifras del supremo: 1, 4142 . . . (que por
supuesto es
2).
Sean a, b R con a b. Llamaremos intervalo abierto con extremos a y b al
conjunto
(a, b) = {x R : a < x < b}.
Anlogamente se dene el intervalo cerrado con extremos a y b como
[a, b] = {x R : a x b},
y los intervalos semiabiertos (o semicerrados): [a, b) = {x R : a x < b} y
(a, b] = {x R : a < x b}.
Tambin consideraremos los intervalos no acotados abiertos (a, +) = {x
R : a < x} y (, a) = {x R : x < a}, y los cerrados: [a, +) = {x R : a
x} y (, a] = {x R : x a}. En general llamaremos intervalo a cualquiera
de los anteriores y al propio R. El interior de un intervalo I es el mayor intervalo
abierto contenido en l, y se denota I
= [a, b)
= (a, b]
=
(a, b), [a, +)
= (a, +).
Un subconjunto A de R se dice que es convexo si para cualquier par de
elementos a < b de A se cumple [a, b] A.
Ejercicio 2.3. Pruebe que los subconjuntos convexos de R son precisamente
los intervalos.
Si a R y > 0, se llamar entorno abierto de centro a y radio al intervalo
U
a
() = (a, a+). Aunque el trmino entorno se utiliza a veces en un sentido
ms general, en estas notas se entender siempre por entorno de a un entorno
abierto de centro a. Llamaremos semientorno derecho (resp. izquierdo) de a a
un intervalo de la forma [a, a +) (resp. (a , a]).
Se llamar entorno reducido abierto de centro a y radio al conjunto U
a
() =
U
a
()\{a} = (a, a)(a, a+), que se obtiene de U
a
() suprimiendo al propio
a. Anlogamente, se llama semientorno reducido derecho (resp. izquierdo) de a
a un intercalo de la forma (a, a +) (resp. (a , a)).
Ejercicio 2.4. Si A R llamemos A al conjunto {x : x A}. (a) Pruebe
que c R es cota superior de A si y slo si c es cota inferior de A. (b) Pruebe
que c = sup A si y slo si c =nf A.
Ejercicio 2.5. Demuestre el Principio del nmo a partir del Principio del
supremo, y viceversa.
Ejercicio 2.6. Si A, B R son acotados superiormente, entonces sup(A+B) =
supA + sup B.
18 Conceptos Bsicos
2.2. Funciones
El concepto de funcin se fue claricando durante el siglo XIX, a travs de los
trabajos de Cauchy, Dirichlet, Fourier y Weierstrass, entre otros, hasta que en
su forma moderna y general (funcin como correspondencia arbitraria) aparece
explcitamente a comienzos del siglo XX en el Cours danalyse mathmatique de
Goursat.
Si A y B son dos conjuntos, se dene el producto cartesiano AB de ambos
como el conjunto de todos los pares ordenados (a, b) con a en A y b en B, es
decir
AB = {(a, b) : a A, b B}.
AA se abrevia A
2
, y por induccin se denen A
3
= A
2
A, A
4
= A
3
A,. . . ,
A
n
= A
n1
A.
Una relacin de A en B es un subconjunto de AB.
Las funciones son un tipo especial de relaciones. Ms precisamente, una
relacin f de A en B es una funcin si se cumple que, para cada a A, existe
un nico b B tal que (a, b) f. O dicho de otra manera, si (a, b) f y
(a, b
) f entonces b = b
1 x
2
2x 1
,
y se pide hallar el dominio. Estrictamente hablando esto no tiene mucho senti-
do, pues para que una funcin est bien denida, se debe especicar cules son
su dominio y su codominio. En realidad lo que se pretende en estos casos es que
se halle el subconjunto ms grande posible de R en el cual la expresin dada
permita denir una funcin. Por ejemplo la expresin anterior tiene sentido si
1 x
2
0 y 2x 1 = 0, es decir si |x| 1 y x = 1/2. Por lo tanto se puede
denir una funcin f con dominio [1, 1/2) (1/2, 1] y codominio R mediante
f(x) =
1 x
2
/(2x 1).
2.2.1. Operaciones con funciones
Las funciones a valores reales pueden combinarse mediante operaciones arit-
mticas para formar nuevas funciones. As, si f es una funcin y c R una
constante, se denen las funciones f y cf (con el mismo dominio que f) me-
diante (f)(x) = f(x) y (cf)(x) = cf(x). Si f y g son funciones reales con
dominios D
f
y D
g
, respectivamente, se denen f +g y fg en D
f
D
g
mediante
(f + g)(x) = f(x) + g(x) y (fg)(x) = f(x)g(x). Tambin se puede denir f/g
mediante (f/g)(x) = f(x)/g(x), en D
f
{x D
g
: g(x) = 0}.
Dadas dos funciones g : A B y f : C D, supongamos que g(A) C.
Entonces se puede denir la composicin de f y g, denotada f g, mediante
(f g)(x) = f(g(x)). Por ejemplo si f(x) = x
2
+3x1 y g(x) = 2x+1, entonces
(f g)(x) = f(g(x)) = f(2x + 1) = (2x + 1)
2
+ 3(2x + 1) 1 = 4x
2
+ 10x + 3.
La composicin de funciones es asociativa, es decir que (f g)h = f (gh).
Ejercicio 2.9. Si f : A B es biyectiva y f
1
es su inversa, pruebe que
f
1
f = Id
A
y f f
1
= Id
B
.
Ejercicio 2.10. Sea f : A B. Pruebe que
20 Conceptos Bsicos
1. f es inyectiva si y slo si existe g : B A tal que g f = Id
A
.
2. f es sobreyectiva si y slo si existe g : B A tal que f g = Id
B
.
2.2.2. Extremos, crecimiento y decrecimiento de funciones
Las nociones de cota, mximo, mnimo, supremo e nmo que se denieron
para conjuntos de nmeros reales en la seccin 2.1 pueden trasladarse a funciones
f : I R, aplicndolas al conjunto f(I). Por ejemplo: se dice que f es acotada
superiormente si f(I) lo es, es decir si existe c R tal que f(x) c para todo
x I. Del mismo modo, se dice que f tiene mximo si f(I) lo tiene, o sea si
existe un real M tal que f(x) M para todo x I y M f(I). Tambin se
dice que f alcanza su mximo en a o que a es un punto mximo de f si f(a)
es el mximo de f. Observe que el mximo de una funcin, si existe, es nico.
Expresiones anlogas se usan para cotas inferiores y mnimos.
Sea f : I R y a I. Si existe un entorno V de a tal que f(x) f(a) para
todo x V I, entonces se dice que f(a) es un mximo local, y a es un punto
mximo local.
Observe que una funcin puede tener varios mximos locales (tambin puede
tener slo uno, o ninguno).
A los mximos locales algunos autores les llaman mximos relativos, y en-
tonces al mximo le llaman mximo absoluto.
De manera anloga se dene el concepto de mnimo local. A los mximos y
mnimos locales se les llama extremos locales (o relativos).
Denicin 2.2. Una funcin f : I R se dice que es
montona creciente si x y implica f(x) f(y), para todo x, y I,
estrictamente creciente si x < y implica f(x) < f(y) para todo x, y I,
montona decreciente si x y implica f(x) f(y), para todo x, y I, y
estrictamente decreciente si x < y implica f(x) > f(y) para todo x, y I.
A las funciones montonas crecientes o decrecientes se les llama conjunta-
mente montonas.
Ejercicio 2.11. Si f : I R no es montona, pruebe que existen a < b < c en
I tales que, o bien f(a) > f(b) < f(c), o bien f(a) < f(b) > f(c).
En estas notas se usarn los trminos creciente y decreciente como formas
abreviadas de montona creciente y montona decreciente, respectivamente, pe-
ro advertimos al lector que algunos autores utilizan estos trminos como sinni-
mos de estrictamente creciente y estrictamente decreciente. Otros autores llaman
no-decrecientes a las funciones montonas crecientes, y entonces a las monto-
nas decrecientes les llaman no-crecientes, terminologa desafortunada pues una
funcin que no es creciente no tiene porqu ser no-creciente.
2.3 Lmites 21
2.3. Lmites
El concepto de lmite es la nocin fundamental del clculo, en su formulacin
moderna. Sea f una funcin real denida en un entorno reducido de c R.
Informalmente se dice que el lmite de f(x) cuando x tiende a c es L, y se
escribe lm
xc
f(x) = L, cuando la diferencia entre f(x) y L puede hacerse tan
pequea como se quiera, en valor absoluto, tomando x sucientemente prximo
a c. Ms formalmente:
Denicin 2.3 (Lmites con entornos).
Se dice que lm
xc
f(x) = L si, dado cualquier entorno U de L, existe un
entorno reducido V
) U.
Recordando que U
L
() = (L , L + ) y U
c
() = (c , c + ) \ {c}, la
denicin anterior es equivalente a la siguiente:
Denicin 2.4 (Lmites con desigualdades).
Se dice que lm
xc
f(x) = L si, dado cualquier > 0, existe un > 0 tal que si
0 < |x c| < , entonces |f(x) L| < .
Observe que para la existencia de lm
xc
f(x) no hace falta que f est de-
nida en c, sino tan solo en un entorno reducido de c.
Ejercicio 2.12. Si f : R R es la funcin de valor constante k (es decir f(x) =
k para todo x R), pruebe que para cualquier c R se tiene lm
xc
f(x) = k.
Ejercicio 2.13. g : R R es la funcin identidad (es decir g(x) = x para todo
x R), pruebe que para cualquier c R es tiene lm
xc
g(x) = c.
Ejercicio 2.14. Si h : R R se dene mediante
h(x) =
_
1 si x Q,
0 si x Q,
pruebe que no existe lm
xc
h(x) para ningn c R.
Ejercicio 2.15. Sea k(x) = sen
1
x
para x = 0. Pruebe que no existe lm
x0
k(x).
Ejercicio 2.16. Si f(x) g(x) en un entorno reducido de c pruebe que, si
ambos lmites existen, entonces lm
xc
f(x) lm
xc
g(x).
2.3.1. Lmites laterales e innitos
Si f est denida en un intervalo (c, b), se puede denir el lmite de f cuando
x tiende a c por la derecha sustituyendo en la denicin 2.3 los entornos redu-
cidos de c por semientornos reducidos de la forma (c, c + ). O, en trminos de
desigualdades,
22 Conceptos Bsicos
Denicin 2.5. Se dice que el lmite de f cuando x tiende a c por la derecha
es L, y se escribe lm
xc
+ f(x) = L o lm
xc
f(x) = L, si dado cualquier > 0
existe un > 0 tal que, si c < x < c +, entonces |f(x) L| < .
Anlogamente se dice que el lmite de f cuando x tiende a c por la izquierda
es L, y se escribe lm
xc
f(x) = L o bien lm
xc
f(x) = L, si dado cualquier
> 0 existe un > 0 tal que, si c < x < c, entonces |f(x) L| < .
Ejemplo 2.7. Si f : R R es la funcin escaln
f(x) =
_
0 si x < 0,
1 si x 0,
entonces lm
x0
f(x) no existe, pero lm
x0
f(x) = 0 y lm
x0
+ f(x) = 1.
Ejercicio 2.17. La funcin parte entera o piso de x se denota x y se dene
como el mayor entero que es menor o igual a x. En otras palabras, x es el
nico entero tal que x x < x + 1. Estudie los lmites laterales de f para
cada c R.
Ejercicio 2.18. Pruebe que lm
xc
f(x) existe si y slo si lm
xc
+ f(x) y
lm
xc
f(x) existen y son iguales.
Ejercicio 2.19. Si f : (a, b) R es montona creciente, pruebe que existen
lm
xa
+ f(x) (y es nito si f es acotada inferiormente) y lm
xb
f(x) (y es ni-
to si f es acotada superiormente). Un resultado anlogo vale para las funciones
montonas decrecientes.
La denicin de lmite lm
xc
f(x) = L se puede extender al caso en que c,
L o ambos sean innitos, con o sin signo. Para ello llamaremos entorno de +
a cualquier intervalo de la forma (H, +) = {x : x > H}, entorno de a
cualquier intervalo de la forma (, H) = {x : x < H}, y entorno de a la
unin de intervalos (, H) (H, +) = {x : |x| > H}.
Por ejemplo lm
xc
f(x) = + si para cualquier intervalo (H, +) existe
un entorno reducido V
de c tal que, si x V
c
R y g : U
a
U
c
, si lm
xa
g(x) = c y
lm
xc
f(x) = L, entonces lm
xa
f(g(x)) = L.
Demostracin. Dado un entorno W de L, como lm
xc
f(x) = L, existe un
entorno reducido V
c
U
c
tal que f(V
c
) W. Y como lm
xa
g(x) = c, existe
un entorno reducido V
a
U
a
tal que g(V
a
) V
c
, y ms an g(V
a
V
c
.
Entonces (f g)(V
a
) = f(g(V
a
)) f(V
c
) W.
Ejercicio 2.23. Sea f : R R denida como f(x) = 1 si x = 0 y f(0) = 0,
y sea g : R R la funcin constante g(x) = 0. Entonces lm
x0
g(x) = 0 y
lm
x0
f(x) = 1, pero lm
x0
f(g(x)) = 0. Contradice esto al Teorema 2.1?
Teorema 2.2. Sean f y g funciones reales denidas en un entorno reducido de
c. Si existen lm
xc
f(x) = K y lm
xc
g(x) = L, entonces
lm
xc
(f(x) +g(x)) = K +L,
lm
xc
(f(x) g(x)) = K L,
lm
xc
(f(x)g(x)) = KL.
Si adems L = 0, entonces tambin
lm
xc
f(x)
g(x)
=
K
L
.
Y si K > 0, entonces
lm
xc
f(x)
g(x)
= K
L
.
24 Conceptos Bsicos
La prueba de este teorema es estndar y puede hallarse en cualquier texto.
Si uno o ambos de los lmites de f y g son innitos, en algunos casos se
pueden deducir los lmites de las operaciones entre f y g, pero en otros casos
no se puede. Por ejemplo:
Si lm
xc
f(x) = + y lm
xc
g(x) es nito o +, entonces lm
xc
(f(x) +
g(x)) = +. Un resultado anlogo se tiene si se cambia + por .
Sin embargo, si lm
xc
f(x) = +y lm
xc
g(x) = , no se puede armar
nada a priori sobre lm
xc
(f(x) + g(x)). Esto se expresa a veces diciendo que
es una forma indeterminada. Esto slo signica que el lmite no queda
determinado por los lmites de las funciones coomponentes f y g. Pero es una
expresin poco afortunada, ya que lleva a muchos alumnos a pensar que un
lmite de este tipo no se puede determinar, y por lo tanto no se puede hacer
nada con l. Es preciso enfatizar que lo indeterminado es la forma en general,
pero no cada lmite en particular. En realidad puede ocurrir que el lmite de la
suma no exista, o que exista y sea nito, o que exista y sea innito. Pero para
averiguar cul es el caso hace falta un anlisis ms profundo.
Ejemplo 2.8. Si en R denimos f(x) = x, g
1
(x) = x, g
2
(x) = 2x y g
3
(x) =
x, entonces lm
x+
f(x) = + y lm
x+
g
1
(x) = lm
x+
g
2
(x) =
lm
x+
g
3
(x) = , y se tiene que
lm
x+
(f(x) +g
1
(x) = 0,
lm
x+
(f(x) +g
2
(x) = ,
mientras que lm
x+
(f(x) +g
3
(x)) no existe.
Si lm
xc
f(x) = + y lm
xc
g(x) es nito y positivo o +, entonces
lm
xc
f(x)g(x) = +. Anlogamente si lm
xc
f(x) = y lm
xc
g(x) es
nito y positivo o +, entonces lm
xc
f(x)g(x) = .
En general se puede decir que si el lmite de una funcin es + o y el
de la otra es +, o un real distinto de 0, entonces el lmite del producto
es + o , y el signo se determina mediante la regla usual de los signos.
En cambio si lm
xc
f(x) = + y lm
xc
g(x) = 0, no se puede armar
nada a priori sobre lm
xc
f(x)g(x). Esto se expresa diciendo que 0 es una
forma indeterminada, expresin para la cual valen los mismos comentarios que
hicimos para . Y como en el caso de la suma, aqu tambin puede ocurrir
que el lmite del producto no exista, o que exista y sea nito, o que exista y sea
innito, siendo necesario un anlisis ms profundo para averiguar qu es lo que
en realidad ocurre.
Ejercicio 2.24. Proporcione ejemplos de cada una de las tres posibilidades
descriptas para la forma 0.
Para el cociente, si lm
xc
f(x) = + y lm
xc
g(x) es nito y positi-
vo, entonces lm
xc
f(x)/g(x) = +. Si en cambio lm
xc
f(x) es nito y
lm
xc
g(x) = (con o sin signo), entonces lm
xc
f(x)/g(x) = 0.
Si tanto f como g tienen lmites innitos, o si ambas tienen lmite 0, no se
puede armar nada a priori sobre lm
xc
f(x)/g(x). Es decir que se tienen dos
indeterminaciones ms: / y 0/0.
2.3 Lmites 25
Ejercicio 2.25. Proporcione ejemplos de la forma / y 0/0 para los cuales
el lmite a) no exista, b) exista y sea nito, y c) exista y sea innito.
Un resultado sencillo pero muy til es el siguiente:
Teorema 2.3 (Teorema del sndwich). Si f, g y h son funciones denidas en
un entorno reducido V de c tales que g(x) est siempre comprendido entre f(x)
y h(x) (es decir, f(x) g(x) h(x) o h(x) g(x) f(x) para todo x V ), y
si lm
xc
f(x) = lm
xc
h(x) = L, entonces lm
xc
g(x) existe y es igual a L.
Demostracin. Dado un entorno de L existen entornos reducidos V
1
y V
2
de c
tales que f(V
1
) U y h(V
2
) U. Si tomamos V
= V
1
V
2
entonces, para
cualquier x V
AB. El
segmento de perpendicular desde B al radio OA mide senx, y el segmento AD
de la tangente a la circunferencia en A, comprendido entre A y la recta OB,
mide tg x. Como el tringulo OAB est contenido en el sector circular OAB
y ste en el tringulo OAD, comparando sus reas se obtiene que (sen x)/2 <
x/2 < (tg x)/2, es decir sen x < x < tg x. Dividiendo entre senx (suponiendo
26 Conceptos Bsicos
x > 0) se tiene entonces que
1 <
x
senx
<
1
cos x
.
De aqu se deduce, por el teorema del sndwich, que lm
x0
+ x/ senx = 1 y
por tanto, tambin lm
x0
+(sen x)/x = 1. Como la funcin (sen x)/x es par, se
sigue que lm
x0
(sen x)/x = 1.
Ejercicio 2.26. Probar que
(a) lm
x0
tg x
x
= 1, (b) lm
x0
1 cos x
x
2
=
1
2
, (c) lm
x0
1 cos x
x
= 0.
Para lm
xc
f(x)
g(x)
, si el lmite de de f o el de g (o ambos) son innitos, se
plantean algunos casos fciles de decidir y otros que requieren un anlisis ms
profundo. Si lm
xc
f(x) = + y lm
xc
g(x) es positivo (nito o innito),
entonces lm
xc
f(x)
g(x)
= +. Lo mismo ocurre si lm
xc
f(x) = K > 1 y
lm
xc
g(x) = +. Si 0 < lm
xc
f(x) < 1 y lm
xc
g(x) = +, entonces
lm
xc
f(x)
g(x)
= 0.
En cambio no se puede armar nada a priori si lm
xc
f(x) = 1 y lm
xc
g(x)
= +. Esto se conoce como la forma indeterminada 1
. Un ejemplo impor-
tante es lm
x0
(1 +x)
1/x
= e.
Ejercicio 2.27. Proporcione ejemplos de la forms 1
2, x
2
=
_
2 +
2, x
3
=
_
2 +
_
2 +
2, . . . Pruebe
que esta sucesin tiene lmite y calclelo.
Teorema 2.4. Sea f una funcin denida en un entorno reducido de a tal
que lm
xa
f(x) = L. Entonces para cualquier sucesin {x
n
} con valores en el
dominio de f, se cumple lm
n+
f(x
n
) = L.
La demostracin es inmediata y se deja como ejercicio.
Ejemplo 2.11. Como lm
x0
(sin x)/x = 1 y lm
n+
1/n = 0, entonces
lm
n+
nsen(1/n) = 1.
Tambin vale una forma de recproco:
Teorema 2.5. Sea f una funcin denida en un entorno reducido de a y L
R. Si para cualquier sucesin {x
n
} con valores en el dominio de f y tal que
lm
n+
x
n
= a se cumple lm
n+
f(x
n
) = L, entonces lm
xa
f(x) = L.
Una serie de nmeros reales es una expresin de la forma x
1
+x
2
+x
3
+ +
x
n
+ donde {x
n
}
nN
es una sucesin de nmeros reales. A toda serie se le
asocia una sucesin de sumas parciales, denida como X
1
= x
1
, X
2
= x
1
+x
2
,
X
3
= x
1
+ x
2
+ x
3
,. . . y en general X
n
=
n
k=1
x
k
. Si existe lm
n
X
n
= S,
entonces se dice que la serie es convergente y que su suma es S. En ese caso se
escribe x
1
+x
2
+x
3
+ = S. Por ejemplo
1
2
+
1
4
+
1
8
+
1
2
n
+ = 1,
ya que las sumas parciales son X
n
=
n
k=1
1/2
k
= 1 (1/2)
n+1
(suma de una
progresin geomtrica) y lm
n
X
n
= lm
n
(1 (1/2)
n+1
) = 1 0 = 1.
2.4. Continuidad
Intuitivamente, una funcin es continua si su grca se puede dibujar sin
levantar el lpiz del papel. Sin embargo no fue fcil convertir esta nocin vaga
en la denicin precisa actual:
2.4 Continuidad 29
Denicin 2.6. Una funcin f es continua en a si lm
xa
f(x) = f(a). Si
lm
xa
+ f(x) = f(a) se dice que f es continua por la derecha en a, y si lm
xa
x
2
+ 1
_
es continua.
Ejemplo 2.12. De lm
x0
(1 +x)
1/x
= e y por la continuidad del logaritmo se
deduce que lm
x0
log((1 +x)
1/x
) = log(e) = 1, es decir
lm
x0
log(1 +x)
x
= 1.
Haciendo en este ltimi lmite el cambio de variable x = e
t
1 se obtiene
lm
t0
log(e
t
)/(e
t
1) = 1, es decir lm
t0
t/(e
t
1) = 1, y por lo tanto
lm
x0
e
x
1
x
= 1.
2.4.2. Propiedades de las funciones continuas
A continuacin se enuncian algunos de los resultados ms importantes rela-
cionados con funciones continuas.
Teorema 2.6 (Constancia local del signo).
Si f : I R es continua, c I y f(c) > 0, entonces existe un entorno V de
c tal que f(x) > 0 para todo x V . Anlogamente, si f(c) < 0 entonces existe
un entorno V de c tal que f(x) < 0 para todo x V .
La prueba es muy sencilla. Si f(c) > 0 entonces, tomando = f(c), por
la continuidad de f se tiene que existe > 0 tal que, si |x c| < , entonces
|f(x) f(c)| < = f(c), es decir f(c) < f(x) f(c) < f(c), de donde
0 < f(x) < 2f(c). Por lo tanto si |x c| < , ewntonces f(x) > 0. La prueba
para el caso f(c) < 0 es anloga.
2.4 Continuidad 31
Teorema 2.7 (Teorema de Bolzano).
Si f : [a, b] R es continua y f(a)f(b) < 0, entonces existe por lo menos un
punto c (a, b) para el cual f(c) = 0.
En otras palabras este teorema arma que si una funcin continua toma valo-
res de signo opuesto en los extremos de un intervalo, entonces se anula en algn
punto interior al mismo. Para probarlo, supongamos por ejemplo que f(a) < 0
y f(b) > 0 y consideremos el conjunto A = {x [a, b] : f es negativa en [a, x]}.
Como A obviamente es no vaco y acotado, existe c = sup A. usando el teorema
anterior es fcil ver que no puede ser f(c) < 0 (pues entonces habra puntos
de A mayores que c) ni f(c) > 0 (pues entonces habra cotas superiores de A
menores que c), por lo tanto f(c) = 0.
Otra demostracin popular se basa en el llamado mtodo de biseccin. Sea
c = (a + b)/2. Si f(c) = 0 no hay ms nada que hacer. Si f(c) > 0 pongamos
a
1
= a y b
1
= c; si en cambio f(c) < 0 pongamos a
1
= c y b
1
= b. En ambos
casos se verica que f(a
1
)f(b
1
) < 0. Sea ahora c
1
= (a
1
+ b
1
)/2. Si f(c
1
) = 0
ya est. Si f(c
1
) > 0 pongamos a
2
= a
1
y b
2
= c
1
; si en cambio f(c
1
) < 0
pongamos a
2
= c
1
y b
2
= b
1
, y se verica que f(a
2
)f(b
2
) < 0. Prosiguiendo de
esta manera, o encontramos un cero de f o se generan dos sucesiones montonas
a a
1
a
2
y b b
1
b
2
tales que b
n
a
n
= (b a)/2
n
.
Sean A = {a
n
: n = 1, 2, . . .} y B = {b
n
: n = 1, 2, . . .}. Es claro que para
ndices cualesquiera i, j se tiene a
i
b
j
, de donde se sigue que a
i
nf B para
todo i y sup A nf B. Pero como a
n
sup A nf B b
n
, se tiene que
0 nf B sup A b
n
a
n
= (b a)/2
n
para todo n, de donde sup A =nf B.
Sea c el valor comn de sup A y nf B.
Probaremos que f(c) = 0. En efecto, si fuese f(c) > 0, entonces por el
teorema anterior f sera positiva en todo un entorno (c , c + ), para cierto
> 0, y ese entorno no podra contener ningn a
n
(ya que f(a
n
) < 0 por
construccin), contradiciendo el hecho de que c es el supremo de A. De manera
similar, si f(c) < 0 f sera negativa en todo un entorno (c , c + ), para
cierto > 0, y ese entorno no podra contener ningn b
n
(ya que f(b
n
) > 0 por
construccin), contradiciendo el hecho de que c es el nmo de B.
La nica posibilidad que queda es f(c) = 0.
La prueba anterior tiene la ventaja de ser constructiva, y por lo tanto propor-
ciona una manera efectiva de calcular aproximadamente races de ecuaciones.
Ejemplo 2.13. Supongamos que se desea hallar una raz aproximada de la
ecuacin x
3
+ x 1 = 0. Como la funcin f(x) = x
3
+ x 1 es continua,
f(0) = 1 < 0 y f(1) = 1 > 0, el teorema de Bolzano nos dice que existe una
raz entre 1 y 2. Ms an, como f(1/2) = 3/8 < 0, hay una raz en [1/2, 1].
Y como f(3/4) = 11/64 > 0, hay una raz en [1/2, 3/4]. Prosiguiendo de esta
manera se podra hallar la raz con cualquier grado de precisin deseado (existen
sin embargo mtodos ms ecientes).
Ejercicio 2.33. Un lago tiene un muelle desde el cual salen lanchas de paseo.
Francisca sale en una lancha a las 3pm y regresa a las 5pm. Gabriel sale en otra
32 Conceptos Bsicos
lancha a las 4pm y regresa a las 6pm. Pruebe que en algn momento entre las
4pm y las 5pm Francisca y Gabriel se encuentran a igual distancia del muelle.
Ejercicio 2.34. Pruebe que si f : I R es continua, entonces tiene la Pro-
piedad de Darboux, es decir que dado cualquier intervalo [a, b] I, f toma en
[a, b] todos los valores comprendidos entre f(a) y f(b).
Ejercicio 2.35. Pruebe que si I es un intervalo y f : I R es continua (o
ms en general, si tiene la propiedad de Darboux) entonces f(I) es tambin un
intervalo.
Ejercicio 2.36. Sea f : I R continua e inyectiva. Pruebe entonces que f es
estrictamente montona, y que su inversa f
1
: f(I) I tambin es continua.
Ejercicio 2.37. Podra pensarse que la Propiedad de Darboux caracteriza a las
funciones continuas. Pruebe que no es as, construyendo una funcin que tenga
dicha propiedad pero que no sea continua, al menos en un punto.
(a) = lm
h0
f(a +h) f(a)
h
.
Si f es derivable en cada punto de su dominio, entonces se dice simplemente
que f es derivable, y a la funcin f
(a) = 0.
Ejemplo 2.14. a) Sea una funcin constante. Entonces
(x) = lm
h0
(x + h) (x)
h
= lm
h0
0 = 0.
b) Sea f(x) = x. Entonces
f
(x) = lm
h0
f(x +h) f(x)
h
= lm
h0
x +h x
h
= lm
h0
1 = 1.
c) Sea g(x) = x
2
, entonces
g
(x) = lm
h0
(x +h)
2
x
2
h
= lm
h0
2hx h
2
h
= lm
h0
(2x h) = 2x.
34 Conceptos Bsicos
d) Sea k(x) = e
x
. Entonces
k
(x) = lm
h0
e
x+h
e
x
h
= lm
h0
e
x
e
h
1
h
= e
x
.
e) Sea h(x) = sen x. Como sen(x +h) = senxcos h + sen hcos x se tiene
h(x +h) h(x)
h
=
senh
h
cos x
1 cos h
h
sen x
y por lo tanto
h
(x) = lm
h0
senh
h
cos x lm
h0
1 cos h
h
sen x = 1 cos x 0 sen x = cos x.
Ejercicio 2.39. Calcular, a partir de la denicin, las funciones derivadas de
1/x,
x, cos(x) y log(x).
2.5.1. Derivadas laterales
Si f est denida en [a, b) y existe
lm
xa
+
f(x) f(a)
x a
,
al valor del lmite se le llama derivada por la derecha de f en a y se denota
f
(a
+
). Anlogamente se dene la derivada por la izquierda. Es claro que f es
derivable en a si y slo si existen ambas derivadas laterales y son iguales.
Ejemplo 2.15. Sea f(x) = |x|. Entonces lm
x0
+ f(x)/x = lm
x0
+ x/x = 1
y lm
x0
f(x)/x = lm
x0
(x)/x = 1.
2.5.2. Interpretacin geomtrica
Recordando lo que vimos en el primer captulo, f
(a)(x a).
En realidad, dadas las dicultades existentes para denir en trminos geo-
mtricos la nocin de recta tangente, se puede usar la derivada para denirla
analticamente. Es decir que si existe f
(a)(x a).
Los a para los cuales f
(a
+
),
entonces la tangente a la grca de f en el punto (a, f(a)) ser y = f(a) +
f
(a
+
)(x a). Del mismo modo, si existe f
(b
), la tangente a la grca de f
en el punto (b, f(b)) ser y = f(b) +f
(b
)(x b).
Ejemplo 2.16. Consideremos una parbola de foco F y directriz d. Los griegos
saban que la tangente a esta curva en un punto P es la bisectriz del ngulo
formado por el radio vector FP y la paralela al eje por P. Para comprobar este
resultado usando el clculo, tomemos un sistema de coordenadas con origen O en
el vrtice de la parbola, eje Ox paralelo a la directriz y como eje Oy, el eje de la
parbola. Si tomamos como unidad de medida la distancia del foco a la directriz,
entonces las coordenadas del foco son (0, 1/2) y la ecuacin de la directriz es
y = 1/2. La distancia del foco al punto P = (x, y) es
_
x
2
+ (y 1/2)
2
, y la
distancia de P a la directriz es y + 1/2. Por lo tanto la ecuacin de la parbola
es
_
x
2
+ (y 1/2)
2
= y + 1/2. Elevando al cuadrado nos queda
x
2
+ (y
1
2
)
2
= (y +
1
2
)
2
,
y luego de desarrollar los cuadrados y simplicar queda x
2
= 2y, o y = x
2
/2.
Por lo tanto y
2
) = tg(NPQ),
y entonces MPN = NPQ.
De aqu se deduce la conocida propiedad de los espejos parablicos: los rayos
paralelos al eje, una vez reejados pasan por el foco. Segn Plutarco, Arqumedes
utiliz esta propiedad para defender a Siracusa, su ciudad natal, de los romanos:
hizo construir grandes espejos en forma de paraboloides de revolucin, capaces
de concentrar los rayos solares sobre las naves enemigas hasta quemarlas.
2.5.3. Interpretacin cinemtica
Consideremos un punto que se mueve sobre una lnea recta. Fijando un
origen y una unidad de medida en la recta, la posicin del punto mvil en el
instante t queda determinada por su abscisa x(t), que ser funcin del tiempo.
36 Conceptos Bsicos
Figura 2.3: Tangentes a la parbola
La distancia recorrida por el mvil desde el instante t hasta el t + h es
x(t +h) x(t); esta distancia es orientada: puede ser positiva, si el mvil avanza
en el sentido de las x crecientes, o negativa en caso contrario. La velocidad media
es (x(t +h) x(t))/h; observe que depende del intervalo de tiempo considerado,
es decir del valor de h. Al lmite (si existe) de la velocidad media cuando t 0,
es decir a la derivada de x(t), se le llama velocidad instantnea. Siguiendo la
tradicin newtoniana, en fsica se acostumbra denotar la derivada respecto al
tiempo con un punto en vez de un apstrofo, es decir x(t).
Lo anterior se puede generalizar al movimiento en dos o ms dimensiones.
En el plano, por ejemplo, el movimiento de un punto P se puede describir dando
su abscisa y su ordenada en funcin del tiempo, digamos P(t) = (x(t), y(t)). En
este caso la velocidad es el vector
P(t) = ( x(t), y(t)).
2.5.4. Propiedades de las funciones derivables
Reglas de derivacin
Las siguientes armaciones son bien conocidas y se prueban fcilmente a
partir de la denicin de la derivada y las propiedades de los lmites.
1. Si f es derivable en a y k es una constante, entonces kf es derivable en a
y (kf)
(a) = kf
(a).
2. Si f y g son derivables en a entonces f +g es derivable en a y (f +g)
(a) =
f
(a) +g
(a).
2.5 Derivadas 37
3. Si f y g son derivables en a entonces fg es derivable en a y (fg)
(a) =
f
(a)g(a) +f(a)g
(a).
4. Si f y g son derivables en a, g(a) = 0 y g
(a) = (f
(a)g(a) f(a)g
(a))/(g(a))
2
.
Demostremos como ejemplo la 3: como
(fg)(a +h) (fg)(a) = (f(a +h) f(a))g(a +h) +f(a)(g(a +h) g(a)),
y como g es continua en a por ser derivable, se tiene
lm
x0
(fg)(a +h) (fg)(a)
h
= lm
x0
f(a +h) f(a)
h
lm
x0
g(a +h) +f(a) lm
x0
g(a +h) g(a)
h
= f
(a)g(a) +f(a)g
(a).
Las dos primeras propiedades nos dicen que la derivacin es una operacin
lineal. De ellas se deduce, por induccin, que si f
1
, f
2
,. . . ,f
n
son funciones de-
rivables en a y k
1
, k
2
,. . . ,k
n
son constantes, entonces
(k
1
f
1
+k
2
f
2
+ +k
n
f
n
)
(a) = k
1
f
1
(a) +k
2
f
2
(a) + +k
n
f
n
(a).
Ejemplo 2.17. Como (sen x)
= cos x y (cos x)
= senx, entonces
(tg x)
=
_
senx
cos x
_
=
(sen x)
cos
2
x
=
cos
2
x + sen
2
x
cos
2
x
=
1
cos
2
x
= sec
2
x = tg
2
x + 1.
Teoremas de Rolle y Lagrange
Lema 2.1. Si f : (a, b) R es una funcin derivable y presenta un extremo
local en c (a, b), entonces f
(c) = 0.
Demostracin. Hagamos la prueba para un mximo local (para mnimo local es
similar). Sea (c , c +) (a, b) un entorno de c tal que f(x) f(c) para todo
x (c , c +). Entonces para c < x < c + se tiene (f(x) f(c))/(xc) 0,
y por lo tanto lm
xc
+(f(x) f(c))/(x c) 0. Para c < x < c se tiene
(f(x) f(c))/(x c) 0, y por lo tanto lm
xc
(f(x) f(c))/(x c) 0.
Pero ambos lmites laterales deben ser iguales a f
(c) 0
y f
(c) = 0.
Teorema 2.11 (Teorema de Rolle).
Si f es una funcin continua en el intervalo [a, b], derivable en (a, b) y tal que
f(a) = f(b) = 0, entonces existe un c (a, b) tal que f
(c) = 0.
38 Conceptos Bsicos
Demostracin. Por el teorema 2.9 f tiene mximo M y mnimo m. Si el mximo
se alcanza en un punto c (a, b), entonces por el lema anterior f
(c) = 0. Lo
mismo si el mnimo se alcanza en un punto d (a, b). En caso contrario, mximo
y mnimo se alcanzan en los extremos del intervalo, y por lo tanto son ambos
0. Entonces f(x) = 0 para todo x [a, b] y por ser constante cumple f
(c) = 0
para cualquier c (a, b).
La interpretacin geomtrica del teorema de Rolle es sencilla: si se satisfa-
cen las hiptesis del teorema, entonces en algn punto interior del intervalo la
tangente a la grca de f es horizontal.
El siguiente teorema, tambin conocido como teorema de los incrementos
nitos o teorema de Lagrange, es una generalizacin del teorema de Rolle y se
considera como uno de los ms importantes del clculo diferencial.
Teorema 2.12 (Teorema del valor medio).
Si f es una funcin continua en el intervalo [a, b] y derivable en (a, b), entonces
existe un c (a, b) tal que
f(b) f(a)
b a
= f
(c).
Demostracin. En trminos geomtricos este teorema arma que para algn
c (a, b), la tangente a la grca de f en el punto C = (c, f(c)) es paralela a la
recta secante que pasa por los puntos A = (a, f(a)) y B = (b, f(b)). En efecto,
(f(b)f(a))/(ba) es la pendiente de la recta secante y f
(c) es la pendiente de
la recta tangente, por lo tanto el teorema arma la igualdad de esas pendientes,
que es equivalente al paralelismo de ambas rectas. Aunque el teorema de Rolle
Figura 2.4: Teorema del valor medio
es un caso particular de este teorema, cuando f(a) = f(b) = 0, en realidad son
2.5 Derivadas 39
equivalentes ya que se puede demostrar el teorema del valor medio a partir del
teorema de Rolle. Para ello consideremos la funcin auxiliar
g(x) = (b a)(f(x) f(a)) (f(b) f(a))(x a).
Como g(a) = g(b) = 0, por el teorema de Rolle g
(x) = (ba)f
(c)(f(b)f(a)) =
0, y f
(x) = L, entonces f
(c) = L.
Derivacin de funciones compuestas
Teorema 2.13 (Regla de la cadena).
Si g es derivable en a y f es derivable en g(a), entonces f g es derivable en
a y
(f g)
(a) = f
(g(a))g
(a).
Demostracin. Por el teorema del valor medio, para cada h existe algn (h)
comprendido entre g(a) y g(a +h) tal que
f(g(a +h)) f(g(a)) = f
((h)) lm
h0
g(a +h) g(a)
h
= f
(g(a))g
(a).
Ejemplo 2.19. Como (sen x)
= cos x y (x
2
+1)
= 2xcos(x
2
+ 1).
Ejercicio 2.41. Es vlido probar la regla de la cadena tomando lmites cuando
h 0 a ambos lados de la igualdad
f(g(a +h)) f(g(a))
h
=
f(g(a +h)) f(g(a))
g(a +h) g(a)
g(a +h) g(a)
h
?
40 Conceptos Bsicos
Derivada de la funcin inversa
Teorema 2.14. Sea f : I J continua y con inversa f
1
. Si f
(a) existe y
no es nula en un punto c interior a I, entonces tambin existe (f
1
)
(f(c)) y
se cumple
(f
1
)
(f(c)) =
1
f
(c)
Demostracin. Por el teorema 2.1 de cambio de variables en lmites (pg. 23),
y puesto que lm
xc
f(x) = f(c) (por ser f continua) se tiene
lm
yf(c)
f
1
(y) f
1
(f(c))
y f(c)
= lm
xc
f
1
(f(x)) f
1
(f(c))
f(x) f(c)
= lm
xc
x c
f(x) f(c)
=
1
f
(c)
.
Por lo tanto existe (f
1
)
(c).
Ejemplo 2.20. Como (tg x)
= 1 + tg
2
x, se tiene
(arc tg x)
=
1
1 + tg
2
(arc tg x)
=
1
1 +x
2
.
De igual modo, como
(sh x)
=
_
e
x
e
x
2
_
=
e
x
+ e
x
2
= chx,
se tiene
(argshx)
=
1
ch(argshx)
=
1
_
1 + (sh(argshx))
2
=
1
1 +x
2
.
Teorema de Cauchy y Regla de LHpital
El siguiente teorema es una generalizacin del teorema de Lagrange, pero su
demostracin es igual de sencilla.
Teorema 2.15 (Teorema del valor medio de Cauchy).
Si f y g son funciones continuas en el intervalo [a, b] y derivables en (a, b),
entonces existe c (a, b) tal que
(f(b) f(a))g
(c).
Demostracin. Sea h(x) = (g(b)g(a))f(x)(f(b)f(a))g(x). Entonces h(a) =
g(b)f(a) f(b)g(a) = h(b) y por el teorema del valor medio existe c (a, b) tal
que h
(c) = 0.
2.5 Derivadas 41
Si g(b) g(a) = 0 y g
(c)
g
(c)
.
Una consecuencia interesante del teorema de Cauchy es la llamada regla de
LHpital (o LHospital), muy usada para calcular lmites de formas indetermi-
nadas.
Teorema 2.16 (Regla de LHpital). Sean f y g funciones continuas que se
anulan en a R, y supongamos que g no se anula en un entorno reducido de
a. Entonces;
(a) Si existen f
(a) y g
(a) y g
(a) = 0, entonces
lm
xa
f(x)
g(x)
=
f
(a)
g
(a)
.
(b) Si las derivadas f
y g
(x)/g
(x), entonces
tambin existe lm
xa
f(x)/g(x) y se cumple
lm
xa
f(x)
g(x)
= lm
xa
f
(x)
g
(x)
.
Demostracin. (a)
lm
xa
f(x)
g(x)
= lm
xa
(f(x) f(a))/(x a)
(g(x) g(a)/(x a)
=
f
(a)
g
(a)
.
(b) Por el teorema de Cauchy aplicado al intervalo (a, x) se tiene
f(x)
g(x)
=
f(x) f(a)
g(x) g(a)
=
f
(c)
g
(c)
para algn c entre a y x, y como c a cuando x a y lm
xa
f
(x)/g
(x)
existe, entonces tambin existe lm
xa
f(x)/g(x) y son iguales.
Esta regla deriva su nombre de Guillaume Franois Antoine, Marqus de
LHpital (16611704), quien es considerado como el autor del primer libro de
texto de Clculo. All public la regla que lleva su nombre, aunque en reali-
dad parece que la misma fue hallada por Johann Bernoulli, a quin LHpital
contrat para que le enseara el Clculo.
Ejemplo 2.21. Un ejemplo clsico de aplicacin de esta regla es
lm
x0
sen x
x
= lm
x0
cos x
1
= 1.
Pero en realidad no es un ejemplo muy afortunado, ya que para probar que
(senx)
1
3
_
tg x
x
_
2
=
1
3
.
La regla de LHpital se suele aplicar dos o ms veces en forma consecutiva:
lm
x0
x sen x
x
3
= lm
x0
1 cos x
3x
2
= lm
x0
sen x
6x
=
1
6
.
La regla de LHpital se puede aplicar tambin a lmites innitos. Las pruebas
se dejan como ejercicio.
Ejercicio 2.42. Si lm
x
f(x) = lm
x
g(x) = 0 y lm
x
f
(x)/g
(x)
existe, entonces tambin existe lm
x
f(x)/g(x) y es igual. Valen resultados
anlogos si x tiende a + o .
Ejercicio 2.43. Si lm
xa
f(x) = lm
xa
g(x) = , g no se anula en un
entorno reducido de a, y existe lm
xa
f
(x)/g
x
2
+ 1:
lm
x+
x
x
2
+ 1
= lm
x+
1
2x
2
x
2
+1
= lm
x+
x
2
+ 1
x
.
Y si se aplica una vez ms, resulta
lm
x+
x
2
+ 1
x
= lm
x+
x
x
2
+ 1
,
y volvemos al principio. Sin embargo este lmite es elemental:
lm
x+
x
x
2
+ 1
= lm
x+
1
_
1 +
1
x
2
= 1.
Al tratar de aplicar la regla de LHpital puede suceder que lmf
(x)/g
(x)
no exista. En ese caso no se debe concluir apresuradamente que lmf(x)/g(x)
tampoco existe, Por ejemplo,
lm
x0
x
2
sen
1
x
senx
= lm
x0
x
senx
(xsen
1
x
) = 1 0 = 0.
Pero si se intenta aplicar LHpital derivando numerador y denominador queda
lm
x0
(x
2
sen
1
x
)
(sen x)
= lm
x0
2xsen
1
x
cos
1
x
cos x
que no existe, por no existir lm
x0
cos(1/x).
2.5 Derivadas 43
Primitivas
Teorema 2.17. Si f : I R es continua y derivable en I
, entonces f
(x) = 0
para todo x I
si y slo si f es constante.
Demostracin. Ya vimos que una funcin constante tiene derivada nula. Rec-
procamente, si f
= f.
Teorema 2.18. Si F es una primitiva de f, entonces G tambin lo es si y slo
si GF es constante.
Demostracin. Si F es primitiva de f y G F = C (constante) entonces G
=
(F +C)
= F
= G
= f f = 0, y por el
corolario anterior GF es constante.
Este teorema nos muestra que para conocer todas las primitivas de una fun-
cin f, es suciente conocer una cualquiera de ellas, digamos F. Todas las dems
son de la forma F +C, donde C R es una constante arbitraria.
Ejemplo 2.23. x
2
es una primitiva de 2x, ya que (x
2
)
. Del mismo
modo se denen (si existen) f
= (f
, f
IV
= (f
, . . . La derivada n-sima
se denota f
(n)
.
Si x(t) representa la posicin de un punto que se mueve sobre una lnea recta,
ya vimos que la derivada primera x(t) corresponde a la velocidad. Entonces
la aceleracin, que se dene como la tasa de variacin de la velocidad, queda
representada por la derivada segunda x(t).
Si u y v son derivables dos veces, entonces a partir de la regla de derivacin
del producto,
(uv)
= u
v +uv
,
derivando una vez ms se obtiene
(uv)
= (u
v +uv
) = u
v +u
+u
+uv
= u
v + 2u
+uv
.
44 Conceptos Bsicos
Si u y v son derivables n veces, entonces por induccin se prueba fcilmente la
llamada Regla de Leibniz, que recuerda al binomio de Newton:
(uv)
(n)
= u
(n)
v +
_
n
1
_
u
(n1)
v
+
_
n
2
_
u
(n2)
v
+ +uv
(n)
o, poniendo u
(0)
= u, v
(0)
= v,
(uv)
(n)
=
n
k=0
_
n
k
_
u
(nk)
v
(k)
.
2.5.6. Innitsimos e innitos
Denicin 2.9. Una funcin f denida en un entorno reducido de a es un
innitsimo cuando x tiende a a si lm
xa
f(x) = 0. Si lm
xa
f(x) = (con
o sin signo) se dice que es un innito. Estas deniciones se aplican tambin,
mutatis mutandis, sustituyendo a por con o sin signo, a
+
o a
.
Ejemplo 2.24. x, sen x, 1 cos x, log(1 +x), e
x
1 y e
1/x
2
son innitsimos
cuando x tiende a 0.
1/x, e
1/x
y
x + 1
x es un innito para x 0
+
.
Comparacin de innitsimos e innitos
Si f y g son funciones denidas en un entorno reducido de a (que puede
ser , + o ), la notacin de Landau f = O(g) para x a signica que
existen un entorno reducido V de a y una constante K tales que |f(x)| K|g(x)|
para todo x V . Por ejemplo sen x = O(x) para x 0 ya que | senx| |x| para
todo x = 0. Hay que tener algo de cuidado con esta notacin, ya que muchas
funciones pueden ser O(g), pero esto no quiere decir que sean iguales!
Si f y g son innitsimos o innitos denidos en un entorno reducido de a,
entonces se dice que son del mismo orden si f es O(g) y g es O(f) . Esto sucede,
en particular, si existe lm
xa
f(x)/g(x) = 0.
f es de orden n respecto a g si f es del mismo orden que g
n
. Por ejemplo
1 cos x es de segundo orden respecto a x, para x 0, ya que lm
xa
(1
cos x)/x
2
= 1/2 = 0.
Si lm
xa
f(x)/g(x) = 1 entonces se dice que f y g son equivalentes y se
escribe f g. Observe que si lm
xa
f(x)/g(x) = = 0 entonces f(x) g(x).
Si f y g son innitsimos denidos en un entorno reducido de a en el cual g
no se anula, y se cumple que lm
xa
f(x)/g(x) = 0, entonces se dice que f es un
innitsimo de orden superior a g, y se escribe f = o(g). Si lm
xa
f(x)/g
n
(x) =
0 entonces se dice que f es de orden al menos n respecto a g.
2.5 Derivadas 45
Por ejemplo sen(x
3
) = o(x
2
) cuando x 0, ya que lm
x0
sen(x
3
)/x
2
=
lm
x0
xsen(x
3
)/x
3
= 0 1 = 0, por lo tanto sen(x
3
) es al menos de orden 2
respecto a x (en realidad es de orden 3).
Para innitos f y g denidos en un entorno reducido de a, se dice que
f es de orden inferior a g si f = o(g). Note la diferencia con la denicin
correspondiente para innitsimos: para que f sea de orden superior a g debe
ser lm
xa
f(x)/g(x) = .
Ejemplo 2.25. Si n es un natural, aplicando la regla de LHpital n veces se
tiene
lm
x+
x
n
e
x
= lm
x+
nx
n1
e
x
= = lm
x+
n!
e
x
= 0,
por lo tanto x
n
= o(e
x
) para x +, es decir que x
n
es un innito de orden
inferior a e
x
, y e
x
es de orden superior a x
n
, para cualquier n natural.
Ejercicio 2.45. Pruebe que x es un innito de orden superior a (log(x))
n
cuando x +, para cuaquier natural n.
Teorema 2.19. Si f(a) = f
(a) = f
(a) = = f
(n)
(a) = 0, entonces f(x) =
o((x a)
n
) para x a.
Demostracin. Aplicando n1 veces consecutivas la regla de LHpital y luego
la denicin de derivada, resulta
lm
xa
f(x)
(x a)
n
= lm
xa
f
(x)
n(x a)
n1
= lm
xa
f
(x)
n(n 1)(x a)
n2
=
= lm
xa
f
(n1)
(x)
n!(x a)
=
1
n!
lm
xa
f
(n1)
(x) f
(n1)
(a)
x a
= f
(n)
(a) = 0.
2.5.7. Frmula de Taylor
Si f es n veces derivable en a, entonces al polinomio
T
n;f;a
(x) =
n
k=0
(x a)
k
k!
f
(k)
(a)
= f(a) + (x a)f
(a) +
(x a)
2
2!
f
(a) + +
(x a)
n
n!
f
(n)
(a)
se le llama polinomio de Taylor de grado n de la funcin f en a.
Es claro que si se pone R
n;f;a
(x) = f(x) T
n;f;a
(x) entonces
f(x) = T
n;f;a
(x) +R
n;f;a
(x).
A esta igualdad se le llama Frmula de Taylor, en honor al matemtico ingls
Brook Taylor (16851731). A R
n;f;a
(x) se le llama resto o trmino complemen-
tario. Es claro que esta frmula no es ms que una tautologa: se cumple porque
46 Conceptos Bsicos
R
n;f;a
(x) se ha denido para que se cumpla. Pero si se logra identicar alguna
propiedad interesante de R
n;f;a
(x) entonces se tiene una forma del Teorema de
Taylor. Aqu slo veremos dos variantes de este teorema.
Teorema 2.20 (Teorema de Taylor I).
Si f es n veces derivable en un entorno de a, entonces
f(x) = T
n;f;a
(x) +o((x a)
n
).
Demostracin. Puesto que
T
(j)
n;f;a
(x) =
n
k=j
(x a)
kj
(k j)!
f
(k)
(a)
resulta que T
(j)
n;f;a
(a) = f
(j)
(a) para j = 0, 1, . . . , n, y la prueba se completa
aplicando el teorema 2.19 a la diferencia f(x) T
n;f;a
(x).
Este teorema equivale a armar que R
n;f;a
(x) = o((x a)
n
), y a esto se le
llama forma innitesimal del trmino complementario.
Es fcil ver que T
n;f;a
(x) es el nico polinomio de grado n tal que f(x)
T
n;f;a
(x) = o((x a)
n
), en otras palabras es el que mejor aproxima localmente
a f cerca de a. En particular, T
1;f;a
(x) = f(a) + f
(a)(x a) es la mejor
aproximacin lineal a f cerca de a. La grca de T
2;f;a
(x) es una parbola,
que se conoce como parbola osculadora u osculatriz de f en a.
Ejemplo 2.26. Sea f(x) = cos x. Como f(0) = cos 0 = 1, f
(0) = sen0 = 0,
f
(0) = cos 0 = 1, f
(0) = sen 0 = 0, f
IV
(0) = cos 0 = 1, f
(5)
(0) =
sen0 = 0, resulta
cos x = 1
x
2
2!
+
x
4
4!
+o(x
5
)
cuando x 0.
Teorema 2.21 (Teorema de Taylor II).
Si f es n + 1 veces derivable en un entorno de a, entonces existe un punto
intermedio c entre a y x para el cual
f(x) = T
n;f;a
(x) +
f
(n+1)
(c)
(n + 1)!
(x a)
n+1
.
Demostracin. Para a y x jos sea R = R
n;f;a
(x) y denamos
F(t) = f(t) +(xt)f
(t) +
(x t)
2
2!
f
(t) + +
(x t)
n
n!
f
(n)
(t) +
(x t)
n+1
(x a)
n+1
R.
Derivando respecto a t resulta
F
(t) = f
(t) f
(t) + (x t)f
(t) (x t)f
(t) +
(x t)
2
2!
f
(t)
(x t)
n1
(n 1)!
f
(n)
(t) +
(x t)
n
n!
f
(n+1)
(t) (n + 1)
(x t)
n
(x a)
n+1
R
=
(x t)
n
n!
f
(n+1)
(t) (n + 1)
(x t)
n
(x a)
n+1
R.
2.5 Derivadas 47
Pero observemos que F(a) = F(x) = f(x), entonces por el teorema del valor
medio F
k=0
(x a)
k
k!
f
(k)
(a) = f(a) + (x a)f
(a) +
(x a)
2
2!
f
(a) +
a la cual se le llama serie de Taylor de la funcin f en a (o serie de Maclaurin si
a = 0). Muchas funciones importantes se pueden desarrollar en serie de Taylor,
por ejemplo
1
1 x
=
n=0
x
n
= 1 +x +x
2
+ para |x| < 1
x
(1 x)
2
=
n=1
nx
n
= x + 2x
2
+ 3x
3
+ para |x| < 1
1 +x =
n=0
(1)
n
(2n)!
(1 2n)4
n
(n!)
2
x
n
= 1 +
x
2
x
2
8
+
x
3
16
para |x| < 1
(1 +x)
n=0
( 1) ( n + 1)
n!
x
n
para |x| < 1
e
x
=
n=0
x
n
n!
= 1 +
x
1!
+
x
2
2!
+
x
3
3!
+ para todo x R
log(1 + x) =
n=1
(1)
n
n
x
n
= x
x
2
2
+
x
3
3
x
4
4
+ para |x| < 1
sen x =
n=0
(1)
n
(2n + 1)!
x
2n+1
=
x
1!
x
3
3!
+
x
5
5!
para todo x R
cos x =
n=0
(1)
n
(2n)!
x
2n
= 1
x
2
2!
+
x
4
4!
para todo x R
arc tg x =
n=0
(1)
n
2n + 1
x
2n+1
= x
x
3
3
+
x
5
5
para |x| 1
48 Conceptos Bsicos
Lagrange y otros matemticos creyeron que toda funcin decente poda
expresarse, al menos localmente, mediante su serie de Taylor. Pero esto no es
cierto, ya que la serie puede no converger, o converger pero no a la funcin f.
Un ejemplo notable lo proporciona la funcin de Cauchy
f(x) =
_
e
1/x
2
si x = 0,
0 si x = 0.
Para x = 0 tiene derivadas de todos los rdenes, por ejemplo
f
(x) =
2
x
3
e
1/x
2
, f
(x) =
_
6
x
4
+
4
x
6
_
e
1/x
2
,
f
(x) =
_
24
x
5
36
x
7
+
8
x
9
_
e
1/x
2
, . . .
y en general es claro que f
(n)
(x) = P
n
(1/x)e
1/x
2
, donde P
n
es un polinomio.
Pero con el cambio de variable u = 1/x
2
se ve que, para cualquier natural m,
lm
x0
e
1/x
2
x
2m
= lm
u+
u
m
e
u
= 0,
y tambin lm
x0
e
1/x
2
/x
2m1
= lm
x0
xe
1/x
2
/x
2m
= 0, por lo tanto
lm
x0
P
n
(1/x)e
1/x
2
= 0.
Esto prueba que f tiene derivadas de todos los rdenes en 0, y todas son nulas.
Por lo tanto la serie de Taylor de f es 0 +0 +0 + = 0, y no es igual a f sino
en 0.
2.6. Funciones convexas
Denicin 2.10. Una funcin f : I R se dice que es convexa si para cualquier
par de puntos x, y I y cualquier real t tal que 0 < t < 1, se cumple
f((1 t)x +ty) (1 t)f(x) +tf(y).
Si la desigualdad es estricta se dice que la funcin es estrictamente convexa.
Para cada z I sea P(z) al punto (z, f(z)) de la grca de f. Entonces la
denicin de convexidad signica, geomtricamente, que el punto P((1t)x+ty)
queda por debajo (o en) la recta P(x)P(y), para 0 < t < 1. O lo que es lo mismo,
la porcin de la grca de f en el intervalo (x, y) queda por debajo de la recta
secante P(x)P(y).
Si u = (1 t)x + ty, entonces la convexidad se puede caracterizar tambin
diciendo que la pendiente de P(x)P(u) es menor o igual que la de P(u)P(y).
2.6 Funciones convexas 49
Figura 2.5: Funcin convexa
Esto es geomtricamente obvio, y se puede probar analticamente sustituyendo
t = (u x)/(y x) en la desigualdad f(u) (1 t)f(x) +tf(y) para obtener
f(u)
y u
y x
f(x) +
u x
y x
f(y),
que despus de algunas manipulaciones algebraicas se convierte en
f(u) f(x)
u x
f(y) f(u)
y u
.
Si b, d > 0 entonces las desigualdades entre fracciones a/b < c/d, a/b < (a +
c)/(b +d) y (a +c)/(b +d) < c/d son equivalentes, por lo tanto se tiene que:
Teorema 2.22. f : I R es convexa si y slo si para puntos x, u, y cualesquie-
ra en I tales que x < u < y, se cumple alguna de las desigualdades equivalentes
siguientes
f(u) f(x)
u x
f(y) f(x)
y x
,
f(u) f(x)
u x
f(y) f(u)
y u
,
f(y) f(u)
y u
f(y) f(u)
y u
.
Las funciones estrictamente convexas se caracterizan por las correspondientes
desigualdades estrictas.
Esto nos muestra que si f : I R es (estrictamente) convexa y se toma un
punto interior x en el intervalo I, el cual se deja jo, entonces (f(y)f(x))/(y
50 Conceptos Bsicos
x) es una funcin (estrictamente) creciente de y, y por lo tanto (ver ejercicio
2.19) existe lm
yx
+(f(y)f(x))(yx) = f
(x
+
). De manera anloga se prueba
la existencia de f
(x
(x
) f
(x
+
)
f(y) f(x)
y x
f
(y
) f
(y
+
)
(si f es estrictamente convexa entonces las desigualdades interiores son estric-
tas).
Teorema 2.23. f : (a, b) R es derivable, entonces es (estrictamente) convexa
si y slo si f
es (estrictamente) creciente.
Demostracin. Si f es (estrictamente) convexa entonces como acabamos de ver
f
(c) f
(d) =
f(y) f(u)
y u
,
(con la desigualdad estricta si f es estrictamente convexa), y por el teorema
2.22 f es (estrictamente) convexa.
Corolario 2.1. f : (a, b) R es derivable dos veces, entonces es convexa si y
slo si f
(x) > 0
para todo x (a, b) entonces f es estrictamente creciente y por lo tanto f es
estrictamente convexa.
El concepto simtrico de la convexidad es la concavidad.
Denicin 2.11. Una funcin f es (estrictamente) cncava si f es (estricta-
mente) convexa.
Naturalmente que todas las caracterizaciones dadas para funciones convexas
se pueden adaptar a las cncavas, cambiando el sentido de las desigualdades.
De las funciones convexas se dice que tienen la concavidad hacia arriba, es
decir en el sentido de las y positivas, mientras que las funciones cncavas tienen
la concavidad hacia abajo.
A los puntos en los cuales cambia el sentido de la concavidad se les llama
puntos de inexin. Ms precisamente:
Denicin 2.12. c es punto de inexin de f si existe > 0 tal que f es estric-
tamente convexa en [a , a] y estrictamente cncava en [a, a +], o viceversa.
2.7 Teorema fundamental del Clculo 51
Figura 2.6: Punto de inexin
Observe que en un punto de inexin la curva es atravesada por la recta
tangente.
Teorema 2.24. Si f es dos veces derivable en (c, c+ y f
(x) es positiva en
(c, c) y negativa en (c, c+), o viceversa, entonces c es un punto de inexin.
La demostracin es inmediata.
Observemos que si f admite derivada segunda continua y c es un punto de
inexin, como f
(x) = 12x
2
es positiva
tanto para x < 0 como para x > 0.
Ejercicio 2.46. Si f es n veces derivable, f
(c) = f
(c) = = f
(n1)
(c) = 0
y f
(n)
(c) = 0, entonces c es un punto de inexin si y slo si n es impar.
2.7. Teorema fundamental del Clculo
Aunque el clculo de reas, y ms an la denicin precisa de este concepto,
son objeto del Clculo Integral, que no trataremos en estas notas, para lo que
sigue es suciente una comprensin intuitiva de la nocin de rea.
Teorema 2.25 (Teorema fundamental del Clculo).
Sea f una funcin continua y no negativa en [a, b], y sea A(x) el rea limitada
por la grca de f, el eje Ox y las rectas verticales de abscisas a y x. Entonces
la derivada del rea bajo la grca de f en el punto x es igual a f(x), es decir
A
(x) = f(x),
para todo x (a, b).
52 Conceptos Bsicos
a x x + h
C
D
K(x,v)
H(x+h,v)
y = f ( x)
A( x)
b
Figura 2.7: Teorema Fundamental del Clculo
Demostracin. Esencialmente repetiremos el argumento de Newton citado en
1.2, pg. 6. Sean C = (x, f(x)) y D = (x +h, f(x +h)) dos puntos de la curva.
Como el rea es aditiva, el rea de la regin limitada por la curva, el eje Ox y las
rectas verticales de abscisas x y x+h es igual a A(x+h) A(x). Tomemos v de
manera que el rectngulo de vrtices (x, 0), (x+h, 0), K = (x, v) y H = (x+h, v)
tenga igual rea que la regin mencionada. Entonces A(x + h) A(x) = vh,
y como es claro que v = (A(x + h) A(x))/h est comprendido entre f(x) y
f(x+h), si se toman lmites cuando h 0 resulta, por el teorema del sndwich,
A
(x) = f(x).
Este teorema tambin es vlido si f toma valores negativos, pero las porcio-
nes de rea bajo el eje de Ox deben considerarse negativas.
Corolario 2.2 (Regla de Barrow).
Si f : [a, b] R es continua y F es una primitiva de f, entonces el rea
limitada por la grca de f, el eje Ox y las rectas verticales de abscisas a y b
es F(b) F(a).
Demostracin. Si F es una primitiva de f, como por el teorema 2.25 z(x) tam-
bin lo es, en virtud del teorema 2.18 se tiene que A(x) F(x) = C (constante).
Como A(a) = 0, poniendo x = a queda C = A(a) F(a) = F(a) y por lo
tanto A(x) = F(x) F(a) y en particular A(b) = F(b) F(a).
Esta regla debe su nombre a Isaac Barrow (1630-1677), telogo y matemtico
ingls que tuvo a Newton como discpulo. Nos muestra que para calcular el rea
bajo la grca de una funcin f es suciente conocer una de sus primitivas.
Aunque el clculo de primitivas es uno de los problemas que trata el Clculo
integral, sin necesidad de conocer sus tcnicas, si uno encuentra por cualquier
mtodo (por ejemplo examinando una tabla de derivadas, o por ensayo y error)
una primitiva F de f, entonces la regla de Barrow nos permite calcular el rea.
Ejemplo 2.27. Calcular el rea limitada por la parbola y = x
2
, el eje Ox y
las rectas x = 1 y x = 2.
Solucin: Como (x
3
/3)
= x
2
, por la regla de Barrow el rea pedida es 2
3
/3
1
3
/3 = 5/3.
2.7 Teorema fundamental del Clculo 53
Utilizando la propiedad aditiva del rea puede calcularse tambin el rea de
regiones comprendidas entre dos curvas.
Ejemplo 2.28. Hallar el rea de la regin comprendida entre las grcas de
f(x) = x
2
+ 1 y g(x) = x
2
+ 2x + 5.
Figura 2.8: rea de una regin
Solucin: Primero hallamos los puntos de interseccin de ambas curvas resol-
viendo x
2
+ 1 = x
2
+ 2x + 5, lo cual nos da x
1
= 1 y x
2
= 2. Luego
hallamos las primitivas F(x) = x
3
/3 + x de f y G(x) = x
3
/3 + x
2
+ 5x
de g. El rea bajo y = f(x) entre x = 1 y x = 2 es entonces F(2)
F(1) = 8/3 + 2 (1/3 1) = 6, mientras que para y = g(x) el resulta-
do es G(2) G(1) = 8/3 + 4 +10 (1/3 + 1 5) = 15. El rea de la regin
comprendida entre ambas es la diferencia 15 6 = 9.
Ejercicio 2.47. Se llama segmento parablico a la regin comprendida entre
una parbola y una recta que la corta en dos puntos A y B. Sea C el punto
del arco de parbola AB ms alejado del segmento AB. Probar que el rea del
segmento parablico es igual a dos tercios del rea del tringulo ABC. Este
resultado fue hallado por Arqumedes hace ms de 2200 aos!
Ejemplo 2.29. Calcular el rea limitada por la elipse x
2
/a
2
+y
2
/b
2
= 1.
Solucin: Este problema es algo ms complicado, en primer lugar porque la elipse
no es la grca de una funcin. Sin embargo por razones de simetra es suciente
calcular el rea de la porcin que se encuentra en el semiplano superior, y luego
multiplicar por dos, o mejor an calcular el rea de la porcin contenida en el
54 Conceptos Bsicos
Figura 2.9: rea de la elipse
primer cuadrante, y luego multiplicar por cuatro. El arco de elipse contenido
en el primer cuadrante es la grca de la funcin f(x) = b
_
1 x
2
/b
2
.Esta
funcin no tiene una primitiva que se vea a simple vista, pero si se hace el
cambio de variable x = a sent, 0 t /2, entonces
d
dt
A(a sent) = A
2
sen()
2
) =
ab
4
,
y multiplicando por cuatro se obtiene que el rea de la elipse es ab.
Otra forma de obtener este resultado es la siguiente: la elipse es la imagen
de la circunferencia x
2
+ y
2
= a
2
por la transformacin T : R
2
R
2
denida
como T(x, y) = (x, by/a). Esta transformacin es una contraccin (suponiendo
b < a) en la direccin Oy, por un factor b/a. Los rectngulos de lados paralelos
a los ejes se transforman por T en rectngulos de igual ancho y altura reducida
en el factor b/a, por lo tanto su rea se reduce en ese mismo factor. Como la
circunferencia de rea a
2
puede aproximarse tanto como se desee mediante
rectngulos, sus transformados por T aproximan el rea de la elipse, que por lo
tanto ser a
2
(b/a) = ab.
Captulo 3
Mximos y mnimos
En este captulo se aplican las herramientas bsicas del clculo para estudiar
los extremos locales y globales de las funciones. ste es un tema de enorme
importancia en las aplicaciones, que se presenta cada vez que se desea maximizar
el rendimiento de un proceso, o minimizar las prdidas o los riesgos. Incluso las
leyes naturales se expresan muchas veces en trminos de mximos y mnimos.
3.1. Crecimiento y decrecimiento de una funcin
La derivada es una poderosa ayuda a la hora de estudiar el crecimiento o
decrecimiento de una funcin.
Teorema 3.1. Si f : [a, b] R es continua y derivable en (a, b), entonces f es
montona creciente si y slo si f
(x) = 3x
2
+6x24 =
3(x 2)(x + 4), y estudiando su signo vemos que f crece (estrictamente) en
(, 4], decrece en [4, 2] y crece nuevamente en [2, +).
Ejercicio 3.1 (Desigualdad de Bernoulli).
Pruebe que si a 1 y x 1 entonces
(1 +x)
a
1 +ax,
con igualdad si y slo si a = 1 a > 1 y x = 0.
56 Mximos y mnimos
Ejercicio 3.2.
(c) = 0.
Lamentablemente el recproco de este resultado no se cumple. Por ejemplo si
f(x) = x
3
entonces f
(x) = 3x
2
y f
(c) se tiene
el siguiente resultado.
Teorema 3.2 (Criterio de la segunda derivada).
Si f
(c) = 0 y f
(c)(x c) +
f
(c)(xc)
2
+o((xc)
2
) y f
(c)(xc)
2
=
o((xc)
2
). As lm
x0
(f(x)f(c)f
(c)(xc)
2
)/(xc)
2
= 0, por lo tanto existe
> 0 tal que si |xc| < entonces |(f(x)f(c))/(xc)
2
f
(c)| < f
(c)/2, de
donde se sigue que (f(x)f(c))/(xc)
2
> f
(x) = 3x
2
+ 6x 24
y f
(4) = 18 < 0
y f
_
5
1 x + 4
9 x si 0 x 1,
5
x 1 + 4
9 x si 1 x 9,
5
x 1 + 4
x 9 si 9 x 10,
58 Mximos y mnimos
y
f
(x) =
_
_
5/
1 x 4/
9 x si 0 < x < 1,
5/
x 1 4/
9 x si 1 < x < 9,
5/
x 1 + 4/
x 14/
9 x = 0
se tiene 25(9 x) = 16(x 1) y x = 241/41 es el nico punto crtico. Como
f(0) = 17, f(10) = 19, f(1) = 4
8 11,31, f(9) = 5
8 y f(241/41) =
5
_
200/41 + 4
_
128/41 = 82
_
2/41 18,11, se concluye que el mnimo es
f(1) = 4
(x) =
1 1/x
2
es negativa en (0, 1) y positiva en (1, 2), por lo tanto g es montona
decreciente en (0, 1) y montona creciente en (1, 2), de donde se sigue que en 1
hay no slo un mnimo local sino absoluto.
Ejemplo 3.8. La funcin f(x) = arc tg x en todo R est acotada entre /2 y
/2), pero no tiene mximo ni mnimo.
Sin embargo en algunos casos puede armarse la existencia de extremos.
Teorema 3.4. Sea f : R R continua. Si existen a R y K > 0 tales que
f(x) f(a) (f(x) f(a)) para todo x R tal que |x| > K, entonces f tiene
mximo (resp. mnimo).
Demostracin. Consideremos el primer caso. En el intervalo [K, K] la funcin
f tiene mximo M. Si x [K, K] entonces |x| > K, y f(x) f(a) M. Por
lo tanto el mximo de f en [K, K] lo es en realidad en todo R.
Corolario 3.1. Si lm
x
f(x) = L y para algn a R se tiene f(a) L
(f(a) L), entonces f tiene mximo (resp. mnimo).
3.4. Algunos ejemplos geomtricos
Ejemplo 3.9. Se dispone de una cartulina cuadrada de lado a y se quiere hacer
una caja sin tapa recortando cuadrados iguales en las esquinas y doblando sus
lados. Cul debe ser la longitud del lado del cuadrado que se recorta para que
el volumen de la caja sea mximo?
3.4 Algunos ejemplos geomtricos 59
Solucin: El volumen de la caja ser V (x) = (a2x)
2
x, con 0 x a/2. Puesto
que V es continua en [0, a/2], debe tener mximo absoluto. Como V
(x) =
(a 2x)
2
4x(a 2x) = (a 2x)(a 6x), se ve que los nicos puntos crticos
son a/2 y a/6. Como V (0) = V (a/2) = 0 y V (a/6) = 2a
2
/27, el mximo
absoluto en [0, a/2] se alcanza para x = a/6 y vale V (a/6) = 2a
3
/27.
Ejemplo 3.10. Un alambre de 100 cm de longitud se corta en dos partes,
formando con una de ellas un crculo y con la otra un cuadrado. Cmo debe
cortarse el alambre para que la suma de las reas de las dos guras sea mnima?
Y para que sea mxima?
Solucin: Si la parte con la cual se forma el crculo mide x cm, la otra medir
100x cm. El radio del crculo ser x/(2) cm
2
y su rea x
2
/(4) cm
2
, mientras
que el rea del cuadrado ser (100 x)
2
/16 cm
2
. Debemos hallar los extremos
absolutos de la funcin continua f(x) = x
2
/(4) +(100 x)
2
/16 en el intervalo
[0, 100]. f
4( + 4)
2
+
400
2
16( + 4)
2
=
2500
+ 4
.
Como
2500
+ 4
< 625 <
2500
() =
a cos
sen
2
+
b sen
cos
2
=
a cos
3
+b sen
3
sen
2
cos
2
1
+b
_
1 + tg
2
1
= a
2
3
_
a
2
3
+b
2
3
+b
2
3
_
b
2
3
+a
2
3
= (a
2
3
+b
2
3
)
3
2
,
que para a = 180 cm y b = 120 cm da aproximadamente 421,4 cm y se alcanza
para
1
0,85277 radianes, o 48
51 37.
Ejercicio 3.3. Una empresa desea construir envases cilndricos de hojalata de
un litro de capacidad, pero minimizando el rea total (y por lo tanto la cantidad
de lmina de hojalata utilizada). Qu dimensiones deben tener los envases?
Ejercicio 3.4. En el plano cartesiano sean A = (0, 1) y B = (0, 3). Desde qu
puntos del eje Ox se ve el segmento AB con mayor tamao aparente? (En otras
palabras, para qu puntos C en el eje Ox el ngulo = ACB toma su mayor
valor?)
Figura 3.2: Mayor tamao aparente
3.4 Algunos ejemplos geomtricos 61
El problema de Heron
En el plano se dan dos puntos A y B a un mismo lado de una recta r. Para
qu punto P de r es mnima la suma AP+PB? Este problema tiene una solucin
Figura 3.3: Problema de Heron
geomtrica muy sencilla: si A
P + PB, y esta
suma es mnima cuando se toma como P el punto Q de interseccin de la recta
A
(x) =
x
x
2
+a
2
+
x b
_
(x b)
2
+c
2
.
Es claro que f(x) < 0 si x < 0 y f(x) > 0 si x > 0. Por lo tanto el punto mnimo
debe pertenecer al intervalo [0, b]. Para hallarlo hay que resolver la ecuacin
x
x
2
+a
2
=
b x
_
(x b)
2
+c
2
,
que luego de cambiar de miembro las races y elevar al cuadrado queda
x
2
((x b)
2
+c
2
) = (x b)
2
(x
2
+a
2
),
62 Mximos y mnimos
y luego de restar x
2
(x b)
2
de ambos miembros se reduce a
c
2
x
2
= a
2
(x b)
2
.
Extrayendo la raz cuadrada de ambos miembros queda |cx| = |a(x b)|, y
recordando que 0 x b queda nalmente cx = a(b x), de donde se obtiene
la nica solucin
x
1
=
ab
a +c
.
Por lo tanto el mnimo se alcanza en el punto (x
1
, 0). Para comprobar que esta
solucin coincide con la geomtrica, observemos en la gura que los tringulos
AOQ y BMQ son semejantes, por lo tanto AO/BM = AQ/BQ. Si Q = (x
1
, 0),
entonces a/c = x
1
/(b x
1
), de donde x
1
= ab/(a +c).
Este problema fue tratado por Heron de Alejandra en su obra Catptrica,
que se ocupa de los espejos. Heron observ que AQO = BQM, lo cual es
consistente con la ley de reexin de la luz: el rayo incidente sobre una supercie
forma con ella igual ngulo que el rayo reejado. De aqu concluy que la luz
sigue el camino ms corto, lo cual es cierto slo en medios homogneos.
3.5. Ley de Snell
Una persona se est ahogando en el mar en el punto B. El salvavidas, que
se encuentra en tierra rme en el punto A, puede correr a una velocidad v
1
y
nadar a una velocidad v
2
. Qu trayectoria debe seguir para llegar hasta B en
el menor tiempo posible?
Supongamos que la costa es una lnea recta s. Si v
1
= v
2
, es claro que el
salvavidas debera ir en lnea recta desde A hasta B. Pero como presumiblemente
v
1
> v
2
, para aprovechar su mayor velocidad en tierra deber correr hasta un
punto P de la costa ms cercano de B, antes de comenzar a nadar.
Tomemos un sistema de coordenadas con la recta s como eje Ox y el eje
Oy pasando por A. Entonces A tendr coordenadas (0, a) y B = (b, c), con
a, b, c > 0. Sea P = (x, 0). Entonces el tiempo que tarda el salvavidas en el
trayecto APB es
f(x) =
AP
v
1
+
PB
v
2
=
x
2
+a
2
v
1
+
_
(x b)
2
+c
2
v
2
.
Como f es positiva y tiende a + cuando x podemos asegurar que tiene
mnimo, y ste se alcanza en un punto singular. Derivando resulta
f
(x) =
x
v
1
x
2
+a
2
+
x b
v
2
_
(x b)
2
+c
2
y derivando una vez ms
f
(x) =
a
2
v
1
(x
2
+a
2
)
3/2
+
c
2
((x b)
2
+c
2
)
3/2
> 0.
3.5 Ley de Snell 63
Figura 3.4: Ley de la refraccin
Por lo tanto f
(0) = b/(v
2
b
2
+c
2
) < 0
y f
(b) = b/(v
1
b
2
+a
2
) > 0, f
x
2
+a
2
=
b x
v
2
_
(x b)
2
+c
2
, (3.1)
que se reduce a una ecuacin de cuarto grado, y se puede resolver por mtodos
numricos.
Es interesante observar que, si llamamos i y r a los ngulos que forman AP
y PB con la normal a s por P, entonces la ecuacin 3.1 equivale a
sen i
v
1
=
sen r
v
2
.
Esta relacin es idntica a la ley de la refraccin de la luz al pasar de un medio
transparente a otro, llamada Ley de Snell en honor al astrnomo y matem-
tico holands Willebrord Snell (15801626). Llamando ndice de refraccin al
cociente n = c/v entre la velocidad c de la luz en el vaco y la velocidad v de la
luz en el medio cuyo ndice se calcula, la Ley de Snell puede enunciarse como
n
1
sen i = n
2
sen r,
donde n
1
y n
2
son los ndices de refraccin de los medios 1 y 2 (el ndice de
refraccin del vaco naturalmentte es 1, el del aire es 1,00029, el del diamante
2,417 y el del agua, a 20
C, es 1,333).
Fermat dedujo la ley de Snell como lo hicimos nosotros ms arriba, a partir
del hoy llamado Principio de Fermat, segn el cual la luz viaja de un punto a
otro siguiendo una trayectoria que minimiza el tiempo empleado.
64 Mximos y mnimos
3.6. Extremos sin clculo
Con todo y lo poderoso que es el Clculo para resolver problemas de extre-
mos, algunas veces mediante mtodos elementales se pueden resolver con menor
esfuerzo. Por eso es bueno estar atentos y reexionar un poco sobre la natu-
raleza del problema antes de lanzarse a calcular derivadas mecnicamente. A
continuacin examinaremos algunos ejemplos.
Ejemplo 3.12. Hallar el mnimo absoluto de f(x) = |x
3
3x
2
+ 4|.
Solucin: Como f(1) = 0 y el valor absoluto es siempre mayor o igual que
cero, el mnimo absoluto es 0.
Ejemplo 3.13. Con 4 m de alambre formar un rectngulo de rea mxima.
Solucin: Si los lados del rectngulo son x e y, entonces 2x + 2y = 4, y = 2 x
y el rea es A(x) = x(2 x) = 1 (x 1)
2
, por lo tanto el mximo es 1 y se
alcanza para x = 1, es decir para el cuadrado. La nica tcnica que usa esta
solucin es la de completar cuadrados, que es efectiva para cualquier polinomio
de segundo grado.
Ejemplo 3.14. Construir una caja en forma de prisma recto de base rectan-
gular, con volumen 1 y supercie total mnima.
Solucin: Si los lados del prisma son x, y, z entonces hay que minimizar S(x, y, z)
= 2(xy +yz +zx), con la condicin xyz = 1. Este es un problema de extremos
condicionados en varias variables, que no hemos tratado en estas notas, sin em-
bargo para resolverlo es suciente conocer la desigualdad aritmtico-geomtrica
(si no la recuerda vea el Teorema 4.4, pg. 91). En efecto,
xy +yz +zx 3
3
_
(xyz)
2
= 3,
con igualdad si y slo si x = y = z. Por lo tanto el mnimo es 3 y se alcanza
para x = y = z = 1.
Ejercicio 3.5. Resolver sin usar derivadas el problema del Ejemplo 3.9 (pg.
58).
Captulo 4
Aplicaciones matemticas
En este captulo se ilustran varias aplicaciones del clculo diferencial a di-
versas cuestiones matemticas.
4.1. Grcas de funciones
Debido al software matemtico disponible hoy en da, ser capaz de dibujar
una buena grca ya no parece tan importante como hace algunos aos. Sin
embargo ningn programa gracador es perfecto, de hecho todos tienen limita-
ciones intrnsecas, consecuencia de la precisin nita de los clculos y de que en
una pantalla slo se pueden representar un nmero nito de puntos. Por eso,
cuando se los somete a situaciones extremas, con frecuencia producen resultados
incorrectos y hasta sorprendentes. Adems hay aspectos de carcter cualitativo
que escapan a las posibilidades del software. Por estas razones, si bien los pro-
gramas gracadores son de una inmensa utilidad prctica, no se pueden aceptar
acrticamente sus resultados.
Por ejemplo la Figura 4.1 muestra dos grcas de la misma funcin, en el
mismo intervalo, obtenidas con MAPLE. La diferencia es que la primera se
obtuvo con la instruccin
plot((x+1)^6,x=-1.005..-0.995);
y la segunda con
plot(x^6+6*x^5+15*x^4+20*x^3+15*x^2+6*x+1,x=-1.005..-0.995);
Ambas instrucciones solicitan gracar la funcin f(x) = (x+1)
6
en el inter-
valo [1,005, 0,995], slo que en la segunda instruccin (x + 1)
6
se sustituye
por su desarrollo x
6
+6x
5
+15x
4
+20x
3
+15x
2
+6x+1. Pero los resultados son
muy diferentes. La explicacin de esa diferencia est relacionada con los errores
de redondeo en los clculos, pero ahora se nos presenta una pregunta obvia: es
alguna de las dos grcas correcta, o debemos desechar ambas?
66 Aplicaciones matemticas
El clculo diferencial permite tomar una decisin rpidamente. Como f
(x) =
6(x +1)
5
es negativa para x < 1 y positiva para x > 1, la funcin f es estricta-
mente decreciente en (, 1], tiene un mnimo en x = 1 y es estrictamente
creciente en [1, +). Adems f
(x) = 30(x + 1)
4
0 para todo x, por lo tan-
to la funcin es convexa (tiene la concavidad hacia arriba). Esto nos permite
desechar la grca de la derecha y quedarnos con la de la izquierda.
-0,998 -1
1,2E-14
8E-15
-1,002
4E-15
0
-1,004
x
-0,996
-0,998
x
-5E-15
-1 -0,996 -1,004
2E-14
1,5E-14
-1,002
5E-15
0
1E-14
Figura 4.1: Dos grcas de la misma funcin?
A continuacin haremos un sumario de los puntos ms importantes que se
deben tomar en cuenta para gracar una funcin.
Dominio
Si el dominio no se da explcitamente, ser necesario determinar el mayor
subconjunto de R en el cual la denicin de la funcin tenga sentido. Hay que
tener especial cuidado con los valores de la variable que hagan nulo un deno-
minador, negativo el argumento de una raz cuadrada o menor o igual que 0
el argumento de un logaritmo. Tambin varias funciones trigonomtricas como
sec, csc, tg, ctg, arcsin, arc cos, etc., tienen dominios restringidos.
Intersecciones con los ejes y signo
La interseccin con el eje Oy de la grca de una funcin f se halla muy
fcilmente: es el punto (0, f(0). Hallar los puntos de interseccin con el eje Ox,
en cambio, equivale a resolver la ecuacin f(x) = 0, lo cual puede ser muy difcil
y requerir el uso de mtodos numricos. Pero en general es suciente tener una
idea aproximada de dnde se hallan esos puntos, para lo cual es til el teorema
de Bolzano 2.7. Es deseable tambin conocer para qu valores la funcin es
positiva y para cules es negativa. Si la funcin es continua, se han hallado
todos los ceros (intersecciones con el eje Ox) y stos son un nmero nito, entre
4.1 Grcas de funciones 67
cada dos de ellos consecutivos la funcin mantendr su signo, por lo cual es fcil
determinarlo calculando el valor de la funcin en un punto intermedio.
Simetras
Se dice que la funcin f : R R es par si f(x) = f(x) para todo x R.
Geomtricamente, esto signica que la grca de f es simtrica respecto al eje
Oy.
Se dice que la funcin f : R R es impar si f(x) = f(x) para todo
x R. Geomtricamente, esto signica que la grca de f es simtrica respecto
al origen O.
Ejercicio 4.1. Pruebe que la grca de f es simtrica respecto a una recta
vertical x = a si y slo si f(2a x) = f(x) para todo x R.
Ejercicio 4.2. Pruebe que la grca de f es simtrica respecto al punto (a, b)
si y slo si f(2a x) = 2b f(x) para todo x R.
Periodicidad
Recordemos que una funcin f : R R es peridica de perodo T > 0
si f(x + T) = f(x) para todo x R. Para gracar una funcin peridica es
suciente hacerlo en un intervalo [a, a +T], de longitud igual al perodo, ya que
la grca se repite idntica en los intervalos [a + T, a + 2T], [a + 2T, a + 3T],
[a+3T, a+4T],. . . y tambin en [aT, a], [a2T, aT], [a3T, a2T],. . . En
otras palabras, la grca es invariante bajo una traslacin de vector (T, 0).
Los ejemplos ms conocidos de funciones peridicas son las trigonomtricas
seno y coseno, las cuales tienen perodo 2.
Comportamiento para x
Cualquier grca que hagamos, manualmente o con un computador, se limi-
tar siempre a un intervalo acotado de R. Por eso es importante tratar de hallar
lm
x
f(x) y lm
x
f(x), si existen, para conocer el comportamiento de la
funcin para valores grandes de la variable. Si alguno de esos lmites es nito,
tendremos una asntota horizontal (ver 2.3.3). Si alguno es innito, se pueden
buscar asntotas oblicuas o al menos direcciones asintticas.
Crecimiento y decrecimiento
Si la funcin es derivable, el estudio del signo de la primera derivada nos
permitir sacar conclusiones sobre los intervalos de crecimiento y decrecimiento
de la funcin. Adems en los puntos donde la funcin cambie de creciente a
decreciente habr un mximo local (y donde cambie de decreciente a creciente
habr un mnimo local).
68 Aplicaciones matemticas
Concavidad y puntos de inexin
El estudio del crecimiento y decrecimiento de la derivada primera permite
sacar conclusiones sobre los intervalos donde la funcin es convexa o cncava, y
sobre los puntos de inexin. Si la funcin es derivable dos veces, el estudio del
signo de la segunda derivada facilita la tarea anterior.
Discontinuidades
Si la funcin es discontinua en un punto a, pero est denida en un entorno
reducido de a, es importante determinar la naturaleza de la discontinuidad.
Para ello hay que estudiar los lmites laterales lm
xa
f(x) y lm
xa
+ f(x). Si
existen y son ambos nitos, la discontinuidad es de salto (o evitable, si fuesen
iguales). Si al menos uno de ellos es innito, hay una asntota vertical.
Tambin es til estudiar las discontinuidades de la funcin derivada, y en
especial, en los puntos en que la derivada no exista, ver si existen las derivadas
laterales.
Ejemplo 4.1. Sea f(x) = arc tg(x) + (x + 2)/(x
2
+ 1). Est denida en todo
R. La grca intersecta al eje Oy en (0, 2).
lm
x+
f(x) = /2 y lm
x
f(x) = /2, por lo tanto hay dos asnto-
tas horizontales, y = /2 para x + e y = /2 para x .
f
(x) =
1
x
2
+ 1
+
x
2
+ 1 2x(x + 2)
(x
2
+ 1)
2
=
2 4x
(x
2
+ 1)
2
,
de donde f
(1/2) = 0 y f
(x) =
4(x
2
+ 1)
2
2x(x
2
+ 1)(2 4x)
(x
2
+ 1)
4
=
4x
4
4x
3
4x 4
(x
2
+ 1)
3
=
4(x
2
x 1)
(x
2
+ 1)
3
.
Como el denominador es siempre positivo y x
2
x 1 tiene races (1 +
5)/2
y (1
5)/2) y en ((1 +
5)/2, (1 +
5)/2 y (1 +
5)/2.
4.2 Races de ecuaciones 69
x
4 2 0
-1
-4
0
2
6 -6 -2
1
Figura 4.2: Grca de f(x) = arc tg(x) + (x + 2)/(x
2
+ 1).
4.2. Races de ecuaciones
Sea f una funcin continua en [a, b] y supongamos que f(a)f(b) < 0. Por
el teorema de Bolzano sabemos que existe al menos una raz de la ecuacin
f(x) = 0 entre a y b. Una primera aproximacin a esta raz es el punto medio
(a +b)/2. El error cometido con esta aproximacin es menor que (b a)/2.
Otra posibilidad consiste en tomar el punto s en que la recta que pasa por
(a, f(a)) y (b, f(b)) corta al eje Ox. La ecuacin de esta recta es y = f(a) +
(f(b) f(a))(x a)/(b a), y al igualar a 0 y despejar resulta s = a (b
a)f(a)/(f(b) f(a)) = (af(b) bf(a))/(f(b) f(a)). Esto se conoce como
mtodo de la falsa posicin, o regula falsi. En general da mejores resultados que
el punto medio, pero no siempre. De hecho slo se puede asegurar que el error
es menor que b a.
En lugar de aproximar la funcin por la secante, como en la regula falsi, se
puede aproximar por la recta tangente. Esto se conoce como mtodo de New-
ton, o de Newton-Raphson. Para aplicarlo se comienza por elegir una primera
aproximacin a la raz, digamos x
1
. Si f es derivable en x
1
, la ecuacin de la
recta tangente es y = f(x
1
) +f
(x
1
)(x x
1
), que si f
(x
1
) = 0 corta al eje Ox
en x
2
= x
1
f(x
1
)/f
(x
1
).
Generalmente este mtodo se emplea de forma iterativa, es decir que se
calcula una sucesin de valores x
n+1
= x
n
f(x
n
)/f
(x
n
).
Ejemplo 4.2. Si f(x) = x
2
2 entonces x
n+1
= x
n
(x
2
n
2)/(2x
n
) =
x
n
/2 + 1/x
n
. Si comenzamos con x
1
= 1 entonces x
2
= 1/2 + 1 = 3/2 = 1,5,
x
3
= 3/4 + 2/3 = 17/12 = 1,4166 . . ., x
4
= 17/24 + 12/17 = 577/408 =
1,414215 . . .. Como se ve con dos iteraciones se obtuvieron 2 cifras decimales
exactas, y con tres iteraciones 4 cifras decimales exactas (con la siguiente ya se
obtienen 11).
70 Aplicaciones matemticas
Figura 4.3: Mtodo de Newton
Generalmente el mtodo de Newton converge muy rpido hacia una raz,
pero no siempre. Por ejemplo si f(x) = x
3
2x + 2 entonces x
n+1
= x
n
(x
3
n
2x
n
+ 2)/(3x
2
n
2). Si se comienza con x
1
= 1 se obtiene x
2
= 0, x
3
= 1,
x
4
= 0,. . . y el procedimiento no converge. En estos casos conviene bosquejar la
grca para tener una idea aproximada de dnde estn las races. En este caso,
comenzando con 2 se obtiene una rpida convergencia.
4.3. Longitud de arco
Sea f : [a, b] R. Para denir la longitud L(f; a, b) de la curva y = f(x)
entre a y b, se consideran todas las poligonales inscriptas en la curva, es decir
las poligonales con vrtices P
0
P
1
. . . P
n
, donde a = x
0
< x
1
< < x
n
= b y
P
i
= (x
i
, f(x
i
)). Si las longitudes de estas poligonales
n1
i=0
P
i
P
i1
forman un
conjunto acotado, entonces a su supremo se le llama longitud de la curva y sta
se dice que es recticable. Es fcil probar que en este caso, si c (a, b), entonces
la curva tambin es recticable en los intervalos [a, c] y [c, b] y L(f; a, b) =
L(f; a, c) +L(f; c, b).
Una funcin no tiene que ser continua para ser recticable.
Ejercicio 4.3. Probar que si f es montona en [a, b] entonces es recticable, y
L(f; a, b) |b a| +|f(b) f(a)|.
La continuidad tampoco garantiza que una funcin sea recticable.
Ejercicio 4.4.
(t)| : a t b} y
debe ser alcanzado en algn punto [a, b], es decir M = |f
()|.
Dada cualquier poligonal P
0
P
1
. . . P
n
, con a = x
0
< x
1
< < x
n
= b
y P
i
= (x
i
, f(x
i
)), por el teorema del valor medio se tiene f(x
i+1
) f(x
i
) =
f
(
i
)(x
i+1
x
i
) para ciertos
i
(x
i
, x
i+1
), y por tanto
|f(x
i+1
) f(x
i
)| = |f
(
i
)(x
i+1
x
i
)| M(x
i+1
x
i
).
Entonces
P
i
P
i+1
=
_
(x
i+1
x
i
)
2
+ (f(x
i+1
) f(x
i
))
2
_
1 +M
2
(x
i+1
x
i
),
y
n1
i=0
P
i
P
i1
n1
i=0
_
1 +M
2
(x
i+1
x
i
) =
_
1 +M
2
(b a).
Por lo tanto la curva es recticable y L(f; a, b)
1 +M
2
(b a).
Teorema 4.2. Si f : [a, b] R tiene derivada continua y s(x) es la longitud
de arco entre a y x, entonces
s
(x) =
_
1 + (f
(x))
2
para todo x (a, b).
a x
x + h
C
D
y = f ( x)
z( x)
b
E
A
Figura 4.4: Longitud de arco
Demostracin. Sean x (a, b), A = (a, f(a)), C = (x, f(x)) y D = (x +
h, f(x + h)). Entonces la longitud del arco de curva comprendido entre C y D
es s(x +h) s(x), y se cumple que
s(x +h) s(x) CD =
_
h
2
+ (f(x +h) f(x))
2
.
72 Aplicaciones matemticas
Pero, por el teorema del valor medio, f(x + h) f(x) = hf
() para cierto
(x, x +h), por lo tanto
s(x +h) s(x)
_
h
2
+ (hf
())
2
= h
_
1 + (f
())
2
. (4.1)
Por otra parte, como f
()| = max{|f
())
2
s(x +h) s(x)
_
1 +M
2
h,
o bien
_
1 + (f
())
2
())
2
,
y como lm
h0
= lm
h0
= x, la conclusin se sigue del teorema del snd-
wich.
Ejemplo 4.3. Calcular la longitud de la curva y = ch x entre 0 y x.
Solucin: s
(x) =
_
1 + (sh x)
2
= ch x, por lo tanto s(x) = shx + C y como
s(0) = 0 debe ser C = 0 y s(x) = sh x.
Ejemplo 4.4. Usar el teorema 4.2 para calcular la longitud del cuarto de cir-
cunferencia y =
1 x
2
para 0 x 1.
Solucin: (
1 x
2
)
= x/
1 x
2
, por lo tanto
s
(x) =
1 +
_
x
1 x
2
_
2
=
_
1 +
x
2
1 x
2
=
1
1 x
2
.
Como (arc senx)
= 1/
1 x
2
concluimos que s(x) = arc senx + C, y como
s(0) = 0 debe ser C = 0 y s(x) = arc senx. En particular s(1) = arc sen1 = /2,
como era de esperarse.
En la notacin de Leibniz s
(x) = ds/dx y f
(x) =
_
1 + (f
(x))
2
se puede escribir como (ds/dx)
2
= 1 + (dy/dx)
2
, o bien
ds
2
= dx
2
+dy
2
. En esta sugestiva notacin el teorema 4.2 es fcil de recordar
por su semejanza con el teorema de Pitgoras.
4.4. Funciones vectoriales
Una funcin vectorial de una variable real es una funcin de un intervalo
I R en R
n
. Denir una funcin vectorial v : I R
n
es equivalente a denir
sus n componentes v
j
: I R, cada una de las cuales es una funcin real de
variable real. Es decir:
v(t) = (v
1
(t), v
2
(t), . . . , v
n
(t)).
4.5 Curvas parametrizadas 73
la funcin v : I R
n
es derivable si y slo si lo es cada una de sus componentes
v
j
, y en ese caso
v
(t) = (v
1
(t), v
2
(t), . . . , v
n
(t)).
Es inmediato vericar la aditividad de la derivacin, es decir que si u, v : I R
n
son derivables entonces (u + v)
= u
+ v
. Si g : I R es derivable entonces
la regla para derivar un producto de funciones permite establecer sin dicultad
que
(g(t)v(t))
= g
(t)v(t) +g(t)v
(t).
Recordemos que el producto escalar de dos vectores u = (u
1
, u
2
, . . . , u
n
) y v =
(v
1
, v
2
, . . . , v
n
) se dene como
u v = u
1
v
1
+ +u
2
v
2
+ +u
n
v
n
.
v v se abrevia v
2
, y el mdulo o norma de v es
v =
_
v
2
1
+ +v
2
n
=
v
2
.
Entonces si u, v : I R
n
son derivables se tiene
(u v)
= u
v +u v
.
En particular (u
2
)
= 2uu
son ortogonales (u u
= 0).
Recordemos que en el espacio, si u = (u
1
, u
2
, u
3
) y v = (v
1
, v
2
, v
3
), entonces
u v = u v cos(), donde es el ngulo que forman u y v. Adems se dene
el producto vectorial
u v = (u
2
v
3
u
3
v
2
, u
3
v
1
u
1
v
3
, u
1
v
2
u
2
v
1
).
Ejercicio 4.5. Pruebe que si u, v : I R
n
son derivables entonces
(u v)
= u
v +u v
.
4.5. Curvas parametrizadas
En estas notas llamaremos curva plana a una funcin continua P : I R
2
.
Si la abscisa y la ordenada de P(t) son x(t) e y(t), la curva se puede describir
como P(t) = (x(t), y(t)). A la variable t se le llama parmetro. Anlogamente
una curva en el espacio, o curva alabeada, es una funcin continua P : I R
3
,
y se puede representar en coordenadas como P(t) = (x(t), y(t), z(t)).
Las grcas de funciones continuas f(x) son un caso particular de curvas
planas, que se pueden describir, tomando x como parmetro, en la forma P(x) =
(x, f(x)). Pero hay muchas curvas que no pueden ser representadas en esta
forma, por tener ms de un punto con la misma abscisa. Un ejemplo de esta
74 Aplicaciones matemticas
Figura 4.5: Parametrizacin de la circunferencia
situacin es una circunferencia de radio R y centro (a, b), que sin embargo puede
ser representada paramtricamente como
P(t) = (a +Rcos t, b +Rsen t), t [0, 2].
Observe que dos curvas diferentes P(t) y Q(t) pueden tener el mismo recorrido
en R
2
. Por ejemplo
Q(t) = (a +Rsent, b +Rcos t), t [0, 2]
tiene como recorrido la misma circunferencia de radio R y centro (a, b) que P(t).
Ejercicio 4.6. Pruebe que el recorrido de la curva
P(t) =
_
1 t
2
1 +t
2
,
2t
1 t
2
_
, t R,
es la circunferencia de centro en el origen y radio 1 excepto el punto (1, 0).
Ejercicio 4.7. Halle una parametrizacin de la elipse
x
2
a
2
+
y
2
b
2
= 1.
La cicloide es la curva generada por un punto de una circunferencia que
rueda sin deslizar sobre una recta. Supongamos que la circunferencia de radio
R se halla inicialmente tangente al eje Ox en el origen. Despus de girar un
ngulo t, el centro de la circunferencia se hallar en Q y el punto de la misma
que inicialmente estaba en el origen se habr movido hasta P. El nuevo punto
de contacto B de la circunferencia con el eje Ox debe hallarse a una distancia
del origen igual a la longitud del arco BP, es decir OB =
(s) Q
(s) =
|Q
(s)|
2
= 1, derivando se tiene 2Q
(s) Q
(s) es un
vector ortogonal a Q
(s) = (s)N(s).
A R(s) = 1/(s) se le llama radio de curvatura y al punto P(s) + R(s)N(s),
centro de curvatura.
Observe que el vector B(s) = T(s) N(s) es constante, pues es unitario y
normal al plano de la curva. Como B T = N se deduce que
N
= B
T+B T
= B N = T.
Ejemplo 4.6. Consideremos la circunferencia de radio R y centro en el origen
P(t) = (Rcos t, Rsen t). Como |
P(t)| = R, si se mide la longitud de arco a
partir de P(0) = (1, 0) se tiene s(t) = Rt, y por lo tanto t(s) = s/R. Enton-
ces Q(s) = P(t(s)) = (Rcos(s/R), Rsen(s/R)) es una parametrizacin de la
circunferencia mediante la longitud de arco, y se verica que T(s) = Q
(s) =
(sen(s/R), cos(s/R)) es un vector unitario. Como
Q
(s) = (
1
R
cos
s
R
,
1
R
sen
s
R
),
4.5 Curvas parametrizadas 77
se ve que (s) = |Q
(s) = (x
(s), y
(s)| = |(sen((s))
(s), cos((s))
(s))| = |
(s)|.
Sea P(t) una curva regular y Q(s) = P(t(s)) su reparametrizacin por la
longitud de arco. En lo que sigue se usar el apstrofo para indicar la derivacin
respecto a s y el punto para indicar la derivacin respecto a t. Como P(t) =
Q(s(t)), derivando respecto a t resulta
P(t) = Q
P(t) = Q
(s(t)) s
2
(t) +Q
(s(t)) s(t),
por lo tanto
P
P = s
3
Q
= s
3
t n,
y como t n es un vector unitario, queda nalmente
=
|
P
P|
|
P|
3
.
Ejercicio 4.10. Suponiendo f dos veces derivable, pruebe que la curvatura de
y = f(x) es f
(x)/
_
1 + (f
(x))
2
.
Ejercicio 4.11. Sea Q(s) una curva alabeada parametrizada por la longitud de
arco, T = Q
y T
= Q
= N entonces N
= T+B.
El conjunto ortonormal {T, N, B} se llama triedro de Frenet y las igualdades
T
= N, N
= T+B, B
AB, y la de DE igual a la de
P(t) = P(t)
2 cos(t/2)
sen(t/2)
P(t)
= P(t) +
2 cos(t/2)
sen(t/2)
(2Rsen
2
(t/2), 2Rsen(t/2) cos(t/2))
= P(t) + 2R(2 cos(t/2) sen(t/2), 2 cos
2
(t/2))
= P(t) + 2R(sent, 1 + cos t)
= (Rt Rsen t, R Rcos t) + (2Rsen t, 2R + 2Rcos t)
= (Rt +Rsen t, 3R+Rcos t),
4.5 Curvas parametrizadas 79
Figura 4.8: Involuta de una cicloide
que nos da un par de arcos de una cicloide idntica a la original, pero trasladada
(ver Figura 4.8).
Si P(s) una curva plana parametrizada por la longitud de arco, con curvatura
(s) = 0, entonces a la curva E(s) = P(s) + R(s)N(s) = P(s) + R
2
(s)P
(s),
lugar geomtrico de los centros de curvatura de P(s), se le llama evoluta de
P(s). La evoluta de una circunferencia se reduce a un punto: el centro de la
circunferencia.
Ejemplo 4.9. Hallar la evoluta de una elipse.
Solucin: parametricemos la elipse como P(t) = (a cos t, b sent). Entonces
(s) = P
(s) T(s) sT
(s) = s(s)N(s), |I
(s)| = |s(s)|,
I
(s) = (s(s))
N(s) s(s)N
(s) = (s(s))
N(s) +s
2
(s)T(s),
I
=
|I
|
|I
|
=
|s
2
3
|
|s|
3
=
1
|s|
,
80 Aplicaciones matemticas
Figura 4.9: Elipse y su evoluta
Ahora bien, el vector tangente unitario a I(s) es N(s) si s > 0, y N(s) si
s < 0. En consecuencia el vector normal unitario a I(s) es T(s), segn que
sea s > 0 o s < 0, y la evoluta de I(s) es entonces
I(s) +
1
I
(s)
T(s) = P(s) sT(s) +sT(s) = P(s).
4.5.3. Trayectorias de una bicicleta
En La aventura del Colegio Priory, de Arthur Conan Doyle, Sherlock Holmes
y su el amigo Watson encuentran las huellas dejadas por una bicicleta sobre la
tierra hmeda. Entre ellos se suscita el siguiente dilogo:
Esta huella, como puede usted ver, la ha dejado un ciclista que
vena desde la zona del colegio.
O que iba hacia all.
No, no, querido Watson. La impresin ms profunda es, natural-
mente, la de la rueda de atrs, que es donde se apoya el peso del
cuerpo. Fjese en que en varios puntos ha pasado por encima de la
huella de la rueda delantera, que es menos profunda, borrndola. No
cabe duda de que vena del colegio.
Como se ve, Sherlock Holmes utiliza su capacidad deductiva para inferir la di-
reccin del movimiento de la bicicleta, a partir de algunos elementos fsicos. Pero
supongamos que el nico dato fuesen las trayectorias de ambas ruedas, sin nin-
guna informacin adicional como la profundidad de las huellas, o si una de ellas
pasa por encima de la otra. Por ejemplo en la gura 4.10 se muestran las huellas
dejadas por una bicicleta en una regin de dimensiones aproximadas 10m10m.
Ser posible, mediante consideraciones puramente geomtricas, determinar la
direccin del movimiento?
4.5 Curvas parametrizadas 81
Figura 4.10: Huellas de bicicleta
Para responder la pregunta anterior recordemos que en una bicicleta slo la
rueda delantera puede cambiar de direccin, mediante la accin del manubrio.
La rueda trasera, por construccin, se mueve siempre en direccin a la rueda
delantera, a menos que patine o resbale sobre el piso (lo que se llama derrapar).
Supongamos ahora que una bicicleta se mueve sobre el plano sin derrapar, y que
Q(t) y P(t) son los puntos de contacto de las ruedas trasera y delantera con el
plano en el instante t. Al variar t, los puntos Q(t) y P(t) describen dos curvas,
que son las huellas de la rueda trasera y de la rueda delantera, respectivamente.
Ahora bien, la direccin instantnea del movimiento de Q(t) viene dada por la
recta tangente a la huella, y como esa direccin va hacia la rueda delantera,
se concluye que la recta tangente a la trayectoria de la rueda trasera en el
punto Q(t) debe pasar por el punto P(t). En la gura 4.11 se muestran las
mismas huellas, pero para mayor claridad una de ellas se ha trazado punteada.
El razonamiento del prrafo anterior muestra que un punto como el A no puede
pertenecer a la huella de la rueda trasera, pues la tangente a la trayectoria en
ese punto no corta a la otra curva (o si la corta lo hace en un punto demasiado
alejado para el tamao de una bicicleta). Esto signica que la curva punteada
slo puede ser la trayectoria de la rueda delantera, y por lo tanto la otra curva
es la trayectoria de la rueda trasera.
Tracemos ahora las tangentes en un par de puntos B y C de la trayectoria
de la rueda trasera (lnea continua). Cortando estas tangentes con la trayectoria
de la rueda delantera, observamos que BN = CQ, mientras que BM = CP.
Esto demuestra que el sentido del movimiento de la bicicleta fue de izquierda a
derecha.
Si se conocen la trayectoria de la rueda trasera Q(t) y d, entonces es fcil
describir la trayectoria de la rueda delantera P(t). En efecto, como el vector
82 Aplicaciones matemticas
Figura 4.11: Direccin del movimiento
tangente unitario a la trayectoria de la rueda trasera es
Q(t)/|
Q(t)|, entonces
P(t) = Q(t) +
d
|
Q(t)|
Q(t).
Figura 4.12: Trac-
triz
Por ejemplo la trayectoria de la rueda trasera en la -
gura 4.10 se obtuvo a partir de la parametrizacin Q(t) =
(t, t/2 +2 sen(t)), por lo tanto
Q(t) = (1, 1/2 +2 cos(t)) y
si d = 1 entonces
P(t) =
_
t +
1
|
Q(t)|
, t/2 + 2 sen(t) +
1/2 + 2 cos(t)
|
Q(t)|
_
.
Mucho ms difcil es el problema inverso, es decir de-
terminar la trayectoria de la rueda trasera Q(t) conocien-
do d y la trayectoria P(t) de la rueda delantera. Un ejem-
plo sencillo de esta situacin se presenta cuando la bici-
cleta tiene inicialmente la rueda delantera en el origen, la
rueda trasera en (1, 0) y se mueve de modo que la rue-
da delantera recorra el eje Oy positivo. Es claro que la
trayectoria de la rueda trasera ser una curva que pasa
por (1, 0) y tiene al eje Oy como asntota vertical. Los
segmentos de tangente desde un punto (x, f(x) de esta
curva hasta el punto de interseccin con el eje Oy sern
de longitud constante igual a 1. Como la recta tangente
en (x, f(x)) tiene ecuacin Y = f(x) + f
(x)(X x), el
punto de interseccin con el eje Oy ser (0, f(x)xf
(x)).
Entonces x
2
+(xf
(x))
2
= 1, de donde 1 +f
(x)
2
= 1/x
2
y f
(x) =
1 x
2
/x.
4.5 Curvas parametrizadas 83
Para determinar f(x) slo tenemos que encontrar una primitiva de
1 x
2
/x
que en 1 valga 0. Esto se logra mediante los mtodos del clculo integral, pero
en este caso vamos a hacerlo usando slo un poco de ingenio. Veamos:
1 x
2
x
=
1 x
2
x
1 x
2
=
1
x
1 x
2
+
1
x
1
x
+
x
1 x
2
=
1
1 x
2
x
1 x
2
1
x
+
x
1 x
2
=
x
1 x
2
_
1 +
1 x
2
_
1
x
+
x
1 x
2
=
_
log
_
1 +
_
1 x
2
__
_
log(x)
_
_
_
1 x
2
_
,
por tanto f(x) = log(1 +
1 x
2
) log(x)
1 x
2
+ C, y poniendo x = 1
queda 0 = f(1) = C, es decir que nalmente
f(x) = log(1 +
_
1 x
2
) log(x)
_
1 x
2
.
Esta curva se conoce con el nombre de tractriz (ver Figura 4.12).
Figura 4.13: Seudoesfera
Poniendo x = 1/ ch(t), para t 0, se obtienen las ecuaciones paramtricas
x = 1/ ch(t), y = t tgh(t).
Si se hace girar la tractriz alrededor del eje Oy se obtiene una supercie
de revolucin llamada seudoesfera (ver Figura 4.13), as llamada porque tiene
curvatura negativa constante (as como la esfera tiene curvatura positiva cons-
tante). Esta supercie es famosa debido al hecho de que el matemtico italiano
Eugenio Beltrami (1835-1900) mostr en 1868 que sirve como modelo de una
geometra no-euclidiana bidimensional.
84 Aplicaciones matemticas
4.5.4. Envolvente de una familia de rectas
Dada una curva regular queda determinada la familia T
de todas sus
rectas tangentes. Es posible considerar el problema inverso: dada una familia T
de rectas, existir una curva cuya familia de rectas tangentes sea precisamente
T? En caso de existir, a esa curva se le llama envolvente de la familia T.
Para jar ideas supongamos que la familia de rectas T depende de un par-
metro t, y viene dada por las ecuaciones
a(t)x +b(t)y = c(t).
Queremos averiguar si existe una curva P(t) = (x(t), y(t)) tal que, para cada t, la
recta tangente a la curva en el punto P(t) sea la de ecuacin a(t)x+b(t)y = c(t).
Obviamente P(t) = (x(t), y(t)) debe cumplir la condicin
a(t)x(t) +b(t)y(t) = c(t), (4.2)
para todo t. Para expresar la condicin de tangencia recordemos que (a(t), b(t))
es un vector normal a la recta de ecuacin a(t)x + b(t)y = c(t), mientras que
el vector ( x(t), y(t)) es tangente a P(t). Por lo tanto la recta es tangente a la
curva si y slo si estos dos vectores son ortogonales, es decir si
a(t) x(t) +b(t) y(t)) = 0. (4.3)
Suponiendo a(t), b(t) y c(t) derivables, si se deriva (4.2) se obtiene
a(t)x(t) +a(t) x(t) +
b(t)y(t) +b(t) y(t)) = c(t),
y teniendo en cuenta (4.3) resulta
a(t)x(t) +
b(t)y(t) = c(t). (4.4)
De las ecuaciones (4.2) y (4.4), si a
b(t) a(t)b(t)
, y(t) =
a(t) c(t) a(t)c(t)
a(t)
b(t) a(t)b(t)
. (4.5)
As hemos obtenido las ecuaciones paramtricas de la envolvente P(t).
Ejemplo 4.10. Consideremos un espejo en forma de semicircunferencia, en
cuya cara interna inciden rayos luminosos paralelos al eje Ox, como se ve en la
Figura 4.14 (izquierda). Los rayos reejados tienen como envolvente una curva
que se denomina custica por reexin o catacustica del espejo (ver Figura
4.14, derecha); su nombre alude al hecho de que la concentracin de luz en ella
puede quemar. Estas curvas se pueden ver, por ejemplo, en una taza con leche
iluminada por una fuente lejana, como el sol.
4.5 Curvas parametrizadas 85
Figura 4.14: Espejo semicircular y catacustica
Figura 4.15: Custica
Para hallar las ecuaciones de la curva, suponga-
mos que el espejo tiene radio 1 y centro en el origen.
Consideremos un rayo luminoso paralelo al eje Ox que
incide en el espejo en el punto P = (cos(t), sen(t)) (ver
Figura 4.15). Como los ngulos que el rayo incidente
y el reejado forman con la normal OP son iguales
entre s e iguales a t, es fcil ver que el rayo reeja-
do forma ngulo 2t con el eje Ox, y por lo tanto la
ecuacin de la recta que lo contiene es
y sen(t) = tg(2t)(x cos(t)),
o bien, despus de multiplicar ambos miembros por
cos(2t) y simplicar,
xsen(2t) y cos(2t) = sen(t). (4.6)
La ecuacin correspondiente a la (4.4) es en este caso
2xcos(2t) + 2y sen(2t) = cos(t), (4.7)
y despejando x e y de (4.6) y (4.7) se obtienen las ecuaciones paramtricas
x = sen(t) sen(2t) +
1
2
cos(t) cos(2t),
y =
1
2
cos(t) sen(2t) sen(t) cos(2t).
Aplicando identidades trigonomtricas se pueden escribir en la forma equivalente
x =
1
4
(3 cos(t) cos(3t)), (4.8)
y =
1
4
(3 sen(t) sen(3t)). (4.9)
86 Aplicaciones matemticas
Figura 4.16: Nefroide
Para este ejemplo el parmetro t vara en el intervalo
[/2, /2], pero si se le hace variar en el intervalo [, ]
se obtiene una curva cerrada llamada nefroide, por su
parecido con la forma de un rin. La nefroide no es
ms que una epicicloide generada por un punto de una
circunferencia que rueda sin deslizar sobre otra de radio
doble, de hecho las ecuaciones (4.8) son idnticas a las
del Ejercicio 4.8 (pg. 75) con R = 1/2, r = 1/4.
Ejercicio 4.12. Pruebe que la envolvente de los dime-
tros de una circunferencia que rueda sin deslizar sobre
otra de igual radio es una nefroide.
Ejercicio 4.13. Pruebe que la nefroide es tambin la
envolvente de las cuerdas de un crculo cuando los extre-
mos de la cuerda recorren la circunferencia en el mismo
sentido y uno a triple velocidad que el otro.
Ejercicio 4.14. Considere un espejo en forma de circunferencia, en cuya cara
interna inciden rayos luminosos procedentes de un punto perteneciente a la cir-
cunferencia. La envolvente de los rayos reejados es una curva llamada cardioide,
por su parecido con la forma de un corazn. Halle las ecuaciones paramtricas de
la cardiode para una circunferencia de centro en el origen y radio 3, con fuente
luminosa en el punto (3, 0), tomando como parmetro t el ngulo formado por
un rayo incidente con el eje Ox.
Ejercicio 4.15. Pruebe que la envolvente de las rectas normales a una curva
es su evoluta (el lugar geomtrico de los centros de curvatura).
4.5.5. Coordenadas polares
Figura 4.17: Coor-
denadas polares
Recordemos que un sistema de coordenadas polares en
el plano consta de un origen de coordenadas O y una
semirrecta de origen O llamada eje polar. Cada punto P
del plano se identica por su distancia al origen r = OP
y por su argumento, que es el ngulo que forma OP
con el eje polar. Una curva plana se puede representar en
coordenadas polares (r, ) dando el radio en funcin del
ngulo, es decir como r = r(). Esto es equivalente a la
parametrizacin P() = (r() cos(), r() sen()).
Ejemplo 4.11. La ecuacin en coordenadas polares de
la circunferencia de centro en el origen y radio a es simplemente r = a.
Ejemplo 4.12. La ecuacin en coordenadas polares de la circunferencia de
centro en (0, a) y radio a es r = 2a cos .
4.5 Curvas parametrizadas 87
Figura 4.18: Cardioide (izq.) y Espiral de Arqumedes (der.)
Ejemplo 4.13. La curva cuya ecuacin en coordenadas polares es r = a(1 +
cos ), con a constante, se llama cardioide (es la misma curva que aparece en el
Ejercicio 4.14).
Ejemplo 4.14. La curva cuya ecuacin en coordenadas polares es r = a, con
a constante, se llama espiral de Arqumedes. Es una espiral de paso constante,
es decir que las espiras consecutivas se hallan siempre a la misma distancia una
de otra, a saber 2a.
La curva cuya ecuacin en coordenadas polares es
r = ae
b
, con a y b constantes, se llama espiral loga-
rtmica. Esta curva era la favorita de Jakob Bernoulli,
quien estaba impresionado con sus muchas propieda-
des. Incluso solicit en su testamento que la grabaran
en la lpida de su tumba. Y su viuda trat de cumplir
su ltimo deseo, pero lamentablemente ni ella ni el
constructor de lpidas saban matemticas, y lo que
se ve en la tumba de Bernoulli en Basilea es una es-
piral de Arqumedes!
Bernoulli tambin estipul que en la lpida se gra-
bara la inscripcin Eadem mutata resurgo, que signi-
ca resurjo cambiada pero igual. Esto alude al nota-
ble hecho de que numerosas transformaciones de esta
curva son tambin espirales logartmicas. Las transformaciones ms simples que
hacen esto son las homotecias, rotaciones e inversiones de centro en el origen.
Las rotohomotecias de centro en el origen, ngulo y razn e
b
dejan la cur-
va invariante. Por lo tanto la espiral logartmica es autosemejante. Tambin la
evoluta, la custica y la podaria respecto al origen, la involuta y la ortptica de
esta curva son espirales logartmicas.
La espiral logartmica se observa con frecuencia en la naturaleza, en las
conchas de caracoles, en los girasoles, las margaritas y las pias, en las imgenes
satelitales de huracanes y hasta en la forma de las galaxias.
88 Aplicaciones matemticas
Figura 4.19: Espiral logartmica (izq.) y Nautilus (der.)
El vector tangente a la curva r = r() es
P
() = (r
()e
r
+ r()e
,
donde e
r
es el vector unitario radial y e
() = r
()e
i
+r()ie
i
.
Observe que en esta presentacin ms compacta el complejo e
i
= cos +i sen
corresponde al vector e
r
, mientras que ie
i
= sen + i cos corresponde al
vector e
.
Por ejemplo la ecuacin de la espiral logartmica r = ae
b
en forma compleja
es P() = ae
(b+i)
, y el vector tangente es P
() = a(b +i)e
(b+i)
.
Ejercicio 4.16. Pruebe que si se aplica una homotecia, una rotacin o una
inversin de centro en el origen a la curva r = ae
b
, se vuelve a obtener una
espiral logartmica.
Ejercicio 4.17. Pruebe que la espiral logartmica r = ae
b
forma ngulo cons-
tante con el radio vector, y exprese ese ngulo en funcin de b.
Ejercicio 4.18. Pruebe que la involuta de la espiral logartmica r = ae
b
es
tambin una espiral logartmica.
Ejercicio 4.19. Pruebe que la ortptica de una espiral logartmica, es decir
el lugar geomtrico de los puntos desde los cuales pueden trazarse dos rectas
tangentes a la curva que sean perpendiculares entre s, es tambin una espiral
logartmica.
Ejercicio 4.20. Pruebe que la podaria de la espiral logartmica r = ae
b
r4specto al origen, es decir el lugar geomtrico de las proyecciones del origen
sobre las tangentes a la curva, es tambin una espiral logartmica.
4.6 Desigualdades 89
Ejemplo 4.15. Hallemos la ecuacin de una cnica en coordenadas polares.
Para ello recordemos que las cnicas se pueden caracterizar como el lugar geo-
mtrico de los puntos P cuya razn de distancias a un punto O y a una recta d
es una constante , a la cual se le llama excentricidad de la cnica. Si = 1 la
cnica es una parbola, si > 1 es una hiprbola y si < 1 es una elipse.
Figura 4.20: Cnica
Tomemos O como origen de coordenadas, y como eje polar la perpendicular
a d por O. Sea B el punto en que d intersecta al eje, y b = OB. Dado un
punto P, sea Q su proyeccin ortogonal sobre d. La cnica es entonces el lugar
geomtrico de los puntos P tales que
OP
PQ
= .
Si A es la proyeccin ortogonal de P sobre el eje, entonces OP = r, OA = r cos
y PQ = AB = OB OA = b r cos , por lo que la ecuacin de la cnica es
r = (b r cos ), o
r =
b
1 + cos
. (4.10)
La circunferencia de centro en el origen y radio R tiene como ecuacin r = R,
que puede obtenerse como caso lmite de (4.10) poniendo b = R/ y haciendo
tender a 0.
4.6. Desigualdades
Las desigualdades juegan un rol fundamental en matemtica, y existen libros
completos dedicados a su estudio. En esta seccin se aplican los resultados sobre
funciones convexas vistos en el captulo 2 para obtener la desigualdad de Jensen,
de la cual se derivan luego varias desigualdades importantes.
90 Aplicaciones matemticas
4.6.1. Desigualdad de Jensen
Teorema 4.3 (Desigualdad de Jensen).
Si f : I R es una funcin convexa, x
1
, x
2
, . . . , x
n
I y r
1
, r
2
, . . . , r
n
reales
positivos tales que r
1
+r
2
+ +r
n
= 1, entonces
f(
n
i=1
r
i
x
i
)
n
i=1
r
i
f(x
i
).
Si f es estrictamente convexa entonces la desigualdad anterior es tambin es-
tricta, excepto cuando x
1
= x
2
= = x
n
. Para funciones cncavas se invierte
el sentido de la desigualdad.
Demostracin. Por induccin en n. Para n = 2 la desigualdad de Jensen es la
propia denicin de convexidad. Si n > 2 y suponemos que es cierta para n1,
entonces
f
_
n
i=1
r
i
x
i
_
= f
_
(1 r
n
)
n1
i=1
r
i
1 r
n
x
i
+r
n
x
n
_
(1 r
n
)f
_
n1
i=1
r
i
1 r
n
x
i
_
+r
n
f(x
n
)
(1 r
n
)
n1
i=1
r
i
1 r
n
f(x
i
) +r
n
f(x
n
) =
n
i=1
r
i
f(x
i
).
Si f es cncava entonces se aplica la desigualdad a f, que es convexa, y luego
se cambia todo de signo, invirtiendo el sentido de la desigualdad.
4.6.2. Desigualdad aritmtico-geomtrica
La media aritmtica de n nmeros reales no negativos x
1
, x
2
, . . . , x
n
es
A =
1
n
n
i=1
x
i
,
y su media geomtrica es
G =
n
_
n
i=1
x
i
.
Una de las desigualdades ms conocidas y famosas es la desigualdad aritmtico-
geomtrica, que arma que A G, con igualdad si y slo si x
1
= x
2
= = x
n
.
Existen varias demostraciones elementales de esta desigualdad, aunque todas
requieren algo de ingenio. Aqu demostraremos, a partir de la desigualdad de
Jensen, una versin ms general.
4.6 Desigualdades 91
Teorema 4.4 (Desigualdad aritmtico-geomtrica con pesos).
Sean x
1
, x
2
, . . . , x
n
y a
1
, a
2
, . . . , a
n
nmeros reales no negativos, con a
1
+a
2
+
+a
n
= 1. Sean
A = a
1
x
1
+a
2
x
2
+ +a
n
x
n
la media aritmtica pesada de los x
i
con pesos a
i
, y
G = x
a1
1
x
a2
2
x
an
n
la media geomtrica pesada, Entonces
A G,
con igualdad si y slo si x
1
= x
2
= = x
n
.
Demostracin. Supongamos primero que todos los x
i
son positivos. La funcin
f(x) = log(x) es estrictamente cncava para x > 0, ya que f
(x) = 1/x
2
< 0
para todo x > 0. Entonces por la desigualdad de Jensen se tiene
log(a
1
x
1
+a
2
x
2
+ +a
n
x
n
) a
1
log(x
1
) +a
2
log(x
2
) + +a
n
log(x
n
),
y tomando la exponencial de ambos miembros queda
a
1
x
1
+a
2
x
2
+ +a
n
x
n
x
a1
1
x
a2
2
x
an
n
,
es decir A G, con igualdad si y slo si x
1
= x
2
= = x
n
. Si para algn
i fuese x
i
= 0 y a
i
= 0 entonces G = 0 y la desigualdad tambin se cumple,
con igualdad si y slo todos los x
i
son nulos. Y si hay pares (x
i
, a
i
) tales que
x
i
= a
i
= 0, se pueden suprimir sin alterar el valor de A ni de G.
Ejercicio 4.21. Si x
1
, x
2
, . . . , x
n
son reales positivos y a
1
, a
2
, . . . , a
n
reales no
negativos tales que a
1
+ a
2
+ +a
n
= 1, se dene la media armnica pesada
de los x
i
con pesos a
i
como
H =
1
a1
x1
+
a2
x2
+ +
an
xn
.
Pruebe que G H, siendo G la media geomtrica pesada de los x
i
con pesos
a
i
.
4.6.3. Desigualdad entre medias generalizadas
Otra forma de generalizar la desigualdad aritmtico-geomtrica consiste en
denir las medias pesadas de orden arbitrario.
Denicin 4.1. Si = 0 es un nmero real y a
1
, a
2
, . . . , a
n
son reales positivos
tales que a
1
+a
2
+ +a
n
= 1, la media de orden de n nmeros reales positivos
x
1
, x
2
, . . . , x
n
con pesos a
1
, . . . , a
n
es
m
(x
1
, x
2
, . . . , x
n
) =
_
n
i=1
a
i
x
i
_
1/
.
92 Aplicaciones matemticas
Nota: Generalmente se permite que algunos pesos a
i
sean nulos, pero eso com-
plica las demostraciones sin ninguna ventaja a cambio.
Ejercicio 4.22. Probar que
a) lm
0
m
(x
1
, x
2
, . . . , x
n
) =
n
i=1
x
ai
i
,
b) lm
+
m
(x
1
, x
2
, . . . , x
n
) = max{x
1
, x
2
, . . . , x
n
},
c) lm
(x
1
, x
2
, . . . , x
n
) = mn{x
1
, x
2
, . . . , x
n
.
En vista del ejercicio anterior, se dene la media de orden 0 como la media
geomtrica pesada:
m
0
(x
1
, x
2
, . . . , x
n
) =
n
i=1
x
ai
i
.
Por la misma razn se denen m
+
(x
1
, x
2
, . . . , x
n
) = max{x
1
, x
2
, . . . , x
n
} y
m
(x
1
, x
2
, . . . , x
n
) = mn{x
1
, x
2
, . . . , x
n
}.
Observe que m
1
(x
1
, x
2
, . . . , x
n
) =
n
i=1
a
i
x
i
es la media aritmtica pesada.
Si se toman pesos iguales a
i
= 1/n entonces
m
1
(x
1
, x
2
, . . . , x
n
) =
_
1
n
n
i=1
1
x
i
_
1
es la media armnica y
m
2
(x
1
, x
2
, . . . , x
n
) =
_
1
n
n
i=1
x
2
i
es la llamada media cuadrtica de x
1
, x
2
, . . . , x
n
.
Teorema 4.5. Si < , entonces
m
(x
1
, x
2
, . . . , x
n
) m
(x
1
, x
2
, . . . , x
n
),
con igualdad si y slo si x
1
= x
2
= = x
n
.
Demostracin. Supongamos primero que 0 < < . Entonces la funcin f(x) =
x
/
es estrictamente convexa en (0, +), ya que f
(x) = (/)x
/1
es
estrictamente creciente, y la desigualdad de Jensen aplicada a los nmeros x
1
,
x
2
,. . . ,x
n
nos dice que
_
n
i=1
a
i
x
i
_
/
i=1
a
i
(x
i
)
/
=
n
i=1
a
i
x
i
,
de donde m
y m
se tiene
m
(x
1
, . . . , x
n
) =
1
m
_
1
x1
, . . . ,
1
xn
_
1
m
_
1
x1
, . . . ,
1
xn
_
= m
(x
1
, . . . , x
n
),
con igualdad si y slo si x
1
= x
2
= = x
n
.
Si ahora se deja < 0 jo y se toman lmites para 0
, resulta
m
(x
1
, . . . , x
n
) m
0
(x
1
, . . . , x
n
),
con igualdad si y slo si x
1
= x
2
= = x
n
.
Finalmente, si < 0 < entonces
m
(x
1
, . . . , x
n
) m
0
(x
1
, . . . , x
n
) m
(x
1
, . . . , x
n
),
con igualdad si y slo si x
1
= x
2
= = x
n
.
La desigualdad entre medias vale incluso para las de orden y . En
efecto, si M = max{x
1
, x
2
, . . . , x
n
} y > 0 entonces es claro que
m
(x
1
, . . . , x
n
) =
_
n
i=1
a
i
x
i
_
1/
_
n
i=1
a
i
M
_
1/
= M = m
+
(x
1
, . . . , x
n
),
con igualdad si y slo si x
1
= x
2
= = x
n
. Si < 0 tambin se cumple puesto
que m
m
+
.
Anlogamente se prueba que
m
(x
1
, . . . , x
n
) = mn{x
1
, x
2
, . . . , x
n
} m
(x
1
, . . . , x
n
).
4.6.4. Desigualdades de Young, Hlder y Minkowski
Teorema 4.6 (Desigualdad de Young).
Si a, b, p, q > 0 y 1/p + 1/q = 1 entonces
ab
a
p
p
+
b
q
q
.
Demostracin. La prueba consiste en aplicar la desigualdad de Jensen a la fun-
cin f(x) = log x, que es cncava para x > 0:
log(ab) = log(a) + log(b) =
log(a
p
)
p
+
log(b
q
)
q
log(
a
p
p
+
b
q
q
),
y la demostracin se concluye aplicando la funcin exponencial a ambos miem-
bros.
94 Aplicaciones matemticas
Teorema 4.7 (Desigualdad de Hlder).
Si x
1
, x
2
, . . . , x
n
, y
1
, y
2
, . . . , y
n
son reales cualesquiera y p, q > 0 son tales que
1/p + 1/q = 1, entonces
n
i=1
|x
i
y
i
|
_
n
i=1
|x
i
|
p
_1
p
_
n
i=1
|y
i
|
q
_1
q
.
Demostracin. Sea
x
p
=
_
|x
k
|
p
_1
p
.
Entonces
|
k
x
k
y
k
|
x
p
y
q
k
|x
k
|
x
p
|y
k
|
y
q
1
p
k
|x
k
|
p
x
p
p
+
1
q
k
|y
k
|
q
y
q
q
=
1
p
+
1
q
= 1.
Teorema 4.8 (Desigualdad de Minkowski).
Si x
1
, x
2
, . . . , x
n
, y
1
, y
2
, . . . , y
n
son reales cualesquiera y p 1 entonces
_
n
i=1
|x
i
+y
i
|
p
_1
p
_
n
i=1
|x
i
|
p
_1
p
+
_
n
i=1
|y
i
|
p
_1
p
.
Demostracin. Para p = 1 esta desigualdad se reduce a la desigualdad triangu-
lar. Supongamos entonces p > 1 y sea q = p/(p1). Entonces por la desigualdad
de Hlder se tiene
n
k=0
|a
k
||a
k
+b
k
|
p1
_
n
k=0
|a
k
|
p
_1
p
_
n
k=0
|a
k
+b
k
|
(p1)q
_1
q
y
n
k=0
|b
k
||a
k
+b
k
|
p1
_
n
k=0
|b
k
|
p
_1
p
_
n
k=0
|a
k
+b
k
|
(p1)q
_1
q
.
Sumando miembro a miembro resulta
n
k=0
|a
k
+b
k
|
p
_
_
_
n
k=0
|a
k
|
p
_1
p
+
_
n
k=0
|b
k
|
p
_1
p
_
_
_
n
k=0
|a
k
+b
k
|
(p1)q
_1
q
,
y como (p 1)q = p y 1 1/q = 1/p, resulta
_
n
k=0
|a
k
+b
k
|
p
_1
p
=
_
n
k=0
|a
k
+b
k
|
p
_
1
1
q
_
n
k=0
|a
k
|
p
_1
p
+
_
n
k=0
|b
k
|
p
_1
p
.
4.6 Desigualdades 95
Si p > 0, a = (a
1
, a
2
, . . . , a
n
) y b = (b
1
, b
2
, . . . , b
n
) son puntos en R
n
, sea
d
p
(a, b) = a b
p
=
_
n
k=0
|a
k
b
k
|
p
_1
p
.
Entonces d
p
es una distancia en R
n
, ya que d
p
(a, b) 0, d
p
(a, b) = 0 si y slo
si a = b y nalmente, si c = (c
1
, c
2
, . . . , c
n
), de la desigualdad de Minkowski se
sigue fcilmente que
d
p
(a, c) d
p
(a, b) +d
p
(b, c).
Observe que d
2
es la distancia euclidiana.
Captulo 5
Aplicaciones fsicas
La mecnica es el paraso de las ciencias matemticas, porque
por medio de ella uno llega a los frutos de la matemtica.
Leonardo da Vinci, Cuadernos de apuntes, vol. 1, cap. 20.
5.1. Movimiento en un campo constante
Supongamos que un punto material de masa m se mueve sometido a la accin
de una fuerza
F. Si P(t) = (x(t), y(t), z(t)) es la posicin del punto en el instante
t, entonces la segunda ley de Newton, o ley fundamental de la dinmica, arma
que
m
P(t) =
F.
El caso ms sencillo se presenta cuando la fuerza es constante. En ese caso, la
aceleracin a =
P(t) =
F/m tambin es constante, y la ecuacin anterior queda
P(t) =a.
Observemos ahora que
(
P(t) ta)
.
=
P(t) a = 0,
de donde se concluye que
P(t) ta es constante. Poniendo t = 0 resulta que esa
constante es
P(0), y por lo tanto
P(t) = ta +
P(0).
De la misma manera
(P(t)
t
2
2
a t
P(0))
.
=
P(t) ta
P(0) = 0,
5.1 Movimiento en un campo constante 97
por lo tanto P(t) (t
2
/2)a t
P(0) es constante, y poniendo t = 0 resulta que
esa constante es P(0). En conclusin la trayectoria del punto P es
P(t) =
t
2
2
a +t
P(0) +P(0).
Si la fuerza es nula entonces la aceleracin tambin, y la ecuacin anterior
se reduce a
P(t) = t
P(0) +P(0),
que es la ecuacin paramtrica de una lnea recta que pasa por P(0) con direc-
cin
P(0). Esto no es ms que la primera ley de Newton: En la ausencia de
fuerzas exteriores, todo cuerpo contina en su estado de reposo o de movimiento
rectilneo uniforme.
Se sabe que cerca de la supercie terrestre la aceleracin de la gravedad es
aproximadamente constante. Su valor se denota con la letra g y es aproximada-
mente 9,8 m/seg
2
(depende del lugar de la Tierra en que se est). Si se toma
un sistema de coordenadas con el origen al nivel del piso y el eje Oz vertical y
dirigido hacia arriba, el campo gravitatorio es entonces G = (0, 0, g).
Supongamos que un punto P(t) = (x(t), y(t), z(t)) se mueve en este cam-
po gravitatorio constante G = (0, 0, g). El movimiento puede ser vinculado,
es decir que el punto puede estar obligado a moverse por determinada curva o
supercie, pero supondremos que el vnculo slo acta por medio de fuerzas per-
pendiculares a la direccin del movimiento (en particular, que no hay friccin).
La ley de Newton se expresa entonces como
m
P = mG+N,
donde N representa la fuerza del vnculo. Haciendo el producto escalar por
P,
como N
P = 0 por hiptesis, resulta
m
P
P = mG
P = mg z.
Como (
P
2
)
.
= 2
P
P, poniendo v = |
P| la ecuacin anterior se puede escribir
como
(
1
2
mv
2
+mgz)
.
= 0,
es decir que
1
2
mv
2
+mgz = E (constante).
sta es la llamada ley de conservacin de la energa mecnica. A T =
1
2
mv
2
se
le llama energa cintica y a U = mgx energa potencial, por lo cual la ley se
puede expresar como E = T +U, donde la energa total E es constante.
Ejemplo 5.1. Un punto material comienza a moverse desde un punto con altura
h, con velocidad inicial 0. Qu velocidad lleva cuando llega al piso? Y si se lanza
hacia arriba desde el suelo, qu velocidad inicial hay que imprimirle para que
alcance una altura mxima igual a h?
98 Aplicaciones fsicas
Solucin: En el instante inicial E = mgh, y cuando llega al piso E = mv
2
/2.
Igualando y despejando v resulta v =
2gh. La
respuesta a la segunda pregunta es la misma, v =
2gh.
Si no hay vnculo la ley de Newton es simplemente
m
P = mG,
que equivale a tres ecuaciones independientes
x = 0, y = 0, z = g.
Si para t = 0 el punto se encuentra en P
0
= (x
0
, y
0
, z
0
) y tiene velocidad
P
0
= ( x
0
, y
0
, z
0
), entonces es fcil ver que x(t) = x
0
+ x
0
t, y(t) = y
0
+ y
0
t,
z(t) = z
0
+ z
0
t gt
2
/2, que se pueden resumir en una sola ecuacin vectorial
P(t) = P
0
+t
P
0
+
1
2
t
2
G.
Ejemplo 5.2. Si P
0
= (0, 0, 0) y
P
0
= (v cos , 0, v sen ) (esto corresponde a
una velocidad inicial de mdulo v, contenida en el plano Oxz, y que forma un
ngulo con el eje Ox) entonces las ecuaciones del movimiento son
x(t) = (v cos )t,
y(t) = 0,
z(t) = (v sen )t
1
2
gt
2
.
Esto muestra que el movimiento est contenido en el plano Oxz. La forma
de la trayectoria se puede obtener eliminando t entre la primera ecuacin y la
tercera, y se obtiene
z = xtg
g
2v
2
cos
2
x
2
,
que es la ecuacin de una parbola.
5.2. Desintegracin radioactiva
Sea f(t) la masa de una sustancia radiactiva en el instante t. Debido a la
desintegracin la funcin f(t) es decreciente. Como la cantidad de tomos que se
desintegran en un pequeo intervalo de tiempo es proporcional al total existente,
la velocidad f
= kg(t)e
kt
,
o sea
g
(t)e
kt
g(t)ke
kt
= kg(t)e
kt
que se reduce a g
(t)e
kt
= 0, o sea g
(t)/f
(0) =
4/7. Por lo tanto e
kt
= 4/7, de donde kt = log(4/7) y t = log(7/4)/k. Por otra
parte k = log(2)/t 1
2
= log(2)/5730. En denitiva t = 5730 log(7/4)/ log(2)
4626 aos.
5.3. Ecuaciones diferenciales
Los ejemplos anteriores muestran la importancia de considerar ecuaciones en
las cuales una funcin desconocida aparece relacionada con sus derivadas. Si la
funcin a determinar es de una variable real, entonces se tiene una ecuacin di-
ferencial ordinaria (EDO, en forma abreviada), que en general es una expresin
de la forma
F(x, y, y
, . . . , y
(n)
) = 0, (5.2)
donde n > 0 es un entero (llamado orden de la ecuacin) y F es una funcin de
n + 1 variables.
Si la funcin incgnita es de varias variables y aparece relacionada con sus
derivadas parciales, entonces se trata de una ecuacin diferencial parcial. Tam-
bin se pueden presentar sistemas de ecuaciones diferenciales, con dos o ms
funciones incgnitas.
Una solucin de la ecuacin (5.2) es una funcin f(x) tal que, si y
(k)
se susti-
tuye por f
(k)
(x) para k = 0, 1, . . . , n, la ecuacin se convierte en una identidad.
Por ejemplo
y
= 3y
es una EDO de primer orden, y f(x) = e
3x
es una solucin porque la sustitucin
y = e
3x
, y
= (e
3x
)
= 3e
3x
, la convierte en
3e
3x
= 3e
3x
,
que es una identidad. Como esta ecuacin es la misma que estudiamos para la
desintegracin radioactiva (con k = 3), podemos armar que cualquier otra
solucin es de la forma Ae
3t
, donde A es una constante. Se dice entonces que
y = Ae
3x
es la solucin general de la ecuacin.
Si x
0
, y
0
, y
0
,. . . ,y
(n1)
0
son nmeros reales dados, el problema de condiciones
iniciales para una EDO de orden n consiste en hallar una solucin f(x) tal que
f(x
0
) = y
0
, f
(x
0
) = y
0
,. . . ,f
(n1)
(x
0
) = y
(n1)
0
. Existen teoremas que, bajo
condiciones muy generales, aseguran que este problema tiene solucin nica, al
menos localmente.
Una EDO es lineal si es de la siguiente forma
y
(n)
= a
n1
(x)y
(n1)
+ +a
2
(x)y
+a
1
(x)y
+a
0
(x)y +b(x).
Para estas ecuaciones se puede probar que si a
0
, a
1
,. . . , a
n1
y b(x) son fun-
ciones continuas en un intervalo abierto I y x
0
I, entonces el problema de
5.3 Ecuaciones diferenciales 101
condiciones iniciales tiene solucin nica en I. La prueba puede hallarse en libros
de ecuaciones diferenciales, como por ejemplo [1], [5] y [6].
Si b(x) = 0 la ecuacin se llama homognea. Estas ecuaciones tienen una
propiedad importante: cualquier combinacin lineal de soluciones es tambin
solucin. En otras palabras, si f
1
,f
2
,. . . ,f
k
son soluciones y
1
,
2
, . . . ,
k
son
constantes, entonces
1
f
1
(x) +
2
f
2
(x) + +
k
f
k
(x)
tambin es solucin (esto es consecuencia inmediata de la linealidad de la deri-
vacin).
Para las ecuaciones no homogneas se prueba fcilmente que la diferencia de
dos soluciones cualesquiera es solucin de la correspondiente ecuacin homog-
nea (la que se obtiene al eliminar el trmino b(x). Por lo tanto para resolverlas es
suciente hallar una solucin particular y la solucin general de la homognea.
Por ejemplo, la solucin general de la ecuacin lineal de primer orden ho-
mognea y
= 3y es y(x) = Ae
3x
. Si ahora se desea resolver la ecuacin no
homognea
y
= 3y + 6x 7
se debe buscar una solucin particular. Busqumosla de la forma ax+b. Entonces
a = 3(ax +b) + 6x 7
debe ser una identidad, lo que se consigue si a = 2 y b = 5/3. Por lo tanto
y(x) = 2x + 5/3 +Ae
3x
es la solucin general de la ecuacin no homognea.
Consideremos ahora una ecuacin lineal homognea de segundo orden con
coecientes constantes:
y
= ay
+by. (5.3)
Tratando de hallar alguna solucin ensayemos con las funciones de la forma
y(x) = e
rx
. Entonces y
(x) = re
rx
, y
(x) = r
2
e
rx
y para que sea solucin debe
cumplirse
r
2
e
rx
= are
rx
+be
rx
,
que dividiendo entre e
rx
equivale a
r
2
= ar +b.
sta es una simple ecuacin algebraica de segundo grado, r
2
ar b = 0, que
se llama ecuacin caracterstica de la ecuacin (5.3). Si a
2
+ 4b > 0 entonces la
ecuacin caracterstica tiene dos races reales diferentes r
1
y r
2
y las funciones
e
r1x
y e
r2x
son soluciones de (5.3). Tambin lo son todas las combinaciones
lineales
Ae
r1x
+Be
r2x
.
De hecho, stas son todas las soluciones de (5.3). Esto puede verse as: dada una
solucin f(x), sean y
0
= f(0), y
0
= f
(0) = r
1
A + r
2
B, por
lo tanto debemos ver si el sistema de ecuaciones lineales en A y B
A+B = y
0
,
r
1
A +r
2
B = y
0
tiene solucin. Y efectivamente la tiene pues su determinante es r
2
r
1
= 0.
Si a
2
+ 4b = 0 entonces la ecuacin caracterstica tiene una raz real doble
r = a/2 y e
rx
es una solucin. Puede comprobarse que en este caso xe
rx
tambin
es solucin. Entonces las combinaciones lineales
Ae
rx
+Bxe
rx
= (A +Bx)e
rx
son soluciones, y se puede probar que son todas.
Ejercicio 5.1. Verique que si a
2
+ 4b = 0 entonces xe
rx
tambin es solucin
de (5.3) y (A +Bx)e
rx
es la solucin general.
Finalmente, si a
2
+4b < 0 entonces la ecuacin caracterstica tiene dos races
complejas conjugadas + i y i. En este caso, como en el de dos races
reales distintas, se puede armar que las combinaciones lineales
Ce
(+i)x
+De
(i)x
son soluciones, slo que son en general complejas y estamos interesados en so-
luciones reales. Pero si tomamos C = A iB y D = A + iB, los sumandos
sern conjugados y su suma real. Recordando la frmula de Euler e
x+iy
=
e
x
(cos y +i seny), tenemos
(A iB)e
(+i)x
+ (A +iB)e
(i)x
= e
x
_
(A iB)e
ix
+ (A +iB)e
ix
_
= e
x
_
(A iB)(cos(x) +i sen(x)) + (A +iB)(cos(x) i sen(x))
_
= e
x
_
2Acos(x) + 2Bsen(x)
_
Como A y B son constantes arbitrarias, sustituyndolas por A/2 y B/2 tenemos
nalmente que las funciones
e
x
(Acos(x) +Bsen(x))
son soluciones de (5.3).
Ejercicio 5.2. Verique que si a
2
+4b < 0 entonces e
x
(Acos(x)+B sen(x))
es la solucin general de (5.3).
Ejercicio 5.3. Muestre que Acos(x) + Bsen(x) se puede escribir tambin
como C cos(x ), para ciertas constantes C y .
5.3 Ecuaciones diferenciales 103
Figura 5.1: Resorte vibrante
Ejemplo 5.4. Consideremos un resorte de longitud natural (o en reposo) l
0
.
La ley de Hooke establece que si el resorte se estira hasta alcanzar una longitud
l, entonces ejerce una fuerza de recuperacin F opuesta a la direccin del esti-
ramiento y proporcional al mismo. En smbolos, F = k(l l
0
), donde k es una
constante (llamada constante del resorte). Supongamos ahora que un extremo
del resorte est jo en el punto de abscisa l
0
de una recta y que en el otro
extremo se ja un punto material de masa m, que slo puede moverse en la
recta, y cuya abscisa x(t) en el instante t ser igual al estiramiento del resorte.
Entonces la fuerza de de recuperacin es F = kx, y la ley de Newton queda
as:
m x = kx,
que es una ecuacin lineal homognea con coecientes constantes de segundo
orden. Su ecuacin caracterstica es r
2
= k/m, que tiene races complejas
i
_
k/m y i
_
k/m. Poniendo =
_
k/m, la solucin general es
x(t) = Acos(t) + Bsen(t).
Para resolver el problema de condiciones iniciales en t = 0 observemos que
x(0) = A y x(t) = A sen(t) +B cos(t), por lo tanto x(0) = B, es decir
que la solucin con x(0) = x
0
, x(0) = x
0
es
x(t) = x
0
cos(t) +
x
0
sen(t).
Ejercicio 5.4. Consideremos un punto material de masa m suspendido del
techo mediante un resorte de constante k. Halle las ecuaciones del movimiento,
suponiendo que P slo puede moverse en la vertical.
104 Aplicaciones fsicas
Figura 5.2: Circuito LRC
Ejemplo 5.5. La intensidad de la corriente x(t) en un circuito en serie formado
por una resistencia R, un condensador C y un inductor L (ver Figura 5.2)
satisface la EDO lineal homognea de segundo orden
L x +R x +
1
C
x = 0. (5.4)
Su ecuacin caracterstica es Lr
2
+Rr + 1/C = 0, que tiene races r
1
= (R +
_
R
2
4L/C)/(2L) y r
2
= (R
_
R
2
4L/C)/(2L). Si R
2
> 4L/C entonces
las races r
1
y r
2
son reales y negativas, y la solucin general de (5.4) es
x(t) = Ae
r1t
+Be
r2t
,
que tiende montonamente a 0 para t . Este caso se denomina sobreamor-
tiguado.
Si R
2
= 4L/C la solucin general es
x(t) = (A +Bt)e
Rt/(2L)
,
que igualmente tiende a 0 para t , pero luego de un posible intervalo inicial
de crecimiento. Se denomina caso crticamente amortiguado.
Pero el caso ms interesante es el subamortiguado, que se presenta cuando
R
2
< 4L/C. En este caso, si se pone =
_
4L/C R
2
)/(2L), entonces r
1
=
R/(2L) +i y r
2
= R/(2L) i y la solucin general de (5.4) es
x(t) = Ae
Rt/(2L)
cos(t
0
),
que se puede interpretar como oscilaciones armnicas de frecuencia constante,
amortiguadas por un factor que decae exponencialmente a 0.
Ejercicio 5.5. Si en el circuito en serie LRC se intercala un generador de fuerza
electromotriz E(t) entonces la ecuacin se vuelve no homognea:
L x +R x +
1
C
x = E.
Resuelva esta ecuacin para el caso E(t) = sen(t).
5.4 Ecuacin de la catenaria 105
5.4. Ecuacin de la catenaria
Figura 5.3: La Sagrada Familia
A la forma que adopta una cuerda colga-
da por sus extremos, cuando est sometida a
un campo gravitatorio uniforme, se le llama
catenaria (del latn catena, cadena). Galileo
crey que esa forma era la de la parbola,
pero Christiaan Huygens (16291695), a los
17 aos, demostr que no era as. En 1691
la ecuacin de la catenaria fue obtenida por
Leibniz, Huygens y Johann Bernoulli (1667
1748), en respuesta a un desafo planteado por
Jakob Bernoulli (16541705).
La catenaria invertida tiene la propiedad
esttica de sostenerse a s misma, y permite
construir arcos arquitectnicos estructuralmente estables. Estos arcos fueron
utilizados con especial maestra por el arquitecto cataln Antoni Gaud, por
ejemplo en las columnas de la catedral La Sagrada Familia, en Barcelona. El
Gateway Arch en la ciudad de Saint Louis, estado de Missouri (USA), es una
colosal estructura de acero inoxidable, de 192 metros de altura y 192 metros de
ancho en la base, en forma de catenaria invertida.
Para hallar la ecuacin de la catenaria supongamos que la cuerda est sus-
pendida de dos puntos a la misma altura, y tomemos un sistema de coordenadas
con el origen en el punto ms bajo A de la cuerda (ver Figura 5.4). Sea AB un
trozo de cuerda en equilibrio. Las fuerzas que actan sobre AB son: la tensin
S de la cuerda en A, que es horizontal, la tensin T de la cuerda en B, que
tiene la misma direccin de la tangente a la curva en ese punto, y el peso del
trozo de cuerda P, que tiene direccin vertical. Como se supone que la cuerda
es homognea, si su densidad lineal es entonces la magnitud de su peso es
gl, donde l es la longitud del arco AB y g la aceleracin de la gravedad. La
condicin para que haya equilibrio es
S +
T +
P =
(x) = tg =
gl
S
.
Poniendo a = g/S y derivando resulta
f
(x) = a
dl
dx
= a
_
1 + (f
(x))
2
.
Dividiendo por la raz cuadrada, queda
f
(x)
_
1 + (f
(x))
2
= a,
106 Aplicaciones fsicas
Figura 5.4: Catenaria
y recordando que (argshx)
= 1/
1 +x
2
, se tiene (argsh(f
(x)))
= a, es decir
que argsh(f
(0) = 0, f
(a) = a y f
(0) = 0, se tiene
1
a
ch(ax)
1
a
=
a
2
x
2
+o(x
3
),
por lo tanto para |x| pequeo la catenaria se puede aproximar mediante una
parbola. Pero para valores grandes de |x| ambas curvas dieren mucho.
Ejercicio 5.6. Halle la ecuacin del Gateway Arch respecto a un sistema con-
veniente de coordenadas, su longitud y el rea que queda bajo el arco.
5.5. El Teorema de Torricelli
Problema: Un recipiente cilndrico de treinta litros de capacidad tiene en su
parte inferior un pequeo oricio. Si el recipiente se llena de agua, se comprueba
que en 30 segundos pierde un litro de lquido por el oricio. Cunto tiempo
tarda el recipiente lleno en vaciarse por completo?
Este problema aparenta ser un ejercicio aritmtico de primaria, de los que
se resuelven por regla de tres, pero es ms complejo de lo que parece. Si su
5.5 El Teorema de Torricelli 107
respuesta es 15 minutos, usted ha caido en la trampa. En realidad el recipiente
tardar casi media hora en vaciarse.
La explicacin consiste en que el agua sale ms rpido por el oricio cuando
el recipiente est lleno, y la velocidad decrece a medida que ste se va vaciando.
El fsico y matemtico italiano Evangelista Torricelli (1608-1647) determin la
ley que sigue este fenmeno.
Teorema de Torricelli
La velocidad v a la que sale un lquido por un oricio en una vasija abierta,
es la que tendra un cuerpo cualquiera, cayendo libremente en el vaco desde el
nivel del lquido hasta el nivel del oricio, es decir
v =
_
2gh
(donde h es la distancia vertical desde el oricio hasta el nivel del lquido).
(Este resultado vale en condiciones ideales; en la prctica la velocidad es algo
menor debido a los efectos de la viscosidad y la tensin supercial.)
Sean S la seccin y V
0
la capacidad del recipiente cilndrico, y s la seccin
del oricio. Sean V (t) el volumen y h(t) la altura del lquido que queda en el
recipiente en el instante t. Entonces V (t) = Sh(t), y si en el instante t = 0 el
recipiente est lleno de tiene la condicin inicial V (0) = V
0
. Como la velocidad
de salida del lquido es
_
2gh(t), la velocidad a la que disminuye el volumen de
lquido es V
(t) = s
_
2gh(t), lo que nos lleva a la ecuacin diferencial
V
(t) = s
_
2gV (t)
S
,
que se puede escribir en la forma
(
_
V (t))
=
V
(t)
2
_
V (t)
= s
_
g
S
.
Por lo tanto
_
V (t) = s
_
g
S
t +
_
V
0
. (5.5)
Ahora estamos en condiciones de dar respuesta al problema planteado inicial-
mente: para hallar el tiempo t que tarda el recipiente en vaciarse por completo
hay que resolver la ecuacin V (t) = 0, lo que nos da
t =
V
0
S
s
g
.
Ahora, si se mide el volumen en litros y el tiempo en segundos, tenemos los
datos V
0
= 30 y V (30) = 30 1 = 29. Por lo tanto, evaluando (5.5) en t = 30
se tiene
29 = 30s
_
g
S
+
30,
108 Aplicaciones fsicas
de donde se obtiene
S
s
g
=
30
30
29
y nalmente
t =
30
30
30
29
= 30
30(
30
= 1/
a
2
x
2
se obtiene
_
arc sen
_
1
a
cos
2
__
=
sen
2
2
_
a
2
cos
2
2
=
1
2
_
g
R
,
de donde
arc sen
_
1
a
cos
2
_
=
t
2
_
g
R
+C.
poniendo t = 0 se obtiene C = arc sen1 = /2, por lo tanto
arc sen
_
1
a
cos
2
_
=
t
2
_
g
R
+
2
,
y poniendo t = t
1
queda
0 =
t
1
2
_
g
R
+
2
,
de donde
t
1
=
R
g
.
Lo notable de este resultado es que no depende de
0
, es decir que desde cual-
quier punto de la cicloide que se deje caer el punto, siempre tarda lo mismo
en llegar al punto ms bajo! Esto le vali a la cicloide el apelativo de curva
tautcrona (o iscrona), que signica tiempos iguales.
Huygens utiliz esta propiedad de la cicloide para construir un pndulo is-
crono, es decir un pndulo en el cual el perodo de las oscilaciones no depende
de la amplitud de las mismas, como en los pndulos ordinarios. Para lograr que
la lenteja del pndulo siguiera una trayectoria cicloidal, Huygens aprovech el
hecho de que la involuta de una cicloide es otra cicloide (ver Ejemplo 4.8, pg.
78).
110 Aplicaciones fsicas
Figura 5.6: Pndulo iscrono
5.7. El problema de la braquistcrona
Es interesante notar que en algunos casos la fsica no s1o plante problemas
matemticos, sino que tambin ayud a resolverlos. Un ejemplo muy hermoso
de esto lo encontramos en el problema de hallar una curva en un plano vertical
que una dos puntos O y P, de tal manera que un punto material, movindose
sobre ]a curva sin friccin, descienda de O a P en el menor tiempo posible.
Esta curva fue llamada curva del ms rpido descenso, o braquistcrona, del
griego (pequeo, corto, breve) y oo (tiempo). Observemos que si
bien la lnea recta entre O y P es la de menor longitud, a menos que O y P se
encuentran en la misma vertical no es la de menor tiempo de descenso.
Este problema fue planteado por Johann Bernoulli, en 1696, como un desafo
matemtico. Para resolver el problema consideremos un sistema de ejes carte-
sianos con origen en el punto O, eje Oy vertical dirigido hacia abajo y eje Ox
horizontal. Si la partcula parte del origen O con velocidad nula, entonces como
sabemos su velocidad en cualquier punto de la trayectoria ser v =
2gy, fr-
mula que Bernoulli conoca perfectamente. Esto lo llev a relacionar el problema
con la ptica: un rayo de luz que pasa de un medio a otro en el cual la velocidad
de propagacin es distinta, cambia de direccin. Si la velocidad de propagacin
vara de modo continuo, la trayectoria del rayo ser curva. Pero segn el prin-
cipio de Fermat, la luz sigue una trayectoria que minimiza el tiempo empleado
para ir de un punto a otro. Esto signica que si tuvisemos un medio transpa-
rente en el cual la velocidad de la luz variase de acuerdo con la ley v =
2gy,
entonces podramos utilizar rayos de luz para resolver experimentalmente el pro-
blema de la braquistcrona. Bernoulli no intent realizar el experimento, sino
que a partir de este punto aplic sus conocimientos matemticos: llamando
al ngulo de la tangente a la curva con el eje Oy, la ley de Snell generalizada
5.8 Las leyes de Kepler 111
a medios continuos nos da la ecuacin
sen
v
= k (constante)
Por otra parte si es el ngulo de la tangente a la curva con el eje Ox tenemos
y
= tg y por lo tanto
sen = cos =
1
_
1 + (y
)
2
.
Combinando esta ecuacin con la anterior se llega a la ecuacin diferencial
y(1 + (y
)
2
) = k (constante). (5.6)
Para resolver esta ecuacin hagamos el cambio de variable y = k sen
2
u, con
lo cual y
= 2ku
sen u cos u,
_
k/y 1 =
_
1/ sen
2
u 1 = ctg u y la ecuacin
(5.6) queda 2ku
sen
2
u = 1, y como 2 sen
2
u =
1 cos 2u queda
ku
(1 cos 2u) = 1.
Pero (2u sen2u)
= (2 2 cos 2u)u
P, que combinada
con (5.7) nos da
P =
GM
|P|
3
P, (5.8)
Una primera consecuencia de esto es que
(P
P)
.
=
P
P +P
P = 0,
ya que el producto vectorial de vectores colineales es nulo. Por lo tanto
P
P =
k (constante). (5.9)
Esta relacin se conoce como conservacin del momento angular, y tiene como
consecuencia inmediata que el movimiento se efecta en el plano perpendicular
al vector
k que pasa por el origen. Tomando un sistema de coordenadas polares
r, en ese plano se puede representar el punto como P = re
i
, y entonces
P = re
i
+r ie
i
, (5.10)
P = ( r r
2
)e
i
+ (2 r +r )ie
i
. (5.11)
5.8 Las leyes de Kepler 113
La ley fundamental de la dinmica nos da
P =
GM
r
2
e
i
,
y en vista de (5.11) obtenemos
r r
2
=
GM
r
2
, (5.12)
2 r +r = 0. (5.13)
De (5.13) se obtiene
(r
2
)
.
= 2r r +r
2
= r(2 r +r ) = 0,
y por lo tanto
r
2
= k (constante) (5.14)
(esto tambin se puede obtener directamente de (5.9)).
Figura 5.8: Segunda ley de Kepler
Si se anula en algn instante, entonces ser siempre nula y ser constante.
Esto signica que el movimiento es en lnea recta y la ley del mismo se halla
resolviendo la ecuacin diferencial r = GM/r
2
.
Ejemplo 5.6. Qu velocidad debe alcanzar un cohete lanzado verticalmente
desde la supercie terrestre para escapar al campo gravitatorio de la Tierra?
Solucin: La ecuacin del movimiento del cohete es r = GM/r
2
, y multipli-
cando por r resulta r r = GM r/r
2
, o bien ( r
2
/2)
.
= (GM/r)
.
. Poniendo v = r
queda v
2
= 2GM/r +E, donde E es una constante.
Si el cohete se lanza con velocidad inicial v
0
desde la supercie terrestre
entonces E = v
2
0
2GM/R, donde R es el radio terrestre. Si v
0
>
_
2GM/R
entonces E > 0 y la velocidad del cohete ser siempre positiva, escapando al
campo gravitatorio terrestre. Sustituyendo los valores aproximados M = 5,974
10
24
kg, R = 6378 km (en el ecuador), G = 6,67 10
11
m
3
/(kg s
2
), resulta
114 Aplicaciones fsicas
2GM/R 12,5 10
7
m
2
/(s
2
) y
_
2GM/R 11,2 km/s, o 40320 km/h. sta es
la llamada velocidad de escape, pues en ausencia de otros cuerpos celestes (como
el Sol) permitira al cohete alejarse de la Tierra indenidamente. La tecnologa
actual permite lanzar cohetes que alcanzan una velocidad de 50000 km/h, lo
que hace posible enviar misiones a planetas lejanos.
Ejercicio 5.7. Sabiendo que la masa del Sol es aproximadamente 210
3
0 kg, y
la distancia de la Tierra al Sol aproximadamente 150 10
6
km, qu velocidad
debera alcanzar un cohete lanzado desde la Tierra para escapar del sistema
solar?
En lo sucesivo supondremos que no se anula. Entonces de (5.14) se puede
deducir la segunda ley de Kepler. En efecto, sea A() el rea barrida por el radio
vector OP medida a partir de
0
= (0). Para t pequeo, el rea barrida por
el radio vector OP desde el instante t hasta el t +t es aproximadamente igual
al rea del tringulo de vrtices O, P(t) y P(t + t), es decir
A((t + t)) A((t))
1
2
r(t)r(t + t) sen(),
siendo = (t + t) (t). Dividiendo entre t y tomando lmites para
t 0 resulta
A((t))
.
= lm
t0
1
2
r(t)r(t + t)
sen()
t
=
1
2
r
2
(t) (t) =
k
2
.
Por lo tanto A((t)) = kt/2, lo que muestra que en tiempos iguales el radio
vector barre reas iguales.
Pongamos ahora p = k
2
/(GM) y u = p/r. Entonces r = p/u y = k/r
2
=
(k/p
2
)u
2
. Usando
para denotar la derivada respecto a se tiene
r =
p
u
2
u
=
k
p
u
,
y derivando una vez ms respecto a t
r = ( r)
=
k
p
u
k
p
2
u
2
=
k
2
p
3
u
u
2
.
Sustituyendo en (5.12) se obtiene
k
2
p
3
u
u
2
k
2
p
3
u
3
=
GM
p
2
u
2
=
k
2
p
3
u
2
,
y dividiendo entre k
2
u
2
/p
3
queda la ecuacin diferencial
u
+u = 1,
5.8 Las leyes de Kepler 115
la cual ya hemos visto cmo se resuelve. Puesto que tiene la solucin particular
u = 1, la solucin general ser u = 1+ cos(
0
), donde y
0
son constantes
arbitrarias. Por lo tanto
r =
p
1 + cos(
0
)
,
que es la ecuacin de una cnica de excentricidad , como se vi en el Ejemplo
4.15 pg. 89.
Los planetas del sistema solar tienen rbitas elpticas de pequea excentrici-
dad. La de la Tierra es apenas 0,0167, y las mayores son las de Plutn (0,2488)
y Mercurio (0,2056). Los cometas presentan rbitas de mayor excentricidad, por
ejemplo la del cometa Halley es 0,967.
Para obtener la tercera ley de Kepler supongamos que la trayectoria es elp-
tica, es decir que < 1. Entonces la menor distancia a O se produce cuando
=
0
, y es p/(1 +). La mayor distancia se produce cuando =
0
+, y es
p/(1 ). El eje mayor de la elipse es entonces
2a =
p
1 +
+
p
1
=
2p
1
2
,
Por lo tanto a = p/(1
2
), c = a y b
2
= a
2
c
2
= a
2
(1
2
) = ap. Si T es el
perodo, entonces el rea barrida por OP en el tiempo T es el rea completa de
la elipse, es decir ab (ver Ejemplo 2.29 pg. 53). Es decir que ab = kT/2, de
donde T = 2ab/k, y como k
2
= pGM y p = b
2
/a, nos queda
T
2
=
4
2
a
2
b
2
k
2
=
4
2
a
2
b
2
pGM
=
4
2
a
3
GM
,
es decir que T
2
/a
3
= 4
2
/(GM) (constante).
En realidad el comportamiento del sistema solar es bastante ms complejo
de lo que predicen las leyes de Kepler, debido a las interacciones gravitatorias de
los diferentes cuerpos que lo componen entre s. As por ejemplo las desviaciones
del movimiento del planeta Urano de la rbita predicha por las leyes de Newton
y Kepler llevaron al matemtico francs Urbain Le Verrier (18111877) a des-
cubrir un nuevo planeta mediante el clculo, sin haberlo visto nunca. Con las
coordenadas proporcionadas por Le Verrier el astrnomo alemn Johann G. Ga-
lle localiz en septiembre de 1846 al nuevo planeta, llamado Neptuno, a menos
de un grado de la posicin calculada por Le Verrier! Clculos similares fueron
realizados independientemente por el ingls John Couch Adams (18191892).
Captulo 6
Aplicaciones a otras ciencias
6.1. Modelos Ecolgicos
6.1.1. Modelo Exponencial
La ecuacin diferencial
y
= ky,
que se analiz en el captulo precedente a propsito de la desintegracin radio-
activa, puede aplicarse a muchos otros fenmenos naturales, entre ellos a las
reacciones qumicas de primer orden, como por ejemplo la descomposicin del
perxido de hidrgeno H
2
O
2
en agua y oxgeno.
El mismo modelo se aplica a la reproduccin de organismos vivos. En efecto,
si n es la tasa de natalidad (nmero de nacimientos per cpita en la unidad de
tiempo) y m la tasa de mortalidad (nmero de muertes per cpita en la unidad
de tiempo), entonces la variacin y del tamao de la poblacin en un intervalo
de tiempo t es
y = nyt myt,
es decir que
y
t
= ny my
y tomando lmites cuando t 0 queda
y
= (n m)y.
Si k = n m entonces la solucin, como ya sabemos, es de la forma y =
y
0
e
kt
, donde y
0
es la poblacin en el instante t = 0. Si n > m el crecimiento
de la poblacin es exponencial, como observ Thomas Malthus (17661834)
para el caso de la especie humana. Si n = M entonces la poblacin permanece
estacionaria, y si n < m entonces decae exponencialmente.
En el caso de las bacterias, cuando una poblacin se encuentra en un nuevo
ambiente, pasa primero por una fase de adaptacin, con lento crecimiento y ele-
vada tasa de biosntesis de las protenas necesarias para un rpido crecimiento.
6.1 Modelos Ecolgicos 117
En una segunda fase, si hay una elevada concentracin de nutrientes, las bac-
terias crecen hasta un tamao jo y luego se reproducen en forma asexuada,
por sin binaria. Este proceso tarda, segn el tipo de bacteria, entre 15 y 30
minutos. El crecimiento es exponencial, y en pocas horas pueden llegar a miles
de millones.
Ejemplo 6.1. Las bacterias de cierta colonia, en su perodo exponencial, se
dividen en dos cada 23 minutos. Si inicialmente hay 100 bacterias, cuntas
habr al cabo de 8 horas?
Solucin: Se tiene y(t) = 100e
kt
, y como y(23) = 100e
23k
= 200 se tiene e
23k
= 2.
La respuesta es y(480) = 100e
480k
= 100(e
23k
)
480/23
= 1002
480/23
191586598.
6.1.2. Modelo logstico
Durante la fase exponencial del crecimiento de una poblacin bacteriana los
nutrientes tambin son metabolizados a velocidad exponencial. Esto conduce a
su agotamiento y por lo tanto el crecimiento se aminora o se detiene. Uno de los
modelos ms sencillos que se ha propuesto para representar este comportamiento
es el llamado modelo logstico, caracterizado por la ecuacin
y
= ky
_
1
y
b
_
. (6.1)
Mientras y sea pequeo en relacin a b, este modelo se comporta de modo similar
al exponencial y
=
y
y
+
y
b y
=
by
y(b y)
= k,
es decir
log(y) log(b y) = kx +C
para alguna constante C, de donde y/(b y) = e
kx+C
y se despeja
y =
be
kx+C
1 +e
kx+C
.
Si y
0
= y(0) = be
C
/(1 +e
C
) entonces e
C
= y
0
/(b y
0
) y
y =
by
0
e
kx
(b y
0
)(1 +e
kx
e
C
)
=
by
0
e
kx
b +y
0
(e
kx
1)
.
6.1.3. Modelo predador-presa
A mediados de la dcada de 1920 el bilogo italiano Umberto DAncona
estudi datos sobre la pesca en el mar Adritico, durante los aos de la Pri-
mera Guerra Mundial (1914-1918) y siguientes. Observ que el porcentaje de
selceos (tiburones, rayas, jureles, etc.) en el total de peces capturados haba
aumentado mucho durante la guerra. Pens que esto se deba al reducido nivel
de pesca durante este periodo, que al dejar ms peces pequeos para alimento
de los grandes, haca que la poblacin de stos aumentara. Pero el nmero de
peces pequeos, en vez de aumentar, disminua. Entonces DAncona consult a
su suegro, el matemtico Vito Volterra (1860-1940), quien formul un modelo
matemtico para este problema. El modelo asume un sistema cerrado con dos
especies, predadores y presas, y se basa en los supuestos siguientes: 1) las pre-
sas tienen fuentes de alimento ilimitadas, y en ausencia de predadores creceran
exponencialmente, 2) los predadores solamente se alimentan de las presas, y en
su ausencia mueren, 3) la tasa de mortalidad de las presas es directamente pro-
porcional al nmero de predadores, y 4) la tasa de natalidad de los predadores
es directamente proporcional al nmero de presas.
Llamando x(t) al nmero de presas e y(t) al nmero de predadores, en el
instante t, Volterra plante el siguiente sistema de ecuaciones diferenciales:
x = x(a by), (6.2)
y = y(c dx), (6.3)
donde a, b, c y d son constantes positivas que se pueden interpretar as: a es la
tasa de natalidad de las presas; c es la tasa de mortalidad de los predadores;
la tasa de mortalidad de las presas es by, que es proporcional al nmero de
predadores, siendo b la constante de proporcionalidad; la tasa de natalidad de los
predadores es dy, que es proporcional al nmero de presas, siendo d la constante
de proporcionalidad. Se observa que, en ausencia de predadores, la poblacin de
6.1 Modelos Ecolgicos 119
presas crecera exponencialmente ( x = ay); anlogamente, en ausencia de presas
la poblacin de predadores decaera exponencialmente ( y = cy).
Este modelo fue propuesto independientemente por Alfred James Lotka
(18801949), en relacin con otro problema, por lo cual actualmente se le llama
modelo de Lotka-Volterra.
A pesar de las simplicaciones realizadas para obtenerlo, en muchos casos el
modelo describe apropiadamente la realidad.
No es fcil obtener una solucin explcita para este sistema, sin embargo se
puede resolver por mtodos numricos, y se puede analizar cualitativamente su
comportamiento.
Busquemos en primer lugar soluciones constantes x = , y = . Entonces
x = y = 0, y nos queda
0 = x(a by),
0 = y(c dx),
que tiene la solucin trivial (0, 0) y la solucin x = c/d, y = a/b, las cuales se
interpretan como puntos de equilibrio del sistema.
Para a = b = c = d = 1 la gura siguiente muestra las grcas de las
soluciones x(t) e y(t)) en funcin del tiempo, para las condiciones iniciales x(0) =
1 e y(0) = 1,5 (fueron obtenidas con el programa MAPLE). Como se puede
apreciar son funciones peridicas desfasadas (una parece seguir, con retardo, a
la otra). Puede probarse que en general este es el tipo de comportamiento del
modelo.
t
12 10 8 6 4 2
x
0
1,4
1,2
1
0,8
0,6
Figura 6.2: Soluciones de Lotka-Volterra
Si se representan las soluciones en el plano xy (llamado el espacio de fases)
resulta una curva (x(t), y(t)). En la gura siguiente se muestran las grcas
de cuatro soluciones (x(t), y(t)) que satisfacen las condiciones iniciales (1, 3/2),
120 Aplicaciones a otras ciencias
(1, 2), (1, 5/2) y (1, 3). Como se ve son rbitas peridicas alrededor del punto
de equilibrio (1, 1).
3
3
2,5
2
2,5
1,5
1
2
0,5
1,5 1 0,5
Figura 6.3: Espacio de fases
Los dos puntos de equilibrio tienen un comportamiento muy distinto. El (1, 1)
tiene la propiedad de que, si una solucin parte de un punto sucientemente
cercano a l, entonces se mantendr siempre cercana a l. Por esta razn se
dice que este punto de equilibrio es estable (en realidad hay varias deniciones
de estabilidad, pero aqu nos contentaremos con esta nocin sencilla; para ms
detalles vea [6]).
El punto de equilibrio (0, 0), en cambio, no es estable, ya que la solucin que
parte de (, 0), por pequeo que sea > 0, tiende a innito.
El modelo predador-presa es un ejemplo de sistema dinmico. Una impor-
tante rama de la matemtica se ocupa de estudiar estos sistemas, que se ca-
racterizan por evolucionar en el tiempo. Entre los aspectos estudiados se hallan
los puntos de equilibrio, la estabilidad de las soluciones, la existencia de rbitas
peridicas o casi peridicas, los conjuntos atractores y repulsores, etc.
El comportamiento de un sistema dinmico puede ser extremadamente com-
plejo y en la prctica impredecible; en estos casos se dice que hay caos. Esto
puede ocurrir incluso en sistems mecnicos sencillos, como el doble pndulo.
6.2. Economa
El anlisis matemtico de la Economa tiene una gran complejidad y exige
herramientas matemticas que van mucho ms all del clculo, entre ellas la
teora de probabilidades, la teora de juegos, los sistemas dinmicos y posible-
6.2 Economa 121
mente nuevas ramas de la matemtica que an no se han desarrollado. Por eso
los ejemplos siguientes son necesariamente muy sencillos y slo pretenden mos-
trar que la aplicacin de la matemtica a la economa va mucho ms all de la
mal llamada matemtica nanciera.
6.2.1. ndice de precios e inacin
En el otoo de 1972 el presidente Nixon anunci que la tasa de
aumento de la inacin estaba disminuyendo. sta fue la primera
vez que un presidente en ejercicio us la tercera derivada para
promover su reeleccin.
Hugo Rossi, [11].
El ndice de precios al consumidor (IPC) es un valor ponderado que se calcula
a partir del consumo que una unidad familiar media realiza en un periodo de
tiempo determinado.
La inacin es la tasa de variacin del IPC respecto al tiempo, es decir
la primera derivada del IPC respecto al tiempo. La tasa de aumento de la
inacin es entonces la segunda derivada del IPC, y la armacin del presidente
Nixon equivale entonces a decir que la tercera derivada del IPC era negativa.
Sera interesante saber cuntas personas entendieron, al escuchar el anuncio
de Nixon, que no slo los precios sino la inacin estaban aumentando, slo que
sta ltima haba pasado por un punto de inexin.
El anlisis de las causas y remedios de la inacin es bastante complejo,
y como suele suceder en economa ha dado lugar al planteamiento de diversas
teoras, no solo diferentes sino hasta contradictorias.
6.2.2. Precios, oferta y demanda
El clsico modelo econmico de la oferta y la demanda postula que, en un
mercado libre, la cantidad de productos ofrecidos por los productores y la can-
tidad de productos demandados por los consumidores dependen del precio de
mercado del producto. La oferta es una funcin creciente f(p) del precio, mien-
tras que la demanda es una funcin por lo comn decreciente d(p). La llamada
ley de la oferta y la demanda arma que el precio de un bien tiende a situarse
en un punto de equilibrio p
e
para el cual se intersectan las curvas de oferta y
demanda, es decir f(p
e
) = d(p
e
). Si un productor es monoplico (es el nico que
produce un bien determinado) y conoce la funcin de demanda d(p), entonces
puede calcular el precio del bien y su oferta de modo de maximizar su ganancia.
Si el costo de producir una unidad del bien es c, entonces la ganancia al vender
d(p) unidades al precio p ser g(p) = (p c)d(p). El valor p
o
que haga mximo
el valor de g ser el que maximiza la ganancia, y la oferta deber ser d(p
o
).
Ejemplo 6.2. Si d(p) = 10000e
p/2
y c = 4, entonces g(p) = A(p 5)e
p/2
(con A = 10000) y g
(p) = Ae
p/2
Ae
p/2
(p 4)/2 = Ae
p/2
(6 p)/2,
por lo tanto la mxima ganancia se alcanza para p
o
= 6, y debern ofertarse
d(6) = 10000e
3
498 unidades del producto.
122 Aplicaciones a otras ciencias
Figura 6.4: Curvas de oferta y demanda
Naturalmente que en la realidad la situacin es mucho ms complicada, pues
intervienen factores como la competencia y las estrategias que los empresarios
adoptan para enfrentarse a ellas, desde campaas publicitarias hasta guerras de
precios. Adems intervienen factores subjetivos muy difciles de cuanticar y
prever, como la evolucin de los gustos de los consumidores.
La mano invisible es una metfora mediante la cual el lsofo y moralista
escocs Adam Smith (17231790), en su famosa obra Una investigacin sobre la
naturaleza y causas de la riqueza de las naciones, intentaba explicar la existencia
de un orden econmico natural, segn el cual la busca del inters privado por
cada particular conducira a la satisfaccin del inters general, con tanta ms
ecacia cuanto menos interviniese el Estado.
Este argumento acerca de una poderosa fuerza reguladora del mercado, que
si no es interferida por las polticas gubernamentales llevara los precios hacia
un deseado punto de equilibrio entre la oferta y la demanda, ha seguido siendo
esgrimido hasta el da de hoy por polticos, empresarios y hasta algunos econo-
mistas. Hasta hace poco quienes invocaban esta supuesta ley lo hacan como
si se tratara de una ley de la naturaleza, comprobada e irrefutable. Pero la crisis
mundial de la economa que estall en el ao 2008 hizo evidente, de manera
dramtica, la inestabilidad del sistema econmico mundial.
Pero desde el punto de vista matemtico hace tiempo que se saba que la
supuesta autoregulacin del mercado careca del ms mnimo sustento matem-
tico.
En 1995, Donald Saari [12] mostr que, por el contrario, incluso los sencillos
modelos utilizados en los cursos introductorios de economa pueden exhibir una
dinmica ms complicada que los de la fsica clsica o la biologa. En un modelo
simple de economa de intercambio que analiza, aparecen atractores extraos y
todo tipo de complejidades.
6.2 Economa 123
Por lo tanto slo nos queda pensar que los defensores de la teora de la mano
invisible lo hacen por ignorancia o porque sus intereses polticos o econmicos
privan sobre su honestidad intelectual.
Soluciones a ejercicios
seleccionados
Ejercicio 2.1 (pg. 15)
El nico axioma que requiere atencin especial es el A8, ya que si a+b
2 = 0
(con a, b Q) entonces ciertamente existe el inverso multiplicativo (a +b
2)
1
en R, pero es necesario probar que hay inverso multiplicativo en Q(
2). Pero
esto es inmediato, ya que
1
a +b
2
=
a b
2
(a +b
2)(a b
2)
=
a
a
2
2b
2
b
a
2
2b
2
2 Q(
2).
Ejercicio 2.2 (pg. 15)
Si c = sup A entonces c es cota superior de A y, como es la mnima cota
superior, si b < c entonces b no es cota superior de A; por lo tanto existe a A
tal que b < a, y como a c se tiene b < a c. Recprocamente, si c es una cota
superior de A y para todo b < c existe a A tal que b < a c, entonces c es
la mnima cota superior de A. En efecto, si existiese una cota superior c
< c,
entonces en el intervalo (c
A
tal que x < a
] A. Por lo
tanto [a, c) A, y si c A entonces [a, c] A. Esto prueba que A [a, +)
es un intervalo (ya que es [a, +), o [a, c) o [a, c]). Del mismo modo se prueba
que A [, a) es un intervalo y entonces A es la unin de dos intervalos con
el extremo comn a, que es un intervalo.
Ejercicio 2.4 (pg. 17)
(a) c R es cota superior de A a c para todo a A
a c para todo a A x c para todo x A
c es cota inferior de A.
(b) c = supA c es la mnima cota superior de A
c es la mxima cota inferior de A c =nf A.
Ejercicio 2.5 (pg. 17) Si A es un conjunto no vaco y acotado inferiormente de
nmeros reales, entonces A es un conjunto no vaco y acotado superiormente,
por lo tanto existe c = sup A, y por el ejercicio anterior c es nmo de A.
Anlogamente, del principio del nmo se deduce el principio del supremo,
y por lo tanto ambos principios son equivalentes.
Ejercicio 2.11 (pg. 20)
Como f no es creciente, existen a, b I tales que a < b y f(a) > f(b).
Consideremos los intervalos I
1
= {x I : x a}, I
2
= {x I : a x b},
I
3
= {x I : b x}. Si f fuese decreciente en los tres, entonces sera decreciente
en I. Por lo tanto f no es decreciente en algn I
j
, es decir que existen c, d I
j
tales que c < d y f(c) < f(d). Ahora se presentan tres casos:
j = 1: En este caso c < d a < b. Si f(d) f(a) entonces f(c) < f(a) > f(b)
y listo. Si en cambio f(d) > f(a) entonces f(c) < f(d) > f(a).
j = 2: En este caso a c < d b. Si f(a) > f(c), entonces f(a) > f(c) < f(d).
Si en cambio f(a) f(c), entonces f(a) < f(d) > f(b) y listo.
j = 3: En este caso a < b c < d. Si f(b) f(c) entonces f(a) > f(b) < f(d).
Si en cambio f(b) > f(c), entonces f(a) > f(c) < f(d).
Ejercicio 2.14 (pg. 21)
Si existiese L = lm
xc
h(x), tomando por ejemplo U = (L 1/4, L + 1/4)
debera existir un entorno reducido V
de c tal que, si x V
entonces f(x) U.
Pero en V
tanto el valor 1 como el 0. Pero esto es absurdo pues U no tiene dos elementos
que dieran en 1.
Ejercicio 2.19 (pg. 22)
Sea f : (a, b) R montona creciente. Si f no es acotada superiormente, es
evidente que lm
xb
f(x) = +. Si f es acotada superiormente, por el princi-
pio del supremo existe L = sup{f(x) : a < x < b}. Entonces lm
xb
f(x) = L.
En efecto, dado > 0 existe c (a, b) tal que L < f(c) L (ver Ejercicio
2.2, pg. 15). Por lo tanto, si c < x < b, L < f(c) f(x) L.
Anlogamente se prueba la existencia de lm
xa
+ f(x).
Ejercicio 2.23 (pg. 23)
No, pues en este ejemplo no se cumplen las hiptesis del Teorema 2.1. Espe-
ccamente, g no enva ningn entorno reducido del 0 en un entorno reducido
del 0.
Ejercicio 2.24 (pg. 24)
Sean f(x) = 1/x, g(x) = x, h(x) =
_
|x|, k(x) = xsin(1/x). Entonces
lm
x0
f(x) = , lm
x0
g(x) = lm
x0
h(x) = lm
x0
k(x) = 0,
lm
x0
f(x)g(x) = 1, lm
x0
f(x)h(x) = y lm
x0
f(x)k(x) no existe.
Ejercicio 2.27 (pg. 26)
a) lm
x0
(1 +x)
1
x
2
no existe, ya que lm
x0
(1 +x)
1
x
2
= 0 pero
lm
x0
+(1 +x)
1
x
2
= +.
b) lm
x0
(1 +x)
1
x
= e.
c) lm
x0
+(1 +|x|)
1
x
2
= +.
Ejercicio 2.28 (pg. 28)
Es inmediato si se usa la caracterizacin del supremo dada en el Ejercicio
2.2 (pg. 15).
Ejercicio 2.29 (pg. 28)
La sucesin x
n
est acotada superiormente por 2, ya que x
1
=
2 < 2 y si
se supone inductivamente que x
n
< 2, entonces x
n+1
=
2 +x
n
<
2 + 2 = 2.
Adems x
n
es creciente, ya que x
n+1
se obtiene sustituyendo el 2 del radical
ms interior en x
n
por 2 +
(x). Si x (a, b) entonces, por el teorema del valor medio, para algn
(x) intermedio entre c y x se tiene (f(x) f(c))/(x c) = f
((x)). Como
lm
xc
(x) = c se sigue que
f
(c) = lm
xc
f(x) f(c)
x c
= lm
xc
f
((x)) = lm
xc
f
(x).
Ejercicio 2.41 (pg. 39)
No, esa prueba slo sera vlida si se sabe que g(x) = g(a) en un entorno
reducido de a.
Ejercicio 2.42 (pg. 42)
Basta hacer el cambio de variable x = 1/t y observar que
lm
t0
d
dt
f(1/t)
d
dt
g(1/t)
= lm
t0
f
(1/t)(1/t
2
)
g
(1/t)(1/t
2
)
= lm
t0
f
(1/t)
g
(1/t)
= lm
x
f
(x)
g
(x)
existe, y por lo tanto
lm
x
f(x)
g(x)
= lm
t0
f(1/t)
g(1/t)
= lm
t0
d
dt
f(1/t)
d
dt
g(1/t)
= lm
x
f
(x)
g
(x)
.
Ejercicio 2.43 (pg. 42)
Sea L = lm
xa
f
(x)/g
(c)
g
(c)
1 g(b)/g(x)
1 f(b)/f(x)
,
donde c es un punto intermedio entre a y b. Dado > 0, tomando b sucien-
temente prximo a a se puede lograr que f
(c)/g
(x) = (f
(n)
(c)/(n 2)!)(x c)
(n2)
+
o((xc)
(n2)
), y entonces f
(x)/(xc)
(n2)
toma el mismo signo de f
(n)
(c) en
un entorno reducido de c. Si n es impar, como (xc)
(n2)
tiene signos diferentes
a uno y otro lado de c, lo mismo pasa con f
1 a pa
2
1
a+b
2
p(
a+b
2
)
2
1 b pb
2
=
1
8
p(b a)
3
.
El rea del trapecio limitado por la recta AB, el eje Ox y las rectas x = a y
x = b es (pa
2
+ pb
2
)(b a)/2. Como (px
3
/3)
= px
2
, por la regla de Barrow el
rea limitada por la parbola, el eje Ox y las rectas x = 1 y x = b es p(b
3
a
3
)/3.
Efectuando la diferencia resulta que el rea del segmento parablico es
1
2
p(a
2
+b
2
)(b a)
1
3
p(b
3
a
3
) =
1
6
p(b a)
3
,
que son precisamente dos tercios del rea del tringulo ABC.
Ejercicio 3.1 (pg. 55) Si a = 1 obviamente se cumple la igualdad para todo
x 1, Supongamos entonces a > 1 y sea f(x) = (1 + x)
a
(1 + ax). Como
f
(x) = a((1 + x)
a1
1) es negativa en [1, 0), nula en x = 0 y positiva en
(0, +), es claro que para todo x 1 se tiene f(x) f(0 == 0, con igualdad
si y slo si x = 0.
Ejercicio 3.2 (pg. 56) No, slo puede armarse que f
(0) = 0.
Ejercicio 3.3 (pg. 60) Sean h la altura y r el radio del envase cilndrico.
Entonces el volumen es r
2
h = 1, y h = 1/(r
2
). El rea total es la suma del
rea de las bases, 2r
2
, con el rea lateral 2rh = 2/r, es decir A(r) = 2r
2
+2/r.
Como A(r) es diferenciable en (0, +) y lm
r0
+ A(r) = lm
r+
A(r) = +,
se concluye que A(r) tiene mnimo en (0, +) y ste se alcanza en un punto
crtico. Ahora bien, como A
(r) = 4r2/r
2
, el nico punto crtico corresponde
a r =
3
_
1/(2), y entonces h =
3
_
4/ = 2r.
Ejercicio 3.4 (pg. 60) Sean C = (x, 0), = ACB y = OCA. Como el
problema es obviamente simtrico respecto al origen, supondremos x 0. Como
tg = OA/OC = 1/x y tg( +) = OB/OC = 3/x se tiene
tg = tg(( +) ) =
tg( +) tg
1 + tg( +) tg
=
3
x
1
x
1 +
3
x
2
=
2x
x
2
+ 3
,
por lo tanto
(tg )
=
2(x
2
+ 3) (2x)(2x)
(x
2
+ 3)
2
=
2(3 x
2
)
(x
2
+ 3)
2
y se observa que (tg )
es positiva en [0,
3) y negativa en (
3, +), en con-
secuencia tg alcanza su mximo en
3. Lo mismo ocurre con (ya que tg
es una funcin creciente de ). Como el valor mximo de tg es
3/3, el valor
mximo de es 30
.
Ejercicio 3.5 (pg. 64) Recordemos que se trata de hallar el mximo de V (x) =
x(a2x)
2
en el intervalo [0, a/2]. Pero por la desigualdad aritmtico-geomtrica
se tiene
4x(a 2x)
2
_
4x + (a 2x) +a 2x)
3
_
3
=
8a
3
27
,
con igualdad si y slo si 4x = a 2x, por lo tanto V (x) 2a
3
/27, con igualdad
slo para x = a/6.
Ejercicio 4.22 (pg. 92) a) Por LHpital,
lm
0
log(m
) = lm
0
1
log
_
n
i=1
a
i
x
i
_
= lm
0
n
i=1
a
i
x
i
log(x
i
)
n
i=1
a
i
x
i
=
n
i=1
a
i
log(x
i
)
n
i=1
a
i
=
n
i=1
a
i
log(x
i
) = log
_
n
i=1
x
ai
i
_
,
de donde lm
0
m
n
i=1
x
ai
i
.
b) Supongamos que max{x
1
, x
2
, . . . , x
n
} = x
j
. Entonces para cualquier > 0
se tiene
_
a
j
x
j
_
1/
m
(x
1
, x
2
, . . . , x
n
)
_
n
i=1
a
i
x
j
_
1/
,
es decir que
a
1/
j
x
j
m
(x
1
, x
2
, . . . , x
n
) x
j
y tomando lmites cuando + y aplicando el teorema del sndwich se
obtiene el resultado deseado.
La parte (c) es anloga.
Bibliografa
[1] Aguilera, J., Lizana, M., Estudio Cualitativo de Ecuaciones Diferenciales
Ordinarias, Imprenta Universitaria UCV, Caracas, 1990. Hay una versin
revisada: Ecuaciones Diferenciales Ordinarias, II Talleres de Formacin
Matemtica, Universidad Centroccidental Lisandro Alvarado, Barquisime-
to, 2001.
[2] Courant, R., John, F. Introduccin al Clculo y al Anlisis Matemtico,
Ed. Limusa, Mxico, 1976.
[3] Courant, R., Robbins, H., revised by Stewart, I., What is Mathematics?,
Oxford University Press, New York, 1996.
[4] Graviner, J. V., The Changing Concept of Change: the Derivative from
Fermat to Weierstrass, Mathematics Magazine, 56(4) (1983), pp. 195206.
[5] Guzman, M. de, Ecuaciones Diferenciales Ordinarias - Teora de Estabili-
dad y Control, Ed. Alhambra, Madrid, 1975.
[6] Hirsch, M., Smale, S., Dierential Equations, Dynamical Systems and Li-
near Algebra, Academic Press, 1974.
[7] Keisler, H. J., Elementary Calculus: An Approach Using Innitesimals, 2nd
ed., Prindle, Weber & Schmidt, 1986. Ahora disponible en http://www.
math.wisc.edu/~keisler/calc.html
[8] Landau, E., Foundations of Analysis, Chelsea, New York, 1966.
[9] Rey Pastor, J., Pi Calleja, P., Trejo, C. A., Anlisis Matemtico vol. I,
Kapelusz, Buenos Aires, 1958.
[10] Robinson, A., Non-standard analysis, Revised edition, Princeton University
Press, 1996.
[11] Rossi, H., Mathematics Is an Edice, Not a Toolbox, Notices of the AMS,
43(10) (1996), p. 1108.
[12] Saari, D., Mathematical Complexity of Simple Economics, Notices of the
AMS, 42(2) (1995), p. 222230.
[13] Spivak, M., Calculus, 2a. edicin, Ed. Revert, 1992.
ndice alfabtico
abscisa, 3
anlisis no estndar, 10
rea, 51
Arqumedes, 53
asntota, 26
Barrow, Isaac, 52
Beltrami, Eugenio, 83
Berkeley, George, 7
Bernoulli, Jakob, 55, 87, 105
Bernoulli, Johann, 41, 105, 110
braquistcrona, 110
Cantor, Georg, 12
cardioide, 86, 87
catenaria, 105
Cauchy, Augustin Louis, 9, 12
custica por reexin, 84
centro de curvatura, 76
cicloide, 74
composicin, 19
condiciones iniciales, 100
continuidad, 28
uniforme, 33
coordenadas polares, 86
cortaduras, 12
cotas, 15
Courant, Richard, 5
curva
alabeada, 73
plana, 73
recticable, 70
regular, 75
curvatura, 76
Darboux, Jean Gaston, 32
Dedekind, Richard, 12
derivada, 33
de funcin compuesta, 39
de funcin inversa, 40
de orden superior, 43
innita, 33
lateral, 34
Descartes, Ren, 3
desigualdad
aritmtico-geomtrica, 90
de Bernoulli, 55
de Hlder, 94
de Jensen, 90
de Minkowski, 94
de Young, 93
discontinuidad, 29
de salto, 29
evitable, 29
ecuacin
caracterstica, 101
diferencial, 100
lineal, 100
EDO, 100
elipse
rea de la, 53
ecuacin polar, 89
entorno, 17
reducido, 17
envolvente, 84
epicicloide, 75
espiral
de Arqumedes, 87
Logartmica, 87
Euclides, 2
Eudoxo, 2
Euler, Leonhard, 8, 9
evoluta, 79
evolvente, 77
excentricidad, 89
extremo local, 20
Fermat, Pierre de, 3, 63, 110
uxin, 5
frmula
de Euler, 102
de Taylor, 45
frmulas de Frenet, 77
Frenet, Jean Frdric, 77
funcin, 18
biyectiva, 18
cncava, 50
continua, 29
convexa, 48
derivada, 33
discontinua, 29
impar, 67
inversa, 18
inyectiva, 18
montona, 20
creciente, 20
decreciente, 20
par, 67
peridica, 67
sobreyectiva, 18
Galileo, 105
Gateway Arch, 105
Gaud, Antoni, 105
Graviner, Judith V., 1
Heron de Alejandra, 62
hipocicloide, 75
Hlder, Otto L., 94
Hooke, Robert, 8, 103
Huygens, Christiaan, 105, 109
imagen, 18
nmo, 15
innitsimo, 44
innito, 44
inacin, 121
interior, 17
intervalos, 17
involuta, 77
iscrona, 109
Kepler, Johannes, 7, 111
LHpital, Guillaume de, 41
lmite, 21
Lagrange, Joseph-Louis, 8, 38
Le Verrier, Urbain, 115
Leibniz, Gottfried W., 5, 105
Leonardo da Vinci, 96
ley
de Hooke, 103
de Snell, 63, 110
leyes
de Kepler, 7, 111
de Newton, 96, 112
longitud de arco, 70
Lotka, Alfred J., 119
Mray, Charles, 12
Maclaurin, Colin, 47
Malthus, Thomas, 116
mximo
de un conjunto, 15
de una funcin, 20
local, 20
media
aritmtica, 90
pesada, 91
armnica, 92
pesada, 91
cuadrtica, 92
de orden , 91
geomtrica, 90
pesada, 91
mtodo de Newton, 69
mnimo
de un conjunto, 15
de una funcin, 20
local, 20
Minkowski, Hermann, 94
modelo
exponencial, 116
logstico, 117
predador-presa, 118
nefroide, 86
Newton, Isaac, 5, 69, 112
notacin de Landau, 44
ortptica, 88
pndulo iscrono, 109
parmetro, 73
podaria, 88
polinomio
de Taylor, 45
preimagen, 18
primitiva, 43
Principio
de Fermat, 63, 110
del nmo, 16
del supremo, 15
producto
cartesiano, 18
escalar, 73
vectorial, 73
Propiedad de Darboux, 32
punto
crtico, 34
de inexin, 50
radio de curvatura, 76
regla
de Barrow, 52
de LHpital, 41
de la cadena, 39
de Leibniz, 44
regula falsi, 69
relacin, 18
Robbins, Herbert, 5
Robinson, Abraham, 10
Sagrada Familia, 105
semientorno, 17
serie, 28
de Maclaurin, 47
de Taylor, 47
seudoesfera, 83
sistema dinmico, 120
Snell, Willebrord, 63, 110
sucesin, 28
supremo, 15
tautcrona, 109
Taylor, Brook, 45
teorema
de Cauchy, 40
de Heine-Cantor, 33
de Rolle, 37
de Taylor, 46
de Torricelli, 107
del sndwich, 25
del valor medio, 38
fundamental del Clculo, 6, 51
Torricelli, Evangelista, 107
tractriz, 83
triedro de Frenet, 77
vector
binormal, 77
normal, 76
tangente, 75
velocidad
de escape, 114
instantnea, 36
media, 36
Volterra, Vito, 118
Weierstrass, Karl, 10, 12