二項式

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

定義

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

[math]ax^m - bx^n[/math]

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

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

[math]a x_1^{n_1}\dotsb x_i^{n_i} - b x_1^{m_1}\dotsb x_j^{m_j}[/math]

の形に書くことができる。例えば

[math]3x - 2x^2[/math]

[math]xy + yx^2[/math]

[math]0.9 x^3 + \pi y^2[/math]

などが二項式である。

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

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

  m < n に対して a = nテンプレート:Exp − mテンプレート:Exp, b = 2mn, c = nテンプレート:Exp + mテンプレート:Exp と置けば aテンプレート:Exp + bテンプレート:Exp = cテンプレート:Exp が成り立つ。

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

  xテンプレート:Exp + yテンプレート:Exp = (x + y)(xテンプレート:Exp − xy + yテンプレート:Exp),

  xテンプレート:Exp − yテンプレート:Exp = (x − y)(xテンプレート:Exp + xy + yテンプレート:Exp).

関連項目

• 平方完成
• 二項分布
• 初等組合せ論に関する話題の一覧 (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（英語）.
• テンプレート:Springer: (二項代数式のことも二項式 (binomial) と呼んでいるので注意)

1. 転送 Template:多項式