高等几何课件.pptxVIP

§2 圆环点与欧氏几何2.1 虚元素 复射影平面称坐标 (u1, u2, u3) 不与任何有序实数组成比例的元素为虚元素．虚元素与实元素合称复元素．引进了虚元素的射影平面称为复射影平面．例：(1, 3, 1 ? i)，(1 ? i, 0, 1) ； (1 ? i, 0, 0)，(i, 2i, ?3i) ．关于共轭复元素，有以下结论同类型二元素，若其坐标可分别写为(u1, u2, u3)与 (u1, u2, u3)，则称为共轭复元素．? ? ? 定理1 一元素为实元素 ? 此元素与其共轭元素重合．定理2 若复点 x 在复直线 ? 上，则其共轭复点在其共轭复直线上．定理3 一对共轭虚点的连线是实直线．指定了无穷远直线的复射影平面称为复扩大仿射平面．注意：坐标系的基点和单位点必须为实点，变换式的矩阵元素及二次曲线的方程系数必须是实数．§2 圆环点与欧氏几何 p?q?p/?q/??????/?/2.2 绝对对合与直角坐标在无穷远直线 ?? 上，指定一确定的椭圆型对合，称为绝对对合．绝对对合的二虚不动点称为圆环点，记为 I 和 J．通过绝对对合的一对对应点的两条普通直线称为互相垂直的直线．一对垂直直线所成的角称为直角．右图中，p?、p/?；q?、q/?；…是绝对对合 ? 的对应点对．§2 圆环点与欧氏几何 有关垂直关系的性质： 1．过一普通点，有且仅有一条直线与已知直线垂直． 2．与二平行直线之一垂直的直线必与另一直线垂直． 3．与同一直线垂直的两条直线平行．若齐次仿射坐标系 ? ? [o?(1), o?(2), o(3); e]的前两个基点 o?(1)、o?(2) 是绝对对合的一对对应点，则称? 为齐次正交坐标系．通过两个圆环点的椭圆称为圆． 该椭圆的中心称为圆心． 注意：圆可以等价地定义为通过两个圆环点的非退化二次曲线．§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 ] 称为齐次直角坐标系．o?(1)o?(2)o(3)e(2)e(1)e§2 圆环点与欧氏几何建立了齐次直角坐标系的扩大仿射平面称为扩大欧氏平面．(如右图) 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) 是度量单位圆的自极三点形． 所以，度量单位圆的方程具有如下形式：§2 圆环点与欧氏几何 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*] 称为? 的诱导坐标系．§2 圆环点与欧氏几何 定理5 在已知齐次直角坐标系的诱导坐标系下，绝对对合的变换式为 ??/ ? 1 ? 0． 证明：设其变换式为： a??/ ? b(? ? ?/) ? d ? 0． 因圆环点的一维非齐次坐标为 ? i，又是不动点， 代入即得 a ? d ? 0，b ? 0．若采用齐次坐标