Sie sind auf Seite 1von 190

UNIDAD DE COMPETENCIA 1.

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).

DEFINICIN DE NMERO REAL

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

imaginaria. Estos nmeros no se usarn en este curso. En realidad, cuando se diga


nmero sin algn adjetivo calificativo se supondr que es un nmero real. As, los
nmeros reales son los personajes principales en clculo.

LA RECTA NUMRICA REAL


Es posible asociar el conjunto de los nmeros reales con el conjunto de los puntos en una
recta l de modo que a cada nmero real a le corresponda un punto y uno solo de l; y
recprocamente, que a cada punto P de la recta l le corresponda exactamente un nmero
real. Esta asociacin entre dos conjuntos se llama correspondencia uno a uno (o
biyectiva).
Para representar los nmeros reales en esta recta, primeramente, se escoge un punto
arbitrario llamado origen y se le asocia el nmero real 0. Los puntos asociados a los
enteros quedan determinados al marcar segmentos de recta sucesivos de igual longitud a
cada lado de 0, como se ilustra en la figura 1.1. Los puntos correspondientes a nmeros
3
4
o , se obtienen subdividiendo los segmentos de recta de igual
racionales como
2
3
2 , se pueden
longitud. Los puntos asociados a ciertos nmeros irracionales, como
localizar por construccin geomtrica. Para otros nmeros irracionales como , no es
posible hacer ninguna construccin. A todo nmero irracional le corresponde un punto
nico en l, y recprocamente, todo punto que no est asociado a un nmero racional
corresponde a un nmero irracional.

x
-4 -3 -2 -1 0

Figura 1.1. La recta real

El nmero a que est asociado al punto A en l se llama coordenada de A. El mtodo de


asignacin de coordenadas a puntos en l se llama sistema coordenado para l, y l se
denomina recta numrica real. Se puede asignar una direccin a l (supuesta horizontal)
considerando la direccin positiva hacia la derecha de la recta y la direccin negativa
hacia la izquierda de la misma. La direccin positiva se identifica por la flecha en el
extremo de l, como se muestra en la figura 1.1.
Los nmeros que corresponden a puntos del lado derecho de 0 en la figura 1.1, se llaman
nmeros reales positivos, y los que corresponden a puntos a la izquierda de 0, nmeros
reales negativos. Por nmero real no negativo entenderemos un nmero real que es
positivo o cero. Anlogamente, por nmero real no positivo se entender un nmero que
es negativo o cero. El nmero real 0 no es ni positivo ni negativo.
1.1.2 AXIOMAS DE CUERPO Y AXIOMAS DE ORDEN
Se est ahora en condicin de presentar un conjunto de axiomas que caracterizan al
conjunto de los nmeros reales. Se separarn los axiomas en dos grupos. El primer grupo
constituye los axiomas de cuerpo.

Se supone que el sistema de los nmeros reales es un conjunto R de elementos (que


forman un cuerpo). Estos elementos, los trminos indefinidos, se llaman nmeros reales.
Adems, existen dos operaciones fundamentales, llamadas adicin y multiplicacin,
denotadas por a + b y a b, definidas en forma tal que los axiomas siguientes sean
vlidos:

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 )

Existen dos nmeros distintos entre s, 0 y 1, tales que, para toda a R,

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).

DEFINICIN DE ORDEN EN LA RECTA REAL:


Si a y b R, entonces

a < b a b < 0 (es un nmero negativo)


a > b a b > 0 (es un nmero positivo)

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:

SI a, b, c R, y son tales que a < b , entonces a + c < b + c

4. AXIOMA DE MULTIPLICACIN: SI a, b, c R, y son tales que a < b y c > 0, entonces


ac<bc

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.

1.2 INTERVALOS Y DESIGUALDADES


1.2.1 INTERVALOS EN LA RECTA REAL
Tal y como se ha considerado el conjunto R, se trata del conjunto de los nmeros reales
no restringido. Frecuentemente es necesario considerar solamente un subconjunto de R,
es decir que se tiene que restringir este conjunto, lo cual se lleva a cabo mediante los
intervalos, que son subconjuntos de R linealmente ordenados.
INTERVALOS FINITOS
Se llama intervalo abierto determinado por los nmeros reales a y b tales que a < b, al
conjunto de todos los nmeros reales mayores que a y menores que b. Este intervalo se
denota (a, b) en donde a y b son los extremos del intervalo y se llaman puntos terminales.
(a, b) = {x : x R, a < x < b}
En un intervalo abierto (a, b), los extremos a y b no forman parte del mismo. Se llama
amplitud del intervalo a la diferencia b a.
Geomtricamente el intervalo abierto (a, b) queda representado por el conjunto de todos
los puntos de un eje numrico x comprendido entre los puntos que representan a los
extremos a y b.
x
a

El intervalo cerrado determinado por los nmeros a y b donde a < b, es el conjunto de


todos los nmeros reales x tales que a x b y se denota por [a, b].
[a, b] = {x : x R, a x b}
En un intervalo cerrado [a, b], los extremos a y b s forman parte del mismo y la diferencia
b a es la amplitud del intervalo.
La representacin geomtrica del intervalo cerrado [a, b] est constituida por el conjunto
de todos los puntos de un eje numrico comprendidos entre los puntos a y b, incluyendo a
stos.

Por intervalo semiabierto se entiende un intervalo abierto (a, b) junto con uno de sus
puntos terminales. Hay dos tipos de intervalos semiabiertos:

Intervalo semiabierto por la izquierda: (a, b] = {x : x R, a < x b}

[a, b) = {x : x R, a x < b}

Intervalo semiabierto por la derecha:

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

INTERVALOS EN LA RECTA REAL:


INTERVALOS FINITOS:
Intervalo abierto:

(a, b) = {x : x R, a < x < b}

Intervalo cerrado:

[a, b] = {x : x R, a x b}

Intervalo semiabierto por la izquierda:

(a, b] = {x : x R, a < x b}

Intervalo semiabierto por la derecha:

[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,

a2 + b2 + 1 > 0 es una desigualdad absoluta porque para cualquier valor de a y b, a2 + b2


siempre ser positiva y por tanto siempre a2 + b2 + 1 > 0.
-4<3

tambin es una desigualdad absoluta porque en la recta numrica real, - 4


siempre se encuentra a la izquierda de 3..
7

2x 6 > 0

es una desigualdad condicional o inecuacin puesto que es verdadera slo


para valores de x mayores que 3.

TEOREMAS FUNDAMENTALES SOBRE DESIGUALDADES


A continuacin se enuncian y demuestran algunos de los teoremas fundamentales de las
desigualdades:

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:

a + [(- a) + (- b)] > b + [(- a) + (- b)]


[a + (- a)] + (- b) > [b + (- b)] + (- a)
0 + (- b) > 0 + (-a)
-b>-a
-a<-b

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

b) Si a > 0 y a < 1, entonces a < a


c) Si m, n Z+ y si m n y a > 1, entonces a m a n
d) Si a, b > 0 y a > b, entonces a 2 > b 2

e) Si m > 0 y a < b, entonces a /m < b/m


f) Si m < 0 y a < b, entonces a /m > b/m

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

1.2.3 RESOLUCIN DE DESIGUALDADES


En el Clculo se han de resolver con frecuencia desigualdades con expresiones variables.
Resolver una desigualdad es encontrar el conjunto de todos los nmeros reales que la
hacen verdadera. Se dice que x = a es solucin de tal desigualdad si sta es cierta al
sustituir x por a. El conjunto de valores de x que satisfacen la desigualdad se llama
conjunto solucin de la desigualdad dada. En contraste con una ecuacin, cuyo conjunto
solucin, en general, consta de un nmero o quiz un conjunto finito de nmeros, el
conjunto solucin de una desigualdad por lo comn consta de un intervalo completo de
nmeros o, en algunos casos, la unin de varios intervalos.
DESIGUALDADES LINEALES
Cuando en una desigualdad la variable se encuentra solamente en forma de primera
potencia, la desigualdad se llama lineal. Como en el caso de las ecuaciones, el
procedimiento para resolver desigualdades lineales consiste en transformar la
desigualdad un paso cada vez hasta que el conjunto solucin sea obvio. Las herramientas
principales son los axiomas de orden y los teoremas ya enunciadas anteriormente. Ellos
implican que se deben realizar ciertas operaciones en una desigualdad sin cambiar el
conjunto solucin. En particular:

11

PROPIEDADES DE LAS DESIGUALDADES:


PROPIEDAD 1
El sentido de una desigualdad no cambia si se aumentan o disminuyen ambos miembros
en una misma cantidad (axioma 3).
PROPIEDAD 2
El sentido de una desigualdad no cambia si se multiplican o dividen ambos miembros por
una misma cantidad positiva (axioma 4).
PROPIEDAD 3
El sentido de una desigualdad se invierte si se multiplican o dividen ambos miembros por
una misma cantidad negativa (teorema 2).

Adems, es conveniente dar interpretaciones grficas de las soluciones de las


desigualdades. Por grfica de un conjunto de nmeros reales entendemos la coleccin de
todos los puntos de una recta numrica l que corresponden a tales nmeros. Para hacer
una grfica se destaca (o colorea) una porcin adecuada de l, utilizando crculos rellenos
o huecos, segn que se incluya o no un extremo de la grfica.

EJEMPLOS PARA RESOLVER EN CLASE:


Resolver las siguientes desigualdades y dibujar la grfica del conjunto solucin.
1. 3x + 1 2 x + 2
x
5x + 9
3.
2
3
2
5. 2x 4 6 - 7x 3x + 6

2. 4 - 2x < 3x + 1
4. - 4 2x - 3 < 4

DESIGUALDADES CUADRTICAS Y DE GRADO SUPERIOR


Puesto que en este curso se limitar la discusin a desigualdades con una variable,
interesarn slo aquellas desigualdades que puedan escribirse como f (x) > 0 o f (x) < 0.
Para resolver estas desigualdades se debe determinar el conjunto de valores de x que
satisfacen la desigualdad. Dicho conjunto de valores puede describirse en trminos de
intervalos, por lo que se le denomina intervalo solucin de la desigualdad. Si f (x) es lineal
o cuadrtica, este conjunto puede ser determinado algebraica o grficamente.
En la solucin de desigualdades de grado superior a uno se hace uso de la propiedad
segn la cual una funcin racional entera de x cambia de signo nicamente en los ceros
12

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.

PASOS A PARA RESOLVER UNA DESIGUALDAD CUADRTICA

1. Transponer, si es necesario, todos los trminos al miembro de la izquierda,


Producindose, por ejemplo, una relacin del tipo

ax2 + bx + c > 0
2. Factorizar el primer miembro de la desigualdad, obteniendo

a (x r1)(x r2) > 0


en donde r1 y r2 son los ceros de la funcin o puntos de separacin.

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.

Es conveniente trasladar esta informacin a una tabla de signos:


Intervalo

Valor de prueba k

Producto
(x r1)(x r2)

(- , r1)

k1 (k1 < r1)

(k1 r1)( k1 r2)

(r1, r2)

k2 (r1 < k2 < r2)

(k2 r1)( k2 r2)

(r1, )

k3 (k3 > r2)

(k3 r1)( k3 r2)

Signo de f (x)

Los signos en la ltima columna deben aparecer alternados porque, como ya se ha


mencionado, los extremos de los intervalos, r1 y r2, son los ceros de la funcin, o sea los
puntos donde f (x) pasa de ser f (x) > 0 a f (x) < 0 y viceversa.

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.

EJEMPLOS PARA RESOLVER EN CLASE


1. - 2x2 + 12x 14 > 0
3. 2x2 + 1 9x - 3
5. (x + 5)(x + 2)2 (2x 1) < 0

2. 3x2 11x < 4


4. x3 5x2 + 4x 0

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:

PASOS PARA RESOLVER UNA DESIGUALDAD FRACCIONARIA


1. Transponer todos los trminos a un solo miembro de la desigualdad.
2. Sumar ambas fracciones usando su menor denominador comn.
3. Determinar los ceros (puntos de separacin) tanto del numerador como del
denominador y definir los intervalos.
4. Analizar los signos del numerador y del denominador para determinar el signo de la
fraccin. Se recomienda elaborar una tabla de signos.

Cociente
Intervalo
(- , r1)

Valor de prueba k

f (x) =

k2 (r1 < k2 < r2)

(r1, )

k3 (k3 > r2)

Signo de f (x)

2 ()

1 (1 )
2 (1 )
1 (2 )
2 (2 )
1 (3 )
2 (3 )

k1 (k1 < r1)

(r1, r2)

1 ()

EJEMPLOS PARA RESOLVER EN CLASE


x2
2
x+4
1
2
3.
<
x + 1 3x 1

1.

x+5
0
2x 1
x +1
x
4.
<
2 x 3+ x

2.

15

1.3 VALOR ABSOLUTO


1.3.1 DEFINICIN DE VALOR ABSOLUTO
Para determinar la distancia entre dos puntos cualesquiera del sistema unidimensional
basta restar la coordenada del punto situado a la izquierda de la del punto situado a la
derecha; as, si x1 < x2, la distancia entre x1 y x2 es x2 x1, pero si x2 < x1, la distancia
debe ser x1 x2 ya que la distancia, cuando no es dirigida, debe ser siempre positiva. El
inconveniente de tener que distinguir entre las posiciones relativas de los dos puntos se
evita empleando la nocin de valor absoluto, el cual es til en extremo en el clculo y es
necesario adquirir prctica en trabajar con l.
El valor absoluto de un nmero x, denotado por |x| indica el tamao o magnitud de x sin
considerar su signo.

DEFINICIN DE VALOR ABSOLUTO


El valor absoluto de un nmero real x se define como:
x si x 0
x =
x si x < 0

Por ejemplo, |3| = 3, |0| = 0 y |- 3| = - (- 3) = 3.


As pues, se usar el concepto de valor absoluto para definir la distancia entre dos puntos
de una recta numrica real. Comencemos por notar que, como se mencion antes, la
distancia entre los puntos con coordenadas a y b, siendo a < b, es la diferencia b a, que
se obtiene de restar la coordenada menor de la mayor. Si empleamos valores absolutos,
entonces, puesto que |b a| = |a b|, no es necesario que nos preocupemos por el orden
de la resta. Esto motiva nuestra siguiente definicin:

DISTANCIA ENTRE DOS PUNTOS


Sean a y b las coordenadas de dos puntos A y B, respectivamente, en una recta numrica
real l. La distancia entre A y B, denotada por d (A, B), se define como

d (A, B) = |b a|
El nmero d (A, B) se llama longitud del segmento de recta AB.

Obsrvese que, como d (B, A) = |a b| y que |b a| = |a b|, podemos escribir

d (A, B) = d (B, A)

16

Ntese tambin que la distancia entre el origen 0 y el punto A es

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

principal de a. Esto se puede recalcar mediante la definicin siguiente:


Para todo nmero real x, x2 es positiva (o cero si x = 0) y
x si x 0
x 2 =
x si x < 0

De este modo,

(7) 2

=7y

( 7) 2

= - (- 7) = 7 y, en general,

x 2 = |x|

1.3.2 PROPIEDADES DEL VALOR ABSOLUTO


Como una consecuencia inmediata de la definicin de valor absoluto, se tiene el siguiente
teorema:

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

De modo que a < 0 |a|

17

De donde

a |a| para toda a

Para la desigualdad de la izquierda:


Si a 0, entonces a = |a|
- a = - |a| y - |a| 0 a

Si a < 0, entonces |a| = - a


- |a| = a y - |a| 0 a
De donde
- |a| a para toda a
De modo que para toda a, - |a| a |a|

El valor absoluto se comporta en forma regular en la multiplicacin y la divisin.

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

c |c|, y como |c| d


c |c| d

cd

- |c| c, y como |c| d - d - |c|

- d - |c| c - d c
-dcd

Ahora, si d > 0 y d c d, entonces |c| d

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

b) Primero, si |c| d entonces c d c - d


Si c 0

|c| = c y como |c| d y d > 0

Si c < 0

|c| = - c y como |c| d y d > 0

Entonces

Entonces

cd

-cd

c-d

Ahora, si c d c - d entonces |c| d

Si c 0

|c| = c y como c d

Si c < 0

|c| = - c - |c| = c y como c - d

Entonces

Entonces

|c| d

- |c| - d, o sea |c| d

Como se mencion anteriormente, el valor absoluto se comporta en forma regular en la


multiplicacin y la divisin, pero no as en la adicin.
19

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|

Sumando ambas desigualdades

- [|a|+ |b|] a + b |a| + |b|

Si en el teorema 3 se hace c = a + b y d = |a| + |b|


Entonces, como
Se tiene que

|c| d

|a + b| |a| + |b|

Este teorema es conocido como la desigualdad del tringulo.

EJEMPLOS PARA RESOLVER EN CLASE


Determnense todos los valores posibles de x en las siguientes expresiones:
1. |2x + 5| > 6
4x
3.
9
2
5. |2x - 5| < 3

2. |5 - 3x| < 7
x+4
4.
2
3
6. |7 - 4x| 9

1.3.3 RESOLUCIN DE DESIGUALDADES CON VALOR ABSOLUTO


Como ya se ha mencionado, si x es un nmero real, entonces la desigualdad |x| < 1 es
equivalente a 1 < x < 1. Esto, a su vez, significa que x est en el intervalo abierto (- 1, 1).
En general, ya hemos demostrado que si d es cualquier nmero real positivo, entonces:

20

PROPIEDADES DE LOS VALORES ABSOLUTOS


Si d > 0, entonces

|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.

EJEMPLOS PARA RESOLVER EN CLASE


Determnense todos los valores posibles de x en las siguientes desigualdades y dibujar el
conjunto solucin sobre el eje numrico real.
1.

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

UNIDAD DE COMPETENCIA 2. FUNCIONES DE UNA VARIABLE


Uno de los temas fundamentales en el clculo es el anlisis de las relaciones entre
cantidades fsicas o matemticas. Es posible describir estas relaciones en trminos de
grficas, frmulas, datos numricos o palabras. En esta unidad de competencia se
desarrolla el concepto de funcin, que es la idea fundamental detrs de casi todas las
relaciones matemticas y fsicas, independientemente de la forma en la que stas se
expresan. Se estudiarn las propiedades de algunas de las funciones bsicas que se
encuentran en el clculo, incluyendo polinomios, funciones trigonomtricas,
trigonomtricas inversas, funciones exponenciales y funciones logartmicas.
2.1 FUNCIN REAL DE VARIABLE REAL
2.1.1 DEFINICIN DE FUNCIN
Uno de los aspectos ms importantes de la ciencia consiste en establecer relaciones
entre diversos tipos de fenmenos. Una vez que se conoce una relacin, se pueden hacer
predicciones. Por ejemplo, un qumico puede usar una de las leyes de los gases para
predecir la presin de un gas encerrado, dada su temperatura; un ingeniero puede usar
una frmula para predecir la deflexin de una viga sujeta a diversas cargas; a un
economista le gustara poder predecir las tasas de inters, dadas las tasas de cambio de
la oferta de capitales, etc.
Muchas leyes cientficas y principios de ingeniera describen la manera en que una
cantidad depende de otra. Esta idea fue formalizada en 1673 por Leibniz, quien acu el
trmino funcin para indicar la dependencia de una cantidad respecto de otra. Estas
relaciones especiales llamadas funciones representan uno de los conceptos ms
importantes de todas las matemticas. Los esfuerzos que se hagan desde el principio
para comprender y utilizar este concepto con exactitud, se vern recompensados muchas
veces.
Qu tienen en comn todos los ejemplos de relaciones dados aqu? Cada uno se refiere
a asociaciones de elementos de un primer conjunto, llamado dominio de la relacin, con
elementos de un segundo conjunto, llamado rango o recorrido de la relacin.
Considrese la tabla siguiente, la cual muestra tres relaciones que se refieren al cubo, al
cuadrado y a la raz cuadrada. Las dos primeras relaciones son ejemplos de funciones. La
tercera no lo es. Este trmino tan importante, funcin, se define a continuacin.

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

DEFINICIN DE FUNCIN: EN FORMA DE REGLA


Una funcin f es una regla de correspondencia que asocia a cada objeto x en un conjunto
de elementos llamado dominio un solo valor f (x) de un segundo conjunto. El conjunto de
todos los valores as obtenidos se denomina rango o recorrido de la funcin. (Ver la figura
2.1)

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.

DEFINICIN DE FUNCIN: EN FORMA DE CONJUNTOS


Una funcin es un conjunto de parejas ordenadas de elementos (x, f (x)), siempre que dos
parejas ordenadas distintas no tengan el mismo primer componente.

El conjunto de los primeros componentes se llama dominio y el conjunto de las segundas


componentes se llama recorrido de la funcin.
De acuerdo con esta definicin, se ve (como antes) que la relacin 3 no es una funcin,
dado que hay dos parejas ordenadas distintas que tienen el mismo primer componente
(est asociado ms de un elemento del recorrido con un elemento del dominio).
La definicin dada en forma de regla de una funcin sugiere una frmula o una mquina
operando sobre valores del dominio para producir valores del recorrido (un proceso
dinmico). Por otro lado, la definicin de este conceptos que toma como base a los
conjuntos se relaciona estrechamente con las grficas en un sistema de coordenadas
cartesianas (una forma esttica). Cada enfoque tiene sus ventajas en determinadas
situaciones.
El concepto de funcin constituye una base fundamental para el clculo diferencial e
integral, ya que multitud de fenmenos fsicos de la vida real pueden ser representados
por un modelo matemtico donde figuran todas aquellas magnitudes variables que
intervienen en el fenmeno. Por esta razn de aqu en adelante concentraremos nuestra
atencin solamente en aquellas relaciones que son funciones, siendo uno de los
principales objetivos de esta seccin exponer las formas ms comunes en las que se
especifican las funciones (incluyendo una notacin especial) y proporcionar cierta
experiencia para determinar si una relacin dada es o no una funcin.
2.1.2 NOTACIN Y EVALUACIN DE FUNCIONES
Se acaba de explicar que una funcin comprende dos conjuntos de elementos, el dominio
y el recorrido, y una regla de correspondencia que permite asignar a cada elemento del
dominio un elemento preciso del recorrido. As como se usan literales diferentes para
designar los nombres de los nmeros, de la misma manera se usan literales distintas para
designar las funciones, tales como f, g, , etc.

