摘 要: | 在1978年赫尔辛基的ICM会议上,Apry给出(3)=sum from n=1 to (?) (1/n~3)是无理数的证明。为此,Apry定义了一个迭代数列a_n: a_0=1,a_1=5,n~3a_n-(34n~3-51n~2+27n-5)a_(n-1)+(n-1)~3a_(n-2)=0,(1) 它满足 这里Chowla在[1]中讨论了Apry数a_n的同余性质,他证明了a_(5n+1)≡0(mod p),a_(5n+3)≡0(mod p)以及对于奇素数p恒成立a_p≡5(mod p~2)。在文章最后
|