Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cálculo Diferencial y Aplicaciones - José Hector Nieto Said - 1ed
Cálculo Diferencial y Aplicaciones - José Hector Nieto Said - 1ed
net
www.elsolucionario.net
www.elsolucionario.net
www.elsolucionario.net
Cálculo Diferencial
y Aplicaciones
Mérida, 2009
www.elsolucionario.net
Prefacio
www.elsolucionario.net
del cálculo. Por esa razón los cursos de esta disciplina aparecen en los planes de
estudio de todas las carreras científicas y técnicas.
Para la enseñanza del Cálculo existe una gran cantidad de libros de texto,
materiales audiovisuales y software educativo, todo lo cual se incrementa cada
año ya que su comercialización parece ser un buen negocio. También hay abun-
dante material disponoble gratuitamente en Internet. Sin embargo los resultados
alcanzados en los cursos por lo general no son satisfactorios. Un gran número de
aplazados, repitientes crónicos y deserción escolar parecen ser las características
constantes de estos cursos.
Estas notas se han escrito con el propósito de contribuir a la enseñanza
del Cálculo y lograr mejores rendimientos y logros académicos en los cursos.
Están dirigidas a profesores de enseñanza media y primeros años de educación
superior que estén dictando cursos de Cálculo o tengan proyectado hacerlo. La
concepción educativa que las anima es la siguiente:
1. No creemos que la función del profesor sea “transmitir conocimientos”, ni
que dicha “transmisión” sea posible. El conocimiento es algo que se cons-
truye em cada individuo a través de un complejo proceso que el profesor
debe estimular, proponiendo diversas experiencias educativas. En el caso
de la matemática, la resolución 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 motivación juega un papel sumamente importante en el proceso de
enseñanza-aprendizaje.
3. El profesor de matemática debe poseer un conocimiento profundo de su
materia, aún cuando la enseñanza deba adaptarse al nivel de sus alumnos.
Reconocemos, en algunos casos, la necesidad de la transposición didáctica,
pero ésta debe partir de una seria formación científica de los profesores.
4. Muchos conceptos matemáticos actuales son el resultado de la evolución
del pensamiento matemático durante siglos. El conocimiento del proceso
www.elsolucionario.net
www.elsolucionario.net
4. Las posibilidades didácticas de algunos recursos tecnológicos modernos.
El autor.
iii
www.elsolucionario.net
Índice general
1. Perspectiva histórica 1
1.1. Antecedentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. El nacimiento del Cálculo . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Crecimiento y desarrollo . . . . . . . . . . . . . . . . . . . . . . . 8
www.elsolucionario.net
1.4. Rigor y Fundamentación . . . . . . . . . . . . . . . . . . . . . . . 8
2. Conceptos Básicos 11
2.1. Los números reales . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1. Operaciones con funciones . . . . . . . . . . . . . . . . . . 19
2.2.2. Extremos, crecimiento y decrecimiento de funciones . . . 20
2.3. Límites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.1. Límites laterales e infinitos . . . . . . . . . . . . . . . . . 21
2.3.2. Operaciones con límites . . . . . . . . . . . . . . . . . . . 23
2.3.3. Asíntotas . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3.4. Límites de sucesiones . . . . . . . . . . . . . . . . . . . . . 27
2.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4.1. Operaciones con funciones continuas . . . . . . . . . . . . 30
2.4.2. Propiedades de las funciones continuas . . . . . . . . . . . 30
2.5. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.5.1. Derivadas laterales . . . . . . . . . . . . . . . . . . . . . . 34
2.5.2. Interpretación geométrica . . . . . . . . . . . . . . . . . . 34
2.5.3. Interpretación cinemática . . . . . . . . . . . . . . . . . . 35
2.5.4. Propiedades de las funciones derivables . . . . . . . . . . 36
2.5.5. Derivadas de orden superior . . . . . . . . . . . . . . . . . 43
2.5.6. Infinitésimos e infinitos . . . . . . . . . . . . . . . . . . . 44
2.5.7. Fórmula de Taylor . . . . . . . . . . . . . . . . . . . . . . 45
2.6. Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.7. Teorema fundamental del Cálculo . . . . . . . . . . . . . . . . . . 51
3. Máximos y mínimos 55
3.1. Crecimiento y decrecimiento de una función . . . . . . . . . . . . 55
3.2. Extremos locales . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.3. Extremos globales . . . . . . . . . . . . . . . . . . . . . . . . . . 57
iv
www.elsolucionario.net
4. Aplicaciones matemáticas 65
4.1. Gráficas de funciones . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2. Raíces de ecuaciones . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3. Longitud de arco . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4. Funciones vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.5. Curvas parametrizadas . . . . . . . . . . . . . . . . . . . . . . . . 73
4.5.1. Curvas regulares . . . . . . . . . . . . . . . . . . . . . . . 75
4.5.2. Involutas y evolutas . . . . . . . . . . . . . . . . . . . . . 77
4.5.3. Trayectorias de una bicicleta . . . . . . . . . . . . . . . . 80
4.5.4. Envolvente de una familia de rectas . . . . . . . . . . . . 84
4.5.5. Coordenadas polares . . . . . . . . . . . . . . . . . . . . . 86
4.6. Desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
www.elsolucionario.net
4.6.1. Desigualdad de Jensen . . . . . . . . . . . . . . . . . . . . 90
4.6.2. Desigualdad aritmético-geométrica . . . . . . . . . . . . . 90
4.6.3. Desigualdad entre medias generalizadas . . . . . . . . . . 91
4.6.4. Desigualdades de Young, Hölder y Minkowski . . . . . . . 93
5. Aplicaciones físicas 96
5.1. Movimiento en un campo constante . . . . . . . . . . . . . . . . . 96
5.2. Desintegración radioactiva . . . . . . . . . . . . . . . . . . . . . . 98
5.3. Ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . . . 100
5.4. Ecuación de la catenaria . . . . . . . . . . . . . . . . . . . . . . . 105
5.5. El Teorema de Torricelli . . . . . . . . . . . . . . . . . . . . . . . 106
5.6. La cicloide es tautócrona . . . . . . . . . . . . . . . . . . . . . . . 108
5.7. El problema de la braquistócrona . . . . . . . . . . . . . . . . . . 110
5.8. Las leyes de Kepler . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Bibliografía 131
v
www.elsolucionario.net
www.elsolucionario.net
vi
www.elsolucionario.net
Capítulo 1
Perspectiva histórica
www.elsolucionario.net
La derivada fue primero usada; luego fue descubierta; luego
fue explorada y desarrollada y finalmente fue definida.
Judith V. Graviner [4]
2 Perspectiva histórica
1.1. Antecedentes
www.elsolucionario.net
El Cálculo es la matemática del cambio y de lo continuo, y por lo tanto
para su desarrollo es imprescindible el conjunto de los números reales, también
conocido como el continuo. Los orígenes de los números reales se pueden rastrear
en la matemática babilónica, que desarrolló un sistema de numeración posicional
capaz, en principio, de representar la medida de una magnitud con la precisión
deseada. Los griegos fueron mucho más parcos en cuanto a lo que consideraban
números, y sólo designaban con este nombre a los enteros positivos a partir
del dos. El uno era la unidad, la mónada, y estaba en una clase aparte. Y
lo que nosotros llamamos fracciones eran para ellos razones de números, pero
no números propiamente dichos. Los pitagóricos creyeron, al principio, que la
razón de dos magnitudes del mismo tipo (como por ejemplo dos longitudes) se
podía expresar siempre como la razón de dos números, pero el descubrimiento de
magnitudes inconmensurables (como el lado y la diagonal de un cuadrado) echó
por tierra esa creencia. Este hecho sin embargo dió lugar a una de las creaciones
más profundas de la matemática griega: la teoría de las razones de magnitudes
de Eudoxo de Cnido, que aparece expuesta en el Libro V de los Elementos
de Euclides. Esta teoría permitió a los geómetras griegos comparar razones de
magnitudes, aunque éstas fuesen inconmensurables. Arquímedes mostró cómo
varias de esas razones inconmensurables podían ser aproximadas por números
racionales, pero debido a la carencia de un sistema de numeración apropiado la
matemática griega no avanzó mucho más en esa dirección.
Con el Renacimiento, que arrancó en Italia y luego se extendió por otras
partes de Europa, comenzó una revolución de ideas y una nueva actitud ante
la naturaleza, la sociedad y el hombre. A diferencia de lo que ocurrió en otras
áreas de la vida cultural, el Renacimiento no produjo grandes resultados en ma-
temáticas; sin embargo durante ese período se sentaron las bases de lo que sería
la gran revolución científica que se realizó en el siglo XVII. Se extendió el uso
del sistema de numeración posicional indoarábigo y se aplicó la matemática a
la contabilidad, la cartografía, la agrimensura, la óptica y el arte (teoría de la
perspectiva). Los matemáticos europeos redescubrieron la matemática griega y
se familiarizaron con el álgebra islámica, a través de traducciones que se hicie-
www.elsolucionario.net
1.1 Antecedentes 3
www.elsolucionario.net
se hace esto en dos rectas perpendiculares (ejes cartesianos) entonces se puede
establecer una correspondencia biyectiva entre los puntos del plano y los pares
ordenados de números reales, haciéndole corresponder a cada punto el par orde-
nado (x, y) formado por las abscisas de las proyecciones del punto sobre los ejes.
Y a cada ecuación R(x, y) = 0 en las variables x e y le corresponde una figura
geométrica, a saber el conjunto de todos los puntos del plano cuyas coordenadas
(x, y) satisfagan la ecuación.
Además de las rectas, las circunferencias y las có-
nicas, los griegos sólo habían considerado unas pocas
curvas más (como la espiral de Arquímedes y algunas
otras definidas como lugares geométricos), y fueron
capaces de resolver varios problemas relacionados con
ellas, notablemente el trazado de tangentes. Pero la
geometría analítica provocó una explosión en el nú-
mero de curvas posibles. Los métodos sintéticos de
los griegos para el trazado de tangentes ya no eran
aplicables, y se requería algo más general. Lo mis-
mo ocurría con el cálculo de áreas y longitudes y los
problemas de máximos y mínimos. Fermat desarrolló
un método para hallar extremos de funciones polinó-
micas que hoy identificaríamos con hallar los puntos
donde se anula la derivada. Sin embargo, no define la Figura 1.1: Fermat
derivada ni nada parecido, ni justifica su método. A
pesar de ello, lo utilizó con indudable éxito para resolver algunos problemas no
triviales. Por ejemplo, formuló el principio óptico según el cual la luz viaja de
un punto a otro siguiendo la trayectoria que haga mínimo el tiempo empleado
(hoy conocido como Principio de Fermat) y de allí dedujo la ley de refracción
de Snell.
Fermat también trabajó en el problema de las tangentes. En la geometría de
Euclides la definición de tangente no ofrecía problemas, ya que el único tipo de
www.elsolucionario.net
4 Perspectiva histórica
curva al que se aplicaba era la circunferencia, para la cual una recta es tangente
si y sólo si tiene un único punto en común con ella (las rectas secantes tienen dos
puntos en común con la circunferencia y las exteriores ninguno). Pero ya para
la parábola la situación es más complicada, ya que las rectas paralelas al eje la
cortan en un solo punto, igual que las tangentes. Se agregó entonces a la noción
de tangente la condición de que la recta no atravesara la curva. Para curvas
más generales, esta definición tampoco resulta apropiada. Intuitivamente, las
tangente comenzaron entonces a considerarse como secantes para las cuales los
puntos de contacto se aproximaban indefinidamente uno al otro hasta coincidir.
www.elsolucionario.net
Figura 1.2: Secante y tangente
A pesar de que nadie era capaz de explicar con precisión este proceso median-
te el cual las secantes se convertían en tangentes, Fermat (y otros matemáticos
del siglo XVII como Descartes, John Wallis e Isaac Barrow) utilizaron la idea
para calcular efectivamente tangentes.
El método, aplicado a una curva de ecuación y = f (x), consistía en consi-
derar la recta secante que pasa por dos puntos (x, f (x)), (x + h, f (x + h)) y
calcular su pendiente
f (x + h) − f (x)
. (1.1)
h
f (x) = x3 − x + 3 calculaban
www.elsolucionario.net
extremos.
6 Perspectiva histórica
notación dy/dx.R Del mismo modo su notación y dx para la integral sugiere una
R
suma (el signo es una S estilizada) de cantidades infinitesimales y dx.
En segundo lugar, tanto Newton como Leibniz establecieron lo que ahora se
llama el Teorema Fundamental del Cálculo, según el cual la derivación y la inte-
gración son operaciones mutuamente inversas. Veamos cómo Newton visualizaba
este resultado.
K(x,v)
H(x+h,v)
C(x,y)
www.elsolucionario.net
O x x+h
Dada una curva, sea z(x) el área limitada por ella, el eje de las x y las rectas
verticales de abscisas 0 y x. Sea C = (x, y) el punto de la curva con abscisa x,
y D el punto con abscisa x + h. Tomemos la ordenada v de los puntos K y H
de manera que el rectángulo de vértices (x, 0), (x + h, 0), K y H tenga igual
área que la región limitada por la curva, el eje horizontal y las rectas verticales
por C y D, es decir de manera que z(x + h) − z(x) = vh, o dividiendo ambos
miembros entre h,
z(x + h) − z(x)
= v.
h
Ahora Newton afirma que si h “disminuye indefinidamente, hasta desaparecer”,
v se hará igual a y. Por lo tanto la tasa de variación del área bajo la curva hasta
el punto C es igual al valor de la ordenada de ese punto. Además se observa que
ese valor es el mismo que obtendríamos al calcular la pendiente de la tangente
a la curva y = z(x), lo que muestra que el problema del área y el de la tangente
están íntimamente vinculados. En vez de nuestra h Newton usó una pequeña o,
con lo cual aparentemente quería transmitir la pequeñez y cercanía al 0 de esa
cantidad. Leibniz dió argumentos similares sobre este asunto.
Además de las razones matemáticas que hemos expuesto, existían motivos de
otro orden para impulsar el desarrollo del cálculo. Tanto Descartes como Galileo
Galilei (1564-1642) habían insistido en los métodos experimentales y el uso de
la matemática para describir y comprender la naturaleza. Pero la matemática
de la que disponían tenía limitaciones para cumplir ese programa, ya que era
esencialmente estática y carecía de recursos para describir el cambio, presente
en todos los procesos naturales. El cálculo proporcionó los recursos necesarios.
www.elsolucionario.net
www.elsolucionario.net
que “disminuyen hasta desaparecer”, ¿es cero o no lo
es? Si lo es, ¿cómo se puede dividir entre ella? Si no lo es, ¿no se comete un
error al despreciarla?
Para Leibniz dy/dx era un “cociente diferencial”, y
para algunos de sus discípulos, como Johann Bernou-
lli, era una razón de infinitésimos. El problema de este
planteamiento es que el orden entre los infinitésimos
no es arquimediano, por lo que la teoría clásica de las
proporciones no se les puede aplicar. En sus Princi-
pia Newton trató de superar esta dificultad afirmando
que una fluxión no debe entenderse como una razón
entre cantidades infinitesimales, sino como el límite
de la razón entre incrementos evanescentes. Esto sue-
na muy bien, pero lamentablemente no está claro qué
entendía Newton por límite, ya que inmediatamente
dice que las razones entre incrementos se aproximan al
límite más cerca que cualquier diferencia dada, “pero Figura 1.6: Leibniz
nunca lo sobrepasan ni lo alcanzan”.
En 1734 el obispo George Berkeley (1685–1753), en un artículo titulado
El Analista: o un discurso dirigido a un matemático infiel, argumentó que los
fundamentos del cálculo no eran firmes. Una cantidad, decía, es cero o no lo es,
no hay una tercera posibilidad. Entre sus mordaces críticas se hicieron famosas
estas palabras:
8 Perspectiva histórica
www.elsolucionario.net
mẍ + kx = 0,
www.elsolucionario.net
f ′ (x). También definió f ′′ (x) como la función deri-
vada de f ′ (x), y así sucesivamente, y probó que en
el desarrollo de f (x + h) se tiene q(x) = f ′′ (x)/2,
r(x) = f ′′′ (x)/6, etc.
Aunque la definición de Lagrange no es apropia-
da más que para una clase de funciones (las que hoy
llamamos analíticas), él también describió la derivada
mediante desigualdades semejantes a la actual defi-
nición mediante límites. También halló importantes
propiedades, por ejemplo probó que una función con Figura 1.8: Lagrange
derivada positiva en un intervalo es creciente, obtuvo
la hoy llamada forma de Lagrange para el resto en la fórmula de Taylor y aplicó
sus hallazgos para resolver un gran número de problemas de geometría, máximos
y mínimos y mecánica.
El matemático francés Augustin Louis Cauchy
(1789-1857) señaló, en 1821, que el álgebra de las
cantidades finitas no podía extenderse a los procesos
2
infinitos. Además mostró que la función e−1/x , hoy
llamada función 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 límite. Este concepto
tiene raíces profundas en la antigüedad. Los trabajos
de Arquímedes en relación a la longitud de la circun-
ferencia y el área encerrada por la misma, utilizando
aproximaciones por polígonos, y su aplicación del mé-
Figura 1.9: Cauchy todo de exhaución de Eudoxo, para demostrar riguro-
samente fórmulas de áreas y volúmenes de diversas
figuras (segmento de parábola, esfera, conos, cilindros, etc.), contienen implíci-
tamente la noción de límite de una sucesión. Newton también utilizó la palabra
www.elsolucionario.net
10 Perspectiva histórica
límite, tratando de evitar las dificultades lógicas que encerraban los incrementos
evanescentes, pero nunca propuso una definición aceptable de esta noción. El
primero en precisar el concepto de límite fue Cauchy, en su Cours d’Analyse
(Paris, 1821). A diferencia de sus predecesores, Cauchy evitó la cuestión de si
una variable podía alcanzar o sobrepasar su límite. Y aunque su definición es
todavía verbal, en sus demostraciones utiliza la caracterización algebraica de los
límites, mediante desigualdades. De hecho, Cauchy es quien utiliza por primera
vez la hoy famosa notación ǫ-δ. Y entonces, en 1823, define la derivada como el
límite (cuando existe) del cociente de diferencias (f (x + h) − f (x))/h cuando h
tiende a 0.
Después de Cauchy, el Cálculo comenzó a ser visto desde una perspectiva
diferente. De mero conjunto de poderosos métodos se convirtió en una disciplina
matemática rigurosa, con buenas definiciones y teoremas cuyas pruebas se basan
en las definiciones.
www.elsolucionario.net
a trabajar en la Universidad de Berlin. En el cur-
so de Introducción al Análisis que dictó entre 1859
y 1860 encaró el problema de los fundamentos. En
sus teoremas utilizó la técnica ǫ-δ de Cauchy, pero
reemplazando la definición verbal de los límites por
desigualdades, y haciendo una distinción clara entre
la convergencia puntual y la uniforme, lo cual a Cau-
chy se le había pasado por alto. De esta manera lo-
gró una presentación sistemática y completamente ri-
gurosa del Cálculo. Aunque Weierstrass no publicó
sus conferencias, sus alumnos (entre quienes estaban
Georg Cantor, Eduard Heine, Mittag-Leffler, Salvato-
re Pincherle, Hermann Schwartz y Sofia Kowalevska- Figura 1.10: Weierstrass
ya, entre otros) diseminaron su enfoque riguroso por
toda Europa. Su publicación en 1872 de un ejemplo de función continua que no
es derivable en ningún punto muestra su completo y profundo dominio de los
conceptos fundamentales del análisis matemático. Este descubrimiento perturbó
a muchos matemáticos, que consideraban a este tipo de funciones contrarias a la
intuición como “patológicas”. En una dirección contraria el mismo Weierstrass
probó, a los 70 años de edad, que toda función continua en un intervalo cerrado
y acotado puede ser aproximada uniformemente, con la precisiñon que se desee,
por medio de funciones polinómicas.
Para finalizar esta breve reseña histórica es interesante mencionar que el
punto de vista original de los creadores del cálculo ha resurgido modernamen-
te en el llamado análisis no estándar de Abraham Robinson (ver [10]), teoría
matemáticamente rigurosa que se desarrolla en un cuerpo no arquimediano de
números hiperreales que, junto a los reales estándar, contiene infinitésimos e in-
finitos. Incluso se ha argumentado que la presentación del cálculo basada en este
punto de vista es más intuitiva y fácil de comprender que el enfoque tradicional
ǫ-δ (ver por ejemplo [7]).
www.elsolucionario.net
Capítulo 2
Conceptos Básicos
www.elsolucionario.net
En este capítulo se revisan los conceptos y resultados básicos del cálculo
diferencial. Su contenido no refleja la forma en que el autor piensa que debe
enseñarse el Cálculo, sino más bien lo que éste cree que un profesor de Cálculo
debería saber.
Un curso de Cálculo para estudiantes que lo vean por primera vez requeriría
de mucha más motivación, ejemplos y ejercicios. Además, el grado de formalidad
y rigor debería adaptarse al nivel y objetivos del curso. No debe olvidarse que
la mayor parte del Cálculo se desarrolló antes de poseer definiciones formales
de los conceptos básicos (como los de número real y límite), y por lo tanto un
curso para estudiantes interesados en aplicar el cálculo no necesita detenerse en
los aspectos más sutiles de su fundamentación.
Como se supone que el lector ya está más o menos familiarizado con estos
temas, las demostraciones que se incluyen son bastante concisas y esquemáticas.
Los ejercicios, más que a desarrollar habilidades específicas, están destinados a
refrescar la memoria del lector o a llamar la atención sobre puntos interesantes
o delicados. Para una exposición más completa el lector puede consultar la
bibliografía, por ejemplo [2], [9] o [13].
12 Conceptos Básicos
1. Hace depender a los números reales del sistema decimal. Una buena defi-
nición debería ser independiente de la base en que se representen.
www.elsolucionario.net
2. Hay expresiones diferentes que corresponden al mismo número, por ejem-
plo 1,5 = 1,4999 . . .
Por esas razones en la segunda mitad del siglo XIX varios matemáticos (entre
ellos Cantor, Méray, Dedekind y Weierstrass) trabajaron para poner al núme-
ro real sobre bases más sólidas, proponiendo diversas formas de construirlos a
partir de los racionales. Entre los métodos propuestos se pueden mencionar las
cortaduras de Dedekind, los pares de clases contiguas, los pares de sucesiones
monótonas contiguas y las sucesiones de Cauchy.
Veamos brevemente el método de las cortaduras (para más detalles vea [8]).
Una cortadura es un par (I, S) de subconjuntos no vacíos del conjunto Q de los
números racionales, tales que
1. I ∪ S = Q, I ∩ S = ∅.
2. si x ∈ I y y ∈ S, entonces x < y.
www.elsolucionario.net
También se puede definir el producto y probar las leyes asociativa, conmu-
tativa y distributiva.
Lamentablemente para analizar en detalle cualquiera de las construcciones de
los números reales se requiere un tiempo del que generalmente no se dispone en
los cursos de cálculo. Además exige un esfuerzo que tal vez sólo se les puede pedir
a los estudiantes matemáticamente orientados. La alternativa más corriente hoy
en día consiste en introducir los números reales axiomáticamente. La ventaja
de este método, además de la rapidez, es que el estudiante dispone de entrada
de una lista de propiedades básicas de los números reales, que puede usar como
punto de partida para demostrar otras.
A8. Para todo a ∈ R \ {0} existe un a−1 ∈ R tal que a · a−1 = a−1 · a = 1.
www.elsolucionario.net
14 Conceptos Básicos
A9. 1 6= 0.
www.elsolucionario.net
La mayoría de estos axiomas corresponden a conocidas propiedades: A1 y
A2 son las propiedades asociativa y conmutativa de la suma, A3 dice que el 0
es neutro para la suma, A4 afirma la existencia de un opuesto aditivo para cada
a ∈ R, A5 y A6 son las propiedades asociativa y conmutativa para el producto,
A7 dice que 1 es neutro para el producto, A8 afirma la existencia de un inverso
multiplicativo para cada a 6= 0, A10 es la propiedad distributiva, A11 es la
transitividad de <, A12 es la tricotomía, A13 y A14 son la monotonía de <
respecto a la suma y el producto, y A15 es el axioma de completitud, también
llamado principio del supremo.
Los axiomas A1...A10 caracterizan la estructura algebraica llamada cuerpo.
A11 y A12 son los axiomas de una relación de orden. A13 y A14 relacionan
el orden con la estructura algebraica. Los axiomas A1...A14 caracterizan a los
llamados cuerpos ordenados. Si se pone el cuerpo Q de los números racionales
en lugar de R en los axiomas A1...A14, todos se satisfacen. El axioma A15 en
cambio es característico de los números reales, y enseguida lo trataremos con
mayor detenimiento.
El enfoque axiomático plantea varias preguntas importantes, entre las cuales
cabe destacar: (1) ¿Existe algún conjunto R con las propiedades especificadas
por los axiomas? (2) Admitiendo que exista, ¿es esencialmente único? (3) ¿Los
axiomas son consistentes?, es decir, ¿no podrá derivarse de ellos alguna contra-
dicción?
La respuesta a la primer pregunta es que, a partir del sistema de los números
naturales o de la teoría de conjuntos, se pueden construir modelos de R que
satisfacen todos los axiomas. Esto da una respuesta parcial a la tercera pregunta,
ya que reduce la consistencia del sistema de los números reales a la consistencia
de la aritmética, o de la teoría de conjuntos. Y decimos que la respuesta es
parcial porque estas dos últimas teorías no se sabe si son consistentes.
La respuesta a la segunda pregunta es que estos axiomas realmente caracte-
rizan a los números reales, en el sentido de que cualquier par de sistemas que los
satisfagan son isomorfos, tanto algebraicamente como desde el punto de vista
del orden.
www.elsolucionario.net
√ √ √
Ejercicio 2.1. Sea Q( 2) = {a + b 2 : a, b ∈ Q}. Pruebe que poniendo Q( 2)
en lugar de R en los axiomas A1...A14, todos ellos se satisfacen.
www.elsolucionario.net
inferior de A, y se denota ı́nf A.
16 Conceptos Básicos
www.elsolucionario.net
ya vimos que no es posible.
En el conjunto de los números reales R, el conjunto A debe tener un supremo
c > 0. Como ya sabemos que no puede ser c2 < 2 ni c2 √ > 2, la única posibilidad
que queda es c2 = 2, y ese es el número que llamamos 2.
[a, b] = {x ∈ R : a ≤ x ≤ b},
www.elsolucionario.net
(a, b] = {x ∈ R : a < x ≤ b}.
También 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 ◦ . Por ejemplo [a, b]◦ = [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
Ua (δ) = (a − δ, a + δ). Aunque el término entorno se utiliza a veces en un sentido
más 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 Ua∗ (δ) =
Ua (δ)\ {a} = (a− δ, a)∪(a, a+ δ), que se obtiene de Ua (δ) suprimiendo al propio
a. Análogamente, 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 sólo si −c es cota inferior de −A. (b) Pruebe
que c = sup A si y sólo si −c = ı́nf −A.
Ejercicio 2.5. Demuestre el Principio del ínfimo a partir del Principio del
supremo, y viceversa.
Ejercicio 2.6. Si A, B ⊂ R son acotados superiormente, entonces sup(A+B) =
sup A + sup B.
www.elsolucionario.net
18 Conceptos Básicos
2.2. Funciones
El concepto de función se fue clarificando durante el siglo XIX, a través de los
trabajos de Cauchy, Dirichlet, Fourier y Weierstrass, entre otros, hasta que en
su forma moderna y general (función como correspondencia arbitraria) aparece
explícitamente a comienzos del siglo XX en el Cours d’analyse mathématique de
Goursat.
Si A y B son dos conjuntos, se define el producto cartesiano A × B de ambos
como el conjunto de todos los pares ordenados (a, b) con a en A y b en B, es
decir
A × B = {(a, b) : a ∈ A, b ∈ B}.
A × A se abrevia A2 , y por inducción se definen A3 = A2 × A, A4 = A3 × A,. . . ,
An = An−1 × A.
Una relación de A en B es un subconjunto de A × B.
Las funciones son un tipo especial de relaciones. Más precisamente, una
www.elsolucionario.net
relación f de A en B es una función 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′ . Para indicar que f es una función de A en B se
utiliza la notación f : A → B. Al conjunto A se le llama dominio de la función
y a B codominio. Si (a, b) ∈ f entonces se escribe f (a) = b, y se dice que b es la
imagen de a por f . También se dice que a es una preimagen de b por f . Observe
que cada elemento a ∈ A tiene exactamente una imagen por f , mientras que un
elemento b ∈ B puede tener una, ninguna o muchas preimágenes por f .
Intuitivamente, una función de A en B no es más que una correspondencia
que a cada elemento a ∈ A le asocia un único elemento f (a) ∈ B. La definición
que hemos presentado no es más que el resultado de un largo esfuerzo por tratar
de formalizar el concepto intuitivo pero algo vago de correspondencia.
Al conjunto f (A) = {f (x) : x ∈ A} se le llama recorrido de f ; en general es
un subconjunto del codominio B. En el caso de que f (A) = B, se dice que f
es sobreyectiva, o simplemente sobre. Esto equivale a decir que para cada b ∈ B
existe algún a ∈ A tal que f (a) = b.
f : A → B es inyectiva o uno a uno si las imágenes de elementos diferentes
de A son diferentes, es decir si x 6= y implica f (x) 6= f (y).
Si f es tanto inyectiva como sobreyectiva entonces se dice que es biyectiva.
En este caso, el conjunto de pares ordenados {(b, a) ∈ B × A : (a, b) ∈ f } es
también una función, que se denomina inversa de f y se denota f −1 .
2.2 Funciones 19
www.elsolucionario.net
√
1 − x2
,
2x − 1
y se pide “hallar el dominio”. Estrictamente hablando esto no tiene mucho senti-
do, pues para que una función esté bien definida, se debe especificar cuáles son
su dominio y su codominio. En realidad lo que se pretende en estos casos es que
se halle el subconjunto más grande posible de R en el cual la expresión dada
permita definir una función. Por ejemplo la expresión anterior tiene sentido si
1 − x2 ≥ 0 y 2x − 1 6= 0, es decir si |x| ≤ 1 y x 6= 1/2. Por lo tanto se puede
definir una
√ función f con dominio [−1, 1/2) ∪ (1/2, 1] y codominio R mediante
f (x) = 1 − x2 /(2x − 1).
20 Conceptos Básicos
www.elsolucionario.net
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 máximo local, y a es un punto
máximo local.
Observe que una función puede tener varios máximos locales (también puede
tener sólo uno, o ninguno).
A los máximos locales algunos autores les llaman máximos relativos, y en-
tonces al máximo le llaman máximo absoluto.
De manera análoga se define el concepto de mínimo local. A los máximos y
mínimos locales se les llama extremos locales (o relativos).
2.3 Límites 21
2.3. Límites
El concepto de límite es la noción fundamental del cálculo, en su formulación
moderna. Sea f una función real definida en un entorno reducido de c ∈ R.
Informalmente se dice que el límite de f (x) cuando x tiende a c es L, y se
escribe lı́mx→c f (x) = L, cuando la diferencia entre f (x) y L puede hacerse tan
pequeña como se quiera, en valor absoluto, tomando x suficientemente próximo
a c. Más formalmente:
www.elsolucionario.net
Definición 2.4 (Límites con desigualdades).
Se dice que lı́mx→c 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 lı́mx→c f (x) no hace falta que f esté defi-
nida en c, sino tan solo en un entorno reducido de c.
Ejercicio 2.15. Sea k(x) = sen x1 para x 6= 0. Pruebe que no existe lı́mx→0 k(x).
22 Conceptos Básicos
www.elsolucionario.net
único entero tal que ⌊x⌋ ≤ x < ⌊x⌋ + 1. Estudie los límites laterales de f para
cada c ∈ R.
Ejercicio 2.18. Pruebe que lı́mx→c f (x) existe si y sólo si lı́mx→c+ f (x) y
lı́mx→c− f (x) existen y son iguales.
Ejercicio 2.19. Si f : (a, b) → R es monótona creciente, pruebe que existen
lı́mx→a+ f (x) (y es finito si f es acotada inferiormente) y lı́mx→b− f (x) (y es fini-
to si f es acotada superiormente). Un resultado análogo vale para las funciones
monótonas decrecientes.
La definición de límite lı́mx→c f (x) = L se puede extender al caso en que c,
L o ambos sean infinitos, 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
unión de intervalos (−∞, −H) ∪ (H, +∞) = {x : |x| > H}.
Por ejemplo lı́mx→c f (x) = +∞ si para cualquier intervalo (H, +∞) existe
un entorno reducido V ∗ de c tal que, si x ∈ V ∗ entonces f (x) ∈ (H, +∞).
Expresado con desigualdades esto equivale a:
lı́mx→c f (x) = +∞ si para cualquier H ∈ R existe un δ > 0 tal que, si
0 < |x − c| < δ, entonces f (x) > H.
Análogamente lı́mx→c f (x) = −∞ si dado cualquier H ∈ R existe δ > 0 tal
que, si 0 < |x − c| < δ, entonces f (x) < H, y lı́mx→c f (x) = ∞ (sin signo)
si dado cualquier H ∈ R existe δ > 0 tal que, si 0 < |x − c| < δ, entonces
|f (x)| > H. Observe que lı́mx→c f (x) = ∞ equivale a lı́mx→c |f (x)| = +∞.
Si f está definida en una semirecta (a, +∞), la definición de límite de f (x)
cuando x tiende a +∞ queda así: lı́mx→+∞ f (x) = L si dado cualquier ǫ > 0
existe H ∈ R tal que, si x > H, entonces |f (x) − L| < ǫ.
Ejercicio 2.20. Exprese mediante desigualdades las definiciones correspon-
dientes a lı́mx→−∞ f (x) = L, lı́mx→+∞ f (x) = +∞, lı́mx→+∞ f (x) = −∞,
lı́mx→−∞ f (x) = +∞, lı́mx→−∞ f (x) = −∞.
www.elsolucionario.net
2.3 Límites 23
www.elsolucionario.net
realizar con funciones, tales como suma, producto, composición, etc. Sin em-
bargo, hay algunos detalles que hay que tomar en cuenta para no incurrir en
errores.
f (x) K
lı́m = .
x→c g(x) L
Y si K > 0, entonces
lı́m f (x)g(x) = K L .
x→c
www.elsolucionario.net
24 Conceptos Básicos
www.elsolucionario.net
averiguar cuál es el caso hace falta un análisis más profundo.
Ejemplo 2.8. Si en R definimos f (x) = x, g1 (x) = −x, g2 (x) = −2x y g3 (x) =
−⌊x⌋, entonces lı́mx→+∞ f (x) = +∞ y lı́mx→+∞ g1 (x) = lı́mx→+∞ g2 (x) =
lı́mx→+∞ g3 (x) = −∞, y se tiene que
lı́mx→+∞ (f (x) + g1 (x) = 0,
lı́mx→+∞ (f (x) + g2 (x) = −∞,
mientras que lı́mx→+∞ (f (x) + g3 (x)) no existe.
Si lı́mx→c f (x) = +∞ y lı́mx→c g(x) es finito y positivo o +∞, entonces
lı́mx→c f (x)g(x) = +∞. Análogamente si lı́mx→c f (x) = −∞ y lı́mx→c g(x) es
finito y positivo o +∞, entonces lı́mx→c f (x)g(x) = −∞.
En general se puede decir que si el límite de una función es +∞ o −∞ y el
de la otra es +∞, −∞ o un real distinto de 0, entonces el límite del producto
es +∞ o −∞, y el signo se determina mediante la regla usual de los signos.
En cambio si lı́mx→c f (x) = +∞ y lı́mx→c g(x) = 0, no se puede afirmar
nada a priori sobre lı́mx→c f (x)g(x). Esto se expresa diciendo que ∞ · 0 es una
“forma indeterminada”, expresión para la cual valen los mismos comentarios que
hicimos para ∞ − ∞. Y como en el caso de la suma, aquí también puede ocurrir
que el límite del producto no exista, o que exista y sea finito, o que exista y sea
infinito, siendo necesario un análisis más 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 lı́mx→c f (x) = +∞ y lı́mx→c g(x) es finito y positi-
vo, entonces lı́mx→c f (x)/g(x) = +∞. Si en cambio lı́mx→c f (x) es finito y
lı́mx→c g(x) = ∞ (con o sin signo), entonces lı́mx→c f (x)/g(x) = 0.
Si tanto f como g tienen límites infinitos, o si ambas tienen límite 0, no se
puede afirmar nada a priori sobre lı́mx→c f (x)/g(x). Es decir que se tienen dos
“indeterminaciones” más: ∞/∞ y 0/0.
www.elsolucionario.net
2.3 Límites 25
Ejercicio 2.25. Proporcione ejemplos de la forma ∞/∞ y 0/0 para los cuales
el límite a) no exista, b) exista y sea finito, y c) exista y sea infinito.
www.elsolucionario.net
Figura 2.1: Límite de (sen x)/x.
Ejemplo 2.9. Para calcular lı́mx→0 sen x/x consideremos un círculo de centro
O y radio OA = 1. Sea B otro punto de la circunferencia. Si el ángulo ∠AOB se
⌢
mide en radianes, entonces su medida x es igual a la longitud del arco AB. El
segmento de perpendicular desde B al radio OA mide sen x, y el segmento AD
de la tangente a la circunferencia en A, comprendido entre A y la recta OB,
mide tg x. Como el triángulo OAB está contenido en el sector circular OAB
y éste en el triángulo OAD, comparando sus áreas se obtiene que (sen x)/2 <
x/2 < (tg x)/2, es decir sen x < x < tg x. Dividiendo entre sen x (suponiendo
www.elsolucionario.net
26 Conceptos Básicos
www.elsolucionario.net
lı́mx→c g(x) = +∞. Si 0 < lı́mx→c f (x) < 1 y lı́mx→c g(x) = +∞, entonces
lı́mx→c f (x)g(x) = 0.
En cambio no se puede afirmar nada a priori si lı́mx→c f (x) = 1 y lı́mx→c g(x)
= +∞. Esto se conoce como la “forma indeterminada” 1∞ . Un ejemplo impor-
tante es lı́mx→0 (1 + x)1/x = e.
Ejercicio 2.27. Proporcione ejemplos de la forms 1∞ en los cuales el límite a)
no exista, b) exista y sea finito, y c) exista y sea infinito.
Otro caso delicado se presenta cuando lı́mx→c f (x) = 0. Suponiendo que
f (x) ≥ 0 en un entorno reducido de 0 (de lo contrario f (x)g(x) podría no estar si-
quiera definido), si lı́mx→c g(x) = L > 0 entonces es claro que lı́mx→c f (x)g(x) =
0. Y si L < 0, entonces lı́mx→c f (x)g(x) = +∞. Pero si L = 0 aparece una nueva
“forma indeterminada” que se representa como 00 .
2.3.3. Asíntotas
Diremos que una recta r de ecuación y = mx + n es asíntota de la gráfica de
una función f , si la distancia del punto (x, f (x)) a r tiende a 0 cuando x tiende
a +∞ o a −∞. Para que esto ocurra, por ejemplo para x → +∞, debe ser
lı́mx→+∞ (f (x) − mx − n) = 0 y por lo tanto lı́mx→+∞ (f (x) − mx) = n. Además
lı́mx→+∞ f (x)/x = lı́mx→+∞ (f (x) − mx)/x + m = m. Por lo tanto para hallar
una asíntota para x → +∞ debemos calcular primero m = lı́mx→+∞ f (x)/x,
y si existe se calcula luego n = lı́mx→+∞ (f (x) − mx). Si este segundo límite
también existe, entonces y = mx + n es una asíntota.
Si existe lı́mx→+∞ f (x) = n entonces automáticamente lı́mx→+∞ f (x)/x =
0, y se tiene una asíntota horizontal y = n.
Si existe m = lı́mx→+∞ f (x)/x, pero no existe lı́mx→+∞ (f (x) − mx), se dice
que y = mx es una dirección asintótica.
De modo análogo se buscan asíntotas para x → −∞.
Una asíntota vertical es una recta x = a tal que lı́mx→a+ f (x) o lı́mx→a− f (x)
sea ∞ (con o sin signo).
www.elsolucionario.net
2.3 Límites 27
Ejemplo 2.10. Sea f (x) = x/(1 + e−x ) + x/(x − 1). Obviamente hay una
asíntota vertical x = 1. Como
f (x) 1 1
lı́m = lı́m −x
+ lı́m = 1 + 0 = 1,
x→+∞ x x→+∞ 1+e x→+∞ x−1
y
x x
lı́m (f (x) − x) = lı́m + −x
x→+∞ x→+∞ 1 + e−x x−1
−xe−x
x
= lı́m + = 0 + 1 = 1,
x→+∞ 1 + e−x x−1
f (x) 1 1
lı́m = lı́m + lı́m = 0 + 0 = 0,
www.elsolucionario.net
x→−∞ x x→−∞ 1 + e−x x→+∞ x − 1
y
x x
lı́m f (x) = lı́m −x
+ = 0 + 1 = 1,
x→−∞ x→−∞ 1+e x−1
por lo tanto se tiene una asíntota horizontal y = 1 para x → −∞.
28 Conceptos Básicos
www.elsolucionario.net
que lı́mx→a f (x) = L. Entonces para cualquier sucesión {xn } con valores en el
dominio de f , se cumple lı́mn→+∞ f (xn ) = L.
1 1 1 1
+ + + · · · n + · · · = 1,
2 4 8 2
Pn
ya que las sumas parciales son Xn = k=1 1/2k = 1 − (1/2)n+1 (suma de una
progresión geométrica) y lı́mn→∞ Xn = lı́mn→∞ (1 − (1/2)n+1 ) = 1 − 0 = 1.
2.4. Continuidad
Intuitivamente, una función es continua si su gráfica se puede dibujar sin
levantar el lápiz del papel. Sin embargo no fue fácil convertir esta noción vaga
en la definición precisa actual:
www.elsolucionario.net
2.4 Continuidad 29
www.elsolucionario.net
Si recordamos la definición de límites por entornos, la definición de continui-
dad se puede reformular así:
Ejercicio 2.30. Pruebe que las funciones f (x) = 1 y g(x) = x son continuas
en todo a ∈ R.
30 Conceptos Básicos
www.elsolucionario.net
cos(x)
f (x) = log(x4 + 5) − sen ex + √3
x2 + 1
es continua.
log(1 + x)
lı́m = 1.
x→0 x
ex − 1
lı́m = 1.
x→0 x
2.4 Continuidad 31
En otras palabras este teorema afirma que si una función continua toma valo-
res de signo opuesto en los extremos de un intervalo, entonces se anula en algún
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 vacío y acotado, existe c = sup A. usando el teorema
anterior es fácil ver que no puede ser f (c) < 0 (pues entonces habría puntos
de A mayores que c) ni f (c) > 0 (pues entonces habría cotas superiores de A
menores que c), por lo tanto f (c) = 0.
Otra demostración popular se basa en el llamado método de bisección. Sea
c = (a + b)/2. Si f (c) = 0 no hay más nada que hacer. Si f (c) > 0 pongamos
a1 = a y b1 = c; si en cambio f (c) < 0 pongamos a1 = c y b1 = b. En ambos
casos se verifica que f (a1 )f (b1 ) < 0. Sea ahora c1 = (a1 + b1 )/2. Si f (c1 ) = 0
www.elsolucionario.net
ya está. Si f (c1 ) > 0 pongamos a2 = a1 y b2 = c1 ; si en cambio f (c1 ) < 0
pongamos a2 = c1 y b2 = b1 , y se verifica que f (a2 )f (b2 ) < 0. Prosiguiendo de
esta manera, o encontramos un cero de f o se generan dos sucesiones monótonas
a ≤ a1 ≤ a2 ≤ · · · y b ≥ b1 ≥ b2 ≥ · · · tales que bn − an = (b − a)/2n .
Sean A = {an : n = 1, 2, . . .} y B = {bn : n = 1, 2, . . .}. Es claro que para
índices cualesquiera i, j se tiene ai ≤ bj , de donde se sigue que ai ≤ ı́nf B para
todo i y sup A ≤ ı́nf B. Pero como an ≤ sup A ≤ ı́nf B ≤ bn , se tiene que
0 ≤ ı́nf B − sup A ≤ bn − an = (b − a)/2n para todo n, de donde sup A = ı́nf B.
Sea c el valor común de sup A y ı́nf B.
Probaremos que f (c) = 0. En efecto, si fuese f (c) > 0, entonces por el
teorema anterior f sería positiva en todo un entorno (c − ǫ, c + ǫ), para cierto
ǫ > 0, y ese entorno no podría contener ningún an (ya que f (an ) < 0 por
construcción), contradiciendo el hecho de que c es el supremo de A. De manera
similar, si f (c) < 0 f sería negativa en todo un entorno (c − ǫ, c + ǫ), para
cierto ǫ > 0, y ese entorno no podría contener ningún bn (ya que f (bn ) > 0 por
construcción), contradiciendo el hecho de que c es el ínfimo 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 raíces de ecuaciones.
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
www.elsolucionario.net
32 Conceptos Básicos
lancha a las 4pm y regresa a las 6pm. Pruebe que en algún 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
más en general, si tiene la propiedad de Darboux) entonces f (I) es también un
intervalo.
Ejercicio 2.36. Sea f : I → R continua e inyectiva. Pruebe entonces que f es
estrictamente monótona, y que su inversa f −1 : f (I) → I también es continua.
Ejercicio 2.37. Podría pensarse que la Propiedad de Darboux caracteriza a las
funciones continuas. Pruebe que no es así, construyendo una función que tenga
dicha propiedad pero que no sea continua, al menos en un punto.
www.elsolucionario.net
¿Existirá alguna función f : [0, 1] → R con la propiedad de Darboux que no
sea continua en ningún punto?
Ejercicio 2.38. Sea f : I → R una función continua. Sean x1 , x2 , . . . , xn puntos
de I. Pruebe que existe un punto c ∈ I tal que
f (x1 ) + f (x2 ) + · · · + f (xn )
f (c) = .
n
Teorema 2.8.
Si f : [a, b] → R es continua entonces es acotada.
Demostración. Sea A = {x ∈ [a, b] : f ([a, x]) es acotado}. Como a ∈ A, A no
es vacío, y está acotado superiormente por b. Entonces existe c = sup A. Por la
continuidad de f existe un δ > 0 tal que |f (x) − f (c)| < 1 si |x − c| < δ. Por la
proiedad del supremo debe existir x ∈ (c−δ, c]∩A. Como f está acotada en [a, x]
y también en [x, c+δ)∩[a, b], se sigue que está acotada en [a, c+δ)∩[a, b]. Si fuese
c < b entonces f estaría acotada en un intervalo [a, d] con d > c, contradiciendo
la definición de c. Por lo tanto c = b f está acotada en [a, b].
Una consecuencia importante de este resultado es el siguiente:
Teorema 2.9 (Weierstrass).
Si f : [a, b] → R es continua entonces tiene máximo y mínimo en [a, b].
Demostración. Como f ([a, b]) es acotado, existen M = sup f ([a, b]) y m =
ı́nf f ([a, b]). Hay que probar que f efectivamente toma los valores M y m. Su-
pongamos por absurdo que f (x) 6= M para todo x ∈ [a, b]. Entonces la función
g(x) = 1/(M − f (x)) sería continua en [a, b], pero obviamente no acotada, con-
tradiciendo el teorema anterior. Análogamente se llega a una contradicción si se
supone que f (x) 6= m para todo x ∈ [a, b].
Finalmente enunciaremos sin demostración el siguiente teorema:
www.elsolucionario.net
2.5 Derivadas 33
2.5. Derivadas
Definición 2.7. Sea f una función definida en un intervalo abierto que contenga
al número real a. Si existe
f (x) − f (a)
lı́m
x→a x−a
y es finito, se dice que f es derivable en a; al valor del límite se le llama derivada
www.elsolucionario.net
de f en a y se denota f ′ (a). Si el límite es infinito se dice que f tiene derivada
infinita en a.
Efectuando el cambio de variable h = x − a, la derivada puede definirse en
forma equivalente como
f (a + h) − f (a)
f ′ (a) = lı́m .
h→0 h
Si f es derivable en cada punto de su dominio, entonces se dice simplemente
que f es derivable, y a la función f ′ que a cada x le hace corresponder el valor
f ′ (x) se le llama función derivada de f .
Es inmediato que si f es derivable en a entonces también es continua en a,
ya que
f (x) − f (a)
lı́m (f (x) − f (a)) = lı́m (x − a)
x→a x→a x−a
f (x) − f (a)
= lı́m (x − a) lı́m = 0 · f ′ (a) = 0.
x→a x→a x−a
Ejemplo 2.14. a) Sea φ una función constante. Entonces
φ(x + h) − φ(x)
φ′ (x) = lı́m = lı́m 0 = 0.
h→0 h h→0
f (x + h) − f (x) x+h−x
f ′ (x) = lı́m = lı́m = lı́m 1 = 1.
h→0 h h→0 h h→0
(x + h)2 − x2 2hx − h2
g ′ (x) = lı́m = lı́m = lı́m (2x − h) = 2x.
h→0 h h→0 h h→0
www.elsolucionario.net
34 Conceptos Básicos
ex+h − ex eh − 1
k ′ (x) = lı́m = lı́m ex = ex .
h→0 h h→0 h
e) Sea h(x) = sen x. Como sen(x + h) = sen x cos h + sen h cos x se tiene
sen h 1 − cos h
h′ (x) = lı́m cos x − lı́m sen x = 1 · cos x − 0 · sen x = cos x.
h→0 h h→0 h
Ejercicio
√ 2.39. Calcular, a partir de la definición, las funciones derivadas de
1/x, x, cos(x) y log(x).
www.elsolucionario.net
2.5.1. Derivadas laterales
Si f está definida en [a, b) y existe
f (x) − f (a)
lı́m ,
x→a+ x−a
al valor del límite se le llama derivada por la derecha de f en a y se denota
f ′ (a+ ). Análogamente se define la derivada por la izquierda. Es claro que f es
derivable en a si y sólo si existen ambas derivadas laterales y son iguales.
Ejemplo 2.15. Sea f (x) = |x|. Entonces lı́mx→0+ f (x)/x = lı́mx→0+ x/x = 1
y lı́mx→0− f (x)/x = lı́mx→0− (−x)/x = −1.
2.5 Derivadas 35
www.elsolucionario.net
p
es x2 + (y − 1/2)2 = y + 1/2. Elevando al cuadrado nos queda
1 1
x2 + (y − )2 = (y + )2 ,
2 2
y luego de desarrollar los cuadrados y simplificar queda x2 = 2y, o y = x2 /2.
Por lo tanto y ′ = x y la ecuación de la tangente en P = (a, a2 /2) es
a2 a2
y= + a(x − a) = ax − .
2 2
Ahora bien, si α es el ángulo que forma la recta F P con el eje Ox, entonces
tg α = (a2 /2 − 1/2)/a = a/2 − 1/(2a), y si β es el ángulo que forma la tangente
con el eje Ox, entonces tg β = a. Por lo tanto
a 1
tg(β) − tg(α) 2 + 2a
tg(∠M P N ) = tg(β − α) = = 1 a2
1 + tg(β) tg(α) 2 + 2
a + a1 1 π
= = = tg( − β) = tg(∠N P Q),
1 + a2 a 2
y entonces ∠M P N = ∠N P Q.
De aquí se deduce la conocida propiedad de los espejos parabólicos: los rayos
paralelos al eje, una vez reflejados pasan por el foco. Según Plutarco, Arquímedes
utilizó esta propiedad para defender a Siracusa, su ciudad natal, de los romanos:
hizo construir grandes espejos en forma de paraboloides de revolución, capaces
de concentrar los rayos solares sobre las naves enemigas hasta quemarlas.
36 Conceptos Básicos
www.elsolucionario.net
Figura 2.3: Tangentes a la parábola
2.5 Derivadas 37
(f g)(a + h) − (f g)(a)
lı́m
x→0 h
f (a + h) − f (a) g(a + h) − g(a)
= lı́m lı́m g(a + h) + f (a) lı́m
x→0 h x→0 x→0 h
www.elsolucionario.net
= f ′ (a)g(a) + f (a)g ′ (a).
Las dos primeras propiedades nos dicen que la derivación es una operación
lineal. De ellas se deduce, por inducción, que si f1 , f2 ,. . . ,fn son funciones de-
rivables en a y k1 , k2 ,. . . ,kn son constantes, entonces
Ejemplo 2.17. Como (sen x)′ = cos x y (cos x)′ = − sen x, entonces
sen x ′ (sen x)′ cos x − sen x(cos x)′
(tg x)′ = =
cos x cos2 x
2 2
cos x + sen x 1
= = = sec2 x = tg2 x + 1.
cos2 x cos2 x
38 Conceptos Básicos
www.elsolucionario.net
Si f es una función continua en el intervalo [a, b] y derivable en (a, b), entonces
existe un c ∈ (a, b) tal que
f (b) − f (a)
= f ′ (c).
b−a
Demostración. En términos geométricos este teorema afirma que para algún
c ∈ (a, b), la tangente a la gráfica 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))/(b − a) es la pendiente de la recta secante y f ′ (c) es la pendiente de
la recta tangente, por lo tanto el teorema afirma la igualdad de esas pendientes,
que es equivalente al paralelismo de ambas rectas. Aunque el teorema de Rolle
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 función auxiliar
Como g(a) = g(b) = 0, por el teorema de Rolle g ′ (c) = 0 para algún c ∈ (a, b).
Pero g ′ (x) = (b−a)f ′ (x)−(f (b)−f (a)), por lo tanto (b−a)f ′ (c)−(f (b)−f (a)) =
0, y f ′ (c) = (f (b) − f (a))/(b − a).
www.elsolucionario.net
habrá tenido que superar los 120 km/h.
Demostración. Por el teorema del valor medio, para cada h existe algún ξ(h)
comprendido entre g(a) y g(a + h) tal que
por lo tanto
Ejemplo 2.19. Como (sen x)′ = cos x y (x2 +1)′ = 2x, por la regla de la cadena
se tiene que (sen(x2 + 1))′ = 2x cos(x2 + 1).
Ejercicio 2.41. ¿Es válido probar la regla de la cadena tomando límites cuando
h → 0 a ambos lados de la igualdad
40 Conceptos Básicos
www.elsolucionario.net
Por lo tanto existe (f −1 )′ (f (c)) y es igual a 1/f ′ (c).
1 1
(arc tg x)′ = = .
1 + tg2 (arc tg x) 1 + x2
se tiene
1 1 1
(argsh x)′ = =p = √ .
ch(argsh x) 1 + (sh(argsh x))2 1 + x2
2.5 Derivadas 41
www.elsolucionario.net
(b) Si las derivadas f ′ y g ′ existen y no se anulan ni se hacen infinitas simultá-
neamente en un entorno reducido de a y existe lı́mx→a f ′ (x)/g ′ (x), entonces
también existe lı́mx→a f (x)/g(x) y se cumple
f (x) f ′ (x)
lı́m = lı́m ′ .
x→a g(x) x→a g (x)
Demostración. (a)
f (x) (f (x) − f (a))/(x − a) f ′ (a)
lı́m = lı́m = ′ .
x→a g(x) x→a (g(x) − g(a)/(x − a) g (a)
(b) Por el teorema de Cauchy aplicado al intervalo (a, x) se tiene
f (x) f (x) − f (a) f ′ (c)
= = ′
g(x) g(x) − g(a) g (c)
para algún c entre a y x, y como c → a cuando x → a y lı́mx→a f ′ (x)/g ′ (x)
existe, entonces también existe lı́mx→a f (x)/g(x) y son iguales.
Esta regla deriva su nombre de Guillaume François Antoine, Marqués de
L’Hôpital (1661–1704), quien es considerado como el autor del primer libro de
texto de Cálculo. Allí publicó la regla que lleva su nombre, aunque en reali-
dad parece que la misma fue hallada por Johann Bernoulli, a quién L’Hôpital
contrató para que le enseñara el Cálculo.
Ejemplo 2.21. Un ejemplo clásico de aplicación de esta regla es
sen x cos x
lı́m = lı́m = 1.
x→0 x x→0 1
Pero en realidad no es un ejemplo muy afortunado, ya que para probar que
(sen x)′ = cos x hay que usar el hecho de que lı́mx→0 (sen x)/x = 1, cayendo en
un razonamiento circular. Por eso es necesaria una prueba de este último límite
que sea independiente de la regla de L’Hôpital, como se hizo en el ejemplo 2.9.
www.elsolucionario.net
42 Conceptos Básicos
Ejemplo 2.22.
2
1 − (1 + tg2 x)
x − tg x 1 tg x 1
lı́m 3
= lı́m = lı́m − =− .
x→0 x x→0 3x2 x→0 3 x 3
La regla de L’Hôpital se suele aplicar dos o más veces en forma consecutiva:
x − sen x 1 − cos x sen x 1
lı́m = lı́m = lı́m = .
x→0 x3 x→0 3x2 x→0 6x 6
La regla de L’Hôpital se puede aplicar también a límites infinitos. Las pruebas
se dejan como ejercicio.
Ejercicio 2.42. Si lı́mx→∞ f (x) = lı́mx→∞ g(x) = 0 y lı́mx→∞ f ′ (x)/g ′ (x)
existe, entonces también existe lı́mx→∞ f (x)/g(x) y es igual. Valen resultados
análogos si x tiende a +∞ o −∞.
Ejercicio 2.43. Si lı́mx→a f (x) = lı́mx→a g(x) = ∞, g no se anula en un
www.elsolucionario.net
entorno reducido de a, y existe lı́mx→a f ′ (x)/g ′ (x), entonces también existe
lı́mx→a f (x)/g(x) y es igual. También vale si a es infinito.
Al tratar de aplicar la regla de L’Hôpital puede suceder que lı́m f ′ (x)/g ′ (x)
no exista. En ese caso no se debe concluir apresuradamente que lı́m f (x)/g(x)
tampoco existe, Por ejemplo,
x2 sen x1 x 1
lı́m = lı́m (x sen ) = 1 · 0 = 0.
x→0 sen x x→0 sen x x
Pero si se intenta aplicar L’Hôpital derivando numerador y denominador queda
(x2 sen x1 )′ 2x sen x1 − cos x1
lı́m ′
= lı́m
x→0 (sen x) x→0 cos x
que no existe, por no existir lı́mx→0 cos(1/x).
www.elsolucionario.net
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 sólo si f es constante.
Demostración. Ya vimos que una función constante tiene derivada nula. Recí-
procamente, si f ′ (x) = 0 para todo x ∈ I ◦ y f no fuese constante, entonces
existirían reales a < b tales que f (a) 6= f (b), y por el teorema del valor medio
para algún punto c entre a y b se tendría f ′ (c) = (f (b) − f (a))/(b − a) 6= 0, lo
cual es absurdo.
Definición 2.8. Una función F es primitiva de otra f , si F es derivable y
F′ = f.
Teorema 2.18. Si F es una primitiva de f , entonces G también lo es si y sólo
si G − F es constante.
www.elsolucionario.net
Demostración. Si F es primitiva de f y G − F = C (constante) entonces G′ =
(F + C)′ = F ′ = f , y G es también primitiva de f . Recíprocamente, si tanto F
como G son primitivas de f , entonces (G − F )′ = G′ − F ′ = f − f = 0, y por el
corolario anterior G − F es constante.
Este teorema nos muestra que para conocer todas las primitivas de una fun-
ción f , es suficiente conocer una cualquiera de ellas, digamos F . Todas las demás
son de la forma F + C, donde C ∈ R es una constante arbitraria.
Ejemplo 2.23. x2 es una primitiva de 2x, ya que (x2 )′ = 2x. Entonces las
primitivas de 2x son todas las funciones de la forma x2 + C, donde C es una
constante arbitraria.
Ejercicio 2.44. Halle una primitiva de 3x2 − 5 que en 2 tome el valor 7.
44 Conceptos Básicos
www.elsolucionario.net
o sin signo) se dice que es un infinito. Estas definiciones se aplican también,
mutatis mutandis, sustituyendo a por ∞ con o sin signo, a+ o a− .
2
Ejemplo 2.24. x, sen x, 1 − cos x, log(1 + x), ex − 1 y e−1/x son infinitésimos
cuando x tiende √ a 0.
√
1/x, e−1/x y x + 1 − x son infinitésimos cuando x → +∞.
tg x es un infinito para x → π/2.
x, log x, ex son infinitos para x → +∞.
√
1/ x es un infinito para x → 0+ .
2.5 Derivadas 45
www.elsolucionario.net
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.
Demostración. Aplicando n − 1 veces consecutivas la regla de L’Hôpital y luego
la definición de derivada, resulta
f (x) f ′ (x) f ′′ (x)
lı́m = lı́m = lı́m = ···
x→a (x − a)n x→a n(x − a)n−1 x→a n(n − 1)(x − a)n−2
46 Conceptos Básicos
Rn;f ;a (x) se ha definido para que se cumpla. Pero si se logra identificar alguna
propiedad interesante de Rn;f ;a (x) entonces se tiene una forma del Teorema de
Taylor. Aquí sólo 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) = Tn;f ;a (x) + o((x − a)n ).
Demostración. Puesto que
n
(j)
X (x − a)k−j
Tn;f ;a (x) = f (k) (a)
(k − j)!
k=j
(j)
resulta que Tn;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) − Tn;f ;a (x).
Este teorema equivale a afirmar que Rn;f ;a (x) = o((x − a)n ), y a esto se le
www.elsolucionario.net
llama forma infinitesimal del término complementario.
Es fácil ver que Tn;f ;a (x) es el único polinomio de grado ≤ n tal que f (x) −
Tn;f ;a (x) = o((x − a)n ), en otras palabras es el que mejor aproxima localmente
a f cerca de a. En particular, T1;f ;a (x) = f (a) + f ′ (a)(x − a) es la mejor
aproximación lineal a f cerca de a. La gráfica de T2;f ;a (x) es una parábola,
que se conoce como parábola osculadora u osculatriz de f en a.
Ejemplo 2.26. Sea f (x) = cos x. Como f (0) = cos 0 = 1, f ′ (0) = − sen 0 = 0,
f ′′ (0) = − cos 0 = −1, f ′′′ (0) = sen 0 = 0, f IV (0) = cos 0 = 1, f (5) (0) =
− sen 0 = 0, resulta
x2 x4
cos x = 1 − + + o(x5 )
2! 4!
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 (n+1) (c)
f (x) = Tn;f ;a (x) + (x − a)n+1 .
(n + 1)!
Demostración. Para a y x fijos sea R = Rn;f ;a (x) y definamos
(x − t)2 ′′ (x − t)n (n) (x − t)n+1
F (t) = f (t) + (x − t)f ′ (t) + f (t) + · · · + f (t) + R.
2! n! (x − a)n+1
Derivando respecto a t resulta
(x − t)2 ′′′
F ′ (t) = f ′ (t) − f ′ (t) + (x − t)f ′′ (t) − (x − t)f ′′ (t) + f (t) − · · ·
2!
(x − t)n−1 (n) (x − t)n (n+1) (x − t)n
− f (t) + f (t) − (n + 1) R
(n − 1)! n! (x − a)n+1
(x − t)n (n+1) (x − t)n
= f (t) − (n + 1) R.
n! (x − a)n+1
www.elsolucionario.net
2.5 Derivadas 47
Pero observemos que F (a) = F (x) = f (x), entonces por el teorema del valor
medio F ′ (c) = 0 para algún c entre a y x, es decir que
(x − c)n (n+1) (x − c)n
0= f (c) − (n + 1) R
n! (x − a)n+1
y finalmente
(x − a)n+1 (n+1)
R= f (c).
(n + 1)!
www.elsolucionario.net
X
f (a) = f (a) + (x − a)f ′ (a) + f (a) + · · ·
k! 2!
k=0
∞
X xn x x2 x3
ex = =1+ + + + ··· para todo x ∈ R
n=0
n! 1! 2! 3!
∞
X (−1)n n x2 x3 x4
log(1 + x) = − x =x− + − + ··· para |x| < 1
n=1
n 2 3 4
∞
X (−1)n x x3 x5
sen x = x2n+1 = − + − ··· para todo x ∈ R
n=0
(2n + 1)! 1! 3! 5!
∞
X (−1)n 2n x2 x4
cos x = x =1− + − ··· para todo x ∈ R
n=0
(2n)! 2! 4!
∞
X (−1)n 2n+1 x3 x5
arc tg x = x =x− + − ··· para |x| ≤ 1
n=0
2n + 1 3 5
www.elsolucionario.net
48 Conceptos Básicos
www.elsolucionario.net
2
y en general es claro que f (n) (x) = Pn (1/x)e−1/x , donde Pn es un polinomio.
Pero con el cambio de variable u = 1/x2 se ve que, para cualquier natural m,
2
e−1/x um
lı́m = lı́m = 0,
x→0 x2m u→+∞ eu
2 2
y también lı́mx→0 e−1/x /x2m−1 = lı́mx→0 xe−1/x /x2m = 0, por lo tanto
2
lı́m Pn (1/x)e−1/x = 0.
x→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.
www.elsolucionario.net
Figura 2.5: Función convexa
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 sólo si para puntos x, u, y cualesquie-
ra en I tales que x < u < y, se cumple alguna de las desigualdades equivalentes
siguientes
50 Conceptos Básicos
www.elsolucionario.net
entonces por el teorema del valor medio existen c ∈ (x, u) y d ∈ (u, y) tales que
(f (u) − f (x))/(u − x) = f ′ (c) y (f (y) − f (u))/(y − u) = f ′ (d), por lo tanto
www.elsolucionario.net
Observe que en un punto de inflexión la curva es atravesada por la recta
tangente.
La demostración es inmediata.
Observemos que si f admite derivada segunda continua y c es un punto de
inflexión, como f ′′ debe tener signos diferentes a uno y otro lado de c, debe ser
f ′′ (c) = 0. Pero esta condición no es suficiente, por ejemplo para f (x) = x4 se
tiene f ′′ (0) = 0, pero 0 no es punto de inflexión ya que f ′′ (x) = 12x2 es positiva
tanto para x < 0 como para x > 0.
A′ (x) = f (x),
52 Conceptos Básicos
y = f(x)
D
K(x,v)
H(x+h,v)
A(x)
a x x+h b
Figura 2.7: Teorema Fundamental del Cálculo
www.elsolucionario.net
Como el área es aditiva, el área de la región 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 rectángulo de vértices (x, 0), (x+h, 0), K = (x, v) y H = (x+h, v)
tenga igual área que la región 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 límites cuando h → 0 resulta, por el teorema del sándwich,
A′ (x) = f (x).
Este teorema también es válido 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 gráfica de f , el eje Ox y las rectas verticales de abscisas a y b
es F (b) − F (a).
Demostración. Si F es una primitiva de f , como por el teorema 2.25 z(x) tam-
bién 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), teólogo y matemático
inglés que tuvo a Newton como discípulo. Nos muestra que para calcular el área
bajo la gráfica de una función f es suficiente conocer una de sus primitivas.
Aunque el cálculo de primitivas es uno de los problemas que trata el Cálculo
integral, sin necesidad de conocer sus técnicas, si uno encuentra por cualquier
método (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 parábola y = x2 , el eje Ox y
las rectas x = 1 y x = 2.
Solución: Como (x3 /3)′ = x2 , por la regla de Barrow el área pedida es 23 /3 −
13 /3 = 5/3.
www.elsolucionario.net
www.elsolucionario.net
Figura 2.8: Área de una región
54 Conceptos Básicos
www.elsolucionario.net
cambio de variable x = a sen t, 0 ≤ t ≤ π/2, entonces
d
A(a sen t) = A′ (a sen t)a cos t = f (a sen t)a cos t
dt
p ab
= ab 1 − sen2 t cos t = ab cos2 t = (1 − cos(2t)),
2
por lo tanto
ab sen(2t)
A(a sen t) =(t − ) + C,
2 2
donde C es constante. Evaluando en t = 0 se tiene 0 = A(0) = C, y entonces
π ab π sen(π) πab
A(a) = A(a sen )= ( − )= ,
2 2 2 2 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 x2 + y 2 = a2 por la transformación T : R2 → R2 definida
como T (x, y) = (x, by/a). Esta transformación es una contracción (suponiendo
b < a) en la dirección Oy, por un factor b/a. Los rectángulos de lados paralelos
a los ejes se transforman por T en rectángulos 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 πa2 puede aproximarse tanto como se desee mediante
rectángulos, sus transformados por T aproximan el área de la elipse, que por lo
tanto será πa2 (b/a) = πab.
www.elsolucionario.net
Capítulo 3
Máximos y mínimos
www.elsolucionario.net
En este capítulo se aplican las herramientas básicas del cálculo 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 pérdidas o los riesgos. Incluso las
leyes naturales se expresan muchas veces en términos de máximos y mínimos.
(1 + x)a ≥ 1 + ax,
56 Máximos y mínimos
Ejercicio 3.2. Si f : [a, b] → R es continua y estrictamente creciente y
derivable en (a, b), ¿puede afirmarse que f ′ (x) > 0 para todo x ∈ (a, b)?
Si se puede descomponer el dominio de una función en intervalos tales que,
en cada uno de ellos, la función sea creciente o decreciente, se logra una buena
comprensión del comportamiento de la función. Sin embargo esto no siempre es
posible. Por ejemplo la función
(
x2 sen(1/x) si x 6= 0,
f (x) =
0 si x = 0,
www.elsolucionario.net
3.2. Extremos locales
Hay varios métodos para hallar los extremos locales de una función. El pri-
mero se basa en una observación trivial:
www.elsolucionario.net
3.3. Extremos globales
Si f : [a, b] → R es continua, el teorema de Weierstrass 2.9 nos asegura
la existencia del máximo y del mínimo (globales o absolutos), pero no nos da
ninguna clave sobre cómo hallarlos. Si f es derivable en (a, b), excepto quizá en
un número finito de puntos, y tiene un número finito de puntos críticos (es decir
puntos c ∈ (a, b) tales que f ′ (c) = 0), entonces podemos hallarlos de la siguiente
manera:
Se calculan los valores de f en los extremos del intervalo a y b, en
cada uno de los puntos críticos y en los puntos en los que no existe
la derivada. El mayor de todos esos valores es el máximo de f , y el
menor es el mínimo.
La justificación de este método es sencilla: si el máximo se alcanza en un
punto de c ∈ (a, b) en el cual exista f ′ (c), entonces por el lema 2.1 debe ser
f ′ (c) = 0, es decir que c es un punto crítico. De lo contrario, el máximo se
alcanza en un extremo del intervalo o en un punto interior en el cual no exista
la derivada. De modo que si examinamos los valores que toma f en cada uno de
esos puntos es seguro que no se nos escapará el máximo. Lo mismo se aplica al
mínimo.
Ejemplo 3.4. Consideremos la función f (x) = x3 +3x2 −24x+7 en el intervalo
[−6, 6]. Como esta función es derivable sólo hace falta considerar los puntos
críticos (−4 y 2) y los extremos del intervalo (−6 y 6). Se tiene f (−4) = 87,
f (2) = −21, f (−6) = 43 y f (6) = 187. Por lo tanto el mínimo es −21 y se
alcanza en 2, y el máximo es 187 y se alcanza en 6.
p p
Ejemplo 3.5. Sea f (x) = 5 |x − 1|+4 |x − 9| en el intervalo [0, 10]. Entonces
√ √
5√1 − x + 4√9 − x si 0 ≤ x ≤ 1,
f (x) = 5 x − 1 + 4 9 − x si 1 ≤ x ≤ 9,
√
√
5 x − 1 + 4 x − 9 si 9 ≤ x ≤ 10,
www.elsolucionario.net
58 Máximos y mínimos
y √ √
−5/ 1 − x − 4/ 9 − x si 0 < x < 1,
√ √
f ′ (x) = 5/ x − 1 − 4/ 9 − x si 1 < x < 9,
√
√
5/ x − 1 + 4/ x − 9 si 9 < x < 10.
La derivada no existe en 1 ni en 9. Es claro que en los intervalos
√ (0, 1) √y (9, 10) no
hay puntos críticos, mientras que en (1, 9), resolviendo 5/ x − 1−4/ 9 − x = 0
se tiene 25(9 − x) = 16(x − 1) y x √ = 241/41 es el único punto
√ crítico. Como
fp(0) = 17, f (10)
p = 19, f (1) p= 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 mínimo es
f (1) = 4 8 y el máximo f (10) = 19.
El siguiente problema a considerar lo plantean las funciones definidas en
dominios no cerrados o no acotados. En este caso aunque la función sea continua
puede ser que no sea acotada, y aún siéndolo puede ser que no tenga máximo,
o mínimo, o ninguno de los dos. Veamos algunos ejemplos.
www.elsolucionario.net
Ejemplo 3.6. La función f (x) = tg x en el intervalo (−π/2, π/2) no tiene
máximo ni mínimo, ya que lı́mx→π/2 tg x = +∞ y lı́mx→−π/2 tg x = −∞.
Ejemplo 3.7. La función g(x) = x + 1/x en el intervalo (0, 2) no tiene máximo,
pues lı́mx→0+ g(x) = +∞, pero en cambio tiene mínimo. En efecto, g ′ (x) =
1 − 1/x2 es negativa en (0, 1) y positiva en (1, 2), por lo tanto g es monótona
decreciente en (0, 1) y monótona creciente en (1, 2), de donde se sigue que en 1
hay no sólo un mínimo local sino absoluto.
Ejemplo 3.8. La función f (x) = arc tg x en todo R está acotada entre −π/2 y
π/2), pero no tiene máximo ni mínimo.
Sin embargo en algunos casos puede afirmarse 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
máximo (resp. mínimo).
Demostración. Consideremos el primer caso. En el intervalo [−K, K] la función
f tiene máximo M . Si x 6∈ [−K, K] entonces |x| > K, y f (x) ≤ f (a) ≤ M . Por
lo tanto el máximo de f en [−K, K] lo es en realidad en todo R.
Corolario 3.1. Si lı́mx→∞ f (x) = L y para algún a ∈ R se tiene f (a) ≥ L
(f (a) ≤ L), entonces f tiene máximo (resp. mínimo).
www.elsolucionario.net
1002 π 4002
100π 2500
f = + = .
π+4 4(π + 4)2 16(π + 4)2 π+4
Como
2500 2500
< 625 <
π+4 π
se concluye que el mínimo es 2500/(π + 4) y el máximo 2500/π. Para obtener un
área total mínima el alambre debe cortarse en trozos de longitud 100π/(π + 4)
cm y 400/(π +4) cm. Para obtener un área total máxima debe cortarse en trozos
de 100 cm y 0 cm, es decir que no debe cortarse sino usarlo todo para formar
una circunferencia.
Ejemplo 3.11. Un pasillo de 180 cm de ancho se une en ángulo recto con otro
de 120 cm de ancho. ¿Cuál es la longitud máxima que puede tener una barra
para poder pasar horizontalmente de un pasillo al otro?
Solución: denotemos el ancho de los pasillos mediante a y b y consideremos una
barra atravesada como en la Figura 3.1. Su longitud es
a b
f (ϕ) = + .
sen ϕ cos ϕ
El mínimo de esta función en (0, π/2) nos dará la longitud máxima que pue-
de tener una barra para pasar por el codo. Como f es continua en (0, π/2)
y lı́mx→0+ f (ϕ) = lı́mx→π/2− f (ϕ) = +∞, debe tener mínimo absoluto y se
alcanza en un punto crítico de f . Ahora bien, la derivada
a cos ϕ b sen ϕ −a cos3 ϕ + b sen3 ϕ
f ′ (ϕ) = − 2
+ 2
=
sen ϕ cos ϕ sen2 ϕ cos2 ϕ
se anula únicamente cuando −a cos3 ϕ + bp sen3 ϕ = 0, es decir tg3 ϕ = a/b, lo
cual da el único punto crítico ϕ1 = arc tg( a/b).
3
www.elsolucionario.net
60 Máximos y mínimos
www.elsolucionario.net
El máximo buscado es
a b
q q
f (ϕ1 ) = + = a 1 + ctg2 ϕ1 + b 1 + tg2 ϕ1
sen ϕ1 cos ϕ1
q q
2 2 2 2 2 2 2 2 3
= a 3 a +b +b
3 3 3 b 3 + a 3 = (a 3 + b 3 ) 2 ,
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 tamaño aparente? (En otras
palabras, ¿para qué puntos C en el eje Ox el ángulo α = ∠ACB toma su mayor
valor?)
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 mínima la suma AP +P B? Este problema tiene una solución
www.elsolucionario.net
Figura 3.3: Problema de Heron
x x−b
f ′ (x) = √ +p .
x2 + a2 (x − b)2 + c2
Es claro que f (x) < 0 si x < 0 y f (x) > 0 si x > 0. Por lo tanto el punto mínimo
debe pertenecer al intervalo [0, b]. Para hallarlo hay que resolver la ecuación
x b−x
√ = p ,
2
x +a 2 (x − b)2 + c2
62 Máximos y mínimos
c2 x2 = a2 (x − b)2 .
www.elsolucionario.net
forma con ella igual ángulo que el rayo reflejado. De aquí concluyó que la luz
sigue el camino más corto, lo cual es cierto sólo en medios homogéneos.
a2 c2
f ′′ (x) = + > 0.
v1 (x2 + a2 )3/2 ((x − b)2 + c2 )3/2
www.elsolucionario.net
www.elsolucionario.net
√
Por lo tanto f ′ es
√ estrictamente creciente, y como f ′ (0) = −b/(v2 b2 + c2 ) < 0
y f ′ (b) = b/(v1 b2 + a2 ) > 0, f ′ se anula exactamente una vez entre 0 y b,
y en ese punto alcanza su mínimo. Para hallar P hay que resolver entonces la
ecuación
x b−x
√ = p , (3.1)
v1 x2 + a2 v2 (x − b)2 + c2
que se reduce a una ecuación de cuarto grado, y se puede resolver por métodos
numéricos.
Es interesante observar que, si llamamos i y r a los ángulos que forman AP
y P B con la normal a s por P , entonces la ecuación 3.1 equivale a
sen i sen r
= .
v1 v2
n1 sen i = n2 sen r,
64 Máximos y mínimos
www.elsolucionario.net
solución 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 superficie total mínima.
Solución: Si los lados del prisma son x, y, z entonces hay que minimizar S(x, y, z)
= 2(xy + yz + zx), con la condición 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 suficiente conocer la desigualdad aritmético-geométrica
(si no la recuerda vea el Teorema 4.4, pág. 91). En efecto,
p
xy + yz + zx ≥ 3 3 (xyz)2 = 3,
Capítulo 4
Aplicaciones matemáticas
www.elsolucionario.net
En este capítulo se ilustran varias aplicaciones del cálculo diferencial a di-
versas cuestiones matemáticas.
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);
66 Aplicaciones matemáticas
2E-14
1,5E-14
1,2E-14
1E-14
8E-15
5E-15
www.elsolucionario.net
4E-15 0
-1,004 -1,002 -1 -0,998 -0,996
x
-5E-15
0
-1,004 -1,002 -1 -0,998 -0,996
x
Dominio
Si el dominio no se da explícitamente, será necesario determinar el mayor
subconjunto de R en el cual la definición de la función tenga sentido. Hay que
tener especial cuidado con los valores de la variable que hagan nulo un deno-
minador, negativo el argumento de una raíz cuadrada o menor o igual que 0
el argumento de un logaritmo. También varias funciones trigonométricas como
sec, csc, tg, ctg, arcsin, arc cos, etc., tienen dominios restringidos.
cada dos de ellos consecutivos la función mantendrá su signo, por lo cual es fácil
determinarlo calculando el valor de la función en un punto intermedio.
Simetrías
www.elsolucionario.net
Ejercicio 4.2. Pruebe que la gráfica de f es simétrica respecto al punto (a, b)
si y sólo si f (2a − x) = 2b − f (x) para todo x ∈ R.
Periodicidad
Comportamiento para x → ∞
Crecimiento y decrecimiento
68 Aplicaciones matemáticas
Discontinuidades
www.elsolucionario.net
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)/(x2 + 1). Está definida en todo
R. La gráfica intersecta al eje Oy en (0, 2).
lı́mx→+∞ f (x) = π/2 y lı́mx→−∞ f (x) = −π/2, por lo tanto hay dos asínto-
tas horizontales, y = π/2 para x → +∞ e y = −π/2 para x → −∞.
1 x2 + 1 − 2x(x + 2) 2 − 4x
f ′ (x) = + = 2 ,
x2 +1 2
(x + 1) 2 (x + 1)2
de donde f ′ (x) > 0 para x < 1/2, f ′ (1/2) = 0 y f ′ (x) < 0 para x > 1/2. Por
lo tanto f es estrictamente creciente en (−∞, 1/2] y estrictamente decreciente
en [1/2, +∞), presentando un máximo absoluto en 1/2. El valor máximo es
f (1/2) = arc tg(1/2) + 2 ≈ 2,46.
Como f (−1) = −π/4 + 1/2 < 0 y f (0) = 2 > 0, f tiene una raíz entre −1 y
0. De hecho es la única, ya que para x > 0 es f (x) > 0. Por métodos numéricos
(ver sección siguiente) puede verse que esa raíz es aproximadamente −0,83. La
derivada segunda es
0
-6 -4 -2 0 2 4 6
x
-1
www.elsolucionario.net
Figura 4.2: Gráfica de f (x) = arc tg(x) + (x + 2)/(x2 + 1).
70 Aplicaciones matemáticas
www.elsolucionario.net
Generalmente el método de Newton converge muy rápido hacia una raíz,
pero no siempre. Por ejemplo si f (x) = x3 − 2x + 2 entonces xn+1 = xn −
(x3n − 2xn + 2)/(3x2n − 2). Si se comienza con x1 = 1 se obtiene x2 = 0, x3 = 1,
x4 = 0,. . . y el procedimiento no converge. En estos casos conviene bosquejar la
gráfica para tener una idea aproximada de dónde están las raíces. En este caso,
comenzando con −2 se obtiene una rápida convergencia.
Entonces
p p
Pi Pi+1 = (xi+1 − xi )2 + (f (xi+1 ) − f (xi ))2 ≤ 1 + M 2 (xi+1 − xi ),
y
n−1 n−1
www.elsolucionario.net
X Xp p
Pi Pi−1 ≤ 1 + M 2 (xi+1 − xi ) = 1 + M 2 (b − a).
i=0 i=0
√
Por lo tanto la curva es rectificable y L(f ; a, b) ≤ 1 + M 2 (b − a).
C
E
y = f(x)
A z(x)
a x x+h b
Figura 4.4: Longitud de arco
72 Aplicaciones matemáticas
Pero, por el teorema del valor medio, f (x + h) − f (x) = hf ′ (ξ) para cierto
ξ ∈ (x, x + h), por lo tanto
p p
s(x + h) − s(x) ≥ h2 + (hf ′ (ξ))2 = h 1 + (f ′ (ξ))2 . (4.1)
o bien
p s(x + h) − s(x) p
1 + (f ′ (ξ))2 ≤ ≤ 1 + (f ′ (ζ))2 ,
h
www.elsolucionario.net
y como lı́mh→0 ξ = lı́mh→0 ζ = x, la conclusión se sigue del teorema del sánd-
wich.
Ejemplo 4.3. Calcular
p la longitud de la curva y = ch x entre 0 y x.
Solución: s′ (x) = 1 + (sh x)2 = ch x, por lo tanto s(x) = sh x + 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 − x2 para √ 0 ≤ x ≤ 1.
Solución: ( 1 − x2 )′ = −x/ 1 − x2 , por lo tanto
s 2 r
x2
′ −x 1
s (x) = 1 + √ = 1+ 2
=√ .
1−x 2 1−x 1 − x2
√
Como (arc sen x)′ = 1/ 1 − x2 concluimos que s(x) = arc sen x + C, y como
s(0) = 0 debe ser C = 0 y s(x) = arc sen x. En particular s(1) = arc sen 1 = π/2,
como era de esperarse.
En lapnotación de Leibniz s′ (x) = ds/dx y f ′ (x) = dy/dx, por lo tanto
s (x) = 1 + (f ′ (x))2 se puede escribir como (ds/dx)2 = 1 + (dy/dx)2 , o bien
′
u · v = u1 v1 + +u2 v2 + · · · + un vn .
www.elsolucionario.net
q √
kvk = v12 + · · · + vn2 = v2 .
(u · v)′ = u′ · v + u · v′ .
u ∧ v = (u2 v3 − u3 v2 , u3 v1 − u1 v3 , u1 v2 − u2 v1 ).
(u ∧ v)′ = u′ ∧ v + u ∧ v′ .
74 Aplicaciones matemáticas
www.elsolucionario.net
Figura 4.5: Parametrización de la circunferencia
situación es una circunferencia de radio R y centro (a, b), que sin embargo puede
ser representada paramétricamente como
Observe que dos curvas diferentes P (t) y Q(t) pueden tener el mismo recorrido
en R2 . Por ejemplo
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
1 − t2
2t
P (t) = , , t ∈ R,
1 + t2 1 − t2
x2 y2
2
+ 2 = 1.
a b
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. Después 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 =P B= Rt. Por lo tanto
www.elsolucionario.net
B = (Rt, 0). Además la proyección del radio P Q sobre el eje Ox mide R sen t,
por lo tanto AB = R sen t y OA = Rt−R sen t. Si M es la proyección de P sobre
la vertical por B, entonces M Q = R cos t y BM = R − R cos t. Por lo tanto
www.elsolucionario.net
P (t) = (Rt − R sen t, R − R cos t). Escritas en forma de sistema, las ecuaciones
de la cicloide son entonces
R
x = (R + r) cos(t) − r cos (1 + )t ,
r
R
y = (R + r) sen(t) − r sen (1 + )t ,
r
Ejercicio 4.9. Halle una parametrización de la hipocicloide, curva generada por
un punto de una circunferencia de radio r que rueda interiormente sin deslizar
sobre otra circunferencia de radio R.
76 Aplicaciones matemáticas
La prueba de este resultado es análoga a la del teorema 4.2, más aún se puede
obtener a partir de él. Análogamente una curva alabeada P (t) = (x(t), y(t), z(t))
es regular si sus componentes tienen derivadas continuas y el vector tangente
Ṗ (t) = (ẋ(t), ẏ(t), ż(t)) no es nulo, en
p cuyo caso la curva es rectificable, y la
longitud de arco s(t) satisface ṡ(t) = (ẋ(t))2 + (ẏ(t))2 + (ż(t))2 = |Ṗ (t)|.
Ejemplo 4.5. Para calcular la longitud del arco de cicloide P (t) = (Rt −
R sen t, R − R cos t) para 0 ≤ t ≤ 2π, calculamos Ṗ (t) = (R − R cos t, R sen t),
de donde
t
|Ṗ (t)|2 = (R − R cos t)2 + (R sen t)2 = 2R2 (1 − cos t) = (2R sen )2 ,
2
de donde se obtiene
t
ṡ(t) = 2R sen
2
www.elsolucionario.net
y entonces s(t) = −4R cos(t/2) + C. Como s(0) = 0 debe ser C = 4R y nos
queda s(t) = 4R(1 − cos(t/2)). En particular s(2π) = 4R(1 − (−1))) = 8R.
Como para una curva regular P (t) es ṡ(t) > 0, s(t) es estrictamente creciente
y continua, por lo cual tiene inversa continua t(s). Esto permite reparametrizar
la curva como Q(s) = P (t(s)), usando la longitud de arco como parámetro.
Observe que para una curva parametrizada por la longitud de arco se tiene
ṡ = 1 y por lo tanto el vector tangente T(s) = Q′ (s) tiene módulo 1. Si las
componentes de Q(s) se pueden derivar dos veces, entonces como Q′ (s) · Q′ (s) =
|Q′ (s)|2 = 1, derivando se tiene 2Q′ (s) · Q′′ (s) = 0, es decir que Q′′ (s) es un
vector ortogonal a Q′ (s). Al módulo κ(s) de ese vector se le llama curvatura en
el punto s. Si κ(s) 6= 0 entonces N(s) = Q′′ (s)/κ(s) es un vector unitario que
se llama vector normal, y se tiene que
T′ (s) = κ(s)N(s).
N′ = B′ ∧ T + B ∧ T′ = B ∧ κN = −κT.
1 s 1 s
Q′′ (s) = (− cos , − sen ),
R R R R
www.elsolucionario.net
www.elsolucionario.net
Sea P (t) una curva regular y Q(s) = P (t(s)) su reparametrización por la
longitud de arco. En lo que sigue se usará el apóstrofo para indicar la derivación
respecto a s y el punto para indicar la derivación respecto a t. Como P (t) =
Q(s(t)), derivando respecto a t resulta Ṗ (t) = Q′ (s(t))ṡ(t). Si se puede derivar
una vez más entonces
por lo tanto
Ṗ ∧ P̈ = ṡ3 Q′ ∧ Q′′ = ṡ3 t ∧ κn,
y como t ∧ n es un vector unitario, queda finalmente
|Ṗ ∧ P̈ |
κ= .
|Ṗ |3
Ejercicio 4.10. Suponiendo
p 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′′ = κT. El vector B = T∧N es llamado vector binormal.
Pruebe que B′ es colineal con N, y que si B′ = −τ 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′ = −τ N se conocen como fórmulas de Frenet.
78 Aplicaciones matemáticas
www.elsolucionario.net
Ejemplo 4.7. P (s) = (cos s, sen s) es una circunferencia de centro en el origen
y radio 1, parametrizada por la longitud de arco. Su involuta con origen P (0) =
(1, 0) es
I(s) = (cos s, sen s) − s(− sen s, cos s) = (cos s + s sen s, sen s − s cos s).
Observe en la Figura 4.7 que la longitud del segmento BC es igual a la del arco
⌢ ⌢
AB, y la de DE igual a la de AD. Esta curva, como la cicloide, es empleada
como perfil de dientes de engranaje.
Ejemplo 4.8. Calculemos la involuta de la cicloide
P (t) = (Rt − R sen t, R − R cos t), 0 ≤ t ≤ 2π,
a partir del punto P (π) = (Rπ, 2R). Recordemos del Ejemplo 4.5 que
t t t
Ṗ (t) = (R − R cos t, R sen t) = (2R sen2 , 2R sen cos )
2 2 2
y ṡ(t) = |Ṗ (t)| = 2R sen(t/2), de donde s(t) = −4R cos(t/2) + C para alguna
constante C. Si medimos la longitud de arco a partir de P (π), entonces debe ser
s(π) = 0, es decir que C = 0 y s(t) = −4R cos(t/2). La involuta es entonces
s(t) −2 cos(t/2)
I(t) = P (t) − Ṗ (t) = P (t) − Ṗ (t)
ṡ(t) sen(t/2)
2 cos(t/2)
= P (t) + (2R sen2 (t/2), 2R sen(t/2) cos(t/2))
sen(t/2)
= P (t) + 2R(2 cos(t/2) sen(t/2), 2 cos2 (t/2))
= P (t) + 2R(sen t, 1 + cos t)
= (Rt − R sen t, R − R cos t) + (2R sen t, 2R + 2R cos t)
= (Rt + R sen t, 3R + R cos t),
www.elsolucionario.net
www.elsolucionario.net
que nos da un par de arcos de una cicloide idéntica a la original, pero trasladada
(ver Figura 4.8).
Si P (s) una curva plana parametrizada por la longitud de arco, con curvatura
κ(s) 6= 0, entonces a la curva E(s) = P (s) + R(s)N(s) = P (s) + R2 (s)P ′′ (s),
lugar geométrico 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.
Solución: parametricemos la elipse como P (t) = (a cos t, b sen t). Entonces
p
Ṗ (t) = (−a sen t, b cos t), ṡ(t) = (a cos t)2 + (b sen t)2 ,
1 1
T(t) = (−a sen t, b cos t), N(t) = (−b cos t, −a sen t)
ṡ(t) ṡ(t)
P̈ (t) = (−a cos t, −b sen t), |Ṗ (t) ∧ P̈ (t)| = ab,
|Ṗ ∧ P̈ | ab
κ(t) = = 2 ,
|Ṗ |3 (a cos t + b2 sen2 t)3/2
2
a2 cos2 t + b2 sen2 t
E(t) = P (t) + R(t)N(t) = P (t) + (−b cos t, −a sen t).
ab
Construir la evoluta y la involuta de una curva son operaciones inversas. En
efecto, supongamos que P (s) es una curva parametrizada por la longitud de
arco, con curvatura κ(s) 6= 0, y I(s) = P (s) − sT(s) su involuta a partir de
P (0). Para hallar la evoluta de I(s) observemos que s no es la longitud de arco
de I, por lo tanto para calcular la curvatura κI de I hacemos lo siguiente:
I ′ (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 ′′ | |s2 κ3 | 1
κI = = = ,
|I ′ | |sκ|3 |s|
www.elsolucionario.net
80 Aplicaciones matemáticas
www.elsolucionario.net
Figura 4.9: Elipse y su evoluta
www.elsolucionario.net
Figura 4.10: Huellas de bicicleta
82 Aplicaciones matemáticas
www.elsolucionario.net
Figura 4.11: Dirección del movimiento
√
Para determinar f (x) sólo tenemos que encontrar una primitiva de − 1 − x2 /x
que en 1 valga 0. Esto se logra mediante los métodos del cálculo integral, pero
en este caso vamos a hacerlo usando sólo un poco de ingenio. Veamos:
√
1 − x2 1 − x2 1 1 1 x
− = − √ =− √ + − +√
x x 1−x 2 x 1−x 2 x x 1 − x2
√
1 − 1 − x2 1 x
= − √ − +√
x 1 − x2 x 1 − x2
x 1 x
= −√ √ − +√
2
1−x 1+ 1−x 2 x 1 − x2
p ′ ′ p ′
= log 1 + 1 − x2 − log(x) − 1 − x2 ,
√ √
por tanto f (x) = log(1 + 1 − x2 ) − log(x) − 1 − x2 + C, y poniendo x = 1
queda 0 = f (1) = C, es decir que finalmente
www.elsolucionario.net
p p
f (x) = log(1 + 1 − x2 ) − log(x) − 1 − x2 .
Esta curva se conoce con el nombre de tractriz (ver Figura 4.12).
84 Aplicaciones matemáticas
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 ecuación a(t)x+b(t)y = c(t).
Obviamente P (t) = (x(t), y(t)) debe cumplir la condición
www.elsolucionario.net
para todo t. Para expresar la condición de tangencia recordemos que (a(t), b(t))
es un vector normal a la recta de ecuación a(t)x + b(t)y = c(t), mientras que
el vector (ẋ(t), ẏ(t)) es tangente a P (t). Por lo tanto la recta es tangente a la
curva si y sólo si estos dos vectores son ortogonales, es decir si
De las ecuaciones (4.2) y (4.4), si aḃ − ȧb 6= 0, es posible despejar x(t) e y(t) en
función de t:
www.elsolucionario.net
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 reflejado forman con la normal OP son iguales
entre sí e iguales a t, es fácil ver que el rayo refleja-
do forma ángulo 2t con el eje Ox, y por lo tanto la
ecuación de la recta que lo contiene es
86 Aplicaciones matemáticas
www.elsolucionario.net
sentido y uno a triple velocidad que el otro.
Ejercicio 4.15. Pruebe que la envolvente de las rectas normales a una curva
es su evoluta (el lugar geométrico de los centros de curvatura).
www.elsolucionario.net
Ejercicio 4.14).
88 Aplicaciones matemáticas
P ′ (ϕ) = (r′ (ϕ) cos(ϕ) − r(ϕ) sen(ϕ), r′ (ϕ) sen(ϕ) + r(ϕ) cos(ϕ))
= r′ (ϕ)(cos(ϕ), sen(ϕ)) + r(ϕ)(− sen(ϕ), cos(ϕ))
www.elsolucionario.net
= r′ (ϕ)~er + r(ϕ)~eϕ ,
donde ~er es el vector unitario radial y ~eϕ es el vector unitario tangencial, orto-
gonal al anterior.
Si se identifica el punto (x, y) ∈ R2 con el número complejo x + iy ∈ C, la
curva r = r(ϕ) se puede expresar en la forma P (ϕ) = r(ϕ)eiϕ , y derivando se
tiene
P ′ (ϕ) = r′ (ϕ)eiϕ + r(ϕ)ieiϕ .
Observe que en esta presentación más compacta el complejo eiϕ = cos ϕ+i sen ϕ
corresponde al vector ~er , mientras que ieiϕ = − sen ϕ + i cos ϕ corresponde al
vector ~eϕ .
Por ejemplo la ecuación de la espiral logarítmica r = aebϕ 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 rotación o una
inversión de centro en el origen a la curva r = aebϕ , se vuelve a obtener una
espiral logarítmica.
Ejercicio 4.17. Pruebe que la espiral logarítmica r = aebϕ forma ángulo cons-
tante con el radio vector, y exprese ese ángulo en función de b.
Ejercicio 4.18. Pruebe que la involuta de la espiral logarítmica r = aebϕ es
también una espiral logarítmica.
Ejercicio 4.19. Pruebe que la ortóptica de una espiral logarítmica, es decir
el lugar geométrico de los puntos desde los cuales pueden trazarse dos rectas
tangentes a la curva que sean perpendiculares entre sí, es también una espiral
logarítmica.
Ejercicio 4.20. Pruebe que la podaria de la espiral logarítmica r = aebϕ
r4specto al origen, es decir el lugar geométrico de las proyecciones del origen
sobre las tangentes a la curva, es también una espiral logarítmica.
www.elsolucionario.net
4.6 Desigualdades 89
www.elsolucionario.net
Figura 4.20: Cónica
OP
= ε.
PQ
4.6. Desigualdades
Las desigualdades juegan un rol fundamental en matemática, y existen libros
completos dedicados a su estudio. En esta sección se aplican los resultados sobre
funciones convexas vistos en el capítulo 2 para obtener la desigualdad de Jensen,
de la cual se derivan luego varias desigualdades importantes.
www.elsolucionario.net
90 Aplicaciones matemáticas
Xn n
X
f( ri xi ) ≤ ri f (xi ).
i=1 i=1
www.elsolucionario.net
n n−1
X X ri
f ri xi = f (1 − rn ) xi + rn xn
i=1 i=1
1 − rn
n−1
X ri
≤ (1 − rn )f xi + rn f (xn )
i=1
1 − rn
n−1 n
X ri X
≤ (1 − rn ) f (xi ) + rn f (xn ) = ri f (xi ).
i=1
1 − rn i=1
y su media geométrica es
v
u n
uY
G= t
n
xi .
i=1
4.6 Desigualdades 91
www.elsolucionario.net
log(a1 x1 + a2 x2 + · · · + an xn ) ≥ a1 log(x1 ) + a2 log(x2 ) + · · · + an log(xn ),
y tomando la exponencial de ambos miembros queda
a1 x1 + a2 x2 + · · · + an xn ≥ xa1 1 xa2 2 · · · xann ,
es decir A ≥ G, con igualdad si y sólo si x1 = x2 = · · · = xn . Si para algún
i fuese xi = 0 y ai 6= 0 entonces G = 0 y la desigualdad también se cumple,
con igualdad si y sólo todos los xi son nulos. Y si hay pares (xi , ai ) tales que
xi = ai = 0, se pueden suprimir sin alterar el valor de A ni de G.
Ejercicio 4.21. Si x1 , x2 , . . . , xn son reales positivos y a1 , a2 , . . . , an reales no
negativos tales que a1 + a2 + · · · + an = 1, se define la media armónica pesada
de los xi con pesos ai como
1
H= a1 a2 an .
x1 + x2 + ···+ xn
92 Aplicaciones matemáticas
Nota: Generalmente se permite que algunos pesos ai sean nulos, pero eso com-
plica las demostraciones sin ninguna ventaja a cambio.
Ejercicio 4.22. Probar que
Qn
a) lı́mα→0 mα (x1 , x2 , . . . , xn ) = i=1 xai i ,
b) lı́mα→+∞ mα (x1 , x2 , . . . , xn ) = máx{x1 , x2 , . . . , xn },
c) lı́mα→−∞ mα (x1 , x2 , . . . , xn ) = mı́n{x1 , x2 , . . . , xn .
En vista del ejercicio anterior, se define la media de orden 0 como la media
geométrica pesada:
n
Y
m0 (x1 , x2 , . . . , xn ) = xai i .
i=1
www.elsolucionario.net
m−∞ (x1 , x2 , . . . , xn ) = mı́n{x1 , x2 , . . . P
, xn }.
n
Observe que m1 (x1 , x2 , . . . , xn ) = i=1 ai xi es la media aritmética pesada.
Si se toman pesos iguales ai = 1/n entonces
n
!−1
1X 1
m−1 (x1 , x2 , . . . , xn ) =
n i=1 xi
es la media armónica y
v
u n
u1 X
m2 (x1 , x2 , . . . , xn ) = t x2
n i=1 i
mα (x1 , x2 , . . . , xn ) ≤ mβ (x1 , x2 , . . . , xn ),
n
!β/α n n
ai xβi ,
X X X
ai xα
i ≤ ai (xα
i )
β/α
=
i=1 i=1 i=1
4.6 Desigualdades 93
1 1
mα (x1 , . . . , xn ) = ≤
1 1 1 1
m−α x1 , . . . , xn m−β x1 , . . . , xn
= mβ (x1 , . . . , xn ),
mα (x1 , . . . , xn ) ≤ m0 (x1 , . . . , xn ),
www.elsolucionario.net
mα (x1 , . . . , xn ) ≤ m0 (x1 , . . . , xn ) ≤ mβ (x1 , . . . , xn ),
n
!1/α n
!1/α
X X
mα (x1 , . . . , xn ) = ai xα
i ≤ ai M α = M = m+∞ (x1 , . . . , xn ),
i=1 i=1
ap bq
ab ≤ + .
p q
log(ap ) log(bq ) ap bq
log(ab) = log(a) + log(b) = + ≤ log( + ),
p q p q
y la demostración se concluye aplicando la función exponencial a ambos miem-
bros.
www.elsolucionario.net
94 Aplicaciones matemáticas
n n
! p1 n
! 1q
X X X
|xi yi | ≤ |xi |p |yi |q .
i=1 i=1 i=1
Demostración. Sea X p1
kxkp = |xk |p .
Entonces
1 X |xk |p 1 X |yk |q
P
| k xk yk | X |xk | |yk | 1 1
≤ ≤ p + = + = 1.
kxkp · kykq kxkp kykq p kxkp q kykqq p q
k k k
www.elsolucionario.net
Teorema 4.8 (Desigualdad de Minkowski).
Si x1 , x2 , . . . , xn , y1 , y2 , . . . , yn son reales cualesquiera y p ≥ 1 entonces
n
! p1 n
! p1 n
! p1
X X X
p p p
|xi + yi | ≤ |xi | + |yi | .
i=1 i=1 i=1
y
n n
! p1 n
! q1
X X X
|bk ||ak + bk |p−1 ≤ |bk |p |ak + bk |(p−1)q .
k=0 k=0 k=0
n
! p1 n
!1− 1q n
! p1 n
! p1
X X X X
p p p p
|ak + bk | = |ak + bk | ≤ |ak | + |bk | .
k=0 k=0 k=0 k=0
www.elsolucionario.net
4.6 Desigualdades 95
n
! p1
X
p
dp (a, b) = ka − bkp = |ak − bk | .
k=0
www.elsolucionario.net
www.elsolucionario.net
Capítulo 5
Aplicaciones físicas
www.elsolucionario.net
La mecánica es el paraíso de las ciencias matemáticas, porque
por medio de ella uno llega a los frutos de la matemática.
Leonardo da Vinci, Cuadernos de apuntes, vol. 1, cap. 20.
P̈ (t) = ~a.
de donde se concluye que Ṗ (t) − t~a es constante. Poniendo t = 0 resulta que esa
constante es Ṗ (0), y por lo tanto
De la misma manera
t2 .
(P (t) − ~a − tṖ (0)) = Ṗ (t) − t~a − Ṗ (0) = 0,
2
www.elsolucionario.net
por lo tanto P (t) − (t2 /2)~a − tṖ (0) es constante, y poniendo t = 0 resulta que
esa constante es P (0). En conclusión la trayectoria del punto P es
t2
P (t) = ~a + tṖ (0) + P (0).
2
Si la fuerza es nula entonces la aceleración también, y la ecuación anterior
se reduce a
P (t) = tṖ (0) + P (0),
que es la ecuación paramétrica de una línea recta que pasa por P (0) con direc-
ción Ṗ (0). Esto no es más que la primera ley de Newton: “En la ausencia de
fuerzas exteriores, todo cuerpo continúa en su estado de reposo o de movimiento
rectilíneo uniforme”.
Se sabe que cerca de la superficie terrestre la aceleración de la gravedad es
aproximadamente constante. Su valor se denota con la letra g y es aproximada-
www.elsolucionario.net
mente 9,8 m/seg2 (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
superficie, pero supondremos que el vínculo sólo actúa por medio de fuerzas per-
pendiculares a la dirección del movimiento (en particular, que no hay fricción).
La ley de Newton se expresa entonces como
mP̈ = mG + N,
98 Aplicaciones físicas
mP̈ = mG,
ẍ = 0, ÿ = 0, z̈ = −g.
www.elsolucionario.net
z(t) = z0 + ż0 t − gt2 /2, que se pueden resumir en una sola ecuación vectorial
1
P (t) = P0 + tṖ0 + t2 G.
2
Es fácil verificar que la función e−kt satisface (5.1), pero podría haber otras
soluciones. Para hallarlas observemos que, como e−kt 6= 0 para todo t ∈ R,
cualquier función f (t) se puede escribir en la forma f (t) = g(t)e−kt (basta
poner g(t) = f (t)ekt ). Por lo tanto f ′ (t) = −kf (t) equivale a
(g(t)e−kt )′ = −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) = 0. Como las únicas funciones
con derivada idénticamente nula son las constantes (Cap. 2 pág. 43), debe ser
g(t) = A (constante) y entonces f (t) = Ae−kt . Poniendo t = 0 se ve que
f (0) = A, por lo tanto la función masa es en definitiva
f (t) = f (0)e−kt .
www.elsolucionario.net
La semivida (también llamada período de semidesintegración o vida mitad) de
una sustancia radiactiva se define como el tiempo t1/2 que tarda en reducirse a
la mitad. Es decir que f (t1/2 ) = f (0)/2, o sea f (0)e−kt1/2 = f (0)/2, de donde
e−kt1/2 = 1/2, −kt1/2 = log(1/2) = − log(2) y finalmente
log(2) log(2)
t1/2 = , k= .
k t1/2
www.elsolucionario.net
donde n > 0 es un entero (llamado orden de la ecuación) y F es una función de
n + 1 variables.
Si la función incógnita es de varias variables y aparece relacionada con sus
derivadas parciales, entonces se trata de una ecuación diferencial parcial. Tam-
bién se pueden presentar sistemas de ecuaciones diferenciales, con dos o más
funciones incógnitas.
Una solución de la ecuación (5.2) es una función f (x) tal que, si y (k) se susti-
tuye por f (k) (x) para k = 0, 1, . . . , n, la ecuación se convierte en una identidad.
Por ejemplo
y ′ = 3y
es una EDO de primer orden, y f (x) = e3x es una solución porque la sustitución
y = e3x , y ′ = (e3x )′ = 3e3x , la convierte en
3e3x = 3e3x ,
que es una identidad. Como esta ecuación es la misma que estudiamos para la
desintegración radioactiva (con k = −3), podemos afirmar que cualquier otra
solución es de la forma Ae3t , donde A es una constante. Se dice entonces que
y = Ae3x es la solución general de la ecuación.
(n−1)
Si x0 , y0 , y0′ ,. . . ,y0 son números reales dados, el problema de condiciones
iniciales para una EDO de orden n consiste en hallar una solución f (x) tal que
(n−1)
f (x0 ) = y0 , f ′ (x0 ) = y0′ ,. . . ,f (n−1) (x0 ) = y0 . Existen teoremas que, bajo
condiciones muy generales, aseguran que este problema tiene solución única, al
menos localmente.
Una EDO es lineal si es de la siguiente forma
Para estas ecuaciones se puede probar que si a0 , a1 ,. . . , an−1 y b(x) son fun-
ciones continuas en un intervalo abierto I y x0 ∈ I, entonces el problema de
www.elsolucionario.net
www.elsolucionario.net
mogénea y ′ = 3y es y(x) = Ae3x . Si ahora se desea resolver la ecuación no
homogénea
y ′ = 3y + 6x − 7
se debe buscar una solución particular. Busquémosla de la forma ax+b. Entonces
a = 3(ax + b) + 6x − 7
r2 = ar + b.
A+B = y0 ,
r1 A + r2 B = y0′
www.elsolucionario.net
de (5.3) y (A + Bx)erx es la solución general.
Ce(α+βi)x + De(α−βi)x
son soluciones, sólo que son en general complejas y estamos interesados en so-
luciones reales. Pero si tomamos C = A − iB y D = A + iB, los sumandos
serán conjugados y su suma real. Recordando la fórmula de Euler ex+iy =
ex (cos y + i sen y), tenemos
(A − iB)e(α+βi)x + (A + iB)e(α−βi)x
eαx (A − iB)eiβx + (A + iB)e−iβx
=
eαx (A − iB)(cos(βx) + i sen(βx)) + (A + iB)(cos(βx) − i sen(βx))
=
eαx 2A cos(βx) + 2B sen(βx)
=
www.elsolucionario.net
Figura 5.1: Resorte vibrante
ẋ0
x(t) = x0 cos(ωt) + 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 sólo puede moverse en la vertical.
www.elsolucionario.net
www.elsolucionario.net
por una resistencia R, un condensador C y un inductor L (ver Figura 5.2)
satisface la EDO lineal homogénea de segundo orden
1
Lẍ + Rẋ + x = 0. (5.4)
C
2
Su
p ecuación característica es Lr +pRr + 1/C = 0, que tiene 2raíces r1 = (−R +
R2 − 4L/C)/(2L) y r2 = (−R − R2 − 4L/C)/(2L). Si R > 4L/C entonces
las raíces r1 y r2 son reales y negativas, y la solución general de (5.4) es
x(t) = Aer1 t + Ber2 t ,
que tiende monótonamente a 0 para t → ∞. Este caso se denomina sobreamor-
tiguado.
Si R2 = 4L/C la solución 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 críticamente amortiguado.
Pero el caso más interesante es el subamortiguado,
p que se presenta cuando
R2 < 4L/C. En este caso, si se pone ω = 4L/C − R2 )/(2L), entonces r1 =
−R/(2L) + iω y r2 = −R/(2L) − iω y la solución general de (5.4) es
x(t) = Ae−Rt/(2L) cos(ωt − ϕ0 ),
que se puede interpretar como oscilaciones armónicas 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 ecuación se vuelve no homogénea:
1
Lẍ + Rẋ + x = E.
C
Resuelva esta ecuación para el caso E(t) = sen(ϕt).
www.elsolucionario.net
www.elsolucionario.net
construir arcos arquitectónicos estructuralmente estables. Estos arcos fueron
utilizados con especial maestría por el arquitecto catalán 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 ecuación 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 más bajo A de la cuerda (ver Figura 5.4). Sea AB un
trozo de cuerda en equilibrio. Las fuerzas que actúan sobre AB son: la tensión
S de la cuerda en A, que es horizontal, la tensión T de la cuerda en B, que
tiene la misma dirección de la tangente a la curva en ese punto, y el peso del
trozo de cuerda P , que tiene dirección vertical. Como se supone que la cuerda
es homogénea, si su densidad lineal es ρ entonces la magnitud de su peso es
ρgl, donde l es la longitud del arco AB y g la aceleración de la gravedad. La
~ + T~ + P~ = ~0, que proyectada sobre cada
condición para que haya equilibrio es S
eje nos da
S = T cos α
ρgl = T sen α
Por lo tanto
ρgl
f ′ (x) = tg α = .
S
Poniendo a = ρg/S y derivando resulta
dl p
f ′′ (x) = a = a 1 + (f ′ (x))2 .
dx
Dividiendo por la raíz cuadrada, queda
f ′′ (x)
p = a,
1 + (f ′ (x))2
www.elsolucionario.net
www.elsolucionario.net
Figura 5.4: Catenaria
√
y recordando que (argsh x)′ = 1/ 1 + x2 , se tiene (argsh(f ′ (x)))′ = a, es decir
que argsh(f ′ (x)) = ax + C. Pero evaluando en x = 0 queda C = 0, es decir
argsh(f ′ (x)) = ax, de donde f ′ (x) = sh(ax), y entonces f (x) = (1/a) ch(ax)+D.
Evaluando en x = 0 queda 0 = 1/a + D, es decir que D = −1/a y finalmente
1 1
f (x) = ch(ax) − .
a a
Puesto que f (0) = f ′ (0) = 0, f ′′ (a) = a y f ′′′ (0) = 0, se tiene
1 1 a
ch(ax) − = x2 + o(x3 ),
a a 2
por lo tanto para |x| pequeño la catenaria se puede aproximar mediante una
parábola. Pero para valores grandes de |x| ambas curvas difieren mucho.
Ejercicio 5.6. Halle la ecuación del Gateway Arch respecto a un sistema con-
veniente de coordenadas, su longitud y el área que queda bajo el arco.
www.elsolucionario.net
menor debido a los efectos de la viscosidad y la tensión superficial.)
Sean S la sección y V0 la capacidad del recipiente cilíndrico, y s la sección
del orificio. Sean V (t) el volumen y h(t) la altura del líquido 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 ptiene la condición inicial V (0) = V0 . Como la velocidad
de salida del líquido es
p 2gh(t), la velocidad a la que disminuye el volumen de
líquido es V ′ (t) = −s 2gh(t), lo que nos lleva a la ecuación diferencial
r
′ 2gV (t)
V (t) = −s ,
S
que se puede escribir en la forma
V ′ (t)
r
p g
( V (t))′ = p = −s .
2 V (t) S
Por lo tanto r
p g p
V (t) = −s t + V0 . (5.5)
S
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 ecuación V (t) = 0, lo que nos da
√
V0 S
t= √ .
s g
de donde se obtiene √
S 30
√ = √ √
s g 30 − 29
y finalmente
√
30 30 √ √ √
t= √ √ = 30 30( 30 − 29) ≈ 1785 seg = 29 min 45 seg.
30 − 29
www.elsolucionario.net
(usamos ϕ como parámetro porque deseamos reservar t para representar el tiem-
po). Supongamos que el plano de la cicloide es vertical, y que un punto material
de masa m está obligado a moverse por la cicloide (sin fricción) bajo la acción
de un campo gravitatorio uniforme. Si el punto se coloca inicialmente en la po-
sición P (ϕ0 ), ¿cuánto tiempo tardará en llegar al punto más bajo de la cicloide,
P (π) = (π, 0)?
y su módulo es
p p ϕ
v(t) = ẋ2 + ẏ 2 = Rϕ̇ 2 − 2 cos ϕ = 2Rϕ̇ sen .
2
www.elsolucionario.net
www.elsolucionario.net
p
2
cos 2 − cos 2 2 R
√
pongamos a = cos ϕ20 . Recordando que (arc sen xa )′ = 1/ a2 − x2 se obtiene
−ϕ̇ sen ϕ2
′ r
1 ϕ 1 g
arc sen cos = p 2 =− ,
a 2 2 a − cos2 ϕ2 2 R
de donde r
1 ϕ t g
arc sen cos =− + C.
a 2 2 R
poniendo t = 0 se obtiene C = arc sen 1 = π/2, por lo tanto
r
1 ϕ t g π
arc sen cos =− + ,
a 2 2 R 2
y poniendo t = t1 queda r
t1 g π
0=− + ,
2 R 2
de donde s
R
t1 = π .
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 más bajo! Esto le valió a la cicloide el apelativo de curva
tautócrona (o isócrona), que significa tiempos iguales.
Huygens utilizó esta propiedad de la cicloide para construir un péndulo isó-
crono, es decir un péndulo en el cual el período de las oscilaciones no depende
de la amplitud de las mismas, como en los péndulos ordinarios. Para lograr que
la lenteja del péndulo siguiera una trayectoria cicloidal, Huygens aprovechó el
hecho de que la involuta de una cicloide es otra cicloide (ver Ejemplo 4.8, pág.
78).
www.elsolucionario.net
www.elsolucionario.net
Figura 5.6: Péndulo isócrono
(5.6) queda 2ku′ sen u cos u = ctg u, o bien 2ku′ sen2 u = 1, y como 2 sen2 u =
www.elsolucionario.net
1 − cos 2u queda
ku′ (1 − cos 2u) = 1.
Pero (2u − sen 2u)′ = (2 − 2 cos 2u)u′ , y la ecuación anterior se puede escribir
como (2u − sen 2u)′ = 2/k, de donde 2u − sen 2u = (2/k)x + C. Pero como para
x = 0 es u = 0, resulta C = 0 y nos queda
k k
x = ku − sen 2u, y = k sen2 u = (1 − cos 2u).
2 2
Finalmente, si ponemos R = k/2 y t = 2u queda
www.elsolucionario.net
de masa m, con vector de posición P , es
GM m
F (P ) = − P, (5.7)
|P |3
P ∧ Ṗ = ~k (constante). (5.9)
Esta relación se conoce como conservación del momento angular, y tiene como
consecuencia inmediata que el movimiento se efectúa 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 = reiϕ , y entonces
De (5.13) se obtiene
.
(r2 ϕ̇) = 2rṙ ϕ̇ + r2 ϕ̈ = r(2ṙ ϕ̇ + rϕ̈) = 0,
y por lo tanto
r2 ϕ̇ = k (constante) (5.14)
www.elsolucionario.net
(esto también se puede obtener directamente de (5.9)).
p
2GM/R ≈ 12,5 × 107 m2 /(s2 ) 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) permitiría al cohete alejarse de la Tierra indefinidamente. La tecnología
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 2 × 1030 kg, y
la distancia de la Tierra al Sol aproximadamente 150 × 106 km, ¿qué velocidad
debería alcanzar un cohete lanzado desde la Tierra para escapar del sistema
solar?
www.elsolucionario.net
A(ϕ(t + ∆t)) − A(ϕ(t)) ≈ 12 r(t)r(t + ∆t) sen(∆ϕ),
. sen(∆ϕ) ∆ϕ 1 k
A(ϕ(t)) = lı́m 1
r(t)r(t + ∆t) = r2 (t)ϕ̇(t) = .
∆t→0 2 ∆ϕ ∆t 2 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/r2 =
(k/p2 )u2 . Usando ′ para denotar la derivada respecto a ϕ se tiene
p ′ k
ṙ = − u ϕ̇ = − u′ ,
u2 p
k k k2
r̈ = (ṙ)′ ϕ̇ = − u′′ 2 u2 = − 3 u′′ u2 .
p p p
k 2 ′′ 2 k 2 3 GM 2 k2 2
− u u − u = − u = − u ,
p3 p3 p2 p3
u′′ + u = 1,
www.elsolucionario.net
la cual ya hemos visto cómo se resuelve. Puesto que tiene la solución particular
u = 1, la solución general será u = 1 + ǫ cos(ϕ− ϕ0 ), donde ǫ y ϕ0 son constantes
arbitrarias. Por lo tanto
p
r= ,
1 + ǫ cos(ϕ − ϕ0 )
www.elsolucionario.net
p/(1 − ǫ). El eje mayor de la elipse es entonces
p p 2p
2a = + = ,
1+ǫ 1−ǫ 1 − ǫ2
Por lo tanto a = p/(1 − ǫ2 ), c = aǫ y b2 = a2 − c2 = a2 (1 − ǫ2 ) = ap. Si T es el
período, entonces el área barrida por OP en el tiempo T es el área completa de
la elipse, es decir πab (ver Ejemplo 2.29 pág. 53). Es decir que πab = kT /2, de
donde T = 2πab/k, y como k 2 = pGM y p = b2 /a, nos queda
4π 2 a2 b2 4π 2 a2 b2 4π 2 a3
T2 = 2
= = ,
k pGM GM
Capítulo 6
www.elsolucionario.net
6.1. Modelos Ecológicos
6.1.1. Modelo Exponencial
La ecuación diferencial
y ′ = ky,
que se analizó en el capítulo precedente a propósito de la desintegración radio-
activa, puede aplicarse a muchos otros fenómenos naturales, entre ellos a las
reacciones químicas de primer orden, como por ejemplo la descomposición del
peróxido de hidrógeno H2 O2 en agua y oxígeno.
El mismo modelo se aplica a la reproducción de organismos vivos. En efecto,
si n es la tasa de natalidad (número de nacimientos per cápita en la unidad de
tiempo) y m la tasa de mortalidad (número de muertes per cápita en la unidad
de tiempo), entonces la variación ∆y del tamaño de la población en un intervalo
de tiempo ∆t es
∆y = ny∆t − my∆t,
es decir que
∆y
= ny − my
∆t
y tomando límites cuando ∆t → 0 queda
y ′ = (n − m)y.
En una segunda fase, si hay una elevada concentración de nutrientes, las bac-
terias crecen hasta un tamaño fijo y luego se reproducen en forma asexuada,
por fisión binaria. Este proceso tarda, según el tipo de bacteria, entre 15 y 30
minutos. El crecimiento es exponencial, y en pocas horas pueden llegar a miles
de millones.
www.elsolucionario.net
nutrientes también 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 más sencillos que se ha propuesto para representar este comportamiento
es el llamado modelo logístico, caracterizado por la ecuación
y
y ′ = ky 1 − . (6.1)
b
Mientras y sea pequeño en relación a b, este modelo se comporta de modo similar
al exponencial y ′ = ky. Pero si y se acerca a b la tasa de crecimiento disminuye,
hasta hacerse 0 para y = b, que actúa así como una barrera para y.
Las soluciones de (6.1) tales que 0 < y(t) < b pueden hallarse observando
que
b 1 1
= + ,
y(b − y) y b−y
www.elsolucionario.net
por lo tanto
y′ y′ by ′
(log(y) − log(b − y))′ = + = = k,
y b−y y(b − y)
es decir
log(y) − log(b − y) = kx + C
para alguna constante C, de donde y/(b − y) = ekx+C y se despeja
bekx+C
y= .
1 + ekx+C
Si y0 = y(0) = beC /(1 + eC ) entonces eC = y0 /(b − y0 ) y
www.elsolucionario.net
6.1.3. Modelo predador-presa
A mediados de la década de 1920 el biólogo italiano Umberto D’Ancona
estudió datos sobre la pesca en el mar Adriático, durante los años de la Pri-
mera Guerra Mundial (1914-1918) y siguientes. Observó que el porcentaje de
seláceos (tiburones, rayas, jureles, etc.) en el total de peces capturados había
aumentado mucho durante la guerra. Pensó que esto se debía al reducido nivel
de pesca durante este periodo, que al dejar más peces pequeños para alimento
de los grandes, hacía que la población de éstos aumentara. Pero el número de
peces pequeños, en vez de aumentar, disminuía. Entonces D’Ancona consultó a
su suegro, el matemático Vito Volterra (1860-1940), quien formuló un modelo
matemático 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 crecerían
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 número de predadores, y 4) la tasa de natalidad de los predadores
es directamente proporcional al número de presas.
Llamando x(t) al número de presas e y(t) al número de predadores, en el
instante t, Volterra planteó el siguiente sistema de ecuaciones diferenciales:
0 = x(a − by),
0 = −y(c − dx),
www.elsolucionario.net
que tiene la solución trivial (0, 0) y la solución x = c/d, y = a/b, las cuales se
interpretan como puntos de equilibrio del sistema.
Para a = b = c = d = 1 la figura siguiente muestra las gráficas de las
soluciones x(t) e y(t)) en función 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 periódicas desfasadas (una parece seguir, con retardo, a
la otra). Puede probarse que en general este es el tipo de comportamiento del
modelo.
1,4
1,2
x
1
0,8
0,6
0 2 4 6 8 10 12
t
(1, 2), (1, 5/2) y (1, 3). Como se ve son órbitas periódicas alrededor del punto
de equilibrio (1, 1).
2,5
1,5
www.elsolucionario.net
0,5
6.2. Economía
El análisis matemático de la Economía tiene una gran complejidad y exige
herramientas matemáticas que van mucho más allá del cálculo, entre ellas la
teoría de probabilidades, la teoría de juegos, los sistemas dinámicos y posible-
www.elsolucionario.net
mente nuevas ramas de la matemática que aún no se han desarrollado. Por eso
los ejemplos siguientes son necesariamente muy sencillos y sólo pretenden mos-
trar que la aplicación de la matemática a la economía va mucho más allá de la
mal llamada matemática financiera.
www.elsolucionario.net
La inflación es la tasa de variación del IPC respecto al tiempo, es decir
la primera derivada del IPC respecto al tiempo. La “tasa de aumento de la
inflación” es entonces la segunda derivada del IPC, y la afirmación del presidente
Nixon equivale entonces a decir que la tercera derivada del IPC era negativa.
Sería interesante saber cuántas personas entendieron, al escuchar el anuncio
de Nixon, que no sólo los precios sino la inflación estaban aumentando, sólo que
ésta última había pasado por un punto de inflexión.
El análisis de las causas y remedios de la inflación es bastante complejo,
y como suele suceder en economía ha dado lugar al planteamiento de diversas
teorías, no solo diferentes sino hasta contradictorias.
www.elsolucionario.net
Figura 6.4: Curvas de oferta y demanda
Por lo tanto sólo nos queda pensar que los defensores de la teoría de la “mano
invisible” lo hacen por ignorancia o porque sus intereses políticos o económicos
privan sobre su honestidad intelectual.
www.elsolucionario.net
www.elsolucionario.net
Soluciones a ejercicios
seleccionados
www.elsolucionario.net
(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 2
− 2 2
2 ∈ Q( 2).
a+b 2 (a + b 2)(a − b 2) a − 2b a − 2b
www.elsolucionario.net
I3 = {x ∈ I : b ≤ x}. Si f fuese decreciente en los tres, entonces sería decreciente
en I. Por lo tanto f no es decreciente en algún Ij , es decir que existen c, d ∈ Ij
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 (pág. 21)
Si existiese L = lı́mx→c h(x), tomando por ejemplo U = (L − 1/4, L + 1/4)
debería existir un entorno reducido V ∗ de c tal que, si x ∈ V ∗ entonces f (x) ∈ U .
Pero en V ∗ hay tanto racionales como irracionales, por lo tanto f tomaría en V ∗
tanto el valor 1 como el 0. Pero esto es absurdo pues U no tiene dos elementos
que difieran en 1.
Ejercicio 2.19 (pág. 22)
Sea f : (a, b) → R monótona creciente. Si f no es acotada superiormente, es
evidente que lı́mx→b− f (x) = +∞. Si f es acotada superiormente, por el princi-
pio del supremo existe L = sup{f (x) : a < x < b}. Entonces lı́mx→b− f (x) = L.
En efecto, dado ǫ > 0 existe c ∈ (a, b) tal que L − ǫ < f (c) ≤ L (ver Ejercicio
2.2, pág. 15). Por lo tanto, si c < x < b, L − ǫ < f (c) ≤ f (x) ≤ L.
Análogamente se prueba la existencia de lı́mx→a+ f (x).
Ejercicio 2.23 (pág. 23)
No, pues en este ejemplo no se cumplen las hipótesis del Teorema 2.1. Espe-
cíficamente, g no envía ningún entorno reducido del 0 en un entorno reducido
del 0.
Ejercicio 2.24 (pág. 24)
www.elsolucionario.net
p
Sean f (x) = 1/x, g(x) = x, h(x) = |x|, k(x) = x sin(1/x). Entonces
lı́mx→0 f (x) = ∞, lı́mx→0 g(x) = lı́mx→0 h(x) = lı́mx→0 k(x) = 0,
lı́mx→0 f (x)g(x) = 1, lı́mx→0 f (x)h(x) = ∞ y lı́mx→0 f (x)k(x) no existe.
Ejercicio 2.27 (pág. 26)
1 1
a) lı́mx→0 (1 + x) x2 no existe, ya que lı́mx→0− (1 + x) x2 = 0 pero
1
lı́mx→0+ (1 + x) x2 = +∞.
1
b) lı́mx→0 (1 + x) x = e.
1
c) lı́mx→0+ (1 + |x|) x2 = +∞.
Ejercicio 2.28 (pág. 28)
Es inmediato si se usa la caracterización del supremo dada en el Ejercicio
2.2 (pág. 15).
Ejercicio 2.29 (pág. 28) √
La sucesión xn está acotada superiormente por 2, ya√que x1 = √2 < 2 y si
www.elsolucionario.net
se supone inductivamente que xn < 2, entonces xn+1 = 2 + xn < 2 + 2 = 2.
Además xn es creciente, ya que
√ xn+1 se obtiene sustituyendo el 2 del radical
más interior en xn por 2 + 2. Entonces, por el ejercicio precedente, existe
L = lı́mx→+∞ xn . Como x2n+1 = 2 + xn , tomando límite en ambos miembros
resulta L2 = 2 + L, y descartando la raíz negativa queda L = 2.
Ejercicio 2.31 (pág. 29)
Es continua en todo punto excepto en los enteros, en los cuales presenta
discontinuidades de salto.
Ejercicio 2.32 (pág. 29)
Es continua en todo punto. La única duda podría presentarse en 0, pero
dado ǫ > 0, si 0 < |x| < ǫ entonces |x sen x1 | ≤ |x| < ǫ. Por lo tanto también es
continua en 0.
Ejercicio 2.33 (pág. 31)
Sean f (t) la distancia a la que está Francisca del muelle en el instante t, y
g(t) la distancia de Gabriel al muelle en el instante t. El dominio de f es [3, 5]
y se tiene f (3) = f (5) = 0 y f (t) > 0 para 3 < t < 5. El dominio de g es [4, 6],
g(4) = g(6) = 0 y g(t) > 0 para 4 < t < 6. En el intervalo [4, 5] están definidas
tanto f como g, por lo tanto también lo está su diferencia h(t) = g(t) − f (t).
Ahora bien, h(4) = g(4) − f (4) = −f (4) < 0, y h(5) = g(5) − f (5) = g(5) > 0.
Por lo tanto, suponiendo la continuidad de f y g, la aplicación del teorema
de Bolzano a la función h en el intervalo [4, 5] nos dice que existe un instante
t ∈ (4, 5) tal que h(t) = 0, es decir, tal que f (t) = g(t).
Ejercicio 2.34 (pág. 32)
Si v está comprendido entre f (a) y f (b), entonces f (a) − v y f (b) − v son
de distinto signo, y la aplicación del teorema de Bolzano a la función f (t) − v
en el intervalo [a, b] nos dice que existe c ∈ (a, b) tal que f (c) − v = 0, es decir
f (c) = v.
Ejercicio 2.35 (pág. 32)
www.elsolucionario.net
www.elsolucionario.net
ciente es similar). Sea J = f (I) (que es un intervalo por el Ejercicio 2.35) y
consideremos f −1 : J → I. Dado d ∈ J sea c = f −1 (d) ∈ I. Si ǫ > 0 es tal que
(c − ǫ, c + ǫ) ⊂ I y f (c − ǫ) < y < f (c + ǫ), entonces c − ǫ) < f −1 (x) < c + ǫ, es
decir que f −1 es continua en c. (Esta prueba requiere una pequeña adaptación
si d es un punto extremo de J, pero el lector llenará sin dificultad los detalles).
Ejercicio 2.37 (pág. 32)
La función (
sen x si x 6= 0,
f (x) =
0 si x = 0,
no es continua en 0 pero tiene la propiedad de Darboux.
Mucho más difícil es mostrar una función con la propiedad de Darboux que
no sea continua en ningún punto. Pero sí existen, por ejemplo sea f : [0, 1] → R
definida de la siguiente manera:
Dado x ∈ [0, 1], consideremos su representación como una expresión decimal
infinita x = 0.a1 a2 a3 . . . (si x admite dos de estas representaciones, escogemos la
que termina en infinitos nueves). Si la sucesión a1 , a3 , a5 , a7 , . . . no es periódica,
se define f (x) = 0. Si en cambio a1 , a3 , a5 , a7 , . . . es periódica y su primer período
comienza en a2k−1 , se define f (x) = 0.a2k a2k+2 a2k+4 . . ..
Se puede probar que esta función, en cualquier intervalo [c, d] ⊂ [0,1], toma
todos los valores comprendidos entre 0 y 1, y de allí se sigue fácilmente que tiene
la propiedad de Darboux pero no es continua en ningún punto.
Ejercicio 2.38 (pág. 32)
Sean f (xi ) y f (xj ) el mínimo y el máximo, respectivamente, de los valores
f (x1 ), f (x2 ),. . . , f (xn ). Entonces
www.elsolucionario.net
d
dt f (1/t) f ′ (1/t)(−1/t2) f ′ (1/t) f ′ (x)
lı́m = lı́m = lı́m = lı́m
t→0 d g(1/t) t→0 g ′ (1/t)(−1/t2 ) t→0 g ′ (1/t) x→∞ g ′ (x)
dt
pb2 − pa2
y = pa2 + (x − a) = pa2 + p(a + b)(x − a).
b−a
Como
a+b 2 a−b 2
www.elsolucionario.net
pa2 + p(a + b)(x − a) − px2 = −p(x − ) + p( ) ,
2 2
se ve que el punto del arco de parábola AB más alejado del segmento AB es
C = ((a + b)/2, p(a + b)2 /4). El área del triángulo ABC es
pa2
1 a
1 1 3
1 a+b2 p( a+b 2
2 ) = 8 p(b − a) .
2 2
1 b pb
El área del trapecio limitado por la recta AB, el eje Ox y las rectas x = a y
x = b es (pa2 + pb2 )(b − a)/2. Como (px3 /3)′ = px2 , por la regla de Barrow el
área limitada por la parábola, el eje Ox y las rectas x = 1 y x = b es p(b3 −a3 )/3.
Efectuando la diferencia resulta que el área del segmento parabólico es
1 1 1
p(a2 + b2 )(b − a) − p(b3 − a3 ) = p(b − a)3 ,
2 3 6
que son precisamente dos tercios del área del triángulo ABC.
Ejercicio 3.1 (pág. 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)a−1 − 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 sólo si x = 0.
Ejercicio 3.2 (pág. 56) No, sólo puede afirmarse que f ′ (x) ≥ 0. Por ejemplo
f (x) = x3 es estrictamente creciente en [−1, 1] pero f ′ (0) = 0.
Ejercicio 3.3 (pág. 60) Sean h la altura y r el radio del envase cilíndrico.
Entonces el volumen es πr2 h = 1, y h = 1/(πr2 ). El área total es la suma del
àrea de las bases, 2πr2 , con el área lateral 2πrh = 2/r, es decir A(r) = 2πr2 +2/r.
Como A(r) es diferenciable en (0, +∞) y lı́mr→0+ A(r) = lı́mr→+∞ A(r) = +∞,
se concluye que A(r) tiene mínimo en (0, +∞) y éste se alcanza en un punto
www.elsolucionario.net
crítico.pAhora bien, como A′ (r) =p4πr − 2/r2 , el único punto crítico corresponde
a r = 3 1/(2π), y entonces h = 3 4/π = 2r.
Ejercicio 3.4 (pág. 60) Sean C = (x, 0), α = ∠ACB y β = ∠OCA. Como el
problema es obviamente simétrico respecto al origen, supondremos x ≥ 0. Como
tg β = OA/OC = 1/x y tg(α + β) = OB/OC = 3/x se tiene
3
tg(α + β) − tg β −1 2x
tg α = tg((α + β) − β) = = x 3x = 2 ,
1 + tg(α + β) tg β 1 + x2 x +3
por lo tanto
2(x2 + 3) − (2x)(2x) 2(3 − x2 )
(tg α)′ = 2 2
= 2
(x + 3) (x + 3)2
√ √
y se observa que (tg α)′ es positiva en√[0, 3) y negativa en ( 3, +∞), en con-
secuencia tg α alcanza su máximo en 3. Lo mismo ocurre con α√(ya que tg α
es una función creciente de α). Como el valor máximo de tg α es 3/3, el valor
www.elsolucionario.net
máximo de α es 30◦ .
Ejercicio 3.5 (pág. 64) Recordemos que se trata de hallar el máximo de V (x) =
x(a− 2x)2 en el intervalo [0, a/2]. Pero por la desigualdad aritmético-geométrica
se tiene
3
8a3
4x + (a − 2x) + a − 2x)
4x(a − 2x)2 ≤ = ,
3 27
con igualdad si y sólo si 4x = a − 2x, por lo tanto V (x) ≤ 2a3 /27, con igualdad
sólo para x = a/6.
Ejercicio 4.22 (pág. 92) a) Por L’Hôpital,
n
! Pn
1 a xα log(x )
Pni i α i
X
α i=1
lı́m log(mα ) = lı́m log ai xi = lı́m
α→0 α
i=1 ai xi
α→0 α→0
i=1
n n
Pn !
i=1 ai log(xi ) X Y
ai
= Pn = ai log(xi ) = log xi ,
i=1 ai i=1 i=1
Qn
de donde lı́mα→0 mα = i=1 xai i .
b) Supongamos que máx{x1 , x2 , . . . , xn } = xj . Entonces para cualquier α > 0
se tiene !1/α
n
α 1/α
X
α
aj xj ≤ mα (x1 , x2 , . . . , xn ) ≤ ai xj ,
i=1
es decir que
1/α
aj xj ≤ mα (x1 , x2 , . . . , xn ) ≤ xj
y tomando límites cuando α → +∞ y aplicando el teorema del sándwich se
obtiene el resultado deseado.
La parte (c) es análoga.
www.elsolucionario.net
Bibliografía
www.elsolucionario.net
to, 2001.
[2] Courant, R., John, F. Introducción al Cálculo y al Análisis Matemático,
Ed. Limusa, México, 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. 195–206.
[5] Guzman, M. de, Ecuaciones Diferenciales Ordinarias - Teoría de Estabili-
dad y Control, Ed. Alhambra, Madrid, 1975.
[6] Hirsch, M., Smale, S., Differential Equations, Dynamical Systems and Li-
near Algebra, Academic Press, 1974.
[7] Keisler, H. J., Elementary Calculus: An Approach Using Infinitesimals, 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., Análisis Matemático vol. I,
Kapelusz, Buenos Aires, 1958.
[10] Robinson, A., Non-standard analysis, Revised edition, Princeton University
Press, 1996.
[11] Rossi, H., Mathematics Is an Edifice, 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. 222–230.
[13] Spivak, M., Calculus, 2a. edición, Ed. Reverté, 1992.
www.elsolucionario.net
Índice alfabético
abscisa, 3 derivada, 33
análisis no estándar, 10 de función compuesta, 39
àrea, 51 de función inversa, 40
Arquímedes, 53 de orden superior, 43
asíntota, 26 infinita, 33
lateral, 34
www.elsolucionario.net
Barrow, Isaac, 52 Descartes, René, 3
Beltrami, Eugenio, 83 desigualdad
Berkeley, George, 7 aritmético-geométrica, 90
Bernoulli, Jakob, 55, 87, 105 de Bernoulli, 55
Bernoulli, Johann, 41, 105, 110 de Hölder, 94
braquistócrona, 110 de Jensen, 90
de Minkowski, 94
Cantor, Georg, 12 de Young, 93
cardioide, 86, 87 discontinuidad, 29
catenaria, 105 de salto, 29
Cauchy, Augustin Louis, 9, 12 evitable, 29
cáustica por reflexión, 84
centro de curvatura, 76 ecuación
cicloide, 74 característica, 101
composición, 19 diferencial, 100
condiciones iniciales, 100 lineal, 100
continuidad, 28 EDO, 100
uniforme, 33 elipse
coordenadas polares, 86 área de la, 53
cortaduras, 12 ecuación polar, 89
cotas, 15 entorno, 17
Courant, Richard, 5 reducido, 17
curva envolvente, 84
alabeada, 73 epicicloide, 75
plana, 73 espiral
rectificable, 70 de Arquímedes, 87
regular, 75 Logarítmica, 87
curvatura, 76 Euclides, 2
Eudoxo, 2
Darboux, Jean Gaston, 32 Euler, Leonhard, 8, 9
Dedekind, Richard, 12 evoluta, 79
www.elsolucionario.net
evolvente, 77 involuta, 77
excentricidad, 89 isócrona, 109
extremo local, 20
Kepler, Johannes, 7, 111
Fermat, Pierre de, 3, 63, 110
fluxión, 5 L’Hôpital, Guillaume de, 41
fórmula límite, 21
de Euler, 102 Lagrange, Joseph-Louis, 8, 38
de Taylor, 45 Le Verrier, Urbain, 115
fórmulas de Frenet, 77 Leibniz, Gottfried W., 5, 105
Frenet, Jean Frédéric, 77 Leonardo da Vinci, 96
función, 18 ley
biyectiva, 18 de Hooke, 103
cóncava, 50 de Snell, 63, 110
continua, 29 leyes
www.elsolucionario.net
convexa, 48 de Kepler, 7, 111
derivada, 33 de Newton, 96, 112
discontinua, 29 longitud de arco, 70
impar, 67 Lotka, Alfred J., 119
inversa, 18
inyectiva, 18 Méray, Charles, 12
monótona, 20 Maclaurin, Colin, 47
creciente, 20 Malthus, Thomas, 116
decreciente, 20 máximo
par, 67 de un conjunto, 15
periódica, 67 de una función, 20
sobreyectiva, 18 local, 20
media
Galileo, 105 aritmética, 90
Gateway Arch, 105 pesada, 91
Gaudí, Antoni, 105 armónica, 92
Graviner, Judith V., 1 pesada, 91
cuadrática, 92
Heron de Alejandría, 62 de orden α, 91
hipocicloide, 75 geométrica, 90
Hölder, Otto L., 94 pesada, 91
Hooke, Robert, 8, 103 método de Newton, 69
Huygens, Christiaan, 105, 109 mínimo
de un conjunto, 15
imagen, 18 de una función, 20
ínfimo, 15 local, 20
infinitésimo, 44 Minkowski, Hermann, 94
infinito, 44 modelo
inflación, 121 exponencial, 116
interior, 17 logístico, 117
intervalos, 17 predador-presa, 118
www.elsolucionario.net
nefroide, 86 supremo, 15
Newton, Isaac, 5, 69, 112
notación de Landau, 44 tautócrona, 109
Taylor, Brook, 45
ortóptica, 88 teorema
de Cauchy, 40
péndulo isócrono, 109 de Heine-Cantor, 33
parámetro, 73 de Rolle, 37
podaria, 88 de Taylor, 46
polinomio de Torricelli, 107
de Taylor, 45 del sándwich, 25
preimagen, 18 del valor medio, 38
primitiva, 43 fundamental del Cálculo, 6, 51
Principio Torricelli, Evangelista, 107
de Fermat, 63, 110 tractriz, 83
www.elsolucionario.net
del ínfimo, 16 triedro de Frenet, 77
del supremo, 15
producto vector
cartesiano, 18 binormal, 77
escalar, 73 normal, 76
vectorial, 73 tangente, 75
Propiedad de Darboux, 32 velocidad
punto de escape, 114
crítico, 34 instantánea, 36
de inflexión, 50 media, 36
Volterra, Vito, 118
radio de curvatura, 76
Weierstrass, Karl, 10, 12
regla
de Barrow, 52
de L’Hôpital, 41
de la cadena, 39
de Leibniz, 44
regula falsi, 69
relación, 18
Robbins, Herbert, 5
Robinson, Abraham, 10