數理史上的絕妙證明:萬有引力平方反比律的證明|賢說八道

2020-11-29 返樸

克卜勒總結出了行星運動三定律,牛頓用平面幾何證明了橢圓軌道、雙曲軌道都對應平方反比的吸引力,牛頓第二定律加微積分證明了平方反比的吸引力作用下運動軌跡為圓錐曲線(雙曲線、拋物線、橢圓、圓等)。

撰文 | 曹則賢(中國科學院物理研究所研究員)

1 行星運動的克卜勒三定律

行星的運動,恰巧是人的特徵尺度上可研究的問題。行星的量度足以為人眼所分辨,其運動的特徵時間又與人的特徵時間(年、日)相吻合[1]。人類數千年關於行星在天空中位置變化的觀測,在1602年達成了質的躍變。那一年,德國天文學家克卜勒指出,行星繞太陽的運動在相同的時間內掃過相同的面積。這後來被稱為克卜勒第二定律。用近代物理的語言表述,它說的是有心力場內的運動保持角動量守恆。1605年克卜勒又指出行星繞太陽運動的軌道是太陽居於焦點之一的橢圓。這後來被稱為克卜勒第一定律。克卜勒第一、第二定律收錄於Astronomia Nova (《新天文學》)一書。1619年克卜勒宣告了他的第三定律,行星軌道周期的平方與其半長軸的立方成正比。第三定律收錄於克卜勒的Harmonices Mundi[2]一書。

一般書裡介紹克卜勒三定律,基本上是照著字面一成不變地轉述:1)行星軌道為橢圓,太陽在橢圓的焦點之一上;2) 行星軌道在相同的時間內掃過相同的面積;3) 行星軌道周期的平方與其半長軸的立方成正比。至於從近代物理的角度看這三定律的含義是什麼,內在關係是什麼,未來有什麼進展,還有對中國人來說比較重要的漢譯是否正確,則鮮有論及。請允許筆者稍作補充。

關於第一定律,克卜勒一開始考慮的軌道是卵形線,畢竟他手裡只有有限的、不準確的關於火星和太陽的觀測數據,連起來不會看起來如完美的橢圓。但那時候沒人知道卵形線的方程——卵形線的方程還得等二百四十多年才由麥克斯韋(James Clerk Maxwell,1831-1879)給出。橢圓作為行星軌道的選擇有點不那麼自然而然,一個可能的原因是橢圓有兩個焦點(focus) 而天上只有一個太陽,憑什麼太陽在這個焦點而不在那個焦點上?實際上,天上有一個太陽,太陽是個大火爐,火爐才是拉丁語focus (furnace)的本義。後來我們知道,橢圓,與雙曲線、拋物線、圓、直線、點等幾何圖形一樣,都是圓錐曲線的特例,本質上是一致的,都可以是平方反比力場作用下物體的運動軌跡。拋物線就只有一個焦點,而橢圓也有隻需一個焦點的定義——到一點的距離和到一條直線距離之比為小於1的常數的點的集合是橢圓!第一定律確定了行星軌道的全局幾何性質,第二定律確定的是行星在軌道不同位置上的運動快慢問題。用現代物理語言來說,行星繞太陽運動,其角動量守恆。第三定律講述的軌道大小(由橢圓的半長軸, a, 和偏心率表徵) 與運動快慢(與軌道的大小和周期, T, 有關)之間的關係,

。從現代物理的角度來看,第三定律引入了能量的問題,能量大的橢圓軌道離太陽更遠以至變成拋物線或者雙曲線。也就是說,行星軌道問題關係到的物理量分別是角動量

和能量

。後來的尼爾斯·玻爾(Niels Bohr, 1885-1962)熟知這一點,所以他為了給電子繞氫原子核運動的能量只有一些

的分立值而非如同在經典的太陽-行星模型中那樣能量是連續的找個恰當理由,只能到角動量上去找,而角動量恰恰與量子力學的標籤——普朗克常數 h——有相同的量綱,於是有了神奇的所謂玻爾量子化條件

