二項係数
数学における二項係数（にこうけいすう、）は二項展開において係数として現れる正の整数の族である。二項係数は二つの非負整数で添字付けられ、添字 を持つ二項係数はふつう formula_1 と書かれる（これは二項冪 の展開における の項の係数である。適当な状況の下で、この係数の値は formula_2 で与えられる）。二項係数を、連続する整数 に対する各行に を から まで順に並べて得られる三角形状の数の並びをパスカルの三角形と呼ぶ。
この整数族は代数学のみならず数学の他の多くの分野、特に組合せ論において現れる。-元集合から -個の元を（その順番を無視して）選ぶ方法が formula_3 通りである。二項係数の性質を用いて、記号 formula_3 の意味を、もともとの および が なる非負整数であった場合を超えて拡張することが可能で、そのような場合もやはり二項係数と称する。
記号 formula_1 が1826年に導入したものである（二項係数自体は何世紀も前から既知であった。パスカルの三角形を参照）。二項係数に関して詳しく知られた最も初期の議論は10世紀ごろが古代サンスクリット語で書いた "Pingala's Chandaḥśāstra" である。1150年ごろには、インドの数学者バースカラ2世が著書 "Lilavati" で二項係数について詳しく述べている。
そのほかの記法として , , , , , などがあり、何れも文字 は組合せ (combination) や選択 (choice) を表している。
自然数（ も含める） および に対し、二項係数 は二項冪 の展開における の項の係数として定義できる。同係数は（のとき）二項公式
に現れるため「二項係数」の名がある（この式自体は環の互いに可換な任意の元 に対して成り立つ）。
組合せ論においてもまたこの数は、 個の対象から 個選ぶ選び方の総数、より形式的には -元集合の -元部分集合（-項組合せ）の総数として現れる。この数が先に述べた係数と一致することは、後で述べるこの数の計算法の何れとも独立に示すことができる。実際、冪 における 個の因子の各々において、一時的に に対し なる添字 をそれぞれ付けて区別しておくと、 個の添字からなる部分集合をひとつ選ぶ毎に展開後の への寄与が だけあるから、この項の係数はそのような部分集合の選び方の数に一致する。このことは特に が任意の自然数 に対して自然数となることも示している。二項係数の組合せ論的解釈（二項係数展開が答えを与える数え上げ問題）は多く存在する。例えば、各位の和が に一致する -桁のビット（つまり各位の数は か ）の語（文字列）の総数は で与えられる。また、各 が非負整数であるものとして と書く方法の総数は 通りである。これら解釈のほとんどは、-組合せを数えることに同値であることが容易に示される。
の値を、実際に二項冪を展開したり -組合せを数え上げたりせずに、計算する方法はいくつかある。
ひとつは、 を なる自然数として、純加法的な漸化式
を初期条件「任意の に対し 」の下で用いることである。
この漸化式自体は、集合 において以下のように場合を分けて -元集合を数えることで得られる。特定の元に注目し、ここではそれを “” とする。
この二者で与えられた 個の元から得られるすべての -組合せが数え上げられているので所期の結果を得る。
あるいはまた、 の両辺における への寄与を見ることでもこの漸化式は得られる。 において や の項は存在しない（あるいは係数が零である）から、二項係数の定義を上記の境界を越えて延長して、 とすることもできる。
この漸化式はパスカルの三角形を描くのにも利用できる。
個々の二項係数をより効果的に計算するには
で与えられる式を用いる。一つ目の分数の分子に現れる は下降階乗冪である。この公式を理解するには二項係数の組合せ論的解釈に依るのが最も簡明である。分子は 個の対象からなる集合から選ぶ順番を考慮して相異なる 個の対象を取り出す方法の総数であり、分母は同じ -組合せを与える相異なる並びの数を数えるものである。
最後に、計算論的には不利だが、短く書けるのでしばしば証明や導出に用いられるよく知られた階乗函数を用いた式は
で与えられる。ここに は の階乗である。この式は上記の乗法表示式に、分子分母に対して を掛けることで得られる（その結果、この式において分母と分子は多くの共通因数を持つことになる）。（特に階乗は非常に速く増加するから）この式を（ が小さく が大きい場合に）実際の数値計算に用いることは（先に共通因数を約分しない限り）実用的でない。この式は上記の乗法表示よりは二項係数が対称性
を持つことを見るのに適している（二項係数の定義から対称性をもつことはわかる）。この対称性を用いれば乗法的な計算をより効果的にすることもできる。下降階乗冪で書けば
と書ける。
乗法表示を用いれば、 を任意の数 （負の整数、実数、複素数、……）あるいは任意の整数が可逆となるような可換環の元に取り換えて、
により二項係数の定義を拡張することができる。この定義により、二項定理（の一方の変数を としたもの）も一般化して
と書くことができる。故にこの場合も formula_11 を二項係数と呼ぶことは正当化される。この等式は任意の複素数 と なる に対して有効である。これはまた を不定元とする形式冪級数の等式としても解釈でき、それは実際に定数係数 を持つ級数の任意の冪の定義として機能する。この定義を用いるポイントは、冪乗として満足することが期待される全ての恒等式（指数法則）、特に
が満足されることである。 が非負整数 のとき、 なる全ての項は零であり、上記の無限級数は有限和となり、したがってもともとの二項定理が再び得られる。しかし がそれ以外の値ならば、負の整数や有理数の場合も含めて、上記の級数は実際に無限和になる。
は重要な漸化式
で、これを用いて が任意の自然数 に対して自然数となること（別な言い方をすれば、連続する -個の整数の積を が割り切ること）を帰納的に示すことができる。これは定義 () や乗法表示からは直ちに明らかなことではない。
パスカルの法則からパスカルの三角形が生じる:
番号 の行には の値が に対して並べられている。これを書くには、一番外側の から始めて、常に隣り合う二項を加えた数をその真下に書いていけばよい。この方法によって、分数や乗算を使わずに二項係数を手早く計算することができる。
例えば三角形の五行目を見れば
が直ちに読み取れる。
他の対角線上の数との差は、上記漸化式 () の帰結として、一つ前の対角線上の数である。
二項係数はよくある数え上げ問題の簡明な公式を与えるという意味で組合せ論において重要である。
を不定元として、任意の非負整数 に対して式
は に関する有理係数多項式である。この意味において、 には任意の実数あるいは複素数を代入することができ、それによって二項係数の定義を一般化するとき、そのような「一般化された二項係数」はニュートンの一般化二項定理に現れる。
各 に対し、多項式 は かつ を満たす唯一の -次多項式 として特徴づけることができる。
この多項式の係数はを用いて
と表すことができる。この導函数は対数微分法により
と計算できる。
標数 の任意の体（すなわち、有理数体 を含む体）上で、次数が高々 の任意の多項式 は二項係数の線型結合 として一意に書ける。このときの係数 は数列 の第 -階差で与えられ、明示的に書けば
で決まる。
各二項係数多項式 は整数値（整数を代入したとき必ず整数を返す）である（これは例えばを用いて に関する帰納法で示せる）。従って、二項係数多項式の任意の整係数線型結合もまた整数値多項式になる。逆に等式 () により任意の整数値多項式がこれら二項係数多項式の正係数線型結合となることが示せる。より一般に標数 の体の任意の部分環 に対し、 に属する多項式が任意の整数において に値をとるための必要十分条件はそれが二項係数多項式の -係数線型結合となっていることである。
階乗表示を用いれば近くにある二項係数の関係を容易に知ることができる。例えば を正整数、 は任意として
が成り立ち、また少しの計算で
が得られる。さらに言えば以下の結果
は有用である。例えば定数 に対して以下の漸化式
を得ることができる。
等式
は等式 () において かつ とすれば得られる。これはパスカルの三角形の各行において現れる全ての数を足し合わせればの整数冪になると言っても同じである。この事実の組合せ論的解釈は (double counting) で -元集合 の位数 の部分集合を数えることである。任意の位数 に対する部分集合を数えているのだから、その和は の部分集合の総数に等しく、それが であることはよく知られている。即ち、等式 () は-元集合の冪集合の位数が であることを述べるものである。より明確に、-桁のビット列を考えれば、このビット列は 個の数を表すことに利用できる。その中でひとつも を含まないビット列を考えれば、これは 通りである。ちょうど一つ を含むビット列は 通りである。このように数えて行けば上記の式を得る。
等式
および は等式 () を に関して（後者は二回）微分して と置けば得られる。
は任意の複素数 と任意の非負整数 に対して成立する。これは の展開における の係数として、等式 () を用いて求めることができる。 のとき等式 () は等式 () に簡約される。
任意の整数 に対して適用できる同様の等式
は、formula_20 を用いれば
の展開における の係数として求められる。 のとき等式 () は となる。展開 () を に対して用い、() を使えば
を得る。
等式 () から従う別の等式として、 とおいて を得る。
-次以下の多項式 に対して
が成り立つ。ここで は の -次係数である。等式 () はより一般に、複素数 に対して
とできる。これは の代わりに多項式 とするとき、がやはり -次以下の多項式であることと -次係数が であることとに注意すれば、等式 () を適用して直ちに得られる。
級数
は に対して収束する。この等式はを調べるのに利用できる。これを見るには
が成り立つことを に関する帰納法で示せばよい。
等式 () から および が得られる。
により、 として を境に 刻みに取った二項係数の総和と 項の閉じた形の式の和との間の等式
が示せる。
二項係数を含む多くの等式が証明することができる。例えば なる非負整数に対して
（ のとき () に簡約される）は、以下のようにできる。左辺は集合 の少なくとも 個の元を含む部分集合を選び、選ばれた元のうち 個に印をつける方法を数えている。右辺も同じものを数えるのだけれども、 個の元のうち 個に印をつける方法が 通りあり、その各々について印をつけた 個を含む部分集合を得るには印の付いた 個に残りの 個の元から任意に追加すればよいから、そのような仕方は 通りである。
パスカルの法則
の両辺は集合 の -元部分集合を数えているのだけれども、右辺は特定の元（例えば ）を含むように選ぶ場合と含まないように選ぶ場合に分けて数えている。
等式 (), 再掲すると
も組合せ論的に証明できる。 個の□を一列に並べ、それらのうちの 個を選んで印をつけることを考える。そのような方法は 通りである（右辺）。他方、そのような 個の□を選ぶときに、 個は前半の 個から、のこり 個は後半の 個から選ぶとして に亙って考える。これにより が得られるから、等式 () を適用して所期の結果を得る。
等式 も組合せ論的に証明できる。 は、二次元格子上で から まで、 または 刻みで移動して辿った経路の総数を表す。そのことは全部で 個の点を亙るために必ずちょうど 回だけ 刻みの移動をしなければならないのだから明らかである。さてここでちょうど 個ある 刻みを 刻みで置き換えると、 刻みと 刻みを合わせて へ到達することになる。これを なる各 に亙って考えれば、 から 刻みと 刻みを合わせて へ到達する方法の総数が数え上げられる。そのような方法の総数が 通りあることは明らかでる。
は
あるいはより一般に
で与えられる。ここに は非負整数である。
ある種の三角積分は二項係数で表される値を持つ。 を非負整数として:
これらはオイラーの公式で三角函数を複素指数函数に変換して、二項定理で展開して項別積分すれば示せる。
固定した に対して作られる数列 の通常母函数は
で与えられる。固定した に対して作られる数列 の通常母函数は 
である。一般の非負整数 に対する二項係数の は
を満たす。二項係数に対する別の形の二変数母函数は、対称函数として
で与えられる。
二項係数に関するは
となる。
1852年、クンマーは非負整数 および素数 に対し、 を整除する最大の -冪が であるとき、 は と を加えるときに生じる -進表示における繰り上がりの数に等しいことを示した。同じことだが、 における素因子 の冪指数は の が の小数部よりも大きくなるような非負整数 の総数に等しい。これにより、 が （ は と との最大公約数）で割り切れることが導かれる。したがって特に、任意の正整数 および なる正整数 に対して は を割り切る。しかしより高次の -冪に対してこれは正しくない（例えば は を割り切らない）。
が成り立つというものである。 なる二項係数 の総数は であるから、これは で整除可能なものの占める密度が に収束することを意味する。
別の事実として、整数 が素数となる必要十分条件は、中間二項係数
の全てが で整除可能なことである。実際、 が素数ならば、 なる任意の に対して は
を割り切る。これは分子は素因数 を含むが分母は を素因数に持たないことによる。 が合成数のとき、 を を割り切る最小の素因数とし、 と置けば、 かつ
は で割り切れない。仮に割り切れるとすると分子 が で割り切れることになり、それは が で割り切れる場合しかありえないが、 は で割り切れるのだから、 は を割り切らず、 は素数だから従って も割り切らず、それゆえ分子が で割りきられることもない。
formula_43 に関して以下の評価
が に対して成立する。スターリング近似からは , 一般に
が かつ に対して成立する。また のとき近似
が成り立つ。 がともに 1 より十分大きければスターリング近似からは以下の漸近近似
も従う。ここに は のである。より精確に、任意の整数 と に対して、最初の 個の二項係数の和を
と評価することができる。
を得る。より精度を望むならば、 を積分で近似して
となる。 かつ に対して およびこれら近似式からそれぞれ近似値 および を得る。
ガンマ函数の無限積表示に基づく無限積
から漸近公式
が で成り立つ。この漸近挙動は近似
にも表れている。ここに、 は -番目の調和数で、 はオイラー–マスケローニ定数である。さらに、 かつ適当な複素数 に対して なるとき、漸近公式
が成り立つ。
二項係数の和について、二項定理を用いると
という単純で粗い上界が得られる。
が十分大きいとき、
は二項係数と正規分布との関係に基づく近似を与える。これは、二項分布と等しい期待値と分散 を持つ正規分布をとり、 として、 を掛ければ、中心極限定理に対する評価から従う。
二項係数を一般化するものとして
で定義される数を多項係数と呼ぶ。二項係数が の係数であったのに対し、多項係数は の多項式展開の係数であり、 のとき二項係数を与える:
多項係数は、区別可能な 個の元を 個の箱にわけて入れるとき、箱の番号 に対して各箱がちょうど 個の元を含むような分け方の総数として組合せ論的に解釈できる。
多項係数は二項係数の性質とよく似たたくさんの性質を満たす。例えば漸化式
および任意の置換 に関する対称性
が挙げられる。ただし、 は を並び替えたものである。
を用いれば、二項係数の任意に選んだ点 の周りでのテイラー展開は
と与えられる。
二項係数の定義（積による表示）は が実数、 が整数の場合にも意味を持つ。特に のとき任意の非負整数 に対して
が成り立つ。これは二項級数展開 に現れる。
二項係数の積は二項係数の線型結合として
と表すことができる。この展開の結合係数は多項係数で与えられる。ラベル付けられた組合せ論的対象を用いて言えば、この結合係数はそれぞれ重み および のラベル付けられた対象の対で最初の 個のラベルが一致するようなものに をラベル付ける方法の総数、あるいはそれらを貼り合せて新たに重み でラベル付けられた対象を付け加える方法（つまり、このラベルを一方の対象の貼り合せない部分、他方の対象の貼り合せない部分、両者の貼り合せ部分の三つの部分に分ける方法）の総数である。このように見ると、二項係数の母函数は下降階乗冪に対する通常母函数に対応する指数型母函数である。
二項係数の逆数の部分分数分解は
および
で与えられる。
アイザック・ニュートンに名を因むニュートンの二項級数は、二項定理の無限級数版
である。これが成り立つことは両辺が微分方程式 を満足することを見ればよい。
この級数の収束半径は である。
とも書ける。
二項係数は与えられた集合から決められた位数の部分集合を数え上げるものであった。関連する組合せ論的問題として、与えられた集合から元をとって作られる決められた位数の多重集合を数え上げる問題、すなわち与えられた集合から重複を許して決められた数の元を選び出す重複組合せの問題がある。その総数は多重集合係数と呼ばれ、 個の元から 個選ぶ重複組合せの総数は formula_69 と書かれる。
以下議論の便宜のため を使わずに、その代わり および なる非負整数 を用いる。
多重集合係数は以下に示す関係
により二項係数として書ける。この等式を以下のようにも特徴づけることができる。
が等しいことに注意すれば、二項係数を下降階乗冪を用いて 
と書くとき、対応する多重集合係数は下降階乗冪を対応する上昇階乗冪で置き換えた
として与えられる。
任意の に対して
が成り立つ。特に、負の整数における二項係数は符号付多重集合係数である。 なる特別の場合には、これは formula_75 と簡単になる。
ガンマ函数やベータ函数を用いて
と書けば、二項係数の二つの引数を任意の実数または複素数まで一般化することができる。この定義においてガンマ函数の性質を用いれば、
が満たされることもわかる。特に
である。この一般化に関する研究は少ないが、 などにはすでに現れている。通常の二項係数に関する多くの等式がもはや成り立たなくなっていることに注意すべきである（例えば正の に対してformula_79 や formula_79 は一般には正しくない）。その挙動は極めて複雑で、-軸、-軸と直線 で分けられる八象限 (octant) のどの位置にあるかで著しく異なる。負の に対しては負の整数の位置に特異点を持ち、正と負の領域が市松模様を成す:
二項係数の-類似はと呼ばれる。
部分集合の数を数える二項係数の組合せ論的定義を、基数 に対して濃度 を持つ適当な集合 をとって
の形に表せば、無限基数に対しても一般化できる。基数 を表す集合 の取り方に依らず が等しいという意味でこの一般化はうまく定義されている。有限基数に対してこれが通常の二項係数の定義に一致するのは明らかであろう。
選択公理を仮定すれば、任意の無限基数 に対して が示せる。