ベズーの等式

本記事ではベズーの等式について解説します。誰もが一度は見たことがあるであろう形の等式を一般化した等式です。

主張

こんな等式のことです。

R を単項イデアル整域(以下PID)とする。a,bR に対し、d=gcd(a,b)ab の最大公約元とする。このときある x,yR が存在し、ax+by=dが成立する。

ちょっとピンとこない人もいるかもしれませんね。もう少し特別な場合の例を見てみましょう。

R=Z としてみましょう。さらに整数abは互いに素、すなわち gcd(a,b)=1 であるとしましょう。このときに上の主張を適用すると、

ある整数x,yZが存在し、ax+by=1が成立する

となります。

どうでしょうか?高校時代に見覚えがある方も多いのではないでしょうか。ユークリッドの互除法を使って導いた、整数問題で頻出のアレです。今回ご紹介するのはこの性質のPIDへの一般化ということです。

証明

では証明しましょう。

(証明) 単項イデアル (a),(b)R を考える。いま R はPIDなので、(a)+(b)=(d)()なる dR が存在する。ここでまず d(a)+(b) よりd=sa+tb(s,tR)と表せる。いま dab の最大公約元なので da,b より、ddが成立する。一方 () より a,b(d) となることからda,dbとなる。よって dabの最大公約元であることより、ddとなる。以上より、ddの単元倍であることが分かり、特に(d)=(d)である。以上より (a)+(b)=(d) が従う。このことから特に、d(a)+(b)すなわちあるx,yRが存在し、ax+by=dが成立する。

(証明終)

この証明の中で示された、イデアルに関する性質を述べておきます。

RをPIDとする。このとき a,bR に対し、(a)+(b)=(gcd(a,b))が成立する。特に以下が同値となる。(1)ab(2)(a)(b)

綺麗でいい感じですね。数学をやっていると、時々このようにすっきりできるタイミングがあるので楽しいです。

一般化

実は元の個数を一般化することができます。

R をPID、a1,a2,,anRとし、d:=gcd(a1,a2,,an)とする。このときあるx1,x2,,xnRが存在し、a1x1+a2x2++anxn=dが成立する。

証明は上と全く同様なので割愛します。

まとめ

本記事ではベズーの公式について紹介しました。中高で習った定理がさらに一般化できることを知ることができるのも大学数学の醍醐味ですね。

ちなみにその名の由来となっているベズー(Bèzout)は代数幾何の分野でも重要な「ベズーの定理」でも知られています。

コメント

タイトルとURLをコピーしました