1.1 什么是三体问题：提法、自由度与确定性的边界

1.1 什么是三体问题：提法、自由度与确定性的边界

本节摘要：三体问题的严格提法是——三个可视为质点的天体，仅受彼此的万有引力，给定初始位置与初始速度，求此后任意时刻的运动状态。本节把这句话拆开称重：三个天体意味着十八个初始量，"仅受引力"意味着一个封闭系统，而"求运动"在数学上是一次初值问题的求解。全册其余章节，都在这句话划定的边界内活动。

本节你应当能

1. 口头复述三体问题的完整提法，并说出其中每个条件各自排除了什么；
2. 清点三体系统的自由度，解释"十八个初始量"是怎么数出来的；
3. 说明质点化假设何时成立、何时失效，以及它如何影响问题难度；
4. 分辨"无解析通解""初值敏感""数值算不了"三件事，不再把它们混为一谈。

一、先对齐行话：「三体」在不同场合指什么

「三体」这个词如今至少活在三个圈子里。科幻迷想到的是那颗在三颗恒星间反复横跳的行星；天文学家指的是一类真实的恒星系统，比如半人马座α的三合星结构；而在数理天体力学里，它是一个有严格边界的数学问题——牛顿引力下的三质点初值问题。这三个圈子偶尔共用词汇，标准却完全不同：科幻可以架空，观测天文学关心"哪些真实系统近似三体"，数理天体力学只关心"这组方程能推出什么"。

本册的立场属于第三种，但会不时借第一、二种回到人间。对齐行话的好处立刻显现：当你听说"三体问题无解"，你就知道这句话的准确含义是不存在初等函数表达的通解，而不是"算不出任何轨道"，更不是"系统不可预测"。行话的边界就是问题的边界。

还有一层行话需要提前钉死："体"指质点。问题里的天体没有半径、没有自转、没有潮汐形变，全部质量集中在一个几何点上。这个假设听起来粗暴，却是整套理论的起点——它把每个天体的状态从无穷多个自由度压缩成六个数：三个位置坐标加三个动量分量。什么时候这个假设合理？当天体之间的距离远大于它们自身的尺度时，比如太阳、地球、探测器。什么时候失效？两颗中子星擦肩而过的最后几毫秒，或者探测器掠过行星大气——这时"体"必须还给结构和耗散。

二、严格提法：十八个数与一条定律

把提法写全，它长这样：已知三个质点的质量 m_1, m_2, m_3，以及各自在某一时刻的位置与速度——每个质点六个数，合计十八个初始量——若此后系统与外界再无任何相互作用，三者在万有引力作用下的运动便完全确定。这条"完全确定"有明确的数学保证：牛顿第二定律给出的是一组光滑的常微分方程，初值给定后，至少在解存在的时间内，未来唯一。

用代码把这份账本记下来，是养成习惯的好办法。下面这段脚本构造一个三体系统的初始状态，并做一次"记账自检"——确认十八个初始量一个不多、一个不少：

# 三体系统的初始状态记账
# 长度单位取天文单位 AU，质量取太阳质量，时间取年
# 此单位制下引力常数 G ≈ 39.478（即 4*pi*pi）

import math

G = 4 * math.pi ** 2

# 每个天体的状态 = (位置向量, 速度向量)，各三个分量
body1 = {"m": 1.0, "r": [0.0, 0.0, 0.0], "v": [0.0, 0.0, 0.0]}          # 恒星
body2 = {"m": 3.0e-6, "r": [1.0, 0.0, 0.0], "v": [0.0, 6.28, 0.0]}      # 类地行星
body3 = {"m": 3.6e-8, "r": [1.0, 0.0026, 0.0], "v": [0.0, 6.28, 0.0]}   # 类月小体

system = [body1, body2, body3]

# 清点初始量：3 体 × (3 位置 + 3 速度) = 18
n_numbers = sum(len(b["r"]) + len(b["v"]) for b in system)
print("初始量总数:", n_numbers)          # 输出: 初始量总数: 18
print("质量总数:", sum(b["m"] for b in system))

