1. 预备工作
角谷算法,
角谷猜想任给一自然数通过角谷算法后最后都将进入
的循环中。
假设角谷猜想不正确,则有:
定义1 角谷数集B,非角谷数集H。
设N是自然数集,把N分成B、H两个数集:
1) 满足角谷猜想的自然数,记为集合B
,
2) 不满足角谷猜想的自然数称为非角谷数集,记为集合H
显然有
,
,且
是奇数 [1] ,由于
是H集合中最小自然数,所以凡是小于
的自然数都在集合B中。
2. 命题证明
在集合
中,因为
是H中最小的自然数,且
是奇数。所以有:
引理一:
,
,即:
,并且 不能被4整除。
证:如果
,即
,根据角谷算法,
,
,
,而
,
,
,而
,
不能被4整除。#
为了直观地看到H集合中
在角谷运算过程中的变化情况,我们建立直角坐标系如下:
Figure 1. Line
intersects Line
图1. 直线
与直线
相交
在图1中,
直线与
直线相交于D [1] ,过D点作垂线与X轴交于E,可得到直角三角形D0E,设角D0E为Q,有
,设
则有
,
与
是一一对应的,当
时,
,因为
是偶数,依照角谷运算法有,
,
,
,
的取值取决于
是否是奇数,当
是奇数时
是最大值,设:
,因为
即:
,所以
,依照角谷算法有
,此时
,
即:
。
依照角谷算法有
……以此类推有:
,
, (1)
当
时,
,设
。
这样(1)式可写成:
,因为
是整数,所以
必须是整数,而
不是整数,所以
必须是整数,根据引理一,4不能整除
,所以
只能等于2,即:
,
,所以
,即有:
,所以
,所以
,所以
,
,
。
证:如果j不是无穷大,则在H集合中必须出现循环,而(1)出现循环的必要条件是:
,即有
,即
,显然
,所以等式(1)不可能产生从
开始的循环,因为
,所以在H集合中任取一
来讨论都会得到同样的结果。所以
。#
因为
,所以我们永远无法找到一个
[2] ,满足
在H集合中作角谷运算,所以非角谷数的集合是不存在的,即
,故角谷猜想是正确的。证明完!
NOTES
作者简介:出生年月:1959年9月,籍贯:广东省始兴县,学历:本科,职称:工程师。