Вы находитесь на странице: 1из 26

Anlisis Matemtico I CIBEX

Facultad de Ciencias Exactas


Universidad Nacional de La Plata

Unidad 5: Funciones Implcitas


y Funciones Inversas

2015 - Primer Cuatrimestre


Dr. Gerardo Rossini, Dra. Ana Alonso
Equipo Coordinador

UNIDAD 5

Funciones implcitas y funciones inversas.


Contenidos de la Unidad 5: Funciones implcitas. Derivacin implcita. Funciones inversas. Derivada de la funcin inversa. Arcos: inversas de las funciones trigonomtricas e
hiperblicas.
Integracin: Clculo con funciones exponenciales y logartmicas, naturales y en distintas bases.

Clase 5.1. Ecuaciones con dos variables y funciones implcitas.


Contenidos de la clase: Relaciones. Funciones implcitas. Multivaluacin. Derivacin
implcita.

5.1.1. Relaciones, ecuaciones con dos variables y funciones implcitas


En muchas situaciones encontramos relaciones entre dos cantidades de inters, expresadas como
una ecuacin con dos incgnitas.

Ejemplo

5.1.1. La Ley de Boyle para gases ideales relaciona la presin

sometida una cantidad de gas y el volumen

a que se encuentra

que ocupa dicho gas (mientras la temperatura se

mantenga constante). La relacin se enuncia como

PV =k
donde

es un valor constante que se puede calcular como el producto de la presin y el volumen en

un estado inicial (k

= P0 V0 ).

La relacin dada por la ley de Boyle tiene la forma de una ecuacin (una igualdad) que involucra
dos incgnitas:

V.

En general, no se espera resolver el valor de dos incgnitas cuando tenemos

una sola ecuacin. Lo que se puede intentar es despejar una en funcin de la otra: elegir una como
variable independiente y dejar la otra como variable dependiente.
La ley de Boyle es tan sencilla que permite despejar explcitamente
Es decir, al despejar podemos expresar

como funcin de

V,

P = k/V

o bien

V = k/P .

que anotamos

P (V ) = k/V
Tambin podemos despejar

como funcin de

P,

que anotamos

V (P ) = k/P
Notemos que la ecuacin

P V = k contiene, implcitamente,
variables en lugar de decir

se suele hablar de ecuaciones en dos

funciones de una variable. Por esto


ecuaciones con dos incgnitas.

La ecuacin con dos incgnitas del ejemplo anterior tiene innitas posibilidades de solucin: innitos
pares de valores

(P, V ),

tales que reemplazados en la ecuacin satisfacen la igualdad. La forma grca

adecuada para mostrar las soluciones es construir el conjunto de puntos de coordenadas


plano de ejes

(P, V )

en un

P V.

Actividad

5.1.2. La presin

se suele medir en atmsferas (atm) y el volumen

en litros

(l). Adems, la presin absoluta siempre es positiva, al igual que el volumen.


Consideren un experimento en que un gas se mantiene a temperatura constante, tal que

10 atm.l.

El volumen se puede variar comprimiendo el recipiente que contiene el gas.


199

PV =

CLASE 5.1. ECUACIONES CON DOS VARIABLES Y FUNCIONES IMPLCITAS.

Graquen en un plano

P V

200

todos los estados posibles del gas (es decir, los pares

(P, V )

en

que se puede encontrar este gas).

En la discusin de la ley de Boyle habrn descubierto una conexin directa entre ecuaciones con
dos incgnitas y funciones de una variable. Seguramente despejaron
en funcin de

P.

en funcin de

En general, esperamos que una ecuacin con dos incgnitas

V,

o quizs

establezca una

dependencia de una de las incgnitas con la otra. Pero a veces puede ser complicado o imposible
despejar una funcin explcita.

Actividad

5.1.3. Consideremos la ecuacin

x2 + y 2 = a
para distintos valores de

a.

Graquen las soluciones en el plano

xy

en los siguientes casos:

a = 1 no hay ninguna solucin (es decir, que ningn par (x, y) satisface
y(x)?
para a = 0 hay un solo par (x, y) solucin Queda establecida una funcin

Muestren que para

la igualdad). Queda establecida una funcin


Muestren que

y(x)?
Reconozcan que para

a=1

1.

en funcin de

Pueden despejar

la solucin son todos los puntos de la circunferencia de radio

x?

Queda establecida una funcin

y(x)?

(la discusin

es similar a la presentacin de raz cuadrada que hicimos en la Unidad 1, actividad 1.3.2).


Dado un valor de

x,

digamos

x = 1/2,

cualquier valor de

satisface la ecuacin?

1 reconocemos que las soluciones de la ecuacin, es decir


x y el valor
de y . Pero no se puede expresar esta relacin como una funcin: a ciertos valores de x le corresponden
dos valores de y . Se dice que la relacin es multivaluada cuando a un valor de x le corresponden dos o
ms valores de y . Cuando hay multivaluacin, la relacin no dene una funcin.
En otros casos ser directamente imposible despejar y en funcin de x con tcnicas algebraicas.
En el ejemplo de la circunferencia con radio

los puntos

(x, y)

que estn sobre la circunferencia, guardan una relacin entre el valor de

Por ejemplo, si

y 5 + 2xy + x3 = 13
no hay manera de despejar. Pero hay una relacin entre

y,

cerca de

1,

y que en esas soluciones al cambiar el valor de

(x, y) = (2, 1) es una


2 habr soluciones
cambiar el valor de y .

y hay soluciones:

solucin que se reconoce a simple vista. Podemos intuir que si se toma


tambin

cerca de

Como dijimos en el primer rengln de esta clase, en muchos casos una relacin entre dos variables

se escribe como una ecuacin en dos variables, es decir una igualdad entre expresiones que

involucran a

y a

y.

Estas ecuaciones encierran en general una dependencia entre las variables, que

muchas veces no tiene forma de funcin.


La intencin de esta clase es aprovechar lo que ya hemos aprendido de funciones,

no podemos despejar y

en funcin de

x.

incluso cuando

CLASE 5.1. ECUACIONES CON DOS VARIABLES Y FUNCIONES IMPLCITAS.

201

5.1.2. Funciones implcitas


Para trabajar con una relacin multivaluada intentaremos encontrar

subconjuntos de soluciones

que se comporten como funciones. Veamos la idea en un grco. Supongamos que una ecuacin con
dos variables tiene como solucin los puntos de una espiral:

Claramente la ecuacin no dene una funcin. Pero rescatamos con trazo grueso un subconjunto
de la grca con caractersticas de funcin, que a cada
valor de

y.

en el intervalo

[a, b]

le asigna un y slo un

5.1.4. (informal)
Llamamos funcin implcita a cada funcin continua que se pueda reconocer en una relacin
multivaluada, eligiendo adecuadamente algn tramo de la grca de la relacin.

Definicin

Actividad

5.1.5. Dibujen otras funciones implcitas posibles en la relacin de la gura anterior,

que tomen distintos valores en

x0

y sean continuas en el dominio elegido.

Naturalmente, la eleccin de una funcin implcita no es nica. Cada eleccin se llama una

rama

de la funcin implcita; para describirla sin ambigedad, se debe dar el dominio y el codominio elegido.

Observacin
de

x,

5.1.6. En algunos casos sencillos podremos despejar algebraicamente

y en funcin

siempre conviene intentarlo, aunque en general no es posible hacerlo. La nocin de funcin

implcita es la misma, podamos o no podamos despejar.

5.1.3. Existencia, continuidad y derivabilidad de funciones implcitas


Dada una ecuacin en dos variables

(x, y) y una solucin, es decir punto (x0 , y0 ) sobre su grca, una


