第一章仿射几何学

12第二部分高等几何学习指导第一章仿射几何学本章内容的安排在于揭示一种思想方法，从观察到概念形成到不变量系统再到代数系统，这种安排思想也充分反映了历史上射影几何建立过程中综合方法与解析方法各有所长交替作用互相影响的发展历程。本节研究的内容来自于生活、自然与生产建设实践，如正交变换是从研究我们生活空间中物体位置改变的最简单的情形移动、转动和镜面反射开始的，仿射变换则是从太阳光的照射开始的。因此在本章的学习中应注重于培养观察能力。《数学发现的艺术》中是这样描述“观察”与“归纳”的：“观察是有意知觉的高级形式，它与有意注意结合在一起，与思维相联系。怎样进行观察？需要注意三点：一是有意识、有目标，处处留心，总想‘找岔儿’，从中发现点什么，否则就会熟视无睹，看等于不看；二是要有基础，有必要的相关知识，否则难以看出‘门道儿’，而只能是‘外行看热闹’；三是要有方法，否则就看不到‘点子’上，抓不住要领。在观察中，要特别注意从个别想到一般，从平常中发现异常”；而“归纳是由个别事例向关于这一类事物的一般性的过渡，是一种对经验、以实验观察结果进行去粗取精、去伪存真的综合处理方法。人们用归纳法清理事实，概括经验，处理资料，从而形成概念，发现规律”。通过本章学习，首先对观察、归纳应该有一个较为深刻的认识，为在以后的学习中能熟练应用观察而打下良好的基础，其次对数学研究的目标之一——对象的结构——有一个初步的了解。13§1正交变换本单元分两个部分介绍正交变换，其一是解析几何中坐标变换的复习，主要通过讨论刚体运动中的特例——平移、旋转和反射，揭示其中最基本的不变量——距离，进而提炼出正交变换的概念。其二是利用不变量系统建立相应的坐标系，从而引入解析法，用代数方法解决正交变换的结构问题。一、基本概念实例(a)平移是沿一定的方向推移物体的过程，建立适当的坐标系，就有平移0Xl：00yyyxxx，即0XXX；(b)旋转是物体绕着固定点转动的过程，建立适当的坐标系，就有旋转r：cossinsincosyxyyxx，即XXcossinsincos；(c)反射是关于一条固定直线的对称，建立适当的坐标系，就有反射xr：yyxx，即XX1001。这三种变换是平面上物体运动的最基本方式，它们的组合就形成了物体在平面上的丰富多彩的运动方式。这三种变换有一个最基本的共同的度量特征“保持两点间的距离不14变”，从而它们的组合也是如此。由此可给出如下概念：正交变换保持任何两点间的距离不变的变换。通过研究正交变换的不变量系统：保持两点之间的距离不变；保持直线之间的夹角不变等，由此可建立起相应的在正交变换下保持不变的笛卡尔直角坐标系。二、重要结果1．正交变换的代数表示：,232221131211ayaxayayaxax其中0,122122111222221212211aaaaaaaa。或用矩阵表示为)(,0IAAXAXXT（满足IAAT的方阵A称为正交矩阵。）2．正交变换的结构定理定理：正交变换可分解为平移、旋转和反射的积。三例题选讲例求以直线0CByAx为轴的轴反射变换公式。解当0A时，直线与x轴的交点为)0,(0ACX15斜率为,BAtg则22222cosBAAB，2222sinBAAB。通过正交变换的分解可得)(00XlrrrlXXxX即00)(cossinsincos1001cossinsincosXXXX00)(2cos2sin2sin2cosXXX将各已知量分别代入，得22222222222222222222BABCyBAABxBAAByBAACyBAABxBAABx（*）容易验证，当A=0时，（*）式也成立。所以（*）为所求。评注：正交变换，寥寥几页，但在全书中的地位十分重要，因为它揭示了贯穿于全书的研究思想方法：（1）观察具体的实际现象及相关资料（平移、旋转和反射）；（2）归纳抽象，形成概念（正交变换）；（3）研究不变性质（正交变换的不变量系统）；16（4）利用不变量系统建立相应的坐标系（笛卡尔直角坐标系）；（5）研究对象的结构（正交变换的分解）。§2仿射变换本单元主要分两个部分介绍仿射变换，其一是通过平行投影建立仿射对应，研究仿射变换的不变量系统；其二是利用仿射变换的不变量系统建立与之相应的仿射坐标系，利用解析法研究仿射几何。一、基本概念空间中的物体在太阳光的照射下，会在地面上投下影子。若物体是平面图形，那么图形和影子之间即建立了一种一一对应。太阳光线可近似地看成是平行的，从而我们有以下概念。1．平行投影：若从平面到平面的一一点对应满足对应点的连线互相平行，则称此对应为从平面到平面的平行投影。注：透视仿射对应就是平行投影。2.仿射对应：有限个平行投影的积。注：仿射变换的结构（即仿射变换的分解）问题已解决，即仿射变换可分解为有限个平行投影的积。但我们仍然可提出这样的问题“最少可用几个透视仿射变换表示仿射变换？”3.仿射不变量和仿射不变性图形的在仿射变换下保持不变的性质（数量）称为图形的仿射不变性（仿射不变量）。4．单比17xyOE(1,1)EyExP(x,y)PyPx(1,0)(x,0)(0,1)(0,y)设A、B、C三点共线，称有向线段的比值BCAC为A、B、C的单比，记为)(ABC，即BCACABC)(。注：单比的实质是解析几何中的定比分点中的分比，两者之间相差一个符号而已。由此可见，仿射几何对解析几何会有重要的指导意义。二重要结果1．仿射对应的不变量体系①基本不变量：同素性、结合性、平行性、单比；②常用不变量：平行线段之比、封闭图形面积之比。注：（1）由基本不变量和常用不变量经过“组合”，可导出许多不变量，如线段的中点、三角形的中线和重心、平行四边形的性质等。（2）必须引起重视的是角度不是仿射不变的。2．仿射坐标系（根据仿射不变量体系所建立的相应的坐标系）其中PPx//EEx//y轴，PPy//EEy//x轴，且x轴与y轴上不一定垂直，其上的度量单位在一般情形下不一致。183．仿射对应的代数表示0,22211211232221131211aaaaayaxayayaxax或0,0AXAXX。4．仿射几何基本定理：不共线的三对对应点唯一决定一个仿射对应。注：为什么要研究变换的不变量？我们所研究的变换是连续性的，一个图形经过连续变形而变到另一个图形，在连续变化过程中得到的一系列图形具有一定的共性。这种共性是变化前后的图形都拥有的，换句话说，这种共性不因变换而改变，即它们是变换的不变量（性质）。不变量的作用在于：（1）我们可以从特例或比较简单图形的性质导出复杂图形的性质，这是从特殊到一般的哲学思想在几何研究中的体现。（2）不变量系统可使我们弄清楚几何学的构建或者解决结构问题。例如我们研究n阶矩阵的特征值和特征向量而导致线性变换下的不变子空间，最终导致线性空间分解为不变子空间的直和。又如我们研究正交变换下的不变量系统，导致我们建立笛卡尔直角坐标系，从而给出正交变换的代数表示，最终导出正交变换可分解为平移、旋转和反射的积，从而解决了正交变换的结构问题。三、例题选讲例1求椭圆12222byax的面积。19解适当选取仿射变换yyxabx，将椭圆变成圆。因为面积之比是仿射不变量，所以BAOOABSSSS圆椭圆所以abbbabS22椭圆。小结：（1）由本例可建立模型：在仿射变换下，叙述形式保持不变的命题（称为仿射命题）。解法：适当选取仿射变换或仿射坐标系，将一般问题变为特殊情形，使问题获得解决，再利用不变性返回一般情形。(2)仿射几何是射影几何的子几何。本章在全书中的作用是为射影几何的展开铺路、提供素材，以便初学者入门。例2梯形两底的中点，两腰的交点，两对角线的交点，四点共线。分析梯形、线段的中点、直线的交点和点共线都是仿射不变的，从而本命题的叙述形式在仿射变换下保持不变。根据上面的小结，我们求解如下。解取两底中点的连线为y轴。一底为x轴建立仿射坐标系如图，那么AC的方程为x+(a+1)y–1=0BD的方程为x-(a+1)y+1=0解得P的坐标为（0，1）AD的方程为x+(a-1)y+1=0xyOABQDCPM(-1,0)(1,0)(a,1)(-a,1)xyOABA'20BC的方程为x-(a-1)y–1=0解得Q的坐标为（0，1/（a-1））。所以O、M、P、Q都在y轴上，即O、M、P、Q四点共线。例3求把直线x+y–1=0，x–2y=0分别变为x–y+1=0，2x+y–1=0及把点（1，1）变为（1，1）的仿射变换。为了提高解题的效率，培养解决问题的能力，我们根据解题的一般过程，来完成本问题的解答如下。一、归类：求公式的计算题，常用的方法有待定系数法等。二、知识点：仿射变换。三、联想仿射变换的性质：同素性、结合性、平行性、单比不变等。仿射变换的代数表达式：,232221131211ayaxayayaxax022211211aaaa。四、分析仿射变换是由点的形式表达的，那么直线变为直线是如何表示的呢？直接从变换式看，我们有直线0131211ayaxa变为直线0'x，直线0232221ayaxa变为直线0'y。可以设想，对应本题有21)2(12)1(1yxmyxyxkyx。五、叙述：解设)2(12)1(1yxmyxyxkyx。把（1，1）变为（1，1）代入得2,1mk，yxyxyxyx421211。解得所求变换为)524(31)15(31yxyyxx。六、总结类型：求仿射变换的代数表示式，特征是线、线、点变到线、线、点。方法：待定系数法；技巧：用另一种角度，即直线变为直线的角度去看待用点表示的仿射变换，从而把6个待定系数减少到2个。七、研究1．求仿射变换：仿射变换是点变换，而本例是通过直线变为直线和点变为点的情形来解决变换问题的。因此可以想到还有（1）点、点、点变为点、点、点；（2）线、点、点变为线、点、点；22（3）线、线、线变为线、线、线。经过实验可发现，（2）涉及到一个仿射不变量，即两点到一直线的距离之比是仿射不变量。因此，当两个原象点到原象直线的距离之比与两个象点到象直线的距离之比不等时，问题无解；而当两个原象点到原象直线的距离之比与两个象点到象直线的距离之比相等时，问题有无数解。2.指导意义：用待定系数法解决问题时，关键是如何减少待定系数的数目。如考察双曲线的标准方程12222byax，将其化为1))((byaxbyax，而0byax和0byax正好是渐近线，这可给下面的问题提供了解法。求过点)1,1(且以0143,02yxyx为渐近线的双曲线。解设所求曲线为ayxyx)143)(2(将)1,1(代入得16a，故16)143)(2(yxyx化简得014954322yxyxyx在解析几何中，我们经常以点的坐标来表示曲线的方程，以上的例子说明当我们用另一种观点即用直线的观点来考察点方程时，往往能得到全新的解决问题的方法。23例4求仿射变换52212yxyyxx的不变点和不变直线。解设),(yx是不变点，则它们满足52212yxyyxx由此解得34,611yx，即所求的不变点为)34,611(。再设0cbyax为不变直线，则由0cbyax变为0cybxa及)5()22()2()522()12(cbay