Ya se ha mencionado que las funciones pueden especificarse de varias maneras, pero


nos concentraremos sobre todo en las dadas por una ecuacin que liga a las variables
dependiente e independiente. Para evaluar una de estas funciones, generalmente se asla
la variable dependiente en la parte izquierda de la ecuacin. As, si x representa un
elemento del dominio de una funcin f, a menudo se usa el smbolo f (x) para designar el
nmero en el recorrido de la funcin f asociado a x. Por ejemplo,

f (x) = 2x + 5

24

Es importante no pensar en f (x) como el producto de f por x. El smbolo f (x) se lee f de


x o f en x.
Esta notacin funcional tiene la ventaja de identificar claramente x como la variable
independiente o argumento de f, y a f (x) como la variable dependiente, a la vez que le
otorga a la funcin un nombre, f. Con esta terminologa se quiere sugerir que x tiene la
libertad de variar, pero que una vez que x tiene un valor especfico, se determina un valor
de f (x) correspondiente. Para expresar el valor de la funcin cuando la variable
independiente x tiene un valor particular, digamos x = a, simplemente se sustituye x por a
y se denota a la funcin por f (a). Por ejemplo,

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):

EL SMBOLO f (x) DE UNA FUNCIN


Para cualquier elemento x del dominio de una funcin f, el smbolo f (x) representa el
elemento del recorrido de f que corresponde a una x del dominio de f. (Si x es un valor
sustituido, f (x) es un resultado, es decir, simblicamente, f : x f (x). La pareja ordenada
(x, f (x)) pertenece a la funcin f.

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

EJEMPLOS PARA RESOLVER EN CLASE


2
1. Si f (x) = x2 - x + 1, calcular f (3), f (- 2) y f
3

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 ) =

2.1.3 DOMINIO Y RECORRIDO


Como consecuencia de las definiciones anteriores, se ve que una funcin se puede
determinar de diferentes maneras: mediante una ecuacin, una tabla, un conjunto de
parejas ordenadas de elementos, una grfica, por nombrar slo algunas de las formas
ms comunes. La regla de correspondencia es el corazn de una funcin, pero sta no
queda determinada por completo sino cuando se da su dominio; La regla de
correspondencia, junto con el dominio, determina el recorrido. Es decir, lo importante es
que se d un conjunto de elementos llamado dominio y una regla (mtodo o proceso)
para obtener el correspondiente valor del recorrido para cada valor del dominio.
Todos los dominios y recorridos utilizados en este curso sern conjuntos de nmeros
reales y las reglas que asocian valores del recorrido con valores del dominio sern
funciones con una sola variable, por lo que se dice que f es una funcin real de una
variable real. Por ejemplo, considrese la funcin

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.

Mientras no se indique lo contrario, se observar la siguiente convencin en lo que atae


a dominios y recorridos de funciones determinadas mediante ecuaciones.
26

CONVENCIN SOBRE DOMINIOS Y RECORRIDOS


Si una funcin est definida mediante una ecuacin y no se indica el dominio, se
supondr que ste es el mayor conjunto de nmeros reales para los que la regla de la
funcin tenga sentido, es decir todos los nmeros reales que, al reemplazar a la variable
independiente produzcan valores reales de la variable dependiente. ste se llama el
dominio natural de la funcin. El recorrido ser el conjunto de todos los resultados
correspondientes a los valores sustituidos.

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 ) =

x slo est definida para x 0 porque se est trabajando slo con


nmeros reales. Por lo tanto, el dominio natural de f es Df = {x : x R, x 0}.

EJEMPLOS PARA RESOLVER EN CLASE


Encontrar el dominio natural de las siguientes funciones:
2

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

2.1.4 FUNCIONES ALGEBRAICAS


La nocin moderna de funcin es fruto de los esfuerzos de muchos matemticos de los
siglos XVII y XVIII. A finales del XVIII los matemticos y cientficos haban llegado a la
conclusin de que la mayora de los fenmenos naturales pueden representarse por
modelos matemticos tomados de una coleccin bsica de funciones, llamadas tambin
funciones elementales.

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

Figura 2.2. Funcin constante

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

A partir de estas funciones elementales se pueden construir muchas de las funciones


importantes en clculo.

FUNCIN ALGEBRAICA
Una funcin algebraica es la formada un nmero finito de operaciones algebraicas en la
funcin constante y la funcin identidad.

Ejemplos de funciones algebraicas son las siguientes:

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

Las funciones algebraicas se pueden clasificar a su vez en:

FUNCIN RACIONAL ENTERA O POLINOMIAL


Una funcin f se llama funcin racional entera o polinomial si f (x) es de la forma

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 )

en donde P(x) es un polinomio. Es decir, son aquellas en donde algn exponente no es


entero e involucran, sobre todo, expresiones que poseen radicales.

Ejemplos de funciones irracionales son los siguientes:

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.

2.1.5 GRFICAS DE FUNCIONES ALGEBRAICAS


CONSTRUCCIN DE LA GRFICA DE UNA FUNCIN
Lo importante de una funcin f es que el nmero f (x) est determinado para todo nmero
x de su dominio. Sin embargo, ni la definicin intuitiva ni la formal dan la mejor manera de
representar una funcin. La mejor manera consiste en hacer dibujos, de lo cual se hablar
en la presente seccin.
Podemos emplear la grfica de una funcin f para analizar el comportamiento de f (x)
cuando los valores x del dominio varan. Puesto que una funcin no es ms que una
coleccin de pares de nmeros, el trazado de una funcin se reduce a trazar cada uno de
los pares de la misma. El dibujo as obtenido recibe el nombre de grfica de la funcin. Es
decir, la grfica contiene todos los puntos correspondientes a pares (x, f (x)). Si una
funcin se define por medio de una ecuacin, entonces la grfica de f es la grfica de la
ecuacin.
A continuacin se ver cmo utilizar el sistema de coordenadas rectangulares para dar
una representacin geomtrica o grfica de una funcin. Este mtodo tiene la ventaja de
que proporciona visualmente un diagrama del comportamiento de una funcin dada de
una variable.

31

CONSTRUCCIN DE LA GRFICA DE UNA FUNCIN


1. Determinar la extensin de la curva (dominio)
2. Determinar las intersecciones con los ejes, es decir los puntos de coordenadas (x, 0) y
(0, f (x)). Las intersecciones de la grfica de una funcin f con el eje horizontal son las
soluciones de la ecuacin f (x) = 0. Estos nmeros se conocen como ceros o races de
la funcin. La interseccin de la grfica con el eje vertical es f (0), si es que existe.
3. Determinar y localizar las asntotas verticales y horizontales, si las hay.
4. Tabular para unos cuantos valores de x.
5. Tomar cada uno de estos pares de valores reales como coordenadas (x, f (x)) de un
punto en un sistema de coordenadas rectangulares y unir dichos puntos mediante una
curva suave.
El conjunto de todos los puntos, y slo ellos, cuyas coordenadas satisfacen la ecuacin
y = f (x) se llama el lugar geomtrico o grfica de la funcin.

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.

EJEMPLOS PARA RESOLVER EN CLASE


1. Trazar la grfica de f si f (x) =
2. Trazar la grfica de f si f (x) =

9 x 2 y determinar su dominio y su recorrido de


1
y determinar su dominio y su recorrido.
x +1
2

IDENTIFICACIN DE LA GRFICA DE UNA FUNCIN


Es importante hacer notar que la grfica de una funcin no puede contener ni siquiera dos
puntos situados sobre la misma vertical. Esta conclusin se desprende inmediatamente
de la definicin de funcin; dos puntos sobre la misma vertical corresponden a pares de la
forma (a, b) y (a, c) y, por definicin, una funcin no puede contener (a, b) y (a, c) si b c.
Viceversa, si un conjunto de puntos del plano tiene la propiedad de que no hay dos puntos
situados sobre la misma vertical, entonces dicho conjunto es la grfica de una funcin.

32

IDENTIFICACIN DE LA GRFICA DE UNA FUNCIN: CRITERIO DE LA RECTA VERTICAL


La condicin geomtrica para que f (x) sea una funcin es que toda recta paralela al eje
vertical debe cortar la grfica en un solo punto. De otra manera, f (x) representa a una
relacin.

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.

(a) S es una funcin

(b) No es una funcin

Figura 2.3. Criterio de la recta vertical

FUNCIONES DEFINIDAS PARTE POR PARTE


Una funcin f puede implicar dos o ms expresiones, cada una definida en partes distintas
sobre el dominio de f. Una funcin definida de esta manera se denomina funcin definida
parte por parte. Por ejemplo,
x<0
2 x + 3 si
2
f (x) = x
si 0 x < 2
1
x2
si

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

EJEMPLO PARA RESOLVER EN CLASE


Trazar la grfica de la funcin:
x<0
2 x + 3 si
2
f (x) = x
si 0 x < 2
1
x2
si

GRFICAS DE FUNCIONES LINEALES


Las funciones ms sencillas, las funciones constantes f (x) = c, tienen las grficas ms
sencillas. La grfica de una funcin constante es una recta paralela al eje horizontal, a
distancia c de l (figura 2.4).

f (x) = 1
x
f (x) = -

1
2

Figura 2.4. Funcin constante

Las funciones de la forma f (x) = ax tienen tambin grficas particularmente sencillas:


lneas rectas que pasan por (0,0), como en la figura 2.5. El nmero c recibe el nombre de
pendiente de la recta, y toda recta paralela a sta se dice tambin que tiene pendiente c.
f (x) = - x

f (x) = x
f (x) =
x

Figura 2.5. Funciones lineales f (x) = cx

34

x
2

Las funciones de la forma f (x) = ax + b, en donde a y b son nmeros reales y a 0,


reciben el nombre de funciones lineales. La grfica de una funcin lineal es una recta de
pendiente a que pasa por el punto (0, b), como se muestra en la figura 2.6.
f (x) = ax + b

f (x) = ax
(0, b)
x

Figura 2.6. Funciones lineales f (x) = ax + b

Las grficas de las funciones lineales corresponden solamente a rectas no paralelas al eje
vertical. Las rectas verticales no son grficas de ninguna funcin.

EJEMPLOS PARA RESOLVER EN CLASE


1. Trazar la grfica de f (x) = 2x + 3 y determinar el dominio y el recorrido de f.
2. Trazar la grfica de f (x) = 4 -

1
x y determinar el dominio y el recorrido de f.
2

GRFICAS DE FUNCIONES POLINOMIALES


2
Despus de las funciones lineales, quizs la funcin ms simple sea f (x) = x . Si se
2
trazan algunos de los pares de f, es decir, algunos de los pares de la forma (x, x ), se
obtiene una imagen como la de la figura 2.7. Esta curva es conocida por el nombre de
parbola.

f (x) = x2

Figura 2.7. Funcin cuadrtica f (x) = x

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.

INTERSECCIONES CON EL EJE HORIZONTAL DE LA GRFICA DE UNA FUNCIN CUADRTICA


Las intersecciones x de la grfica de f (x) = ax2 + bx + c son las soluciones de la ecuacin
2
cuadrtica ax + bx + c = 0.

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)

Figura 2.8. Funciones potenciales f (x) = x

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

EJEMPLOS PARA RESOLVER EN CLASE


1. Trazar la grfica de f si f (x) = -

1 2
x + 4.
2

2. Trazar la grfica de f si f (x) = 2x2 6x + 4 y hallar el valor mnimo de f (x).


3. Trazar la grfica de f si f (x) = 8 2x - x2 y hallar el mximo valor de f (x).
4. Si f (x) = x3 + x2 4x 4, determinar todos los valores de x tales que f (x) > 0, y todos
los valores de x tales que f (x) < 0. Utilizar esta informacin para trazar la grfica de f.
5. Sea f (x) = x4 - 4x3 + 3x2. Determinar todos los valores de x tales que f (x) > 0, y todos
los valores de x tales que f (x) < 0. Trazar la grfica de f.

GRFICAS DE FUNCIONES RACIONALES


Finalmente, recurdese que 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. 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) -

cuando x tiende a a, por la derecha o por la izquierda. Las asntotas verticales se


representan mediante lneas punteadas, y son caractersticas comunes de las grficas de
funciones racionales. De hecho, si a es una raz del denominador h (x), entonces la grfica
g ( x)
tiene la asntota vertical x = a.
de f (x) =
h( x)
Tambin nos interesarn los valores de f (x) cuando x es grande. Por ejemplo, en la
figura 2.10 vemos que podemos hacer que f (x) se acerque a 0 tanto como queramos si
escogemos x suficientemente grande. Esto se expresa simblicamente por f (x) 0
cuando x , lo cual se lee: f (x) se aproxima a cero cuando x crece ilimitadamente (o
bien, f (x) tiende a cero cuando x tiende a infinito). En dicha grfica, la recta y = 0, esto es,
el eje horizontal, es la asntota horizontal de la grfica. En general se tiene que la recta y =
b es una asntota horizontal de la grfica de la funcin f si

f (x) b cuando x o cuando x -

39

ASNTOTAS VERTICALES Y ASNTOTAS VERTICALES

La recta x = a es una asntota vertical de la grfica de la funcin f si

f (x)

o bien

f (x) -

cuando x tiende a a, por la derecha o por la izquierda.

La recta y = b es una asntota horizontal de la grfica de la funcin f si

f (x) b cuando x o cuando x -


Las grficas de las funciones racionales tienen frecuentemente asntotas horizontales. La
forma en que la grfica se aproxima a la recta y = b vara, dependiendo de la naturaleza
de la funcin. El siguiente teorema es til para localizar las asntotas horizontales de la
grfica de una funcin racional.

TEOREMA 2.1.1. ASNTOTAS HORIZONTALES DE GRFICAS DE FUNCIONES RACIONALES


Sea 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

Si n < m, entonces el eje horizontal es una asntota horizontal de la grfica de f.


Si n = m, entonces la recta y = an / bm es una asntota horizontal de la grfica de f.
Si n > m, la grfica de f no tiene asntota horizontal

EJEMPLOS PAREA RESOLVER EN CLASE


1. Trazar la grfica de f si:
1
(a) f (x) =
x2

(b) f (x) =

x2
x2 x 2

(c) f (x) =

x2 2x 3
x 2 1

2. Determinar las asntotas verticales y horizontales de la grfica de f si:


5x2 +1
3x 1
(a) f (x) = 2
(b) = f (x) =
3x2 4
x x6

40

2.1.6 TRANSFORMACIONES DE GRFICAS


La notacin funcional sirve para describir cmodamente transformaciones de grficas en
el plano, ya que algunas familias de grficas tienen una forma bsica comn.

TIPOS DE TRANSFORMACIONES (c > 0)

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)

Por ejemplo, comprense las siguientes grficas de f (x) = x2:

Grfica original f (x) = x

a) Traslacin vertical hacia abajo


2
f (x) 2 = x 2

b) Traslacin vertical hacia arriba


2
f (x) + 2 = x + 2

41

c) Traslacin horizontal a la izquierda


2
f (x + 2) = (x + 2)

e) Reflexin y desplazamiento vertical


2
- f (x) + 2 = - x + 2

d) Traslacin horizontal a la derecha


2
f (x 2) = (x 2)

f) Reflexin y desplazamiento horizontal y vertical


2
- f (x 1) + 1= - (x 1) + 1

Cada una de las grficas anteriores es una transformacin de la grfica de f (x) = x2.

EJEMPLOS PARA RESOLVER EN CLASE


1. Trazar la grfica de f si: (a) f (x) = (x 4)2; (b) f (x) = (x + 2)2
1
2. Trazar la grfica de: (a) f (x) = 4x2; (b) f (x) = x2
4
3. A partir de la grfica de f (x ) = x , esbozar la de las siguientes funciones:
a) f (x) =

x +2

d) f (x) =

b) f (x) =

x2

e) f (x) =

c) f (x) =

x4

f) f (x) = 2 x

x+3

2.1.7 FUNCIONES PARES E IMPARES


SIMETRAS DE UNA GRFICA
Es posible ahorrarse algn trabajo y tambin dibujar grficas con mayor precisin si se
pueden reconocer ciertas simetras de ella, examinando la ecuacin correspondiente.

42

Si en una funcin se sustituye x por x y resulta una funcin equivalente, entonces la


grfica de la funcin es simtrica con respecto al eje vertical.

(- x, f (x))

(x, f (x))
x

Figura 2.11. Simetra con respecto al eje vertical

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

FUNCIONES PARES E IMPARES

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.

En ambos casos se entiende que x est en el dominio de f siempre que x lo est.

Algunas propiedades de las funciones pares e impares son las siguientes:

El producto de dos funciones pares es par.


El producto de dos funciones impares es par.
El producto de una funcin par y una impar es impar.

EJEMPLOS PARA RESOLVER EN CLASE


x 3 + 3x
par, impar o ninguna de las dos?
x 4 3x 2 + 4
4
2
2. Si f (x) = 3x 2x + 5, demostrar que f es una funcin par. Posteriormente trazar su
grfica.
5
3
3. Si f (x) = 2x 7x + 4x, demostrar que f es una funcin impar. Posteriormente trazar
su grfica.

1. Es f (x) =

2.1.8 COMBINACIN DE FUNCIONES


Las funciones no son nmeros, pero as como dos nmeros a y b pueden ser sumados
para producir un nuevo nmero a + b, dos funciones f y g se pueden sumar para producir
una nueva funcin f + g. Esta es slo una de diversas operaciones con funciones que se
describirn en esta seccin.
COMBINACIONES ARITMTICAS
Dos funciones, f y g, pueden sumarse, multiplicarse y dividirse de manera natural para
formar las nuevas funciones f + g, f g y f / g. Por ejemplo, f + g se define por la frmula
( f + g) (x) = f (x) + g (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,

( f + g) (x) = f (x) + g (x) = x2 +


Df : R;

1 x 2

Dg = {x: 1 x2 0} = {x: - 1 x 1}

D ( f + g) : {x: - 1 x 1}

De manera ms general, se establece la siguiente definicin.

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)

en las que x est en I.

f
f (x)
( x ) =
g(x )
g

en donde x est en I y g (x) 0.

Algunos hechos acerca de la suma, el producto y el cociente de funciones, son


consecuencias inmediatas de hechos acerca de sumas, productos y cocientes de
nmeros. Por ejemplo, es muy fcil demostrar que

(f+g)+h=f+(g+h)
ya que al interpretar la definicin de cada lado se obtiene

[( f + g ) + h] (x) = ( f + g ) (x) + h (x)


= [ f (x) + g (x) ] + h (x)

[ f + ( g + h )] (x) = f (x) + ( g + h ) (x)


= f (x) + [ g (x) + h (x)]

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

EJEMPLOS PARA RESOLVER EN CLASE


1. Si f (x) =

4 x 2 y g (x) = 3x + 1, encontrar la suma, la diferencia, el producto y el

cociente de f y g, as como f

yg

2. Si f (x) = x2 + 1 y g (x) = 3x - 2, encontrar la suma, la diferencia, el producto y el


cociente de f y g, as como f 3 y g 2.

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

Si sustituimos x por g (x) en la frmula de f, se obtiene una nueva funcin

f (g (x)) = (g (x))2 = (x + 1)2


que denotamos por f g. As,

f g = f (g (x)) = (g (x))2 = (x + 1)2


Es decir, si f y g son dos funciones cualesquiera y si g trabaja con x para producir g (x) y
despus f trabaja con g (x) para producir f ( g (x)), entonces se dice que se ha hecho una
composicin de f con g. La funcin resultante se llama composicin de f con g y se
designa mediante el smbolo f g.
En general se establece la siguiente definicin.

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.

En otras palabras, f g se lee f composicin g y se trata de la funcin cuyo dominio est


formado por todos los elementos x que pertenecen al dominio de g para los cuales
f ( g (x)) tiene sentido:

D f g = {x : x Dg, g (x) Df }

Esquemticamente, si g (x) tiene dominio en A y recorrido en B, y f (x) tiene dominio en B


y recorrido en C, entonces f g tendr su dominio en A y su recorrido en C

47

f g
A
C

f
B

El smbolo f g tiene la ventaja de que existe menor probabilidad de confundir f g con


g f ya que la composicin de funciones no es conmutativa; f g y g f por lo general
son diferentes:

f g g f
Por ejemplo, si f (x) =

x3
y g (x) =
2

x , se pueden componer estas funciones de dos

maneras:
x3
( g f ) (x) = g ( f (x)) = g
=
2

( f g ) (x) = f ( g (x)) = f

( x )=

x3
2
x 3
2

Se debe tener cuidado al describir el dominio de una funcin compuesta. El dominio de


f g es la parte del dominio de g (es decir, los valores de x) para los que f puede aceptar
a g (x) como insumo. En el ejemplo anterior, el dominio de g f es [3, ), puesto que x
x3
con el
debe ser igual o mayor que 3 con el objeto de dar un nmero no negativo
2
que pueda trabajar.

EJEMPLOS PARA RESOLVER EN CLASE