y = f (x), con f (x0 ) = y0 ,

cuestin importante es determinar si se puede rescatar una funcin implcita


aunque no podamos despejar explcitamente.

Noten que la eleccin del trazo grueso la hicimos respetando la nocin de continuidad.

CLASE 5.1. ECUACIONES CON DOS VARIABLES Y FUNCIONES IMPLCITAS.

Es decir, anticipar si tiene sentido decir que

depende de

202

como una funcin implcita

y = f (x).

0
Mejor an, anticipar si esta funcin es continua, si es derivable, y cunto vale f (x0 ).
No podemos en este curso responder todas estas cuestiones (se podr hacer con herramientas de

avisamos que existe la


funcin implcita y = f (x) al menos en un entorno de x0 , que es continua, y que existe la
derivada de y respecto de x en el punto x0 . En ese caso, lo que s podemos hacer es obtener el valor

Anlisis Matemtico II). Mientras tanto, les propondremos situaciones donde

de la derivada.

5.1.4. Mecanismo para obtener la derivada de una funcin implcita derivable


Supongamos que una ecuacin en
y que es derivable en un punto

x0 .

dene una funcin implcita

Entonces, reemplazamos

por

f (x)

y = f (x)

en un entorno de

tanto el lado izquierdo como el lado derecho dependen de una sola variable

x.

Podemos ahora, si la expresin lo permite, derivar ambos miembros respecto de

f 0 (x) la dejamos indicada, porque no conocemos la frmula de


0
en x0 (donde sabemos que existe f (x0 )) y podremos despejar
conoce como derivacin implcita.

x0 ,

en la ecuacin y tenemos que

x.

La derivada

la funcin implcita. Luego evaluamos


el valor de

f 0 (x0 ).

Este mecanismo se

Veamos un ejemplo

Ejemplo

32

5.1.7. Consideremos la ecuacin

x2 + y 2 = 25.

42

(3, 4) la satisface, ya que


y = f (x) como funcin implcita

El punto

= 9 + 16 = 25. Aceptemos que la ecuacin dene a


x0 = 3 (este caso no es difcil, si reconocen que la ecuacin describe una
radio 5 centrada en el origen). Reemplazando y por f (x), tenemos la igualdad

alrededor de
de

circunferencia

x2 + (f (x))2 = 25
donde el lado izquierdo es funcin de
miembros respecto de

x,

x,

a travs de una

composicin

con

f (x).

Derivando ambos

usando la regla de la cadena, resulta

2x + 2 f (x) f 0 (x) = 0
(observen que

(f (x))2

se deriv como una funcin compuesta). Evaluamos en

f (3) = 4,

x0 = 3 ,

usando que

2.3 + 2.4 f 0 (3) = 0

0
y podemos despejar f (3):

f 0 (3) =

3
4

En este ejemplo concreto reconocemos grcamente que


a la circunferencia en el punto

(3, 4):

3/4

es la pendiente de la recta tangente

CLASE 5.1. ECUACIONES CON DOS VARIABLES Y FUNCIONES IMPLCITAS.

De hecho es posible despejar explcitamente

y = f (x) = + 25 x2

, eligiendo el signo

f (3) = 4. Podramos entonces derivar


x
1
.(2x) =
f 0 (x) =
2
2 25 x
25 x2

rama de la funcin implcita tal que

como la

directamente

(5, 5). En
3
f 0 (3) = 259
= 34 .

que es el resultado vlido para la semi-circunferencia superior, en el intervalo


comprobemos el resultado de la derivacin implcita del ejemplo:

203

particular,

El mecanismo de derivacin implcita funciona siempre que las expresiones en la ecuacin se puedan
derivar por reglas prcticas. Y vern que, aunque la ecuacin sea complicada y no permita despejar

y(x),

sabiendo el valor de

f (x0 )

ser sencillo despejar al menos el valor de

f 0 (x0 ).

5.1.5. Ejercicios
Para jar los conceptos de ecuaciones y relaciones multivaluadas, funcin implcita y derivada
implcita, proponemos varios ejercicios. En algunos ejercicios buscamos la derivada de la funcin implcita en un punto dado, y en otros buscamos la derivada en un punto genrico (es decir, construirn
la funcin derivada).
Una vez que reconozcan la funcin implcita y su derivada, podrn resolver problemas de recta
tangente, crecimiento, etc.
Observen que si una ecuacin tiene variables
forma

y(x)

o de la forma

x(y);

y,

es posible estudiar funciones implcitas de la

en algunos casos una posibilidad pueder ser ms conveniente que la

otra.

Ejercicio

5.1.1. Sea

f (x) + x2 [f (x)]3 = 10.


Ejercicio

5.1.2. Sea

g(x) + x sen (g(x)) =


Ejercicio

Si

y = f (x) una funcin derivable


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

en

x = 1,

x = 0, que
g(0) = 0.

una funcin derivable en

x2 . Calculen

g 0 (0), sabiendo que

que verica la ecuacin

verica la ecuacin

(1, 1) y (1, 1) pertenecen a la curva x3 +xy 2 = 2.


una misma funcin implcita y = f (x)?

5.1.3. Veriquen que los puntos

Es posible incluir los dos puntos en

Encuentren la ecuacin de la recta tangente en cada punto.

Ejercicio

5.1.4. La curva de ecuacin

x2 + y 2 + xy = 4

es una elipse, cuyos ejes no son paralelos

a los ejes coordenados.


1. Graquen con GeoGebra (el programa reconoce ecuaciones cuadrticas en dos variables). Hallen
grcamente la direccin de los ejes de la elipse.
2. Encuentren dos puntos de la elipse con ordenada

y = 0.

3. Hallen las rectas tangentes a la elipse en los puntos encontrados.

CLASE 5.1. ECUACIONES CON DOS VARIABLES Y FUNCIONES IMPLCITAS.

4. Repitan el procedimiento de derivacin implcita en un punto genrico

204

(x0, y0 ) de la elipse. En

qu puntos de la curva la tangente es horizontal?

Ejercicio

5.1.5. La curva de ecuacin

x3 + y 3 = 6xy

se llama folio de Descartes.

1. Encuentren la recta tangente al folio de Descartes en el punto

(3, 3).

2. Repitan el procedimiento de derivacin implcita en un punto genrico

(x0, y0 ). En qu puntos

de la curva la tangente es horizontal?


3. Pueden ver http://es.wikipedia.org/wiki/Folium_de_Descartes grcas de la curva. Aunque
parezca imposible, hay una forma de despejar

en funcin de

x;

comparen el trabajo hecho

mediante derivacin implcita con el que tendran que hacer si usaran la forma explcita de

y(x).
Ejercicio

y = y(x)

5.1.6. Para las siguientes relaciones, suponiendo que denen una funcin implcita

derivable,

y 0 por derivacin implcita en un punto x0


y = y(x) y deriven la expresin explcita.

encuentren
despejen

genrico.

comprueben que ambas expresiones coinciden.


a)

xy + 2x + 3x2 = 4

b)

1 1
+ = 1.
x y

(pueden gracar la ecuacin (a) con GeoGebra para comprobar que representa una hiprbola;
tambin la (b), si la reescriben en forma cuadrtica

Ejercicio

y + x = xy ).

5.1.7. Suponiendo que las siguientes relaciones denen funciones implcitas

derivables, hallen una expresin para

sen(x + y) = x.
ln(xy) + y = 0,
x2 y = ey ,

xy = 1 + xy 2 .

y 0 (x0 )

en un punto

x0

genrico.

y = y(x)

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

205

Clase 5.2. Funciones inversas. Inversas trigonomtricas e hiperblicas.


