Beruflich Dokumente
Kultur Dokumente
PRELIMINARES
1.1 LOS NMEROS REALES
1.1.1 LA RECTA NUMRICA REAL
DEFINICIN DE NMERO REAL
El clculo se basa en el sistema de los nmeros reales y en sus propiedades.
Considrese el conjunto de todos los nmeros (racionales e irracionales) que pueden
medir longitudes, junto con sus negativos y el cero. Estos nmeros se llaman nmeros
reales. e incluyen a todas las decimales (peridicas y no peridicas).
Nmero real es aquel que se puede expresar en forma decimal (finita, peridica infinita o
no peridica infinita).
Existen smbolos estndar para identificar los nmeros reales. De aqu en adelante, N
designar al conjunto de los nmeros naturales (enteros positivos), Z designar al
conjunto de los enteros, Q (cociente de enteros) al de los nmeros racionales y R al de
los reales. El conjunto de todos los nmeros reales puede clasificarse como se sugiere en
el esquema siguiente,
Razones de Enteros
(positivas y negativas)
Racionales
positivos (naturales)
Enteros
Nmeros Reales
cero
negativos
Irracionales
(positivos y negativos)
El sistema numrico se puede extender an ms con los nmeros complejos. Estos son
de la forma a + bi, donde a y b son nmeros reales e i =
1 se llama la unidad
x
-4 -3 -2 -1 0
AXIOMAS DE CUERPO:
1. AXIOMAS DE CLAUSURA O CERRADURA: Para todo a, b R, a + b R y a b R
2. AXIOMAS DE CONMUTATIVIDAD:
Para todo a, b, c R, (a + b) + c = a + (b + c) y
3. AXIOMAS DE ASOCIATIVIDAD:
4. AXIOMAS DE DISTRIBUTIVIDAD:
5. AXIOMAS DE IDENTIDAD:
Para todo a, b R, a + b = b + a y a b = b a
(a b) c = a (b c)
Para todo a, b, c R, a (b + c) = (a b) + (a c )
a + 0 = a y a 1 = a.
El nmero real 0 se llama idntico aditivo o elemento neutro para la suma, y el nmero
real 1 se llama idntico multiplicativo o elemento neutro para la multiplicacin.
6. AXIOMAS DE INVERSOS:
Para toda a R existe otro elemento de R, designado por a tal que satisface la
expresin
a + (- a) = 0.
Adems, para toda a R (a 0), existe otro elemento de R, designado por a 1 tal que
satisface la expresin
a a 1 = 1.
El elemento a se llama inverso aditivo (o negativo) de a y el elemento a 1 se llama
inverso multiplicativo (o recproco) de a.
Desgraciadamente los axiomas de campo no dan una norma que permita comparar
nmeros reales. Una importante propiedad de los nmeros reales es que pueden
ordenarse.
Los nmeros reales distintos de cero se separan en forma adecuada en dos conjuntos
ajenos los nmeros reales positivos y los nmeros reales negativos. Esto permite
introducir la relacin de orden < (menor que) y > (mayor que).
Para comparar nmeros reales se necesitan adems los axiomas de orden. Si un cuerpo,
como el de los nmeros reales, satisface los cuatro axiomas siguientes, se dice que es
ordenado.
AXIOMAS DE ORDEN:
1. AXIOMA DE TRICOTOMIA: Si a, b R, entonces una y slo una de las siguientes
proposiciones es vlida:
a < b, a = b o a > b
2. AXIOMA DE TRANSITIVIDAD: SI a, b, c R, y son tales que a < b y b < c, entonces a < c
3. AXIOMA DE ADICIN:
Las relaciones de orden (menor o igual que) y (mayor o igual que) se definen como
a b a b es negativa o cero
a b a b es positiva o cero
Los smbolos > o bien < se llaman signos de desigualdad, y las expresiones como a > b o
a < b se llaman desigualdades. Por el modo en que se construye la recta numrica l en la
figura 1.1, se puede ver que si A y B son puntos con coordenadas a y b respectivamente,
entonces a > b (o bien b < a) si y slo si A est a la derecha de B.
El signo de un nmero real se considera positivo o negativo si el nmero es positivo o
negativo. Dos nmeros reales tienen el mismo signo si ambos son positivos o negativos;
tienen signos opuestos si uno es positivo y el otro negativo.
Por intervalo semiabierto se entiende un intervalo abierto (a, b) junto con uno de sus
puntos terminales. Hay dos tipos de intervalos semiabiertos:
[a, b) = {x : x R, a x < b}
INTERVALOS INFINITOS
Para describir desigualdades como x < a o x > a, conviene utilizar intervalos infinitos. En
particular, si a es un nmero real, definimos
(- , a) = {x : x < a}
Esto es, (- , a) denota al conjunto de todos los nmeros reales menores que a. El smbolo
(llamado infinito) es solamente un artificio de notacin y no debe interpretarse como un
nmero real.
Si deseamos incluir el punto correspondiente a a escribimos
(- , a] = {x : x a}
Otros tipos de intervalos infinitos se definen mediante
(a, ) = {x : x > a}
[a, ) = {x : x a}
El conjunto R de los nmeros reales se denota algunas veces mediante (- , ).
En la figura 1.2 se presentan las grficas de los intervalos infinitos para un nmero real
arbitrario a. La ausencia de un crculo a la izquierda de las grficas de (- , a) y (- , a] y a
la derecha de (a, ) y [a, ), indica que las porciones de trazo grueso es extienden
indefinidamente.
(- , a)
a
(- , a]
a
(a, )
[a, )
x
x
x
a
x
a
Figura 1.2. Intervalos infinitos
Intervalo cerrado:
[a, b] = {x : x R, a x b}
(a, b] = {x : x R, a < x b}
[a, b) = {x : x R, a x < b}
INTERVALOS INFINITOS:
(- , a) = {x : x < a}
(- , a] = {x : x a}
(a, ) = {x : x > a}
[a, ) = {x : x a}
(- , ) = {x : x R}
1.2.2 DESIGUALDADES
DEFINICIN DE DESIGUALDAD
Un enunciado que indique que una cantidad es mayor o menor que otra cantidad se
denomina desigualdad.
Existen dos tipos generales de desigualdades en matemticas: la desigualdad condicional
o inecuacin y la desigualdad absoluta.
Una desigualdad se llama desigualdad absoluta si es verdadera (se satisface) para todos
los valores permisibles de las variables que aparecen en ella.
Una desigualdad se llama desigualdad condicional o inecuacin si no es verdadera para
todos los valores permisibles de las variables que aparecen en ella.
Por ejemplo,
2x 6 > 0
TEOREMA 1.2.1
Si a, b R, entonces: a) a > b si y slo si - a < - b
b) a < b si y slo si - a > - b
DEMOSTRACIN:
Si a > b, por el axioma de orden 3 se tiene:
COROLARIO
Si a > 0. entonces - a < 0
DEMOSTRACIN:
a>0
a + (- a) > 0 + (- a)
0>-a
-a<0
TEOREMA 1.2.2
Si a > b y c < 0, entonces a c < b c
DEMOSTRACIN:
a>byc<0
8
(esto es - c > 0)
a (- c) > b (- c)
-ac>-bc
ac<bc
(por el teorema 1)
Este teorema nos dice que siempre que se multiplique una desigualdad por un nmero
negativo, el sentido de la desigualdad se invierte.
TEOREMA 1.2.3
Si a > b y c > d, entonces a + c > b + d
DEMOSTRACIN:
a>b
a+c>b+c
c>d
b+c>b+d
a+c>b+c>b+d
a+c>b+d
TEOREMA 1.2.4
Si a, b, c, d son nmeros positivos y si a > b y c > d, entonces a c > b d
DEMOSTRACIN:
a>b
ac>bc
c>d
bc>bd
ac>bc>bd
ac>bd
TEOREMA 1.2.5
Si c > 0 y a > b, entonces a + c > b
DEMOSTRACIN:
a>b
a-b>0
a-b+c>0
a+c>b
c >0
TEOREMA 1.2.6
a) Si a > 0 y a > 1, entonces a 2 > a
2
DEMOSTRACIN:
a)
b)
c)
a>1
a - 1 > 0,
(a -1) (a) > 0
a2-a>0
a2>a
a<1
1 - a > 0,
(1 - a) (a) > 0
a-a2>0
2
-a >-a
2
a <a
m > 0,
a>1
d)
a>0
n > 0,
mn
m-n>0
a m-n 1
a m a -n 1
a m a -n a n a n
aman
a, b > 0 y a > b
a-b>0
a (a - b) > 0
a2-ab>0
a2>ab
10
a>0
b (a - b) > 0
ab-b2>0
ab>b2
a2>ab>b2
a2>b2
e)
m>0
1
>0
m
a<b
1
1
<b
m
m
a
b
<
m
m
f)
m<0
1
<0
m
a<b
1
1
>b
m
m
a
b
>
m
m
11
2. 4 - 2x < 3x + 1
4. - 4 2x - 3 < 4
de la funcin. Por ejemplo, si los ceros de una funcin cuadrtica son r1 y r2, se sigue
entonces que el producto (x r1)(x r2) cambiar de positivo a negativo slo en r1 o en
r2. Estos puntos en los que un factor se anula se llaman puntos de separacin, ya que
separan o dividen a una recta numrica real l en tres o ms intervalos, y son la clave para
determinar el conjunto solucin de las desigualdades cuadrticas y de grado superior.
ax2 + bx + c > 0
2. Factorizar el primer miembro de la desigualdad, obteniendo
3. Determinar el signo de la funcin en los intervalos: (a) para todos los valores de x
menores que el menor de los ceros, (b) para todos los valores de x entre dos ceros
consecutivos, (c) para todos los valores de x mayores que el mayor de los ceros. Para
esto se selecciona un nmero k, llamado valor de prueba, perteneciente al interior de
cada intervalo, se sustituye en el polinomio factorizado del paso 2 y se determina el
signo de cada factor, recordando el hecho de que un factor lineal x r es positivo slo si
x > r y negativo si x < r.
4. Seleccionar los intervalos del paso 3 que satisfagan la desigualdad dada.
Valor de prueba k
Producto
(x r1)(x r2)
(- , r1)
(r1, r2)
(r1, )
Signo de f (x)
13
Este mtodo para resolver una desigualdad utilizando los ceros de la funcin tambin
puede emplearse para resolver desigualdades de grado superior a 2.
Por otra parte, tambin hay que considerar el caso de una desigualdad de segundo grado
que no puede factorizarse en factores lineales reales.
TEOREMA 1.2.7
Si la funcin cuadrtica
ax2 + bx + c,
a0
tiene su discriminante b 4ac negativo, la funcin es positiva para todo valor de x si a >0
y es negativa si a < 0.
Este teorema es muy til siempre que uno o ms factores en una desigualdad sean
funciones cuadrticas irreducibles. Cada uno de dichos factores puede ser suprimido sin
ningn cambio en el resto, excepto en el caso de que se trate de una funcin negativa
pues entonces hay que invertir el sentido de la desigualdad.
DESIGUALDADES RACIONALES
Como su nombre lo indica, este tipo de desigualdades implican el cociente de dos
expresiones algebraicas que pueden ser ambas lineales o una de ellas o las dos
cuadrticas. Es claro que a medida que la linealidad de los componentes de la
desigualdad se altera, el proceso de resolucin se vuelve ms complicado. Considrese,
por ejemplo, la desigualdad
3
1
>
x + 2 x 1
Si el smbolo de desigualdad se reemplazara por el de igualdad, tendramos una ecuacin
con fracciones cuyas soluciones se encontraran multiplicando ambos miembros por el
menor denominador comn, por lo que podramos sentirnos inclinados a proceder de la
misma manera con esta desigualdad, pero si lo hacemos, encontraremos dificultades.
Esto es debido a que si no conocemos el signo de un multiplicador variable, entonces no
podemos decir si el sentido de la desigualdad se conserva o se altera (teorema 2). Por
tanto, nunca debemos multiplicar por un factor variable ambos miembros de una
14
desigualdad, a menos que dicho factor conserve el mismo signo en todo el dominio en
que est definido.
As, para encontrar el conjunto solucin de este tipo de desigualdad que, aunque no es
cuadrtica, puede resolverse tambin usando los puntos de separacin, seguiremos el
siguiente procedimiento:
Cociente
Intervalo
(- , r1)
Valor de prueba k
f (x) =
(r1, )
Signo de f (x)
2 ()
1 (1 )
2 (1 )
1 (2 )
2 (2 )
1 (3 )
2 (3 )
(r1, r2)
1 ()
1.
x+5
0
2x 1
x +1
x
4.
<
2 x 3+ x
2.
15
d (A, B) = |b a|
El nmero d (A, B) se llama longitud del segmento de recta AB.
d (A, B) = d (B, A)
16
d (0, A) = |a 0| = |a|
Por lo tanto, una de las mejores formas de pensar en el valor absoluto consiste en hacerlo
como distancia (no dirigida). En particular,
|x| = distancia entre x y el origen
|x a| = |a x| distancia entre x y a
Adems de ser til para encontrar la distancia entre dos puntos, el concepto de valor
absoluto tiene otros usos. Generalmente se emplea siempre que estemos interesados en
la magnitud o valor numrico de un nmero real sin importar su signo.
Es conveniente recordar aqu la definicin del signo de raz cuadrada, a saber: para todo
nmero positivo a, a denota la raz cuadrada no negativa de a, llamada raz cuadrada
De este modo,
(7) 2
=7y
( 7) 2
= - (- 7) = 7 y, en general,
x 2 = |x|
TEOREMA 1.3.1
Para toda a R, - |a| a |a|
DEMOSTRACIN:
Para la desigualdad de la derecha:
Si a 0, entonces |a| = a y 0 |a|
Si a < 0, entonces |a| = - a y 0 < - a
17
De donde
TEOREMA 1.3.2
Si a y b son dos nmeros reales cualesquiera, el valor absoluto de su producto (o
cociente) es igual al producto (o cociente) de sus valores absolutos:
|a b| = |a| |b|
a
a
= , b0
b
b
DEMOSTRACIN:
ab =
(ab ) 2
= a2 b2 = a2 b2 = a b
2
a
a
= =
b
b
TEOREMA 1.3.3
Si d > 0, entonces
a) |c| d si y slo si d c d
b) |c| d si y slo si c d c - d
18
a2
=
b2
a2
b2
a
b
, b0
DEMOSTRACIN:
a) Primero, si |c| d entonces d c d
Por teorema 1
entonces
Por teorema 1
Entonces
Por lo tanto
cd
- d - |c| c - d c
-dcd
Si c 0
|c| = c y como c d
Si c < 0
|c| = - c y como - d c
Entonces
Entonces
y
|c| d
-cd
|c| d
Si c < 0
Entonces
Entonces
cd
-cd
c-d
Si c 0
|c| = c y como c d
Si c < 0
Entonces
Entonces
|c| d
TEOREMA 1.3.4
Si a y b son dos nmeros reales cualesquiera, el valor absoluto de su suma es menor o
igual que la suma de sus valores absolutos:
|a + b| |a| + |b|
DEMOSTRACIN:
Por el teorema 1
- |a| a |a|
- |b| b |b|
|c| d
|a + b| |a| + |b|
2. |5 - 3x| < 7
x+4
4.
2
3
6. |7 - 4x| 9
20
|c| < d
|c| > d
|c| = d
si y slo si
si y slo si
si y slo si
d<c<d
c > d o bien c < - d
c = d o bien c = - d
Estas propiedades (teorema 1.3.3) se pueden usar para resolver desigualdades que
incluyen valores absolutos, puesto que proporcionan un recurso para eliminar los signos
de valor absoluto.
3
1
5 2x
2.
x+2
>5
x2
3.
3x + 8
4
2x 3
4.
x2
1
3 2x
5. |5x - 3| |3x + 5|
6. |3x + 1| < 2 |x 6|
21
22
RELACIN 1
Dominio
Recorrido
(nmero)
(cubo)
0
1
2
RELACIN 2
Dominio
Recorrido
(nmero)
(cuadrado)
0
1
8
-2
-1
0
1
2
4
1
0
RELACIN 3
Dominio
Recorrido
(nmero)
(raz
cuadrada)
0
0
1
1
-1
2
4
-2
3
9
-3
Esto es, todas las funciones son relaciones, pero algunas relaciones no son funciones.
Una funcin
f (x)
Dominio
Recorrido
Figura 2.1. Funcin
En los ejemplos del cubo, cuadrado y raz cuadrada anteriores, se observa que todas son
relaciones, pero solamente las relaciones 1 y 2 tambin son funciones, dado que a cada
valor del dominio corresponde precisamente un nico valor del recorrido. Por otra parte, la
relacin 3 no es una funcin, puesto que hay al menos un valor del dominio al que
corresponden ms de un valor del recorrido.
Dado que en una relacin (o funcin) los elementos del recorrido forman parejas con
elementos del dominio mediante alguna regla o proceso, esta correspondencia se puede
ilustrar mediante parejas ordenadas de elementos en los que el primer componente
representa un elemento del dominio y el segundo el elemento del recorrido que
corresponde. As, se pueden escribir las relaciones 1 a 3 en la forma:
Relacin 1 = {(0, 0), (1, 1), (2, 8)}
Relacin 2 = {(- 2, 4), (- 1, 1), (0, 0), (1, 1), (2, 4)}
Relacin 3 = {(0, 0), (1, 1), (1, - 1), (4, 2), (4, - 2), (9, 3), (9, - 3)}
23
Esto sugiere una forma alternativa, pero equivalente, de definir las funciones.
f (x) = 2x + 5
24
f (a) = 2a + 5
f (0) = 2 (0) + 5 = 5
f (- 1) = 2 (- 1) + 5 = 3, etc.
Es decir, los smbolos indican en una forma concisa que son los valores del recorrido
asociados a valores particulares del dominio. Ntese que el smbolo f (x) solamente tiene
sentido cuando x pertenece al dominio de f ; para otros x el smbolo f (x) no est definido.
Es muy importante entonces entender y recordar la definicin de f (x):
Aunque por lo general se usa f como smbolo para las funciones y x para la variable
independiente o argumento, se pueden usar otros smbolos. Por ejemplo, F (x), f (t), g (s),
(x), (), etc.
2
Igualmente, si una funcin se define como, por ejemplo f (x) = x , el smbolo que se usa
2
2
para la funcin y variable es irrelevante; esto es, expresiones como f (x) = x , f (s) = s ,
2
2
g (t) = t y k (r) = r , todas definen la misma funcin. Esto es cierto porque si a define
2
cualquier nmero en el dominio, entonces el mismo valor a se obtiene sin importar qu
expresin se emplee.
25
y
1
, hallar ( 41 ) , (0) , (x3), (x + 2), (- y) y 4
2
1+ y
z
f ( x + h) f ( x )
3. Si f (x) = 2x2 + 5x - 3, hallar
h
2. Si ( y ) =
f (x) = x2 x, x R
Para cada valor de x se obtiene un solo resultado f (x). Los nmeros considerados para x
son valores del dominio y los resultados obtenidos son valores del recorrido. La ecuacin
(la regla de correspondencia) asocia a cada valor x del dominio un valor f (x) del recorrido.
La variable x se llama variable independiente o argumento de la funcin y f (x) se llama la
imagen de x bajo f.
DEFINICIN DE DOMINIO
El dominio de una funcin est constituido por el conjunto de todos valores reales x que
hagan que el valor de la funcin tambin sea real e indica para qu valores est definida
la funcin y para cules no est definida.
Los nmeros que deben recordarse para excluirlos del dominio natural son aquellos que
causaran una divisin entre cero o la raz cuadrada de un nmero negativo.
EJEMPLO
a) La funcin f (x ) =
x
no est definida para x = 1 porque este valor anula el
x 1
denominador. Por tanto el dominio natural para f es Df = {x : x R, x 1}.
b) La funcin f (x ) =
1. f (x) = 2 + x x
3. f (x) =
5. f (x) =
(x + 1)(x + 2)
x+2
3
x 5 + 4 x 3 2x + 3
2. f (x) =
x
4 3x
4. f (x) =
x2 x 2
6. f (x) =
x
4 3x
27
FUNCIN CONSTANTE
Una funcin f es una funcin constante si hay algn elemento (fijo) c en el recorrido tal que
f (x) = c
para todo x en el dominio.
El dominio de una funcin constante est constituido por el conjunto de los nmeros
reales y su recorrido consta nicamente del valor c.
Esto es, si una funcin constante se representa mediante un diagrama del tipo que se
muestra en la figura 2.2, toda flecha que parte de D termina en el mismo punto en R.
D
x1
x2
x3
La grfica de la funcin constante es una recta paralela al eje de las abscisas, con
ordenada c:
f (x)
y = f (x) = x
c
0
D = {R}
R = {c}
FUNCIN IDENTIDAD
Es una funcin en la que para cada valor x del dominio le corresponde el mismo valor f (x)
del recorrido. Comnmente la funcin identidad se representa por I.
I (x) = f (x) = x
Tanto el dominio como el recorrido de la funcin identidad es el conjunto de los nmeros
reales.
28
La grfica de la funcin identidad es una recta que pasa por el origen y que tiene un
ngulo de inclinacin de 45.
f (x) = x
45
FUNCIN ALGEBRAICA
Una funcin algebraica es la formada un nmero finito de operaciones algebraicas en la
funcin constante y la funcin identidad.
f (x) = x2 2x + 5
f (x) =
f (x) = 5x4 - 3
x2 +
4x 2 3x + 2
x 3 + 2x 2 9
(x+2)
x +
3
f (x) =
3x + 5
x 1
2
f (x) = an x n + an 1 x n 1 + ... + a2 x2 + a1 x + a0
Es decir, es la que se obtiene al efectuar con las funciones constante e identidad un
nmero finito de operaciones de adicin y multiplicacin.
Cuando se escribe f (x) en esta forma se supone tcitamente que an 0. Los nmeros a0,
a1, , an son nmeros reales llamados coeficientes y los exponentes son enteros no
negativos. Si an 0, se dice que f es de grado n.
29
Una funcin polinomial debe ser considerada como la suma de funciones cuyos valores
k
son de la forma cx , en donde c es un nmero real y k es un entero no negativo. Dichas
funciones se llaman funciones potenciales.
El dominio de estas funciones es R.
Para polinomios de bajo grado se concretar la notacin de los coeficientes as:
Grado 0
Grado 1
Grado 2
Grado 3
f (x) = a
f (x) = ax + b
f (x) = ax2 + bx + c
f (x) = ax3 + bx2 + cx + d
Funcin constante
Funcin lineal
Funcin cuadrtica
Funcin cbica
FUNCIN RACIONAL
Una funcin f es una funcin racional si, para toda x en su dominio,
f (x ) =
g ( x)
h( x)
en donde g (x) y h (x) son polinomios y h (x) 0. Es decir, es el cociente de dos funciones
racionales enteras, siendo el divisor diferente de cero.
Ntese que una funcin racional se obtiene efectuando con las funciones constante e
identidad un nmero finito de operaciones de adicin, sustraccin, multiplicacin y
divisin.
Si g (c) = 0 entonces f (c) = 0. Sin embargo, si h (c) = 0, entonces f (c) no est definida.
Por lo tanto, el dominio de f (x) es el conjunto de todos los nmeros reales x tales que
h (x) 0. El comportamiento de f (x) requiere de especial atencin cuando x est cerca de
una raz del denominador h (x).
FUNCIN IRRACIONAL
Una funcin f es una funcin irracional si tiene la forma
f (x) =
P (x )
30
f (x) =
x 2 16
g (x) =
5x x + 1
3
2x 3
h (x) =
2x 3x x
3
5
El dominio de estas funciones son todos los nmeros reales, excepto aquellos que hagan
el radicando menor que cero cuando el ndice del radical es par.
Las funciones que no son algebraicas, como las funciones trigonomtricas,
trigonomtricas inversas, exponenciales y logartmicas (que sern presentadas ms
adelante) se denominan funciones trascendentes.
Todas las funciones, algebraicas y trascendentes, son la materia prima bsica para el
clculo.
31
Por supuesto, se necesita usar el sentido comn y hasta un poco de fe. Al unir las grficas
de los puntos mediante una curva suave, se est asegurando que la curva se comporta
de manera regular, lo cual es cuestin de fe. Esta es la razn de que deban graficarse
suficientes puntos para que el diseo de la curva aparezca muy claro; entre ms puntos
se dibujen, menos imaginacin se necesita. Tambin debe reconocerse que rara vez se
puede desarrollar la curva completa, pero la grfica debe mostrar las caractersticas
esenciales.
32
En consecuencia, la grfica de una funcin no puede ser una figura del tipo de una
circunferencia o de una parbola horizontal, en las que una recta vertical puede cortar a la
grfica en varios puntos.
no son tres funciones, sino una sola funcin donde la regla de correspondencia est dada
en tres partes. En este caso, una parte se usa para los nmeros reales negativos (x < 0),
otra parte para los nmeros reales mayores o iguales que 0 pero menores que 2 (0 x <
2) y la otra parte para los nmeros mayores o iguales que 2 (x 2); el dominio de f es la
unin de los intervalos (- , 0) [0, 2) [2, ) = (- , ).
33
f (x) = 1
x
f (x) = -
1
2
f (x) = x
f (x) =
x
34
x
2
f (x) = ax
(0, b)
x
Las grficas de las funciones lineales corresponden solamente a rectas no paralelas al eje
vertical. Las rectas verticales no son grficas de ninguna funcin.
1
x y determinar el dominio y el recorrido de f.
2
f (x) = x2
35
Ntese que una funcin polinomial de grado 1 es una funcin lineal. Cuando f es de grado
2
2, o sea de la forma f (x) = ax + bx + c, se le llama funcin cuadrtica. Si en esta funcin
b = c = 0, entonces tenemos f (x) = ax2 y su grfica es una parbola con vrtice en el
origen, que abre hacia arriba si a > 0 o hacia abajo si a < 0. Si b = 0 y c 0, entonces se
2
tiene f (x) = ax + c, cuya grfica es una parbola con vrtice en el punto (0, c) sobre el eje
vertical.
2
Si f (x) = ax + bx + c y b 0, entonces podemos emplear la tcnica de completar el
2
cuadrado para cambiar la forma de f (x) a f (x) = a (x - h) + k, cuya grfica es una
parbola con eje vertical y vrtice en (h, k), que abre hacia arriba si a > 0, o hacia abajo si
a < 0. Obsrvese que puesto que (h, k) es el punto ms bajo (o el ms alto) de la
parbola, f (x) tiene su mnimo (o mximo) valor en x = h. Este valor es f (h) = k.
Si b 4ac > 0, la ecuacin tiene dos soluciones reales y no iguales, y la grfica, dos
intersecciones x.
2
Si b 4ac = 0, la ecuacin tiene una solucin (doble) y la grfica es tangente al eje
horizontal.
Si b2 4ac < 0, la ecuacin no tiene soluciones reales y la grfica carece de
intersecciones x.
n
Las funciones de la forma f (x) = x para los distintos nmeros naturales n son, a veces,
llamadas funciones potenciales. Resulta fcil comparar sus grficas como en la figura 2.8,
dibujando varias a la vez.
f (x) = x3
f (x) = x2
f (x) = x4
(- 1, 1)
f (x) = x
(1, 1)
(- 1, - 1)
36
Las funciones potenciales son solamente casos especiales de las funciones polinomiales.
En la figura 2.9 se han trazado dos grficas de funciones polinomiales, es decir, funciones
de la forma
f (x) = an xn + an 1 x n 1 + a0
en el caso an > 0.
f (x) = x3 3x
f (x) = x2 + x
(a)
(b)
Figura 2.9. Funciones polinomiales
En cuanto a las funciones polinomiales de grado mayor que 2, se requieren mtodos que
ms adelante se estudiarn para hacer un anlisis completo de las grficas de estas
funciones. Generalmente, a medida que el grado aumenta, la grfica es ms complicada.
Sin embargo, su apariencia siempre es la de una curva aislada con algunos picos y
valles. Los puntos en los que se presentan los picos (o crestas) y los valles se llaman,
algunas veces, puntos crticos de la grfica de f. En un punto crtico f cambia de ser
creciente a ser decreciente, o viceversa.
Una forma elemental para obtener un esquema aproximado, consiste en representar
muchos puntos y ajustar a una curva suave a la figura resultante. Este procedimiento es
generalmente muy tedioso. La obtencin de las grficas por este mtodo implica el uso de
una propiedad de las funciones polinomiales llamada continuidad, que ms adelante
estudiaremos ampliamente y significa que un pequeo cambio en x produce un pequeo
cambio en el valor de la funcin f (x). Sin embargo, es posible aproximar la grfica de una
funcin polinomial elaborando una tabla de anlisis de signos, tal como se hizo en la
seccin 1.2.3.
37
1 2
x + 4.
2
f (x) =
g ( x)
h( x)
en donde g (x) y h (x) son polinomios y h (x) 0. Si existe algn nmero real c tal que
h (c) = 0, entonces f (c) no est definida. El comportamiento de f (x) requiere de especial
atencin cuando x est cerca de una raz del denominador h (x).
La figura 2.10 muestra las grficas de algunas funciones racionales.
f (x) =
1
x
f (x) cuando x 0
f (x) =
f (x) =
1
x2
f (x) - cuando x 0
(a)
(b)
Figura 2.10. Funciones racionales
38
1
x2
Pngase especial atencin a las grficas de la figura 2.10. Cuando se unen los puntos
graficados mediante una curva suave, no se hizo en una forma mecnica que ignore las
caractersticas especiales que pueden evidenciarse en la frmula de la funcin. En ambos
casos es claro que algo dramtico debe suceder cuando x se aproxima a 0. En efecto, los
valores de f (x) aumentan (o disminuyen) sin lmite. Se ha indicado esto dibujando una
lnea punteada vertical, llamada asntota, en x = 0. Cuando x se aproxima a 0, la grfica
se acerca ms y ms a esta recta, aunque ella misma no es parte de la grfica. Ms bien,
es una lnea gua. Ntese que, en ambos casos, la grfica de f tambin tiene una asntota
horizontal, concretamente, el eje horizontal.
En general, el smbolo x a+ denotar que x se aproxima a a por la derecha, esto es, por
valores mayores que a. El smbolo x a - significar que x se aproxima a a por la
izquierda, esto es, por valores menores que a. Si en una funcin racional f (a) no est
definida, entonces f (x) se puede hacer tan grande o tan pequea como se desee si
escogemos x suficientemente cercana a a. Esto lo denotaremos simblicamente por f (x)
o f (x) - , respectivamente, lo cual se puede leer f (x) crece (o decrece)
ilimitadamente a medida que x se acerca a a (por la derecha o por la izquierda, segn sea
el caso), como se muestra en la figura 2.10. Es importante recordar que el smbolo no
representa ningn nmero real, sino que nicamente se usa como smbolo del
comportamiento de cierto tipo de funciones.
Por lo tanto, se dice que la recta x = a es una asntota vertical de la grfica de la funcin f si
f (x)
o bien
f (x) -
39
f (x)
o bien
f (x) -
a n x n + a n 1 x n 1 + + a 2 x 2 + a1 x + a 0
b m x m + b m 1 x m 1 + + b 2 x 2 + b1 x + b 0
(b) f (x) =
x2
x2 x 2
(c) f (x) =
x2 2x 3
x 2 1
40
f (x)
f (x c)
f (x + c)
f (x) c
f (x) + c
- f (x)
f (- x)
c f (x)
c f (x)
f (cx)
f (cx)
Grfica original
Traslacin horizontal de c unidades a la derecha
Traslacin horizontal de c unidades a la izquierda
Traslacin vertical de c unidades hacia abajo
Traslacin vertical de c unidades hacia arriba
Reflexin (en el eje horizontal)
Reflexin (en el eje vertical)
Estiramiento vertical
Compresin vertical
Compresin horizontal
Estiramiento horizontal
(c > 0)
(c > 0)
(c > 0)
(c > 0)
(c > 1)
(0 < c < 1)
(c > 1)
(0 < c < 1)
41
Cada una de las grficas anteriores es una transformacin de la grfica de f (x) = x2.
x +2
d) f (x) =
b) f (x) =
x2
e) f (x) =
c) f (x) =
x4
f) f (x) = 2 x
x+3
42
(- x, f (x))
(x, f (x))
x
Si en una funcin se sustituye x por x y resulta una funcin equivalente pero con signo
contrario, entonces la grfica de la funcin es simtrica con respecto al origen. En el
aspecto geomtrico, esto corresponde a los puntos (x, f (x)) y (- x, - f (x)) que estn sobre
una recta que pasa por el origen y equidistan de l.
(x, f (x))
(- x, - f (x))
Figura 2.12. Simetra con respecto al origen
Ntese que cuando una grfica es simtrica slo se necesita obtener una tabla de valores
para las x no negativas y despus aparear puntos por simetra.
DEFINICIN DE FUNCIN PAR Y FUNCIN IMPAR
De acuerdo con lo anterior, con frecuencia se pueden predecir las simetras de la grfica
de una funcin mediante inspeccin de su frmula. En la terminologa de funciones, se
dice que una funcin es par si su grfica es simtrica con respecto al eje vertical, y se
dice que es impar si su grfica es simtrica con respecto al origen.
Excepto en casos triviales, como f (x) = 0, la grfica de una funcin no puede tener
simetra respecto al eje horizontal, porque entonces violara el criterio de las rectas
verticales que ha de satisfacer a toda funcin, es decir que toda recta paralela al eje
vertical debe cortar a la grfica de una funcin en un solo punto.
43
Una funcin f se llama funcin par si f (- x) = f (x). La grfica de una funcin par es
simtrica con respecto al eje vertical.
Una funcin f se llama funcin impar si f (- x) = - f (x). La grfica de una funcin impar
es simtrica con respecto al origen.
1. Es f (x) =
44
que establece que para cada valor x, el valor de f + g se obtiene sumando el valor de f y el
de g. Por ejemplo, si
f (x) = x
g (x) = x2
entonces
(f + g) (x) = f (x) + g (x) = x + x2
La ecuacin anterior proporciona una frmula para f + g, pero no dice nada acerca del
dominio de f + g. Sin embargo, para que el lado derecho de esta ecuacin est definido, x
debe estar tanto en el dominio de f como en el de g, por lo que el dominio de f + g se
define como la interseccin de estos dos dominios, como se ilustra en la figura 2.12. En
general, si A y B son dos conjuntos cualesquiera, entonces A B (lase A interseccin
B) designa el conjunto de los x que estn a la vez en A y en B. As, si f y g son dos
funciones cualesquiera e I es la interseccin de sus dominios, entonces esta notacin
permite escribir
dominio ( f + g ) = I = dominio f dominio g
dominio de
f+g
dominio de f
dominio de g
Figura 2.13
EJEMPLO
Sea f (x) = x2 y g (x) =
1 x 2 . Entonces,
1 x 2
Dg = {x: 1 x2 0} = {x: - 1 x 1}
D ( f + g) : {x: - 1 x 1}
45
COMBINACIONES ARITMTICAS
Dadas las funciones f y g, y si I es la interseccin de sus dominios, se define
( f + g) (x) = f (x) + g (x)
(f g) (x) = f (x) g (x)
f
f (x)
( x ) =
g(x )
g
(f+g)+h=f+(g+h)
ya que al interpretar la definicin de cada lado se obtiene
n
Tambin se puede elevar una funcin a una potencia. Por f se entender la funcin que
2
n
2
asigna a x el valor [ f (x)] . As, f (x) = [ f (x)] . La nica excepcin a esta regla para n en
f n es el ndice n = - 1, que se reservar para otro propsito (la funcin inversa) que se
1
no significa 1 / f.
describir ms adelante. Por lo tanto, f
cociente de f y g, as como f
yg
46
COMPOSICIN DE FUNCIONES
Existe otra manera de combinar funciones, formando lo que se llama funcin compuesta.
Dicho de manera informal, la composicin de funciones se efecta sustituyendo la
variable independiente de una funcin por otra funcin. Por ejemplo, supngase que
f (x) = x2
g (x) = x + 1
COMPOSICIN DE FUNCIONES
Dadas dos funciones f y g, la composicin de f con g, denotada por f g es la funcin
definida por
( f g ) (x) = f ( g (x))
El dominio de f g se define como todas las x en el dominio de g para las que g (x) est
en el dominio de f.
D f g = {x : x Dg, g (x) Df }
47
f g
A
C
f
B
f g g f
Por ejemplo, si f (x) =
x3
y g (x) =
2
maneras:
x3
( g f ) (x) = g ( f (x)) = g
=
2
( f g ) (x) = f ( g (x)) = f
( x )=
x3
2
x 3
2
48
y0
x0
t0
longitud (t0)
A (1 , 0 )
longitud (- t1)
Figura 2.14
P (x, y)
y
sen t
x
cos t
Figura 2.15
cos t = x
Las funciones seno y coseno se escriben como sen y cos, en lugar de una sola letra como
f g. Por lo regular, se omiten los parntesis alrededor de la variable independiente, a
menos que exista alguna ambigedad.
cos (t + 2) = cos t
(Observe que los parntesis son necesarios para dejar claro que queremos sen (t + 2)
en lugar de (sen t) + 2. La expresin sen t + 2 sera ambigua).
Por tal razn se dice que el seno y el coseno son funciones peridicas, con periodo 2.
En general, una funcin f es peridica si existe un nmero positivo p tal que f (t + p) = f (t)
para toda t del dominio de f. El menor de dichos p se llama periodo de f.
50
cos (- t) = cos t
En otras palabras, la funcin seno es una funcin impar en tanto que el coseno es una
funcin par.
P1 (x, y)
t
(1, 0)
-t
P2 (x, - y)
Figura 2.16
Por ltimo, una identidad importante que relaciona a las funciones seno y coseno es
2
2
sen t + cos t = 1
para todo nmero real t. Esta identidad se sigue del hecho de que el punto (x, y) est en
la circunferencia del crculo unitario, de aqu que x y y deben satisfacer su ecuacin
x2 + y2 = 1.
( - , )
Dominio:
Recorrido:
[- 1, 1]
sen (t + 2) = sen t,
cos (t + 2) = cos t
sen (- t) = - sen t
cos (- t) = cos t
51
52
Sen t
- 4
- 2
(a)
cos t
- 4
- 2
(b)
Figura 2.17. Grficas de seno y coseno
Es posible obtener variaciones de las grficas de las funciones trigonomtricas por medio
de transformaciones rgidas y no rgidas. Grficas de funciones de la forma
o bien
desplazamiento vertical
estiramiento/reflexin/compresin vertical
desplazamiento horizontal
El nmero |A| se llama amplitud de las funciones o de sus grficas La amplitud de las
funciones bsicas f (x) = sen x y f (x) = cos x es |A| = 1. El periodo de cada funcin en las
expresiones de arriba es 2 / B, B > 0, y la porcin de la grfica de cada una de estas
funciones sobre el intervalo [0, 2 / B] se llama un ciclo.
53
(a)
f (x) = cos x
Secante:
Cosecante:
tg t =
sen t
cos t
sec t =
x k + / 2
1
cos t
cosec t =
k = 0, 1, 2,
1
sen t
x k
Cotangente :
ctg t =
cos t
sen t
54
tg t
sec t
- 3 / 2
/2
3 / 2
-/2
/2
3 / 2
ctg t
cosec
/2
55
y
(0, 1)
Longitud
del arco = 1
1
1 radin
(1, 0)
Figura 2.19
El ngulo que corresponde a una vuelta completa mide 360, pero slo 2 radianes. De
manera equivalente, un ngulo llano (de lados colineales) medir 180 o radianes, un
hecho importante para recordar.
180 = radianes
La divisin de una circunferencia en 360 partes es muy arbitraria (debida a los antiguos
babilonios, a quienes les agradaban los mltiplos de 60). La divisin en 2 partes es ms
fundamental y yace detrs del uso casi universal de la medida radin en clculo. Ntese,
en particular, que la longitud s del arco que corta un crculo de radio r por medio de un
ngulo central de t radianes satisface la expresin (figura 2.20)
s
2 r
t
2
s=rt
s=rt
s
t rad
r
Figura 2.20
56
Cuando r = 1, esto da s = t, lo cual significa que la longitud del arco del crculo unitario
cortado por un ngulo central de t radianes es t. Esto es correcto incluso si t es negativa,
con tal que interpretemos la longitud como negativa cuando se mide en direccin de las
manecillas del reloj.
Ahora es posible hacer la conexin entre la trigonometra del ngulo y la del crculo
unitario. Si es un ngulo que mide t radianes (figura 2.21), entonces
sen = sen t
cos = cos t
(x, y)
t
(1, 0)
sen = sen t = y
cos = cos t = x
Figura 2.21
57
f (x)
x
Figura 2.22
Est claro dnde reside la dificultad ya que, por ejemplo f (- 2) = f (2), aun cuando - 2 2.
Esto es lo nico que puede ofrecer dificultad y vale la pena dar un nombre a las funciones
para las cuales esto no ocurre.
funcin uno-uno
El ltimo enunciado junto con el teorema 1 ofrece el siguiente criterio geomtrico para
determinar si una funcin tiene una inversa.
59
Sin embargo, en una situacin dada, este criterio puede ser difcil de aplicar, puesto que
exige un conocimiento completo de la grfica de f. Un criterio ms prctico es que si f es
una funcin montona, es decir que es o bien estrictamente creciente o bien estrictamente
decreciente en su dominio, entonces f es uno-uno.
f es creciente si
f (x1) < f (x2) siempre que x1 < x2
f es decreciente si
f (x1) > f (x2) siempre que x1 < x2
Funcin creciente
Funcin decreciente
f (x2)
f (x1)
f (x2)
f (x1)
x1
x2
x1
x2
Figura 2.24
Es evidente por sus grficas que las funciones crecientes o decrecientes cumplen con el
criterio de la recta horizontal y consecuentemente son invertibles.
60
f (a) = b
g (b) = a
f (g (b)) = b
g(f (a)) = a
Al seguir la convencin de que cada elemento del dominio se denota por el smbolo x, las
ecuaciones anteriores se convierten en
f (g (x)) = x
g(f (x)) = x
La inversa de una funcin f suele escribirse como f -1 y se lee f inversa. Esta ltima
notacin, aunque es estndar, es algo desafortunada. De inmediato se seala que en el
smbolo f -1 (x) el -1 no es un exponente, es decir que el smbolo f -1 no representa el
recproco de f (x):
61
f -1 (x)
1
f (x )
f(f
f
(x)) = x
( f (x)) = x
-1
Dominio de f -1 = recorrido de f
-1
Recorrido de f = dominio de f
Una funcin inversa f -1 es uno-uno
La inversa de f -1 es f
La inversa de f es nica
62
Determinar f ( f
Hacer f ( f
(x))
(x)) = x
1
(x)
Por supuesto que es importante mencionar que encontrar la inversa de una funcin unouno f , algunas veces es difcil y otras imposible; es decir, una cosa es saber que una
funcin f tiene una inversa y otra muy diferente el realmente encontrarla.
-1
contiene el punto
63
Este teorema sugiere que las grficas de f y f 1 estn tan ntimamente relacionadas que
1
es posible utilizar la grfica de f para obtener una imagen visual de la grfica de f .
1
consiste en todos los pares (a, b) tales que (b, a)
Es decir, puesto que la grfica de f
pertenece a la grfica de f, se obtiene la grfica de f 1 a partir de la grfica de f
intercambiando los ejes horizontal y vertical.
Sin embargo, el efecto geomtrico de invertir las coordenadas de un punto es reflejar ese
punto respecto de la grfica de I (x) = x, la cual recibe el nombre de diagonal (figura 2.25),
-1
y por tanto las grficas de f y f son reflexiones una de la otra respecto de esta recta.
Esto es, los puntos (a, b) y (b, a) son simtricos uno de otro con respecto la diagonal, as
1
se halla simplemente la simtrica de la grfica de f
que para obtener la grfica de f
respecto a dicha recta (figura 2.26).
(a, b)
diagonal
(c, d)
-1
(b, a)
(d, c)
Figura 2.25
Figura 2.26
64
f (x) = x2
Figura 2.27
trigonomtricas pero de modo que cada una de las seis funciones trigonomtricas sea
uno-uno y que por tanto posea una inversa. Es decir, hay que redefinir sus dominios de tal
forma que tengan inversas en los dominios restringidos.
La tabla siguiente resume las propiedades bsicas de las funciones trigonomtricas
inversas.
FUNCIN INVERSA
DOMINIO
RECORRIDO
f (x) = sen x
sen 1 x arcsen x
[- 1, 1]
[- / 2, / 2]
f (x) = cos x
cos 1 x arccos x
[- 1, 1]
[0, ]
f (x) = tg x
tg 1 x arctg x
(- , )
[- / 2, / 2]
f (x) = ctg x
ctg 1 x arcctg x
(- , )
(0, )
f (x)) = sec x
sec 1 x arcsec x
(- , - 1] [1, )
[0, / 2) ( / 2, ]
f (x) = csc x
csc 1 x arccsc x
(- , - 1] [1, )
[- / 2, 0) (0, / 2]
/2
sen x
-/2
/2
arcsen
-1
-/2
-1
Figura 2.28
66
1
cos x
arccos
-1
-1
Figura 2.29
/2
arctg x
Figura 2.30
sen 1 (sen x) = x
si
cos 1 (cos x) = x
si
x
2
2
-0x
tg 1 (tg x) = x
si
sen (sen 1 x) = x
si
-1x1
cos (cos 1 x) = x
si
-1x1
tg (tg 1 x) = x
para todo x R
arcsen (sen x) = x
sen (arcsen x) = x
arccos (cos x) = x
cos (arccos x) = x
arctan (tg x) = x
tg (arctg x) = x
3
c) arc cos
2
2
1
1
3. Escribir sen (cos
x) como una expresin algebraica en x.
1
3
4. Sin usar calculadora, evaluar cos cos 1 y tg 1 tg
3
f (x) = 2x
68
g (x) = x2
f (x) = ax
El nmero a se denomina base y x se denomina exponente.
21.41,
21.414,
21.4142,
69
x1
x2
=a
x1 + x 2
1
a
x1
x2
(a )
=a
x1 x 2
x1 x 2
x1
=a
x1
(ab) x = a x b x
ax
a
= x
b
b
=a
x1 x 2
La figura 2.31 (i) muestra la grfica caracterstica de la funcin exponencial con base a
para a > 1; sin embargo, la forma exacta depende del valor de a. Si 0 < a < 1, la grfica
tiene la apariencia que se muestra en la parte (ii) de la figura. En ambos casos el dominio
de f es (- , ) y su recorrido es el conjunto de los nmeros reales positivos (0, ).
(i)
(ii)
Figura 2.31
En esta grfica podemos ver que si a > 1 y x1, x2 son nmeros reales tales que x1 < x2,
x1
x2
entonces a < a , es decir, f (x1) < f (x2). Esto significa que si a > 1, entonces la funcin
exponencial f con base a es creciente en todo R. Tambin se puede observar que si
0 < a < 1, entonces f es decreciente en R. Esto significa que f es uno-uno y tiene funcin
70
inversa. Este hecho es muy importante para la seccin siguiente, cuando se defina la
funcin logartmica como inversa de la funcin exponencial.
Puesto que a0 = 1, la ordenada en el origen siempre es 1. Si a > 1, entonces al ir
decreciendo x y tomando valores negativos, la grfica se aproxima al eje horizontal sin
x
llegar a cortarlo, ya que a > 0 para todo x. Esto significa que el eje horizontal es una
asntota horizontal para la grfica. Al ir creciendo x va tomando valores positivos y la
grfica crece rpidamente. Este tipo de variacin es muy comn en la naturaleza y es
caracterstico de la ley del crecimiento exponencial. En este caso, f es conocida como
funcin de crecimiento. La figura 2.31 (ii) ilustra el decrecimiento exponencial.
PROPIEDADES DE UNA FUNCIN EXPONENCIAL
La lista siguiente resume algunas de las propiedades importantes de la funcin
exponencial f con base a.
La interseccin de f con el eje vertical es (0, 1). La grfica no tiene interseccin con el
eje horizontal.
La funcin f es uno-uno.
1
b) f (x) =
3
71
DEFINICIN DE e
Entre todas las bases posibles de las funciones exponenciales, hay una en particular que
desempea un papel especial en el clculo diferencial e integral. Esa base, denotada por
la letra e, es cierto nmero irracional cuyo valor es
e = 2.718281828459
desempea un papel ms importante que el nmero .
La definicin usual del nmero e es que se trata del nmero al que se acerca la funcin
x
1+
x
x
1
10
100
1000
10 000
100 000
1 000 000
10 000 000
2.0000000
2.5937425
2.7048138
2.7169238
2.7181459
2.7182546
2.7182818
2.7182818
x
e = lim 1 +
x
x
El nmero irracional denotado por e (denominado as dado que Leonhard Euler fue el
primero en reconocer la trascendencia de este nmero) se denomina base natural, ya que
surge naturalmente en la investigacin de muchos fenmenos fsicos.
LA FUNCIN EXPONENCIAL NATURAL
x
Si en la funcin exponencial f (x) = a se usa como base la base natural e, entonces f se
llama funcin exponencial natural.
72
f (x) = e x
(- 2, 1 / e )
(1, e)
(- 1, 1 / e)
(0, 1)
0
Figura 2.32
u = f 1 (x)
si y slo si
x = f (u)
73
si y slo si
x=au
log a x
ya que
23 = 8
ya que
5 2 =
ya que
1
25
104 = 10 000
u
Para a > 0 no hay ningn nmero real u para el cual a sea cero o negativo. As, a partir
u
de x = a se concluye que x > 0. En otras palabras, el dominio de una funcin logartmica
f (x) = loga x es el conjunto de nmeros reales positivos (0, ).
74
f (x) = a x
I (x) = x
g (x) = loga x
(0, 1)
(1, 0)
x=0
Asntota vertical
Figura 2.33. Funcin logartmica de base a
La funcin f es uno-uno.
Ntese que, de acuerdo con el tercer punto de la lista anterior, se tiene que
loga 1 = 0
puesto que
a0 = 1
75
loga a = 1
puesto que
a1 = a
Este ltimo resultado significa que adems de (1, 0), la grfica de cualquier funcin logartmica
con base a tambin contiene al punto (a, 1).
x
Adems, puesto que f (x) = loga x y g (x) = a son funciones inversas una de la otra, la
composicin de ambas funciones verifica:
x
loga a = x
a
Por ejemplo, 2
log 2 10
log a x
= 10 y log3 37 = 7.
para todo
x>0
Esto es, la funcin logaritmo natural ha resultado ser un logaritmo ordinario, pero con una
base ms bien sorprendente, e.
Entonces, para la base a = e, definimos pues a la funcin logaritmo natural como:
si y slo si
x=eu
76
puesto que
e0 = 1
ln e = 1
puesto que
e1 = e
Igualmente, puesto que f (x) = ln x y g (x) = ex son funciones inversas una de la otra, la
composicin de ambas funciones verifica:
x
ln e = x
f (x) = ln x
(1, 0)
loga N = loga MN. Las partes restantes del siguiente teorema pueden demostrarse de la
misma manera.
(iii)
Puesto que se sabe que ln e = 1, se pueden usar las leyes de los logaritmos para calcular
los logaritmos naturales de otros nmeros. As, usando la propiedad (iii)
ln (e n) = n ln e = n 1 = n
x 2 1
d) ln
3
x
e) ln z (z 1)2
2. Escribir cada expresin como un logaritmo nico.
a) ln (x 2) ln (x + 2)
c)
b) 2 ln 3 -
1
ln (x2 + 1)
2
1
[2 ln (x + 3) + ln x ln (x2 1)]
3
b) ln (x2 e 2x)
d) e ln 2 + ln x
b) e10k = 7
78
ex ex
2
cosh x =
ex + ex
2
y el coseno hiperblico de x es
x
x
es el conjunto
Puesto que el dominio de cada una de las funciones exponenciales e y e
de los nmeros reales (- , ), el dominio de f (x) = senh x y f (x) = cosh x es (- , ).
Por las definiciones anteriores, tambin resulta evidente que
senh 0 = 0
cosh 0 = 1
En forma anloga a las funciones trigonomtricas tg x, ctg x, sec x, csc x que estn
definidas en trminos de sen x y cos x, las cuatro funciones hiperblicas adicionales se
definen en trminos de senh x y cosh x.
senh x e x e x
=
cosh x e x + e x
La cotangente hiperblica de x, x 0, es
cosh x e x + e x
=
ctgh x =
senh x e x e x
79
La secante hiperblica de x es
sech x =
1
2
= x
cosh x e + e x
La cosecante hiperblica de x es
csch x =
1
2
= x
senh x e e x
80
3.1 LMITES
3.1.1 DEFINICIN INTUITIVA DE LMITE DE UNA FUNCIN
El concepto de lmite es la piedra angular en que se basan todos los conceptos del clculo
y que lo distingue de otras ramas de las matemticas, como el lgebra o la geometra. En
esta seccin estudiaremos los lmites de manera informal, con el fin de desarrollar el
entendimiento intuitivo de las ideas bsicas ya que la nocin de lmite no es fcilmente
comprensible, lo que hace necesario estudiar su definicin varias veces y con varios
enfoques antes de que su significado resulte claro. Sin embargo, es fcil desarrollar una
idea intuitiva del lmite, por lo que al principio su definicin no ser tan rigurosa.
Supngase que se pide dibujar la grfica de la funcin
f (x ) =
x3 1
, x1
x 1
Para todo punto x 1 se pueden usar las tcnicas estndar, pero en el punto x = 1 no hay
seguridad de qu se puede esperar. Para tener una idea del comportamiento de la grfica
de f cerca de x = 1, se podran usar dos conjuntos de valores x, uno que se aproxime a 1
por la izquierda y otro por la derecha. Al graficar (figura 3.1) se vera que se trata de una
parbola con un hueco en el punto (1, 3).
81
f (x)
4
3
f (x)
2
1
Figura 3.1
As, aunque x no puede ser igual a 1, es posible acercarse cuanto se desee al 1 y como
resultado f (x) se aproxima al valor 3. Entonces, se dice que el lmite de f (x) cuando x
tiende a 1 es 3 y se denota como
x3 1
lim
=3
x 1 x 1
En general, en clculo y sus aplicaciones con frecuencia interesan los valores f (x) de una
cierta funcin f cuando x est muy cercano a un nmero c, pero no necesariamente igual
a c. En muchas ocasiones el nmero c no se encuentra en el dominio de f, es decir que
f (c) no est definida.
Supngase que L denota un nmero finito. El concepto de f (x) que tiende a L a medida
que x tiende a un nmero c puede definirse informalmente de la siguiente manera.
xc
Es decir, la nocin de lmite est asociada con el comportamiento de una funcin cerca de
c, no en c.
82
es decir, a travs de los nmeros que son mayores que c. Finalmente, la notacin
en otras palabras, por la izquierda y por la derecha de c sobre una recta numrica
Si los valores de una funcin f (x) pueden aproximarse tanto como se desee a un nmero
L1 al tomar valores de x lo suficientemente prximos a un nmero c (pero mayores que c),
entonces se dice que el nmero L1 es el lmite lateral por la derecha de f (x) cuando x
tiende a c y se escribe
f (x) L1 cuando x c +
o bien lim f (x ) = L1
f (x) L2 cuando x c +
o bien lim f (x ) = L 2
xc+
De manera semejante, si puede hacerse que los valores de f (x) estn tan cerca como se
desee de un nmero L2 al tomar valores de x suficientemente prximos a un nmero c
(pero menores que c), entonces se dice que L2 es el lmite lateral por la izquierda de f (x)
cuando x tiende a c y se escribe
xc+
Si tanto el lmite lateral por la izquierda lim f (x ) como el lmite lateral por la derecha
xc
xc+
lim f (x ) = L
xc
lim f (x ) = L
xc+
lim f (x ) = L
xc
83
f (x)
L1 = L2
+
x
xc- c xc+
lim f (x ) = L
xc
Figura 3.2
En general, no hay garanta de que una funcin f tiene un lmite bilateral en un punto dado
c; esto es, es posible que los valores de f (x) no se acerquen cada vez ms a ningn
nmero real nico L, cuando x c (figura 3.3). En este caso se dice que
lim f (x ) no existe
xc
L2
L1
0
xc- c xc+
Figura 3.3
lim f (x ) = L
xc
si y slo si
lim f (x ) = L
xc+
lim f (x ) = L
xc
3. lim f (x ) donde
t 5
x2,
f (x ) =
x + 6 ,
x + 2,
f (x ) =
x + 10 ,
x<2
x>2
2. lim
x5
x>5
4. lim
x 0
x 0
1
x
x
x
2. lim x = c
xc
85
Con esto y lo que sigue se podr calcular el lmite de muchas funciones algebraicas.
lim [k f (x )] = k lim f (x )
Mltiplo escalar
xc
xc
xc
xc
Producto
xc
Cociente
lim
xc
xc
xc
lim f (x ) L
f (x ) x c
1
=
=
, si L 2 0
g (x ) lim g (x ) L 2
xc
n
n
lim [ f (x )] = lim f (x ) = L
xc
x
c
Potencia
Radical
lim
xc
xc
x3
3. Encontrar lim
x2 + 9
x4
x
4. Si lim f ( x ) = 4 y lim g ( x ) = 8 , encuentre lim f
x3
2. Encontrar lim 3 x 2 2 x
1. Encontrar lim 2 x 4
x3
x3
( x ) 3
g(x )
86
lim f (x ) = f (c )
xc
p (x )
q (x )
f (x ) =
entonces,
a) Si q (c) 0, entonces lim f (x ) = f (c )
xc
Por ltimo, para funciones definidas parte por parte, la mejor estrategia para obtener el
lmite bilateral en un punto donde la regla de correspondencia cambia, consiste en
encontrar primero los lmites laterales en ese punto.
7 x 5 10 x 4 13 x + 6
3x 2 6x 8
3. lim
t 2 + 3t 10
t2 +t 6
x2
t2
4. lim f (r )
r 1
5. lim h (x )
x 3
r+2
donde f ( r ) =
1r2 3
2
2 x + 1 si
donde h (x ) =
10 x si
2. lim
x 1
x 3 + 3x + 7
x 2 2x + 1
si 3 < r 1
si
1< r 4
x<3
x3
87
TEOREMA 3.1.5. FUNCIONES QUE COINCIDEN EN TODOS SUS PUNTOS EXCEPTO EN UNO
Sea c un nmero real y f (x) = g (x) para toda x c en un intervalo abierto conteniendo a c.
Si existe el lmite de g (x) cuando x tiende a c, entonces el lmite de f (x) tambin existe y
es
lim f (x ) = lim g (x )
xc
xc
xc
xc
Si el lmite de una funcin racional tiene la forma indeterminada del tipo 0 / 0 cuando x
c, entonces para encontrar una funcin g que coincida con f en todo punto x c se usar
el teorema del factor del lgebra, el cual dice de que para un polinomio p, p (c) = 0 si y
slo si (x c) es divisor de p (x); as, si
f (x ) =
p (x )
q (x )
lim p (x ) = p (c ) = 0,
xc
lim q (x ) = q (c ) = 0
xc
8 x3
x 2 + 2x 8
2.
3. lim
x 2 2x
x 4 2x 3 + x 2 3 x + 2
4.
x2
x2
5.
lim
x2
x3 + 8
x+2
lim
x 2 + 6 x 16
x 2 + 10 x 16
lim
2x 2 + 7 x 15
x 2 25
x2
x5
6. lim
h0
( x + h )2 x 2
h
x+4 5
1. lim
x x
2
x 1
3
x 1
x 1 4
x 1
3. lim
2.
lim
x3
x+5 2
x3
xc
xc
lim tg x = tg c
xc
xc
xc
xc
TEOREMA DE COMPRESIN
0
en un lmite que contiene funciones
0
trigonomtricas, es necesaria una buena dosis de ingenio para calcularlo. El siguiente
teorema se refiere al comportamiento lmite de una funcin que est encajada entre otras
dos, cada una de las cuales tiene el mismo lmite en un punto dado, como indica la figura
siguiente.
f (x)
f est aqu
g
f
h
x
c
Teorema de compresin
Figura 3.4
90
Como se muestra en la figura 3.4, si la grfica de f (x) se comprime entre las grficas de
las otras dos funciones g (x) y h (x) para toda x prxima a c, y si las funciones g y h tienen
un lmite comn L cuando x c, tiene sentido afirmar que f tambin tiende a L cuando
x c. El teorema se proporciona sin demostrar.
TEOREMA 3.1.7. TEOREMA DE COMPRESIN (O DEL SNDWICH)
Sean f, g y h funciones que satisfacen h (x) f (x) g (x) para toda x en un intervalo
abierto que contiene a un nmero c, excepto posiblemente en el propio c. Si
lim h (x ) = lim g (x ) = L
xc
entonces
xc
lim f (x ) = L
xc
1. Si se sabe que 1 -
sen x
no est definida en x = 0, el teorema de compresin nos
x
sen x
existe.
permite demostrar que lim
x0
x
x0
sen x
=1
x
DEMOSTRACIN:
Ntese que la sustitucin directa lleva a
0
. Supngase que t > 0 y considrese el
0
91
P (cos t, sen t)
t
t
A (1, 0)
Figura 3.5
lim cos t = 1
lim sen t = 0
t 0
t 0
Prolnguese el segmento OP hasta que intersecte la lnea vertical que pasa por A, que
ser en el punto T de coordenadas (1, tg t), como se muestra en la figura 3.6.
T (1, tg t)
P (cos t, sen t)
t
0
A (1, 0)
Figura 3.6
1
1
1
base altura =
1 sen t =
sen t
2
2
2
1
1
1
(radio)2 (ngulo en radianes) =
12 t =
t
2
2
2
rea 0AT =
1
1 sen t
1
base altura =
1 tg t =
2
2 cos t
2
1
1
1 sen t
sen t
t
2
2
2 cos t
2
, nmero positivo, se obtiene
sen t
t
1
sen t cos t
Cuando se toman los recprocos, con lo que se invierten las desigualdades, resulta
cos t
sen t
1
t
y entonces
2
cos (- t)
sen ( t )
1
t
Pero cos (- t) = cos t, en tanto que sen (- t) = - sen t, por lo que otra vez se obtiene
cos t
sen t
1
t
< t < , t 0.
2
2
t 0
sen t
=1
t
Aunque el uso principal de este postulado sobre lmites es para demostrar las frmulas de
derivacin, tambin se usar para evaluar otros lmites.
93
1. lim
x0
9. lim
1 + sen x 1 sen x
x0
sen 3 x
11. lim
x 0 1 cos 2 x
2. lim sec
sen 2 x
x0
x tg x
sen x cos x
6. lim
x 4
1 tg x
sen x sen a
8. lim
xa
xa
4. lim
1 - cos x
x0
x
1 - cos x
12. lim
x0
sen x
10. lim
f (x) cuando x c
o bien
lim f (x ) =
xc
f (x) - cuando x c
o bien
lim f (x ) =
xc
f (x) cuando x c -
f (x) cuando x c+
f (x)
x
x=c
lim f (x ) =
xc
Figura 3.7
En forma semejante, la figura 3.8 muestra el comportamiento sin lmite de una funcin f
cuando x tiende a c por un lado. Obsrvese en la figura 3.9 que no es posible describir el
comportamiento de f cerca de c usando un solo smbolo de lmite.
95
f (x)
f (x)
x=c
lim
x c
f (x )
x=c
lim f (x ) =
x c+
Figura 3.8
f (x)
lim f (x ) =
lim f (x ) =
x c
x c+
x=c
Figura 3.9
En cada caso de las figuras 3.8 y 3.9 simplemente se est describiendo de manera
simblica el comportamiento de una funcin f cerca del nmero c. Ninguno de los lmites
mostrados existe.
ASNTOTAS VERTICALES PARA LA GRFICA DE UNA FUNCIN
En la seccin 2.1 se mostr cmo identificar una asntota vertical para la grfica de una
funcin racional f (x) = p (x) / q (x). Ahora ya podemos definir una asntota vertical de
cualquier funcin en trminos del concepto de lmite.
96
lim f (x ) =
xc
lim g (x ) = L
xc
Producto
Cociente
lim [ f (x ) g (x )] = L = , L > 0
xc
lim
xc
f (x ) L
=0
=
g (x )
c) lim 1 +
x0
x
+
b)
d)
lim
x 1+
lim
x2 + x +1
x3 1
x 2
cosx
97
f (x) =
1
x2
Figura 3.10
Cuando se escribe x , no se quiere dar a entender que muy lejos a la derecha del eje
horizontal, exista un nmero mayor que todos los dems nmeros al que x se
aproxima. Ms bien, se usa x como una manera breve de decir que x crece sin lmite.
Calculando una serie de valores de f (x) = 1 / x2 para diversos valores de x, se puede
observar que f (x) se hace muy pequeo cuando x aumenta y escribimos
1
=0
x2
lim
1
=0
x2
lim f (x ) = L
98
lim f (x ) = L
lim f (x ) = L
o f (x) L cuando x
De manera similar, si los valores de f (x) se aproximan a la larga tanto como se desee a
un nmero L cuando x disminuye ilimitadamente, entonces se escribe
lim f (x ) = L o f (x) L cuando x - .
lim f (x ) = L
lim f (x ) = L
99
f (x)
y=L
lim f (x ) = L
y=L
x
lim f (x ) = L
lim f (x ) =
100
lim
k
=0
xr
k
=0
xr
lim e x = 0
lim e x =
lim ln x =
x 0+
lim e x =
lim e x = 0
lim ln x =
101
Cuando se escribe
lim f (x ) = L
lim f (x ) = L
lim f (x ) =
xc
lim f (x ) =
xc
que significa que la funcin f (x) crece o decrece sin cota, en cuyo caso el lmite no existe.
2x 3 - 3 x 2 + 1
7 - 4x + 5x 3
2. lim
3. lim
3x 7x + 2
2x 2 + 1
4. lim
5 x + 2x 2
5x3 + 3x 6
x 3
5. lim 3 x + 9 x 2 x
x
x cos x
7. lim
x
x
8. Determinar si la grfica de f (x) =
x
3x 3 x 2 + 5x 2
6. lim sen x
x
5x
x2 + 4
6
tiene asntotas horizontales.
1+ e x
suficiente para continuar con el estudio del clculo en este curso, en general una comprensin
intuitiva es algo muy vago como para usarlo en la demostracin de teoremas. Para presentar
una demostracin rigurosa de la existencia de un lmite o para demostrar los importantes
teoremas de la seccin 3.1.3 es necesario empezar con una definicin precisa de lmite.
102
o sea
As, cun prximo a 2 debe estar x para satisfacer la desigualdad anterior? Para
averiguarlo, es posible usar lgebra normal para volver a escribir la desigualdad
9.9 < 2x + 6 < 10.1
cuando 1.95 < x < 2.05. Al sumar 2 a ambos miembros de esta desigualdad simultnea
se obtiene
- 0.05 < x 2 < 0.05
Al usar valores absolutos y recordar que x 2, la ltima desigualdad puede escribirse
como
0 < | x 2| < 0.05
As, para una cercana arbitrariamente prxima a 10 de 0.1, suficientemente prximo a 2
significa a menos de 0.05.
En otras palabras, si x es un nmero diferente de 2 tal que su distancia a 2 satisface
|x 2| < 0.05, entonces se garantiza que la distancia de f (x) a 10 satisface | f (x) 10| <
0.1. Al expresarlo de otra manera, cuando x es un nmero diferente de 2 pero que est en
el intervalo abierto (1.95, 2.05) sobre el eje horizontal, entonces f (x) est en el intervalo
(9.9, 10.1) sobre el eje vertical.
Se intentar generalizar usando el mismo ejemplo. Suponga que (psilon) denota un
o sea
<x<2+
2
2
<x-2<
2
2
103
siempre que
0 < | x 2| <
As, para un nuevo valor para , por ejemplo = 0.001, = / 2 = 0.0005 establece la
proximidad correspondiente a 2. Para cualquier nmero x diferente de 2 en (1.9995,
2.0005), puede tenerse la certeza de que f (x) est en (9.999, 10.001).
Con el anlisis anterior, ya estamos preparados para lo que algunos han llamado la
definicin ms importante del clculo.
lim f (x ) = L
xc
siempre que
0<|xc|<
104
(c, L)
lim f ( x ) = L
xc
Figura 3.12
lim x 2 = 16
lim 2 x + 4 = 6
a)
x 1
lim
c)
x 25
b)
5
x
=
2
2
x4
d)
16 x 2
=8
x4 4 + x
lim
f (x) =
2 si x > 1
105
(x)
no
1
sabemos que para la eleccin =
debe existir un > 0 tal que
2
| f (x) L| <
1
2
siempre que
1 =
2
0 < | x 1| <
<
debe tenerse
1
f 1 + L = 2 L <
2
2
1 =
2
2
<
implica
1
f 1 L = 0 L = L <
2
2
1
1
<L<
2
2
Puesto que ningn nmero L puede satisfacer estas dos desigualdades, concluimos que
lim f ( x ) no existe.
x 1
lim f
xc+
(x) .
lim f
xc
(x)
Sea una funcin f definida sobre un intervalo abierto (a, c). Entonces
lim f (x ) = L
xc
significa que para todo > 0 existe una > 0 tal que
| f (x) L| <
siempre que
c<x<c
c-
Figura 3.14
107
Sea f una funcin definida sobre un intervalo abierto (c, a). Entonces
lim f (x ) = L
xc+
Significa que para todo > 0 existe una > 0 tal que
| f (x) L| <
siempre que
c<x<c+
c+
Figura 3.15
lim
x 0+
x =0
y lmite en el infinito
f (x) (o bien, - )
108
f (x) L
x (o bien, - )
cuando
xc
se formalizan a continuacin.
Recurdese que un lmite infinito es un lmite que no existe cuando x c
DEFINICIN FORMAL DE LMITE INFINITO
lim f (x ) = significa que para todo M > 0 existe un > 0 tal que
xc
f (x) > M
siempre que
0 < |x c| <
lim f (x ) = significa que para todo M < 0 existe un > 0 tal que
xc
f (x) < M
siempre que
0 < |x c| <
f (x)
c-
x
c
c+
lim f (x ) =
xc
Figura 3.16
Sea f una funcin definida para toda x en un intervalo abierto infinito que se extiende
en la direccin positiva de x. Se dice que
lim f (x ) = L
siempre que
x>N
Sea f una funcin definida para toda x en un intervalo abierto infinito que se extiende
en la direccin negativa de x. Se dice que
lim f (x ) = L
siempre que
x<N
x
N
para toda x aqu
lim f (x ) = L
Figura 3.17
110
x
0
Por ltimo, es importante mencionar que la definicin formal de lmite es til para
demostrar teoremas relativos a lmites y para establecer la existencia de tipos particulares
de lmites, pero no es til para calcular lmites. Para esto es ms conveniente utilizar las
tcnicas estudiadas anteriormente.
lim
3x
=3
x +1
f (x)
Figura 3.19
xc
f (x)
f (x)
f (c)
x
c
Figura 3.20
xc
112
Figura 3.21
xc
f (x)
f (x)
f (c)
l
x
c
Figura 3.22
xc
xc
xc
lim f (x ) = f (c)
xc
113
f (x) =
x +3
x +x6
2
x + 2
f (x ) =
si x 2
si x = 2
4t 8
f (t ) = t 2
2
si t 2
si t = 2
f (x) = 5
6 x
si
si
si
x<2
x=2
x>2
114
Sobre un intervalo abierto (a, b) si es continua en todos los puntos de ese intervalo.
Sobre un intervalo cerrado [a, b], si es continua para todo x de (a, b) y, adems,
lim f (x ) = f (a )
xa+
lim f (x ) = f (b )
x b
5 x 2 si 2 x < 3
2x 3
si
si
si
x < 2
2 x 1
x >1
si
x 1
2
2
si
x3
Una revisin de las grficas de la figura 2.16 muestra que f (x) = sen x y f (x) = cos x son
continuas en (- , ). La figura 2.17 (a) muestra que f (x) = tg x y f (x) = sec x son
discontinuas en x = (2n + 1)/2, n = 0, 1, 2, , mientras la figura 2.17 (b) muestra que
f (x) = ctg x y f (x) = csc x son discontinuas en x = n, n = 0, 1, 2, .
115
x son continuas
kf
fg
fg
f / g (siempre que sea g (c) 0)
fn
n f (siempre que sea f (c) 0 cuando n es par)
Puesto que la definicin de continuidad muestra que las funciones f (x) = k y f (x) = x son
continuas en todo nmero real c, a partir de diversas aplicaciones del teorema anterior se
n
observa que las funciones potenciales x tambin son continuas para cualquier x en el
intervalo (- , ). Debido a que una funcin polinomial es justo una suma de potencias de
x, se puede concluir que una funcin polinomial
f (x) = an xn + an 1 x n 1 + + a1 x + a0
es continua en (- , ).
En general, si f es continua para todos los nmeros reales, es decir, sobre el intervalo
(- , ), se dice simplemente que es una funcin continua. Por lo tanto, si p (x) y q (x) son
funciones polinomiales, por el teorema 3.2.1 tambin se concluye directamente que una
funcin racional
116
( x ) = p (x )
q (x )
es continua para todo nmero real c de su dominio, es decir, con la excepcin de los
puntos en los que su denominador q (x) es cero.
FUNCIONES CONTINUAS
Combinando estas funciones con las propiedades precedentes, puede verse que una gran
variedad de funciones son continuas.
3 x x2
x+
Si x = c es una asntota vertical para la grfica de f (x), entonces se dice que f tiene
una discontinuidad infinita en c (figura 3.23).
117
f (x)
f (x)
Figura 3.23
Si
lim f (x ) = L1
xc
xc+
f (x)
f (c)
x
c
Figura 3.24
xc
dice que f tiene una discontinuidad removible o evitable en c (figuras 3.25 y 3.26).
118
f (x)
f (x)
f (c)
l
Figura 3.26
lim f (x ) f (c)
xc
f (x)
f (c) = L
Figura 3.26
lim f (x ) = f (c)
xc
119
g (x ) =
2.
f (x ) =
x+3
x + x6
2
3.
f (x ) =
x3
x3
x
x 1
2
x2 1
x +1
5. f (x ) =
sen (x 1)
x +1
es
Por ejemplo, la funcin seno, f (x) = sen x, es continua sobre [- /2, /2], y como ya se
1
x, es continua sobre el intervalo cerrado
observ, la inversa de f, g (x) = sen
[f (- /2, f (/2)] = [- 1, 1].
3.2.6 CONTINUIDAD DE UNA FUNCIN COMPUESTA
Ya se ha visto que hay otra combinacin con funciones que es de gran importancia, en
concreto, la composicin de funciones. sta tambin preserva la continuidad. El siguiente
teorema establece que si una funcin es continua, entonces el lmite de esa funcin es la
funcin del lmite.
120
lim f ( g ( x ) ) = f lim g ( x ) = f (L )
xc
xc
xc
1. f (x) = x , g (x) = x 1
2. f (x) =
x , g (x) = x2 + 2
3. f (x) = sen x ,
g (x) = x2
121
f (b)
N
f (a)
Figura 3.27
El siguiente teorema se usa a menudo para localizar ceros reales de una funcin continua
f.
TEOREMA DE BOLZANO
Si f es continua en [a, b] y f (a) y f (b) tienen signos algebraicos opuestos, entonces existe
al menos un nmero x en (a, b) para el que f (x) = 0.
Este teorema en realidad es un corolario al teorema del valor intermedio, ya que si los
valores f (a) y f (b) tienen signos opuestos, entonces al identificar N = 0 en dicho teorema,
podemos afirmar que hay por lo menos un nmero c en (a, b) para el cual f (c) = 0. En
otras palabras, si f (a) > 0 y f (b) < 0 o viceversa, entonces f (x) tiene por lo menos un
cero c en el intervalo (a, b). La validez de esta conclusin se ilustra en la figura 3.28.
a
x
c
Figura 3.28
122
Geomtricamente, esto significa que la grfica de una funcin continua que empieza por
debajo del eje horizontal y termina por encima del mismo (o viceversa) debe cruzar a este
eje en algn punto, como en la figura 3.28.
Geomtricamente, este teorema significa que la grfica de f queda por debajo de alguna
lnea paralela al eje horizontal, como en la figura 3.29.
M
Figura 3.29
a
y
Figura 3.30
123
124
4.1 LA DERIVADA
4.1.1 EL PROBLEMA DE LA RECTA TANGENTE
En un curso de clculo se estudian muchas cosas diferentes, pero el tema clculo por lo
regular se divide en dos amplias reas relacionadas entre s denominadas clculo
diferencial y clculo integral. El anlisis de cada uno de estos temas suele comenzar con
un problema de motivacin que implica la grfica de una funcin. El estudio del clculo
diferencial se motiva con el problema de encontrar la recta tangente a la grfica de una
funcin f, mientras que el estudio del clculo integral se motiva con el problema de
encontrar el rea bajo la grfica de una funcin f. El primer problema se abordar en esta
seccin, mientras que el segundo se analizar en la unidad didctica Clculo Integral.
RECTA TANGENTE A UNA GRFICA
La palabra tangente surge del verbo tangere, que significa tocar. Quizs se recuerde del
estudio de geometra plana que una tangente a un crculo es una recta L que corta, o
toca, al crculo exactamente en un punto P. Sin embargo, no resulta tan fcil definir una
recta tangente a la grfica de una funcin f, ya que la idea de tocar traslada del concepto
de recta tangente a la grfica de una funcin, pero la idea de cortar la grfica en un punto
no lo hace.
El conjunto de todas las funciones presenta una diversidad tal que es casi imposible
descubrir propiedades generales interesantes que convengan a todas ellas. Sin embargo,
los resultados ms interesantes y ms penetrantes acerca de las funciones slo se
obtendrn cuando se limite ms an la atencin a funciones con un comportamiento an
ms regular que la mayor parte de las funciones continuas.
125
f (x)= |x|
(a)
f (x)= x , x 0
f (x)= |x|, x 0
(b)
f (x)=
(c)
Figura 4.1
La figura 4.1 ilustra ciertos tipos de comportamiento irregular que pueden presentar las
funciones continuas. Las grficas de estas funciones estn quebradas en (0, 0), a
diferencia de la figura 4.2, donde es posible trazar una tangente en cada punto.
Figura 4.2
Por lo tanto, la tangente no se puede definir como una lnea que corta la grfica
solamente una vez, ya que con una tal definicin, la recta de la figura 4.3 no sera
tangente a la grfica de la figura, mientras que la parbola tendra dos tangentes en cada
uno de sus puntos (figura 4.4), y las tres funciones de la figura 4.5 tendran ms de una
tangente en los puntos en que estn quebradas.
f (x) = x2
Figura 4.3
126
Figura 4.4
(a)
(b)
(c)
Figura 4.5
L
P(c, f (c))
c
Figura 4.6
Como medio para aproximar mtan es fcil encontrar las pendientes msec de rectas
secantes (del verbo latino secare, que significa cortar) que pasan por el punto P y
cualquier otro punto Q sobre la grfica (ver la figura 4.7)
127
Q
P(c, f (c))
Figura 4.7
m sec =
Q(c + h, f (c + h))
L
f (c + h) f (c)
P(c, f (c))
h
c
c+h
Figura 4.8
128
m tan = lim
h0
f (c + h ) f (c )
h
existe, entonces la recta tangente a la grfica de f en (c, f (c)) es la recta que pasa por el
punto (c, f (c)) con pendiente mtan.
Es decir, una recta ser tangente a la grfica de una funcin f en el punto (c, f (c)) si y slo
si su pendiente tiene un valor igual al lmite cuando h 0 del cociente diferencial.
Sin embargo, el lmite
lim
h0
f (c + h ) f (c )
h
h0
f (c + h ) f (c )
h
no existe porque los lmites laterales del cociente diferencial son diferentes (cuando
h 0+ y cuando h 0-).
L2
L1
Q
P
f
Q
x
Figura 4.9
129
m tan = lim
h0
f (c + h ) f (c )
h
siempre que el lmite exista. Para muchas funciones suele ser posible obtener una frmula
general que proporcione el valor de la pendiente de la recta tangente. Esto se lleva a cabo
al calcular
lim
( x + h ) f ( x )
h0
para cualquier x (para la que existe el lmite). Luego sustituimos el valor de x despus que
se ha encontrado el lmite.
El lmite cuando h 0 del cociente diferencial define una funcin: una funcin que se
deriva de la funcin original f (x). Esta nueva funcin se denomina funcin derivada, o
simplemente la derivada de f y se denota por f .
f (x) = lim
h0
( x + h ) f ( x )
h
siendo su dominio el conjunto de valores x del dominio de f en donde este lmite existe.
Por tanto, el dominio de f necesariamente es un subconjunto del dominio de f.
130
NOTACIN
Para una funcin dada f, la derivada f tambin se designa a menudo por
d f (x)
,
dx
y,
dy
dx
No hace falta decir que las distintas partes de estas expresiones carecen de todo
significado cuando se consideran separadamente; las d no son nmeros, no pueden
simplificarse, y la expresin completa no es el cociente de otros dos nmeros d f (x) y
dx. Esta notacin se debe a Leibniz.
Por ltimo, el proceso de encontrar o calcular una derivada se denomina derivacin o
diferenciacin. As, la derivacin es una operacin que se lleva a cabo sobre una funcin
f (x). La operacin de derivacin de una funcin con respecto a la variable x se representa
por los smbolos d / dx y Dx. Estos smbolos se denominan operadores diferenciales. El
smbolo
d f (x)
dx
d
f (x)
dx
entonces significa
4.1.3 DERIVABILIDAD
Si el lmite
lim
h0
( x + h ) f ( x )
h
131
Una funcin f es derivable sobre un intervalo cerrado [a, b] cuando f es derivable sobre el
intervalo abierto (a, b) y
f +' (a ) = lim
h 0+
f ' (b ) = lim
h0
f (a + h ) f (a )
h
f (b + h ) f (b )
h
ambos existen. Estos lmites se denominan derivadas laterales por la derecha y por la
izquierda, respectivamente. Una funcin es derivable sobre [a, ) cuando es derivable
sobre (a, ) y tiene derivada por la derecha en a. Una funcin es derivable sobre (- , b]
si es derivable sobre (- , b) y tiene derivada por la izquierda en b.
Cuando la derivada f no existe en uno o ms puntos de un intervalo, entonces f no es
derivable en dicho intervalo.
Si la funcin es discontinua en x = c.
Si la grfica de f presenta desvos bruscos (tiene un pico) en (c, f (c)).
Si la grfica de f tiene una recta tangente vertical en el punto (c, f (c)).
TANGENTES VERTICALES
Sea f continua en un nmero c. Si
lim f ' (x ) =
xc
entonces se dice que la grfica de f tiene una tangente vertical en (c, f (c)).
Las grficas de muchas funciones con exponentes radicales tienen tangentes verticales.
La grfica de una funcin f tambin puede tener una tangente vertical en un punto (c, f (c))
si f es derivable slo por un lado de c, es continua por la izquierda (derecha) en c, y se
+
cumple | f (x)| cuando x c o | f (x)| cuando x c .
132
3. Dada la funcin f (x ) =
Ahora bien,
||
= 1 para h > 0, y
||
f (0) = lim
h0
f (h ) f (0 )
no existe
h
ya que
f +' (0 ) =
lim
h0
f (h ) f (0 )
=1
h
133
f ' (0 ) =
lim
h 0
f (h ) f (0 )
= 1
h
f (x) = 1
si
x>0
f (x) = - 1 si
x<0
f
f
f
Figura 4.10
f +' (c ) = f ' (c ) :
134
DEMOSTRACIN:
Para demostrar la continuidad de f en un nmero c, es suficiente demostrar que
lim f ( x ) = f ( c ) o bien, de manera equivalente, que lim [ f ( x ) f ( c )] = 0 . La
xc
xc
hiptesis es que
f (c) = lim
h0
f (c + h ) f (c )
h
f (c) = lim
xc
( x ) f (c )
xc
xc
f ( x ) f (c )
(x c )
xc
f ( x ) f (c )
. Lim (x c )
xc
h0
xc
= f '( c ) 0
=0
= Lim
Esto es,
xc
x 2 + 1, x < 0
f (x ) =
2
x + 4, x 0
135
4.2 DERIVACIN
Dado que el proceso de calcular la derivada de una funcin en forma directa a partir de su
definicin puede resultar muy laborioso si no se trata de funciones sencillas, en esta
seccin se establecern algunos teoremas sobre derivacin de funciones elementales que
generan frmulas cuya aplicacin permite el clculo de derivadas con relativa facilidad. Se
omitir la demostracin de algunos teoremas, con la aclaracin de que sta se realiza
utilizando simplemente el mtodo de derivacin por medio de la definicin de derivada de
una funcin.
4.2.1 DERIVACIN DE FUNCIONES ELEMENTALES
Recurdese que la derivada de una funcin f es otra funcin f . Tomar la derivada de f
consiste en operar sobre f para producir f .
f (x) = (k) = 0
DEMOSTRACIN:
f ' ( x ) = lim
h0
( x + h ) f ( x ) = Lim
h
h0
kk
=0
h
Esto significa que la recta tangente a la grfica de f tiene siempre por pendiente 0, de
modo que la tangente coincide siempre con la grfica.
f (x) = (x) = 1
136
DEMOSTRACIN:
f ' ( x ) = lim
( x + h ) f ( x )
h0
h
x+hx
= lim
h0
h
h
= lim
=1
h0 h
f (x) = (xn) = nx n 1
Este teorema es vlido tanto para exponentes positivos como para exponentes negativos.
Esto es, si
f (x) = x n, entonces
f (x) = (- n) x n 1
Para derivar funciones con radicales, stos se rescriben en trminos de exponentes
racionales.
DEMOSTRACIN:
(f
+ g ) ' ( x ) = lim
(f
h0
= lim
h0
+g
)( x + h ) ( f
+g
)( x )
( x + h ) + g ( x + h ) [ f ( x ) + g ( x )]
h
f ( x + h ) f ( x ) g ( x + h ) g ( x )
= lim
+
h0
h
h
f ( x + h ) f ( x )
g ( x + h ) g ( x )
= lim
+ Lim
h0
h
0
h
h
= f ' ( x ) + g ' ( x)
137
Esta regla se generaliza para un nmero fijo cualquiera de funciones derivables. Luego
se dice que la derivada de la suma algebraica de un nmero fijo de funciones es igual a la
suma algebraica de las derivadas de las funciones.
DEMOSTRACIN:
(f
g ) ' ( x ) = lim
(f
)( x + h )( f
)( x )
h0
h
f ( x + h )g ( x + h ) f ( x )g( x )
= lim
h0
h
f ( x + h )[ g ( x + h ) g ( x ) ] [ f ( x + h ) f ( x ) ] g ( x )
= lim
+
h0
h
h
g( x + h ) g( x )
f ( x + h ) f ( x )
= lim f ( x + h ) Lim
+ Lim
Lim g ( x )
0
h0
h0
h
h0
h
h
= f ( x ) g ' ( x ) + f ' ( x ) g ( x)
La regla del producto puede extenderse a productos de ms de dos factores. Una funcin
que comprenda productos triples puede ser tratada tambin por el teorema 5. Recurdese
que f g h es una abreviacin de
( f g) h
f (g h)
TEOREMA 4.2.6. DERIVADA DEL PRODUCTO DE UNA CONSTANTE POR UNA FUNCIN
Si k es una constante y k es una funcin derivable, entonces
DEMOSTRACIN:
(k f ) (x) = k f (x)
g (x) = (h f) (x)
= h (x) f (x) + h (x) f (x)
= k f (x) + 0 f (x)
= k f (x)
Esta regla viene a decir que las constantes pueden sacarse fuera del proceso de
derivacin. Tngase en cuenta que (k x) = k .
1
g
'
( x )=
g'(x)
[ g ( x ) ]2
DEMOSTRACIN:
1
1
1
1
( x + h ) ( x )
g
g
(
)
(
+
g
x
h
g
x)
= lim
lim
h0
h0
h
h
g(x ) g(x + h )
= lim
h 0 h[ g ( x ). g ( x + h )]
[ g ( x + h ) g (x ) ]
1
= lim
h0
h
g (x )g(x + h)
[ g ( x + h ) g ( x )]
1
= lim
lim
h0
h 0 g ( x ) g ( x + h )
h
1
= g '( x )
[ g ( x ) ]2
139
f
g ( x ) f ' ( x ) f ( x ) g '( x )
(x ) =
[ g ( x ) ]2
g
'
DEMOSTRACIN:
Puesto que f / g = f (1 / g), se tiene
f
g
'
( x ) = f 1
g
'
(x)
1
1
= f ' ( x ) ( x ) + f ( x )
g
g
f ' ( x ) f ( x )( g ' ( x ) )
=
+
g (x)
[ g ( x ) ]2
f ' ( x ) g ( x ) f ( x ) g ' ( x )
=
[ g ( x ) ]2
'
(x)
k
f
f
k
140
(x)=
f ' (x )
k
x +
2. f (x) = x (x 2 + 1)
1
4. f (x ) =
3 2
x
3 2x x 2
6. f (x) =
x 2 1
x +3
x +1
( 2 x 5 )
8. g (x) =
x 2
x x 2 1
10. f (x) =
x+3
t +1
t 2 + 2t + 2
9. f (x) = (3 x 3 + 4 x)( x 5) (x + 1)
f (x) = lim
h0
f (x) = lim
h0
( x + h ) f ( x )
h
sen ( x + h ) sen x
h
f (x) =
lim
h0
= lim sen x
h0
cos h 1
sen h
+ lim cos x
h
0
h
h
141
f (x) = lim
h0
cos ( x + h ) cos x
h
f (x) =
lim
h0
= lim cos x
h0
cos h 1
sen h
lim sen x
h
0
h
h
para todo x
para todo x
2. 4 + 3 cos x
1
3. f (x) = sen x (sen x + cos x)
4. f (x) = 3 sen x
x
sen
5. f (x) = x 2 sen x + 2 x cos x 2 sen x
6. f () =
1 cos
6. Encontrar la ecuacin de la recta tangente a la grfica de f (x) = sen x en x = 4 / 3.
A partir de las derivadas de seno y coseno, la regla del cociente permite deducir las
derivadas de las restantes funciones trigonomtricas.
142
sen
tg x =
cos
( x ) = sen x = sec2 x
cos x
1
sec x =
cos
cos
ctg x =
sen
1
csc x =
sen
( x ) = 1
cos x
= sec x tg x
( x ) = cos x
= - csc2 x
sen x
( x ) = 1
sen x
= - csc x ctg x
sen x = cos x
cos x = - sen x
tg x = sec x
ctg x = - csc2 x
sec x = sec x tg x
2. f (x) = tg x csc x
cos
4. f () =
4 3 sen
Por ltimo es importante tener en cuenta que gran parte del trabajo de simplificacin de
una derivada ocurre tras la derivacin. Recurdese que
143
f (x) = x 2 + 1
f (x) =
f (x) = sen x
f (x) = sen 2x
f (x) = 3x + 2
f (x) = x + tg x
f (x) = x + tg x 2
x2 + 1
Al aplicar la regla de la cadena resulta til pensar en f g como constituida por dos
partes, una interior y otra exterior, haciendo un cambio en la variable, como sigue:
Si se hace g (x) = u, entonces
f
(g
(x
)) =
f (u )
u = g (x )
interior
144
exterior
g = f (g (x)
u = g (x)
1
x+1
f (u)
1
u
a)
f ( g( x )) =
b)
f (g (x)) = sen 2x
u = 2x
f (u) = sen u
c)
f ( g ( x ) ) = 3x2 x + 1
u = 3x 2 - x + 1
f (u) =
d)
f (g (x)) = cos2 x
u = cos x
f (u) = u 2
f (u) =
u=x+1
[un] = n un 1 u
EJEMPLOS PARA RESOLVER EN CLASE
Calcular la derivada, usando la regla de la cadena:
1. f (x) =
2. f (x) = (3x + 1)
x2
3. f (x) =
(3 x
5. f (x) =
t2 + 4
t2 4
7. f (x) =
(x
+ 1 2
3
5
t 3 2t + 1
4. s (t) =
4
3
t
+
8. f (x) =
(x
( 4x
145
Con la regla de la cadena se puede derivar cualquier funcin algebraica. Tambin ampla
la potencia de la derivacin ante funciones de tipo trigonomtrico. A continuacin se
resumen las derivadas de las seis frmulas bsicas usando la regla de la cadena:
4. ctg u = - csc2 u u
2. cos u = - sen u u
5. sec u = sec u tg u u
3. tg u = sec2 u u
1 2
tg 9x
3
2. f (x) = sec3
5. f (x) =
csc 2
8. f (x) = x 2 sen
1
x
3. f (x) = ctg (1 2x 2)
6. f () =
tg 2
1 - cotg 2
f (1) = f
f (2) = f = (f )
f (3) = f = (f )
f (4) = f iv = (f )
etc.
Ntese que la notacin prima se usa para denotar slo las tres primeras derivadas;
iv
despus de eso se usa el superndice f (4) o f , etc.
Las distintas funciones f (k), para k 2, son llamadas las derivadas de orden superior de f.
En general, si n es un entero positivo, entonces la n-sima derivada se define como
f (n) = (f (n - 1))
Se debe mencionar tambin la notacin de Leibniz para las derivadas de rdenes
superiores. El smbolo natural de Leibniz para f (x), a saber,
d f (x)
d
dx
dx
se abrevia poniendo
d 2 f (x)
( d x )2
, o ms frecuentemente
(n)
d 2 f (x)
d x2
(x):
dn f (x)
d xn
147
f (n) (c),
y (n) (c)
dn
f (c )
d xn
(k)
El siguiente ejemplo ilustra la notacin f , y hace ver tambin, con un caso muy sencillo,
de qu modo las derivadas de rdenes superiores estn relacionadas con la funcin
2
original. Sea f (x) = x . Entonces, como ya se ha comprobado,
f (x)
f (x)
f (x)
f (k) (x)
= 2x
=2
=0
= 0, si k 3
f (x) = x
f (x) = 2x
(a)
(b)
f (x) = 2
f
(k)
(x) = 0, k 3
(c)
(d)
Figura 4.11
f (x) = 2x
148
si x > 0
f (x) = - 2x si x < 0
Adems,
f (h ) f (0 )
h
f (h )
h
f ' ( 0 ) = lim
h0
= lim
h0
Ahora bien
f (h )
h2
= lim
=0
h0
h
h
lim
h 0+
lim
h 0
f (h )
= lim
h0
h
de modo que
f ' ( 0 ) = lim
h0
h2
=0
h
f (h )
=0
h
f (x) = 2 |x|
x2, x 0
x 2 , x 0
( x ) =
(a)
f (x) = 2 |x|
(b
f (x) = 2, x > 0
f (x) = - 2, x < 0
(c)
Figura 4.12
149
Se sigue que f (0) no existe. La existencia de la segunda derivada es, por lo tanto, una
restriccin bastante fuerte que se impone a una funcin. Incluso una funcin tan suave
como f revela alguna irregularidad cuando se examina a travs de la segunda derivada.
2. f (x) = x 2 cos x
3. f (x) = sen x
4. f (x) =
5. f (x) = sen x 2
6. f (x) = 2 (x 2 1)3
x
x 1
f (x) = 3x2 + 2x + 1
es una funcin explcita dado que la ecuacin, que es la regla de correspondencia, permite
calcular directamente para cualquier valor x del dominio, su imagen correspondiente f (x). En
esta seccin veremos cmo obtener la derivada de funciones ms complicadas de la forma
F (x, y) = 0, sin necesidad de resolver la ecuacin para la variable x.
150
Por ejemplo,
2x2 2xy + y2 1 = 0
Una ecuacin F (x, y) = 0 puede implicar una o ms relaciones funcionales. Ante esto es
necesario tener cuidado, ya que hay ecuaciones de este tipo que no se satisfacen para
ningn par de nmeros reales x, y, por lo cual no representan ninguna funcin real de
variable real. Por ejemplo, la ecuacin
x2 + y2 + 9 = 0
y2 = - x2 9
y2 = - (x2 + 9)
y = (x 2 + 9)
Evidentemente al sustituir en esta expresin a x por cualquier nmero real queda la raz
cuadrada de un nmero negativo, la cual no es un nmero real.
DERIVACIN IMPLCITA
Muchas funciones slo vienen implcitamente dadas por una ecuacin F (x, y) = 0 en la
cual no es fcil o es imposible despejar y en trminos solamente de x y por consiguiente
poder encontrar y .
A pesar de ello, podemos determinar la derivada y por medio de un proceso denominado
derivacin implcita. Este proceso consiste en derivar ambos miembros de una ecuacin
con respecto a x, usando las reglas de derivacin y luego resolviendo para y. Puesto que
se considera que y est determinada por la ecuacin dada como una funcin derivable de
x, la regla de la cadena, en forma de la regla general de potencias, proporciona el
resultado til.
n
(y ) = n y
n1
151
DERIVACIN IMPLCITA
Dada una ecuacin que contiene a x y y, y supuesto que y es una funcin derivable de x,
se puede hallar y como sigue:
x+
2. x3 3xy2 + y3 = 1
y
y= 7
4.
4
5
+
=1
5x 4 y
6. 2y sen x + 3x cos y = 2
7. sen (xy) = x2 + y
152
es continua sobre
Por otra parte, supngase que f (x) es una funcin definida sobre un intervalo I, y que x1 y
x2 son dos nmeros cualesquiera en el intervalo tales que x1 < x2. Entonces por la seccin
2.3.3 y la figura 2.23, recurdese que se dice que f es
entre
el
concepto
de
existe y es
153
I (x)
( f (b), b)
-1
f
(b, f (b))
( f (a), a)
a
f (a)
f (b)
l1
Figura 4.13
Al analizar esta figura observamos que si f en el teorema 4.2.14 es una funcin derivable
sobre (a, b), entonces
( f (c), c)
f
( b, a)
l2
(c, f (c))
-1
( a, b)
l1
Figura 4.14
154
Considrese lo que sucede a una recta l1 cuando se refleja sobre la recta I (x). Como es
claro en esta figura, l1 se refleja para dar la recta l2; adems, sus respectivas pendientes
m1 y m2 estn relacionadas mediante la expresin m2 = 1 / m1, siempre que sea m1 0.
m2 =
1
m1
m1 = f (c)
m2 = ( f 1) ( f (c))
de donde
( f 1) ( f (c)) = m2 =
1
1
=
m1
f '( c )
1
f '( c )
) (d) =
f' f
1
1
) (d) directamente,
(d ))
f ( f 1 (x)) = x
resulta tentador demostrar la frmula deseada mediante una aplicacin de la regla de la
cadena:
f ( f 1 (x)) ( f 1) (x) = 1
de modo que
( f ) ( x )= f '( f 1
1 '
( x ))
155
este razonamiento indica cmo tendr que ser ( f 1) (x) si f 1 es derivable, y puede
tambin utilizarse para obtener alguna importante informacin preliminar.
( f ) ( x )= f '( f 1
1
'
( x ))
(x)) = 0 en
3
Un ejemplo sencillo al que esto ltimo es aplicable lo constituye la funcin f (x) = x . Al ser
1
1
f (0) = 0 y 0 = f (0), la funcin f no es derivable en 0 (figura 4.15).
f (x) = x3
f 1 (x) =
(a)
(b)
Figura 4.15
Una vez visto dnde no puede ser derivable una funcin inversa, ya se est en
condiciones de afirmar que en todos los dems casos la derivada viene dada por la
frmula que ya se ha deducido de dos maneras diferentes.
Por ltimo, si (c, d) es un punto conocido sobre la grfica de f, la relacin
(f
permite evaluar la derivada de f
f 1 (x).
156
) (d) =
1
f '( c )
1 x 2
tg (arc sec x) =
x2 1
sec (arc tg x) =
1+ x 2
por lo tanto,
cos (arc sen x) =
1 x 2
(La raz cuadrada positiva debe tomarse porque arc sen x est en (- / 2, / 2), de
modo que cos (arc sen x) > 0.
2
Para demostrar la segunda expresin, recurdese que tg2 t + 1 = sec t.
Es decir
x 2 + 1 = sec2 (arc tg x)
De donde
157
tg (arc sec x) =
x2 1
Es decir
De donde
sec (arc tg x) =
x2 +1
1
1 x 2
1
1 x 2
1
1+ x 2
x 2 1
DEMOSTRACIN:
arc sen (x) = (f 1) (x)
1
=
f ' f 1( x )
1
=
sen ' ( arcsen x )
158
=
=
1
cos ( arcsen x )
1
1 x 2
1
=
x x 2 1
Ntese que en estas demostraciones se han usado las identidades dadas al principio.
159
1 x
3. arc tg (x) =
1 x
x2 1
x2 1
1
1+ x 2
1+ x 2
1 u 2
1
u'
1 u 2
1
1+ u 2
u'
u'
1
1+ u 2
u'
u 2 1
1
u 2 1
u'
u'
3. f (x) = arcsec 2x
4. f (x) = arc tg
5. f (x) = x arc tg x
1 x
7. f (x) = arc tg
1+ x
160
1 x2
1
2
x 1 x + arc sen x
En la seccin 2.5 vimos que la funcin exponencial f (x) = a , a > 0, a 1, est definida
para todos los nmeros reales; es decir, el dominio de f es (- , ). Al revisar la grfica
de f observamos que es una funcin continua en todas partes y ahora demostraremos
que una funcin exponencial tambin es derivable en todas partes.
x
Comenzaremos por encontrar la derivada de f (x) = e usando la definicin de derivada:
f (x) =
lim
h0
ex+h ex
ex eh ex
ex eh 1
= lim
= lim
h0
h0
h
h
h
x
como e no depende de la variable h, podemos escribir
f (x) =
eh 1
h
e x lim
h0
e = lim 1 +
x
Sabemos que, a nivel intuitivo, esta igualdad significa que cuando x , entonces h =
e = lim ( 1 + h )1
1/h
puede
h0
1/h
=e
y as se concluye que
h
1+h=e
de donde
Por lo tanto,
eh 1 = h
f (x) = e x lim
h0
eh 1
h
= e x lim
= e x lim 1 = e x
h0 h
h0
h
161
ln a
Por otra parte, a partir de la identidad e = a, a > 0, podemos escribir cualquier funcin
x
exponencial f (x) = a en trminos de la base e:
f (x) = ax = ( e ln a) x = e x ln a
x
Por la regla de la cadena, la derivada de f (x) = a es
f (x) = e x ln a (x ln a) = e x ln a (ln a)
x
x ln a
, se muestra que
Volviendo a a = e
f (x) = ax (ln a)
(a x) = (ln a) a x
(a u) = a u ln a u
(e x) = e x
u
u
(e ) = e u
(a > 0)
( f ) ( x )= f '( f 1
1
'
( f ) ( x ) = (a ) (1log x ) =
a
1
'
x '
( x ))
1
log a x
(ln a )
1
x ln a
( f ) ( x ) = (e ) 1( ln x ) = e 1
1
'
x '
162
ln x
1
x
(loga x) =
(ln x) =
1
x ln a
1
,
x
x>0
(loga u) =
ln (u) =
1
u
u ln a
1
u'
u
x
7. f (x) = ln 2
x
x 2 1
10. f (x) = ln
13. f (x) = e x
ln x
5. f (x) = ln 2
+
1
x
8. f (x) = ln
11. f (x) = ln
14. f (x) = ln
x +1
x 1
x x 1
2
3. f (x) = ln (x 2 x 2)
6. f (x) = (ln x)
9. f (x) = ln (ln x )
1 + ex
12. f (x) = ln
x
1 e
e x + ex
2
163
DERIVACIN LOGARTMICA
1. Tomar el logaritmo natural de ambos miembros de f (x). Usar las propiedades
generales de los logaritmos para simplificar tanto como sea posible el miembro
derecho de ln f (x).
2. Derivar ambos miembros de la ecuacin. El miembro izquierdo, ln f (x), se deriva
implcitamente.
f ' (x )
3. Puesto que la derivada del miembro izquierdo es ln f (x) =
(esta expresin se
f (x )
denomina derivada logartmica de f ), se multiplican ambos miembros por f (x) y se
sustituye f (x) (la funcin dada originalmente)
Esta tcnica de derivacin es muy til ya que resulta muchas veces ms fcil de calcular
que f , ya que los productos, cocientes y potencias de la expresin de f al pasar a ln f (x)
se convierten en sumas, restas y productos. Adems, tambin hay funciones donde tanto
x
la base como el exponente son variables, por ejemplo f (x) = x ; es decir funciones de la
forma
f (x) g (x)
Aunque existe una frmula para derivar funciones de esta forma, esto es, si f (x) = g (x) h (x),
entonces:
g'(x )
g(x)
no hace falta recordar esta frmula; por el contrario, se sugiere encontrarla por medio de
la derivacin logartmica.
3x 2
(x 1)
5. f (x) = (x - 2 )
164
x+1
2. f (x) =
x (x 1)
x +1
4. f (x) = x 2 / x
6. f (x) = x
3 2
x1
ex ex ex +ex
=
senh' x =
= cosh x
2
2
ex + ex
cosh' x =
2
'
ex ex
=
= senh x
para derivar la tangente hiperblica se usa la regla del cociente y la definicin de esta
funcin:
'
Las derivadas de las seis funciones hiperblicas en el caso ms general se concluyen con
la regla de la cadena.
cosh u = senh u u
2
ctgh u = - csch u u
csch u = - csch u ctgh u u
165
f (x)
Df
Figura 5.1
166
En otras palabras, cuando f es continua sobre [a, b], hay nmeros f (c1) y f (c2) tales que
los valores f (c2) y f (c1) son el mximo absoluto y el mnimo absoluto, respectivamente,
sobre el intervalo cerrado [a, b] (ver la figura 5.2).
f (c2)
f (c1) f (x) f (c2) para a x b
f (c1)
a
c1
c2
Figura 5.2
168
Estas tres clases de puntos (frontera, estacionarios y singulares) son la clave de la teora
de mximos y mnimos.
En base al teorema 5.1.3 se puede establecer ahora un procedimiento muy simple para
encontrar los valores extremos de una funcin continua f en un intervalo cerrado [a, b].
crece. Por supuesto, una funcin f puede ser creciente sobre ciertos intervalos y
decreciente sobre intervalos diferentes.
La derivada va a determinar cundo una funcin es creciente o decreciente, pues una
derivada positiva implica que la pendiente de la grfica asciende; anlogamente, una
derivada negativa produce pendiente en descenso y una derivada nula en todo un
intervalo implica que la funcin es constante en l. El siguiente teorema es una prueba de
la derivada para crecimiento/decrecimiento
Si f (x) > 0 para todo x en (a, b), entonces f es creciente sobre [a, b].
Si f (x) < 0 para todo x en (a, b), entonces f es decreciente en [a, b].
Si una funcin f es discontinua en uno o en ambos puntos extremos de [a, b], entonces
f (x) > 0 (o f (x) < 0) sobre (a, b) implica que f es creciente (o decreciente) sobre el
intervalo abierto (a, b).
Este teorema aporta informacin suficiente para adquirir una buena idea de la grfica de
una funcin trazando el menor nmero posible de puntos, ya que permite determinar con
precisin dnde crece y dnde decrece una funcin derivable (figura 5.3).
f (c) = 0
f (x) < 0
f (x) > 0
f (x) < 0
f (x) > 0
creciente
decreciente
decreciente
creciente
c
f (c) no est definida
Figura 5.3
Para ver cmo aplicar el teorema 5.1.4, ntese que para f continuas, f ' (x) slo cambia
de signo en los nmeros crticos. Luego, para determinar los intervalos en que f es
creciente o decreciente se seguirn los siguientes pasos:
170
NOTA: Si el intervalo [a, b] incluye puntos de discontinuidad, estos puntos han de usarse
junto con los puntos crticos para determinar los intervalos prueba.
171
entonces, como se muestra en la figura 5.4 (a), f (c) es un mnimo relativo. Se han
demostrado dos casos especiales del siguiente teorema.
(+)
(-)
(+)
(-)
f (x) < 0
f (x) > 0
f (x) > 0
f (x) < 0
(+
(-)
(+)
(-)
f (x) > 0
f (x) < 0
f (x) > 0
c
f (x) < 0
En varios problemas de esta seccin se pide trazar la grfica de funciones. En cada caso
se debe determinar:
172
Recurdese tambin que una comprobacin rpida para ver si la funcin es par o impar,
puede ahorrar mucho trabajo.
Este tipo de anlisis, si se hace con cuidado, revelar por lo general los rasgos principales
de la grfica, pero a veces existen algunas caractersticas especiales que hacen
necesario discurrir ms. Si f no est definida en ciertos puntos (por ejemplo, si f es una
funcin racional cuyo denominador se anula en algunos puntos), entonces el
comportamiento de f cerca de estos puntos debe determinarse.
x+3
x2
6. La altura (en pies) de una bola en el instante t (en segundos) viene dada por la funcin
2
posicin s (t) = 96t 16t . Hallar el intervalo de tiempo en que la bola sube y el
intervalo en que baja. Cul es la mxima altura alcanzada?
7. La concentracin C de un frmaco en la sangre t horas despus de ser inyectado por
3t
va muscular viene dada por C =
. Cundo es mxima?
27 + t 3
8. Un autoservicio vende x hamburguesas con un beneficio P dado por
x2
P = 2.44x 5 000,
0 x 35 000
20 000
Hallar los intervalos en que P crece o decrece.
9. El costo de pedido y transporte (en miles de dlares) de x cientos de unidades es
1
x
,
C = 10 +
1x
x x + 3
10. Hallar a, b, c y d tales que f (x) = ax3 + bx2 + cx + d tenga un mnimo relativo en (0, 0) y
un mximo relativo en (2, 2)
173
b
Figura 5.5
tangente horizontal
c1
a
c2
tangente horizontal
Figura 5.6
f (a) = f (b) = 0
entonces existe al menos un nmero c en (a, b) tal que f (c) = 0
174
DEMOSTRACIN:
De la continuidad de f sobre [a, b] se deduce que f tiene un valor mximo y uno mnimo
sobre [a, b]. Supngase en primer lugar que el valor mximo se presenta en un punto c de
(a, b). Entonces, segn el teorema 5.1.2, f (x) = 0 (figura 5.7).
f (c) = 0
x
b
Figura 5.7
Supngase ahora que el valor mnimo de f se presenta en algn punto c de (a, b).
Entonces, otra vez, f (c) = 0 segn el teorema 5.12 (figura 5.8).
f (c) = 0
x
a
b
Figura 5.8
Supngase, finalmente, que los valores mximo y mnimo se presentan ambos en los
extremos. Puesto que f (a) = f (b), los valores mximo y mnimo de f son iguales, de modo
que f es una funcin constante (figura 5.9), y para una funcin constante se puede elegir
cualquier c de (a, b).
175
Figura 5.9
Segn el teorema de Rolle, si f satisface sus condiciones, debe haber al menos un punto
entre a y b donde f es nula. Sin embargo, puede haber ms de uno.
- 2x
3. f (x) = |x| - 1
x 2 2x 3
x+2
x
x
4. f (x) =
- sen
2
6
2. f (x) =
5. f (x) = 4x tg x
6. La altura de una bola t segundos despus de ser lanzada viene dada por
176
C1
B
A
C2
Figura 5.11
Figura 5.10
f (c) =
f (b ) f (a )
ba
Figura 5.12
177
A este teorema hay quien lo considera el teorema ms importante del clculo y est
relacionado estrechamente con el Teorema Fundamental del Clculo. Adems, tiene
implicaciones en todas las interpretaciones de la derivada. En trminos de razones de
cambio, el teorema del valor medio afirma que existe algn punto c en (a, b) tal que f (c),
la razn instantnea de cambio, es exactamente igual a la razn promedio de cambio en
[a, b] siendo esta variacin media
COROLARIO 1
Si se define f sobre un intervalo [a, b] y f (x) = 0 para todo x del intervalo, entonces f es
constante en el intervalo.
COROLARIO 2
Si f y g estn definidas en el mismo intervalo y f (x) = g (x) para todo x del intervalo,
entonces existe algn nmero c tal que f + g = c.
3. f (x) = x 3
5. f (x) = x 2 / 3
en [- 2, 1]
en [0, 1]
en [0, 1]
x
1
en , 2
x +1
2
4. f (x) = x 2 sen x en [ - , ]
2. f (x) =
6. Una compaa introduce un nuevo producto para el que las ventas se estiman en
178
s (t) = 200 5
2 + t
5.3 CONCAVIDAD
En el siguiente anlisis el objetivo es relacionar el concepto de concavidad con la segunda
derivada de una funcin. As, la segunda derivada constituye otra manera para probar si
un extremo relativo de una funcin f ocurre en un punto crtico.
5.3.1 CONCAVIDAD
Ya vimos que la localizacin de los intervalos en los que f crece o decrece es til para
hallar su grfica. Ahora se ver que localizando los intervalos en que f ' crece o decrece,
se puede determinar dnde se curva hacia arriba o hacia abajo la grfica de f, es decir su
concavidad.
DEFINICIN DE CONCAVIDAD
Sea f una funcin derivable sobre un intervalo abierto (a, b).
Si f ' es una funcin creciente sobre (a, b), entonces la grfica de f es cncava hacia
arriba sobre el intervalo.
Si f ' es una funcin decreciente sobre (a, b), entonces la grfica de f es cncava hacia
abajo sobre el intervalo.
179
Si una curva est por encima de sus rectas tangentes, es cncava hacia arriba.
Si una curva est por debajo de sus rectas tangentes, es cncava hacia abajo.
Para determinar la concavidad sin ver la grfica de f, se puede usar la segunda derivada
para saber dnde crece o decrece f '.
Si f '' (x) > 0 para toda x de (a, b), entonces la grfica de f es cncava hacia arriba en
(a, b).
Si f '' (x) < 0 para toda x de (a, b), entonces la grfica de f es cncava hacia abajo en
(a, b).
Si f '' (x) = 0 para toda x de (a, b), entonces f es lineal (es decir, una recta nunca es
cncava hacia arriba ni hacia abajo).
Entonces, para una f continua, se pueden hallar los intervalos de concavidad hacia arriba
o hacia abajo, as:
180
Para funciones discontinuas los intervalos prueba han de formarse usando los puntos de
discontinuidad junto con los puntos en que f '' es cero o indefinida.
Cncava hacia
arriba
La figura 5.14 muestra los puntos en los que la concavidad cambia de sentido. Si en tales
puntos existe la tangente, los llamamos puntos de inflexin
Cncava hacia
abajo
Cncava hacia
arriba
Cncava hacia
abajo
Cncava hacia
abajo
Cncava hacia
arriba
Como los puntos de inflexin ocurren donde la concavidad cambia de sentido, debe
suceder que en ellos f '' cambia de signo. As que para localizar posibles puntos de
inflexin, slo se necesita determinar los c en que f '' (c) = 0 o en los que f '' no est
definida.
Sin embargo, es posible que f '' sea cero en un punto que no es de inflexin. Antes de
concluir que hay un punto de inflexin en algn x donde f '' (x) = 0, hay que asegurarse de
que la concavidad cambia de sentido.
2. f (x) =
x2 1
2x + 1
3. f (x) =
x2 + 1
x2 1
1 3
x 2x
3
5. F (x) = x 1 / 3 + 2
182
f (c) > 0
f (c) < 0
Cncava hacia
abajo
Cncava hacia
arriba
Mximo relativo
Mnimo relativo
Figura 5.15
Sin embargo, aunque el teorema 5.1.10 resulta muy til para funciones polinmicas, la
segunda derivada de muchas funciones es tan complicada que resulta ms fcil
considerar el signo de la primera derivada. Adems, si c es un punto singular de f puede
ocurrir que f (c) = 0. En este caso, el teorema 5.1.10 no suministra ninguna informacin:
es posible que c sea un punto mximo local, un punto mnimo local o ninguna de las dos
cosas, segn se ve (figura 5.16) en las funciones
f (x) = - x 4,
f (x) = x 4,
f (x) = x 5
En los tres casos, f (0) = f (0) = 0, pero 0 es un punto mximo local para la primera, un
punto mnimo local para la segunda y no es ni mximo ni mnimo local para la tercera.
183
f (x) = x
f (x) = x
f (x) = - x
(a)
(b)
(c)
Figura 5.16
Los teoremas siguientes son consecuencias del teorema del valor medio.
TEOREMA 5.1.11
Supngase que existe f (c). Si f tiene un mnimo local en c, entonces f (c) 0; si f tiene
un mximo local en c, entonces f (c) 0.
TEOREMA 5.1.12
Supngase que f es continua en c, y que existe f (x) para todos los x de algn intervalo
que contiene c, excepto posiblemente para x = c. Supngase, adems, que existe
lim f ' ( x ) . Entonces existe tambin f (c), y
xc
184
2. f (x) =
x2 + 1
x
x 1
x
6. f (x) =
ln x
4. f (x) =
ex +ex
2
10. f (x) = arc sen x
8. f (x) =
11. Hallar los extremos relativos y los puntos de inflexin. Dibujar la grfica de f
1
x2
a) f (x) = x 2 + 2
b) f (x) = 2
x
x 4x + 3
c) f (x) = x x + 1
d) f (x) = sec x , 0 x 4
2
12. Hallar un polinomio cbico con un mximo relativo en (3, 3), un mnimo relativo en
(5, 1) y un punto de inflexin en (4, 2).
5.4 OPTIMIZACIN
En ciencia, ingeniera y negocios a menudo se tiene inters en los valores mximos y
mnimos de una funcin. Por ejemplo, a menudo se oyen o leen trminos como mximo
beneficio, mnimo coste, mnimo tiempo, voltaje mximo, tamao ptimo, rea mnima,
mxima intensidad o distancia mxima. En esta seccin se muestra cmo pueden
utilizarse los mtodos analizados hasta ahora en esta unidad de competencia para
resolver diversos problemas prcticos de optimizacin.
En general, la funcin que describe la cantidad que se quiere optimizar, al encontrar su
valor mximo o mnimo, se denomina funcin objetivo. Una relacin entre las variables en
un problema de optimizacin se denomina restriccin. La restriccin permite eliminar una
de las variables en la construccin de la funcin objetivo, as como impone una limitacin
sobre la forma en que variables como x y y pueden variar en realidad. Tngase en cuenta
que el tipo de problemas enunciados con palabras en esta seccin pueden o pueden no
tener una restriccin.
A continuacin se enuncia el proceso para resolver problemas de optimizacin en siete
pasos, aunque la recomendacin es no usarlo ciegamente; ms bien, sese el sentido
comn, que muchas veces sugiere un tratamiento alternativo o la omisin de algunos
185
186
lim
x0
e2 x 1
x
187
Ntese que si g (x) = x para todo x, entonces g (x) = 1 y entonces el teorema anterior se
reduce al teorema del valor medio.
xc
y
lim
xc
entonces
lim
xc
lim g ( x ) = 0
xc
f '(x)
=L
g'(x)
f '(x)
f (x)
= lim
=L
xc g ' ( x )
g(x)
DEMOSTRACIN
El teorema del valor medio de Cauchy es el instrumento bsico que se necesita para
demostrar este teorema.
Sea (a, b) el intervalo abierto. Como se supone que
lim f ( x ) = 0
xc
lim g ( x ) = 0
xc
tambin puede asumirse que f (c) = 0 y g (c) = 0. Concluimos que f y g son continuas en c.
Adems, puesto que f y g son derivables, stas son continuas sobre los intervalos
abiertos (a, c) y (c, b). En consecuencia, f y g son continuas en el intervalo (a, b). Luego,
para cualquier x c en el intervalo, el teorema del valor medio de Cauchy es aplicable a
[x, c] o [c, x]. En cualquier caso, entre x y c existe un nmero d tal que
f ( x ) f ( c ) f (x ) f ' ( d
=
=
g ( x ) g ( c ) g (x ) g ' ( d
188
)
)
xc
f (x)
f '(d
= lim
x
c
g(x)
g'(d
)
)
= lim
d c
f '(d
g'(d
)
)
= lim
xc
f '(x)
g'(x)
( x ) = xlim
lim f
g ( x )=
lim
f '(x)
=L
g'(x)
lim
f (x)
=L
g(x)
entonces
x
0 ,
00,
1,
0
0
Los tipos de indeterminacin 1, y 0 provienen del lmite de funciones que tienen una
base variable y un exponente variable. Cuando se encontraron este tipo de funciones en
la unidad de competencia 4, se emple la derivacin logartmica para calcular la derivada.
Se utilizar un procedimiento similar para lmites. De cualquier manera, por medio de una
combinacin de lgebra y un poco de astucia a menudo es posible convertir una de estas
nuevas formas de lmites ya sea a 0/0 u a /, ya que la regla de L'Hpital solamente
puede aplicarse a cocientes que llevan a indeterminaciones de la forma 0/0 o / . Por
ejemplo, la aplicacin siguiente de la regla de L'Hpital es incorrecta:
189
lim
x 0
ex
ex
= lim
= lim e x = e 0 = 1
x
0
x
1 x0
La razn por la que esta aplicacin es incorrecta reside en que, aunque el lmite del
denominador es 0, el lmite del numerador es 1, lo cual significa que las hiptesis de
aplicacin de la regla de L'Hpital no se han satisfecho.
Por otra parte, aunque se han identificado los tipos 0/0, /, - , 0 , 1, 0 y 00
como indeterminados, hay formas similares que se debe saber reconocer como
determinadas, tales como
+
0 -
0 0
---
Por ltimo, se ha dicho que la regla de L'Hpital se usa para calcular un lmite que existe.
La regla de L'Hpital tambin puede emplearse para concluir que un lmite es infinito.
1. lim
x2 x 2
x2
2. lim
e x (1 x )
x
3. lim
ln x
x
4.
3 x 2 2x + 1
2x 2 + 3
x2
5.
7.
lim
lim x 2 ln x
1
x 1
6. lim 2
2
x2 x 4
x 4
lim x 1
8.
x 0+
x 0+
9. lim ( 1 + x )
1 x
13. lim
x0
190
x0
arc sen x
x
10. lim
sen 2 x
sen 3 x
lim e x + x
x 0+
1 x