转载自一个讨论数学的Q群：

142857 猜想：若数列 $\{a_n\}$ 满足 $\gcd(a_1,a_2)=1$，且

$a_{n+2}=\frac{a_{n+1}+a_n}{3^{\nu_3(a_{n+1}+a_n)}},n=1,2,\cdots$

，则该数列必定会在有限项后进入 $(1,1,2)$ 的循环？

求证明或证伪 qwq