Anlisis Matemtico I CIBEX

Facultad de Ciencias Exactas

Universidad Nacional de La Plata

Mdulo 7: Funciones inversas

2016
 MDULO 7

Funciones inversas
Contenidos del Mdulo 7: Funciones inyectivas, suryectivas y biyectivas. Funciones in-
versas. Inversas trigonomtricas e hiperblicas. Derivada de la funcin inversa. Uso de
inversas trigonomtricas e hiperblicas como primitivas de funciones algebraicas.

En este mdulo vamos a introducir funciones nuevas, construidas como inversas de funciones co-
nocidas. Podremos calcular sus derivadas, que en casos importantes resultan funciones sencillas; como
consecuencia, obtendremos nuevas frmulas para calcular primitivas.

7.1. Funciones Inversas

Contenidos: Funciones inyectivas, suryectivas y biyectivas. Funciones inversas. Inversas

trigonomtricas e hiperblicas.

7.1.1. Nocin de funcin inversa

En algunas ocasiones, cuando trabajamos con una funcin, surge la necesidad de averiguar con qu
valor de la variable independiente se obtiene cierto resultado.

Ejemplo 7.1.1. Se plantea un problema con un tringulo rectngulo, con uno de sus ngulos
agudos llamado . Se sabe que el cateto opuesto a ese ngulo mide 2 cm y que la hipotenusa mide
4 cm, y se necesita calcular el ngulo .
Con estos datos podemos construir el valor de la funcin seno,
1
sen() =
2
La pregunta que nos interesa es cunto debera valer la variable para que su seno valga 1/2? En
cierto sentido, necesitamos "despejar" el valor de .

Observamos en la grca que existen muchos valores de cuyo seno vale 1/2; la pregunta debe
responderse con cuidado.

Este tipo de situacin nos lleva a las llamadas funciones inversas : dada una funcin y = f (x) que
expresa una variable dependiente y en funcin de una variable independiente x, nos preguntamos si
podemos cambiar los roles de las variables para expresar x en funcin de y . Si la respuesta es armativa,
1
Mdulo 7: Funciones inversas 7.1
y si a cada valor de y en cierto rango le corresponde uno y solo uno de x, tenemos una funcin inversa
x = f 1 (y). Veamos algunos ejemplos, antes de formalizar estos conceptos.

Ejemplo 7.1.2. Comencemos con una funcin sencilla: y = f (x) = x/3+2, donde x es la variable
independiente e y es la variable dependiente. En primer lugar conviene identicar el dominio y la
imagen de esta funcin: siendo su grca una recta, el dominio natural es (, +) y la imagen
es (, +). Vamos a anotar la descripcin completa de la funcin as:
f : (, +) (, +)
que a x le asigna y = x/3 + 2
(la ltima lnea es una forma explcita de decir que y = f (x)).

Para construir una funcin inversa, intentamos asignar a cada valor y de la imagen de f un valor
de x en el dominio de f . Grcamente, trazamos una recta horizontal a la altura y , buscamos su
interseccin con la grca y encontramos el correspondiente valor de x.
En este caso podemos despejar x sin dicultad: si y = x/3 + 2, entonces
x/3 = y 2
x = 3y 6
Como a cada y le corresponde un y slo un valor de x, esta relacin tiene forma de funcin, con
y como variable independiente; los valores de y tienen dominio (, +) y los resultados de x
forman una imagen (, +). Tenemos una funcin inversa que podemos anotar
f 1 : (, +) (, +)
que a y le asigna x = 3y 6
y se lee "funcin inversa de f , con dominio (, +) y codominio (, +), que a cada y le
asigna un valor x = 3y 6".

Ejemplo 7.1.3. Sigamos con otra funcin sencilla: y = f (x) = x2 .

El dominio de esta funcin es (, +), y su imagen es [0, +). Tomemos esta imagen como
codominio, y anotemos esta informacin escribiendo

f : (, +) [0, +)
que a x le asigna y = x2
2
Mdulo 7: Funciones inversas 7.1

Para asignar un valor x a cada y de la imagen de g , como en el ejemplo anterior, trazamos una recta
horizontal a la altura y y buscamos su interseccin con la grca. Encontramos en este caso una
dicultad: para cada y > 0, hay dos valores de x. Tambin podemos despejar x: si y = x2 , entonces

x= y
Como sabemos, esta relacin no dene una funcin, porque a cada valor positivo de y le corresponden
dos valores de x.
Si insistimos en construir una funcin (como hicimos al denir la funcin x) tenemos que
tomar una decisin y determinar con cul de los resultados nos vamos a quedar. En ese caso se dice
que elegimos una rama de funcin inversa.

Ejemplo 7.1.4. En tercer lugar analicemos la funcin y = f (x) = 3x x3 , con dominio

(, +) e imagen (, +):
f : (, +) (, +)
que a x le asigna y = 3x x3

No hay forma de despejar x a partir de la relacin y = 3x x3 . Sin embargo podemos razonar

grcamente: notamos que segn el valor de y pueden corresponder uno, dos o tres valores distintos
de x. Claramente esta relacin no dene a x como funcin de y .
Para construir una rama de funcin inversa, deberamos especicar tanto el rango de valores de
y que vamos a considerar (es decir, el dominio de la funcin inversa), y cul de los posibles valores
de x elegir (lo que determina la imagen de la funcin inversa).

Estos ejemplos ilustran las dicultades que se enfrentan al intentar construir una funcin inversa
de cierta funcin y = f (x). Destacamos dos caractersticas:
las grcas permiten ver que a cada valor de y en la imagen de f le corresponden determinados
valores de x, incluso cuando no se los pueda despejar explcitamente.
en general habr que imponer restricciones en los valores que puedan tomar las variables, para
que la relacin inversa sea una verdadera funcin.
Noten que en estos ejemplos y en cualquier otro ser necesario hablar tanto de una funcin como
de su inversa, cambiando el rol de las letras x e y como variable independiente o dependiente, segn
corresponda. Cuando sea conveniente se puede usar una notacin sugestiva que haga evidente el rol
de las variables: sin usar los smbolos f o f 1 , se puede anotar y(x) para escribir y en funcin de x y
x(y) para escribir x en funcin de y .

