開啟主選單

求真百科

化圓為方
圖片來自知乎網網絡

化圓為方是古希臘尺規作圖問題之一,即:求一正方形,其面積等於一給定圓的面積。由π為超越數可知,該問題僅用直尺和圓規是無法完成的。但若放寬限制,這一問題可以通過特殊的曲線來完成。如西皮阿斯的割圓曲線,阿基米德的螺線等。

方圓的問題與提洛斯問題是同時代的,由希臘人開始研究。有名的阿基米德把這問題化成下述的形式:已知一圓的半徑是r,圓周就是,則這三角形的面積就是:

與已知圓的面積相等。由這個直角三角形不難作出同面積的正方形來。但是如何作這直角三角形的邊。即如何作一線段使其長等於一已知圓的周長,這問題阿基米德可就解不出了。

二千年間,儘管對化圓為方問題上的研究 沒有成功,但卻發現了一些特殊曲線。希臘安提豐(公元前430)為解決此問題而提出的 「窮竭法」,是近代極限論的雛形。大意是指先作圓內接正方形(或正6邊形),然後每次 將邊數加倍,得內接8、16、32、…邊形,他相信「最後」的正多邊形必與圓周重合, 這樣就可以化圓為方了。雖然結論是錯誤的,但卻提供了求圓面積的近似方法,成為阿基米德計算圓周率方法的先導,與中國劉徽的割圓術不謀而合,對窮竭法等科學方法的建立產生 直接影響。

目錄

其二

其實,若不受標尺的限制,化圓為方問題並非難事,歐洲文藝復興時代的大師意大利數學家達芬奇(1452-1519)用已知圓為底,圓半徑的 ,然後再將矩形化為等積的正方形即可。

現已證明,在尺規作圖的條件下,此題無解。

歷史

公元前5世紀,古希臘哲學家阿那克薩哥拉因為發現太陽是個大火球,而不是阿波羅神,犯有「褻瀆神靈罪」而被投入監獄。在法庭上,阿那克薩哥拉申訴道:「哪有什麼太陽神阿波羅啊!那個光耀奪目的大球,只不過是一塊火熱的石頭,大概有伯羅奔尼撒半島那麼大;再說,那個夜晚發出清光,晶瑩透亮象一面大鏡子的月亮,它本身並不發光,全是靠了太陽的照射,它才有了光亮。」結果他被判處死刑。

在等待執行的日子了,夜晚,阿那克薩哥拉睡不着。圓圓的月亮透過正方形的鐵窗照進牢房,他對方鐵窗和圓月亮產生了興趣。他不斷變換觀察的位置,一會兒看見圓比正方形大,一會兒看見正方形比圓大。最後他說:「好了,就算兩個圖形面積一樣大好了。」

阿那克薩哥拉把「求作一個正方形,使它的面積等於已知的圓面積」作為一個尺規作圖問題來研究。起初他認為這個問題很容易解決,誰料想他把所有的時間都用上,也一無所獲。

經過好朋友、政治家伯里克利的多方營救,阿那克薩哥拉獲釋出獄。他把自己在監獄中想到的問題公布出來,許多數學家對這個問題很感興趣,都想解決,可是一個也沒有成功。這就是著名的「化圓為方」問題。

2000年前的希波克拉底證明了新月形面積。

三角形不難平方化,從而新月形也能平方化。他的方法既簡單又高明,這使得人們充滿希望。直到林德曼證明了圓周率是超越數以後,才知道是不可能的。

問題敘述

化圓為方問題的完整敘述是給定一個圓,是否能夠通過以上說明的五種基本步驟,於有限次內作出一個正方形,使得它的面積等於圓的面積

如果將圓的半徑定為單位長度,則化圓為方問題的實質是作出長度

為單位長度倍的線段。

不可能性證明

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

1.尺規可作性和規矩數

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

設E是的一個非空子集。如果某直線經過。而所有從E能尺規作出的點集就是:

另一個與尺規可作性相關的概念是規矩數。設H是從集合

開始,尺規可作點的集合: 那麼規矩數定義為H中的點的橫坐標和縱坐標表示的數。

定義:實數 中的一個點。

可以證明,有理數集是所有規矩數構成的集合 也包含作為子集,並且是複數集的子集。從尺規可作性到解析幾何下的規矩數,尺規作圖問題從幾何問題轉成了代數的問題。

2.圓周率的超越性

化圓為方問題是指已知單位長度1,要作出 。然而,能夠用尺規作出的數z都有對應的最小多項式。也就是說,存在有理係數的多項式m,使得

然而,1882年,林德曼等人證明了對於圓周率 不是,這說明用尺規作圖是無法化圓為方的。

林德曼證明 不是代數數,而是超越數。

尺規作圖和化圓為方問題簡介

直尺(straightedge)和圓規(compasses)是古希臘平面幾何作圖的工具,稱為歐幾里得工具(Euclidean tools)。古希臘人對它們的使用方法是有規定的,不能隨意使用。直尺的使用方法是:過平面上給定的兩點作一條直線。圓規的使用方法是:以給定的點為圓心,過另一給定的點作圓。特別要注意的是:①直尺是沒有刻度的,也不可在直尺上做記號;②不允許利用直尺和圓規作其他的圖形;③不允許利用直尺和圓規製造出新的工具[2]。

尺規作圖(也稱歐幾里得作圖)就是在已經給定的一些初等圖形(點、直線、圓)的基礎上,利用直尺和圓規,在有限步驟之內,作出新的圖形。

化圓為方(the Squaring the Circle)即任意給定一個圓,要求用直尺和圓規構作出一個正方形,使其面積等於該圓的面積。這個問題也可敘述為:任給線段長r(圓的半徑),要求用直尺和圓規作出線段長x,使x2=πr2,其中π是圓周率。

化圓為方問題的早期探索

1.希波克拉底(Hippocrates)的「化月牙為方」法

於是,利用可構作數的定義,定理2可表述為:x是基於a1,a2,...,as的可構作數的充要條件是,可由1,a1,a2,...,as經有限多次的加減乘除和開平方運算得到。

基於以上定理,我們再來談化圓為方問題。化圓為方就是用尺規構作,歸結為構作π,即要求π是可構作數。[1]

參考來源