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

בפרק זה נעסוק במשוואות כלליות ממעלה שלישית בתבנית .

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

הקדמה

עריכה

לפני כ־500 שנה, עסקו מתמטיקאים איטלקיים בבעיה זו. כפי שהאלגוריתם הטריוויאלי למציאת שורשי "משוואה ריבועית" היה ידוע, הם ניסו למצוא אלגוריתם למציאת שורשי "משוואה קובית".

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

פאצ'ולי, כנראה עקב כמה נסיונות נפל, פרסם ספר בשנת 1494 ובו טען כי לא ניתן לפתור משוואות אלו בשיטות האלגבריות המוכרות.

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

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

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


ומה הקשר למרוכבים?

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

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

לפי המסופר, היתה זו המשוואה   שאת פתרונה הפשוט   ניסה להפיק תוך שימוש באלגוריתם שלו.

התוצאה היתה, נשמו עמוק:

 

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


כיצד הגיע קארדאנו למשוואת התשובה הנ"ל? אין צורך למהר – בעוד כמה שורות הכל יתבהר לכם.

כיצד נחלץ את x?

עריכה

נתונה לנו המשוואה

 

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

 

ננסה להשלים אותה לקוביה מהתבנית  .

נחבר ונחסר ביטויים מתאימים:

 

כיצד נמשיך מכאן?

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

  קישור להוכחת התבנית כאן

נבחר בלי הגבלת הכלליות  .

 

שימו לב: עלינו לקחת בחשבון כי מעל המרוכבים למשוואה הקובית עד 3 פתרונות, לכן המספר 1 הוא בעל 3 שורשים:

 

כאשר מוציאים 1 מתוך כל אחד מהשורשים הקוביים במשוואה הראשונית   מקבלים את המשוואות הבאות:

 

אם כן, מדוע מופיעים המרוכבים במכפלות בזוגות של צמודים ולא בשווה, כלומר   ולא  ? ההסבר פשוט:

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

לו נכתוב   נוכל לראות שזו תוצאה שלא פותרת את המשוואה. חד וחלק.

שורשים מרוכבים

עריכה
 
מספר מרוכב ו"צמוד" שלו

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

ברור לכולנו כי הותרת הפתרון בצורה כזו אינה שימושית במיוחד.

האם הגענו למבוי סתום?

ובכן, למרבה שמחתנו התשובה שלילית. פיתוח חוקי המספרים המרוכבים משלים את אחרוני ה"חורים" בנוסחאות.


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

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

נביא עתה חוקים אחדים:

  • חלקים ממשיים ומדומים:  
  • סכום והפרש מרוכבים:  
  • כפל מרוכבים:  
  • גודל מרוכב:  
  • גודל כפל מרוכבים:  
  • "צמוד" מרוכב:  
  • "צמוד" סכום והפרש מרוכבים:  
  • "צמוד" כפל מרוכבים:  
  • סכום והפרש מרוכב ו"צמוד":  
  • כפל מרוכב ו"צמוד":  
  • הצגה קוטבית:  
  • חלקים ממשיים ומדומים:  
  • זוית בין המרוכב לציר הממשי (ארגומנט):  
  • כפל מרוכבים:  
  • משפט דה־מואבר:  

נסו והוכיחו.

פתרונות

עריכה

נניח ללא הגבלת הכלליות (התוצאה זהה למרוכב ול"צמוד")

 

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

 

אם נניח כי   הם שני פתרונות שונים, נוכל להראות בקלות כי הם יבדלו זה מזה בהפרש   אם ורק אם ההפרש בין   מתחלק ב־  ללא שארית.

 

  שלם, לכן נקבל כי   אינו מבדיל את הפתרונות ב־  . לבסוף