初等整数論/多項式

多項式とは、

$a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$

のことである。 $x$ のことを「変数」、 $a_{k}$ を「係数」という。一般に係数は範囲が明確に示されることが多い。係数が属すべき範囲が異なると、多項式の性質も変化する。例えば $x^{3}-2$ は有理数上ではこれ以上分解することができないが、実数上では $(x-{\sqrt[{3}]{2}})(x^{2}+{\sqrt[{3}]{2}}x+{\sqrt[{3}]{4}})$ と分解され、複素数上では $(x-{\sqrt[{3}]{2}})(x-{\sqrt[{3}]{2}}\omega )(x-{\sqrt[{3}]{2}}\omega ^{2}),\omega =(-1+{\sqrt {-3}})/2$ と分解される。そこで、係数が属すべき範囲を一つ固定して、その上で議論する。そして基本的に係数が属すべき範囲は、体（その範囲内で0以外の数で割り算が可能な集合）とする。有理数や実数、複素数はこれにあたるが、整数全体の集合は、 1/2, 1/3, 3/2 のようなものを含まないので、この項での議論には適さない場合がある。係数がどの範囲の数なのかに従って、「整数係数多項式」、「有理係数多項式」などという。また $a_{n}\neq 0$ のとき、この方程式を「 $n$ 次多項式」という。

さて、式は次の2つに分けることができる。

どんな値を変数 $x,y,z,\cdots$ に代入しても $=$ で結ばれた左右の値が常に等しくなる式
ある値について $=$ で結ばれた左右の値が等しくならないことがある式

どの式もこの2つに分けられることが分かるだろう。前者を「（ $x,y,z\cdots$ に関する）恒等式」、後者を「方程式」という。恒等式の変数が明らかな場合は略される。

例

恒等式

$0=0$
$x^{2}=2x^{2}-x^{2}$
$(a-b)^{2}=a^{2}-2ab+b^{2}$
$\cos ^{2}\theta +\sin ^{2}\theta =1$ （変数は $\theta$ ）

方程式

$2x=0$
$9x^{3}-7x^{2}+2x=2x^{4}-7x^{2}+8x+9$
$2x+9y+7z=1$
$\sin 2x=\sin x$

さて、多項式に関して整数の場合と同じように整除性について組み立てることができる。

基本的な定理編集

今から一般に変数が1つの多項式を扱う。多項式は $P(x)$ で表す。何が変数なのか明らかな場合は $P$ と省略して書く。

2つの多項式が多項式として等しいとは、その係数がすべて一致することをいう。値が等しい場合と紛らわしいので、 $P(x)\equiv Q(x)$ という記号をもって、両者が多項式として等しいことを表すことにする。また $P\not \equiv Q$ はそうでない、つまり一致しない係数が存在することをいう。つまり $P(x)\equiv Q(x)$ とは $P(x)-Q(x)$ の係数がすべて 0 であることを意味し、 $P\not \equiv Q$ は $P(x)-Q(x)$ が 0 ではない多項式であることを意味する。

さて、整数と同様の公理を満たすことを確認しなければならない。

$P\equiv Q$ ならば、

$P+R\equiv Q+R$
$PR\equiv QR$

などである。これらは簡単に示すことができる。ここでは乗法の公理 5 を多項式でも満たすことを示す。

その前にいくつか他の定理を準備する。

0 ではない多項式の次数、すなわち $a_{n}\neq 0$ となる最大の $n$ を $|A|$ と表すこととする。（普通は $\deg A$ と書くがここでは省略のためこう書くことにする）

定理 i $|A|>|B|$ のとき、 $|A+B|=|A|.$

$A=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0},\ B=b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots +b_{1}x+b_{0}\ \ (a_{n},b_{m}\,\neq 0)$ とするとき、

$|A|>|B|\iff n>m$ なので、

$A+B=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +(a_{m}+b_{m})x^{m}+(a_{m-1}+b_{m-1})x^{m-1}+\cdots +(a_{1}+b_{1})x+(a_{0}+b_{0})$

よって $|A+B|=|A|.$

定理 ii $A(x)\not \equiv 0,\ B(x)\not \equiv 0$ ならば、 $|AB|=|A|+|B|.$ 特に $A(x)B(x)\not \equiv 0.$

