規矩數

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}

正數 \begin{smallmatrix} \mathbb{R}^+ \end{smallmatrix}
自然数 \begin{smallmatrix} \mathbb{N} \end{smallmatrix}
正整數 \begin{smallmatrix} \mathbb{Z}^+ \end{smallmatrix}
小数
有限小数
无限小数
循环小数
有理数 \begin{smallmatrix} \mathbb{Q} \end{smallmatrix}
代數數 \begin{smallmatrix} \mathbb{A} \end{smallmatrix}
实数 \begin{smallmatrix} \mathbb{R} \end{smallmatrix}
複數 \begin{smallmatrix} \mathbb{C} \end{smallmatrix}
高斯整數 \begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}

负数 \begin{smallmatrix} \mathbb{R}^- \end{smallmatrix}
整数 \begin{smallmatrix} \mathbb{Z} \end{smallmatrix}
负整數 \begin{smallmatrix} \mathbb{Z}^- \end{smallmatrix}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数 \begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}

延伸

雙複數
四元數 \begin{smallmatrix} \mathbb{H} \end{smallmatrix}
共四元數
八元數 \begin{smallmatrix} \mathbb{O} \end{smallmatrix}
超數
上超實數

超复数
十六元數 \begin{smallmatrix} \mathbb{S} \end{smallmatrix}
複四元數
大實數
超實數 \begin{smallmatrix} {}^\star\mathbb{R} \end{smallmatrix}
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率 \begin{smallmatrix} \pi \end{smallmatrix}
 = 3.141592653…
自然對數的底 \begin{smallmatrix} e \end{smallmatrix}
 = 2.718281828…
虛數單位 \begin{smallmatrix} i \end{smallmatrix}
 = \begin{smallmatrix} +\sqrt{-1} \end{smallmatrix}
無窮大 \begin{smallmatrix} \infty \end{smallmatrix}

規矩數(又稱可造數)是指可用尺規作圖方式作出的實數。在給定單位長度的情形下,若可以用尺規作圖的方式作出長度為 a 的線段,則 a 就是規矩數。規矩數的「規」和「矩」分別表示圓規及直尺,兩個尺規作圖的重要元素。

和尺規作圖的關係[编辑]

利用尺規作圖可以將二線段的長度進行四則運算,也可以求出一線段長度的平方根[1]因此符合以下任一條件的均為規矩數。

  • 整數
  • 所有有理數
  • 規矩數 a 的平方根\sqrt[]{a}、四次方根\sqrt[4]{a}、八次方根\sqrt[8]{a}...等2^{n}次方根。
  • 有限个規矩數相、相、相、相(除數不得為0)的結果。

3,\frac{5}{2},\sqrt[]{3},\sqrt[4]{7},\frac{\sqrt{3+\sqrt{5}}}{2} 均為規矩數。而 \sqrt[3]{2},圓周率\pi\,,e均不是規矩數。

因為兩個規矩數在相加、減、乘或除之後依然是規矩數,即規矩數对这些算法是封闭的;换用抽象代数术语,它是一個

和整係數方程的關係[编辑]

規矩數一定是代數數(為一整係數代數方程的解),且以此解為其解的最小多項式其次數為2^{n}

此條件為規矩數成立的必要條件。因此若一個數是超越數(非代數數),或一數對應的最小多項式為三次、五次,此數必定不是規矩數。

與古希臘三大難題之關係[编辑]

尺规作图三大难题提出後,有許多基於平面幾何的論證和嘗試,但在十九世紀以前,一直沒有完整的解答,但開始懷疑其可能性的人之中,也沒有人能夠證明這樣的解法一定不存在。直到十九世紀後,伽羅瓦和阿貝爾開創了以群論來討論有理係數多項式方程之解的方法,人們才認識到这三个問題的本質[2]

尺规可作性和规矩数[编辑]

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

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

C(\mathrm{E}_0) = \bigcup_{n\in\mathbb{N}} \mathrm{E}_n.[3]:521

另一个与尺规可作性相关的概念是规矩数。设H是从集合E0={(0,0), (0,1)}开始,尺规可作点的集合:\mathrm{H} = C(\mathrm{E}_0), 那么规矩数定义为H中的点的横坐标和纵坐标表示的数。

定义:实数ab是规矩数当且仅当(a, b)H中的一个点。[3]:522

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

域的扩张与最小多项式[编辑]

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

\frac{P_1(z)}{P_2(z)}

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

[ \mathbb{Q}(z) : \mathbb{Q} ] = \mathrm{d}_m [3]:512

规矩扩张的阶数[编辑]

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

直线的方程是:ax + by + c = 0, \quad a, b, c \in \mathrm{L},  \qquad \qquad \cdots \; \; (1)
圆的方程是:(x -c_1)^2 + (y - c_2)^2  = r^2, \quad c_1, c_2, r \in \mathrm{L}.\qquad \qquad \cdots \; \; (2)

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


\begin{cases}
x = p_1 + q_1\sqrt{t} & p_1 , \;  q_1 ,  \; t \; \in \mathrm{L}\\
y = p_2 + q_2\sqrt{t} & p_2 , \; q_2 \; \in \mathrm{L}
\end{cases}

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

(z - (p_1 + p_2 i))^2 = t(q_1 + q_2 i)^2

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

\mathrm{L} \subseteq \mathrm{L}_1 \subseteq \cdots \subseteq \mathrm{L}_n.

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

任何复规矩数z对应的域扩张\mathbb{Q} \subseteq \mathbb{Q}(z)的阶数[ \mathbb{Q}(z) : \mathbb{Q} ]都是2的某个幂次:

[ \mathbb{Q}(z) : \mathbb{Q} ] = 2^s

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

参考[编辑]

  1. ^ 王树和. 《数学演义》. 科学出版社. : P18. ISBN 9787030218377. 
  2. ^ 2.0 2.1 2.2 2.3 曹亮吉. 《三等分任意角可能吗?》. 原載於科學月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28]. 
  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 (英文).