ベズーの等式

出典: フリー百科事典『ウィキペディア(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 である。このとき次のベズーの等式が成り立つ。赤で書かれたベズー係数は最小の組であり青は他のものである。

証明[編集]

ベズーの補題は性質を定義する除法の原理、すなわち 0 でない整数 b による割り算は |b| よりも真に小さい余りをもつことの結果である。以下の証明は任意のユークリッド整域に対して適用することができる。与えられた 0 でない整数 ab に対して、xy を整数として ax + by の形のすべてのものの中で絶対値が最小の 0 でない整数 d = as + bt が存在する。必要ならば st の符号を両方変えることによって d > 0 と仮定してよい。さて a または bd による割り算の余りはまた ax + by の形である、なぜならばそれは d = as + bt の倍数を a あるいは b から引くことによって得られるからで、一方、それは d よりも絶対値において真に小さくなければならない。そのような余りとしてあり得る唯一の数は 0 しか残らないので、dab をちょうど割り切る。cab の別の共通因子であれば、c もまた as + bt = d を割り切る。cd を割り切るが d と等しくないので、cd よりも小さくなければならない。これが意味するのは、dab の最大公約数ということである。これで証明が完了する。

一般化[編集]

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. 

外部リンク[編集]