对一个数列,如果存在正整数
及
,使得对任意
,都有
,那么称
是一个周期数列.进一步,若
,则称
是一个纯周期数列.这里
称为
的一个周期.
由周期数列的定义可知,如果为
的一个周期,那么对任意
,数
也是
的一个周期.利用这个性质结合数论中著名的Bezout定理可得下面的定理:
定理1
如果、
都是周期数列
的周期,那么
(指
、
的最大公因数)也是
的一个周期.
由此定理可知,如果是一个周期数列,那么
有最小正周期.这与周期函数不一定有最小正周期形成鲜明的对比.
对于一个整数数列而言,它本身可能不是一个周期数列,但是对某些正整数
,在模
的意义下是一个周期数列,这就是模周期数列的概念.此时,存在
、
,使得对任意
,都有
.
定理2
整数数列如果是一个常系数递推数列,那么对任意
,数列
都是模
下的一个周期数列.
事实上,如果是一个常系数
阶递推数列,考察下面的数组
由于在模的意义下,数组
中每个
只取
,故(1)中的数组在模
的意义下至多只有
种不同的情形.所以,存在
、
,使得
记,结合
为常系数
阶递推数列,可知对任意
,都有
.
因此,定理2成立.






网友评论