EQUAES FUNCIONAIS

Eduardo Tengan - Colgio Etapa

x Nvel Avanado
Uma das tcnicas bsicas para a resoluo de equaes com funes
perceber quando ela injetora, isto , quando
. ) ( ) ( b a b f a f
Isto
particularmente freqente em problemas em que temos equaes do tipo
. 0 , )) ( ( k kx x f f
De fato,
. )) ( ( )) ( ( ) ( ) ( b a kb ka b f f a f f b f a f
"Sabendo que f injetora, podemos provar novas relaes aplicando f dos dois
lados da equao". Por exemplo, considere o seguinte problema:
(IMO) Seja
+
Q o conjunto dos racionais positivos. Construa uma funo
+ +
Q Q : f tal que y x f y xf f ) ( )) ( ( para todo . ,
+
Q y x
Para x = 1, temos y f y f f ) 1 ( )) ( ( e da temos que f injetora:
, ) 1 ( ( . ) 1 ( ) 1 ( )) ( ( )) ( ( ) ( ) (
+
Q f b a b f a f b f f a f f b f a f logo
). 0 ) 1 ( f
Agora, vamos provar que a funo multiplicativa, isto , que
). ( ) ( ) ( b f a f ab f
Aplicamos f a cada membro da equao,
ab
f
ab f f
) 1 (
)) ( (
ab
f
b
a f f
b f a f f
) 1 ( )) ( (
)) ( ) ( (
Como os resultados so iguais e f injetora, conclumos que
). ( ) ( ) ( b f a f ab f
Da temos:
1 ) 1 ( ) 1 ( ) 1 ( ) 1 1 ( f f f f
) (
1 1 1
) ( 1
1
) (
1
a f a
f
a
f a f
a
f a f
a
a f
,
_

,
_

,
_

,
_

) (
) ( 1
b f
a f
b
a f
b
a
f
,
_

,
_

Assim, basta construir a funo para os inteiros positivos. Mais ainda, basta
defini-la para os primos. Devemos ter . 1 ) 1 ( )) ( ( p p f p f f Pensando um
pouco, sendo ,... , ,
3 2 1
p p p todos os primos, podemos tomar

'

mpar se 1
par se
) (
1
1
n p
n p
p f
n
n
n
e verificar que a condio inicial satisfeita.
EXERCCIO 1
(IMO) Determine o menor valor possvel de f(1998), onde f uma funo do
conjunto N dos inteiros positivos nele mesmo, tal que, para todo : , N n m
. )) ( ( )) ( (
2 2
n f m m f n f
Para funes de domnio real, podemos utilizar desigualdades para obter
igualdades. Por exemplo, considere o seguinte problema.
Determine todas as funes R R
2
: f tais que
a a a f ) ; (
para todo R a e
) , ( ) , ( d c f b a f d c b a < + < +
para quaisquer a, b, c, d R .
Observe, em primeiro lugar, que, para , 0 >

,
_

+
+
+
+

,
_

+

2
,
2
) , (
2
,
2
b a b a
f b a f
b a b a
f
(*)
2
) , (
2
+
+

+

b a
b a f
b a
Logo razovel que . 2 ) ( ) , ( b a b a f + Suponha que existam
0
a e
0
b tais que
. 2 ) ( ) , (
0 0 0 0
b a b a f + Se , 2 ) ( ) , (
0 0 0 0
b a b a f + > ento 0 , 2 ) ( ) , (
0 0 0 0
> + + p p b a b a f .
Mas 2 2 ) ( ) , (
0 0 0 0
p b a b a f + + por (*), ou seja,
, 0 2 2 ) ( 2 ) (
0 0 0 0
+ + + + p p b a p b a absurdo.
Analogamente 2 ) ( ) , (
0 0 0 0
b a b a f + < impossvel. Logo 2 ) ( ) , ( b a b a f +
para todo . , R b a
Podemos utilizar um raciocnio semelhante em diversos problemas que envolvem
funes crescentes. s vezes, necessrio obter a desigualdade a partir das
condies do problema, muitas vezes, utilizamos relaes como ( ) ( ) ( )
2 2
x f x f
para concluir que
0 ) ( 0 x f x
(basta substituir x no lugar de x na relao
anterior).
Observe o exerccio a seguir.
Seja f uma funo de R em R tal que f(1) = 1, f (a + b) = f(a) +f(b) para todo a, b
e 1 ) 1 ( ) ( x f x f para todo . 0 x Prove que
x x f ) (
para todo nmero real.
fcil ver que
n n f ) (
para todo n inteiro positivo e de
0 ) 0 ( ) 0 ( ) 0 ( ) 0 ( + f f f f
e
, 1 ) 1 ( ) 1 ( ) 1 ( ) 0 ( + f f f f
que
x x f ) (
para todo . Z x Para verificar este resultado para , Q x basta
utilizar ). ( 1 ) 1 ( x f x f Observamos ainda que f injetora: temos
). ( ) ( ) ( ) ( ) ( ) ( y f x f y x f x f y x f y f +

Como , 0 ) ( 1 ) 1 ( ) ( x f x f x f ento
0 0 ) ( x x f
e

. 0 0 ) ( 0 ) ( ) ( ) ( ) ( y x y x y x f y f x f y f x f
Para estender o resultado para R, precisamos obter uma desigualdade (na
verdade, s desta forma que poderemos distinguir o conjunto dos racionais do
conjunto dos reais. No jargo matemtico, dizemos que R um corpo ordenado
completo). Utilizando a observao que precede o exerccio, vamos tentar calcular
). (
2
x f
Se 0 ) ( ,
2 2
a a f a a (pois f injetora), logo

,
_

+
,
_

a a
f
a a
f
a a f a f a f 1
1 1 1
) (
1
) ( ) (
1
2 2 2
, )) ( ( ) (
) 1 (
1
) (
1
1
1 1
2 2
a f a f
a f a f a
f
a
f

+
,
_

+
,
_

que vale tambm quando

0
2
a a a
ou . 1 a
Agora, observando que
), ( ) ( 0 ) ( 0 b f a f b a f b a b a > > > >

conclumos verificando que, por exemplo, se
0 0
) ( x x f > para algum ,
0
R x que
se
0 0
) ( x x f < ento existe um
Q q
tal que . ) (
0 0
x q x f > > Porm
), ( ) ( ) (
0 0 0
x f q x f q f x q > > > o que absurdo. O caso
0 0
) ( x x f <
anlogo, o que termina o problema.
EXERCCIO 2
(IMO) Encontre todas as funes
R R : f
tais que . ) ( )) ( (
2 2
x f y y f x f + +
Dica: Prove que
2 2
)) ( ( ) ( x f x f e que
), ( ) ( ) ( y f x f y x f + +
para 0 x e
, R y
ento conclua. Se voce no conseguir concluir, puxa!! Voc passou muito
perto da resoluo.
EXERCCIO 3
(IMO) Encontre todas as funes f, definidas no conjunto dos reais no negativos
e assumindo valores reais no negativos, tais que:
i)
) ( ) ( )) ( ( y x f y f y xf f +
para todo
0 , y x
ii)
0 ) 2 ( f
iii)
0 ) ( x f
para 2 0 < x
Dica: ). ( 2 2 y f x y x Incrvel, no?
PONTO FIXO
Muitas vezes, til considerarmos os pontos fixos de uma funo, isto , pontos
x tais que
. ) ( x x f
Para mostrar que esta simples considerao leva, muitas
vezes, soluo do problema, observe abaixo o seguinte exemplo:
(IMO) Seja S o conjunto dos reais maiores que 1. Encontre todas as funes
S S f :
satisfazendo as condies
i)
S y x x yf x f y y xf y f x f + + + + , ), ( ) ( )) ( ) ( (
ii) x x f ) ( estritamente crescente para 1 < x < 0 e x > 0.
Para x = 0, temos
), 0 ( )) 0 ( 1 ( )) ( ( f f y y f f + +
donde conclumos que f
injetora. De
) 0 ( )) 0 ( ( f f f
e da injetividade de f, conclumos que
. 0 ) 0 ( f
Seja
0
x um ponto fixo de f. Sabemos da condio ii) que h no mximo um ponto
em cada um dos intervalos (1; 0) e (0; + ). Substituindo
0
x y x
em i),
encontramos ( ) . 2 2
0
2
0 0
2
0
x x x x f + +
Se ), 0 ; 1 ( 2 ), 0 ; 1 (
0
2
0 0
+ x x x logo
0 0
2
0
2 x x x + , absurdo. Analogamente,
no h pontos fixos em
). ; 0 ( +
Assim, 0 o nico ponto fixo de f. Substituindo x = y em i), temos
), ( ) ( )) ( ) ( ( x xf x f x x xf x f x f + + + +
ou seja
) (x xf
ponto fixo e, portanto,
igual a 0, logo ), 1 ( ) ( x x x f + que satisfaz i) e ii).
EXERCCIO 4
(IMO) Encontre todas as funes f definidas no conjunto dos reais positivos e
assumindo valores neste conjunto e que satisfaz as condies:
i)
) ( )) ( ( x yf y xf f
para todo ; ,
*
+
R y x
ii)
0 ) ( x f
quando
. + x
EXERCCIO 5
(Torneio das Cidades) Mostre que no existem funes
R R : f
tais
. 1996 )) ( (
2
x x f f Dica: utilize pontos fixos, mas utilize mesmo!
EXERCCIO 6
(IMO) Seja
0
N o conjunto dos inteiros no negativos. Encontre todas as funes
0 0
: N N f tais que
), ( )) ( ( )) ( ( n f m f f n f m f + +
. ,
0
N n m
Dica: considere o menor ponto fixo da funo.