(Mackenzie 1997) As soluções reais x e y do sistema
são tais que:
y = x / 3
x y = 16
verificam a igualdade logx y = 3
uma é dobro da outra.
ambas são números irracionais.
Gabarito:
uma é dobro da outra.
Temos que
Organizando a segunda expressão, temos que:
Substituindo a 1ª expressão na equação acima, temos que:
Substituindo em
Resolvendo com o valor de x, temos que