7.1.2. Restricciones. Funciones inyectivas, suryectivas y biyectivas.

En esta seccin discutimos las condiciones que se deben cumplir para que, dada una funcin
3
Mdulo 7: Funciones inversas 7.1

f: A B
que a x le asigna y = f (x)
sea posible denir una funcin inversa
f 1 : B A
que a y le asigna x = f 1 (y)
Grcamente, sabiendo que f toma cada valor de x en A y le asigna un determinado valor de y en B
(gura izquierda), debemos asegurar que a cada y en B se le pueda asignar un determinado valor x en
A tal que f aplicado a ese x nos devuelva y . Podemos representar esta idea cambiando el sentido de
las echas de asignacin (gura derecha):

Las condiciones para poder denir una funcin inversa f 1 : B A se desprenden de la denicin
de funcin, y son las siguientes:
En primer lugar, es necesario que a cada valor de y en B se le pueda asignar un valor de x:
debe existir algn x en A tal que f (x) = y .
Esto signica que la funcin f : A B que queremos invertir debe tomar todos los valores de su
codominio B . En palabras, la imagen de f debe ccoincidir con el codominio declarado al denir la
funcin. Esta caracterstica se llama suryectividad:
Dada una funcin f : A B , se dice que f es suryectiva cuando Im f = B .

En segundo lugar, es necesario que a cada valor de y en B se le asigne slo un valor de x: no

deben existir x1 y x2 distintos en A tales que f (x1 ) = f (x2 ).
Esto signica que la funcin f : A B no puede tomar dos veces el mismo valor en A. Dicho de otro
modo, que a valores distintos de x en A les deben corresponder valores distintos de y . Esta caracterstica
se llama inyectividad:
Dada una funcin f : A B con regla de asignacin y = f (x), se dice que la funcin es inyectiva
cuando a valores distintos de x A les corresponden valores distintos de y B .
Dicho en palabras, una funcin y = f (x) es inyectiva cuando no hay dos valores distintos de x en
su dominio que tengan el mismo resultado y .

Ejemplo 7.1.5. Retomemos el ejemplo 7.1.3, con la grca vista ms arriba. La parbola ca-
nnica y = x2 tiene como dominio natural todos los reales y como imagen el intervalo [0, +) de
reales no negativos.
Si consideramos la funcin denida como
f: R R
que a x le asigna y = x2
estamos diciendo que el codominio es R. En consecuencia f no es suryectiva: el dominio declarado
R es ms amplio que la imagen [0, +).
4
Mdulo 7: Funciones inversas 7.1

Por otro lado, vemos que la funcin es par: f (x) = (x)2 = x2 = f (x). Como se repite el valor
de y cada vez que tomamos un valor de x y su opuesto x, por ejemplo f (2) = f (2) = 4, f no es
inyectiva.
As denida, esta funcin f no cumple las condiciones para denir una funcin inversa: no es
suryectiva, y tampoco es inyectiva. Si realmente queremos construir una inversa, es necesario aplicar
restricciones al dominio y al codominio.
Es sencillo solucionar el problema de que una funcin no sea suryectiva. Una vez que conocemos
la imagen de f , la usamos como codominio deniendo una nueva funcin
f : R [0, +)
que a x le asigna y = x2
Por construccin, ahora la imagen y el codominio son iguales. A este procedimiento se lo llama
restringir el codominio de f . Noten que al restringir el codominio no perdemos informacin, simple-
mente eliminamos los valores de y que no aparecen en la grca de f .
Tambin podemos solucionar el problema de que una funcin no sea inyectiva: necesitamos
eliminar valores de x, para evitar que haya dos x con el mismo valor de y . En este ejemplo podemos
conservar los x del intervalo [0, +) y descartar los x en el intervalo (, 0), deniendo

f : [0, +) [0, +)
que a x le asigna y = x2
A este procedimiento se lo llama restringir el dominio de f . Noten que al restringir el dominio
perdemos informacin, porque eliminamos puntos de la grca de f .
La grca de la funcin restringida, marcando el dominio y el codominio, es

La funcin f , tal como la hemos restringido, resulta suryectiva y tambin inyectiva. Se puede
construir una inversa
(f )1 : [0, +) [0, +)

que a y le asigna x= y
La grca de la funcin inversa es bien conocida,

Si hubiramos elegido otra restriccin del dominio de f tendramos otra rama de la funcin
inversa con distinta regla de asignacin. Por ejemplo, eligiendo x (, 0], la regla de asignacin

sera x = y . Esta segunda eleccin contiene la informacin que perdimos en la primera.

5
Mdulo 7: Funciones inversas 7.1
Este ejemplo nos aclara dos puntos importantes sobre la suryectividad. 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 dada
una funcin con regla de asignacin y = f (x) siempre podemos construir otra funcin con la misma
frmula que sea suryectiva: debemos averiguar cul es su imagen, y luego restringir su codominio
descartando los valores de y que nunca aparezcan como resultado de evaluar f (x). En esta restriccin
no se pierde informacin.
Igualmente, este ejemplo nos aclara dos puntos importantes sobre la inyectividad. Primero, que para
discutir si una funcin es inyectiva no basta conocer su frmula, sino que debemos tener claro cul es su
dominio. Segundo, que dada una funcin con regla de asignacin y = f (x) siempre es posible construir
otra funcin con la misma frmula que sea inyectiva: tenemos que restringir su dominio conservando
un solo valor de x para cada resultado y que aparezca en la imagen de f . Sin embargo, restringir el
dominio tiene un costo evidente: se pierde informacin, porque hay regiones del eje x que quedan fuera
de consideracin. 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
conserve el rango de la variable que intentamos describir.
Las funciones f , f y f que discutimos en el ejemplo son funciones distintas : tienen la misma
frmula, pero distinto dominio. Para aliviar la notacin, en general no usaremos tantos smbolos para
distinguir una funcin original f y sus versiones restringidas. En cambio, usaremos la forma f : A B ,
con la misma letra f pero aclarando siempre el dominio y codominio elegidos.
Las condiciones de suryectividad y de inyectividad son ambas necesarias para construir una funcin
inversa. Para referirse a las dos se dene la biyectividad :
Dada una funcin f : A B , se dice que la funcin es biyectiva cuando es inyectiva y suryectiva
a la vez.
7.1.3. Denicin de funcin inversa

