跳至內容

三等分角

維基百科,自由的百科全書
三等分角無法按照尺規作圖的規定作出,但如果藉助另外的工具或放寬尺規作圖的限制,三等分角是可行的

三等分角古希臘平面幾何尺規作圖領域中的著名問題,與化圓為方倍立方問題並列為尺規作圖三大難題。尺規作圖是古希臘人的數學研究課題之一,是對具體的直尺圓規畫圖可能性的抽象化,研究是否能用規定的作圖法在有限步內達到給定的目標。三等分角問題的內容是:「能否僅用尺規作圖法將任意角度三等分?」

三等分角問題提出後,在漫長的兩千餘年中,曾有眾多的嘗試,但沒有人能夠給出嚴格的答案[1] 。隨著十九世紀群論和域論的發展,法國數學家皮埃爾·汪策爾英語Pierre Wantzel首先利用伽羅瓦理論證明,這個問題的答案是否定的:不存在僅用尺規作圖法將任意角度三等分的通法。具體來說,汪策爾研究了給定單位長度後,能夠用尺規作圖法所能達到的長度值。所有能夠經由尺規作圖達到的長度值被稱為規矩數,而汪策爾證明了,如果能夠三等分任意角度,那麼就能做出不屬於規矩數的長度,從而反證出通過尺規三等分任意角是不可能的。

如果不將手段局限在尺規作圖法中,放寬限制或藉助更多的工具的話,三等分任意角是可能的。然而,作為數學問題本身,由於三等分角問題表述簡單,而證明困難,並用到了高等的數學方法,在已被證明不可能實現後,仍然有許多人嘗試給出肯定的證明。[1]

背景簡介

[編輯]

尺規作圖法

[編輯]

在敘述三等分問題前,首先需要介紹尺規作圖的意思。尺規作圖問題是從現實中具體的「直尺和圓規畫圖可能性」問題抽象出來的數學問題,將現實中的直尺和圓規抽象為數學上的設定,研究的是能不能在若干個具體限制之下,在有限的步驟內作出給定的圖形、結構或其他目標的問題。在尺規作圖中,直尺和圓規的定義是[1]

直尺:一側為無窮長的直線,沒有刻度也無法標識刻度的工具。只可以讓筆摹下這個直線的全部或一部分。
圓規:由兩端點構成的工具。可以在保持兩個端點之間的距離不變的情況下,固定其中一個端點,讓另一個端點移動,作出圓弧或圓。兩個端點之間的距離只能取已經作出的兩點之間的距離,或者任意一個未知的距離。

定義了直尺和圓規的特性後,所有的作圖步驟都可以歸化為五種基本的步驟,稱為作圖公法[1]

  • 通過兩個已知點,作一直線。
  • 已知圓心和半徑,作一個圓。
  • 若兩已知直線相交,確定其交點。
  • 若已知直線和一已知圓相交,確定其交點。
  • 若兩已知圓相交,確定其交點。

尺規作圖研究的,就是是否能夠通過以上五種步驟的有限次重複,達到給定的作圖目標。尺規作圖問題常見的形式是:「給定某某條件,能否用尺規作出某某對象?」比如:「給定一個圓,能否用尺規作出這個圓的圓心?」等等。[1]

問題敘述

[編輯]

三等分角問題的完整敘述是[2]

關於這個敘述中的用詞和術語,需要一一作出定義。「角」可以有兩種等價的定義:一個角可以是由一點和從它出發的兩條射線構成的集合,也可以是由三點和連接它們的兩條線段構成的集合。以下的敘述中採取第二個定義,用三個大寫英文字母或一個希臘字母表示一個角。角AOB指的是由三點A, O, B以及線段AOOB構成的集合,也可以直接用一個希臘字母如α表示。兩個角AOBA'O'B'相等,指的是以下條件:如果將線段OA沿點A延長為射線,在上面作一點C使得OC O'A',同時將線段OB沿點B延長為射線,在上面作一點D使得OD O'B',則CD A'B'

一個角α等於另一個角β的三分之一,指的是角β等於角α的三倍。而一個角AOB等於角AOCk倍(k > 1為自然數),指的是可以找到點B1, B2, ... , Bk等,使得k個角AOB1, B1OB2, ... , Bk-1OBk都等於AOC,並且點Bk就是點B

