Fica subtendido que

foi definida de

em

.
As informações (a),(b) e (c) são equivalentes ; e também (d) e (e) os são .
(a) f é injetora
(b) f admite inversa à esquerda
(c) f é estritamente monótona
(d) f é sobrejetora
(e) f admite inversa à direita
Se

satisfaz um dos itens (a),(b) ou (c) juntamente com (d) ou (e) , então

é bijetora .(admite inversa)
Vamos mostrar que f é sobrejetora .
Uma forma possível : (TVI)

e

.Como

é contínua , (pois é escrita como soma de duas funções contínuas ) , então dado qualquer

, o TVI garanti que existe

em

t.q

o que implica

sobrejetiva .
Quanto a injetividade segue por

(verifique )[isso significa que f é estritamente crescente ] .
Outra forma ...
Fixe

real (a princípio arbitrário , se precisar de + hipóteses , trabalhe em cima dos casos isoladamente) . Note que

. Deixe

isto equivale

. Agora resolva a eq. para

e depois tome o ln em ambos lados . (Dica use a fórmula resolvente e.q segundo grau ) .
A ideia é ...
Para cada x que escolho consigo obter um único

correspondente através de (*) , e reciprocamente ; para cada y que escolho consigo obter um único

obtido pela solução acima .