本文編譯自量子雜志網(wǎng)站

原文作者：Steve Nadis

編譯作者：Math001

關(guān)注?哆嗒數(shù)學(xué)網(wǎng)?每天獲得更多數(shù)學(xué)趣文

大約公元前450年，安那克薩哥拉斯終于有了靜下來思考的時間。這位哲學(xué)家兼數(shù)學(xué)家的古希臘人聲稱太陽不是神，而是和羅奔尼撒半島一樣大的熾熱巖石。安那克薩哥拉斯因此被打入大牢。作為信奉“理性統(tǒng)治世界”的哲學(xué)家代表，他在獄中著手思考解決一個數(shù)學(xué)問題。這就是著名的化圓為方問題：用圓規(guī)和無刻度的尺子作一個和已知圓一樣大的正方形。

安那克薩哥拉斯的本來的那個問題其實(shí)在1882年就解決了。德國數(shù)學(xué)家林德曼用一套經(jīng)典方法證明了尺規(guī)作圖化圓為方是不可能的。他證明了圓周率π是超越數(shù)。但是尺規(guī)作圖是不可能做出超越數(shù)的線段長度的，所以證明了問題的不可能性。

問題并沒有因此終結(jié)，意外的是，數(shù)學(xué)家們還在這個問題上工作著。1925年數(shù)學(xué)家塔爾斯基喚醒了這個問題，他修改了原始問題的規(guī)則：如果把圓分成完全相同的有限多塊，這些小塊是否能重新拼成一個面積相同的圓呢？這樣的問題有個統(tǒng)一的名字，叫做等體分解。

換句話說，如果兩個物體可以分解成大小和形狀完全同部分，那么這兩個物體就是同等體分解的。更精確的說，如果兩個物體能分解成有限多個部分，每個部分完全一致，那么就說這兩個物體就是同等體分解的。

1964年的一篇論文讓塔爾斯基版本的化圓為方問題有了第一次實(shí)質(zhì)性的進(jìn)展。論文的結(jié)論是，用剪刀是無法完成化圓為方的等體分解。著意為著，如果要解決這個問題，可能需要把圓分解成更復(fù)雜的分型：一種可能布滿小洞或者無限鋸齒的形狀。

1990年，數(shù)學(xué)家拉茨科維奇(Miklós Laczkovich)響亮的從正面解決了塔爾斯基的問題：塔爾斯基的化圓為方問題是成立的。

拉茨科維奇證明的是，用一種復(fù)雜和非常規(guī)的圖形對圓進(jìn)行分解，用不超過10的50次方個小塊進(jìn)行移動(連旋轉(zhuǎn)都不用)，這些小塊就能重新拼成正方形。

但是拉茨科維奇不直接操作幾何圖形而得到這個結(jié)果的。實(shí)際上，他把原本的幾何問題轉(zhuǎn)化成了圖論問題。用兩個頂點(diǎn)集合，一個集合對應(yīng)圓，一個幾何對應(yīng)正方形，然后之間建立兩個頂點(diǎn)集合之間的一一對應(yīng)關(guān)系，從而完成的證明。

有數(shù)學(xué)家認(rèn)為，拉茨科維奇的結(jié)果讓人“瞠目結(jié)舌”，拉茨科維奇向大家展示了如何“把一個圓的掰成直的”。

拉茨科維奇的證明還有一個瑕疵。這個證明是存在性證明，在數(shù)學(xué)界被稱為“非構(gòu)造性證明”。他證明了事情可以辦到，但沒有給出分解的具體辦法來說明如何辦到。更讓人不爽的是，分解的小塊是“不可測的”，這意味著這些小塊的面積不存在。

幾十年后的2016年，格拉博斯基(?ukasz Grabowski), 瑪斯(Andras Máthé) 以及皮胡爾科(Oleg Pikhurko)共同撰寫的論文讓這個問題又有了重大進(jìn)展。和拉茨科維奇的論文不同，證明幾乎是構(gòu)造性的，就是說分解的每一個小塊都有明確的描述。但還是有一個瑕疵：把圓分解成的小塊并沒有填充滿正方形的全部，還有很小很小的一部分沒有填充。這沒有填充的部分面積是零，數(shù)學(xué)家稱為“零測度集”。

盡管還是沒做到完全覆蓋，但也是這個問題的重大進(jìn)步——除了一個零測度集合，我們按塔爾斯基的規(guī)則成功的用構(gòu)造性的方法化圓為方。

一年后，加州大學(xué)的馬克斯( Andrew Marks)和多倫多大學(xué)的安格(Spencer Unger)在這個問題上有取得重大進(jìn)展，他們第一次用完全構(gòu)造性的方法證明了塔爾斯基版本的化圓為方——而且是完整的拼成，沒有任何多余部分。論文完整描述了如果把圓分成小塊，然后重新拼成一個等體積的正方形，不再有多余的零測度集合。

這一次分成的小塊更多，需要大約10的200次方塊，每一個小塊的結(jié)構(gòu)依然很復(fù)雜。論文作者認(rèn)為，這是一個缺陷，因?yàn)檫@些小塊要站在數(shù)學(xué)家的立場才能理解，很難用形象的方式展示出來。

這就留下了改進(jìn)的空間，用更少數(shù)量的小塊，或者更簡單的形狀的小塊。數(shù)學(xué)家并沒有停止探索，他們已經(jīng)用計算機(jī)做了一個實(shí)驗(yàn)，據(jù)說22塊就可以，但目前還沒有給出這個的證明。

關(guān)注?哆嗒數(shù)學(xué)網(wǎng)?每天獲得更多數(shù)學(xué)趣文