二次曲线的射影理论
高等几何——精选推荐

《高等几何》课程教学大纲课程名称:高等几何英文名称:课程代码: 课程类别: 专业必修学分: 3 学时: 48开课单位: 数学系适用专业: 数学与应用制订人:制订日期: 2011.11.18审核人:(教研室主任签字)审核日期:审定人: (分管教学副主任签字)审定日期:一、课程性质与目的(一)课程的性质高等几何是高等师范院校数学与应用数学专业的一门选修课程。
高等几何课程更是大学“数学与应用数学”专业的重要基础课程,在人才培养中有着最基本的重要性,是大学、研究生阶段的数学学习和未来从事数学教学、研究的重要基础。
(二)课程的目的本课程的目的是使学生在已学习初等几何,解析几何和高等代数的基础上,系统地学习射影几何的知识。
并通过学习实射影平面几何的基础知识,使学生认识射影空间、欧氏空间的内在联系。
从而发展空间概念,更深入地掌握初等几何,解析几何和高等代数的知识,在数学思想上得到启发,在数学方法上得到初步训练,为教好中学数学打下较坚实的基础。
二、与相关课程的联系与分工高等几何、高等数学、数学分析统称为“三高”,它们是高等师范院校数学专业的三门基础课程。
但是,本课程与其他两门课程相比,地位就相形见绌了。
同时本课程是以射影几何学为理论基础,因此学习本课程的学生应具备相应的初等几何、解析几何、高等代数等课程的基础知识。
三、教学内容及要求第一章仿射坐标与仿射变换【教学要求】本章是基于变换群的观点,对几何学的高度抽象概括,给出研究几何学的变换群观点。
要求掌握透视仿射对应、仿射对应与仿射变换、仿射坐标系,并能熟练地求出仿射变换的代数表示式,区别什么是射影平面,仿射平面,欧氏平面【教学重点】仿射坐标系;仿射变换的代数表示【教学难点】仿射性质;射影观点的建立;仿射变换的应用【教学内容】第一节透视放射对应第二节仿射对应与仿射变换第三节仿射坐标一、仿射坐标系二、放射变换的代数表示三、几种特殊的仿射变换第四节仿射的性质第二章射线平面【教学要求】本章作为学习全课程的基础和中心内容,重点讲解欧氏平面的拓展过程,在此基础上给出射影直线和影射平面的概念和模型,使得学生明确了解欧氏直线和射影直线、欧氏平面和影射平面的区别和联系。
高等几何复习分解

