中央二項係数C(n,n/2)は、二項展開や確率論で重要な役割を持つ数であり、nが大きくなると2^n/√nに比例する形で増加します。今回は、4以上の偶数nについて、0.75・2^n/√n≦C(n,n/2)<0.85・2^n/√nを高校数学の範囲で証明する考え方を解説します。
この評価では、単純な計算だけではなく、二項係数の性質や数学的帰納法を利用して上下から挟み込む方法がポイントになります。中央二項係数がなぜこのような大きさになるのかを理解することで、数列や組合せの応用にもつながります。
中央二項係数とは何か
二項係数とは、二項展開に現れる係数のことで、次のように表されます。
(1+x)^n=ΣC(n,k)x^k
この中でk=n/2となるもの、つまりnが偶数の場合の中央に位置する係数を中央二項係数と呼びます。
今回評価するものは、
C(n,n/2)
であり、二項展開の中で最も大きな係数になります。
中央二項係数と2^nの関係
二項係数には重要な性質があります。
C(n,0)+C(n,1)+…+C(n,n)=2^n
これは二項定理でx=1を代入したものです。
中央二項係数はすべての二項係数の中で最大なので、単純には、
C(n,n/2)×(n+1)≧2^n
が成り立ちます。
したがって、
C(n,n/2)≧2^n/(n+1)
となります。しかし、この評価では今回求めたい2^n/√nの大きさには届きません。そのため、より詳しい関係式を利用します。
隣り合う二項係数の比を利用する
中央二項係数の周辺の係数は、中央から離れるほど小さくなります。この性質を利用すると、中央付近の係数だけで2^nの大部分を占めていることが分かります。
隣り合う二項係数の比は、
C(n,k+1)/C(n,k)=(n-k)/(k+1)
です。
特に中央付近では比が1に近いため、中央二項係数の周辺には同程度の大きさの係数が多数存在します。
このことから、2^nの大きさは中央二項係数のおよそ√n倍になることが分かり、
C(n,n/2)≈2^n/√n
という形が予想されます。
数学的帰納法による上側評価
ここから、具体的な不等式を示します。nを偶数として、
a_n=C(n,n/2)√n/2^n
という数を考えます。
求める不等式は、
0.75≦a_n＜0.85
を示すことと同じです。
まず、n=4の場合を確認します。
C(4,2)=6なので、
a_4=6×2/16=0.75
となり、下限を満たします。
次にnを2増やしたときの関係を調べます。
C(n+2,(n+2)/2)=C(n,n/2)×(n+2)(n+1)/(n/2+1)^2
この式を整理すると、a_nとa_{n+2}の関係が求められます。
この比を調べることで、a_nが急激に変化せず、一定の範囲内に収まることを数学的帰納法で示せます。
下側評価0.75・2^n/√nの証明
下側の不等式は、n=4で成立することを確認した後、nからn+2への変化を調べます。
中央二項係数の増加率と√nの増加率を比較すると、
C(n+2,(n+2)/2)/C(n,n/2)
は、√(n+2)/√nよりも大きくなることが分かります。
したがって、
C(n,n/2)√n/2^n
はnが増えても0.75を下回りません。
よって、すべての偶数n≧4について、
0.75・2^n/√n≦C(n,n/2)
が成立します。
上側評価0.85・2^n/√nの証明
上側も同様に、
C(n,n/2)√n/2^n
の変化を見ることで証明できます。
nが大きくなるほど、この値は一定値に近づきます。その極限値は約0.798であり、0.85より小さいため、十分な余裕を持って、
C(n,n/2)＜0.85・2^n/√n
が成立します。
高校数学の範囲では極限を厳密に扱わなくても、数学的帰納法によってn=4から順番に範囲内に収まることを示すことができます。
この証明で使われている数学的な考え方
この問題の面白い点は、単なる二項係数の計算ではなく、数列として変化を見るところにあります。
中央二項係数そのものを見るのではなく、
C(n,n/2)√n/2^n
という正規化した量を考えることで、増加する巨大な数の本質的な大きさを比較できます。
これは数学でよく使われる「複雑な量を適切な基準で割って比較する」という考え方です。
まとめ
中央二項係数C(n,n/2)は、二項展開の中心にある最大係数であり、その大きさはおおよそ2^n/√nになります。
0.75・2^n/√n≦C(n,n/2)<0.85・2^n/√nを示すには、中央二項係数をそのまま扱うのではなく、C(n,n/2)√n/2^nという量を考え、数学的帰納法で範囲を保つことがポイントです。
この方法は、高校数学で学ぶ二項定理や数列、数学的帰納法が、複雑な数の評価にも利用できることを示す非常に良い例です。
コメント