关于广义三周期Fibonacci序列的二项式系数和的恒等式
2021-04-05刘靖子喆张文鹏
刘靖子喆,张文鹏
(西北大学数学学院,陕西 西安 710127)
1 引言
众所周知,Fibonacci序列{Fn}为
F0=0,F1=1,Fn=Fn−1+Fn−2(n≥2).
改变它的初始项,即得到Lucas序列{Ln}:
L0=2,L1=1,Ln=Ln−1+Ln−2(n≥2).
文献[1]研究了关于Fibonacci序列{Fn}和Lucas序列{Ln}的一些二项式系数和的恒等式.
文献 [2]考虑了关于双周期 Fibonacci序列和双周期 Lucas序列的一些二项式系数和的恒等式.文献[3]进一步研究了关于广义双周期Fibonacci序列和广义双周期Lucas序列的一些二项式系数和的恒等式.
因此,自然地希望得到关于广义三周期Fibonacci序列和广义三周期Lucas序列的二项式系数和的恒等式.设a,b,c,d都为实数.广义三周期Fibonacci序列{un}定义为

对应地,广义三周期Lucas序列{vn}表示为

矩阵方法对于研究Fibonacci序列的恒等式是非常有用的,如文献[4-5].它在本文的讨论中也起着重要的作用.
本文第二节构造了广义三周期Fibonacci序列{un}的通项公式.第三节中,在一定限制条件下,利用矩阵方法在给出一系列性质之后,得到了关于广义三周期Fibonacci序列和广义三周期Lucas序列的一些二项式系数和的恒等式.
2 广义三周期 Fibonacci序列的通项公式
在本节中,构造广义三周期Fibonacci序列的通项公式.
由文献[6]可知,广义三周期Fibonacci序列{un}的生成函数为

其中A=abc+ad+bd+cd.
定义

要求A2+4d30,即α,β是 x2+Ax−d3=0两个不同的根.有下列性质:

定理 2.1 广义三周期Fibonacci序列{un}的通项公式为


证明 对生成函数G(x)作部分分式分解,得到

计算幂级数展开式,G(x)可化为

其中

同理可得

和

结合(9)-(11)式,得到

因此得到(5)式.证毕.
用相同的方法,得到广义三周期Lucas序列{vn}的通项公式

3 关于广义三周期Fibonacci序列的二项式系数和的恒等式

首先注意到此时A=a2b+bd+2ad.
由 (4)式 α+β=−A,可知 α−β=2α+A,β−α=2β+A.则

引……
