一方面，把大把的时间用在查阅冰雹猜想的相关课题上。
倒是有一个令他意外的发现，那就是关于张中原的那节代数讨论课。
课上所讨论的内容，有一些被记在了错题集上。
这也从侧面验证了那节课，所讨论的内容是存在缺陷的。
而那些没记录的，也给陈舟提供了一些课题参考。
“将问题公式化，是解决猜想必须要做的。关于冰雹猜想，或者说3x+1猜想，他的公式是一个迭代公式，有输入，有输出，有反馈……”
陈舟先把冰雹猜想进行公式化，再对其进行研究。
【xn+1=(3xn+1)2，式中每一个x都是奇数，=1，2，3……】
【直到把3x+1中的偶数2析出抵消，使得等式右边是奇数为止。如果这个奇数不是1，而是其它奇数，就继续迭代，一直到1为止。】
【也就是说，需要证明的是(3xn+1)2=1】