$B=b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots +b_{1}x+b_{0}\ \ (b_{m}\neq 0)$ とする。

$|A|=0$ のとき、すなわち $A(x)=a$ のとき、

$AB=ab_{m}x^{m}+ab_{m-1}x^{m-1}+\cdots +ab_{1}x+ab_{0}$ であり、また $ab_{m}\neq 0$ より、 $|AB|=|B|=|A|+|B|.$

次に $|A|<n$ のとき正しいとする。

$A(x)=a_{n}x^{n}+a_{n-1}x_{n-1}+\cdots +a_{1}x+a_{0},\ A'(x)=A(x)-a_{n}x^{n}\ \ \ (a_{n}\neq 0)$ とする。

$AB=a_{n}x^{n}B+A'B.$ このとき $|A'|<n$ より $|A'B|=|A'|+|B|<n+m.$

$a_{n}x^{n}B=a_{n}b_{m}x^{n+m}+a_{n}b_{m-1}x^{n+m-1}+\cdots +a_{n}b_{1}x^{n+1}+b_{0}x^{n},\ \ a_{n}b_{m}\neq 0$ より、 $|a_{n}x^{n}B|=n+m.$

したがって定理 i より、 $|AB|=|a_{n}x^{n}B+A'B|=n+m.$

以上より累積帰納法より、正しいことが証明される。

さていよいよ次の定理を証明する。

定理 iii $A(x)C(x)\equiv B(x)C(x)\wedge C(x)\not \equiv 0\Rightarrow A(x)\equiv B(x).$

$A(x)C(x)\equiv B(x)C(x)$ であるとき $C(x)(A(x)-B(x))\equiv 0$ である。ここで $A(x)\not \equiv B(x)$ であったとすると、 $C(x)\not \equiv 0$ と仮定しているから定理 ii より $C(x)(A(x)-B(x))\not \equiv 0$ となり矛盾。

よって定理は背理法によって証明される。

因数編集

定義

$P(x)\equiv Q(x)R(x)$ が成り立つとき、 $P$ は $Q,R$ を因数に持つ、 $P$ は $Q,R$ で割り切れるという。記号で $Q\,|\,P$ と書くことにする。

定理 1 編集

$R\,|\,P_{1},P_{2},\cdots ,P_{n}$ のとき、 $R\,|\,P_{1}Q_{1}+P_{2}Q_{2}+\cdots P_{n}Q_{n}$

証明
仮定より $P_{1}=RS_{1},\,P_{2}=RS_{2},\cdots ,P_{n}=RS_{n}$ とおく。すると、

${\begin{aligned}P_{1}Q_{1}+P_{2}Q_{2}+\cdots P_{n}Q_{n}&=RS_{1}Q_{1}+RS_{2}Q_{2}+\cdots +RS_{n}Q_{n}\\&=R(S_{1}Q_{1}+S_{2}Q_{2}+\cdots +S_{n}Q_{n})\end{aligned}}$

よって定理は証明される。

除法の原理編集

さて、整数の整除についての根幹を成す定理は定理 1.2 であるが、幸いにも多項式にも同様の定理が成り立つことが言える。

定理 2 編集

任意の多項式 $A,B\ (B(x)\not \equiv 0)$ について、

$A=BQ+R$ で、 $R$ の次数が $B$ よりも小さいような組 $(Q,R)$ がただ一つ存在する。また、 $A,B$ の係数が有理数であれば $Q,R$ の係数も有理数であり、 $A,B$ の係数が整数で $B$ の最高次の係数が1ならば $Q,R$ の係数も整数である。

また、このとき $x=\alpha$ を $B(x)=0$ の解とすると $A(\alpha )=R(\alpha ).$

証明
$|A|<|B|$ のとき、

$Q=0,R=A$ とすれば定理の主張を満たす。

$|A|=|B|$ のとき、

$A=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0},\ B=b_{n}x^{n}+b_{n-1}x^{n-1}+\cdots +b_{1}x+b_{0}$ とする。このとき、

$b_{n}\neq 0$ であることから、 $Q={\frac {a_{n}}{b_{n}}}B$ とおくと、

$BQ=a_{n}x^{n}+\left({\frac {a_{n}b_{n-1}}{b_{n}}}\right)x^{n-1}+\cdots +\left({\frac {a_{n}b_{1}}{b_{n}}}\right)x+\left({\frac {a_{n}b_{0}}{b_{n}}}\right).$ したがって、

