規矩數

可用尺規作圖方式作出的實數
各式各樣的
基本

延伸
其他

圓周率
自然對數的底
虛數單位
無限大

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

和尺規作圖的關係

編輯

利用尺規作圖可以將二線段的長度進行四則運算,也可以求出一線段長度的平方根[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]. (原始內容存檔於2014-06-23).  外部連結存在於|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 (英語).