EQUAES FUNCIONAIS PARA OS MAIS JOVENS

Ricardo Csar da Silva Gomes, IFCE, Jaguaribe CE

Nvel Intermedirio
Um dos temas mais desafiadores para um olmpico so os problemas sobre
equaes funcionais. Porm, existem poucos artigos escritos para iniciantes, o que
contribui para dificultar mais ainda a implantao de um treinamento para a OBM
numa escola que deseja se aventurar no encantador universo das Olimpadas de
Matemtica. Nosso objetivo neste artigo suprir um pouco essa carncia.
Inicialmente, vamos fazer um aquecimento com os exemplos abaixo.
1. Um bom comeo...
Exemplo 01. (Austrlia) Para todo inteiro positivo n, temos:

f n

1
3

n 2 n 1 n 2 1 3 n 2 2n 1
3

Determine o valor da soma

f 1 f 3 f 5 ... f 999997 f 999999 .

Soluo:

Observando

a b a b a ab b
3

com
2

bastante

cuidado

vemos

que

* nos ajudar a sair dessa aparente dificuldade.

Basta fazermos a 3 n 1 e b 3 n 1
e a funo dada pode ser reescrita como

f n

1
a b
a b
3 3
.
2
a ab b
a b
2
2

Escrevendo f desta forma fica bastante claro porque usaremos (*), em seguida
voltaremos varivel n. Veja que legal:

2 f n a b 3 n 1 3 n 1.

Agora vamos tacada final,

2 f 1 3 2
2 f 3 3 4 3 2
2 f 5 3 6 3 4

2 f 999997 3 999998 3 999996

Sociedade Brasileira de Matemtica

2 f 999999 3 1000000 3 999998

Adicionando, membro a membro, as equaes acima temos:

f 1 f 3 f 5 ... f 999997 f 999999

Exemplo 02. Determine todas as funes

f:

13
1000000 50.
2

tais que

x y f x 2xf y y .
2

(*)

Soluo. Fazendo x = y = 0 em (*), obtemos:

f 0 f 0 0 f 0 f 0 1 0
2

H ento dois casos:

1 Caso: f 0 0. Escolhendo y = x em (*) teremos:

f x x f x
2

2 xf x x 2 f 0 0

da temos f x x, onde x um nmero real qualquer.

2 Caso:

f 0 1. Novamente escolhendo y = x em (*), teremos:

f x x f x
2

2 xf x x 2 f 0 1

da temos que, para todo x ,

f x x x ,
2
x y x y

x 1,1 , x .

onde

x 1 ou f x x 1. Assim,
Temos

ento,

de

(*),

x x 2 x y y y 2 , donde
2

x y 2 x x y x2 , x, y . Como f 0 1, 0 1.
2

com y 1. Fazendo x 1 na

com z 1, existe y

Se existe z

igualdade acima, temos 1 y 2 2 1 y , donde

2 1 y 1 y 2 x2 , absurdo, pois

2
x

y 4 e 1 y 2 x2 0, 2 .

Assim, devemos ter x 1, x , donde f x x 1, x .

fcil ver que f x x ou f x x 1 so solues de (*).
Nos prximos exemplos precisaremos de um pouco mais de criatividade!

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Exemplo 03. (Balcnica) Encontre todas as funes

f:

tais que

f xf x f y f x y
2

(*)

para quaisquer nmeros reais x e y.

Soluo: Fazendo x = 0 na equao acima obtemos:

f f y f 0 y
2

(1)

para todo nmero real y. De (1) podemos ver que f sobrejetiva, portanto existe um
nmero real k tal que f k 0. Fazendo x = k em (*), teremos f f y y,

para todo nmero real y. Por outro lado, vamos trocar x por f x em (*) e ver o
que acontece:

f f x f f x f y x2 y

Note que o lado esquerdo da ltima equao idntico ao lado esquerdo de (*),
portanto

f x

y x 2 y f x x 2 , x .
2

Em particular, f 0 0.
Alm disso, se x 0, f x x ou f x x, isto , f x x 1,1. Temos
ento, para

x, y 0, f xf x f y f x y x 2 y. Elevando ao
2

quadrado, obtemos

x 4 2 x 2 y y 2 x 2 y f xf x f y xf x f y
2

x 2 f x 2 xf x f y f y x 4 2 xf x f y y 2 , donde
2

