多項式

数学において、**多項式**（たこうしき、）とは、数と不定元（変数とも呼ばれる）をもとにして、和と積によってつくられる式のことである。たとえば、 は  を不定元とする多項式である。多項式は不定元を複数もつ場合もある。

本記事では多項式とその基本的な演算について述べ、関連して代数方程式、因数分解、多項式関数といった事項に触れる。関連事項についての詳細は個別記事に譲る。なお、一部の記述は1変数多項式（不定元を1個だけもつ多項式）に特有の内容である。

代数方程式とは多項式によって表される方程式であり、これは特に1変数の場合には因数分解と密接に関係している。また、代数方程式は数学における最古の問題のひとつで、その解法の追究は複素数や群といった概念の発見をもたらした。

多項式関数とは多項式によって与えられる関数のことである。多項式は数学や他の科学にさまざまな形で現れるが、その背景には、複雑な関数の特徴をとらえる際に多項式関数による近似が頻繁に用いられることがあるといえるだろう。

## 基本用語

### 1変数の多項式
不定元  に関する（1変数の）**多項式**とは、
:a_n x^n + a_{n-1} x^{n-1} + \dotsb + a_1 x + a_0
という形の式のことをいう。これを
:\sum_{k=0}^n a_k x^k
とも書く。ただし、 は非負整数で、, , …,  は数である。各々の  (, …, ) のことを**項**（より詳しくは  次の項）とよび、 をその項の**係数**という。特に、0次の項  は**定数項**といわれる。たとえば、多項式  の項とは , , ,  のことで、 の係数は  であり、またこの多項式の定数項は  である。

項を並べる順番は変更してよい。たとえば  は  と同じ多項式である。また、 を係数とする項は省略してもよい。たとえば  と  は同じ多項式であり、 と  も同じ多項式である。

 や  のような、唯一の項によって表される多項式のことを**単項式**という。また、数  を多項式とみなすこともできる（定数多項式）。

定数多項式  を除くすべての多項式  は、（ただし ）という形に表すことができる。このように表したとき、 のことを多項式  の**[[多項式の次数|次数]]**とよび、また  は  次多項式であるという。さらにこのとき、 次の項  は**最高次の項**ともいわれる。

定数多項式  の次数は  の場合を除き  である。 の次数は、定義しないか、あるいは  と定めることが多い（零多項式）。

なお、多項式の係数としてはさまざまな範囲の数を用いることができる。どういった範囲の数を採用しているか明示するために、「実数を係数とする多項式」のような表現が用いられることがある。集合  に属する数を係数とする多項式のことを「 上の多項式」ともいう。係数の集合  としては体または可換環を選ぶことが多いが、必ずしもそれらに限定されない。

#### 高々 n 次の多項式
は次数が高々  の多項式である。

 次多項式は  次の係数  が  に制約されている。この制約を外したものが「高々  次の多項式」である。応用数学では「上限  次の多項式で近似する」といった問題設定がしばしばなされるため、 次多項式とは区別してこの概念が用いられる場合がある。

### 多変数の多項式

不定元 ,  に関する2変数の多項式とは、たとえば  のように、有限個の （,  は非負整数、 は数）の和として表される式のことをいう。同様にして、任意の正整数  について  変数の多項式の概念を考えることができる。2変数以上の多項式は、一般に多変数の多項式とよばれる。

 を数の集合とする。 個の不定元 , , …,  に関する  上の多項式  は、 個の非負整数の組全体の集合を  で表すとき、 のある有限部分集合  を用いて
:\sum_{(k_1,k_2,\dots,k_m)\in I} a_{k_1k_2\dotsb k_m} x_1^{k_1}x_2^{k_2}\dotsb x_m^{k_m}
と表すことができる。ただし各  は  の元である。同じことを、多重指数記法を用いて
:\sum_{k\in I} a_k x^k
と書くこともできる（ここで ）。各々の  （多重指数記法では ）を多項式  の**項**とよぶ。なお、1変数多項式の場合と同様に、 を係数とする項は省略して書いてもよい。

 変数の多項式  を上記のように表したとき、項  の**次数**とは、通常  のことである。また、 を係数とする項をすべて省略した形で  を書き表したときに、現れる項の次数のうち最大のものを  の**次数**とよぶ。たとえば、（不定元 ,  に関する）多項式  の次数は  である。

### 注意

#### 多項式と整式
「多項式」と「整式」は、数学の文献では同じ意味で使われることが多い。しかし一般にはそうでない流儀もある。たとえば、「整式」を本記事でいう多項式の意味で用い、「多項式」は単項式でない整式の意味で用いることがある。

