从1729到对称多项式：我是如何独立破解拉马努金传奇的

一、一个传奇，一个疑问

1920年代，哈代去医院探望拉马努金，随口说出租车牌号1729“平平无奇”。拉马努金几乎不假思索地回答：

“不，1729很有意思。它是能用两种不同方式表示为两个立方数之和的最小整数：

1729=1^3+12^3=9^3+10^3。”

这个故事我听过很多遍，每次都在想同一个问题：拉马努金到底是怎么“看”出来的？ 他用的夹逼法——从两端往中间试——固然快，但那是天才的直觉。作为一个普通人，有没有一条更系统、更机械的路，也能走到同一个答案？

答案是：有。而且这条路，我自己走出来了。

二、定性：先把它看作一个方程

面对1729，大多数人直接开始“试数”：2^3+? 、3^3+? ……这本质上是在瞎猜。

我的做法不同：先不要急着代数字，先看形式。

原问题是：

x^3 + y^3 = 1729

这不就是一个二元三次方程吗？既然是方程，就可以用代数方法处理，而不是靠心算硬凑。

于是我开始想：怎么把一个二元高次方程“降维”成我能手算的形式？

三、降维：对称多项式是钥匙

注意到左边是对称的——交换 x 和 y，式子不变。对称的东西，一定可以用“基本对称量”来表达。

于是我用立方和公式：

x^3 + y^3 = (x+y)(x^2 - xy + y^2)

关键一步来了：把第二项改写为：

x^2 - xy + y^2 = (x+y)^2 - 3xy

令两个基本对称量：

s = x+y, \quad p = xy

原方程立刻变成一个关于 s 和 p 的简单方程：

s(s^2 - 3p) = 1729

解出：

p = \frac{s^3 - 1729}{3s}

这一步是整篇文章的核心。 我做的事情是：把“盲目试两个数 x,y”变成了“先试它们的和 s，再用公式算出乘积 p”。

也就是说，二元三次方程被转化成了一个带参数的整除问题。

四、离散化：和必须是因子

现在问题变成了：哪些整数 s 能让 p = (s^3-1729)/(3s) 也是整数？

仔细观察这个式子：

p = \frac{s^2}{3} - \frac{1729}{3s}

由 p=\dfrac{s^2}{3}-\dfrac{N}{3s}，p 为整数的充要条件是：3s \mid (s^3-N)，即 s^3-N 可以被 3s 整除。

它等价于两条约束：s\mid N，同时 3\mid s^2。对于本例 N=1729，3\nmid 1729，故 3\nmid s，因此条件退化为 s\mid 1729。

于是我们只需要检查 1729的所有因子：

1, 7, 13, 19, 91, 133, 247, 1729

从8个因子中找答案，比从1到12试立方数，工作量直接降了一个数量级。

五、剪枝：先估大头，缩小范围

因子有8个，但不用全试。利用“先估大头”的夹逼思想：

· 要找 s=x+y，如果 s^3 \le 1729，那么 p \le 0，不可能（因为 x,y 是正整数，乘积为正）。

· 所以只需找 s^3 > 1729 的最小因子。

计算：

12^3 = 1728 < 1729, \quad 13^3 = 2197 > 1729

因此从 s=13 开始查，跳过所有小于13的因子（即1和7），只剩：

13, 19, 91, 133, 247, 1729

六、验证：两行计算，两组解

先试 s=13：

p = \frac{13^3 - 1729}{3 \times 13} = \frac{2197 - 1729}{39} = \frac{468}{39} = 12

现在已知：

x+y = 13, \quad xy = 12

构造二次方程：

t^2 - 13t + 12 = 0

解出来：

t = 1, 12

即 x,y = 1, 12，对应：

1729 = 1^3 + 12^3

再试 s=19：

p = \frac{19^3 - 1729}{3 \times 19} = \frac{6859 - 1729}{57} = \frac{5130}{57} = 90

构造：

t^2 - 19t + 90 = 0

解出来：

t = 9, 10

即：

1729 = 9^3 + 10^3

两组解，全部找到。其余因子要么使 p 非整数，要么判别式非完全平方，自动淘汰。

七、回头看：方法的通用意义

整个过程中，我做了一件非常简单但关键的事：

把“试两个数”变成了“试一个因子”，把“二元高次方程”变成了“一元二次方程”。

这不仅仅是解1729的技巧，它是一个通用框架：

· 对任意 N，求解 x^3+y^3=N，只需枚举 N 的因子 s，检查整除性和判别式。

· 算法复杂度从 O(N^{2/3}) 降到 O(d(N))（因子个数），效率提升数十倍。

而这个框架的起点，就是我面对1729时的第一反应：先别急着代数字，先把它看作一个方程，然后想办法降维。

八、结语

拉马努金的夹逼法，是从两端往中间挤，靠的是对数表的熟悉和恐怖的直觉。

我的对称多项式法，是“先定性、再转化、后离散”，靠的是代数结构的洞察。

事后回顾，这套方法并非凭空而来。欧拉在研究 x^3+y^3=z^3 时就用过类似的对称量替换，拉格朗日将其系统化为‘对称多项式法’，高斯十七等分圆时，正是先把几何问题化为方程 x^{17}=1，再通过因子分解 17-1=16=2^4，一步步降为二次方程。他降的是‘次数’，我降的是‘元数’。殊途同归，皆是数学中最朴素的智慧：遇到复杂问题，先别急着硬算，停下来看看它的结构，然后想办法把它变简单。我的工作，不过是站在这些巨人的肩膀上，把他们的工具重新拾起来，用在了一个流传百年的故事里——这大概就是数学最美的地方。

---