Em How to find inverse of a composite function? (no MSE) fahad pede para verificar o seguinte teorema
no caso de e as funções
e
serem definidas por
,
.
Eis a tradução da minha resposta:
são as funções definidas na questão.
Tem-se
ou de forma equivalente, por definição da função inversa
Dado que
ou de forma equivalente, por definição da função inversa
combinando e
, obtemos
Por outro lado
Assim, por definição, o valor em da função inversa
, é
De e
conclui-se que para estas funções
e as suas inversas
se verifica a seguinte identidade:
Nota sobre notação: .
Seria interessante trabalharmos também a composta da inversa de outra inversa, ou a composta da inversa da inversa de outra função.