Fórmules de Viète

En matemàtiques, més específicament en àlgebra, les fórmules de Viète, anomenades així en honor de François Viète, són fórmules que relacionen les arrels d'un polinomi amb els seus coeficients.

Les fórmules

Si

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

És un polinomi de grau $n\ge 1$ amb coeficients complexos (per tant, els nombres $a_0,a_1,\dots ,a_{n-1},a_n$ són complexos amb $a_n\ne 0$), pel teorema fonamental de l'àlgebra $P(X)$ té $n$ (no necessàriament diferents) arrels complexes $x_1,x_2,\dots ,x_n.$ Les fórmules de Viète estableixen que

$\{\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}$

En altres paraules, la suma de tots els possibles productes de $k$ arrels de $P(X)$ (amb els índexs en cada producte en ordre creixent de forma que no hi hagi repeticions) és igual a $(-1{)}^k{a}_{n-k}/a_n,$

$\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}$

Per a cada $k=1,2,\dots ,n.$

Les fórmules de Viète també es compleixen de forma més general per a polinomis amb coeficients en qualsevol anell commutatiu, en la mesura en què aquest polinomi de grau $n$ tingui $n$ arrels en aquest anell.

Exemple

Per al polinomi de segon grau $P(X)=a{X}^2+bX+c$, les fórmules de Viète estableixen que les solucions $x_1$ i $x_2$ de l'equació $P(X)=0$ satisfan

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

La primera d'aquestes equacions es pot er servir per a trobar el mínim (o el màxim) de P. Vegeu Equació de segon grau.

Demostració

Les fórmules de Viète es poden demostrar escrivint la igualtat

$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 és certa donat que $x_1,x_2,\dots ,x_n$ són totes les arrels d'aquest polinomi), multiplicant els factors del cantó dret, i identificant els coeficients de cada potència de $X.$

Referències

• Plantilla:Ref-llibre

• Plantilla:Ref-llibre