1. Si f (x) = 5x2 + 2x + 1 y g (x) = x3 , hallar ( f g ) (x) y ( g f ) (x)
2. Si f (x) = 5x + x , y g (x) = x 2 hallar ( f g ) (x) y dar el dominio de ( g f ) (x).
3. Si f (x) = x2 1 y g (x) = 3x + 5, determinar ( f g ) (x) y ( g f ) (x).
6x
4. Sean f (x) = 2
y g ( x ) = 3 x . Primero encontrar ( f g ) (x) y dar su dominio;
x 9
despus, encontrar ( f g) (12).

48

2.2 FUNCIONES TRIGONOMTRICAS


2.2.1 DEFINICIN DE SENO Y COSENO
Aun cuando ya se est familiarizado con las definiciones de las funciones trigonomtricas
basadas en ngulos y tringulos rectngulos, ahora estamos ms interesados en las
funciones trigonomtricas basadas en el crculo unitario. Cuando se consideran de esta
forma, sus dominios son conjuntos de nmeros en vez de conjuntos de ngulos.
El crculo unitario, denotado con C, es el crculo con radio 1 y centro en el origen, cuya
circunferencia tiene ecuacin x2 + y2 = 1. Sea A el punto (1, 0) y sea t un nmero sobre la
recta numrica paralela al eje vertical (eje t) que pasa por el punto A. Si t > 0, su
representacin estar hacia arriba de A y si t < 0, estar por debajo de A. Definamos una
funcin envolvente E (t). Todo punto sobre el eje t tendr una y slo una imagen sobre la
circunferencia tal que si t > 0, el eje t envuelve a la circunferencia en sentido contrario a
las manecillas del reloj y si t < 0, la envuelve en sentido horario. Existe, pues, un solo
punto E (t0) = P0 (x0, y0) en el crculo C tal que la distancia, medida en sentido contrario a
las manecillas del reloj alrededor del arco AP0, es igual a t0 (vase la figura 2.14).
Recordando que la circunferencia de un crculo con radio r es 2r, entonces la
circunferencia de C es 2. Por lo tanto, si t0 = , entonces el punto P0 est exactamente a
la mitad del camino alrededor del crculo iniciando en el punto A; en este caso P0 es el
punto (- 1, 0). Si t0 = 3 / 2, entonces P0 es el punto (0, - 1) y si t0 = 2, entonces P0 es el
punto A. Si t0 > 2, entonces le tomar ms de un circuito completo del crculo para trazar
el arco AP0.

E (t0) = P0 (x0, y0)


C
t0

y0

x0

t0
longitud (t0)

A (1 , 0 )

E (t1) = P1 (x1, y1)


t1

longitud (- t1)

Figura 2.14

De la misma manera, cuando t < 0, el eje t envuelve a la circunferencia en el sentido de


las manecillas del reloj. Igualmente, habr un solo punto E (t1) = P1 (x1, y1) en el crculo C
tal que la longitud del arco, medida en direccin de las manecillas del reloj a partir de A,
sea t1. As, para cada nmero real t, podemos asociar un nico punto P (x, y) en el crculo
unitario. Esto nos permite construir las definiciones clave de las funciones seno y coseno
(Figura 2.15).
49

P (x, y)
y

sen t

x
cos t

Figura 2.15

DEFINICIN DE LAS FUNCIONES SENO Y COSENO


Sea t un nmero real que determina el punto P (x, y) sobre el crculo unitario con centro
en el origen. Entonces
sen t = y

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.

2.2.2 PROPIEDADES BSICAS DEL SENO Y EL COSENO


Varios hechos son evidentes casi de inmediato a partir de las definiciones dadas
anteriormente:
En primer lugar, como t puede ser cualquier nmero real, el dominio de las funciones seno
y coseno es (- , ). En segundo lugar, x y y siempre estn entre 1 y 1, de modo que el
recorrido para las funciones seno y coseno es el intervalo [- 1, 1].
Puesto que el crculo unitario tiene 2 de circunferencia, los valores de t y t + 2
determinan el mismo punto P (x, y). Por lo tanto,
sen (t + 2) = sen t

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

Los puntos P1 y P2 que corresponden a t y t, respectivamente, son simtricos con


respecto al eje horizontal (figura 2.16) y, por lo tanto, sus abscisas son iguales y sus
ordenadas difieren slo en el signo. En consecuencia,
sen (- t) = - sen t

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.

PROPIEDADES BSICAS DE LAS FUNCIONES SENO Y COSENO

( - , )

Dominio:

Recorrido:

El seno y el coseno son funciones peridicas con periodo 2:

[- 1, 1]

sen (t + 2) = sen t,

cos (t + 2) = cos t

La funcin seno es impar:

sen (- t) = - sen t

La funcin coseno es par:

cos (- t) = cos t

Para cualquier t se verifica: sen2 t + cos2 t = 1

51

2.2.3 GRFICAS DEL SENO Y EL COSENO


Para construir la grfica de f (t) = sen t y f (t) = cos t, se sigue el procedimiento usual:
hacer una tabla de valores, graficar los puntos correspondientes y unir esos puntos
mediante una curva suave.
Sin embargo, hasta ahora slo conocemos los valores de seno y coseno para pocos
valores de t. Otros valores pueden determinarse a partir de argumentos geomtricos.
Algunos de stos se muestran en la tabla 2 del Apndice. Utilizando estos resultados, se
obtienen las grficas que se muestran en la figura 2.17.
Con respecto a estas grficas, seis cosas son notables:
1. Tanto sen t como cos t tienen recorridos de 1 a 1.
2. Ambas grficas se repiten en intervalos adyacentes de longitud 2.
3. La grfica de sen t es simtrica con respecto al origen y cos t con respecto al eje
vertical. (Por lo tanto, la funcin seno es impar y la funcin coseno es par)
4. La grfica de cos t es la misma que la de sen t, pero desplazada / 2 unidades a la

derecha: cos x = sen x.


2

5. La grfica de sen t es la misma que la de cos t, pero desplazada / 2 unidades a la

izquierda: sen x + = cos x.


2

6. La grfica de sen t desplazada / 2 unidades a la derecha es la grfica de cos t

reflejada en el eje horizontal: sen x = - cos x.


2

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

f (x) = D + A sen (Bx + C)

o bien

f (x) = D + A cos (Bx + C)

donde A, B > 0, C y D son constantes reales, representan desplazamientos,


compresiones y estiramientos de las grficas seno y coseno bsicas. Por ejemplo,

desplazamiento vertical

estiramiento/reflexin/compresin vertical

f (x) = D + A sen (Bx + C)


estiramiento/reflexin/compresin
horizontal al cambiar el periodo

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

EJEMPLOS PARA RESOLVER EN CLASE


1. Graficar:
1
(b) f (x) = 1 + 2 sen x
2
2. Encontrar el periodo de f (x) = cos 4x y graficar la funcin.

(a)

f (x) = cos x

2.2.4 OTRAS FUNCIONES TRIGONOMTRICAS


Podramos valernos slo de las funciones seno y coseno, pero es conveniente introducir
cuatro funciones trigonomtricas adicionales: tangente, cotangente, secante y cosecante.
Se define:

OTRAS FUNCIONES TRIGONOMTRICAS


Tangente:

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

Lo que sabemos con respecto al seno y el coseno dar automticamente conocimientos


acerca de estas cuatro nuevas funciones.
Las grficas de las funciones secante, tangente, cosecante y cotangente se han dibujado
en la figura 2.18.

54

tg t

sec t

- 3 / 2

/2

3 / 2

-/2

/2

3 / 2

Figura 2.18 (a)

ctg t

cosec

/2

Figura 2.18 (b)

EJEMPLOS PARA RESOLVER EN CLASE


1. Demostrar que la tangente es una funcin impar.
2. Verificar las siguientes identidades: 1 + tg2 t = sec2 t y 1 + ctg2 t = csc2 t

2.2.5 RELACIN CON LA TRIGONOMETRA DEL NGULO


Por lo comn, los ngulos se miden en grados o en radianes. Por definicin, un radin es
el ngulo que corresponde a un arco de longitud 1 en un crculo unitario (figura 2.19).

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

Esto es, la fraccin de la circunferencia total 2r correspondiente a un ngulo t es la


misma fraccin del crculo unitario que corresponde al mismo ngulo t. Esto implica que

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

En clculo, cuando se encuentre un ngulo medido en grados, es necesario cambiarlo a


radianes antes de hacer cualquier clculo, ya que los dominios de las funciones deben ser
conjuntos de nmeros reales.
Por ltimo, tambin es importante mencionar que las identidades trigonomtricas se usan
en todo el clculo, especialmente en el estudio del clculo integral, por lo que para facilitar
las referencias, en la tabla 1 del Apndice se enumeran algunas identidades que revisten
particular importancia.
2.3 FUNCIONES INVERSAS
En el lenguaje cotidiano el trmino inversin comunica la idea de algo que cambia por su
opuesto. Por ejemplo, en meteorologa una inversin trmica es un cambio en el orden
contrario de las propiedades trmicas normales de las capas de aire, y en msica una
inversin meldica cambia un intervalo ascendente por el intervalo descendente
correspondiente. En matemticas el trmino inversa se utiliza para describir funciones que
se revierten recprocamente, en el sentido de que cada una anula el efecto de la otra. En
la presente seccin se estudiar el problema general de invertir una funcin.

57

2.3.1 LA FUNCIN INVERSA


Una funcin f toma un nmero x de su dominio D y le asigna un solo valor f (x) de su
recorrido R. Si se tiene suerte, es posible invertir a f ; esto es, para cada valor dado de f (x)
en R se puede regresar sin ambigedades para encontrar la x de donde provino. Por
ejemplo, partiendo de la funcin

f = {(1, 2), (3, 4), (5, 9), (13, 8)}


se obtiene

g = {(2, 1), (4, 3), (9, 5), (8, 13)}


Advirtase que ahora el dominio de g es R y su recorrido es D y que la coleccin de pares
ordenados obtenida realmente representan a una funcin, por lo que a g se le llama la
funcin inversa de f .
Desgraciadamente, esta luminosa idea no siempre da resultado. Por ejemplo, en la
2
funcin f (x) = x , para una f (x) dada hay dos x que le corresponden (figura 2.22). Tal
funcin no tiene inversa; por lo menos, no a menos de que se restrinja de alguna manera
su dominio.

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.

2.3.2 EXISTENCIA DE LA INVERSA


El procedimiento mostrado para determinar la inversa de una funcin f se bas en invertir
las parejas ordenadas. Sin embargo este procedimiento puede fallar porque la coleccin
de parejas ordenadas obtenidas puede no representar a una funcin. Incluso conociendo
la regla de correspondencia de f, es posible que la funcin f no tenga inversa o que, aun
cuando la tenga, no pueda encontrarse explcitamente una frmula para ella. Por lo tanto,
58

es importante establecer las condiciones que aseguren la existencia de la inversa, incluso


si sta no se puede determinar de manera explcita.
Si una funcin f tiene una inversa, es esencial que distintos nmeros en el dominio den
siempre diferentes valores de f. Se dice que una funcin con tales caractersticas es unouno o invertible, de modo que se sabe por la discusin anterior que si una funcin f tiene
una inversa, entonces debe ser uno-uno. El recproco tambin es verdadero, con lo que
se establece el siguiente teorema.

TEOREMA 2.3.1. EXISTENCIA DE LA INVERSA


Una funcin f tiene una inversa si y slo si es uno-uno.

En trminos algebraicos, una funcin f es uno-uno si y slo si

f (x1) f (x2) siempre que x1 x2


En trminos geomtricos, una funcin es uno-uno si y slo si la grfica de f (x) es cortada
a lo ms en un punto por una recta horizontal (figura 2.23).

funcin uno-uno

funcin que no es uno-uno


Figura 2.22

El ltimo enunciado junto con el teorema 1 ofrece el siguiente criterio geomtrico para
determinar si una funcin tiene una inversa.

TEOREMA 2.3.2. CRITERIO DE LA RECTA HORIZONTAL


Una funcin tiene una funcin inversa si y slo si su grfica es cortada a lo sumo una vez
por una recta horizontal.

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.

2.3.3 FUNCIONES CRECIENTES Y DECRECIENTES


Se dice que una funcin f cuya grfica asciende al mover x hacia la derecha es una
funcin creciente, y que una funcin cuya grfica desciende al mover x hacia la derecha
es una funcin decreciente (Figura 2.24).

DEFINICIN DE FUNCIN CRECIENTE Y DECRECIENTE

Si x1 y x2 son puntos en el dominio de una funcin f, entonces

f es creciente si
f (x1) < f (x2) siempre que x1 < x2

f es decreciente si
f (x1) > f (x2) siempre que x1 < x2

La funcin f se dice estrictamente montona en un intervalo I si es creciente o decreciente


en todo el intervalo.

Funcin creciente

Funcin decreciente

f (x2)

f (x1)
f (x2)

f (x1)
x1

x2

x1

f (x1) < f (x2) si x1 < x2

x2

f (x1) > f (x2) si 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

TEOREMA 2.3.3. LAS FUNCIONES MONTONAS SON INVERTIBLES


Si f es estrictamente montona en su dominio, entonces f es uno-uno y f tiene una
inversa.

EJEMPLOS PARA RESOLVER EN CLASE


1. Si f (x) = 2x 3x 12x + 7, determinar si f es uno-uno.
x
2. Determinar si es uno-uno la funcin g (x) =
.
1+ x 2
3. Demostrar que f (x) = x5 + 2x + 1 tiene una inversa.
3

2.3.4 INVERSA DE UNA FUNCIN UNO-UNO


DEFINICIN DE FUNCIN INVERSA
Suponga que f es una funcin uno-uno con dominio D y recorrido R. Si para todo nmero
a en D corresponde exactamente un nmero b en R, entonces el conjunto de todos los
pares (b, a) determinan realmente una funcin inversa g cuyo dominio es R y cuyo
recorrido es D. Por lo tanto f y g satisfacen

f (a) = b

g (b) = a

Las ecuaciones anteriores son en realidad composiciones de las funciones f y g:

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 )

En trminos de la nueva notacin, se tiene la siguiente definicin.

DEFINICIN DE FUNCIN INVERSA


Sea f una funcin uno-uno. La inversa de f es la funcin f -1 para la cual

f(f
f

(x)) = x

para todo x del dominio de f

( f (x)) = x

para todo x del dominio de f

-1

Las anteriores ecuaciones se denominan ecuaciones de cancelacin para f y f .


Como ya se ha mencionado antes, la composicin de funciones no es conmutativa, es
decir que en general no es cierto que f ( g (x)) y g ( f (x)) sean iguales. Sin embargo, un
caso especial en el que la composicin es conmutativa es cuando f y g son inversas la
una de la otra.
1
1
tambin tiene inversa, es decir
Esto significa que, si f tiene una inversa f , entonces f
f. Entonces, se puede decir que f y f 1 son un par de funciones inversas y, por lo tanto,
una funcin deshace (o invierte) lo que hizo la otra.

PROPIEDADES DE LA FUNCIN INVERSA


Antes de analizar un mtodo para encontrar la inversa de una funcin uno-uno f, se
-1
enumeran algunas propiedades importantes sobre f y su inversa f .

TEOREMA 2.3.4. PROPIEDADES DE LA FUNCIN INVERSA

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

PROCEDIMIENTO PARA ENCONTRAR LA INVERSA DE UNA FUNCIN


-1
Ahora bien, si f es la inversa de una funcin uno-uno f (x), entonces por las definicin de
-1
f sabemos que f ( f 1 (x)) = x. Por tanto, basta hacer lo siguiente para encontrar f -1.

62

PROCEDIMIENTO PARA ENCONTRAR LA INVERSA DE UNA FUNCIN


Suponga que f (x) es una funcin uno-uno. Entonces para encontrar f -1:
1

Determinar f ( f

Hacer f ( f

Resolver esta ecuacin para 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.

EJEMPLOS PARA RESOLVER EN CLASE


1. Demostrar que f (x) = 3x - 5 tiene inversa, encontrar la frmula de f 1 (x) y verificar el
resultado.
2. Hallar la funcin inversa de f si f (x) = x2 3, x 0 y verificar el resultado.

2.3.5 GRFICAS DE FUNCIONES INVERSAS


1
. Con este
El siguiente objetivo es explorar las relaciones entre las grficas de f y f
propsito, resultar deseable utilizar x como la variable independiente en ambas
funciones para que puedan compararse sus grficas.

PROPIEDAD REFLEXIVA DE LA INVERSA


Si (a, b) es un punto de la grfica de f (x), entonces b = f (a). Esto es equivalente a afirmar
1
(b), lo que significa que (b, a) es un punto de la grfica de f 1.
que a = f
En resumen, al invertir las coordenadas de un punto de la grfica de f se produce un
1
. De manera similar, al invertir las coordenadas de un punto
punto de la grfica de f
1
sobre la grfica de f
se produce un punto sobre la grfica de f.

TEOREMA 2.3.5. GRFICAS DE f Y f

-1

La grfica de f contiene el punto (a, b) si y slo si la grfica de f


(b, a).

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

Obviamente, al obtener dos veces la simtrica respecto a la diagonal se vuelve al punto


de partida: eso significa que (f 1) 1 = f, lo cual es tambin evidente partiendo de la
definicin.
En resumen, se llega al siguiente resultado.

TEOREMA 2.3.6. PROPIEDAD REFLEXIVA DE LA INVERSA


Si f tiene una inversa, entonces las grficas de f y f -1 son reflexiones una de la otra
respecto de la recta I (x) = x; esto es, cada grfica es la imagen de espejo de la otra con
respecto a esa recta.

64

EJEMPLOS PARA RESOLVER EN CLASE


1. Sea la funcin f (x) = 2x + 3, x [- 2, 2]. Investigar si f es uno-uno, y en caso
afirmativo, hallar su funcin inversa y trazar las grficas de ambas funciones en un
mismo sistema de ejes coordenados.
2x 1
, investigar si f es uno-uno, y en caso afirmativo, hallar su
3x 2
funcin inversa y trazar las grficas de ambas funciones en un mismo sistema de ejes
coordenados.

2. Sea la funcin f (x) =

2.3.6 DOMINIOS RESTRINGIDOS


Finalmente, existe una manera de salvar la nocin de inversa para funciones que no la
tienen en su dominio natural. Basta con restringir el dominio a un conjunto en el que la
grfica sea creciente o decreciente. As, por ejemplo, para f (x) = x2 se puede restringir el
dominio a x 0 (tambin podra ser x 0). Con ello, esta funcin tendra inversa (figura
2.27).

f (x) = x2

Figura 2.27

2.4 FUNCIONES TRIGONOMTRICAS INVERSAS


2.4.1 DEFINICIN Y GRFICA DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS
En esta seccin se introducen las funciones trigonomtricas inversas para considerar el
problema de recuperar un ngulo que podra producir el valor de una funcin
trigonomtrica dada.
Se comenzar este tema diciendo que ninguna de las seis funciones trigonomtricas
bsicas tiene inversa, ya que las seis funciones son peridicas y por tanto no son uno-uno.
Sin embargo, imponiendo restricciones apropiadas sobre los dominios, es factible obtener
funciones (sobre dominios ms reducidos) con el mismo comportamiento de las funciones
65

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.

DEFINICIN DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS


FUNCIN

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]

Sus grficas son las siguientes:

/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

La funcin cotangente no desempea un papel importante en clculo, por lo que no se dir


nada ms de ella. Lo mismo sucede con la cosecante.
Al calcular funciones trigonomtricas inversas, recurdese que denotan ngulos medidos
en radianes.

2.4.2 PROPIEDADES DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS


Recurdese que f ( f 1 (x)) = x y f 1 ( f (x)) = x se cumple para cualquier funcin f y su
inversa si hay restricciones idneas sobre x. Por tanto, para las funciones trigonomtricas
inversas tenemos las siguientes propiedades.

TEOREMA 2.4.1. PROPIEDADES DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS

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

stas tambin se pueden escribir en la forma:


67

arcsen (sen x) = x

sen (arcsen x) = x

arccos (cos x) = x

cos (arccos x) = x

arctan (tg x) = x

tg (arctg x) = x

siempre que x se restrinja adecuadamente.

EJEMPLOS PARA RESOLVER EN CLASE


1. Sin usar calculadora, encontrar el valor exacto de:
1
a) arc sen
b) sen 1 (- 1)
2

3
c) arc cos
2

2
1

2. Sin usar calculadora, encontrar tg sen 1 y cos arc tg


3
4

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

2.5 FUNCIONES EXPONENCIALES Y LOGARTMICAS


Con la introduccin de los logaritmos en el siglo XVII como herramienta para realizar
clculos, los cientficos de la poca contaron con un poder de cmputo antes
inimaginable. Aunque las computadoras y las calculadoras han sustituido a las tablas de
logaritmos en los clculos numricos, las funciones logartmicas tienen aplicaciones muy
amplias en matemticas y ciencias. En esta seccin revisaremos algunas propiedades de
los exponentes y logaritmos y posteriormente utilizaremos la discusin previa de las
funciones inversas para establecer resultados acerca de las funciones exponenciales y
logartmicas.

2.5.1 FUNCIONES EXPONENCIALES


DEFINICIN DE FUNCIN EXPONENCIAL CON BASE a
En esta seccin se estudiar una clase nueva de funcin que se define mediante
exponentes variables. Para empezar, hay que observar que

f (x) = 2x
68

g (x) = x2

no son la misma funcin. La funcin g es potencial, la que ya se ha analizado; la funcin f


es una nueva funcin llamada funcin exponencial.

DEFINICIN DE FUNCIN EXPONENCIAL CON BASE a


Si a > 0 y a 1, entonces la funcin exponencial f con base a se define como

f (x) = ax
El nmero a se denomina base y x se denomina exponente.