2 xf x f y 2 x 2 y,

logo

f x f y xy,

f x x f y y . Assim, f x x 1, x
1

donde f x x, x

ou

seja,

ou f x x 1, x ,

ou f x x, x .

fcil ver que essas so as solues.

necessrio notar que de (1) concluimos que f devia ser sobrejetiva. Sugerimos ao
leitor no familiarizado com este fato que consulte [2], l ele encontrar a
demonstrao deste e de outros fatos interessantes sobre vrios teoremas
envolvendo composio de funes.
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Exemplo 04. (RPM 77) Encontre todas as funes

f:

tais que

f f x y f y f x f y y

(*)

Para quaisquer nmeros reais x e y.

Soluo: Faamos

x y 0 na equao dada e facilmente concluiremos

que f 0 0. Agora faamos somente y 0, obtendo assim:

f f x f x

(1)

Em seguida faremos x = 0 em (*), veja:

f y f y f f y y f y y,

donde f y y, y . Assim, f t t , onde t um nmero real qualquer.

fcil ver que esta a soluo da equao.
Antes de irmos para a prxima etapa exercite as idias anteriores nos seguintes
problemas:

4n 4n 2 1
2n 1 2n 1
Calcule f 1 f 2 f 3 ... f 39 ... f 40 .
01. (Romnia) Para todo inteiro positivo n, seja

f n

2
para todo x real. Determine:
4 2
1
2
2000
f
f
... f
.
2001
2001
2001
x2
. Calcule
04. (Brasil) Seja f x
1 x2
1
2
3
n
f f f ... f
1
1
1
1
1
2
3
n
f f f ... f
2
2
2
2
...
03. (Coria) Seja

f x

1
f
n

2
f
n

EUREKA! N37, 2013

3
f ...
n

n
f .
n

Sociedade Brasileira de Matemtica

ax
05. (Crocia) Seja f uma funo definida por f x
, com a
ax a

Determine:

1
2
3
2000
S f
f
f
...
.
2001
2001
2001
2001
1
. Determine o
06. (Holanda) Seja f uma funo definida por f x
2
x x 1
valor de

f 1 f 2 f 3 ... f 1921 .

07. Considerando a funo

f : 0,

tal que f a 1, sendo a um nmero

real positivo. Prove que, se

a
f x f y f
x

a
f 2 f xy
y

Para x e y 0, , ento f uma funo constante.

08. Seja f uma funo definida por

f n

1
, para todo natural n.
n n2 1
4

Mostre que:

1
f 1 f 2 f 3 f 4 ... f 100 .
2
2. Caracterizando a funo afim

Apresentaremos a partir de agora uma ferramenta muito simples e bastante

poderosa que ser til na resoluo de equaes funcionais cujas solues sejam
funes afins. Suponha que em determinadas equaes funcionais cheguemos
seguinte expresso: f x h f x . O Teorema abaixo, garante que se
depender apenas de h, mas no de x, ou seja, h , ento f uma funo
afim.
Teorema: Seja

f:

uma funo montona injetiva. Se o acrscimo

f x h f x h depender apenas de h, mas no de x, ento f uma

funo afim.
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Prova: A demonstrao deste Teorema ir recorrer ao Teorema fundamental da

proporcionalidade (fica como exerccio para o leitor procurar sua demonstrao em

[1]). Suporemos que a funo f seja crescente, caso f seja decrescente o resultado
segue por analogia. fcil ver que :
tambm uma funo crescente e
que 0 0. Alm disso, para quaisquer h, k

temos:

h k f x h k f x
f

x k h f x k f x k f x

h k
Logo, pelo Teorema fundamental da proporcionalidade, h a h, onde

a 1 para todo h . Da temos

f x h f x h a h
Fazendo x 0 na equao acima obtemos:

f h f 0 a h ,
o que nos mostra que

f h a h b, onde b f 0 para todo h . A

recproca tambm verdadeira e fica como exerccio para o leitor a sua

demonstrao.
Vejamos agora alguns exemplos:
Exemplo 01 (Adaptado de um problema da Estnia) Encontre todas as funes

montonas f :

que satisfazem a equao

f x f y y f x 1 ,

para x, y .
Soluo: Fazendo x 0 na equao dada temos

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

f f y y f 1 ,

(*)

