下面是我对克拉茨问题的初步研究结果,只是发现了一点点规律,距离解决还很遥远.

克拉茨命题:设 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迭代究竟能有哪些循环呢?人们正在努力探索中!