牛顿 三体问题,三体和牛顿有什么关系

2023年1月15日，根据刘慈欣同名科幻小说改编的电视剧《三体》在央视和腾讯同时播出。在《三体》的故事中，刘慈欣描绘了一个与我们的太阳系完全不同的，具有三颗恒星的三体星系。由于三颗恒星相互吸引，使得整个星系的运动轨迹异常复杂，完全无法预测。这也就导致了三体星人的生存环境异常严酷。

一直以来，三体星人都渴望能够解决三体问题，破解他们所居住的那个星系的运行规律。但是，这一愿望却被数学无情地证明是不可能实现的。也正因为此，三体星人对人类所居住的这个只有一个恒星的稳定的太阳系充满了渴望，宁可花费数百年的时间，跨越数光年的距离，也要来消灭人类，占领太阳系。而整个《三体》三部曲的宏大故事也由此展开。

在现实中，想要了解我们头顶的星空，破解天体运行的规律，同样是人类最古老的愿望之一。在探索这一规律的过程中，无数的天才为此穷尽心力，献出了自己的智慧、汗水乃至生命。在这个过程中，人们极大地扩展了对数学和相关科学的认知，同时发展出了很多有用的技术，从而深刻地推动了人类社会的进步。

下面，就让我们走进这段历史，讲述其中的故事。

自人类文明诞生之初，出于祭祀、宗教和农业活动的需要，观测太阳、月亮和其他天体的运行，总结其规律，制定历法，就一直是一项极为重要的人类活动。但是，由于肉眼观测的局限性，人类对于天体运行规律的认识，在几千年的时间里，一直都发展缓慢。

这种情况直到1609年才得以改变，那一年，伽利略在人类历史上第一次将望远镜指向了天空。虽然他当时使用的望远镜只有20倍的放大率，而且手工磨制的镜片也有些模糊，但是仍然足以让他成为第一个看清月球上的山脉和陨石坑的人。除了月球之外，伽利略还在人类历史上第一次观测并记录了“长着两只耳朵”的土星——后来在1655年被天文学家惠更斯指出那是土星环。

而伽利略最为重要的天文观测结果之一，就是第一次观测并记录了木星的四颗卫星，木卫一、木卫二、木卫三和木卫四，这四颗卫星现在也被称为伽利略卫星。这一结果有力地证实了哥白尼的日心说理论。伽利略将此惊人的观测记录在他的书《天体信息》(Sidereus Nuncius)中，并于1610年3月中旬在威尼斯出版，从此奠定了他的名声与在科学史上的地位。

几乎就在伽利略取得这些发现的同一时间，德国天文学家开普勒也先后于1609年和1618年，在科学杂志《新天文学》上发表了日后被称为“开普勒三定律”的行星运行的三条规律。即：椭圆定律，行星的运行轨道是一个椭圆，太阳位于椭圆的一个焦点上；等面积定律：在相等时间内，太阳和运动着的行星的连线所扫过的面积都是相等的；周期定律：各个行星绕太阳公转周期的平方及其椭圆轨道的半长轴的立方成正比。开普勒三定律的发现，来自于开普勒对著名丹麦天文学家第谷·布拉赫，几十年来观察与收集的，非常精确的天文资料的深入研究和归纳总结。

伽利略和开普勒等人的工作，极大地扩展了人类对天体运行规律的认识，把天体运行的奥秘，从宗教和神学的领域，带入到了科学的范畴当中。但是，他们的这些发现，还都是对于观测现象的经验性总结。想要完成从经验归纳到科学的质变，建立起一套能够揭示天体运行奥秘的理论体系，还需要等待一个巨大的飞跃。

完成这一科学史上里程碑式的壮举的人，就是牛顿。

牛顿

不同于大众印象中“人类历史上排名前几的科学巨匠”的应有的形象，牛顿的很多发现和成果，都存在着这样或那样的争议。比如惯性定律的发现可以追溯到伽利略。而惠更斯和罗伯特·胡克都在牛顿之前描述过万有引力定律的相关内容。牛顿和莱布尼茨关于微积分发现权的争论更是一段著名的公案。