o que nos mostra a bijetividade da funo f; portanto existe um nmero real k tal
que f k 0. Voltando equao funcional dada e fazendo y k , temos

f x 1 f x k.
Fazendo z x 1 e h f y 1, temos

f z h f x f y y f x 1 f z h , onde h f h 1 f 1 .
Pelo teorema anterior f do tipo f x kx b, e fcil ver que b k 2 (pois

f k 0 ). Agora vamos fazer y 0 em (*):

f f 0 f 1
Sendo k 0 (seno f seria identicamente nula, o que no possvel) temos

f k 2 f 1 k 1.
Para concluirmos temos que as solues procuradas so

f x x 1 e

satisfazem perfeitamente as condies do problema.

Infelizmente nem sempre h no problema uma hiptese de monotonicidade, nem
possvel provar de modo fcil que a funo procurada montona, o que muitas
vezes torna a soluo do problema mais complicada tecnicamente.
Exemplo 02. (Equao de Cauchy) Encontre todas as funes

f:

que

satisfazem as seguintes condies:

i f x y f x f y , para quaisquer que sejam os nmeros reais

x e y.

1 f x
2 para x 0.
x
x

ii f

a b b a, f a b f b f a ,
f a b f a f b , a, b .

Soluo:

Como

EUREKA! N37, 2013

logo

Sociedade Brasileira de Matemtica

1
1
para t 0,1 . Portanto,
1
1
1 t
1
t

1 2 f t
f 1 t 2 f 1
t
f 1 t
t

f 1 2
2
2
1 t
1 t
1
1
t

Temos

f 1 f t 1 t f 1 f 1 t 1 t f 1 f t t 2 f 1
2

2 f t t 2 f 1 f 1 1 t f 1 2 f 1 t.
2

(*)

Assim, f t f 1 t , t 0,1 ; naturalmente, essa igualdade tambm vale para

t 1. Como f 0 f 0 0 f 0 f 0 0, a igualdade tambm vale para

t 0. Assim, f t ct , t , onde c f 1 . fcil ver que todas essas
funes so solues.
Exemplo 03. (Austrlia) A funo f satisfaz as seguintes condies:

(i) para todo nmero racional x, f x assume um valor real;

(ii) f 1988 f 1987 ;
(iii) f x y f x f y f xy 1,

1
1987
.

1988 1988

onde x e y so nmeros racionais quaisquer. Mostre que f

Soluo: Fazendo

x y 0 em (iii), teremos

f 0 1

0 f 0 1.

Em seguida faremos a seguinte escolha: x = 1 e y = 1 e voltaremos condio

(iii),

f 0 f 1 f 1 f 1 1
f 1 f 1 1 0

Da temos duas possibilidades: f 1 0 ou f 1 1.

1 Caso:

f 1 1. Fazendo y 1, em (iii):

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

f x 1 f x f 1 f x 1 1
para todo x . Porm esta equao contradiz (ii), portanto f 1 0 .

f 1 0 . Fazendo x y 1, em (iii), obtemos:

2 Caso:

f 2 f 1 f 1 f 1 1
f 2 1 f 1

(*)

Fazendo x 2, y 1, , em (iii) temos:

f 1 f 2 f 1 f 2 1
f 1

f 1 f 2 1 0
Agora temos mais duas possibilidades.
Caso A: f 1 0. Voltando a (iii) faamos y 1:

f x 1 f x f 1 f x 1
f x 1 1 f x
trocando x por x + 1, obtemos

f x 2 f x

Assim, f 2 f 0 1, e tomando x

(**)

1
e y 2 em (iii) encontraremos uma
2

contradio, veja:

1
5
1
1
f f f f 2 f 1 1 f 1,
2
2
2
2
absurdo.
Caso B:

f 2 1. Usando este fato em (*) temos:

f 1 2
Por fim fazendo y 1 em (iii) chegaremos seguinte concluso:

f x 1 f x 1 (oba!).
Da segue que f x k f x k para todo k inteiro; como f 0 1, temos

f k k 1 para todo k inteiro.

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Se x p q , com p, q inteiros, q 0, fazendo y = q em (iii), obtemos

f x q f x q q 1 f x f qx 1 q 1 f x f p 1 q 1 f x p,
donde qf x p q, e logo f x

pq p
1 x 1, para todo x .
q
q

1987
1
1987
1
.

1988
1988
1988

Em particular, f

