2015年8月23日，被譽為“中國科幻第一人”的劉慈欣憑借科幻小說《三體》獲得“雨果獎”最佳長篇小說獎，這是亞洲人首次獲得該獎，也是中國科幻第一次獲得世界級的認(rèn)可。

在小說里，三體叛軍通過“三體”游戲向社會傳播三體文化，游戲玩家們則通過建立各種模型來躲避亂紀(jì)元、預(yù)測恒紀(jì)元的到來。

游戲第一關(guān)，一個文明在“三日凌空”中毀滅，玩家哥白尼成功揭示出宇宙的基本結(jié)構(gòu)；游戲第二關(guān)，另一個文明毀滅，它最終證明了三體問題無解，人們放棄了徒勞的努力，并確定全新的走向。至此，游戲的終極目標(biāo)發(fā)生變化，調(diào)整為飛向宇宙，尋找新的家園。

《三體》三部曲中有無數(shù)讓人腦洞大開的經(jīng)典創(chuàng)意，它們的創(chuàng)作基礎(chǔ)就是天體力學(xué)中基本的三體模型。那么，究竟什么是三體？

1900年，數(shù)學(xué)家希爾伯特在一次演講中提出了23個困難的數(shù)學(xué)問題以及兩個典型例子，第一個是費爾馬猜想，第二個就是N體問題的特例——三體問題。對于20世紀(jì)數(shù)學(xué)的整體發(fā)展，這兩個例子所起的作用遠(yuǎn)遠(yuǎn)大于23個問題中的任何一個。最終，費爾馬猜想在1994年被美國的懷爾斯解決，而三體問題卻一直沒有找到答案。

三體問題是天體力學(xué)中的基本模型，即探究三個質(zhì)量、初始位置和初始速度都為任意的可視為質(zhì)點的天體，在相互之間萬有引力的作用下的運動規(guī)律。

如圖1所示，它們有無數(shù)種可能的運動軌跡。最簡單的例子就是太陽系中太陽、地球和月球的運動。

在一般的三體問題中，每一個天體在其他兩個天體的萬有引力作用下，其運動方程都可以表示成6個一階的常微分方程。因此，一般三體問題的運動方程為十八階方程，必須獲得18個積分才能得到完全解。然而，現(xiàn)階段還只能得到三體問題的10個初積分，遠(yuǎn)遠(yuǎn)不足以解決問題。

我們常說的“三體問題無解”，準(zhǔn)確地說是無解析解，即三體問題沒有規(guī)律性答案，不能用解析式表達(dá)，只能算數(shù)值解，因此無法得出精確值。然而對于三體問題的數(shù)值解，時間會無限放大初始的微小誤差，因此數(shù)值法幾乎無法預(yù)測當(dāng)時間趨于無窮時，三體軌道的最終命運。而這種對于軌道長時間行為的不確定性，就被稱為“混沌”現(xiàn)象。

三個物體在空間中的分布有無窮多種情況，由于混沌現(xiàn)象的存在，通常情況下三體問題的解是非周期性的。

圖1

尋找三體問題的通解是枉費力氣，但在特殊條件下，一些特解是存在的。然而，必須找到合適的初始條件（位置、速度等），才能使系統(tǒng)在運動一段時間后回到初始狀態(tài)，即進(jìn)行周期性的運動。

要發(fā)現(xiàn)三體問題的周期性特解絕非易事——自該問題被確認(rèn)至2013年的300多年中，人們只找到了3族周期性特解。

法國數(shù)學(xué)家、物理學(xué)家約瑟夫·拉格朗日和瑞士數(shù)學(xué)家、物理學(xué)家萊昂哈德·歐拉在18世紀(jì)得到了一些結(jié)果；20世紀(jì)70年代，美國數(shù)學(xué)家羅杰·布魯克和法國天文學(xué)家米歇爾·赫農(nóng)借助計算機又得到了更多的結(jié)果；1993年，美國數(shù)學(xué)家、物理學(xué)家克里斯·摩爾發(fā)現(xiàn)一種奇特現(xiàn)象——特解中3個天體的運動似在一條“8”字形的軌道上互相追逐。

上述所有這些被發(fā)現(xiàn)的特解可被歸結(jié)為下面3族：拉格朗日-歐拉族、布魯克-赫農(nóng)族和“8”字形族。

此圖為藝術(shù)家描繪的從“三星系統(tǒng)”中一顆行星的衛(wèi)星上看到的情景，這種恒星系統(tǒng)處于極不穩(wěn)定的混沌運動狀態(tài)

1772年，拉格朗日在“平面限制性三體問題”條件下找到了5個特解，也就是著名的拉格朗日點。在該點上，小天體在兩個大天體的引力作用下能基本保持靜止。

比如上面這張圖中，地球和太陽的連線上有L1、L2、L3三個拉格朗日點，而在地球軌道上則有L4、L5兩個點，它們和太陽、地球構(gòu)成等邊三角形。

L1、L2、L3是不穩(wěn)定的，如果小天體離開這三個點，就會越跑越遠(yuǎn)，無法在穩(wěn)定的軌道上運行，而L4、L5是穩(wěn)定的。L4、L5的穩(wěn)定解在太陽系里確實存在實例，如木星的L4和L5點上各有一群小行星，就是著名的特洛伊群和希臘群小行星。

特洛伊群和希臘群小行星

拉格朗日點在深空探測中具有很高的科研價值，主要體現(xiàn)在兩個方面：科學(xué)觀測的極佳位置和深空探測的中轉(zhuǎn)站。

位于L4和L5的航天器能與兩個天體保持相對靜止，有利于一些長期的科學(xué)觀測。而共線拉格朗日點存在穩(wěn)定流形與不穩(wěn)定流形，使得航天器在其上運動時，可不需耗費任何能量地趨近或遠(yuǎn)離周期軌道，這一點能為設(shè)計行星間的轉(zhuǎn)移軌道提供巨大幫助。

布魯克-赫農(nóng)族的解比較復(fù)雜，兩個天體在里面橫沖直撞，第三個天體在它們外圍作環(huán)繞運動。

目前三體問題的研究主要集中在“限制性三體問題”上

直到2013年，塞爾維亞物理學(xué)家米洛萬·舒瓦科夫和迪米特拉·什諾維奇發(fā)現(xiàn)了新的13族特解。他們在著名學(xué)術(shù)期刊《物理評論快報》上發(fā)表論文，描述尋找特解的方法：用計算機模擬，先從一個已知的特解開始，然后不斷對它的初始條件進(jìn)行微小調(diào)整，直到新的運動模式被發(fā)現(xiàn)。這13族特解非常復(fù)雜，在抽象空間“形狀球”中，就像一個松散的線團(tuán)。

三體問題特解的族數(shù)擴充到了16族，這一新發(fā)現(xiàn)令科學(xué)界歡欣鼓舞，其成果加深了人們對天體運動的了解，促進(jìn)了天體力學(xué)和數(shù)學(xué)物理的進(jìn)一步發(fā)展，尤其是對人們研究太空火箭軌道和雙星演化很有幫助。