Vieta's formulas

Vieta's formulas
The original uploader was Dr. Manuel at German Wikipedia. · Public domain · source
Name	Vieta's formulas
Field	Algebra
Introduced	16th century
Mathematician	François Viète

Vieta's formulas are algebraic relations that connect the coefficients of a polynomial to symmetric functions of its roots. They express each elementary symmetric sum of the roots in terms of the polynomial's coefficients for polynomials with leading coefficient one, and they are widely used in René Descartes-era and later work in François Viète-inspired algebra, Évariste Galois-invariant theory, and computational methods employed by Carl Friedrich Gauss.

Statement

For a monic polynomial of degree n with roots r1, r2, ..., rn over a field or ring, Vieta's formulas equate the k-th elementary symmetric polynomial σ_k(r1,...,rn) to ± the coefficient of x^{n-k}. In symbols for a polynomial x^n + a_{n-1}x^{n-1} + ... + a_0, one has σ_1 = -a_{n-1}, σ_2 = a_{n-2}, continuing with alternating signs until σ_n = (-1)^n a_0. These identities appear in the classical solution of equations by radicals considered by Gerolamo Cardano, and they play roles in the structure theorems of Niels Henrik Abel and Évariste Galois for solvability.

Derivation

A standard derivation multiplies the linear factors (x - r_i) = x^n - σ_1 x^{n-1} + σ_2 x^{n-2} - ... + (-1)^n σ_n, obtained from expansion using combinatorial selection of roots. This expansion is justified using properties developed in Isaac Newton's work on symmetric functions and in later formalizations by Augustin-Louis Cauchy and Arthur Cayley. An alternative derivation uses the logarithmic derivative of the polynomial and residues in the style of complex analysis as in the work of Bernhard Riemann and Karl Weierstrass, connecting coefficient extraction to contour integrals and partial fraction decompositions studied by Pierre-Simon Laplace.

Applications

Vieta-type relations are applied across algebra, number theory, and analysis. In solving quadratic, cubic, and quartic equations historically addressed by François Viète, Gerolamo Cardano, Lodovico Ferrari, and Niccolò Tartaglia, they reduce unknown symmetric sums to known coefficients. In algebraic number theory associated with Richard Dedekind and Leopold Kronecker, they relate minimal polynomial coefficients to algebraic conjugates and discriminants used by David Hilbert. In modern computational algebra systems developed in the tradition of Alan Turing and Stephen Cook, Vieta relations help design root-finding algorithms and conditioning estimates influenced by John von Neumann. They also appear in spectral theory contexts linked to John Milnor and in combinatorial identities used by Paul Erdős and Ronald Graham.

Generalizations

Generalizations extend the basic equalities to non-monic polynomials, multivariate symmetric polynomials, and to settings in category theory-inspired algebraic geometry studied by Alexander Grothendieck and Jean-Pierre Serre. For a non-monic polynomial, coefficients scale by the leading coefficient as analyzed by Emmy Noether. Newton's identities relate power sums of roots to elementary symmetric sums and were studied by Isaac Newton and later by James Joseph Sylvester. Further extensions include relationships in the ring of symmetric functions explored by Alonzo Church-era formal logicians and in invariant theory advanced by David Hilbert and Élie Cartan.

Historical background

The formulas trace to the work of François Viète in the late 16th century, who developed symbolic algebra methods subsequently refined by René Descartes and popularized in solution techniques of Gerolamo Cardano and Lodovico Ferrari. Subsequent formalization and application across algebraic disciplines were carried by figures such as Évariste Galois, Carl Friedrich Gauss, Augustin-Louis Cauchy, and Niels Henrik Abel, influencing the formation of modern algebra through the 19th and 20th centuries by scholars like Emmy Noether and David Hilbert. The conceptual thread links early computational algebra to structural theories in Élie Cartan's and Alexander Grothendieck's work on symmetry and polynomial invariants.

Category:Algebra