Cuando una funcin f : A B con frmula y = f (x) es biyectiva se cumplen las condiciones para
construir una funcin inversa: se verica que cada valor de y en el conjunto B aparece como imagen de
un y slo un valor x del conjunto A. Se dice que hay una correspondencia biunvoca entre los conjuntos
A y B : a cada elemento de A le corresponde un y slo un elemento de B , a la vez que a cada elemento
de B le corresponde un y slo un elemento de A.
Con lo que hemos discutido estamos en condiciones de denir:
Cuando una funcin f : A B biyectiva, se dice que es invertible. Dada
f: A B
que a x le asigna y = f (x)
su funcin inversa se dene como
f 1 : B A
que a y le asigna x = f 1 (y) tal que f (x) = y
En esta denicin, el dominio de f pasa a ser la imagen de f 1 y la imagen de f pasa a ser el
dominio de f 1 .
Noten que la funcin compuesta f 1 (f (x)) est denida con dominio A: a cada x en A, f le asigna
un y en B, y luego a ese y f 1 le vuelve a asignar el x original,
f 1 (f (x)) = x para todo x A
En este sentido, tenemos un juego de ida y vuelta. Una funcin f : A B biyectiva se puede gracar
junto con su inversa f 1 : B A como una sola curva, con echas que indiquen la relacin en
ambos sentidos. Por ejemplo, juntando las grcas mostradas al comienzo de la seccin 7.1.2, podemos
gracar:

6
Mdulo 7: Funciones inversas 7.1

Para destacar el rol de y como variable independiente de la funcin inversa x = f 1 (y) es usual
"enderezar" su grca poniendo la variable independiente y como eje horizontal, y la variable depen-
diente x como eje vertical. Podemos imaginar la grca anterior dibujada en papel de calcar, dar vuelta
la hoja y acomodar los ejes. Las grcas de la funcin original y de la funcin inversa, por separado y
cada una con sus echas, se ven as:

Al intercambiar los ejes, la grca de la funcin inversa aparece reejada respecto de la recta y = x
(bisectriz del primer y tercer cuadrantes). Noten que, cuando f (x0 ) = y0 , entonces f 1 (y0 ) = x0 :
el punto (x0 , y0 ) en la grca izquierda tiene el mismo signicado que el punto (y0 , x0 ) en la grca
derecha.

Observacin: la funcin f 1 que hemos denido es biyectiva, y por lo tanto existe su inversa.
Pueden vericar, usando la denicin, que la inversa de f 1 es la funcin f original. Por eso,
f (f 1 (y)) = y para todo y B

Observacin: una vez construida la funcin inversa, en ocasiones querremos usar la letra x como
variable independiente. El propsito es tratar a la funcin inversa como a cualquier funcin, donde
estamos acostumbrados a escribir x como variable. En esos casos se puede intercambiar las letras y
escribir y = f 1 (x); sin embargo, esto es un motivo frecuente de confusin al estudiar inversas.
En este Mdulo vamos a mantener en general la notacin x = f 1 (y) para recordar que hemos
invertido una funcin y = f (x) (y les avisaremos cuando por conveniencia cambiemos la notacin).

7
Mdulo 7: Funciones inversas 7.1
7.1.4. Condiciones prcticas para determinar una rama de funcin inversa

Hemos visto que una funcin f : A B biyectiva tiene funcin inversa. Si llamamos y = f (x),
tiene sentido hablar de x = f 1 (y) incluso cuando no podamos despejar explcitamente una expresin
para calcular x.

Volvamos a considerar ahora funciones que no son biyectivas. El recurso que siempre tenemos
para construir una funcin inversa es modicar primero la funcin original, restringiendo su dominio
y codominio adecuadamente hasta tener una versin que s sea biyectiva. Segn la restriccin elegida,
se conserva solamente una parte de la grca de la funcin original; asociada a esa parte biyectiva de
la grca se obtiene una rama de funcin inversa. Para que un tramo de la grca de f represente una
restriccin biyectiva necesitamos que sea a la vez inyectiva (es decir que no repita valores en todo el
dominio elegido) y suryectiva (es decir, que alcance todos los valores del codominio elegido).

Ejemplo 7.1.6. Veamos grcamente cmo buscar un tramo donde una funcin sea invertible.
Consideremos una funcin continua
f: R R
que a x le asigna y = f (x)
con un grco

y supongamos que nos interesa trabajar con un tramo que incluya el punto (x0 , y0 ). Viendo que la
grca muestra extremos en x = a y x = b, hagamos una restriccin descartando valores de x a la
izquierda de a y a la derecha de b, para que f no repita valores (es decir, que sea inyectiva). La
imagen del intervalo [a, b] en el eje x resulta el intervalo [c, d] en el eje y ; entonces, hagamos una
restriccin del codominio al intervalo [c, d]. La funcin restringida
f : [a, b] [c, d]
que a x le asigna y = f (x)
se observa continua y decreciente en [a, b]; por eso resulta biyectiva, y tiene sentido buscar su inversa.

El ejemplo ilustra grcamente la bsqueda de restricciones biyectivas de una funcin. Queda

pendiente la pregunta: si no conocemos el grco cmo ubicamos una restriccin de una funcin
y = f (x) que resulte biyectiva?

Podemos aprovechar lo que aprendimos de crecimiento, para seleccionar un tramo de la grca de

