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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

משוואה ממעלה חמישית היא משוואה פולינומית ממעלה חמישית, כלומר מהצורה: \ x^5+a_4x^4+a_3x^3+a_2x^2+a_1x+a_0=0 כאשר \ a_4,a_3,\dots,a_0 הם קבועים.

ההיסטוריה של המשוואות ממעלה חמישית[עריכת קוד מקור | עריכה]

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

ב-1683 מצא צ'ירנהאוס (אנ') טרנספורמציה המאפשרת להמיר משוואה פולינומית כללית, מהצורה \ x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} +\cdots+a_0=0, במשוואה \ z^n + b_{n-4} z^{n-4} + \cdots+b_0=0, כלומר, משוואה מאותה מעלה ללא המונומים ממעלה n-1, n-2 ו-n-3, כאשר המשתנה החדש z הוא פולינום ממעלה רביעית במשתנה הישן, x, עם מקדמים שהם ביטויים רדיקליים (מסובכים להפליא) במקדמים המקוריים \ a_{n-1},\dots,a_0. שיטה זו, שהייתה ההתקדמות המשמעותית ביותר בחקר המשוואות הפולינומיות מאז פתרון המשוואה ממעלה רביעית מאתיים שנה קודם לכן, מאפשרת להמיר כל משוואה ממעלה חמישית במשוואה מהצורה \ z^5+b_1z+b_0=0. שיטות אלה הביאו את המתמטיקאי השבדי ארלנד ברינג לגלות את רדיקל ברינג, שבאמצעותו אפשר לפתור משוואה ממעלה חמישית במקרים פרטיים רבים.

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

משהתברר שאי אפשר לפתור את המשוואות ממעלה חמישית בפעולות המוכרות, עלתה השאלה באילו כלים אחרים יש להשתמש כדי להשיג בכל זאת פתרון אנליטי. ב-1858 מצא המתמטיקאי הצרפתי שארל הרמיט שיטה לפתרון מלא של משוואה ממעלה חמישית באמצעות פונקציות אליפטיות. זמן מה אחר-כך גילה המתמטיקאי היהודי-גרמני לאופולד קרונקר, באופן בלתי תלוי, דרך לפשט את התוצאות של הרמיט. ב-1877 מצא פליקס קליין דרך להמיר משוואות ממעלה חמישית בנעלם z למשוואות מיוחדות מאד ממעלה 12 בנעלם \ z^5, הקשורות בחבורת הסימטריות של האיקוסהדרון, ושאפשר היה לפתור באופן שלם באמצעות טורים היפרגאומטריים.

מקורות[עריכת קוד מקור | עריכה]

  • "שפת הסימטריה", מריו ליביו.
  • Solving the Quintic with Mathematica, Wolfram Research.