一、曲面方程与空间曲线方程的概念
如果曲面 S S S 与三元方程
F ( x , y , z ) = 0 (3-1) F(x, y, z) = 0 \tag{3-1} F(x,y,z)=0(3-1)
有下述关系:
(1)曲面 S S S 上任意一点的坐标都满足方程 ( 3 − 1 ) (3-1) (3−1) ;
(2)不在曲面 S S S 上的点的坐标都不满足方程 ( 3 − 1 ) (3-1) (3−1) ,那么,方程 ( 3 − 1 ) (3-1) (3−1) 就叫作曲面 S S S 的方程,而曲面 S S S 就叫作方程 ( 3 − 1 ) (3-1) (3−1) 的图形。
空间曲线可以看作是两个曲面 S 1 , S 2 S_1, S_2 S1,S2 的交线。设
F ( x , y , z ) = 0 和 G ( x , y , z ) = 0 F(x, y, z) = 0 \quad 和 \quad G(x, y, z) = 0 F(x,y,z)=0和G(x,y,z)=0
分别是这两个曲面的方程,它们的交线为 C C C 。因为曲线 C C C 上 的任何点的坐标应同时满足这两个曲面的方程,所以应满足方程组
{ F ( x , y , z ) = 0 , G ( x , y , z ) = 0. (3-2) \begin{equation*} \begin{cases} F(x, y, z) = 0, \\ G(x, y, z) = 0. \end{cases} \end{equation*} \tag{3-2} {F(x,y,z)=0,G(x,y,z)=0.(3-2)
反过来,如果点 M M M 不在曲线 C C C 上,那么它不可能同时在两个曲面上,所以它的坐标不满足方程组 ( 3 − 2 ) (3-2) (3−2) 。因此,曲线 C C C 可以用方程组 ( 3 − 2 ) (3-2) (3−2) 来表示。方程组 ( 3 − 2 ) (3-2) (3−2) 就叫作 空间曲线 C C C 的方程 ,而曲线 C C C 叫做 方程组 ( 3 − 2 ) (3-2) (3−2) 的图形 。
二、平面的点法式方程
如果一非零向量垂直于一平面,那么这个向量就叫做该 平面的法向量 。容易知道,平面上任一向量均与该平面的法向量垂直。
因为过空间一点可以作而且只能作一平面垂直于一已知直线,所以当平面 Π \Pi Π 上一点 M 0 ( x 0 , y 0 , z 0 ) M_0 (x_0, y_0, z_0) M0(x0,y0,z0) 和它的一个法向量 n = ( A , B , C ) \boldsymbol{n} = (A, B, C) n=(A,B,C) 为已知时,平面 Π \Pi Π 的位置就完全确定了。
设 M ( x , y , z ) M(x, y, z) M(x,y,z) 是平面 Π \Pi Π 上的任一点,则向量 M 0 M → \overrightarrow{M_0 M} M0M 必与平面 Π \Pi Π 的法向量 n \boldsymbol{n} n 垂直,即它们的数量积等于零。
n ⋅ M 0 M → = 0 \boldsymbol{n} \ \cdot \ \overrightarrow{M_0 M} = 0 n ⋅ M0M=0
因为 n = ( A , B , C ) \boldsymbol{n} = (A, B, C) n=(A,B,C) , M 0 M → = ( x − x 0 , y − y 0 , z − z 0 ) \overrightarrow{M_0 M} = (x - x_0, y - y_0, z - z_0) M0M=(x−x0,y−y0,z−z0) ,所以有
A ( x − x 0 ) + B ( y − y 0 ) + C ( z − z 0 ) = 0 (3-3) A (x - x_0) + B (y - y_0) + C (z - z_0) = 0 \tag{3-3} A(x−x0)+B(y−y0)+C(z−z0)=0(3-3)
这就是平面 Π \Pi Π 上任一点 M M M 的坐标 x , y , z x, y, z x,y,z 所满足的方程。
反过来,如果 M ( x , y , z ) M(x, y, z) M(x,y,z) 不在平面 Π \Pi Π 上,那么向量 M 0 M → \overrightarrow{M_0 M} M0M 与法向量 n \boldsymbol{n} n 不垂直,从而 n ⋅ M 0 M → ≠ 0 \boldsymbol{n} \cdot \overrightarrow{M_0 M} \neq 0 n⋅M0M=0 ,即不在平面 Π \Pi Π 上的点 M M M 的坐标不满足方程 ( 3 − 3 ) (3-3) (3−3) 。
由此可知,平面 Π \Pi Π 上的任一点的坐标 x , y , z x, y, z x,y,z 都满足方程 ( 3 − 3 ) (3-3) (3−3) ,不在平面 Π \Pi Π 上的点的坐标都不满足方程 ( 3 − 3 ) (3-3) (3−3) 。这样,方程 ( 3 − 3 ) (3-3) (3−3) 就是平面 Π \Pi Π 的方程,而平面 Π \Pi Π 就是方程 ( 3 − 3 ) (3-3) (3−3) 的图形。因为方程 ( 3 − 3 ) (3-3) (3−3) 是由平面 Π \Pi Π 上的一点 M 0 ( x 0 , y 0 , z 0 ) M_0 (x_0, y_0, z_0) M0(x0,y0,z0) 及它的一个法向量 n = ( A , B , C ) \boldsymbol{n} = (A, B, C) n=(A,B,C) 确定的,所以方程 ( 3 − 3 ) (3-3) (3−3) 叫做 平面的点法式方程 。
例 求过三点 M 1 ( 2 , − 1 , 4 ) , M 2 ( − 1 , 3 , − 2 ) 和 M 3 ( 0 , 2 , 3 ) M_1 (2, -1, 4), M_2 (-1, 3, -2) 和 M_3 (0, 2, 3) M1(2,−1,4),M2(−1,3,−2)和M3(0,2,3) 的平面的方程。
解:先找出这平面的法向量 n \boldsymbol{n} n 。因为向量 n \boldsymbol{n} n 与向量 M 1 M 2 → \overrightarrow{M_1 M_2} M1M2 和 M 1 M 3 → \overrightarrow{M_1 M_3} M1M3 都垂直,而 M 1 M 2 → = ( − 3 , 4 , − 6 ) \overrightarrow{M_1 M_2} = (-3, 4, -6) M1M2=(−3,4,−6) , M 1 M 3 → = ( − 2 , 3 , − 1 ) \overrightarrow{M_1 M_3} = (-2, 3, -1) M1M3=(−2,3,−1) ,所以可以取它们的向量积为 n \boldsymbol{n} n ,即
n = M 1 M 2 → × M 1 M 3 → = ∣ i j k − 3 4 − 6 − 2 3 − 1 ∣ = 14 i + 9 j − k , \boldsymbol{n} = \overrightarrow{M_1 M_2} \times \overrightarrow{M_1 M_3} = \begin{vmatrix} \boldsymbol{i} & \boldsymbol{j} & \boldsymbol{k} \\ -3 & 4 & -6 \\ -2 & 3 & -1 \end{vmatrix} = 14 \boldsymbol{i} + 9\boldsymbol{j} - \boldsymbol{k} , n=M1M2×M1M3=
i−3−2j43k−6−1
=14i+9j−k,
根据平面的点法式方程 ( 3 − 3 ) (3-3) (3−3) ,得所求平面的方程为
14 ( x − 2 ) + 9 ( y + 1 ) − ( z − 4 ) = 0 14(x - 2) + 9(y + 1) - (z - 4) = 0 14(x−2)+9(y+1)−(z−4)=0
即
14 x + 9 y − z − 15 = 0 14x + 9y - z - 15 = 0 14x+9y−z−15=0
三、平面的一般方程
因为平面的点法式方程 ( 3 − 3 ) (3-3) (3−3) 是 x , y 和 z x, y 和 z x,y和z 的一次方程,而任一平面都可以用它上面的一点及它的法向量来确定,所以任一平面都可以用三元一次方程来表示。
反过来,设有三元一次方程
A x + B y + C z + D = 0 (3-4) Ax + By + Cz + D = 0 \tag{3-4} Ax+By+Cz+D=0(3-4)
我们任取满足该方程的一组数 x 0 , y 0 , z 0 x_0, y_0, z_0 x0,y0,z0 ,即
A x 0 + B y 0 + C z 0 + D = 0 (3-5) Ax_0 + By_0 + Cz_0 + D = 0 \tag{3-5} Ax0+By0+Cz0+D=0(3-5)
把上述两等式相减,得
A ( x − x 0 ) + B ( y − y 0 ) + C ( z − z 0 ) = 0 (3-6) A(x - x_0) + B(y - y_0) + C(z - z_0) = 0 \tag{3-6} A(x−x0)+B(y−y0)+C(z−z0)=0(3-6)
把它和平面的点法式方程 ( 3 − 3 ) (3-3) (3−3) 作比较,可以知道方程 ( 3 − 6 ) (3-6) (3−6) 是通过点 M 0 ( x 0 , y 0 , z 0 ) M_0 (x_0, y_0, z_0) M0(x0,y0,z0) 且以 n = ( A , B , C ) \boldsymbol{n} = (A, B, C) n=(A,B,C) 为法向量的平面方程。方程 ( 3 − 4 ) (3-4) (3−4) 与方程 ( 3 − 6 ) (3-6) (3−6) 同解,这是因为由 ( 3 − 4 ) (3-4) (3−4) 减去 ( 3 − 5 ) (3-5) (3−5) 即得 ( 3 − 6 ) (3-6) (3−6) ,又由 ( 3 − 6 ) (3-6) (3−6) 加上 ( 3 − 5 ) (3-5) (3−5) 就得 ( 3 − 4 ) (3-4) (3−4) 。由此可知,任一三元一次方程 ( 3 − 4 ) (3-4) (3−4) 的图形总是一个平面。方程 ( 3 − 4 ) (3-4) (3−4) 称为 平面的一般方程 ,其中 x , y , z x, y, z x,y,z 的系数就是该平面的一个法向量 n \boldsymbol{n} n 的坐标,即 n = ( A , B , C ) \boldsymbol{n} = (A, B, C) n=(A,B,C) 。
对于一些特殊的三元一次方程,应该熟悉它们的图形的特点。
当 D = 0 D = 0 D=0 时,方程 ( 3 − 4 ) (3-4) (3−4) 成为 A x + B y + C z = 0 Ax + By + Cz = 0 Ax+By+Cz=0 ,他表示一个通过原点的平面。
当 A = 0 A = 0 A=0 时,方程 ( 3 − 4 ) (3-4) (3−4) 成为 B y + C z + D = 0 By + Cz + D = 0 By+Cz+D=0 ,法向量 n = ( 0 , B , C ) \boldsymbol{n} = (0, B, C) n=(0,B,C) 垂直于 x x x 轴,方程表示一个平行于(或包含) x x x 轴的平面。
同样,方程 A x + C z + D = 0 Ax + Cz + D = 0 Ax+Cz+D=0 和 A x + B y + D = 0 Ax + By + D = 0 Ax+By+D=0 分别表示一个平行于(或包含) y y y 轴和 z z z 轴的平面。
当 A = B = 0 A = B = 0 A=B=0 时,方程 ( 3 − 4 ) (3-4) (3−4) 成为 C z + D = 0 Cz + D = 0 Cz+D=0 或 z = − D C z = - \cfrac{D}{C} z=−CD ,法向量 n = ( 0 , 0 , C ) \boldsymbol{n} = (0, 0, C) n=(0,0,C) 同时垂直于 x x x 轴和 y y y 轴,方程表示一个平行于(或重合于) x O y xOy xOy 面的平面。
同样,方程 A x + D = 0 Ax + D = 0 Ax+D=0 和 B y + D = 0 By + D = 0 By+D=0 分别表示一个平行于(或重合于) y O z yOz yOz 面和 z O x zOx zOx 面的平面。
四、两平面的夹角
两平面法向量的夹角(通常指锐角或直角)成为两平面的夹角。
设平面 Π 1 \Pi_1 Π1 和 Π 2 \Pi_2 Π2 的法向量依次为 n 1 = ( A 1 , B 1 , C 1 ) \boldsymbol{n}_1 = (A_1, B_1, C_1) n1=(A1,B1,C1) 和 n 2 = ( A 2 , B 2 , C 2 ) \boldsymbol{n}_2 = (A_2, B_2, C_2) n2=(A2,B2,C2) ,则平面 Π 1 \Pi_1 Π1 和 Π 2 \Pi_2 Π2 的夹角 θ \theta θ 应是 ( n 1 , n 2 ^ ) (\widehat{\boldsymbol{n}_1, \boldsymbol{n}_2}) (n1,n2
) 和 ( − n 1 , n 2 ^ ) = π − ( n 1 , n 2 ^ ) (\widehat{-\boldsymbol{n}_1, \boldsymbol{n}_2}) = \pi - (\widehat{\boldsymbol{n}_1, \boldsymbol{n}_2}) (−n1,n2
)=π−(n1,n2
) 两者中的锐角或直角,因此 cos θ = ∣ cos ( n 1 , n 2 ^ ) ∣ \cos \theta = |\cos{(\widehat{\boldsymbol{n}_1, \boldsymbol{n}_2})}| cosθ=∣cos(n1,n2
)∣ 。按两向量夹角余弦的坐标表示式,平面 Π 1 \Pi_1 Π1 和平面 Π 2 \Pi_2 Π2 的夹角 θ \theta θ 可由
cos θ = ∣ A 1 A 2 + B 1 B 2 + C 1 C 2 ∣ A 1 2 + B 1 2 + C 1 2 A 2 2 + B 2 2 + C 2 2 (3-8) \cos \theta = \cfrac{\left| A_1 A_2 + B_1 B_2 + C_1 C_2 \right|}{\sqrt{A_1^2 + B_1^2 + C_1^2} \sqrt{A_2^2 + B_2^2 + C_2^2}} \tag{3-8} cosθ=A12+B12+C12A22+B22+C22∣A1A2+B1B2+C1C2∣(3-8)
来确定。
从两向量垂直、平行的充分必要条件即得下列推论:
两平面 Π 1 \Pi_1 Π1 和 Π 2 \Pi_2 Π2 互相垂直相当于 A 1 A 2 + B 1 B 2 + C 1 C 2 = 0 A_1 A_2 + B_1 B_2 + C_1 C_2 = 0 A1A2+B1B2+C1C2=0 ;
两平面 Π 1 \Pi_1 Π1 和 Π 2 \Pi_2 Π2 互相平行或重合相当于 A 1 A 2 = B 1 B 2 = C 1 C 2 \cfrac{A_1}{A_2} = \cfrac{B_1}{B_2} = \cfrac{C_1}{C_2} A2A1=B2B1=C2C1 .
原文链接:高等数学 8.3 平面及其方程