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

ממשי של המשוואה <math>x^3-2x-5=0</math> הוא נקודת החיתוך של גרף הפונקציה <math>f(x)=x^3-2x-5</math> עם ציר ה-x.]]
משוואה ממעלה שלישית היא משוואה מהצורה:

<math display=block>ax^3+bx^2+cx+d=0</math>

כאשר <math>a,b,c,d</math> הם מקדמים בשדה נתון (למשל, המספרים הרציונליים). אם השדה ממאפיין שונה מ-3, אפשר להציב <math>x=y-\frac{b}{3a}</math> ולקבל משוואה ממעלה שלישית שבה המקדם של <math>y^2</math> הוא אפס.

==היסטוריה==

בעוד שאת המשוואה ממעלה שנייה ידעו לפתור היוונים (וכנראה גם הבבלים), פתרונה של המשוואה ממעלה שלישית לא היה ידוע עד תחילת המאה ה-16. המתמטיקאים באותו זמן עדיין לא 'הכירו' במספרים שליליים, וכך הם התייחסו למשוואות <math>x^3=px+q</math> או <math>x^3+px=q</math> (כאשר <math>p,q</math> שלמים חיוביים) כאל בעיות נבדלות.

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

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

==פתרון משוואה ממעלה שלישית==
כפי שהוסבר בפתרון המלא, אפשר להניח שהמקדם של <math>x^2</math> במשוואה הוא 0. נפתור, אם כן, את המשוואה הבאה:
:<math>x^3+px+q=0</math>
כאשר <math>p,q</math> הם מקדמים כלשהם בשדה, ללא שום הנחות על היותם חיוביים. אם נכתוב <math>x=A+B</math>, אז
:<math>\begin{align}(A+B)^3&=A^3+3A^2B+3AB^2+B^3\\&=3AB(A+B)+A^3+B^3\\x^3&=3ABx+A^3+B^3\end{align}</math>
נקבל אילוץ:
:<math>\begin{align}&p=-3AB\\&q=-A^3-B^3\end{align}</math>
מן האילוץ יוצא <math>A^3B^3=-\left(\frac{p}{3}\right)^3</math>, כלומר הסכום והמכפלה של <math>A^3,B^3</math> ידועים.

מן הסכום והמכפלה קל להרכיב משוואה ממעלה שנייה, שפתרונותיה הם <math>A^3,B^3</math>.

על ידי הוצאת שורש שלישי אפשר למצוא את <math>A</math>, ומן האילוץ מקבלים גם את <math>B</math> ולכן את סכומם <math>x</math>.

===פתרון מלא של משוואה כללית ממעלה שלישית===
בסעיף זה נמצא את הפתרונות המדויקים של משוואה כללית ממעלה שלישית: 

(1) <math>ax^{3}+bx^{2}+cx+d=0</math>

כדי למצוא את שורשי משוואה (1), עלינו להיפטר מהביטוי הריבועי <math>x^{2}</math>, באמצעות ההצבה הבאה: 

(2) <math>x=y-\frac{b}{3a}</math>.

לאחר הצבה נקבל: 

(3) <math>a(y-\frac{b}{3a})^{3}+b(y-\frac{b}{3a})^{2}+c(y-\frac{b}{3a})+d=0</math> .

לאחר פתיחת סוגריים ופישוט משוואה (3), נקבל את משוואה (4): 

(4) <math>ay^{3}+\left (c-\frac{b^{2}}{3a} \right )y+\left (d+\frac{2b^{3}}{27a^{2}}-\frac{bc}{3a} \right )=0</math> .

משוואה מספר (4) נקראת "משוואה מְנוּוֵנֶת ממעלה שלישית" כיוון שהמקדם של <math>y^{2}</math>, שווה 0 (אפס). הבאת המשוואה לצורתה המנוונת מקלה על פתרונה ומציאת שורשיה. 

כעת, נחלק את המשוואה ב-a, בהניחנו כי <math>a\neq 0</math> .

נקבל את המשוואה:

<math>y^{3}+\frac{1}{a}\left (c-\frac{b^{2}}{3a} \right )y+\frac{1}{a}\left (d+\frac{2b^{3}}{27a^{2}}-\frac{bc}{3a} \right )=0</math> .