una funcin de forma que resulte inyectiva. De la nocin de crecimiento en intervalos se desprende la
siguiente propiedad:
8
Mdulo 7: Funciones inversas 7.1
Sea una funcin f : D R y un intervalo A incluido en el dominio D.
Si la funcin f es estrictamente montona en A (es decir, estrictamente creciente o estrictamente
decreciente en A), entonces la restriccin
f: A R
que a x le asigna y = f (x)
es una funcin inyectiva.
Una vez restringido el dominio, para estudiar la suryectividad de una funcin f : A R hay que
determinar su imagen.
Conviene mencionar primero el caso en que el dominio A es un intervalo cerrado [a, b]. Si f es
continua en [a, b], por el Teorema del Valor Extremo sabemos que alcanza un mnimo absoluto m y
un mximo absoluto M . Adems, por el Teorema del Valor Intermedio, sabemos que f toma todos los
valores entre el mnimo y el mximo. En consecuencia la imagen es el intervalo [m, M ].
Si una funcin f con regla de asignacin y = f (x) es continua en un intervalo [a, b], entonces la
restriccin del codominio al intervalo [m, M ] determinado por el mnimo y el mximo absolutos
f : [a, b] [m, M ]
que a x le asigna y = f (x)
es una funcin suryectiva.
Si adems f es estrictamente montona en [a, b], los extremos absolutos se alcanzan en los bordes
del intervalo [a, b]. Como regla prctica podemos combinar estas propiedades en la siguiente:
Si una funcin f con regla de asignacin y = f (x) es continua y estrictamente montona en
un intervalo [a, b], entonces la restriccin del codominio al intervalo [m, M ] determinado por el
mnimo y el mximo absolutos
f : [a, b] [m, M ]
que a x le asigna y = f (x)
es una funcin biyectiva.
Cuando f es estrictamente montona en un intervalo A abierto o semiabierto, la determinacin de
la imagen debe hacerse con ms cuidado: en los bordes abiertos se deben calcular los lmites laterales.
No parece conveniente dar reglas generales, sino analizar caso por caso.
Estas propiedades permiten determinar restricciones para que una funcin y = f (x) sea biyectiva.
En ese caso arman que la funcin inversa existe, pero no arman que se pueda despejar algebraica-
mente y en funcin de x. Es importante reconocer que la funcin inversa existe, aunque no podamos
despejar su frmula.
7.1.5. Inversas de las funciones trigonomtricas

Entre las funciones inversas de uso ms frecuente estn las inversas del seno, el coseno y la tangente.
Las veremos en detalle, aplicando el contenido de las secciones anteriores. Dado que las funciones
trigonomtricas se aplican a ngulos, y sus resultados son nmeros (sin unidades) nos parece conveniente
en esta presentacin usar la letra griega para anotar ngulos y la letra x para anotar el resultado de
las distintas funciones trigonomtricas.
Funcin arco seno.
La funcin inversa del seno, con las debidas restricciones, se llama arco seno. Si llamamos x = sen ,
la funcin inversa arco seno se anota = arcsen(x). Su nombre se reere al arco (o ngulo) tal que
sen = x.
Conocemos la funcin x = sen y sabemos que no es inyectiva: dado un valor de x existen distintos
tales que sen = x. Para denir la funcin arco seno es necesario hacer restricciones: necesitamos
un intervalo de ngulos donde la funcin x = sen sea inyectiva, y para eso basta con seleccionar
9
Mdulo 7: Funciones inversas 7.1
un tramo de la grca donde sen sea estrictamente creciente, o bien sea estrictamente decreciente
(es decir, donde la derivada sen0 () = cos mantenga su signo). Para incluir el primer cuadrante, la
eleccin usual es el intervalo [/2, /2], donde la funcin sen es decreciente y su imagen de es
[1, 1].

No podemos despejar algebraicamente de la ecuacin x = sen , pero la funcin inversa existe.

Con estas restricciones se dene la rama principal del arco seno como

arcsen : [1, 1] [/2, /2]

que a x le asigna [/2, /2] tal que sen = x
Su grca, invirtiendo los ejes de la grca de x = sen, resulta

Para trabajar con la funcin arco seno deben primero recordar su grca, y para dar valores num-
ricos debern recurrir a la calculadora (que da valores redondeados a varios decimales). Algunos puntos
ngulos notables, se conocen enforma exacta. Por ejemplo, arcsen(0) = 0
de la grca, asociados a los
porque sen(0) = 0; arcsen( 2/2) = /4 porque sen(/4) = 2/2, etc.

Funcin arco coseno.

La funcin arco coseno es la funcin inversa del coseno, con las debidas restricciones. Comencemos
con la grca de la funcin x = cos :

10
Mdulo 7: Funciones inversas 7.1
donde marcamos la restriccin [0, ] que incluye el primer cuadrante y el mayor intervalo en que
x = cos() se mantiene decreciente (la derivada cos0 () = sen es negativa). Tambin marcamos
la imagen de ese intervalo, x [1, 1]. Estas restricciones permiten denir la rama principal del arco
coseno como

arccos : [1, 1] [0, ]

que a x le asigna [0, ] tal que cos = x
Algunos valores exactos de esta funcin son, por ejemplo: arccos(0) = /2 porque cos(/2) = 0;
arccos(1) = porque cos() = 1; etc.
Su grca completa, obtenida por reexin o generada con computadora, resulta

Funcin arco tangente.

La funcin arco tangente es la inversa de la funcin tangente, con las debidas restricciones. Ya
sabemos cmo proceder: sobre la grca de la funcin x = tan()

elegimos un tramo que incluya el primer cuadrante, tal que la funcin x = tan se mantenga continua
y creciente; la restriccin adecuada es (/2, /2). En este caso se trata de una funcin continua
en un intervalo abierto, por lo que no contamos con el Teorema del Valor Extremo para asegurar un
mnimo y un mximo absolutos. Para encontrar la imagen de x = tan en el intervalo (/2, /2)
tenemos que calcular lmites laterales; como lm/2+ tan = y lm/2 tan = +, la
imagen es (, +) y no es necesario restringir el codominio.
Se dene la rama principal del arco tangente como

arctan : (, +) (/2, /2)

