מתמטיקה תיכונית/אלגברה תיכונית/מספרים מרוכבים/משפט דה-מואבר

מתוך ויקיספר, אוסף ספרי הלימוד והמדריכים החופשי.

< מתמטיקה תיכונית | אלגברה תיכונית | מספרים מרוכבים

תוכן עניינים

1 כפל וחילוק מספרים בהצגה קוטבית
2 משפט דה-מואבר
3 מציאת שורשים
- 3.1 הרחבה

[עריכה] כפל וחילוק מספרים בהצגה קוטבית

בפרק הקודם ראינו כי כל מספר מרוכב ניתן להצגה בצורה הבאה:

$\ z=r\left(\cos\theta+i\sin\theta\right)$ .

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

$\ \sin(\alpha+\beta)=\sin\alpha\cos\beta+\sin\beta\cos\alpha$

$\ \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta$

כעת נשתמש בהן בפעולת הכפל של שני מספרים מרוכבים כלליים:

$\ z_1=r_1\left(\cos\theta_1+i\sin\theta_1\right),z_2=r_2\left(\cos\theta_2+i\sin\theta_2\right)$ .

בפעולת הכפל נקבל:

$\ z_1z_2=r_1\left(\cos\theta_1+i\sin\theta_1\right)r_2\left(\cos\theta_2+i\sin\theta_2\right)=$

$\ =r_1r_2\left(\cos\theta_1\cos\theta_2-\sin\theta_1\sin\theta_2+i\left(\sin\theta_1\cos\theta_2+\cos\theta_1\sin\theta_2\right)\right)=$

$\ =r_1r_2\left(\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\right)$

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

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

$\ \frac{z_1}{z_2}=z_1\cdot\frac{1}{z_2}$

וכמו כן ראינו כבר כי אם $\ z_2\ne 0$ :

$\ \ \frac{1}{z_2}=\frac{\overline{z_2}}{|z_2|^2}$

והרי

$\ \overline{z_2}=r(\cos\theta-i\sin\theta)$

$\ |z_2|=r$

ולכן:

$\ \frac{1}{z_2}=\frac{r(\cos\theta-i\sin\theta)}{r^2}=\frac{1}{r}(\cos\theta-i\sin\theta)=\frac{1}{r}\left(\cos(-\theta)+i\sin(-\theta)\right)$

ועל פי כלל הכפל שכבר הוכחנו, נקבל:

$\ \frac{z_1}{z_2}=\frac{r_1}{r_2}\left(\cos(\theta_1-\theta_2)+i\sin(\theta_1-\theta_2)\right)$

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

[עריכה] משפט דה-מואבר

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

אם $\ z=r(\cos\theta+i\sin\theta)$ הוא מספר מרוכב ו- $\ n$ הוא מספר שלם, אז:

$\ z^n=r^n(\cos(n\theta)+i\sin(n\theta))$

כדי להוכיח את המשפט משתמשים באינדוקציה מתמטית:

עבור $\ n=0$ המשפט בבירור מתקיים: $\ z^0=1$ , וכמו כן $\ r^0(\cos(0)+i\sin(0))=1$ .

נניח שהמשפט נכון עבור $\ n=k$ ונוכיח עבור $\ n=k+1$ . לשם כך נשתמש בנוסחת הכפל שהוכחנו קודם:

$\ z^{n}=z^{k+1}=z^kz=r^k(\cos(k\theta)+i\sin(k\theta))r(\cos(\theta)+i\sin(\theta))=$ $\ =r^{k+1}(\cos((k+1)\theta)+i\sin((k+1)\theta))=r^{n}(\cos(n\theta)+i\sin(n\theta))$

בכך הוכחנו את המשפט עבור כל $\ n\ge0$ .

נראה כעת את נכונות המשפט עבור $\ n<0$ . נשים לב כי אם $\ n<0$ אז $\ n=-k$ כאשר $\ k>0$ .

