規矩數

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

和尺規作圖的關係

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

• 整數。
• 所有有理數。
• 規矩數$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$。

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

與古希臘三大難題之關係

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

尺规可作性和规矩数

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

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

$C({\mathrm{E}}_0)=\bigcup _{n\in \mathbb{N}}{\mathrm{E}}_n.$Template:R

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

定义：实数$a$和$b$是规矩数当且仅当$(a,b)$是$\mathrm{H}$中的一个点。Template:R

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

域的扩张与最小多项式

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

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

的点（其中$P_1$和$P_2$是两个多项式）。有理数域$\mathbb{Q}$和所有因为Template:Math而多出来的尺规可作点仍旧构成一个域，称为$\mathbb{Q}$关于Template:Math的扩张，记作$\mathbb{Q}(z)$。然而，$\mathbb{Q}(z)$中的元素并没有表面上那么“多”。一般来说，如果有一个多项式$P$使得$P(z)=0$，那么$\mathbb{Q}(z)$中的元素都可以写成${\lambda }_1+{\lambda }_{2}z+\dots +{\lambda }_d{z}^{d-1}$的形式，其中$d$是$P$的阶数。这样的情况称为域$\mathbb{Q}$的有限扩张，因为$\mathbb{Q}(z)$可以看成关于$\mathbb{Q}$的有限维线性空间。为了确定这个线性空间的维数，需要为它找一个基底，也就是一个线性无关的最小生成集。为此，寻找使得$m(z)=0$的多项式中阶数最小的，并称$m$是$z$最小多项式。在最小多项式确定后，便可确定$1,z,\dots ,z^{d_{m^{-1}}}$是$\mathbb{Q}(z)$的一个基底，$\mathbb{Q}(z)$是一个$d_m$维的$\mathbb{Q}$-线性空间（$d_m$是$m$的阶数）Template:R。这时候也称$d_m$是域扩张$\mathbb{Q}\subseteq \mathbb{Q}(z)$的阶数，记作：

$[\mathbb{Q}(z):\mathbb{Q}]={\mathrm{d}}_m$Template:R

规矩扩张的阶数

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

直线的方程是：$ax+by+c=0,a,b,c\in \mathrm{L},\cdots (1)$

圆的方程是：$(x-c_1{)}^2+(y-c_2{)}^2=r^2,c_1,c_2,r\in \mathrm{L}.\cdots (2)$

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

$\{\begin{array}{cc}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{array}$

的数值。所以复规矩数Template:Math=Template:Math满足一个二次方程：

$(z-(p_1+p_{2}i){)}^2=t(q_1+q_{2}i{)}^2$

其中的$p_{1}i+p_{2}i$、$q_1+q_{2}i$以及$t$都是$L$中的元素Template:R。这意味着，域扩张$L\subseteq L(z)$的阶数最多是2（最小多项式的阶数至多是2）。这又说明，从$L$开始，经过一系列（$n$次）基本步骤得到的尺规可作点，代表了$n$次域扩张：

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

而每次域扩张的阶数：$[L_k:L_{k-1}]$都不超过2。因此，如果从基本的有理数域出发的话，就能得到如下的定理：Template:R Template:Squote 其中的$s$是某个小于$n$的自然数（$n$是已知所有有理数坐标点时，作出$z$对应的点要经过的基本步骤数目）。