i (מספר)
המספר i, ידוע גם כיחידת המספר המדומה או היחידה המדומה, הוא אחד מפתרונות המשוואה הריבועית (לצד המספר i-): הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2+1=0} . מכיוון שאין מספר ממשי שמקיים את זהות זו, ותחת הנחת סגירות לחיבור וכפל בסקלר של היחידה הדמיונית, ניתן להרחיב את המישור הממשי על ידי הכללת היחידה הדמיונית במישור חדש, אשר כולל את היחידה הדמיונית – מישור המספרים המרוכבים. החשיבות העיקרית של הוספת היחידה הדמיונית היא בעובדה שעל ידי הכללת היחידה הדמיונית כצירוף ליניארי שלה עם המספר 1 (מישור גאוס), לכל פולינום מדרגה n יהיו n שורשים (המשפט היסודי של האלגברה).
היסטוריה
יצירתו של המספר i, ביחד עם המספרים המרוכבים הייתה בתחילת המאה ה־16, ומיוחסת לג'ירולמו קרדאנו, שנעזר בהגדרתם לצורך פתרון של המשוואה ממעלה שלישית. המספרים הוגדרו במפורש, בשנת 1572 על ידי רפאל בומבלי. באותה עת נחשבו מספרים כאלה לא אמיתיים. מתמטיקאים התקשו לקבל את המושג החדש, והדבר בא לידי ביטוי גם בשם שניתן להם. דקארט, הראשון שהשתמש במושג "מספר מדומה" בשנת 1637, וצירוף ליניארי שלהם עם מספרים ממשים (כלומר, כל מספר מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a+bi} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} הם ממשיים) נקרא מספר מרוכב. המספרים המרוכבים נכנסו למתמטיקה באופן מלא בעקבות עבודותיהם של אוילר וגאוס.
הגדרה
היחידה המדומה i מוגדרת כמספר שמקיים את המשוואה , או, באופן שקול, בתור שורש של הפולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2 +1} . לגבי הבחירה בין שני השורשים השונים, ראו בהמשך.
אף על פי שהמבנה נקרא "מדומה", ועל אף שתפיסתית קשה אולי להבין את מהות ההגדרה, המבנה המתמטי הוא תקף לחלוטין, ממש כמו המספרים הממשיים. יתרה מכך, רוב הפעולות שתקפות למספרים ממשיים, תקפות גם למספרים מרוכבים (מספרים שמכילים צירוף ליניארי של i ואחד).
כמו כל מספר מרוכב, i יכול להיות מיוצג על ידי חלק ממשי וחלק מדומה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Re(i)=0} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Im(i)=1} . בהצגה לפי גודל וזווית (הצגה קוטבית) – כלומר, אם נבקש לכתוב: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i=R\operatorname{exp}(i\theta)} , כך ש-R הוא גודלו, ו-θ היא הפאזה שלו – אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R=1} , ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta=\pi/2} . במילים אחרות, i נמצא על מעגל היחידה של מישור גאוס בזווית של 90 מעלות ביחס לכיוון החיובי של הציר הממשי – כפי שמתואר באיור למעלה.
התנהגות של i בחזקות שלמות וגדולות מ־2
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^3 = i^2 i = (-1) i = -i}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^4 = i^3 i = (-i) i = -(i^2) = -(-1) = 1}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^5 = i^4 i = (1) i = i}
ומכאן שקיימת מחזוריות, וניתן להכליל באינדוקציה את ההתנהגות של i בחזקת k טבעי כלשהו:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^{4k} = 1}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^{4k+1} = i}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^{4k+2} = -1}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^{4k+3} = -i}
בדומה ניתן לומר:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^0 = i^{1-1} = i^1i^{-1} = i^1\frac{1}{i} = i\frac{1}{i} = \frac{i}{i} = 1 \,}
- בהתאם לנאמר נוכל לקבוע זהות נוספת ביחס ל-i:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^k = i^{k \pmod 4}\,}
- דרך אחרת לקבל תוצאות אלו היא באמצעות נוסחת אוילר
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^n = \cos(n\pi/2)+i\sin(n\pi/2)}
כאשר מעלים את i בחזקת עצמו:
יחסי גומלין בין i ובין -i
מעצם היותם שני שורשים של אותה המשוואה הריבועית: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2+1=0} הם נקראים צמודים מרוכבים, ומתקיים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{i}=-i} (קרי: i צמוד שווה מינוס i).
בנוסף, שני המספרים הם גם נגדיים וגם הופכים אחד של השני, תכונה הכרחית לקיום תת־מרחב וקטורי המדומה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -i=1/i} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i=-(-i)} . מאחר שלמשוואה , אשר מגדירה את היחידה המדומה, יש שני פתרונות, קיימת בעייתיות מסוימת בהגדרה. עם זאת, אם בוחרים באחד מהם להיות i, אז האחר הוא בהכרח המספר הנגדי (וההופכי) לו. לאור זאת, אין שוני אלגברי בהגדרתם הבסיסית, אך בהינתן בחירה של אחד מהם, נוכל להגדיר את יחסי הגומלין לעיל.
שורשים של i
מהסעיף הקודם נובע שנדרשת זהירות כאשר מבקשים להוציא שורש של מספר מרוכב בכלל, ובפרט של היחידה המדומה: במספרים הממשיים, הטווח של השורש מוגדר להיות המספרים האי־שליליים, אבל במספרים המרוכבים אין דרך לשמור על העיקרון בצורה פשוטה. למשל, אילו היה ניתן להגדיר את השורש בצורה עקבית עם המקובל במספרים הממשיים, היה מתקבל:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -1 = i \cdot i = \sqrt{-1} \cdot \sqrt{-1} = \sqrt{(-1) \cdot (-1)} = \sqrt{1} = 1}
שהיא סתירה.
במקום זאת, לפונקציות מרוכבות רבות (ביניהן: שורש, לוגריתם ולפעמים אפילו חזקה) מוגדרים ענפים שונים, כך שכל אחד מהם הוא פונקציה רציפה. בפרט, לכל מספר יכולים להיות כמה שורשים שונים.
שורשים ריבועיים
ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} יש שני שורשים ריבועיים שהם:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pm \left( \frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i \right) = \pm \frac{\sqrt{2}}2 (1 + i). }
- הוכחה
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \left( \pm \frac{\sqrt{2}}2 (1 + i) \right)^2 \ & = \left( \pm \frac{\sqrt{2}}2 \right)^2 (1 + i)^2 \ \\ & = \frac{1}{2} (1 + 2i + i^2) \\ & = \frac{1}{2} (1 + 2i - 1) \ \\ & = i. \ \\ \end{align} }
שורשים ממעלה שלישית
שלושת השורשים ממעלה שלישית של הם:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -i} ,
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle +\frac{\sqrt{3}}{2} + \frac{i}{2}} ,
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\frac{\sqrt{3}}{2} + \frac{i}{2}} .
באופן כללי
לפי המשפט היסודי של האלגברה, לכל מספר מרוכב יש בדיוק n שורשים ממעלה n. עבור i, השורשים ממעלה n הם n מספרים המפוזרים באופן אחיד על פני מעגל היחידה, כך שההפרש בארגומנט בין כל שני מספרים סמוכים הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\pi/n +2\pi m} (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} הוא מספר שלם).
בצורה מדויקת יותר, אם מסדרים את n השורשים לפי הארגומנט שלהם, אז השורש ה-k ממעלה n של i הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{i \pi (1 + 4k)/2n}} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k\in\left\{0,1,\dots,n-1\right\}} .
פעולות נוספות שכוללות את i
- כפל של i במספר מרוכב
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i\,(a + bi) = ai + bi^2 = -b + ai.}
- הופכי של i
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{i} = \frac{1}{i} \cdot \frac{i}{i} = \frac{i}{i^2} = \frac{i}{-1} = -i.}
- חילוק ב-i
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{a + bi}{i} = -i\,(a + bi) = -ai - bi^2 = b - ai. }
- שקול לסיבוב המספר המרוכב בפאזה של 90 מעלות.
- עצרת
וכן
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |i!| = \sqrt{\pi \over \sinh \pi} } [1]
פעולות נוספות
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^{ni} = \cos(n\ln x) + i \sin(n\ln x ).}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt[ni]{x} = \cos\left( \frac{\ln x}{n}\right) - i \sin\left(\frac{\ln x}{n}\right).}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_i(x) = {{2 \ln x } \over i\pi}.}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos(i) = \cosh(1) = {{e + 1/e} \over 2} = {{e^2 + 1} \over 2e} \approx 1.54308064... .}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sin(i) = i\sinh(1) \, = {{e - 1/e} \over 2} \, i = {{e^2 - 1} \over 2e} \, i \approx 1.17520119 \, i... .}
- נשים לב שכל הפעולות האלו נבחרו ביחס לענף הראשי של הפונקציות הרב ערכיות במישור המרוכב.
סימונים שונים
בענפי מדע רבים, כגון הנדסת חשמל, נוהגים להחליף את השם של היחידה המדומה מ־i ל־j, עקב החשש לבלבול בסימון בין היחידה הדמיונית והזרם החשמלי שגם הוא מסומן ב־i קטנה. בהתאם לכך, שפת התכנות "פייתון" מסמנת את היחידה המדומה ב־j, ושפת התכנות MATLAB מקבלת את שני הסימונים.
חלק מספרי הלימוד משתמשים באות היוונית יוטא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\iota)} כדי למנוע בלבול עם אינדקסים שמסומנים באות הלטינית i.
לקריאה נוספת
- Nahin, Paul J. (1998). An Imaginary Tale: The Story of √−1. Chichester: Princeton University Press. ISBN 0-691-02795-1.
קישורים חיצוניים
- Euler's work on Imaginary Roots of Polynomials at Convergence
- סרטון הסבר על המספר i ביוטיוב
- I, באתר MathWorld (באנגלית)
הערות שוליים
I (מספר)36217965Q193796