$A-BQ=\left(a_{n-1}-{\frac {a_{n}b_{n-1}}{b_{n}}}\right)x^{n-1}+\cdots +\left(a_{1}-{\frac {a_{n}b_{1}}{b_{n}}}\right)x+\left(a_{0}-{\frac {a_{n}b_{0}}{b_{n}}}\right)$ となる。

$R=A-BQ$ とおけば、この式は $A=BQ+R$ と恒等式になり、また明らかに $|R|<|A|.$ よって定理の主張を満たす。

次に $|A|>|B|$ のときであるが、これには数学的帰納法を用いる。

$|A|=\alpha ,\,|B|=\beta$ とし、 $\alpha -\beta =n>0$ なので、 $n$ に対して数学的帰納法を用いる。

$A=a_{\alpha }x^{\alpha }+a_{\alpha -1}x^{\alpha -1}+\cdots +a_{1}x+a_{0},\ B=b_{\beta }x^{\beta }+b_{\beta -1}x^{\beta -1}+\cdots +b_{1}x+b_{0}$

とおく。

(i) $n=1$ のとき

$B=b_{\alpha -1}x^{\alpha -1}+b_{\alpha -2}x^{\alpha -2}+\cdots +b_{1}x+b_{0}$ となる。

このとき、 $\left({\frac {a_{\alpha }}{b_{\alpha -1}}}x\right)B=a_{\alpha }x^{\alpha }+\left({\frac {a_{\alpha }b_{\alpha -1}}{b_{\alpha -1}}}\right)x^{\alpha -1}+\cdots +\left({\frac {a_{\alpha }b_{1}}{b_{1}}}\right)x^{2}+\left({\frac {a_{\alpha }b_{0}}{b_{\alpha -1}}}\right)x$

したがって、 $Q={\frac {a_{\alpha }}{b_{\alpha -1}}}x$ とおけば、

$R=A-BQ=\left(a_{\alpha -1}-{\frac {a_{\alpha }b_{\alpha -1}}{b_{\alpha -1}}}\right)x^{\alpha -1}+\cdots +\left(a_{2}-{\frac {a_{2}b_{1}}{b_{1}}}\right)x^{2}+\left(a_{1}{\frac {a_{\alpha }b_{0}}{b_{\alpha -1}}}\right)x+a_{0}$

となり、よって定理の主張を満たす。

(ii) $n=k$ のとき正しいとする。

さて、 $A=a_{\alpha }x^{\alpha }+a_{\alpha -1}x^{\alpha -1}+\cdots +a_{1}x+a_{0},\ B=b_{\beta }x^{\beta }+b_{\beta -1}x^{\beta -1}+\cdots +b_{1}x+b_{0}$ とおいて、

$\alpha -\beta =k+1$ だとする。 $A$ の最高次を取った多項式

$A'=a_{\alpha -1}x^{\alpha -1}+\cdots +a_{1}x+a_{0}$ について、 $|A'|-|B|=k$ より、帰納法の仮定から

$A'=BQ+R\ \ (|R|<|B|)\cdots (1)$ と書ける。

