登录
A329073型
a(n)=(1/n)*和{k=0..n-1}(40k+13)*(-1)^k*50^(n-1-k)*T_k(4,1)*T_k(1,-1)^2,其中T_k(b,c)表示(x^2+b*x+c)^k展开式中x^k的系数。
4
13, 219, 7858, 221525, 9253710, 375158958, 16882409364, 736344816813, 32964312771550, 1471835619627770, 66910145732699964, 3061043035494001682, 141458526138008430124, 6567714993530314856700, 306628434270114823521000, 14370411994543866356077725, 676259546148988495771751550
抵消
1,1
评论
猜想1:(i)a(n)对于每个n>0是一个正整数;此外,a(n)是奇的当且仅当n是2的幂。此外,我们有一个恒等式Sum_{k>=0}((40k+13)/(-50)^k)*T_k(4,1)*T_k(1,-1)^2=55*sqrt(15)/(9*Pi)。
(ii)设p>5为素数。然后求和{k=0..p-1}((40k+13)/(-50)^k)*T_k(4,1)*T_k(1,-1)^2==(p/3)*(12+5*支(3/p)+22*支(p/15))(mod p^2),其中支(a/p)表示勒让德符号。此外,对于和S(p)=和{k=0..p-1}T_k(4,1)*T_k(1,-1)^2/(-50)^k,如果腿(-5/p)=-1,则S(p;如果p==1.9(mod 20)且p=x^2+5*y^2具有x和y整数,则S(p)==4x^2-2p(mod p^2);如果p==3,7(mod 20)且2p=x^2+5*y^2具有x和y整数,则S(p)==2x^2-2p(mod p^2)。
猜想2:(i)对于任意n>0,数字b(n):=(1/n)*Sum_{k=0..n-1}(40k+27)*(-6)^(n-1-k)*T_k(4,1)*T_k(1,-1)^2是一个整数。此外,b(n)是奇的当且仅当n是2的幂。
(ii)设p>3为素数。然后Sum_{k=0..p-1}((40k+27)/(-6)^k)*T_k(4,1)*T_k(1,-1)^2==(p/9)*(55*腿(-5/p)+198*腿(3/p)-10)(mod p^2)。此外,对于和T(p)=和{k=0..p-1}T_k(4,1)*T_k(1,-1)^2/(-6)^k,如果腿(-5/p)=-1,则T(p;如果p==1,9(mod 20)且p=x^2+5*y^2具有x和y整数,则T(p)==腿(p/3)*(4x^2-2p)(mod p^2);如果p==3,7(mod 20)且2p=x^2+5*y^2具有x和y整数,则T(p)==腿(p/3)(2p-2x^2)(mod p^2)。
链接
孙志伟,关于中心二项和三项系数的和,载于:M.B.Nathanson(编辑),《组合数和加法数理论:CANT 2011和2012》,Springer Proc。数学和Stat.,第101卷,Springer,纽约,2014年,第257-312页。也可从arXiv:1101.0600[math.NT], 2011-2014.
例子
a(1)=13,因为(40*0+13)*(-1)^0*50^(1-1-0)*T_0(4,1)*T_0(1,-1)^2/1=13/1=13。
数学
T[b_,c_,0]=1;T[b_,c_,1]=b;
T[b_,c_,n]:=T[b,c,n]=(b(2n-1)T[b、c,n-1]-(b^2-4c)(n-1)T[b,c,n-2])/n;
a[n]:=a[n]=和[(40k+13)(-1)^k*50^(n-1-k)*T[4,1,k]*T[1,-1,k]^2,{k,0,n-1}]/n;
表[a[n],{n,1,20}]
关键词
非n
作者
孙志伟2019年11月3日
状态
经核准的