登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A301579型 最小非负整数k,使得n^2-3*2^k可以用x和y整数写成x^2+2*y^2,如果不存在这样的k,则写成-1。 6
-1, 0, 0, 2, 0, 0, 1, 4, 1, 0, 0, 2, 0, 0, 1, 6, 1, 0, 0, 2, 0, 2, 1, 4, 1, 0, 0, 2, 0, 3, 3, 8, 1, 0, 3, 2, 0, 0, 3, 4, 1, 0, 1, 4, 0, 0, 1, 6, 3, 0, 0, 2, 1, 0, 1, 4, 3, 0, 1, 5, 0, 5, 1, 10, 1, 0, 0, 2, 3, 0, 4, 4, 1, 2, 0, 2, 0, 0, 3, 6 (列表图表参考历史文本内部格式)
偏移
1,4
评论
中的平方猜想A301471型意味着对于所有n>1,a(n)>=0。
已知正整数n的形式为x^2+2*y^2,其中包含x和y整数当且仅当n的p-adic阶对于任何素数p==5或7(mod 8)是偶数时。
使a(t)=0的数字t是2、3、5、6、10、11、13、14、18、19、21、26、27、29、34、37-阿尔图·阿尔坎2018年3月26日
链接
孙志伟,拉格朗日四平方定理的精化,《J·数论》175(2017),167-190。
孙志伟,限制四平方和,arXiv:1701.05868[math.NT],2017-2018年。
例子
对于所有k=0,1,2,….,a(1)=-1,因为1^2-3*2^k<0,。。。。
a(31)=3,自31^2-3*2^3=17^2+2*18^2开始。
对于所有k=1,2,3,…,a(2^k)=2*k-2,。。。,因为(2^k)^2-3*2^(2*k-2)=(2^(k-1))^2+2*0^2,和(2^k)^2-3*2^j=2^j*(2^(2*k-j)-3)0<=j<2*k-2不能写成x和y整数的x^2+2*y^2。
数学
f[n_]:=f[n]=系数整数[n];
g[n_]:=g[n]=总和[Boole[(Mod[Part[Part[Part[f[n],i],1],8]==5||Mod[Part[Part[f[n],i],1],8]==7)&&Mod[Part[Part[Cart[f[n],i],2],2]==1],{i,1,Length[f[n]}==0;
QQ[n_]:=QQ[n=(n==0)||(n>0&g[n]);
tab={};Do[Do[If[QQ[n^2-3*2^k],tab=追加[tab,k];转到[aa]],{k,0,日志[2,n^2/3]}];tab=追加[tab,-1];标签[aa],{n,1,80}];打印[选项卡]
交叉参考
关键词
签名
作者
孙志伟2018年3月23日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

最后修改时间:美国东部时间2024年4月19日03:46。包含371782个序列。(在oeis4上运行。)