[3]。

那麼,克卜勒的這三個定律後來有證明嗎?或者,挑個軟柿子捏,如何證明行星的軌道是橢圓。證明的意思是,找個理由,從這個理由順著嚴格的數學邏輯能到達橢圓這個幾何圖形。

2 牛頓的幾何證明:從橢圓到平方反比的引力

早在克卜勒時期,人們就已經意識到太陽與行星之間有隨距離增大而漸弱的引力(gravity, gravitation),確切地說是與距離平方成反比的引力。到牛頓時期,想到或者願意接受萬物之間皆存在平方反比引力的人已經很多了。但是,如何證明這平方反比引力

是這宇宙的決定性力量,也就是說如果存在萬有引力這個理由的話,如何從萬有引力導出橢圓形的行星軌道?這個證明,利用牛頓第二定律加上微積分技術是容易得到的(參見Herbert Goldstein,Classical Mechanics)。但牛頓那時手裡還沒有成熟的微積分技術,他是用歐幾裡得幾何證明的。這個證明在牛頓的《自然哲學的數學原理》一書中不足一頁 (因為老是引用前面的結果),後來錢德拉塞卡(Subrahmanyan Chandrasekhar,1910-1995)給拓展成了好幾頁才讓一般人看得懂。

牛頓在《自然哲學的數學原理》第一編第三部分(Book 1,section 3)裡假設物體沿橢圓軌道運行,求證指向橢圓一個焦點的力的定律。緊接著假設物體沿雙曲線之一支運行,求證指向焦點的力的定律。牛頓證明了力應當服從平方反比律。嚴格說來,這應該看成是在橢圓(雙曲)軌道的前提下,對太陽-行星間的引力遵循平方反比律的證明。牛頓的證明,不好懂,願意證明自己的平面幾何連皮毛都沒學到的讀者可以挑戰一下自己。原文不長,照錄如下。如圖1,S 是橢圓的焦點之一。作SP交橢圓直徑DK於點E,交縱標線(ordinate) Qv於x。作平行四邊形QxPR。顯然,有EP等於半長軸AC,這是因為如果從橢圓另一焦點H作HI與線EC (DK)平行,因為CS=CH,於是有ES=EI。EP 為PS與PI之和的一半;也就是PS與PH之和的一半(HI 與PR平行,而根據橢圓的性質,

) 。但PS+PH=2AC (橢圓的定義)。作QT 垂直於SP,如果用 L 表示橢圓的通徑(principal latus rectum) 或者

圖1. 牛頓《原理》一書第一編、第三章問題6的圖

實話實說,讀到這段時,我不知道牛頓證明的思路是從哪裡來的。與300多年前的牛頓相比,我們對阿波羅尼烏斯(Appolonius of Perga,ca. 245-ca.190 BC)的圓錐曲線根本沒學會。還有一個小迷惑,我不知道為什麼管Qv叫ordinate。建議真想弄懂的讀者,閱讀錢德拉塞卡對牛頓這本書的通俗版解讀。

3 利用微分方程的證明:從平方反比的力到克卜勒三定律

太陽-行星體系是典型的兩體問題(two-body problem):兩個物體相互間的作用決定了它們的運動方式。由於這兩個物體不受外界的作用,它們作為一個整體是作慣性運動的(這實際上是馬赫的力學兩個基本原理之第二),因此所謂的兩體的運動,指的是兩體之間的相對運動。若兩物體之間的作用力是沿著兩者之間的連線的,稱為有心力(central force);萬有引力是有心力,且力的大小與距離的平方成反比。我們的任務是證明:若兩體之間的吸引作用力是平方反比的,則相對運動的軌跡是橢圓。

4 多餘的話

