二項定理

ファイル:Pascal's triangle 5.svg

パスカルの三角形の構成要素として二項係数が現れる。各要素はその上にある二つの要素の和に等しい。

初等代数学における二項定理（にこうていり、英: binomial theorem）または二項展開 (binomial expansion) は二項式の冪の代数的な展開を記述するものである。定理によれば、冪 (x + y)テンプレート:Exp は a xテンプレート:Exp yテンプレート:Exp の形の項の和に展開できる。ただし、冪指数 b, c は b + c = n を満たす非負整数で、各項の係数 a は n と b に依存して決まる特定の正整数である。例えば

[math](x+y)^2 = x^2 + 2xy + y^2,[/math]

[math](x+y)^3 = x^3 + 3x^2y + 3xy^2 + y^3,[/math]

[math](x+y)^4 = x^4 + 4 x^3y + 6 x^2 y^2 + 4 x y^3 + y^4.[/math]

a xテンプレート:Exp yテンプレート:Exp の項の係数 a は二項係数 [math]\tbinom{n}{b} (=\tbinom{n}{c})[/math] とも呼ばれる。これら係数を n および b を動かして並べることでパスカルの三角形を描くことができる。これらの数は組合せ論においても現れ、[math]\tbinom{n}{b}[/math] は n-元集合から b 個の相異なる元を選ぶ組合せの総数を与える。

歴史

特別の場合の二項定理は古代より知られていた。紀元前4世紀ギリシャの数学者エウクレイデスは冪指数 2 に対する特別の場合の二項定理に言及している。三次の場合の二項定理が6世紀のインドで知られていたことは証拠がある。

n 個の対象から重複無く k 個を選ぶ総数を表す組合せ論的量としての二項係数は、古代ヒンドゥーに着目されていた。この組合せ論的問題に対する言及として知られる最も古いものは、ヒンドゥーの詩人ピンガラ (c. 200 B.C.) による Chandaḥśāstra で、それにはその解法も含まれている。紀元後10世紀に評者ハラーユダはこの解法を今日パスカルの三角形と呼ばれるものを用いて説明した。6世紀ごろのヒンドゥーの数学者には、この数が テンプレート:Fraction なる商で表されることがおそらく知られていたし、明らかにこの規則についての言及を12世紀にバースカラ2世の表した文書 Lilavati に見つけることができる。

そういった意味での二項定理は、二項係数の三角形パターンについて記述した11世紀アラビアの数学者アル゠カラジの業績にも見つけることができる。アル゠カラジはまた、原始的な形の数学的帰納法をもちいて二項定理およびパスカルの三角形に関する数学的証明も与えている。ペルシアの詩人で数学者のオマール・カヤームは、その数学的業績のほとんどは失われてしまったが、恐らく高階の二項定理についてよく知っていた。低次の二項展開は13世紀中国の楊輝や朱世傑の数学的業績にもみられる。楊輝は遥か旧く11世紀の賈憲の書の方法に従った（それらもまた今日では失われてしまったが）。

1544年にミハエル・シュティーフェルは「二項係数」("binomial coefficient") の語を導入して、「パスカルの三角形」を通じて (1 + a)テンプレート:Exp を (1 + a)テンプレート:Exp で表すためにそれらをどのように使うのかを示した。ブレーズ・パスカルは、今日彼の名を冠して呼ばれる三角形を論文 Traité du triangle arithmétique (1653) において包括的に研究したが、これら数の規則性はルネッサンス後期ヨーロッパの数学者たち（例えばシュティーフェル、タルタリア、シモン・ステヴィンなど）には既に知られていた。

アイザック・ニュートンは任意の有理数冪に対して成り立つ一般化された二項定理を示したと考えられている。

定理の主張

定理によれば、x + y の任意の冪を テンプレート:Numblk の形の和に展開することができる（冪指数が零となるときは対応する冪は 1 に等しいものとし、その項の因子としてはしばしば省略する）。ここに (テンプレート:Su) は二項係数と呼ばれる特定の正整数である。この等式はしばしば二項公式あるいは二項（恒）等式とも呼ばれる。総和の ∑-記法を用いれば

[math](x+y)^n = \sum_{k=0}^n {n \choose k}x^{n-k}y^k = \sum_{k=0}^n {n \choose k}x^{k}y^{n-k} [/math]

