几何证明题集-R9.doc

第四章　立体几何轨迹 183 4.1　基本轨迹命题 183 4.2　较复杂的轨迹命题 185 解题示例 187第四章　立体几何轨迹 在生产过程中，为了保证规格，经常要先找到空心的圆盘或圆柱形工件的中心线，使其与机器主轴的中心线重合。一般使用划针或千分表，转动工件，观察划针与工件表面的接触情况或千分表指针的摆动情况，以判断这时的旋转轴是否重合于工作自身的中心线。这时，我们运用了轨迹的原理。现在，让我们来对立体几何轨迹作系统的介绍。 和平面几何里的轨迹一样，我们把满足给定条件的一切点所构成的图形，称为由条件所规定的点的轨迹。 在此必须特别注意轨迹命题两面证法的必要性，这是由定义所规定的。 首先，构成图形的点，必须满足条件，即是说，不满足的点就不在上。这样，轨迹上的点便不会滥竽充数，这叫做轨迹的纯粹性。 其次，满足条件的点都要在上，即是说，不在上的点就不满足，因为定义中明白要求：是满足的一切点所构成的。这样，轨迹上的点便不会有遗漏，这叫做轨迹的完备性。 解决轨迹问题时，倘若和都已经告诉了我们，问题就比较简单，我们只要证明在上的点合于条件（或证明它的等效命题：不合于的点不在上），并且合于条件的点在上（或证明它的等效命题：不在上的点不合于）。倘若只告诉了条件，要我们求，那末就要首先分析应有的性质从而确定之，然后加以证明。必要时还要加以讨论。当然，一望而知的问题，可以略去一些步骤。 4.1　基本轨迹命题 下面所介绍的轨迹命题应用甚广。它们的正确性或者是显然的，或者是平面几何轨迹在空间的推广。 轨迹1　与一定点有定距离的点的轨迹是一球面。 轨迹2　距两定点等远的点的轨迹是一平面，在该两点联 线段的中点垂直于此线，称为线段的中垂面或垂直平分面。 证明：设月为两定点，为空间动点满足条件。从作的垂线，为垂足（图4-1）。那末直角三角形和有斜边及一腰对应相等，因而合同，。即是说，凡满足条件的点在通过的中点而与垂直的平面上。 反之，在中垂面上的任一点满足条件：因直角三角形和有两腰对应相等因而合同。 。 因此所求轨迹是平面。 轨迹3　与定直线有定距离的点的轨迹是一个圆柱面，以为其轴面以为其半径。 轨迹4　与一定平面有定距离的点的轨迹是两个平行于的平面，各在的一侧。 轨迹5　距两相交平面等远的点的轨迹是两个互相垂直的平面，各平分两已知平面所成的二面角。 证明：设为空间任一点，到两相交平面的距离满足条件（图4-2）。 相交直线和决定一平面，垂直于和，因而也垂直于和的交线。以表示和的交点，那么，在平面上，在距两相交线和等远，于是是二面角()的平面角的平分线。以表示点和直线所决定的平面，那末(因为它们的平面角相等)，即是合于条件的点在平分和夹角的一个平面上。 反之，设为和夹角的一个平分面上任一点，作。我们很容易倒回来证明。 由于和有两个互补的夹角，所以有两个互相垂直的平分面作为所求的轨迹。 轨迹6　距两平行平面等远的点的轨迹是与它们平行的一个平面。 轨迹7　距两相交直线等远的点的轨迹是两个互相垂直的平面。 事实上，容易证明，若一点距平面上两相交直线等远，则M在上的射影也距等远，反之亦真。所求轨迹是通过夹角的平分线所作垂直于的两个平面。 轨迹8　距两平行线等远的点的轨迹是这两直线公垂线段的中垂面。 轨迹9　一点到两已知点的联线段互相垂直，这点的轨迹是一个球面，以两已知点的联线段为直径。 在平面几何里我们知道，若一点到两定点的距离成定比，即 则其轨迹为一圆周；若两点内分、外分线段成定比，即，则点满足，从而轨迹就是以做直径的圆周。 如果通过作一群共轴面，在每一面上运用这个平面几何命题，就得到下面的推广： 轨迹10　到两定点的距离成定比的点的轨迹是一个中心在线上的球面。 若仍旧代表上述意义，这就是以做直径的球面。 当时，轨迹是的中垂面。因此，倘若把平面看作半径趋于无穷大的球面，就可以把轨迹2看作轨迹10的特殊情形。 在平面几何中，给定两点，若点满足条件（为一给定线段)， 则点的轨迹是一个圆周，以的中点为圆心，以为半径，有解的条件是。推广到空间便得： 轨迹11　到两定点距离之平方和为常量的点的轨迹（倘若存在）是一个球面（可能退缩为一点）。 在平面几何中，设为定点，若点满足条件，则点的轨迹是垂直于的一条直线。推广到空间便得： 轨迹12　到两定点距离之平方差为常量的点的轨迹是垂直于该两点联线的一个平面。 在平面几何中，对于两个不同心的定圆有等幂轴的点的轨迹，是一条称为等幂的直线，垂直于两圆心的联线。在空间便有： 轨迹13　对于两个不同心的定球有等幂的点的轨迹是一个平面，垂直于两球的联心线。 这平面称为两球的等幂面，倘若两球相交，等幂面就是相交点所组成的圆周所在的平面，每一交点对于两球的幂同等于零。倘若两球相切，等幂面就是它们在这切点的公切面。当两球同心时，在有限空间轨迹不