正如诗人亚历山大·蒲柏为牛顿所写的墓志铭所说的那样：“自然与自然法则在黑暗中隐藏，上帝说：让牛顿去吧，于是一切都被照亮。”真正让牛顿超越时代的是，不同于胡克、惠更斯和莱布尼茨等同时代的其他科学家，牛顿关注的不是去归纳一个个独立的现象背后的物理学规律，而是建立一套普适的物理学理论，并且用数学的语言去严格化这套理论。

在他的传世之作《自然哲学的数学原理》中，牛顿用他的那一套几何化的微积分语言，从牛顿运动学三定律出发，给出了整个经典力学的数学描述。并且，作为这套数学工具的具体实例，牛顿给出了描述天体运行规律的数学表达式，并且从数学上严格化地证明了开普勒三定律。牛顿在三百年前给出的这一数学表达式，直到今天，仍然是从数学角度研究包括三体问题在内的天体力学问题的出发点。

这一数学表达式的建立，说起来也非常简单。只需要牛顿第二定律：施加于物体的外力等于此物体的质量与加速度的乘积。也就是中学物理中那个最常见的公式：F=ma。在天体力学的研究中，天体所受到惟一的作用力，就是相互之间的万有引力，天体的加速度，等于速度关于时间的变化率。而速度又等于位置关于时间的变化率。所以天体的加速度，等于天体的位置关于时间的二次变化率。将这些变量用数学符号写出来，代入F=ma，就得到了天体运行的常微分方程组。

就这样，牛顿把天体运行的奥秘，从一个观测性的天文学问题，转变成了一个计算性的数学问题。理论上来说，只要找到了这个方程组的解，就可以得到天体运行的规律。实际上，牛顿当时就是找到了二体问题的方程组的解，从而证明了当时已知的太阳系的几大行星的运行轨道，是符合开普勒三定律的。

这里需要说明一下的是，所谓的“二体问题”、“三体问题”，乃至一般的“N体问题”，指的是方程组中天体的数量。因此这里就隐含了一个数学上的理想化的假设：在方程组之外的其它天体，不会对方程组内的天体产生影响。在牛顿求解太阳和单颗行星所组成“二体问题”的时候，就忽略了其他行星的引力的影响。

这种数学上的理想化，显然是不符合现实中万有引力的实际情况的。只是因为，相较于太阳，其他行星的引力（在天文学上称为摄动）实在是微乎其微，所以牛顿得到的结果和实际情况是极为接近的。

当牛顿想要更进一步，获得精确的月球运动的数学表达式的时候，这种理想化的假设就遇到了无法克服的障碍。

对月球引力最大的，当然是离它最近的地球。但是另外一方面，在太阳系中，太阳的巨大质量，使得在考虑“地-月系统”的时候，即使可以忽略掉其他行星的引力，太阳的影响也是必须要考虑的。这就使得，想要得到精确的月球运动的数学表达式，就必须要找到“太阳-地球-月球”的三体问题的解。

这个问题困扰了牛顿相当长的时间。以至于让他一思考月球运动时就会头痛。最后不得不承认：“如果我没弄错的话，三体问题的精确解超越了任何人类智力的极限。”

实际上，在牛顿的那个时代，甚至无法想象，三体问题是一个多么复杂的问题。而要完全理解这一切，则需要200年后，另外一位和牛顿同样伟大的数学家。

三体世界中的五个拉格朗日点。

在牛顿之后的200年间，有着很多的数学家想要去破解三体问题的奥秘，而且这期间也取得了一些“阶段性成果”。例如欧拉和拉格朗日先后发现了三体问题的五个特解。在这五种情况下，三个天体会排成一条直线，或者一个等边三角形，并且保持稳定的运行。这五种极为特殊的情况，现在就被称为拉格朗日点。因为具有极强的稳定性，所以拉格朗日点是探测器、天体望远镜定位和观测太阳系的理想位置。在现在的航天工程中具有重要的作用。

在天文学上，这一时期最重要的成果，则是1846年9月，在亚当斯和勒维耶根据天王星的摄动所预言的位置上发现了海王星。正因为此，海王星也被称作“笔尖上的星球”。

这些成果和突破，证明了牛顿的力学体系和数学化的方法是行之有效的。与此同时，数学家们大大地简化了牛顿使用的那种几何化的微积分的方法，发展出了拉格朗日力学和哈密尔顿力学，使其变得更加地容易操作而且高效。