que a x le asigna (/2, /2) tal que tan = x
Su grca resulta

11
Mdulo 7: Funciones inversas 7.1

Observen que, por esta construccin,

lm arctan x = /2 y lm arctan x = +/2
x x+
En consecuencia, la funcin arco tangente posee las dos asntotas horizontales que marcamos con lnea
de puntos : y = /2 hacia la izquierda e y = /2 hacia la derecha
Otras ramas de inversas trigonomtricas.
Las restricciones que hemos usado para denir arco seno, arco coseno y arco tangente son las
usuales, pero no son las nicas posibles. Se las llama ramas principales, y son las que se encuentran en
calculadoras y lenguajes de computacin (en particular en GeoGebra).
Otras ramas posibles darn distintos resultados. Por ejemplo, se puede denir una inversa de x =
cos con codominio [, 2]; o una inversa de la funcin x = tan con codominio (/2, 3/2).
Cuando necesiten invertir una funcin trigonomtrica en un problema especco, bien puede ser que la
solucin buscada caiga fuera del codominio de las ramas principales. En esos casos, si usan calculadora,
habr que encontrar relaciones trigonomtricas entre el resultado de la calculadora y el que necesitan
para el problema.

7.1.6. Inversas de las funciones hiperblicas

Para completar esta clase, vamos a repasar las funciones hiperblicas y presentar sus inversas. En
analoga con las trigonomtricas, usaremos la letra como argumento de las funciones hiperblicas, y
la letra x como resultado.
Funcin argumento seno hiperblico.
Comencemos con la grca de la funcin x = senh() (e e )/2

La funcin es continua y derivable, con senh0 () = cosh() > 0 en todo el eje real. Como es
creciente en todo su dominio R, es inyectiva. Por otro lado,
lm senh() = y lm senh() = +
+
indican que la imagen son todos los reales. Esta funcin es biyectiva sin necesidad de restricciones y
existe la funcin inversa, que se llama1 argumento seno hiperblico.
Se dene el argumento seno hiperblico como
1Tambin pueden encontrarla como arco seno hiperblico.

12
Mdulo 7: Funciones inversas 7.1

argsenh : (, +) (, +)
que a x le asigna tal que senh = x
Cuando se conoce un valor de senh() = x, la funcin inversa nos devuelve el argumento del
seno hiperblico. Su grca resulta

Los lmites de x = senh() calculados ms arriba muestran que arbitrariamente grande se

corresponde con un x arbitrariamente grande. Recprocamente
lm arcsenh(x) = + y lm arcsenh(x) =
x+ x

Esta funcin, a pesar de su apariencia, no tiene asntotas horizontales.

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 continua y derivable, con cosh0 () = senh() en todo el eje real. Esta derivada es
positiva en (0, +), por lo que cosh(y) es creciente en [0, +). Adems, la imagen de este intervalo
resulta [1, +). En consecuencia tenemos una restriccin biyectiva que permite denir la rama principal
del argumento coseno hiperblico como

argcosh : [0, +) [1, +)

que a x le asigna tal que cosh = x
Su grca resulta

13
Mdulo 7: Funciones inversas 7.1
Funcin argumento tangente hiperblica.
La funcin x = tanh() senh()/cosh() est denida en todo el eje real. Su derivada es siempre
positiva y tiene dos asntotas horizontales, pueden vericar que
lm tanh x = 1 y lm tanh x = 1
x x+

En consecuencia su imagen es el intervalo (1, 1). Su grca es

Su funcin inversa, llamada argumento tangente hiperblico, se dene como

argtanh : (1, 1) (, +)
que a x le asigna tal que tanh = x
Su grca resulta

y presenta asntotas verticales en x = 1 y x = 1.

7.1.7. Ejercicios

Ejercicio 7.1.1. Terico.

Se suele decir que las funciones biyectivas son funciones "uno a uno". Cmo pueden relacionar
esta frase coloquial con la denicin de funcin biyectiva?
Dada una funcin biyectiva f : A B y su inversa f 1 : B A,
construyan la funcin compuesta f 1 (f (x)), detallando su dominio y codominio.
construyan la funcin compuesta f (f 1 (y)), detallando su dominio y codominio.

Ejercicio 7.1.2. Consideren la funcin f (x) = x3 + 3x.

(a) Veriquen que f es biyectiva en su dominio natural. Cul es el codominio adecuado?
(b) Calculen f (0), f (1), f (1).
(c) Calculen f 1 (4), f 1 (0), f 1 (4).
(d) Graquen f e interpreten los resultados obtenidos al evaluar f 1 en los puntos dados.

14
Mdulo 7: Funciones inversas 7.1
Ejercicio 7.1.3. Hallen los intervalos ms amplios donde la funcin y = f (x) admite una funcin
inversa x = f 1 (y) y determinen el dominio de f 1 (y). De ser posible expresen f 1 (y) en trminos de
y.
(a) f (x) = (x + 1)3 + 2 (b) f (x) = x4 2x2 (c)f (x) = ln(x 3)

Ejercicio 7.1.4. Dada la funcin y(x) = x3 + 6x2 9x + 3,

(a) Comprueben que (x, y) = (2, 1) pertenece a la grca de y(x).
(b) Hallen el mayor intervalo donde la funcin y(x) admite una funcin inversa x(y) tal que x(1) = 2.
(c) Cules son el dominio y el codominio de la funcin x(y) caracterizada en el inciso anterior?

x2 y2
Ejercicio 7.1.5. Graquen la elipse de ecuacin + = 1.
4 9
(a) Determinen cuatro restricciones distintas que permitan denir y en funcin de x tal que sea
invertible. Para cada una, indiquen dominio y codominio de y(x) y de su inversa x(y).
(b) En cada rama, den la expresin de y(x) y de x(y) (al despejar, debern elegir los signos de cada
raz cuadrada)

Ejercicio 7.1.6. Calculen arccos(0), arccos( 3/2), arcsen(1), arcsen(1/2), arctan( 3). Pueden
usar la calculadora (en radianes), o referirse a las funciones trigonomtricas exactas de los ngulos
notables 0, /6, /4, /3, /2.
Dado que tan = 0, por qu no obtienen arctan(0) = ?