כעת נגדיר: 

<math>f=\frac{1}{a}\left (d+\frac{2b^{3}}{27a^{2}}-\frac{bc}{3a} \right )</math>, <math>e=\frac{1}{a}\left (c-\frac{b^{2}}{3a} \right )</math> ונקבל את משוואה (5) :

(5) <math>y^{3}+ey+f=0</math> .

כעת נשתמש בהמרת וייטה ונגדיר: 

(6) <math>y=z+\frac{s}{z}</math> . 

לעת עתה, הקבוע s אינו מוגדר. 

נציב את משוואה (6) בתוך משוואה (5) (כאמור, משוואה מְנוּוֵנֶת ממעלה שלישית), ונקבל: 

(7) <math>\left(z+\frac{s}{z}\right)^{3}+e\left(z+\frac{s}{z}\right)+f=0</math> .

לאחר פתיחת סוגריים והכפלת שני צדי המשוואה ב- <math>z^{3}</math>, נקבל את המשוואה הבאה:

(8) <math>z^{6}+(3s+e)z^{4}+fz^{3}+s(3s+e)z^{2}+s^{3}=0</math> .

כעת, יהי <math>s=-\frac{e}{3}</math> . 

כעת, הקבוע s מוגדר, ומבוטא באמצעות e (הוגדר קודם לכן, במשוואה (4)). נוסף לכך, משוואה (8) מפושטת לכדי משוואה תלת-ריבועית:

(9) <math>z^{6}+fz^{3}-\frac{e^{3}}{27}=0</math> .

כעת נגדיר קשר נוסף: <math>w=z^{3}</math>, אשר לאחר הצבתו במשוואה (9), תיוותר לנו המשוואה הריבועית הכללית הבאה:

(10) <math>w^{2}+fw-\frac{e^{3}}{27}=0</math> .

כעת ניתן לפתור על נקלה משוואה ריבועית זו. לאחר פתרונה, יש לזכור "לחזור אחורה" מבחינת ההצבות שביצענו, על פי הסדר הבא:

<math>w\rightarrow z\rightarrow y\rightarrow x</math> .

זאת, על מנת לקבל את שורשי המשוואה (מהמעלה השלישית) המקורית, המיוצגת על ידי x.

תזכורת: הנחנו כי: 

(11) <math>w=z^{3}</math>
:(<math>w\rightarrow z</math>)

[6] <math>y=z+\frac{s}{z}</math>
:(<math>z\rightarrow y</math>) 
 
(12) <math>s=-\frac{e}{3}</math>

[2] <math>x=y-\frac{b}{3a}</math>
:(<math>y\rightarrow x</math>)

==== הסבר אודות הפתרונות שיתקבלו ====
פתרון משוואה (10), שהיא משוואה ריבועית - יניב שני ערכי w.

פתרון משוואה (11), עבור כל אחד משני שורשי w שקיבלנו - יניב שלושה ערכי z (שווים או שונים זה לזה).

בסך הכל יתקבלו שישה ערכי z, כמצופה, עבור משוואה (9) - שהיא ממעלה שישית.

פתרון משוואה (6) יספק מכל שורש של z - שורש של y. כלומר, נקבל שישה ערכי y.

עם זאת, שלושת השורשים הראשונים של y יהיו זהים בערכם לשלושת השורשים הנוספים.

כך נקבל למעשה רק שלושה שורשים של y.

לפיכך, נסיים במשוואה (2) - ונקבל שלושה ערכים (ולא שישה) של x, כמצופה ממשוואה ממעלה שלישית.

=== דוגמה ראשונה ===
נפתור את המשוואה:

<math>\ y^3-6y^2-67y+360=0</math>.

כדי להיפטר מן המקדם של <math>\ y^2</math>, נציב <math>\ x=y-2</math>, כלומר <math>\ y=x+2</math>. המשוואה הופכת להיות:

<math>\ x^3-79x+210=0</math>.

נכתוב <math>\ x=\beta+\gamma</math>, כאשר <math>\ \gamma = \frac{79}{3\beta}</math>, והמשוואה תהפוך ל-

