משוואה ממעלה שביעית

גרף של [[פולינום ממעלה שביעית, עם שבעה שורשים ממשיים (חוצים את ציר x) ושש נקודות קריטיות. בהתאם למספר ולמיקום האנכי של המינימום והמקסימום, לפונקציה יכולים להיות שבעה, חמישה, שלושה או שורש ממשי אחד; מספר השורשים המרוכבים הלא ממשיים של הפונקציה הוא 7 פחות מספר השורשים האמיתיים.]]
באלגברה, משוואה ממעלה שביעית היא משוואה מהצורה <math>ax^7+bx^6+cx^5+dx^4+ex^3+fx^2+gx+h=0</math>, כאשר <math>a\neq0</math>. במילים אחרות, זהו פולינום ממעלה שביעית. אם <math>a=0</math>, אז <math>f</math> היא פונקציה ממעלה שישית (<math>b\neq0</math>), פונקציה ממעלה חמישית (<math>b=0, c\neq0</math>) וכו'.

פונקציה ממעלה שביעית היא פונקציה מהצורה <math>f(x)=ax^7+bx^6+cx^5+dx^4+ex^3+fx^2+gx+h\,</math>.

ניתן לקבל את המשוואה מהפונקציה על ידי הגדרת <math>f(x)=0</math>.

המקדמים <math>a, b, c, d, e, f, g</math> יכולים להיות מספרים שלמים, רציונליים, ממשיים, מרוכבים או, באופן כללי יותר, איברים של כל שדה.

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

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

: <math>x^7+7\alpha x^5+14\alpha^2x^3+7\alpha^3x+\beta = 0\,</math>,

כשמשוואת העזר היא

: <math>y^2+\beta y-\alpha^7 = 0\,</math> .

מתקבלת על ידי ביטול <math>u</math> ו-<math>v</math> בין <math>x=u+v</math>, <math>uv+\alpha=0</math> ו-<math>u^7+v^7+\beta=0</math>.

מכאן נובע ששבעת השורשים של המשוואה ניתנים על ידי

: <math>x_k = \omega_k\sqrt[7]{y_1} + \omega_k^6\sqrt[7]{y_2}</math>

כאשר <math>\omega_k</math> הוא כל אחד משבעת שורשי היחידה. חבורת גלואה של משוואה שביעית זו היא הקבוצה הניתנת לפתרון מקסימלי מסדר 42. זה מוכלל בקלות לכל דרגות אחרות <math>k</math>, לא בהכרח ראשוני.

משפחה פתירה נוספת היא

: <math>x^7-2x^6+(\alpha+1)x^5+(\alpha-1)x^4-\alpha x^3-(\alpha+5)x^2-6x-4 = 0\,</math>

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

: <math>\Delta = -4^4\left(4\alpha^3+99\alpha^2-34\alpha+467\right)^3\,</math>

חבורת הגלואה של המשוואות הללו היא החבורה הדיהדרלית מסדר 14.

ניתן לפתור את המשוואה הכללית עם חבורות גלואה של התמורות הזוגיות או חבורות גלואה סימטריות <math>A_7</math> או <math>S_7</math>.<ref name="BeyondQuartic"></ref> משוואות כאלה דורשות פונקציות היפראליפטיות ופונקציות תטא קשורות מגנוס 3 לפתרון שלהן. עם זאת, משוואות אלו לא נחקרו במיוחד על ידי מתמטיקאים בני המאה ה-19 שחקרו את הפתרונות של משוואות אלגבריות, מכיוון שפתרונות של משוואות ממעלה שישית כבר היו בגבולות היכולות החישוביות שלהן ללא מחשבים.

משוואות ממעלה שביעית הן משוואות מהסדר הנמוך ביותר שעבורן לא מובן מאליו שניתן להשיג את הפתרונות שלהן על ידי הרכבת פונקציות רציפות של שני משתנים. הבעיה השלוש-עשרה של הילברט הייתה ההשערה שבמקרה הכללי של משוואות ממעלה שביעית, לא ניתן להציג פונקציה רציפה בשלושה משתנים כהרכבה של פונקציות רציפות בשני משתנים. ולדימיר ארנולד הרוסי פתר את הבעיה ב-1957, והוכיח שדבר כזה תמיד אפשרי.<ref></ref>

== חבורות גלואה ==
[[מישור פאנו]]
* למשוואות ממעלה שביעית הניתנות לפתרון באמצעות רדיקלים יש חבורות גלואה שהיא החבורה הציקלית מסדר 7, החבורה הדיהדרלית מסדר 14 או החבורה המטאציקלית מסדר 21 או 42.
* חבורת גלואה <math>L(3,2)</math> (מסדר 168) נוצרת על ידי התמורות של שבעת הקדקודים של שבעת ה"קווים" במישור פאנו. משוואות ממעלה שביעית עם חבורת גלואה זו <math>L(3,2)</math> דורשות פונקציות אליפטיות אך לא פונקציות היפראליפטיות לפתרון שלהן.

== ריבועי שטחים של מצולעים ==
ריבוע השטח של מחומש הוא שורש של משוואה ממעלה שביעית שהמקדמים שלה הם פונקציות סימטריות של צלעות המחומש.<ref>Weisstein, Eric W. "Cyclic Pentagon." From MathWorld--A Wolfram Web Resource. </ref> הדבר נכון גם לגבי ריבוע השטח של משושה.<ref>Weisstein, Eric W. "Cyclic Hexagon." From MathWorld--A Wolfram Web Resource. </ref>

== הערות שוליים ==

קטגוריה:תורת גלואה
קטגוריה:משוואות פולינומיות