Sun 关于 $520/\pi$ 的 520 挑战的一个解
数论
2013-03-26 v1
摘要
我们证明了 Sun 猜想的一个关于 的 Ramanujan 型公式。我们的证明始于相关二重级数的超几何表示，这依赖于 Wan 和 Zudilin 最近提出的 Legendre 多项式的生成函数。在表明可以引入适当的模参数后，我们接着应用追溯至 Ramanujan 的标准技术来建立 的级数。
引用
@article{arxiv.1210.2373,
title = {A solution of Sun's $520 challenge concerning 520/pi},
author = {Mathew Rogers and Armin Straub},
journal= {arXiv preprint arXiv:1210.2373},
year = {2013}
}
备注
17 pages