Contenidos de la clase: Funciones inversas. Derivada de la funcin inversa. Funciones
trigonomtricas inversas. Funciones hiperblicas inversas.

Una aplicacin importante de la nocin de funcin implcita es el estudio de la posibilidad construir

funciones inversas.

en funcin de la variable independiente

los roles de las variables y expresar

Actividad

y = f (x) que expresa la


x, nos preguntamos si podemos cambiar

Esto signica: cuando tenemos una funcin bien denida

variable dependiente

en funcin de

y.

5.2.1. Comencemos con una funcin sencilla:

y = f (x) = 3x + 2.
f (x)? Cul es su imagen?
entre x e y como una ecuacin en dos variables?

Cul es el dominio natural de


Pueden escribir la relacin

(por ejemplo,

la forma segmentaria o la forma normal de la ecuacin de la recta)

Pueden despejar

y?

en trminos de

Resulta

una funcin de

y?

En ese caso, cules

son el dominio y la imagen de la funcin hallada?

Actividad

5.2.2. Sigamos con una funcin todava sencilla:

Cul es el dominio natural de

y = f (x) = x2 + 2x 3.

f (x)? Cul es su imagen?


x e y como una ecuacin

Pueden escribir la relacin entre

en dos variables? (por ejemplo,

la forma general de las ecuaciones cuadrticas)


Pueden despejar

en trminos de

y?

Resulta

una funcin de

y?

Si hay algn obstculo, pueden arreglarlo? En ese caso, cules son el dominio y la imagen
de la funcin hallada?

Actividad

5.2.3. Ahora, veamos una funcin especial:

y = f (x) = sen x.

f (x)? Cul es su imagen?


escribir la relacin entre x e y como una ecuacin
despejar x en trminos de y ?

Cul es el dominio natural de


Pueden
Pueden

en dos variables?

En las actividades anteriores discutimos casos bien distintos, sin embargo tienen algo en comn:
dada una funcin bien denida

y = f (x)

siempre se puede escribir la relacin entre

como una

ecuacin en dos variables:

y f (x) = 0
La posibilidad de despejar

en funcin de

nos lleva al tema de la clase anterior: a veces se puede

despejar algebraicamente, en forma explcita, pero en general no se puede. Cuando no podamos des-

x como una funcin implcita de y . Tambin vamos


x como funcin de y .
y = f (x) permiten denir x como una funcin implcita de

pejar, nos vamos a preguntar si es posible denir


preguntar si hay distintas

ramas

para denir

Para estudiar qu tramos de la funcin

y,

ser importante analizar la grca la funcin original.


Cuando partimos de una funcin

construimos

una funcin inversa,

y = f (x) y logramos expresar x en funcin de y se dice que


x = f 1 (y). Como sucede con las funciones implcitas,

que se anota

para distinguir las distintas ramas posibles es importante dar el dominio y la imagen de cada funcin
2

inversa construida .

La notacin

f 1 (y)

se lee "f inversa de

y ".

No se debe confundir con "uno sobre

f ".

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

206

5.2.1. Funciones inyectivas, suryectivas y biyectivas


Antes de construir una funcin inversa necesitamos primero hacer un estudio de la funcin original

y = f (x). Las palabras que leyeron en el ttulo de esta seccin describen caractersticas que una funcin
puede tener, o no tener. Observen que para denir estas caractersticas nos referimos con cuidado al
dominio y codominio de la funcin; por eso usamos la notacin completa

f : AB

dada por

y = f (x)

Estas caractersticas determinan cundo es posible construir una funcin inversa.

Definicin

Im f = B .

5.2.4.

Dada una funcin f : A B , se dice que la funcin es


Im f

Recordemos que la imagen de la funcin, anotada


valores

y B

que toma la funcin cuando

todos

funcin es suryectiva cuando toma

Ejemplo
el intervalo

A.

f (A),

cuando

es el conjunto de los

Entonces, en palabras, una

los valores de su codominio.

5.2.5. La parbola cannica

[0, +)

o tambin

recorre todo el dominio

suryectiva

y = x2 tiene como dominio todos los reales y como imagen

de reales no negativos. Grafquenla para seguir este ejemplo.

Si consideramos la funcin

estamos diciendo que el

[0, +)

f : R R dada por y = x2
codominio es R. Entonces encontramos

que

no es suryectiva: la imagen

no coincide con el codominio.

Por otro lado, si consideramos la funcin

g : R [0, +)
estamos diciendo que el codominio es
imagen

[0, +)

[0, +).

dada por

y = x2

Entonces encontramos que

s es suryectiva: la

coincide con el codominio declarado.

Este ejemplo nos aclara dos puntos importantes. Primero, que para discutir si una funcin es
suryectiva no basta conocer su frmula, sino que debemos aclarar con qu codominio est denida;
slo as podremos comparar su imagen con el codominio declarado. Segundo, que es fcil lograr que
una funcin con frmula

y que nunca
restringir el codominio.

valores de

y = f (x)

sea suryectiva: tenemos que ajustar su codominio

aparezcan como resultado de evaluar

f (x).

descartando

los

A este procedimiento se lo llama

5.2.6. Dada una funcin f : A B con frmula y = f (x), se dice que la funcin es
cuando a valores distintos de x A corresponden valores distintos de y B .

Definicin
inyectiva

Dicho en palabras, una funcin

y = f (x)

recorre su dominio, no hay dos valores distintos de

Ejemplo

ya
resultado y .

es inyectiva cuando no repite valores de

que tengan el mismo

5.2.7. Volvamos a considerar la parbola cannica

y = x2 .

medida que

Tengan a mano su grca.

Si consideramos la funcin

f : R R dada por y = x2
estamos diciendo que el dominio es R. Entonces encontramos que f no es inyectiva, porque hay
valores distintos de x, por ejemplo 2 y 2, tales que dan en mismo valor de y : f (2) = f (2) = 4.
Por otro lado, si restringimos el dominio al intervalo [0, +) y consideramos la funcin
h : [0, +) R
entonces encontramos que

dada por

s es inyectiva. Graquen

la rama derecha de la parbola.

y = x2

y = g(x)

y observen que describe solamente

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

207

Nuevamente, este ejemplo nos aclara dos puntos importantes. Primero, que para discutir si una
funcin es inyectiva no basta conocer su frmula, sino que debemos tener claro cul es su dominio.

y = f (x) sea inyectiva: tenemos que ajustar


f (x). A este

Segundo, que es posible lograr que una funcin con frmula


su dominio

descartando

x que ya hayan
restringir el dominio.

valores de

procedimiento se lo llama

aparecido como resultado de evaluar

Restringir un dominio tiene un costo evidente: hay regiones del eje

que quedan fuera de conside-

racin. La funcin restringida no contiene ninguna informacin sobre esas regiones. En un problema de
aplicacin, ser muy importante asegurarse de que la funcin con dominio restringido realmente cubra
el rango de la variable que intentamos describir.

Dada una funcin f : A B , se dice que la funcin es biyectiva cuando es


inyectiva y suryectiva a la vez.
Definicin

5.2.8.

Juntando lo que ya dijimos, una funcin

y = f (x)

con dominio

y codominio

es biyectiva

cuando su imagen coincide con el codominio y cada valor de la imagen es alcanzados solamente una
sola vez.

Ejemplo

5.2.9. Sigamos considerando la parbola cannica

y = x2 .

Cuando consideramos la

funcin

f : RR
encontramos que

dada por

y = x2

no es inyectiva. Por otro lado, cuando restringimos el dominio al intervalo

[0, +)

y consideramos la funcin

h : [0, +) R
entonces encontramos que

dada por

y = x2

s es inyectiva, pero no es suryectiva: la imagen

