检验过的
经核准的
提出
编辑
Florention代数乘法程序,FAMP代码:
1直径[J]tesseq[-.5'J+.5'k-.5j'+.5k'-2'i'+'jj'-'kk'+.5'i'+.5'ji'+.5'ji'+'k'+0.5'ki+'kj'+e]。使用的标识:dia[I]tes+dia[J]tes+dia[K]tes=jes+fam+3tes。
凯文·莱德:是的,就是那个,一直藏在交叉参考中。
a(n)=2*A001109号(n+1)+ - (-1)^n个。
凯文·莱德:计算机显示公式“-(-1)^n”是吗?
N.J.A.斯隆:凯文,我不明白你指的是什么。你可能指的是两个公式。你能自己改正吗(如果需要改正的话)?
a(n)=2 * A001109号(n+1)+(-1)^n。
FAMP结果:(-1)^(n+1)=A046729号(n) -a(n)+2*A090390美元(n+1)-2*A079291号(n+1)A046729号= 4*A084158美元(Pell三角形)A090390号(n)=A001333号(n) ^2(“连分式的分子收敛到sqrt(2)”的平方)A079291号(n)=A000129号(n) ^2(佩尔数字的平方)(参见所用身份的FAMP代码)。
SuperSeeker结果:a(n)+a(n+1)=A077444号(n+1)(数字n使得(n^2+4)/2是一个正方形。1)a(n)+a(n+1)处的偏移=A082639号(n+2)-A082639号(n+1)(数字n使得2*n*(n+2)是一个正方形。)a(n+2)-a(n)=A077444号(n+3)-A077444美元(n+2)(数字n使得(n^2+4)/2是一个正方形。1)a(n)+2*a(n+1)+a(n+2)处的偏移=A077445号(n+3)-A077445美元(n+2)(数字n使得(n^2-8)/2是一个正方形。偏移1。)