מכפלה מעורבת

מכפלה מעורבת (או מכפלה משולשת) היא פעולה הפועלת על שלושה וקטורים מהמרחב האוקלידי <math>\ \mathbb{R}^3</math> ומחזירה סקלר. המכפלה המעורבת מהווה דטרמיננטה למטריצה במרחב האוקלידי <math>\ \mathbb{R}^3</math>. בערך זה נדון בעיקר במכפלה המעורבת במרחב האוקלידי <math>\ \mathbb{R}^3</math> וביישומיה בגאומטריה באנליזה וקטורית ובאלגברה ליניארית.

== הגדרה ==
יהי <math>\vec{a}=\left[\begin{array}{c}
x_{1}\\ 
y_{1}\\ 
z_{1}
\end{array} \right],\ \vec{b}=\left[\begin{array}{c}
x_{2}\\ 
y_{2}\\ 
z_{2}
\end{array} \right],\ \vec{c}=\left[\begin{array}{c}
x_{3}\\ 
y_{3}\\ 
z_{3}
\end{array} \right]\in \mathbb{R}^3</math><br /><br />המכפלה המעורבת היא המכפלה <math>\vec{a}\cdot\left(\vec{b}\times\vec{c}\right)</math> <br />כלומר, מכפלה סקלרית של הוקטור <math>\vec{a}</math> במכפלה הווקטורית של הוקטורים <math>\vec{b},\vec{c}</math>.

== משמעות ==
תוצאת המכפלה המעורבת היא מספר אשר משמעותו הוא נפח המקבילון הבנוי על וקטורים <math>\vec{a},\vec{b},\vec{c}</math>. נפח כאן הוא במשמעות שונה מעט מהמשמעות המקובלת שלו, כיוון שהערך של המכפלה המעורבת יכול להיות שלילי, בעוד שנפח נתפס לרוב כגודל חיובי בלבד. ניסוח מדויק יותר הוא שהגודל של המכפלה המעורבת שווה לנפח המקבילון הנוצר על ידי שלושת הווקטורים. סימן המכפלה (חיובי או שלילי) נקבע לפי סדר הווקטורים, כלומר, אם השלשה <math>\vec{a},\vec{b},\vec{c}</math> היא שלשה ימנית או שלשה שמאלית. אם הווקטורים קו-פלנריים (כלומר שלושתם נמצאים על אותו מישור), אז המכפלה המעורבת מתאפסת, כיוון שבמקרה זה ה"מקבילון" המוגדר על ידם הוא שטוח ונפחו 0.

ניתן גם להסתכל על המכפלה המעורבת (ב <math>\mathbb{R}^3</math> ) בתור הדטרמיננטה של המטריצה המורכבת מהוקטורים <math>\vec{a},\vec{b},\vec{c}</math>. לכן, מתכונות הדטרמיננטה ברור כי

<math>
\vec{a} \cdot \left( \vec{b} \times \vec{c} \right)=
\vec{c} \cdot \left( \vec{a} \times \vec{b} \right)=
\vec{b} \cdot \left( \vec{c} \times \vec{a} \right)
</math>

אך חילוף הסדר יהפוך את הסימן:

<math>\vec{a}\cdot\left(\vec{b}\times\vec{c}\right)=
-\vec{a}\cdot\left(\vec{c}\times\vec{b}\right)</math>

כמו כן מתקיים לכל זוג ווקטורים:

<math>\vec{a}\cdot\left(\vec{a}\times\vec{b}\right)=0 </math>

== מכפלה וקטורית משולשת (מעורבת) ==
ישנו סוג נוסף של מכפלה מעורבת המחזיר וקטור ולא סקלר; זוהי המכפלה הווקטורית המשולשת: <math>\vec{a}\times (\vec{b}\times\vec{c}) </math>. תוצאת המכפלה הווקטורית המשולשת היא:

: <math>\vec{a}\times (\vec{b}\times\vec{c}) = (\vec{a}\cdot \vec{c})\vec{b} - (\vec{a}\cdot \vec{b})\vec{c} </math>

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

=== הוכחה ===
נרשום כל אחד מהווקטורים <math>\vec{b},\vec{c} </math> כסכום של רכיב מקביל ורכיב ניצב לוקטור <math>\vec{a} </math>:

: <math>\vec{b} = \vec{b\|a} + \vec{b\perp a} </math> 
: <math>\vec{c} = \vec{c\|a} + \vec{c\perp a} </math>

ונקבל על סמך קיום חוק הפילוג במכפלות וקטוריות:

: <math>\vec{a}\times (\vec{b}\times\vec{c}) = \vec{a}\times ((\vec{b\|a} + \vec{b\perp a})\times(\vec{c\|a} + \vec{c\perp a})) = \vec{a}\times (\vec{b\|a}\times\vec{c\|a} +\vec{b\|a}\times\vec{c\perp a}+\vec{b\perp a}\times\vec{c\|a}+ \vec{b\perp a}\times \vec{c\perp a}) </math>

נבחין כעת כי המכפלה <math> \vec{b\|a}\times\vec{c\|a}</math> שווה לאפס היות שהיא מייצגת מכפלה וקטורית של שני וקטורים בכיוון זהה (כיוון a). בדומה לכך, גם המכפלה <math>\vec{a}\times(\vec{b\perp a}\times \vec{c\perp a}) </math> שווה לאפס היות ששני הווקטורים בתוך הסוגריים נמצאים במישור הניצב ל-a - ולפיכך מכפלתם הווקטורית היא בכיוון a כך שהמכפלה המשולשת כולה מתאפסת אף היא. נשארנו לפיכך עם הביטוי:

: <math>\vec{a}\times (\vec{b}\times\vec{c}) = \vec{a}\times (\vec{b\|a}\times\vec{c\perp a}+\vec{b\perp a}\times\vec{c\|a}) = \vec{a}\times (\vec{b\|a}\times\vec{c\perp a})-\vec{a}\times(\vec{c\|a}\times \vec{b\perp a}) </math>

כאשר המעבר האחרון נסמך על תכונת האנטי-חילופיות של המכפלה הווקטורית. כיוון שעבור שני וקטורים <math>\vec{x},\vec{y} </math> בבסיס אורתונורמלי של מרחב תלת-ממדי מתקיים באופן כללי: <math>\vec{x}\times(\vec{x}\times\vec{y}) = -\vec{y} </math>, נקבל שהביטוי באגף ימין של השוויון האחרון שקול ל-:

<math>\vec{a}\times (\vec{b}\times\vec{c}) = (\vec{a}\cdot \vec{c})\vec{b} - (\vec{a}\cdot \vec{b})\vec{c} </math>

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

מ.ש.ל

== ראו גם ==

* מרחב וקטורי
* מכפלה פנימית
* מכפלה וקטורית
* מכפלה סקלרית
* דטרמיננטה

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

קטגוריה:אלגברה ליניארית
קטגוריה:אנליזה וקטורית
קטגוריה:גאומטריה