<math>\ \beta^6 + 210\beta^3 + \left(\frac{79}{3}\right)^3=0</math>

זוהי משוואה ריבועית, שהפתרונות שלה הם <math>\ \beta^3=-105\pm \frac{442}{9}\sqrt{-3}</math>.

למעשה, כיוון שהתפקידים של <math>\ \beta</math> ו- <math>\ \gamma</math> סימטריים מלכתחילה, אפשר לבחור אחד מן השורשים ולהניח ש- <math>\ \beta^3=-105 + \frac{442}{9}\sqrt{-3}</math>

(ואז <math>\ \gamma^3=-105 - \frac{442}{9}\sqrt{-3}</math>).

כעת, לכל אחד משלושת הערכים (המרוכבים) של <math>\ \beta = \sqrt[3]{-105 + \frac{442}{9}\sqrt{-3}}</math> 
יש לחשב את <math>\gamma = \frac{79}{3\beta}</math>,

ומתקבל פתרון <math>\ x=\beta+\gamma</math> של המשוואה.

הביטויים המתקבלים אמנם מסובכים למדי; על ידי השוואת נורמות, אפשר לגלות שעד-כדי כפל בשורש שלישי של היחידה, <math>\ \beta = -5+\frac{2}{3}\sqrt{-3}</math>. מכאן יוצא ששלושת הפתרונות למשוואה שלנו הם <math>\ x=-10,3,7</math> (ולמשוואה המקורית <math>\ y=-8,5,9</math>).

=== דוגמה שנייה ===
מצא את שורשי המשוואה:

<math>x^{3}-9x^{2}+36x-80=0</math> .

פתרון:

כזכור, משוואה כללית ממעלה שלישית מוגדרת באופן הבא (משוואה מספר (1)) :

(1) <math>ax^{3}+bx^{2}+cx+d=0</math> .

מקדמי המשוואה הזו הם:
 
<math>a=1,\quad b=-9,\quad c=36,\quad d=-80</math> .

משוואה (1) מצטמצמת לכדי משוואה (2) (משוואה מְנוּוֵנֶת ממעלה שלישית) :

(2) <math>y^{3}+ey+f=0</math> . כעת עלינו למצוא את המקדמים <math>e</math> ו- <math>f</math>:

<math>e=\frac{1}{a}\left (c-\frac{b^{2}}{3a} \right )</math>, על כן: 

<math>e=\frac{1}{a}\left (c-\frac{b^{2}}{3a} \right )=\frac{1}{1}\left(36-\frac{\left(-9\right)^{2}}{3\cdot\left(1\right)}\right)=9</math> ,

ו- <math>f=\frac{1}{a}\left (d+\frac{2b^{3}}{27a^{2}}-\frac{bc}{3a} \right )</math>, על כן:

<math>f=\frac{1}{a}\left (d+\frac{2b^{3}}{27a^{2}}-\frac{bc}{3a} \right )=\frac{1}{1}\left(-80+\frac{2\cdot\left(-9\right)^{3}}{27\cdot\left(1\right)^{2}}-\frac{\left(-9\right)\cdot\left(36\right)}{3\cdot\left(1\right)}\right)=-26</math> .

כעת, המשוואה נראית כך:

<math>y^{3}+9y-26=0</math>, כאשר: 

<math>e=9\quad,\quad f=-26</math> .

מכיוון שהגדרנו: <math>s=-\frac{e}{3}</math> (משוואה (12)), נקבל: 

<math>s=-\frac{e}{3}=-\frac{9}{3}=-3</math> .

נציב במשוואה (10), המוגדרת, כזכור, באופן כללי כך: <math>w^{2}+fw-\frac{e^{3}}{27}=0</math> את ערכיהם של <math>e</math> ושל <math>f</math>:

<math>w^{2}-26w-\frac{9^{3}}{27}=w^{2}-26w-\frac{9^{3}}{3^{3}}=w^{2}-26w-\left(\frac{9}{3}\right)^{3}=w^{2}-26w-3^{3}=w^{2}-26w-27=0</math> .

כעת, נפתור את המשוואה הריבועית הזו:

