斐波那契(Fibonaccia)数列定义如下
它是一个非常著名的数列,围绕它展开的讨论层出不穷,有许多有趣而又深刻的结论.
2022-01-27-01
(来源: 数学奥林匹克小丛书 第二版 高中卷 数列与数学归纳法 冯志刚 斐波那契(Fibonaccia)数列 P057 例01)
证明:对任意,都有
.即针对Fibonaccia数列的项求最大公因数可以转化到下标上去.
证明
当时显然成立.考虑
的情形,不妨设
.
利用Fibonaccia数列的递推式,可知
于是(这里用到
,它可以通过对
用数学归纳法证得).
在上面的结论中,用代替
继续讨论,表明求
与
的最大公因数的过程实质上是对下标
、
作辗转相除.所以
.
说明利用本题的结论可证出下述命题:如果为素数,那么
或者
为素数.
事实上,如果且
不是素数,那么可写
,
,并且
.此时
,而
,
,由此导出
为合数.
2022-01-27-02
(来源: 数学奥林匹克小丛书 第二版 高中卷 数列与数学归纳法 冯志刚 斐波那契(Fibonaccia)数列 P058 例02)
证明:每一个正整数,都可以唯一地表示为如下形式
这里或
,
,并且不存在下标
,使得
,其中
为Fibonaccia数列中的第
项.
证明
形如(1)的正整数表示可称为的
表示,它类似于二进制,此结论是著名的Zerkendorf定理.
对归纳来予以证明.
当时,
,命题成立.现设对所有小于
的正整数
命题都成立.
由于存在唯一的,使得
,如果
,那么
已表为(1)的形式,如果
,那么由归纳假设
有形如(1)的表示,设
其中,则
.现在
,则
,矛盾,所以
,从而
有满足(1)的表示.
下证的形如(1)的表示是唯一的.
事实上,若
这里,且
.
若,则由于不存在下标
,使得
,结合
的定义,可知
因此,故(2)不能都取等式.
所以,进而
有两种表示,这与归纳假设不符.所以,
的表示唯一.
综上所述,由第二数学归纳法知,命题成立.
2022-01-27-03
(来源: 数学奥林匹克小丛书 第二版 高中卷 数列与数学归纳法 冯志刚 斐波那契(Fibonaccia)数列 P058 例03)
熟知任意连续个整数之积是前
个正整数之积(即
)的倍数.Fibonaccia数列也具有类似的性质.请证明:对任意
,数列
中任意连续
项之积都是前
项之积的倍数.
证明
引入记号,
,并规定
.并写
为证命题成立,只需证明:对任意、
,都有
.
利用例1中类似的推导过程,知
所以,我们有
上式对、
都成立,结合初始情形
(对
、
都成立)及数学归纳法,即可证明
都是正整数.
所以,命题成立.
网友评论