上頁 1234 次頁

《基礎幾何學》

五、向量幾何和向量代數
——空間結構的系統代數化
(第 2 頁)

項武義

 

首頁 | 搜尋

.作者任教於香港科技大學數學系
對外搜尋關鍵字
 
位移向量的運算律

在上一節所定義的位移向量的加法運算,顯然具有下述熟悉的運算律:

交換律:      a+b=b+a

結合律:      (a+b)+c=a+(b+c)

[註]:因為一般的變換組合都是滿足結合律的,而位移向量的加法是定義為平移的組合,當然也會滿足結合律。再者,由

\begin{displaymath}(\overrightarrow{AB}+\overrightarrow{BC})+\overrightarrow{CD}= \overrightarrow{AC}+\overrightarrow{CD}=\overrightarrow{AD}\end{displaymath}


\begin{displaymath}\overrightarrow{AB}+(\overrightarrow{BC}+\overrightarrow{CD})= \overrightarrow{AB}+\overrightarrow{BD}=\overrightarrow{AD}\end{displaymath}

亦可以直接驗証位移向量的加法結合律。

零和可逆性: 以 ${\bf0}$ 表示恆等變換這個特殊的平移,$(-{\bf a})$ 表示和 ${\bf a}$ 互逆的平移,則有

\begin{displaymath}\mathbf{0+a=a+0=a} \quad \mbox{{\fontfamily{cwM0}\fontseries{...
...ont \cH65}\z{\fontfamily{cwM2}\fontseries{m}\selectfont \cH13}}\end{displaymath}

[註]:平移和[定理 5.2]的証明都和空間中的「平行性」 (parallelism) 以及平行四邊形定理密切相關的。而交換律 a + b = b + a 更可以想成是平行四邊形定理的向量表述形式。由此可見,往後我們每次運用向量加法交換律,其實也就是對于所研討的幾何問題用了一次平行四邊形定理。

   
 
相似三角形定理和位移向量的倍積

一個數 a 的整數倍 $n\cdot a$ 其實就是 na 相加的總和。同樣我們也自然地把 n 個(位移向量)a 相加的總和定義為倍積 $n\cdot \mathbf{a}$,亦即:

\begin{displaymath}
n\cdot \mathbf{a}=\underbrace{\mathbf{a+a+\,\ldots\,+a}}_{ n...
... \quad
(n+1)\cdot \mathbf{a} = n\cdot \mathbf{a} + \mathbf{a}
\end{displaymath}

再者 $(-n)\cdot \mathbf{a}=n\cdot (\mathbf{-a})=-(n\cdot \mathbf{a})$

由上述位移向量的整數倍的定義,容易直接驗証下列運算律,即:

(i)
$m\cdot \mathbf{a}+n\cdot \mathbf{a}=(m+n)\cdot \mathbf{a}$
(ii)
$m\cdot (n\cdot \mathbf{a})=(mn)\cdot \mathbf{a}$
(iii)
$n\cdot (\mathbf{a+b})=n\cdot \mathbf{a}+n\cdot \mathbf{b}$
對于任給整數 m, n 和任給位移向量 ${\bf a}$, ${\bf b}$ 恆成立。

[習題:試用歸納法驗証 (i), (ii) 和 (iii)。]

$\mathbf{a}=\overrightarrow{AB}\neq \mathbf{0}$,我們可以把 $\overline{AB}$n 等分,令 $\{B_i,1\leq i \leq (n-1)\}$ 為其等分點,則有

\begin{displaymath}\overrightarrow{AB_1}=\overrightarrow{B_1B_2}=\ldots =\overri...
...{n-1}B},\quad n\cdot \overrightarrow{AB_1}= \overrightarrow{AB}\end{displaymath}

由此可見,我們應該把 $\frac{1}{n}\cdot \mathbf{a}$ 定義為 $\overrightarrow{AB_1}$,因為它是那個滿足 $n\cdot \mathbf{x}=\mathbf{a}$ 的唯一解。再者 $\frac{m}{n} \cdot \mathbf{a}$ 的定義應該就是

\begin{displaymath}
\frac{m}{n} \cdot \mathbf{a} = m\cdot \bigg( \frac{1}{n}\cdot \mathbf{a}\bigg)=\frac{1}{n}(m\cdot \mathbf{a})
\end{displaymath}

這樣,就可以把位移向量的倍積由整數倍擴張到有理數倍。而且上述擴張法是唯一能夠使得下列運算律依然成立者,即
(i')
$\displaystyle \frac{m}{n} \cdot \mathbf{a} + \displaystyle \frac{p}{q} \cdot \m...
...igg(\displaystyle \frac{m}{n} + \displaystyle \frac{p}{q}\bigg)\cdot \mathbf{a}$
(ii')
$\displaystyle \frac{m}{n} \cdot \bigg(\displaystyle \frac{p}{q} \cdot \mathbf{a...
...displaystyle \frac{m}{n} \cdot \displaystyle \frac{p}{q}\bigg) \cdot \mathbf{a}$
(iii')
$\displaystyle \frac{m}{n}\cdot (\mathbf{a+b})=\frac{m}{n} \cdot \mathbf{a} +\displaystyle \frac{m}{n} \cdot \mathbf{b}$

最後一步,讓我們來分析一下位移向量的實數倍應該如何定義。設 λ 是一個非比實數(亦稱為無理數), $\mathbf{a}=\overrightarrow{AB}$ 。令 B* 是直線 AB 上那個唯一的點使得有向長度之比

\begin{displaymath}\overrightarrow{AB^*}:\overrightarrow{AB}=\lambda\end{displaymath}

$\lambda \cdot \mathbf{a}$ 應該定義為 $\overrightarrow{AB^*}$,因為它是唯一能夠使得下述比較原則成立者,即
「設 λ 介于兩個有理數 $\displaystyle \frac{m}{n}$$\displaystyle \frac{p}{q}$ 之間而且 $\overrightarrow{AB'}=\displaystyle \frac{m}{n}\,\overrightarrow{AB}$, $\overrightarrow{AB''}=\displaystyle \frac{p}{q}\,\overrightarrow{AB}$, 則 B* 亦必介于 B', B'' 之間。」
而運用上述比較原則和 Eudoxus 夾逼原理即可驗証上述所定義的實數倍的倍積也滿足同樣的運算律,即
(i'')
$\lambda \cdot \mathbf{a}+\mu \cdot \mathbf{a} =
(\lambda +\mu )\cdot \mathbf{a}$
(ii'')
$\lambda \cdot (\mu \cdot \mathbf{a}) =
(\lambda \mu)\cdot \mathbf{a}$
(iii'')
$\lambda \cdot (\mathbf{a+b}) = \lambda \cdot
\mathbf{a} +\lambda\cdot \mathbf{b}$

對于任給實數 λ, μ 和位移向量 ${\bf a}$, ${\bf b}$ 恆成立。

[註]:放大、縮小這種相似變換是空間中常見常用者,而平面幾何中的相似三角形定理則是關于相似變換的基本定理。在此,值得注意的是倍積分配律 $k\cdot (\mathbf{a+b})=k\cdot \mathbf{a}+k\cdot \mathbf{b}$ 的本質就是上述基本定理的代數化形式(參看 [圖 5-2])。

$\mathbf{a}=\overrightarrow{AB}$, $\mathbf{b}=\overrightarrow{BC}$,則 $\mathbf{a+b}=\overrightarrow{AC}$ 。如 [圖 5-2] 所示,

\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=4cm \epsfbox{fig0502.eps}}*\fr...
...+{B}
,(2.7,3.15)*+{C}
,(3.9,-0.3)*+{B'}
,(5.2,5.3)*+{C'}
\endxy\end{displaymath}

[ 圖 5-2 ]

$\bigtriangleup ABC \sim \bigtriangleup A'B'C'$, A=A' 而且 k 是其相似比,則 $\overrightarrow{AB'}=k\cdot \mathbf{a}$, $\overrightarrow{B'C'}=k\cdot \mathbf{b}$, $\overrightarrow{A'C'}= k\cdot \overrightarrow{AC}=k\cdot (\mathbf{a+b})$

   
 
勾股定理和位移向量的內積

一個位移向量 $\overrightarrow{AB}=\tau(A,B)$ 含有方向和長度這樣兩種本質,我們將用符號 |a| 表示其長度,以 $\angle \mathbf{a,b} )$ 表示兩者的方向之差,亦即兩者之間的夾角。在平面幾何學的研討中,三角形是既精且簡的基本圖形,用向量來表達三角形,則它的三個有向邊就可以分別表達成 ${\bf a}$, ${\bf b}$${\bf a}+{\bf b}$ 。由平面幾何中所熟知的 S.S.S. 疊合條件可見夾角 $\angle {\bf a},{\bf b})$ 業已被其三邊邊長 $\vert{\bf a}\vert$, $\vert{\bf b}\vert$, $\vert{\bf a}+{\bf b}\vert$ 所唯一確定。再者,中國古算中的勾股定理(即古希臘的畢氏定理)則可以改寫成

\begin{displaymath}
\mbox{{\fontfamily{cwM2}\fontseries{m}\selectfont \cH74} } \...
...\bf a}+{\bf b}\vert^2 =\vert{\bf a}\vert^2+\vert{\bf b}\vert^2
\end{displaymath}

而在一般 ${\bf a}$, ${\bf b}$ 並非互相垂直的情形則 $\vert{\bf a}+{\bf b}\vert^2-\vert{\bf a}\vert^2-\vert{\bf b}\vert^2 \neq 0$ 。例如當 ${\bf a}={\bf b}$ 的特殊情形,則有

\begin{displaymath}\vert{\bf a}+{\bf b}\vert^2-\vert{\bf a}\vert^2-\vert{\bf b}\...
...ert{\bf a}\vert^2
-\vert{\bf a}\vert^2 =2\vert{\bf a}\vert^2 \end{displaymath}

總之,對于任給兩個位移向量 ${\bf a}$, ${\bf b}$,下述函數
\begin{displaymath}
f({\bf a},{\bf b})=\frac{1}{2}\big\{\vert{\bf a}+{\bf b}\vert^2
-\vert{\bf a}\vert^2-\vert{\bf b}\vert^2\big\}
\end{displaymath} (1)

是一個值得研討的幾何量,例如 $f({\bf a},{\bf b})=0$ 乃是 ${\bf a}$, ${\bf b}$ 互相垂直的充要條件,而 $f({\bf a},{\bf a})=\vert{\bf a}\vert^2$ 。所以它顯然是一個和 ${\bf a}$, ${\bf b}$ 的長度、夾角都密切相關的幾何量。但是歸根究底 (5.1)-式所定義的幾何量是否真正有用、好用,還得要看它是否具有簡潔好用的優良性質。它顯然具有對稱性,即 $f({\bf a},{\bf b})=f({\bf b},{\bf a})$,而詳加研討的結果會發現它其實還具有下述簡潔易算的性質,即
\begin{displaymath}
f({\bf a},{\bf b}+{\bf c})=f({\bf a},{\bf b})+f({\bf a},{\bf c})
\end{displaymath} (2)

若以 $f({\bf a},{\bf b})$ 的定義(即 (5.1)-式)代入 (5.2)-式,即得所需証者,實乃下述含有三個任意向量的恆等式,亦即

\begin{displaymath}
% latex2html id marker 2191\renewedcommand{arraystretch}{1...
...{array} \renewedcommand{arraystretch}{1}\leqno(\ref{eqn0502}')
\end{displaymath}

要証明上述對于任給三個向量 $\{{\bf a},{\bf b},{\bf c}\}$ 都普遍成立的恆等式之前,自然要看一看是否有一種對于任給二個向量 $\{{\bf u},{\bf v}\}$ 都普遍成立的恆等式呢?若有,則一來肯定比較容易証明,二來說不定還可以把「後者」用來証明「前者」。要把上述想法付諸實踐,當然就得有一個「後者」究竟是怎麼樣的恆等式的「猜想」才能進而証明之,是不?

在此,我們自然要用上反推法去「按圖索驥」。亦即假想 (5.2)-式成立的話,應該會有那種對于任何一對向量都普遍成立的恆等式?若用 (5.2)-式反推,則有

\begin{eqnarray*}
\vert{\bf u} + {\bf v}\vert^2 & = & f({\bf u}+{\bf v},{\bf u}+...
...t^2 + \vert{\bf v}\vert^2 -f({\bf u},{\bf v})-f({\bf v},{\bf u})
\end{eqnarray*}


由此可見,應該有恆等式(稱之為廣義勾股定理)
\begin{displaymath}
\vert{\bf u}+{\bf v}\vert^2+\vert{\bf u}-{\bf v}\vert^2 \equiv 2\vert{\bf u}\vert^2 +2\vert{\bf v}\vert^2
\end{displaymath} (3)

請注意,上面這一小段反推法分析只是說明:假如 (5.2)-式恆成立,則 (5.3)-式也恆成立。而我們真正要做的是先用幾何直接証明 (5.3)-式恆成立,然後再設法用它來証明 (5.2)-式(亦即 (5.2')-式)恆成立。反推法的分析其實只是讓我們想到 (5.3)-式恆成立這個待証的猜想。在論証上述猜想之前,不妨先對幾個特別簡單的情形,看一看它是否成立,亦即在 ${\bf u}$, ${\bf v}$ 之間的夾角是 0, $\frac{\pi}{2}$ 和 π 這三種情形:

$\angle ({\bf u},{\bf v}) =0$ 時, $\vert{\bf u}\pm {\bf v}\vert=\big\vert\vert{\bf u}\vert\pm \vert{\bf v}\vert\big\vert$,所以

\begin{displaymath}\vert{\bf u}+{\bf v}\vert^2+\vert{\bf u}-{\bf v}\vert^2 =\big...
...{\bf v}\vert\big)^2 =2\vert{\bf u}\vert^2+2\vert{\bf v}\vert^2 \end{displaymath}

$\angle {\bf u},{\bf v}) =\pi$ 時, $\vert{\bf u}\pm {\bf v}\vert=\big\vert\vert{\bf u}\vert\mp \vert{\bf v}\vert\big\vert$,所以

\begin{displaymath}\vert{\bf u}+{\bf v}\vert^2+\vert{\bf u}-{\bf v}\vert^2 =\big...
...{\bf v}\vert\big)^2 =2\vert{\bf u}\vert^2+2\vert{\bf v}\vert^2 \end{displaymath}

${\bf u}\perp {\bf v}$ 時,由勾股定理,即有

\begin{displaymath}\renewedcommand{arraystretch}{1.3}\begin{array}{l}
\vert{\bf...
...vert{\bf v}\vert^2
\end{array}\renewedcommand{arraystretch}{1}\end{displaymath}

上述對于三種簡單特例的驗証,其實也提供了下述把一般的情形的証明歸于上述業已 驗証的三種特殊情形來加以推導的思路,如 [圖 5-3] 所示,我們可以用垂直投影把 ${\bf v}$ 分解成 ${\bf v}_1+{\bf v}_2$,其中 ${\bf v}_2$${\bf u}$ 垂直 而 ${\bf v}_1$${\bf u}$ 同向(或反向)。


\begin{displaymath}
\xy
\xyimport(5,5){\epsfysize=3cm \epsfbox{fig0503a.eps}}*\f...
...0.4,3.1)*+{{\bf u}-{\bf v}}
,(4,5.35)*+{{\bf u}+{\bf v}}
\endxy\end{displaymath}


\begin{displaymath}
\xy
\xyimport(5,5){\epsfysize=3cm \epsfbox{fig0503b.eps}}*\f...
...(1.1,5.3)*+{{\bf u}-{\bf v}}
,(3,5.3)*+{{\bf u}+{\bf v}}
\endxy\end{displaymath}

[ 圖 5-3 ]

這樣,就可以把 (5.3)-式的証明歸于上述三種業已驗証的情形作如下推導:


\begin{displaymath}
\renewedcommand{arraystretch}{1.2}\begin{array}{l}
\vert{\bf...
...vert{\bf v}\vert^2
\end{array}\renewedcommand{arraystretch}{1}\end{displaymath} (4)

現在讓我們再用剛才証明的 (5.3)-式純代數地去推導 (5.2')-式的普遍成立:

${\bf u}={\bf a}+{\bf b}$, ${\bf v}={\bf c}$,即有

(i)
$\vert{\bf a}+{\bf b}+{\bf c}\vert^2 +\vert{\bf a}+{\bf b}-{\bf c}\vert^2
-2\vert{\bf a}+{\bf b}\vert^2 -2\vert{\bf c}\vert^2 =0$
${\bf u}={\bf a}$, ${\bf v}={\bf b}-{\bf c}$,即有
(ii)
$-\vert{\bf a}+{\bf b}-{\bf c}\vert^2 -\vert{\bf a}-{\bf b}+{\bf c}\vert^2
+2\vert{\bf a}\vert^2 +2\vert{\bf b}-{\bf c}\vert^2 =0$
${\bf u}={\bf a}+{\bf c}$, ${\bf v}={\bf b}$,即有
(iii)
$\vert{\bf a}-{\bf b}+{\bf c}\vert^2 +\vert{\bf a}+{\bf b}+{\bf c}\vert^2
-2\vert{\bf a}+{\bf c}\vert^2 -2\vert{\bf b}\vert^2 =0$
${\bf u}={\bf b}$, ${\bf v}={\bf c}$,即有
(iv)
$-2\vert{\bf b}+{\bf c}\vert^2 -2\vert{\bf b}-{\bf c}\vert^2
+4\vert{\bf b}\vert^2 +4\vert{\bf c}\vert^2 =0$

將上述四個恆等式相加後再遍乘以 $\frac{1}{2}$,即得恆等式 (5.2'),亦即 (5.2)-式普遍成立。

總結上面的討論,我們以勾股定理為基礎,証明幾何量 $f({\bf a},{\bf b})=
\frac{1}{2}\big\{\vert{\bf a}+{\bf b}\vert^2-\vert{\bf a}\vert^2-\vert{\bf b}\vert^2\big\}$ 具有 (5.2)-式所表達既簡且精的性質,它將是用向量去研討幾何廣泛有用的有力工具。在向量代數中,我們索興把它想成是一種由兩個向量求得一個數值的一種乘積,叫做向量的內積 (inner product) 並改用符號 ${\bf a}\cdot {\bf b}$ 表達之,亦即以

\begin{displaymath}
{\bf a}\cdot {\bf b} =\frac{1}{2}\big\{\vert{\bf a}+{\bf b}\...
...^2-\vert{\bf a}\vert^2-\vert{\bf b}\vert^2 \big\} \leqno(5.1')
\end{displaymath}

向量內積的定義式。這樣做的基本原由就是使得性質 (5.2) 可以直截了當地改寫成

\begin{displaymath}
{\bf a}\cdot ({\bf b}+{\bf c})={\bf a}\cdot {\bf b}+{\bf a}\cdot {\bf c} \leqno(5.2'')
\end{displaymath}

這種分配律的形式,使得它運用起來能夠更加得心應手。

【定義】:(向量內積)位移向量 ${\bf a}$, ${\bf b}$ 的內積 $\mathbf{a\cdot b}$ 定義為

\begin{displaymath}\mathbf{a\cdot b}= \frac{1}{2}\big\{\vert\mathbf{a+b}\vert^2-\vert\mathbf{a}\vert^2- \vert\mathbf{b}\vert^2\big\}\end{displaymath}

內積的運算律

(i)
$\mathbf{a\cdot b=b\cdot a}$
(ii)
$\mathbf{a\cdot (b+c)=a\cdot b+a\cdot c}$
(iii)
$(k\mathbf{a})\cdot \mathbf{b}=\mathbf{a}\cdot (k\mathbf{b})=k(\mathbf{a\cdot b})$

[當 k 是整數或有理數時,(iii) 是 (i) 和 (ii) 的推論。當 k 是非比實數時,則可用倍積的比較原則和 Eudoxus 原理加以推導。]

內積的幾何意義

(i)
$\mathbf{a}\cdot \mathbf{a}=\vert\mathbf{a}\vert^2$
(ii)
$\mathbf{a\cdot b}=0 \Leftrightarrow \mathbf{a\perp b}$ (亦即 $\angle \mathbf{a,b})=\pm \displaystyle \frac{\pi}{2}$
(iii)
$\angle \mathbf{a,b})=\theta$ 的一般情形

\begin{displaymath}\mathbf{a\cdot b}=\vert\mathbf{a}\vert\cdot \vert\mathbf{b}\vert\cos\theta \end{displaymath}

[ (iii) 的証明] 先驗証 $\theta = 0$$\theta = \pi$ 這兩種特殊情形。

$\theta = 0$,則有 |a+b|=|a|+|b| 。所以

\begin{displaymath}\mathbf{a\cdot b}=\frac{1}{2}\big\{(\vert\mathbf{a}\vert+\ver...
...{b}\vert=\vert\mathbf{a}\vert\cdot \vert\mathbf{b}\vert \cos 0 \end{displaymath}

$\theta = \pi$,則有 $\vert\mathbf{a+b}\vert=\Big\vert \vert\mathbf{a}\vert-\vert\mathbf{b}\vert\Big\vert$,所以

\begin{displaymath}\mathbf{a\cdot b}=\frac{1}{2}\big\{(\vert\mathbf{a}\vert-\ver...
...\vert = \vert\mathbf{a}\vert\cdot \vert\mathbf{b}\vert \cos\pi \end{displaymath}

在一般的情形,可將 b 分解成

\begin{displaymath}
\mathbf{b} = \mathbf{b}_1 + \mathbf{b}_2, \quad
\mathbf{b}_1 \perp \mathbf{b}_2
\end{displaymath}

$\angle \mathbf{a},\mathbf{b}_1)=0$ 或 π,則有

\begin{eqnarray*}
\mathbf{a\cdot b} &=& \mathbf{a}\cdot (\mathbf{b}_1+\mathbf{b}...
...athbf{b}_1=\pm \vert\mathbf{a}\vert\cdot \vert\mathbf{b}_1\vert
\end{eqnarray*}


$\pm \vert\mathbf{b}_1\vert=\vert\mathbf{b}\vert\cos\theta$ 。 □

[註]:上述公式提供了用內積表達兩個非零向量的夾角餘弦的公式,即

\begin{displaymath}
\cos\theta = \frac{\mathbf{a\cdot b}}{\vert\mathbf{a}\vert\c...
...t b}}{\sqrt{ \mathbf{a\cdot a} } \sqrt{ \mathbf{b \cdot b} } }
\end{displaymath}

其實,上述公式就是平面幾何中熟悉的餘弦定律。由此可見,長度和角度都可以用向量內積去有效計算,而內積本身又具有一套十分簡明有力的運算律,特別是分配律。在本質上,內積分配律乃是勾股定理的提升和精簡之所得,也可以說是勾股定理代數化的最佳形式。

   
 
面積的勾股定理和位移向量的 × -積

四面體是三角形的三維推廣。而具有三個棱正交于一點的四面體則是直角三角形的推廣,我們將稱之為正交四面體,如 [圖 5-4] 所示:


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=4cm \epsfbox{fig0504.eps}}*\fr...
...ntfamily{cwM0}\fontseries{m}\selectfont \cH199} 5--4 ]}}
\endxy\end{displaymath}

面積的勾股定理

$\overline{OA}$, $\overline{OB}$, $\overline{OC}$ 正交于 O,它共交于 O 點的三個三角形 $\bigtriangleup OAB$, $\bigtriangleup OBC$, $\bigtriangleup OCA$ 互相垂直,而 $\bigtriangleup ABC$ 則是和其他三個面斜交者。是否也有類似于勾股定理的公式說明上述正交四面體的四個面積之間的關係呢?例如斜面面積的平方是否恆等于其他三個面的面積平方之和呢?這就是我們接著所要論証者。

【定理 5.3】:(面積的勾股定理)一個正交四面體的斜面面積的平方恆等于其他三個面的面積平方之和,亦即如 [圖 5-4] 所示

\begin{displaymath}(\bigtriangleup ABC)^2=(\bigtriangleup OAB)^2 + (\bigtriangleup OBC)^2+(\bigtriangleup OCA)^2\end{displaymath}

証明:令正交四面體的三個正交于 O 點的棱長分別是 $\ell_1$, $\ell_2$, $\ell_3$,則由勾股定理即得其斜面 $\bigtriangleup ABC$ 的三邊邊長分別是

\begin{displaymath}a=\sqrt{\ell_2^2+\ell_3^2}\,,\;\; b=\sqrt{\ell_1^2+\ell_3^2}\, ,\;\;
c=\sqrt{\ell_1^2+\ell_2^2}\end{displaymath}

易見其三個互相正交的三角形的面積分別為

\begin{displaymath}\bigtriangleup OAB=\frac{1}{2}\ell_1\ell_2,\;\;
\bigtriangl...
...}\ell_2\ell_3,\;\;
\bigtriangleup OCA=\frac{1}{2}\ell_3\ell_1 \end{displaymath}

再者,由平面幾何中的秦九韶公式,其斜面面積平方是

\begin{eqnarray*}
&& (\bigtriangleup ABC)^2 \\
&=& \frac{1}{16}\big\{2(a^2b^2+b...
...triangleup OAB)^2 +(\bigtriangleup OBC)^2+(\bigtriangleup OCA)^2
\end{eqnarray*}


在坐標幾何中,勾股定理的重要推論是下述距離公式

\begin{displaymath}\big\vert\overline{P_1P_2}\big\vert^2=(x_2-x_1)^2+(y_2-y_1)^2+(z_2-z_1)^2\end{displaymath}

其幾何意義是:空間中直線段 $\overline{P_1P_2}$ 的長度平方等于它在三個互相垂直的直線上的各別垂直投影的長度平方之和。再者,設向量 ab 在三個坐標軸上的垂直投影的有向長度分別是 (a1,a2,a3)(b1,b2,b3),則有內積坐標計算公式

\begin{displaymath}\mathbf{a\cdot b}=a_1b_1+a_2b_2+a_3b_3,\end{displaymath}

a=b 時,即有

\begin{displaymath}\vert\mathbf{a}\vert^2=\mathbf{a\cdot a}=a_1^2+a_2^2+a_3^2\end{displaymath}

由此可見上述內積公式實乃距離公式的推廣。

[定理 5.3]的幾何意義是:空間中一片平面的面積平方等于它在三個互相垂直的平面(例如一個正交坐標系的三個坐標面)上的垂直投影的面積平方之和。由此可以猜想到,我們也應該試著將面積的勾股定理的本質進一步轉化為在空間中一片平面和另一片平面之間的「內積」的適當定義。

假如我們把一個有向線段想成一種有向的 1-維基本幾何事物,定向平行四邊形 $/\!/(\mathbf{a,b})$ 想成一種有向的 2-維基本幾何事物,就自然會想到是否也可以定義一種 $/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 之間的「內積」使得

\begin{displaymath}/\!/(\mathbf{a,b}) \cdot /\!/(\mathbf{a,b})=/\!/(\mathbf{a,b}...
...t \cH19}\z{\fontfamily{cwM1}\fontseries{m}\selectfont \cH106}} \end{displaymath}

而且 $/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 的「內積」也可以有類似于上述的坐標計算公式。

讓我們先來看看 1-維的情形。設 $\overrightarrow{AB}$$\overrightarrow{CD}$ 共線,則兩者的內積就等于它們的有向長度的乘積,即:

\begin{displaymath}\overrightarrow{AB}\cdot \overrightarrow{CD} = \left\{ \begin...
...mily{cwM0}\fontseries{m}\selectfont \cH1}} \end{array} \right. \end{displaymath}

$\overrightarrow{AB}$ $\overrightarrow{CD}$ 不共線,令 $\overrightarrow{C'D'}$ $\overrightarrow{CD}$AB 上的垂直投影,則

\begin{displaymath}\overrightarrow{AB}\cdot \overrightarrow{CD} = \overrightarro...
...ctfont \cH9}{\fontfamily{cwM0}\fontseries{m}\selectfont \cH1}} \end{displaymath}

現在讓我們試著對于 $/\!/(\mathbf{a,b})$ $/\!/(\mathbf{c,d})$ 的內積作類同的定義如下,即

(i)
$/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 共面時,定義其內積為兩者的定向面積的乘積;

(ii)
$/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 不共面時,則定義其內積為 $/\!/(\mathbf{a,b})$$/\!/(\mathbf{c',d'})$ 的定向面積的乘積,其中 $/\!/(\mathbf{c',d'})$ 乃是 $/\!/(\mathbf{c,d})$$/\!/(\mathbf{a,b})$ 所在平面上的垂直投影。

且以符號 $<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!>$ 表示上面所定義的量。

【定理 5.4】:

\begin{displaymath}<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!>= \left\vert \...
...\mathbf{a\cdot d} && \mathbf{b\cdot d} \end{array} \right\vert \end{displaymath}

証明:(i) 設 $/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 共在一個平面 Π 之內。在 Π 上取定一組向量 $\{\mathbf{e}_1,\mathbf{e}_2\},\; \vert\mathbf{e}_1\vert=\vert\mathbf{e}_2\vert=1,\; \angle \mathbf{e}_1,\mathbf{e}_2)=\displaystyle \frac{\pi}{2}$。令 $\mathbf{a\cdot e}_i=a_i,\; \mathbf{b\cdot e}_i=b_i,\; \mathbf{c\cdot e}_i=c_i,\; \mathbf{d\cdot e}_i=d_i,\; i=1,2$,則由上述定義和行列式乘法公式即有


\begin{eqnarray*}
<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!> &=& \left\vert...
... \mathbf{a\cdot d} && \mathbf{b\cdot d} \end{array} \right\vert
\end{eqnarray*}


(ii) 設 $/\!/(\mathbf{a,b})$$/\!/(\mathbf{c,d})$ 不共面,而 $/\!/(\mathbf{c',d'})$ 則是 $/\!/(\mathbf{c,d})$ 垂直投影到 $/\!/(\mathbf{a,b})$ 的所在平面 Π 的影象,由定義和上述所已証者,即有

\begin{eqnarray*}
<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!> &=& <\!\!/\!/(...
...mathbf{a\cdot d'} && \mathbf{b\cdot d'} \end{array} \right\vert
\end{eqnarray*}


再者,c-c'd-d' 乃是垂直于 Π 的向量,而 ${\bf a}$, ${\bf b}$ 則是位于 Π 之內者,所以

\begin{displaymath}
\begin{array}{lll}
\mathbf{a\cdot (c-c')}=0, &\quad& \mathbf...
...a\cdot (d-d')}=0, &\quad& \mathbf{b\cdot (d-d')}=0
\end{array}\end{displaymath}

亦即

\begin{displaymath}\mathbf{a\cdot c'=a\cdot c,\quad b\cdot c'=b\cdot c,\quad a\cdot d'=a\cdot d,\quad b\cdot d'=b\cdot d}\end{displaymath}

即已証得

\begin{displaymath}<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!>= \left\vert \...
...\mathbf{a\cdot d} && \mathbf{b\cdot d} \end{array} \right\vert \end{displaymath}

[定理 5.4]的公式充分顯示這種內積的 2-維推廣肯定就是我們所想要者,例如

\begin{eqnarray*}
<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{a,b})\!\!> &=& \left\vert...
...nt \cH19}\z{\fontfamily{cwM1}\fontseries{m}\selectfont \cH106}}
\end{eqnarray*}


再者,設 e1,e2,e3 分別是一個取定正交坐標系在 x,y,z 軸上的單位向量。令

\begin{eqnarray*}
\mathbf{a}&=&a_1\mathbf{e}_1+a_2\mathbf{e}_2+a_3\mathbf{e}_3 \...
...\
\mathbf{d}&=&d_1\mathbf{e}_1+d_2\mathbf{e}_2+d_3\mathbf{e}_3
\end{eqnarray*}


不難用直接計算去驗証:

\begin{eqnarray*}
& &<\!\!/\!/(\mathbf{a,b}),/\!/(\mathbf{c,d})\!\!> \\
&=&
\le...
...dot <\!\!/\!/(\mathbf{c,d}),/\!/(\mathbf{e}_3,\mathbf{e}_1)\!\!>
\end{eqnarray*}


向量的 ×-積

在一個已經定向的空間之中(通常約定以右手型為所選之正向),我們可以用一個唯一的向量 (a x b) 去充分表達空間中一個(定向)平行四邊形 $/\!/(\mathbf{a,b})$ 的方向和面積,如 [圖 5-5] 所示。它是一個和 ${\bf a}$, ${\bf b}$ 皆為正交,長度等于 $/\!/(\mathbf{a,b})$ 的面積而 (a,b,a x b) 是右手型者,稱之為 ${\bf a}$, ${\bf b}$ 的 ×-積。


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=4cm \epsfbox{fig0505.eps}}*\fr...
...
,(1,2.4)*+{{\bf b}}
,(-0.7,4.6)*+{{\bf a}\times{\bf b}}
\endxy\end{displaymath}

[ 圖 5-5 ]

由上述 ×-積的定義易見

a x b=-(b x a)

而且對于任給 c

\begin{displaymath}(\mathbf{a\times b})\cdot \mathbf{c}=V(\mathbf{a,b,c})\end{displaymath}

其實上式就是平行六面體的體積等于底面積乘高的向量表達式。

【定理 5.5】:向量的 ×-積滿足下列運算律:

(i)
a x b=-(b x a)
(ii)
(ka) x b=a x (kb)=k(a x b)
(iii)
$(\mathbf{a\times b})\cdot \mathbf{c}= \mathbf{a}\cdot (\mathbf{b}\times \mathbf{c})
=V({\bf a},{\bf b},{\bf c})$
(iv)
a x (b1+b2)=a x b1+ a x b2
(v)
$\mathbf{(a\times b)\cdot (c\times d)}= \left\vert \begin{array}{lll} \mathbf{a\...
...{b\cdot c} \\
\mathbf{a\cdot d} && \mathbf{b\cdot d} \end{array} \right\vert $
(vi)
$\mathbf{(a\times b)\times c - a\times (b\times c) = (a\cdot b)c-(b\cdot c)a} $

証明

(ii)
$[(k\mathbf{a})\times \mathbf{b}-k(\mathbf{a\times b})]\cdot \mathbf{c} = V(k\mathbf{a,b,c})-kV(\mathbf{a,b,c})=0, \quad \forall \mathbf{c}$

$\Rightarrow k\mathbf{a\times b}-k(\mathbf{a\times b)=0}$
(iii)
$(\mathbf{a\times b})\cdot \mathbf{c}=V(\mathbf{a,b,c})$,

$\mathbf{a\cdot (b\times c)} = \mathbf{(b\times c)\cdot a}=V(\mathbf{b,c,a})= V(\mathbf{a,b,c})$

(iv)
$[\mathbf{a}\times (\mathbf{b}_1+\mathbf{b}_2)-\mathbf{a}\times \mathbf{b}_1-\mathbf{a}\times \mathbf{b}_2]\cdot \mathbf{c} $

$\quad = V(\mathbf{a},\mathbf{b}_1+\mathbf{b}_2,\mathbf{c}) -V(\mathbf{a},\mathb...
...\mathbf{c}) -V(\mathbf{a},\mathbf{b}_2,\mathbf{c}) =0, \quad \forall \mathbf{c}$

$\Rightarrow \mathbf{a}\times(\mathbf{b}_1+\mathbf{b}_2) -\mathbf{a}\times\mathbf{b}_1-\mathbf{a}\times\mathbf{b}_2=\mathbf{0}$
(v)
乃是[定理 5.4]和$\,\times$-積定義的直接結合。
(vi)
$\mathbf{[(a\times b)\times c-a\times (b\times c)-(a\cdot b)c + (b\cdot c)a]\cdot d}$

$=[\mathbf{(a\times b)\times c]\cdot d-[a\times(b\times c)]\cdot d- (a\cdot b)(c\cdot d)+(b\cdot c)(a\cdot d)}$

$=\mathbf{(a\times b)\cdot (c\times d)-(d\times a)\cdot (b\times c)-(a\cdot b)(c\cdot d)+(b\cdot c)(a\cdot d)}$

$=\left\vert \begin{array}{lll} \mathbf{a\cdot c} && \mathbf{b\cdot c} \\
\mat...
... \end{array} \right\vert
- \mathbf{(a\cdot b)(c\cdot d)+(b\cdot c)(a\cdot d)}$

$=0 \quad \forall \mathbf{d}$

$\Rightarrow \mathbf{(a\times b)\times c-a\times (b\times c)- (a\cdot b)c + (b\cdot c)a =0}$

四元數——時空的代數

時間是一維的,空間是三維的,所以時空組合的總體是四維的,亦即

\begin{displaymath}\mathbb{R} \oplus \mathfrak{U} = \{(t,\mathbf{a});\; t\in \mathbb{R},\; \mathbf{a}\in \mathfrak{U}\}\end{displaymath}

Hamilton 的創見賦予時空一種既自然又美妙的代數結構,這也就是著名的四元數 (quaternions)。其加、乘運算的定義如下:

\begin{eqnarray*}
(t_1,\mathbf{a}_1)+(t_2,\mathbf{a}_2) &=& (t_1+t_2,\;\mathbf{a...
...1\mathbf{a}_2+t_2\mathbf{a}_1 + \mathbf{a}_1\times \mathbf{a}_2)
\end{eqnarray*}


上述加、乘運算除了乘法的交換律之外,滿足所有其他各種慣用的運算律,例如加法的交換律和結合律,加、乘結合的分配律和乘法的結合律等等。其中驗起來比較繁複的是乘法結合律,茲証之如下:運用分配律,可以把所要驗証的要點歸結到

\begin{displaymath}[(0,\mathbf{a})\cdot (0,\mathbf{b})]\cdot (0,\mathbf{c}) \sta...
...}{=}
(0,\mathbf{a})\cdot [(0,\mathbf{b})\cdot (0,\mathbf{c})] \end{displaymath}

這個最不平凡的情形。由前述四元數的定義,即有

\begin{eqnarray*}[(0,\mathbf{a})\cdot (0,\mathbf{b})]\cdot (0,\mathbf{c}) &=& (-...
...}),\; -\mathbf{(b\cdot c)a} + \mathbf{a\times (b\times c)} \big)
\end{eqnarray*}


