高中數學裡,空間中的平面的方程式,都是談「點法式」:給定一點$P_0 (x_0, y_0, z_0)$,再給定一法向量$\overrightarrow{n} = (a, b, c)$,於是,存在唯一一張通過點$P_0$、且與$\overrightarrow{n}$垂直的平面,其方程式為
$$a(x - x_0) + b(y - y_0) + c(z - z_0) = 0.$$
此即點法式。
教完平面方程式後,就會談直線方程式,教學目標有參數式、比例式與兩面式,其中以參數式為最重要的形式。在以往的課綱中,在教平面向量的時候,還會談平面上的直線的參數式。從而在高中數學裡,無論是平面上的直線,還是空間中的直線,都有參數式的表示。
一個問題是:空間中的平面是否會有參數式?
提出此問題的動機其實很自然,因為在向量(無論平面還是空間)教學的初始階段,線性組合是向量運算的核心。學生們會學到,如果兩向量平行,那麼它們的線性組合只會產生在同一條直線上的向量;而如果兩向量不平行,那麼它們的線性組合就會產生一張平面!平行與否從幾何角度決定了線性方程組是否有解,所以兩向量的線性組合是非常重要的概念。既然我們一直說不平行的兩向量的線性組合會產生平面,那麼類比直線的參數式,於是平面也應當有所謂的參數式。
我們現在來談平面的參數式。但我們這裡要特別提請讀者留意,以下的討論過程,會盡量避免使用外積,因為要建構平面方程式,外積的概念並非必要。
在空間中給定一點$P_0 (x_0, y_0, z_0)$,然後再取兩個不平行的向量$\overrightarrow{v} = (v_1, v_2, v_3), \overrightarrow{w} = (w_1, w_2, w_3)$,那麼集合
$$E = \left\{ P | P = P_0 + s\overrightarrow{v} + t\overrightarrow{w}, s, t \in \mathbb{R} \right\}$$
就是一張通過點$P_0$的平面,且平面由$\overrightarrow{v}$與$\overrightarrow{w}$所張成。其中
$$P = P_0 + s\overrightarrow{v} + t\overrightarrow{w}, s, t \in \mathbb{R}$$
就稱為平面E的參數式。如果將之寫作分量形式,那麼就是
$$\left\{ \begin{eqnarray*} x &=& x_0 + sv_1 + tw_1 \\ y &=& y_0 + sv_2 + tw_2 \\ z &=& z_0 + sv_3 + tw_3 \end{eqnarray*} \right. , s, t \in \mathbb{R}.$$
很直觀的,E這個集合確實是一張平面,但是對學生而言它的形式太奇怪,它與平常習慣的點法式大相迥異。以下我們證明,集合E的式子也是具備點法式的形式。
首先,由於$\overrightarrow{v}$與$\overrightarrow{w}$不平行,所以下面的三個二階行列式
$$\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right|, \left| \begin{matrix} v_2 & w_2 \\ v_3 & w_3 \end{matrix} \right|, \left| \begin{matrix} v_1 & w_1 \\ v_3 & w_3 \end{matrix} \right|$$
必定不全為零。不失一般性,我們可假定$\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right| \ne 0$。現在取平面參數式中的前兩條
$$\left\{ \begin{eqnarray*} x &=& x_0 + sv_1 + tw_1 \\ y &=& y_0 + sv_2 + tw_2 \end{eqnarray*} \right.$$
改寫為
$$\left\{ \begin{eqnarray*} v_1 s + w_1 t &=& x - x_0 \\ v_2 s + w_2 t &=& y - y_0 \end{eqnarray*} \right. .$$
由於假定$\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right| \ne 0$,所以由Cramer法則可解出
$$s = \frac{\left| \begin{matrix} x - x_0 & w_1 \\ y - y_0 & w_2 \end{matrix} \right|}{\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right|}, t = \frac{\left| \begin{matrix} v_1 & x - x_0 \\ v_2 & y - y_0 \end{matrix} \right|}{\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right|}.$$
然後將解出的$s, t$代回原來參數式中的第3式,得到
$$z = z_0 + \frac{\left| \begin{matrix} x - x_0 & w_1 \\ y - y_0 & w_2 \end{matrix} \right|}{\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right|} v_3 + \frac{\left| \begin{matrix} v_1 & x - x_0 \\ v_2 & y - y_0 \end{matrix} \right|}{\left| \begin{matrix} v_1 & w_1 \\ v_2 & w_2 \end{matrix} \right|} w_3.$$
展開化簡,可得
$$(v_2 w_3 - v_3 w_2)(x - x_0) + (v_3 w_1 - v_1 w_3)(y - y_0) + (v_1 w_2 - v_2 w_1)(z - z_0) = 0.$$
我們便可取$n_1 = v_2 w_3 - v_3 w_2, n_2 = v_3 w_1 - v_1 w_3, n_3 = v_1 w_2 - v_2 w_1$,於是平面E上的每一點都會滿足方程式
$$n_1 (x - x_0) + n_2 (y - y_0) + n_3 (z - z_0) = 0.$$
而方程式$n_1 (x - x_0) + n_2 (y - y_0) + n_3 (z - z_0) = 0$本來就代表一張平面,所以便有
$$\left\{ P | P = P_0 + s\overrightarrow{v} + t\overrightarrow{w}, s, t \in \mathbb{R} \right\} = \left\{ (x, y, z) \in \mathbb{R}^3 | n_1 (x - x_0) + n_2 (y - y_0) + n_3 (z - z_0) = 0 \right\}.$$
也就是說,平面E具有點法式$n_1 (x - x_0) + n_2 (y - y_0) + n_3 (z - z_0) = 0$。
讀者可留意,以上的推導過程中,也順勢地誘導出外積的代數定義。所以如果在教學過程中,採用線性組合的方式來引入平面,於是便可在推導「平面上的點的x, y, z座標之間的關係式」的時候引入外積,我個人認為這是一個極好的動機。
更新歷程
2021/04/15 第1稿。
2021/04/16 改正幾處錯別字,對些微文字修改。
2021/04/23 改正幾處錯別字,感謝金門高中許淵智老師指正。
沒有留言:
張貼留言