Théorème de Grace–Walsh–Szegő

Supposons que ƒ(z₁, ..., z_n) est un polynôme à coefficients complexes, et qu'il est

• symétrique, c'est-à-dire invariant par permutation des variables, et
• multi-affine, c'est-à-dire affine selon chaque variable séparément.

Soit A une région circulaire dans le plan complexe. Si A est convexe ou si le degré de ƒ est n, alors pour tout ${\displaystyle \zeta _{1},\ldots ,\zeta _{n}\in A}$ il existe ${\displaystyle \zeta \in A}$ tels que

${\displaystyle f(\zeta _{1},\ldots ,\zeta _{n})=f(\zeta ,\ldots ,\zeta ).\,}$