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

の形のすべての整数は ''d'' の倍数である。''x'' と ''y'' は (''a'', ''b'') の'''ベズー係数''' (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は{{仮リン[[ユークリッドの互除法#拡張された互除法|拡張ユークリッドの互除法|en|extended Euclidean algorithm}}]]によって計算できる。''a'' と ''b'' がどちらも 0 でなければ、拡張ユークリッドの互除法から <math>|x|<\left |\tfrac{b}{d}\right |</math> かつ <math>|y|<\left |\tfrac{a}{d}\right |</math> であるような 2 つの組の一方が出る。