<math>w_{1,2}=\frac{-\left(-26\right)\pm\sqrt{\left(-26\right)^{2}-4\cdot\left(1\right)\cdot\left(-27\right)}}{2\cdot\left(1\right)}</math> .

כלומר: 

<math>w_{1}=27\quad,\quad w_{2}=-1</math> .

לצורך מציאת שורשי המשוואה המקורית (שורשי <math>x</math>), נבחר, באופן שרירותי לחלוטין, את השורש <math>w_{1}=27</math>.
בחירת השורש השני, <math>w_{2}=-1</math> - תניב שורשים זהים של <math>x</math> לאלו של הראשון, <math>w_{1}=27</math>.
(ניתן לבדוק נכונות טענה זו, באמצעות ביצוע תהליך זהה עבור השורש השני - <math>w_{2}=-1</math>; אך כאמור, נסתפק כאן בהדגמה על אחד מהשורשים בלבד.)

קודם לכן הגדרנו את הקשר: <math>w=z^{3}</math> . 

מכיוון שכאמור, נפתור את המשוואה הזו (באופן שרירותי) עבור <math>w_{1}=27</math>, נקבל: <math>z^{3}=w_{1}=27=27e^{i0}</math> .

מהות השוויון האחרון תתבטא בצורתה הפולרית של המשוואה:

לשם מעבר לצורה הפולרית, נעזר בנוסחת אוילר, אשר צורתה הפשוטה היא:

<math>\ e^{i \theta} = \cos{\theta} + i \sin{\theta} </math>לכל <math>\ \theta</math> ממשי, כאשר <math>e</math> הוא בסיס הלוגריתם הטבעי ו-<math>i</math> הוא היחידה המדומה. 

צורתה הכללית של המשוואה כוללת גם מקדם הכפלה, אשר כופל את צורתה הפשוטה של המשוואה: 

(3) <math>w_{1}=re^{i\theta}=r\left(\cos\theta+i\sin\theta\right)=27=27e^{i0}</math> .

(4) <math>z^{3}=\left(ue^{i\alpha}\right)^{3}=u^{3}\left(\cos3\alpha+i\sin3\alpha\right)</math> .

יש לשים לב, כי <math>w_{1}</math> מבוטא ביחידות של <math>\left (r,\theta \right )</math> ו- <math>z^{3}</math> מבוטא ביחידות של <math>\left (u,\alpha \right )</math>.
כזכור, אנו נשאף לעבור מהמערכת המבוטאת ב- <math>w</math> לזו המבוטאת ב- <math>z</math> 
(<math>w\rightarrow z</math>),
ע"פ משוואה (11) בפתרון המלא של משוואה ממעלה שלישית (בסעיף הקודם).

כעת, נשווה בין משוואות (3) ו-(4) :

השוואה בין צד שמאל של משוואות (3) ו- (4):

<math>re^{i\theta}=\left(ue^{i\alpha}\right)^{3}=u^{3}\cdot e^{3i\alpha}</math> .

השוואה בין צד ימין של משוואות (3) ו- (4):

<math>r\left(\cos\theta+i\sin\theta\right)=u^{3}\left(\cos3\alpha+i\sin3\alpha\right)</math> .

נקבל: 

(5) <math>r=u^{3}</math> .
(6) <math>\cos \theta=\cos 3\alpha </math> .
(7) <math>\sin \theta=\sin3\alpha</math> .

כיוון ש: <math>\sin \theta\ , \cos \theta </math> הן פונקציות מחזוריות, בעלות מחזור של <math>2\pi\text{ rad}=360^{\circ}</math>, נוכל לכתוב את הקשר הבא:

(9) <math>3\alpha=\theta+2\pi k \Rightarrow \alpha=\frac{\theta+2\pi k}{3}</math>, כאשר: <math>k=0,1,2</math> . 
(<math>k=3</math> משלים מעגל שלם של <math>2\pi\text{ rad}</math>, ותוצאותיו של <math>\alpha</math> תחזורנה על עצמן).

נקבל:

(10.1) <math>\alpha _{1}=\frac{\theta }{3}</math> .
(<math>k=0</math>) עבור <math>z_{1}</math>.

