平面射影几何简介.pptVIP

*图(6.4)* 利用对偶原理,可以得到 定理3.1:在上的共线四点A,B,C,D,其中A,B,C各 不相同,且D≠A,设 且 则 * 因为交比都可转化为通常点的交比,因而不难证明 如下性质 (1)(A,B;C,D)=(C,D;A,B)=(B,A;D,C), (2)若D≠B,则有 (3) (4)设O是通常点， 是共点于O的四直线, 用 表示直线绕O转到的角度,则*2.调和点列与调和线束 定义3.2:上共线四点A,B,C,D,若(A,B;C,D)=-1,则 称它们是调和点列,其中,D称为A,B,C的第四调和点,且 称D是点C关于点偶A,B的调和共轭点。 由交比的性质(2),若D是C关于点偶A,B的调和共轭 点,则C是D关于点偶A,B的调和共轭点,这时称C,D关于 A,B调和共轭。 又由性质(1),若C,D关于A,B调和共轭,则A,B关于 C,D调和共轭,此时称点偶C,D与点偶A,B彼此调和分割。 * 设A,B,C∈均是通常点,若C是线段AB(指不含无穷远点的部分)的中点,则从(A,B;C,D)=-1可推出D是直线AB上的无穷远点。因而线段AB的中点与直线AB的无穷远点是关于A,B调和共轭。 类似地,若共点四线 ,满足则称为调和线束,称为的第四调和线。设O∈是通常点, 是共点于O的四条不同直线,若 所夹的一个角的角平分线,且 则由公式(3.5)得到 所夹的另 一个角的角平分线，即所夹的两个角的角平分线关 于 调和共轭。 *§4射影变换与二次曲线的射影分类1.射影变换2.二次曲线的射影分类返回*1.射影变换 首先,我们给出欧氏平面上的射影变换的定义,然后 把它延续到扩大的欧氏平面上。 定义4.1：在欧氏平面π上由公式 给出的点变换称为欧氏平面π上的射影变换,其中， 是可逆。 * 直接验证可得到:先后完成两个射影变换的结果仍 是一射影变换;射影变换是可逆的,且逆变换是射影变换; 恒等变换是射影变换。因而射影变换的全体组成一个变 换群,称为射影变换群,简称射影群。 射影变换(4.1)在不与直线 相交 的图形上均可施行。 射影变换有仿射变换的许多性质,特别是在射影变 换下,同一直线上的点仍变为同一直线上的点。 * 欧氏平面π上的射影变换(4.1)可以延续到扩大的欧 氏平面上,即在齐次坐标下由公式 给出的点变换,称为射影平面上的射影变换.其中， 是可逆的,ρ≠0对于不同的点有不同的值. 很明显,射影平面上的射影变换的全体组成一个变 换群,称为射影平面上的射影变换群。 变换(4.2)在π上与(4.1)是一致的,实际上,在π 上,，因此用第三个公式逐个去除前两个 就得到(4.1)。* 在射影变换下,共线四点的交比是保持不变的, 即交比是射影不变量。 设上共线四点 互不相同,D≠P,且 经过射影变换(4.2)后,P,Q,C,D的象点 * 则 同理， 由此可知,是共线的,且*2.二次曲线的射影分类 我们知道,在直角坐标系中,二次曲线由方程 给出,用代入（4.3),就得到齐次坐标下的 二次曲线的方程 在射影平面上,满足(4.4)的无穷远点应适合* 由此可见,满足(4.4)的无穷远点实际上是平面上的 二次曲线(4.3)的渐近方向。因而,射影平面上的二次曲 线为平面上的二次曲线补上此曲线的所有渐近方向。 *定理4.1 射影平面上的二次曲线与下列的五种曲线之一射影等价: *