また、現在の日本の中等教育課程では、本記事でいう多項式を「整式」とよび、「多項式」の語は副次的に用いる習慣がみられる。たとえば、中学校学習指導要領では「多項式」の語は「単項式」との対比においてのみ使われている。高等学校学習指導要領には「多項式」は現れず、もっぱら「整式」の語が使われている。

#### 不定元と変数
多項式については、「不定元」と「変数」という二つの言葉は基本的に同じ意味で使われる。

不定元（変数） に関する多項式  があるとき、この  を多項式とみなす限りにおいては、 は単なる形式的な記号にすぎず、値を持ったりはしない。その意味で、 を「変数」とよぶのは不適切だと考えることもできる。一方で、 を多項式関数（後述）とみなした場合は  は変数となる。多項式と多項式関数は異なる概念ではあるけれども、両者には密接な関係があることから、多項式についても「不定元」でなく「変数」という言葉を使う人も少なくない。不定元も参照すること。

#### 記号  と
多項式を記号で表す際の記法には、たとえば  と  のように、不定元を表す文字を添えるものと添えないものがある。これらは両方とも広く用いられる。

## 多項式の演算

### 加法・乗法・定数倍
同じ不定元を持つ二つの多項式 ,  について、それらの**和**  および**積**  とは、それぞれ、形式的な和や積を、加法・乗法の交換法則および分配法則が成り立つものとして整理して得られる多項式のことである。1変数の場合について式で表すと次のようになる。不定元を  として、f=\sum_{k=0}^ma_kx^k および g=\sum_{k=0}^nb_kx^k とおく。さらに、,  と定めておく。そのとき、和は
:f+g = \sum_{k=0}^{\max(m,n)} (a_k+b_k)x^k
となり、積は
:fg = \sum_{k=0}^{m+n} \left(\sum_{i=0}^ka_ib_{k-i}\right) x^k
となる。

多項式  と数  に対し、 の  倍（一般には**定数倍**ないし**スカラー倍**という）とは、 の各項の係数を  倍して得られる多項式である。これも1変数の場合について式で表すと、f=\sum_{k=0}^ma_kx^k に対して
:cf=\sum_{k=0}^mca_kx^k
である。

これらの演算は、多項式 ,  を多項式関数（後述）とみなしたときの、関数としての加法、乗法、定数倍と対応している。また、多項式の乗法は、数列に対する畳み込みとみることもできる。

可換環  上の不定元  に関する多項式全体の集合は、上述の演算によって  上の多元環になる。これを（ を不定元とする） 上の  変数**[[多項式環]]**といい、記号  で表す。

### 除法

多項式の除法とは、体  上の（1変数）多項式 , （ただし ）に対して、次の2条件をみたす多項式 ,  を求める手続きである。
# 
#  の次数は  の次数よりも小さい。（ただし、定数多項式  の次数は  より小さいものと解釈する。）
これらの条件をみたす多項式 ,  の組は必ず存在し、しかも一意的である。 のことを  を  で割った**商**、 のことを**余り**（または**剰余**）という。 を  で割った余りが  のとき、すなわち  をみたす  が存在するとき、 は  で**割り切れる**という。

より一般に、単位元をもつ可換環  上の多項式 ,  についても、 がモニック多項式（最高次の項の係数が ）ならば、同様にして  を  で割った商および余りを定めることができる。

多項式の除法は、より一般の、余りつきの除法の特別な場合とみなすことができる。除法の原理、ユークリッド環も参照せよ。

なお、多項式の除法に関する商のほかに、有理式としての商  を考えることもできる。両者は異なるものである。

### 微分・積分

1変数多項式 f=\sum_{k=0}^ma_kx^k に対して、その**微分**とは、
:f'=\sum_{k=1}^m ka_kx^{k-1}
で定められる多項式  をつくる演算である。 のことを  の**導多項式**という。同様にして、多変数多項式についても、各々の不定元に関する微分を考えることができる。

実数または複素数を係数とする多項式  については、それを多項式関数（後述）とみなして微分することもできるが、上述の多項式としての微分は、この関数としての微分（多変数多項式の場合には偏微分）と対応している。関数としての微分と区別するため、多項式としての微分を**形式的微分**とよぶことがある。形式的微分には、多項式の係数が実数や複素数でなくても問題なく定義できるという利点がある。

多項式  に対して、導多項式が  に一致するような多項式  を求める操作のことを（形式的）**積分**という。

## 代数方程式

多項式の不定元を数に置き換えることを**代入**という。たとえば、多項式  の不定元  に数  を代入することで
:f(c)=a_n c^n + a_{n-1}c^{n-1} + \dots + a_1 c + a_0
という数が得られる。

 変数多項式  を用いて  という形に表される方程式のことを**[[代数方程式]]**という。またその解、すなわち  を満たす数の組  のことを、多項式  の**[[零点]]**という。