人類所處的近鄰且可觀測的世界,開啟了人類的智慧思考。行星在天上的軌道,恰好是與人類尺度相恰的現象。行星軌道的克卜勒三定律,是建立在零星的觀測數據上的,但更多地還是建立在理性思考上的(天上哪有軌道啊)。從數據到橢圓這樣的幾何圖形,到單位時間掃過相同面積以及周期平方與軌道大小的立方成正比這樣嚴格的關係,反映了人類理性思考的威力,這些可都是宇宙的秘密啊。這些言之鑿鑿的嚴格關係,若能證明是某些原理的必然結果,那才見人類理性思考的威力呢。這個原理,就是經典力學中的最小作用量原理[4],與之相比,滿足平方反比律的萬有引力倒似是條件層面的了。從最小作用量原理和萬有引力到克卜勒三定律的證明,那就看數學的能耐了。從前和數學不分家的時候,物理學才是真物理學。

滿足平方反比律的萬有引力,

,其中牽扯到的物質特徵,或者叫標籤,是質量 m。質量 m 是個標量,而且是非極性的標量 (m>0)。與此相對照,滿足平方反比律的庫倫力,

,其中牽扯到的物質特徵是電荷 q 。電荷 q 是個標量,但卻是極性的標量,可正可負。電的世界比起引力的世界,就更精彩啦。洞悉電的世界之精彩,需要更加複雜的數學。不過,人類為此付出的努力,回報是巨大的,且在意想不到的方向上。比如,對電磁學之狄裡希利(Johann Lejeune Dirichlet, 1805-1859)問題的研究,在20世紀帶來了有限元方法,極大地提升了人類的工程能力。扯遠了,打住。

注釋

[1] 一點都不奇怪。地球和它的行星兄弟們的特徵時間都是由它們同太陽(日)之間的相互作用決定的,都差不多。而人類的特徵時間,又是由日-地-月系統所決定的。

[2] Harmonices Mundi, 漢譯為「宇宙的和諧」,大謬也。Harmonices 不是啥和諧,是「組裝到位」。本書講宇宙的體系(太陽,行星,遠處的星星)是如何組裝的。Harmonic mean的漢譯調和分析中的調和大約是正確的。

[3] 量子力學是經典力學的自然延續,沒有革命。

[4] 正確的譯法是最少動作原理,不解釋。

建議閱讀

1.Max Caspar, Johannes Kepler (德語版), W. Kohlhammer Verlag (1948); Kepler (英語版,C. Doris Hellman譯), Dover Publications, Inc. (1993).

2. David Oliver, Shaggy steed of physics, 2^nd edition, Springer(2004).

3.Subrahmanyan Chandrasekhar, Newton’s Principia for the Common Reader, Clarendon Press (2003).

溫馨提示

本文摘自《驚豔一擊——數理史上的絕妙證明》(外語教學與研究出版社,2019年9月)。該書已開始預售,本刊讀者將能夠在第一時間以最優惠的價格預訂此書,另將有10名幸運讀者免費獲得一本新書。感興趣的朋友請關注近期《返樸》微信公眾號的推送。

特 別 提 示

1. 進入『返樸』微信公眾號底部菜單「精品專欄「,可查閱不同主題系列科普文章。

2. 『返樸』開通了按月檢索文章功能。關注公眾號,回復四位數組成的年份+月份,如「1903」,可獲取2019年3月的文章索引,以此類推。

版權說明:歡迎個人轉發,任何形式的媒體或機構未經授權,不得轉載和摘編。轉載授權請在「返樸」微信公眾號內聯繫後臺。

《返樸》,科學家領航的好科普。國際著名物理學家文小剛與生物學家顏寧共同出任總編輯,與數十位不同領域一流學者組成的編委會一起,與你共同求索。關注《返樸》(微信號:fanpu2019)參與更多討論。二次轉載或合作請聯繫fanpusci@163.com。

