ערך מחפש מקורות
	רובו של ערך זה אינו כולל מקורות או הערות שוליים, וככל הנראה, הקיימים אינם מספקים. אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים. אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה.

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

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

מן המשפט נובע שכל פולינום לא קבוע מעל המרוכבים מקבל כל ערך מרוכב (כלומר הוא מעתיק את המישור המרוכב על עצמו). זאת מכיוון שהטענה שלמשוואה ${\displaystyle p(z)=z_{0}}$ יש פתרון שקולה לטענה שלפולינום ${\displaystyle p(z)-z_{0}}$ יש שורש.

מסקנה חשובה של המשפט היא מיון פולינומים אי-פריקים מעל הממשיים. יהי פולינום

${\displaystyle p(x)=x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}}$

בעל מקדמים ממשיים ונאמר שהוא אי-פריק מעל הממשיים. נפרק אותו לגורמים ליניאריים מעל המרוכבים:

${\displaystyle p(z)=(z-\alpha _{1})(z-\alpha _{2})\cdots (z-\alpha _{n})}$

אפשר לראות די בקלות כי עבור שורש מרוכב של ${\displaystyle p}$, גם הצמוד של מספר זה הוא שורש מרוכב של ${\displaystyle p}$.

לכן ניתן לכתוב מחדש ${\displaystyle p(z)=(z-\beta _{1})(z-{\bar {\beta }}_{1})\cdots }$ כאשר ${\displaystyle \beta _{1}}$ שורש לא ממשי (בהנחה שיש כזה, אם אין אזי ${\displaystyle p}$ בבירור ליניארי כי הוא אי-פריק) ועכשיו, ניתן להסתכל על ${\displaystyle p}$ כמכפלה של ${\displaystyle (z-\beta _{1})(z-{\bar {\beta }}_{1})}$ פולינום ממשי (אם נפתח סוגריים, נראה כי כל המקדמים ממשיים) ופולינום מרוכב אחר. הפולינום המרוכב הזה הוא גם ממשי, כי הוא מכפלה של ביטויים מצורה דומה. לכן, בהנחה שהפולינום הנוסף הזה הוא לא הפולינום הקבוע 1, קיבלנו סתירה לאי-פריקות ${\displaystyle p}$ מעל הממשיים. סך הכול קיבלנו את המשפט הבא:

נניח ${\displaystyle p:\mathbb {C} \to \mathbb {C} }$ פולינום לא קבוע ללא שורשים מרוכבים, המקיים ${\displaystyle \lim _{z\to \infty }|p(z)|=\infty }$. אם נתבונן בפונקציה ${\displaystyle g(z)={\frac {1}{p(z)}}}$, הגבול שלה באינסוף הוא 0, ומהיותה פונקציה שלמה (כהרכבה של פונקציות שלמות כאשר ל-${\displaystyle p(z)}$ אין אפסים) בפרט היא גם חסומה. ממשפט ליוביל נקבל שהפונקציה ${\displaystyle p(z)}$ קבועה, וזאת בסתירה להנחה המקורית שהפולינום ${\displaystyle p(z)}$ לא קבוע. כלומר לפולינום לא קבוע מעל המרוכבים יש לפחות שורש מרוכב אחד.

עקרון המינימום הוא מסקנה מעקרון המקסימום:

תהי ${\displaystyle f:U\to \mathbb {C} }$ פונקציה הולומורפית לא קבועה, כאשר ${\displaystyle U}$ קבוצה פתוחה וקשירה. אזי קיים ל-${\displaystyle |f(z)|}$ מינימום מקומי ב-${\displaystyle z_{0}}$ אם ורק אם ${\displaystyle f(z_{0})=0}$.

הוכחת עקרון המינימום היא בדרך בשלילה, תוך התבוננות בפונקציה ${\displaystyle {\frac {1}{f(z)}}}$ המקבלת מקסימום מקומי ב-${\displaystyle z_{0}}$ – בסתירה לעקרון המקסימום.

