二項級数

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

数学の特に初等解析学における二項級数（にこうきゅうすう、英: binomial series）は二項式の冪（べき）のマクローリン級数を言う。

定義

具体的に、α を任意の複素数として、函数 f が f(x) = (1 + x)^α で与えられるとき、マクローリン展開

${\displaystyle {\begin{aligned}(1+x)^{\alpha }&=\sum _{k=0}^{\infty }\;{\alpha \choose k}\;x^{k}\\&=1+\alpha x+{\frac {\alpha (\alpha -1)}{2!}}x^{2}+{\frac {\alpha (\alpha -1)(\alpha -2)}{3!}}x^{3}+\cdots \end{aligned}}}$

(1)

の右辺に現れる冪級数を二項級数と言う。ここで、上の式は一般二項係数

${\displaystyle {\alpha \choose k}:={\frac {\alpha (\alpha -1)(\alpha -2)\cdots (\alpha -k+1)}{k!}}}$

が用いられている。

• 冪指数 α が自然数 n のときは、上記の級数の n + 2 番目以降の項はすべて零になる（明らかに、各項の因子に n − n が現れる）から、このとき級数は有限和であって、代数的な二項定理が導出される。
• 任意の複素数 β に対して、二項級数を

${\displaystyle {\frac {1}{(1-z)^{\beta +1}}}=\sum _{k=0}^{\infty }{k+\beta \choose k}z^{k}}$

なる形に書くことができるが、これは特に 1 において負の整数冪を扱う際に有用である。この式自体は 1 において x = −z を代入して、二項係数の等式 ${\displaystyle {\tbinom {-\beta -1}{k}}=(-1)^{k}{\tbinom {k+\beta }{k}}}$ を適用すれば導出される。

収束性

級数 1 の収束は冪指数 α と変数 x の値に依存する。より具体的に、

いま α は非負整数ではないとし、|x| = 1 の場合を考えると、上で述べたことから次のことが追加で言える:

• Re(α) > 0 ならば絶対収束する。
• −1 < Re(α) ≦ 0 ならば、x ≠ −1 では条件収束し、x = −1 では発散する。
• Re(α) ≦ −1 ならば発散する。

二項級数の和の計算について通常の論法は以下のようにする: 二項級数を収束円板 |x| < 1 内で項別微分して式 1 を用いれば、この級数の和が常微分方程式 (1 + x)u′(x) = αu(x) を初期値 u(0) = 1 のもとで解いた解析函数解であることが知れる。この初期値問題の唯一の解は u(x) = (1 + x)^α であり、それはつまり（少なくとも |x| < 1 において）二項級数の和である。級数が収束する限りにおいて、この等式を |x| = 1 にまで延長できることは、アーベルの連続性定理を (1 + x)^α の連続性に基づいて適用した帰結である。

歴史

自然数冪以外の二項級数に関する結果が初めて得られたのは、アイザック・ニュートンによる、ある種の曲線の下に囲われる面積の研究においてであった。この結果を m が有理数であるところの y = (1 − x²)^m の形の式として利用して、ジョン・ウォリスは（現代的な記法で書けば）後続する (−x²)^k の係数列 c_k は先行する係数に（自然数冪のときと同様に）m − (k − 1)/k を掛けることで求められることを発見した。これは二項係数に関する公式を陰伏的に与えたに等しい。ウォリスは以下の実例を陽に記している^[1]

• ${\displaystyle (1-x^{2})^{\frac {1}{2}}=1-{\frac {x^{2}}{2}}-{\frac {x^{4}}{8}}-{\frac {x^{6}}{16}}\cdots }$
• ${\displaystyle (1-x^{2})^{\frac {3}{2}}=1-{\frac {3x^{2}}{2}}+{\frac {3x^{4}}{8}}+{\frac {x^{6}}{16}}\cdots }$
• ${\displaystyle (1-x^{2})^{\frac {1}{3}}=1-{\frac {x^{2}}{3}}-{\frac {x^{4}}{9}}-{\frac {5x^{6}}{81}}\cdots }$

それゆえに、二項級数はニュートンの（一般）二項定理とも呼ばれる。のちにニールス・アーベルは1826年に『クレレ誌』に掲載された論文においてこの主題を取り上げ、特筆すべき収束問題として扱っている^[2]。

関連項目

脚注

注釈

出典

参考文献

• Abel, Niels (1826), “Recherches sur la série 1 + m/1x + m(m−1)/1.2x² + m(m−1)(m−2)/1.2.3x³ + ...”, Journal für die reine und angewandte Mathematik 1: 311–339, http://www.bibnum.education.fr/math%C3%A9matiques/alg%C3%A9bre/niels-abel-et-les-crit%C3%A8res-de-convergence 
• Coolidge, J. L. (1949), “The Story of the Binomial Theorem”, The American Mathematical Monthly 56 (3): 147-157, doi:10.2307/2305028, JSTOR 2305028, https://jstor.org/stable/2305028 

外部リンク

• 『二項級数』 - コトバンク
• 『一般化二項定理とルートなどの近似』 - 高校数学の美しい物語
• Weisstein, Eric W. "Binomial Series". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Binomial Theorem". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Negative Binomial Series". mathworld.wolfram.com (英語).
• binomial formula - PlanetMath.（英語）
• Hazewinkel, Michiel, ed. (2001), “Binomial series”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Binomial_series