前言
胡乱学了一点点…
补在这里
可能会慢慢更新吧…
定义
F(a)=F(a−1)+F(a−2)F(a)=F(a-1)+F(a-2)F(a)=F(a−1)+F(a−2)
其中F(0)=0,F(1)=1F(0)=0,F(1)=1F(0)=0,F(1)=1
邻项公约数为1
gcd(F(a),F(a+1))=1gcd(F(a),F(a+1))=1gcd(F(a),F(a+1))=1
数学归纳法一下,首先gcd(F(0),F(1))gcd(F(0),F(1))gcd(F(0),F(1))显然为1
因为这个式子等价于gcd(F(a),F(a−1)+F(a))gcd(F(a),F(a-1)+F(a))gcd(F(a),F(a−1)+F(a)),发现后面的F(a)F(a)F(a)并没有对gcd有什么贡献,所以他等于gcd(F(a),F(a−1))gcd(F(a),F(a-1))gcd(F(a),F(a−1)),归纳可得
另一类递推式
F(n+m)=F(n+1)∗F(m)+F(n)∗F(m−1)F(n+m)=F(n+1)*F(m)+F(n)*F(m-1)F(n+m)=F(n+1)∗F(m)+F(n)∗F(m−1)
证明我们可以考虑一类组合问题来做
用一些1∗21*21∗2的长方形填满一个2∗n2*n2∗n的矩阵的方案数是什么
递推一下:最后一列可以用一个竖着的长方形,方案数是dp(i−1)dp(i-1)dp(i−1)
同样也可以用两个横着的长方形填满,是dp(i−2)dp(i-2)dp(i−2)
所以dp(i)=dp(i−1)+dp(i−2)dp(i)=dp(i-1)+dp(i-2)dp(i)=dp(i−1)+dp(i−2),容易发现这其实是斐波那契数列的定义式,根据边界我们可以知道dp(i)=F(i+1)dp(i)=F(i+1)dp(i)=F(i+1)
然后我们对2∗(n+m−1)2*(n+m-1)2∗(n+m−1)的网格进行覆盖
考虑在nnn与n+1n+1n+1的位置进行分割,如果能隔开则方案是dp(n)∗dp(m−1)dp(n)*dp(m-1)dp(n)∗dp(m−1)
如果不能隔开方案就是dp(n−1)∗dp(m−2)dp(n-1)*dp(m-2)dp(n−1)∗dp(m−2)
则
dp(n+m−1)=dp(n)∗dp(m−1)+dp(n−1)∗dp(m−2)dp(n+m-1)=dp(n)*dp(m-1)+dp(n-1)*dp(m-2)dp(n+m−1)=dp(n)∗dp(m−1)+dp(n−1)∗dp(m−2)
=F(n+1)∗F(m)+F(n)∗F(m−1)=F(n+1)*F(m)+F(n)*F(m-1)=F(n+1)∗F(m)+F(n)∗F(m−1)
=F(n+m)=F(n+m)=F(n+m)
得证
最小公倍数
gcd(F(a),F(b))=F(gcd(a,b))gcd(F(a),F(b))=F(gcd(a,b))gcd(F(a),F(b))=F(gcd(a,b))
打表可证
上面有第一个推论gcd(F(a),F(a+1))=1gcd(F(a),F(a+1))=1gcd(F(a),F(a+1))=1
同样需要用到第二个推论F(n+m)=F(n+1)∗F(m)+F(n)∗F(m−1)F(n+m)=F(n+1)*F(m)+F(n)*F(m-1)F(n+m)=F(n+1)∗F(m)+F(n)∗F(m−1)
同样尝试用归纳法证明
不妨把F(a)F(a)F(a)看作F(m)F(m)F(m),F(b)F(b)F(b)看作F(n+m)F(n+m)F(n+m)
gcd(F(a),F(b))=gcd(F(a),F(b−a+1)∗F(a)+F(b−a)∗F(a−1))gcd(F(a),F(b))=gcd(F(a),F(b-a+1)*F(a)+F(b-a)*F(a-1))gcd(F(a),F(b))=gcd(F(a),F(b−a+1)∗F(a)+F(b−a)∗F(a−1))
同样发现F(b−a+1)∗F(a)F(b-a+1)*F(a)F(b−a+1)∗F(a)与F(a)F(a)F(a)因子相同,可以去掉,所以就是
gcd(F(a),F(b−a)∗F(a−1))gcd(F(a),F(b-a)*F(a-1))gcd(F(a),F(b−a)∗F(a−1))
由于gcd(F(a),F(a−1))=1gcd(F(a),F(a-1))=1gcd(F(a),F(a−1))=1,贡献一定产生在F(a)F(a)F(a)与F(b−a)F(b-a)F(b−a)中,故有
gcd(F(a),F(b))=gcd(F(a),F(b−a))gcd(F(a),F(b))=gcd(F(a),F(b-a))gcd(F(a),F(b))=gcd(F(a),F(b−a))
发现在更相减损,就是另一类求gcd的方式,故可以得证