פולינום ${\displaystyle p:\mathbb {C} \to \mathbb {C} }$ הוא פונקציה כזו. אזי מתקיים ${\displaystyle \lim _{z\to \infty }|p(z)|=\infty }$. מעקרון המינימום, קיים ${\displaystyle z_{0}\in \mathbb {C} }$ כלשהו עבורו ${\displaystyle |p(z_{0})|=\min _{z\,\in \,\mathbb {C} }|p(z)|}$ ולכן ${\displaystyle p(z_{0})=0}$.

הוכחה זו מבוססת על משפט ערך הביניים, ממנו ניתן להסיק כי לכל פולינום ממעלה אי-זוגית מעליו יש שורש (ממשי). מכאן שפולינום אי-פריק ממעלה אי-זוגית מוכרח להיות ליניארי.

נניח בשלילה שקיימת הרחבה ממימד סופי ${\displaystyle K/\mathbb {C} }$. מכיוון שגם ${\displaystyle K/\mathbb {R} }$ ממימד סופי, קיימת הרחבה נורמלית ממימד סופי המכילה אותה. מכיוון שכל הרחבה נורמלית מעל שדה ממאפיין אפס היא ספרבילית, נובע כי ${\displaystyle K}$ היא הרחבת גלואה.

תהי ${\displaystyle G={\text{Gal}}(K/\mathbb {R} )}$ חבורת גלואה של ההרחבה ${\displaystyle K/\mathbb {R} }$. תהי ${\displaystyle H}$ חבורת 2-סילו של ${\displaystyle G}$. האינדקס ${\displaystyle [G:H]}$ של ${\displaystyle H}$ ב-${\displaystyle G}$ הוא אי זוגי. לכן הממד של שדה השבת ${\displaystyle L=K^{H}}$ מעל ${\displaystyle \mathbb {R} }$ הוא אי-זוגי, אבל אז הפולינום המינימלי של כל איבר הוא ליניארי, כלומר ${\displaystyle L=\mathbb {R} }$. מהמשפט היסודי של תורת גלואה נובע כי ${\displaystyle G=H}$, כלומר ${\displaystyle G}$ היא חבורת-2, כלומר הסדר שלה הוא חזקה של 2. לכן קיימת לה תת-חבורה מאינדקס 2. שוב מהמשפט היסודי של תורת גלואה נובע שקיימת הרחבת ביניים ${\displaystyle \mathbb {C} \leq M\leq K}$ כך ש-${\displaystyle [M:\mathbb {C} ]=[G:N]=2}$. אבל כל פולינום ממעלה 2 מעל ${\displaystyle \mathbb {C} }$ מתפרק לגורמים ליניאריים לפי הנוסחה לפתרון משוואה ממעלה שנייה והוצאת שורש לפי משפט דה מואבר. מכאן ${\displaystyle N=1}$ והממד של ${\displaystyle K}$ מעל הממשיים הוא 2, כלומר ${\displaystyle K=\mathbb {C} }$.

הוכחה זו מסתמכת על החבורה היסודית של מעגל היחידה, שכידוע מקיימת ${\displaystyle \pi _{1}(S^{1},1)\cong \mathbb {Z} }$. נשתמש בסימון ${\displaystyle \alpha _{n}}$ למסילה ${\displaystyle \alpha _{n}(s)=e^{2\pi isn}}$ שמקיפה את המעגל ${\displaystyle n}$ פעמים (כשהסימן של ${\displaystyle n}$ הוא הכיוון). אנו יודעים כי כל מסילה כזו נמצאת במחלקת שקילות אחרת בחבורה היסודית של מעגל היחידה.

יהי ${\displaystyle p(z)}$ פולינום מדרגה ${\displaystyle n}$. נוכל להניח ללא הגבלת הכלליות כי הפולינום מתוקן ונוכל לרשום ${\displaystyle p(z)=z^{n}+a_{n-1}z^{n-1}+\cdots +a_{0}}$. נניח כעת כי לפולינום אין שורשים, ונוכיח כי ${\displaystyle n=0}$.

