Hoje vou fazer uma pequena demonstração por absurdo, justamente para complementar o que o Eduardo já havia escrito. Será sobre uma propriedade interessante de polinômios em C (onde C é o conjunto dos números complexos). Caso queira rever o post do Eduardo, clique Aqui.
Sabemos que existem funções de C em R. Claro, se definirmos z=a+bi, temos que a função f(z) = a+b é uma função de C em R, mas esta função não é um polinômio. Reparem que ela equivale à função f(x) = x para os reais, mas não apresenta a mesma propriedade para os complexos. Então, podemos nos perguntar: será que existe um polinômio de C em R? É isso que vamos descobrir nessa postagem.
Problema 1: Existe um polinômio com coeficientes reais e domínio nos números complexos tal que, para todo complexo a+bi, sua imagem é um número real?
Resolução: Suponhamos que sim: Suponhamos que tal polinômio seja
Pela propriedade dos números reais, temos que ter
Mas isto equivale a dizer que
Mas, temos que, pela propriedade dos números complexos,
Onde
Logo, temos que nossa expressão se torna
Porém, tomando qualquer α irracional positivo fixo, temos que esta expressão se torna um polinômio de variável |z|. Mas este polinômio tem no máximo n raízes reais positivas, o que contraria o fato dele atender a infinitos valores de |z|. Absurdo! E isto completa nossa prova.
Problema 2 (caso geral): Existe um polinômio de com coeficientes complexos e domínio nos números complexos que associa a cada complexo um real?
Resolução: Comecemos com o mesmo polinômio anterior. Porém, pelos coeficientes serem complexos, não podemos afirmar que o conjugado da função é a função do conjugado (verifique!). Portanto, devemos ter
Mas, temos que
Então,
Que faz que a expressão original seja
Se definirmos, como antes, um β irracional positivo, então obteremos um polinômio de grau n na variável |z| novamente, o que nos implica que um polinômio com no máximo n raízes reais positivas deve ter infinitas raízes reais positivas. Absurdo, novamente!
Bom, espero que tenham gostado do texto. Para avaliá-lo, é só clicar nas caixinhas abaixo. Comente o quanto quiser também, sua opinião, desde que respeitosa, sempre é bem-vinda.
Lembre-se: Caso não tenha entendido as passagens sobre números complexos, clique Aqui, Aqui, Aqui e Aqui para saber mais sobre estes números.
Comentários
Postar um comentário
Você pode comentar! A equipe do blog encoraja todos a comentar.
Porém, lembre-se que comentários que desrespeitem as regras abaixo serão excluídos:
-É proibido ofender qualquer pessoa ou grupo em seu comentário.
-Os comentários deverão ser minimamente relacionados com o tópico. Lembrem-se, estamos falando de um blog de matemática!
-Proibido flood.
-Proibido palavras de baixo calão.
-Proibido colocar qualquer tipo de conteúdo improprio para menores de 18 anos (há menores de idade que acessam o blog).
A equipe do blog agradece seu comentário, e tenha certeza que será muito enriquecedor. Tentaremos respondê-los o quanto antes possível.