這事還得從歐幾里得開始說起。

閑暇時候，一次偶然的機會讓我接觸到了折紙幾何（Origamics）這塊新奇的數(shù)學(xué)領(lǐng)域，學(xué)習(xí)之余不禁感嘆，原來真的有人把折紙這件事研究到了骨子里。如果把歐式幾何的奠基之作《幾何原本》比做是幾何學(xué)的一處根基，那么折紙幾何學(xué)就是這棵樹上開出的一朵奇葩。

Ornamental Omega | Credit: Meenakshi Mukerji

就像傳統(tǒng)幾何學(xué)對應(yīng)了尺規(guī)作圖 (ruler and compass construction)一樣，折紙幾何學(xué)引導(dǎo)我們找到了另一種基礎(chǔ)作圖的方法——折紙作圖。

和它的名字一樣，我們的工具就是一張白紙，大多時候是一張1×1的白紙，除此之外再無其它。與尺規(guī)作圖比起來，折紙作圖好像更加極致，干脆把尺子和圓規(guī)都扔了，甚至連筆也不給你，只留下一張白紙，你竟然還指望我作什么圖出來？

然而正是這種“比原始更原始”的辦法，解決了尺規(guī)作圖也搞不定的數(shù)學(xué)問題。

Truncated Icosahedron | Credit: ServeSmasher

三大難題

眾所周知，傳統(tǒng)的尺規(guī)作圖并不是萬能的。在《初等幾何的著名問題》一書中，數(shù)學(xué)家F.Klein就詳細講述了初等幾何的三大難題：

1.     倍立方問題。又叫Delian 問題，是一個非常古老的幾何問題。它說的是：如何準(zhǔn)確作出一個體積為2的立方體。其實就是要找到長度x，讓

即

但是，要找到，僅憑尺規(guī)作圖是不可能完成的。你也許會想，是不是我們還不夠聰明，沒有找到作圖的辦法呢？并不是這樣，實際上數(shù)學(xué)家早就已經(jīng)嚴(yán)格證明了這種不可能性，這個任務(wù)是從理論層面上就不可能完成的。

體積為1的正方體，和體積為2的正方體

我們發(fā)現(xiàn)，要準(zhǔn)確地作出這個數(shù)，我們需要一個可以移動的直角刻度尺，這種用直角尺作圖的方法叫做二刻尺作圖（Neusis construction）。再看看我們的主題，思考一下。是的！我們手上這張1×1的白紙，就正好就有這樣一個直角。用折紙的方法，我們可以輕易得到兩條線段，讓它們的比值正好等于。

取1×1的白紙，橫向三等分，折疊讓Q點落在邊L上，P點落在折痕K上，這時x/y= | Credit：Mathematical Origami by Philipp Legner

2.     三等分角問題。顧名思義，它說的是：如何準(zhǔn)確地把一個任意角度三等分。

同樣地，傳統(tǒng)尺規(guī)作圖又一次敗下陣來，但是用一張1×1的白紙，你卻可以簡單地得到一條過角頂點的射線，它對應(yīng)的就是原始角度的三分之一。

對角度α，取1×1的白紙，橫向四等分，折疊讓P點落在折痕K上，Q點落在L上。這時，延長折痕K得到射線M，M與L形成的角度是α的1/3 | Credit：Mathematical Origami by Philipp Legner

3.     最后一個難題是化圓為方問題，它說的是：作出一個正方形，它的面積等于給定的圓的面積。

這個問題同樣困擾了全世界上千年，當(dāng)人們還在為它的可行性爭論不休的時候，1882年，德國數(shù)學(xué)家林德曼（Lindemann 1852~1939）證明了圓周率 π 的超越性（不滿足任何整系數(shù)(有理系數(shù))多項式方程的實數(shù)）。尺規(guī)作圖局限于加減乘除和開方運算，對于超越數(shù)顯然是無能為力的。

圓形和正方形有相同的面積 | Credit: Wiki

這下可好，回到化圓為方問題里，由于涉及到超越數(shù)（transcendentalnumber）π，傳統(tǒng)的尺規(guī)作圖和折紙作圖必定無法解決，持續(xù)了上千年的爭論終于塵埃落定。

如果真要解決這一問題，我們需要借助更加“先進”的阿基米德螺線才行了。

正多邊形問題

另一個有意思的話題是關(guān)于正多邊形的。

用傳統(tǒng)尺規(guī)作圖的辦法，我們可以畫出標(biāo)準(zhǔn)的正三角形，正方形，正五邊形，正六邊形，正八邊形等等。Rex還隱約記得初中時候，數(shù)學(xué)老師曾說他的朋友研究出了尺規(guī)作出正十七邊形的辦法，查閱資料之后卻發(fā)現(xiàn)，早在1796年，高斯就已經(jīng)給出了正十七邊形的尺規(guī)作圖步驟，還順帶證明了哪些正多邊形可以用尺規(guī)作圖完成。不得不叫人感嘆數(shù)學(xué)王子的偉大。

正十七邊形尺規(guī)作圖簡圖

根據(jù)證明，角度刁鉆的正七邊形是沒有辦法用尺規(guī)作圖畫出來的，因為它的邊長涉及到常數(shù)sin(π/7)，和一樣，這是一個需要用三次方根來表示的數(shù)。那么，折紙作圖可以解決這一難題嗎？答案是肯定的。

雖然折紙作圖可以表達出三次方根的數(shù)，但是要想得到完整的正七邊形也絕非易事。折紙的過程之復(fù)雜，簡直是Rex這種手殘黨的噩夢，大概我把紙折爛了也得不到那個完美的正七邊形吧。

下面貼上折正七邊形的步驟，勇士們可以自行嘗試。

正七邊形的折法

這里還有簡單的，其他正多邊形的折法：

正六邊形的折法

正五邊形的折法

正三角形的折法

你能給出它們的證明嗎？

看一段折紙gif放松一下~

##話外音：

高斯證明，尺規(guī)作圖只能作出正n邊形，這里n是費馬質(zhì)數(shù)，即n＝2^(2^k) 1。

要知道，17之后的費馬質(zhì)數(shù)就是257和65537，歷史上也真的有人用尺規(guī)作出了正257邊形，步驟寫出來有80多頁；而正65537邊形，一位叫做 Johann Gustav Hermes 的人花了10年時間才首次完成了作圖步驟，其手稿加起來共有200余頁。

參考資料：

https:///downloads/origami.pdf

http://www./blog/archives/4152

https://en./wiki/Mathematics_of_paper_folding#Huzita–Hatori_axioms