二項定理

初等代数学における二項定理または二項展開  とは、二項式の冪を代数的に展開した式を表したものである。

定理の主張から、冪 sup を展開すると、n}}次の項 binomの総和になる。ここでの係数 binom を二項係数と呼び、正整数となる。

二項係数 binom は2つの観点から解釈することができる。一つには

から帰納的に求めることができる。二項係数を並べるとパスカルの三角形となる。例えば

二項係数 binom は直接的、組合せ論的には

である。これはn}}元-集合から相異なる k}}個の元を選ぶ組合せの総数を与える。

1. 歴史
-----

二項定理の特殊な場合については、古代より知られていた。紀元前4世紀ギリシャの数学者エウクレイデスは指数が 2}} の場合の二項定理に言及している。また、三次の場合の二項定理が6世紀のインドでは知られていた。

二項係数は相異なる n}}個のものから重複無く k}}個を選ぶ総数に等しくなるが、このことについては、古代ヒンドゥーで着目されていた。現在知られているもので最古のものは、ヒンドゥーの詩人ピンガラ  による //Chandaḥśāstra// で、それにはその解法も含まれている230}}。紀元後10世紀に評者ハラーユダはこの解法を今日でいうパスカルの三角形を用いて説明した。この数が sfrac であることが、6世紀ごろのヒンドゥーの数学者には、おそらく知られていたし、この規則についての言及を12世紀にバースカラ2世の表した文書 //Lilavati// に見つけることができる。

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

1544年にミハエル・シュティーフェルは "binomial coefficient"の語を導入し、sup の sup での表し方を、「パスカルの三角形」により示した。ブレーズ・パスカルは、今日彼の名を冠して呼ばれる三角形の包括的な研究をtreatise//Traité du triangle arithmétique//  に著したが、これらの数の規則性はルネッサンス後期ヨーロッパの数学者たちには既に知られていた。

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

2. 定理の主張
--------

定理によれば、//x// + //y//}} の冪を展開すると、冪指数 n}} を自然数として、 となる。この展開した式の係数 binom を二項係数と呼び、正整数となる。この等式はしばしば二項公式あるいは二項等式とも呼ばれる。

1=//x//supと定義すれば、全ての項を総和記号 Σ}} で一律に表示できる： 最後の等号は、//x//, //y//}} についての対称性と、二項係数の列の対称性により得られる。

二項公式を簡略化した一変数版もよく知られる：

逆に、二項定理の一変数版からもとの二項定理を、指数法則などの基本的な計算法則により導くことができる。

注
binom1 は、可換環において成り立つ。
binom2 は、可換環がさらに単位的であるとき成り立つ。このとき、項 binom は環の元の積 xsup の整数 binom によるスカラー倍である。つまりここでは環を Z}}-加群と見做している。
必ずしも可換でない一般の単位的環においても、x}} と y}} が可換であるならば、二項定理は成り立つ。定理の主張を、多項式列 1, //x//, //x//supは二項型であると述べることもできる。

3. 証明
-----

3.1. 帰納的証明
----------

数学的帰納法とパスカルの法則により、簡単に証明できる。

により成り立つ。

以下、非負整数 n}} に関する帰納法で示す。

ある n}} について成り立つと仮定する。

より、

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

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

3.2. 組合せ論的証明
------------

n}}個の }} の積を一度に展開し切ることにより、より直接的に、直観的な証明ができる。

一度に展開すると、それぞれの }} から x}} または y}} を取った文字 n}}個の総乗の総和となる。

これらの積のうち、並び替えて 1=//x//sup になるものは、}}個の x}}、k}}個の y}} を並べる場合の数だけあるから、二項係数 binom、すなわち //x//sup の係数は sub となる。

注n}}個の積を一度に展開し切る方法により、次のことも分かる：等式において n}}個の Y}} を区別して //Y//sub と考えた場合、展開式は基本対称式 σsub を用いてと書ける。

4. 一般化
------

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

1665年ごろアイザック・ニュートンは従来の二項定理を一般化して非整数冪に対する公式を得た。この一般化において、有限和は級数になる。また、二項係数 binom の上の添字 n}} は自然数とは限らないから、二項係数を階乗を用いて表すこともできない。一般化された二項係数を任意の数 r}} に対して で定義する。右辺の sub はポッホハマー記号で、ここでは下方階乗を表す。このとき実数 //x//, //y//}} が abs を満たすとき、任意の複素数 r}} に対して が成り立つ。r}} が非負整数のとき、//k// > //r//}} に対する二項係数は零であるから等式  は等式  に特殊化され、非零項は高々 //r// + 1}}個である。r}} がそれ以外の値のときは級数  は無数の非零項を持つ。

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

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

を得る。これをさらに //s// =}} 1}} と特殊化すれば等比級数を得る。

注式  は //x//, //y//}} が複素数の場合にも一般化することができる。この場合、absに加えて、x}} を中心とする半径 abs の開円板上で定義されたlogの正則な枝を用いて //x// + //y//}} および x}} の冪を定義しなければならない。式  は //x//, //y//}} がバナッハ環の元であるときも、//xy// =}} //yx//}} かつ x}} が可逆で norm である限り成り立つ。

4.2. 多項定理
---------

二項定理は三項以上の和の冪展開に拡張することができる：

ここで和は、非負整数列 //k//sub の総和が n}} であるもの全体に亙って取るから、右辺の展開式は項の次数が何れも n}}次である斉次多項式である。展開式の係数 binom は多項係数と呼ばれ、

となる。組合せ論的には、多項係数 binom は、n}}元-集合を各位数が //k//sub となる、互いに素な部分集合へ分割する場合の数となる。

4.3. 多重二項定理
-----------

二項式の総乗といった、より次元の高いものを取り扱う場合にも二項定理はしばしば有用である。二項定理により等式

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

とより簡潔に表される。

5. 応用
-----

5.1. 三角函数の多倍角公式
---------------

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

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

1=//n// = 2}} の場合は、

から倍角公式

を得る。

1=//n// = 3}} の場合は、

から三倍角公式

を得る。

一般に

となる。

5.2. ネイピア数の級数表示
---------------

ネイピア数 e}} を極限

で定義するとき、二項定理と単調収束定理を用いれば e}} の級数表示を得る。

であり、これは n}} に関して単調増加である。この和の第 k}} 項

は //n// → ∞}} のとき に収束する。 故に e}} は級数として

と書ける。

5.3. 冪函数の微分
-----------

自然数 n}} に対する冪函数 //f// =}} //xsup の導函数を定義に基づいて求めるには、二項冪 sup を展開すればよい。//

5.4. 一般ライプニッツ則
--------------

2つの函数の積の高階導函数の公式は、ライプニッツの公式  と呼ばれ、二項定理と同様の形式になる：

逆に、ライプニッツの公式から二項定理を導くこともできる。実際、t}} の函数 exp//t//) =}} expexp}} の両辺を t}} で n}} 回微分すると、

を得るから、両辺を expexp}} で除して所期の式を得る。

6. 脚注・参照
--------

6.1. 脚注
-------

6.2. 参照
-------

7. 参考文献
-------

8. 関連項目
-------

二項係数
組合せ 
パスカルの三角形
一般のライプニッツの法則
多項定理
多項係数
二項級数

9. 外部リンク
--------

Wolframデモンストレーションプロジェクト
[1] スティーブン・ウルフラム
[2] by Bruce Colletti and Jeff Bryant.