1変数多項式  の零点のことを  の**[[多項式の根|根]]**ともいう。数  が   の根であることは、 が1次式  で割り切れるための必要十分条件である（**[[因数定理]]**）。 が  で割り切れ、かつ  では割り切れないとき、 は  の**[[重複度]]**  の根であるという。2以上の重複度をもつ根は**[[重根 (多項式)|重根]]**とよばれる。

体  上の1変数多項式  が  の代数閉包において重根をもつことは、 と導多項式  が定数でない共通因子をもつことと同値である（関連して、判別式を参照せよ）。 が  の代数閉包において重根をもたないとき、 は分離多項式であるという。

## 因数分解

与えられた多項式  をいくつかの多項式の積として表すことを、多項式  の**因数分解**という。

因数分解を行うためのもっとも単純な方法は、因数分解の結果として現れる多項式の係数を未知数とみなし、それらに関する方程式を立てて解を探すことである。たとえば、2次式  を1次式の積に因数分解するには、 だから、, ,  が満たされるような数 , , ,  を探せばよい。また、特に1変数の多項式を因数分解する場合には、因数定理も重要な道具となる。

因数分解に関連して、1変数の場合における**[[既約多項式]]**の概念がある。ここでは説明を簡単にするため係数の集合は体  であるとする。1次以上の多項式  が、同じく  に係数をもつ二つの1次以上の多項式の積として表されないとき、 は  上で既約であるという。既約でない多項式は**可約**であるといわれる。多項式の因数分解は、通常、与えられた多項式を既約多項式の積として表すことが目標となる。

多項式の既約性は、係数体  の選び方に依存する。たとえば、 は有理数体 \mathbb{Q} 上で既約だが、実数体 \mathbb{R} 上では可約である。 は \mathbb{R} 上で既約だが、複素数体 \mathbb{C} 上で可約である。

## 多項式関数

1変数多項式  が与えられたとき、数  に対し、不定元  に  を代入して得られる数  を対応させることにより関数が得られる。これを多項式  が定める**多項式関数**とよぶ。多変数多項式についても同様にして（多変数の）多項式関数が得られる。 次多項式の定める多項式関数は  次関数とよばれる。

多項式  の定める多項式関数は、同じ文字  で表されることが多い。多項式関数の変数を表す文字にも、しばしば、もとの多項式の不定元を表す文字が流用される。

しかしながら、多項式と多項式関数は異なる概念である。,  が「多項式として一致する」というのは対応する係数がすべて一致するという意味だが、,  の定める多項式関数が一致するにもかかわらず、両者が多項式として一致しない場合もある。たとえば、有限体 \mathbb{F}_2 上の多項式  は多項式として  とは異なるが、 の定める多項式関数は零関数  である。係数の集合が実数体 \mathbb{R} や複素数体 \mathbb{C} などの無限体であれば、このような現象は起きず、異なる多項式は異なる関数を定めることが知られている。

実数を係数とする  変数多項式関数は、\mathbb{R}^m 全体で連続微分可能である。複素数係数の  変数多項式関数は \mathbb{C}^m 全体で正則である。

## 一般化

### 行列変数多項式

行列多項式は行列変数の多項式である。通常はスカラー値の多項式  が与えられたとき、これを行列  で評価した値というものを
: P(A) = \sum_{i=0}^n a_i A^i =a_0 I + a_1 A + a_2 A^2 + \cdots + a_n A^n
のこととして定義する。ここで、定数項は単位行列  のスカラー倍に置き換わることに注意。

**行列多項式方程式**は行列多項式の間の等式であって、考えている範囲の行列のうち特定のもののみがそれを満足するものを言う。同様に、考えている行列環  に属する任意の行列について成り立つ行列多項式の間の等式は**行列多項式恒等式**と呼ぶ。

### 冪級数

形式冪級数  は多項式とよく似ているが、非零項が（可算）無限個あってもよい（つまり有限次とは限らない）点が異なる。ゆえに多項式と違って、一般には全ての項を陽に書き下すことは（無理数の小数表示が全て書ききれないことと同様の意味で）できない。しかし、各項に対する扱いや演算における項の操作ルールは多項式に対するものとまったく同じくすることができる。形式冪級数ではなく収束冪級数を考えることでも多項式を一般化することができるが、積は必ずしも収束するとは限らないので、環構造の埋め込みにはならないことに注意。形式冪級数は一般に次数に関して最大の非零項を持つとは限らないが、必ず最小の非零項を持つから、多項式の次数に対応する概念として形式冪級数の位数 (order) は最小の非零項の次数として定まる。