לכל ${\displaystyle 0\leq r\in \mathbb {R} }$ נגדיר מסילה ${\displaystyle f_{r}(s)={\frac {p(re^{2\pi is})/p(r)}{|p(re^{2\pi is})/p(r)|}}}$. קל להבחין כי זו מסילה על מעגל היחידה (${\displaystyle S^{1}\subset \mathbb {C} }$) עם נקודות קצה ${\displaystyle f_{r}(0)=f_{r}(1)=1}$.

עבור ${\displaystyle r=0}$, מתקיים ${\displaystyle f_{0}(s)={\frac {p(0)/p(0)}{|p(0)/p(0)|}}=1}$, ולכן ${\displaystyle f_{0}=\alpha _{0}}$.

בנוסף, ברור כי לכל ${\displaystyle r}$ המסילות ${\displaystyle f_{r},f_{0}}$ הן הומוטופיות (בעזרת ההומוטופיה ${\displaystyle F(t,s)=f_{t}(s)}$), ומכאן ${\displaystyle f_{r}\sim f_{0}=\alpha _{0}}$.

נקבע ${\displaystyle r>\max {\Big \{}1,|a_{n-1}|+\cdots +|a_{0}|{\Big \}}}$. כעת לכל ${\displaystyle z}$ כאשר ${\displaystyle |z|=r}$ מתקיים:

${\displaystyle {\begin{aligned}|a_{n-1}z^{n-1}+\cdots +a_{0}|&\leq |a_{n-1}||z^{n-1}|+\cdots +|a_{0}|\\&=|a_{n-1}|r^{n-1}+\cdots +|a_{0}|\\&\leq |a_{n-1}|r^{n-1}+\cdots +|a_{0}|r^{n-1}\\&=r^{n-1}(|a_{n-1}|+\cdots +|a_{0}|)\\&<r^{n}=|z^{n}|\end{aligned}}}$

כלומר ${\displaystyle |a_{n-1}z^{n-1}+\cdots +a_{0}|<|z^{n}|}$.

מכאן שלכל ${\displaystyle t\in [0,1]}$ לפולינום ${\displaystyle p_{t}(z)=z^{n}+t(a_{n-1}z^{n-1}+\cdots +a_{0})}$ אין שורשים המקיימים ${\displaystyle |z|=r}$.

לכל ${\displaystyle t\in [0,1]}$ נגדיר ${\displaystyle g_{t}(s)={\frac {p_{t}(re^{2\pi is})/p_{t}(r)}{|p_{t}(re^{2\pi is})/p_{t}(r)|}}}$.
עבור ${\displaystyle t=0}$ מקבלים ${\displaystyle p_{0}(z)=z^{n}}$ ולכן ${\displaystyle g_{0}(s)={\frac {(re^{2\pi is})^{n}/r^{n}}{|(re^{2\pi is})^{n}/r^{n}|}}=e^{2\pi isn}}$, פירוש הדבר ${\displaystyle g_{0}=\alpha _{n}}$.
עבור ${\displaystyle t=1}$ מקבלים ${\displaystyle p_{1}(z)=p(z)}$ ולכן ${\displaystyle g_{1}(s)=f_{r}(s)}$.
כמקודם, מתקיים שהמסילות ${\displaystyle g_{0}}$ הומוטופית ${\displaystyle g_{1}}$ (בעזרת ההומוטופיה ${\displaystyle G(t,s)=g_{t}(s)}$).

לסיכום, ${\displaystyle \alpha _{0}=f_{0}\sim f_{r}=g_{1}\sim g_{0}=\alpha _{n}}$, ולכן ${\displaystyle \alpha _{0}\sim \alpha _{n}}$, ומהחישוב עבור החבורה היסודית של המעגל, הנ"ל מתקיים אם ורק אם ${\displaystyle n=0}$.

מיזמי קרן ויקימדיה
ספר לימוד בוויקיספר: המשפט היסודי של האלגברה
תמונות ומדיה בוויקישיתוף: המשפט היסודי של האלגברה

• המשפט היסודי של האלגברה, באתר MathWorld (באנגלית)
• המשפט היסודי של האלגברה, באתר אנציקלופדיה בריטניקה (באנגלית)