(10.2) <math>\alpha _{2}=\frac{\left (\theta +2\pi \right)}{3}</math> .
(<math>k=1</math>) עבור <math>z_{2}</math>.

(10.3) <math>\alpha _{3}=\frac{\left (\theta +4\pi \right)}{3}</math> .
(<math>k=2</math>) עבור <math>z_{3}</math>.

נמצא את המודול של <math>z</math> :
(נכון לגבי כל שלושת שורשי <math>z</math>, כלומר: <math>z_{3}</math>,<math>z_{2}</math>,<math>z_{1}</math> ) :

ממשוואה (3) נקבל את הקשר: <math>re^{i\theta}=27e^{i0}\Rightarrow r=27\text{ , }\theta=0</math> .

ממשוואה (5) נקבל את הקשר: <math>r=u^{3}=27\Rightarrow u=3</math> .

לקבלת הפתרון הכללי של <math>z</math>, נחלץ את <math>z</math> ממשוואה (4) :

(4) <math>z^{3}=u^{3}\left(\cos3\alpha+i\sin3\alpha\right)\Rightarrow z=u\left(\cos3\alpha+i\sin3\alpha\right)^{\frac{1}{3}}=u\left(\cos\alpha+i\sin\alpha\right)</math> . השוויון האחרון נכון, בזכות משפט דה מואבר.

אבל קיבלנו קודם לכן ש: <math>u=3\text{ } \text{ , }\theta=0</math> .

ואז: 

(10.1) <math>\alpha _{1}=\frac{\theta }{3}=0</math> עבור <math>z_{1}</math>

(10.2) <math>\alpha _{2}=\frac{\left (\theta +2\pi \right)}{3}=\frac{\left (0 +2\pi \right)}{3}=\frac{\left (2\pi \right)}{3}</math> עבור <math>z_{2}</math>

(10.3) <math>\alpha _{3}=\frac{\left (\theta +4\pi \right)}{3}=\frac{\left (0 +4\pi \right)}{3}=\frac{\left (4\pi \right)}{3}</math> עבור <math>z_{3}</math>

מכאן ניתן לקבל את שלושת הפתרונות של <math>z</math> :

(11.1) <math>z_{1}=u\left(\cos\alpha_{1}+i\sin\alpha_{1}\right)\Rightarrow3\left(\cos\frac{0}{3}+i\sin\frac{0}{3}\right)=3</math>

(11.2) <math>z_{2}=u\left(\cos\alpha_{2}+i\sin\alpha_{2}\right)\Rightarrow3\left(\cos\frac{2\pi}{3}+i\sin\frac{2\pi}{3}\right)=3\left(-\frac{1}{2}+i\frac{\sqrt{3}}{2}\right)=-\frac{3}{2}+i\frac{3\sqrt{3}}{2}</math>

(11.3) <math>z_{3}=u\left(\cos\alpha_{3}+i\sin\alpha_{3}\right)\Rightarrow3\left(\cos\frac{4\pi}{3}+i\sin\frac{4\pi}{3}\right)=3\left(-\frac{1}{2}-i\frac{\sqrt{3}}{2}\right)=-\frac{3}{2}-i\frac{3\sqrt{3}}{2}</math>

המעבר הראשון <math>\left(w\rightarrow z\right)</math> הושלם. כעת נבצע את המעבר השני <math>\left(z\rightarrow y\right)</math>.זהו הקשר בין <math>z</math> (כלומר, נקודת המוצא: השורשים שקיבלנו זה עתה, במונחי <math>z</math>) ובין השורשים אותם אנו חפצים לקבל (נקודת היעד), במונחי <math>y</math> .

קיבלנו קודם לכן את הקשר: <math>y=z+\frac{s}{z}</math> . 

כיוון שמצאנו קודם לכן כי: <math>s=-3</math>, נקבל:

(12) <math>y=z+\frac{s}{z}=z-\frac{3}{z}</math> .

בעזרת קשר זה, נמצא כעת את <math>y_{3}</math>,<math>y_{2}</math>,<math>y_{1}</math> :

(12.1) <math>y_{1}=z_{1}-\frac{3}{z_{1}}=3-\frac{3}{3}=2</math> .