[课外训练方案]部分第一章、仿射坐标与仿射变换第二章、射影平面一、主要内容:基本概念:射影直线与射影平面;无穷远元素;齐次坐标;对偶原理;复元素基本定理:德萨格定理:如果两个三点形对应顶点连线共点,则其对应边的交点在一条直线上。
德萨格定理的逆定理:如果两个三点形对应边的交点在一条直线上,则对应顶点连线共点对偶原理:在射影平面里,如果一命题成立,则它的对偶命题也成立。
二、疑难解析无穷远点:在平面上,对任何一组平行直线,引入一个新点,叫做无穷远点. 此点在这组中每一条直线上,于是平行的直线交于无穷远点. 无穷远点记为P ,平面内原有的点叫做有限远点.无穷远直线:所有相互平行的直线上引入的无穷远点是同一个无穷远点,不同的平行直线组上,引入不同的无穷远点,平面上直线的方向很多,因此引入的无穷远点也很多,这些无穷远点的轨迹是什么呢?由于每一条直线上只有一个无穷远点,于是这个轨迹与平面内每一直线有且只有一个交点. 因此,我们规定这个轨迹是一条直线,称为无穷远直线. 一般记为l,为区别起见,平面内原有的直线叫做有穷远直线.平面上添加一条无穷远直线,得到的新的平面叫做仿射平面. 若对仿射平面上无穷远元素(无穷远点、无穷远直线)与有穷远元素(有穷远点、有穷远直线)不加区别,同等对待,则称这个平面为射影平面.三、典型例题:1、求直线x 1 0 与直线x 3y 4 0 上无穷远点的齐次坐标解:( 1)直线x 1 0 即x 1它与y 轴平行所以位y 轴上的无穷远点(0,1,0)1 4 1(2) 由直线x 3y 4 0 得y x 故无穷远点为(1, ,0) 或( 3,1,0)3 3 32、求证:两直线x1 x2 x3 0 和2x1 x2 2x3 0 的交点C 与两点A( 3, 1,B2), ( 2三,点共线x1 x2 x3 0证明:解方程组:1 2 3的交点C(1, 4, 3)2x1 x2 2x3 0143因为行列式 3 1 2 0 所以三点共线2 5 53、试证:两共轭复点的连线是一实直线证明:设a=(u 1,u 2,u 3),与a (u 1,u 2,u 3)是共轭复点,两点连线为 l 由定理 a 在l 上,a 在l上,又 a 在l 上,所以 a 的共轭 a 也在直线 l 上u 1 u 1 ( u 1 )即u1 与u1 都为实数u 3 u 3 u 3 u 2 u 3所以 u 1:u 2 : u 3与一组实数成比例,即直线为实直线。
二次曲线

二次曲线- 二次曲线二次曲线- 正文也称圆锥曲线或圆锥截线,是直圆锥面的两腔被一平面所截而得的曲线。
当截面不通过锥面的顶点时,曲线可能是圆、椭圆、双曲线、抛物线。
当截面通过锥面的顶点时,曲线退缩成一点、一直线或二相交直线。
在截面上的直角坐标系(x,y)之下,这些曲线的方程是x,y 的二元二次方程:。
若截面不通过锥面的顶点,令截面与锥面轴线所成的角为θ,锥面的半顶角为α,则当时,所截曲线为圆;当时,截面与锥面的所有母线都相交,所截曲线为椭圆;当θ=α时,截面与锥面的一条母线平行,所截曲线为抛物线;当0≤θ<α时,截面与锥面的两条母线平行,所截曲线为双曲线。
焦点与准线如果圆锥曲线不是圆,则在圆锥曲线所在的平面上存在一定点和一定直线,使得圆锥曲线上任何一点到该定点和定直线的距离之比为常数,这个定点称为圆锥曲线的焦点,定直线称为圆锥曲线的准线。
为了得到焦点与准线,只需作一个球面内切于圆锥面并同时与圆锥曲线所在的平面σ相切。
设球面与平面σ相切于点F,球面与圆锥面相切于一个圆,这个圆所在的平面为ω,ω与σ相交于直线l,则点F,就是焦点,直线l就是准线(图1)。
二次曲线二次曲线这时,圆锥曲线上任意一点P到焦点F的距离|PF|与到准线l的距离|PD|之比为:。
其中θ,α都与P在曲线上的位置无关,所以是常数。
这个常数称为圆锥曲线的离心率,记为e。
当截线是椭圆时,e<1;当截线是双曲线时,e>1;当截线是抛物线时,e=1。
对于椭圆或双曲线,存在两个合于以上要求的球面,因此椭圆或双曲线都有两个焦点与两条准线。
每个焦点与其相应的准线都有上述性质。
抛物线只有一个焦点与一条准线。
若椭圆的两个焦点为F1,F2。
如图2所示的球面与圆锥面相切的圆为C1,C2。
这时对于椭圆上任意一点P,令通过P的母线OP(O为圆锥面的顶点)与C1、C2的交点分别为A、B。
则P 到F1的距离|PF1|与P到F2的距离|PF2|之和为|PF1||PF2|=|P A||PB|=|AB|。
二次曲线的计算方法研究

( e a m n o ca i l n ier g S ani n esyo eh o g ,H nhn 2 0 3 D pr et f t Mehnc g ei , hax U i r t f cn l y azog7 30 ) aE n n v i T o
维普资讯
2 8焦 00
7月
机 械 科 学 与 技 术
Mec n c lS inc nd Te h o o y f rAe o p c ha ia ce e a c n l g o r s a e Engn e i g ie rn
vc r o tecnccre S a gn n n n e t on d c e ya y o t a dl e nt rjc v l e et s fh o i uv ’ n etiea dt gn p i ei db n i s n i s epo t epa . o t l a t d p n n o h ei n
o d n t si c e s sc mpu ain la . F o te d fnto fc n c c r e,we e t b ih isN・ e t re u t n a d u e r i ae n r a e o tto o d r m h e i i n o o i u v i sa ls t v co q a i n s o t e N- e trt e r s n l p it n i e n t m a e p a e. W e as r s n he me h d frc mpu i g te N— h v co or p e e tal on s a d ln so he i g ln lo p e e tt t o o o tn h
射影几何学

在射影几何学中,把无穷远点看作是“理想点”。
通常的直线再加上一个无穷点就是无穷远直线,如果一个平面内两条直线平行,那么这两条直线就交于这两条直线共有的无穷远点。
通过同一无穷远点的所有直线平行。
德国数学家克莱因(图)在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换群对几何学进行分类在引入无穷远点和无穷远直线后,原来普通点和普通直线的结合关系依然成立,而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行,因此中心射影和平行射影两者就可以统一了。
平行射影可以看作是经过无穷远点的中心投影了。
这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射,就都可以叫做射影变换了。
射影变换有两个重要的性质:首先,射影变换使点列变点列,直线变直线,线束变线束,点和直线的结合性是射影变换的不变性;其次,射影变换下,交比不变。
交比是射影几何中重要的概念,用它可以说明两个平面点之间的射影对应。
在射影几何里,把点和直线叫做对偶元素,把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。
在两个图形中,它们如果都是由点和直线组成,把其中一图形里的各元素改为它的对偶元素,各运算改为它的对偶运算,结果就得到另一个图形。
这两个图形叫做对偶图形。
在一个命题中叙述的内容只是关于点、直线和平面的位置,可把各元素改为它的对偶元素,各运算改为它的对偶运算的时候,结果就得到另一个命题。
这两个命题叫做对偶命题。
这就是射影几何学所特有的对偶原则。
在射影平面上,如果一个命题成立,那么它的对偶命题也成立,这叫做平面对偶原则。
同样,在射影空间里,如果一个命题成立,那么它的对偶命题也成立,叫做空间对偶原则。
研究在射影变换下二次曲线的不变性质,也是射影几何学的一项重要内容。
如果就几何学内容的多少来说,射影几何学;仿射几何学;欧氏几何学,这就是说欧氏几何学的内容最丰富,而射影几何学的内容最贫乏。
比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等),反过来,在射影几何学里不能讨论图形的仿射性质,而在仿射几何学里也不能讨论图形的度量性质。
高等几何(第六章)