לכן ניתן לכתוב: $\ z^n=z^{-k}=(z^{-1})^k=\left(\frac{1}{z}\right)^k$

את הנוסחה עבור $\ \frac{1}{z}$ כבר מצאנו בחלק הקודם. לכן נשתמש בה ובמשפט דה-מואבר עבור מספרים גדולים מאפס, ונקבל:

$\ \left(\frac{1}{z}\right)^k=\left(\frac{1}{r}(\cos(-\theta)+isin(-\theta))\right)^k=\frac{1}{r^k}(\cos(-k\theta)+isin(-k\theta))=r^n(\cos(n\theta)+i\sin(n\theta))$

[עריכה] מציאת שורשים

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

נעסוק בשאלה הכללית של שורש מסדר $\ n$ . כלומר, בהינתן מספר מרוכב $\ z$ נרצה למצוא את $\ \sqrt[n]{z}$ , שהוא מספר $\ w$ כך ש- $\ w^n=z$

המספרים המרוכבים נבדלים בצורה מהותית מהמספרים הממשיים בכל הנוגע להוצאת שורשים. למספר ממשי היו לכל היותר שני שורשים אפשריים, בכל סדר שהוא. לכן בחרנו תמיד לקחת את החיובי מבין שני השורשים. בצורה הזו פעולת הוצאת השורש הייתה חד ערכית - לכל מספר התאמנו מספר יחיד, שהוא השורש שלו. למשל, $\ \sqrt[4]{16}=2$ , כשהאפשרות הנוספת היחידה היא $\ -2$ .

לעומת זאת, במספרים מרוכבים מתברר כי לפעולה של הוצאת שורש מסדר $\ n$ יש בדיוק $\ n$ פתרונות אפשריים כאשר אנו מוציאים שורש למספר השונה מאפס. למשל, ל- $\ \sqrt[4]{16}$ יש 4 תוצאות שונות אפשריות: $\ 2,-2,2i,-2i$ .

מציאת הפתרונות עצמם אינה מסובכת כאשר אנו מכירים את משפט דה-מואבר. נטפל במקרה הכללי:

נניח כי אנו רוצים למצוא את $\ \sqrt[n]{z}$ . ניקח את $\ z$ בהצגה קוטבית: $\ z=r\left(\cos\theta+i\sin\theta\right)$ .

נניח שהמספר $\ w$ הוא אחד מהשורשים שאנו מחפשים ונציג גם אותו בצורה קוטבית:

$\ w=t\left(\cos\varphi+i\sin\varphi\right)$ . כאן $\ t$ הוא הערך המוחלט של $\ w$ ואילו $\ \varphi$ הוא הארגומנט שלו - אנחנו פשוט בוחרים אותיות שונות מהרגיל כדי לסמן אותם.

אנחנו רוצים שיתקיים $\ w^n=z$ . אנחנו יודעים כי על פי משפט דה-מואבר מתקיים:

$\ w^n=t^n\left(\cos(n\varphi)+i\sin(n\varphi)\right)$

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

$\ t^n=r$

או במילים אחרות:

$\ t=\sqrt[n]{r}$

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

כמו כן עבור הארגומנט צריך להתקיים:

$\ n\varphi=\theta+2\pi k$

זה דורש מספר הסברים. ראשית, $\ 2\pi$ הם 360 מעלות כאשר זוויות מסומנות ברדיאנים, וזוהי צורת הכתיבה המקובלת כאשר עוסקים במספרים מרוכבים. שנית, $\ k$ הוא מספר שלם כלשהו. כלומר, ההבדל בין שתי הזוויות הוא כפולה שלמה של 360 מעלות, כנדרש.

נחלק את שני האגפים ב- $\ n$ ונקבל:

$\ \varphi=\frac{\theta+2\pi k}{n}$

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

כדי לראות זאת נניח כי $\ \frac{\theta+2\pi k_1}{n},\frac{\theta+2\pi k_2}{n}$ הם שני פתרונות שונים. נרצה לראות באיזה תנאים ההפרש ביניהם יהיה כפולה שלמה של $\ 2\pi$ , ולכן נחסר אותם ונקבל:

$\ \frac{\theta+2\pi k_1}{n}-\frac{\theta+2\pi k_2}{n}=\frac{2\pi(k_1-k_2)}{n}=2\pi\cdot\frac{k_1-k_2}{n}$

כלומר, שני הפתרונות ייבדלו זה מזה ב- $\ 2\pi$ אם ההפרש בין $\ k_1,k_2$ מתחלק ב- $\ n$ ללא שארית. אומרים במקרה זה כי $\ k_1,k_2$ הם שקולים מודולו $\ n$ .

כל מספר שלם $\ k$ שקול מודולו $\ n$ לאחד מהמספרים שבין $\ 0$ ועד $\ n-1$ : הוא שקול בדיוק למספר שהוא שארית החלוקה של $\ k$ ב- $\ n$ . קל לראות את זה אם נסמן את שארית החלוקה הזו בתור $\ r$ . היא תהיה בתחום הדרוש, ואחרי שנפחית אותה מ- $\ k$ הוא יתחלק ב- $\ n$ ללא שארית.

מכל זה נובע כי כשאנחנו מוצאים שורשים של מספר מרוכב כלשהו, די לנו לבחור בתור הארגומנט רק $\ k$ שבתחום $\ 0\le k\le n-1$ .

כעת אנחנו יכולים לכתוב את הפתרון הכללי של הוצאת שורש מסדר $\ n$ :

למספר $\ z=r(\cos\theta+i\sin\theta)$ יש בדיוק $\ n$ שורשים שונים מספר $\ n$ שנסמנם $\ z_k$ עבור $\ 0\le k\le n-1$ והם:

$\ z_k=\sqrt[n]{r}\left(\cos\frac{\theta+2\pi k}{n}+i\sin\frac{\theta+2\pi k}{n}\right)$

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

[עריכה] הרחבה

נשים לב כי הנוסחה הכללית שהגענו אליה לא חוסכת לנו את הצורך למצוא את השורש ה- $\ n$ של הערך המוחלט של המספר. ייתכן שמתעוררת בכם השאלה כיצד עושים זאת. למשל, כיצד ניתן למצוא את $\ \sqrt{2}$ ? בפועל הדבר נעשה באמצעות מחשבון, איך כיצד המחשבון יודע לעשות זאת?

לא ניכנס כאן להסבר מדויק, אך נציין כי לרוב לא מוצאים את השורש בצורה מדוייקת, אלא רק קירוב שלו שהוא מדוייק בכל הספרות שהמחשבון מסוגל להציג (ולכן אין מרגישים בהבדל). ישנן מספר שיטות במתמטיקה שמאפשרות למצוא קירובים לשורשים. הפשוטה שבהם מתבססת על ניחושים שהולכים ומשתפרים. למשל, במקרה של שורש 2 ננחש שהפתרון נמצא בין 1 ו-2, כי $\ 1^2=1<2$ ואילו $\ 2^2=4>2$ . עכשיו נלך לנקודת האמצע שבין 1 ו-2: 1.5. נשים לב כי $\ 1.5^2=2.25>2$ ולכן הפתרון נמצא בין 1 ו-1.5. עכשיו נעבור לבדוק את 1.25 וכן הלאה.

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

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

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

משפט דה-מואבר
תרגילים

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

מתמטיקה תיכונית/אלגברה תיכונית/מספרים מרוכבים/משפט דה-מואבר

מתוך ויקיספר, אוסף ספרי הלימוד והמדריכים החופשי.

תוכן עניינים

[עריכה] כפל וחילוק מספרים בהצגה קוטבית

[עריכה] משפט דה-מואבר

[עריכה] מציאת שורשים

[עריכה] הרחבה

צפיות

כלים אישיים

ניווט

קהילה

חיפוש

תיבת כלים

הדפסה/ייצוא