### ローラン多項式

冪級数に対して、さらに有限個の負冪の項も許した一般化として形式ローラン級数が定義される。形式ローラン級数もまた最大の非零項を持つとは限らないが、必ず最小の非零項を持つ（が、略式的には両側無限和として  のようにも書く）。

形式冪級数の特別の場合が多項式であったことの（形式）ローラン級数において対応する概念として、（形式）ローラン多項式は不定元の負冪の項を有限個含む多項式の類似物である。すなわち、ローラン多項式は正負の次数の項を含む有限和 \sum_{i=-N}^M a_i x^i\quad (N,M\in\mathbb{N}) であり、最小の非零項および最大の非零項を持つ。

### 非可換多項式

通常の多変数多項式環は、変数と係数および変数同士の可換性が仮定されている。この変数の間の可換性を仮定からはずすことで、**非可換多項式環**が定義される。可換性をはずしたために、非可換多項式を一般に書き表すのは困難であるが、非可換多項式環はテンソル代数として記述することができる。を基底とする有限次元  ベクトル空間あるいは可換環  上の階数有限な自由加群  上のテンソル代数  を
:T(V) =: K\langle x_1, x_2, \ldots, x_n \rangle = K\langle\mathbf{X}\rangle
などと記して 上の**非可換多項式環**と呼ぶ。ここで術語「自由」 は、この環が必ずしも乗法が可換でないような多元環としての普遍性を持つということを意味している。 上で有限生成な（非可換）環 
:
  A = K\langle \alpha_1, \alpha_2, \ldots, \alpha_n\rangle := \left\{
    \sum_l c_l \alpha_{i_1}^{(l)}\alpha_{i_2}^{(l)}\cdots\alpha_{i_{k_l}}^{(l)}
    \mid c_l \in K, \alpha_{i_j}^{(l)} \in \{\alpha_1,\ldots,\alpha_n\}
  \right\}

は  の代入による準同型像として得られる。つまり、適当な  多元環の全射準同型で
:K\langle \mathbf{X} \rangle \to A;\ 
  f(x_1,x_2,\ldots,x_n) \mapsto f(\alpha_1,\alpha_2,\ldots,\alpha_n)

なるものが必ず取れ、またしたがって  は  のある商多元環に同型である。この準同型の  への制限は  から  への 線型写像であるが、逆に  から  への任意の  線型写像はかならずこのような形の多元環の準同型に延長可能である。これは**テンソル代数の[[普遍性]]**と呼ばれる性質の一部である。

また、非可換多項式環  をテンソル代数とみるとき、対応する対称代数  ( の形の元全体で生成される両側イデアルで割った代数) は多項式環  であり、多項式環が有限生成可換多元環に対する普遍性を持っていることに対応している。

### 有理函数

有理式は、二つの多項式  の商（）  のことを言い、有理式として書き直すことのできる任意のの定める函数を有理函数と呼ぶ。

多項式函数は変数に対する任意の代入に対して値が定義されるが、有理函数は分母が零にならないような変数の値に対してしか定義されない。

有理函数はローラン多項式を分母が不定元の冪であるような特別の場合として含む。

## 脚注

### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 
* 

### 関連文献

*
*
*
*. This classical book covers most of the content of this article.
*
*Mayr, K. Über die Auflösung algebraischer Gleichungssysteme durch hypergeometrische Funktionen. *Monatshefte für Mathematik und Physik* vol. 45, (1937) pp.&nbsp;280–313.
*
*
*Umemura, H. Solution of algebraic equations in terms of theta constants. In D. Mumford, *Tata Lectures on Theta II*, Progress in Mathematics 43, Birkhäuser, Boston, 1984.
*von Lindemann, F. Über die Auflösung der algebraischen Gleichungen durch transcendente Functionen. Nachrichten von der Königl. Gesellschaft der Wissenschaften, vol. 7, 1884. Polynomial solutions in terms of theta functions.
*von Lindemann, F. Über die Auflösung der algebraischen Gleichungen durch transcendente Functionen II. Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen, 1892 edition.
* Morris Marden: *Geometry of Polynomials*,2nd Ed., AMS (Mathematical Surveys and Monographs 3), ISBN 978-0-8218-1503-8 (1966). ※ 初版は1949年。

## 関連項目

* 多項式補間
* 多項式列
* 三角多項式
* 
* : ベクトル空間上で定義される（座標を用いない仕方での）多項式函数からなる函数環
* : 多項式の求根において、もとの多項式の根が計算できるより容易に根の求まる函数や多項式へ変換すること。チルンハウス変換やなど。
* 整式

## 外部リンク
*
*
*
*