规矩数 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 规矩数.

规矩数

维基百科,自由的百科全书

此条目需要扩充。 (2013年3月2日)请协助改善这篇条目,更进一步的信息可能会在讨论页或扩充请求中找到。请在扩充条目后将此模板移除。
各种各样的
基本

正数
自然数
正整数
小数
有限小数
无限小数
循环小数
有理数
代数数
实数
复数
高斯整数

负数
整数
负整数
分数
单位分数
二进分数
规矩数
无理数
超越数
虚数
二次无理数
艾森斯坦整数

延伸

二元数
四元数
八元数
十六元数
超实数
大实数
上超实数

双曲复数
双复数
复四元数
共四元数英语Dual quaternion
超复数
超数
超现实数

其他

质数
可计算数
基数
阿列夫数
同余
整数数列
公称值

规矩数
可定义数
序数
超限数
p进数
数学常数

圆周率
自然对数的底
虚数单位
无穷大

规矩数(又称可造数)是指可用尺规作图方式作出的实数。在给定单位长度的情形下,若可以用尺规作图的方式作出长度为的线段,则就是规矩数。规矩数的“规”和“矩”分别表示圆规直尺,两个尺规作图的重要元素。

和尺规作图的关系

利用尺规作图可以将二线段的长度进行四则运算,也可以求出一线段长度的平方根[1]因此符合以下任一条件的均为规矩数。

  • 整数
  • 所有有理数
  • 规矩数的平方根、四次方根、八次方根...等次方根。
  • 有限个规矩数相、相、相、相(除数不得为0)的结果。

如3, ,,, 均为规矩数。而 ,圆周率,e均不是规矩数。

因为两个规矩数在相加、减、乘或除之后依然是规矩数,即规矩数对这些算法是封闭的;换用抽象代数术语,它是一个

和整系数方程的关系

规矩数一定是代数数(为一整系数代数方程的解),且以此数为其解的最小多项式其次数为

此条件为规矩数成立的必要条件。因此若一个数是超越数(非代数数),或一数对应的最小多项式为三次、五次,此数必定不是规矩数。

与古希腊三大难题之关系

尺规作图三大难题提出后,有许多基于平面几何的论证和尝试,但在十九世纪以前,一直没有完整的解答,但开始怀疑其可能性的人之中,也没有人能够证明这样的解法一定不存在。直到十九世纪后,伽罗瓦和阿贝尔开创了以群论来讨论有理系数多项式方程之解的方法,人们才认识到这三个问题的本质[2]

尺规可作性和规矩数

在研究各种尺规作图问题的时候,数学家们留意到,能否用尺规作出特定的图形或目标,本质是能否作出符合的长度。引进直角坐标系和解析几何以后,又可以将长度解释为坐标。比如说,作出一个圆,实际上是作出圆心的位置(坐标)和半径的长度。作出特定的某个交点或某条直线,实际上是找出它们的坐标、斜率和截距。为此,数学家引入了尺规可作性这一概念。假设平面上有两个已知的点O和A,以OA为单位长度,射线OA为x轴正向可以为平面建立一个标准直角坐标系,平面中的点可以用横坐标和纵坐标表示,整个平面可以等价于

的一个非空子集。如果某直线经过中不同的两点,就说-尺规可作的,简称-可作。同样地,如果某个圆的圆心和圆上的某个点是中的元素,就说-可作的。进一步地说,如果里的某个点P是某两个-可作的直线或圆的交点(直线-直线、直线-圆以及圆-圆),就说点P是-可作的。这样的定义是基于五个基本步骤得来的,包括了尺规作图中从已知条件得到新元素的五种基本方法。如果将所有-尺规可作的点的集合记作,那么当中包含超过两个点的时候,肯定是的真子集。从某个点集开始,经过一步能作出的点构成集合,经过两步能作出的点就是,……以此类推,经过步能作出的点集就是。而所有从能尺规作出的点集就是:

[3]:521

