觉谷猜想的证明（一）

  觉谷猜想，即冰雹猜想、3+1猜想，说一个整数，如果是偶数则除以2，是奇数则乘以3加1，如此循环变化，最后必然得到1。

经过数百年的探索，已能够证实7000亿以内的数都满足这一规律，至今为止却无人能证明它。今天我来证明它。

  我们假设有一个最小的奇数x不满足猜想，(偶数则没有必要，因为如果该偶数不满足，则它的1/2必然也不满足),那么只有当以后能计算过程当中，所有的数都大于x才不满足该猜想，如果计算过程当中有一个数小于x，则该奇数x不存在，猜想被证明。

  首先往前算，(3m+1)/2=x是不存在的，即（2x-1）/3=m不成立（m小于x不可以），m是奇数。所以x≠5，11，17，23，29，35…这一类的数，即x=2a-1且a不能被3整除，a是任意自然数。

  再往后算，(3x+1)/2=n，n不能是偶数（n/2小于x不可以）。所以有3x+1不能是4的倍数，所以x≠5，9，13，17，21，25这一类的数，即x=4a-1，a是任意自然数。

  综上，假设存在这样的最小奇数x不满足觉谷猜想，只有x=4a-1且a不能被3整除，比如x=3，7，15，19，27，31，39，43…

这只是开始，在接下去的文章当中，我会逐步证明。