<math>y_{2}=z_{2}-\frac{3}{z_{2}}=\left(-\frac{3}{2}+i\frac{3\sqrt{3}}{2}\right)-\frac{3}{\left(-\frac{3}{2}+i\frac{3\sqrt{3}}{2}\right)}=-\frac{5+3i\sqrt{3}}{-1+i\sqrt{3}}</math>

נפשט את השורש שהתקבל:

(12.2) <math>y_{2}=-\frac{5+3i\sqrt{3}}{-1+i\sqrt{3}}\cdot\frac{-1-i\sqrt{3}}{-1-i\sqrt{3}}=-1+i2\sqrt{3}</math> .

<math>y_{3}=z_{3}-\frac{3}{z_{3}}=\left(-\frac{3}{2}-i\frac{3\sqrt{3}}{2}\right)-\frac{3}{\left(-\frac{3}{2}-i\frac{3\sqrt{3}}{2}\right)}=\frac{5-i3\sqrt{3}}{1+i\sqrt{3}}</math>

נפשט את השורש שהתקבל:

(12.3) <math>y_{3}=\frac{5-3i\sqrt{3}}{1+i\sqrt{3}}\cdot\frac{1-i\sqrt{3}}{1-i\sqrt{3}}=-1-i2\sqrt{3}</math> .

המעבר השני <math>\left(z\rightarrow y\right)</math> הושלם. כעת נבצע את המעבר השלישי והאחרון: <math>\left(y\rightarrow x\right)</math> :

ממשוואה (2) בסעיף הקודם ("פתרון מלא של משוואה כללית ממעלה שלישית"), נקבל את הקשר: 

(13) <math>x=y-\frac{b}{3a}</math> .

תזכורת: <math>b=-9\text{ } \text{ , }a=1</math> .

לכן:

(14) <math>x=y-\frac{-9}{3\cdot1}=y-\frac{-9}{3}=y+3\Rightarrow x=y+3</math> .

בעזרת קשר זה, נמצא כעת את <math>x_{3}</math>,<math>x_{2}</math>,<math>x_{1}</math> :

(14.1) <math>x_{1}=y_{1}+3=2+3=5</math> .

(14.2) <math>x_{2}=y_{2}+3=\left(-1+i2\sqrt{3}\right)+3=2+i2\sqrt{3}</math> .

(14.3) <math>x_{3}=y_{3}+3=\left(-1-i2\sqrt{3}\right)+3=2-i2\sqrt{3}</math> .

אלו הם שלושת שורשי המשוואה המקורית, שהיה עלינו למצאם (<math>x^{3}-9x^{2}+36x-80=0</math>) .

בדיקת נכונות הפתרונות (שורשים) שקיבלנו:

על השורשים לקיים את התנאי הבא, זוהי האינדיקציה לנכונות הפתרון:

(15) <math>\left(x-x_{1}\right)\cdot \left(x-x_{2}\right)\cdot \left(x-x_{3}\right)=0\Rightarrow x^{3}-9x^{2}+36x-80=0</math> .

כלומר, אם נציב את <math>x_{3}</math>,<math>x_{2}</math>,<math>x_{1}</math> שקיבלנו- בצדה השמאלי של משוואה (15) - נקבל את המשוואה המקורית, הנמצאת בצדה הימני של משוואה (15) :

<math>\left(x-5\right)\cdot \left(x-\left(2+i2\sqrt{3}\right)\right)\cdot \left(x-\left(2-i2\sqrt{3}\right)\right)=0\Rightarrow x^{3}-9x^{2}+36x-80=0</math> (לאחר פתיחת הסוגריים ופישוט המשוואה).

מ.ש.ל.

תזכורת: הפתרון הסתמך על בחירה שרירותית של השורש: <math>w_{1}=27</math> . בחירת השורש השני, <math>w_{2}=-1</math> - תניב שורשים זהים לחלוטין של <math>x</math> בסופו של התהליך- לאלו שקיבלנו זה עתה.

