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

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

משוואה ממעלה רביעית היא משוואה מהצורה הבאה:

\ x^4 + a x^3 + b x^2 + c x + d = 0

כאשר \ a,b,c,d הם מקדמים בשדה נתון (למשל, המספרים הרציונליים).

אם השדה ממאפיין שונה מ- 2, אפשר להציב \ x=y-a/4 ולקבל משוואה ממעלה רביעית שבה המקדם של \ y^3 הוא אפס.

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

Postscript-viewer-shaded.png ערך מורחב – היסטוריה של פתרון המשוואות ממעלה שלישית ורביעית

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

פתרון משוואה ממעלה רביעית[עריכת קוד מקור | עריכה]

כפי שהוסבר במבוא, אפשר להניח שהמקדם של \ x^3 במשוואה הוא 0. נפתור, אם כן, את המשוואה

\ x^4 + p x^2 + q x + r = 0.

ננסה לפרק את הפולינום למכפלה של שני גורמים ממעלה שנייה:

\ x^4 + p x^2 + q x + r = (x^2 + A x + B)(x^2 - A x +C).

מהשוואת המקדמים מתקבל:

\ B+C-A^2 = p,\ A(C-B)=q, BC = r,

ובפרט \ B+C=p+A^2 ו- \ C-B=q/A.

אם נחבר ונחסר את שני השוויוניים הראשונים, נקבל:

\ C=\frac{p+A^2+\frac{q}{A}}{2} ו- \ B=\frac{p+A^2-\frac{q}{A}}{2},

ומן השוויון על r נובע: \ (p+A^2)^2-  \frac{q^2}{A^2} = 4r

וזו משוואה ממעלה שלישית בנעלם A^2. לאחר שפותרים אותה נותר להציב בביטויים הקודמים כדי לקבל את B ו- C, ואז מתקבלים השורשים למשוואה המקורית על ידי פתרון משוואה ממעלה שנייה.

הפתרון דורש הוצאות שורש בסדר הבא: ראשית, יש לפתור משוואה ממעלה שלישית (ולשם כך יש להוציא שורש שני, ואז שורש שלישי). אחר כך מוציאים שורש שני (כדי לקבל את A), ושורש שני נוסף (כדי לקבל את השורש x). המספרים 2,3,2,2 עומדים בהתאמה לסדרים של גורמי ההרכב של החבורה הסימטרית מסדר 4 (ראו חבורה פתירה), ומדגימים את הקשר בין תת-השדות של שדה פיצול לתת-החבורות של חבורת גלואה (ראו תורת גלואה).

משוואה דו-ריבועית[עריכת קוד מקור | עריכה]

אם גם המקדם של \ y וגם המקדם של \ y^3 הם אפס, אז המשוואה נקראת משוואה דו-ריבועית, והיא למעשה משוואה ריבועית במשתנה \ y^2; אלא שזה אינו המקרה הכללי. משוואה דו-ריבועית כזו אפשר לפתור בקלות על ידי הצבת \ y^2 = t, ההופכת את המשוואה למשוואה ריבועית במשתנה t.

דוגמה למשוואה דו-ריבועית: \ y^4 - 5y^2 + 6 =0. כאשר מציבים בה \ y^2 = t, מתקבלת המשוואה הריבועית הבאה:

\ t^2 - 5t + 6 =0

פתרונותיה הם \ t = 2,3. לכן הפתרונות למשוואה המקורית הם \ y = \pm\sqrt{2}, \pm \sqrt{3}.