相關焦點

  • 數理史上的絕妙證明:費馬大定理 | 賢說八道
    原創: 曹則賢 返樸費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。
  • 數理史上的絕妙證明:費馬大定理|賢說八道
    費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。如今,費馬大定理算是得到了證明,但也許我們還是可以期待費馬曾以為得到過的那種簡明的證明。
  • 數理史上的絕妙證明:電子自旋是相對論性質|賢說八道
    本篇取自曹則賢《驚豔一擊——數理史上的絕妙證明》一書,外語教學與研究出版社,2019.來源:返樸編輯:Quanta Yuan
  • 數理史上的絕妙證明:費馬大定理
    費馬宣稱自己證明了但在書邊寫不下證明過程的那個猜想,後來變成了費馬大定理。三百多年來,費馬大定理的證明吸引了大批數學家前僕後繼,也產生了諸多無心插柳式的成果。如今,費馬大定理算是得到了證明,但也許我們還是可以期待費馬曾以為得到過的那種簡明的證明。
  • 數理史上的絕妙證明:電子自旋是相對論性質
    本篇取自曹則賢《驚豔一擊——數理史上的絕妙證明》一書,外語教學與研究出版社,2019.
  • 數理史上的絕妙證明:準晶是高維晶體的投影
    圖1 正方體的2次、3次和4次轉動軸證明如下,見圖2。若晶體允許n 次轉軸,考察某個方向上相鄰的三個原子。繞過原子O 的n 次軸將聯繫OA 的線段順時針轉過θ = 2π/n 角,原子A落在點A'上;繞過原子O 的n 次軸將聯繫OB 的線段逆時針轉過θ = 2π/n 角,原子B落在點B'上。
  • 黑體輻射、對應原理與零點能——普朗克老師的一箭三雕 |賢說八道
    原創 曹則賢 返樸點擊上方藍字「返樸」關注我們,查看更多歷史文章普朗克是二十世紀最偉大的物理學家,連愛因斯坦對他也是恭敬有加。就筆者所知,這應該算是絕無僅有的了,我不知道物理史上還有哪個單篇有如此高的成就。如果要推舉近代物理史上前三個重要概念,我估計結果會是沒結果,眾說紛紜是必然的。但如果說黑體輻射、對應原理與零點能都是近代物理中重要的基礎概念,恐怕有異議的人不多。
  • 科普|最新研究證明萬有引力常數不變
    宇宙研究中長期存在的一個疑問是,萬有引力常數在不同時間和不同空間的數值相同嗎?天文學家的最新研究給出了肯定的回答。
  • 歷史上,有哪些被證明不成立的數學猜想?這些真的反人性的證明
    要證明一個數學猜想困難無比,推翻一個數學猜想卻只需一個反例!數學史上有很多著名的猜想,歷經了幾十年甚至幾百年,無數數學家的努力才將之證明出來,或者推翻.到目前為止,還有一些猜想沒有證明出來了,例如黎曼猜想,哥德巴赫猜想等.今天我們看看那些表面成立,最後卻被推翻的猜想.
  • 一個富有爭議的證明
    昨日,日本媒體報導說,這個被「雪藏」了8年之久的證明即將正式發表在學術期刊上,這意味著宣告ABC猜想已經得到證明。隨後,《自然》雜誌也對這一重大進展進行了報導。  然而,爭議卻仍然存在,因為接收這篇論文期刊《數理解析研究所公刊》,是由京都大學出版的,而且期刊的主編正是論文的作者——望月新一。
  • 引力彎曲光線的那些事兒 | 賢說八道
    就引力偏折光路這個問題來說,光的唯一性質就是速度 c,而物體的引力強度由 Gm 來表徵,其中 G 是萬有引力常數,m 是質量。此外,決定彎折多少的另一個量是光線靠物體有多近,即還要考慮一個特徵距離 R。這個特徵距離就是散射問題中的瞄準距,當光線從星體表面掠過時,瞄準距近似就是星體的半徑。Gm,c 和 R 可組成一個恰當的無量綱量 。
  • 小學課本欺騙我們幾代人:牛頓發現萬有引力真不是蘋果砸出來的!
    由此可見,牛頓被蘋果砸腦袋從而發現萬有引力這事情很可能是編造出來的,並不符合事實。不僅僅是克卜勒,還有比如伽利略、惠更斯、胡克等人,在萬有引力的發現上,他們都做出了很大的貢獻,甚至在牛頓前已經有了產生萬有引力概念的萌芽。以至於牛頓後來曾說,我之所以比別人看得更遠一些,是因為我站在巨人的肩上。
  • 這個證明據說世界上只有12個人看懂,他們是……
    昨日,日本媒體報導說,這個被「雪藏」了8年之久的證明即將正式發表在學術期刊上,這意味著宣告ABC猜想已經得到證明。隨後,《自然》雜誌也對這一重大進展進行了報導。然而,爭議卻仍然存在,因為接收這篇論文期刊《數理解析研究所公刊》,是由京都大學出版的,而且期刊的主編正是論文的作者——望月新一。○望月新一。
  • 望月新一的論文快發表了,abc猜想能否獲得證明?
    來源:京都大學 數年來,業界對於望月新一的證明有著激烈的爭論,《數理解析研究所公刊》決定接收這篇論文是這一事件的最新進展。望月本人是該期刊的主編,期刊由望月的就職單位、京都大學的數理解析研究所(RIMS)出版。 4月3日,數理解析研究所的另外兩名數學家——柏原正樹和玉川安騎男在京都舉行的新聞發布會上用日文宣布了發表決定。
  • 廣義相對論能證明萬有引力定律是錯誤的嗎?
    牛頓的萬有引力定律當然是沒有錯的,不然我們現在也就不會學這個理論。只是這個理論不能完全反映深刻的宇宙規律,它有一定的適用範圍。在17世紀,牛頓從克卜勒行星運動三大定律中推導出了萬有引力定律,他認為物體被吸引在地球上以及宇宙中的天體運動都是受到引力的支配。當年海王星的發現就是通過萬有引力定律計算出來的,而且現在的火箭發射也都是利用這個理論,所以這個牛頓的引力理論是非常成功的。不過,萬有引力定律只能適用於弱引力場,而在強引力場中會失效。
  • 科技史上的4月11日 費馬大定理終被證明
    自法國數學家提出費馬大定理後,三百多年來無人能夠證明。直到上世紀九十年代,英國數學家懷爾斯才正式向全世界宣稱證明了費馬大定理。據說懷爾斯是用極其複雜的,現代高等數學的方法來證明費馬大定理的,證明的過程寫滿了一百多葉紙。如此複雜冗長的證明恐怕除了懷爾斯本人外,是沒有人能真正完全看懂的。所以懷爾斯的證明至今仍然是備受爭議和質疑的。
  • 數學史上最重要的證明之一:微積分基本定理證明
    本篇文章旨在證明微積分基本定理,對於不那麼熱衷於代數的人來說,這是一種視覺方法,而對於那些對精確性不那麼嚴格的人,要採用一種代數的,稍微更嚴格的方法。我們將理解數學中最重要的歷史證明之一。之所以重要,是因為它將以前不可能解決的問題(即函數的積分問題)簡化為查找導數的藝術。
  • 觀點 | 剖析工作量證明
    我們同樣可以認為工作量證明是一種將一堆 0和1 注入現實生活的魔法。換句話來說,工作量證明是電子世界與物理世界之間的橋梁。把這一點跟以太貓比比看?它們是由一些人創建的,並由他們在自認合適的時候修正和移除。他們的獨特性和存在性既不被保證,也不可信賴。即便當前工作量證明的變體失敗了,我有信心,會有其它為區塊附加能量的方式。
  • 史上最簡潔證明誕生
    古往今來,產生了許多精巧證明,採取的途徑有級數、數域、拓撲……等等等。比方說十七世紀,歐拉漂亮地利用級數發散證明了素數無窮,對後世影響深遠。從中,我們可以偷窺到高斯定理與黎曼猜想的影子。但是,大道至簡。解決問題有非常多路徑,越淺顯簡約的過程,才越接近本質。公認的最簡潔版本,依舊是由歐幾裡德在公元前三世紀作出,古人的智慧不可小覷。