== נוסחה לפתרון משוואה ממעלה שלישית ==
עבור המשוואה: <math>ax^3 + bx^2 + cx + d =0 \,</math>
נפתור באמצעות הצבה בנוסחה הבאה:
: <math>q = \frac{3ac-b^2}{9a^2}</math>
: <math>r = \frac{9abc - 27a^2d - 2b^3}{54a^3}</math>
: <math>s = \sqrt[3]{r + \sqrt{q^3+r^2}}</math>
: <math>t = -\frac{q}{s} = \sqrt[3]{r - \sqrt{q^3+r^2}}</math>

הפתרונות הם:
: <math>x_1 = s+t-\frac{b}{3a},</math>
: <math>x_2 = -\frac{1}{2}(s+t)-\frac{b}{3a}+\frac{\sqrt{3}}{2}(s-t)i,</math>
: <math>x_3 = -\frac{1}{2}(s+t)-\frac{b}{3a}-\frac{\sqrt{3}}{2}(s-t)i.</math>

=== שיטת קרדאנו ===
ראשית לפני שנציב בנוסחה לפתרון משוואה ממעלה שלישית לפי שיטה זו, עלינו לחלק את המשוואה הנ"ל במקדם של <math>\ x^3</math> כך שתתקבל לפנינו משוואה מן הצורה: <math>\ x^3 + a x^2 + b x + c = 0</math>

עכשיו נציב:
: <math>p = b - \frac{a^2}3</math>
: <math>q = c + \frac{2a^3-9ab}{27}</math>
: <math>u=\sqrt[3]{-{q\over 2}+ \sqrt}</math>
: <math>x=-\frac{p}{3u}+u</math>

שימו לב: <math>\ u</math> שווה לשורש שלישי של מספר מסוים ועל כן יש לו שלושה פתרונות אפשריים, שהם <math>\ u_1, u_2, u_3</math>. עבור כל <math>\ u</math> שנציב יתקבל פתרון שונה (ונכון) עבור <math>\ x</math>.

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

==הרחבת שדות על ידי פולינום ממעלה שלישית==
חבורת גלואה של פולינום אי-פריק ממעלה שלישית היא תת-חבורה טרנזיטיבית של החבורה הסימטרית על שלושת השורשים, ולכן היא שווה לתת-החבורה <math>\ A_3</math> של התמורות הזוגיות, או לחבורה הסימטרית כולה. במקרה הראשון, למשוואה הריבועית שהוזכרה להלן יש שורשים בשדה (ואז נסמן K=F), ובמקרה השני פתרון המשוואה הריבועית מצריך הרחבה ריבועית K של F. בשני המקרים, הפולינום מתפרק לגורמים ליניאריים אחרי הרחבה רדיקלית מסדר 3 של השדה K.

אפשר להפריד בין שני המקרים בעזרת הדיסקרימיננטה של הפולינום, שאותה אפשר לחשב באמצעות הנוסחה <math>\ \Delta(\lambda^3-a\lambda+b) = 4a^3-27b^2</math>. כאשר הפולינום f אי-פריק, הדיסקרימיננטה שלו היא ריבוע בשדה הבסיס, אם ורק אם ההרחבה <math>\ F[x]/F[x]\cdot f</math> היא הרחבת גלואה. לעומת זאת, הדיסקרימיננטה של פולינום פריק ממעלה 3 היא ריבועית אם ורק אם הוא מתפצל לגורמים ליניאריים (משום ש-
<math>\ \Delta((x-\alpha)\cdot g(x)) = g(\alpha)^2 \Delta(g)</math>
).

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

==ראו גם==
* פונקציה ממעלה שלישית
* משוואה ממעלה שנייה
* משוואה ממעלה רביעית
* משוואה ממעלה חמישית

==לקריאה נוספת==
* שבתאי אונגורו, מבוא לתולדות המתמטיקה (בשני חלקים), הוצאת אוניברסיטה משודרת, 1989.
* An Introduction to the Theory of Groups, J.J.Rotman, פרק 5, הוצאת Springer-Verlag.
* ג'ודי ואריה מלמד-כץ, "[https://web.archive.org/web/20100326172826/http://www.sbc.co.il/galileo/full/Algebra1548.pdf הגמר הגדול של שנת 1548]", גליליאו 97, ספטמבר 2006.

==קישורים חיצוניים==
* 

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

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