Exemplo 04. (Seletiva Blgara para a IMO) Encontre todas as funes

que

f x2 y f x
2

para quaisquer x, y

f:

, tais

f xy
f x

, com y x 2 .

Fazendo y 1, obtemos f x 2 1 f x 1, x
2

Fazendo x 1, obtemos f y 1 f 1 f y f 1 , y
2

\ 1.

Assim, f 2 f 1 1 e f 5 f 22 1 f 2 1 f 1 1 1.
2

Por outro lado, f 3 f 2 1 f 1 f 2

2

f 1 1
f 1 f 1
,
f 1
2

f 4 f 3 1 f 1 f 3 f 1 f 1 f 1
2

f 1 1
2

f 1

f 5 f 4 1 f 1 f 4 f 1 f 1 f 1 1
2

f 1 1
2

f 1

f 1 2 f 1 2 f 1 1 1 f 5 f 1 f 1 1
4

donde f 1 f 1 1
4

f 1 f 1 1
4

f 1

portanto f 1 1.
EUREKA! N37, 2013

10

, e logo

f 1 1
2

f 1

, e, como f 1 f 1 1 0, f 1 1, e
4

Sociedade Brasileira de Matemtica

f y 1 f 1 f y f 1 f y 1, y
2

Assim, temos

Assim, f x 2 1 f x 2 1, x

f x 2 f x , x
2

y 1.

, donde f x 2 1 f x 1, e logo
2

. Em particular, f x 0, x 0.

f x f x 1 1 f x 1 1,

Fazendo y 1, obtemos f x2 1 f x f x f x f x 2 f x f x ,

\ 1,1. Como

f x f x 1, x

\ 1,1 , i.e.,

segue que

f x f x , x

\ 1,1.

Como f 1 f 2 1 f 2 1, e f 2 f 2 f 1 1 2,
2

temos tambm f 1 1 f 1 . Assim, f x f x , x

mostrar que f a a, a 0, donde f x x, x

. Vamos

f x y f x y 2 f x ,

Se x 0, y x 2 , f x 2 y f x 2 f xy f x e f x2 y f x 2 f xy f x

= f x 2 f xy f x , donde

u, u h, u h 0, f u h f u h 2 f u . Assim, se
progresso aritmtica de termos positivos,

f a
n

n0

ou seja, se

an n0

uma

tambm uma progresso

aritmtica de termos positivos. Em particular, q

progresso aritmtica de termos positivos. Como

, f p q p

uma

f q q f 1 1 e

f 2q q f 2 2, segue que f p q p q , p, q

Dado a 0, suponha por absurdo que f a a. Vamos supor que f a a (o

caso

f a a anlogo). Sejam p, q

x a 0, e seja y p q a 0.

com a p q f a . Seja

Temos p q f p q f x 2 y f x 2 f xy f x f x 2 f a ,
absurdo. Assim, f a a, a 0, c.q.d..
Exerccios
01. Determine todas as funes

f:

que satisfazem as condies abaixo:

(i) f x 1 f x 1, para quaisquer que sejam os nmeros x e y

EUREKA! N37, 2013

11

Sociedade Brasileira de Matemtica

(ii) f x3 f x , para x
3

02. (Austrlia) Prove que existe apenas uma funo

f:

que satisfaz as

seguintes condies:

1
x
(i) f x f y 1 f x y , para todos os pares x, y de reais no-nulos
tais que x y.
(i) f x xf para todo nmero real x no-nulo;

03. (Austrlia) So dados m e n inteiros maiores do que 1 com m par e uma funo f

que assume apenas valores reais, e que est definida nos reais no negativos,
satisfazendo as condies abaixo:
(i) para quaisquer x1 , x2 , x3 , x4 ,..., xn ,

x1m x2m x3m ... xnm f x1 f x2 f x3 ... f xn

f
;

n
n

(ii) f 1986 1986;

m

(iii) f 1988 0.
Prove que

f 1987 1.

Bibliografia:
[1] Lima, Elon Lages et al. A Matemtica do Ensino Mdio. Rio de Janeiro. SBM, Coleo
Professor de Matemtica-2000.
[2] Marcelo Rufino e Mrcio Rodrigo. Coleo Elementos da Matemtica, vol. 01. Editora
VestSeller-2010.
[3] www.obm.org.br

EUREKA! N37, 2013

12