但是，这一时期的数学工具，和使用这些工具的数学家们的思想，仍然和牛顿当时没有什么本质性的进步。也正因为此，数学家阿诺德在评价这200年间数学家们在天体力学领域的发展时说道：“从惠更斯和牛顿的天才发现到黎曼和庞加莱将数学几何化，其间长达200年的时期似乎成了只不过充满了各种计算的数学沙漠。”

彻底改变这一局面的，就是阿诺德提到的庞加莱。

庞加莱

儒勒·昂利·庞加莱（Jules Henri Poincaré）（1854-1912），法国数学家、理论物理学家、工程师和科学哲学家。庞加莱被认为是世界上最后一个“全能的数学家”。他精通当时数学的所有分支，并在每一个分支都做出了开创性的工作。而且每当庞加莱进入一个新的数学分支，都会用自己惊人的洞察力和数学天赋，彻底地改进这个分支的研究方法。不仅如此，庞加莱还是包括代数拓扑、代数几何、动力系统等数学分支的奠基人和开创者。这些由庞加莱开创或者首先进行研究的数学分支，成为到现在仍然充满活力的，数学中的主要研究领域。

在纯数学之外，庞加莱还在包括相对论、电磁学、天体力学等物理领域有所建树。更加难能可贵的是，庞加莱能够将深奥的数学概念用通俗易懂的文字讲述得明明白白。在巴黎街头的公园和咖啡馆里，曾经随处可见专心阅读他写的关于数学的普及读物的读者。

因为这些成就，庞加莱在1887年，年仅33岁时就当选法兰西科学院院士。在那之后，他在1906年当选法兰西科学院主席，更在1908年当选法兰西学术院院士。

但是，在1889年的秋天，35岁的庞加莱还不知道他将来会做出这么多伟大的成就。此时的他，正在想办法修补一年前他的那篇关于三体问题的论文中的一个致命错误。那篇论文让庞加莱在1889年1月21日，获得了由瑞典国王奥斯卡二世颁发的奥斯卡国王奖。但是在不久之前，那篇文章即将要在学术期刊上刊登的时候，他发现证明过程中存在着一个致命的错误。现在，如果他不能在期刊正式发行之前修正那个错误，不仅是他自己将会名声扫地。包括米塔-列夫勒、魏尔斯特拉斯等著名数学家在内的奥斯卡国王奖评审委员会，以及瑞典国王奥斯卡二世都将名誉受损。

奥斯卡国王奖，是由瑞典数学家米塔-列夫勒建议瑞典国王奥斯卡二世设立的数学奖项。

直到二战之前，世界数学的中心一直在欧洲。而欧洲数学的中心，在大部分时间内，一直在法国和德国之间来回徘徊。作为瑞典最著名的数学家，米塔-列夫勒一直想要提升瑞典数学的研究水平和国际地位。为此，他在1880年新建立的斯德哥尔摩大学担任了第一位数学教授，亲自教授学生们数学。而且，他还在1882年创建了一份数学学术期刊《数学学报》（Acta Mathematica），旨在发表全世界范围内的高水平的数学论文。

在《数学学报》创建之初，米塔-列夫勒首先要考虑的是，怎么样提高它在学术界的知名度和认可度。为此，米塔-列夫勒想到了一个好办法，那就是举办一场数学比赛。通过这种方式，公开悬赏征集对于一直悬而未决的数学问题的解答。

于是，在1885年发行的《数学学报》第七卷上，刊登了一则布告。这则布告介绍了奥斯卡奖大赛的题目和参赛细则。比赛共有四个当时尚未解决的数学问题，要求参赛者在其中选择一道进行研究，并且在1888年6月1日之前向评审委员会提交自己的论文。而这项比赛的颁奖仪式将在1889年1月21日，奥斯卡二世60岁大寿那天，作为寿诞活动的一部分举行。

在米塔-列夫勒一开始的雄心勃勃的计划中，这项比赛将会是一项每四年举办一次的长期性赛事。如果这一计划能够成功的话，也许现在数学界的最高奖就不是菲尔兹奖，而是奥斯卡奖了。当然了，如果那样的话，美国电影学院奖也可能不得不被迫改成另外一个名字了。

