胡 濤

(安徽省教育科學(xué)研究院 230061)

文[1]介紹了斐波那契數(shù)列及其推廣形式的應(yīng)用，受其啟發(fā)，本文從斐波那契數(shù)列的定義出發(fā)，將其推廣得到一類新的數(shù)列—F數(shù)列，并研究它的性質(zhì).

定義若數(shù)列{an}滿足：對(duì)任意的n∈N*(n≥3)，總存在i,j∈N*，使an=ai+aj(i≠j,i

由數(shù)F列定義知斐波那契數(shù)列是其特殊情況，雖然它的通項(xiàng)公式不能確定，但an可由a1，a2線性表出，即有

定理1前兩項(xiàng)為a1=a,a2=b的F數(shù)列{an}，則

an=pna+qnb,pn,qn∈N*(n≥3).

證明①n=3時(shí)，命題成立；

②假設(shè)n≤k時(shí)命題成立，

即ak=sa+tb，s,t∈N*；

當(dāng)n=k+1時(shí)，ak+1=ai+aj(i≠j,i,j≤k)，

由歸納假設(shè)

ai=pia+qib，aj=pja+qjb(pi,pj,qi,qj∈N*)，

故ak+1=(pi+pj)a+(qi+qj)b，

即當(dāng)n≥3時(shí)有an=pna+qnb,pn,qn∈N*.

推論前兩項(xiàng)都為0的F數(shù)列{an}是零數(shù)列.

定理2首項(xiàng)為a1，公差為d的等差數(shù)列{an}是F數(shù)列的充要條件是d=a1.

證明(必要性)因?yàn)閿?shù)列{an}是首項(xiàng)為a1，公差為d的等差數(shù)列，且是F數(shù)列，所以有a3=a1+a2, 即a1+2d=a1+a1+d,d=a1.

(充分性)若d=a1，則an=nd，由于當(dāng)n≥3時(shí)，an=a1+an-1，1≠n-1,所以數(shù)列{an}是F數(shù)列.

定理4在前兩項(xiàng)a1=a,a2=b(a,b>0)的F數(shù)列中，

證明設(shè){an}是前兩項(xiàng)為a1=a,a2=b的F數(shù)列，則B1=a1,B2=a2,B3=a1+a2.

(Ⅰ)若a≤b，

當(dāng)n=3時(shí)，有B3=B1+B2,且B1≤B2

假設(shè)當(dāng)n=k(n≥3)時(shí)，有Bk=Bk-1+Bk-2，此時(shí)有

B1≤B2

當(dāng)n=k+1時(shí)，由于ak+1=ai+aj≤Bi+Bj≤Bk-1+Bk，故當(dāng)ak+1=Bk+Bk-1時(shí)，ak+1最大,即Bk+1=Bk-1+Bk,所以對(duì)任意的n∈N*(n≥3)有Bn=Bn-1+Bn-2.故

由于b≥a>0，由定理1容易證明

(Ⅱ)若a>b，有

B3=B1+B2,且B2

當(dāng)n=4時(shí)，由于a4=ai+aj(i≠j,i,j<4)，

a2≤a1

則a4=ai+aj≤a3+a2(i≠j,i,j<3)，

當(dāng)且僅當(dāng)a4=a3+a1時(shí)，a4最大，

即B4=a3+a1=b+2a，且B2

由于a5=ai+aj≤Bi+Bj≤B3+B4，

所以B5=B4+B3，且B2

假設(shè)當(dāng)n=k(n≥5)時(shí)，Bk=Bk-1+Bk-2，

此時(shí)有

B2

當(dāng)n=k+1時(shí)，由于ak+1=ai+aj≤Bi+Bj≤Bk-1+Bk，故當(dāng)ak+1=Bk+Bk-1時(shí)，ak+1最大，即Bk+1=Bk-1+Bk,所以對(duì)任意的n∈N*(n≥5)有Bn=Bn-1+Bn-2，故

同(Ⅰ)可證

事實(shí)上，上面(Ⅰ)中的數(shù)列{Bn}是廣義的斐波那契數(shù)列，Bn=afn-2+bfn-1(n≥3),其中fn是前兩項(xiàng)f1=f2=1的斐波那契數(shù)列的通項(xiàng)公式.

類似的，若a1<0,a2<0，有

定理5在前兩項(xiàng)a1=a,a2=b(a,b<0)的F數(shù)列中，

(Ⅰ)若a≥b，則

(Ⅱ)若a

定理6在前兩項(xiàng)a1=a,a2=b(a>0,b<0)的F數(shù)列中，

證明設(shè){an}是前兩項(xiàng)為a1=a,a2=b的F數(shù)列，則易知B2

(Ⅰ)當(dāng)a≥|b|時(shí),由于a4=ai+aj≤Bi+Bj≤B1+B3, (i≠j,i,j<4)，所以B4=B3+B1=b+2a,且B2

同理B5=B4+B1=b+3a,B6=B5+B4,且B2≤B3

