本文格式为Word版，下载可任意编辑第二章 射影映射 其次章 射影映射 本章将表明一维射影变换、射影映射和二维射影变换的几何意义；研究它们各有哪些类型；并对其中对比重要的几种特殊类型举行较深入的议论 §1透视 透视是一个很简朴但又最根本的射影映射一般非透视的射影变换、射影映射可以用透视来表示 定义 假设一个点列与一个线束的元素之间建立了一一对应且对应元素是结合的,那么这个对应叫做透视对应,点列与线束叫做透视的,或配景如图2.1记成 ?(y,z,u,v???)?a(?,?,?,?,???) 定义 点ξ和ξ’的对应点的连线交于一点s,也就是这两个点列与同一线束s成透视,那么这两个点列叫做透视点列,点s叫做透视中心，记作 ?(a,b,c???)???(a?,b?,c?,???)或?(a)???(a?)，如图2.2 ?S对偶定义： 图2.1 线束s和s’的对应直线的交点在一向线?上,也就是这两个线束与同一点列透视,那么这两个线束叫做透视线束直线?叫做透视轴记作 s(?,?,?,???)?s?(??,??,??,???)或s(?)?s?(??)，如图2.3. ???? 图2.2 图2.3 两个点列射影的,记作?(a)???(a?)；两个线束射影的,记作s(?)?s?(??) 看图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) 证明：设?到??的射影对应Ф由三对对应点唯一确定： ?:?(a,b,y)???(a?,b?,y)且?(c)?c? 令(a?a?)?(b?b?)?s,(s?c)????c0,??(a,b,c)???(a?,b?,c)记作? 0?sR(a?,b?;y,c?)?R(a,b;y,c)?R(a?,b?;y,c0) ?c??c0,?与?有三对点一致，??????是透视 图2.4 ?' 定理1和定理2的对偶定理请读者自行表达由上述定理得结论： 定理3 两个射影点列(线束)成透视的充要条件是它们的公共点(直线)自身对应 定理4假设?(a,b,c???)???(a?,b?,c????)????(a??,b??,c?????) 那么?(a,b,c???)????(a??,b??,c??,???) 定理5 两条不同的直线之间的非透视的射影对应,是两个透视变换的积, 证明：设Ф是直线?到?'的射影对应, (图2.5)但不是透视, ?(a,b,c)???(a?,b?,c?) (其中三对对应点中没有任何一点是????),在直线a×a’上任取二点s和s’,作点(s×b)×(s ’×b’)～b0,(s×c)×(s’×c’)～c0,再作直线ξ0～b0×c0, ξ0×(a×a’)～a0,于是有 '(a?,b?,c?) ?(a,b,c)??（,,）=?abc0000??ss' 图2.5 推论：一向线ξ到它自身上的射影变换,可分解为不多于三次透视的乘积。
例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), ??x??y,???y?z?x z我们有 ?(x?,c,u,y)???(x?,y?,z?,w)???(v,a,z?,y) ???(x?,c,u,y)???(v,a,z?,y) 可是y是点列β(x’,c,u,y)和点列β’(v,a,z’,y)的公共点,而且自对应,所以 图2.6 ?(x?,c,u,y)???(v,a,z?,y) 就是说三直线x’×v,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 所以 点列(b,c,d,d’) ?点列(a,c,e,e’),c是公 ?共点而且自对应,所以 图2.7 (b,c,d,d’) ?(a,c,e,e’) ?2,?, ?所以三直线：d×e,d’×e’,a×b共点 其余片面用同样的方法证明 例3 已知简朴n点形的顶点a1,a2,?an分别沿着通过不动点s的直线?1, 滑动；而边a1×a2,a2×a3,?an-1×an顺次通过已知点x1,x2,?xn-1,求证：边an×a1必定通过某个不动点 证明 简朴n点形的顶点ai在直线?i上滑动时,就画出了点列，这些点列记作 ?i(ai),i=1,2,?,n图2.8所示)按假设我们有 n ?1(a1)??2(a2)??3(a3)??????n(an) ????x1x2x3xn?1图2.8 ??1(a1)??n(an). 又由于上面所说的每一对透视点列的公共点S是自身对应的,因而射影点列a1(a1)和an(an)的公共点s也是自身对应,所以 ?1(a1)??n(an), 连结这两个透视点列对应点的直线,必定通过一个定点x(透视中心)。
例4 设三角形ABC的边BC、CA、AB绕同一向线上三点P、Q、R旋转，顶点B、C在两条定直线上求证：顶点A也在确定直线上如图2.9） 证明：由图，?B,B1,??Q??C,C1,?? B ∴P?B,B1,???R?C,C1,?? ∵其中PR过Q ∴PR是自对应元素 ∴P?B,B1,???R?C,C1,?? ∴对应直线交点共线，即A,A1,?共线 图2.9 §2 完全四点形的调和性质 本节将议论完全四点形(四线形)的调和性质 简朴四点形：由四个点A,B,C,D(其中无任何三点共线)及它们顺次两两的连线AB,BC,CD,DA所组成的平面图形叫做简朴四点形A,B,C,D叫做顶点,AB,BC,CD,DA叫做边,不顺次的顶点的连线AC,BD叫做对角线图2.10) 图2.10 图2.11 完全四点形：由四个点a,b,c,d(其中无任何三点共线)及连结其中任何两点的六条直线组成的平面图形叫做完全四点形这四个点叫做顶点,六条直线叫做边,通过同一个顶点的边叫邻边,没有公共顶点的两边叫做对边,对边的交点叫对角线点,连结对角线点的直线叫对角线,以对角线点为顶点的三点形叫对角线三点形(图2.11)。
三对对边： a×b,与c×d,a×c与b×d,b×c与a×d 三条对角线：l×m,m×n,1×n 对角线三点形为1mn 下面我们议论完全四点形的调和性质 设m?n~?，a?c~?，(d?b)??~f，???~g，我们考察直线η上四个点m,n,f和g的交比,由于η(m,n,f,g)??(a,c,l,g)??(n,m,f,g) ??db所以η(m,n,f,g)??(n,m,f,g) R(m,n；f.g)= R(n,m；f，g)= 1 R(m,n;f,g)这里R(m,n；f.g)≠0,(否那么,f～g,那么a,b,c,d共线,与完全四点形定义冲突)因此,由上式得 R(m,n；f,g)=±1 但R(m,n；f,g)≠1,(否那么f～g,也导致a,b,c,d共线)所以,R(m,n；f, g)=-1 就是说,m,n,f,g组成调和点集,这一性质可以写成下面定理 定理6 在完全四点形的每一条对角线上有一个调和点集,它包括两个对角线点m、n,和这条对角线与通过第三个对角线点l的一对对边的两个交点f,g 推论1 在完全四点形的每条边上有一个调和点集。
它包括两个顶点,一个对角线点,和这条边与通过另两个对角线点的对角线的交点 推论2 完全四点形的两条对边被通过这两边交点的两条对角线调和分隔 — 8 —。