在当时，这项比赛的关注度和话题度，是要超过几年之后同样在瑞典举办的诺贝尔奖的。毕竟，虽然诺贝尔奖在创办之初，单项奖金就高达十五万克朗，但是，作为两个同样都是刚刚创立的奖项，“民间性质”的诺贝尔奖，在“逼格”这方面，还是会比由瑞典国王亲自发起的皇家“奥斯卡奖”要差一些的。

在一百多年后的今天，诺贝尔奖仍然还在，而且成为了世界上最具影响力的科学奖项。而奥斯卡奖大赛却因为种种原因，只举办了惟一的一次。而这唯一一次的“奥斯卡奖大赛”所提出的，四个数学难题中的第一个问题，就是要求解决包括三体问题在内的，一般的N体问题。这也正是庞加莱尝试去解决的问题。

在本文开头就提到了，三体问题在数学上是不可解的。而整个《三体》三部曲成立的根基，就在于三体问题的不可解性。那么，对于一个不可解的问题，欧拉和拉格朗日是怎么找到那几个特殊解的呢？数学家米塔-列夫勒和瑞典国王奥斯卡二世又为什么要把一个没有解答的问题作为数学大赛的题目呢？

正是因为，数学上所谓的“三体问题不可解”，指的是对于任意条件下的三体问题，没有一个通用的方法，能够求解三体问题的常微分方程组，得出描述三体问题运动规律的具体表达式。但是对于某些极为特殊的情况，比如欧拉和拉格朗日找到的那些，是可以求解的。这就好比，一元五次方程是没有求根公式的，但是对于x5=0这个具体的一元五次方程，则是可以解的。

那么为什么三体问题的常微分方程组不可求解呢？

这是因为，想要描述三维空间中一个物体的运动，需要直角坐标系中的三个位置分量。因此三体问题的常微分方程组中，会有九个未知变量。而且因为加速度是位置函数关于时间的二次微分，这就意味着，这是一个二阶常微分方程组。就像二次方程比一次方程要困难得多一样，二阶的常微分方程，也要比一阶的复杂得多。因此需要对这个方程组进行“降阶”，将其化为一阶常微分方程组。这个“降阶”的过程，会引入和未知变量一样多的中间变量，也就是说，想要求解三体问题，需要去解一个含有十八个未知变量的一阶常微分方程组。

在数学上，对于一阶常微分方程组，是有着一套成熟的处理方法的。那就是寻找“首次积分”。对于一个一阶常微分方程组来说，它的一个首次积分就是一个包含未知变量的恒等式。每找到一个这样的首次积分，就可以把方程组中的未知函数的数量减少一个。由此可知，只要找到足够多的首次积分，就可以解出方程组。但是，对于三体问题而言，布伦斯、庞加莱和潘勒韦先后证明了，对于三体问题，一共只存在十个首次积分的恒等式。这远远小于十八个未知变量的个数。因此，严格地求解三体问题是做不到的。

对于这种无法求解的常微分方程，在庞加莱之前，有一套常规的研究方法。那就是将其写成函数项级数的表达式，然后再去证明该级数表达式是一致收敛的。实际上，这也是这次的奥斯卡大奖中问题的要求。

应用这套方法，拉普拉斯证明了，至少在900年的时间内，太阳系是可以保持稳定的。而亚当斯和勒维耶用来寻找海王星的计算，同样也是这样完成的。

但是，庞加莱通过深入的研究，证明了这套方法同样无法彻底地解决三体问题。

这是因为，这套级数方法，虽然可以做到足够的接近三体问题的解，但是，它仍然只是一个近似的结果。而天体的运行，是会经历长达数十亿年的时间跨度的。在如此之长的时间跨度下，任何细小的误差，都有可能经过时间的积累，变得异常的巨大，从而导致得到的结果与真实的情况相去甚远。

因此，庞加莱不得不放弃已有的方法，去开创一套全新的方法和理论，来研究三体问题。这就是由庞加莱创立的常微分方程定性理论。

