标题：冰雹猜想
冰雹猜想
冰雹猜想来历1976年的一天，《华盛顿邮报》于头版头条报道了一条数学新闻。文中记叙了这样一个故事：
70年代中期，美国各所名牌大学校园内，人们都像发疯一般，夜以继日，废寝忘食地玩弄一种数学游戏。这个游戏十分简单：任意写出一个自然数N，并且按照以下的规律进行变换：
如果是个奇数，则下一步变成3N+1。
如果是个偶数，则下一步变成N/2。
不单单是学生，甚至连教师、研究员、教授与学究都纷纷加入。为什么这种游戏的魅力经久不衰？因为人们发现，无论N是怎样一个数字，最终都无法逃脱回到谷底1。准确地说，是无法逃出落入底部的4-2-1循环，永远也逃不出这样的宿命。
如果从2n出发，不论n如何庞大，就像瀑布一样迅速坠落。而其他的数字即使不是如此，在经过若干次的变换之后也必然会到4-2-1的循环。据日本和美国的数学家攻关研究，在小于7*1011的所有的自然数，都符合这个规律。
这就是著名的“冰雹猜想”。
强悍的27冰雹的最大魅力在于不可预知性。英国剑桥大学教授John Conway找到了一个自然数27。虽然27是一个貌不惊人的自然数，但是如果按照上述方法进行运算，则它的上浮下沉异常剧烈：首先，27要经过77步骤的变换到达顶峰值9232，然后又经过32步骤到达谷底值1。全部的变换过程（称作“雹程”）需要111步，其顶峰值9232，达到了原有数字27的342倍多，如果以瀑布般的直线下落（2的N次方）来比较，则具有同样雹程的数字N要达到2的111次方。其对比何其惊人！
但是在1到100的范围内，像27这样的剧烈波动是没有的（54除外，他和27只有一步之遥）。
验证规律经过游戏的验证规律，人们发现仅仅在兼具4k和3m+1（k,m为自然数）处的数字才能产生冰雹猜想中“树”的分叉。所以在冰雹树中，16处是第一处分叉，然后是64……以后每隔一节，产生出一支新的支流。
自从Conway发现了神奇的27之后，有专家指出，27这个数字必定只能由54变来，54又必然从108变来，所以，27之上，肯定可以出现不亚于2n的强大支流——33*2n(n=1，2，3……)，然而，27到4-2-1数列和本流2到4-2-1数列要遥远的多。按照机械唯物论的观点，从27开始逆流而上的数列群才能叫做本源，尽管如此，按照“直线下泻”的观点，一般依然把1-2-4-8……2n的这一支看作是“干流”。
图论专家据此阐述了一种独特的方法：把数列群比作是一棵树，4-2-1数列是连理枝，至于上面的分支构成了一个奇妙的数列通路，包含了所有的自然数。但是非常可惜的是，这个理论至今也没有人可以证明。所以“冰雹猜想”还是数学皇冠上一颗尚未鉴别的宝珠。
又称为角谷猜想，因为是一个名叫角谷的日本人把它传到中国
数学论证
对于任何一个自然数A,
(1)a.如果A为偶数,就除以2
b.如果A为奇数,就乘以3加上1
得数记为B
(2)将B代入A重新进行(1)的运算
若干步后,得数为1.
这个猜想,目前没有反例,也没有证明. 
但也有许多人曾经尝试去求证这个问题：
错误的证明方法因为任何偶数都能变成2^a或一个奇数乘2^b。前者在不停的除以2之后必定为1，因为它们只有质因数2。而后者则只能剩下一个奇数，我们可以把偶数放在一边不谈。 
现在只剩下奇数了。 
我们假设一个奇数m，当他进行运算时，变成3m+1。如果这个猜想是错误的话，那么就有（3m+1）/2^c=m，且m不等于1。我们尝试一下： 
当c=1时，3m+1=2m，，，m=-1，不符合，舍去； 
当c=2时，3m+1=4m，，，m=1，不符合，舍去； 
当c=3时，3m+1=8m，，，m=0.2，不符合，舍去； 
当c=4时，3m+1=16m，，，m=1/13，不符合，舍去； 
…………………… 
可见，能推翻角古猜想的数只在1或以下的范围，所以没有数能推翻这个猜想，所以这个猜想是正确的。
应用二项式定理证明介绍
从任何一个正整数开始，连续进行如下运算：
若是奇数，就把这个数乘以3再加1；若是偶数，就把这个数除以2。一直按这个规则算下去，到最后一定会出现4、2、1的循环。
比如，要是从1开始，就可以得到1→4→2→1；要是从17开始，则可以得到17→52→26→13→40→20→10→5→16→8→4→2→1。自然地，有人可能会问：是不是每一个正整数按这样的规则演算下去都能得到1呢？这个问题就是叙拉古猜想，也叫科拉兹猜想或角谷猜想。
证明
因为任一偶数2m除以2，到最后一定会是一个奇数(2m+1)，因此证明只需证明对于每一个奇数按这样的规则演算下去都能得到1，角谷猜想就成立。
根据二项式定理：
可得到：
当是n奇数，n=2m+1时，
根据代数恒等式：
可得到：
而因此令得到:
即任何一个奇数(2m+1)通过乘以3再加1{ }和除以2{ }两种运算都能得到一个形如 的偶数，而形如 的偶数通过除以2最后都能得到1。
结论
角谷猜想（3n+1）是成立的，事实上，即使是偶数通过乘以3再加1和除以2两种运算最后都能得到1。
例如，从4开始，把4乘以3再加1，可以得到
4→13→40→20→10→5→16→8→4→2→1，
从6开始，把6乘以3再加1，可以得到
6→19→58→29→88→44→22→11→34→17→52→26→13→40→20→10→5→16→8→4→2→1
我不敢苟同以下这种所谓的证明：
“我们假设一个奇数m，当他进行运算时，变成3m+1。如果这个猜想是错误的话，那么就有（3m+1）/2^c=m，且m不等于1。我们尝试一下： 
当c=1时，3m+1=2m，，，m=-1，不符合，舍去； 
当c=2时，3m+1=4m，，，m=1，不符合，舍去； 
当c=3时，3m+1=8m，，，m=0.2，不符合，舍去； 
当c=4时，3m+1=16m，，，m=1/13，不符合，舍去； 
。。。。。。
可见，能推翻角古猜想的数只在1或以下的范围，所以没有数能推翻这个猜想，所以这个猜想是正确的。”
要知道（3m+1）/2^c=m这个等式左右两边的m是不一样的，虽然两个m都是奇数，但此m非彼m，你无非就是想说一个奇数乘以3再加1必定可以被2的n次方除尽，当然n到底是多大要看实际情况而定。不信大家可以试一试，左边代入任意奇数m，右边得出的m绝大多数都是跟左边代入任意奇数m不同的。还有就是这个证明明显存在前后矛盾，前面假设一个奇数m，后面却得出m=0.2、m=1/13这样的结果，难道0.2、1/13这些就是所谓的奇数？连两个m都分不清，更何况是证明呢？大家不要再犯这样的低级错误了呀，脚踏实地才是真。
推广
克拉茨问题角谷猜想又叫叙古拉猜想。它的一个推广是克拉茨问题，下面简要说说这个问题：
50年代开始,在国际数学界广泛流行着这样一个奇怪有趣的数学问题:任意给定一个自然数x,如果是偶数,则变换成x/2,如果是奇数,则变换成3x+1.此后,再对得数继续进行上述变换.例如x=52,可以陆续得出26,13,40,20,10,5,16,8,4,2,1.如果再做下去就得到循环:
(4,2,1).再试其他的自然数也会得出相同的结果.这个叫做叙古拉猜想.
上述变换,实际上是进行下列函数的迭代
{ x/2 (x是偶数) 
C(x)= 
3x+1 (x是奇数) 
问题是,从任意一个自然数开始,经过有限次函数C迭代,能否最终得到循环(4,2,1),或者等价地说,最终得到1?据说克拉茨(L.Collatz)在1950年召开的一次国际数学家大会上谈起过,因而许多人称之为克拉茨问题.但是后来也有许多人独立地发现过同一个问题,所以,从此以后也许为了避免引起问题的归属争议,许多文献称之为3x+1问题.悬赏征解克拉茨问题吸引人之处在于C迭代过程中一旦出现2的幂,问题就解决了,而2的幂有无穷多个,人们认为只要迭代过程持续足够长,必定会碰到一个2的幂使问题以肯定形式得到解决.正是这种信念使得问题每到一处,便在那里掀起一股"3x+1问题"狂热,不论是大学还是研究机构都不同程度地卷入这一问题.许多数学家开始悬赏征解,有的500美元,有的1000英镑.数学难题日本东京大学的米田信夫已经对240大约是11000亿以下的自然数做了检验.1992年李文斯(G.T.Leavens)和弗穆兰(M.Vermeulen)已经对5.6*1013的自然数进行了验证,均未发现反例.题意如此清晰,明了,简单,连小学生都能看懂的问题,却难到了20世纪许多大数学家.著名学者盖伊(R.K.Guy)在介绍这一世界难题的时候,竟然冠以"不要试图去解决这些问题"为标题.经过几十年的探索与研究,人们似乎接受了大数学家厄特希(P.Erdos)的说法:"数学还没有成熟到足以解决这样的问题!"有人提议将3x+1问题作为下一个费尔马问题.初步研究下面是我对克拉茨问题的初步研究结果,只是发现了一点点规律,距离解决还很遥远.
克拉茨命题:设 n∈N,并且 
f(n)= n/2 (如果n是偶数) 或者 3n+1 (如果n是奇数) 
现用f1(n)表示f(n),f2(n)=f(f(n)),...fk(n)=f(f(...f(n)...)).
则存在有限正整数m∈N,使得fm(n)=1.(以下称n/2为偶变换,3n+1为奇变换,并且称先奇变换再偶变换为全变换)命题证明引理一:若n=2m,则fm(n)=1 (m∈N)
证明:当m=1时,f(n)=f(2)=2/2=1,命题成立,设当m=k时成立,则当m=k+1时,fk+1(n)=f(fk(2k+1))=
=f(2)=2/2=1.证毕.
引理二:若n=1+4+42+43+...+4k=(4k+1-1)/(4-1) (k∈N),则有f(n)=3n+1=4k+1=22k+2,从而f2k+3(n)=1.
证明:证明是显然的,省略.
引理三:若n=2m(4k+1-1)/(4-1) (m∈N), 则有fm+2k+3(n)=1.
证明:省略.定理一:集合 O={X|X=2k-1,k∈N} 对于变换f(X)是封闭的.
证明:对于任意自然数n,若n=2m,则fm(n)=1,对于n=2k,经过若干次偶变换,必然要变成奇数,所以我们以下之考虑奇数的情形,即集合O的情形.对于奇数,首先要进行奇变换,伴随而来的必然是偶变换,所以对于奇数,肯定要进行一次全变换.为了直观起见,我们将奇数列及其全变换排列如下:
k 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 
0 2k-1 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101 
1 3k-1 2 5 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 68 71 74 77 80 83 86 89 92 95 98 101 104 107 110 113 116 119 122 125 128 131 134 137 140 143 146 149 152 
2 3k-2 1 　 4 　 7 　 10 　 13 　 16 　 19 　 22 　 25 　 28 　 31 　 34 　 37 　 40 　 43 　 46 49 　 52 　 55 　 58 　 61 　 64 　67 　 70 　 73 　 76 
3 3k-1 　 　 2 　 　 　 5 　 　 　8 　 　 　 11 　 　 　 14 　 　 　 17 　 　 　 20 　 　 　 23 　 　 　 26 　 　 　 29 　 　 　 32 　 　 　 35 　 　 　 38 
4 3k-2 　 　 1 　 　 　 　 　 　 4 　 　 　 　 　 　 　 7 　 　 　 　 　 　 　 10 　 　 　 　 　 　 　 13 　 　 　 　 　 　 　16 　 　 　 　 　 　 　 19 
5 3k-1 　 　 　 　 　 　 　 　 　2 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 5 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 8 　 　 　 　 　 　 　 　 
6 3k-2 　 　 　 　 　 　 　 　 　1 4 　 　 　 　 　 　 　 　 
7 3k-1 2 　 　 　 　 　 　 　 　 
8 3k-2 1 　 　 　 　 　 　 　 　 
第一行(2k-1)经过全变换(3(2k-1)+1)/2=3k-1变成第二行,实际上等于第一行加上一个k,其中的奇数5,11,...6k-1又回到了第一行.以下各行是等差数列3k-2,3k-1交错排列.由于最终都变成了奇数,所以集合O对于变换f(X)是封闭的.定理二:任何奇自然数经过若干次变换都会变成1.
证明:
我们看到 奇数经过全变换变成为3k-1型数,3k-1型奇数经过全变换有一半仍然变成3k-1型奇数,而另一半3k-1型偶数经过除以2有一半变成为3k-2型奇数,而3k-2型奇数经过全变换又变成为3k-1型数.换句话说不可能经过全变换得到3k-2型数.
下面我们只研究奇数经过全变换的性质,因为对于其他偶数经过若干次偶变换,仍然要回到奇数的行列里来.
我们首先证明奇数经过若干次全变换必然会在某一步变成偶数.
设2a0-1是我们要研究的奇数,它经过全变换变成3a0-1,假设它是一个奇数并且等于2a1-1,2a1-1又经过全变换变成为3a1-1=2a2-1,3a2-1=2a3-1,...3ak-1-1=2ak-1,所以a1=(3/2)a0,a2=(3/2)a1,...ak=(3/2)ak-1.
所以最后ak=(3/2)ka0,要使ak是整数,可令a0=2kn,(n是奇数).于是ak=3kn.则从2a0-1经过若干次全变换过程如下:
2k+1n-1 -> 3*2kn-1 -> 32*2k-1n-1 -> 33*2k-2n-1 ->... -> 3k+1n-1 (偶数).
然后我们证明经过全变换变成偶数的奇数一定大于该偶数经过若干偶变换之后得到的奇数.
设3k+1n-1=2mh (h为奇数),我们要证明 h<2*3kn-1:
h=(2*3kn-1+3kn)/2m<2*3kn-1,令a=3kn,b=2m-1,则有 2ab>a+b,而这是显然的.
定义:以下我们将称呼上述的连续全变换紧接着连续的偶变换的从奇数到另外一个奇数的过程为一个变换链.
接着我们证明奇数经过一个变换链所得的奇数不可能是变换链中的任何中间结果,包括第一个奇数.
若以B(n)表示奇数n的变换次数,m是n经过变换首次遇到的其他奇数,则有
定理三:B(n)=k+1+B(m),其中k是满足3n+1=2km的非负整数.
证明:n经过一次奇变换,再经过k次偶变换变成奇数m,得证.
举例来说,B(15)=2+B(23)=2+2+B(35)=2+2+2+B(53)=2+2+2+5+1+B(5)=2+2+2+5+1+5=17
原始克拉茨二十世纪30年代,克拉茨还在上大学的时候,受到一些著名的数学家影响,对于数论函数发生了兴趣,为此研究了有关函数的迭代问题.
在1932年7月1日的笔记本中,他研究了这样一个函数: 
F(x)= 2x/3 （如果x被3整除 或者 (4x-1)/3 （如果x被3除余1）或者 (4x+1)/3 （如果x被3除余2）
则F(1)=1,F(2)=3,F(3)=2,F(4)=5,F(5)=7,F(6)=4,F(7)=9,F(8)=11,F(9)=6,...为了便于观察上述迭代结果,我们将它们写成置换的形式:
1 2 3 4 5 6 7 8 9 ... 
1 3 2 5 7 4 9 11 6 ... 
由此观察到:对于x=2,3的F迭代产生循环(2,3)
对于x=4,5,6,7,9的F迭代产生循环(5,7,9,6,4).
接下来就是对x=8进行迭代,克拉茨在这里遇到了困难,他不能确知,这个迭代是否会形成循环,也不知道对全体自然数做迭代除了得到上述两个循环之外,是否还会产生其他循环.后人将这个问题称为原始克拉茨问题.现在人们更感兴趣的是它的逆问题:
G(x)= 3x/2 （如果x是偶数）或者 (3x+1)/4 （如果x被4除余1）或者 (3x-1)/4 （如果x被4除余3）
不难证明,G(x)恰是原始克拉茨函数F(x)的反函数.对于任何正整数x做G迭代,会有什么样的结果呢?
经计算,已经得到下列四个循环:
(1),(2,3),(4,6,9,7,5),(44,66,99,74,111,83,62,93,70,105,79,59).
因为G迭代与F迭代是互逆的,由此知道,F迭代还应有循环(59,79,105,70,93,62,83,111,74,99,66,44).
G迭代还能有别的循环吗?为了找到别的循环,人们想到了下面的巧妙方法:
由于G迭代使后项是前项的3/2(当前项是偶数时)或近似的3/4(当前项是奇数).如果G迭代中出现循环,比如迭代的第t项at与第s项as重复(t<s):at=as.但
as/as-1,as-1/as-2,...at+1/at
或等于3/2,或者近似于3/22,因而
1=as/at=as/as-1*as-1/as-2*...at+1/at≈3m/2n
这里 m=s-t,m < n
即 2n≈3m
log22n≈log23m
故 n/m≈log23
这就是说,为了寻找出有重复的项(即有循环),应求出log23的渐进分数n/m,且m可能是一个循环所包含的数的个数,即循环的长度.
log23展开成连分数后,可得到下列紧缺度不同的渐进分数:
log23≈2/1,3/2,8/5,19/12,65/41,84/53,485/306,1054/665,24727/15601,...
渐进分数2/1表明,31≈22,循环长度应为1.实际上恰存在长度为1的循环(1).
渐进分数3/2表明,32≈23,循环长度应为2.实际上恰存在长度为2的循环(2,3).
渐进分数8/5表明,35≈28,循环长度应为5.实际上恰存在长度为5的循环(4,6,9,7,5).
渐进分数19/12表明,312≈219,循环长度应为12,实际上恰存在长度为12的循环(44,66,...59).
这四个渐进分数的分母与实际存在的循环长度的一致性,给了人们一些启发与信心,促使人们继续考虑:是否存在长度为41,53,306,665,15601,...的循环?令人遗憾的是,已经证明长度是41,53,306的循环肯定不存在,那么,是否会有长度为665,15601,...的循环呢?
F迭代与G迭代究竟能有哪些循环呢?人们正在努力探索中!