12 仿射平面与投影平面 第一章 仿射几何学 本章内容的安排在于揭示一种思想方法,从观察到概念形成到不变量系统再到代数系统,这种安排思想也充分反映了历史上射影几何建立过程中综合方法与解析方法各有所长交替作用互相影响的发展历程。本节研究的内容来自于生活、自然与生产建设实践,如正交变换是从研究我们生活空间中物体位置改变的最简单的情形移动、转动和镜面反射开始的,仿射变换则是从太阳光的照射开始的。因此在本章的学习中应注重于培养观察能力。 《数学发现的艺术》中是这样描述“观察”与“归纳”的:“观察是有意知觉的高级形式,它与有意注意结合在一起,与思维相联系。怎样进行观察?需要注意三点:一是有意识、有目标,处处留心,总想‘找岔儿’,从中发现点什么,否则就会熟视无睹,看等于不看;二是要有基础,有必要的相关知识,否则难以看出‘门道儿’,而只能是‘外行看热闹’;三是要有方法,否则就看不到‘点子’上,抓不住要领。在观察中,要特别注意从个别想到一般,从平常中发现异常”;而“归纳是由个别事例向关于这一类事物的一般性的过渡,是一种对经验、以实验观察结果进行去粗取精、去伪存真的综合处理方法。人们用归纳法清理事实,概括经验,处理资料,从而形成概念,发现规律”。 通过本章学习,首先对观察、归纳应该有一个较为深刻的认识,为在以后的学习中能熟练应用观察而打下良好的基础,其次对数学研究的目标之一——对象的结构——有一个初步的了解。 13
§1 正交变换 本单元分两个部分介绍正交变换,其一是解析几何中坐标变换的复习,主要通过讨论刚体运动中的特例——平移、旋转和反射,揭示其中最基本的不变量——距离,进而提炼出正交变换的概念。其二是利用不变量系统建立相应的坐标系,从而引入解析法,用代数方法解决正交变换的结构问题。
一、基本概念 实例 (a) 平移是沿一定的方向推移物体的过程,建立适当的坐标系,就有
平移0Xl: îíì+=¢+=¢00yyyxxx, 即 0XXX+=¢; (b) 旋转是物体绕着固定点转动的过程,建立适当的坐标系,就有
旋转qr: îíì+=¢-=¢qqqqcossinsincosyxyyxx,
即 XX÷÷øöççèæ-=¢qqqqcossinsincos; (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-=q 则 22222cosBAAB+-=q, 2222sinBAAB+-=q 。
通过正交变换的分解可得 )(00XlrrrlXXxX--=¢qq
即
00)(cossinsincos1001cossinsincosXXXX+-÷÷øöççèæ-÷÷øöççèæ-÷÷øöççèæ-=¢qqqqqq
00)(2cos2sin2sin2cosXXX+-÷÷øöççèæ-=qq
将各已知量分别代入,得
ïïîïïíì+-+--+-=¢+-+-+-=¢22222222222222222222BABCyBAABxBAABy
BAACyBAABxBAABx
(*)
容易验证,当A=0时,(*)式也成立。 所以(*)为所求。 评注: 正交变换,寥寥几页,但在全书中的地位十分重要,因为它揭示了贯穿于全书的研究思想方法: (1)观察具体的实际现象及相关资料(平移、旋转和反射); (2)归纳抽象,形成概念(正交变换); (3)研究不变性质(正交变换的不变量系统); 16
(4)利用不变量系统建立相应的坐标系(笛卡尔直角坐标系); (5)研究对象的结构(正交变换的分解)。
§2 仿射变换 本单元主要分两个部分介绍仿射变换,其一是通过平行投影建立仿射对应,研究仿射变换的不变量系统;其二是利用仿射变换的不变量系统建立与之相应的仿射坐标系,利用解析法研究仿射几何。 一、 基本概念 空间中的物体在太阳光的照射下,会在地面上投下影子。若物体是平面图形,那么图形和影子之间即建立了一种一一对应。太阳光线可近似地看成是平行的,从而我们有以下概念。 1.平行投影:若从平面p到平面p¢的一一点对应满足对应点的连线互相平行,则称此对应为从平面p到平面p¢的平行投影。 注:透视仿射对应就是平行投影。 2.仿射对应:有限个平行投影的积。 注:仿射变换的结构(即仿射变换的分解)问题已解决,即仿射变换可分解为有限个平行投影的积。但我们仍然可提出这样的问题“最少可用几个透视仿射变换表示仿射变换?” 3.仿射不变量和仿射不变性 图形的在仿射变换下保持不变的性质(数量)称为图形的仿射不变性(仿射不变量)。 4.单比 17
x
yOE(1,1)Ey
ExP(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轴上不一定垂直,其上的度量单位在一般情形下不一致。 18
3.仿射对应的代数表示 0,22211211232221131211¹îíì++=¢++=¢aaaaayaxayayaxax
或 0,0¹+=¢AXAXX 。 4.仿射几何基本定理: 不共线的三对对应点唯一决定一个仿射对应。 注:为什么要研究变换的不变量? 我们所研究的变换是连续性的,一个图形经过连续变形而变到另一个图形,在连续变化过程中得到的一系列图形具有一定的共性。这种共性是变化前后的图形都拥有的,换句话说,这种共性不因变换而改变,即它们是变换的不变量(性质)。 不变量的作用在于:(1) 我们可以从特例或比较简单图形的性质导出复杂图形的性质,这是从特殊到一般的哲学思想在几何研究中的体现。 (2) 不变量系统可使我们弄清楚几何学的构建或者解决结构问题。例如我们研究n阶矩阵的特征值和特征向量而导致线性变换下的不变子空间,最终导致线性空间分解为不变子空间的直和。又如我们研究正交变换下的不变量系统,导致我们建立笛卡尔直角坐标系,从而给出正交变换的代数表示,最终导出正交变换可分解为平移、旋转和反射的积,从而解决了正交变换的结构问题。
三、例题选讲 例1 求椭圆12222=+byax的面积。 19
解 适当选取仿射变换 ïîïíì=¢=¢yyxabx ,将椭圆变成圆。 因为面积之比是仿射不变量, 所以 BAOOABSSSS¢DD=圆椭圆
所以 abbbabSpp=×=22椭圆 。 小结:(1) 由本例可建立 模型:在仿射变换下,叙述形式保持不变的命题(称为仿射命题)。 解法:适当选取仿射变换或仿射坐标系,将一般问题变为特殊情形,使问题获得解决,再利用不变性返回一般情形。 (2) 仿射几何是射影几何的子几何。本章在全书中的作用是为射影几何的展开铺路、提供素材,以便初学者入门。 例2 梯形两底的中点,两腰的交点,两对角线的交点,四点共线。 分析 梯形、线段的中点、直线的交点和点共线都是仿射不变的,从而本命题的叙述形式在仿射变换下保持不变。根据上面的小结,我们求解如下。 解 取两底中点的连线为y轴。一底为 x轴建立仿射坐标系如图,那么 AC的方程为 x+(a+1)y–1 = 0 BD的方程为 x-(a+1)y+1 = 0 解得P的坐标为 (0,1) AD的方程为 x+(a-1)y+1 = 0
x
yOAB
QDC
P
M
(-1,0)(1,0)(a,1)(-a,1)
xyOABA'