%I#6 2016年3月2日04:56:40
%S 0,1,0,-1,1,0,1,-1,-1,1,1,0,
%T 1,-1,1,1,-1,-1,-1,1,-1,1,1,1,1,1,1,-1,1,1,1,
%U 1,1,0,-1,1,1,-1,-1,-1-,-1,1,-1,1,-1,1,1,1,1,-1,-1,1
%N带有勒让德符号(-m/prime(N))的不规则三角形,m=0,1。。。,素数(n)-1,对于n>=1。第n=1行的注意事项。
%C行n的长度素数(n)=A000040(n)。
%C如果GCD(-m,prime(n))不是1,则Legendre和Jacobi符号被置为0。因此,当n>=1时,T(0,素数(n))=0。
%C因为对于GCD(-a,素数(n))=1,对于n>=2,勒让德符号是(-a)^((素数(n-)-1)/2)(mod素数(n)),考虑a=0。。素数(n)-1,由于周期性。
%C注意n=1(素数2):雅可比(-a/2)的周期长度为8:[0,1,0,-1,0,-1,0,1]。这里n=1行是[0,1]。对于奇-m,x^2==-1(mod2)的解是剩余类{0,1}模2中的x=1。所以-m对于奇数m总是模2的二次残差。这将导致周期长度为2的[repeat(0,1)]。
%如果m=0,则F T(n,m)=0。T(n,m)=勒让德(-m,素数(n)),对于m=1。。。,素数(n)-1,n>=2,T(1,1)=+1(雅可比符号)。
%e不规则三角形T(n,m)开始(此处P(n)=素数(n)):
%e n,P(n)\m 0 1 2 3 4 5 6 7 8 9 10。。。
%e 1,2:0 1
%e 2、3:0-1 1
%e 3,5:0 1-1 1
%e 4,7:0-1-1 1-1 1 1
%e 5,11:0-1 1-1-1 1 1-1 1 1 1 1
%e。。。
%e行n=6,P(6)=13:0 1 1-1 1-1-1 1-1 1-1 1-1 1-1 1 1;
%e行n=7,P(7)=17:0 1 1-1-1-1-1 1 1-1 1-1 1 1 1 1;
%e行n=8,P(8)=19:0-1 1 1-1-1-1-1 1-1 1 1 1 1-1 1。
%e。。。
%Y参考A000040,A226520。
%K符号,tabf
%O 1号机组
%A _沃尔夫迪特·朗,2016年2月29日
|