第二章射影映射

1、第二章 射影映射本章将阐明一维射影变换、射影映射和二维射影变换的几何意义；研究它们各有哪些类型；并对其中比较重要的几种特殊类型进行较深入的讨论。§1透视透视是一个很简单但又最基本的射影映射。一般非透视的射影变换、射影映射可以用透视来表示。定义 如果一个点列与一个线束的元素之间建立了一一对应且对应元素是结合的,则这个对应叫做透视对应,点列与线束叫做透视的,或配景。图2.1记成定义 点和的对应点的连线交于一点s,也就是这两个点列与同一线束s成透视,则这两个点列叫做透视点列,点s叫做透视中心，记作或图2.2对偶定义：图2.1线束s和s的对应直线的交点在一直线上,也就是这两个线束与同一点列透

2、视,则这两个线束叫做透视线束。直线叫做透视轴。记作或图2.3.图2.3图2.2两个点列射影的,记作；两个线束射影的,记作看图2.2,如果是线束s的四条直线,分别与和交于a,b,c,d和a,b,c, d,则有R(a,b；c,d)=R()=R(a,b；c,d)所以透视对应保持交比不变,又因透视是一一对应,所以透视是射影对应(斯丹纳定义)。显然,透视对应把点映射为自身。定理1 直线到的透视是射影对应,它把公共点映射为自身。反过来,又有定理2 直线到的一个射影对应,如果把公共点映射为自身,那么这个射影对应是透视。(图2.4)证明：设到的射影对应由三对对应点唯一确定：且令记作。与有三对点相同，是透视。图

3、2.4定理1和定理2的对偶定理请读者自行叙述。由上述定理,得结论：定理3 两个射影点列(线束)成透视的充要条件是它们的公共点(直线)自身对应。定理4如果那么定理5 两条不同的直线之间的非透视的射影对应,是两个透视变换的积,证明：设是直线到的射影对应, (图2.5)但不是透视, (其中三对对应点中没有任何一点是),在直线a×a上任取二点s和s,作点(s×b)×(s ×b)b0,(s×c)×(s×c)c0,再作直线0b0×c0, 0×(a×a)a0,于是有图2.5推论：一直线到它自身上的射影变换,可

4、分解为不多于三次透视的乘积。例1 设直线和上各有三个不相同的点x,y,z和x,y,z,这些点都与×不同,那么三点：a=(y×z)×(y×z),b=(z×x)×(z×x),c=(x×y)×(x×y)共线(pappus定理)证明 如图2.6置=×, u=(x×z)×(x×y) v=(y×z)×(x×z),。我们有可是y是点列(x,c,u,y)和点列(v,a,z,y)的公共点,而且自身对应,所以图2.6 就是说三直线x×v

