ベズーの等式

ベズーの等式（ベズーのとうしき、）は初等整数論における定理である。ベズーの補題（ベズーのほだい、）とも呼ばれる。
 と  は (, ) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。 と  がどちらも  でなければ、拡張ユークリッドの互除法から  かつ  であるような 2 つの組の一方が出る。

ベズーの補題は任意の主イデアル整域において正しいが、正しくないような整域が存在する。

 解の構造 

（例えば拡張されたユークリッドの互除法を使って）ベズー係数の一組 (, ) が計算されたとき、すべての組は

の形で表せる、ただし  は任意の整数であり分数は整数になる。

ベズー係数のこれらの組の中で、ちょうど2つが

を満たす。また、 と  の一方が他方の約数であるときのみ等号が成立しうる。

これは除法の原理による。すなわち、2つの整数  と  が与えられると、 が  を割らなければ、ちょうど1つの組  が存在して、 かつ  となり、別の1つの組が存在して、 かつ  となる。

拡張ユークリッドアルゴリズムはつねにこれらの2つの最小の組の1つをもたらす。

 例 

 = 12、 = 42 とすると、gcd (12, 42) = 6 である。このとき次のベズーの等式が成り立つ。赤で書かれたベズー係数は最小の組であり青は他のものである。

 証明 
ベズーの補題は性質を定義する除法の原理、すなわち  でない整数  による割り算は  よりも真に小さい余りをもつことの結果である。以下の証明は任意のユークリッド整域に対して適用することができる。

与えられた  でない整数  と  に対して、 と  を整数として  がとりうる整数の集合  について、 の任意の要素  および整数  に対して  は  に含まれる。実際、 が  と書ければ、 である。符号をかえれば  も同様にいえることがわかる。

今  に含まれる正の整数のうち最小の数を  とする。すると、 の要素はすべて  の倍数になっている。

というのは、もし  の倍数で表せない数  が存在すると仮定すると  を  で割った商を 、 でない余りを  と置いて  すなわち  と書ける。
仮定より  および  から 。 は割り算の余りなので割る数  より小さく、これは  が  に含まれる最小の正整数であるという仮定に反する。すなわち  の要素はすべて  の倍数になっている。

 の式で  を代入すれば  となるから、、同様に 。
ということは、 はともに  の倍数であり、 は  の公約数である。したがって  の最大公約数  以下であるから 。……①

また  は  の倍数だから、 と置いて、 となり、 の要素は  の倍数である。
特に  も  の倍数だから 。……②

①②より 、すなわち、（ は  の最大公約数）を満たす  が存在する。以上の証明はによった。

 一般化 
 3つ以上の整数に対して 

ベズーの等式は2つよりも多い整数に対して拡張することができる：


とおくと、整数  が存在して、

が成り立つ。また右辺の形の数式は以下の性質をもつ：
  はこの形の最小の正の整数である
 この形の数はすべて  の倍数である

 多項式に対して 

ベズーの等式は体上の一変数多項式に対して整数に対してとちょうど全く同じようにうまくいく。とくにベズー係数と最大公約数は拡張されたユークリッドの互除法によって計算できる。

2つの多項式の共通根はそれらの最大公約数の根であるから、ベズーの等式と代数学の基本定理は次の結果を意味する：
体係数の一変数多項式  と  に対して、多項式  と  が存在して  +  = 1 であることと、 と  が任意の代数的閉体（通例は複素数体）において共通根をもたないことが同値である。

この結果の任意個の多項式と不定元に対する一般化はヒルベルトの零点定理である。

 主イデアル整域に対して 
導入部で言及したように、ベズーの等式は整数環においてだけでなく任意の他の単項イデアル整域 (PID) においてもうまくいく。つまり、 が PID で  と  が  の元で  が  と  の最大公約元であれば、 の元  と  が存在して、 +  =  である。理由：イデアル + が単項であり確かに  に等しい。

ベズーの等式が成り立つような整域はベズー整域と呼ばれる。

 歴史 

フランス人数学者 エティエンヌ・ベズー（Étienne Bézout 1730年–1783年）がこの等式を多項式に対して証明した。しかしながら、整数に対するこのステートメントは別のフランス人数学者（Claude Gaspard Bachet de Méziriac 1581年–1638年）の仕事において既に見つかったものである。これらのページにおいてバシェ は（方程式なしに）次を証明する。“Proposition XVIII.  Deux nombres premiers entre eux estant donnez, treuver le moindre multiple de chascun d’iceux, surpassant de l’unité un multiple de l’autre.”（互いに素な2つの数が与えられたとき、一方の倍数が他方の倍数より 1 大きいような最小の倍数を見つけよ。）この問題（すなわち ）はベズーの方程式の特別なケースであり、バシェはそれを用いてページ199ffに現れる問題を解いた。次も参照。

 関連項目 

算術の基本定理
ディオファントス方程式
ユークリッドの互除法
ユークリッドの補題

 脚注 
 注釈 

 出典 

 参考文献 

 外部リンク 

Online calculator

Category:人名を冠した数式
Category:証明を含む記事
Category:ディオファントス方程式
Category:補題
Category:数学に関する記事