1889年，瑞典国王奥斯卡二世设奖征求三体问题的一般解。庞加莱在1890年提交的论文中先给出一个解析积分结论，随后发现错误：同宿缠结出现，解对初值极端敏感。这个被修正的错误，比一个漂亮解更重要。本文的论点是：三体运动的核心遗产不是“无解”的戏剧性，而是确定性力学中可预测性的边界。
“无解”指什么
证据等级：理论自洽要求与直接数学证明。牛顿引力给出确定方程；但对任意质量与初值，一般不存在由初等函数或有限次积分构成的通解。庞加莱把问题转向相空间几何；Sundman 1912给出收敛级数，但收敛慢到没有实用预测力。所谓“无解”，不是方程无解，而是没有通用闭式解。
直接数值积分仍能算。Burrau 1913提出的“毕达哥拉斯三体问题”——质量3、4、5，静止于直角三角形顶点——在数值积分中经历近距离交会，常以双星加逃逸星收场；结局对初始条件极敏感。计算可行不等于预测可行。
混沌吃掉预测，但不制造随机
证据等级：直接数值实验。三体系统的相空间存在混沌区；相邻轨道以指数速率分离，Lyapunov时间可短至几个轨道周期。舍入误差被指数放大，长时间后覆盖初始条件不确定度。它仍是确定性系统，但预测变成统计陈述：给定初始分布，给出结局概率，而非单条轨道的确定未来。这个类比在“概率来源”处失效：这里的随机性来自初值误差放大，不是量子随机。
争议焦点：长期预测应靠高精度N体积分，还是靠统计力学或遍历假设？前者受模型误差与近距离奇点限制；后者需要系统充分混合，而三体系统未必满足。学界对具体系统各执一词，不能假装已有统一答案。
太阳系：受约束的混沌
证据等级：间接推断加直接数值积分。太阳系不是严格三体，但水星—太阳—木星等可作简化。Laskar 1989的数值实验显示，内行星运动存在混沌，Lyapunov时间约500万年；这意味着1亿年后的轨道细节不可逐条预测，但轨道统计仍受约束。Laskar & Gastineau 2009给出水星在50亿年内与金星或地球碰撞的轨迹概率约1%，结果依赖初始条件误差与模型。早期拉普拉斯—拉格朗日的长期稳定图像已被推翻；今天的分歧不在“有没有混沌”，而在不确定度如何传播、广义相对论与潮汐耗散如何截断奇点。
方法论教训
三体问题提醒我们：可计算性、可预测性、可解释性不是同一件事。牛顿方程是确定的；庞加莱的定性理论说明几何结构比显式解更有信息；数值积分给出轨道，但误差预算必须公开。判断一个结论，先看它标注的是直接观测、间接推断、理论自洽要求，还是纯假说。对系外行星共振链，观测能给出周期比与质量上限，长期稳定性常是模型推断，不是直接观测。
关键数据
- 二体问题：可积，存在6个独立积分常数。
- 三体：一般不可积；庞加莱1890年论文修正同宿缠结。
- 太阳系内行星Lyapunov时间：约5×10^6年（Laskar 1989）。
- 水星50亿年内碰撞概率：约1%（Laskar & Gastineau 2009，模型依赖）。
卡在哪里
已知边界很硬：二体可积；三体一般不可积；混沌使长期单轨预测失效；统计预测在部分系统有效，但普适条件未定。下一步需要更高精度、更长基线的系外多行星观测，以及能给出严格误差界的数值—理论混合方法。确定性世界里的不可预测性，并不需要神秘化；它需要被误差条量化。
参考文献
- Poincaré, H. 1890. Sur le problème des trois corps et les équations de la dynamique.
- Sundman, K. F. 1912. Mémoire sur le problème des trois corps.
- Laskar, J. 1989. A numerical experiment on the chaotic behaviour of the Solar System. Nature.
- Laskar, J. & Gastineau, M. 2009. Existence of collisional trajectories of Mercury, Mars and Venus with the Earth. Nature.
- Valtonen, M. & Karttunen, H. 2006. The Three-Body Problem. Cambridge University Press.