Per le equazioni di secondo grado conosciamo le relazioni di Vieta x1+x2=b/ax_1+x_2=-b/a, x1x2=c/ax_1x_2=c/a. Il teorema fondamentale dell’algebra, garantendo nn radici, permette di estenderle a un polinomio qualsiasi: P(x)=anxn+an1xn1++a1x+a0,an0.P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0, \qquad a_n\ne 0.

Proprietà — Relazioni di Vieta generalizzate

Siano r1,r2,,rnr_1,r_2,\ldots,r_n le nn radici in C\mathbb{C} di PP (contate con molteplicità). Allora: σ1=iri=an1an,σ2=i<jrirj=+an2an,σ3=i<j<krirjrk=an3an,σn=r1r2rn=(1)na0an.\begin{aligned} \sigma_1 = \sum_{i} r_i &= -\frac{a_{n-1}}{a_n}, \\ \sigma_2 = \sum_{i<j} r_i r_j &= +\frac{a_{n-2}}{a_n}, \\ \sigma_3 = \sum_{i<j<k} r_i r_j r_k &= -\frac{a_{n-3}}{a_n}, \\ &\,\vdots \\ \sigma_n = r_1 r_2\cdots r_n &= (-1)^n \frac{a_0}{a_n}. \end{aligned} In generale σk=(1)kank/an\sigma_k = (-1)^k a_{n-k}/a_n.

Idea della dimostrazione. Dalla fattorizzazione P(x)=an(xr1)(xr2)(xrn)P(x)=a_n(x-r_1)(x-r_2)\cdots(x-r_n), si sviluppa il prodotto e si confrontano i coefficienti di xnkx^{n-k}: a destra si ottiene esattamente (1)kanσk(-1)^k a_n\,\sigma_k, a sinistra anka_{n-k}. ∎

Esempio — Polinomio di terzo grado

P(x)=x36x2+11x6=(x1)(x2)(x3)P(x)=x^3-6x^2+11x-6=(x-1)(x-2)(x-3), con radici 1,2,31,2,3. σ1=1+2+3=6=a2/a3=(6)/1  σ2=12+13+23=11=a1/a3  σ3=123=6=a0/a3=(6)/1  \begin{aligned} \sigma_1 &= 1+2+3 = 6 = -a_2/a_3 = -(-6)/1 \;✓ \\ \sigma_2 &= 1\cdot 2 + 1\cdot 3 + 2\cdot 3 = 11 = a_1/a_3 \;✓ \\ \sigma_3 &= 1\cdot 2\cdot 3 = 6 = -a_0/a_3 = -(-6)/1 \;✓ \end{aligned}

Esempio — Senza calcolare le radici

Dato P(x)=2x45x3+x2+7x3P(x)=2x^4-5x^3+x^2+7x-3, calcolare r1+r2+r3+r4r_1+r_2+r_3+r_4 e r1r2r3r4r_1r_2r_3r_4 senza risolvere: σ1=52=52,σ4=(+1)32=32.\sigma_1 = -\frac{-5}{2} = \frac{5}{2}, \qquad \sigma_4 = (+1)\cdot\frac{-3}{2} = -\frac{3}{2}. Funziona anche quando non sappiamo trovare le radici esplicitamente.

Collegamenti

Argomenti: Numeri complessi
Concetti: Relazioni di vieta · Teorema fondamentale algebra
Metodi: Vieta generalizzate
Competenze: Dimostrare · Usare formule
Persone: François Viète (Vieta)