但是，庞加莱基于这套理论提交的三体问题的初版论文当中，存在着一个错误。当他发现这个错误的时候，刊登了他的那篇论文的期刊已经印刷完毕了。而等到他想到办法改正这个错误，距离他获得奥斯卡奖已经过去一年了。为此，庞加莱不得不自掏腰包，支付了3585克朗63欧尔的费用，来追回那些刊登着他那篇错误论文的期刊，并重新印刷一版正确的——这个金额远远超过了他所获得的两千五百克朗的奖金。

接下来，关于三体问题的继续研究工作贯穿庞加莱之后二十余年的数学生涯。他在天体力学上的主要工作，汇聚成了1892-1899年间相继出版的三卷本巨著《天体力学新方法》。这些工作彻底改变了天体力学的研究方法，创立了微分方程定性理论，并且开启了动力系统，这个至今仍然充满活力的数学分支。

左力

三体的研究简史

牛顿的引力理论正确预测两个互相吸引的天体(比如太阳和地球)的运动规律——它们的轨道基本是椭圆形。但如果有3个天体(比如太阳、地球和月球)互相作用，它们的运行轨道有什么规律?这就是著名的“三体问题”。2013年，有两位科学家一口气找到了13组新的周期性特解，震惊了科学界。
“三体问题”的提出可以追溯到17世纪80年代，当时英国物理学家、数学家艾萨克·牛顿运用他的引力理论正确预测两个互相吸引的天体(比如太阳和地球)的运动规律——它们的轨道基本是椭圆形。但如果有3个天体，比如太阳、地球和月球相互作用，它们的运行轨道是什么样的?牛顿没能给出通用的特解答案。
简单地说，“三体问题”就是探讨3个质量、初始位置和初始速度都为任意的可视为质点的天体，在相互之间万有引力的作用下的运动规律问题。
随后的200多年中，科学家们为解决这个问题绞尽脑汁，直到1887年德国数学家、天文学家海因里希·布伦斯指出，寻找三体问题的通解注定是无用功，只在特定条件下成立的特解才可能存在。
1889年，法国数学家、天体力学家亨利·庞加莱将复杂的三体问题简化成了所谓的“限制性三体问题”。但他发现，即使对简化了的限制性三体问题，在同宿轨道或者异宿轨道附近，解的形态会非常复杂，以至于对于给定的初始条件，几乎没有办法预测当时间趋于无穷时，这个轨道的最终命运。而这种对于轨道的长时间行为的不确定性，这被称为“混沌”(chaos)现象。表明了通常情况下三体问题的解是非周期性的。
要发现三体问题的周期性特解绝非易事——自“三体问题”被确认以来的300多年中，人们只找到了3组周期性特解。
法国数学家、物理学家约瑟夫·拉格朗日和瑞士数学家、物理学家莱昂哈德·欧拉在18世纪得到了一些结果;20世纪70年代，美国数学家罗杰·布鲁克和法国天文学家米歇尔·赫农借助计算机又得到了更多的结果;1993年，美国数学家、物理学家克里斯·摩尔发现一种奇特现象——特解中3个天体的运动似在一条“8”字形的轨道上互相追逐。上述所有这些被发现的特解可以被归结为下面3族:拉格朗日-欧拉族、布鲁克-赫农族和“8”字形族。拉格朗日-欧拉族的解比较简单，就是三个天体等间距地在圆轨道上运动，就像旋转木马那样。布鲁克-赫农族的解比较复杂，两个天体在里面横冲直撞，第三个天体在它们外围做环绕运动。
要知道，发现新的特解不是一件容易的事:三个天体在空间中的分布可以有无穷多种情况，必须找到合适的初始条件——起始点、速度等，才能使系统在运动一段时间之后回到初始状态，即进行周期性的运动。
2013年，塞尔维亚物理学家米洛万·舒瓦科夫和迪米特拉·什诺维奇发现了新的13族特解。他们在著名学术期刊《物理评论快报》上发表了论文，描述了他们的寻找方法:运用计算机模拟，先从一个已知的特解开始，然后不断地对其初始条件进行微小的调整，直到新的运动模式被发现。这13族特解非常复杂，在抽象空间“形状球”中，就像一个松散的线团。
三体问题特解的族数被扩充到了16族。这一新发现令科学界欢欣鼓舞。多年来一直从事三体问题研究的美国科学家罗伯特·范德贝说，“我非常喜欢这一成果”。另一位美国科学家理查德·蒙哥马利说:“这些结果非常美妙，而且描述非常精彩。”中国科学家周海中表示，他们的成果加深了人们对天体运动的了解，促进了天体力学和数学物理的进一步发展，尤其是对人们研究太空火箭轨道和双星演化很有帮助。

