Mediante el procedimiento estándar para hallar la función inversa de una dada, intentaremos hallar la función inversa de
, que la denotaremos por
. Veremos en qué condiciones esta función es inversa de la dada.
—————————————————————————
Procedimiento estándar para hallar la función inversa.
De
obtenemos:
¿Es realmente esta última función
la inversa de
?
Vamos a hacer una primera comprobación. Supongamos que
. Entonces
Si
es la función inversa, aplicando esta función al valor de
que acabamos de hallar, nos dará el valor de
del que habíamos partido,
.
luego acabamos de ver que para
,
es la inversa de
.
Pero aquí hay dos puntos importantes:
En primer lugar,
no está definida para
, pues
, luego en
la función
no tiene inversa.
En segundo lugar, si
,
, de manera que
tampoco está definida en
.
Conclusión:
y
son inversas una de la otra siempre que
no valga
e
no valga
.
Como una primera comprobación de esto veamos que
, siempre que
no valga
.
Si
no es igual a
, la última expresión anterior se puede simplificar, de manera que:
Y ya sólo nos queda ver que si
,
.
Si
se cancelan las dos
de la expresión anterior, quedando: