Fórmulas de Viète

Em matemática, as fórmulas de Viète são fórmulas que relacionam os coeficientes de um polinômio a somas e produtos de suas raízes. Esta denominação deve-se a François Viète, e são usadas especialmente em álgebra.

Leis

Fórmulas básicas

Um polinômio geral qualquer de grau n

$P(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$

(sendo os coeficientes números reais ou complexos e a_n ≠ 0) tem, conforme estabelece o teorema fundamental da álgebra, n raízes complexas (não necessariamente distintas) x₁, x₂, ..., x_n. As fórmulas de Vieta relacionam os coeficientes do polinômio { a_k } com somas e produtos (positivos ou negativos) de suas raízes { x_i } como segue:

$\{\begin{array}{c}{x}_1+x_2+\dots +x_{n-1}+x_n=-\frac{a_{n-1}}{a_n}\\ (x_1{x}_2+x_1{x}_3+\cdots +x_1{x}_n)+(x_2{x}_3+x_2{x}_4+\cdots +x_2{x}_n)+\cdots +x_{n-1}{x}_n=\frac{a_{n-2}}{a_n}\\ ⋮\\ x_1{x}_2\dots x_n=(-1{)}^n\frac{a_0}{a_n}.\end{array}$

Estabelecido de forma equivalente, o (n − k)-ésimo coeficiente a_n−k é relacionado à soma acrescida de sinal de todos os possíveis subprodutos de raízes, tomando k por exemplo:

$\sum _{1\le i_1<i_2<\cdots <i_k\le n}{x}_{i_1}{x}_{i_2}\cdots x_{i_k}=(-1{)}^k\frac{a_{n-k}}{a_n}$

para k = 1, 2, ..., n (onde os índices i_k são expressos em ordem crescente, a fim de garantir que cada subproduto de raízes seja considerado apenas uma vez).

Generalização para anéis

As fórmulas de Viète são frequentemente usadas com polinômios com coeficientes em um domínio de integridade R. Neste caso os quocientes $a_i/a_n$ pertencem ao anel de frações de R (ou em R mesmo se $a_n$ é inversível em R) e as raízes $x_i$ são tomadas em um corpo algebricamente fechado. Tipicamente, R é o anel dos inteiros, o campo das frações é o campo dos números racionais e o campo algebricamente fechado é o campo dos números complexos.

As fórmulas de Viète são fudamentais nestas situações, porque fornecem relações entre as raízes sem a necessidade de as determinar.

Para polinômios sobre um anel comutativo que não é um domínio de integridade, as fórmulas de Viète são válidas somente quando $a_n$ é um zero não-divisor e $P(x)$ é fatorado como $a_n(x-x_1)(x-x_2)\dots (x-x_n)$. Por exemplo, no anel dos inteiros módulo 8, o polinômio $P(x)=x^2-1$ tem quatro raízes: 1, 3, 5 e 7. As fórmulas de Viète não são válidas se, por exemplo, $x_1=1$ e $x_2=3$, porque $P(x)\ne (x-1)(x-3)$. Contudo, $P(x)$ fatora como $(x-1)(x-7)$ e como $(x-3)(x-5)$, e as fórmulas de Viète são válidas se fixamos $x_1=1$ e $x_2=7$ ou $x_1=3$ e $x_2=5$.

Exemplos gerais

Fórmulas de Viète aplicadas a polinômios quadráticos e cúbicos:

Para polinômios de segundo grau $P(x)=a{x}^2+bx+c$, as raízes $x_1,x_2$ da equação $P(x)=0$ satisfazem

$x_1+x_2=-\frac{b}{a},x_1{x}_2=\frac{c}{a}.$

A primeira destas equações pode ser usada para encontrar o mínimo (ou máximo) de P.

Para o polinômio cúbico $P(x)=a{x}^3+b{x}^2+cx+d$, as raízes $x_1,x_2,x_3$ da equação $P(x)=0$ satisfazem

$x_1+x_2+x_3=-\frac{b}{a},x_1{x}_2+x_1{x}_3+x_2{x}_3=\frac{c}{a},x_1{x}_2{x}_3=-\frac{d}{a}.$

Prova

As fórmulas de Viète podem ser provadas por expansão da igualdade

$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0=a_n(x-x_1)(x-x_2)\cdots (x-x_n)$

que é verificada como válida sendo $x_1,x_2,\dots ,x_n$ todas raízes deste polinômio, expandindo esta expressão e identificando os coeficientes de cada potência de $x.$

Formalmente, expandindo $(x-x_1)(x-x_2)\cdots (x-x_n),$ os termos são exatamente $(-1{)}^{n-k}{x}_1^{b_1}\cdots x_n^{b_n}{x}^k,$ onde $b_i$ é 0 ou 1, sendo $x_i$ incluído no produto ou não, e k é o número de $x_i$ que são excluídos, sendo o número total de fatores no produto n (contando $x^k$ com multiplicidade k) – havendo n escolhas binárias (inclusive $x_i$ ou x), há $2^n$ termos – geometricamente, estes podem ser entendidos como os vértices de um hipercubo. Agrupando estes termos por grau é obtido o polinômio simétrico elementar em $x_i$ – para x^k, todos os distintos k-ésimos produtos de $x_i.$

Ver também

• Identidades de Newton
• Propriedades de raízes de polinômios
• Teorema das raízes racionais

References

• Predefinição:Springer
• Predefinição:Citation

• Predefinição:Citation

• Predefinição:Citation