假設(shè)當(dāng)n=k(n≥6)時(shí)，Bk=Bk-1+Bk-2,此時(shí)有

B2≤B3

則當(dāng)n=k+1時(shí)，由于ak+1=ai+aj≤Bi+Bj≤Bk+Bk-1，所以Bk+1=Bk+Bk-1.

即對(duì)任意的n∈N*(n≥6)，都有Bn=Bn-1+Bn-2，故

依題設(shè)有

k|b|≤a<(k+1)|b|,(k∈N*)，

由于C2

所以C4=C2+C3=a+2b,且C2

同理C5=C4+C2=a+3b,…

Ck+2=Ck+1+C2=a+kb,

Ck+3=Ck+2+C2=a+(k+1)b,

Ck+4=Ck+3+C2=a+(k+2)b,

Ck+5=Ck+4+C2=a+(k+3)b,

且Ck+5

用數(shù)學(xué)歸納法可證明,當(dāng)n≥k+6時(shí)，Cn=Cn-1+Cn-2，故

(Ⅱ)當(dāng)a<|b|時(shí)，依題設(shè)有ka≤|b|<(k+1)a,k∈N*，仿照定理6(Ⅰ)的證明可得

在上面的定理中，我們看到數(shù)列{Bn}、{Cn}都是從某項(xiàng)開(kāi)始單調(diào)遞增或遞減.易知前兩項(xiàng)為a1=a,a2=b的F數(shù)列{an}單調(diào)遞增的必要條件是0

出乎意料的是從第5項(xiàng)開(kāi)始，Cn為連續(xù)的自然數(shù).一般地，有

定理7在前兩項(xiàng)a1=a,a2=b(a,b∈N*)的單調(diào)遞增的F數(shù)列{an}中.若(a,b)=1，則存在N∈N*，當(dāng)n≥N時(shí)，Cn為連續(xù)的自然數(shù).

證明注意到(a,b)=1，記b=am+r

(1≤r≤a-1)，則

可證a+ir(moda)=0,1,…,a-1[2]是模a的完全剩余系.若這a個(gè)自然數(shù)又在長(zhǎng)度為a的區(qū)間內(nèi)，則必然是連續(xù)的a個(gè)自然數(shù).

為便于理解，不失一般性，不妨設(shè)b=ma+1,m∈N*, 由于

C1=a,C2=b,C3=a+b,{an}單調(diào)遞增，a4>a3，則C4=min{a3+a2,a3+a1}=C3+C1.

當(dāng)Cn≤a+b時(shí)，因?yàn)镃n≡0,1(moda)，且C3+C2≤Ci+CJ≡2(moda)，i≠j,i

若Cn1

當(dāng)Cn≤a+2b時(shí)，Cn≡0,1,2(moda)，且Cn1+1+C2≤Ci+Cj≡3(moda)，因此，

當(dāng)a+2b

若Cn3

……

當(dāng)Cn≤a+(a-1)b時(shí)，Cn≡0,1,…,a-1(moda)，且Cna-1+1+C2≤Ci+Cj≡a(moda)≡0(moda)，因此，當(dāng)a+(a-1)b1)形的自然數(shù).令N0=na-1+1,可知CN0,CN0-1,…,CN0-a+1是連續(xù)的a個(gè)自然數(shù),取N=N0-a+1,則當(dāng)n≥N時(shí)，Cn=CN+n-N,故Cn為連續(xù)的自然數(shù),且CN=CN0-a+1=ab+1.

推論前兩項(xiàng)a1=a,a2=b(a,b∈N*,a

定理7中最小的N值可以這樣確定:先計(jì)算[a,a+ab)中{Cn}的項(xiàng)數(shù)，這些項(xiàng)是由a,b和首項(xiàng)為a+ib，公差為a的等差數(shù)列{pni}(i=1,2,…,a-1)的項(xiàng)構(gòu)成的.

因?yàn)閜ni=a+ib+(ni-1),

如圖，由幾何意義[2]可知

下面我們解決如下問(wèn)題：

已知{an}是F數(shù)列，且單調(diào)遞增，a1=3,a2=5.若an=2018,求的n最大值.

解當(dāng)an=Cn=2018時(shí)，n最大.由于

C3=8,C4=11,C5=13,C6=14,C7=16,

C8=17,C9=18.

當(dāng)n≥7時(shí),Cn=16+(n-7)，

由Cn=2018得,n=2009.

下面證明n的最大值為2009:

因?yàn)閍n≥Cnn∈N*,C2009=2018,

則a2009≥C2009.

若an=2018,則a2009≥an,n≤2009.

故n的最大值為2009.

一般地，有

定理8已知{an}是F數(shù)列，且單調(diào)遞增，a1=a,a2=b(a,b∈N*,b>a).若an=k(k∈N*,k>ab),則當(dāng)an=Cn=k時(shí)，n最大.

類似地,還有

定理9已知{an}是F數(shù)列，a1=a,a2=b(a,b∈N*,b>a).若an=k=BN.則當(dāng)n=N時(shí)，n最小.