翻訳と辞書
Words near each other
・ 線刺培養
・ 線刻
・ 線副子
・ 線収縮
・ 線名
・ 線吸収係数
・ 線図
・ 線固定
・ 線型
・ 線型システム論
線型ディオファントス方程式
・ 線型ノルム空間
・ 線型ブロック符号
・ 線型リスト
・ 線型代数
・ 線型代数学
・ 線型代数学の基本定理
・ 線型代数学用語一覧
・ 線型位相空間
・ 線型作用素


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

線型ディオファントス方程式 : ウィキペディア日本語版
ベズーの等式[べずーのとうしき]
ベズーの等式 (Bézout's identity) (ベズーの補題 (Bézout's lemma) とも呼ばれる)は初等整数論における定理である。''a'' と ''b'' を 0 でない整数とし、''d'' をそれらの最大公約数とする。このとき整数 ''x'' と ''y'' が存在して
: ax+by=d
となる。さらに、i) ''d'' は
と書ける最小の正の整数であり、ii)
の形のすべての整数は ''d'' の倍数である。''x'' と ''y'' は (''a'', ''b'') のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。''a'' と ''b'' がどちらも 0 でなければ、拡張ユークリッドの互除法から |x|<\left |\tfrac\right | かつ |y|<\left |\tfrac\right | であるような 2 つの組の一方が出る。
ベズーの補題は任意の主イデアル整域において正しいが、正しくないような整域が存在する。
== 解の構造 ==

(例えばを使って)ベズー係数の一組 (''x'', ''y'') が計算されたとき、すべての組は
:\left(x+k\frac,\ y-k\frac\right)
の形で表せる、ただし は任意の整数であり分数は整数になる。
ベズー係数のこれらの組の中で、ちょうど2つが
: |x| < \left |\frac\right |\quad \text\quad |y| < \left |\frac\right |.
を満たす。これは除法の原理による。すなわち、2つの整数 ''c'' と ''d'' が与えられると、''d'' が ''c'' を割らなければ、ちょうど1つの組 が存在して、 かつ となり、別の1つの組が存在して、 かつ となる。
拡張ユークリッドアルゴリズムはつねにこれらの2つの最小の組の1つをもたらす。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ベズーの等式」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.