Passo 1
Temos a equação
. O conteúdo é logaritmos de base 2 e vamos precisar usar a definição de domínio dos logaritmos e a propriedade que transforma soma de logaritmos em logaritmo de produto.
Passo 2
Para que
e
estejam definidos, precisamos de
e
. Como
já garante
, o domínio é
.
Passo 3
Lembrando que
, podemos reescrever o lado direito:
Isso usa a propriedade
.
Passo 4
A equação fica
Como a função
é injetora, igualam-se os argumentos:
Passo 5
Verificamos que
está no domínio
e, substituindo na equação original, temos
ou seja
, o que confirma que
é solução válida.