0 0
二阶曲线 秩为2
(实、虚、平行、相交、普通直 线、无穷远直线等5种情况)
秩为1
一对重合的普通直线:x12
0
一对重合的无穷远直线:x32 0
5 11
§4 二次曲线的度量性质
➢我们在引入了复元素的仿射平面上讨 论二次曲线的度量性质。
➢在讨论二次曲线的仿射性质时,仿射 不变图形无穷远直线起了至关重要的作 用,那么正交变换下保持不变的元素除 了无穷远直线外还有什么?
➢为什么要讨论圆点呢? ➢定理4.2 正交变换保持圆点不变。
x'
y'
x x
cos sin
y y
sin cos
a13 a23
或
x' y'
x cos -x sin -
y y
sin cos
a13 a23
前者I(1,i,0),J(1,-i,0)保持不变, 后者I(1,i,0),J(1,-i,0)分别变为J,I.
➢定理2.1 双曲线、椭圆各有唯一的中 心,且为普通点,抛物线的中心为无穷 远点。
二次曲线的中心坐标:
A11 A12
A21 A22
A31 0 A31 A32 0 A32
A13 A23 A33 1 A33
➢例1. 判定二次曲线:x12-2x1x2+x222x1x3+x2x3-x32=0的类型,并求出它的 中心。
直径与共轭直径的关系是相互的。
一直径的方向与该直径的共轭直径的方向(该直 径的极点的方向)称为一对共轭方向。注意抛物线 的情形。
例:过一直径两端点的切线平行于该直径的共轭 直径。
P
✓过一直径两端点的切线的交点为该直径 的极点即为一个无穷远点。
基于二次曲线的完全四点形的性质探究

