פתרון משוואה ממעלה 4

לפני שמתחילים

תמיד אפשר להניח שהמקדם של [math]\displaystyle{ x^4 }[/math] הוא [math]\displaystyle{ 1 }[/math] (אחרת פשוט נחלק בו).

תמיד אפשר להניח שהמקדם של [math]\displaystyle{ x^3 }[/math] הוא [math]\displaystyle{ 0 }[/math]. למה? נניח נתון הפולינום [math]\displaystyle{ x^4+ax^3+bx^2+c+d }[/math] אז נעשה הצבה [math]\displaystyle{ x=y-\frac{a}{4} }[/math] ונקבל פולינום [math]\displaystyle{ y^4+(*)y^2+\dots }[/math].

סך הכל נניח שאנחנו צריכים לפתור פולינום מהצורה [math]\displaystyle{ x^4+px^2+qx+r=0 }[/math].

דרך א

ננסה לפרק את הפולינום לגורמים ריבועיים [math]\displaystyle{ x^4+px^2+q+r=^{?} (x^2+ax+b)(x^2+cx+d) }[/math]

נפתח ונשווה מקדמים ונקבל את המערכת: [math]\displaystyle{ \begin{cases} 0=a+c \\ p=b+d+ac \\ q=ad+bc \\ r=bd \end{cases} }[/math].

משלושת המשוואות הראשונות אפשר לקבל את [math]\displaystyle{ b,c,d }[/math] כביטוי של [math]\displaystyle{ a }[/math], ואז הצבה במשוואה הרביעית נותנת פולינום [math]\displaystyle{ a^6+2pa^4+(p^2-4r)a^2-q^2=0 }[/math] --- פולינום מדרגה 3 ב[math]\displaystyle{ a^2 }[/math] שאותו אנחנו כבר יודעים לפתור.