miniatura|Ehrenfried Walther von Tschirnhaus
Em matemática, uma transformação de Tschirnhaus, também conhecida como transformação de Tschirnhausen, é um tipo de mapeamento em polinômios desenvolvido por Ehrenfried Walther von Tschirnhaus em 1683.
Simplificando, é um método para transformar uma equação polinomial de grau com alguns coeficientes intermediários não nulos, , de tal modo que alguns ou todos os coeficientes intermediários transformados, , sejam exatamente zero.
Por exemplo, encontrar uma substituiçãopara uma equação cúbica de grau ,de forma que a substituição de produza uma nova equaçãona qual , , ou ambos.
De forma mais geral, ela pode ser definida convenientemente por meio da teoria de corpos, como a transformação em polinômios mínimos implicada por uma escolha diferente de elemento primitivo. Esta é a transformação mais geral de um polinômio irredutível que leva uma raiz a alguma função racional aplicada a essa raiz.
Definição Para uma equação polinomial mônica e redutível genérica de grau , , da forma , onde e são polinômios e não se anula em ,a transformação de Tschirnhaus é a função:Tal que a nova equação em , , possua certas propriedades especiais, mais comumente de modo que alguns coeficientes, , sejam identicamente nulos.C. B. Boyer (1968) A History of Mathematics. Wiley, Nova Iorque pp. 472-473. Conforme relatado por:
Exemplo: O método de Tschirnhaus para equações cúbicas Em seu artigo de 1683, Tschirnhaus encontrou as raízes do polinômio
usando a mudança de variáveis
e a sua inversa
Substituindo por em , e expandindo as potências de na fórmula resultante, obtém-se o polinômio transformado com os coeficientes
O termo quadrático em pode ser eliminado definindo , e a resolução para determina o parâmetro como . Assim, a transformação de Tschirnhaus
pode ser substituída em
para produzir um polinômio da forma
As raízes do polinômio original podem ser obtidas a partir das raízes deste polinômio transformado pela mesma transformação. Tschirnhaus prosseguiu descrevendo como uma transformação de Tschirnhaus da forma
pode ser usada para eliminar dois coeficientes de uma maneira semelhante.
Generalização Em detalhes, seja um corpo, e um polinômio sobre . Se for irredutível, então o anel quociente do anel de polinômios pelo ideal principal gerado por ,
,
é uma extensão de corpo de . Temos
onde é módulo . Isto é, qualquer elemento de é um polinômio em , que é, por conseguinte, um elemento primitivo de . Haverá outras escolhas de elemento primitivo em : para qualquer uma dessas escolhas de teremos, por definição:
,
com polinômios e sobre . Agora, se for o polinômio mínimo para sobre , podemos chamar de uma transformação de Tschirnhaus de .
Portanto, o conjunto de todas as transformações de Tschirnhaus de um polinômio irredutível deve ser descrito como abrangendo todas as maneiras de alterar , mas mantendo inalterado. Este conceito é usado na redução de quínticas para a forma de Bring-Jerrard, por exemplo. Existe uma conexão com a teoria de Galois, quando é uma extensão de Galois de . O grupo de Galois pode então ser considerado como todas as transformações de Tschirnhaus de em si mesmo.
História Em 1683, Ehrenfried Walther von Tschirnhaus publicou um método para reescrever um polinômio de grau de tal modo que os termos e tivessem coeficientes nulos. Em seu artigo, Tschirnhaus referenciou um método de René Descartes para reduzir um polinômio quadrático de tal forma que o termo em tivesse coeficiente nulo.
Em 1786, este trabalho foi expandido por Erland Samuel Bring, que mostrou que qualquer polinômio quíntico genérico poderia ser reduzido de maneira semelhante.
Em 1834, George Jerrard expandiu ainda mais o trabalho de Tschirnhaus, demonstrando que uma transformação de Tschirnhaus poderia ser usada para eliminar , e de um polinômio geral de grau .
Ver também Completamento de quadrados Transformações polinomiais Polinômio mônico Polinômio irredutível Função quíntica Teoria de Galois Teorema de Abel-Ruffini
Referências
Categoria:Polinómios Categoria:Teoria de corpos