二項係数計算ツール

二項係数は組合せ論と代数学における最も基本的な量の一つです。C(n,k)または「nからkを選ぶ」と表記され、n個の異なる要素からk個を順序を問わずに選ぶ方法の数を数えます。パスカルの三角形、二項定理、確率分布、そして数学とコンピュータサイエンス全般の無数の問題に登場します。この計算ツールはC(n,k)を求め、パスカルの三角形の完全な行を表示し、すべての係数を一覧化し、(x+1)^nの多項式展開を表示します。

二項係数とは？

二項係数C(n,k)は n! / (k! × (n-k)!) に等しく、n!（nの階乗）は1からnまでのすべての正の整数の積です。n個の要素からなる集合から大きさkの異なる部分集合を作る方法の数を表します。

例えば、C(5,2) = 5! / (2! × 3!) = 120 / (2 × 6) = 10 です。5個の中から2個を選ぶ方法がちょうど10通りあることを意味します。要素を A, B, C, D, E とすると、10通りの組み合わせは AB, AC, AD, AE, BC, BD, BE, CD, CE, DE です。

重要な性質として、対称性（C(n,k) = C(n, n-k)）、境界条件 C(n,0) = C(n,n) = 1、漸化式 C(n,k) = C(n-1, k-1) + C(n-1, k) があります。この漸化式はパスカルの三角形の構成方法そのものです。

パスカルの三角形

パスカルの三角形は、各エントリが二項係数である三角形の配列です。第n行にはC(n,0), C(n,1), ..., C(n,n)が含まれます。各エントリはその直上の2つのエントリの和に等しく、これは漸化式を反映しています。三角形は数1のみを含む第0行から始まります。

最初の数行は次の通りです。第0行: 1、第1行: 1, 1、第2行: 1, 2, 1、第3行: 1, 3, 3, 1、第4行: 1, 4, 6, 4, 1、第5行: 1, 5, 10, 10, 5, 1。各行は対称的で、1で始まり1で終わります。

パスカルの三角形には多数の隠れたパターンがあります。各行の和は2^nです。対角線のエントリは図形数（自然数、三角数、四面体数など）を形成します。偶数と奇数のエントリを色分けすると、シェルピンスキーの三角形に似たフラクタルパターンが現れます。これらの性質により、パスカルの三角形は何世紀にもわたって離散数学の中心的な研究対象となっています。

二項定理

二項定理は (a + b)^n = k = 0 から n までの C(n,k) × a^(n-k) × b^k の和 と述べています。この公式は、二項式（2つの項の式）を非負の整数乗に展開して多項式にします。展開の係数はパスカルの三角形の第n行の二項係数そのものです。

例えば、(x + 1)^4 = C(4,0)x^4 + C(4,1)x^3 + C(4,2)x^2 + C(4,3)x + C(4,4) = x^4 + 4x^3 + 6x^2 + 4x + 1 です。係数 1, 4, 6, 4, 1 はパスカルの三角形の第4行です。

二項定理はニュートンの一般化二項定理によって非整数や負の指数にも拡張され、有限多項式ではなく無限級数を生成します。この一般化は微積分学の基礎であり、アイザック・ニュートンの初期の数学的発見の一つでした。

組合せ的な解釈

単純な選択問題を超えて、二項係数は多くの組合せ的な文脈に現れます。C(n,k)は格子上のある角から別の角へ、ちょうどn歩でそのうちk歩が一方向、n-k歩がもう一方向の経路の数を数えます。この解釈により、二項係数は格子路問題や投票問題と結びつきます。

確率論では、二項係数が二項分布を定義します。各独立試行で事象の成功確率がpの場合、n回の試行でちょうどk回成功する確率は C(n,k) × p^k × (1-p)^(n-k) です。この分布はコイン投げ、品質管理サンプリング、臨床試験など、二値的な結果を持つ多数のシナリオをモデル化します。

二項係数はまた、長さnでちょうどk個の1を含む二進文字列の数、多重集合の数、母関数の展開における係数も数えます。様々な恒等式を通じてカタラン数、スターリング数、その他の重要な組合せ的数列と関連しています。

計算方法

階乗の公式 n!/(k!(n-k)!) からC(n,k)を直接計算するのは、nが大きい場合には現実的ではありません。階乗は極めて速く増大するためです（170!は約7.26 × 10^306）。代わりにこの計算ツールは乗法公式 C(n,k) = n × (n-1) × ... × (n-k+1) / (1 × 2 × ... × k) を使用し、乗算と除算を交互に行うことで中間値を扱いやすい範囲に保ちます。

対称性 C(n,k) = C(n, n-k) を利用して計算量を削減します。k > n/2 の場合は C(n, n-k) を計算することで、より少ない乗算で済みます。例えば、C(100, 97) は C(100, 3) = 100 × 99 × 98 / (1 × 2 × 3) = 161,700 として計算されます。

非常に大きな値の場合、結果はJavaScriptの安全な整数範囲（2^53 - 1）を超える可能性があり、正確な値ではなく近似値となります。パスカルの三角形の行表示はn ≤ 30、二項展開はn ≤ 20に制限されていますが、係数C(n,k)自体はn = 170まで計算可能です。

数学を超えた応用

コンピュータサイエンスでは、二項係数はアルゴリズム解析、誤り訂正符号（ハミング符号は二項係数を使って符号語の数を決定）、ハッシュ関数の設計に登場します。二項ヒープデータ構造は、ノード数が2のべき乗の二項木を使用します。

遺伝学では、特定のアレル組み合わせを継承する確率のモデル化に二項係数が使われます。化学では、分子の可能な配置の数を記述します。情報理論では、固定数の誤りを含む二進メッセージの数が二項係数になります。

統計的手法では二項係数が広く使われます。仮説検定、信頼区間、ベイズ推論のすべてにC(n,k)を含む計算が関わります。中心極限定理は、（二項係数に基づく）二項分布がnが大きい場合に正規分布に近似することを示し、離散的な組合せ論と連続的な確率を結びつけています。