二等分角問題

[編輯]
尺規二等分任意角度的過程

與三等分角問題相比,用尺規作圖將任意角二等分要容易得多。右圖具體說明了二等分一個角的步驟。依照類似的步驟,也能夠將任意角四等分、八等分……但直到十九世紀,隨著群論和伽羅瓦理論的出現,數學家們才認識到二等分角和三等分角本質上的不同。在現代數學語言中,更常用域擴張的理論來論述三等分角的問題。從證明三等分角的過程中可以知道,尺規作圖的方法不但不能三等分任意角,也不能將任意角五等分、七等分、九等分、十一等分。其理由涉及到直線和圓的解析性質。

不可能性的證明

[編輯]

1837年,法國數學家汪策爾證明了,三等分角問題是沒有辦法完成的[3]:15

三等分角問題提出後,有許多基於平面幾何的論證和嘗試,但在十九世紀以前,一直沒有完整的解答。沒有人能夠給出將任意角度三等分的確實做法,但開始懷疑其可能性的人之中,也沒有人能夠證明這樣的做法一定不存在。直到十九世紀後,伽羅瓦阿貝爾(全名:尼爾斯·阿貝爾)開創了以群論來討論有理係數多項式方程之解的方法,人們才認識到三等分角問題的本質。

尺規可作性和規矩數

[編輯]

在研究各種尺規作圖問題的時候,數學家們留意到,能否用尺規作出特定的圖形或目標,本質是能否作出符合的長度。引進直角坐標系和解析幾何以後,又可以將長度解釋為坐標。比如說,作出一個圓,實際上是作出圓心的位置(坐標)和半徑的長度。作出特定的某個交點或某條直線,實際上是找出它們的坐標、斜率和截距。為此,數學家引入了尺規可作性這一概念。假設平面上有兩個已知的點OA,以OA為單位長度,射線OAx-軸正向可以為平面建立一個標準直角坐標系,平面中的點可以用橫坐標和縱坐標表示,整個平面可以等價於

E的一個非空子集。如果某直線經過E中不同的兩點,就說E-尺規可作的,簡稱E-可作。同樣地,如果某個圓的圓心和圓上的某個點是E中的元素,就說E-可作的。進一步地說,如果里的某個點P是某兩個E-可作的直線或圓的交點(直線-直線、直線-圓以及圓-圓),就說點PE-可作的。這樣的定義是基於五個基本步驟得來的,包括了尺規作圖中從已知條件得到新元素的五種基本方法。如果將所有E-尺規可作的點的集合記作s(E),那麼當E中包含超過兩個點的時候,E肯定是s(E)的真子集。從某個點集E0開始,經過一步能作出的點構成集合E1 s(E),經過兩步能作出的點就是E2 s(E1),……以此類推,經過n步能作出的點集就是En s(En-1)。而所有從E能尺規作出的點集就是:

[4]:521

另一個與尺規可作性相關的概念是規矩數。設H是從集合E0 {(0,0), (0,1)}開始,尺規可作點的集合:H C(E0),那麼規矩數定義為H中的點的橫坐標和縱坐標表示的數。

定義:實數ab是規矩數若且唯若(a, b)H中的一個點。[4]:522

可以證明,有理數是所有規矩數構成的集合K的子集,而K又是實數集的子集。另外,為了在複數集內討論問題,也會將平面看作複平面,同時定義一個複數a+bi是(復)規矩數若且唯若點(a, b)H中的一個點。所有復規矩數構成的集合L也包含作為子集,並且是複數集的子集。從尺規可作性到解析幾何下的規矩數,三等分角問題從幾何問題轉成了代數的問題。[4]:522

域的擴張與最小多項式

[編輯]

以集合的觀念來說,L之間是子集與包含的關係。以抽象代數的觀點來說,可以證明L是有理數域的擴域,是實數域的子域。記作是抽象代數中的概念,是能夠進行「加減乘除」運算的集合。從單位長度出發,很容易得到任何有理數長度的線段,所以直線OA(也就是實數軸)上所有的有理數坐標的點都是尺規可作點[1]。如果平面上還有另一個尺規可作點(對應複數z),那麼也能做出任意pz+q的點,甚至於任何形如:

的點(其中P1P2是兩個多項式)。有理數域和所有因為z而多出來的尺規可作點仍舊構成一個域,稱為關於z的擴張,記作。然而,中的元素並沒有表面上那麼「多」。一般來說,如果有一個多項式P使得P(z)=0,那麼中的元素都可以寫成λ12z+...+λdzd-1的形式,其中dP的階數。這樣的情況稱為域有限擴張,因為可以看成關於的有限維線性空間。為了確定這個線性空間的維數,需要為它找一個基底,也就是一個線性無關的最小生成集。為此,尋找使得m(z) 0的多項式中階數最小的,並稱mz最小多項式。在最小多項式確定後,便可確定1, z, ... , zdm-1的一個基底,是一個dm維的-線性空間(dmm的階數)[5]:68。這時候也稱dm是域擴張的階數,記作:

[4]:512

規矩擴張的階數

[編輯]

對任何一個尺規可作點,都可以考察它對應的域擴張的階數。由於每個尺規可作點都是通過五種作圖公法的有限次累加得到的,而其中生成新點(也就是新坐標)的只有後三種。所以只需考察這三種步驟得到的新點對應的域擴張的階數。假設某個時刻,已知的所有尺規可作點構成的域是L,那麼生成新點時的直線和圓的係數都在L裡面。

直線的方程是:
圓的方程是:

無論是兩個(1)類方程,兩個(2)類方程,還是一個(1)類和一個(2)類方程聯立求解,得到的xy值都會是形同

的數值。所以復規矩數z x+yi滿足一個二次方程:

其中的p1+p2iq1+q2i以及t都是L中的元素[4]:523[5]:78-79。這意味著,域擴張L⊆L(z)的階數最多是2(最小多項式的階數至多是2)[1]。這又說明,從L開始,經過一系列(n次)基本步驟得到的尺規可作點,代表了n次域擴張:

而每次域擴張的階數:[Lk : Lk-1]都不超過2。因此,如果從基本的有理數域出發的話,就能得到如下的定理:[4]:523-524[1]

任何復規矩數z對應的域擴張的階數都是2的某個冪次:

其中的s是某個小於n的自然數(n是已知所有有理數坐標點時,作出z對應的點要經過的基本步驟數目)。

三等分角的反證

[編輯]

上文已經說明,任何可以用尺規作圖作出的點,其座標對應一個復規矩數,它的最小多項式次數為。以下用反證法證明三等分任意角是不可能的。反設可以用尺規作圖將任意角三等分,代表對任意角度是的角,均可以由尺規作圖得到 角度為的角。這等價於說在已知單位長度和的時候能做出的長度。設L是包含了和單位長度1的域。用尺規作圖可以得到,說明域擴張的階數是2的冪次:

然而根據三倍角公式:

運用多項式的知識可以證明,L中的最小多項式的階數必定不大於3,也就是說是1,2或者3[4]:512。比如說當角度時,L就是)三倍角公式變成:

,即是:

這個多項式不可約,所以這個方程的解不屬於有理數集,所以可以證明[1]然而3不是2的冪次,這和之前的結論矛盾。如此便說明,無法用尺規作圖將任意角三等分[4]:525-526

能夠尺規三等分的角度

[編輯]

以上的證明通過一個反例:說明了用尺規作圖將任意角三等分是不可能的。但用尺規作圖三等分某些特定的角(比如說直角)仍然是可行的[1]。事實上,從證明中可以看出,尺規三等分某個角等價於說[5]:58。要注意的是,這個條件與本身能否用尺規作圖作出並不相關。實際上,有的角度即便本身無法用尺規作圖法作出,但如果已知角作為條件,是能夠用尺規作圖將它三等分的。角度就是這樣一個例子。它本身無法用尺規作出,但如果給定一個的角,它的五倍角就是,等於將圓周繞過一圈後的,這正是的三分之一。可以證明,角度可以用尺規三等分,若且唯若自然數N本身無法被三整除。

