Wikipedia

「ベズーの等式」の版間の差分

履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
m 等号を含まないと誤りだと思います。
4行目:
# {{Mvar|d}} は {{nowrap|{{Mvar|ax}} + {{Mvar|by}}}} と書ける最小の正の整数であり、
# {{nowrap|{{Mvar|ax}} + {{Mvar|by}} }}の形のすべての整数は {{Mvar|d}} の倍数である。}}
{{Mvar|x}} と {{Mvar|y}} は ({{Mvar|a}}, {{Mvar|b}}) の'''ベズー係数''' (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は[[ユークリッドの互除法#拡張された互除法|拡張ユークリッドの互除法]]によって計算できる。{{Mvar|a}} と {{Mvar|b}} がどちらも {{Math|0}} でなければ、拡張ユークリッドの互除法から <math>|x|<\le\left |\tfrac{b}{d}\right |</math> かつ <math>|y|<\le\left |\tfrac{a}{d}\right |</math> であるような 2 つの組の一方が出る。
 
ベズーの補題は任意の[[主イデアル整域]]において正しいが、正しくないような[[整域]]が存在する。
「https://ja.wikipedia.org/wiki/ベズーの等式」から取得