と書ける。最後の式はもともとの式における x と y との対称性と、定理の等式に現れる二項係数の列の対称性により、真ん中の式から得られる。二項公式の簡単版が y に 1 を代入して一変数化することで得られる。つまり、

[math](1+x)^n = {n \choose 0}x^0 + {n \choose 1}x^1 + {n \choose 2}x^2 + \cdots + {n \choose {n-1}}x^{n-1} + {n \choose n}x^n = \sum_{k=0}^n {n \choose k}x^k.[/math]

注

• この定理は冪指数 n が任意の自然数であるとき、x および y が任意の単位的可換環の元として成り立つ。このとき、項 [math]\tbinom{n}{k} x^{n-k}y^k[/math] は環の元の積 xテンプレート:Expyテンプレート:Exp の整数 [math]\tbinom{n}{k}[/math] によるスカラー倍である。つまりここでは環を Z-加群と見做している。
• 必ずしも可換でない一般の単位的環においても x と y が可換である（つまり xy = yx を満たす）限りにおいて二項定理は成り立つ。
• xテンプレート:Exp と yテンプレート:Exp の項を分けて書けば単位元の存在も仮定しなくてよい:

  [math](x+y)^n = x^n + \left[ \sum_{k=1}^{n-1}\binom{n}{k} x^{n-k}y^{k} \right] + y^n.[/math]

定理の主張を、多項式列 {1, x, x², …} は二項型であると述べることもできる。

証明

帰納的証明

n = 0

[math](x+y)^0=1={0 \choose 0}x^0y^0,[/math]

n = 1

[math](x+y)^1= x + y ={1 \choose 0}x^1y^0 + {1 \choose 1}x^0y^1 [/math]

が主張を満たすことは明らか。以下 n は 1 以上の整数として n に関する帰納法で示す。

帰納法の仮定により、

[math](x+y)^{n+1}=(x+y)~\sum_{k=0}^n {n \choose k} x^{n-k} y^k[/math]

が成り立つから、分配法則によって

[math]\begin{align} (x+y)^{n+1}&=x^{n+1}+x~\sum_{k=1}^n {n \choose k} x^{n-k} y^k +y~\sum_{k=0}^{n-1} {n \choose k} x^{n-k} y^k + y^{n+1}\\ &=x^{n+1}+\sum_{k=1}^n \left\lbrack {n\choose k} + {n\choose {k-1}} \right\rbrack x^{n-k+1} y^k+ y^{n+1}\end{align}[/math]

となり、パスカルの法則を用いて

[math]\begin{align} (x+y)^{n+1} &=x^{n+1}+\sum_{k=1}^n {{n+1}\choose k}~x^{n-k+1} y^k+y^{n+1}\\ &=\sum_{k=0}^{n+1} {{n+1}\choose k}~x^{n-k+1} y^k\end{align}[/math]

を得る。これは所期の式である。

組合せ論的証明

二項係数 (テンプレート:Su) が n-元集合から得られる k-元部分集合の総数であるという組合せ論的性質を用いてより直観的な証明ができる。展開すべき式を

[math](x+y)^n=\underbrace{(x+y)(x+y)\cdots(x+y)}_{n \text{ factors}}[/math]

と書く。x および y をそれぞれ j 個および k 個選んで掛け合わせれば xテンプレート:Expyテンプレート:Exp の形の項を生じるが、ここで y を選ばないときには x を選ぶしかないから j = n – k である。最終的に k 個の y を選ぶ方法は (テンプレート:Su) 通りであるから、n 個の (x + y) を掛け合わせたときの単項式 xテンプレート:Expyテンプレート:Exp の係数は (テンプレート:Su) である。

注

等式

[math](X+Y)^n=\sum_{k=0}^n {n \choose k}X^{n-k}Y^k[/math]

において n 個の Y を区別して Yテンプレート:Msub, Yテンプレート:Msub, …, Yテンプレート:Msub と考えた場合、対応する式は 基本対称式 σテンプレート:Ind を用いて

[math]\prod_{i=1}^n(X+Y_i)=\sum_{k=0}^n\sigma_k(Y_1,\ldots,Y_n)X^{n-k}[/math]

と書ける。

