免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
Board logo

标题: [数列] 求证一个三阶递推数列的各项都是整数 [打印本页]

作者: hbghlyj    时间: 2019-11-14 22:43     标题: 求证一个三阶递推数列的各项都是整数

设数列$\{a_n\}$满足$a_0=a_1=a_2=a_3=a_4=1,a_{n+4}a_n=a_{n+3}a_{n+1}+a_{n+2}^2$,求证:$a_n$都是整数
作者: Tesla35    时间: 2019-11-16 16:36

套路?
作者: tommywong    时间: 2019-11-21 16:56

本帖最后由 tommywong 于 2019-11-21 17:02 编辑

哩個叫做Somos-4 sequence

https://www.sciencedirect.com/sc ... 9290714Q?via%3Dihub

入面用數歸證嘅,假設連續八項成立
先證連續兩項互質$gcd(B(4),B(3))=1$,再證與其後三項互質$gcd(B(4),B(2)B(1))=1$(或$gcd(B(4),B(3)B(2)B(1))=1$),
最後證$B(1)B(2)B(8)\equiv B(1)B(2)[B(5)B(7)+B(6)^2]\equiv 0\pmod{B(4)}$
作者: kuing    时间: 2019-11-21 17:13

回复 3# tommywong

这么难……
不像 2# 说的套路……

PS、可以用 \gcd 输入最大公约数 $\gcd$
作者: tommywong    时间: 2019-11-22 09:02

回复  tommywong

这么难……
不像 2# 说的套路……

PS、可以用 \gcd 输入最大公约数 $\gcd$ ...
kuing 发表于 2019-11-21 17:13


套路就是去OEIS找
作者: kuing    时间: 2019-11-22 15:02

回复 5# tommywong






欢迎光临 悠闲数学娱乐论坛(第2版) (http://kuing.orzweb.net/) Powered by Discuz! 7.2