鄭宏寶

我們通常所說(shuō)的數(shù)學(xué)歸納法分為兩種，第一數(shù)學(xué)歸納法和第二數(shù)學(xué)歸納法。第一數(shù)學(xué)歸納法，即假設(shè)對(duì)n=k時(shí)成立，通過(guò)證明對(duì)n=k+1時(shí)也成立完成證明。第二數(shù)學(xué)歸納法實(shí)際上跟第一數(shù)學(xué)歸納法沒(méi)有本質(zhì)區(qū)別，不過(guò)是把假設(shè)條件變成對(duì)n≤k均成立。這兩種數(shù)學(xué)歸納法的考題一般是比較簡(jiǎn)單的，即只需要猜出結(jié)論，直接代入驗(yàn)證即可。所以一般情況下，我們的重心在于猜，而不在于后面的證明。但在競(jìng)賽中對(duì)于數(shù)學(xué)歸納法的應(yīng)用不僅限于此，即使猜出來(lái)了結(jié)論，歸納證明也是十分復(fù)雜的。這里介紹一種新的數(shù)學(xué)歸納法，在歸納證明遇到困難的時(shí)候可以嘗試采用這種方法。我們先看一個(gè)比較簡(jiǎn)單的例子：

例1 數(shù)列{an}定義為a1=a2=1，an+2=an+1+an，求證：當(dāng)n≥2時(shí)，a2n-1必是數(shù)列中某兩項(xiàng)的平方和，a2n必是數(shù)列中某兩項(xiàng)的平方差。

分析 這個(gè)數(shù)列是我們非常熟悉的Fibonacci數(shù)列，不妨先把前幾項(xiàng)寫(xiě)出來(lái)a1=1，a2=1，a3=2，a4=3，a5=5，a6=8，a7=13，a8=21，有a3=a21+a22，a5=a22+a23，a7=a23+a24，…，a4=a23-a21，a6=a24-a22，a8=a25-a23，…，于是猜想a2n-1=a2n-1+a2n，a2n=a2n+1-a2n-1（n≥2），然后用數(shù)學(xué)歸納法完成證明。

證明 數(shù)列的前4項(xiàng)為a1=1，a2=1，a3=2，a4=3，有a3=a21+a22，a4=a23-a21。

假設(shè)a2n-1=a2n-1+a2n，a2n=a2n+1-a2n-1（n≥2），則a2n+1=a2n+a2n-1=a2n+a2n+1，

a2n+2=a2n+1+a2n=a2n+1+a2n+a2n+1-a2n-1

=a2n+1+a2n+（a2n+1-a2n-1）=a2n+1+a2n+an（2an+1-an）=a2n+1+2anan+1=a2n+1+2anan+1+a2n-a2n=（an+1+an）2-a2n=a2n+2-a2n。

故對(duì)一切自然數(shù)n≥2，有a2n-1=a2n-1+a2n，a2n=a2n+1-a2n-1。即當(dāng)n≥2時(shí)，a2n-1必是數(shù)列中某兩項(xiàng)的平方和，a2n必是數(shù)列中某兩項(xiàng)的平方差。

這道題解法很自然，實(shí)際上用到了螺旋式數(shù)學(xué)歸納法的思想，即我們要證明的并不是一個(gè)結(jié)論，可以寫(xiě)為：An：a2n-1=a2n-1+a2n，Bn：a2n=a2n+1-a2n-1。如果兩個(gè)結(jié)論不放在一起，而是分開(kāi)去單獨(dú)證明，是十分困難的，我們用的方法是先假設(shè)An和Bn同時(shí)成立，然后證明An+1成立，再根據(jù)An+1和Bn證明了Bn+1成立，于是完成了證明，此方法即是螺旋式數(shù)學(xué)歸納法。

這道題直接告訴了有兩個(gè)結(jié)論需要去證明，所以思路比較直接，但是如果題目中只單單告訴了一個(gè)結(jié)論，另一個(gè)結(jié)論需要自己去尋找，就比較困難了。

例2 數(shù)列{an}滿(mǎn)足a0=a1=a2=1，an+2=-an-1+9anan+1-a2n-a2n+1-1an+an+1，n≥1。求證：對(duì)任意的正整數(shù)n，an是整數(shù)。

分析 這個(gè)數(shù)列形式已經(jīng)十分復(fù)雜，求其通項(xiàng)顯然是行不通的，但是注意到題目中要證明的只是an是整數(shù)，所以自然想到，如果能證明an+1=pan+qan-1，或者滿(mǎn)足類(lèi)似的形式即可。但是這個(gè)遞推式也是無(wú)法得到的，于是想到了數(shù)學(xué)歸納法，類(lèi)似上題先寫(xiě)幾項(xiàng)猜猜看，a0=a1=a2=1，a3=2，a4=3，a5=7，a6=11，a7=26，a8=41，似乎找不到我們想要的遞推式，但是如果把奇數(shù)項(xiàng)和偶數(shù)項(xiàng)分開(kāi)看，容易發(fā)現(xiàn)a2n+1=3a2n-a2n-1，a2n+2=2a2n+1-a2n，如果能證明這兩個(gè)式子，即完成了證明。