# 记账自检：任何一处缺失，未来轨迹都唯一确定不了
assert n_numbers == 18, "初始状态不完整，三体问题无法提出"
​

这段代码本身当然算不出轨道，它的作用是把"问题的提法"翻译成数据结构。注意质量不在十八个初始量之内——质量是问题的参数，初始位置与速度才是初始条件。参数变一变，问题就换了一道；这也是第 3 章能按质量比给特殊解分类的原因。

十八这个数还预告了后面所有技术动作的动机。相空间是十八维的，守恒量每找到一个，就等于在这片空间里立起一面墙，把轨迹的活动范围压小一圈。第 2 章的账本会告诉你：人类总共只立起了十面墙，而且它们并不互相垂直——这距离"把十八维完全圈死"还差得很远，差的那部分，就是三体问题的全部困难。

三、质点化之后：还剩哪些理想化

质点假设是第一层理想化，但提法里还埋着另外两层，值得逐个点破。

其二，封闭系统。 "仅受彼此引力"意味着没有第三方的摄动——没有邻星的潮汐拖拽，没有星际介质的阻力，没有辐射压。真实的太阳系处处是摄动，但摄动小；小摄动是否可以一劳永逸地忽略，恰恰不是显然的问题。第 5 章会看到，某些三体构型对微小扰动极其敏感，此时"忽略摄动"不再是近似，而是研究了另一个系统。

其三，牛顿引力。 提法默认引力瞬时传播、严格遵从平方反比。对太阳系里的慢速运动这是极好的近似；对强场致密天体，广义相对论的修正会实质性参与——水星近日点进动就是著名例子。本册全程在牛顿框架内活动，这不是回避，而是先把牛顿框架里的问题彻底摸清：它是所有推广的共同底座。

三层理想化叠起来，你手里的"三体"其实是一个模型世界的名字。它在两个方向上都可以放宽——加结构、加耗散、加相对论——但每放宽一层，数学性质都可能换一副面孔。先在模型世界里把问题做到底，是它留给每个后来者的工作方式。

四、「解不出通解」到底指什么

这句话值得用一整段来称重，因为它承载的误解最多。

它不是指"算不出任何轨道"。 数值积分可以算出任意精度的具体轨道——第 4 章的百行代码就能做到。"无通解"指的是：不存在一个把十八个初始量当作变元的、用初等函数（多项式、三角函数、指数及其积分）写成的统一公式，能对所有初始条件一次性给出答案。

它也不是指"轨迹完全不可预测"。 可预测性是分时间尺度的：第 5 章会定义李雅普诺夫时间来度量"预测保质期"。三体系统的轨道在短期内高度可预测，在长期内指数式地丢失初值信息——"不可预测"是渐进过程，不是开关。

它更精确的版本是一条否定性定理。 布伦斯与庞加莱在十九世纪末证明：不存在足够的、足够正则的新守恒量来完成这场围猎。注意措辞——被证明不存在的是某类数学对象，而不是某种计算技巧。所以三百年来的进展全部走了两条侧路：找特殊解（放弃"对所有初始条件"），做数值实验（放弃"初等函数表达"）。第 3、4 章分别对应这两条路。

把三件事分装进三个抽屉之后，"三体问题无解"这句话终于可以放心使用了：它是关于解析通解的否定性结论，与"能否计算""能否预测"层层递进而互不覆盖。

本节要点回顾

• 提法：三个质点、仅受彼此引力、十八个初始量、求此后运动——每个条件都排除了推广方向，也都定义了一类近似；
• 自由度账本：每体六个状态量，十八维相空间是后续一切"守恒量立墙"讨论的底账；
• 三层理想化：质点化、封闭性、牛顿引力，各自在特定场景失效，推广时要逐层明码标价；
• 三个抽屉：无解析通解、初值敏感、数值可行是三件不同的事，混用任何一个都会把后续章节读歪；
• 猎法预告：通解被否定后，全部进展来自找特殊解与数值实验两条侧路——这正是第 3、4 章的分头。

下一节先不着急进入三体。我们要回头把二体问题从牛顿定律完整推一遍——不是因为答案新鲜，而是因为这条推导路径，就是三体所有近似理论的模具。