從證明中還可看出,只要自然數k只含有2以外的因子,根據k倍角公式得到的k階多項式就說明的最小多項式階數整除k,所以不是2的冪次,從而無法用尺規作圖k等分任意角。例如用尺規作圖五等分任意角、七等分任意角等等都是不可能的(可以五等分,當且僅當N不是5的倍數;而不管N是多少,都不能七等分,因為正七邊形本身就不能尺規作圖了)。

三等分角的方法

[編輯]

用尺規作圖的方法三等分角被證明是不可行的。如果放寬尺規作圖的限制,或允許使用另外的工具,那麼三等分任意角仍舊是可能的。

無限次步驟

[編輯]

尺規作圖要求在有限次步驟內將任意角三等分。如果我們允許使用無限次的步驟來構造三等分角的話,可以利用

這個無窮級數的和來實現。給定任意一的角度為的角。已知尺規二等分角是可行的,所以重複兩次就能夠四等分一個角,得到。同樣地,可以作出等所有形同的角。將它們逐次相加,就能夠在無限次(可數次)操作後用尺規作圖得到

[1]

二刻尺

[編輯]
把角a三等分
把角a三等分

如果允許使用有刻度的直尺(二刻尺),則三等分任意角是可行的。右圖為把角a三等分的示意圖。這個想法最早由阿基米德提出[3]:4

首先,在直尺上有兩個刻度,相距AB。把角上的直線延長,並作一個半徑AB的圓。

把直尺的一點固定在A,並將直尺繞著點A移動,直到其中一個刻度位於點C,另一個刻度位於點D,也就是說,CD AB。這時,角b就是角a的三分之一。

要證明,我們需要利用直線上的鄰角(adjacent angles on straight line),三角形的內角和(angle sum of triangle)及等腰三角形底角(base angle, isosceles triangle)。

證明:

  1. 兩式相減,得
  2. ,因此,把上式代入,得
  3. ,因此

所以,,或。證畢。[1][3]:4-5

或者,可以利用三角形的外角(Exterior Angle of a Triangle)作證明。

同樣也可證明。

藉助其他形狀或工具

[編輯]

尺規作圖的規定來自於古希臘的柏拉圖學派,他們認為僅有直線和圓是完美的形狀。事實上,如果允許在作圖中使用其他的曲線或形狀,那麼三等分任意角是可行的。例如:已知角AOB,做其角平分線OC。以直線OC為準線,點A為焦點,作一雙曲線;同時以O為圓心,OA為半徑做圓。設該圓與雙曲線在角AOB內側的交點為D,那麼角AOD等於角AOB的三分之一。[1]此外,麥克勞林利馬松等人也曾經設計過可以輔助三等分角的曲線阿基米德螺線(等角螺線)也是能夠直觀幫助三等分角的曲線。在極坐標中,阿基米德螺線的方程是:

其中的是極徑(離原點的距離),是幅角。由於極徑和幅角成正比,所以要尋找等於給定角度三分之一的角度,只需要確定原角度對應的極徑長度,然後對比找出對應的角度即可。[3]:8

相關條目

[編輯]

參考來源

[編輯]
  1. ^ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 曹亮吉. 《三等分任意角可能吗?》. 原載於科學月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28]. (原始內容存檔於2014-06-23).  外部連結存在於|publisher= (幫助)
  2. ^ 康明昌. 《古希臘幾何三大問題 》. 原載於數學傳播第八卷第二期、第八卷第三期分兩期刊出. http://episte.math.ntu.edu.tw. [2013-05-29]. (原始內容存檔於2004-04-06).  外部連結存在於|publisher= (幫助)
  3. ^ 3.0 3.1 3.2 3.3 Underwood Dudley. The trisectors. Cambridge University Press. 1994. ISBN 9780883855140 (英語). 
  4. ^ 4.0 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Warner. Modern algebra. Courier Dover Publications. 1990. ISBN 9780486663418 (英語). 
  5. ^ 5.0 5.1 5.2 Stewart, Ian. Galois Theory. Chapman and Hall Mathematics. 1989. ISBN 0-412-34550-1 (英語). 

外部連結

[編輯]