[0, +) no coincide con

el codominio declarado
intervalo

R. Podemos arreglar la falta de suryectividad restringiendo el codominio al


[0, +). Denimos una nueva funcin (con la misma frmula, pero no es la misma funcin)
b : [0, +) [0, +)

dada por

y = x2

que nalmente resulta biyectiva.

Actividad

5.2.10. Graquen la funcin

y = b(x)

del ejemplo anterior, marcando su dominio

y su codominio. Veriquen grcamente que es una funcin biyectiva. Tengan a mano una regla y
discutan:
qu mecanismo grco les permite decidir si la funcin es suryectiva?
qu mecanismo grco les permite decidir si la funcin es inyectiva?

Cuando una funcin


en el conjunto

f : AB

con frmula

y = f (x)

una correspondencia biunvoca entre los conjuntos


y slo un elemento de
de

A.

es biyectiva se verica que cada valor de

aparece como imagen de un y solamente un valor

B,

a la vez que cada elemento

La grca de una funcin

el siguiente aspecto:

f : AB

del conjunto

B : cada elemento de A
de B se corresponde con

A.

Se dice que hay

se corresponde con un
un y slo un elemento

biyectiva, generalizando lo discutido con la parbola, tiene

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

208

5.2.2. Funcin inversa


Volviendo al tema de funcin inversa, es decir a la posibilidad de despejar

f : AB
f (x) = y .

importante destacar que cuando una funcin


asignar un nico valor de

x,

elegido tal que

como funcin de

es biyectiva, a cada valor de

y,

es

se le puede

Cuando una funcin

f : AB

con frmula

y = f (x)

es biyectiva, se puede denir su funcin inversa, que anotamos

f 1 : B A
Simplemente, a cada

Definicin

yB

5.2.11.

f 1 : B A tal que

se le asigna el nico valor de

f.

x = f 1 (y)

xA

tal que

f (x) = y .

Dada una funcin f : A B biyectiva, su funcin inversa se dene como


x = f 1 (y) siempre que f (x) = y

En esta denicin, el dominio de


el dominio de

con frmula

pasa a ser la imagen de

Para acompaar esta idea, dejamos

f 1

f 1 pasa a ser
1 y x como
de f

y la imagen de

como variable independiente

variable dependiente.
Podemos representar grcamente a la funcin inversa cambiando el sentido de las echas de
asignacin:

En el panel de la izquierda, a cada


asigna un

se le asigna un

y.

Y en el panel de la derecha, a cada

de le

x.

Usualmente se "endereza" el dibujo de la funcin inversa poniendo la variable independiente


el eje horizontal, y la variable dependiente

en

en el eje vertical. Podemos imaginar el panel derecho

dibujado en papel de calcar, dar vuelta la hoja y acomodar los ejes. Se vera as:

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

209

donde ustedes podrn reescribir las letras "al derecho".

Actividad

5.2.12. Dibujen la grca de una funcin biyectiva en papel transparente. Encuen-

tren la forma de mirarlo para visualizar la funcin inversa (bastar una hoja en blanco, vista a
trasluz).

Observacin

5.2.13. Una vez construida la funcin inversa, en muchos textos se suele inter-

cambiar las letras, escribir

y = f 1 (x).

El propsito es tratar a la funcin inversa como a cualquier

funcin, que estamos acostumbrados a escribir con


En esta unidad vamos a mantener la notacin
una funcin

y = f (x)

Actividad
ecuacin

y=x

resultado.
que hemos invertido

(excepto en la actividad siguiente, presten atencin al uso de las letras

5.2.14. Dibujen en el plano

grca de su inversa

x como variable, e y como


x = f 1 (y) para recordar

y = f 1 (x).

xy

la grca de una funcin biyectiva

y = f (x)

y ).

y la

Veriquen que las grcas son simtricas respecto de la recta de

(es decir, la bisectriz del primer y tercer cuadrante).

Por ejemplo, pueden usar

f : [1, 1] [1, 1]

dada por

y = f (x) =

x.

Existencia de ramas de la funcin inversa


Hemos visto que una funcin biyectiva se puede invertir. Pero la vida no es tan sencilla, y es
frecuente que tengamos una funcin
considerar a

como funcin de

y = f (x)

que no sea biyectiva, y necesitemos de alguna manera

y.

El recurso que tenemos para construir una funcin inversa es lograr primero que la funcin sea
biyectiva,

restringiendo

su dominio y codominio adecuadamente. En este proceso sacricamos infor-

macin, y nos quedamos solamente con una parte de la funcin original. Luego tiene sentido denir la
inversa de esa parte. Segn la restriccin elegida, se obtiene una

rama

de funcin inversa.

Veamos grcamente qu signica "dominio y codominio adecuados". Para que exista una rama
de funcin inversa de

y = f (x),

tenemos que buscar un tramo de la grca de

donde sea biyectiva.

Es decir, que sea a la vez inyectiva (es decir no repetir valores en todo el dominio elegido) y suryectiva
(es decir, que alcance todos los valores del codominio elegido). En general, como vemos en la gura
anterior, eso no sucede con la funcin
codominio de

f,

completa; pero si restringimos adecuadamente el dominio y el

puede ser que encontremos una funcin inversa.

Imaginemos un grco de

y = f (x),

y supongamos que nos interesa trabajar con el punto

(x0 , y0 ):

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

210

x a la izquierda de a y a la derecha de b (indicados


en la gura), para que f no repita valores: la imagen del intervalo [a, b] en el eje x resulta el intervalo
[c, d] en el eje y . La funcin restringida3 f : [a, b] [c, d] resulta biyectiva, y tiene sentido buscar su
1 : [c, d] [a, b], que pasa por (y , x ) y es continua en [c, d] se puede
inversa. La funcin inversa f
0 0
ver "mirando de costado" o gracando los mismos puntos con el eje y en la horizontal y el eje x en la
Hagamos una restriccin descartando valores de

vertical:

Esperamos que se vea clara la situacin razonando sobre un grco. Queda pendiente la pregunta:
si no conocemos el grco cmo ubicamos una restriccin de la funcin

y = f (x) que resulte biyectiva?

Funciones biyectivas en intervalos cerrados


Podemos aprovechar lo que aprendimos de continuidad, y de crecimiento, para seleccionar un tramo
de la grca de una funcin de forma que resulte biyectiva. Para estudiar la inyectividad tenemos la
siguiente

Propiedad

5.2.15.

Si una funcin f es estrictamente creciente en un intervalo [a, b], entonces f restringida


al dominio [a, b] es inyectiva.
Si una funcin f es estrictamente decreciente en un intervalo [a, b], entonces f restringida
al dominio [a, b] es inyectiva.
3

Sera apropiado usar una letra distinta de

f,

porque la funcin restringida es un objeto distinto de la original. Para

facilitar la lectura, nos permitimos este abuso de notacin.

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

211

Demostracin . Este resultado es una consecuencia directa de la denicin de crecimiento: cuando


y = f (x)
aumenta x.

una funcin
que

es estrictamente creciente (o decreciente) va tomando valores distintos a medida

Se dice que una funcin es

montona para indicar que es o bien creciente o


f es inyectiva en [a, b] para indicar que

bien decreciente.

Tambin se dice brevemente que

[a, b]

dominio

Para estudiar la suryectividad de


anotamos

la restriccin de

al

es una funcin inyectiva.

f ([a, b]).

en un intervalo

[a, b]

tenemos que encontrar su imagen, que

Resultan tiles los teoremas del Valor Extremo (3.5.23) y del Valor Intermedio

(2.5.24).

Propiedad

5.2.16.

