高等几何讲义(第5章§2 圆环点和 与欧氏几何).pptVIP

§2 圆环点与欧氏几何;定理1 一元素为实元素 ? 此元素与其共轭元素重合． 定理2 若复点 x 在复直线 ? 上，则其共轭复点在其共轭复直线上． 定理3 一对共轭虚点的连线是实直线． 指定了无穷远直线的复射影平面称为复扩大仿射平面． 注意：坐标系的基点和单位点必须为实点，变换式的矩阵元素及二次曲线的方程系数必须是实数．;p?;有关垂直关系的性质： 1．过一普通点，有且仅有一条直线与已知直线垂直． 2．与二平行直线之一垂直的直线必与另一直线垂直． 3．与同一直线垂直的两条直线平行． 若齐次仿射坐标系 ? ? [o?(1), o?(2), o(3); e]的前两个基点 o?(1)、o?(2) 是绝对对合的一对对应点，则称? 为齐次正交坐标系． 通过两个圆环点的椭圆称为圆． 该椭圆的中心称为圆心． 注意：圆可以等价地定义为通过两个圆环点的非退化二次曲线．;在以齐次正交坐标??的第三个基点为圆心的圆中，指定一确定的圆，称为度量单位圆． 记度量单位圆与o?(1)?o(3)的交点为e(2)，与o?(2)?o(3) 的交点为e(1)，令e ? (o?(1)?e(1))?(o?(2)?e(2))． 指定了度量单位圆，且如上选取单位点 e 的齐次正交坐标系 ? ? [o?(1), o?(2), o(3); e ] 称为齐次直角坐标系．;定理5 在已知齐次直角坐标系的诱导坐标系下，绝对对合的变换式为 ??/ ? 1 ? 0． 证明：设其变换式为： a??/ ? b(? ? ?/) ? d ? 0． 因圆环点的一维非齐次坐标为 ? i，又是不动点， 代入即得 a ? d ? 0，b ? 0． 若采用齐次坐标，则绝对对合的表达式为 ?1?/1 ? ?2?/2 ? 0． 扩大欧氏平面上，保持圆环点集合 {I, J} 不动的仿射变换称为相似变换． 其中，I、J 均为不动点的相似称为正向相似； I 与 J 互换的相似称为反向相似．;相似变换的两个等价定义： 1．保持退化曲线 ?12 ? ?22 ? 0不动的仿射变换； 2．保持绝对对合不变的仿射变换． 定理6 齐次直角坐标系下，相似变换的表达式为;将 I?I 代入变换式，得;齐次直角坐标系与直角坐标系 Oxy 的联系： 将扩大欧氏平面上的无穷远直线去掉，则可得到 (非扩大) 欧氏平面，相应的齐次直角坐标系变成了直角坐标系．(如下图);在直角坐标系 Oxy 下，正向相似的表达式为;相似比 |?| ? 1 的相似变换称为保距变换，? ? 1 时为正向保距，? ? ?1 时为反向保距． 注意：从推论可以看出，此处定义的保距变换就是第一章介绍的保距变换． 易见，对欧氏平面上的两点 p(x1, y1)、q(x2, y2)而言，量 (x2 ? x1)2 ? (y2 ? y1)2 在保距变换下不变，故定义两点间的距离为 d ? [(x2 ? x1)2 ? (y2 ? y1)2]1/2． 定理7 在直角坐标系下，圆的方程为 x2 ? y2 ? 2b13x ? 2b23y ? b33 ? 0．; 证明：由于二次曲线 a11x12 ? a22x22 ? a33x32 ? 2a12x1x2 ? 2a13x1x3 ? 2a23x2x3 ? 0 是圆的充要条件为过点 (1, ? i, 0)，即 a11 ? a22 ? 2a12i ? 0， 也即 a11 ? a22，a12 ? 0． 故圆的齐次坐标方程为 a11x12 ? a11x22 ? a33x32 ? 2a13x1x3 ? 2a23x2x3 ? 0． 令 b13 ? a13/a11，b23 ? a23/a11，b33 ? a33/a11，化为非齐次坐标方程，即得结果． 通过一个圆环点的虚直线称为迷向直线． 由于直线 ?1x1 ? ?2x2 ? ?3x3 ? 0 过圆环点 ? ?1 ? i?2 ? 0，故迷向直线的方程为 ? i x1 ? x2 ? ?3x3 ? 0．;采用非齐次坐标，即得 引理 在直角坐标系 Oxy 下，迷向直线的方程为 y ? ? i x ? b． 定理8 欧氏平面上，若过两条实直线 ?、? 交点的迷向直线为 ?、?，则