“同余数问题”Congruent Number Problem是数论中一个历史悠久、表述简单但深刻且尚未完全解决的著名问题。尽管它不是克雷数学研究所Clay Mathematics Institute官方列出的七个“千禧年大奖难题”之一但由于其与BSD猜想Birch and Swinnerton-Dyer Conjecture属千禧年难题的紧密联系常被通俗地称为“千年数学难题”之一。千年数学问题同余数公元972年在一份阿拉伯手稿中提出了这样一个问题一个正整数n何时能成为一个一个由三个有理平方数形成的等差数列的公差也就是说x-n,x,xn都是平方数。一、问题的原始表述给定一个正整数 $ n $是否存在一个三边均为有理数的直角三角形其面积恰好等于 $ n $若存在则称 $ n $ 为同余数congruent number否则称为非同余数。注意“同余数”中的“同余”并非指模运算中的“congruence”而是源于拉丁语congruere意为“相合”历史术语沿用至今。二、数学形式化设 $ a, b, c \in \mathbb{Q}^ $ 满足$ a^2 b^2 c^2 $毕达哥拉斯三元组有理数解$ \frac{1}{2}ab n $。则 $ n $ 是同余数。等价地可令 $ a \frac{p}{q}, b \frac{r}{s} $通分后转化为整数问题但更有效的方法是通过椭圆曲线转化。三、与椭圆曲线的等价性关键桥梁定理经典结果可追溯至Fermat、Euler现代形式由Weil等人完善正整数 $ n $ 是同余数当且仅当椭圆曲线E n : y 2 x 3 − n 2 x E_n : y^2 x^3 - n^2 xEn:y2x3−n2x在有理数域 $ \mathbb{Q} $ 上具有正秩即 Mordell–Weil 群 $ E_n(\mathbb{Q}) $ 的秩 $ \geq 1 $。该曲线总有三个2阶挠点$ (0,0), (\pm n, 0) $对应退化三角形面积0。存在非挠有理点 $ \Leftrightarrow $ 存在面积为 $ n $ 的有理直角三角形。证明概要从有理直角三角形 $ (a,b,c) $ 出发构造映射x n ( a c ) b , y 2 n 2 ( a c ) b 2 x \frac{n(a c)}{b}, \quad y \frac{2n^2(a c)}{b^2}xbn(ac),yb22n2(ac)可验证 $ (x,y) \in E_n(\mathbb{Q}) $ 且非挠。反之亦然。四、Tunnell 定理1983——条件性判定准则John Tunnell 利用模形式理论给出了一个可计算的判别法但其充分性依赖于BSD猜想。对奇数 $ n $定义A ( n ) # { ( x , y , z ) ∈ Z 3 : n 2 x 2 y 2 32 z 2 } , B ( n ) # { ( x , y , z ) ∈ Z 3 : n 2 x 2 y 2 8 z 2 } . A(n) \#\{(x,y,z) \in \mathbb{Z}^3 : n 2x^2 y^2 32z^2\}, \\ B(n) \#\{(x,y,z) \in \mathbb{Z}^3 : n 2x^2 y^2 8z^2\}.A(n)#{(x,y,z)∈Z3:n2x2y232z2},B(n)#{(x,y,z)∈Z3:n2x2y28z2}.若 $ n $ 是同余数则 $ A(n) \frac{1}{2} B(n) $。对偶数 $ n 2m $定义C ( n ) # { ( x , y , z ) ∈ Z 3 : m 4 x 2 y 2 32 z 2 } , D ( n ) # { ( x , y , z ) ∈ Z 3 : m 4 x 2 y 2 8 z 2 } . C(n) \#\{(x,y,z) \in \mathbb{Z}^3 : m 4x^2 y^2 32z^2\}, \\ D(n) \#\{(x,y,z) \in \mathbb{Z}^3 : m 4x^2 y^2 8z^2\}.C(n)#{(x,y,z)∈Z3:m4x2y232z2},D(n)#{(x,y,z)∈Z3:m4x2y28z2}.若 $ n $ 是同余数则 $ C(n) \frac{1}{2} D(n) $.Tunnell 的结论上述条件是必要条件无条件成立若BSD猜想对 $ E_n $ 成立则也是充分条件。由于 BSD 猜想对解析秩为 0 或 1的椭圆曲线已被证明Gross–Zagier, Kolyvagin, 1980s因此对这些 $ n $Tunnell 判据可无条件使用。五、已知结果与例子$ n $是否同余数说明1否费马用无穷递降法证明2否—3否—4否—5是三角形边长$ \frac{3}{2}, \frac{20}{3}, \frac{41}{6} $6是经典整数三角形 $ 3\text{-}4\text{-}5 $面积67是存在有理解模8性质必要条件若 $ n \equiv 5,6,7 \pmod{8} $则可能是同余数若 $ n \equiv 1,2,3 \pmod{8} $则不可能是同余数已证明。注$ n \equiv 4 \pmod{8} $ 需单独分析如 $ n4 $ 非同余数。六、与千禧年难题的关系澄清同余数问题本身不是千禧年大奖难题。但它等价于BSD猜想对一族特定椭圆曲线 $ E_n $ 的成立。因此完全解决同余数问题将意味着BSD猜想在该族曲线上成立而BSD是七个千禧年难题之一。七、当前研究状态截至2026年对所有 $ n \leq 10^{12} $借助Tunnell判据和计算机验证已在BSD假设下完成分类。对解析秩 ≤1 的 $ E_n $可无条件判定。一般情形仍开放依赖BSD猜想的完全证明。权威参考文献经核实J. Tunnell, “A classical Diophantine problem and modular forms of weight 3/2”,Inventiones Mathematicae, Vol. 72, 1983, pp. 323–334.J. H. Silverman J. Tate,Rational Points on Elliptic Curves, Springer, 1992.N. Koblitz,Introduction to Elliptic Curves and Modular Forms, 2nd ed., Springer, 1993.Clay Mathematics Institute – “The Birch and Swinnerton-Dyer Conjecture”, official millennium problem description.OEIS A003273: Congruent numbers (verified sequence).结论“同余数问题”是一个连接初等数论、代数几何与自守形式的深刻问题。其核心在于判断特定椭圆曲线是否有非平凡有理点而这一问题的完全解决等价于BSD猜想在该情形下的成立。尽管在大量具体情形下已有答案但一般情形仍未解决属于现代数论的核心未解问题之一。用 Python 代码验证 5 是同余数fromfractionsimportFraction# 定义边长有理数aFraction(3,2)bFraction(20,3)cFraction(41,6)# 验证勾股定理a^2 b^2 c^2lhsa*ab*b rhsc*c# 验证面积(1/2)*a*b 5areaFraction(1,2)*a*b# 输出结果print(fa {a}, b {b}, c {c})print(fa² b² {lhs})print(fc² {rhs})print(f勾股成立{lhsrhs})print(f面积 {area})print(f面积等于5{area5})补充说明为何不用浮点数若使用 float如 a 1.5会因浮点精度导致 aa bb c*c 判断失败。例如a1.5b20/3c41/6print(a*ab*bc*c)# 可能输出 False