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

ax + by = d

となる。さらに、

  1. dax + by と書ける最小の正の整数であり、
  2. ax + by の形のすべての整数は d の倍数である。

xy は (a, b) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。ab がどちらも 0 でなければ、拡張ユークリッドの互除法から かつ であるような 2 つの組の一方が出る。

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

解の構造編集

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

 

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

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

 

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

これは除法の原理による。すなわち、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 がとりうる整数の集合 S について、S の任意の要素 u, v および整数 k に対して u + v, kuS に含まれる。実際、u, vu = ax1 + by1, v = ax2 + by2 と書ければ、u + v = a(x1 + x2) + b(x2 + y2) ∈ S,   ku = a(kx1) + b(ky1) ∈ S である。符号をかえれば u - vS も同様にいえることがわかる。

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

というのは、もし h の倍数で表せない数 m が存在すると仮定すると mh で割った商を q0 でない余りを r と置いて m = qh + r すなわち r = m - qh と書ける。 仮定より mS および hS,  qhS から rSr は割り算の余りなので割る数 h より小さく、 これは hS の最小の数であるという仮定に反する。すなわち S の要素はすべて h の倍数になっている。

ax + by の式で x = 1, y = 0 を代入すれば a となるから、aS、同様に bS。 ということは、a, b はともに h の倍数であり、ha, b の公約数である。したがって a, b の最大公約数 g 以下であるから hg。……①

また a, bg の倍数だから、a = a'g, b = b'g と置いて、ax + by = (a'x + b'y)g となり、S の要素は g の倍数である。 特に hSg の倍数だから hg。……②

①②より h = g、すなわち、ax + by = gga, b の最大公約数)を満たす x, y が存在する。[1]

一般化編集

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年)がこの等式を多項式に対して証明した[2]。しかしながら、整数に対するこのステートメントは別のフランス人数学者クロード・バシェ英語版(Claude Gaspard Bachet de Méziriac 1581年–1638年)の仕事において既に見つかったものである[3][4]。これらのページにおいてバシェ は(方程式なしに)次を証明する[5]

“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に現れる問題を解いた。次も参照[6]

関連項目編集

脚注編集

注釈編集

  1. ^ 3元不定斉次多項式に対するベズーの等式の類似。

出典編集

  1. ^ 以上の証明は石井 (2013, pp. 26-32)によった。
  2. ^ Bézout 1779
  3. ^ Tignol 2001
  4. ^ Tignol 2005
  5. ^ Bachet 1624, pp. 18–33
  6. ^ Bullynck 2009, pp. 48–72

参考文献編集

  • 石井俊全『ガロア理論の頂を踏む』ベレ出版〈BERET SCIENCE〉、2013年8月25日。ISBN 978-4-86064-363-8
  • 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, http://www.bsb-muenchen-digital.de/~web/web1008/bsb10081407/images/index.html?digID=bsb10081407&pimage=38&v=100&nav=0&l=de 
  • 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 
  • Bullynck, Maarten (February 2009), “Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany” (英語) (pdf), 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 
  • Tignol, Jean-Pierre (2001) (英語), Galois' Theory of Algebraic Equations, Singapore: World Scientific, ISBN 981-02-4541-6 
    • Tignol, Jean‐Pierre『代数方程式のガロアの理論』新妻弘 訳、共立出版、2005年3月。ISBN 978-4-320-01770-2

外部リンク編集