הוכחות מתמטיות/שונות/פולינום סימטרי/פולינומים סימטריים אלמנטריים

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

P (z) = \sum_{k = 0}^{n} a_{k} z^{k} \in ℂ [z]

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

P (z) = a_{n} \prod_{k = 1}^{n} (z - z_{k})

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

{\begin{matrix} z_{1} + \dots + z_{n} = - \frac{a_{n - 1}}{a_{n}} \\ (z_{1} z_{2} + \dots + z_{1} z_{n}) + (z_{2} z_{3} + \dots + z_{2} z_{n}) + \dots + z_{n - 1} z_{n} = \frac{a_{n - 2}}{a_{n}} \\ (z_{1} z_{2} z_{3} + \dots + z_{1} z_{2} z_{n}) + (z_{1} z_{3} z_{4} + \dots + z_{1} z_{3} z_{n}) + \dots + (z_{2} z_{3} z_{4} + \dots + z_{2} z_{n - 1} z_{n}) + \dots + z_{n - 2} z_{n - 1} z_{n} = - \frac{a_{n - 3}}{a_{n}} \\ ⋮ \\ z_{1} \dots z_{n} = (- 1)^{n} \frac{a_{0}}{a_{n}} \end{matrix}

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

הגדרה

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

\begin{matrix} E_{1} (\vec{X}^{n}) & = \sum_{1 \leq i \leq n} X_{i} \\ E_{2} (\vec{X}^{n}) & = \sum_{1 \leq i_{1} < i_{2} \leq n} X_{i_{1}} X_{i_{2}} \\ ⋮ \\ E_{k} (\vec{X}^{n}) & = \sum_{1 \leq i_{1} < \dots < i_{k} \leq n} X_{i_{1}} \dots X_{i_{k}} \\ ⋮ \\ E_{n} (\vec{X}^{n}) & = X_{1} \dots X_{n} \end{matrix}