本帖最后由 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)}$ |