难倒了无数科学天才的三体难题？

刘慈欣科幻小说《三体》中提到的三体问题，真正是人类科学家数百年来面临的一个巨大难题。从牛顿到那个时候到现在，三体问题一直就是物理学家和数学家挥之不去的噩梦。

难倒牛顿的世纪难题

自从牛顿提出万有引力定律以来，人们就很容易计算出宇宙中两个天体在引力作用下的运动情况，得到天体的运行轨道。但是，有第三个天体存在的话，情况就完全不同了，这三个天体之间的作用力关系就非常复杂以至于难以求解。而天体更多时，问题就更加复杂了。

在实际的星空中，天体系统往往由很多天体构成，比如太阳、地球、月球构成了“三体”，太阳、冥王星以及冥王星的卫星“卡戎”也构成了“三体”，只由两个天体构成的系统很少。不过，计算这些星体的运动轨道时，完全可以按照两个天体情况来计算，比如，计算地球的公转轨道，就不必考虑月球的影响；计算月球的绕地轨道，也不必考虑太阳的影响。

但是，如果真的遇到需要第三者的影响时，该如何计算呢？牛顿在攻克二体问题后，立即着手研究三体问题。但由于难度太大，他计算到头痛欲裂也没能找到答案，于是谨言慎行的牛顿没有留下任何关于这个问题的论述。

其实，计算三体运动的轨迹已经是对物理实际简化得很厉害了，只需考虑质点的运动方程，而不必考虑其他因素。科学家们在研究天体运动轨迹时，通常把天体当做一个有质量的点来看待，这就是“质点”。但是，只要研究实际的地球运动，就已经比质点复杂得多，地球别说不是点，连球形都不是，粗略看来是个赤道上胖出来一圈的椭球体。于是，在月球引力下，地球的自转轴方向就不固定，因此北极星也不会永远是那一颗（天文学家们早已算出，4800年前，北极星不是现在小熊座α星，而是天龙座α星；未来到公元4000年前后，仙王座γ星将成为北极星；到公元14000年前后，天琴座α星织女星将获得北极星的美名）。而在考虑潮汐作用时，地球都不能看成是“硬”的了，地球自转也因此越来越慢。如果把这些问题都考虑进去，那么任何方程都无法精确计算出地球的运动情况。

然而即使是极其简化了的三体问题，从牛顿那时开始，在随后的200多年中，欧拉、拉格朗日、拉普拉斯、庞加莱等等数学大师们绞尽了脑汁也未能将它攻克。

千辛万苦找到特解

既然三体问题难以解决，人们就开始尝试求解一些经过简化的三体问题，即所谓的限制性三体问题。我们考虑一种情况：两个大质量天体（比如太阳和地球）相互绕转，第三个天体的质量小到可以忽略，但是这个小天体又处于两个大天体引力的影响下，这就是限制性三体运动。18世纪的法国数学家拉格朗日在这个问题上做出了突破性的贡献，他研究的是所谓的椭圆轨道限制性三体问题，椭圆轨道是宇宙中天体运动的常见轨道。

1767～1772年间，拉格朗日对限制性椭圆轨道三体运动求出了五个特解，并由此计算出5个在三体系统中引力达到平衡的所谓“拉格朗日点”，如果把物体放到三体系统的拉格朗日点上，物体会保持相对静止状态。

这5个拉格朗日点简称为L1-L5。其中，L1-L3都位于两个大天体的连线或延长线上，L1-L3都是不稳定的，也就是说，如果这个点上的物体受到外界扰动而偏离了这个位置，就不会再回到这个位置，而是日渐远离。L4和L5分别位于较小天体绕较大天体运行的轨道上，与两较大天体组成非常稳定的等边三角形。当时限于观测条件，这个计算结果无法验证，不过100多年后，天文学家在太阳系里找到了实例，那就是特洛伊小行星群，这些小行星分成两组，分别在木星-太阳系统的L4和L5上，和木星、太阳恰好组成了两个等边三角形。自然界真的是让人惊叹！