基于二次曲线的完全四点形的性质探究龚雪【摘要】分别从射影变换、仿射变换和正交变换下研究内接于二次曲线的完全四点形的不同性质,求证出二次曲线的射影性质、仿射性质、度量性质与内接的完全四点形关系,进而推导出相关结论.【期刊名称】《辽宁师专学报(自然科学版)》【年(卷),期】2019(021)001【总页数】4页(P1-3,65)【关键词】二次曲线;无穷远元素;极点;极线【作者】龚雪【作者单位】锦州师范高等专科学校计算机系 ,辽宁锦州 121000【正文语种】中文【中图分类】O182在射影平面内,由四个点(其中无三点共线)以及连接其任意两点的六条直线所组成的图形称为完全四点形,其中已知的四个点叫做顶点,六条直线叫做边,而三对对边的交点构成了一个对边三点形[1].根据交比经中心射影后不变的性质得出其对边三点形中,每条边上都有四个点成调和比,若将完全四点形内接于一条非退化的二阶曲线中,在射影、仿射及正交三种变换群下,通过已知的二次曲线方程可求出完全四点形的相应性质和特殊形式,这里分别称为完全四点形的射影性质、仿射性质和正交性质.1 完全四点形的射影性质根据Pascal定理(对于任意一个内接于非退化的二阶曲线的简单六点形,它的三对对边的交点在一条直线上[1].),可以把完全四点形ABCD 中的A、C顶点看成六点形P 1 P 2 P 3 P 4 P 5 P 6中P 1 P 6顶点和P 3 P 4顶点分别重合的情形,如图1,这样就可以得出内接于一条非退化的二阶曲线的完全四点形中,对边AB与CD、AD与BC的交点P、Q及其对顶点的切线的交点M、N,四点必在直线r上,并称直线r为Pascal线.与此同时,四条切线构成了一条简单四线形,即外切于一条非退化的二级曲线,根据对偶原则,得到了Brianchon定理(对于任意一个外切于非退化的二级曲线的简单六线形,它的三对对顶点的连线通过一个点[1].)中二级曲线的外切四线形情况,则其中必有四线共点,该点就是完全四点形AC与BD的交点R,称为Brianchon点[2].由此可以得出,完全四点形ABCD的四个顶点若在一条非退化的二阶曲线上,那么其内部必有一个Brianchon点和一条Pascal线.根据完全四点形的调和性(在完全四点形的对边三点形的每条边上有一组调和共轭点,其中两个点是对边点,另两个点是这条边与通过第三个对边点的一对对边的交点[1].)可知,Brianchon点和Pascal线又是极点与极线(定点关于二阶曲线的共轭点的轨迹是一条直线,这条直线叫做定点关于此二阶曲线的极线,定点叫做这条直线关于此二阶曲线的极点[1].)的关系,根据配极原则(如果P点的极线通过Q点,则Q点的极线也通过P点[1].)得到,M 点的极线是边AC,N 点的极线是边BD,那么边AC与边BD的交点R的极线为直线r,这就证明了完全四点形ABCD 中对边三点形PQR的相关命题,即三顶点分别是其对边的极点.完全四点形ABCD中的Brianchon点和Pascal线是极点与极线的关系.因此,四点形中相应的点与线是配极变换,于是设二阶曲线的方程为那么在内接于该条二次曲线的完全四点形ABCD中,Brianchon点和Pascal线的坐标满足配极变换式,其中k≠0,成配极对应的点、线坐标分别为(p 1,p 2,p 3)和[u 1,u 2,u 3],通过变换式,在相应的已知条件下,可求出完全四点形ABCD 中点或线的坐标.如图1所示:在二阶曲线方程给出的前提下,若Brianchon点R坐标已知,则根据配极变换式可求出Pascal线r的坐标,若完全四点形ABCD的四个顶点坐标已知,则可根据配极变换式分别求出其对应的四条切线AM、BN、CM、DN 的坐标.反之,已知极线坐标也可求出对应的极点坐标[3、4].在二阶曲线方程未给出的前提下,若完全四点形ABCD中对边三点形PQR的三个顶点和三条边的坐标都已知,则根据配极变换式可求出其外接的二阶曲线方程.2 完全四点形的仿射性质若直线r为无穷远直线x 3=0,则在仿射变换下,变为x 3=0,由此得出直线r 在仿射变换下为自对应直线,故以此直线为基础研究完全四点形的仿射性质,而此时的二次曲线与无穷远直线的位置关系为相离,因此二次曲线定义为椭圆,它的中心为无穷远直线r的极点R,即完全四点形内对边三点形的一个顶点,其对边为无穷远直线r.二次曲线的中心坐标求法如下:所以.完全四点形中直线r上的点均为无穷远点,根据前面讨论的射影性质以及二次曲线直径(无穷远点关于二次曲线的有穷极线[1])的概念,我们知道完全四点形的对边AC与BD为二次曲线的直径,另外两组对边AB与CD、AD与BC相互平行且分别平行于两条共轭直径(一条直径与无穷远直线交点的极线[1])RP、RQ.证明:如图1,若直线r为无穷远直线,则点P、Q为无穷远点,所以相交于此两点的直线AB与CD、AD与BC相互平行,完全四点形ABCD为平行四边形.直线r的极点为AC与BD的交点R,即为椭圆的中心,故对角线AC与BD是两条直径.P的极线是RQ,Q的极线是RP,所以RP、RQ是两条共轭直径,它们分别平行于平行四边形ABCD的两组对边.因此,完全四点形ABCD为平行四边形并且内接于一个椭圆中,其对角线AC与BD的交点R为椭圆的中心,根据上述讨论,可得出点R的坐标为.完全四点形ABCD中的对边三点形PQR中的边RP与RQ为一组共轭直径,若设点P (μ,φ,0),则对应的直径RQ方程为共轭直径RP方程为其中3 完全四点形的度量性质在正交变换下不变的性质称为度量性质,正交变换又是仿射变换的特殊情况,因此完全四点形的度量性质是在仿射性质的基础上进行讨论的.(1)设完全四点形的两组对边交点P、Q 为圆环点I(1,i,0),J(1,-i,0),则完全四点形中的边AB 与CD、AD 与BC 均为迷向直线(通过圆环点I(1,i,0)或J(1,-i,0)的直线[1].),由于(AD,EJ)=-1,R(AD,EJ)=-1,根据Laguerre定理可推出AC与BD 垂直,又由于完全四点形的边AC与BD交于二次曲线的中心点R,这时边AC与BD为椭圆的两条主轴,完全四点形的四个顶点A、B、C、D 为椭圆的四个顶点,从I(AD,EJ)=-1,可以推出(ACR)=-1,因此中心R还是边AC与BD的中点,即此时内接椭圆的平行四边形为正方形.主轴AC与BD的方程分别为:其中(MN,IJ)==-1,化简得到k珔k=-1,则得到关系式(2)设完全四点形中对应顶点的切线交点 M、N 为圆环点I(1,i,0),J(1,-i,0),那么 M、N点处的四条切线构成的完全四线形的六个顶点中除M、N 两个圆环点外,其他四个顶点为二次曲线的焦点(自二圆环点引二次曲线的切线,它们彼此的有穷交点[5].),在完全四点形的对边三点形的两条边上,即二次曲线的两主轴上.焦点的求法如下:分别过I(1,i,0),J(1,-i,0)圆环点的两组切线MA 与MC、NB 与ND 均为迷向直线,方程为,带入二次曲线方程中,得,该式为关于的二次方程,因为迷向直线MA与MC、NB与ND均为二次曲线的切线,那么根据重根条件Δ=0可求出参数t,代入方程x 2=±ix 1+tx 3中,得到迷向切线MA与MC、NB与ND 的方程,最后四条直线方程联立求得除圆环点以外的四个交点坐标,为完全四点形ABCD外接的二次曲线即椭圆的四个焦点的坐标[6].【相关文献】[1]梅向明,刘增贤,王汇淳,等.高等几何[M].北京:高等教育出版社,2008.34-158.[2]李修穆.高等几何[M].上海:华中师范大学出版社,1993.47-58.[3]李建华.射影几何入门[M].北京:科学出版社,2011.32-67.[4]黄振华,周建新.非退化二阶曲线内接完全四点形的性质[J].湖北师范学院学报:自然科学版,2014,(3):49-51.[5]朱维宗,王颂昌.利用复仿射平面上的完全四点形表示二次曲线的度量性[J].云南师范大学学报:自然科学版,1998,(3):13-15.[6]赵临龙.完全四点(边)形中三点(线)共线(点)的理论[J].河南科学,2014,(9):1389-1390.。
二次曲线的仿射理论.ppt