Ejercicio 7.1.7. Si conocen el valor de una de las tres funciones (seno, coseno o tangente) de un
ngulo , podran averiguar el ngulo con funciones trigonomtricas inversas en la calculadora. Pero
la calculadora les devuelve slo la rama principal de cada inversa.
Dados los siguentes datos, encuentren primero el ngulo que les da la calculadora (en radianes), y
luego busquen si hay otros ngulos entre 0 y 2 que cumplan con el mismo dato:
(a)sen = 1/2
(b) cos = 0
(c) tan = 1
Graquen los resultados en la circunferencia trigonomtrica. Qu relacin encuentran entre dis-
tintos ngulos con el mismo seno? y con el mismo coseno? y con la misma tangente?

Ejercicio 7.1.8. En un problema necesitan averiguar un ngulo del tercer o cuarto cuadrante,
a partir del valor x de su coseno.
(a) Calculen el ngulo sabiendo que x = cos = 3/2.
(b) Den la expresin de en funcin de x, para x [1, 1]. (sugerencia: deben relacionar el
resultado buscado con la rama principal del arco coseno)

Ejercicio 7.1.9. Calculen el ngulo (en radianes) tal que:

(a) sen = 1/2 y cos > 0.
(b) sen = 1/2
y cos < 0.
(c) cos = 2/2 y sen < 0.
Graquen en la circunferencia trigonomtrica y discutan si el resultado que les brinda la calculadora
es el adecuado al enunciado.

Ejercicio 7.1.10. Calculen los siguientes lmites:

 2
x2 + 1
    
x+1 x +1
(a) lm arctan ; (b) lm arctan ; (c) lm arctan .
x+ x x+ x x0 x
(b) Alguna de estas funciones posee asntota horizontal, o vertical? De ser as, dibujen las asntotas y
escriban sus ecuaciones.
15
Mdulo 7: Funciones inversas 7.1
Uso de GeoGebra 7.1.11. Dada una funcin y = f (x), pueden construir con GeoGebra la grca
de una rama de la funcin inversa:
En primer lugar, pueden denir una restriccin del dominio al intervalo [a, b] con el comando
g(x)=Si[a<=x<=b,f(x)].
En segundo lugar, denan la recta bisectriz del primer cuadrante con el comando r: y=x
En tercer lugar, reejen la grca de g respecto de la recta r con el comando Refleja[g,r]
Apliquen estos pasos para construir dos ramas distintas de la inversa de y = cos x.

Uso de GeoGebra 7.1.12. Las funciones trigonomtricas e hiperblicas inversas se trabajan en

GeoGebra con la notacin:
asin(x), acos(x), atan(x), asinh(x), acosh(x), atanh(x)

16
Mdulo 7: Funciones inversas 7.2
7.2. Continuidad y derivada de funciones inversas. Su uso como primitivas.
Contenidos: Continuidad de la funcin inversa. Existencia y clculo de la derivada de
funciones inversas. Derivada de las funciones inversas trigonomtricas e hiperblicas.
Frmulas de integracin asociadas.

Dada una funcin y = f (x) biyectiva, hemos visto que podemos denir su inversa x = f 1 (y). Pero
no siempre podemos "despejar" x para dar una frmula explcita de la funcin inversa. Para estudiar
en general las propiedades de la funcin inversa f 1 , vamos a aprovechar las propiedades de la funcin
original f , que suponemos conocida y nos permite trabajar explcitamente.

7.2.1. Continuidad de la funcin inversa

Graquemos una funcin f : A B con regla de asignacin y = f (x), biyectiva, y su inversa

f 1 : B A con regla de asignacin x = f 1 (y).

Como vimos la clase anterior, los grcos estn relacionados por una reexin. Supongamos que la
funcin y = f (x) es continua en el punto x0 de su dominio. Grcamente, esto signica que su trazo
no se corta en el punto (x0 , y0 ). La grca de la funcin inversa, despus de la reexin, tampoco se
corta en el punto reejado (y0 , x0 ). Es decir, la funcin inversa x = f 1 (y) es continua en el punto y0
de su dominio. Podemos enunciar la siguiente propiedad:
Dada una funcin biyectiva f : A B con regla de asignacin y = f (x),
si f es continua en x0 entonces la funcin inversa f 1 : B A es continua en y0 = f (x0 ).
En particular, si f es continua en todo su dominio A, entonces f 1 es continua en todo su dominio
B.

Ejemplo 7.2.1. Segn esta propiedad, la funcin arco seno es continua en el intervalo [1, 1].
Lo pueden comprobar en las grcas de la clase anterior para la rama principal, pero tambin es
cierto para otras ramas.

7.2.2. Derivabilidad de la funcin inversa

Supongamos ahora que la funcin y = f (x) dibujada ms arriba es derivable en el punto x0 de

su dominio. Grcamente, esto signica que existe la recta tangente en el punto (x0 , y0 ), y que su
pendiente es m = f 0 (x0 ). La grca de la funcin inversa, obtenida por reexin, "hereda" una recta
tangente en el punto reejado (y0 , x0 )

17
Mdulo 7: Funciones inversas 7.2

La recta tangente de la funcin inversa f 1 es simplemente la reexin de la recta tangente de f . Si

f 0 (x0 ) = 0, la recta tangente a f es horizontal y su reejada es vertical, sin pendiente denida. Pero si
f 0 (x0 ) 6= 0, la recta reejada tiene pendiente bien denida. Esto nos hace ver, grcamente, que existe
la derivada de f 1 en el punto y0 .
La existencia de la derivada de la funcin inversa que ilustramos grcamente se puede probar por
denicin. Debemos calcular el lmite del cociente incremental
f 1 (y) f 1 (y0 )
lm
yy0 y y0
Conviene hacerlo mediante una sustitucin y = f (u). Dado que f (u) es derivable en u = x0 , tambin
es continua; para que y y0 debemos tomar u x0 . Luego,
f 1 (y) f 1 (y0 ) f 1 (f (u)) f 1 (f (x0 )) u x0 1
lm = lm = lm = lm f (u)f (x0 )
yy0 y y0 ux 0 f (u) f (x0 ) ux 0 f (u) f (x0 ) ux0
ux0