一般化

ニュートンの一般化された二項定理

"「二項級数」"

1665年ごろアイザック・ニュートンは定理を一般化して非整数冪に対する公式（ニュートンの一般二項定理）を得た。この一般化において、有限和は無限級数で置き換えられなければならない。またこの一般化を行うために二項係数 (テンプレート:Su) の上の添字 n を任意の値としなければならないから、二項係数を階乗を用いて表すこともできない。一般化された二項係数を任意の数 r に対して

[math]{r \choose k}=\frac{r\,(r-1) \cdots (r-k+1)}{k!} =\frac{(r)_k}{k!}[/math]

で定義する。右辺の (•)テンプレート:Msub はポッホハマー記号で、ここでは下方階乗を表す。このとき x, y が テンプレート:Abs > テンプレート:Abs なる実数のとき。r を任意の複素数として テンプレート:Numblk が成り立つ。r が非負整数のとき、k > r に対する二項係数は零であるから等式 (2) は等式 (テンプレート:EquationNote) に特殊化され、非零項は高々 r + 1 個である。r がそれ以外の値のときは級数 (2) は（少なくとも x, y が非零のとき）無数の非零項を持つ。

これは無限級数を扱っていてそれを一般化超幾何函数で表そうとするときに重要である。

r = −s と置けば有用な等式

[math]\frac{1}{(1-x)^s} = \sum_{k=0}^\infty {s+k-1 \choose k} x^k \equiv \sum_{k=0}^\infty {s+k-1 \choose s-1} x^k[/math]

を得る。これをさらに s = 1 と特殊化すれば幾何級数を得る。

注

式 (テンプレート:EquationNote) は x, y が複素数の場合にも一般化することができる。この場合、テンプレート:Abs > テンプレート:Abs に加えて、x を中心とする半径 テンプレート:Abs の開円板上で定義されたlogの正則な枝を用いて x + y および x の冪を定義しなければならない。

式 (テンプレート:EquationNote) は x および y がバナッハ代数の元であるときも、xy = yx かつ x が可逆で テンプレート:Norm < 1 である限り成り立つ。

多項定理

"「多項定理」"

二項定理を二項より多くの項の和の冪に対して一般化することができる。すなわち

[math](x_1 + x_2 + \cdots + x_m)^n = \sum_{k_1+k_2+\cdots +k_m = n} {n \choose k_1, k_2, \ldots, k_m} x_1^{k_1} x_2^{k_2} \cdots x_m^{k_m}[/math]

が成り立つ。ここで和は、非負整数列 kテンプレート:Ind, …, kテンプレート:Ind でそれらの総和が n に等しいようなもの全体に亙って取る（つまり上記の展開の右辺の式は各項が全次数 n の斉次多項式である）。この展開の係数 [math] \tbinom{n}{k_1,\cdots,k_m}[/math] は多項係数と呼ばれ。

[math] {n \choose k_1, k_2, \ldots, k_m} = \frac{n!}{k_1!\, k_2! \cdots k_m!}[/math]

なる値を持つ。組合せ論的には、多項係数 [math]\tbinom n{k_1,\cdots,k_m}[/math] は n-元集合を各位数が k₁, …, k_m となるような互いに素な部分集合へ分割する方法の総数を表す。

多重二項定理

二項式の積を扱うために、より次元の高いところでも二項定理はしばしば有用である。二項定理により等式

[math] (x_{1}+y_{1})^{n_{1}}\dotsm(x_{d}+y_{d})^{n_{d}} = \sum_{k_{1}=0}^{n_{1}}\dotsm\sum_{k_{d}=0}^{n_{d}} \binom{n_{1}}{k_{1}}\, x_{1}^{k_{1}}y_{1}^{n_{1}-k_{1}}\;\dotsc\;\binom{n_{d}}{k_{d}}\, x_{d}^{k_{d}}y_{d}^{n_{d}-k_{d}}[/math]

が成り立つ。この式は多重添字記法を用いれば

[math] (x+y)^\alpha = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, x^\nu y^{\alpha - \nu}[/math]

とより簡潔に表される。

応用

三角函数の多倍角公式

複素数に対する二項定理とド・モアブルの定理を合わせれば、正弦函数および余弦函数の多倍角公式が得られる。ド・モアブルの公式によれば

