阿培里常数

事实上，黎曼ζ函数在偶数上的取值是容易求得的，在奇数上的取值则远未有一般性成果。这个常数以数学家罗杰·阿培里命名，因为后者在1978年证明了它是一个无理数。这个结论被称为阿培里定理。最初的证明很长，而且晦涩难懂，幸好不久后发现了更为简洁的证明，只需要用到勒让德多项式。现在还不能确定阿培里常数是否是超越数。

近来的研究表明，黎曼ζ函数在无穷多个奇数上的取值都是无理数 [1]，并且ζ(5)、ζ(7)、ζ(9)和ζ(11)之中至少有一个是无理数[2]。

1772年，莱昂哈德·欧拉证明了一个关于ζ(3)的级数表示：

${\displaystyle \zeta (3)={\frac {\pi ^{2}}{7}}\left[1-4\sum _{k=1}^{\infty }{\frac {\zeta (2k)}{(2k+1)(2k+2)2^{2k}}}\right]}$

这个结果后来又多次被其他人独立发现。

在当代，西蒙·普劳夫给出了一系列级数，使得运用它们能够精确地计算出阿培里常数的第n位小数的数值，而不需要求出它的前n − 1位小数。其中有：

${\displaystyle \zeta (3)={\frac {7}{180}}\pi ^{3}-2\sum _{k=1}^{\infty }{\frac {1}{k^{3}(e^{2\pi k}-1)}}}$

以及：

${\displaystyle \zeta (3)=14\sum _{k=1}^{\infty }{\frac {1}{k^{3}\sinh(\pi k)}}-{\frac {11}{2}}\sum _{k=1}^{\infty }{\frac {1}{k^{3}(e^{2\pi k}-1)}}-{\frac {7}{2}}\sum _{k=1}^{\infty }{\frac {1}{k^{3}(e^{2\pi k}+1)}}.}$

和不少数学常数一样，近几十年来，阿培里常数的数值计算经历了惊人的进展。这一方面是由于计算机计算能力的快速提高，另一方面也是因为不断有更好的算法被找到。1998年，布拉德赫斯特发现了一种能够在线性时间内计算阿培里常数的二进制数值的方法，并且只需要用到对数规模的储存空间。