證明 數(shù)列的前幾項(xiàng)為a0=a1=a2=1，a3=2，a4=3，有a3=3a2-a1，a4=2a3-a2。

假設(shè)a2n+1=3a2n-a2n-1，a2n+2=2a2n+1-a2n（n≥1），我們先證奇數(shù)項(xiàng)，則

a2n+3=-a2n+9a2n+1a2n+2-a22n+1-a22n+2-1a2n+1+a2n+2。

用分析法，即證-a2n+9a2n+1a2n+2-a22n+1-a22n+2-1a2n+1+a2n+2=3a2n+2-a2n+1

9a2n+2a2n+1-a22n+1-a22n+2-1=（3a2n+2-a2n+1+a2n）（a2n+1+a2n+2）

7a2n+2a2n+1-4a22n+2-1=a2na2n+1+a2na2n+2a2n+2（7a2n+1-4a2n+2-a2n）=a2na2n+1+1a2n+2（3a2n-a2n+1）=a2na2n+1+1a2n+2a2n-1=a2n+1a2n+1。

證到這里我們發(fā)現(xiàn)，直接歸納去證明顯然是證不出來(lái)的，因?yàn)榇藬?shù)列是遞推的，后面的性質(zhì)不單單是由遞推式?jīng)Q

定，還由前幾項(xiàng)決定，可是我們?cè)谟脭?shù)學(xué)歸納法的時(shí)候不可能一直算到數(shù)列的前幾項(xiàng)。至此，雖然沒(méi)有證明出來(lái)我們想要的結(jié)論，但是我們很神奇的發(fā)現(xiàn)了一個(gè)新的結(jié)論，即是a2n+2a2n-1=a2n+1a2n+1，這個(gè)結(jié)論是由分析法得到的，也就是說(shuō)如果結(jié)論正確，這條性質(zhì)肯定是對(duì)的。將這條性質(zhì)帶回去檢驗(yàn)一下，我們發(fā)現(xiàn)對(duì)于前幾項(xiàng)確實(shí)是滿(mǎn)足的。事實(shí)上，是有an+2an-1=an+1an+1的。

下面我們用螺旋式數(shù)學(xué)歸納法證明，其中An：a2n+1=3a2n-a2n-1，a2n+2=2a2n+1-a2n，Bn：an+2an-1=an+1an+1。根據(jù)上述的分析法，我們知道由An和B2n可以推出a2n+3=3a2n+2-a2n+1，

下面我們根據(jù)An和B2n和a2n+3=3a2n+2-a2n+1，來(lái)推出B2n+1成立

即證a2n+3a2n=a2n+2a2n+1+1成立，（3a2n+2-a2n+1）a2n=a2n+2a2n+1+1

3a2n+2a2n-a2n+2a2n+1=a2n+1a2n+1a2n+2（3a2n-a2n+1）=a2n+1a2n+1a2n+2a2n-1=a2n+1a2n+1

由假設(shè)B2n成立，即知上式成立。

對(duì)于偶數(shù)項(xiàng)同理可證，所以有a2n+1=3a2n-a2n-1，a2n+2=2a2n+1-a2n，因?yàn)榍叭?xiàng)都是整數(shù)，顯然an都是整數(shù)，至此完成了證明。

此題的關(guān)鍵在于需要自己找到該數(shù)列另一個(gè)非常好的性質(zhì)，即an+2an-1=an+1an+1，而往往這種性質(zhì)并不是那么容易發(fā)現(xiàn)，是在我們用分析法證明的過(guò)程中發(fā)現(xiàn)的，進(jìn)而用螺旋式數(shù)學(xué)歸納法完成證明。那自然就會(huì)想，對(duì)于Bn的假設(shè)是我們自己給出來(lái)的，我們可以在對(duì)An證明的過(guò)程中任意一步走不下去的時(shí)候就設(shè)它為Bn，假設(shè)它成立，然后歸納出An+1，這種做法理論上是可行的，但是接下來(lái)需要做的并不是去證An+1，而是需要去證明Bn+1成立，往往接下來(lái)證明的困難程度取決于Bn的形式，也就是說(shuō)，Bn的形式越簡(jiǎn)單，越容易完成接下來(lái)的證明，所以我們?cè)谧约喝?gòu)造Bn時(shí)，一定要盡可能的讓Bn的形式簡(jiǎn)潔明了，容易驗(yàn)證，就像例子中的an+2an-1=an+1an+1一樣。