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 < [email protected]> escreveu: > Alguém tem uma forma de provar as relações de girard sem usar indução? >
