设 表示不超过
的可以表示为两个平方和的正整数的数目(即,那些
使得平方和函数
)。例如,前几个可以表示为平方和的正整数是
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
|
(OEIS A001481),所以 ,
,
,
,
,等等。那么
(6)
|
正如 Landau (1908) 证明的那样,其中 是一个常数。Ramanujan 独立地陈述了该定理的稍微不同的形式,即介于
和
之间,要么是平方数,要么是两个平方和的数的数量是
(7)
|
其中 且
与之前的积分相比非常小(Berndt 和 Rankin 1995, p. 24; Hardy 1999, p. 8; Moree 和 Cazaran 1999)。
请注意,对于 ,
当且仅当
不能被素数幂
整除,其中
且
为奇数。
该常数的数值为
(8)
|
(OEIS A064533)。然而,收敛到常数 ,即 Landau-Ramanujan 常数,有时也表示为
,非常缓慢。下表总结了方程 (7) 左侧对于前几个 10 的幂的值,其中
的序列是 (OEIS A164775)。
7 | 1.062199 | |
43 | 0.922765 | |
330 | 0.867326 | |
2749 | 0.834281 | |
24028 | 0.815287 | |
216341 | 0.804123 | |
1985459 | 0.797109 | |
18457847 | 0.792198 | |
173229058 | 0.788587 | |
1637624156 | 0.785818 |
该常数的精确公式由下式给出
(9)
|
(Landau 1908; Le Lionnais 1983, p. 31; Berndt 1994; Hardy 1999; Moree 和 Cazaran 1999),等效公式由下式给出
(10)
|
Flajolet 和 Vardi (1996) 给出了一个收敛速度快的漂亮的公式
(11)
|
其中 是 狄利克雷 beta 函数。
另一个闭合形式是
(12)
|
其中 是 克罗内克 delta,而
是平方和函数。
W. Gosper 使用了相关的公式
(13)
|
其中
(14)
|
其中 是伯努利数,而
是多伽玛函数 (Finch 2003)。
Landau 还证明了更强的结论
(15)
|
其中
(16)
| |||
(17)
|
(OEIS A085990),e 是自然对数的底数, 是欧拉-马歇罗尼常数,而
是双纽线常数。
Landau 的证明方法可以扩展以表明
(18)
|
具有一个渐近级数
(19)
|
其中 可以任意大,且
是常数,其中
(Moree 和 Cazaran 1999)。