El conjunto de sustitucin del exponente, es decir el dominio de f, es el conjunto de todos


los nmeros reales (- , ). El recorrido de f es el conjunto de los nmeros reales
positivos (0, ). Es necesario que la base a sea positiva para evitar nmeros complejos
1/2
.
como (- 2)
Debido a que el dominio de una funcin exponencial es el conjunto de nmeros reales, el
exponente x puede ser un nmero racional o irracional. Si, por ejemplo en la funcin
f (x) = 2x el exponente x es un nmero racional, se sabe lo que significa 2 5, 2 3, 2 2 / 3,
2 3 / 5, 2 1.4 y 2 3.15, pero qu significa 2
para definir un nmero como este:

? El siguiente procedimiento ilustra una forma

Usando aproximaciones numricas racionales de x, se puede demostrar que cuando x es


irracional, ax se puede aproximar con la precisin que se desee. As, dado que 2 =
1.414213, podemos usar esta representacin decimal infinita y suponer que la sucesin
siguiente de potencias racionales de 2:
21.4,

21.41,

21.414,

21.4142,

se aproxima cada vez ms al valor de 2 , y cuando se toman trminos de esta sucesin


hacia la derecha, la precisin mejora. Esto es precisamente lo que sucede si definimos
x
adecuadamente a .
x
En esta seccin se supondr que a se puede obtener de manera similar para cualquier
nmero real x cuando a > 0 y que por lo tanto las leyes de los exponentes se cumplen para
todos los exponentes que sean nmeros reales.

69

LEYES DE LOS EXPONENTES


Si a > 0, b > 0 y si x, x1 y x2 son nmeros reales, entonces
a

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

GRFICA DE UNA FUNCIN EXPONENCIAL


x
Para f (x) = a se distinguen dos tipos de grficas, dependiendo de si la base a satisface
a > 1 o 0 < a < 1.

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, ).

f (x) = ax, a > 1

f (x) = ax, 0 < a < 1

(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.

PROPIEDADES DE LA FUNCIN EXPONENCIAL CON BASE a

El dominio de f es el conjunto de los nmeros reales; es decir, (- , )

El recorrido de f es el conjunto de los nmeros reales positivos; es decir, (0, )

La interseccin de f con el eje vertical es (0, 1). La grfica no tiene interseccin con el
eje horizontal.

La funcin f es creciente sobre el intervalo (- , ) para a > 1 y decreciente sobre el


intervalo (- , ) para 0 < a < 1.

La funcin f es uno-uno.

El eje horizontal es una asntota horizontal para la grfica de f.

EJEMPLOS PARA RESOLVER EN CLASE


1. Graficar las funciones
a) f (x) = 3x

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

f (x) = 1 + cuando se deja que x crezca sin cota en la direccin positiva. Si el


x

smbolo de flecha representa la expresin se acerca, entonces el hecho de que f (x) e


cuando x es evidente en la tabla de valores numricos de f.
Aproximacin a

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

Tambin se dice que e es el lmite de f (x) = 1 + cuando x y se escribe


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

DEFINICIN DE LA FUNCIN EXPONENCIAL NATURAL

f (x) = ex, e 2.71828


Esta es una de las funciones ms importantes que se presentan en las matemticas
avanzadas y en las aplicaciones.
PROPIEDADES Y GRFICA DE LA FUNCIN EXPONENCIAL NATURAL
x
La grfica de la funcin exponencial natural f (x) = e se muestra en la figura 2.32. En
x
dicha grfica podemos ver claramente que f (x) = e no cuenta con ninguna caracterstica
observable que la distinga de la funcin f (x) = ax para a > 1 y no tiene ninguna propiedad
especial diferente a las que se proporcionaron en la lista de la seccin 2.5.1

f (x) = e x

(- 2, 1 / e )

(1, e)

(- 1, 1 / e)

(0, 1)
0
Figura 2.32

2.5.2 FUNCIONES LOGARTMICAS


DEFINICIN DE FUNCIN LOGARTMICA CON BASE a
x
Si f (x) = a y a > 1, entonces f es creciente sobre todo R, mientras que si 0 < a < 1, f es
decreciente (vase la figura 2.31). Por consiguiente, si a > 0 y a 1, entonces f es unouno y por lo tanto tiene una funcin inversa f 1. La inversa de una funcin exponencial
de base a se llama funcin logartmica de base a y se representa por loga. Sus valores se
representan como loga (x) o como loga x, que se lee logaritmo de x en base a. Puesto
que

u = f 1 (x)

si y slo si

x = f (u)

la definicin de loga se puede expresar de la siguiente manera:

73

DEFINICIN DE FUNCIN LOGARTMICA CON BASE a


Sea u = f (x). Si a >0, a 1) y x es un nmero real positivo cualquiera, entonces la funcin
logartmica con base a se define por
u = log a x

si y slo si

x=au

Ntese que si u = f (x), es decir u = loga x, entonces x = a u = a

log a x

En palabras, loga x es el exponente de la base a que produce x. Por ejemplo:


log2 8 = 3
1
log5
=-2
25
log10 10 000 = 4

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, ).

GRFICA DE LA FUNCIN LOGARTMICA


Puesto que una funcin logartmica es la inversa de una funcin exponencial, es posible
obtener la grfica de la primera al reflejar la grfica de la segunda en la recta I(x) = x
x
(figura 2.33). Recurdese que el dominio (- , ) y el recorrido (0, ) de f (x) = a se
vuelven, a su vez, el recorrido (- , ) y el dominio (0, ) de g (x) = loga x. Ntese que la
interseccin con el eje vertical (0, 1) de la funcin exponencial se vuelve la interseccin
con el eje horizontal (1, 0) de la funcin logartmica. Tambin, cuando la funcin
x
exponencial se refleja en la recta I (x) = x, la asntota horizontal para la grfica de f (x) = a
se vuelve una asntota vertical para la grfica de g (x) = loga x. En la figura 2.33 se
observa que para a > 1, x = 0, que es la ecuacin del eje vertical, es una asntota vertical
para la grfica de g (x) = loga x.

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

PROPIEDADES DE LA FUNCIN LOGARTMICA


En la lista siguiente se resumen algunas de las propiedades importantes de la funcin
f (x) = loga x.

PROPIEDADES DE LA FUNCIN LOGARTMICA

El dominio de f es el conjunto de nmeros reales positivos, es decir, (0, ).

El recorrido de f es el conjunto de nmeros reales, es decir, (- , ).

La interseccin con el eje horizontal de f es (1, 0). La grfica de f no tiene interseccin


con el eje vertical.

La funcin es creciente sobre el intervalo (0, ) para a > 1 y decreciente sobre el


intervalo (0, ) para 0 < a < 1.

La funcin f es uno-uno.

El eje vertical, es decir, x = 0, es una asntota vertical para la grfica de f.

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

= x para todo x > 0

= 10 y log3 37 = 7.

LA FUNCIN LOGARITMO NATURAL


Histricamente, la base usada con ms regularidad ha sido la base a = 10, llamados
logaritmos comunes. Pero en el clculo y en todas las matemticas avanzadas la base
importante es e. Los logaritmos con base a = e se llaman logaritmos naturales. Se utiliza
el smbolo ln x como abreviatura de loge x y se denomina logaritmo natural de x. Se
enuncia la definicin para tenerla como referencia.

DEFINICIN DE LOGARITMO NATURAL


ln x = loge x

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:

DEFINICIN DE LA FUNCIN LOGARITMO NATURAL


Sea u = f (x). Si x es un nmero real positivo cualquiera, entonces la funcin logaritmo
natural se define por
u = ln x

si y slo si

x=eu

Ntese que si u = f (x), es decir u = ln x, entonces x = e u = e ln x .

76

PROPIEDADES Y GRFICA DE LA FUNCIN LOGARITMO NATURAL


Las propiedades bsicas de la funcin f (x) = ln x son las mismas enlistadas para la
funcin logartmica con base a.
Los anlogos para el tercer punto de dicha lista para el logaritmo natural son:
ln 1 = 0

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

e ln x = x para todo x > 0


Estas dos propiedades son tiles al resolver ecuaciones que contienen funciones
exponenciales y logartmicas. Por ejemplo, e ln 25 = 25.
Puesto que a = e > 1, la grfica de f (x) = ln x tiene la forma logartmica caracterstica que
se muestra en la figura 2.34.

f (x) = ln x

(1, 0)

Figura 2.34. Funcin logaritmo natural

LEYES DE LOS LOGARITMOS


Las leyes de los exponentes pueden volver a plantearse de manera equivalente como las
leyes de los logaritmos.
Por ejemplo, si M = 1 y N = 2 , entonces por la definicin de funcin exponencial se
tiene que x1 = loga M y x2 = loga N. Por las leyes de los exponentes, MN = 1 + 2 . Esto,
expresado como un logaritmo es x1 + x2 = loga MN. Al sustituir x1 y x2 se obtiene loga M +
77

loga N = loga MN. Las partes restantes del siguiente teorema pueden demostrarse de la
misma manera.

TEOREMA 2.5.1. LEYES DE LOS LOGARITMOS


Para cualquier base a > 0, a 1, y nmeros enteros positivos M y N:
(i) loga MN = loga M + loga N

(ii) loga (M / N) = loga M loga N


c

loga (M ) = c loga M para todo nmero real c

(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

se puede calcular ln (en) para varios valores de la potencia n.


EJEMPLOS PARA RESOLVER EN CLASE
1. Usar las propiedades de los logaritmos para expresar cada uno de ellos como suma,
diferencia o mltiplo de logaritmos.
2
xy
a) ln
b) ln
z
3
c) ln

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

3. Simplificar las siguientes expresiones:


a) e 2 ln x
c) ln e sen x

b) ln (x2 e 2x)
d) e ln 2 + ln x

4. Resolver las siguientes ecuaciones:


a) ln2 + ln (4x 1) = ln (2x + 5)

b) e10k = 7

78

2.5.3 FUNCIONES HIPERBLICAS


DEFINICIN DE LAS FUNCIONES HIPERBLICAS
x
Combinaciones que implican las funciones exponenciales e y e
en matemticas que ameritan definiciones especiales.

ocurren tan a menudo

DEFINICIN DE SENO Y COSENO HIPERBLICO


Para cualquier nmero real x, el seno hiperblico de x es
senh x =

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.

DEFINICIN DE OTRAS FUNCIONES HIPERBLICAS


Para un nmero real x, la tangente hiperblica de x es
tgh 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

PROPIEDADES DE LAS FUNCIONES HIPERBLICAS


Existen muchas analogas entre estas funciones y las correspondientes funciones
trigonomtricas ordinarias, y aunque las funciones hiperblicas no son peridicas, cuentan
con muchas identidades que son semejantes a las de las funciones trigonomtricas. Por
ejemplo, la grfica de f (x) = senh x es simtrica con respecto al origen y la grfica de
f (x) = cosh x es simtrica con respecto al eje vertical. En otras palabras, f (x) = senh x es
una funcin impar y f (x) = cosh x es una funcin par:
senh (-x) = - senh x
cosh (-x) = cosh x
En trigonometra, una identidad fundamental es cos2 x + sen2 x = 1. Para funciones
hiperblicas, el anlogo de esta identidad es
cosh2 x senh2 x = 1
Las funciones senh y tgh son uno-uno. Por tanto las funciones f (x) = senh x y f (x) = tgh x
- 1
x y f (x) = tgh -1 x, definidas sobre
tienen una inversa, designadas con f (x) = senh
(- , ) y (- 1, 1), respectivamente. Si se restringe el dominio de cosh a [0, ), entonces
tiene una inversa, designada por f (x) = cosh 1 x, la cual est definida sobre [1, ).

80

UNIDAD DE COMPETENCIA 3. LMITES Y CONTINUIDAD


El desarrollo del clculo por Newton y Leibniz en el siglo XVII dio a los cientficos la
primera comprensin real de lo que significa una razn de cambio instantnea, como la
velocidad y la aceleracin. Una vez que la idea se entendi conceptualmente, se
establecieron mtodos eficientes de cmputo y la ciencia dio un gigantesco salto hacia
adelante. La piedra angular en la que se basan las razones de cambio es el concepto de
lmite, una idea de tal importancia que todos los dems conceptos del clculo se
desprenden ahora de ella.
En esta unidad de competencia se desarrolla por etapas el concepto de lmite, partiendo
de una nocin informal e intuitiva hasta llegar a una definicin matemtica precisa.
Tambin se estudiarn los teoremas y procedimientos para calcular lmites, concluyendo
con el uso de los lmites para el estudio de las funciones continuas.

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.

DEFINICIN INTUITIVA DE LMITE DE UNA FUNCIN


Si f (x) puede hacerse arbitrariamente prximo al nmero L, al tomar x suficientemente
cerca de un nmero c (pero x c), por la izquierda y por la derecha de c, entonces el
lmite de f (x) cuando x tiende a c es L, y se denota
lim f (x ) = L

xc

Es decir, la nocin de lmite est asociada con el comportamiento de una funcin cerca de
c, no en c.

82

3.1.2 LMITES LATERALES


DEFINICIN INTUITIVA DE LMITES LATERALES
El anlisis del concepto de lmite se facilita al usar una notacin especial. Si el smbolo de
flecha representa la palabra tiende, entonces el simbolismo

x c - indica que x tiende al nmero c por la izquierda

es decir, a travs de los nmeros que son menores que c, y

x c+ significa que x tiende a c por la derecha

es decir, a travs de los nmeros que son mayores que c. Finalmente, la notacin

x c significa que x tiende a c desde ambos lados

en otras palabras, por la izquierda y por la derecha de c sobre una recta numrica

DEFINICIN INTUITIVA DE LMITES LATERALES

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

lim f (x ) existen y tienen un valor comn L,

xc+

lim f (x ) = L

xc

lim f (x ) = L

xc+

entonces se dice que L es el lmite de f (x) cuando x tiende a c y se escribe

lim f (x ) = L

xc

83

Se puede ahora llamar al lim f (x ) = L , lmite bilateral o no dirigido, para distinguirlo de


xc

los lmites laterales (figura 3.2).

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

EXISTENCIA Y UNICIDAD DE UN LMITE


Para que exista el lmite bilateral de una funcin f (x) en un punto c, los valores de f (x)
deben tender a un nico nmero real L cuando x tiende a c, es decir que este nmero
debe ser el mismo sin importar si x tiende a c por la izquierda o desde la derecha. De lo
anterior, se deduce el siguiente teorema:
84

TEOREMA 3.1.1. EXISTENCIA Y UNICIDAD DE UN LIMITE


El lmite bilateral de una funcin f (x) existe en c si y slo si ambos lmites laterales existen
en c y tienen el mismo valor; esto es

lim f (x ) = L

xc

si y slo si

lim f (x ) = L

xc+

lim f (x ) = L

xc

y si lim f (x ) existe, entonces es nico.


xc

EJEMPLOS PARA RESOLVER EN CLASE


Trazar la grfica de las siguientes funciones para calcular los siguientes lmites.
1. lim f (x ) donde
x2

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

3.1.3 TEOREMAS SOBRE LMITES


La intencin del anlisis informal de las secciones anteriores fue proporcionar una
comprensin intuitiva de cundo un lmite existe o no. Sin embargo, no es aconsejable ni
prctico, en ninguna instancia, llegar a una conclusin respecto a la existencia de un
lmite con base en una grfica o tabla de valores numricos. Debe ser posible evaluar un
lmite, o concluir su no existencia, de alguna forma mecnica. Los teoremas que se
considerarn en esta seccin establecen tales mecanismos.
El primer teorema proporciona dos resultados bsicos que se usarn en todo el anlisis
de esta unidad.

TEOREMA 3.1.2. DOS LMITES FUNDAMENTALES


1. lim k = k
xc

donde k es una constante

2. lim x = c
xc

85

Con esto y lo que sigue se podr calcular el lmite de muchas funciones algebraicas.

TEOREMA 3.1.3. PROPIEDADES DE LOS LMITES


Sea n un entero positivo, k una constante y f, g funciones que tienen lmite cuando x
tiende a c, L1 y L2, respectivamente. Entonces son ciertas las siguientes propiedades:

lim [k f (x )] = k lim f (x )

Mltiplo escalar

xc

xc

Suma o diferencia lim [ f (x ) g (x )] = lim f (x ) lim g (x ) = L1 L2


xc

xc

xc

lim [ f (x ) g (x )] = lim f (x ) lim g (x ) = L1 L2

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

f (x ) = n lim f (x ) = L , siempre que L 0 si n es par


n

xc

EJEMPLOS PARA RESOLVER EN CLASE


x4

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 )

Ya se ha dicho que el lmite de f (x) cuando x tiende a c no depende del valor de f en


x = c. Sin embargo, si sucede que el lmite es precisamente f (c), se dice que el lmite
puede evaluarse por sustitucin directa.
La propiedad de la sustitucin directa es vlida para toda funcin polinomial o racional,
siempre que, en este ltimo caso el valor del denominador para c no sea cero.

86

TEOREMA 3.1.4. TEOREMA DE SUSTITUCIN

Si f es una funcin polinomial, entonces

lim f (x ) = f (c )

xc

Si f es una funcin racional

p (x )
q (x )

f (x ) =

entonces,
a) Si q (c) 0, entonces lim f (x ) = f (c )
xc

b) Si q (c) = 0, entonces lim f (x ) no existe


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.

EJEMPLOS PARA RESOLVER EN CLASE


1. lim

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

3.1.4 TCNICAS PARA CALCULAR LMITES FINITOS


TCNICA DE CANCELACIN
Un cociente f (x) / g (x) en el que tanto el numerador como el denominador tienen lmite
cero cuando x c se llama una forma indeterminada del tipo 0 / 0. El problema con estos
lmites es que es difcil saber por inspeccin si el lmite existe y, de ser as, cul es su
valor.
Algunas veces, los lmites de formas indeterminadas del tipo 0 / 0 pueden encontrarse por
simplificacin algebraica, pero muchas veces esto no funcionar y deben emplearse otros
mtodos que se estudiarn posteriormente. Sin embargo, el siguiente teorema ofrece una
importante aplicacin de la sustitucin directa.

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

Esto da una estrategia bsica para calcular lmites:

Aprender a reconocer los lmites calculables por sustitucin directa.


