ベズーの等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

ベズーの等式 (Bézout's identity) (ベズーの補題 (Bézout's lemma) とも呼ばれる)は初等整数論における定理である。ab を 0 でない整数とし、d をそれらの最大公約数とする。このとき整数 xy が存在して

となる。さらに、i) dax + by と書ける最小の正の整数であり、ii) ax + by の形のすべての整数は d の倍数である。xy は (a, b) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。ab がどちらも 0 でなければ、拡張ユークリッドの互除法から かつ であるような 2 つの組の一方が出る。

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

解の構造[編集]

(例えば拡張ユークリッドアルゴリズム英語版を使って)ベズー係数の一組 (x, y) が計算されたとき、すべての組は

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

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

を満たす。これは除法の原理による。すなわち、2つの整数 cd が与えられると、dc を割らなければ、ちょうど1つの組 (q,r ) が存在して、c = dq + r かつ 0 < r < |d | となり、別の1つの組が存在して、c = dq + r かつ 0 < −r < |d | となる。

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

[編集]

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

証明[編集]

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

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

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

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

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

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

①②より 、すなわち、 の最大公約数)を満たす が存在する。

一般化[編集]

3つ以上の整数に対して[編集]

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

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

が成り立つ。また右辺の形の数式は以下の性質をもつ:

  1. d はこの形の最小の正の整数である
  2. この形の数はすべて d の倍数である

多項式に対して[編集]

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

2つの多項式の共通はそれらの最大公約数の根であるから、ベズーの等式と代数学の基本定理は次の結果を意味する:

体係数の一変数多項式 fg に対して、多項式 ab が存在して af + bg = 1 であることと、fg が任意の代数的閉体(通例は複素数体)において共通根をもたないことが同値である。

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

主イデアル整域に対して[編集]

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

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

歴史[編集]

フランス人数学者 Étienne Bézout (1730–1783) がこの等式を多項式に対して証明した[1]。しかしながら、整数に対するこのステートメントは別のフランス人数学者 Claude Gaspard Bachet de Méziriac (1581–1638) の仕事において既に見つかる[2][3][4]

関連項目[編集]

脚注[編集]

  1. ^ Bézout E. (1779). Théorie générale des équations algébriques. Paris, France: Ph.-D. Pierres. http://books.google.fr/books?id=FoxbAAAAQAAJ&hl=en&pg=PP5. 
  2. ^ Tignol, Jean-Pierre (2001). Galois' Theory of Algebraic Equations. Singapore: World Scientific. ISBN 981-02-4541-6. 
  3. ^ Claude Gaspard Bachet (sieur de Méziriac) (1624). Problèmes plaisants & délectables qui se font par les nombres (2nd ed.). Lyons, France: Pierre Rigaud & Associates. pp. 18–33. http://www.bsb-muenchen-digital.de/~web/web1008/bsb10081407/images/index.html?digID=bsb10081407&pimage=38&v=100&nav=0&l=de.  これらのページにおいて Bachet は(方程式なしに)次を証明する。 “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 大きいような最小の倍数を見つけよ。)この問題(すなわち ax - by = 1)はベズーの方程式の特別なケースでありページ 199ff. に現れる問題を解くために Bachet によって使われた。
  4. ^ 次も参照: Maarten Bullynck (February 2009). “Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany”. Historia Mathematica 36 (1): 48–72. doi:10.1016/j.hm.2008.08.009. http://hal.inria.fr/docs/00/66/32/92/PDF/Gauss_Modular_Oct2008.pdf. 

外部リンク[編集]