יהי פולינום במשתנה יחיד ממעלה ${\displaystyle n\geq 1}$

${\displaystyle P(z)=\sum _{k\,=\,0}^{n}a_{k}z^{k}\in \mathbb {C} [z]}$

לפי המשפט היסודי של האלגברה יש לו ${\displaystyle n}$ פתרונות מרוכבים (עם ריבוי). לכן ניתן לרשום:

${\displaystyle P(z)=a_{n}\prod _{k\,=\,1}^{n}(z-z_{k})}$

כידוע, נוסחאות ויאטה מקשרות בין מקדמי הפולינום ובין שורשיו:

${\displaystyle {\begin{cases}z_{1}+\cdots +z_{n}=-{\dfrac {a_{n-1}}{a_{n}}}\\(z_{1}z_{2}+\cdots +z_{1}z_{n})+(z_{2}z_{3}+\cdots +z_{2}z_{n})+\cdots +z_{n-1}z_{n}={\dfrac {a_{n-2}}{a_{n}}}\\(z_{1}z_{2}z_{3}+\cdots +z_{1}z_{2}z_{n})+(z_{1}z_{3}z_{4}+\cdots +z_{1}z_{3}z_{n})+\cdots +(z_{2}z_{3}z_{4}+\cdots +z_{2}z_{n-1}z_{n})+\cdots +z_{n-2}z_{n-1}z_{n}=-{\dfrac {a_{n-3}}{a_{n}}}\\\vdots \\z_{1}\!\cdots z_{n}=(-1)^{n}{\dfrac {a_{0}}{a_{n}}}\end{cases}}}$

כפי שניתן לראות, סכומים אלה הם פולינומים סימטריים, והם נקראים פולינומים סימטריים אלמנטריים.

הפולינומים הסימטריים האלמנטריים במשתנים ${\displaystyle X_{1},\ldots ,X_{n}}$, מוגדרים כך:

${\displaystyle {\begin{aligned}E_{1}({\vec {X}}{}^{n})&=\sum _{1\leq i\leq n}X_{i}\\[5pt]E_{2}({\vec {X}}{}^{n})&=\sum _{1\leq i_{1}<i_{2}\leq n}\!\!\!\!X_{i_{1}}X_{i_{2}}\\&\,\,\,\vdots \\[5pt]E_{k}({\vec {X}}{}^{n})&=\sum _{1\leq i_{1}<\cdots <i_{k}\leq n}\!\!\!\!\!\!X_{i_{1}}\!\cdots X_{i_{k}}\\&\,\,\,\vdots \\[5pt]E_{n}({\vec {X}}{}^{n})&=X_{1}\!\cdots X_{n}\end{aligned}}}$

הפרק הקודם: תמורות וסימטריה

פולינומים סימטריים אלמנטריים תרגילים

הפרק הבא: המשפט היסודי של הפולינומים הסימטריים