Vamos a introducir un poco de la notación primero: vamos a $f(x) = x^n + a_{n-1}x^{n-1} + \ldots + a_1 x + a_0$ donde cada una de las $a_i \in \mathbb{C}$ (si el coeficiente de $x^n$ no $1$, el factor de la polinomio). Entonces el teorema fundamental del álgebra nos dice que $f$ $n$ (no necesariamente distintos raíces) $\omega_1,\ldots,\omega_n$. Luego también podemos escribir $f(x) = (x - \omega_1)(x - \omega_2)\cdots (x - \omega_n)$. Si multiplicamos esta todo e igualar los coeficientes, podemos expresar cada una de las $a_i$ en términos de las raíces; en este sentido, el $a_i$'s son funciones de las raíces, y podemos escribir $a_i(\omega_1,\ldots,\omega_n)$. Si se va a multiplicar, esto $a_i$ va a ser un polinomio en $n$ variables
Ahora, dada una función de $n$ variables $g(x_1,x_2,\ldots,x_n)$, podemos decir que el $g$ es una función simétrica iff $g(x_1,x_2,\ldots,x_n) = g(x_{\sigma(1)},x_{\sigma(2)},\ldots,x_{\sigma(n)})$ por cada $\sigma \in S_n$. Es decir, $g$ es una función simétrica si podemos permutar las variables sin cambio de la función. Vemos entonces que el $a_i$'s puede ser visto como simétrica de las funciones de las raíces en que podemos permutar el orden de las raíces sin cambiar los coeficientes. Es decir, la función $a_i(\omega_1,\ldots,\omega_n)$ es un polinomio simétrico en $n$ variables.