5、,c×a,u×z共点(透视中心),就是x×z,c×a,x×z相交于一点(x×z)×(x×z)=b所以a,b,c共线例2 设a,b,c是三点形的顶点,d,d；e,e；f, f依次是各边b×c,c×a,a×b上两个顶点的调和共轭点,求证：e×f,e×f,b×c共点；f×d,f×d,c×a共点；d×e,d×e,a×b共点。(图(2.7)证明 因为R(b,c；d,d)=R(a,c；e,e)=-1图2.7所

6、以 点列(b,c,d,d) 点列(a,c,e,e),c是公共点而且自对应,所以(b,c,d,d)(a,c,e,e)所以三直线：d×e,d×e,a×b共点。其余部分用同样的方法证明。例3 已知简单n点形的顶点a1,a2,an分别沿着通过不动点s的直线1, 2, n滑动；而边a1×a2,a2×a3,an-1×an顺次通过已知点x1,x2,xn-1,求证：边an×a1必定通过某个不动点。证明 简单n点形的顶点ai在直线i上滑动时,就画出了点列，这些点列记作i(ai),i=1,2,n。(图2.8所示)。按假设我们有图2.8图2.8又

7、由于上面所说的每一对透视点列的公共点S是自身对应的,因而射影点列a1(a1)和an(an)的公共点s也是自身对应,所以连结这两个透视点列对应点的直线,必定通过一个定点x(透视中心)。例4 设三角形ABC的边BC、CA、AB绕同一直线上三点P、Q、R旋转，顶点B、C在两条定直线上。求证：顶点A也在一定直线上。（如图2.9）证明：由图，其中PR过QPR是自对应元素图2.9对应直线交点共线，即共线。§2 完全四点形的调和性质本节将讨论完全四点形(四线形)的调和性质。简单四点形：由四个点A,B,C,D(其中无任何三点共线)及它们顺次两两的连线AB,BC,CD,DA所组成的平面图形叫做简单四点

8、形。A,B,C,D叫做顶点,AB,BC,CD,DA叫做边,不顺次的顶点的连线AC,BD叫做对角线。(图2.10)图2.10完全四点形：由四个点a,b,c,d(其中无任何三点共线)及连结其中任何两点的六条直线组成的平面图形叫做完全四点形。这四个点叫做顶点,六条直线叫做边,通过同一个顶点的边叫邻边,没有公共顶点的两边叫做对边,对边的交点叫对角线点,连结对角线点的直线叫对角线,以对角线点为顶点的三点形叫对角线三点形(图2.11)。图2.11三对对边：a×b,与c×d,a×c与b×d,b×c与a×d三条对角线：l×m,m×

9、n,1×n。对角线三点形为1mn。下面我们讨论完全四点形的调和性质。设，我们考察直线上四个点m,n,f和g的交比,因为(m,n,f,g)所以(m,n,f,g)R(m,n；f.g)= R(n,m；f，g)= 这里R(m,n；f.g)0,(否则,fg,则a,b,c,d共线,与完全四点形定义矛盾。)因此,由上式得R(m,n；f,g)=±1但R(m,n；f,g)1,(否则fg,也导致a,b,c,d共线。)所以,R(m,n；f, g)=-1。就是说,m,n,f,g组成调和点集,这一性质可以写成下面定理。定理6 在完全四点形的每一条对角线上有一个调和点集,它包括两个对角线点m、n,和这

10、条对角线与通过第三个对角线点l的一对对边的两个交点f,g。推论1 在完全四点形的每条边上有一个调和点集。它包括两个顶点,一个对角线点,和这条边与通过另两个对角线点的对角线的交点。推论2 完全四点形的两条对边被通过这两边交点的两条对角线调和分隔。图2.12利用完全四点形的调和性质可以作直线上三个已知点的第四调和点。整个作图只用一根直尺完成。例1 已知平面上两条不同的直线和,以及不属于也不属于的一个点f,由于某种原因与的交点不能到达,试从点f引一条直线通过与的交点。作法：通过f任作一条直线,×=k,×=l,在上作k,1,f的第四调和点g,再过g任作一直线,连结fb,fb就是所求

11、的直线(图2.12)图2.13例2 证明：梯形两对角线的交点与两腰延长线的交点的连线必过两底的中点。证明 如图2.13。AB|CD。M、N分别是直线EF与AB、CD的交点。考虑完全四点形DECF的对角线AB及边DC：R(A,B；M,p)=-1M是AB的中点R(D,C；N,P)=-1N是CD的中点。§3 直线(线束)到它自身的射影变换直线到它自身的射影变换中,自对应的点(直线)称为二重点(二重直线),或固定点(固定直线)。因为直线(线束)上的射影变换由按指定顺序的三对对应元素唯一确定,所以当这个变换有三个二重点(直线)时,它的每一个点(直线)都是二重点(直线),那么这个变换是恒等变换。

12、由此可知,一维射影空间的射影变换如果不是恒等变换,那么它可能有二个二重元素,一个二重元素,或者不没有二重元素。分别称它为双曲型的,抛物型的或椭圆型的射影变换。设到自身的射影变换 或 下面我们用非齐次坐标的方程来讨论。如果点x()是二重点,则,则有有两个实二重点 双曲型射影变换有一个实二重点 抛物型射影变换没有实二重点 椭圆型射影变换对于双曲型射影变换有下面性质定理7 在直线到它自身上的双曲型射影变换下,每对对应点与两个二重点组成的交比是常数。证明 设m,n是直线到它自身的双曲型射影变换的两个二重点,x和y是上不同于m,n的两个点,x和y的对应点分别是x和y,则R(x,y；m,n)=R(x,y；

13、m,n)即故即 R(x,x；m,n)=R(y,y；m,n)=常数k(常数k称为特征不变量)例 求直线到它自身射影变换的自对应点，并判断其类型 解：用非齐次坐标表示射影变换式，得令 自对应点的方程为： 或自对应点齐次坐标为（1，1），（5，2）射影变换为双曲型的。§4对合对应这一节讨论直线到它自身上的射影变换的一种特殊情形如果是直线到自身的射影变换,x是的任一点,它的对应点是x(xx),那么可能出现两种情况：xx或者xx。如果xx,则I, 就是恒等变换：如果xx,那么I。在后一种情况下x”,一般说x” x,但是也有可能x”x。如果x”x,就有x”= （x）=（x）= =x，于是2I。这

14、时I,而2I,这样的直线到自身的射影变换叫做对合。定义直线到它自身的射影变换,如果不是恒等变换,而它的平方是恒等变换,那么射影变换称为直线上的对合。因2=I就有-1,所以,如果直线到它自身上的射影变换I,而=-1,那么就是上的对合。定理8直线到自身上的射影变换： , 是对合的充要条件是a11+a22=0证明 直线到它自身的射影变换的方程是： 2的系数矩阵是：如果这个矩阵是恒等变换的矩阵,那么假如a11+a22O,则a12=a21=0,且a11=a22,从而=I,因此, 若是对合,则必须a11+a22=0反之,如果a11+a22=0,则2=I,且I,所以是对合。直线上的对合常写成下列形式 其非齐

15、次形式为 也可写成双线性方程 , 直线上的对合可按二重点的个数进行分类,（1）当，有两个二重点,称为双曲型对合,（2）当<0, 没有二重点,称为椭圆型对合,定理9 直线上没有抛物型对合。定理10 双曲型对合的两个二重点调和分隔每一对对应点。证明 设m,n是双曲型对合的两个固定点,x是这个对合中任意一点,且x不是二重点，推论,直线上的双曲型对合由两个二重点唯一决定。如果是上的一个对合,对于上的任何一个点a,必然有a= a,且=a,即所有对应点彼此对应。反过来,若在下所有的对应点对是彼此对应的,那么便是一个对合,但实际上,只要有一对不同的对应点彼此对应,那么必定是对合。定理11 如果是到它自

16、身的射影变换,而且a= a, a=，那么必定是对合。证明 因为使a和a彼此对应, ,所以I。设b是上任意一点,那么把a,a,b,b变为a,a,b, 。这表明2=I。定理12 直线上的对合由两对对应点唯一决定。证明 设两对对应点x,y,u,v中至少有一对不是二重点,(例如x,y),这时上存在唯一的射影变换,使因x、y是一对对应点,彼此对应,故是对合。若两对点都是二重点,则由定理10的推论知对合唯一决定。关于直线上非对合的射影变换与对合之间的关系,有下面定理。定理13 如果直线到它自身的射影变换不是对合,那么它是两个对合的乘积。证明 首先,假设I那么上总有一个对合1, 21I,由此I其次,假设I,

17、也不是对合。那么直线上至少有一个点a,它不是二重点即并且那么我们就可以用三对对应点：确定一个射影变换：和彼此对应,是对合。计算又因此乘积1使a和a彼此对应。乘积1是射影变换,有一对点彼此对应,所以1是一个对合,设这个对合为2那么21,由此得到是两个对合的乘积。根据对偶原理,容易得到关于线束的相应结论,这里不另讨论。例1 求以5、2为二重元素的对合方程。 解 设是对合的任意一对对应元素，于是： 即 展开后整理得所求对合方程为： 例2 试证：直线上双曲型对合的任意两对对应点互相不分隔。证明 设y,z和u,v是双曲型对合的任意两对对应点。在直线上以y,z,u为参考点建立射影坐标系,设各点的非齐次坐标

18、为y(),z(O),u(1),v()对合方程得 所以对合方程为 即对于双曲型对合,必有两个二重点,因此例3 直线上有四个不同的点y,z,u,v,且,试证由y,z和u,v这两个点对所决定的对合是双曲型的。证明 在直线上以y,z,u为参考点建立坐标系,它们的非齐次坐标依次为(),(0),(1),设v的非齐次坐标为，因再利用确定在上对合的方程为是双曲型对合。对合是一种很基本的射影变换,出现在很多图形中,比如在完全四点形中我们有图2.14定理14 (第二笛沙格定理也叫笛沙格对合定理) 任意一条不通过完全四点形顶点的直线与完全四点形的三对对边的交点,是属于同一个对合的三对对应点。(图2.14)证明 三对

19、点在直线上决定一个射影变换。因于是由于a,a彼此对应,所以为对合。第二笛沙格定理的平面对偶定理是：图2.15定理15 从平面上任意一个不在完全四线形边上的点向完全四线形三对对顶点投射的三对直线,是属于同一个对合的三个直线对。(图2.15)利用笛沙格对合定理可以解决对合的作图问题例4 设已知直线上的对合由两对对应点a,a；b,b决定,c是一个已知点,求作这个对合中c的对应点c。图2.16作法 通过a,a分别作任意直线, ,通过c作任意直线,但, 不同于直线, ， ， ， 就是所求的点。(图2.16)例2 已知两个完全四点形的五对对应边的交点属于一条直线,那么第六对对应边的交点也属于这条直线图2.

20、17证明 如图2.17，完全四点形k1l1m1n1和k2l2m2n2的五对对应边交点a,a,b,b和c属于直线,而c是第六对对应边的交点,c(l1×n1)×(l2×n2),我们来证明c属于。假设 (l1×n1)×c,那么完全四点形k1l1m1n1应用第二笛沙格定理,a,a；b,b,c,c属于同一个对合,这个对合由a,a；b,b完全决定。记作。又假设(l2×n2)×c1,对完全四点形k2l2m2n2应用第二笛沙格定理,有a,a；b,b,c,c1属于同一个对合,这个对合也由a,a；b,b决定,所以这个对合就是。于是在对合下,c和

21、c1都是c的对应点,所以cc1。§5 直射射影平面到它自身的射影变换叫直射,它的定义在第二章已经讲过,它的一个重要性质是保持点和直线的结合关系；保持结合关系的一对一的点变换是射影变换。可见保持点和直线的结合关系是射影变换的特征性质,也就是它的几何意义。我们还有一个重要问题就是研究直射变换有哪些类型,并讨论其中起重要作用的那些特殊的直射。直射由两个对应的四角形点集确定。如果平面到它自身的直射变换保持四角形点集的点P1,P2,P3,P4固定,那么这个直射就是恒等变换。由此可见,如果不是恒等变换,那么不共线的二重点至多有三个。对偶地说,如果不是恒等变换,那么不共点的二重直线至多有三条。5.

22、1 平面到它自身的直射变换的二重元素设平面到自身的直射变换是 ( 2.5.1)如果点x(x1,x2,x3)是的一个二重点,则对于合适的0,有解(x1,x2,x3)(0,0,0)。把方程写成齐次式,就是 ( 2.5.2)此方程的系数行列式是 ( 2.5.3)当且仅当()=0时,方程组( 2.5.2) 有非零解。但()=O是一个的实系数三次方程,至少有一个实根,且此根不是“0”(因(0)=- 0),对应于这个根,至少有一个二重点(至少有一条二重直线)。定理16 射影平面到它自身的直射至少有一个二重点和一条二重直线。这个定理说明了平面上直射变换总有二重元素存在。在证明的过程中,还指出了求二重元素的具

23、体方法。为了阐明这一方法,并使计算过程尽可能简单,我们介绍特征方程及其根的几个简单性质。()=0称为直射的特征方程,它的根称为特征根。齐次线性方程组( 2.5.2) 的系数矩阵为： ( 2.5.4)对于特征根j。所得的矩阵的秩记为rj。有下面性质：引理1 若rj=0,(j=1,2,3),则直射是恒等变换。证明 因为rj=O(j=1,2,3),所以矩阵的所有元素都是零,于是所以=I引理2, 若直射I, j是()=0的单根(不是重根),则rj=2证明 由于 又 rj只有两种可能rj=1或rj=2。假设rj1,那么矩阵的所有二阶子式都是零。于是这表明j 是()=0的重根(至少二重),与j是单根矛盾。

24、所以rj=2。如果把=I这个情形暂时除外,由引理1,2可知,rj要么等于2,要么等于1,因此解方程组 ( 2.5.2)时只有两种情形：(1)rj=2,矩阵(3)中至少有一个二阶子式不为零,例如,左上角的那个二阶子式不为0,它对应于方程组( 2.5.2)中的第一和第二两个方程：根据解齐次线性方程组的知识,方程组( 2.5.2)与这两个方程所构成的方程组同解,而这个方程组有一组成比例的非零解：这一组解正是( 2.5.4) 中矩阵第一行与第二行的外积。所以若rj=2时,只要在矩阵( 2.5.4)中找到不为零的一个二阶子式所对应的两行,然后求这两行的外积便是一个二重点的坐标。(2)若rj=1,则矩阵(

25、 2.5.4)中所有二阶子式都为零,但至少有一个元素不为零,例如左上角那个元素j-a11不是零,它对应于方程组 ( 2.5.2)中的第一个方程：那么方程组 ( 2.5.2)与这个方程同解,或者说满足这一个方程的一切非零解都是 ( 2.5.2)的解。也就是说上面这个方程所表示的直线上所有的点都是二重点,可见这条直线是点态不变的。在这一情况下，只要找到矩阵( 2.5.4)中不等于0的那个元素所在的行，这一行的元素就是的一条点态不变的直线的坐标。至于二重直线的求法，只要把上述方法应用到讨论方法与上面相同。例1 求直射：的二重元素解 有三个单根1=3, 2=5, 3=6当13时，得相关方程组：对应二阶

26、子式对应的二重点当25时，得相关方程组： r=2，图2.1836时，得相关方程组： r=2三个二重点不共线。三条二重直线是：二重点与二重直线的相关位置,如图2.18所示。例2 求直射 的二重元素。解 有一个单根1=2,一个二重根2=3=4。当1=2时,得相关方程组： r=2二重点 当2=3=4时。得相关方程组 r=1二重点为x1+x3=0上的每一点。这是一条点态不变的直线(1,0,1),且0。由对偶原则, 还有一个线态不变的线束。它的中心就是已经求出的a。图2.19事实上,点a不在上,通过点a(1,1,1)的任何一条直线必与相交于一点,这个交点必是二重点,那么直线上便有两个二重点,因而是二重直

27、线,显然,线束a是线态不变的。相关位置如图2.19。例3求直射: 的二重元素。解 有一个单根1=3和一个二重根2=3=2。当1=3时,得相关方程组 r=2二重点x(1)=(1,0,O)×(-6,1,1)=(0,1,-1)。当2=3=2时,得相关方程组： r=2二重点现在来求二重直线,首先写出 的特征方程有一个单根13，一个二重根222当13时,得相关方程组： r=2得一条二重直线图2.20当232时,得相关方程组： r=2两条二重直线二重元素的相关位置如图2.20所示。例4 求直射:的二重元素解 有一个三重根1= 2=3=1,相应的相关方程组： r=1,x1=0上每点都是二重点,所以

28、(1,0,O)是一条线态不变的直线。再求二重直线,图2.21相关方程组只有一个方程： r=1,有一个线态不变的线束,以a(0,2,1)为中心,又=0,所以在上。它们的位置如图2.21所示。例5 求直射: 的二重元素解 相关方程组为： r=2二重点再求二重直线 r=2二重直线是二重直线,它上面只有一个x(1)是二重点。它们的位置如图2.22。图2.22()=0的根jE(aik)的秩rj二重元素配置图名称123r1=r2=r3=2三个重点,不共线；三条二重直线,不共点12=3r1=2r2=r3=1线态不变的线束a；点态不变的点列透射r1=2r2=r3=2两个二重点,其中一个计算2次；两条二重直线，

29、其中一条计算2次1=2=3r1=r2=r3=1所有二重点属于一条直线,所有二重直线属于一点a合射r1r2r32一个二重点(计算3次),一条二重直线(计算3次)从上面五个例子可以看出,直射变换有五种不同的类型(恒等变换和有虚的特征根的情况不在内),其中例2叫透射，例4叫合射,以后将起着重要的作用。5.2透射定义 射影平面到它自身的直射,如果不是恒等变换,但保持一条直线上的每一个点和通过不在上的点a的每一条直线都不变,那么这个直射称为透射或同调。这条直线和点a分别称为透射轴和中心。如何确定一个透射? 有下面定理：定理17 已知一条直线和三个不相同的共线点a、z和z,这三个点没有任何一个在上,那么恰

30、有一个以a为中心, 为轴、z和z为一对对应点的透射H。证明 如果b和c是属于而不属于 的任意两点,并且四点组a,b,c,z和a,b,c,z都不含任何共线的三点,那么恰有一个直射H,把a,b,c,z按照所写的这个顺序变为a,b,c,z。在直射H下a是二重点, b×c是二重直线,并且把以a为中心的线束变为以a为中心的另一线束,就是说H在以a为中心的线束里诱导出线束a到它自身的射影变换,不过在这个诱导出来的射影变换下,有三条直线a×b,a×c和是自身对应的(即二重直线),所以是恒等变换。因为通过a的每一条直线是不变的,所以上每一点是不变的。于是H是透射。如果还有透射H也

31、以a为中心、为轴、z、z为一对对应点,那么H也把四角形点集a,b,c,z依次变为a,b,c,z。然而四角形点集a,b,c,z和依次对应的四角形点集a,b,c,z所确定的直射是唯一的。所以H=H,证毕。这个定理说明透射H由它的中心a、轴和一对对应点z,z唯一确定,当然a,z,z是不同的共线点,而且其中没有任何一点在上。因此利用它可以作平面上任何一点在透射下的对应点。如果平面到它自身的直射不是恒等变换,也不是透射,那末直射必是两个透射的乘积。现在,我们考虑透射的特殊情形调和透射。定义 如果一个透射的任何对应点z和z被中心a和点(z×z)×调和分隔,那么这个透射称为调和透射。定理

32、18 如果H是以a为中心, 为轴的透射变换,设H的一对对应点为z,z,若四个点z,z,a和是调和点集,那么H是调和透射证明 由H在直线上导出的射影变换是以a和 为二重点的,所以这个射影变换是双曲型的。(图2.23)图2.23设x是不在 上也不在上的任何一点, 令 , x与是上一对应点。 ，所以H是调和透射定理19 如果已知一条直线和不属于的一个点a,那么恰有一个以为轴,a为中心的调和透射。定理20 如果已知一条直线和不属于的两个不同点z,z,那么恰有一个以为轴,以z,z为一对对应点的调和透射。直线上的对合定义是I, 2=I,把这个概念推广到射影平面上来：如果平面到它自身的直射不是恒等变换,而它

33、的平方是恒等变换,那么直射称为平面上对合的直射或上的对合。定理21 调和透射是平面上的对合。定理22 平面上的对合必是调和透射。事实上,设H是一个对合的直射,选这样两对对应点a,a；b,b,这四点中无任何三点共线(图2.24所示),那么H是把(a,a,b,b)(a,a,b,b)的唯一直射。这四点又构成一完全四点形,图2.24所以H是g×h为轴,f为中心的调和透射。前面的例4中,直射有一条点态不变的直线和一个线态不变的点a,并且a在a上,这个直射叫合射。定义 如果射影平面到它自身的直射不是恒等变换,它保持一条直线上每一个点以及通过一个点a的每一条直线都不变,且a属于,那么这个直射称为合

34、射。点a和直线分别称为合射的中心和轴。定理23 已知一条直线和不属于的一对点z,z,那么恰有一个以为轴和z,z为一对对应点的合射(z z)证明 令 ， ，如果x是不属于 和的任意一点,作,。设b是上不同于y和a的任意一点,四点组a,b,z,x和a,b,z,x中没有任何三点共线,那么恰有一个直射：(a,b,z,x)(a,b,z,x)图2.25所示。图2.25在直线上,有三个二重点：y,a,b,因此上每个点都变为自己。所以是点态不变的直线,同样, 使通过a的直线有以三条二重直线。所以线束a是线态不变的,且a属于，所以是合射。定理24 一个直射不是恒等变换,但保持一条直线的所有的点不变。如果没有其它

35、二重点，那么是合射；否则,是透射。设a是的二重点,a·O,那么以a为中心的线束里的每一条直线上有两个二重点：a和×。所以这个线束线态不变。是透射。如果除了的点以外,没有二重点了。设z不属于,则不在上,z×z= (图2.25) ×=a,则a×z=a×z,故 是二重直线,同样可以证明不属于的任意点x,使x×x变为自身。于是就得到以a为中心, 为轴的合射。定理25 直射变换若保持x3=O(即 )的每一个点不变,它就有表达式 , ( 2.5.5)证明 设直射的方程为 它保持x3=0上每一点不变,在x3=0上取点d1(1,0,0)，d

36、2(0,1,0)和(1,1,O),它们都是不变点,代入上式得到a21=a31=0,a12=a32=0,a11=a22=b此时得： 定理26 当直射变换( 2.5.5)不是恒等变换时,若b1,它表示以(a1,a2,1-b) 为中心,以 为轴的透射。证明 如果直射( 2.5.5)是透射,则它必须有一个不在 上的二重点,这个二重点的坐标可以写作(y1,y2,1),代入( 2.5.5) ,得 这方程组必须有解。若b=1,且当a1=a2=0时,有解,但此时=I。若b1时,方程组总有解： 因而 ( 2.5.5)是以(a1,a2,1-b)为中心, 为轴的透射。如果( 2.5.5) 中不是恒等变换,它的平方是

37、恒等变换,那么它是调和透射。的充要条件是：若 所以 上面条件皆被满足,因而上述条件与b=-1是等价的,所以当且仅当b=-1时,直射( 2.5.5) 是调和透射。所以有定理27 以 为轴,(a1,a2,2)为中心的调和透射的方程是 ( 2.5.6) 定理28 代数式为 不全为零 ( 2.5.7)的直射,是以(a1,a2,0)为中心,。为轴的合射。证明 在( 2.5.5) 中, 的每一个点都是二重点,如果它还满足条件：(1)它不是恒等变换；(2) 以外无二重点；那么它就是合射。对于条件(2)就是把不属于 的点(y1,y2,1)代入：必定无解,反过来也对。此方程组无解的充要条件是b=1,a1,a2不

38、全为0,在此条件下, I。容易验证,通过(a1,a2,0)的所有直线都是二重直线 ,把b=1,a1,a2不全为零这个条件代入 ( 2.5.5),便得到( 2.5.7) 。§6 初等几何中的应用我们应用一般的射影变换来解释初等几何中的一些变换,以便在较高的观点上理解那些变换。1、实轴上的平移变换是： ( 2.6.1) a=0时,它是恒等变换。aO时,在欧氏平面上它没有二重点。如果把实轴看成射影直线,则这个变换的非齐次方程与 比较,a11=a22=1,a12=a,a21=0,a11+a22=20,所以这个变换是非对合的射影变换, ，( 2.6.1)是直线到它自身的抛物型射影变换,有一个二

39、重点无穷远点。2、实轴上x关于a点的反射是： ( 2.6.2) 在欧氏平面上a=0时,是关于原点的反射；aO时,它有一个二重点a点。如果把它看作射影直线到它自的射影变换,是双曲型对合,有两个二重点：a和无穷远点。3、欧氏平面上的平移变换： ( 2.6.3) 在欧氏平面上它没有二重点和二重直线。如果把它看作射影平面的射影变换, ( 2.6.3) 就成为：特征多项式：1三重根,相关方程组的r1,有一条点态不变的直线x3=O(即 ),对偶可求得有一个线态不变的线束a(a,b,O),且 ,所以(11I)是以 为轴,a(a,b,0)为中心的合射。4、欧氏平面上关于原点的中心对称： ( 2.6.4) 在欧

40、氏平面上,原点是二重点,通过原点的直线都是二重直线。如果把它看射影变换,它的齐次方程是其逆变换是所以是对合,由定理27,是以 为轴,(0,0,1)为中心的调和透射5、欧氏平面上以原点为位似中心,k为位似常数的位似变换： ( 2.6.5) 欧氏平面上它以原点为一个二重点,通过原点的所有直线是二重直线把它化为齐次方程：由定理26，它是以 为轴,(0,0,1)为中心的透射变换,它不是对合。6、欧氏平面上关于横轴的反射： ( 2.6.6)在欧氏平面上,x轴是对称轴,x轴上的点都是二重点。把它看作射影平面到自身的直射：因为=-1,它是平面上对合调和透射。现在来求这个对合的中心和轴。特征根1=-1(单根)

41、 2=3=1(二重根)当1=-1时,相对应的二重点是a=(0,1,O)。当2=3=1时,相对应的二重点是x2=O,这是一条点态不变的直线,且 ,所以关于横轴的反射是以直线x2=0(即 )为轴,无穷远点(0,1,0)为中心的合射。7、欧氏平面上绕原点的旋转变换： ( 2.6.7)在欧氏平面上,原点是二重点。把它看成射影变换特征多项式是特征根1=1；另二特征根满足 ,但这个二次方程的判别式 ,若 ,则 0或 ,于是旋转变换成为恒等变换或者是关于原点的中心对称，若 ,则2, 3为共轭虚数(不在讨论之列),所以 时,仅有一个实特征根11,此时的相关方程组为：r2,一个二重点关于二重直线讨论方法同上面相

42、同,当 时,有一条二重直线(0,0,1) 。所以,这个变换是仅有一个二重点(0,0,1)和一条二重直线 (0,0,1)的一般的直射。下面举几个例子,说明本章知识在初等几何中的应用例1 设一直线 截三点形k1m的三边1×m,m×k,k×1于点a,b,c；再以不在这三边上的任意点n为中心,把k,l,m分别投影到它的对边上,象点为u,v,w,求证三点形每一边上的四个点所成交比的乘积为-1,就是：图2.26证明 点列点列(m,k,v,b)点列(k,1,w,c)而a,a,b,b和c,c是完全四点形klmn的三对对边与直线 的交点,根据第二笛沙格定理,它们同属于一个对合。所以

43、 =例2 一直线顺次交三点形p1p2p3的三边p2p3,p3p1,p1p2于q1,q2,q3,在此三边上顺次取q1,q2,q3,使R(p2,p3；q1 ,q1)=k1,R(p3,p1；q2,q2)=k2。R(p1,p2；q3,q3)= k3求证：(1) q1,q2,q3 共线的充要条件是k1k2k3=1；(2) 共点的充要条件是 。证 (1)(图2.27)以直线p2p3,p3p1,p2p1为 ，q1×q2为单为直线 建立线坐标糸,图2.27所以共线的充要条件是即 图2.28(2)图2.28仍以 为单位直线 建立坐标系,则 共线的充要条件是=即若q1,q2,q3是无穷远点,则同理所以故

44、q1,q2,q3'三点共线的充要条件是(美耐劳斯定理)三线共点的充要条件是(塞瓦定理)美耐劳斯定理和塞瓦定理可以看作是射影几何中上述命题的特殊情况,在证明共点、共线时非常有用,三角形的三条中线共点,三条高共点,三条内角平分线共点等性质都可应用塞瓦定理来证明。美耐劳斯定理和塞瓦定理可以写成统一形式：ABC各边BC,CA,AB上各取一点D、E、F,如果那么,当D,E,F三点中在边的延长线上的个数n是：(1)奇数(n=1,3)时,D,E,F三点共线。(2)偶数(n=0,2)时,AD,BE,CF三线共点。例3 是平行四边形，是其内任意一点，过作的平行线交于，作的平行线交于，则、三线共点。图2.

45、29证明：如图，设、和交于，、和交于。考虑两组共线点列、和、，由巴普斯定理可得：，三点共线，即、三线共点。习题二1.1 叙述并证明：第二章§1透视中定理5的对偶定理。1.2已知两个射影点列的三对对应点,试作这两个点列的公共点所对应的点。首先把这个公共点看作第一个点列的点,然后看作第二个点列的点。再就线束研究类似的问题。1.3 叙述并证明巴普斯定理的对偶定理。2.1 已知线束x里三条直线 和 ,求作直线 关于和 的调和共轭直线。2.2 过三点形abc的顶点各作一直线a×a,b×b,c×c,使它们相交于一点d,并分别交对边于a,b,c；又(b ×c)×(b×c)=a”, (c×a)×(c×a)=b”, (a ×b)