[math]\cos(nx)+i\sin(nx) = (\cos x+i\sin x)^n[/math]

が成り立つから、二項定理を用いて右辺を展開して実部と虚部を比較すれば cos(nx) および sin(nx) に対する公式を得る。例えば

[math]\left(\cos x+i\sin x\right)^2 = \cos^2 x + 2i \cos x \sin x - \sin^2 x[/math]

から倍角公式

[math]\cos(2x) = \cos^2 x - \sin^2 x,\quad \sin(2x) = 2 \cos x \sin x[/math]

を得る。同様に

[math]\left(\cos x+i\sin x\right)^3 = \cos^3 x + 3i \cos^2 x \sin x - 3 \cos x \sin^2 x - i \sin^3 x[/math]

から三倍角公式

[math]\cos(3x) = \cos^3 x - 3 \cos x \sin^2 x,\quad \sin(3x) = 3\cos^2 x \sin x - \sin^3 x[/math]

を得る。一般に

[math]\begin{align} \cos(nx) &= \sum_{k\text{: even}} (-1)^{k/2} {n \choose k}\cos^{n-k} x \sin^k x,\\ \sin(nx) &= \sum_{k\text{: odd}} (-1)^{(k-1)/2} {n \choose k}\cos^{n-k} x \sin^k x \end{align}[/math]

となる。

e の級数表示

ネイピア数 e を極限

[math]e = \lim_{n\to\infty} \left(1 + \frac{1}{n}\right)^n[/math]

で定義するとき、二項定理を用いれば e の級数表示を得る。特に

[math]\textstyle (1 + \frac{1}{n})^n = 1 + {n \choose 1}\frac{1}{n} + {n \choose 2}\frac{1}{n^2} + {n \choose 3}\frac{1}{n^3} + \cdots + {n \choose n}\frac{1}{n^n}[/math]

であり、この和の第 k-項

[math]\textstyle {n \choose k}\frac{1}{n^k} = \frac{1}{k!}\cdot\frac{n(n-1)(n-2)\cdots (n-k+1)}{n^k}[/math]

は n → ∞ のとき後半の分数部分は 1 に収束するから

[math]\textstyle \lim_{n\to\infty} {n \choose k}\frac{1}{n^k} = \frac{1}{k!}.[/math]

よって e は級数として

[math]e = \frac{1}{0!} + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \dotsb[/math]

と書ける。

実際、上記の二項展開は n に関して単調増大だから、単調収束定理により上記の無限級数は実際に e に等しい。

冪函数の微分

整数 n に対する冪函数 f(x) = xテンプレート:Exp の導函数を定義に基づいて求めるとき、二項冪 (x + h)テンプレート:Exp を展開しなければならない。

一般ライプニッツ則

二つの函数の積の高階導函数に対する公式を導くのに、二項定理が記号的に利用される。逆に t の函数 exp((x + y)t) に一般ライプニッツ則を適用すると二項定理が導かれる。実際 exp((x + y)t) = exp(xt)exp(yt) を両辺 t で n 回微分すれば、一般ライプニッツ則により

[math](x+y)^n\exp((x+y)t) = \frac{d^n(\exp(xt)\exp(yt))}{dt^n} = \sum_{k=0}^n \binom{n}{k}x^{n-k}\exp(xt)\,y^k\exp(yt)[/math]

を得るから、両辺を exp(xt)exp(yt) で除して所期の式を得る。

関連文献

• Bag, Amulya Kumar (1966). “Binomial theorem in ancient India”. Indian J. History Sci 1 (1): 68–74. 
• (1994) “(5) Binomial Coefficients”, Concrete Mathematics, 2nd, Addison Wesley, 153–256. ISBN 0-201-55802-5. OCLC 17649857. 

外部リンク

• Weisstein, Eric W. “Binomial Theorem”. MathWorld（英語）.
• Weisstein, Eric W. “Binomial Series”. MathWorld（英語）.
• Weisstein, Eric W. “Negative Binomial Series”. MathWorld（英語）.
• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• Binomial Theorem by Stephen Wolfram, and "Binomial Theorem (Step-by-Step)" by Bruce Colletti and Jeff Bryant, Wolfram Demonstrations Project, 2007.