二項式

代数学における二項多項式あるいは二項式（にこうしき、英: bi­nomial）は、二つの項（各項はつまり単項式）の和となっている多項式をいう^[1]。二項式は単項式に次いで最も簡単な種類の多項式である。

定義

二項式は二つの単項式の和となっている多項式をいうのだから、ひとつの不定元（あるいは変数）x に関する二項式（一元二項式あるいは一変数（英語版）二項式）は、適当な定数 a, b および相異なる自然数 m, n を用いて

${\displaystyle ax^{m}-bx^{n}}$

の形に書くことができる。ローラン多項式を考えている文脈では、ローラン二項式（あるいは単に二項式）は、形の上では先ほどの式と同じだが、冪指数 m, n が負の整数となることが許されるようなものとして定義される。

より一般に、多変数の二項式は

${\displaystyle ax_{1}^{n_{1}}\dotsb x_{i}^{n_{i}}-bx_{1}^{m_{1}}\dotsb x_{j}^{m_{j}}}$

の形に書くことができる^[2]。例えば

${\displaystyle 3x-2x^{2}}$

${\displaystyle xy+yx^{2}}$

${\displaystyle 0.9x^{3}+\pi y^{2}}$

などが二項式である。

単純な二項式に対する演算

• 二項式 x² − y² は二つの二項式の積に因数分解される: x² − y² = (x + y)(x − y).
  • より一般に、xⁿ⁺¹ − yⁿ⁺¹ = (x − y)∑n
    k=0 x^ky^n−k が成り立つ。
  • 複素数係数の多項式を考えている場合には、別な一般化として x² + y² = x² − (iy)² = (x − iy)(x + iy) も考えられる。
• 二つの一次二項式 (ax + b) および (cx + d) の積 (ax + b)(cx + d) = acx² + (ad + bc)x + bd は三項式である。
• 二項冪、すなわち二項式 x + y の n-乗 (x + y)ⁿ は二項定理（あるいは同じことだがパスカルの三角形）の意味するところによって展開することができる。例えば、二項式 x + y の平方は、各々の項の平方と互いの項の積の二倍との和に等しい: (x + y)^2 = x² + 2xy + y².
  • この展開式に現れた各項の係数の組 (1, 2, 1) は二項係数であり、パスカルの三角形の上から二段目の行に出現する。同様に n 段目の行に現れる数を用いて n-乗の展開も計算できる。
• 上記の二項式の平方に対する公式をピュタゴラス三つ組を生成するための "(m, n)-公式" に応用することができる:

  m < n に対して a = n² − m², b = 2mn, c = n² + m² と置けば a² + b² = c² が成り立つ。

• 二つの立方の和あるいは差に表される二項式は以下のように低次の多項式に因数分解することができる:

  x³ + y³ = (x + y)(x² − xy + y²),

  x³ − y³ = (x − y)(x² + xy + y²).

関連項目

• 平方完成
• 二項分布
• 初等組合せ論に関する話題の一覧（英語版） (which contains a large number of related links)

注

参考文献

• L. Bostock, and S. Chandler (1978). Pure Mathematics 1. ISBN 0 85950 0926. pp. 36.

外部リンク

• Weisstein, Eric W. "Binomial". mathworld.wolfram.com (英語).
• Hazewinkel, Michiel, ed. (2001), “Binomial”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Binomial : (二項代数式のことも二項式 (binomial) と呼んでいるので注意)

表 話 編 歴 多項式
元数	多変数
次数	多項式 零多項式 定数多項式 斉次多項式 函数 次数不確定 (or −∞)（零函数） 零次（非零定数函数） 一次 二次 三次 四次 五次 方程式 一次 二次 三次 四次 五次 六次 七次 八次
項数	零項 定数項 単項 二項 三項 無限変数（フランス語版） 座標に依らない記述（英語版）
係数条件	容量 1（原始的） 主係数 1（モニック）
アルゴリズム	因数分解 最大公約式（英語版） 除法（英語版） ホーナー法 終結式 判別式 グレブナー基底
関連項目	代数方程式 多項式の根 重根 (多項式) 根と係数の関係 剰余の定理 因数定理 多項式の展開 多項定理 二項定理 整式 解の公式 二次方程式の解の公式 陰計算
カテゴリ