Problema 3
Seja 0}" /> o conjunto dos números reais positivos. Determine todas as funções
0}} \rightarrow \mathbb{R}_{>0}" /> tais que
para todos os reais positivos e
.
Solução de Jonatan de Lima:
Inicialmente, seja a proposição enunciada. Note que como o contradomínio de
é os reais positivos, temos:
0\Rightarrow f(xy+f(x))>x" />
Dado f(x)" />, então
na relação obtida nos dá
x" />. Suponha por absurdo que
f(x)" />, então com
temos
x" />, contradição ao que foi suposto, e logo
0}" />
Usando na equação inicial, segue:
Para , com
temos
0\Rightarrow 1>f(x)" />, o que resumidamente é:
x\Rightarrow 1>f(x)" />
Ainda com , suponha que
\dfrac{1-x}{f(x)}" />. Tome então
real entre eles. Veja que:
f(xy+f(x))\ge f(x)f(y)+x>f(x)y+x\Rightarrow y<\dfrac{1-x}{f(x)}" />
contrariando a definição de , um absurdo. Logo, vale que:
E, como , temos
ou
para cada
. Vamos agora ao seguinte:
Lema: Existe 0" /> tal que
Prova: seja . Suponha que exista
tal que
. Por definição, veja que
e com
em
temos
f\left(\dfrac{2u}{3}+f(\dfrac{2}{3})\right)\ge f\left(\dfrac{2}{3}\right)f(u)+\dfrac{2}{3}" /> donde obtemos
f\left(\dfrac{2}{3}\right)(1-u)" /> e já que
temos
f\left(\dfrac{2}{3}\right)" />, um absurdo com
, demonstrando nosso lema.
Voltando ao problema, é óbvio que o de nosso lema é menor que
. Assim, tome
com
na equação inicial. Veja que
e logo
Analogamente, se podemos obter que
.
Isso nos motiva a definir a sequência tal que
e
, satisfazendo: se
e
, então
. Mas veja que
a_n" /> e logo
a_n+M^2 \Rightarrow a_{n+1}>M+n\cdot M^2 " /> e portanto
não é limitada.
Desse modo, existe tal que
e
1" /> e então vale
e em especial podemos tomar
com
, obtendo
. Por uma simples indução, conclui-se que
para todo
natural, forçando
a ser a única função que satisfaz o nosso problema.