Aula por Bryan Borck
Primeiramente entenderemos o conceito de equação funcional, basicamente um sistema de equações no qual as variáveis são funções. Geralmente em todo problema de equação funcional possuímos um domínio e um contra-domínio, que devem ser respeitados durante a resolução do problema. Iremos apresentar exemplos de substituições em equações funcionais e logo após ensinaremos algumas ideias bem legais que podemos usar para resolver esse tipo de problema.
Problema:
(IMO/2010) Determine todas as tais que:
onde é o maior inteiro que não excede .
Solução:
Vejamos que é um problema da IMO e ainda é recente, mas não se preocupe, pode parecer difícil e assustador no início, porém mostraremos que com um pouco de trabalho e técnicas espertas conseguiremos resolver tranquilamente este tipo de problema. Como em qualquer problema de matemática, procuraremos uma situação confortável para explorar e vejamos que qualquer equação envolvendo zero é algo bem legal pois é fácil de trabalhar com zeros, por isso, nossas primeira substituição dentro deste problema é :
Vejamos que quando temos:
E se então cancelando dos dois lados temos:
Logo, temos dois casos a analisar:
Caso 1: Se então colocando na equação original obtemos:
E a nossa função é constante, como f(0)\ge 1" /> então onde a\ge 1" />. E podemos verificar que esta é de fato uma solução e portanto metade do caminho já conseguimos 🙂
Caso 2: Se então não necessariamente e vejamos: Qual o segundo número que você colocaria agora? Se você disse está correto, pois ainda é uma situação confortável, já que é fácil trabalhar com o e colocando na equação original:
E encontramos novamente ou . Dividiremos agora em dois casos:
Caso 2.1: Se coloque na equação original e temos:
E podemos verificar que para todo real é de fato outra solução.
Caso 2.2: Se então colocando na equação original vale que:
(*)
E agora temos duas opções: Tentar achar uma solução ou provar que este caso não possui nenhuma. Por isso é sempre importante testar valores, pois fazendo isso repetidas vezes possuímos uma intuição de qual seja a resposta ou solução do problema. Neste caso vemos que depois de repetidas tentativas, nossa hipótese indica que não hajam soluções e para tentar conseguir um absurdo pensemos que temos dois fatos:
e
Pensando em unir os dois, coloquemos e na equação original:
Mas de (*) temos logo:
Porém , absurdo!! E este caso não possui soluções. Vejamos que não foi tão difícil 🙂 e com as próximas técnicas presentes neste material iremos destruir problemas de equações funcionais, agora iremos introduzir uma grande técnica matemática: a indução.
- Indução:
Uma das técnicas mais utilizadas no mundo da matemática também está presente aqui. Basicamente a ideia é provarmos dentro dos , onde podemos tentar conseguir o a partir do e depois estender para os usando a própria equação. O passo de provarmos dos para os é um pouco mais complexo e iremos resumir com o fato de que basta provar que a função é contínua ou monótona (crescente ou decrescente no intervalo), porém explicaremos melhor dentro do exemplo a seguir.
Exemplo 1:
(Cauchy) Encontre todas as não constantes tais que:
e
Solução:
Vejamos primeiramente que por temos colocando , logo . Agora vejamos que por temos colocando , logo ou , se então por colocando temos para todo real e é constante, absurdo, pois pelo enunciado queremos achar todas as não constantes. Portanto e podemos começar a indução.
Colocando em então e então podemos aplicar nossa indução:
Base: e .
Hipótese: Suponha que para natural.
Passo Indutivo: Sabendo que , colocando :
Então a indução segue e para todo natural. Como , então colocando então logo . Usando vemos que , logo se é natural obtemos que e segue que para todo inteiro.
Começamos nos , passamos para os , agora o próximo passo são os . Sabemos que todo número racional pode ser escrito da forma , onde e são inteiros. Usando deste fato e colocando e em temos:
Então aqui vem o truque: como e são inteiros e sabemos que para os inteiros então:
E podemos afirmar que para todo racional. Aqui as coisas começam a ficar um pouco mais complexas, provaremos que é monótona crescente, ou seja, se y" /> então . Por sabemos que colocando e como todo número real positivo pode ser escrito como um quadrado de um número dentro dos reais então isto significa que se é real positivo então . Logo considerando um real positivo, se fizermos em temos:
Mas como é positivo então , logo:
Como pode ser qualquer valor positivo, então x" /> implica que e então a função é monótona crescente como queríamos. Agora iremos explorar a densidade dos racionais nos reais. É conhecido que entre quaisquer dois reais, existe um racional entre os mesmos. Usando deste fato, peguemos um real fixado, então:
se é uma sequência estritamente crescente de racionais onde temos que , logo ;
se é uma sequência estritamente decrescente de racionais onde temos que x" />, logo ;
Temos que vale que e colocando como um valor muito alto, tendendo ao infinito (poderíamos ser mais formais com limite, mas creio que não seja necessário), vejamos que as sequências irão se aproximar muito de , onde se e teremos que ou a sequência de ou de irá ultrapassar , pelo fato de que sempre há um racional entre dois reais e então teremos um absurdo na equação . Logo para todo real e facilmente podemos ver que esta função satisfaz nosso sistema.
Observação: Apesar de muito complexo e bem mecânico, recomendo o leitor a memorizar os passos, pois na grande maioria dos casos, a indução é feita de forma parecida. Há também outra técnica mais sotisfiticada aliada a indução chamada Base de Hamel, mas por ser bem complexa, acreditamos que possa ficar para outro material sua explicação.
- Substituições Simples:
Sempre coloque ou ou quando puder e tente achar o , já que o mesmo pode ajudar nos próximos passos do problema. Caso você não consiga achar isso se deva ao fato de que a solução possui alguma constante qualquer somada, por exemplo para algum , neste caso procure colocar substituições mais sofisticadas como para algum ou tente fazer com que apareçam expressões iguais nos dois lados para serem canceladas. Caso nada disso ainda der certo, é hora de começar a ler este guia! Segue um exemplo para nos aquecermos:
Exemplo 2:
Encontre todas as funções tais que:
Solução:
Primeiramente, em toda equação funcional sempre precisamos testar as variáveis mais óbvias como , pois estes são os passos iniciais que nos sugerem diversas dicas para nossa solução, como dito antes e a partir destes podemos gerar hipóteses de funções que possam funcionar e trabalhar para mostrar que elas de fato funcionam. Iremos demonstrar o poder dos passos básicos neste exemplo:
Colocando na equação original temos:
Colocando na equação original temos:
Agora substituindo por em :
E de e , como os lados esquerdos são iguais, então:
Mas de novamente temos que e juntando com a equação acima, sabemos que:
Substituindo em temos que de :
Portanto para todo real. Testando vemos que de fato esta função funciona.
- Simetria:
Podemos usar do fato das equações funcionais serem simétricas de apenas um lado da igualdade a nosso favor. Sempre atente para a troca do pelo e do pelo , vale lembrar que podemos forçar simetrias, mas isto veremos mais à frente.
Exemplo 3:
Encontre todas as funções tais que:
.
Solução:
Para melhor visualização, coloquemos como e como na equação principal, então teremos:
Agora coloquemos como e como :
Utilizando do fato do lado esquerdo ser simétrico para e podemos igualar as equações e e então temos:
De onde tiramos que , fazendo temos para todo real. Agora colocando como e como na equação original temos:
Multiplicando por :
E vejamos que como os lados esquerdos das equações e são iguais então , e se não é constante zero, temos que para todo real, mas então , absurdo. Logo só pode ser constante igual a zero.
Primeiramente não pare por aqui, pode parecer difícil, porém com as outras ferramentas presentes nesse material, as equações funcionais serão bem mais tranquilas. Vale salientar que a escrita é importante na hora da prova, sempre numere as equações que você achar em ordem, facilita muito para o corretor. Agora, se você se sente seguro no conceito de equações funcionais e já tentou os problemas abaixo, vamos para a aula 02.
Problema 1:
(Nórdica/98) Encontre todas as tais que:
.
Problema 2:
Encontre todas as funções tais que:
.
Problema 3:
Determine todas as funções tais que:
Problema 4:
(Cauchy Eq. F. Aditiva) Encontre todas as tais que:
.
Desafio: Mude para .
Problema 5:
(USAMO/2002) Determine todas as funções tais que:
.
Problema 6:
(IMO/2012) Encontre todas as , onde tais que:
Problema 7:
Encontre todas as tais que:
.
Problema 8:
(Cingapura 1999) Encontre todas as tais que:
.