睛,思考了起来。
“首先先回顾前面的过程,既然每个不变向量可以通过求解一个Diophantine方程组来得到,那么,我们先设v(v_1,v_2,...,v_n)是一个不变向量,则它满足这样的一个方程组…”
3v_i1v_j,如果i是奇数且H_i(3i1,i)
v_i/2v_k,如果i是偶数且H_i(i/2,i)
“长度为1的周期轨道是对应于不动点,即满足v_ii的不变向量,嗯,显然,只有v_11的情况下满足这个条件。”
“然后是长度为2的周期轨道…”
“之后就是更长的周期轨道…”
跟随着萧易的思考,问题的研究也来到了一个十分深入的地步。
直到草稿纸都已经用去了十几页,萧易看着上面的完整推导过程,以及他最终得到的结果,忽然就是一愣。
此时的他,成功构造出了一个周期轨道的树状结构,而这个树状结构,是逐渐递归的。
但是,根据观察,他可以清楚的知道,所有可能的冰雹序列周期轨道可以用一个递归的树状结构完全分类。
这个结构的每一层对应于一个固定长度的周期轨道,而树的分支则对应于从一个周期轨道到另一个更长周期轨道的演化。
也就是说,在这个时候,他想要证明冰雹猜想的话,只需要证明:如果这个分类树是无限的,那么必然存在一个起始数,其对应的冰雹序列没有进入任何周期轨道,而这将与冰雹猜想矛盾。
因此,为了证明冰雹猜想,只需要证明分类树是有限的,那么他就能够完成冰雹猜想!
“这样,就将这最后的问题导出来了?”
萧易感到了些许的惊讶。
是
本章未完,请点击下一页继续阅读! 第2页 / 共6页