Si el lmite de f (x) cuando x tiende a c no puede evaluarse por sustitucin directa,
intentar hallar una funcin g que coincida con f en todo x c (elegir g de modo que su
lmite sea calculable por sustitucin directa.
Aplicar el teorema anterior para deducir que

lim f (x ) = lim g (x ) = g (c)

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

entonces se podr evaluar el lmite de f (x) cuando x c, cancelando el factor comn


(x c) del numerador y del denominador.
88

EJEMPLOS PARA RESOLVER EN CLASE


1. lim

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

RACIONALIZACIN DEL NUMERADOR


En los ejercicios anteriores se vio que la sustitucin directa conduca a la expresin 0 / 0,
que se llama una forma indeterminada porque no se puede (a partir slo de esa
expresin) calcular su lmite. Cuando esto sucede, se debe modificar la fraccin de
manera que el denominador no tenga lmite cero. Ya se vio que una forma de lograrlo es
cancelando factores comunes. Otra forma consiste en racionalizar el numerador.
Esta tcnica se basa en multiplicar por una forma conveniente de 1 y se utiliza cuando en
la fraccin aparecen radicales.

EJEMPLOS PARA RESOLVER EN CLASE

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

3.1.5 LMITES DE FUNCIONES TRIGONOMTRICAS


En esta seccin analizaremos lmites que implican funciones trigonomtricas. Como se
ver, el clculo de lmites trigonomtricos supone manipulaciones algebraicas y
conocimiento de algunas identidades trigonomtricas bsicas
LMITES DE FUNCIONES TRIGONOMTRICAS
El teorema siguiente, que no se demostrar, dice que el lmite de las seis funciones
trigonomtricas tambin puede calcularse por sustitucin directa.
89

TEOREMA 3.1.6. LMITES DE FUNCIONES TRIGONOMTRICAS


Para cualquier nmero real c se verifica:

lim sen x = sen c

xc

lim cos x = cos c

xc

Para un nmero c en el dominio de la funcin trigonomtrica dada se verifica:

lim tg x = tg c

xc

lim sec x = sec c

xc

lim csc x = csc c

xc

lim ctg x = ctg c

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.

Cuando se encuentra la forma indeterminada

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

EJEMPLO PARA RESOLVER EN CLASE


sen x
x2

1 para toda x prxima a cero pero diferente de cero,


6
x
qu se puede concluir de esto?
1
2. Usar el teorema de compresin para encontrar lim x 2 sen
x0
x

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

Aunque la funcin f (x) =

TEOREMA 3.1.8. UN LMITE TRIGONOMTRICO ESPECIAL


lim

x0

sen x
=1
x

DEMOSTRACIN:
Ntese que la sustitucin directa lleva a

0
. Supngase que t > 0 y considrese el
0

diagrama ya conocido de la figura 3.5

91

P (cos t, sen t)
t
t
A (1, 0)

Figura 3.5

Ntese que cuando t 0, el punto P se mueve hacia (1, 0) y por lo tanto

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

Ahora bien, las reas de las tres figuras verifican


rea 0AP rea (sector 0AP) rea 0AT
Donde
rea 0AP =

rea (sector 0AP) =

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

Como resultado, la doble desigualdad toma la forma


92

1
1
1 sen t
sen t
t
2
2
2 cos t

Multiplicando todo por

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

Hasta aqu hemos estado suponiendo que 0 < t <


0<-t<

y entonces
2

cos (- t)

. Pero si < t < 0, entonces


2
2

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

Esto se cumple ahora para -

sen t
1
t

< t < , t 0.
2
2

Ahora en esta desigualdad sea t 0 y aplquese el teorema de compresin. Se obtiene


lim

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

EJEMPLOS PARA RESOLVER EN CLASE


Calcular los siguientes lmites:
sen 5 x
3x
sen 5 x
3. lim
x 0 sen 2 x
sen (x 1)
5. lim 2
x 1 x + 2x 3
sen x sen a
7. lim
xa
xa

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

3.1.6 LMITES INFINITOS


En la seccin 2.1.5 se consideraron algunas funciones cuyas grficas posean asntotas.
En esta seccin se ver que las asntotas vertical y horizontal de una grfica estn
definidas en trminos de lmites que implican el concepto de infinito.
Recurdese que los smbolos de infinito, - y , son herramientas de notacin usadas
para indicar, a su vez, que una cantidad decrece o crece sin lmite en la direccin negativa
y en la direccin positiva, respectivamente.
Aunque la terminologa y notacin usadas cuando se trabaja con son estndar,
lamentablemente son ligeramente desafortunadas y pueden ser confusas. As, desde el
principio se advierte que se considerarn dos tipos de lmites. Primero se analizarn los
lmites infinitos, que siempre se refieren a un lmite que no existe porque la funcin f
exhibe un comportamiento no acotado: f (x) - o f (x) . Luego se considerarn los
lmites en el infinito, con los que se intenta determinar si una funcin f posee un lmite
cuando se deja que el valor de la variable x disminuya o aumente sin lmite: x - o x
; estos lmites pueden o no existir.
DEFINICIN INTUITIVA DE LMITE INFINITO
Ahora se ver otra manera en que la existencia de lmite puede fallar; el lmite de una
funcin f no existe cuando x tiende a un nmero c siempre que los valores de la funcin
f (x) crecen o decrecen sin lmite. Estos lmites se llaman lmites infinitos. El hecho de que
los valores de la funcin crecen o decrecen sin lmite cuando x tiende a c se expresan
simblicamente por:
94

DEFINICIN INTUITIVA DE LMITE INFINITO


Si los valores de f (x) se incrementan ilimitadamente cuando x se aproxima tanto como se
desee a un nmero c, entonces se escribe

f (x) cuando x c

o bien

lim f (x ) =

xc

De manera similar, si los valores de f (x) disminuyen ilimitadamente cuando x se aproxima


tanto como se desee a un nmero c, entonces se escribe

f (x) - cuando x c

o bien

lim f (x ) =

xc

Recurdese que el uso del smbolo x c significa que f muestra el mismo


comportamiento en este caso, sin lmite a ambos lados del nmero x sobre el eje
horizontal. Por ejemplo la primera notacin indica que (figura 3.7):

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.

DEFINICIN DE ASNTOTA VERTICAL


Se dice que una recta x = c es una asntota vertical para la grfica de una funcin f si
f (x) o f (x) - por la izquierda y /o por la derecha.

96

PROPIEDADES DE LOS LMITES INFINITOS


Para los lmites infinitos se tienen las siguientes propiedades.

PROPIEDADES DE LOS LMITES INFINITOS


Si c y L son nmeros reales y f, g funciones tales que

lim f (x ) =

xc

lim g (x ) = L

xc

entonces las siguientes propiedades son vlidas:


Suma o diferencia lim [ f (x ) g (x )] = L =
xc

Producto

Cociente

lim [ f (x ) g (x )] = L = , L > 0

xc

lim

xc

f (x ) L
=0
=
g (x )

Propiedades similares valen si lim f (x ) =


xc

EJEMPLOS PARA RESOLVER EN CLASE


1. Determinar los lmites cuando x tiende a -3 por la izquierda y por la derecha.
x2
x
a) lim 2
b) lim sec
x3 x 9
x3
6
2. Hallar los lmites indicados.
x2
a) lim 2
x 4 x 16
1

c) lim 1 +
x0
x
+

b)
d)

lim

x 1+

lim

x2 + x +1
x3 1

x 2

cosx

97

3.1.7 LMITES EN EL INFINITO


DEFINICIN INTUITIVA DE LMITE EN EL INFINITO
Ya se han usado los smbolos y - en la notacin para ciertos intervalos. As, (3, ) es
la manera de designar al conjunto de todos los nmeros reales mayores que 3. Ntese
que nunca nos hemos referido a o - como un nmero. Por ejemplo, nunca lo hemos
sumado o dividido con nmeros. Ahora se usarn los smbolos y - en una nueva
forma, pero seguirn sin representar nmeros.
Por ejemplo, considrese la funcin f (x) = 1 / x2, cuya grfica aparece en la figura 3.10.

f (x) =

1
x2

Figura 3.10

Haremos esta pregunta: qu le sucede a f (x) cuando x llega a ser ms y ms grande?


En smbolos, lo que preguntamos es el valor de lim f (x ) .
x

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

Experimentos con nmeros negativos conduciran a escribir


lim

1
=0
x2

En general, si una funcin f tiende a un valor constante L cuando la variable


independiente x crece sin lmite (x ) o cuando x decrece (x - ) sin lmite, entonces
se escribe

lim f (x ) = L

98

lim f (x ) = L

y se dice que f posee un lmite en el infinito.

DEFINICIN INTUITIVA DE LMITE EN EL INFINITO


Si los valores de f (x) se aproximan a la larga tanto como se desee a un nmero L,
cuando x se incrementa ilimitadamente, entonces se escribe

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 - .

Al comportamiento de una funcin f (x) cuando x se incrementa o disminuye


ilimitadamente se le llama en ocasiones comportamiento final de la funcin.
Las posibilidades para lmites en el infinito son:

Un lmite existe pero el otro no.


Tanto lim f (x ) = L como lim f (x ) = L existen y son iguales al mismo nmero

Tanto lim f (x ) = L como lim f (x ) = L existen pero son nmeros diferentes

Ni lim f (x ) = L ni lim f (x ) = L existen.

ASNTOTAS HORIZONTALES PARA LA GRFICA DE UNA FUNCIN


Si por lo menos uno de los lmites existe, por ejemplo, lim f (x ) = L , entonces la grfica
x

de f puede hacerse arbitrariamente prxima a la recta y = L cuando x crece en la direccin


positiva.

DEFINICIN DE ASNTOTA HORIZONTAL


Se dice que la recta y = L es una asntota horizontal para la grfica de una funcin f si por
lo menos se verifica una de las dos declaraciones

lim f (x ) = L

lim f (x ) = L

En las figura 3.11 se ilustran algunas asntotas horizontales tpicas.

99

f (x)

y=L

lim f (x ) = L

Figura 3.11 (a)

y=L
x
lim f (x ) = L

Figura 3.11 (b)

PROPIEDADES DE LOS LMITES EN EL INFINITO


Los lmites en el infinito, como los lmites en un nmero real c, pueden no existir por varias
razones. Una posibilidad es que los valores de f (x) se incrementen o disminuyan
ilimitadamente cuando x o x - . Se utilizar la siguiente notacin para describir
esta situacin, segn corresponda:
lim f (x ) =

lim f (x ) =

Los lmites de esta forma se llaman lmites infinitos en el infinito.


Las propiedades de los lmites dadas en el teorema 3.1.3 se cumplen tambin para los
lmites en el infinito, en el supuesto de que los lmites existen. Obviamente en el caso del
lmite de un cociente tambin debe tenerse lim f (x ) 0
x

100

EVALUACIN DE LMITES EN EL INFINITO


Por otra parte, algunas veces el aplicar las propiedades de los lmites conducen a la
forma indeterminada / . Para solventar esta dificultad se puede reexpresar en una
forma equivalente el cociente, en concreto, dividiendo numerador y denominador por la
mayor potencia de x que aparezca en el denominador, despus de lo cual se puede
determinar el comportamiento del lmite. El siguiente resultado suele ser til para evaluar
lmites en el infinito:

EVALUACIN DE LMITES EN EL INFINITO


Si r es positivo y racional, y k cualquier nmero real, entonces

lim

k
=0
xr

Si xr est definido cuando r < 0, entonces


lim

k
=0
xr

En general las funciones trigonomtricas no tienen lmites en el infinito debido a su


carcter peridico y no hay una notacin especfica para denotar este tipo de
comportamiento. Sin embargo, para calcular lmites en el infinito que contienen funciones
trigonomtricas, puede ser til utilizar el teorema de compresin.
En cuanto a los lmites en el infinito para funciones logartmicas y exponenciales, ya se vio
en las seccin 2.5 que las funciones ex y ln x se incrementan ilimitadamente cuando x
(ver las figuras 2.32 y 2.34). As, en notacin de lmites se tiene:
LMITES EN EL INFINITO DE FUNCIONES EXPONENCIALES Y LOGARTMICAS

lim e x = 0

lim e x =

lim ln x =

x 0+

lim e x =

lim e x = 0

lim ln x =

Por ltimo, es importante recordar lo siguiente:

101

Cuando se escribe

lim f (x ) = L

lim f (x ) = L

quiere decir que el lmite existe y es igual a L, en contraposicin a cuando se escribe

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.

EJEMPLOS PARA RESOLVER EN CLASE


Hallar el lmite indicado:
1. lim

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) =

9. Determinar si la grfica de f (x) =

x
3x 3 x 2 + 5x 2

6. lim sen x
x

5x
x2 + 4

tiene asntotas horizontales.

6
tiene asntotas horizontales.
1+ e x

3.1.8 DEFINICIN FORMAL DE LMITE DE UNA FUNCIN


En el anlisis que se presenta a continuacin se considerar un enfoque alterno a la idea de
lmite, que se basa en conceptos analticos ms que en conceptos intuitivos. Una demostracin
de la existencia de un lmite jams debe estar basada en la habilidad para elaborar grficas o
en tablas de valores numricos. Aunque una buena comprensin intuitiva de lim f (x ) es
xc

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

DEFINICIN FORMAL DE LMITE DE UNA FUNCIN


Se intentar demostrar que lim (2 x + 6 ) = 10 al trabajar la siguiente idea: Si f (x) = 2x +
x2

6 puede hacerse arbitrariamente prximo a 10 al tomar x suficientemente prximo a 2 por


ambos lados pero diferente de 2, entonces lim (2 x + 6 ) = 10 .
x2

Es necesario precisar los conceptos arbitrariamente prximo y suficientemente prximo.


Para establecer una norma de proximidad arbitraria se pedir que la distancia entre los
nmeros f (x) y 10 sea menor que 0.1; es decir,
| f (x) 10| < 0.1

9.9 < f (x) < 10.1

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

nmero positivo arbitrario que constituye la medida de la proximidad arbitraria al nmero


10. Se pide que

| f (x) 10| <

10 - < f (x) < 10 +

o sea

Entonces, por 10 < 2x + 6 < 10 + y por lgebra, se encuentra que


2-

<x<2+
2
2

<x-2<
2
2

103

De nuevo, al usar valores absolutos y al recordar que x 2, la ltima desigualdad puede


escribirse como
0 < | x 2| <

Si / 2 se denota por el nuevo smbolo (delta), entonces podemos escribir


| f (x) 10| <

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.

DEFINICIN FORMAL DE LMITE DE UNA FUNCIN


Sea una funcin f definida para toda x en un intervalo abierto que contiene al nmero c,
excepto quizs en x = c. Entonces

lim f (x ) = L

xc

si dado cualquier nmero > 0, existe un nmero > 0 tal que


| f (x) L | <

siempre que

0<|xc|<

Esto enfatiza que primero se da el nmero y debe producirse el nmero . Esta


definicin, atribuida al matemtico alemn Karl Weierstrass y que se llama comnmente la
definicin psilon-delta (-) de lmite bilateral, constituye la transicin del concepto
informal e intuitivo de lmite a una definicin rigurosa. Especficamente, se le confiere un
significado cuantitativo a la frase tan prximo como se desee a L por la posibilidad de
escoger de manera arbitraria el nmero positivo , mientras que el nmero positivo
cuantifica la frase suficientemente prximo a c (vase la figura 3.12).

104

f (x) ha de estar aqu

(c, L)

para toda x c aqu

lim f ( x ) = L

xc

Figura 3.12

Geomtricamente esto significa que la sucesin de rectngulos alrededor de c, cuyos


anchos son cada vez ms pequeos, tienen alturas cada vez menores y se acumulan en
torno al punto (c, L).
En las secciones anteriores se ilustraron varios mtodos numricos y grficos para
conjeturar lmites. Ahora que se cuenta con una definicin precisa con la cual trabajar, se
puede confirmar fehacientemente la validez de dichas conjeturas con una demostracin
matemtica. He aqu algunos ejemplos.

EJEMPLOS PARA RESOLVER EN CLASE


1. Establecer la validez de los siguientes lmites usando la definicin.

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

Considrese ahora la siguiente funcin (figura 3.13):


0 si x 1

f (x) =
2 si x > 1

105

El lmite de f no existe cuando x 1


Figura 3.13

En la figura 3.13 se reconoce que f tiene un salto en x = 1, de modo que lim f


x 1

(x)

no

existe. No obstante, para demostrar este ltimo hecho, se proceder indirectamente.


Supngase que el lmite existe, a saber, lim f ( x ) = L . Luego, por la definicin de lmite
x 1

1
sabemos que para la eleccin =
debe existir un > 0 tal que
2

| f (x) L| <

1
2

siempre que

Luego, a la derecha de 1 se escoge x = 1 + /2. Puesto que


0 < 1 +

1 =
2

0 < | x 1| <

<

debe tenerse
1

f 1 + L = 2 L <
2
2

A la izquierda de 1, se escoge x = 1 /2. Pero


0 < 1

1 =
2
2

<

implica
1

f 1 L = 0 L = L <
2
2

Al resolver las dos desigualdades en valor absoluto se obtiene, respectivamente,


3
5
<L<
2
2
106

1
1
<L<
2
2

Puesto que ningn nmero L puede satisfacer estas dos desigualdades, concluimos que
lim f ( x ) no existe.
x 1

DEFINICIN FORMAL DE LMITES LATERALES


Con el ejemplo anterior se demostr que cuando una funcin salta, el lmite no existe en
los puntos donde salta. Para tales funciones, resulta natural tal como se hizo en dicho
ejemplo introducir lmites unilaterales.
A continuacin se presentan las definiciones de los lmites laterales

lim f

xc+

(x) .

lim f

xc

(x)

DEFINICIN FORMAL DE LMITE LATERAL POR LA IZQUIERDA

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

DEFINICIN FORMAL DE LMITE LATERAL POR LA DERECHA

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

EJEMPLO PARA RESOLVER EN CLASE


1. Establecer la validez del siguiente lmite usando la definicin.

lim

x 0+

x =0

DEFINICIN FORMAL DE LMITES INFINITOS Y LMITES EN EL INFINITO


Los dos conceptos de lmite infinito
cuando

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| <

La primera definicin se ilustra en la figura 3.16.

f (x)

f (x) est aqu


M

c-

x
c

c+

para todo x c que est aqu

lim f (x ) =

xc

Figura 3.16

Recurdese que si f (x) (o - ) cuando x c, entonces x = c es una asntota vertical


para la grfica de f. En el caso en que f (x) cuando x c, entonces f (x) puede
hacerse ms grande que cualquier nmero positivo arbitrario (es decir, f (x) > M) al tomar
x suficientemente prximo a c (es decir, 0 < | x c| < ).
109

Los lmites infinitos unilaterales se definen de forma anloga a la proporcionada en la


definicin de lmites laterales.

DEFINICIN FORMAL DE LMITE EN EL INFINITO

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

si para todo > 0 existe un N > 0 tal que


| 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

si para todo > 0 existe un N < 0 tal que


| f (x) L | <

siempre que

x<N

Estas dos definiciones se ilustran en las figuras 3.17 y 3.18.


f (x)

f (x) est aqu

x
N
para toda x aqu

lim f (x ) = L

Figura 3.17

110

f (x) est aqu

x
0

para toda x aqu


Figura 3.18

Recurdese que si f (x) L cuando x (o - ), entonces y = L es una asntota


horizontal para la grfica de f. En el caso en que f (x) L cuando x , entonces la
grfica de f puede hacerse arbitrariamente prxima a la recta y = L (es decir, | f (x) L| <
) al tomar x suficientemente lejos sobre el eje horizontal positivo (es decir, x > N).

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.

EJEMPLO PARA RESOLVER EN CLASE


1. Establecer la validez del siguiente lmite usando la definicin.

lim

3x
=3
x +1

2.2 CONTINUIDAD DE FUNCIONES


En el anlisis de la seccin 2.1 sobre funciones y grficas se us la frase estos puntos se
unen con una curva suave. Esta frase invoca la imagen que es una curva continua
agradable; en otras palabras, una curva sin rupturas, saltos o huecos. En efecto, una
funcin continua a menudo se describe como una cuya grfica puede trazarse sin levantar
el lpiz del papel.
En la seccin 3.1 vimos que el valor funcional f (c) no desempeaba ningn papel en la
determinacin de la existencia de lim f (x ) . Pero tambin observamos que los lmites
xc

cuando x c de funciones polinomiales y ciertas funciones racionales pueden


111

encontrarse simplemente al evaluar la funcin en x = c. La razn por la que puede


hacerse lo anterior en algunas instancias es el hecho de que la funcin es continua en un
nmero c. En esta seccin veremos que tanto el valor de f (c) como el lmite de f cuando x
tiende a un nmero c desempean papeles primordiales al definir el concepto de
continuidad.
3.2.1 CONTINUIDAD DE UNA FUNCIN EN UN PUNTO
Antes de proporcionar la definicin de continuidad en un punto, en las figuras siguientes
se ilustran algunos ejemplos intuitivos de funciones que no son continuas en c.

f (x)

Figura 3.19

lim f (x ) no existe y f (c) no est definida

xc

f (x)

f (x)

f (c)

x
c

Figura 3.20

lim f (x ) no existe pero f (c) est definida

xc

112

Figura 3.21

lim f (x ) existe pero f (c) no est definida

xc

f (x)
f (x)
f (c)
l

x
c

Figura 3.22

lim f (x ) existe, f (c) est definida pero lim f (x ) f (c)

xc

xc

Las figuras anteriores sugieren la siguiente condicin tripartita de continuidad de una


funcin f en un nmero c.

DEFINICIN DE CONTINUIDAD DE UNA FUNCIN EN UN PUNTO


Se dice que una funcin f es continua en x = c si se satisfacen las siguientes condiciones:

f (c) est definida


lim f (x ) existe

xc

lim f (x ) = f (c)

xc

113

Si alguna de las tres condiciones anteriores no se cumple, entonces se dice que f es


discontinua en c.

EJEMPLOS PARA RESOLVER EN CLASE


1. Investigar si existe algn punto de discontinuidad para la funcin

f (x) =

x +3
x +x6
2

2. Trazar la grfica e investigar si es continua en el punto x = - 2. la funcin f definida por


x2 + x 2

x + 2
f (x ) =

si x 2
si x = 2

3. Establecer si la funcin f es continua o no en t = 2:

4t 8

f (t ) = t 2
2

si t 2
si t = 2

4. Determinar si la funcin definida parte por parte es continua en 2.


x2

f (x) = 5
6 x

si
si
si

x<2
x=2
x>2

3.2.2 CONTINUIDAD DE UNA FUNCIN EN UN INTERVALO


La definicin de continuidad dada anteriormente se refiere a la continuidad de una funcin
en un punto, pero el concepto de continuidad no empieza a ser interesante sino hasta que
dirigimos nuestra atencin a funciones que son continuas en todos los puntos de algn
intervalo.

114

CONTINUIDAD DE UNA FUNCIN EN UN INTERVALO


Una funcin f es continua

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

Si se cumple la condicin lim f (x ) = f (a ) , se dice que f es continua por la derecha en a;


xa+

si lim f (x ) = f (b ) , entonces f es continua por la izquierda en b.


x b

EJEMPLOS PARA RESOLVER EN CLASE


x 2 3 si 1 < x < 1

1. Investigar para qu valores de x es continua la funcin f (x ) = 2 x 4 si 1 x < 2

5 x 2 si 2 x < 3
2x 3

2. Investigar para qu valores de x es continua la funcin h (x) = x 5


3x

si
si
si

x < 2
2 x 1
x >1

si
x 1
2

3. Hallar a y b de modo que hagan continua a la funcin f (x ) = a x + b si 1 < x < 3

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

Las funciones trigonomtricas inversas f (x) = sen 1 x y f (x) = cos


sobre el intervalo cerrado [- 1, 1] (ver las figuras 2.28 y 2.29).

x son continuas

La funcin exponencial natural f (x) = e es continua sobre el intervalo (- , ), mientras


que la funcin logaritmo natural f (x) = ln x es continua sobre (0, ). Vanse las figuras
2.32 y 2.34.
3.2.3 CONTINUIDAD EN LA COMBINACIN DE FUNCIONES
Cuando dos funciones f y g son continuas en x = c, entonces la combinacin de las
funciones formadas por suma, multiplicacin y divisin tambin es continua en c. En el
caso de la divisin f / g es necesario, por supuesto, requerir que g (c) 0.
TEOREMA 3.2.1. CONTINUIDAD EN OPERACIONES CON FUNCIONES
Si las funciones f y g son continuas en c, k es una constante y n un entero positivo,
entonces tambin son continuas en c las funciones

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

Las funciones polinomiales son continuas en (- , ).

Las funciones racionales son continuas en (- , ), excepto en los puntos donde el


denominador es cero.

La funcin f (x) = |x| es continua en (- , ).

La funcin f (x ) = n x es continua en (- , ) si n es impar y en [0, ) si n es par.


Las funciones f (x) = sen x y f (x) = cos x son continuas en (- , ).

