高等几何上课版

.,高等几何多媒体课件,教师授课助手学生自修向导,.,课程概论,一、高等几何的内容,高等几何,数学与应用数学专业主干课程之一,前三高,数学分析,高等代数,高等几何,后三高,实变函数,近世代数,点集拓扑,高等几何,射影几何,几何基础,本课程,主要介绍平面射影几何知识(教材前五章),综合大学：空间解几仿射几何、射影几何,一个学期,.,课程概论,一、高等几何的内容,什么是射影几何？,直观描述,欧氏几何,仿射几何,射影几何,十九世纪名言,一切几何学都是射影几何,鸟瞰下列几何学,.,欧氏几何(初等几何),研究图形在“搬动”之下保持不变的性质和数量,搬动,正交变换,对图形作有限次的平移、旋转、轴反射的结果,欧氏几何,研究图形的正交变换不变性的科学,(统称不变性，如距离、角度、面积、体积等),.,仿射几何,平行射影,仿射变换,仿射几何,研究图形的仿射变换不变性的科学,透视仿射变换,有限次平行射影的结果,仿射不变性,比如平行性、两平行线段的比等等,.,射影几何,中心射影,射影变换,射影几何,研究图形的射影变换不变性的科学,透视变换,有限次中心射影的结果,射影不变性,比如几条直线共点、几个点共线等等,射影变换将彻底改变我们原有的几何空间观念！,.,课程概论,一、高等几何的内容,二、高等几何的方法,综合法,给定公理系统(一套相互独立、无矛盾、完备的命题系统)，演绎出全部内容,解析法,形、数结合，利用代数、分析的方法研究问题,本课程,以解析法为主，兼用综合法,.,课程概论,一、高等几何的内容,二、高等几何的方法,三、开课目的,学习射影几何，拓展几何空间概念，引入几何变换知识，接受变换群思想,训练理性思维、抽象思维、逻辑推理能力，增强数学审美意识，提高数学修养,新颖性，趣味性，技巧性，反馈于初等几何和其他学科，提高观点，加深理解，举一反三,.,四、几何的发展历史线索,射影几何学是一切的几何学英Cayley,经验几何,（远古元前600年）,（元前600年400年）,积累了丰富的经验，但未上升成系统理论,埃及几何跟希腊逻辑方法相结合，以抽象化、逻辑化为特点,.,画法几何,解析几何(17世纪),仿射几何,（坐标法）,代数几何,代数法,微分几何(19世纪),（分析方法）,射影几何(19世纪),（综合法、爱尔兰根纲领代数法）,特例,应用,四、几何的发展历史线索,.,非欧几何,（19世纪）,四、几何的发展历史线索,拓扑学,（几何与代数、分析相结合，多样化发展）,分形几何,.,周学时2，一个学期，学习第一章第五章,五、课程简介,主要参考书：梅向明、门淑惠等编高等几何,高等教育出版社出版，2008年;朱德祥、朱维宗等编高等几何（第二版）,高等教育出版社出版，2010年;罗崇善编高等几何,高等教育出版社出版,1999年6月；朱德祥、李忠映、徐学钰等编高等几何习题解答。周兴和编高等几何，科学出版社，2010年,.,第一章仿射坐标与仿射变换,本章地位,学习射影几何的基础,本章内容,阐明仿射变换的概念，研究仿射变换的不变量与不变性质。,学习注意,仿射变换在初等几何中的应用,.,1.1透视仿射对应,一、概念,与b交于,1、同一平面内两直线a到b间的透视对应，设L为平面上另外一直线,a与b不平行。过a上的点作与L平行的直线,即得a到b的一个一一映射，,称为透视仿射对应。,注：透视仿射对应与L的方向无关。若a与b相交，交点称为自对应点。,第一章、仿射坐标与仿射变换,.,两条直线间的透视仿射对应,L,a,b,特征：对应点的连线互相平行,.,两个平面间的透视仿射对应,M,A,B,C,A1,B1,C1,L,特征：对应点的连线互相平行,.,2、单比,P1,P2,P,第一章、仿射坐标与仿射变换,称,2).符号,.,(P1P2P)表示一个数,是有向线段P1P与P2P的比值,与解几中的定比分点反号.,3）单比与定比的区别,1透视仿射对应,二、性质,1、保同素性和结合性,2、保单比不变,3、保平行性,.,1.2仿射对应与仿射变换,一、概念,设同一平面内有n条直线，,如下图,是,的透视仿射对应,经过这一串对应，得到,的透视仿射对应，,这个对应称为,的仿射对应。,记作：,.,如图所示：,直线间的仿射对应,.,平面间的仿射对应,.,二、性质,为什么？,（1）保持同素性和结合性；,（2）保持共线三点的单比不变；,（3）保持直线的平行性不变。,注：仿射对应下，对应点的连线不一定平行。,.,定义2.2若两个平面间的一个点对应（变换）保持同素性、结合性和共线三点的单比不变，则这个点对应（变换）称为仿射对应（变换）,例、平行四边形经仿射（对应）变换仍变为平行四边形,例、两平行线段之比经仿射对应不变,例、仿射对应保持平形性不变,.,1.3仿射坐标系,.,.,3、仿射变换的坐标表示,已知仿射坐标：仿射变换为:T变换将：且,.,平行四边形变为平行四边形，且保持单比不变，故在坐标系中的坐标为(x,y),o,o/,p,p/,px,py,px/,py/,x,y,y/,x/,.,一方面：,另一方面：,所以,.,例1已知三点求仿射变换T使顺次变为.,练习：1、求使直线分别变为的仿射变换。2、已知仿射变换求点的像点，及直线的像直线。,.,4、特殊的仿射变换,正交变换位似变换,相似变换压缩变换,.,1.4仿射性质,一、定义：图形经过任何仿射变换后都不变的性质（量），称为图形的仿射性质（量）,同素性，结合性，平行性是仿射性质。单比是仿射不变量。,.,证明：两平行直线经过仿射变换后仍变为平行直线,证明：设变换为：T:,例1,.,二、重要结论：,1、两相交直线经仿射变换后仍为相交直线。,2、共点直线仍变为共点直线,3、两平行线段之比是仿射不变量。,4、两三角形面积之比是仿射不变量（证明见课本）,5、两个多边形面积之比是仿射不变量6、两封闭图形面积之比是仿射不变量,.,设在笛卡尔直角坐标系下椭圆方程为,例2、求椭圆的面积,A,B,C,O,D,y,x,.,第二章射影平面,本章地位,学习平面射影几何的基础,本章内容,定义射影平面，引入齐次坐标，学习对偶原则,附带一个重要定理,Desargues透视定理,学习注意,认真思考，牢固掌握基本概念，排除传统习惯干扰,.,2.1射影平面,一、中心射影,1、平面上两直线间的中心射影,定义1,因此，1:ll是l到l的中心射影,OP投射线,Pl上的点P在l上的像,Pl上的点P在l上的像,OV/l,与l不相交，V为l上的影消点,影消点的存在，导致两直线间的中心射影不是一个一一对应!,X=ll自对应点,OU/l,与l不相交，U为l上的影消点,三个特殊点：,.,2.1射影平面,一、中心射影,2、平面到平面的中心射影,定义2,OP投射线,P上的点P在上的像,P上的点P在上的像,因此，,是到的中心射影,自对应直线(不变直线),三条特殊的线：,，u为由影消点构成的影消线,，v为由影消点构成的影消线,影消线的存在导致两平面间的中心射影不是一个一一对应,.,2.1射影平面,一、中心射影,1、平面上两直线间的中心射影,定义1,2、平面到平面的中心射影,定义2,均不是一一对应,中心射影不是双射的原因：存在影消点、影消线,存在影消点、影消线的原因：平行的直线没有交点,如何使得中心射影成为一一对应？,给平行线添加交点！,.,一、中心射影,二、无穷远元素,目标：,改造空间，使得中心射影成为双射,途径：,给平行直线添加交点,要求：,不破坏下列两个基本关系,两条相异直线确定惟一一个点(交点),两个相异点确定惟一一条直线(连线),点与直线的关联关系,2.1射影平面,.,2.1射影平面,二、无穷远元素,约定1.1(1)在每一条直线上添加惟一一个点，此点不是该直线上原有的点.称为无穷远点(理想点)，记作P(2)相互平行的直线上添加的无穷远点相同,不平行的直线上添加的无穷远点不同.,区别起见，称平面上原有的点为有穷远点(通常点)，记作P,约定1.1(3)按约定(1),(2)添加无穷远点之后，平面上全体无穷远点构成一条直线，称为无穷远直线(理想直线)，记作l,区别起见，称平面上原有的直线为有穷远直线(通常直线)，l,总结：在平面上添加无穷远元素之后，没有破坏点与直线的关联关系，同时使得中心射影成为一一对应.,.,2.1射影平面,理解约定1.1(1),(2),1、对应平面上每一方向，有惟一无穷远点.平行的直线交于同一无穷远点；交于同一无穷远点的直线相互平行.,2、每一条通常直线上有且仅有一个无穷远点.,3、平面上添加的无穷远点个数过一个通常点的直线数.,4、不平行的直线上的无穷远点不同.因而，对于通常直线：,两直线,平行,不平行,交于惟一,无穷远点,有穷远点,平面上任二直线总相交,5、空间中每一组平行直线交于惟一无穷远点.,6、任一直线与其平行平面交于惟一无穷远点.,.,2.1射影平面,理解约定1.1(3),1、无穷远直线为无穷远点的轨迹.无穷远直线上的点均为无穷远点；平面上任何无穷远点均在无穷远直线上.,2、每一条通常直线与无穷远直线有且仅有一个交点为该直线上的无穷远点.,3、每一平面上有且仅有一条无穷远直线.,4、每一组平行平面有且仅有一条交线为无穷远直线；过同一条无穷远直线的平面相互平行.因而，对于通常平面：,两平面,平行,不平行,交于惟一,无穷远直线,有穷远直线,空间中任二平面必相交于唯一直线,.,2.1射影平面,三、射影平面,仿射直线：向两方前进最终都到达同一个无穷远点,四、区别,（1）欧氏直线：向两个方向无限伸展,欧氏直线仿射直线射影直线,欧氏平面仿射平面射影平面,.,2.1射影平面,仿射直线的拓扑模型,.,2.1射影平面,(2)射影直线上点的分离关系,欧氏直线：一点区分直线为两个部分。,射影直线：一点不能区分直线为两个部分。,欧氏直线：两点确定直线上的一条线段。,射影直线：两点不能确定直线上的一条线段。,点偶A,B分离点偶C,D,点偶A,B不分离点偶C,D,.,2.1射影平面,(i)任一直线划分欧氏平面为两个不同的区域,任一直线不能划分射影平面为两个不同的区域,(ii)两条相交直线划分欧氏平面为四个不同的区域,两条相交直线划分射影平面为两个不同的区域,(3)射影平面的封闭性(从两个方面理解),.,1.4Desargues透视定理,一、Desargues透视定理,一个古老、美丽、实用的重要定理！,1、两个三点形的对应关系,若两个三点形对应顶点的连线共点，则称这对对应三点形具有透视中心，透视中心也称为Desargues点.,若两个三点形对应边的交点共线，则称这对对应三点形具有透视轴，透视轴也称为Desargues线.,问题,请问你是怎样画出这两个图的？,.,画图过程演示,.,一、Desargues透视定理,1、两个三点形的对应关系,2、Desargues透视定理,定理,(Desargues透视定理及其逆),注1、满足Desargues定理的一对三点形称为透视的三点形.,1.4Desargues透视定理,证明,.,Desargues定理画图过程演示,.,一、Desargues透视定理,2、Desargues透视定理,注2、关于Desargues构图.左图表示了一对透视的三点形ABC,ABC.,左图中共有10个点、10条直线，过每个点有三条直线；在每条直线上有三个点.这10点,10线地位平等，此图称为Desargues构图.,1.4Desargues透视定理,.,分析：为证X,Y,Z三点共线,试在图中找出一对对应三点形,具有透视中心，且对应边的交点恰为X,Y,Z.,二、应用举例,1、证明共线点与共点线问题,由题给,X,Y,Z分别为三对直线的交点,此三直线涉及到六个字母,试,例1在欧氏平面上,设ABC的高线分别为AD,BE,CF.而BCEF=X,CAFD=Y,ABDE=Z.求证：X,Y,Z三点共线.,所以,由三点形ABCDEF的对应即得结论.,1.4Desargues透视定理,.,二、应用举例,1、证明共线点与共点线问题,分析：因为R是动点，作R的另一个位置R.得到P,Q,设PQ,PQ交于C.只要证明A,B,C三点共线.,由OX,OY,OZ共点于O,只要找到一对对应三点形，其三对对应顶点分别在OX,OY,OZ上,且三双对应边交点恰为A,B,C即可.,如图，PQR,PQR正是所需.,例2设OX,OY,OZ为三条定直线,A,B为定点,其连线经过O.R为OZ上的动点,直线RA,RB分别与OX,OY交于P,Q.求证：PQ经过AB上的一个定点.,1.4Desargues透视定理,.,二、应用举例,1、证明共线点与共点线问题,证明：考察三点形PQR与ABC，它们有透视中心S，从而它们有透视轴，即A1,B1,C1三点共线.,引申：同理可证,例3已知完全四点形PQRS,其对边三点形为ABC.设A1=BCRQ,B1=ACRP,C1=ABPQ.求证：A1,B1,C1三点共线.,1.4Desargues透视定理,.,二、应用举例,1、证明共线点与共点线问题,证明：设动点P的另一个位置为P,依题意作图,得交点X,Y.,考察三点形AXX与BYY,因为其对应边的交点P,C,P共线，所以其对应顶点的连线AB,XY,XY共点,此点为AB上的定点.,例4设A,B,C为不共线三点,P是过C的定直线上的动点,APBC=X,ACBP=Y.求证：XY经过定点.,思考：考察三点形PXY与PXY进行证明.,思考：本题实际上与例2为同一个题目！,1.4Desargues透视定理,.,二、应用举例,1、证明共线点与共点线问题,证明：考察三点形ZBC和YLM,有透视轴A,X,D.即得结论.,2、不可及点的作图问题,注：从现在开始，凡作图问题，均指仅用无刻度直尺作图.,例5设XYZ为完全四点形ABCD的对边三点形,XZ分别交AC,BD于L,M.求证：YZ,BL,CM共点.,思考：还能有其他方法吗？,1.4Desargues透视定理,.,二、应用举例,2、不可及点的作图问题,例6.已知平面上二直线a,b,P为不在a,b上的一点.不作出a,b的交点ab,过P求作直线c,使c经过ab.,解.作法：,(1).在a,b外取异于P的一点O.,过O作三直,线l1,l2,l3.,设l1,l2,分别交a,b于A1,A2;B1,B2.,(2).连PA1,PB1分别交l3于A3,B3.,(3).连A2A3,B2B3交于Q.,(4).PQ=c为所求直线.,证明：由作法，三点形A1A2A3,B1B2B3有透视中心O.故其对应边的交点P=A1A3B1B3,Q=A2A3B2B3以及ab三点共线，即c=PQ经过a,b的交点.,注：解作图题必须包括作法、画图、证明三部分！,1.4Desargues透视定理,.,引入目的,实现数、形结合，用解析法研究射影几何,基本要求,既能刻画有穷远点，也能刻画无穷远点,基本途径,从笛氏坐标出发，对通常点与笛氏坐标不矛盾,主要困难,来自传统笛氏坐标的干扰,必须注意,齐次坐标与笛氏坐标的根本区别在于齐次性，因此，学习诀窍是在齐次性的前提下灵活运用线性代数知识。尽管针对拓广平面,但是今后通用,齐次性问题,几乎无处不在的非零比例常数和比例关系,.,二、齐次点坐标,定义2.1,有穷远点,无穷远点,非齐次,齐次坐标,关系,注,对一维齐次点坐标定义的进一步理解,2齐次坐标,1.一维齐次点坐标,(x1,x2)(x20),x,x=x1/x2,(x1,0)(x10),.,(1).,都有齐次坐标,反之，,都对应唯一一点,(0,0)不是任何点的齐次坐标.,(2).,与,是同一点的齐次坐标.因此，,直线上每个点都有无穷多个齐次坐标，同一点的任意两个齐次坐标之间相差一个非零比例常数.,(3).,原点：(0,x2),特别地，(0,1).,无穷远点：(x1,0),特别地，(1,0).,二、齐次点坐标,2齐次坐标,1.一维齐次点坐标,注：定义2.1没有解决无穷远直线的问题.,.,引入,可视为,P为,通常点,无穷远点,设li:Aix+Biy+Ci=0(i=1,2).记|AB|表示,(1).P为通常点，,设P(x,y).则,令|BC|=x1,|CA|=x2,|AB|=x3.则,从而x:y:1=x1:x2:x3.于是,可以把与(x,y,1)成比例的任何有序实数组(x1,x2,x3)作为点P的齐次坐标.,2.二维齐次点坐标,2齐次坐标,同样有|BC|,|CA|.,.,引入,(2).P=P,l1/l2.即P为l1,l2方向上的无穷远点.,目标：,构造P的齐次坐标，使之仅与l1,l2的方向(斜率)有关.,因l1/l2.故前述x3=0.考虑取(x1,x2,0)为P的齐次坐标.只要证明x1,x2仅与li的方向(斜率)有关.,当li不平行于y轴时，即x10.不难证明,其中为li的斜率,即(x1,x2,0)表示方向为的无穷远点.特别地,若x2=0,则表示x轴上的无穷远点.,当li平行于y轴时，=.可合理地取(0,x2,0)(x20)为y轴上无穷远点的齐次坐标.,引出定义,2.二维齐次点坐标,2齐次坐标,.,定义2.2,有穷远点,方向为=x2/x1的无穷远点,非齐次,齐次坐标,关系,注,对二维齐次点坐标定义的进一步理解,y轴上的无穷远点,2.二维齐次点坐标,2齐次坐标,(x,y),x=x1/x3,y=x2/x3,(x1,x2,x3)(x30),(x1,x2,0)(x10),(=x2/x1),(0,x2,0)(x20),无穷远点,.,(1).对任意的P,都有齐次坐标(x1,x2,x3).对于通常点x30；对于无穷远点x3=0,但x12+x220.反之,任给(x1,x2,x3)(x12+x22+x320),都对应惟一一点P.(0,0,0)不是任何点的齐次坐标.,(2).对任意的0R,(x1,x2,x3)与(x1,x2,x3)是同一点的齐次坐标.因此,平面上每个点都有无穷多个齐次坐标,同一点的任意两个齐次坐标之间相差一个非零比例常数.,(3).原点：(0,0,x3),特别地(0,0,1);无穷远点(x1,x2,0),若x10,则可表为(1,0),其中为该无穷远点的方向.特别地,x轴上的无穷远点为(1,0,0),y轴上的无穷远点为(0,1,0).,2.二维齐次点坐标,2齐次坐标,.,二、二维齐次点坐标,例1,求下列各点的齐次坐标.,(1).,齐次坐标(一般形式),特定一组,(2).,求直线,上的无穷远点.,斜率,代入,所求无穷远点为,也就是(4,3,0).,上的无穷远点为,2齐次坐标,.,三、直线的齐次坐标方程,定理2.1,在齐次坐标下，直线的方程为,(1.14),反之，(1.14)表示直线.称(1.14)为直线的齐次方程.,注：,定理2.1不仅给出了拓广平面上直线的齐次方程，还对通常直线提供了齐次、非齐次方程互化的方法.,2齐次坐标,推论,过原点的直线的齐次方程为u1x1+u2x2=0.特别地,x轴:x2=0,y轴:x1=0,l:x3=0.,.,改变一下你的几何学观点,点,直线,曲线,坐标,方程,点的轨迹,点几何学,线几何学,方程,坐标,直线族的包络,四、齐次线坐标,2齐次坐标,线几何学：以直线为基本几何元素去表达其他几何对象,.,四、齐次线坐标,1.定义,将直线l：,中的系数称为l的齐次线坐标，记作,注1,齐次线坐标与齐次点坐标有完全相同的代数结构和性质.,注2,y轴：,x轴：,过原点的直线：,思考：注2中这些直线的齐次坐标分别与哪些点的齐次坐标相同(忽略括号差别)？,注3,由定义,方程,系数,坐标,实现互化,故由诱导.,2齐次坐标,.,定理2.3在齐次线坐标下，点x在直线u上,2.点的齐次方程,2齐次坐标,定义2.5在齐次线坐标下，若方程f(u1,u2,u3)=0能且仅能被过点P的直线的齐次坐标所满足，则称f=0为点P的齐次方程.,.,2.点的齐次方程,2齐次坐标,四、齐次线坐标,注,对(1.4)的新理解.,(1.4),变(流动),不变(常数),直线u的方程,几何意义,动点x在定直线u上；,定直线u为动点x的轨迹,点几何观点,线几何观点,不变(常数),变(流动),点x的方程,动直线u过定点x；,定点x为动直线u的包络,因此，一般地，称(1.4)为点与直线的齐次关联关系.点、直线统称为几何元素.,给定齐次方程,.,四、齐次线坐标,2.点的齐次方程,例2,求下列各点的齐次方程.,(1).x轴上的无穷远点,(2).y轴上的无穷远点,(3).原点,(4).点(1,2,2),(5).方向为,的无穷远点,(6).无穷远直线上的点,思考：本例中这些点的齐次方程分别与哪些直线的齐次方程形式上相同？,2齐次坐标,(3,1,0),.,3对偶原理,一、平面对偶原则,重要原理！贯穿全书！,1.基本概念,(1).对偶元素,点,直线,(2).对偶运算,过一点作一直线,在一直线上取一点,(4).对偶图形,在射影平面上，设已知由点、直线及其关联关系,构成的图形，若对作对偶变换，则得到另一个图形.称、为一对对偶图形.,图形,图形,作对偶变换,互为对偶图形,(3).对偶变换,互换对偶元素地位、作对偶运算,.,一、平面对偶原则,2.基本对偶图形举例,(1)点,(1)直线,(2)点列(共线点集),(2)线束(共点线集),(3)点场(共面点集),(3)线场(共面线集),(4)简单n点形：n个点(其中无三点共线)及其两两顺次连线构成的图形.,(4)简单n线形：n条直线(其中无三线共点)及其两两顺次相交的交点构成的图形.,顶点：n个；边：n条.,边：n条；顶点：n个.,下面分别考察n=3和n=4的情形,3对偶原理,.,简单n点(线)形：n=3,简单三点形,简单三线形,简单n点(线)形：n=4,简单四点形,简单四线形,显然，简单n点(线)形与其顶点(边)的顺序有关,3对偶原理,.,(5)完全n点形：n个点(其中无三点共线)及其每两点连线构成的图形.,(5)完全n线形：n条直线(其中无三线共点)及其每两直线交点构成的图形.,顶点：n个；,边：n条；,完全n点(线)形：n=3,完全三点形ABC,完全三线形abc,一对自对偶图形.将不加区分,简称三点形或三线形.,3对偶原理,.,完全n点(线)形：n=4,完全四点形ABCD,完全四线形abcd,射影几何中最重要的一对图形,3对偶原理,.,完全四点形ABCD,完全四线形abcd,顶点,4个,边,6条,对边(没有公共顶点的边),3组,对边点(对边的交点),3个,对边三点形XYZ,边,4条,顶点,6个,对顶(不在同一边上的顶点),3组,对顶线(对顶的连线),3条,对顶三线形xyz,请课后画图，熟悉图形及名称.今后将专门研究其重要性质,.,例1,作下列图形的对偶图形,点,2个,直线,5条,关联关系,(1)P,Q在l上；,(2)a,b,l共点于P;c,d,l共点于Q,直线,2条,点,5个,关联关系,(1)p,q过点L；,(2)A,B,L共线于p;C,D,L共线于q,一、平面对偶原则,2、对偶图形举例,1、基本概念,3、作一图形的对偶图形,翻译,3对偶原理,.,一、平面对偶原则,2.基本对偶图形举例,1.基本概念,3.作一图形的对偶图形,4.平面对偶原则,(1)射影命题,在射影平面上，若命题P仅与点和直线的关联、顺序关系有关，则称P为一个射影命题.,(2)对偶命题,射影命题P,射影命题P*,作对偶变换,互为对偶命题,(3)平面对偶原则,定理,(平面对偶原则)在射影平面上，,射影命题P成立,射影命题P*成立,3对偶原理,.,一、平面对偶原则,2.基本对偶图形举例,1.基本概念,3.作一图形的对偶图形,4.平面对偶原则,例2,对偶命题举例,(1)P过相异二点有且仅有一条直线.,(1)P*两相异直线有且仅有一个交点.,(2)P如果两个三点形的对应顶点连线共点，则其对应边的交点必定共线.,(2)P*如果两个三点形的对应边交点共线，则其对应顶点的连线必定共点.,注1,只有射影命题才有对偶命题.,注2,对偶原则是一个双射,F：,点几何,线几何,因此,对偶原则可以使得点几何问题与线几何问题相互转化,可以起到事半功倍的作用.,3对偶原理,.,二、有关齐次坐标的基本结论,(1).两点a,b重合,(1).两直线a,b重合,3对偶原理,(2).相异两点a,b连线方程为,(2).相异两直线a,b交点方程为,坐标为,坐标为,.,(3).相异三点a,b,c共线,(3).相异三直线a,b,c共点,(4).点c在相异两点a,b连线上点c的齐次坐标可表示为la+mb(l,m不全为零).,3对偶原理,(4).直线c经过相异两直线a,b交点直线c的齐次坐标可表示为la+mb(l,m不全为零).,二、有关齐次坐标的基本结论,注：若三点(直线)a,b,c不共线(点),则上述矩阵满秩.,.,(5).相异三点a,b,c共线存在p,q,r(pqr0)使得,即可适当选取a,b,c的齐次坐标使得,3对偶原理,二、有关齐次坐标的基本结论,(5).相异三直线a,b,c共点存在p,q,r(pqr0)使得,即可适当选取a,b,c的齐次坐标使得,a+b+c=0,或c=a+b.,a+b+c=0,或c=a+b.,.,例3,已知共线三点a=(3,1,1),b=(7,5,1),c=(6,4,1),求,使得,解,令,其中为非零比例常数.,可解得=3.于是，可适当选取a,b,c的齐次坐标，使得c=a+3b.,3对偶原理,二、有关齐次坐标的基本结论,.,2.4复元素,一、二维空间的复元素,实欧氏平面,实仿射平面,实射影平面,复射影平面,本课程不讨论复射影平面.我们将实射影平面嵌入到复射影平面中进行讨论，即讨论带有虚元素的实射影平面实-复射影平面,.,2.4复元素,一、二维空间的复元素,复点：设有一对有序复数,如果,都是实数，则,为一普通点即实点，若,或,为复数或均为复数，则规定一个新点称为复点，仍以,为其坐标。,复点的齐次坐标：,实点,规定为复点的齐次坐标。,与三个不全为零的实数成比例,.,2.4复元素,一、二维空间的复元素,同样的，对于,，当,表示普通点；,表示无穷远复点.,复直线的引入与此类似：,齐次复数线坐标,实直线,复直线,与复点坐标的引入相似,定义,.,2.4复元素,二、几点说明,比如，(i,i,i)为实点.,3、显然，实直线上可以有虚点，虚直线上可以有实点；过实点可以有虚直线，过虚点可以有实直线.,复点、复直线统称复元素.,.,2.4复元素,三、共轭复元素,定义1：若,为一元素（点或直线）的齐次坐标时，,为另一同类元素（点或直线）的齐次坐标，,则此二元素叫做共轭复元素。,两个元素可能在相差一个非零比例常数的前提下共轭。,注意：两个非无穷远共轭复元素，非齐次坐标必为共轭复数；但齐次坐标不一定为共轭复数。,.,2.4复元素,四、几个结论,(3)、实直线上的点或为实点或为成对出现的共轭虚点.,(3)、过实点的直线或为实直线或为成对出现的共轭虚直线.,(4)、两共轭复点连线为实直线.,(4)、两共轭复直线交点为实点.,(5)、过一复点有且仅有一条实直线.,(5)、在一条复直线上有且仅有一个实点.,.,2.4复元素,五、例题：,求：(1)过点,的实直线；,(2)直线,上的实点.,解：(1)因为过点,的实直线必过其共轭复点,所以所求直线为：,即：,.,2.4复元素,(2)直线,上的实点为此直线与其共轭复直线,的交点，由方程：,解得实点为：,.,第三章射影变换,本章地位,平面射影几何的核心内容之一,本章内容,在一维、二维射影空间以及齐次坐标的基础上，系统学习一维、二维射影变换及其一些特殊情形，对一些射影不变量和不变性作初步地研究。,.,2.1交比与调和比,一、点列中四点的交比,1、定义,交比最根本的射影不变量,定义3.1.设P1,P2,P3,P4为共线四点，(P1P2,P3P4)表示这四点,(3.1),称P1,P2为基点偶，P3,P4为分点偶.,构成的一个交比（或交叉比，复比）.定义为：,.,2.1交比与调和比,注：(1)若点偶,不分离点偶,记作,(2)若点偶,分离点偶,记作,(3)当,重合时，,当,重合时，,一、点列中四点的交比,1.定义,.,2.1交比与调和比,显然，共线四点的交比值与这四点在交比记号中的次序有关.改变次序一般会改变交比值.,因此，根据次序不同，共线四点可以构成,设(P1P2,P3P4)=r.我们来探讨这24个交比的规律.,2.交比的组合性质,性质1设(P1P2,P3P4)=r.当改变这四点在交比符号中的次序,时，交比值变化规律如下：,4!=24,个交比.,.,2.1交比与调和比,一、点列中四点的交比,推论由性质1，相异的共线四点构成的24个交比只有6个不同的值：,不必背诵，但是要熟练掌握变化规律！,.,2.1交比与调和比,一、点列中四点的交比,1、定义,2、性质,3、特殊情况,性质1中共线四点的交比值出现0,1,三者之一这四点中有,某二点相同.,性质2一直线上的无穷远点分其上任何两点的单比等于1.,.,3.1交比与调和比,定理2.设点列l(P)中四点Pi的齐次坐标为a+ib(i=1,2,3,4).则,3、特殊情况,一、点列中四点的交比,1、定义,2、性质,4、交比的代数表示,定理1.设P1,P2,P3,P4共线四点，其齐次坐标依次为a，b，,a+1b，a+2b.则：,引理：已知两不同的普通点,，,为直,线AB上一点，且,则,.,3.1交比与调和比,证明定理2.以P1,P2,为基点，参数表示P3,P4.设,a+1b=a,a+2b=b.,从中解出a,b,得,于是，P1,P2,P3,P4的坐标可表示为,即,由定理1，有,注：定理1可以作为交比的一般定义.,.,3.1交比与调和比,定理3若四个不同的共线点中的三点及其交比值为已知，,则第四点必惟一确定。,在共线四点的交比中，交比值为-1的情况在,射影几何中十分重要，称之为调和比。,3、特殊情况,一、点列中四点的交比,1、定义,2、性质,4、交比的代数表示,.,5、调和比,定义若(P1P2,P3P4)=1,则称,推论1若(P1P2,P3P4)=1,则此四点互异.,推论2相异四点P1,P2,P3,P4可按某次序构成调和比这四点,的6个交比值只有3个：,3.1交比与调和比,调和比是最重要的交比！,.,3.1交比与调和比,一、点列中四点的交比,1、定义,2、性质,3、特殊情况,4、调和比,对于(P1P2,P3P4)=1,由定义可得：,此时,若,则可合理地认为,于是,这表示P3为P1P2的中点，从而有,推论3设P1,P2,P为共线的通常点.P为此直线上的无穷远点.则P为P1P2的中点,注：本推论建立了线段的中点、调和比的联系,.,一、点列中四点的交比,3.1交比,例1.设1,2,3,4,5,6是6个不同的共线点.证明：若(12,34)=(14,32),则(13,24)=-1.,由题设,已知四点相异,.,3.1交比与调和比,一、点列中四点的交比,1、定义,2、性质,3、特殊情况,4、调和比,5、交比的计算,(1).由坐标求交比,例2已知P1(3,1,1),P2(7,5,1),Q1(6,4,1),Q2(9,7,1).求(P1P2,Q1Q2).,解第一步.验证四点共线.,第二步.以P1,P2为基点,用参数表示Q1,Q2.令,i=1,2.,同理,对于i=2,可求得,于是，,代入坐标,可以得到,.,3.1交比与调和比,一、点列中四点的交比,1、定义,2、性质,3、特殊情况,4、调和比,5、交比的计算,(1).由坐标求交比,(2).由交比求坐标,例3已知(P1P2,P3P4)=2,P1,P2,P4的坐标依次为(1,1,1),(1,1,1),(1,0,1).求P3的坐标.,解：设,则显然,由,可得,从而P3的坐标为(3,1,3).,.,一、点列中四点的交比,1、定义,2、性质,3、特殊情况,4、调和比,5、交比的计算,(1).由坐标求交比,(2).由交比求坐标,例4已知P1,P2分别是x轴、y轴上的无穷远点,P3是斜率为1的方向上的无穷远点,且(P1P2,P3P4)=r.求P4的坐标.,解：由题设知P1,P2,P3的坐标分别为(1,0,0),(0,1,0),(1,1,0).设,则显然,由,可得,从而P4的坐标为(r,1,0).,3.1交比与调合比,注：若要求P1,或P2的坐标,则需先据交比性质交换点的位置,使得交换后第1,2位置为已知点,再计算.,.,3.1交比与调和比,一、点列中四点的交比,二、线束中四直线的交比,1、直线的交角,设a,b为线束S中取定的相异二直线.,在线束中任取一条不与a,b重合的直线u，,直线u的那一个角度，记作(a,b).,a,b,u,注：若a,b边的顺序与逆时针方向一致，则规定(a,b)为正值，反之则为负值。,S,则定义a,b的交角为不含,.,3.1交比与调和比,二、线束中四直线的交比,2、线束中三直线的单比,设a,b,c为线束S中的三直线.则,a,b,u,叫做a,b,c三直线的单比，a,b叫基线，c叫做分线。,c,注：如果直线c不在(a,b)中，则(a,b,c)0；如果直线c在(a,b)中，则(a,b,c)”.显然.,“”.显然.,“”设点列l(P)与l(P)透视对应,S为透视中心,ll=X.由于直线SX交l,l于同一点X,所以X自对应.,“”.见教材,略.,“”f为对合=f为射影变换,将对合条件(AA=E(0)代入=a11=a22;“=”直接验证符合对合定义即可.,(2).,2、坐标形式,.,定理3.7不重合的两对对应元素确定唯一一个对合.,推论三对对应元素Pi,Pi属于同一对合其参数pi,pi满足,证明Pi,Pi属于同一对合apipi+b(pi+pi)+d=0此方程组对a,b,d有非零解|pipipi+pi1|=0,即(2.16)成立.,推论已知不重合的两对对应元素的参数pi,pi(i=1,2),则由此决定的对合方程为,3、确定对合的代数条件,.,4、对合不变元素,由对合方程,可得其不变元素方程为,对于上述方程总有0,从而任一对合总有两个相异的不变元素.,定理任一对合必有两个相异的不变元素,即任一对合不是双曲型即是椭圆型,不存在抛物型对合.,定理3.8一维射影变换f成为对合f有两个相异的不变元素,且任一对相异的对应元素被两个不变元素调和分离.,即假设f:为对合,且E,F为其两个不变元素.则对f的任意一对对应元P,P(PP),均有(PP,EF)=1.,.,例1设,证明.由题设,有,所以,由对合的几何条件,E,F为由AC;BD所决定的对合的不变元素.,求证：E,F为由AC;BD所决定的对合的不变元素.,同理,由本例可见,几何条件中,也可以包含不变元素！,.,例2设P,P;Q,Q为对合的两对对应元素,点偶A,B满足,证明.因为,所以,根据对合的几何条件,结论成立.,求证：A,B也是此对合的对应点偶.,.,5、Desargues对合定理,定理(Desargues对合定理)不过顶点的任一直线截完全四点形的三双对边于同一对合的三对对应点.,如图,P,P;Q,Q;R,R属于同一对合.,注：由于对合的特性,图中在同一组对边上带“”和不带“”的字母可以任意标注.,证明.利用几何条件,只要证,(PP,QR)=(PP,QR),(P,P,Q,R),(X,P,D,C),(P,P,R,Q),(P,P,Q,R),(P,P,R,Q),(PP,QR)=(PP,RQ)=(PP,QR),l,CD,l,.,5、Desargues对合定理,定理(Desargues对合定理)不过顶点的任一直线截完全四点形的三双对边于同一对合的三对对应点.,如图,P,P;Q,Q;R,R属于同一对合.,注：由于对合的特性,图中在同一组对边上带“”和不带“”的字母可以任意标注.,注：请写出本定理的对偶命题.,.,5、Desargues对合定理,例4如图,已知P,P;Q,Q为点列l(P)上对合的两对相异的对应点,R为l(P)上的另外一点.求作R在此对合下的对应点R.,解：作图步骤思考过程(共需作6条直线,设计次序确定R).,注1：已知点列l(P)上对合的两个不变点X,Y.求作任一点R的对应点R.即求作第四调和元素.,注2：若未指定R,则当A在平面上变动时,可得到l(P)上以X,Y为不变元素的任意多的对应点偶.定理2.25是完全四点形调和性的推广,且可以由完全四点形给对合综合定义.,.,例5设A,B,C,D是点列l(P)上四点,且(AB,DP)=(AB,PC).求证：在l(P)上有相异二点P,P满足条件,且(AB,PP)=1.,证法一.因为,所以,P为AB;CD所确定的对合中的不变点.设此对合的另一个不变点为P,则P也满足条件(AB,DP)=(AB,PC).,于是,在l(P)上有相异的P,P为AB;CD所确定的对合中的不变点.满足(AB,PP)=1.,.,证法二.设A,B,C,D的齐次坐标依次为,P的齐次坐标为a+b.,因为,所以,所以,在l(P)上有相异二点,满足条件,而且,例5设A,B,C,D是点列l(P)上四点,且(AB,DP)=(AB,PC).求证：在l(P)上有相异二点P,P满足条件,且(AB,PP)=1.,.,3.4二维射影变换,一、二维射影对应,1、透视对应,两点场间使得对应点连线共点的一一对应中心射影,2、射影对应,Steiner定义,设,为两个点场.若：满足,(i)为双射,(ii)使共线点变为共线点,(iii)保持共线四点的交比不变,则称为点场到的一个二维射影对应.,注1.显然,透视对应是特殊的射影对应.,注2.显然,二维射影对应使得点对应于点;直线对应于直线.,注：若两个平面重合，则射影对应叫射影变换,.,3.4二维射影变换,二、二维射影坐标,1、二维射影坐标系平面上三点形与不在三边上的点确定一个二维射影坐标系，用表示。四个点成为基点，叫坐标三点形，叫原点，叫单位点。,O,Y,E,X,.,3.4二维射影变换,2、点P的坐标,对平面上任一点P在坐标系,下连,交,于,，连,交,为P点的非齐次射影坐标,O,E1,P1,E2,P2,Y,E,P,x,.,.,3.4二维射影变换,注：,即E点坐标为,E（1，1）,直线XY上的点无非齐次射影坐（相当于无穷远点）,即原点坐标为,O(0,0),.,3、齐次坐标设P点非齐次坐标若有满足,3.4二维射影变换,在齐次坐标系下;原点O(0,0,1)单位点E(1,1,1)X点(1,0,0)Y点（0,1,0),则称,为P点的齐次射影坐标,注：,表示同一点,（0,0,0)不表示任何点，,.,4二维射影变换,三、二维射影对应,Steiner定义,设,为两个点场.若：满足,(i)为一一对应,(ii)使共线点变为共线点,(iii)保持共线四点的交比不变,则称为点场到的一个二维射影对应.,代数定义,设在点场,上各取定齐次射影坐标系.称由,所决定的对应为到的一个二维射影对应,其中(x1,x2,x3)与(x1,x2,x3)为对应点的齐次坐标,A称为射影对应的矩阵.,注：显然,(2.22)式为非奇异线性对应.,.,4二维射影变换,三、二维射影对应,定理Steiner定义代数定义.,为方便计,在不同的使用场合经常取(2.21)式的不同写法.如：,注1.由于齐次性,对任意的0,A与A表示同一射影对应的矩阵.因此A中9个元素只有8个独立,只要确定A中9个元素的比值即可确定A.,证明(略).,.,4二维射影变换,三、二维射影对应,注2.因为A是非奇异方阵,故可求出射影对应(2.22)的逆对应.,其中=|A|/,Aji为aji的代数余子式.即(Aji)=A*亦为非异方阵,从而射影对应的逆对应仍然为射影对应.,设直线u=u1,u2,u3,即u1x1+u2x2+u3x3=0.将(1)代入,有,这是上的一条直线,其坐标为,其中(Aji)=(Aij)T=(A*)T为非异方阵.这表示线场与之间由(2.22)诱导的射影对应.从而我们有以上四个式子.,.,4二维射影变换,三、二维射影对应,推论任一二维射影对应可由已知四对对应点(每一方四点中无三点共线)唯一确定.,即：设PiPi(i=1,2,3,4),且双方均为无三点共线的四点组.则由此可唯一确定：,使得(Pi)=Pi,i=1,2,3,4.,注:已知四对对应元素的坐标,求射影对应式,类似于一维情况.,四、二维射影变换,对于二维射影对应:,若=,则称为二维射影变换.,注射影变换是特殊的射影对应,此时(x1,x2,x3)与(x1,x2,x3)为相对于上同一个射影坐标系的对应点坐标.,.,4二维射影变换,五、二维射影变换的不变元素,不变元素,不变点,不变直线,二维射影变换的重要内容之一.,.,4二维射影变换,五、二维射影变换的不变元素,1、不变点,P(yi)为射影变换,的不变点y1:y2:y3=y1:y2:y3存在0,使得yi=yi,令=,存在,使,.,4二维射影变换,五、二维射影变换的不变元素,1、不变点,定理射影变换有不变点的矩阵A有特征根.,推论平面上任一射影变换至少有一个不变点.,思考：若以平面上一个非恒同的射影变换的不变点构成无三点共线的n点组,n的最大值为多少？,答案：n=3.,.,4二维射影变换,五、二维射影变换的不变元素,2、不变直线,lvi为射影变换,的不变直线v1:v2:v3=v1:v2:v3存在0,使得vi=v