5
高校数学解説
文献あり

ある有限和とAbelの恒等式の初等的な証明

418
0

はじめに

有限和に関する次の事実が成り立ちます.

nを正整数としたとき,
k=0n(nk)(1)nkkp={0(p=0,1,,n1)n!(p=n)

本質的には,左辺がp次式のn階差分を表しているから,p<n0p=nn!になる,という説明ができます.
また,pnのときの左辺は第2種Stirling数の一般項の式にn!をかけたものですが,第2種Stirling数がp<n0p=n1になることと命題1は辻褄が合います.
冪級数展開を使った証明はtria_mathさんが記事にされているので, そちら を参照してもらえればいいかと思いますが,本記事では数学的帰納法を用いた初等的な別証明を書きたいと思います( Part1 ).
また応用例として, Part2 ではAbelの恒等式と呼ばれるものの証明に使用した例も紹介します.

Part1

いきなりですが,まずは少し一般化された次の命題から証明することにします.

nを正整数としたとき,次のa,bの恒等式が成り立つ.
k=0n(nk)(1)nk(a+bk)p={0(p=0,1,,n1)bnn!(p=n)

命題2が証明できれば,特にa=0,b=1とすることで直ちに命題1が導かれます.

p=0のときの和は(11)nの二項展開に他ならず,従って0になる.
p1のときを数学的帰納法で示す.
(I) n=p=1での和は
k=01(1k)(1)1k(a+bk)=a+(a+b)=b
となるから,n=1のときは示された.
(II) ある正整数nでの成立を仮定する.n+1のときの和を
(a+bk)(n+1k)=a(nk)+a(nk1)+b(n+1)(nk1)=a(nk)+(a+b+bn)(nk1)
を用いて分解すると
ak=0n+1(nk)(1)n+1k(a+bk)p1+(a+b+bn)k=0n+1(nk1)(1)n+1k(a+bk)p1=ak=0n(nk)(1)nk(a+bk)p1+(a+b+bn)k=0n(nk)(1)nk(a+b+bk)p1
となるが,帰納法の仮定より,これは1pn0p=n+1
abnn!+(a+b+bn)bnn!=bn+1(n+1)!
となるから,n+1のときも示された.
以上により,命題2が示された.

といった具合に,一般化された命題2の方から先に考えることで,帰納法を上手く使うことができました.
ちなみに,命題2の左辺も結局はp次多項式のn階差分とみなせるので,命題1と似たような結果になることを窺い知ることができます.

Part2

次に, Part1 で示したことを使ってAbelの恒等式というものを証明してみます.

Abelの恒等式

nを正整数としたとき,次のx,y,zの恒等式が成り立つ.
k=0n(nk)x(x+kz)k1(ykz)nk=(x+y)n(x0)

なんとか命題2の形に持っていくために,(ykz)nkを二項展開して(x+kz)を取り出すことを考えます.

ykz=(x+kz)+x+yとみて二項展開すると
(ykz)nk=j=0nk(nkj)(1)j(x+kz)j(x+y)nkj=j=kn(nkjk)(1)jk(x+kz)jk(x+y)nj
となり,また
(nk)(nkjk)=n!k!(nk)!(nk)!(jk)!(nj)!=n!j!(nj)!j!k!(jk)!=(nj)(jk)
も用いれば,示すべき式の左辺は
k=0nj=kn(nj)x(x+y)nj(jk)(1)jk(x+kz)j1
となる.二重和を交換すれば
=j=0n(nj)x(x+y)njk=0j(jk)(1)jk(x+kz)j1
となるが,命題2により内側のj10になるので,結局j=0の項だけ残って
=(x+y)n

このように,命題2を利用してAbelの恒等式を証明できました.
なお,k=0で少し気持ち悪いことになるのでx0の制限を付けていますが,k=0の項を分離して
k=1n(nk)(x+kz)k1(ykz)nk=(x+y)nynx
と変形すれば,x0の極限を考えることができて
k=1n(nk)(kz)k1(ykz)nk=nyn1
が得られます(これを直接,命題1や2から示すこともできます).

おわりに

Abelの恒等式(や上の式)でx,y,zに具体的な値を代入してみると,面白い式が得られるのでぜひ試してみてください.
また,本記事では触れませんでしたが,Abelの恒等式はLambertのW関数と関係が深いようなので,気になった方は色々と調べてみると面白いと思います.
それでは,ここまでご覧いただきありがとうございました.

参考文献

[1]
Wenchang Chu, Elementary Proofs for Convolution Identities of Abel and Hagen–Rothe, The Electronic Journal of Combinatorics, 2010, #N24
投稿日:2022223
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. Part1
  3. Part2
  4. おわりに
  5. 参考文献