第四章 几何空间的平面与直线.doc

PAGE  PAGE 121 第四章 几何空间的平面与直线 本章将坐标法与向量法结合起来研究几何空间的直线与平面. §1 平面方程与平面间相关位置 我们假设在几何空间中已经取定了一个仿射坐标系，空间的任意一点都与一个唯一确定的定位向量相对应. 若向量在基下的坐标是，我们也记. 而点在这个仿射坐标系下的坐标也是，但是我们通常用来表示点的坐标. 设是具有三个变量的实函数组. 若点的坐标满足方程组 （1） 则称点为方程组（1）的一个零点. 方程组（1）的所有零点的集合称为方程组（1）的函数组的图象. 所以空间中一些点的集合（或某个图形）为方程组（1）的图象的充分必要条件是：中每个点都是方程组（1）的零点，并且方程组（1）的任一个零点都属于. 当方程组（1）只有一个方程时（即的情形），我们称方程组（1）的图象为方程的图象. 定理1 一次方程 （不全为零） （2） 在几何空间中的图象是一个平面. 反之，任一平面都是某个一次方程的图象. 证明 由第 章§ 定理 知，方程（1）的所有解向量的集合是一个线性流形. 易见，（2）的导出组的解空间的维数是，于是是一个维的线性流形. 因而它的点集是一个平面，因为是方程（1）的所有解向量的集合，所以就是方程（1）的所有零点的集合. 因此是方程（2）的图象. 由于是一个平面，所以方程（1）的图象是一个平面. 反之，设是空间中任一个平面，，，是上不共线的三个点. 令 ，， ，. 易见，若，则有 由第二章§推论知，点共线，此与所设矛盾，故不全为零，从而 （3） 是三元一次方程. 于是方程（3）的图象是一个平面，设为. 令是平面上任意一点，则共面，由 （4） 将（4）式右端按第一列展开得所以点在平面上，于是，故，因此平面与平面重合. 因此是方程（3）的图象，于是任一个平面都是某个一次方程的图象. 我们称方程（1）为平面的一般方程. 设是一个平面，，，是上的三个点. 设是空间中的任意一点. 则点在平面上当且仅当四个点共面，于是点在平面上当且仅当 （5） ???以（5）式为平面的方程，称它为平面的三点式方程. （5）式也可以改写为以下的方便记忆的等价形式： （6） 例1 求通过点，，的平面的方程，其中均不为零. 解 过三个点的平面三点式方程 展开后得 这就是平面的一般方程，由都不为零，则上面的方程可化为 . （7） 我们称方程（7）为平面的截距式方程分别称作平面在轴，轴与轴的截距. 定理2 几何空间中向中量平行于平面，当且仅当. 证明 由定理1的证明知，平面就是平面，其中就是方程的解集（它是一个二维线性流形）. 由 知，平面与平面平行. 于是 平行于平面， 平行于平面， 平行于平面. 因为是过原点的平面，所以，平行于. 因此本定理成立. 现在给出方程（1）的确定的平面的 个简单性质. 1）若都不为零，则平面与三个坐标轴都相交，交点坐标分别为，与. 2）若常数项，则平面通过原点. 3）若一个系数，则，这里是方程（1）的导出组的解空间. 由定理2，平行于平面. 所以平面与轴平行. 同理，当时，平面与轴平行；当时，平面与轴平行. 4）若两个系数，则平面即平行于轴，又平行于轴. 从而平面平行于坐标平面. 同理可讨论当或者的情形. 在立体几何中我们已经知道两个平面的相关位置只有三种情形：1）相交于一条直线；2）平行；3）重合. 下面的判定定理可以判断两个平面的相关位置. 定理3 取定一个仿射坐标架，设平面的方程分别为 ， （8） ， （9） 则 1）与相交于一条直线当且仅当 ； 2）与平行当且仅当 ； 3）与重合当且仅当 . 证明 若 ， 则存在，使得. 将（8）与（9）组成的方程组的增广阵作行的初等变换可得 当时，方程（8）与（9）同解，则. 当时，由（8）与（9）组成的方程组无解，所以. 从而，这就证明了2）与3）的充分性. 下面证明1）的充分性. 假设. 由于不全为零，不妨设. 将增广阵的第二行乘以减去第一行乘以，则得矩阵