§ 4.6 二次曲线的仿射理论
五、应用举例
例6. (P.144, Ex.11)设PP'是二阶曲线的直径. 任一点Q处的切线交P处的切线于R, P'Q交PR于 X. 求证:PR=RX.
证明. 因为PP'是直径, 所以P, P'处的切线交于 P∞. 只要证 (PX , RP ) 1.
设Q处的切线交P'处的切线于T. 则P∞RT为的一个外切三线形. 据定理4.12的对偶, PT, P'R, P∞Q三线共点于U.
五、应用举例
例2. (P.143, Ex. 5)求下列两二阶曲线的公共共轭直径
1 : x2 xy y2 1,
2 : 3x2 xy 2y2 1.
解. 经验证, 两曲线均为非退化有心二阶曲线(椭圆), 有公共的 中心为坐标原点. 所以可能有公共的共轭直径.
两曲线的共轭方向方程(即直径与共轭直径的对合)分别为
(a11a22 a122 A33 0) (4.40)
中, 令k=k'得不变元素方程为
a22k 2 2a12k a11 0
此方程的两根即为渐近线方向. 设两根为ki(i=1,2), 分别代入
S k S 0
即可得两渐近线方程. x1 x2
评注:此法简单且直接, 但若上述参数表示中的两基线之一为
CM, CN∞为一对 共轭直径.
§ 4.6 二次曲线的仿射理论
五、应用举例
例4. (P.144, Ex.9)任一直线交双曲线 与两渐近线成相等线段.
证明. 目标:PA=BQ. 取AB中点M, 则
( AB, MN ) 1.
从而, M在N∞的极线上. CM, CN∞为一对共轭直径. 于是有
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第五章 二次曲线的射影理论本章首先给出射影平面上二次曲线的射影定义,然后在此基础上讨论二次曲线的射影性质及其分类。
§1 二次曲线的射影定义1.1 二次曲线的射影定义定义1.1 在射影平面上,若齐次坐标(x 1,x 2,x 3)满足下列三元二次齐次方程)(031,ji ij j i j i ij a a x x a ==∑=其中a ij (i ,j=1,2,3)为实数,并且至少有一个不是零,则这些点的集合称为二阶曲线。
二阶曲线的方程可以写成矩阵形式:()0321333231232221131211321=⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛x x x a a a a a a a a a x x x其中(a ij )用A 表示叫系数矩阵,用| A |或| a ij |表示系数行列式。
定理1.1 两个不同中心的射影对应线束对应直线的交点构成一条二阶曲线。
证明在射影平面上建立射影坐标系后,设两个线束的方程为α+λβ=0,α′+λ′β′=0,由于它们是射影对应,所以λ,λ′满足:a λλ′+b λ+c λ′+d=0 (ad -bc≠0).由以上三个式子消去λ,λ′得,0)()()()(=+''--''d c b a βαβαβαβα即0='-'-'+'βαβαββααc b d a .因为α,β,α′,β′都是 x 1,x 2,x 3的一次齐次式,所以上式是关于x 1,x 2,x 3的二次齐次方程,它表示一条二阶曲线。
而且α=0与β=0的交点和α′=0与β′=0的交点的坐标都满足这个方程,因此形成此二阶曲线的两个线束中心也在这条二阶曲线上。
定理1.1的逆定理也成立,定理 1.1 中形成二阶曲线的两个射影对应线束的中心并不具有特殊性,可以证明,二阶曲线上任意两点都可以看作生成这条二阶曲线的射影对应线束的中心。
定理1.2 设有一条二阶曲线,它是由两个成射影对应的线束对应直线的交点构成的,那么以这条二阶曲线上任意两点为中心向曲线上的点投射直线,则可以得到两个成射影对应的两个线束。
证明设二阶曲线是由以O,O′为中心的两射影线束O(P)和O′(P)所生成。
在此二阶曲线上任意取定两点A和B,设M为曲线上动点,我们只须证明出A(M)∧B(M)即可。
如图所示,设AM 与OP,OB交于K,B′,BM与O′P ,O′A 交于点=K′,A′,于是O(A,B,P,M)∧O′(A,B,P,M)所以O(A,B,P,M)∧(A,B′,K,M)(A′,B,K′,M)∧O′(A,B,P,M)所以(A,B′,K,M)∧(A′,B,K′,M)由于两底的交点M是自对应点,因此(A,B′,K,M)∧(A′,B,K′,M)所以两点列对应点连线交于一点,也即AA′,BB′,KK′共点于点S。
S 为一定点,这说明当M 点变动时,OP 上点列(K )与O ′P 上点列(K ′)成透视对应,对应点连线KK ′通过一个定点S ,所以有A (M )∧OP (K )∧O ′P (K ′)∧B (M )即 A (M )∧B (M )推论1 平面内五个点,若其中任意三个都不共线,则这五个点可确定唯一一条二阶曲线。
推论2 若二阶曲线上任一点向此曲线上四定点连四条直线,则此四直线的的交比是常数。
例1 求两个成射影对应的线束:x 1+λx 3=0与x 2-μx 3=0(λ+μ=1)所构成的二阶曲线的方程。
解因为λ+μ=1,所以μ=1-λ,于是两线束可以写成:⎩⎨⎧=--=-0)1(03231x x x x λλ 即⎩⎨⎧=+-=-0033231x x x x x λλ 消去λ得033231=--x x x x x整理得二阶曲线的方程为0233231=-+x x x x x定义1.2 在射影平面上,成射影对应的线束的对应直线的交点的集合称为二阶曲线。
注意 上述定义包含了退化的情况:如果两个成射影对应的线束是透视的,此时二阶曲线退化成两条直线,一条是透视轴,另一条是两线束中心的连线。
定义1.3 在射影平面上,若齐次线坐标[u 1,u 2,u 3]满足下列三元二次)(031,'='='∑=ji ij j i j i ij a a u u a的直线的集合叫做二级曲线。
其中a ij′(i,j=1,2,3)为实数且不全为零。
二阶曲线与二级曲线统称为二次曲线。
定理1.1′两个不同底的成射影对应的点列,它们对应点的连线的集合是一条包含两个底在内的二级曲线。
定理1.2 ′设一条二级曲线是由两个不同底的成射影对应(非透视对应)的点列的对应点连线构成的。
则二级曲线上任意两条定直线与二级曲线上的直线相交,便可得到以这两个定直线为底的成射影对应的两个点列。
推论1′平面上无三线共点的任意五条直线唯一确定一条二级曲线。
推论2′二级曲线上任意一条直线与曲线上四条定直线相交所得的四个交点的交比值是常数。
例2如果两个三点形内接于同一条二次曲线,则她们也同时外切于一条二次曲线。
证明三点形ABC和三点形A′B′C′,内接于二次曲线(C),设AB∩B′C′=D,AB∩A′C′=E,AB∩B′C′=D′,A′B′∩AC=E′,则C′(A,B′,A′,B)∧C(A,B′,A′,C)所以(A,D,E,B)∧C′(A,B′,A′,B)∧C(A,B′,A′,C)∧(E′,A′,B′,D′)即(A ,D ,E ,B )∧(E ′,A ′,B ′,D ′)由定义可知,这两个点列对应点连线AC ,BC ,C ′A ′,B ′C ′连同两个点列的底AB ,A ′B ′属于同一条二级曲线(C ′),亦即三点形ABC 和三点形A ′B ′C ′的边外切一条二次曲线。
1 .2 二阶曲线与二级曲线的关系我们先来讨论二阶曲线与直线的相关位置设两个点P ,Q 坐标分别为P (p 1,p 2,p 3),Q (q 1,q 2,q 3),则直线PQ 上任意点的坐标(x 1,x 2,x 3)可以写成x i = p i + λq i (i=1,2,3)直线PQ 与二阶曲线)(031,ji ij j i j i ij a a x x a ==∑=的交点坐标满足0))((31,=++∑=j i j j i i ij q p p p aλλ 即 0)(31,31,31,31,2=+++∑∑∑∑====j i j i ij j i i j ij j i j i ij j i j i ij p p a q p a q p a q q a λλ若点Q 不在二阶曲线上,则上式是关于λ的二次方程,为了书写简便,我们引进下列记号:⎪⎪⎪⎭⎫ ⎝⎛=≡∑=32132131,),,(x x x A x x x x x a S j i j i ij,,),,(31,321321∑=⎪⎪⎪⎭⎫ ⎝⎛=≠j i j i ij pp p p p A p p p p p a S∑=⎪⎪⎪⎭⎫ ⎝⎛=≡31,321321),,(j i j i ij qq q q q A q q q q q a S,),,(32132131,⎪⎪⎪⎭⎫ ⎝⎛=≡∑=q q q A p p p q p a S j i j i ij pq⎪⎪⎪⎭⎫ ⎝⎛=≡∑=32132131,),,(p p p A q q q p q a S j i j i ij qp∑=⎪⎪⎪⎭⎫ ⎝⎛=≡31,321321,),,(j i j i ij p x x x A p p p x p a S⎪⎪⎪⎭⎫ ⎝⎛=≡∑=32132131,),,(x x x A q q q x q a S j i j i ij q由于a ij =a ji ,从而S pq =S qp 。
若(p 1,p 2,p 3),(q 1,q 2,q 3)为常数,(x 1,x 2,x 3)是变数,则S 为二次式,S P 与S q 为一次式,S pp ,S qq 与S pq 为常数。
采用以上记号后,关于λ的二次方程可以写成S qq λ2+2S pq λ+S pp = 0 (*)当S pq 2-S qq S pp >0时,直线与二阶曲线相交于两个实点,称为二阶曲线的割线;当S pq 2-S qq S pp <0时,直线与二阶曲线相离;当S pq 2-S qq S pp =0时,直线PQ 与二阶曲线的两个交点重合,称为二阶曲线的切线。
以下求非退化二阶曲线上一点的切线方程。
(1)设点P (p 1,p 2,p 3)在二阶曲线上S=0上,则S PP =0,从而方程(*)有一个根为0。
因为过点P 的切线与二阶曲线有两个重合交点,所以另一个根也必为0,若将Q 的坐标改写为(x 1,x 2,x 3),由(*)式可得P 点处切线方程为:S p =0,即以P (p 1,p 2,p 3)为切点的切线方程为⎪⎪⎪⎭⎫ ⎝⎛=321321)(x x x A p p p S p即:0332211=⎪⎪⎭⎫ ⎝⎛∂∂+⎪⎪⎭⎫ ⎝⎛∂∂+⎪⎪⎭⎫ ⎝⎛∂∂x x S x x S x x S PP P(2)若点P 不在二阶曲线上,设点Q 为过P 的切线上任意点,则PQ 交二阶曲线于重合点,因此(*)式有两个相等的实根,所以 S pq 2=S qq ·S pp ,若将Q 的坐标改写为(x 1,x 2,x 3),那么以Q 为动点的轨迹的通过P 的切线方程为:S pp ·S = S p 2这个方程表示两条切线。
当P 点在二阶曲线上时,二者重合为一条直线: S p =0。
例3 求二阶曲线01124632232221=+--x x x x x 的经过点P (2,0,1)切线方程。
解 将点P 的坐标代入二阶曲线方程,得S pp =0所以P 点在二阶曲线上,切线方程为S p =0即 024211021110006)102(321=⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛--x x x 也即0481124321=-+x x x为所求切线方程。
例4 求通过二直线l[1,3,1]和m[1,5,-1]交点且属于二级曲线4u 12+u 22-2u 32=0的直线.解通过二直线l[1,3,1]和m[1,5,-1]交点的直线的线坐标为[1,3,1]+λ[1,5,-1]=[1+λ,3+5λ,1-λ]若此直线属于二级曲线4u 12+u 22-2u 32=0,则有4(1+λ)2+(3+5λ)2-2(1-λ)2=0即27λ2+42λ+11=0解得λ=-1/3,λ=-11/9所求直线的坐标为[1,2,2]和[-1,-14,10]下面讨论二阶曲线和二级曲线的关系。
定理1.3 一条非退化的二阶曲线的切线的集合是一条非退化的二级曲线;反之,一条非退化的二级曲线的切点的集合是一条二阶曲线。