Para facilitar, suponhamos que o polinômio de grau n P seja mônico. Sejam
z_1, , z_n suas n raízes não necessariamente distintas. Para todo
complexo z, temos que
P(z) = ( z - z_1) (z - z_n)
Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as relações
de Girard.
Se o polinômio não for mônico,. dividindo-se seus coeficientes pelo
coeficiente líder, provamos as relações de Girard para o caso geral.
Artur
Em qui, 5 de nov de 2020 14:03, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:
> Alguém tem uma forma de provar as relações de girard sem usar indução?
>