誕生272年後,這個看似簡單的數學問題終求得閉式解

2021-10-12 02:35:24 字數 3267 閱讀 1236

德國數學家 ingo ullisch 破解誕生 270 多年的「山羊問題」,求出閉式解。

我們先來看乙個「簡單」的問題:假如圓形籬笆圍出一英畝草地,將乙隻山羊拴在籬笆內,你需要用多長的繩子才能讓羊吃到半英畝的草

這看起來像高中幾何題,但事實上 270 多年來,許多數學家和數學愛好者都在思考這個問題及其不同形式。他們成功解決了一些版本,但也只是模糊的不完備的答案。

數學家 mark meyerson 曾表示:「沒人知道這個基礎原始問題的確切答案,目前給出的都是近似解。」

但在今年初,德國數學家 ingo ullisch 最終破解了這一問題,得出了首個精確解。數學家 michael harrison 表示:「我認為這是首個繩長的顯示表示式,這當然是進步。」

ingo ullisch 使用復分析求出了山羊問題的精確解。

ullisch 表示,這並未顛覆教科書或改革數學研究,因為這只是個孤立的問題。但即使這樣的有趣問題也可能帶來新的數學想法,幫助研究人員提出解決其他問題的新方法。

有趣的「山羊問題」

這個問題的第乙個版本出現在 1748 年的倫敦期刊《the ladies diary: or, the woman』s almanack》上。

當時的問題情境是「拴馬」:將馬拴在圓形籬笆外面,如果繩長和籬笆周長相等,那麼馬能吃到的最大面積是多少?這個問題版本後來被分類為「外部問題」,因為該問題中馬在「圓形籬笆外面」。

該期刊次年刊登了乙份來自「mr. heath」的答案。heath 通過「試驗和對數表」得出了結論——100 碼的繩子,76,257.86 平方碼的面積(繩長約 91.44 公尺,面積約 63,761.28 平方公尺)。

但這是近似解而非精確解。我們可以通過乙個例子來了解二者的區別:設公式 x^2 − 2 = 0,可以得出近似數值解 x = 1.4142,但這並不準確,無法等同於精確解 x = √2。

1894 年,這個問題在《美國數學月刊》第一期中再次出現,並被改寫為最初的「籬笆內吃草問題」。這被分類為「內部問題」。ullisch 認為內部問題比外部問題難度更大。外部問題是已知圓半徑和繩長,求吃草面積,這可以通過積分來解決;而內部問題則相反,給出面積求繩長,要複雜得多。

山羊吃草問題有兩種形式。內部問題是給出吃草面積求繩長,外部問題是給出繩長和籬笆周長求吃草面積(繩長等於籬笆周長)。

接下來的幾十年裡,《美國數學月刊》刊登了該內部問題的多個變體,主角大部分是馬偶爾是騾子,籬笆有時是圓的,有時是方的,還有橢圓的。到了 1960 年代,山羊逐漸取代了馬的位置,成為該問題的主角。

1984 年,數學家 marshall fraser 創造性地將這一問題從草地擴充套件到了更廣闊的區域。他求出了允許山羊在 n 維球面一半體積中吃草所需的繩長(n 趨向於無窮大)。meyerson 發現了其中的邏輯錯誤並糾正,得到了相同的結論:隨著 n 趨向於無窮大,繩長和半徑的比接近√2

meyerson 表示,這種表示該問題的方式看似更複雜了(多維空間而不是草地),但實際上卻讓求解的過程更簡單了。「在無窮維中,我們有清晰的答案,而在二維中並沒有這樣明確的解。」

1998 年,美國海軍學院教授、數學家 michael hoffman 將外部問題擴充套件到了不同的方向。他看到的外部問題是「將牛拴在圓形牛欄外面,牛可以吃到多少面積的草?」,hoffman 將原本問題中的圓形擴充套件到平滑的凸曲線,包括橢圓甚至非封閉曲線。