(algunos de estos pasos son delicados, pero estn justicados porque f es biyectiva y f 1 es continua
en y0 ). Si f 0 (x0 ) 6= 0, podemos terminar el clculo y obtener
f 1 (y) f 1 (y0 ) 1
lm = 0
yy0 y y0 f (x0 )
Este clculo muestra que, si existe la derivada f 0 (x0 ) y es distinta de cero, entonces existe la derivada
f 1 (y0 ) y vale 1/f 0 (x0 ). Lo enunciamos formalmente:
Dada una funcin biyectiva f : A B con regla de asignacin y = f (x),
si f es derivable en x0 y f 0 (x0 ) 6= 0, entonces la funcin inversa f 1 : B A es derivable
en y0 = f (x0 ), con
1
f 1 (y0 ) =
f 0 (x 0)

Ejemplo 7.2.2. Sigamos el ejemplo 7.1.5 de la clase anterior, donde construimos la funcin
biyectiva
f : [0, +) [0, +)
que a x le asigna y = x2
y su inversa
f 1 : [0, +) [0, +)

que a y le asigna x= y
Consideremos x0 = 2 y el correspondiente y0 = f (x0 ) = 4. Aunque no conociramos la forma
explcita de f 1 , podramos armar que:
f 1 (y) es continua en y0 = 4, porque f (x) es continua en x0 = 2.
18
Mdulo 7: Funciones inversas 7.2

f 1 (y) es derivable en y0 = 4, porque f (x) es derivable en x0 = 2 (con f 0 (x) = 2x) y

f 0 (2) = 2 2 = 4 6= 0. Adems, la derivada de f 1 en ese punto se calcula como

0 1 1
f 1 (4) = 0 =
f (2) 4
Podemos trabajar en general:
Como f (x) es continua en todo su dominio [0, +), f 1 (y) es continua en todo su dominio
[0, +)
Como f (x) es derivable en todo su dominio [0, +), y f 0 (x) no se anula en (0, +), podemos
garantizar que la funcin inversa f 1 (y) es derivable en cualquier y0 (0, +), y que la
derivada se calcula como

0 1 1
f 1 (y0 ) = =
f 0 (x0 ) 2x0
donde x0 = f 1 (y0 ). Esta frmula mezcla las variables, y sera deseable llegar a un resultado

en trminos de y0 ; en este caso lo podemos hacer explcitamente, escribiendo x0 = y0 :

0 1
f 1 (y0 ) =
2 y0

En este ejemplo contamos con la frmula explcita de la funcin inversa, x = y , y podemos
corroborar estos resultados. Por supuesto, vemos que x(y) es continua en [0, +), derivable en
(0, +) y no es derivable en y = 0. Adems, la derivada x0 (y) = 2 1
y coincide con las reglas
conocidas para derivar la raz cuadrada.

7.2.3. Derivadas de las funciones trigonomtricas inversas

Con las propiedades enunciadas, podemos calcular el dominio de derivabilidad y las funciones
derivadas del arco seno, arco coseno y arco tangente.

Derivada del arco seno. Consideremos la funcin

sen : [/2, /2] [1, 1]
que a le asigna x = sen
y su inversa
arcsen : [1, 1] [/2, /2]
que a x le asigna = arcsenx tal que sen = x.
Dado que sen0 () = cos() 6= 0 en el intervalo abierto (/2, /2), la funcin arcsenx es derivable en
el abierto (1, 1). Su derivada vale
1 1
arcsen0 (x) = =
sen0 () cos
Para expresar el resultado en trminos de x es conveniente usar la identidad trigonomtrica
sen2 + cos2 = 1

y despejar cos = 1 sen2 con signo +, porque est restringido al intervalo (/2, /2) donde
el coseno es positivo. Adems, sen = x. Reemplazando,
1
arcsen0 (x) = en (1, 1)
1 x2

19
Mdulo 7: Funciones inversas 7.2
Derivada del arco coseno. Consideremos ahora la funcin
cos : [0, ] [1, 1]
que a le asigna x = cos
y su inversa
arccos : [1, 1] [0, ]
que a x le asigna = arccosx tal que cos = x.
Dado que cos () = sen 6= 0 en el intervalo abierto (0, ), la funcin arccosx es derivable en el
0

abierto (1, 1) y su derivada vale

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

Podemos, igual que antes, expresar el resultado en trminos de x: escribimos sen = 1 cos2 con
signo +, porque est restringido al intervalo (0, ) donde el seno es positivo. Adems, cos = x.
Reemplazando,
1
arccos0 (x) = 2
en (1, 1)
1x
Es interesante comparar las grcas de arcsenx y arccosx para entender por qu la derivada de una
es el opuesto de la derivada de la otra.
Derivada del arco tangente. Veamos la funcin
tan : (/2, /2) R
que a le asigna x = tan
y su inversa
arcctan : R (/2, /2)
que a x le asigna = arctanx tal que tan = x.
Dado que tan0 () = 1/ cos2 6= 0 en todo el dominio (/2, /2). la funcin arctanx es derivable en
todo su dominio R y su derivada vale
1
arctan0 (x) = = cos2
tan0 ()
Para expresar el resultado en trminos de x es necesario reeescribir cos2 . Las identidades trigonom-
tricas apropiadas son
2 2 sen2 2 2 2 2 2


1 = cos + cos = cos + cos tan = cos 1 + tan
cos2
de donde se despeja cos2 = 1/ 1 + tan2 . Reemplazando x = tan , se obtiene una expresin


sencilla para todo x real:
1
arctan0 (x) = en R
1 + x2
7.2.4. Derivadas de las funciones hiperblicas inversas

