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 então
onde
. 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
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
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
, 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:
.