コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

二項定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
二項展開から転送)
二項係数を並べるとパスカルの三角形が構成される。各要素はその上にある2つの要素の和に等しい。

初等代数学における二項定理(にこうていり、: binomial theorem)または二項展開 (binomial expansion) とは、二項式を代数的に展開した式を表したものである。

定理の主張から、冪 (x + y)n を展開すると、n次の項 (n
k
)xn−k yk (0 ≤ kn)
[注 1]総和になる。ここでの係数 (n
k
)
二項係数と呼び、正整数となる。

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

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

二項係数 (n
k
)
は直接的、組合せ数学的には

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

歴史

[編集]

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

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

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

1544年にミハエル・シュティーフェルドイツ語版英語版[7]は "binomial coefficient"(「二項係数」)の語を導入し、(1 + a)n(1 + a)n−1 での表し方を、「パスカルの三角形」により示した[8]ブレーズ・パスカルは、今日彼の名を冠して呼ばれる三角形の包括的な研究を論文英語版Traité du triangle arithmétique (1653) に著したが、これらの数の規則性はルネッサンス後期ヨーロッパの数学者たち(例えばシュティーフェル、タルタリアシモン・ステヴィンなど)には既に知られていた[8]

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

定理の主張

[編集]

定理によれば、x + y の冪を展開すると、冪指数 n を自然数として、

(1)

となる。この展開した式の係数 (n
k
)
を二項係数と呼び、正整数となる。この等式はしばしば二項公式ドイツ語版あるいは二項(恒)等式とも呼ばれる。

x0 = y0 :=1[注 1]と定義すれば、全ての項を総和記号 Σ で一律に表示できる:

(2)

最後の等号は、x, y についての対称性と、二項係数の列の対称性により得られる。

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

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

  • (1) は、可換環において成り立つ。
  • (2) は、可換環がさらに単位的環があるとき成り立つ。このとき、項 (n
    k
    )xn−k yk
    は環の元の積 xn−kyk の整数 (n
    k
    )
    によるスカラー倍である。つまりここでは環を Z-加群と見做している。
  • 必ずしも可換でない一般の単位的環においても、xy が可換である(つまり xy = yx を満たす)ならば、二項定理は成り立つ。

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

証明

[編集]

帰納的証明

[編集]

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

n = 0

により成り立つ。

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

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

より、

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

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

組合せ論的証明

[編集]

n個の (x + y) の積を一度に展開し切ることにより、より直接的に、直観的な証明ができる[12]

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

これらの積のうち、並び替えて xnkyk (k = 0, 1, …, n) になるものは、(nk)個の xk個の y を並べる場合の数だけあるから、二項係数 (n
k
)
、すなわち xnkyk の係数は nCk となる。

n個の積を一度に展開し切る方法により、次のことも分かる:
等式
において n個の Y を区別して Y1, Y2, …, Yn と考えた場合、展開式は基本対称式 σk を用いて
と書ける。

一般化

[編集]

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

[編集]

1665年ごろアイザック・ニュートンは従来の二項定理を一般化して非整数冪に対する公式(ニュートンの一般二項定理)を得た[13]。この一般化において、有限和は級数になる。また、二項係数 (n
k
)
の上の添字 n は自然数とは限らないから、二項係数を階乗を用いて表すこともできない。一般化された二項係数を任意の数 r に対して

(1)

で定義する。右辺の (•)kポッホハマー記号で、ここでは下方階乗を表す。このとき実数 x, y|x| > |y| を満たすとき[注 2]、任意の複素数 r に対して

(2)

が成り立つ。r が非負整数のとき、k > r に対する二項係数は零であるから等式 (2) は等式 (1) に特殊化され、非零項は高々 r + 1個である。r がそれ以外の値のときは級数 (2) は(少なくとも x, y が非零のとき)無数の非零項を持つ。

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

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

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

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

多項定理

[編集]

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

ここで和は、非負整数列 k1, …, km の総和が n であるもの全体に亙って取るから、右辺の展開式は項の次数が何れも n次である斉次多項式である。展開式の係数 (n
k1, …, km
)
は多項係数と呼ばれ、

となる。組合せ論的には、多項係数 (n
k1, …, km
)
は、n元-集合を各位数が k1, …, km となる、互いに素な部分集合へ分割する場合の数となる。

多重二項定理

[編集]

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

が成り立つ。この式は多重指数を用いれば

とより簡潔に表される。

応用

[編集]

三角函数の多倍角公式

[編集]

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

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

n = 2 の場合は、

から倍角公式

を得る。

n = 3 の場合は、

から三倍角公式

を得る。

一般に

となる。

ネイピア数の級数表示

[編集]

ネイピア数 e を極限

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

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

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

と書ける。

冪函数の微分

[編集]

自然数 n に対する冪函数 f(x) = xn の導函数を定義に基づいて求めるには、二項冪 (x + h)n を展開すればよい。

一般ライプニッツの方則

[編集]

2つの函数の積の高階導函数の公式は、一般のライプニッツの法則 (Leibniz rule) と呼ばれ、二項定理と同様の形式になる[14]

逆に、ライプニッツの公式から二項定理を導くこともできる。実際、t の函数 exp((x + y)t) = exp(xt)exp(yt) の両辺を tn 回微分すると、

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

脚注・参照

[編集]

脚注

[編集]
  1. ^ a b k = 0, n では項にそれぞれ y, x が現れないが、x0 = y0 := 1 と定義することより、統一して表記することができる。乗法的単位元 1 が存在しない場合は、この定義はできない。
  2. ^ a b これは収束を保証する。r によっては、|x| = |y| でもこの級数が収束することがある。

参照

[編集]
  1. ^ a b Weisstein, Eric W. "Binomial Theorem". mathworld.wolfram.com (英語).
  2. ^ a b c d Coolidge, J. L. (1949). “The Story of the Binomial Theorem”. The American Mathematical Monthly 56 (3): 147-157. https://www.jstor.org/stable/2305028. 
  3. ^ a b c Jean-Claude Martzloff; S.S. Wilson; J. Gernet; J. Dhombres (1987). A history of Chinese mathematics. Springer 
  4. ^ a b Biggs, N. L. (1979). “The roots of combinatorics”. Historia Math. 6 (2): 109-136. doi:10.1016/0315-0860(79)90074-0. 
  5. ^ a b O'Connor, John J.; Robertson, Edmund F., “Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Al-Karaji/ .
  6. ^ Landau, James A. (1999年5月8日). “Historia Matematica Mailing List Archive: Re: [HM] Pascal's Triangle” (mailing list email). Archives of Historia Matematica. 2007年4月13日閲覧。[リンク切れ]
  7. ^ シュティーフェル』 - コトバンク
  8. ^ a b c Kline, Morris (1972). History of mathematical thought. Oxford University Press. p. 273 
  9. ^ Bourbaki, N. J. Meldrum訳 (1998-11-18). Elements of the History of Mathematics Paperback. ISBN 978-3540647676 
  10. ^ 二項定理の意味と係数を求める例題・2通りの証明』 - 高校数学の美しい物語
  11. ^ Binôme de Newton : démonstration par récurrence. - YouTube
  12. ^ Binôme de Newton : approche par dénombrement. - YouTube
  13. ^ E.ハイラー、G.ヴァンナー 『解析教程(上)』p.29 シュプリンガー・ジャパン
  14. ^ Seely, Robert T. (1973). Calculus of One and Several Variables. Glenview: Scott, Foresman. ISBN 0-673-07779-9 

参考文献

[編集]

関連項目

[編集]

外部リンク

[編集]