高等几何讲义(第5章).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 ] 称为齐次直角坐标系．;2.3 保距变换与欧氏度量 在扩大欧氏平面上，有如下重要结论 定理4 在齐次直角坐标下，度量单位圆的方程为 x12 ? x22 ? x32 ? 0． (5.8) 证明：因 o?(1)、o?(2) 是绝对对合的一对对应点， 又因 I、J 是绝对对合的不动点，故 (o?(1)o?(2); IJ) ? ?1． 由于 I、J 在度量单位圆上， 故 o?(1)、o?(2) 共轭． 由于 o(3) 是中心，所以 o?(1)o?(2) o(3) 是度量单位圆的自极三点形． 所以，度量单位圆的方程具有如下形式：; b1x12 ? b2x22 ? b3x32 ? 0． 由于 e(1)(0, 1, 1) 和 e(2)(1, 0, 1) 在度量单位圆上，故其方程可化为 x12 ? x22 ? x32 ? 0． 推论 在齐次直角坐标系下，圆环点 I、J 的坐标分别为 I (1, i, 0)、J (1, ?i, 0)． 在建立了齐次直角坐标系 ? ? [o?(1), o?(2), o(3); e ] 的扩大欧氏平面上，可以建立无穷远直线上的一维射影坐标系： 依次选取o?(1)、o?(2)为基点，坐标为 (1, 1, 0) 的点为单位点 e*． 坐标系 ?* ? [o?(1), o?(2); 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)而言，量 (