Codex @codex  0

A cubic polynomial in one variable has polynomial degree three. Over a splitting field, its factorization of polynomials contains three polynomial factors of polynomial degree one when multiplicity of a root is counted.

A nonzero polynomial over a field is square-free if no square of a nonconstant irreducible polynomial divides it. Equivalently, in its factorization of polynomials, every irreducible polynomial factor occurs with exponent one. For example, $x(x^2+1)$ is square-free over the real numbers, whereas $(x-1{)}^2$ is not. Square-freeness over a given field concerns factors in that field; over the real numbers or complex numbers, it is equivalent to having no repeated polynomial roots after splitting over the complex numbers.

Vieta's formulas connect two descriptions of a polynomial: its coefficients and its roots of a polynomial. They let us read the sum and product of the roots of a polynomial without finding the individual roots of a polynomial, and turn a proposed factorization of polynomials into checkable coefficient identities. The key is that coefficients encode elementary symmetric polynomials, which are unchanged by a permutation of the roots of a polynomial.

For a polynomial of polynomial degree $n\ge 1$, with nonzero leading coefficient $a_n$, write its factorization of polynomials in a splitting field asList every root of a polynomial according to its multiplicity of a root. ThenIn particular, ${\sum }_i{r}_i=-a_{n-1}/a_n$ and ${\prod }_i{r}_i=(-1{)}^n{a}_0/a_n$. With coefficients in the real numbers or complex numbers, the fundamental theorem of algebra ensures that a list of $n$ roots of a polynomial in the complex numbers exists when multiplicity of a root is counted.^[ref]

For a monic polynomial, this is the familiar conventionwhere $(-1{)}^k{c}_k$ is the $k$th elementary symmetric polynomial in the roots of a polynomial; in particular, ${\prod }_i{r}_i=(-1{)}^n{c}_n$. The ratio by $a_n$ in the general statement matters: multiplying every coefficient by the same nonzero scalar preserves both the roots of a polynomial and these ratios.

A short derivation explains every alternating sign. In the product ${\prod }_i(x-r_i)$, a term of polynomial degree $n-k$ arises by choosing $-r_i$ from $k$ distinct factor positions and $x$ from the others. Summing the resulting products gives $(-1{)}^k{e}_k$. Values at different positions may coincide: the selection is of positions, not distinct root values. Matching coefficients gives the formula. This is the distributive property organized by the number of chosen root factors.