hoffman 假定該問題中繩長(長度為 l)小於或等於曲線的周長。他首先繪製曲線上拴牛點的切線,牛可以在切線範圍內 πl^2/2 的半圓區域內吃草;然後針對切線和曲線間的空間求得精確積分解,從而確定吃草面積。

最近,英國蘭卡斯特大學數學家 graham jameson 和其子 nicholas 求出了內部問題三維版本的解。graham 表示:「三維問題比二維問題簡單一些。」

利用復分析,求出「山羊問題」閉式解

然而,1894 年出現的二維內部問題仍未出現精確解,直到 ingo ullisch 今年初在期刊 mathematical intelligencer 上發表了一篇**。

ullisch 第一次聽到山羊問題是在 2001 年,當時他還是個孩子。2017 年,在獲得了德國明斯特大學博士學位後,他開始研究這個問題。他想嘗試一種新方法。

當時大家都知道,山羊問題可以被簡化為乙個超越方程(transcendental equation),包含正弦、余弦等三角函式項。和很多棘手的超越方程一樣,這會帶來障礙,例如 x = cos(x) 沒有精確解。

ullisch 將這個問題設定為較易處理的超越方程:sin(β) – β cos(β) − π/2 = 0。儘管這個方程看起來也挺難,但他認為可以使用復分析來解決。復分析是對包含複數的表示式使用分析工具的數學分支,已經誕生好幾個世紀,但 ullisch 是第乙個使用復分析解決山羊問題的人。

通過這一策略,ullisch 將超越方程轉換為「繩長允許山羊在圈場一半面積內吃草」的等效表示式。也就是說,他最終用準確的數學形式回答了這一問題。

但這個回答存在乙個問題,就是其複雜度不像 √2 那麼簡單,它更加深奧。

不過,ullisch 仍然看到了精確解的價值,即使它沒有那麼簡潔。「如果只有數值解(或近似解),那麼我們將永遠無法了解其解的內在本質。而數學公式可以讓我們進一步**解的構成。」

ullisch 目前沒有研究山羊問題,因為不知道該如何繼續。但其他數學家還在繼續探求其他解法,例如 harrison 即將在《數學雜誌》上發表相關**。harrison 表示:「直覺告訴我,山羊問題不可能帶來數學突破,但是誰知道呢。新的數學可能來自各個地方。」

hoffman 則更加樂觀。他認為:「數學領域中的進展並非都來自做出基礎突破的人,有時候也包括**經典方法並從中找出新的角度,這種新方式可能最終帶來新的結果。」

17年後回國

17年後回國,總要招來非議或者否定,大家都知道警察能破案子是好事。淫字的對面就是善,終是沒想明白,原者。其實,多姿多彩的城市並不是我所想像的那般完美,把長袍扔在躺椅上。鷹還是鷹麼?普希金有一首詩,松 是鍛鍊出來的,今天。甚至會牽涉整個中國的國家戰略政策,其實睡功也是好東西,防止邪師的法傷你。杜甫詩 ...

結婚五年後

聊到生孩子的事,他先是一陣默然。我想生乙個孩子。這時候,我有勇氣說出口了。我以為你不想,剛結婚那一陣子,你不是一直吃避孕藥?難得聽到他有些怪罪的語氣。進一步了解之後,我才發現,他一直知道我在吃藥 或許是我哪次把藥隨便擱在化妝台上,被他看到了,他徹底了解我不想要孩子。而他也知道,我吃完藥隔天會有水腫的...

五年後的你

摘自 李恕權著 挑戰你的信仰 讓我與你分享一段小故事,或許在這個階段,可以很實際的幫助你走出目前的困境。一九七六年的冬天,當時我十九歲,在休斯敦太空總署的太空梭實驗室裡工作,同時也在總署旁邊的休斯敦大學主修電腦。縱然忙於學校 睡眠與工作之間,這幾乎佔據了我一天二十四小時的全部時間,但只要有多餘的一分...