Las funciones f (x) = tg x y f (x) = sec x son discontinuas en x = (2n + 1)/2, n = 0, 1,

Las funciones f (x) = ctg x y f (x) = csc x son discontinuas en x = n, n = 0, 1, ..


1

x y f (x) = cos 1 x son continuas sobre el intervalo cerrado

Las funciones f (x) = sen


[- 1, 1].

La funcin f (x) = e es continua sobre el intervalo (- , ).

La funcin f (x) = ln x es continua sobre (0, )

Combinando estas funciones con las propiedades precedentes, puede verse que una gran
variedad de funciones son continuas.

EJEMPLO PARA RESOLVER EN CLASE


1. Para cules nmeros es continua f (x) =

3 x x2
x+

3.2.4 CLASES DE DISCONTINUIDADES


Una discontinuidad de una funcin f a menudo se denomina de manera especial.

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

lim f (x ) = L 2 y L1 L2, entonces se dice que f tiene una

xc+

discontinuidad finita o una discontinuidad por salto en c (figura 3.24).


f (x)

f (x)

f (c)

x
c

Figura 3.24

Si lim f (x ) existe pero f no est definida en x = c o f (c) lim f (x ) , entonces se


xc

xc

dice que f tiene una discontinuidad removible o evitable en c (figuras 3.25 y 3.26).

Figura 3.25 lim f (x ) existe pero f (c) no est definida


xc

118

f (x)
f (x)
f (c)
l

Figura 3.26

lim f (x ) f (c)

xc

En este caso, f puede hacerse continua redefinindola en x = c, de tal manera que


lim f (x ) = f (c), con lo que entonces f sera continua en c (Figura 3.27).
xc

f (x)

f (c) = L

Figura 3.26

lim f (x ) = f (c)

xc

Si la discontinuidad en c es infinita o por salto, es decir si lim f (x ) no existe, entonces la


xc

discontinuidad es inevitable o esencial.

119

EJEMPLOS PARA RESOLVER EN CLASE


Hallar las discontinuidades (si las hay) y decir cules son evitables.
1.

g (x ) =

2.

f (x ) =

x+3
x + x6
2

3.

f (x ) =

x3
x3

x
x 1
2

Determinar si las funciones dadas tienen asntotas verticales o discontinuidad evitable en


x = - 1.
4. f (x ) =

x2 1
x +1

5. f (x ) =

sen (x 1)
x +1

3.2.5 CONTINUIDAD DE UNA FUNCIN INVERSA


Recordando que cuando se grafican en un mismo plano coordenado dos funciones
inversas, al obtener dos veces la simtrica respecto a la diagonal se vuelve al punto de
partida, eso significa que ( f 1) 1 = f, lo cual es tambin evidente partiendo de la
definicin de funcin inversa. En conjuncin con el teorema 2.3.1 para funciones inversas,
esta ecuacin tiene una consecuencia importante:

TEOREMA 3.2.2. CONTINUIDAD DE LA FUNCIN INVERSA


Si f es una funcin continua y uno-uno sobre [a. b], entonces tambin la funcin f
continua y uno-uno ya sea sobre [ f (a), f (b)] o sobre [ f (b), f (a)].

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

TEOREMA 3.2.3. LMITE DE UNA FUNCIN COMPUESTA


Si lim g ( x ) = L y si f es continua en L, entonces
xc

lim f ( g ( x ) ) = f lim g ( x ) = f (L )
xc

xc

Este teorema es til en la demostracin de otros teoremas. Si la funcin g es continua en


c, y f es continua en g (c), entonces vemos que
lim f ( g ( x ) ) = f lim g ( x ) = f (g (c ))
xc

xc

con lo que acabamos de demostrar que la composicin de dos funciones continuas f g


tambin es continua.

TEOREMA 3.2.4. CONTINUIDAD DE UNA FUNCIN COMPUESTA


Si g es continua en c y f es continua en g (c), entonces la funcin compuesta (f g) (x) =
f (g (x)) es continua en c.

EJEMPLO PARA RESOLVER EN CLASE


Discutir la continuidad de la funcin compuesta h (x) = f (g (x))
2

1. f (x) = x , g (x) = x 1
2. f (x) =

x , g (x) = x2 + 2

3. f (x) = sen x ,

g (x) = x2

3.2.7 TEOREMAS SOBRE FUNCIONES CONTINUAS


Si una funcin f es continua sobre un intervalo cerrado [a, b], entonces, como se ilustra en
la figura 3.27, f asume todos los valores entre f (a) y f (b). Dicho de otra manera, una
funcin continua f no omite ningn valor.

121

f (b)
N

f (a)

Figura 3.27

TEOREMA DE LOS VALORES INTERMEDIOS


Si f es continua en un intervalo cerrado [a, b] para el cual f (a) f (b), y si N es cualquier
nmero entre f (a) y f (b), inclusive, entonces existe por lo menos un nmero c en [a, b] tal
que f (c) = N.

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.

TEOREMA DE LA COTA SUPERIOR


Si f es continua en [a, b], entonces f est acotada superiormente en [a, b], es decir, existe
algn nmero M tal que f (x) M para todo x en [a, b].

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

TEOREMA DEL MXIMO


Si f es continua en [a, b], entonces existe algn nmero y en [a, b] tal que f (y) f (x) para
todo x en [a, b] (figura 3.30).

a
y

Figura 3.30
123

TEOREMA DE LA COTA INFERIOR


Si f es continua en [a, b], entonces f est acotada inferiormente en [a, b], es decir, existe
algn nmero N tal que f (x) N para todo x de [a, b].

TEOREMA DEL MNIMO


Si f es continua en [a, b], entonces existe algn y en [a, b] tal que f (y) f (x) para todo x
de [a, b]. Es decir, una funcin continua en un intervalo cerrado alcanza su mnimo en
dicho intervalo.

124

UNIDAD DE COMPETENCIA 4. LA DERIVADA


Muchos fenmenos del mundo real incluyen cantidades que varan: la velocidad de un
cohete, la inflacin monetaria, el nmero de bacterias en un cultivo, la intensidad de la
sacudida de un terremoto, el voltaje de una seal elctrica, etc. En esta unidad de
competencia se desarrolla el concepto de derivada, que es la herramienta matemtica
para estudiar la razn a la que cambia una cantidad con respecto de otra y que, unido a
los conceptos de funcin y lmite, constituyen la parte medular del Clculo Diferencial. El
estudio de las razones de cambio guarda una estrecha relacin con el concepto
geomtrico de recta tangente a una curva, por lo que tambin se discute la definicin
general de recta tangente y los mtodos para determinar su pendiente y ecuacin.

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

Una manera ms prometedora para abordar la definicin de tangente podra ser


empezando con secantes y utilizando la notacin de lmites.
Para ello considrese una curva C que sea la grfica de una funcin continua f. Si, como
se muestra en la figura 4.6, f posee una recta tangente L a su grfica en un punto P,
entonces cul es la ecuacin de esta recta? Para contestar esta pregunta requerimos las
coordenadas de P y la pendiente mtan de L. Las coordenadas de P no presentan ninguna
dificultad, puesto que un punto sobre la grfica de una funcin f se obtiene al especificar
un valor de x en el dominio de f. As, las coordenadas del punto de tangencia en x = c son
(c, f (c)). En consecuencia, el problema de encontrar una recta tangente se vuelve en el
problema de encontrar la pendiente mtan de la recta.

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

Si las coordenadas de P son (c, f (c)) y las coordenadas de Q son (c + h, f (c + h)),


entonces, como se muestra en la figura 4.8, la pendiente de la recta secante que pasa por
P y Q es
f (c + h ) f (c )
h

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

La expresin en el lado derecho de la igualdad anterior se llama cociente diferencial (o


cociente de Newton). Cuando se hace que h asuma valores que cada vez son ms
prximos a cero, es decir, cuando h 0, entonces los puntos Q(c + h, f (c + h)) se
mueven en la curva cada vez ms cerca del punto P (c, f (c)). Intuitivamente, es de
esperar que las rectas secantes tiendan a la recta tangente L, y que msec mtan cuando
h 0. Es decir,

m tan = lim m sec


h0

en el supuesto de que el lmite existe. Esta conclusin se resume en una forma


equivalente del lmite usando el cociente diferencial.

128

DEFINICIN DE RECTA TANGENTE


Sea f una funcin continua en c. Si el lmite

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

puede no existir para una funcin f en x = c y an as ser una tangente en el punto


(c, f (c)). La recta tangente a una grfica puede ser vertical, en cuyo caso su pendiente
est indefinida. El concepto de tangente vertical se abordar en la siguiente seccin
Por otra parte, la grfica de una funcin f que es continua en un nmero c no tiene por
qu poseer una recta tangente en el punto (c, f (c)). Una recta tangente no existir cuando
la grfica de f tenga un pico pronunciado en (c, f (c)). En la figura 4.9 se indica qu puede
ser errneo cuando la grfica de la funcin tiene un pico. En este caso f es continua en
c, pero las rectas secantes que pasan por P y Q tienden a L2 cuando Q P, y las rectas
secantes que pasan por P y Q tienden a una recta diferente L1 cuando Q P. En otras
palabras, el lmite
lim

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

4.1.2 DEFINICIN DE DERIVADA DE UNA FUNCIN


En la seccin anterior vimos que la recta tangente a una grfica de una funcin f es la
recta que pasa por el punto (c, f (c)) con pendiente dada por

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 .

DEFINICIN DE DERIVADA DE UNA FUNCIN


La derivada de una funcin f es otra funcin f cuya regla de correspondencia est dada
por

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.

EJEMPLOS PARA RESOLVER EN CLASE


1. Encontrar la derivada de f (x) = x 2 + 2 y encontrar f (- 2), f (0), f (1 / 2) y f (1).
Interpretar.
2. Hallar la ecuacin de la recta tangente a la grfica de f (x) = x2 + 2 en x = 2.
Dibujar la grfica de f y de la recta obtenida.
1
3. Encontrar la derivada de f (x) = x 3, f (x) =
y f (x) = x
x

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

existe para un nmero x dado en el dominio de f, se dice que la funcin es derivable en x.


En general, se dice simplemente que f es derivable si el lmite anterior existe para todo x
del dominio de f.

DERIVABILIDAD DE UNA FUNCIN EN UN INTERVALO


Si una funcin f es derivable en todo nmero x de un intervalo abierto (a, b), (- , b) y
(a, ), entonces f es derivable sobre el intervalo abierto.
Si una funcin f es derivable sobre (- , ), entonces se dice que f es derivable en todas
partes.

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.

Las causas que destruyen la derivabilidad de una funcin en x = c son:

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

EJEMPLOS PARA RESOLVER EN CLASE


1. Dada la funcin f (x) = 3x2 + 1, investigar si es derivable en el intervalo (- 2, 5).
2. Investigar si f (x) =

es derivable en el intervalo (- 1, 3).

3. Dada la funcin f (x ) =

x 2 , decir si es derivable en el intervalo (1, 4).

4. Graficar la funcin dada y encontrar sus derivadas laterales y determinar si la funcin


es derivable en x = - 4
x + 2 si x 4
f ( x) =
x 6 si x > 4

5. Calcular las derivadas laterales (si existen) de f (x ) = 1 x 2 . Es derivable en x = 1?

4.1.4 DERIVABILIDAD Y CONTINUIDAD


El hecho de tener una funcin continua en un punto implica que la funcin cumple con
ciertas condiciones en ese punto y si es derivable en el mismo punto, significa que tiene
ciertas propiedades en el punto. Por lo tanto, es lgico preguntarse si hay alguna
conexin entre el concepto de continuidad y el de derivabilidad de una funcin en un
punto.
Las funciones examinadas hasta ahora han sido todas derivables. Para apreciar
completamente el significado de la derivada es igualmente importante conocer algunos
ejemplos de funciones que no son derivables. Considrense la funcin f (x) = |x|; esta
funcin es continua en todas partes; en particular, es continua en 0 pero no es derivable
en ese nmero. En este caso,
h
f (c + h ) f (c ) f (0 + h ) f (0 )
=
=
h
h
h

Ahora bien,

||

= 1 para h > 0, y

||

= - 1 para h < 0. Esto demuestra que

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

Si c 0, entonces existe f (c). En efecto,

f (x) = 1

si

x>0

f (x) = - 1 si

x<0

Las grficas de f y f se muestran en la figura 4.10.

f
f
f

Figura 4.10

Por lo tanto, la condicin de continuidad en x = c es necesaria para la existencia de la


derivabilidad, pero no es condicin suficiente para garantizarla. La otra condicin
necesaria para poder asegurar la existencia de la derivada, es que las derivadas laterales
existan y sean iguales entre s.

DERIVABILIDAD DE UNA FUNCIN EN UN PUNTO


Una funcin f (x) es derivable en c si y slo si
1. f (x) es continua en c
2.

f +' (c ) = f ' (c ) :

Con cualquiera de estas condiciones que no se verifique, f (c) no existe. No obstante, si f


es derivable en c, entonces f debe ser continua en ese punto. Este hecho se resume en el
siguiente teorema.

TEOREMA 4.1.1. DERIVABILIDAD IMPLICA CONTINUIDAD


Si f es derivable en c, entonces f es continua en 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

existe. Si se hace x = c + h, entonces cuando h 0, tenemos x c. Por tanto, el lmite


anterior equivale a

f (c) = lim

xc

( x ) f (c )
xc

Luego, puede escribirse


Lim [ f (x ) f ( c )] = Lim
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,

lim f ( x ) = f ( c ) ; as pues, f es continua en c.

xc

Es muy importante recordar este teorema, e igualmente importante recordar que el


recproco no se cumple. Una funcin derivable en un punto es continua en l, pero una
funcin continua en un punto no es necesariamente derivable en el mismo (recurdese la
funcin f (x) = | x | y con ello nunca se olvidar cul de las afirmaciones es la verdadera y
cul es la falsa).

EJEMPLOS PARA RESOLVER EN CLASE


1. Hacer ver que la funcin f (x) = x 2 es continua para x = 2 pero no es derivable en
ese punto.
2. Estudiar la continuidad y derivabilidad de la funcin f (x) = x 3 / 2 en el punto x = 0.
3. Investigar la continuidad y derivabilidad en el punto x = 0 de la funcin

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 .

TEOREMA 4.2.1. DERIVADA DE LA FUNCIN CONSTANTE


Si f (x) = k, donde k es una constante, entonces para cualquier x,

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.

TEOREMA 4.2.2. DERIVADA DE LA FUNCIN IDENTIDAD


Si f (x) = x, entonces

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

TEOREMA 4.2.3. DERIVADA DE LA FUNCIN POTENCIAL (REGLA DE POTENCIAS)


Si f (x) = xn, donde n es un nmero real, entonces

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.

TEOREMA 2.4.4. DERIVADA DE UNA SUMA


Si f y g son funciones derivables, entonces,
( f + g) (x) = f (x) + g (x)

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.

TEOREMA 4.2.5. DERIVADA DE UN PRODUCTO


Si f y g son funciones derivables entonces,
( f g) (x) = f (x) g (x) + g (x) f (x)

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)

Ntese que se ha aplicado el hecho de que f es continua y, por lo tanto,


lim f ( x + h ) = f ( x ) .
h0

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)

Eligiendo, por ejemplo, la primera de stas, se tiene


( f g h) (x) = (f g) (x) h (x) + (f g) (x) h (x)
= [ f (x) g (x) + f (x) g (x)] h (x) + f (x) g (x) h (x)
= f (x) g (x) h (x) + f (x) g (x) h (x) + f (x) g (x) h (x)
La eleccin de f (g h) habra dado, por supuesto, el mismo resultado.
Ntese que la derivada de un producto no es igual al producto de las derivadas.
En un caso especial el teorema anterior se simplifica considerablemente:
138

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)

Si h (x) = k, de modo que g = h f, entonces por el teorema 5,

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 .

TEOREMA 4.2.7. DERIVADA DE UN COCIENTE


Si g es derivable y g (x) 0. Entonces,

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

Ntese que una vez ms se ha aplicado la continuidad de g, es decir que


lim g ( x + h ) = g ( x ) .
h0

TEOREMA 4.2.8. DERIVADA DE UN COCIENTE DE DOS FUNCIONES


Si f y g son derivables y g (x) 0, entonces

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)

Ntese que, igualmente, la derivada de un cociente no es igual al cociente de las


derivadas.
No todos los cocientes necesitan ser derivados con la regla del cociente. Si se tiene el
cociente de una constante entre una funcin, entonces

k

f

( x ) = k f ' (x2) , si f (x) 0


[ f (x )]

Si se tiene el cociente de una funcin entre una constante k 0, entonces

f

k

140

(x)=

f ' (x )
k

EJEMPLOS PARA RESOLVER EN CLASE


Hallar las derivadas de las funciones dadas:
1. f (x) = 2 x 3 x 2 + 3 x 1
3. f (x ) =
5. f (x) =
7. h (t) =

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)

4.2.2 DERIVADAS DE LAS FUNCIONES TRIGONOMTRICAS


En esta seccin desarrollaremos las derivadas de las seis funciones trigonomtricas. Una
vez que se han encontrado las derivadas de sen x y cos x es posible determinar las
derivadas de las restantes funciones trigonomtricas usando la regla del cociente.
DERIVADAS DE SENO Y COSENO
Para encontrar la derivada de f (x) = sen x usamos la definicin

f (x) = lim

h0

f (x) = lim

h0

( x + h ) f ( x )
h

sen ( x + h ) sen x
h

Pero sen (x + h) = sen x cos h + cos x sen h. Por lo tanto

f (x) =

lim

h0

sen x cos h + cos x sen h sen x


sen x (cos h 1) + cos x sen h
= lim
h0
h
h

= lim sen x
h0

cos h 1
sen h
+ lim cos x

h
0
h
h

A partir de los resultados sobre lmites encontrados en la seccin 3.1.5 se obtiene

141

f (x) = sen x 0 + cos x 1 = cos x


De manera semejante, si f (x) = cos x, entonces

f (x) = lim

h0

cos ( x + h ) cos x
h

pero cos (x + h) = cos x cos h - sen x sen h. Por lo tanto

f (x) =

lim

h0

cos x cos h sen x sen h cos x


cos x (cos h 1) sen x sen h
= lim
h0
h
h

= lim cos x
h0

cos h 1
sen h
lim sen x
h

0
h
h

y por los resultados sobre lmites de la seccin 3.1.5 se tiene

f (x) = cos x 0 sen x 1 = sen x

TEOREMA 4.2.9. DERIVADAS DEL SENO Y DEL COSENO

sen x = (sen x) = cos x

para todo x

cos x = (cos x) = - sen x

para todo x

EJEMPLOS PARA RESOLVER EN CLASE


Hallar las derivadas de las funciones dadas:
1. f (t) = cos t

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

Para referencia, a continuacin se resumen las frmulas obtenidas en esta seccin.

TEOREMA 4.2.10. DERIVADAS DE FUNCIONES TRIGONOMTRICAS

sen x = cos x

cos x = - sen x

tg x = sec x

ctg x = - csc2 x

sec x = sec x tg x

csc x = - csc x ctg x

EJEMPLOS PARA RESOLVER EN CLASE


Hallar la derivada de las funciones dadas.
1. f (x) = 5 x csc x
1 + csc x
3. f (x) =
1 csc 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

UNA FORMA SIMPLIFICADA VIENE CARACTERIZADA POR LA AUSENCIA DE EXPONENTES


NEGATIVOS Y DE FACTORES COMUNES EN NUMERADOR Y DENOMINADOR, AS COMO POR
LA AGRUPACIN DE TRMINOS SEMEJANTES.

4.2.3 DERIVACIN DE FUNCIONES COMPUESTAS (REGLA DE LA CADENA)


La regla de la cadena concierne a las funciones compuestas y aade una gran
versatilidad a las reglas ya estudiadas. Por ejemplo, las funciones de la izquierda se
derivan sin la regla de la cadena mientras que las de la derecha se derivan mejor
usndola:
SIN LA REGLA DE LA CADENA

CON LA REGLA DE LA CADENA

f (x) = x 2 + 1

f (x) =

f (x) = sen x

f (x) = sen 2x

f (x) = 3x + 2

f (x) = (3x + 2)5

f (x) = x + tg x

f (x) = x + tg x 2

x2 + 1

Es decir, la derivacin de las funciones ms interesantes exige, evidentemente, una


frmula para (f g) (x) en trminos de f y g .

TEOREMA 4.2.11. REGLA DE LA CADENA


Sean f y g funciones que determinan una funcin compuesta f (g (x)) = ( f g ) (x). Si g es
derivable en x y f es derivable en g (x), entonces f g es derivable en x y
( f g) (x) = f (g (x)) g (x)

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

El siguiente ejemplo ilustra varios casos:

144

exterior

EJEMPLO: Descomposicin de funciones compuestas.

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 caso particular de la regla de la cadena es el siguiente teorema:

TEOREMA 4.2.12. REGLA GENERAL DE LAS POTENCIAS


Si g (x) es una funcin derivable de x y n es cualquier nmero real, entonces
[(g (x))n] = n [g (x)]n 1 g (x)

O, en forma equivalente, si u = g (x), entonces