20世纪80年代，天文学家发现土星的卫星系统中存在着好几个类似的等边三角形。人们进一步发现，在自然界各种运动系统中（包括微观运动），都有拉格朗日点。甚至在地月系统中也存在，在月球轨道上，月球前后各60度同地球和月球距离成等边三角形的两个位置存在两片非常稀薄的气体云，那两片云与月球一同绕地球旋转，并永远和地球、月球保持这种等边三角形的关系。

三体系统的“蝴蝶效应”

拉格朗日找到了几个有限的特解，那么，三体问题能找到通用解吗？1885年，酷爱数学的瑞典国王奥斯卡二世悬赏征求太阳系的稳定性问题的解答，这其实是三体问题的一个变种。来自法国的一位只有33岁的年轻学者庞加莱接受了这一挑战，由于这一问题是如此的复杂，他决定也像拉格朗日从较为简单的限制性三体问题着手研究，试图突破特解，找到普遍性的通用解。

但是在研究过程中，庞加莱发现，这几乎是不可能的事。经过整整三年的努力，他断定这个问题无法完全解决，决定收工。庞加莱把自己的研究成果寄到论文评审委员会，在论文开头写了一句：“繁星无法超越。”

庞加莱没有解决三体问题，但他还是由于对这个问题作出的贡献，而于1888年获得了瑞典国王的奖金。

事情没有结束。在后续研究中，庞加莱发现，三体问题无法解决的根源在于：在三体系统中，由于引力的互相干扰，某个天体的初始数据只要有很小的变动，后来的状况可能就会有极大的不同，计算结果也会出现无数的不同，这就导致了计算结果的毫无意义。当时，庞加莱试图画出一些运动轨道，却发现那些图形复杂、混乱到无法画出的地步！

这其实是一个典型的混沌系统，混沌系统会将初始条件的最细微的差别无限放大，随着时间的推移，这最开始的一点变化会使整个系统的运动完全不同，让我们无法计算。就像那句描述混沌理论的名言：“一只巴西热带雨林中的蝴蝶扇动几下翅膀，可能在美国德克萨斯州引起一场龙卷风。”三体问题也是如此。

混沌理论是20世纪继相对论和量子力学以后基础科学的第三大重要成果，但庞加莱通过对三体问题的研究，证明了系统初始条件的敏感性，这是混沌理论最早的研究。

超出想象的星球轨道

从牛顿到庞加莱，那些天才的数学大师做了各种尝试，终于承认，不可能找到三体问题的一般解，只可能找到特殊解（特定条件下的特殊轨道）。

但是特殊解也很难得到，找到任何一类解都面临重重困难。三个物体在空间种有无数种陈列方式，必须要找到合适的初始条件（如起始点，速度等），才可以让体系重新回到起点重复运转。拉格朗日最早提出了一些解后，而直到20世纪70年代后，科学家才在现代计算机的帮助下找到了一些新解。拉格朗日发现的那种，是三个等距的物体在椭圆形轨道中旋转，和旋转木马一样；而新发现的有一种叫8字型，三个物体在8字形的轨道中相互追赶；还有一种更复杂，两个天体在轨道里层来返往复、横冲直撞，其轨迹就像一团乱麻，第三个天体却比较规矩地在外层旋转。

又经过了几十年的探索，不久之前，科学家又找到了三体问题的更多特解。这些特解的轨道都很怪异，其中有一种的轨道复杂多变，看上去就像是一大团乱糟糟的面条，不过三体从初始条件出发，经过这乱糟糟的“面条轨道”，依然能够回到初始状态。

这些奇怪的运动轨道在现实宇宙中能否找到呢？到目前为止，我们除了在太阳系中发现了拉格朗日所计算的三体类型外，其他类型都还是理论模型。科学家猜测，那些奇形怪状的三体系统只有在密集的球状星团中才可能出现，而那里的恒星太密集了，几乎没有产生行星的空间，更不要说诞生生命了。《三体》作为小说，设定一个拥有高超科技的三体文明是可以的，但没什么科学根据，小说中描述的三体行星上的景象在宇宙中是不可能出现的。