Science
说「三体问题无解」，漏掉了两个词：它没有通用的闭式解，可已经有 3,915 条周期轨道被找出来编成图集，而其中站得住的只有 66 条
2026年9月15日 · 乔治·波利亚《怎样解题》~1 min read
三个质量相同的天体沿同一条 8 字形曲线前后追逐，跑完一圈，三个都回到出发时一模一样的位置和速度。这样的解，人类已经攒下 3,915 条。可你从小听到大的多半是另一句：三体问题无解。两句不打架，只是后面那句在流传途中掉了两个词。
30 秒读懂
网站 threebodyorbits.com《周期三体轨道图集》9 月中旬登上 Hacker News，334 分、76 条评论；收录 3,915 条周期轨道，分成 39 个族。
被证明的是「没有通用的闭式解」。三体问题本身只提出题目，没有断言解存不存在；三个等质量天体排成等边三角形一起旋转，这类特例显然有解。
它是一本已知周期解的目录，收的轨道来自他人已发表的论文，站点自己搜到的只有 66 条。
另有一个 66：3,915 条里线性稳定的是 66 条。两个数字碰巧一样，说的是两回事。
闭合误差中位数 1.4×10⁻²⁴，3,889 条的闭合精度优于 10⁻⁹，存下的样条节点共 9,704,604 个。
1 两个词
「三体问题无解」这句话里，被砍掉的是「通用的」和「闭式的」
这个疑问，帖子底下就有人问了。
HN 用户 deskamess 的问题大意是：三体问题说的是一般情况没有解，但这不排除某些特定配置有解？layer8 的回答大意是：三体问题本身只把题目提出来，没有断言解存不存在；被证明的是没有通用的闭式解。
被证明的命题
没有通用的闭式解。门还是那扇门，上头写的是「没有一把万能钥匙」。
波利亚在《怎样解题》里把第一步整个留给「弄懂题目」：未知量是什么，已知是什么，条件是什么。流行的那句话正是在这一步上出了岔子，把两个限定词一并丢了。顺带一句，「三体」二字今天多半先让人想到刘慈欣的小说；那是小说，与这里的数学问题是两码事。
打个比方
HN 用户 Sharlin 给过一个最省事的对照（大意）：五次以上的多项式没有通用求根公式，可这不妨碍很多族的多项式有闭式解，比如 x⁵ − 1；三体问题是一模一样的事。x⁵ − 1 的根谁都写得出来，它只是不服从一个万能公式。
2 一族一族
解不出原题，就一个一个去解那些能闭合的特例，这活儿干了五十年
波利亚的另一条启发法，在这儿成了一份半个世纪的工期。
那条启发法是：解不出这道题，就先解一道相关的、更容易的题。3,915 条周期解就是这么攒的——不求通解，只求一个个能闭合的特例。从 Broucke 1975 年那批，到 Šuvakov 与 Dmitrašinović 2013 年发在《物理评论快报》110 卷 114301 上的三个类、Li 与 Liao 2017 年那六百多个新族，再到 Hristov、Hristova 与 Tanikawa 2026 年的新族，一族一族地找，找了五十年。
图集按族排开，名字像标本柜上的标签：
族 收录条数
Moth IVa（飞蛾 IVa） 36 Butterfly IVb（蝴蝶 IVb） 32 figure-8（8 字形） 28 Moth IVc（飞蛾 IVc） 22 Yin-Yang III（阴阳 III） 20 Butterfly I（蝴蝶 I） 19 Dragonfly II（蜻蜓 II） 16 Yarn VI（线团 VI） 6
8 字形是最有名的编舞：三个等质量天体沿同一条 8 字曲线彼此追逐。按来源数，Li–Liao 各类 1,964 条、Sofia searches 709 条、编舞 583 条、自由落体 311 条、Belgrade classes 230 条、Broucke 52 条，加上站点自己搜到的 66 条，正好 3,915。最早那 2,386 组初始条件由 Ricky Reusser 汇编，MIT 许可证。
◆
有件事得说清楚： 它是一本图集、一个可视化项目。收录的轨道来自别人已发表的论文，站点自己搜到的只有 66 条。没有通用闭式解这件事一点没变，变的是这些特例头一回进了同一个柜子。
“UNSOLVABLE” MEANS NO GENERAL FORMULA — 3,915 ORBITS FOUND, 66 STABLE Catalogued orbits in 39 families 3,915 Closure error under 10⁻⁹ 3,889 Linearly stable by Floquet multipliers 66 stable under a small kick 9,704,604 spline nodes · median closure error 1.4×10⁻²⁴ A catalogue and visualisation of already-published solutions — not new research. The three-body problem still has no general closed-form solution. Source: threebodyorbits.com, an atlas of published periodic three-body orbits. Reading: “unsolvable” means no general closed-form solution — 3,915 orbits in 39 families are catalogued, 3,889 close to better than 10⁻⁹, yet only 66 are linearly stable. Scope: a catalogue and visualisation, not new research. 3 站得住
3,915 条里线性稳定的只有 66 条，图集给了你一个当场踹它一脚的滑块
波利亚四步的最后一步叫「回顾」：解出来了，还得看它站不站得住。
先说算的功夫。每条轨道都从发现者论文里的初始条件出发，用牛顿法在 32 位十进制精度下重新收敛，直到闭合误差抵到这个精度的极限，再用高阶泰勒方法积分完整一个周期，存成样条曲线，节点共 9,704,604 个。闭合误差中位数 1.4×10⁻²⁴，3,889 条优于 10⁻⁹。浏览器只回放这些存好的解，不做实时模拟。
32 位十进制不是摆谱。HN 用户 btilly 的话大意是：这些解极容易滑进混沌，初始条件里一点点差别会随时间指数放大；只量到 3 位精度，过一段有限的时间之后，它就不再像一个真正的解了。精度在这儿是保质期。
数字 收录 3,915 条，线性稳定的 66 条 ，不到 1.7%。决定稳不稳的是每条轨道的 Floquet 乘子；图集还记下周期、能量、角动量和最近接近距离。
每个轨道页还有一个「踢一脚」滑块：小幅改改速度与质量，交给实时积分器跑几个周期。稳定的轨道会把这一脚甩掉，不稳定的当场散架。图集把波利亚的那句「你能检验这个结果吗」，做成了一个你能亲手按下去的东西。
2007 年前后的冬天，我还在凝聚态实验室，为了一个也许能发篇文章的输运信号，把同一块样品在稀释制冷机里测到凌晨三点。屏幕上那条毛刺我心里清楚八成只是噪声，可只要换一种方式处理，它看着就「像」个发现。后来我辞了职。「回顾」这一步，最难的从来不是重算一遍，是防着自己太想要一个结果。
口径：站点自己搜到的 66 条，与线性稳定的 66 条，是两组不同的轨道，数字相同纯属巧合，不可混用。
4 落地
这对你意味着什么：碰上「X 不可能」，先把被砍掉的定语找回来
我解不了三体问题，可「X 不可能」这种句子，每天都往人身上撞。
我拿两个问题过一遍。头一个：这句话的完整形式是什么，证明的到底是哪一个命题？「无解」和「没有通用的闭式解」，差的就是两个限定词，外加 3,915 条实实在在算出来的轨道。第二个：它否掉的是全部，还是只否掉了那把万能钥匙？
核对 同一件事的两种说法，收成完全不同：按「三体问题无解」，能收进柜子的是 0 条；按「三体问题没有通用的闭式解」，收进来的是 3,915 条、39 个族，其中 66 条线性稳定。
btilly 另有一条说法，大意是自然界里我们没有观测到三体平衡的例子；他同时补了一句，我们能看的地方都被周围的混沌轨道搅着。这是评论区的说法，不是论文结论。而「没观测到」和「没有」之间隔着的，还是同一类定语。
这 3,915 条线眼下只在积分器里跑着，背后是存下来的九百七十万个节点。天上是不是真有一条在跑，我们目前还不知道。
本文框架取材自乔治·波利亚《怎样解题》（细节以原书为准）；事件据 threebodyorbits.com《周期三体轨道图集》站点自述数据与 Hacker News 讨论，所引评论均为大意。该站是图集与可视化项目，收录轨道来自他人已发表的论文；「三体问题没有通用闭式解」这一结论并未被改变。本文为科普解读，细节以原始论文与站点为准。
科普
说「三体问题无解」，漏掉了两个词：它没有通用的闭式解，可已经有 3,915 条周期轨道被找出来编成图集，而其中站得住的只有 66 条
2026年9月15日 · 乔治·波利亚《怎样解题》约 5 分钟
三个质量相同的天体沿同一条 8 字形曲线前后追逐，跑完一圈，三个都回到出发时一模一样的位置和速度。这样的解，人类已经攒下 3,915 条。可你从小听到大的多半是另一句：三体问题无解。两句不打架，只是后面那句在流传途中掉了两个词。
30 秒读懂
网站 threebodyorbits.com《周期三体轨道图集》9 月中旬登上 Hacker News，334 分、76 条评论；收录 3,915 条周期轨道，分成 39 个族。
被证明的是「没有通用的闭式解」。三体问题本身只提出题目，没有断言解存不存在；三个等质量天体排成等边三角形一起旋转，这类特例显然有解。
它是一本已知周期解的目录，收的轨道来自他人已发表的论文，站点自己搜到的只有 66 条。
另有一个 66：3,915 条里线性稳定的是 66 条。两个数字碰巧一样，说的是两回事。
闭合误差中位数 1.4×10⁻²⁴，3,889 条的闭合精度优于 10⁻⁹，存下的样条节点共 9,704,604 个。
1 两个词
「三体问题无解」这句话里，被砍掉的是「通用的」和「闭式的」
这个疑问，帖子底下就有人问了。
HN 用户 deskamess 的问题大意是：三体问题说的是一般情况没有解，但这不排除某些特定配置有解？layer8 的回答大意是：三体问题本身只把题目提出来，没有断言解存不存在；被证明的是没有通用的闭式解。
被证明的命题
没有通用的闭式解。门还是那扇门，上头写的是「没有一把万能钥匙」。
波利亚在《怎样解题》里把第一步整个留给「弄懂题目」：未知量是什么，已知是什么，条件是什么。流行的那句话正是在这一步上出了岔子，把两个限定词一并丢了。顺带一句，「三体」二字今天多半先让人想到刘慈欣的小说；那是小说，与这里的数学问题是两码事。
打个比方
HN 用户 Sharlin 给过一个最省事的对照（大意）：五次以上的多项式没有通用求根公式，可这不妨碍很多族的多项式有闭式解，比如 x⁵ − 1；三体问题是一模一样的事。x⁵ − 1 的根谁都写得出来，它只是不服从一个万能公式。
2 一族一族
解不出原题，就一个一个去解那些能闭合的特例，这活儿干了五十年
波利亚的另一条启发法，在这儿成了一份半个世纪的工期。
那条启发法是：解不出这道题，就先解一道相关的、更容易的题。3,915 条周期解就是这么攒的——不求通解，只求一个个能闭合的特例。从 Broucke 1975 年那批，到 Šuvakov 与 Dmitrašinović 2013 年发在《物理评论快报》110 卷 114301 上的三个类、Li 与 Liao 2017 年那六百多个新族，再到 Hristov、Hristova 与 Tanikawa 2026 年的新族，一族一族地找，找了五十年。
图集按族排开，名字像标本柜上的标签：
族 收录条数
Moth IVa（飞蛾 IVa） 36 Butterfly IVb（蝴蝶 IVb） 32 figure-8（8 字形） 28 Moth IVc（飞蛾 IVc） 22 Yin-Yang III（阴阳 III） 20 Butterfly I（蝴蝶 I） 19 Dragonfly II（蜻蜓 II） 16 Yarn VI（线团 VI） 6
8 字形是最有名的编舞：三个等质量天体沿同一条 8 字曲线彼此追逐。按来源数，Li–Liao 各类 1,964 条、Sofia searches 709 条、编舞 583 条、自由落体 311 条、Belgrade classes 230 条、Broucke 52 条，加上站点自己搜到的 66 条，正好 3,915。最早那 2,386 组初始条件由 Ricky Reusser 汇编，MIT 许可证。
◆
有件事得说清楚： 它是一本图集、一个可视化项目。收录的轨道来自别人已发表的论文，站点自己搜到的只有 66 条。没有通用闭式解这件事一点没变，变的是这些特例头一回进了同一个柜子。
「无解」说的是没有通用公式——已编目 3,915 条，站得住的 66 条 已编目的轨道 分为 39 个族 3,915 闭合误差优于 10⁻⁹ 3,889 线性稳定 按 Floquet 乘子判定 66 轻踢一脚也不散架 样条节点 9,704,604 个 · 闭合误差中位数 1.4×10⁻²⁴ 这是已发表周期解的目录与可视化项目，不是新的科研成果。 三体问题仍然没有通用的闭式解。 来源：threebodyorbits.com，已发表周期三体轨道的图集。解读：「无解」指的是没有通用闭式解——图集收录 39 个族共 3,915 条轨道，其中 3,889 条闭合精度优于 10⁻⁹，而线性稳定的只有 66 条。口径：这是目录与可视化项目，不是新的科研成果。 3 站得住
3,915 条里线性稳定的只有 66 条，图集给了你一个当场踹它一脚的滑块
波利亚四步的最后一步叫「回顾」：解出来了，还得看它站不站得住。
先说算的功夫。每条轨道都从发现者论文里的初始条件出发，用牛顿法在 32 位十进制精度下重新收敛，直到闭合误差抵到这个精度的极限，再用高阶泰勒方法积分完整一个周期，存成样条曲线，节点共 9,704,604 个。闭合误差中位数 1.4×10⁻²⁴，3,889 条优于 10⁻⁹。浏览器只回放这些存好的解，不做实时模拟。
32 位十进制不是摆谱。HN 用户 btilly 的话大意是：这些解极容易滑进混沌，初始条件里一点点差别会随时间指数放大；只量到 3 位精度，过一段有限的时间之后，它就不再像一个真正的解了。精度在这儿是保质期。
数字 收录 3,915 条，线性稳定的 66 条 ，不到 1.7%。决定稳不稳的是每条轨道的 Floquet 乘子；图集还记下周期、能量、角动量和最近接近距离。
每个轨道页还有一个「踢一脚」滑块：小幅改改速度与质量，交给实时积分器跑几个周期。稳定的轨道会把这一脚甩掉，不稳定的当场散架。图集把波利亚的那句「你能检验这个结果吗」，做成了一个你能亲手按下去的东西。
2007 年前后的冬天，我还在凝聚态实验室，为了一个也许能发篇文章的输运信号，把同一块样品在稀释制冷机里测到凌晨三点。屏幕上那条毛刺我心里清楚八成只是噪声，可只要换一种方式处理，它看着就「像」个发现。后来我辞了职。「回顾」这一步，最难的从来不是重算一遍，是防着自己太想要一个结果。
口径：站点自己搜到的 66 条，与线性稳定的 66 条，是两组不同的轨道，数字相同纯属巧合，不可混用。
4 落地
这对你意味着什么：碰上「X 不可能」，先把被砍掉的定语找回来
我解不了三体问题，可「X 不可能」这种句子，每天都往人身上撞。
我拿两个问题过一遍。头一个：这句话的完整形式是什么，证明的到底是哪一个命题？「无解」和「没有通用的闭式解」，差的就是两个限定词，外加 3,915 条实实在在算出来的轨道。第二个：它否掉的是全部，还是只否掉了那把万能钥匙？
核对 同一件事的两种说法，收成完全不同：按「三体问题无解」，能收进柜子的是 0 条；按「三体问题没有通用的闭式解」，收进来的是 3,915 条、39 个族，其中 66 条线性稳定。
btilly 另有一条说法，大意是自然界里我们没有观测到三体平衡的例子；他同时补了一句，我们能看的地方都被周围的混沌轨道搅着。这是评论区的说法，不是论文结论。而「没观测到」和「没有」之间隔着的，还是同一类定语。
这 3,915 条线眼下只在积分器里跑着，背后是存下来的九百七十万个节点。天上是不是真有一条在跑，我们目前还不知道。
本文框架取材自乔治·波利亚《怎样解题》（细节以原书为准）；事件据 threebodyorbits.com《周期三体轨道图集》站点自述数据与 Hacker News 讨论，所引评论均为大意。该站是图集与可视化项目，收录轨道来自他人已发表的论文；「三体问题没有通用闭式解」这一结论并未被改变。本文为科普解读，细节以原始论文与站点为准。
サイエンス
说「三体问题无解」，漏掉了两个词：它没有通用的闭式解，可已经有 3,915 条周期轨道被找出来编成图集，而其中站得住的只有 66 条
2026年9月15日 · 乔治·波利亚《怎样解题》約 6 分
三个质量相同的天体沿同一条 8 字形曲线前后追逐，跑完一圈，三个都回到出发时一模一样的位置和速度。这样的解，人类已经攒下 3,915 条。可你从小听到大的多半是另一句：三体问题无解。两句不打架，只是后面那句在流传途中掉了两个词。
30 秒读懂
网站 threebodyorbits.com《周期三体轨道图集》9 月中旬登上 Hacker News，334 分、76 条评论；收录 3,915 条周期轨道，分成 39 个族。
被证明的是「没有通用的闭式解」。三体问题本身只提出题目，没有断言解存不存在；三个等质量天体排成等边三角形一起旋转，这类特例显然有解。
它是一本已知周期解的目录，收的轨道来自他人已发表的论文，站点自己搜到的只有 66 条。
另有一个 66：3,915 条里线性稳定的是 66 条。两个数字碰巧一样，说的是两回事。
闭合误差中位数 1.4×10⁻²⁴，3,889 条的闭合精度优于 10⁻⁹，存下的样条节点共 9,704,604 个。
1 两个词
「三体问题无解」这句话里，被砍掉的是「通用的」和「闭式的」
这个疑问，帖子底下就有人问了。
HN 用户 deskamess 的问题大意是：三体问题说的是一般情况没有解，但这不排除某些特定配置有解？layer8 的回答大意是：三体问题本身只把题目提出来，没有断言解存不存在；被证明的是没有通用的闭式解。
被证明的命题
没有通用的闭式解。门还是那扇门，上头写的是「没有一把万能钥匙」。
波利亚在《怎样解题》里把第一步整个留给「弄懂题目」：未知量是什么，已知是什么，条件是什么。流行的那句话正是在这一步上出了岔子，把两个限定词一并丢了。顺带一句，「三体」二字今天多半先让人想到刘慈欣的小说；那是小说，与这里的数学问题是两码事。
打个比方
HN 用户 Sharlin 给过一个最省事的对照（大意）：五次以上的多项式没有通用求根公式，可这不妨碍很多族的多项式有闭式解，比如 x⁵ − 1；三体问题是一模一样的事。x⁵ − 1 的根谁都写得出来，它只是不服从一个万能公式。
2 一族一族
解不出原题，就一个一个去解那些能闭合的特例，这活儿干了五十年
波利亚的另一条启发法，在这儿成了一份半个世纪的工期。
那条启发法是：解不出这道题，就先解一道相关的、更容易的题。3,915 条周期解就是这么攒的——不求通解，只求一个个能闭合的特例。从 Broucke 1975 年那批，到 Šuvakov 与 Dmitrašinović 2013 年发在《物理评论快报》110 卷 114301 上的三个类、Li 与 Liao 2017 年那六百多个新族，再到 Hristov、Hristova 与 Tanikawa 2026 年的新族，一族一族地找，找了五十年。
图集按族排开，名字像标本柜上的标签：
族 收录条数
Moth IVa（飞蛾 IVa） 36 Butterfly IVb（蝴蝶 IVb） 32 figure-8（8 字形） 28 Moth IVc（飞蛾 IVc） 22 Yin-Yang III（阴阳 III） 20 Butterfly I（蝴蝶 I） 19 Dragonfly II（蜻蜓 II） 16 Yarn VI（线团 VI） 6
8 字形是最有名的编舞：三个等质量天体沿同一条 8 字曲线彼此追逐。按来源数，Li–Liao 各类 1,964 条、Sofia searches 709 条、编舞 583 条、自由落体 311 条、Belgrade classes 230 条、Broucke 52 条，加上站点自己搜到的 66 条，正好 3,915。最早那 2,386 组初始条件由 Ricky Reusser 汇编，MIT 许可证。
◆
有件事得说清楚： 它是一本图集、一个可视化项目。收录的轨道来自别人已发表的论文，站点自己搜到的只有 66 条。没有通用闭式解这件事一点没变，变的是这些特例头一回进了同一个柜子。
「解けない」とは一般公式が無いこと——3,915本を収録、安定は66本 収録された軌道 39 の族に分類 3,915 閉合誤差 10⁻⁹ 未満 3,889 線形安定 Floquet 乗数で判定 66 少し蹴っても崩れない スプライン節点 9,704,604 個 · 閉合誤差の中央値 1.4×10⁻²⁴ 既に発表された周期解の目録と可視化であり、新しい研究成果ではない。 三体問題に一般的な閉形式解が存在しないことは変わらない。 出典：threebodyorbits.com、発表済みの周期三体軌道のアトラス。読み方：「解けない」とは一般的な閉形式解が無いという意味——39 の族にわたり 3,915 本を収録、うち 3,889 本は閉合精度 10⁻⁹ より良いが、線形安定はわずか 66 本。位置づけ：目録と可視化であり、新しい研究成果ではない。 3 站得住
3,915 条里线性稳定的只有 66 条，图集给了你一个当场踹它一脚的滑块
波利亚四步的最后一步叫「回顾」：解出来了，还得看它站不站得住。
先说算的功夫。每条轨道都从发现者论文里的初始条件出发，用牛顿法在 32 位十进制精度下重新收敛，直到闭合误差抵到这个精度的极限，再用高阶泰勒方法积分完整一个周期，存成样条曲线，节点共 9,704,604 个。闭合误差中位数 1.4×10⁻²⁴，3,889 条优于 10⁻⁹。浏览器只回放这些存好的解，不做实时模拟。
32 位十进制不是摆谱。HN 用户 btilly 的话大意是：这些解极容易滑进混沌，初始条件里一点点差别会随时间指数放大；只量到 3 位精度，过一段有限的时间之后，它就不再像一个真正的解了。精度在这儿是保质期。
数字 收录 3,915 条，线性稳定的 66 条 ，不到 1.7%。决定稳不稳的是每条轨道的 Floquet 乘子；图集还记下周期、能量、角动量和最近接近距离。
每个轨道页还有一个「踢一脚」滑块：小幅改改速度与质量，交给实时积分器跑几个周期。稳定的轨道会把这一脚甩掉，不稳定的当场散架。图集把波利亚的那句「你能检验这个结果吗」，做成了一个你能亲手按下去的东西。
2007 年前后的冬天，我还在凝聚态实验室，为了一个也许能发篇文章的输运信号，把同一块样品在稀释制冷机里测到凌晨三点。屏幕上那条毛刺我心里清楚八成只是噪声，可只要换一种方式处理，它看着就「像」个发现。后来我辞了职。「回顾」这一步，最难的从来不是重算一遍，是防着自己太想要一个结果。
口径：站点自己搜到的 66 条，与线性稳定的 66 条，是两组不同的轨道，数字相同纯属巧合，不可混用。
4 落地
这对你意味着什么：碰上「X 不可能」，先把被砍掉的定语找回来
我解不了三体问题，可「X 不可能」这种句子，每天都往人身上撞。
我拿两个问题过一遍。头一个：这句话的完整形式是什么，证明的到底是哪一个命题？「无解」和「没有通用的闭式解」，差的就是两个限定词，外加 3,915 条实实在在算出来的轨道。第二个：它否掉的是全部，还是只否掉了那把万能钥匙？
核对 同一件事的两种说法，收成完全不同：按「三体问题无解」，能收进柜子的是 0 条；按「三体问题没有通用的闭式解」，收进来的是 3,915 条、39 个族，其中 66 条线性稳定。
btilly 另有一条说法，大意是自然界里我们没有观测到三体平衡的例子；他同时补了一句，我们能看的地方都被周围的混沌轨道搅着。这是评论区的说法，不是论文结论。而「没观测到」和「没有」之间隔着的，还是同一类定语。
这 3,915 条线眼下只在积分器里跑着，背后是存下来的九百七十万个节点。天上是不是真有一条在跑，我们目前还不知道。
本文框架取材自乔治·波利亚《怎样解题》（细节以原书为准）；事件据 threebodyorbits.com《周期三体轨道图集》站点自述数据与 Hacker News 讨论，所引评论均为大意。该站是图集与可视化项目，收录轨道来自他人已发表的论文；「三体问题没有通用闭式解」这一结论并未被改变。本文为科普解读，细节以原始论文与站点为准。