משוואה ממעלה חמישית
משוואה ממעלה חמישית היא משוואה פולינומית ממעלה חמישית, כלומר מהצורה
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_5x^5+a_4x^4+a_3x^3+a_2x^2+a_1x+a_0=0}
כאשר הם קבועים ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_5} אינו 0.
היסטוריה
הפתרון למשוואה ממעלה שנייה היה ידוע כבר בעת העתיקה, ובשלהי ימי הביניים נמצאו גם הפתרונות למשוואות ממעלה שלישית ורביעית, באמצעות ארבע פעולות החשבון והוצאת שורש מסדר שני, שלישי ורביעי. הפתרון למשוואה ממעלה רביעית היה מבוסס על רדוקציה למשוואה ממעלה שלישית, אלא ש"רדוקציה" דומה במשוואה ממעלה חמישית הניבה משוואות ממעלה שישית, שעוד יותר קשה לפתור. מתמטיקאים מן השורה הראשונה – לרבות לאונרד אוילר וז'וזף לואי לגראנז' – לא יכלו לאתגר.
ב-1683 מצא צ'ירנהאוס (אנ') את טרנספורמציית צ'ירנהאוס (אנ') המאפשרת להמיר משוואה פולינומית כללית, מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0=0} , במשוואה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^n+b_{n-4}z^{n-4}+\cdots+b_0=0} , כלומר, משוואה מאותה מעלה ללא המונומים ממעלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n-1,n-2,n-3} , כאשר המשתנה החדש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} הוא פולינום ממעלה רביעית במשתנה הישן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , עם מקדמים שהם ביטויים רדיקליים מסובכים במקדמים המקוריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_{n-1},\ldots,a_0} . שיטה זו, שהייתה ההתקדמות המשמעותית ביותר בחקר המשוואות הפולינומיות מאז פתרון המשוואה ממעלה רביעית מאתיים שנה קודם לכן, מאפשרת להמיר כל משוואה ממעלה חמישית במשוואה מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^5+b_1z+b_0=0} . שיטות אלה הביאו את המתמטיקאי השוודי ארלנד ברינג לגלות את רדיקל ברינג, שבאמצעותו אפשר לפתור משוואה ממעלה חמישית במקרים פרטיים רבים.
בתחילת המאה ה-19 גילו נילס הנריק אבל (שהשלים הוכחה של פאולו רופיני) ואווריסט גלואה, באופן בלתי תלוי, שמשוואות כלליות ממעלה חמישית אינן ניתנות לפתרון באמצעות רדיקלים, כלומר פתרון כללי המבוסס רק על ארבע פעולות החשבון ושימוש בשורשים. גלואה גם אפיין באופן מלא את כל המשוואות הפולינומיות הניתנות לפתרון באמצעות רדיקלים. לתגלית חשיבות מרחיקת לכת על התפתחות המתמטיקה, הרבה מעבר לתורת המשוואות, והיא הביאה ללידת תורת החבורות ותורת גלואה.
משהתברר שאי אפשר לפתור את המשוואות ממעלה חמישית בפעולות המוכרות, עלתה השאלה באילו כלים אחרים יש להשתמש כדי להשיג בכל זאת פתרון אנליטי. ב-1858 מצא המתמטיקאי הצרפתי שארל הרמיט שיטה לפתרון מלא של משוואה ממעלה חמישית באמצעות פונקציות אליפטיות. ב-1861 הראה שכל הרחבת שדות ממעלה 5 נוצרת על ידי איבר המקיים משוואה מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^5+bx^3+c(x+1)=0} (אלא אם שדה הבסיס הוא השדה בן שני איברים); התוצאה משתמשת בטרנספורמציות צ'ירנהאוס באופן שאינו מחייב הרחבה של שדה הבסיס[1]. זמן מה אחר-כך גילה המתמטיקאי היהודי-גרמני לאופולד קרונקר, באופן בלתי תלוי, דרך לפשט את התוצאות של הרמיט. ב-1877 מצא פליקס קליין דרך להמיר משוואות ממעלה חמישית בנעלם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} למשוואות מיוחדות מאוד ממעלה 12 בנעלם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^5} , הקשורות בחבורת הסימטריות של העשרימון, ושאפשר היה לפתור באופן שלם באמצעות טורים היפרגאומטריים.
לקריאה נוספת
- מריו ליביו, שפת הסימטריה: המשוואה שלא נמצא לה פתרון, אריה ניר הוצאה לאור, 2005
- Solving the Quintic with Mathematica, Wolfram Research.
קישורים חיצוניים
- משוואה ממעלה חמישית, באתר MathWorld (באנגלית)
הערות שוליים
- ^ H. Kraft, A result of Hermite and equations of degree 5 and 6, Journal of Algebra 297 (2006) 234–253
| פולינום | ||
|---|---|---|
| משוואות פולינומיות לפי מעלה | משוואה ליניארית (1) • משוואה ממעלה שנייה (2) • משוואה ממעלה שלישית (3) • משוואה ממעלה רביעית (4) • משוואה ממעלה חמישית (5) • משוואה ממעלה שישית (6) • משוואה ממעלה שביעית (7) | |
| פונקציות פולינומיות לפי מעלה | פונקציה ממעלה שלישית | |
| אישים הקשורים במציאת פתרונות או הוכחת אי פתירות | לודוביקו פרארי • מוחמד אבן מוסא אל-ח'ואריזמי • אברהם בר חייא • שיפיונה דל פרו • ניקולו טרטליה • ג'ירולמו קרדאנו • נילס הנריק אבל • אווריסט גלואה • פאולו רופיני • פליקס קליין • ולדימיר ארנולד | |
| כללי | היסטוריה של פתרון משוואות פולינומיות • משפט אבל-רופיני • תורת גלואה • הבעיה השלוש-עשרה של הילברט • פתרון באמצעות רדיקלים • רדיקל ברינג • i (מספר) | |
משוואה ממעלה חמישית40071431Q768390