4-2-3坐標空間中的平面與直線-三元一次方程組
15
0
0
全文
(2) 4.. 二元一次方程組有克拉瑪公式可以求解, 那麼三元一次方程組可否比照處理呢? a1 x b1 y c1 z d1 考慮方程組 a2 x b2 y c2 z d 2 a3 x b3 y c3 z d3 由得 b1 y c1 z a1 x d1 , 由得 b2 y c2 z a2 x d2 , c2 c1 ,. ,. 消去 z 得 (b1c2 b2c1 ) y (a1 x d1 )c2 (a2 x d2 )c1 (a1c2 a2c1 ) x (d1c2 d2c1 ) ,. 以二階行列式表示, b1 c1 a c d c y 1 1 x 1 1 b2 c2 a2 c2 d 2 c2. 即. ,. 同理, b1 b2 , 消去 y 可得 . b1 c1 a b d b z 1 1 x 1 1 b2 c2 a2 b2 d 2 b2. ,. b1 c1 b c b c b c b c ,得 a3 1 1 x b3 1 1 y c3 1 1 z d3 1 1 b2 c2 b2 c2 b2 c2 b2 c2 b2 c2. ,. ,代入,消去 y, z 得 a3. b1 c1 a c d c a b d b b c x b3 ( 1 1 x 1 1 ) c3 ( 1 1 x 1 1 ) d 3 1 1 。 b2 c2 a2 c2 d 2 c2 a2 b2 d 2 b2 b2 c2. 整理之, (a3. b1 c1 a c a b b c d c d b b3 1 1 c3 1 1 ) x d3 1 1 b3 1 1 c3 1 1 , b2 c2 a2 c2 a2 b2 b2 c2 d 2 c2 d 2 b2. 以三階行列式表示, a1 b1 c1 d1 b1 c1 即 a2 b2 c2 x d 2 b2 c2 , a3 b3 c3 d3 b3 c3. 同理可得 a1 b1 c1 a1 d1 c1 a1 b1 c1 a1 b1 d1 a2 b2 c2 y a2 d 2 c2 及 a2 b2 c2 z a2 b2 d 2 。 a3 b3 c3 a3 d3 c3 a3 b3 c3 a3 b3 d 3. 設 a1 b1 c1 d1 b1 c1 a1 d1 c1 a1 b1 d1 a2 b2 c2 , x d 2 b2 c2 , y a2 d 2 c2 , z a2 b2 d 2 , a3 b3 c3 d3 b3 c3 a3 d3 c3 a3 b3 d3. 則有 x x , y y , z z 。 當 0 時,原方程組得到唯一解 ( x, y, z ) (. 20. x y z , , )。 .
(3) 5.. 一般而言,求解給定係數的方程組,使用消去法即可。 但當係數中有未定數時,克拉瑪公式就可派上用場。 如同坐標平面上的向量一樣,坐標空間中的向量也可將其坐標寫成直式, 例如將 v (3, 1, 4) 表為 a1 設空間中三向量 a a2 , a3 . 3 v 1 。 4 a1 b1 c1 b1 c1 b b2 , c c2 ,若 a2 b2 c2 ,則 b3 c3 a3 b3 c3. (1) 0 時, a , b , c 線性相依。(2) 0 時, a , b , c 線性獨立。 d1 b1 c1 a1 d1 c1 a1 b1 d1 令向量 d d 2 ,行列式 x d 2 b2 c2 , y a2 d 2 c2 , z a2 b2 d 3 d3 b3 c3 a3 d3 c3 a3 b3 a1x b1 y c1 z d1 下面就 , x , y , z 是否為 0,討論三元一次方程組 a2 x b2 y c2 z d 2 a3 x b3 y c3 z d3. d1 d2 。 d3. 的解。. (1) 0 : a , b , c 線性獨立,故存在唯一的一組係數 x0 , y0 , z0 , a1 b1 c1 d1 使 x0 a y0 b z0 c d 。以坐標表示即 x0 a2 y0 b2 z0 c2 d 2 ,亦即 a3 b3 c3 d3 a1x0 b1 y0 c1 z0 d1 a2 x0 b2 y0 c2 z0 d 2 。故 ( x, y, z) ( x ,0 y ,0 z )0 為方程組的唯一解,而此解就 a3 x0 b3 y0 c3 z0 d 3. 是(. x y z , , )。 . (2) 0 且 x , y , z 中有一不為 0: a , b , c 線性相依,表示 a , b , c 落 在同一平面 E 上。又設 x 0 ,則 d , b , c 線性獨立,表示 d 不在平面 E 上,故 d 不能表成 a , b , c 的線性組合,即原方程組無解。 (3) 0 且 x y z 0: a , b , c , d 落在同一平面上,當 a , b , c 在 同一直線 L 上且 d 不在 L 上時, d 不能表為 a , b , c 的線性組合,故方 程組無解;當 a , b , c , d 在同一直線上或 a , b , c 不在同一直線上 時, d 表成 a , b , c 線性組合的係數有無限多種,故方程組有無限多解。 x y z 1 x y z 1 以方程組 x y z 1 及 x y z 1 為例, x y z 2 x y z 1 顯然都有 x y z 0 ,但前者無解,而後者有無限多解。. 21.
(4) 【定義】 1. 克拉瑪公式: a1x b1 y c1 z d1 三元一次方程組 a2 x b2 y c2 z d 2 中, a3 x b3 y c3 z d3 a1 b1 c1 d1 b1 c1 a1 d1 c1 a1 b1 d1 令 a2 b2 c2 , x d 2 b2 c2 , y a2 d 2 c2 , z a2 b2 d 2 , a3 b3 c3 d3 b3 c3 a3 d3 c3 a3 b3 d3 x x 當 0 時,方程組有唯一解 y y ,即 ( x, y, z ) ( x , y , z ) 。 z z . 2.. 三元一次方程組解的判別: a1x b1 y c1 z d1 三元一次方程組 a2 x b2 y c2 z d 2 中, a3 x b3 y c3 z d3 a1 b1 c1 d1 b1 c1 a1 d1 c1 a1 b1 d1 令 a2 b2 c2 , x d 2 b2 c2 , y a2 d 2 c2 , z a2 b2 d 2 , a3 b3 c3 d3 b3 c3 a3 d3 c3 a3 b3 d3. 則方程組的解可判別如下: (1) 0 時,有唯一解 ( x, y, z ) (. x y z , , )。 . (2) 0, x , y , z 不皆為 0 時,無解。 (3) x y z 0 ,無解或無限多解。. 22.
(5) 【討論】 1. 設坐標空間中三平面 E1 : a1 x b1 y c1z d1 , E2 : a2 x b2 y c2 z d2 , E3 : a3 x b3 y c3 z d3 , a1x b1 y c1 z d1 令方程組 a2 x b2 y c2 z d 2 中行列式 , x , y , z 的意義如前所述, a3 x b3 y c3 z d3. 三平面的相交關係討論如下: (1) 三平面法向量平行(即三平面兩重合一平行及三重合): 中的三列,兩兩成比例,故 0 ; 又 的三列中兩兩成比例,導致三行也兩兩成比例, 於是 x , y , z 中各有兩行成比例,故 x y z 0 。 可再細分為三種情形,即 (i) 三平面平行而不重合(圖(a))時,方程組無解。 (ii) 兩平面重合另一平行(圖 (b))時,方程組無解。 (iii)三平面重合(圖(c))時,方程組有無限多解。. (a)兩兩平行不重合 (b)兩平面重合與另一平行 (c)三平面重合 (2) 兩平面的交線平行於第三平面或在第三平面上: a1 x b1 y c1 z d1 , a2 x b2 y c2 z d 2. 設平面 E1 與 E2 的交線為 L ,即 L : 則 L 的方向向量為 d ( 其中. b1 c1 , b2 c2. b1 c1 c a a b , 1 1 , 1 1 ), b2 c2 c2 a2 a2 b2. c1 a1 a b a b , 1 1 不皆為 0 ,不妨設 1 1 0 。 c2 a2 a2 b2 a2 b2. 此時, d 與平面 E3 的法向量 n (a3 , b3 , c3 ) 垂直,故 n d 0 。 另一方面 n d a3. b1 c1 c a a b b3 1 1 c3 1 1 b2 c2 c2 a2 a2 b2. b c a c a b a3 1 1 b3 1 1 c3 1 1 b2 c2 a2 c2 a2 b2. a1 b1 c1 a2 b2 c2 , a3 b3 c3. 所以 0 ,再分兩種情形,即 (i) 直線 L 落在平面 E3 上,即三平面交於一直線 L ,如圖(a)及(b)。 令 ( x0 , y0 , z0 ) 為直線 L 上一點, 則 a1 x0 b1 y0 c1z0 d1 , a2 x0 b2 y0 c2 z0 d2 , a3 x0 b3 y0 c3 z0 d3 。. 23.
(6) (a)兩平面重合與另一平面交於一線. (b)三相異平面交於一線. d1 b1 c1 d1 b1 y0 c1 z0 b1 c1 於是, x d 2 b2 c2 d 2 b2 y0 c2 z0 b2 c2 d3 b3 c3 d3 b3 y0 c3 z0 b3 c3 a1 x0 b1 c1 a1 b1 c1 a2 x0 b2 c2 x0 a2 b2 c2 x0 x0 0 0 , a3 b3 c3 a3 x0 b3 c3. 同理 y 0, z 0 ,故 x y z 0 。 而此時,方程組有無限多解。 (ii) 直線 L 平行於平面 E3 ,如圖(a)及(b), a1 x b1 y d1 有唯一解 ( x0 , y0 ) ,即 a1 x0 b1 y0 d1 , a2 x0 b2 y0 d2 , a x b y d 2 2 2. 此時 . 亦即 a1 x0 b1 y0 c1 0 d1 , a2 x0 b2 y0 c2 0 d2 , 於是點 ( x0 , y0 , 0) 是直線 L 上一點, 但此點不在平面 E3 上,即 a3 x0 b3 y0 d3 不等於 0 , 設此數為 k ,即 a3 x0 b3 y0 d3 k 0 。 a1 b1 d1 a1 b1 a1 x0 b1 y0 d1 於是, z a2 b2 d 2 a2 b2 a2 x0 b2 y0 d 2 a3 b3 d3 a3 b3 a3 x0 b3 y0 d3 a1 b1 0 a b a2 b2 0 k 1 1 0 , a2 b2 a3 b3 k. 故 0 且 x , y , z 不皆為 0 。 而此時,方程組無解。. (a)兩平面平行與另一平面相交. (b)兩兩交於一線,三平面不相交. 24.
(7) (3) 兩平面的交線交第三平面於一點(三平面交於一點): 設平面 E1 與 E2 的交線為 L , 則 d (. b1 c1 c a a b , 1 1 , 1 1 ) 為 L 的方向向量。 b2 c2 c2 a2 a2 b2. 此時, d 與平面 E3 的法向量 n (a3 , b3 , c3 ) 不垂直,故 n d 0 , 又 n d (參考(2)),故 0 。. 三平面交於一點 【結論】 1.. a1x b1 y c1 z d1 ◎三元一次方程組 a2 x b2 y c2 z d 2 中, a3 x b3 y c3 z d3 a1 b1 c1 d1 b1 c1 a1 d1 c1 a1 b1 d1 令 a2 b2 c2 , x d 2 b2 c2 , y a2 d 2 c2 , z a2 b2 d 2 , a3 b3 c3 d3 b3 c3 a3 d3 c3 a3 b3 d3. 並設三平面 E1 : a1 x b1 y c1z d1 , E2 : a2 x b2 y c2 z d2 , E3 : a3 x b3 y c3 z d3 , 則方程組的解及三平面的相交狀況與 , x , y , z 的關係如下表: 三平面的相交關係 兩兩平行不重合 兩平面重合與另一平行 三平面重合 兩平面重合與另一平面交一線 三相異平面交於一線 兩平面平行與另一平面相交 兩兩交於一線,三平面不相交 三平面交於一點 (. x y z , , ) . 方程組的解. , x , y , z 是否為 0. 無解 x y z 0. 無限多解 無解. 0, x , y , z 不皆為 0. 唯一解 (克拉瑪公式). 0. 【方法】 1. 給定係數的三元一次方程組可用代入消去法或加減消去法求解,其解可能為 唯一解﹑無解或無限多解。 2. 給定二次函數 f ( x) ax 2 bx c 圖形上的三點坐標,可解三元一次方程組求得 係數 a, b, c 。 3. 給定圓 x 2 y 2 dx ey f 0 上三點坐標,可解三元一次方程組求得係數 d , e, f 。 25.
(8) 【定義】 1. n 元一次 m 式聯立方程式: a11 x1 a12 x 2 a1n x n b1 a x a x a x b 21 1 22 2 2n n 2 稱為 n 元一次 m 式聯立方程式, a m1 x1 a m 2 x 2 a mn x n bm 一般通稱為一次方程組。 【性質】 1. 解聯立方程組: (1)二元一次與三元一次方程組可用加減消去法或代入消去法逐步簡化處 理,以便求得其解。 (2)一次方程組可用高斯消去法(Gaussian Elimination)求解。 【問題】 1. 試討論空間中三平面的所有可能的相交情形?共有幾種? 解: (1) :三平面重合。 (2) :兩平面重合,另一平面與之平行。 (3) (4) (5). (6) (7). :三平面互相平行。 :兩平面重合,另一平面與之相交於一線。 :三平面相交於一線。. :兩平面平行,另一平面與之各相交於一線,兩線互相平行。 :三平面兩兩交於一線,三線兩兩互相平行。. (8) :三平面交於一點。 2. 試討論空間中三相異平面的所有可能的相交情形?共有幾種? (解: 5 種). 26.
(9) 【公式】 1. 二元一次方程組:. a x b1 y c1 解二元一次方程組 1 , a2 x b2 y c2 (a b a2 b1 ) x (c1b2 c2 b1 ) 使用代入消去法解之得 1 2 , (a1b2 a2 b1 ) y (a1c2 a2 c1 ) x 當 a1b2 a2 b1 0 時,解得唯一解 y 2.. c1b2 c 2 b1 a1b2 a 2 b1 。 a1c 2 a 2 c1 a1b2 a 2 b1. 二元一次方程組與二階行列式: a b c b a c a x b1 y c1 二元一次方程組 1 ,令 1 1 , x 1 1 , y 1 1 , , c2 b2 a2 b2 a2 c2 a2 x b2 y c2 則 y (1) 當 0 時 , ( x, y) ( x , ) 為 唯 一 解 ( 稱 為 克 拉 瑪 公 式 )(Kramer formula)。 (2)當 0, 2x 2y 0 時,方程組無解。. (3)當 x y 0 時,方程組有無限多組解。 【討論】 1. 二元一次方程組的解及其幾何意義: y (1)當 0 時,方程組有唯一解 ( x, y) ( x , ) ,此稱為克拉瑪公式。 以幾何意義表示即為兩直線不平行也不重合,也就是恰有一交點。 (2)當 0, 2x 2y 0 時,方程組無解,表示這兩直線平行。 (3)當 x y 0 時,方程組無限多解,表示這兩直線重合。 項 目. 解個數. 幾何意義. 交點數. 係數. (1). 0. 唯一解 y ( x, y) ( x , ) . 兩相交 直線. 一個. a1 b1 a 2 b2. (2). 0, 2x 2y 0. 無解. 無. a1 b1 c1 a 2 b2 c 2. (3). x y 0. 無限多解. 無限 多個. a1 b1 c1 a 2 b2 c 2. 兩平行 直線 兩重合 直線. 27.
(10) 【定義】 (法一) 三元一次方程組及克拉瑪公式: a1 x b1 y c1 z d1 (1) 考慮三元一次方程組 a2 x b2 y c2 z d 2 (2) a x b y c z d (3) 3 3 3 3 b y c1 z a1 x d1 由(1)(2),使用代入消去法解之得 1 b2 y c2 z a2 x d 2 由二元一次方程組之求解可得 b1 b2 b1 b 2. c1 a1 x d1 y c2 a2 x d 2 c1 c2. z. c1 c2. b1. a1 x d1. b2. a2 x d 2. 整理可得 b1 b2 b1 b 2. c1 a y 1 c2 a2 c1 c2. 將(3) . a3. b1. z. c1 d x 1 c2 d2. a1. b1. a2. b2. b1. c1. b2. c2. c1. x b3. x. d1. b1. d2. b2. b1. c1. a c1 x b3 1 c2 a2. b1 b2. ...( 5). 得. y c3. b2 c2 b2 c2 (4)(5)代入(6),消去 y, z a3. c1 ...( 4) c2. b1. c1. b2. c2. c1 d x 1 c2 d2. z d3. c1 c2. b1. c1. b2. c2. a c3 1 a 2. ...( 6). b1 d x 1 b2 d2. b1 b2. b d3 1 b2 . c1 c2. 整理之後得 b1 c1 b c1 a1 c1 a1 b1 d1 a3 x d3 1 b c b 3 3 3 b c b c a2 c2 a 2 b2 d2 2 2 2 2 觀察(7)式,等號左端 x 的係數中, 將 a1 , a 2 , a3 分別換成 d1 , d 2 , d 3 即成為右端的式子,. 若將 a3. 則 d3. b1. c1. b2. c2. b1. c1. b2. c2. b3. b3. a1. c1. a2. c2. d1. c1. d2. c2. c3. c3. a1. b1. c1. 表為 a 2 a3. b2 b3. c 2 (三階行列式) c3. d1. b1. c1. 可寫成 d 2 d3. b2. c2. b3. c3. a1. b1. a2. b2. d1. b1. d2. b2. c1 d c3 1 c2 d2. 28. b1 b2. ...( 7) .
(11) a1 因此(7)可改寫成 a 2 a3 a1 同理若令 a 2. b1 b2. a3. b3. d1 及 x d2. b1 b2. d3. b3. b1 b2. c1 d1 c2 x d 2. b1 b2. c1 c2. b3. c3. b3. c3. d3. c1 c2 , c3. c1 a1 c2 , y a2 c3 a3. d1 d2 d3. c1 a1 c2 , z a2 c3 a3. x x 則可得 y y z z (法二). a1 設 a2. b1 b2. c1 c 2 0 ,三平面交點為 ( x 0 , y 0 , z 0 ). a3. b3. c3. a1 x0 b1 y 0 c1 z 0 d1 a 2 x0 b2 y 0 c 2 z 0 d 2 a x b y c z d 3 0 3 0 3 3 0 d1 x d2. b1 b2. c1 c2. d3. b3. c3. a1 x0 b1 y 0 c1 z 0 a 2 x0 b2 y 0 c 2 z 0. b1 b2. c1 c2. a3 x0 b3 y 0 c3 z 0. b3. c3. a1 x0 a 2 x0. b1 b2. c1 c2. a3 x0. b3. c3. a1 x0 a 2. b1 b2. c1 c2. a3. b3. c3. x0 . x0 . y x ,同理 y ,z z . 29. b1 b2. d1 d2. b3. d3.
(12) 【討論】 三元一次方程組解及其幾何意義: E1 : a1 x b1 y c1 z d1 試討論三元一次聯立方程組 E 2 : a 2 x b2 y c 2 z d 2 解的幾何意義。 E :a x b y c z d 3 3 3 3 3. 1.. 當 0 時,方程組有唯一解 ( x, y, z ) (. x y z , , ) ,此稱克拉瑪公式。 . (1). . (因前兩平面交線的方向向量 n1 n2 (. . b1. c1. b2. c2. ,. a1 a2. c1 a1 , c2 a2. 與第三個平面的法向量 n3 (a3 , b3 , c3 ) 不垂直 故內積不為零 n 1. . 即 ( n1 n2 ) n3 n2 n 3. (. b1. c1. b2. c2. a3 . ,. a1 a2. b1. c1. b2. c2. c1 a1 , c2 a2. b2. a1. c1. a2. c2. b3 . b1. ) (a3 , b3 , c3 ). c3 . 30. a1. b1. a2. b2. a1 a2. b1 b2. a3. b3. c1 c2 0 ) c3. b1 b2. ).
(13) 2.. 當 0 且 2x 2y 2z 0 時,為無解。. (1) (設前兩平面平行 故 a1 : b1 : c1 a2 : b2 : c2 行列式 中兩列成比例, 故 0 又前兩平面不重合 則 a2 ka1 , b2 kb1 , c2 kc1 ,但 d 2 kd1 且 a1 : b1 : c1 a3 : b3 : c3 (不妨設 b1 : c1 b3 : c3 ,即 b1c3 b3 c1 0 ) 則x. d1 d2. b1 b2. c1 c2. d3. b3. c3. d1 d 2 kd1 d3. b1 0 b3. c1 0 c3. (d 2 kd1 )(b1c3 b3 c1 ) 0 ). (2) (因三法向量共平面 故 ( n1 n2 ) n3 0 又後兩平面不重合 則且 a 2 : b2 : c 2 a3 : b3 : c3 (不妨設 a 2 : a3 b2 : b3 ,即 a 2 b3 a3b2 0 ) 又設點 ( x0 , y 0 ,0) 在平面 E 2 , E 3 的交線上, 但不在平面 E1 上 a2 x0 b2 y0 d 2 故得 且 a1 x0 b1 y 0 d1 a3 x0 b3 y0 d 3 a1 b1 d1 則 z a 2 b2 d 2 a3. b3. d3. a1 a2. b1 b2. d1 a1 x0 b1 y 0 0. a3. b3. 0. (d1 a1 x0 b1 y 0 )(a 2 b3 a3 b2 ) 0 ). 31.
(14) 3.. 當 x y z 0 時,為無解或無限多解。 (1) (因三平面重合, a1 : b1 : c1 : d1 a 2 : b2 : c 2 : d 2 a3 : b3 : c3 : d 3. , x , y , z 四個行列式中的任兩列都成比例, 故 x y z 0 ) (2) (因兩平面重合並與另一平面平行, , x , y , z 四個行列式中的某兩列都成比例, 故 x y z 0 ) (3) (因三平面平行 a1 : b1 : c1 a 2 : b2 : c 2 a3 : b3 : c3 故 , x , y , z 四個行列式中的某兩行都成比例, 故 x y z 0 ) (4) (因兩平面重合, , x , y , z 四個行列式中的某兩列都成比例, 故 x y z 0 ) (5). . (因三法向量共平面 ( n1 n2 ) n3 0 又設 ( x 0 , y 0 , z 0 ) 為三平面交線上的一點. d1 故 x d2. b1 b2. c1 c2. d3. b3. c3. a1 x0 b1 y 0 c1 z 0 a 2 x0 b2 y 0 c 2 z 0. b1 b2. c1 c2. a3 x0 b3 y 0 c3 z 0. b3. c3. a1 x0 a 2 x0. b1 b2. c1 c2. a3 x0. b3. c3. a1 x0 a 2. b1 b2. c1 c2. a3. b3. c3. x0 0 , 同理 y z 0 ). 32.
(15) 例如: x y z 1 x y z 1 x y z 1 為無限多解,但 x y z 1 為無解。 x y z 1 x y z 2 . E1 : a1 x b1 y c1 z 0 齊次方程組 E 2 : a 2 x b2 y c 2 z 0 至少會有 (0,0,0) 的解,所以 E : a x b y c z 0 3 3 3 3 1.. 2.. 若 0 ,則齊次方程組只有一組解 (0,0,0) 。 即 若 0 ,則有無限多解 即齊次方程組除了 (0,0,0) 之外,尚有其他的解。 註:此種情形中,至少有一樣其中兩行成比例。. 33.
(16)
相關文件
第四章 直角座標與二元一次方程式.
我們已經學過了一元一次方程式與二元一次方程式,在本章中,我們將學習一元二次
( )如圖,有兩個一大一小的圓形鼓,鼓面直徑比為 3:5,現在想要把鼓面都漆上顏色,每 一平方公分需要
其交線垂直於軸三角形的底邊。進而,如果截痕的直徑平行於軸三角形的一邊,那麼任一
甲、乙兩間通訊行,各以相同的成本買入一款新手機。甲通訊行按成本
索隆目前蒐集了5個玩具公仔,魯夫目前蒐集了25個玩具公仔,從下個
在培養學生語文能力時,要適當引導學生了解聽、說、讀、寫的
Ctrl+N 建立一個新的 VI Ctrl+B 將程式方塊圖中所有壞線移除 Ctrl+R 執行目前的的 VI Ctrl+T 將人機介面與程式方塊圖左右並列 Ctrl+W 關閉目前的的 VI Ctrl+E