另一个与尺规可作性相关的概念是规矩数。设是从集合开始,尺规可作点的集合: 那么规矩数定义为中的点的横坐标和纵坐标表示的数。

定义:实数是规矩数当且仅当中的一个点。[3]:522

可以证明,有理数是所有规矩数构成的集合K的子集,而又是实数集的子集。另外,为了在复数集内讨论问题,也会将平面看作复平面,同时定义一个复数是(复)规矩数当且仅当点中的一个点。所有复规矩数构成的集合也包含作为子集,并且是复数集的子集。从尺规可作性到解析几何下的规矩数,尺规作图问题从几何问题转成了代数的问题。[3]:522

域的扩张与最小多项式

以集合的观念来说,之间是子集与包含的关系。以抽象代数的观点来说,可以证明L是有理数域的扩域,是实数域的子域。记作是抽象代数中的概念,是能够进行“加减乘除”运算的集合。从单位长度出发,很容易得到任何有理数长度的线段,所以直线OA(也就是实数轴)上所有的有理数坐标的点都是尺规可作点[2]。如果平面上还有另一个尺规可作点(对应复数),那么也能做出任意pz+q的点,甚至于任何形如:

的点(其中是两个多项式)。有理数域和所有因为z而多出来的尺规可作点仍旧构成一个域,称为关于z的扩张,记作。然而,中的元素并没有表面上那么“多”。一般来说,如果有一个多项式使得,那么中的元素都可以写成的形式,其中的阶数。这样的情况称为域有限扩张,因为可以看成关于的有限维线性空间。为了确定这个线性空间的维数,需要为它找一个基底,也就是一个线性无关的最小生成集。为此,寻找使得的多项式中阶数最小的,并称最小多项式。在最小多项式确定后,便可确定的一个基底,是一个维的-线性空间(的阶数)[4]:68。这时候也称是域扩张的阶数,记作:

[3]:512

规矩扩张的阶数

对任何一个尺规可作点,都可以考察它对应的域扩张的阶数。由于每个尺规可作点都是通过五种作图公法的有限次累加得到的,而其中生成新点(也就是新坐标)的只有后三种。所以只需考察这三种步骤得到的新点对应的域扩张的阶数。假设某个时刻,已知的所有尺规可作点构成的域是L,那么生成新点时的直线和圆的系数都在L里面。

直线的方程是:
圆的方程是:

无论是两个(1)类方程,两个(2)类方程,还是一个(1)类和一个(2)类方程联立求解,得到的xy值都会是形同

的数值。所以复规矩数z=x+yi满足一个二次方程:

其中的以及都是中的元素[3]:523[4]:78-79。这意味着,域扩张的阶数最多是2(最小多项式的阶数至多是2)[2]。这又说明,从开始,经过一系列(次)基本步骤得到的尺规可作点,代表了次域扩张:

而每次域扩张的阶数:都不超过2。因此,如果从基本的有理数域出发的话,就能得到如下的定理:[3]:523-524[2]

任何复规矩数对应的域扩张的阶数都是2的某个幂次:

其中的是某个小于的自然数(是已知所有有理数坐标点时,作出对应的点要经过的基本步骤数目)。

参考

  1. ^ 王树和. 《数学演义》. 科学出版社. : P18. ISBN 9787030218377. 
  2. ^ 2.0 2.1 2.2 2.3 曹亮吉. 《三等分任意角可能吗?》. 原载于科学月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28].  外部链接存在于|publisher= (帮助)
  3. ^ 3.0 3.1 3.2 3.3 3.4 3.5 Warner. Modern algebra. Courier Dover Publications. 1990. ISBN 9780486663418 (英语). 
  4. ^ 4.0 4.1 Stewart, Ian. Galois Theory. Chapman and Hall Mathematics. 1989. ISBN 0-412-34550-1 (英语). 
{{bottomLinkPreText}} {{bottomLinkText}}
规矩数
Listen to this article