En forma similar al caso de las inversas trigonomtricas, se pueden obtener expresiones de las
funciones hiperblicas inversas, en trminos de sus variables. Las identidades hiperblicas necesarias
son
senh
cosh2 senh2 = 1 y tanh =
cosh
Dejamos como ejercicio que construyan y recuerden los siguientes resultados:
1
argsenh0 (x) = en R
x2 +1
1
argcosh0 (x) = en (1, +)
x2 1
20
Mdulo 7: Funciones inversas 7.2

7.2.5. Uso de las derivadas de funciones inversas como primitivas

Como acabamos de ver, las funciones trigonomtricas e hiperblicas inversas no tienen frmulas
algebraicas explcitas pero sus derivadas s: son funciones sencillas, expresadas con cocientes, potencias
y races cuadradas. En cualquier trabajo algebraico pueden aparecer integrales de estas expresiones, y
sus primitivas se podrn escribir con funciones inversas. Deben incorporar a la tabla de primitivas los
siguientes resultados:

1
dx = arcsenx + C, vlido en (1, 1)
1 x2

1
dx = arctanx + C, vlido en R
1 + x2

1
dx = argsenh(x) + C, vlido en R
2
x +1

1
dx = argcosh(x) + C, vlido en (1, +)
2
x 1
Estas primitivas, combinadas con los mtodos de integracin por sustitucin y de integracin por
partes, permiten calcular muchsimas integrales (que no podramos resolver sin funciones trigonom-
tricas e hiperblicas inversas).

7.2.6. Ejercicios

Ejercicio 7.2.1. Terico

Busquen simetras entre las grcas de arcsenx y arccosx para explicar por qu la derivada de
una es el opuesto de la derivada de la otra.
Calculen las derivadas de argsenh(x) y argcosh(x).
Consideren una funcin y = f (x) biyectiva en cierto dominio y codominio, y un punto x0 del
dominio donde existe f 0 (x0 ) 6= 0. Discutan si est bien justicado el siguiente argumento:
Como f 1 (f (x)) = x, podemos derivar ambos lados de la igualdad y obtener

0
f 1 (f (x0 )) f 0 (x0 ) = 1,
luego

0 1
f 1 (f (x0 )) =
f 0 (x0 )

Ejercicio 7.2.2. Consideren la funcin y(x) = 3x x3 (que discutimos al principio de la clase

7.1).
(a) Determinen las restricciones adecuadas para trabajar con una rama de funcin inversa x(y) tal
que x(2) = 2. Cules son el dominio y codominio de esta funcin inversa?
(b) Calculen, si existe, la derivada x0 (2).
(c) Cul es el dominio de la funcin derivada x0 (y)? Pueden dar la expresin de x0 (y)?
(d) Graquen y(x), con las restricciones elegidas, y x(y). Interpreten el valor de las derivadas y 0 (2)
y x0 (2) con las respectivas rectas tangentes.
Repitan el trabajo con otra rama de funcin inversa, que pase por x0 = 0, y0 = 0.

Ejercicio 7.2.3. Retomen los ejercicios 7.1.2 y 7.1.4 de la clase anterior y hallen la derivada de
la funcin inversa en los puntos trabajados.

21
Mdulo 7: Funciones inversas 7.2
Ejercicio 7.2.4. Las funciones homogrcas son explcitamente invertibles. Analicemos el caso
2x + 1
y = f (x) =
x1
(a) Analizando la continuidad, el crecimiento y las asntotas de y = f (x), indiquen el dominio y
codominio donde es biyectiva.
(b) Cunto debe valer x para que y valga 1? Sin despejar f 1 (y) , calculen (f 1 )0 (1).
(c) Despejando ahora x en funcin de y , den la forma explcita de la funcin inversa, y veriquen
su dominio y codominio. Veriquen tambin la derivada calculada en el inciso (b).
(d) Graquen y = f (x) y x = f 1 (y). Veriquen que las grcas se relacionan por la reexin
caracterstica de funciones inversas.

Ejercicio 7.2.5. Veriquen, aplicando la denicin, que la funcin x = ln y es la inversa de y = ex .

Existe otra rama de funcin inversa?
Asumiendo conocida la derivada de la funcin exponencial, calculen la derivada del logaritmo
natural como derivada de la funcin inversa.
Cambiando los roles de las variables, veriquen aplicando la denicin que la funcin x = ey es la
inversa de y = ln x.
Asumiendo conocida la derivada del logaritmo natural, calculen la derivada de la funcin exponen-
cial como derivada de la funcin inversa.

Ejercicio 7.2.6. Escriban la ecuacin de la recta tangente a f (x) = arc sen x en el punto x = 2 .
2

Ejercicio 7.2.7. Calculen las siguientes integrales denidas:

1 1
1. 0 2 dx
1/2 +1 1
x
2. 0 1t2 dt

Ejercicio 7.2.8. Completando cuadrados y/o sacando un factor comn adecuado, podrn rees-
cribir las siguientes funciones y luego encontrar sus primitivas por sustitucin:
1 1 1 1 1
1. Sugerencia: reescriban 2 = x 2

= 2
x2 +4 x +9 9 x +1


9 9 +1 3
1 1 1
2. Sugerencia: reescriban 2 =
4x2 + 1 4x + 1 (2x)2 + 1
1
3. Sugerencia: completen cuadrados en el denominador
x2 + 6x + 10
1
4.
2
x + 2x + 2
1
5.
2
x 2x
1
6.
3 x2 + 2x
1
7. p
2x2 2x + 5/2
En cada caso, veriquen derivando sus resultados.

Ejercicio 7.2.9. Calculen las siguientes primitivas, integrando por partes:

1. arc sen x dx
2. x arctan x dx

Ejercicio 7.2.10. En algunos casos habr que combinar los mtodos de integracin. Hallen las
primitivas de cada una de las siguientes funciones, comenzando con sustituciones adecuadas.
22
Mdulo 7: Funciones inversas 7.2
cos x
1.
1 + sen2 x
arctanx
2.
1 + x2
1 1
3.
argsenhx 1 + x2
4. x arc sen x 2

23