$\left({\frac {a_{\alpha }}{b_{\beta }}}x^{\alpha -\beta }\right)B=a_{\alpha }x^{\alpha }+\left({\frac {b_{\beta -1}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -1}+\cdots +\left({\frac {b_{1}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -\beta +1}+\left({\frac {b_{0}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -\beta }$

したがって、 $S={\frac {a_{\alpha }}{b_{\beta }}}x^{\alpha -\beta },\ C=\left({\frac {b_{\beta -1}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -1}+\cdots +\left({\frac {b_{1}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -\beta +1}+\left({\frac {b_{0}a_{\alpha }}{b_{\beta }}}\right)x^{\alpha -\beta }$ とおけばこの式は

$SB=a_{\alpha }x^{\alpha }+C$ と書ける。ところで $a_{\alpha }x^{\alpha }=A-A'$ より、

(1) より $SB=(A-A')+C\iff A=B(S+Q)+(R-C)\cdots (2)$

ここで $|C|-|B|=\alpha -1-\beta =k$ より帰納法の仮定から $C=BQ'+R'\ \ (|R'|<|B|)$ と書ける。

$\therefore (2)\iff A=B(S+Q)+(R-BQ'-R')\iff A=B(S+Q-Q')+(R-R')$

ここで $|R|<|B|,\ |R'|<|B|$ より $|R-R'|<|B|.$

したがって、 $k+1$ のときも定理の主張を満たす。

(i) (ii) より数学的帰納法から証明される。またその構成から、係数に関する主張も従う。

次は除法が一意であることを証明する。仮にある多項式 $A$ が $B$ で割ったときに、二通りに書けたとする。

${\begin{aligned}A&=BQ+R\ \ &(|R|<|B|)\\A&=BQ'+R'\ \ &(|R'|<|B|)\\\end{aligned}}$

すると $B(Q-Q')+(R-R')=0\iff B(Q-Q')=R'-R$ となる。すなわち $R'-R$ は $B$ を因数に持つことになる。しかし仮定より $|R|-|R'|<|B|$ なので、 $B$ に 0以外の0次以上の多項式をかけても次数が $B$ より小さくなることはない。したがって $Q-Q'=0$ とならざるをえない。これによって $R'-R=0$ が導かれ、結局 $Q=Q',\,R=R'$ となり、ただ一通りにしか書けないことが証明される。

さて、長くなってしまったが、これで我々の必要としていた定理が導かれた。

剰余の定理編集

$P(x)$ を $(x-a)$ という多項式で割ったときの式を、定理 1.2 に従って

$P(x)=(x-a)Q(x)+b$ とする。余りが0次なのは、1次式で割っているからである。

定理 2 より $b=P(a)$ である。実際、 $P(a)=(a-a)Q(x)+b=b$ となる。つまり、余りの値が分かるのである。これより、次の定理が従う。

定理

$P(x)$ を $(x-a)$ で割ったときの余りは $P(a)$

特に $P(a)=0$ のとき、 $P(x)=(x-a)Q(x)$ と書ける。つまり、 $P(x)$ は $(x-a)$ を因数に持つ。この定理は剰余の定理の特別な場合だが、重要であるため「因数定理」という名前が付いている。

$P(a)=0$ となる $a$ のことを、多項式 $P$ の零点という。

係数比較編集

多項式に関する定理で重要な定理に次のものがある。

定理

多項式 $A(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$ について、

$A(x)=0$ が恒等式 $\iff A(x)\equiv 0\iff a_{n}=0\wedge a_{n-1}=0\wedge \cdots \wedge a_{1}=0\wedge a_{0}=0.$

証明
$\Leftarrow$ は自明だろう。 $\Rightarrow$ を $n$ に関する数学的帰納法で証明する。

まず、0次式の場合は自明である。1次式の場合は、 $A(x)=ax+b$ に $\alpha \neq \beta$ の2つを代入して

$a\alpha +b=0,\ a\beta +b=0$ したがって $a(\alpha -\beta )=0.$

ところで $\alpha -\beta \neq 0$ より $a=0$ よって $b=0.$

次に、 $n-1$ 次式でこの定理が正しいと仮定し、 $n$ 次式でも正しいことを証明する。 $A(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$ とする。このとき $A(x)=0$ は恒等式だから異なる $n+1$ 個の値 $x_{0},x_{1},\cdots ,x_{n}$ を代入しても $A(x_{0})=\cdots =A(x_{n})=0.$

因数定理より、 $A(x)=(x-x_{0})Q(x)$ と書ける。このとき、 $Q(x)$ の最高次の係数は $a_{n}$ であることは簡単に分かる。また、 $A(x_{1})=(x_{1}-x_{0})Q(x_{1})=0$ なのだが、 $x_{1}-x_{0}\neq 0$ より $Q(x_{1})=0.$ 再び因数定理より、

$Q(x)=(x-x_{1})Q_{1}(x)$ と書ける。このときの $Q_{1}$ の最高次の係数も $a_{n}$ であることが簡単に分かる。これを代入して $A(x)=(x-x_{0})(x-x_{1})Q_{1}(x).$ これを繰り返せば

$A(x)=a_{n}(x-x_{0})(x-x_{1})\cdots (x-x_{n-1}).$

$A(x_{n})=a_{n}(x_{n}-x_{0})(x_{n}-x_{1})\cdots (x_{n}-x_{n-1})=0$ だが、 $x_{n}-x_{0}\neq 0,x_{n}-x_{1}\neq 0\cdots x_{n}-x_{n-1}\neq 0$ より

$a_{n}=0$ となる。したがって $A(x)=a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\cdots +a_{1}x+a_{0}$ となる。

以上より数学的帰納法によって証明される。

微分編集

$P(x)$ を多項式とし、 $\alpha$ を方程式 $P(x)=0$ の解とする。因数定理より、これは $P(x)$ が $x-\alpha$ を因数に持つことと同値である。 $\alpha$ が重解あるいは重根であるとは、 $P(x)$ が $(x-\alpha )^{2}$ を因数に持つことである。同様に $\alpha$ が $n$ 重解あるいは $n$ 重根であるとは、 $P(x)$ が $(x-\alpha )^{n}$ を因数に持つことである。

さて、多項式 $P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}$ に対し、微分 ${\frac {d}{dx}}P(x)$ あるいは $P'(x)$ を

(a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0})'={\frac {d}{dx}}(a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0})=na_{n}x^{n-1}+(n-1)a_{n-1}x^{n-2}+\cdots +a_{1}

により定める（これは微分積分学における多項式関数の微分と同様である。ただしここでは、関数ではなく多項式そのものに対する演算として微分を定める。ここでの議論には極限に関する議論を要しない点に注意）。

すると、明らかに次の2つの公式が成り立つ。また逆に次の2つの公式が成り立つように ${\frac {d}{dx}}P(x)$ を定めれば、一般の多項式について上記の公式が成り立つ。

${\frac {d}{dx}}(1)=0,{\frac {d}{dx}}x=1,{\frac {d}{dx}}x^{2}=2x,\ldots ,{\frac {d}{dx}}x^{n}=nx^{n-1},$
${\frac {d}{dx}}(aP(x)+bQ(x))=a{\frac {d}{dx}}P(x)+b{\frac {d}{dx}}Q(x).$

さらに、

${\frac {d}{dx}}(P(x)Q(x))=P'(x)Q(x)+P(x)Q'(x)$

が成り立つ。実際、 $P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0},Q(x)=x^{m}$ のとき

{\begin{aligned}{\frac {d}{dx}}(P(x)Q(x))&=(a_{n}x^{m+n}+a_{n-1}x^{m+n-1}+\cdots +a_{0}x^{m})'\\&=(m+n)a_{n}x^{m+n-1}+(m+n-1)a_{n-1}x^{m+n-2}+\cdots +ma_{0}x^{m-1}\\&=(na_{n}x^{m+n-1}+(n-1)a_{n-1}x^{m+n-2}+\cdots +a_{1}x^{m})+m(a_{n}x^{m+n-1}+a_{n-1}x^{m+n-2}+\cdots +a_{0}x^{m-1})\\&=x^{m}(na_{n}x^{n-1}+(n-1)a_{n-1}x^{n-2}+\cdots +a_{1})+mx^{m-1}(a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0})\\&=x^{m}P'(x)+mx^{m-1}P(x)\end{aligned}}

であるから、一般の $Q(x)=b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots +b_{0}$ についても

{\begin{aligned}{\frac {d}{dx}}(P(x)Q(x))&=(b_{m}P(x)x^{m}+b_{m-1}P(x)x^{m-1}+\cdots +b_{0}P(x))'\\&=b_{m}(P(x)x^{m})'+b_{m-1}(P(x)x^{m-1})'+\cdots +b_{0}P'(x)\\&=b_{m}(x^{m}P'(x)+mx^{m-1}P(x))+b_{m-1}(x^{m-1}P'(x)+(m-1)x^{m-2}P(x))+\cdots +b_{0}P'(x)\\&=P'(x)(b_{m}x^{m}+b_{m-1}x^{m-1}+\cdots +b_{0})+P(x)(mb_{m}x^{m-1}+(m-1)b_{m-1}x^{m-2}+\cdots +b_{1})\\&=P'(x)Q(x)+P(x)Q'(x)\end{aligned}}

が成り立つ。

$P(x)$ が $x=\alpha$ を解に持つとし $P(x)=(x-\alpha )Q(x)$ とおくと

P'(x)=(x-\alpha )Q'(x)+Q(x)

より $P'(\alpha )=Q(\alpha )$ となる。ここで $P(x)$ が $x=\alpha$ を重解に持つとは、 $Q(\alpha )=0$ と同義であるから次のことがわかる。

定理 A 編集

$P(x)$ が $x=\alpha$ を重解に持つための必要十分条件は $P(\alpha )=P'(\alpha )=0$ が成り立つことである。

また、より一般に、一般に $P(X)$ が $Q(X)$ で割り切れるとき $P(X)=Q(X)P_{1}(X)$ とおくと

P'(X)=Q(X)P_{1}'(X)+Q'(X)P_{1}(X)

であるから $Q(X)|P_{1}(X)$ ならば $Q(X)|P'(X)$ である。よって次のことがわかる。

定理 B 編集

$P(x)$ が $Q(x)^{2}$ を因数に持つならば $P(X),P'(X)$ が共に $Q(X)$ を因数に持つ。

ここでは逆は必ずしも成り立たない。たとえば $X^{4},(X^{4})'=4X^{3}$ は共に $X^{3}$ で割り切れるが $X^{4}$ は $X^{6}$ で割り切れないのは明らかである。

公約多項式・公倍多項式編集

多項式 $A,B,\cdots$ について、それら全ての因数である多項式を「公倍多項式」という。0次の多項式（定数項）は自明に約数である。

また多項式 $A,B,\cdots$ 全てを因数に持つ多項式を「公約多項式」という。

多項式に関する公約・公倍は整数のときと同じ定義・記号を使う。最大公約・最小公倍多項式は次数が最大・小のものをいう。ただし 0 は最小公倍多項式に含めないものとする。このとき定数項に注意しなければならないが、ここでは公約・公倍多項式の最高次が 1 になるようにする、また多項式に定数をかけることで同じになるものは同じとみなす、というルールを取り決めることにする。（最高次の係数が 1 な多項式を「モニック」という。）

適当な定数 $c$ が存在して $A=cB$ と書けるとき、これを $A\simeq B$ と表すこととする。

さて、多項式 $A,B$ の最大公約多項式が $1$ であるとき、この2つの多項式は「互いに素」である、という。

整数の場合と同様に、多項式 $A,B$ の最大公約多項式を $\gcd(A,B)$ , 最小公倍多項式を ${\textrm {LCM}}(A,B)$ とかく。たとえば、方程式 $P(x)=0$ が重解 $x=\alpha$ を持つならば、 $x-\alpha$ は $P,P'$ の公約多項式だから $\gcd(P,P')>1$ でなければならない（複素数上ならば代数学の基本定理より逆が成り立つが、他の体で考えているときは逆は成り立つとは限らない。公約多項式が解を持つとは限らないからである）。

ここでも整数の時と同じように理論を組み立てられる。

定理 3 編集

2つ以上の多項式の公倍多項式は最小公倍多項式を因数に持つ。

証明
多項式を $A,B,\cdots$ とおく。これらを全てかけたもの $AB\cdots$ は公倍多項式なので、公倍多項式は存在する。そのうちで最小のものも存在するはずである。

さて、最小公倍多項式を $L$ とし、 $M$ を任意の公倍多項式とおく。除法の原理に基づいて

$M=LQ+R\ \ (|R|<|L|)$ とおく。このとき、 $R=M-LQ.$

$M,L$ ともに $A,B,\cdots$ を因数に持つ。したがって定理 1 より $R$ も $A,B,\cdots$ を因数に持つ。ゆえに $R$ は公倍多項式となるが、 $R\neq 0$ とすると $L$ の最小性に反する。したがって $R=0.$

したがって、 $M=LQ.$ よって定理は証明された。

定理 4 編集

2つ以上の多項式の最大公約多項式は公約多項式を因数に持つ。

証明
多項式を $A,B,\cdots$ とおく。1 は明らかに公約多項式なので、公約多項式は存在し、そのうち最大のものが存在するはずである。

さて、最大公約多項式を $M$ とし、 $D$ を任意の公約多項式とおく。 $L=lcm(M,D)$ とする。

仮定より $A$ は $M,D$ の公倍多項式。よって、定理 3 より $A$ は $L$ を因数に持つ。どうようの理由で $B,\cdots$ も $L$ を因数に持つ。したがって $L$ は $A,B,\cdots$ の公約多項式。 $M$ は最大のものなので $|L|\leqq |M|\cdots (1).$