[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
+

6. g (u) = (3u2 + 5)3 (3u 1)2

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:

DERIVADAS DE LAS FUNCIONES TRIGONOMTRICAS


Si u = g (x) es una funcin derivable, entonces
1. sen u = cos u u

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

6. csc u = - csc u ctg u u

Ntese que en el caso de funciones trigonomtricas, el ngulo (o sea, el argumento de la


funcin) no cambia bajo la derivacin.

EJEMPLOS PARA RESOLVER EN CLASE


Obtener la derivada de las siguientes funciones.
1. f (x) = sen (3x 2 + 4)
4. f (x) = tg x
7. f (x) =

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

4.2.4 DERIVADAS DE ORDEN SUPERIOR


SEGUNDA DERIVADA
Como ya se ha visto, para una funcin cualquiera f, al tomar la derivada, se obtiene una
nueva funcin f (cuyo dominio puede ser considerablemente ms pequeo que el de f ).
La nocin de derivabilidad puede aplicarse a la funcin f , por supuesto, dando lugar a
otra funcin (f ) , cuyo dominio consiste en todos los puntos a tales que f es derivable
en c.
La funcin (f ) se suele escribir por lo general simplemente f y recibe el nombre de
segunda derivada de f. Si f (c) existe, entonces se dice que f es dos veces derivable en
c, y el nmero f (c) recibe el nombre de segunda derivada de f en c.
146

DERIVADAS DE ORDEN SUPERIOR


Si se supone que todas las derivadas existen, es posible derivar una funcin f tantas
veces como se quiera. La tercera derivada es la derivada de la segunda derivada; la
cuarta derivada es la derivada de la tercera derivada; y as sucesivamente. Las derivadas
tercera y cuarta se pueden definir f = (f ) y f = (f ).
Esta notacin se hace pronto difcil de manejar, por lo que se suele adoptar la siguiente
abreviacin (se trata en realidad de una definicin recursiva):

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

Una notacin parecida se usa para f

(n)

d 2 f (x)
d x2

(x):
dn f (x)
d xn

El valor de la n-sima derivada de una funcin f (x) en un nmero c se denota por

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

La figura 4.11 muestra la funcin f, junto con sus distintas derivadas.

f (x) = x

f (x) = 2x

(a)

(b)

f (x) = 2
f

(k)

(x) = 0, k 3

(c)
(d)

Figura 4.11

Un ejemplo ms instructivo lo presenta la siguiente funcin, cuya grfica se muestra en la


figura 4.12.
x2, x0
f (x )=
2
x , x0

Es fcil ver que

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

Toda esta informacin puede resumirse poniendo

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.

EJEMPLOS PARA RESOLVER EN CLASE


Calcular la segunda derivada de las siguientes funciones:
1. f (x) = 4x3 / 2

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

4.2.5 DERIVACIN IMPLCITA


DEFINICIN DE FUNCIN EXPLCITA Y FUNCIN IMPLCITA
Hasta ahora se ha trabajado con ecuaciones en dos variables expresadas generalmente
en la forma explcita, es decir, f estaba dada explcitamente en trminos de su argumento.
Por ejemplo, la funcin

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.

DEFINICIN DE FUNCIN EXPLCITA


Una funcin es explcita cuando en la ecuacin que acta como regla de correspondencia
la variable dependiente f (x) se expresa slo en trminos de la variable independiente x.

DEFINICIN DE FUNCIN IMPLCITA


Una funcin implcita se caracteriza porque en la ecuacin que acta como regla de
correspondencia, f (x) no se encuentra aislada.

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

donde n es cualquier nmero real.


En otras palabras, para entender cmo hallar y implcitamente, debe recordarse que la
derivacin se efecta respecto de x. Esto significa que cuando se deriven trminos que
contienen slo a x, se puede derivar como de costumbre. Pero al derivar trminos con y
habr de aplicarse la regla de la cadena como se mostr anteriormente.
Para ecuaciones que contengan x y y, el siguiente procedimiento es til para calcular y
implcitamente.

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:

1. Derivar ambos lados de la ecuacin respecto a x.


2. Agrupar todos los trminos que contengan y a la izquierda de la ecuacin derivada y
todos los dems a la derecha.

3. Factorizar y en el lado izquierdo.


4. Despejar y dividiendo ambos lados de la ecuacin por el factor de la izquierda que no
contiene y .
Por ltimo, la derivacin implcita suele producir una derivada que depende de ambas
variables x y y. En general, la derivacin implcita produce la derivada de cualquier funcin
que puede derivarse implcitamente definida por una ecuacin F (x, y) = 0.

EJEMPLOS PARA RESOLVER EN CLASE


Usar la derivacin implcita para hallar y ':
1. x2 2xy y2 = 6
3. 2x4 y2 xy3 + 8y = 4
5.

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

4.2.6 DERIVADAS DE FUNCIONES INVERSAS


En la seccin 2.3.5 vimos que las grficas de una funcin f uno-uno y su inversa f -1 son
reflexiones entre s en la recta I (x) = x. Como una consecuencia, si (a, b) es un punto
1
sobre la grfica de f, entonces (b. a) es un punto sobre la grfica de f . En esta seccin
tambin veremos que las pendientes de las rectas tangentes a la grfica de una funcin
1
diferenciable f estn relacionadas con las pendientes de tangentes a la grfica de f .
Empezaremos con dos teoremas sobre la continuidad de f y f -1.

152

CONTINUIDAD DE UNA FUNCIN INVERSA.


Aunque los dos teoremas siguientes se plantean sin demostracin, su validez se concluye
1
es una reflexin de la grfica de f en la recta I (x) = x.
a partir del hecho de que f

TEOREMA 4.2.13. CONTINUIDAD DE LA FUNCIN INVERSA


Sea f una funcin continua uno-uno sobre su dominio X. Entonces f
su dominio.

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

Creciente sobre el intervalo si f (x1) < f (x2)


Decreciente sobre el intervalo si f (x1) > f (x2)

Los teoremas siguientes establecen una relacin


creciente/decreciente y la existencia de una funcin inversa.

entre

el

concepto

de

TEOREMA 4.2.14. EXISTENCIA DE UNA FUNCIN INVERSA


Sea f una funcin continua y creciente sobre un intervalo [a, b]. Entonces f
continua y creciente sobre [f (a), f (b)].

existe y es

Anlogamente, si f es una funcin continua y decreciente sobre un intervalo [a, b].


1
Entonces f
existe y es continua y decreciente sobre [f (b), f (a)].

DERIVABILIDAD DE UNA FUNCIN INVERSA


1

, parece razonable abordar su


Una vez investigada con xito la continuidad de f
derivabilidad. La figura 4.13 muestra la grfica de una funcin uno-uno continua y
creciente.

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 es creciente sobre el intervalo [a, b] si f (x) > 0 sobre (a, b)


f es decreciente sobre el intervalo [a, b] si f (x) < 0 sobre (a, b)

TEOREMA 4.2.15. DERIVABILIDAD DE UNA FUNCIN INVERSA


Sea f una funcin derivable sobre un intervalo abierto (a, b). Si f (x) > 0 sobre el intervalo
o f (x) < 0 sobre el intervalo, entonces f es uno-uno. Adems, f 1 es derivable para toda
x en el recorrido de f.

DERIVADA DE UNA FUNCIN INVERSA


Si f es derivable sobre un intervalo I y es uno-uno sobre ese intervalo, entonces para c en
I el punto (c, f (c)) sobre la grfica de f y el punto (f (c), c) sobre la grfica de f 1 son
imgenes especulares entre s en la recta I (x) = x. Como veremos a continuacin, las
pendientes de las rectas tangentes en (c, f (c)) y (c, f (c)) tambin estn relacionadas.
I (x)

( 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

Si sucede que l1 es la tangente a la grfica de f en el punto (c, f (c)), entonces l2 ser la


1
en el punto (f (c), c). Se llega a la conclusin de que
tangente a la grfica de f

m1 = f (c)

m2 = ( f 1) ( f (c))

de donde
( f 1) ( f (c)) = m2 =

1
1
=
m1
f '( c )

Es decir, parece ser que


( f 1) ( f (c)) =

1
f '( c )

Esta frmula puede escribirse igualmente de manera que exprese (f


para cada d del dominio de f 1:
(f

) (d) =

f' f

1
1

) (d) directamente,

(d ))

Contrariamente al razonamiento usado para la continuidad, esta demostracin en


imgenes se hace algo ms complicada al formularla analticamente. Hay otro
procedimiento que podra intentarse. Puesto que se sabe que

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 ))

Desgraciadamente, esto no es una demostracin de que f 1 es derivable, puesto que la


regla de la cadena no puede aplicarse a no ser que se sepa ya que f 1 es derivable. Pero

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.

TEOREMA 4.2.16. DERIVADA DE UNA FUNCIN INVERSA


Sea f una funcin derivable sobre un intervalo I y sea f (x) 0 para todo x de I. Si f tiene
una inversa sobre I, entonces f 1 es derivable en un nmero x y

( f ) ( x )= f '( f 1
1

'

( x ))

Si f es una funcin uno-uno continua definida sobre un intervalo I y f (f


1
no es derivable en c.
algn nmero x, entonces f

(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 )

en (d, c) sin contar con una ecuacin que defina

EJEMPLOS PARA RESOLVER EN CLASE


1. Sea f (x) = x 5 + 2x + 1. Encontrar ( f 1) (4).
5
1
2. Sea f (x) = 3x + x 2. Encontrar ( f ) (2).

4.2.7 DERIVADAS DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS


Las derivadas de las funciones trigonomtricas inversas son sorprendentemente sencillas,
y no encierran en absoluto funciones trigonomtricas. Hallar las derivadas es cosa
sencilla, pero para expresarlas en forma conveniente se necesitarn expresiones tales
como
cos (arc sen x) =

1 x 2

tg (arc sec x) =

x2 1

sec (arc tg x) =

1+ x 2

Para demostrar la primera expresin, recurdese que sen2 t + cos2 t = 1.


Haciendo t = arc sen x y usando el hecho de que sen (arc sen x ) = x se obtiene:
[sen (arc sen x)]2 + [cos (arc sen x)]2 = 1
es decir,

x 2 + [cos (arc sen x)]2 = 1

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.

Haciendo t = arc tg x y usando el hecho de que tg (arc tg x ) = x se obtiene:


2
2
[tg (arc tg x)] + 1 = sec (arc tg x)

Es decir

x 2 + 1 = sec2 (arc tg x)

De donde

157

tg (arc sec x) =

x2 1

Ntese que no se puede eliminar el signo . Si x 1, se debe usar el signo (+); si


x 1, se debe usar el signo (-).

Para demostrar la tercera expresin, recurdese que tg2 t + 1 = sec2 t

Haciendo t = arc tg x y usando el hecho de que tg (arc tg x ) = x se obtiene:


2
2
[tg (arc tg x)] + 1 = [sec (arc tg x)]

Es decir

x2 + 1 = [sec (arc tg x)]2

De donde
sec (arc tg x) =

x2 +1

TEOREMA 4.2.17. DERIVADAS DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS


Si 1 < x < 1, entonces
arc sen (x) =
arc cos (x) = -

1
1 x 2
1
1 x 2

Adems, para todo x se tiene


arc tg (x) =

1
1+ x 2

y para |x| > 1 se tiene


1

arc sec (x) =

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

Esto demuestra la primera frmula.


La demostracin de la tercera frmula es como sigue:
arc tg (x) = (f 1) (x)
1
=
f ' f 1 ( x )
1
=
tg ' ( arctg x )
1
=
2
sec ( arctg x )
1
=
1+ x 2

con lo cual queda demostrada la tercera frmula.

La segunda frmula se demuestra de manera semejante a la primera, pero tiene un leve


giro, por lo que a continuacin se demuestra:
arc sec (x) = (f 1) (x)
1
=
f ' f 1 ( x )
1
=
sec ' ( arcsec x )
1
=
sec ( arcsec x ) tg (arcsec x )
1
1
=
=
x x 2 1
x x 2 1

1
=
x x 2 1

Ntese que en estas demostraciones se han usado las identidades dadas al principio.

En resumen, las derivadas de las funciones trigonomtricas inversas son:

159

1. arc sen (x) =

1 x

3. arc tg (x) =

1 x

x2 1

2. arc cos (x) = -

4. arc sec (x) =

5. arc csc (x) = -

x2 1

1
1+ x 2

6. arc ctg (x) = -

1+ x 2

Combinando las reglas anteriores con la regla de la cadena se tiene:

TEOREMA 4.2.18. DERIVADAS DE LAS FUNCIONES TRIGONOMTRICAS INVERSAS


Si u = g (x) es una funcin derivable, entonces
1

1. arc sen (u), =


2. arc cos (u), = 3. arc tg (u) =

1 u 2
1

u'

1 u 2

1
1+ u 2

u'

u'

4. arc ctg (u) = -

1
1+ u 2

u'

5. arc sec (u) =


u

u 2 1
1

u 2 1

6. arc csc (u) = -

u'
u'

EJEMPLOS PARA RESOLVER EN CLASE


Obtener la derivada de las siguientes funciones.
x
2
x +1

1. f (x) = arc sen (3 x 1)

2. f (x) = 3 arc cos

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

6. f (x) = arc sen x + arc cos x

9. h (t) = sen (arc cos t )

160

8. f (x) = x arc sen x +


10. f (x) =

1 x2

1
2
x 1 x + arc sen x

4.2.8 DERIVADAS DE LAS FUNCIONES EXPONENCIALES Y LOGARTMICAS


DERIVADAS DE LAS FUNCIONES EXPONENCIALES
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

Volviendo a las definiciones proporcionadas en la seccin 2.5, en concreto a la definicin


de e

e = lim 1 +
x

Sabemos que, a nivel intuitivo, esta igualdad significa que cuando x , entonces h =

0; es decir, que cuando h se aproxima cada vez ms a 0, entonces (1 + h)


hacerse arbitrariamente prximo al nmero e:

e = lim ( 1 + h )1

1/h

puede

h0

As, para valores de h cercanos a 0, tenemos la aproximacin


(1 + h)

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)

TEOREMA 4.2.19. DERIVADAS DE LAS FUNCIONES EXPONENCIALES


Sea a > 0 (a 1) y sea u = g (x) una funcin derivable. Entonces:

(a x) = (ln a) a x
(a u) = a u ln a u
(e x) = e x
u
u
(e ) = e u

(a > 0)

DERIVADAS DE LAS FUNCIONES LOGARTMICAS


x
Puesto que la inversa de la funcin exponencial f (x) = a es la funcin logartmica f (x) =
loga x, la derivada de esta ltima funcin la podemos encontrar a partir del teorema 4.2.16.

( 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

De la misma manera, ya que la inversa de la funcin exponencial natural f (x) = ex es la


funcin logaritmo natural f (x) = ln x, la derivada de esta ltima funcin est dada por

( f ) ( x ) = (e ) 1( ln x ) = e 1
1

'

x '

162

ln x

1
x

TEOREMA 4.2.20. DERIVADAS DE LA FUNCIONES LOGARTMICAS

(loga x) =

(ln x) =

1
x ln a

1
,
x

x>0

Adems, si u = g (x) es una funcin derivable, entonces:

(loga u) =

ln (u) =

1
u
u ln a

1
u'
u

Es de mucha utilidad el uso de las propiedades de los logaritmos para simplificar


funciones logartmicas en que aparecen productos cocientes y potencias. Estas
propiedades se aplican antes de la derivacin.

EJEMPLOS PARA RESOLVER EN CLASE


Encontrar las derivadas de las siguientes funciones
1. f (x) = x (e 3x)
4. f (x) = ln

x
7. f (x) = ln 2
x

x 2 1

10. f (x) = ln
13. f (x) = e x

ln x

2. f (x) = e x (sen x + cos x)


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

4.2.9 DERIVACIN LOGARTMICA


La derivacin de una funcin complicada f (x) que contiene productos, cocientes y
potencias puede simplificarse por medio de una tcnica denominada derivacin
logartmica. El procedimiento es el siguiente.

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:

f (x) = g (x) h (x) h ' ( x ) ln g ( x ) + h ( x )

g'(x )

g(x)

no hace falta recordar esta frmula; por el contrario, se sugiere encontrarla por medio de
la derivacin logartmica.

EJEMPLOS PARA RESOLVER EN CLASE


Calcular f (x) usando la derivacin logartmica:
1. f (x) = x x 2 1
3. f (x) =

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

4.2.10 DERIVADAS DE LAS FUNCIONES HIPERBLICAS


Las derivadas de las funciones hiperblicas se concluyen a partir de la derivada de la
funcin exponencial natural y las reglas de derivacin: por ejemplo:
'

ex ex ex +ex
=
senh' x =
= cosh x

2
2

en forma semejante, a partir de la definicin del coseno hiperblico debe resultar

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:
'

senh x cosh 2 x senh 2 x


1
=
=
= sech 2 x
tgh' x =
2
2
x
cosh
x
x
cosh
cosh

Las derivadas de las seis funciones hiperblicas en el caso ms general se concluyen con
la regla de la cadena.

TEOREMA 4.2.21. DERIVADAS DE LAS FUNCIONES HIPERBLICAS


Si u = g (x) es una funcin derivable, entonces
senh u = cosh u u
2
tgh u = sech u u
sech u = - sech u tgh u u

cosh u = senh u u
2
ctgh u = - csch u u
csch u = - csch u ctgh u u

165

UNIDAD DE COMPETENCIA 5. APLICACIONES DE LA DERIVADA


En esta unidad de competencia se estudiarn varias aplicaciones de la derivada y se
mostrar cmo el clculo puede proporcionar la mayor parte de la informacin importante
acerca del comportamiento de las funciones. Tambin se mostrar otra aplicacin
relevante de la derivada como lo es la solucin de problemas de optimizacin.

5.1 EXTREMOS DE FUNCIONES


El propsito de esta seccin es desarrollar herramientas matemticas que puedan
utilizarse para determinar la forma exacta de una grfica y la localizacin precisa de sus
caractersticas principales. Comenzaremos por abordar el problema de encontrar los
valores mximo y mnimo de una funcin f sobre un intervalo I y veremos que al encontrar
estos extremos de f (en caso de haber alguno) en muchos casos es posible trazar
fcilmente su grfica y que al encontrar los extremos de una funcin tambin es posible
resolver ciertos tipos de problemas de optimizacin. En esta seccin estableceremos
algunas definiciones importantes y se mostrar cmo encontrar los valores mximo y
mnimo de una funcin f que es continua sobre un intervalo cerrado I.

5.1.1 EXTREMOS ABSOLUTOS


DEFINICIN DE EXTREMOS ABSOLUTOS
El mnimo y el mximo de una funcin en un intervalo se llaman valores extremos o
simplemente extremos de la funcin en ese intervalo.

DEFINICIN DE EXTREMOS ABSOLUTOS


Sea c un punto del dominio de f . Se dice que:
Un nmero f (c) es un mximo absoluto de f si f (x) f (c) para todo x en el dominio
de f.
Un nmero f (c) es un mnimo absoluto de f si f (x) f (c) para todo x en el dominio de
f.

f (x)

Df
Figura 5.1

166

En general, una funcin cuadrtica f (x) = ax2 + bx + c tiene un mximo absoluto o un


mnimo absoluto. Una funcin lineal f (x) = ax + b, a 0, no tiene extremos absolutos. Las
3
x
grficas de las funciones conocidas f (x) = 1 / x, f (x) = x , f (x) = tg x, f (x) = e , f (x) =) ln x
muestran que stas no tienen extremos absolutos. Las funciones trigonomtricas
f (x) = sen x y f (x) = cos x tienen un mximo absoluto y un mnimo absoluto.
Una funcin puede no tener extremos absolutos en un intervalo. De hecho, puede carecer
de ambos. El intervalo sobre el que la funcin est definida es muy importante en la
consideracin de extremos. El siguiente teorema identifica condiciones que garantizan la
existencia de extremos.

TEOREMA 5.1.1. TEOREMA DEL VALOR EXTREMO


Si f es continua en un intervalo cerrado [a, b], entonces f siempre tiene un mximo
absoluto y un mnimo absoluto sobre el intervalo.

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

EXTREMOS DE UN PUNTO FRONTERA


Los extremos absolutos pueden ocurrir en puntos interiores o terminales de un intervalo.
Estos ltimos se llaman puntos frontera. Los extremos absolutos de las funciones,
definidas en intervalos cerrados, a menudo se presentan en puntos frontera. Cuando un
extremo absoluto de una funcin ocurre en un punto frontera de un intervalo I, se dice que
se trata de un extremo de un punto frontera. Cuando I no es un intervalo cerrado, es decir
cuando I es un intervalo como (a, b), (- , b] o [a, ), entonces aunque f sea continua no
hay garanta de que exista un extremo absoluto.
5.1.2 EXTREMOS RELATIVOS
Los valores extremos que ocurren en puntos interiores de un intervalo se llaman extremos
relativos o locales.
167

DEFINICIN DE EXTREMOS RELATIVOS


Un nmero f (c) es un mximo relativo de una funcin f si f (x) f (c) para toda x en algn
intervalo abierto (a, b) que contiene a c.
Un nmero f (c) es un mnimo relativo de una funcin f si f (x) f (c) para toda x en algn
intervalo abierto (a, b) que contiene a c.
Como consecuencia de la definicin anterior podemos concluir que

Todo extremo absoluto, con excepcin de un extremo de un punto frontera, tambin es


un extremo relativo.
Un extremo absoluto de un punto frontera se excluye de ser un extremo relativo con base
en el tecnicismo de que alrededor de un punto frontera del intervalo no puede encontrarse
un intervalo abierto contenido en el dominio de la funcin.
5.1.3 PUNTOS CRTICOS
Si c es un nmero en el que la funcin f tiene un extremo relativo, entonces la tangente es
horizontal en el punto correspondiente a x = c o no es derivable en x = c. Es decir, una de
las dos: f (c) = 0 o f (c) no existe. Estos nmeros c se llaman nmeros crticos.

DEFINICIN DE NMERO CRTICO


Un nmero crtico de una funcin f es un nmero c en su dominio para el cual f (c) = 0 o
f (c) no existe.

