李孝民
(成都七中,四川成都 610000)
正十七邊形尺規(guī)作圖證明復(fù)數(shù)解法
李孝民
(成都七中,四川成都 610000)
本論文對十八世紀(jì)末德國數(shù)學(xué)家約翰·卡爾·弗里德里?!じ咚?Johann Carl Friedrich Gauss)所解決的正十七邊形尺規(guī)作圖問題再次進(jìn)行了討論。當(dāng)年高斯運(yùn)用了三角函數(shù)的知識求出了cos的表達(dá)式,它是數(shù)的加減乘除平方根的組合,故正17邊形可用尺規(guī)作出。而本論文主要運(yùn)用了復(fù)數(shù)的知識,加以結(jié)合旋轉(zhuǎn)對稱的思想,通過另一種途徑得出了cos的表達(dá)式,與高斯用三角函數(shù)方法所得結(jié)果具有等價性。然而在借助計算機(jī)幫助的過程中,發(fā)現(xiàn)了所得結(jié)果與原結(jié)果的差異性并且進(jìn)行了大膽嘗試與復(fù)雜的運(yùn)算,將所得多重根式倒推,還發(fā)現(xiàn)了一些多元高次方程組與一元高次方程的聯(lián)系。
尺規(guī)作圖 尺規(guī)作圖 復(fù)數(shù)
尺規(guī)作圖,是從古希臘時期的幾何學(xué)家們開始就一直在探討的問題,作圖所用的直尺,是沒有刻度的,尺規(guī)作圖最簡單的應(yīng)用就是平分角。古希臘數(shù)學(xué)家歐幾里得已經(jīng)指出,正三邊形、正四邊形、正五邊形、正十五邊形和邊數(shù)是上述邊數(shù)兩倍的正多邊形的幾何作圖是能夠用圓規(guī)和直尺實(shí)現(xiàn)的,在那之后關(guān)于這個問題的研究沒有多大進(jìn)展。而德國數(shù)學(xué)家卡爾·弗里德里?!じ咚乖?9歲時因為偶然的機(jī)會解決了困擾了數(shù)學(xué)家兩千年之久的正十七邊形尺規(guī)作圖問題。繼而在數(shù)論的基礎(chǔ)上提出了可用尺規(guī)作圖的正奇數(shù)邊多邊形的條件:尺規(guī)作圖正多邊形的邊數(shù)目必須是2的非負(fù)整數(shù)次方和不同的費(fèi)馬素數(shù)的積,解決了兩千年來懸而未決的難題。
在之后的兩百多年中也有很多的學(xué)者對此著名歷史問題進(jìn)行了研究,其中就包括R.C.Archibald,W.Bishop,P.Vélez和O.Luis等人。他們中的很多對這個歷史事件重新進(jìn)行了論述并且從不同角度重新看待該歷史問題,然而本文即是從復(fù)數(shù)與方程組的角度重新對此問題進(jìn)行了研究。
由于受到正十七邊形尺規(guī)作圖過程的啟發(fā),該過程便是通過復(fù)雜的尺規(guī)作圖過程將一個圓平均分成17份,然后將17個點(diǎn)作為正十七邊形的頂點(diǎn)再相連,便得到所求作圖形,然而因為想到這是在一個單位圓中作圖,圓心指向17個頂點(diǎn)便可以得到17個依次夾角都為的單位向量。并且高斯用三角函數(shù)證明的過程中,便是建立了一個平面直角坐標(biāo)系。由此聯(lián)想到,可以建立一個復(fù)平面,其中每一個之前的向量都使之對應(yīng)一個復(fù)數(shù),因為這些向量之間都可以通過互相旋轉(zhuǎn)所得,相鄰兩向量之間夾角又相同,于是所對應(yīng)的復(fù)數(shù)之間也必然存在著很多的關(guān)系,除此之外,因為旋轉(zhuǎn),我們還可以將這17個向量所組成的集合擴(kuò)展開來,得到無數(shù)的向量,不過其余的向量都與之前的這17個重合,于是可以避免很多證明過程中的限制。此外,論證到最后的時候,對四元四次方程與一元十六次方程的關(guān)系,以及用多重根式形式的解倒推其所對應(yīng)的一元高次方程也進(jìn)行了粗淺的討論,絕不僅局限于對正十七邊形尺規(guī)作圖證明的討論。
1.首先,作一個復(fù)平面(如右圖),以x軸作為實(shí)軸,y軸作為虛軸,O為原點(diǎn),再以O(shè)點(diǎn)為圓心作一個單位圓,圓上分別取,Z0, Z1,Z2......使得單位向量依次相鄰兩向量之間夾角都為
2.設(shè)復(fù)數(shù)Z0對應(yīng)向量對應(yīng)向量對應(yīng)向量設(shè),將復(fù)數(shù)用三角形式表示如下:
3.再由De Moive定理可得:
同理可得:
此處提供兩種求法:
解法(1)利用第2、3步的結(jié)論以及平方差公式:
解法(2)利用第3步構(gòu)造等比數(shù)列:
由于
則構(gòu)成了一個首項為1,公比為Z1的等比數(shù)列。
由等比數(shù)列求和公式可得:
則可得同樣的結(jié)果:
將a,b,c,d代換成復(fù)數(shù)和,再乘開可得:
7.此時可發(fā)現(xiàn)很多內(nèi)在聯(lián)系:
8.運(yùn)用數(shù)學(xué)軟件Wolfram Mathematica9.0解此方程組,所得實(shí)數(shù)解有8組。
由圖象可得a,b,c,d大概范圍:
由于根式形式過于復(fù)雜,我們在實(shí)數(shù)解組中排出多余組解的步驟中暫時選取小數(shù),并且保留六位有效數(shù)字:
Wolfram Mathematica9.0所得小數(shù)結(jié)果如下圖:
顯然①~④組和⑤~⑧分別都是循環(huán)的,一共相當(dāng)于是八組包括循環(huán)對稱的實(shí)數(shù)解。
根據(jù)a,b,c,d大概范圍,可以排除其余七組,最后只剩下:
9.實(shí)際上Wolfram Mathematica9.0得到根式結(jié)果的過程如下圖:
第一步:
第二步:
第三步:
第四步:
第五步:
第六步:
第七步:
這樣,我們就得到了根式形式的所有實(shí)數(shù)解。
再結(jié)合之前的小數(shù),將其與根式形式對應(yīng):
11.高斯用三角函數(shù)法所求:
所以用本文復(fù)數(shù)方法所得結(jié)果與高斯方法所得結(jié)果具有等價性。
13.四元四次方程組與一元十六次方程
以上關(guān)于正十七邊形尺規(guī)作圖證明的過程已經(jīng)完成,下面我們由方程組所得三重根式解引發(fā)的思考進(jìn)行簡單粗略的討論:
(1)借助Wolfram Mathematica9.0的幫助,我們可以知道
八個實(shí)數(shù)解實(shí)際上是一元八次方程x8+x7-7x6-6x5+15x4+10x3-10x2-4x+1=0的八個解,而其余八個虛數(shù)
八個虛數(shù)解實(shí)際上是一元八次方程x8+2x7+3x6+2x5+3x4+6x3+7x2+4x+1=0的八個解。
將兩個一元八次方程相乘,我們便可以得到,原四元四次方程組的四個實(shí)數(shù)解和四個虛數(shù)解就是下面一元十六次方程的解:
所以說該四元四次方程組與這個一元十六次方程是對應(yīng)的(即使方程組的解為循環(huán)對稱的)。
(2)觀察解的形式,可以發(fā)現(xiàn)最多即是三重根式,而且不論是實(shí)數(shù)解還是虛數(shù)解都是兩兩共軛的?,F(xiàn)在我們將要嘗試通過解來倒推出一元十六次方程。首先我們舉一個例子來分析:
這樣子我們就通過一個根式解逆向推導(dǎo)出了含有這個解得一元二次方程。由這個例子我們可以得到啟發(fā):我們可以先把三重根式移到方程一邊,然后再兩邊平方,接下來是二重,一重,直到整個方程不再含有根式,我們便得到了一個含有該解的整系數(shù)方程。根據(jù)代數(shù)數(shù)的定義描述:代數(shù)數(shù)指任何整系數(shù)多項式的復(fù)根,即若x是一個代數(shù)數(shù),那么必然存在整數(shù)使得x是以下方程:由于“任何可以從整數(shù)或有理數(shù)通過有限次四則運(yùn)算和正整數(shù)次開方運(yùn)算得到的數(shù)都是代數(shù)數(shù)”,而此時四元四次方程組的根即為代數(shù)數(shù),我們便可以嘗試將其作為一個整系數(shù)方程的根。
(3)然而經(jīng)過了十分復(fù)雜的運(yùn)算,最終得到的是這樣一個一元十六次方程:
這個結(jié)果不免令人疑惑,然而我們再次借助數(shù)學(xué)軟件Wolfram Mathematica9.0的幫助,將方程左邊分解因式,分解到最簡時即得到兩個八次式的乘積,兩個式子分別是和于是我們便可以發(fā)現(xiàn):即是之前八個實(shí)數(shù)解對應(yīng)的一元八次方程的左邊部分。所以我們通過選取形式相似且兩兩共軛的八個實(shí)數(shù)解中的一個來推導(dǎo),的確推導(dǎo)出了一個含有該八個解對應(yīng)的八次式作為其中一個因式的一元十六次方程。
(4)由于八個實(shí)數(shù)解結(jié)構(gòu)形式相似,八個虛數(shù)解結(jié)構(gòu)形式也相似,但是實(shí)數(shù)解和虛數(shù)解之間就是千差萬別,經(jīng)過以上推導(dǎo)得到的結(jié)果,我們可以猜想:選取一個復(fù)數(shù)解進(jìn)行推導(dǎo)時也是得出類似的結(jié)果。但是如果我們同時選取了實(shí)數(shù)和復(fù)數(shù)或許會得到不同結(jié)果。此處有兩種嘗試:
嘗試1:選取一個實(shí)數(shù)解(設(shè)為x1)和一個虛數(shù)解(設(shè)為x2),那么我們可以嘗試用(x-x1)(x-x2)=0這樣的方法來嘗試推導(dǎo)一個既含有實(shí)數(shù)解對應(yīng)八次式又含有虛數(shù)解對應(yīng)八次式的一元高次方程。
嘗試2:選取兩個共軛的實(shí)數(shù)解(設(shè)為x1和x2)和兩個共軛的虛數(shù)解(設(shè)為x3和x4),那么我們可以嘗試用(x-x1)(x-x2)(x-x3)(x-x4) =0的方法推導(dǎo),或許可以簡便我們的運(yùn)算,因為共軛我們便可以使用平方差公式。這樣可以盡量減少平方次數(shù),從而盡量減少方程次數(shù)。
(5)然而經(jīng)過實(shí)踐,由于還含有虛數(shù)單位i需要化去等原因,很遺憾兩種嘗試的結(jié)果都是高于16次的方程。但是我們?nèi)匀豢梢源_定的是這個四元四次方程組對應(yīng)著一個一元十六次方程。
14.我們下面嘗試這種方法能否推廣:
憑借高斯得出的正多邊形尺規(guī)作圖條件,17以后的費(fèi)馬質(zhì)數(shù)是257,由于數(shù)值太大所以我們僅討論17之前的費(fèi)馬質(zhì)數(shù),即3和5。
我們首先進(jìn)行邊形(即正三邊形)的試驗:
可見此方法同樣適用于正三邊形。
接下來進(jìn)行邊形(即正五邊形)的試驗:
同樣地,
將a,b作為方程x2+x-1=0,解此方程再結(jié)合可得
可見此方法同樣適用于正五邊形。
德國數(shù)學(xué)家卡爾·弗里德里?!じ咚勾髮W(xué)二年級時得出正十七邊形的尺規(guī)作圖法,并給出了可用尺規(guī)作圖的正多邊形的條件。解決了兩千年來懸而未決的難題,1799年以代數(shù)基本定理的四個漂亮證明獲博士學(xué)位。而當(dāng)年的他是運(yùn)用了三角函數(shù)的知識求出了的表達(dá)式??紤]到三角函數(shù)和復(fù)數(shù)之間有千絲萬縷的聯(lián)系,論文就主要嘗試了運(yùn)用復(fù)數(shù)的知識,結(jié)合復(fù)平面中各向量旋轉(zhuǎn)對稱的關(guān)系,還借助了計算機(jī)的幫助,從一開始的圖形與復(fù)數(shù)運(yùn)算的問題最終轉(zhuǎn)化到了高次方程組的問題,得出一個四元四次方程組,并利用數(shù)學(xué)建模軟件Mathematica得出該方程組的所有復(fù)數(shù)解。根據(jù)未知數(shù)的范圍排除其余各組解以后,最終將符合的一組解帶入,得出的結(jié)果與高斯用三角函數(shù)方法所得結(jié)果相比較發(fā)現(xiàn)兩個結(jié)果相等。然而本文不僅僅局限于對該歷史問題提出另一種解決方法,更針對于在證明過程中的一些發(fā)現(xiàn)提出了新的猜想并進(jìn)行了大嘗試和研究。首先是針對證明最后的四元四次方程組的根式形式解討論了所對應(yīng)的一元十六次方程并且發(fā)現(xiàn)了其與方程組的對應(yīng)關(guān)系。之后又進(jìn)行了本文所論述方法的推廣,根據(jù)高斯得到的判斷正多邊形能夠尺規(guī)作圖的條件討論了當(dāng)邊數(shù)等于另外兩個費(fèi)馬質(zhì)數(shù)3和5的情況,發(fā)現(xiàn)同樣適用,所以此方法具有一定的推廣性,但對于數(shù)值稍大的費(fèi)馬素數(shù)找到方程組則有一定困難。此外本文論證過程還有其他缺點(diǎn),比如簡潔性不夠,相對于高斯的三角函數(shù)的方法,本文的論證方法則十分復(fù)雜。并且在將圖形的問題轉(zhuǎn)化為方程的過程中則喪失了原有的對稱美以及尋找內(nèi)在聯(lián)系時找到了四個方程,但內(nèi)在聯(lián)系很多,或許能夠找到更多的方程。
[1]Gauss,C.F.§365 and 366 in“Disquisitiones Arithmeticae”. Leipzig,Germany:Fleischer,1801.Reprinted in New Haven,CT: Yale University Press,1965.
[2]Archibald,R.C."The History of the Construction of the RegularPolygon ofSeventeen Sides." Bull.Amer.Math.Soc.22, 239-246,1916.
[3]Archibald,R.C."Gauss and the Regular Polygon of Seventeen Sides."Amer.Math.Monthly 27,323-326,1920.
[4]Bishop,W."How to Construct a Regular Polygon."Amer. Math.Monthly 85,186-188,1978.
[5]Dickson,L.E."Construction of the Regular Polygon of 17 Sides."§8.20 in Monographs on Topics of Modern Mathematics Relevant to the Elementary Field(Ed.J.W.A.Young).New York: Dover,pp.372-373,1955.
[6]Hardy,G.H.and Wright,E.M."Construction of the Regular Polygon of 17 Sides."§5.8 in An Introduction to the Theory of Numbers,5th ed.Oxford,England:Clarendon Press,pp.57-62,1979.
[7]Richmond,H.W."A Construction for a Regular Polygon of Seventeen Sides."Quart.J.Pure Appl.Math.26,206-207,1893.
[8]Smith,L.L."A Construction of the Regular Polygon of Seventeen Sides."Amer.Math.Monthly 27,322-323,1920.
[9]Vélez,P.and Luis,O."A Chord Approach for an Alternative Ruler and Compasses Construction of the 17-Side Regular Polygon." Geom.Dedicata 52,209-213,1994.
致謝:特別感謝指導(dǎo)老師祁祖海在整個過程中耐心的指導(dǎo),包括遇到各種問題都幫助提出策略進(jìn)行嘗試,以及對整篇文章的思路進(jìn)行了正確引導(dǎo)。其次還要感謝百度貼吧好友 qsd573在利用數(shù)學(xué)軟件Wolfram Mathematica9.0過程中的幫助。
This article focuses on the problem of the construction of a regular heptadecagon by ruler and compass which had been solved by the German mathematician Johann Carl Friedrich Gauss in the end of the eighteenth century.In 1798,Gauss used the method of trig function and got the expression of cos,which is the combination of the addition,subtraction,multiplication,division and square root of numbers,demonstrating that a regular heptadecagon can be constructed by ruler and compass.This article mainly applies the complex number as the tool,combining with the thought of rotation and reflection,and gained the expression of cosin another way.There is a obvious equivalence between the result using this method and the result of Gauss using the trig function as the tool.However,with the help of the computer,I found the differences between these two results and did some daring tries and complex operations.By reversely deducing the equation using the complex quadratic radical as the solution of it,I also discovered some relations between univariate equation of higher degree and multivariate equation set of higher degree.
construction with ruler and compass,regular heptadecagon,complex number