第三章尺规作图问题.docVIP

第三章 尺规作图问题 本章教学目标： 1. 掌握扩域的概念，特别是有限生成的扩域的概念，这是域论最基础的内容。 2. 单代数扩域的结构。注意代数扩域的结构理论应用是十分广泛的，它不但应用于解决尺规作图的几何经典难题，还应用于第6章的代数数论问题。 3. 分圆多项式的概念以及分圆多项式不可约定理。 4. 利用代数扩域的方法解决尺规作图的几何经典难题，包括4个问题：三等分任意角；倍立方问题；化圆为方问题；正多边形作图问题。 5. 教学中强调抽象代数的方法论价值：以上4个几何经典难题的解决，其理论难度并不很大，但是在方法论上是一个很大的突破。这是19世纪后期数学领域的重大成就，它如此巧妙地把代数方法与几何问题结合起来，使抽象代数具有极大的生命力。 教学时数： 共4节，每节2学时，共8学时 3.1 扩域的生成 复习引入：第2章我们利用环论方法（整数剩余类环与Hamilton四元数环）证明了整数的欧拉2平方和定理和拉格朗日4平方和定理。本章将利用扩域的方法解答尺规作图的几何经典难题。 内容要点： 1. 生成扩域的定义。 注意生成扩域的定义与2.2节整环的分式域的结构有基本相同的含义：整环R的分式域F包含R上的全体有理函数；域F上添加S所生成的扩域F(S)同样也包含S在F上的全体有理函数。 2. 扩域的次数，这是扩域的一个最重要的不变量。 讲解内容： 在进入本章的具体内容之前我们首先对尺规作图问题做一个简单的综述。 直到18世纪末数学家们还是认为古希腊柏拉图时代留下的一些几何作图难题是无法解决的。19世纪中叶是代数学从古典向近代发展的重要转折点，其中一项最值得称道的成就莫过于关于代数方程可解性的Galois理论。通常都把尺规作图问题的解决归功于Galois理论。但是实际上早在Joseph Liouville 1846年公布Galois 的著作以及Camille Jordan 1870年把Galois 理论编入自己的著作《置换与代数方程专论》之前，高斯与另一位德国数学家Wantzel已经利用代数方法解决了正多边形尺规作图问题和三等分角问题。高斯在1796年19岁时解决了正17边形的尺规作图问题，并发现正n边形尺规作图问题与二项方程xn(1=0的根式解法有密切关系。而Wantzel 在1837年证明了尺规作图法不可能三等分一般的角，倍立方问题也不能借助于尺规作图的方法解决，Wantzel 还证明了借助于尺规作图方法只能作出开方次数为2的方幂的代数量以及这些量再作加减乘除之后所得的代数量。 我们将在3.3与3.4节证明这些结果。实际上尺规作图问题比方程的可解性问题容易得多。方程的可解性问题依赖于Galois群的理论，而尺规作图问题只依赖于扩域次数的简单理论，与Galois群无关。但是从尺规作图问题的解决，我们再一次看到代数方法在解决几何难题中的重要作用。解决尺规作图问题的抽象代数方法为我们提供了几何与代数互相影响的典型范例。 下面我们首先给出扩域的生成元集的定义。 定义1 设F是一个域，E是F的扩域，S(E，将E中既含F又含S的最小子域记为F(S)，称之为由S生成的F的扩域。F(S)实际上是E中全体既含F又含S的子域的交集。 F(S)中的元形如 ， 其中, F[](系数取自域F的关于n个元的多项式环)，且0。{}是S的有任意有限子集。 域F(S)也称为由域F添加S的元素所生成的扩域。如果S仅含一个元,则F()也称为F的单扩域。 我们有下面的简单定理 定理3.1.1 F是一个域,则F(S1)(S2)=F(S1∪S2) 证 由定义F(S1),S2(F(S1∪S2),故F(S1)(S2)F(S1∪S2)。另一方面F,S1,S2 F(S1)(S2)，故F(S1∪S2)F(S1)(S2)，因此F(S1)(S2)=F(S1∪S2)。 定义2 设F是一个域，V是一个加群，且集合F×V={ (a,v) | aF, vV}到V有一个映射，这一映射表为 (a,v) ( avV。假定映射满足下列条件，对每a,bF，u,vV有 (1)a(u+v)=au+av (2)(a+b)v=av+bv (3)a(bv)=(ab)v (4)1v=v 则V称为域F上的向量空间。 若V含有限子集{v1, v2,…, vn}使每v= a1v1+ a2v2+…+anvn , ai(F,且a1v1+ a2v2+…+anvn = b1v1+ b2v2+…+bnvn当且仅当ai=bi,i=1,2，…，n，则V称为有限维向量空间,{v1, v2,…, vn}称为V的基,n是V的维数。 定义3 若E是F的扩域，则E也是F的向量空间。如果E是有限维F向量空间，则E称为域F的有限扩域，E的F维数记为︱E:F︱，称为扩域的次数。 定理3.1.2 设E是F的扩域，K是E的扩域，则次