用二重?cái)?shù)學(xué)歸納法證明一個(gè)恒等式

劉天武

摘 要：主要探究一個(gè)階乘分解的恒等式，即k！=（-1）k（-1）i[Ci][k]（m-k+i）k，這表明階乘可以轉(zhuǎn)化為有限和的形式，我們利用二重?cái)?shù)學(xué)歸納法來證明它。

關(guān)鍵詞：二重?cái)?shù)學(xué)歸納法;恒等式;證明

一、二重?cái)?shù)學(xué)歸納法

所謂二重?cái)?shù)學(xué)歸納法（亦稱為參變歸納法）就是對其中一個(gè)用數(shù)學(xué)歸納法證明的過程中，再對另一個(gè)用數(shù)學(xué)歸納法證明。它可以作為教材中數(shù)學(xué)歸納法的進(jìn)一步延伸。

二、恒等式的證明

定理 對任意固定的數(shù)m和正整數(shù)k，則成立如下公式

k！=（-1）k（-1）i[Ci][k]（m-k+i）k.

證明：容易知道，原不等式等價(jià)于證明

（-1）i[Ci][k]（m-k+i）k=（-1）kk！

?（-1）k-i[Ci][k]（m-i）k=（-1）kk！

?（-1）i[Ci][k][Cj][k]mj（-i）k-j=k！

?

（-1）k+i-j[Ci][k][Cj][k]ik-jmj=k！，

即證明（-1）k+i[Ci][k]ik+（-1）i[Ci][k]mk+

（-1）k+i-j[Ci][k][Cj][k]ik-jmj=k！.

由上式可知，mk的系數(shù)為零.

下面我們證明mj（1≤j≤k-1）的系數(shù)全為零，而常數(shù)項(xiàng)為k！，即證明

（-1）k+i-j[Ci][k][Cj][k]ik-j=0，（1）

（-1）k+i[Ci][k]ik=k！，（2）

先證明（1）式，在（1）中我們令k-j=t，則1≤t≤k-1，并且規(guī)定0a=0（a>0）.

則我們只需證明如（-1）i[Ci][k]it=0（1≤t≤k-1），先聲明，對于等式[Ck][n]=[Ck][n-1]+[Ck-1][n-1]，當(dāng)k=n時(shí)，規(guī)定[Cn][n-1]=0.設(shè)f（k，t）=（-1）i[Ci][k]it，其中k，t均為正整數(shù)，且1≤t≤k-1，（k≥2）

（i）當(dāng)k=2時(shí)，t只能為1，此時(shí)有f（2，1）=（-1）i[Ci][2]i=

-2+2=0.

當(dāng)k=3時(shí)，t可能為1，亦可能為2.

若t=1，則有f（3，1）=（-1）i[Ci][3]i=0;

若t=2，則有f（3，2）=（-1）i[Ci][3]i2=0.

故f（k，t）=（-1）i[Ci][k]it，對k=2和3都成立.

（ii）當(dāng)k=s時(shí)，若f（s，t）=（-1）i[Ci][s]it，對任意的1≤t≤s-1成立.

當(dāng)k=s+1時(shí)，我們再對t作數(shù)學(xué)歸納法.

當(dāng)t=1時(shí)，f（s+1，1）=（-1）i[Ci][s+1]i=（s+1）（-1）i[Ci-1][s]=

-（s+1）（-1）i[Ci][s]=0.

假設(shè)t=l時(shí)，f（s+1，l）=（-1）i[Ci][s+1]il=0成立.

當(dāng)t=l+1時(shí)，

f（s+1，l+1）=（-1）i[Ci][s+1]il+1=（s+1）（-1）i[Ci-1][s]il

=（s+1）（-1）i（[Ci][s+1]-[Ci][s]）il=（s+1）（-1）i[Ci][s+1]il-

（s+1）（-1）i[Ci][s]il

=（s+1）f（s+1，l）-（s+1）（-1）i[Ci][s]il

=（s+1）f（s+1，l）-（s+1）f（s，l）=0.

因此f（k，t）=0對任意的正整數(shù)k，t，且1≤t≤k-1（k≥2）都成立，故（1）式得證.

再證明（2）式，對于（2）式，我們可以用普通的數(shù)學(xué)歸納法證明，

當(dāng)k=1時(shí)，（-1）1+1C1111=1=1！.假設(shè)k-1時(shí)，

（-1）k-1+i[Ci][k-1]ik-1=（k-1）！成立.

當(dāng)為k時(shí)，（-1）k+i[Ci][k]ik=k（-1）k+i+1[Ci][k-1]（i+1）k-1

=k（-1）k+i-1[Ci][k-1]（i+1）k-1

=k（-1）k+i+1[Ci][k-1]（i+1）k-1=k（-1）k+i-1[Ci][k-1]（[C0][k-1]ik-1+[C1][k-1]ik-2+…

+[Ck-2][k-1]i+[Ck-1][k-1]），

由恒等式（1），對于i的次數(shù)小于等于k-2且大于等于1的項(xiàng)全為零，最后一項(xiàng)為k（-1）k-1（-1）i[Ci][k-1]，亦為零，所以

（-1）k+i[Ci][k]ik=k（-1）k+i-1[Ci][k-1]ik-1=k（-1）k+i-1[Ci][k-1]ik-1

=k（k-1）！=k！.

故（2）式得證.這樣我們就證明了k！=（-1）k（-1）i[Ci][k]（m-k+i）k.