Si una funcin f es continua en un intervalo [a, b], entonces la restriccin


f : [a, b] f ([a, b]) es suryectiva.

Demostracin . Segn el teorema del Valor Extremo, una funcin continua en un intervalo cerrado
[a, b] alcanza un mnimo y un mximo absolutos en ese intervalo. Llamemos c al valor del mnimo, y
d al valor del mximo. Entonces la imagen f ([a, b]) est incluida en el intervalo [c, d]. Adems, por el
teorema del Valor Intermedio, cualquier valor y [c, d] se puede escribir como resultado de evaluar
f (p) en algn valor4 p del intervalo [a, b]. Es decir, cualquier valor y [c, d] est en la imagen f ([a, b]).
En consecuencia, la restriccin f : [a, b] [c, d] es suryectiva.
Para recordar cundo es posible denir una rama de funcin inversa podemos unir los resultados
anteriores y enunciar la siguiente

5.2.17. Sea una funcin f : D R y un intervalo I incluido en el dominio D . Si


f (x) es continua en el intervalo I ,
f (x) es derivable en el intervalo I , con la posible excepcin de sus puntos extremos,
f 0 (x) > 0 en todo el intervalo I (o bien f 0 (x) < 0 en todo el intervalo I ),
entonces, llamando K = f (I) (es decir la imagen del intervalo I ), la restriccin f : I K es
biyectiva y admite funcin inversa continua f 1 : K I .

Propiedad

Esta propiedad arma que la funcin inversa existe, pero no arma que se pueda despejar algebraicamente

en funcin de

x.

Es inportante reconocer que la funcin inversa

existe,

aunque no podamos

despejar su frmula.

Observacin
intervalo

5.2.18. La propiedad 5.2.17 puede ser aplicada a todo el eje real (es decir, al

I = R).

En el caso de intervalos cerrados

f (x)

es derivable en el abierto

negativa) en

(a, b).

(a, b)

I = [a, b],

el enunciado asegura que existe la inversa cuando

y continua en el intervalo cerrado

[a, b],

con

f 0 (x)

