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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A210848型 a(n)=(A048898号(n) ^2+1)/5^n,n>=0。 11
1, 1, 2, 26, 53, 1354, 13562, 26858, 200965, 40193, 3859882, 13496122, 62298370, 12459674, 4106065226, 4044371993, 69072101242, 218014644394, 3137550252170, 627510050434, 66696011833378, 280704828874769 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
a(n)是整数(非负),因为b(n):=A048898号(n) 满足b(n)^2+1==0(mod 5^n),n>=0。对于n>=1,这个同余的解也满足b(n)==2(mod 5),是b(n)=2^(5^(n-1))(mod 5^n),但这对于计算大型n来说是不方便的。为了证明给定的b(n)公式解出第一个同余,可以分析(5-1)^(5^(n-1))+1的二项式展开式,并逐项证明它是0(mod 5^n)。第二个同余减少到b(n)==2^(5^(n-1))(mod 5),这是通过归纳得出n>=1的结果。因为b(n)=5^n-A048899号(n) 也可以使用结果A048899号(n) ==3(mod 5),一旦得到证明。
事实上,X^2+1==0(mod 5^n)对于每个n>=1有两个精确的解,称为X(n)和y(n),这是因为X^2+1==0。从这个相同的定理中,也可以得出这样的结论:可以选择所有x(n)==2(mod 5)和所有y(n)==3(mod5)。
参考文献
T.Nagell,《数论导论》,切尔西出版公司,纽约,1964年。
链接
公式
a(n)=(b(n)^2+1)/5^n,n>=0,带b(n=A048898号(n) 由递归b(n)=b(n-1)^5(mod 5^n),n>=2,b(0):=0,b(1)=2给出(参见Mathematica程序Jean-François Alcover公司A048898号).
例子
a(0)=1/1=1。
a(3)=(57^2+1)/5^3=26(b(3)=7^5(mod 5^3)=57)。
MAPLE公司
b: =proc(n)选项记住:如果n=0,则0 elif n=1,则2
否则modp(b(n-1)^5,5^n)fi:结束过程:
[序列((b(n)^2+1)/5^n,n=0..29)];
交叉参考
参见。A048898号,A048899号,A210849型(伴随序列)。
关键字
非n,容易的
作者
沃尔夫迪特·朗2012年4月28日
状态
经核准的

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

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

上次修改时间:2024年4月24日12:22 EDT。包含371937个序列。(在oeis4上运行。)