Aula por Bryan Borck
Nesta aula apresentaremos alguns tópicos que são um pouco mais raros dentro de problemas olímpicos, mas possuem suma importância, já que sem essas técnicas possivelmente não conseguiríamos resolver alguns problemas mais complicados. Portanto abordaremos técnicas de substituição, como substituir nossa função por outra ou por alguma sequência e de pontos fixos, um assunto muito interessante dentro do mundo matemático. Segue abaixo os tópicos:
7. Sequências:
Podemos encarar as iterações de uma função, ou mesma ela própria, como sendo uma sequência, onde e a partir disto achar uma relação de recorrência para acabarmos com o problema. Vejamos a seguir:
Exemplo 7:
(Putnam/88) Determine todas as funções mathbb{R^{+}}" /> tais que:
Solução:
Vejamos que este problema é perfeito para usar sequências recorrentes pois só possui uma variável e podemos usar diversas iterações, já que podemos colocar para qualquer n. Então considere , da equação original temos:
Como podemos fazer então temos:
(x)" />
Podemos resolver então a recorrência recorrente linear, analisando as raízes da equação da sequência: vemos que estas são e e portanto:
f^{n}(x)=a_n" />
Para algum e fixados. Colocando temos:
pois
Portanto e substituindo em :
^n=f^{n}(x)" />
2^{n})=f^{n}(x)" />
Iremos provar que . Suponha que 0" />, pegue ímpar:
n})=f^{n}(x)" />
Mas possui sua imagem nos reais positivos, então 0" />:
n})>0" />
{n}}>A>0" />
+1}>A>0" />
Usando um pouco de limite, vejamos que para um suficientemente grande, temos que +1}" /> tende a pois tende ao infinito quando tende ao infinito. Logo tendendo ao infinito temos que:
0" />
E temos um absurdo pois 0" /> não é possível. Agora se , pegue par:
n})=f^{n}(x)" />
Mas possui sua imagem nos reais positivos, então 0" />:
n})>0" />
Usando um pouco de limite, vejamos que para um suficientemente grande, temos que n}-1}" /> tende a pois tende ao infinito quando tende ao infinito. Logo tendendo ao infinito temos que:
E temos um absurdo pois não é possível. Portanto e , logo e esta é a única solução.
8. Pontos Fixos:
Nomeamos de ponto fixo algum número fixo que satisfaça para a função do problema. Os pontos fixos são extremamente úteis de serem analisados, pois temos a vantagem de estes permanecerem constantes mesmo por diversas iterações da função, pois se então . Vejamos um exemplo:
Exemplo 8:
(Torneio das Cidades/96) Encontre todas mathbb{R}" /> tais que:
Solução:
Aplique na equação principal:
Considere e as raízes da equação . Colocando ou em temos:
E portanto em alguma ordem. Agora analisemos a equação , sabemos que são raízes, chame as outras duas raízes de . Analisemos que se então , e portanto , mas se então teríamos um absurdo pois e se então a equação teria três raízes, absurdo de novo. Logo e então vejamos que e que . Vejamos que:
Agora vejamos que se são raízes de então de :
E substituindo em vemos que 1)" /> e logo pois estas são as raízes desta equação. Agora analisando casos:
Se então absurdo. Se então , absurdo pois . Se o caso é análogo e se então e , absurdo. Logo não existe e portanto a função não existem e logo não existem funções que satisfazem o problema.
9. Troca de função:
Nosso último truque a apresentar é algo geralmente usado atualmente e que facilita a maioria das técnicas mostradas anteriormente se usado de forma correta. A troca de função é basicamente literalmente trocarmos por onde é uma provável hipótese, por exemplo, podemos trocar por e tentar provar que e assim . Vejamos no exemplo:
Exemplo 9:
(Taiwan) Encontre todas as funções contínuas mathbb{R}" />:
Solução:
Colocando temos:
E colocando temos:
Juntando com a equação original temos:
E aqui vem o truque, repare que se colocarmos as equações de fato funcionam, então nossa hipótese é de que para algum , logo isso nos leva a tentar substituir por , e de :
g(y)+f(0)" />
E como é contínua, então é contínua (deslocamos o gráfico em ). Logo pelo Problema 2.2, vale que para algum , portanto jogando de volta, vemos que e que , mas gera absurdo, logo a solução única é .
Finalmente chegamos ao fim deste caminho pelas equações funcionais e apesar de este ser infinito, visto a enorme quantidade de técnicas mais avançadas nesta parte da matemática, é importante o leitor tomar conhecimento que grande parte das equações funcionais se reduzem a estas técnicas e agora é só nos aventurarmos nos problemas! Boa sorte e até a próxima!
Problema 1:
Encontre todas as mathbb{Z^{+}}" /> tais que:
Problema 2:
(China) Determine todas as mathbb{R^{+}}" /> tais que:
Problema 3:
Substitua no Exemplo 8 por , onde possui exatamente dois pontos fixos. Prove que ainda assim não existem funções que satisfazem o enunciado.
Problema 4:
(Argentina) Ache as funções tais que:
)" />
Problema 5:
(IMO/1994) Seja o conjunto dos reais maiores que . Encontre todas as funções satisfazendo as condições:
(i) " />, para quaisquer ;
(ii) é estritamente crescente para e 0" />
Problema 6:
(IMO/2015) Determine todas as funções tais que:
yf(x)" />