2021年4月15日 星期四

空間中的平面的參數式

        高中數學裡,空間中的平面的方程式,都是談「點法式」:給定一點$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  改正幾處錯別字,感謝金門高中許淵智老師指正。

沒有留言:

張貼留言