Si c es un punto para el cual f (c) = 0, entonces se le llama punto estacionario (debido a


que en dicho punto la grfica de f se nivela, dado que la tangente es horizontal). Los
extremos relativos con frecuencia se presentan en puntos estacionarios.
Los nmeros c interiores de un intervalo en los que f (c) no existe, se llaman puntos
singulares; es decir, son puntos en los que la grfica de f tiene un vrtice agudo, una
tangente vertical, o tal vez da un salto (o cerca del cual oscila abruptamente). Los
extremos relativos tambin pueden darse en puntos singulares, aunque en los problemas
prcticos son muy raros.

168

TEOREMA 5.1.2. TEOREMA DEL NMERO CRTICO


Si una funcin f tiene un extremo relativo en x = c, entonces c es un nmero crtico; es
decir, tendr que ser:

Un punto estacionario de f en el que f (c) = 0;


Un punto singular de f en el que f (c) no existe.

NOTA: El nmero crtico x = 0 no da mximo ni mnimo relativo, lo cual significa que el


recproco del teorema anterior no es vlido.
Por otra parte, ya vimos que una funcin f que es continua sobre un intervalo cerrado
tiene tanto un mximo absoluto como un mnimo absoluto. El siguiente teorema indica
dnde ocurren esos extremos.

TEOREMA 5.1.3. DETERMINACIN DE EXTREMOS ABSOLUTOS


Si f es continua sobre un intervalo cerrado [a, b]. entonces un extremo absoluto ocurre ya
sea en un punto frontera del intervalo o en un nmero crtico c en el intervalo abierto
(a, b).

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].

PROCEDIMIENTO PARA HALLAR EXTREMOS EN UN INTERVALO CERRADO


1.
2.
3.
4.

Evaluar f en los puntos frontera a y b del intervalo [a, b]


Encontrar todos los nmeros crticos de f en el intervalo abierto (a, b)
Evaluar f en cada nmero crtico que tenga en (a, b)
El menor de tales valores es el mnimo absoluto y el mayor es el mximo absoluto,
respectivamente, de f sobre el intervalo [a, b].

5.1.4 FUNCIONES CRECIENTES Y DECRECIENTES


Supngase que una funcin f (x) est definida sobre un intervalo I y que x1 y x2 son dos
nmeros cualesquiera en el intervalo tales que x1 < x2. En la seccin 2.3.3 vimos que f es
creciente sobre I si f (x1) < f (x2), y decreciente sobre I si f (x1) > f (x2). Intuitivamente, la
grfica de una funcin creciente sube cuando x crece (es decir, la grfica asciende cuando
x se lee de izquierda a derecha) y la grfica de una funcin decreciente baja cuando x
169

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

TEOREMA 5.1.4. PRUEBA PARA CRECIMIENTO / DECRECIMIENTO


Sea f una funcin continua en un intervalo [a, b] y derivable en todo punto interior de
(a, b).

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

PROCEDIMIENTO PARA DETERMINAR LOS INTERVALOS DONDE UNA FUNCIN ES CRECIENTE O


DECRECIENTE

1. Localizar los nmeros crticos de f.


2. Mirar el signo de f ' (x) en un punto de cada intervalo determinado por dos nmeros
crticos consecutivos. Aqu se puede hacer una tabla de signos como la utilizada en la
seccin 1.2.3.
3. Decidir, mediante el teorema 5.1.4, si f es creciente o decreciente en cada uno de
esos intervalos prueba.

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.

EJEMPLOS PARA RESOLVER EN CLASE


3

1. Si f (x) = 2x 3x 12x + 7, encontrar dnde es creciente y dnde es decreciente la


funcin f.
x
2. Determinar dnde es creciente y dnde decreciente la funcin g (x) = 2
.
x +1

5.1.5 CRITERIO DE LA PRIMERA DERIVADA PARA EXTREMOS RELATIVOS


Saber que una funcin tiene, o no, extremos relativos es de gran ayuda al trazar su
grfica. En el teorema 5.1.2 vimos que cuando una funcin tiene un extremo relativo debe
ocurrir en un mero critico. Al encontrar los nmeros crticos de una funcin, tenemos una
lista de candidatos para las coordenadas x de los puntos que corresponden a extremos
relativos. A continuacin se combinarn las ideas de esta seccin para establecer dos
pruebas para determinar cundo un punto crtico es en realidad la coordenada x de un
extremo relativo.
En primer lugar, ya hemos visto que la derivada es til para determinar los intervalos en
que f es creciente o decreciente y tambin para localizar extremos relativos. Ahora
veremos que tambin puede ser utilizada para clasificarlos como mximos o mnimos
relativos.
Suponga que f es continua sobre el intervalo cerrado [a, b] y derivable sobre un intervalo
abierto (a, b), excepto tal vez en un nmero crtico c dentro del intervalo. Si f ' (x) > 0 para
toda x en (a, c) y f ' (x) < 0 para toda x en (c, b), entonces la grfica de f sobre el intervalo
(a, b) puede ser como se muestra en la figura 5.4 (b); es decir, f (c) es un mximo relativo.
Por otra parte, cuando f ' (x) < 0 para toda x en (a, c) y f ' (x) > 0 para toda x en (c, b)

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.

TEOREMA 5.1.5. CRITERIO DE LA PRIMERA DERIVADA PARA EXTREMOS RELATIVOS


Sea f continua sobre [a, b] y derivable sobre (a, b) excepto tal vez en el nmero crtico c.

Si f ' (x) cambia de positiva a negativa en c, entonces f (c) es un mximo relativo.


Si f ' (x) cambia de negativa a positiva en c, entonces f (c) es un mnimo relativo.
Si f ' (x) no cambia de signo a cada lado de c, entonces f (c) no es un extremo
relativo.

(+)

(-)

(+)

(-)
f (x) < 0

f (x) > 0

f (x) > 0

(a) Mnimo relativo

f (x) < 0

(b) Mximo relativo

(+
(-)
(+)

(-)
f (x) > 0

f (x) < 0

f (x) > 0
c

f (x) < 0

(c) Ni mximo ni mnimo relativos


Figura 5.4

En varios problemas de esta seccin se pide trazar la grfica de funciones. En cada caso
se debe determinar:

172

Los nmeros crticos de f.


El valor de f en los nmeros crticos.
El signo de f en las regiones entre puntos singulares.
Los nmeros x tales que f (x) = 0 (si esto es posible).
El comportamiento de f (x) cuando x se hace grande o grande negativo (si es posible).

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.

EJEMPLOS PARA RESOLVER EN CLASE


En los problemas 1 a 5 determinar los nmeros crticos de f (si los hay), los intervalos de
crecimiento y de decrecimiento y localizar los extremos relativos. Utilizar esta informacin
para trazar la grfica de f.
1. f (x) = - 2x 2 + 4x + 3
3. f (x) = (x - 1)2 (x + 2)
5. f (x) =

2. f (x) = sen x cos x, 0 x < 2


cos x
4. f (x) =
, 0 x < 2
1 + sen 2 x

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

Hallar los intervalos en que C es creciente o decreciente.

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

5.2 TEOREMA DE ROLLE Y TEOREMA DEL VALOR MEDIO


5.2.1 TEOREMA DE ROLLE
Suponga que una funcin f es continua y derivable sobre un intervalo cerrado [a, b] y que
f (a) = f (b) = 0. Estas condiciones significan que los nmeros a y b son las coordenadas x
de las intersecciones de la grfica de f con el eje horizontal. En la figura 5.5 se muestra
una grfica tpica de una funcin f que satisface estas condiciones. A partir de la figura 5.6
parece vlido que debe haber por lo menos un nmero c en el intervalo abierto (a, b)
correspondiente a un punto sobre la grfica de f donde la tangente es horizontal. Esta
observacin conduce a un resultado denominado teorema de Rolle, el cual garantiza la
existencia de extremos en el interior de un intervalo cerrado.

b
Figura 5.5

tangente horizontal

c1
a

c2

tangente horizontal
Figura 5.6

TEOREMA 5.1.6. TEOREMA DE ROLLE


Sea f una funcin continua sobre [a, b] y derivable sobre (a, b). Si

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

Si se suprime el requisito de derivabilidad en el teorema de Rolle, f tendr todava un


punto crtico en (a, b), pero no tendr necesariamente tangente horizontal. Por tanto:

COROLARIO 1 AL TEOREMA DE ROLLE


Si f es continua en [a, b] y si f (a) = f (b), entonces f tiene un punto crtico en (a, b)

COROLARIO 2 AL TEOREMA DE ROLLE


Sea f continua en [a, b] tal que f (a) = d = f (b):

Si f (x) > d en algn x de (a, b), f tiene un mximo relativo en (a, b)

Si f (x) < d en algn x de (a, b), f tiene un mnimo relativo en (a, b)

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.

EJEMPLOS PARA RESOLVER EN CLASE


En los problemas 1 a 5 hallar los intervalos [a , b] en los que f (a) = f (b) = 0 y el
teorema de Rolle es aplicable. Para cada uno de ellos hallar los c en los que f ' (c) = 0.
1. f (x) = x

- 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

f (t) = - 16t2 + 48t + 32


a) Comprobar que f (1) = f (2)
b) Segn el teorema de Rolle, qu velocidad ha llevado en algn momento del
intervalo [1. 2]?

176

5.2.2 TEOREMA DEL VALOR MEDIO PARA DERIVADAS


El teorema de Rolle sirve para demostrar el resultado ms importante de esta seccin: el
teorema del valor medio para derivadas.
Este teorema afirma que una funcin continua en un intervalo cerrado tiene
necesariamente un mximo y un mnimo en ese intervalo, pero pueden producirse en los
puntos terminales.
En el lenguaje geomtrico, el teorema del valor medio es fcil de establecer y de
comprender. Dice que si la grfica de una funcin continua sobre [a, b] y derivable sobre
(a, b) tiene una tangente no vertical en todo punto comprendido entre A (a, f (a)) y
B (b, f (b)), entonces hay por lo menos un punto C de la grfica comprendida entre A y B
en el que la tangente es paralela a la recta secante AB. En la figura 5.10, hay
precisamente un punto C; en la figura 5.11 hay varios.
C3
C

C1

B
A

C2

Figura 5.11

Figura 5.10

TEOREMA 5.1.7. TEOREMA DEL VALOR MEDIO PARA DERIVADAS


Sea f una funcin continua sobre [a, b] y derivable sobre (a, b), entonces existe al menos
un nmero c en (a, b) tal que

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

f (b) f (a) = f (c) (b a)


Ntese que el teorema del valor medio es todava de aquellos teoremas en los que se
obtiene informacin acerca de f a partir de informacin acerca de f. Esta informacin es,
sin embargo, tan fuerte que se puede ir ahora en la direccin opuesta.

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.

Naturalmente, este corolario no se cumple para funciones definidas en dos o ms


intervalos.

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.

EJEMPLOS PARA RESOLVER EN CLASE


En los problemas 1 a 5 encontrar todos los nmeros c que satisfacen la conclusin del
teorema del valor medio para las siguientes funciones en el intervalo indicado.
1. f (x) = x

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

con el tiempo t medido en meses.


a) Hallar el valor medio de s (t) en el primer ao.
b) En qu mes iguala s (t) a ese valor medio?

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

Cncava hacia arriba


f ' creciente

Cncava hacia abajo


f ' decreciente
Figura 5.13

De la figura 5.13 se puede obtener la siguiente interpretacin grfica de la concavidad:

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 '.

TEOREMA 5.1.8. TEOREMA DE CONCAVIDAD


Sea f una funcin cuya segunda derivada f '' existe sobre un intervalo abierto (a, b).

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

PROCEDIMIENTO PARA HALLAR LOS INTERVALOS DE CONCAVIDAD EN FUNCIONES CONTINUAS


1. Localizar los valores de x en que f '' = 0 o f '' no est definida.
2. Usarlos para delimitar los intervalos prueba.
3. Hallar el signo de f '' (x) en esos intervalos.

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.

5.3.2 PUNTOS DE INFLEXIN

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

Figura 5.14 (a)

Cncava hacia
abajo

Cncava hacia
arriba

La grfica cruza a su recta tangente en un punto de inflexin


Figura 5.14 (b)
181

DEFINICIN DE PUNTO DE INFLEXIN


Sea f continua sobre un intervalo (a, b) que contiene al nmero c. Un punto (c, f (c) es un
punto de inflexin de la grfica de f si en (c, f (c)) hay una recta tangente y la grfica
cambia de concavidad en ese punto.

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.

TEOREMA 5.1.9. PUNTO DE INFLEXIN


Sea f una funcin continua en c. Si f '' (c) = 0 o f '' (c) no est definida entonces se dice
que [c, f (c)] es un punto de inflexin de la grfica de f.

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.

EJEMPLOS PARA RESOLVER EN CLASE


Hallar los intervalos en los que la funcin dada es cncava hacia arriba y en los que es
cncava hacia abajo, y bosquejar sus grficas.
1. f (x) = x 2 - x 2

2. f (x) =

x2 1
2x + 1

3. f (x) =

x2 + 1
x2 1

Encontrar todos los puntos de inflexin de las siguientes funciones


4. f (x) =

1 3
x 2x
3

5. F (x) = x 1 / 3 + 2

5.3.3 CRITERIO DE LA SEGUNDA DERIVADA PARA EXTREMOS RELATIVOS


Si existe la segunda derivada, sta sirve como criterio sencillo de valores extremos. El
criterio se basa en que si f (c) es un mximo relativo de una f derivable, entonces su
grfica es cncava hacia abajo en algn intervalo que contiene a c y f '' (c) < 0
Anlogamente, si f (c) es un mnimo relativo, entonces la grfica de f es cncava hacia
arriba en un intervalo que contiene a c y f '' (c) > 0.

182

f (c) > 0

f (c) < 0

Cncava hacia
abajo

Cncava hacia
arriba

Mximo relativo

Mnimo relativo
Figura 5.15

TEOREMA 5.1.10. CRITERIO DE LA SEGUNDA DERIVADA PARA EXTREMOS RELATIVOS


Sea f una funcin tal que f ' (c) = 0 y tal que la segunda derivada de f existe en un
intervalo abierto (a, b) que contiene al punto crtico c.

Si f '' (c) > 0, entonces f (c) es un mnimo relativo.


Si f '' (c) < 0, entonces f (c) es un mximo relativo.
Si f '' (c) = 0, entonces el criterio no decide y f (c) puede ser o no un extremo relativo.
En este caso hay que recurrir al criterio de la primera derivada.

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

f (c) = lim f ' ( x )


xc

184

EJEMPLOS PARA RESOLVER EN CLASE


En los problemas 1-10, identificar los extremos relativos de las siguientes funciones. Usar,
cuando sea aplicable, el criterio de la segunda derivada.
1. f (x) = 6x x 2
3. f (x) = (x - 5)

5. f (x) = 2 sen x + sen 2 x, 0 x 2


7. f (x) = x2 ln x
9. f (x) = x2 e - x

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

pasos. Recurdese siempre que uno no est en posicin de comenzar a resolver un


problema hasta que no se haya identificado con claridad cul es el problema.

PROCEDIMIENTO PARA RESOLVER PROBLEMAS APLICADOS DE OPTIMIZACIN


1. Leer el problema con atencin; luego leerlo de nuevo.
2. Dibujar un esquema sencillo del problema cuando sea posible
3. Introducir variables (en el dibujo, en caso de haber alguna) y observar cualquier
restriccin entre las variables.
4. Usar todas las variables necesarias para establecer la funcin objetivo. Si se usa ms
de una variable, aplicar la restriccin para reducir la funcin a una variable.
5. Notar el intervalo en qu est definida la funcin. Determinar todos los nmeros
crticos.
6. Si la funcin objetivo es continua y est definida la funcin sobre un intervalo cerrado
[a, b], entonces comprobar los extremos en puntos frontera. Si el extremo deseado no
ocurre en un punto frontera, debe ocurrir en un nmero crtico en el intervalo abierto
(a, b).
7. Si la funcin objetivo est definida sobre un intervalo que no es cerrado, entonces es
necesario aplicar una prueba de la derivada en cada nmero crtico en ese intervalo.

En los ejemplos siguientes se proporciona una funcin objetivo y es necesario traducir el


lenguaje coloquial a smbolos matemticos y construir una funcin objetivo. stos son los
tipos de problemas coloquiales que muestran el poder del clculo y constituyen una de
muchas respuestas posibles a la vieja pregunta: para qu es bueno? Mientras no se
garantice nada, hay algunas sugerencias que es necesario tomar en cuenta al resolver un
problema de optimizacin. Primero y lo ms importante:

DESARROLLAR UNA ACTITUD POSITIVA Y ANALTICA. TRATAR DE SER CLARO Y


ORGANIZADO.

EJEMPLOS PARA RESOLVER EN CLASE


1. Qu longitud y anchura debe tener un rectngulo de 100 pies de permetro para que
su rea sea mxima?
2. La suma de un nmero ms el doble de otro es 24. Qu nmeros han de elegirse
para que su producto sea lo mayor posible?
3. Hallar dos nmeros positivos cuyo producto sea 192 y cuya suma sea mnima.
4. Un granjero dispone de 200 pies de valla para delimitar dos corrales adyacentes
rectangulares. Qu dimensiones debe elegir para que el rea encerrada sea mxima?

186

5. Un fabricante ha estimado que el coste total de la fabricacin de x unidades de cierto


producto es C = 0.5x2 + 15x + 5 000. Qu nivel de produccin minimiza el costo por
unidad (C / x)?
6. Se forman tringulos rectngulos en el primer cuadrante, limitados por los ejes y por
una recta que pasa por el punto (2, 3). Hallar los vrtices del tringulo de rea mnima.
7. La suma de permetros de un cuadrado y un tringulo equiltero es 10. Hallar las
dimensiones de ambos para que el rea total sea mnima.

5.5 REGLA DE LHPITAL


5.5.1 REGLA DE LHPITAL
En esta seccin se discute un mtodo general para encontrar lmites con formas
indeterminadas usando derivadas. Este mtodo permitir establecer con certeza los
lmites que anteriormente slo pudieron conjeturarse a partir de evidencias grficas o
numricas. El mtodo que se analiza en esta seccin es una herramienta en extremo
poderosa que se emplea internamente en muchos programas de computadora para
calcular lmites de varios tipos.
En la unidad 3 se describieron las formas 0 / 0, / y - como indeterminadas, ya
que no garantizan que exista un lmite, y tampoco indican cul es ese lmite, en caso de
existir. Cuando se encontraba una de estas formas indeterminadas, se intentaba rescribir
la expresin usando diferentes tcnicas algebraicas, las cuales a veces se pueden
extender para calcular lmites de funciones trascendentes.
Sin embargo, no todas las indeterminaciones pueden resolverse mediante manipulaciones
algebraicas. Esto es particularmente cierto cuando se hallan implicados ambos tipos de
funciones, algebraicas y trascendentes, por ejemplo:

lim

x0

e2 x 1
x

En este caso no es aplicable la sustitucin directa. Toda derivada es un lmite de esta


forma y el clculo de derivadas requiere con frecuencia bastante trabajo. Sin embargo, si
ya se conocen algunas derivadas, se podrn calcular con facilidad muchos lmites de esta
forma, ya que para salvar este tipo de situaciones se puede utilizar un teorema conocido
como regla de L'Hpital, el cual establece que bajo ciertas condiciones el lmite del
cociente f (x) / g (x) se halla determinado por el lmite f ' (x) / g ' (x).
Sin embargo, en primer lugar es importante mencionar el siguiente teorema, el cual es de
utilidad cuando se demuestra esta regla de suma importancia en la evaluacin de muchos
lmites que tienen una forma indeterminada.

187

TEOREMA 5.1.13. TEOREMA DEL VALOR MEDIO DE CAUCHY


Sean f y g continuas sobre [a, b] y derivables en (a, b) y g (x) 0 para toda x en (a, b).
Entonces existe un nmero c en (a, b) tal que
f (b ) f (a ) f '(c )
=
g (b ) g (a ) g ' (c )

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.

TEOREMA 5.1.14. REGLA DE LHPITAL PARA LA FORMA INDETERMINADA 0/0


Supngase que f y g son derivables sobre un intervalo abierto que contiene al nmero c,
excepto posiblemente en c mismo, y que g (x) 0 para toda x en el intervalo salvo
posiblemente en c. Si
lim f ( x ) = 0

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

)
)

Al hacer x c implica d c y entonces


lim

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)

El resultado proporcionado en el teorema 5.1.14 sigue siendo vlido cuando x c se


sustituye por lmites unilaterales o por x o x - .
TEOREMA 5.1.15. REGLA DE LHPITAL PARA LA FORMA INDETERMINADA /
Si

( x ) = xlim

lim f

g ( x )=

lim

f '(x)
=L
g'(x)

lim

f (x)
=L
g(x)

entonces
x

La demostracin para el caso x puede obtenerse al usar la sustitucin x = 1 / t en


f (x)
y al observar que x es equivalente a t 0+.
lim
x g ( x )
En algunas ocasiones es necesario aplicar la regla de L'Hpital ms de una vez para
lograr que la indeterminacin desaparezca. Adems, en aplicaciones sucesivas de la
regla de LHpital, algunas veces es posible cambiar un lmite de una forma
indeterminada a otra; por ejemplo, / a 0/0.
5.5.2 OTRAS FORMAS INDETERMINADAS
Adems de las formas indeterminadas 0/0, /, hay otras cinco formas adicionales de
indeterminacin:
- ,

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.

EJEMPLOS PARA RESOLVER EN CLASE


Calclese cada lmite usando la regla de L ' Hpital.

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

11. lim x csc x


x0

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

12. lim x sen


x
x

Das könnte Ihnen auch gefallen