由此可見,用[定理 5.5]的公式 (vi) 即有

\begin{displaymath}[(0,\mathbf{a})\cdot (0,\mathbf{b})]\cdot (0,\mathbf{c}) -(0,...
...cdot [(0,\mathbf{b})\cdot (0,\mathbf{c})]
\equiv (0,\mathbf{0})\end{displaymath}

再者,我們也可以類同于複數 (complex number) 的情形定義共軛和絕對值,即

\begin{eqnarray*}
\overline{(t,\mathbf{a})}&=& (t,-\mathbf{a}) \\
\big\vert(t,\mathbf{a})\big\vert &=& \sqrt{t^2+\mathbf{a\cdot a}}
\end{eqnarray*}


則有

\begin{eqnarray*}
(t,\mathbf{a})\cdot \overline{(t,\mathbf{a})} &=& (t^2+\mathbf...
...rac{1}{\big\vert(t,\mathbf{a})\big\vert^2}\cdot (t,-\mathbf{a})
\end{eqnarray*}


總之,四元數乃是研討時空的精簡有效的數學工具,它也是研究學習電磁學、狹義相對論的基本工具。

   

上頁 1234 次頁

回頁首
 
(若有指正、疑問……,可以在此 留言寫信 給我們。)
EpisteMath

EpisteMath (c) 2000 中央研究院數學所、台大數學系
各網頁文章內容之著作權為原著作人所有


最後修改日期:6/19/2004