高等几何讲义第5章.pptVIP

§2 圆环点与欧氏几何 2.1 虚元素 复射影平面 称坐标 (u1, u2, u3) 不与任何有序实数组成比例的元素为虚元素． 虚元素与实元素合称复元素． 引进了虚元素的射影平面称为复射影平面． 例：(1, 3, 1 ? i)，(1 ? i, 0, 1) ； (1 ? i, 0, 0)，(i, 2i, ?3i) ． §2 圆环点与欧氏几何 定理1 一元素为实元素 ? 此元素与其共轭元素重合． 定理2 若复点 x 在复直线 ? 上，则其共轭复点在其共轭复直线上． 定理3 一对共轭虚点的连线是实直线． 指定了无穷远直线的复射影平面称为复扩大仿射平面． 注意：坐标系的基点和单位点必须为实点，变换式的矩阵元素及二次曲线的方程系数必须是实数． §2 圆环点与欧氏几何 §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 ] 称为齐次直角坐标系． §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 相似变换的两个等价定义： 1．保持退化曲线 ?12 ? ?22 ? 0不动的仿射变换； 2．保持绝对对合不变的仿射变换． 定理6 齐次直角坐标系下，相似变换的表达式为 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 齐次直角坐标系与直角坐标系 Oxy 的联系： 将扩大欧氏平面上的无穷远直线去掉，则可得到 (非扩大) 欧氏平面，相应的齐次直角坐标系变成了直角坐标系．(如下图) §2 圆环点与欧氏几何 在直角坐标系 Oxy 下，正向相似的表达式为 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 定理11 抛物线只有一条主轴． 实际上，抛物线的主轴是无穷远点(A23, ? A13, 0)的极线． §2 圆环点与欧氏几何 证明：设直径 ? 的斜率为 k，则其共轭直径的斜率 k/ 满足： a11 ? a12(k ? k/) ? a22kk/ ? 0． 故直径 ? 是主轴 ? kk/ ? ?1 ? a11 ? a12(k ? 1/k) ? a22 ? 0 ? a12k2 ? (a11 ? a22)k ? a12 ? 0． 由于对圆而言，a11 ? a22，a12 ? 0，故有 推论1 圆的任意直径都是主轴． 对于非圆有心曲线，? ? (a11 ? a22)2 ? 4a122 ? 0，故有 推论2 除圆之外的所有有心二次曲线均有且仅有两条互相垂直的主轴． §2 圆环点与欧氏几何 定理13 若 (??; ??) ? ?1 且 ? 垂直于?，则 ?、? 是 ?、? 所成角的内外平分线． 证明：记过四线所共点的迷向直线为?、?，则 (??; ??) ? ?1． 建立一维射影坐标系 ? ? [?, ? ; ?]，设?、?、? 的非齐次坐标分别为?(?1)、? (?)、? (?/)．则 ?1 ? (?? ; ??) ? ?1． 又由(?? ; ??) ? ?1，得 (? ? ?)(0 ? ?/)/(? ? ?/)(0 ? ?) ? ? 1， 故 ?/ ? ??． 所以，(?? ; ??) ? (? ? ?)(1 ? ?)/(? ? ?)(1 ? ?) ? (1 ? ?)/(1 ? ?)， §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 §2 圆环点与欧氏几何 由上式分析可知：抛物线有且仅有一个焦点． 可以说明，此处定义的焦点、准线与解析几何中相应概念一致． §2 圆环点与欧氏几何 例3 过二次曲线焦点的两条共轭直线垂直． 高 等 几 何 ( Higher Geometry ) 关于共轭复元素，有以下结论 同类型二元素，若其坐标可分别写为(u