positiva (o

A esto se reere la "posible excepcin de sus puntos extremos"; comparen con

la Observacin 3.4.10.

Derivabilidad de la funcin inversa.


Una vez que sabemos que una rama de la funcin inversa est bien denida, vamos a establecer
condiciones para que sea derivable. Podramos haberlo dicho en la propiedad anterior, pero preferimos
darle ms importancia al siguiente:

Nos referimos al valor que se llam

en el enunciado del teorema del Valor Intermedio.

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

212

Consideremos una funcin y = f (x) tal que:


f (x) es continua en el intervalo I ,
f (x) es derivable en el intervalo I , con la posible excepcin de sus puntos extremos,
f 0 (x) > 0 en todo el intervalo I (o bien f 0 (x) < 0 en todo el intervalo I ),
entonces, llamando K = f (I) a la imagen del intervalo I , la funcin inversa f 1 : K I es
derivable en todo su dominio K , con la posible excepcin de sus extremos. En cada punto y0 de
K la derivada de x = f 1 (y) respecto de y est dada por

Teorema

5.2.19.

0
f 1 (y0 ) = 1/f 0 (x0 )

donde x0 = f 1 (y0 ).

Demostracin.

La funcin inversa existe y es continua, porque estamos en la situacin de la

propiedad anterior. Podemos anticipar que existe

x0 (y0 )

porque existe la recta tangente a la grca

y = f (x) en el punto (x0 , y0 ) y no es horizontal; es decir, existe la recta tangente a


x = f 1 (y) en el punto (y0 , x0 ) y no es vertical.
0
Ahora podemos calcular x (y) usando derivacin implcita. Sea y = f (x) la relacin
1 (y):
la grca de f , y usemos que existe la funcin implcita x = f

y = f f 1 (y)
de

y0 (c, d)

0
1 = f 0 (f 1 (y0 )). f 1 (y0 )

Derivando ambos miembros respecto de

Pero

f 1 (y0 ) = x0 (a, b)

y,

y evaluando en

que describe

obtenemos

f 0 (x0 ) 6= 0. Luego podemos


0
f 1 (y0 ) = 1/f 0 (x0 )

y por hiptesis

la grca de

despejar

Completamos as la demostracin.2

Veamos un ejemplo en que la funcin inversa se pueda despejar, y otro en que no se pueda.

Ejemplo

g(x)

y = g(x) = x2 , denida
0
real, con g (x) = 2x.

5.2.20. Consideremos la funcin

es continua y derivable en todo el eje

para todo

real. La funcin

g 0 (x) > 0 es (0, +), luego


g(x) es creciente all. Su imagen, obtenida mirando la grca, es (0, +). En consecuencia, g :
(0, +) (0, +) es biyectiva. La correspondiente rama de la funcin inversa se anota g 1 :

(0, +) (0, +); despejando, esta rama est dada por la frmula x = y = g 1 (y).
Despus de este estudio analtico, graquen para observar que g : (0, +) (0, +) representa
2
1 : (0, +) (0, +) representa la raz cuadrada
la rama derecha de la parbola y = x , y que g
Busquemos intervalos en que

g(x)

sea creciente: la regin en que

con signo positivo.

g 0 (x) no se anula en (0, +), podemos garantizar que la funcin inversa g 1 (y) es derivable
cualquier y0 (0, +), y que la derivada se calcula como
0


g 1 (y0 ) = 1/g 0 (x0 ) = 1/ (2x0 ) = 1/ 2g 1 (y0 ) = 1/ (2 y0 )


Como

en

Noten que hay que trabajar un poco para que la derivada de

y;

g 1 (y)

quede escrita en funcin de

esto es necesario para llegar a una regla prctica, donde aparezca slo la variable

de la funcin

inversa.
Por supuesto, este resultado coincide con las reglas que aprendimos para derivar la raz cuadrada.
Observen que lo hemos analizado slo para

Observacin
ms grande:
en

(0, +),

es biyectiva.

y0 > 0 .

5.2.21. Con ms cuidado, podemos trabajar el ejemplo anterior en un intervalo

[0, +).

Dado que

y = x2

es continua en[0, +), y derivable y con derivada positiva

entonces es estrictamente creciente en

[0, +).

La restriccin

g : [0, +) [0, +)

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

La correspondiente rama de la funcin inversa ser

213

g 1 : [0, +) [0, +); despejando, esta


[0, +). El Teorema 5.2.19

g 1 (y) con dominio

x= y=
asegura que esta funcin es derivable en (0,+\infty deja como posible excepcin
Como ya saben, esta funcin es derivable en (0, +) pero no es derivable en y = 0.
rama est dada por la misma frmula

Actividad

5.2.22. Discutan otra funcin inversa de

y = g(x) = x2 :

repitan el Ejemplo 5.2.20

en el intervalo en que la funcin es decreciente. Deben obtener la funcin inversa asociada a la otra
rama de la parbola.

Un ejemplo importante en que no se puede despejar algebraicamente la funcin inversa, pero s se


puede asegurar que existe y es derivable, es el siguiente:

Ejemplo

5.2.23. Consideremos la funcin

y = f (x) = sen x, denida


(sen x)0 = cos x.

para todo

real. La

funcin sen x es continua y derivable en todo el eje real, con

(sen x)0 = cos x > 0, o bien


0
observando la grca, vamos a elegir el intervalo x [/2, /2]: la derivada sen (x) es positiva
slo en el abierto (/2, /2) y la funcin sen(x) es continua en el cerrado [/2, /2]. La imagen
de este intervalo, mirando la grca, es el intervalo [1, 1].
1 : [1, 1] [/2, /2] existe y es derivable en (1, 1). Se llama arco
La funcin inversa sen
1 (y) ).
seno, y se anota como x = arcsen y (o tambin como x = sen
En la prxima seccin veremos con detalle la funcin arco seno : dominio, codominio, su grcas
Busquemos intervalos en que sen x sea creciente. Proponiendo que

y su derivada.
En la clase de integracin discutiremos las inversas de las dems funciones trigonomtricas.

5.2.3. Inversas de las funciones trigonomtricas


En esta seccin y en la clase de integracin vamos a presentar la inversa de la funcin seno. Esta
funcin inversa da la respuesta a la siguiente pregunta:
si conocemos en seno de un ngulo, cul ser ese ngulo?
Mirando la grca de la funcin seno vemos que existen en general distintos ngulos que tienen el
mismo valor de seno. Signica que existen distintas ramas de funcin inversa. Por convencin vamos
a elegir la rama que permita trabajar con ngulos del primer cuadrante. Esta eleccin se llama

principal,

rama

y es la que van a encontrar en calculadoras y en GeoGebra.

En la clase de integracin van a encontrar una presentacin similar para las funciones inversas del
coseno y de la tangente. Las preguntas que se discuten all son:
si conocemos en coseno de un ngulo, cul ser ese ngulo?
si conocemos la tangente de un ngulo, cul ser ese ngulo?

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

Funcin arco seno. La


x=

funcin inversa del seno se llama

arcsen(y). Su nombre se reere al

distintosx tales que sen

x = y,

arco x

arco seno.

(o ngulo) tal que sen

Si

x = y.

y =

sen

x,

214

se la anota

Como en realidad existen

para denir la funcin arco seno es necesario hacer restricciones.

Como vimos en el ejemplo 5.2.23, la funcin

y=

puede invertir (vean su grca). No podemos despejar

x restringida al intervalo x [/2, /2] se


x algebraicamente de la ecuacin y = sen x, pero

sen

la funcin inversa existe. Para pensarla deben recordar el grco, y para dar valores precisos debern
recurrir a la calculadora.
Se dene la rama principal del arco seno como
arcsen

: [1, 1] [/2, /2];

arcsen(y)

=x

siempre que

y = sen(x)

Su grca resulta

Como la funcin

x =arcsen(y)

y = sen(x) es derivable, con derivada distinta


(1, 1). La derivada se calcula as:

de cero, en

(/2, /2),

la funcin

es derivable en

arcsen

(y) = 1/sen0 (x) = 1/ cos(x)

y recurrimos a la relacin de Pitgoras, sen2 (x) + cos2 (x) = 1


p
para despejar cos(x) =
1 sen2 (x); como nos restringimos a x (/2, /2) (primer y cuarto
cuadrante) sabemos que el coseno es positivo y corresponde usar
p
cos(x) = + 1 sen2 (x)
Para expresar el resultado en funcin de

Volviendo a la derivada del arco seno,


arcsen
Finalmente, como sen(x)

(y) = 1/

p
1 sen2 (x)

= y,
0

arcsen

(y) = 1/

p
1 y2

Este resultado es muy interesante: permite calcular la derivada de la funcin arco seno, cuya frmula
no es algebraica, como una expresin algebraica. Deben agregarlo a la tabla de derivadas de funciones
conocidas.

Inversas de las funciones hiperblicas


Para completar esta clase, vamos a repasar la funcin seno hiperblico y presentar su inversa (es
oportuno que revisen el nal de la Clase 1.5).
En la clase de integracin, para que tengan el material completo, haremos lo mismo con las funciones
coseno y tangente hiperblicas.

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

215

Funcin argumento seno hiperblico. Comencemos con la grca de la funcin y = senh(x)


(ex ex )/2

La funcin es derivable, con senh

(y) =

cosh(y)

> 0 en todo el eje real. Es decir, es creciente en


5
argumento seno hiperblico. Cuando se conoce
argumento y de la funcin seno hiperblico.

todo su dominio. Existe la funcin inversa, que se llama


un valor de senh(y), la funcin inversa nos da el

Se dene el argumento seno hiperblico como


argsenh

: (, +) (, +);

argsenh(x)

=y

siempre que

x = senh(y)

Su grca resulta

y = senh(x) dibujada ms arriba,


x arbitrariamente grande:
lmx+ arcsenh(x) = + y lmx arcsenh(x) =
Si observan la grca de

vern que a

arbitrariamente grande

se corresponde con un

En consecuencia, esta funcin no tiene asntotas horizontales.

Actividad

5.2.24. Calculen la derivada de la funcin

de la derivada del arco seno, y

x = argsenh(y). Si se guan por elejemplo


usando que cosh x senh x = 1, deben llegar a
p
0
argsenh (y) = 1/
1 + y2
2

0 (y), no se las confundan!). Agreguen este resultado a la tabla

(observen el parecido con arcsen


de derivadas.

5.2.4. Ejercicios
Ejercicio

5.2.1. Consideremos la funcin

f (x) = x3 + 3x.

Vericar que se cumplen en todo punto las condiciones para que

x = g(y).
Calcular f (0), f (1), f (1).
5

Tambin pueden encontrarla como arco seno hiperblico.

y = f (x)

tenga inversa

CLASE 5.2. FUNCIONES INVERSAS. INVERSAS TRIGONOMTRICAS E HIPERBLICAS.

g(4), g(0), g(4).


g 0 (4) , g 0 (0), g 0 (4).
Graquen f e interpreten los resultados

216

Calcular
Calcular

Ejercicio


1 0

(5).

5.2.2. Supongamos

f (x)

obtenidos para

g0.

derivable y montona. Si

f (4) = 5

f 0 (4) = 2/3,

hallar

Hagan un grco esquemtico con la informacin de este ejercicio.

Ejercicio

5.2.3. Hallen los mayores intervalos donde la funcin y = f (x) admite una funcin
1 (y) y hallen una expresin para su derivada. De ser
x = f 1 (y), determinen
el dominio de f
0
1
posible expresen f
(y) en trminos de y .
3
(a) f (x) = (x + 1) + 2;
(b) f (x) = x4 2x2 ;
(c)f (x) = ln(x 3).
inversa

Ejercicio

5.2.4. Hallen

jando efectivamente

(a)f (x) =

x1
;
x

Ejercicio

0
f 1 (0)

como funcin de

(b) f (x) =

5.2.5. Sea

de dos maneras: como derivada de la funcin inversa y despe-

y.

1
8.
x3

f (x) = 2x + cos x.

Prueben que admite inversa en toda la recta y hallen su

derivada.
Graquen e interpreten.

y = f (x) = x3 + 6x2 9x + 3,
(a) Comprobar que (x, y) = (2, 1) pertenece a la grca de f .
(a) Hallar el mayor intervalo donde la funcin y = f (x) admite una funcin inversa x = f 1 (y) tal que
f 1 (1) = 2.
1 (y) denida en el inciso anterior?
(b) Cul es el dominio
y el codominio de la funcin f

0
(c) Calcular f 1 (1).

(a)

Ejercicio

5.2.6. Dada la funcin

Ejercicio

5.2.7. Las funciones homogrcas son invertibles. Analizar el caso

Analizando la continuidad y el crecimiento de

f (x),

2x + 1
x2
x = f 1 (y)

y = f (x) =

determinar las posibles ramas de

y dar la expresin de sus derivadas.

(b)

y , dar la forma explcita de la funcin inversa y vericar la derivada


(a).
y = f (x) y x = f 1 (y). Vericar que los grcos muestran la simetra caracterstica de

Despejando

en funcin de

obtenida en el inciso

(c)

Gracar

funciones inversas.

Desafo (para pensar ms)

5.2.8. Graquen cada situacin y respondan, justicando, cada

pregunta.
Si

f (x)

es una funcin par, existe

Supongamos

f (x)

f 1 (x)?

invertible en toda la recta real. Es posible que

f = f 1 ?

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Clase 5.3. Actividades de Integracin: exponenciales, logaritmos, arcos trigonomtricos


y argumentos hiperblicos.
Contenidos de la clase: Revisin de exponencial y logaritmo naturales como funciones
inversas. Exponencial y logaritmo de base

b > 0.

Inversas de funciones trigonomtricas e hiperblicas. Ejercitacin.


Aprovechando que la funcin logaritmo es la inversa de la funcin exponencial (como repasamos
en la Unidad 1), esta clase de integracin est dedicada a varios aspectos del uso de exponenciales y
logaritmos, en base natural

y en otras bases distintas.

Luego completamos las inversas de funciones trigonomtricas e hiperblicas, siguiendo el modelo


ya visto con el arco seno y el argumento seno hiperblico.

5.3.1. Exponencial y logaritmo naturales


Recordemos que todava no denimos rigurosamente la funcin exponencial natural, ni la funcin
logaritmo natural. Hemos trabajado con ellas a partir de sus grcas, y el uso de calculadoras. S
hemos insistido en la Unidad 1 que estas funciones son una inversa de la otra. Tambin repasamos sus
principales propiedades.
Para no demorar el uso de estas funciones tan importantes en Ciencias preferimos, como se hace
en el colegio secundario y como insisten algunos libros universitarios modernos, trabajar con la funcin
exponencial antes de denirla rigurosamente. Por eso las hemos repasado en la Unidad 1 trabajando
sus principales propiedades.
En esta clase de integracin vamos a aceptar la funcin exponencial natural y sus propiedades, y
analizar con ms cuidado la denicin del logaritmo natural como funcin inversa de la exponencial
natural. Lo mismo podemos hacer con base

probar

Unidad 1, aunque ahora podemos

Actividad
su derivada es

b 6= e.

Algunos enunciados parecen repetidos con los de la

ciertas propiedades que antes slo habamos enunciado.

5.3.1. Aceptemos que la funcin exponencial natural

exp0 (y) = exp(y)

x = exp(y) es derivable, y que

(repasen su grca en la Clase 1.5).

Repasemos la denicin de la funcin logaritmo natural como inversa de la exponencial:

ln : (0, +) (, +);

y = ln(x)

siempre que

exp(y) = x

Estudiando si la exponencial es biyectiva, prueben que esta denicin tiene sentido y es la


nica rama inversa posible.
Prueben que

y = ln(x)

es derivable en todo su dominio.

Usando la frmula de derivacin de la funcin inversa, prueben que

ln0 (x) = 1/x


(esto justica la regla de derivacin enunciada en la Unidad 3)
Prueben que

y = ln(x)

es creciente en todo su dominio.

5.3.2. Funcin exponencial de base b


A partir de las funciones exponencial y logaritmo naturales, que ya damos por conocidas, podemos
escribir una denicin fundamentada del clculo de una exponencial con otras bases (repetimos aqu
las deniciones 1.5.25 y 1.5.27):

Dado un nmero real b positivo, y un nmero real x cualquiera, se dene la


exponencial de base b como
expb (x) = ex ln b
Por sus propiedades, se usa notacin de potencias escribiendo expb (x) bx . En este sentido nos
podemos referir a b como base y a x como exponente.

Definicin

5.3.2.

Adems de las propiedades de clculo que vimos en la Unidad 1, podemos a analizar


funcin:

bx

como

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Actividad

y = bx ,

5.3.3. Consideren la funcin

con una base

b>0

ja y

como variable.

x
x
Cul es el dominio de y = b ? Cul es la imagen de y = b ?
x
Prueben que la funcin y = b es derivable en todo su dominio, y calculen su derivada
(sugerencia: usen funciones conocidas y la regla de la cadena).
Recuerden agregar en la tabla de derivadas

(bx )0 = (ln b)bx

, o bien recuerden que se puede

x
escribir escribir b

= ex ln b y luego derivar usando la regla de la cadena.


x 0
x
Estudien el signo de (b ) . Si 0 < b < 1, cmo es el crecimiento de b ? Si
x
el crecimiento de b ? y si b = 1?
y = bx = e(ln b)x

Interpreten

y=

cmo es

como una transformacin de escala de la funcin exponencial

natural. cmo es la grca de


de

b > 1,

y = bx para distintos
0 < b < 1?

valores de

b > 1?

cmo es la grca

bx para distintos valores de

5.3.3. Derivacin de

xr

con r real

Veamos otra aplicacin importante de exponenciales de base distinta de la base natural. Tomemos
la base como variable

y el exponente jo, y tendremos una funcin

y = f (x) = xr
La expresin est bien denida, como vimos, para base
algebraicas siempre que

Actividad

x > 0.

Adems, coincide con las potencias

lo permita (natural, entero, racional).

5.3.4. Estudiemos la funcin

f (x) = xr ,

con

real jo. Es decir,

f (x) = er ln(x) .

Indiquen su dominio.
Indiquen si es derivable respecto de

x.

Calculen la derivada y comprueben que

(xr )0 = r xr1

Indiquen si es continua.

r, indiquen si la funcin es creciente, decreciente o constante.


f (x) = xr para varios valores de r. Comparen las grcas.

Segn el valor de
Graquen

5.3.4. Funcin logaritmo de base b.


x = expb (y) = by . Recordemos (actividad 5.3.3) que
0 < b < 1 o cuando b > 1, pero no lo es cuando b = 1

Intentemos hallar una funcin inversa para

expb : R (0, +) es biyectiva cuando


y
(x = 1 = 1 es una funcin constante, no es inyectiva). Recordemos (Unidad 1)
logaritmo de base b, como inversa de la exponencial de base b, para b > 0 y b 6= 1:
logb : (0, +) R;
Actividad

Ejercicio

logb (x) = y

siempre que

5.3.5. Calculen, como funcin inversa, la derivada de

la denicin del

x = by
y = logb (x).

5.3.1. Calcular el dominio natural y las funciones derivadas de las siguientes funciones.

(a) f (x) = x2 + 1

x

(b)f (x) = xsen x ;

(c)f (x) = x2 1

x

(d)f (x) = log3 (2x 1).

5.3.5. Ms funciones inversas


Esta seccin es "enciclopdica": les presentamos como referencia las inversas de las funciones coseno,
tangente, coseno hiperblico y tangente hiperblica. Si no llegan a verlas ahora, recuerden que este es
el lugar en nuestra gua donde pueden consultarlas. Por otro lado, para que se acostumbren a jugar con
las letras, escribimos las funciones que vamos a invertir como
quedan escritas como

x = f (y).

De esta manera, las inversas

y = f 1 (x).

Luego les proponemos algunos ejercicios variados (derivadas, recta tangente, lmites, etc.) donde
se trabaja con estas funciones.

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Funcin arco coseno. Comencemos con la grca de la funcin x = cos(y):

La restriccin que marcamos incluye el primer cuadrante, y el mayor intervalo en que


se mantiene decreciente, es decir
arccos

y [0, ].

x = cos(y)

Permite denir la rama principal del arco coseno como

: [1, 1] [0, ];

arccos(x)

=y

siempre que

x = cos(y)

Su grca resulta

x = cos(y) es derivable, con derivada distinta de cero, en (0, ), la funcin arccos(x)


(1, 1). La derivada se calcula as:

Como la funcin
es derivable en

arccos

(x) = 1/cos0 (y)

Trabajen este resultado hasta llegar a la frmula prctica

arccos

(x) = 1/

p
1 x2

Como sucede con la derivada del arco seno, la funcin derivada del arco coseno se expresa con

0 (x); esto se debe a que las grcas


0
de seno y coseno se relacionan por traslacin. No olviden agregar arccos (x) a la tabla de derivadas de

una frmula algebraica. Adems, es muy parecida a la de arcsen


funciones conocidas.

Funcin arco tangente. Comencemos con la grca de la funcin x = tan(y):

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

La restriccin que marcamos incluye el primer cuadrante, y el mayor intervalo en que


mantiene creciente, es decir

y (/2, /2).

La imagen de la funcin

tan(y)

x = tan(y) se

en este intervalo resulta

ser todo el eje real. Entonces se puede denir la rama principal del arco tangente como
arctan

: (, +) (/2, /2);

arctan(x)

=y

siempre que

x = tan(y)

Su grca resulta

x = tan(y) es derivable, con derivada distinta de cero, en (/2, /2),


es derivable en todo el eje real. La derivada se calcula con la regla:

Como la funcin
arctan(x)

arctan

la funcin

(x) = 1/ tan0 (y)

Trabajen este resultado hasta llegar a la frmula prctica

arctan

(x) =

cos2 x + sin2 x = 1 dividan ambos miembros


2
2
pueden escribir cos x = 1/(1 + tan x).)

(ayuda: a partir de la relacin pitagrica


obtener

1+

tan2 x

1/ cos2 x. Luego

1
1 + x2
por

cos2 x

para

Es interesante destacar que, aunque no tenemos una expresin algebraica para arctan(x), para la
funcin derivada tenemos una expresin racional (un sencillo cociente de polinomios). Agreguen esta
frmula a la tabla de derivadas.
Recuerden que arctan(x) es derivable en todo el eje real, y que su derivada es siempre positiva.
Si bien arctan(x) es siempre creciente, no tiende a

+: existe lmx+ arctan(x) = /2. Tambin


lmx arctan(x) = /2 (para justicar estos lmites, analicen las asntotas verticales de
x = tan y ). En consecuencia, posee dos asntotas horizontales: y = /2 e y = /2.

existe

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Ejercicio

5.3.2. Graquen las funciones trigonomtricas inversas junto con sus derivadas y sus

derivadas segundas. Observen las regiones de crecimiento y de concavidad, en relacin con el signo de
las derivadas.

Funcin argumento coseno hiperblico. Completemos ahora las inversas de las funciones trigonomtricas hiperblicas. Comenzamos con la grca de la funcin

x = cosh(y) (ey +ey )/2 (atencin,

aunque les parezca, no es una parbola):

La funcin es derivable, con cosh

(0, +),
[1, +). En

en

(y) =

senh(y) en todo el eje real. Esta derivada es positiva

por lo que cosh(y) es creciente en

[0, +).

Adems, la imagen de este intervalo resulta

consecuencia tenemos una restriccin biyectiva que permite denir la rama principal del

argumento coseno hiperblico como


argcosh

: [1, +) [0, +);

argcosh(x)

=y

siempre que

x = cosh(y)

Su grca resulta

Ejercicio

5.3.3. Calculen la derivada de la funcin argcosh(x). Deben llegar a

argcosh

(x) = 1/

p
x2 1

(observen el parecido con la derivada de arccos(x), no se las confundan!). Agreguen este resultado a la
tabla de derivadas.

Funcin argumento tangente hiperblico. La

x = tanh(y) senh(y)/cosh(y) est


(1, 1). Les dejamos como ejercicio denir y

funcin

denida en todo el eje real, y su imagen es el intervalo

analizar su funcin inversa, llamada argumento tangente hiperblico.

Ejercicio

5.3.4. Graquen la funcin

x =

tanh(y). Siguiendo el modelo de las otras funciones

"arco" y "argumento",
Indiquen su dominio y su imagen. Indiquensus asntotas.

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Calculen su derivada.
Identiquen la mayor regin de crecimiento posible.
Denan el argumento tangente hiperblico como inversa de la tangente hiperblica.
Construyan la grca del argumento tangente hiperblico (mostrada ms abajo).
Hallen su derivada, hasta llegar a la expresin
argtanh

(x) =

1
,
1 x2

en el intervalo

(1, 1)

Ejercitacin con inversas trigonomtricas e hiperblicas.


En los siguientes ejercicios proponemos trabajar lo que hemos aprendido en las unidades anteriores
en situaciones que involucran funciones trigonomtricas e hiperblicas inversas.

Ejercicio

5.3.5.

arc cos 0, arc cos 22 , arc sen 1, arc sen 21 , arctan 3.


qu si tan = 0, no es trivialmente cierto que arctan 0 = ?

Calculen
Por

2
2 .

Ejercicio

5.3.6. Escriban la ecuacin de la recta tangente a

Ejercicio

5.3.7. Determinen el dominio natural de cada funcin. Hallen una frmula para su

f (x) = arc sen x

en el punto

x=

derivada e indiquen el dominio de la misma.

(a) f (x) = arcsen(2x);


(d)f (x) = ln(arctan x),
Ejercicio

(b) f (x) = arcsen x + x 1 x2 ;


(c)f (x) = arc cos(ex );
(e) f (x) = argtanh(x/2),
(f )g(x) = 2x + argcosh(x + 1).

5.3.8. Hallen los extremos locales de la funcin

f (x) = arc sen x 2x

en su dominio

natural. Algn extremo es absoluto? Justiquen la respuesta.

Ejercicio 5.3.9
 .

(a) lm arctan
x+

(b)

Calculen los siguientes lmites:

x+1
x


;


(b) lm arctan
x+

x2 + 1
x


;

(c) lm arctan
x0

x2 + 1
x


.

Alguna de estas funciones posee asntota horizontal, o vertical? De ser as, dibujen las asntotas y

escriban sus ecuaciones.

Ejercicio

5.3.10. Graquen la funcin

f (x) = arctan(x2 ),

analizando todas las caractersticas de

la funcin (hagan un anlisis cualitativo completo, como discutimos en la Clase 4.3).

CLASE 5.3. ACTIVIDADES DE INTEGRACIN: EXPONENCIALES, LOGARITMOS, ARCOS TRIGONOMTRICOS Y ARGUMENTOS

Observacin

5.3.6. Por completitud, antes de terminar esta Unidad queremos mencionar al-

gunas formas de denir con precisin y formalidad las funciones exponencial y logaritmo.
Existen varias formas distintas (todas equivalentes entre s) de denir la funcin exponencial
natural

exp : R (0, +),

y luego se puede denir la funcin logaritmo como su inversa. Todas

estas formas involucran lmites, y su estudio riguroso se puede hacer recin despus de un curso de
Anlisis Matemtico. Para satisfacer la curiosidad, una denicin posible es la siguiente: dado un

x, se construye la sucesin asociada an = (1 + x/n)n , con n natural; se prueba que


existe l
mn an y da un valor real nito (es un lmite muy delicado, se multiplica n veces por s
mismo un nmero que, para n grande, se hace arbitrariamente cercano a 1). Entonces,

nmero real

exp(x) = lm (1 + x/n)n
n

Noten que la construccin de la sucesin


el lmite para

an

es algebraica, involucra sumas, productos y cocientes;

hace el resto. En nuestro curso, esta denicin no nos resulta manejable y no

nos sirve en la prctica para calcular la exponencial o probar sus propiedades.


Tambin es posible denir primero el logaritmo natural mediante

integrales,

y luego denir la

funcin exponencial natural como su inversa. Este camino tambin requiere un curso de Anlisis
Matemtico completo. Les contaremos ms al nal de este curso, despus de estudiar integrales.