尺规作图的规格化交点序列与域扩张.docVIP

尺规作图的规格化，交点序列及其域扩张 吴敏金 mjwu1940@mail.ecnu.edu.cn 借助代数方法，古典几何三大尺规作图难题（角三等分，倍立方，圆化方）的不能作图早已被证实[1]。然而对其证明常有质疑之声[2]。究其原因，经典论著与一些近世代数教材的论述也存在某些欠缺与瑕疵。如，忽略了尺规作图过程中可根据需要选取任意点[3]；尺规作图的几何问题如何转化为代数问题的陈述过于繁杂[4]；更有甚者认为，域扩张属于严格的数学概论，而尺规作图属现实概念，无法证明二者的等价性[5]。 对此，本文通过尺规作图的规格化：交点序列及其域扩张，以完整阐述尺规作图能与不能问题的论证方法。 一、尺规作图的规格化 简单地说，所谓尺规作图的规格化就是将作图过程转化为一个逐步求交点序列的过程。 假设一尺规作图命题在笛卡尔坐标平面上完成（也可理解为复平面）。那么，由其作图过程可引出尺规作图的规格化如下： 首先，根据该尺规作图命题已知的确定点及尺规作图过程中的任选点组成一个有限的初始点集Z0（必要时可加入点i）。 第1步，从初始集Z0中选4个点（必要时也可取为同一点，下同），其坐标分别为(x1,y1), (x2,y2)，(x3,y3)，(x4,y4)。过其中的二个点可作一直线，直线方程为 (x-x1)/(y-y1)= (x2-x1)/ (y2-y1)…（设y1y2）..(1) 以其中的一个点