ベズーの等式 (Bézout's identity) （ベズーの補題 (Bézout's lemma) とも呼ばれる）は初等整数論における定理である。a と b を 0 でない整数とし、d をそれらの最大公約数とする。このとき整数 x と y が存在して a x + b y = d {\displaystyle ax+by=d} となる。さらに、i) d は ax + by と書ける最小の正の整数であり、ii) ax + by の形のすべての整数は d の倍数である。x と y は (a, b) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。a と b がどちらも 0 でなければ、拡張ユークリッドの互除法から | x | < | b d | {\displaystyle |x|<\left|{\tfrac {b}{d}}\right|} かつ | y | < | a d | {\displaystyle |y|<\left|{\tfrac {a}{d}}\right|} であるような 2 つの組の一方が出る。 ベズーの補題は任意の主イデアル整域において正しいが、正しくないような整域が存在する。 （例えば拡張ユークリッドアルゴリズム（英語版）を使って）ベズー係数の一組 (x, y) が計算されたとき、すべての組は ( x + k b gcd ( a , b ) ,   y − k a gcd ( a , b ) ) {\displaystyle \left(x+k{\frac {b}{\gcd(a,b)}},\ y-k{\frac {a}{\gcd(a,b)}}\right)} の形で表せる、ただし k は任意の整数であり分数は整数になる。 ベズー係数のこれらの組の中で、ちょうど2つが | x | ≤ | b gcd ( a , b ) | and | y | ≤ | a gcd ( a , b ) | . {\displaystyle |x|\leq \left|{\frac {b}{\gcd(a,b)}}\right|\quad {\text{and}}\quad |y|\leq \left|{\frac {a}{\gcd(a,b)}}\right|.} を満たす。また、 a {\displaystyle a} と b {\displaystyle b} の一方が他方の約数であるときのみ等号が成立しうる。 これは除法の原理による。すなわち、2つの整数 c と d が与えられると、d が c を割らなければ、ちょうど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 である。このとき次のベズーの等式が成り立つ。赤で書かれたベズー係数は最小の組であり青は他のものである。 ⋮ 12 × ( − 10 ) + 42 × 3 = 6 12 × ( − 3 ) + 42 × 1 = 6 12 × 4 + 42 × ( − 1 ) = 6 12 × 11 + 42 × ( − 3 ) = 6 12 × 18 + 42 × ( − 5 ) = 6 ⋮ {\displaystyle {\begin{aligned}\vdots \\12&\times (\color {blue}{-10})&+\;\;42&\times \color {blue}{3}&=6\\12&\times (\color {red}{-3})&+\;\;42&\times \color {red}{1}&=6\\12&\times \color {red}{4}&+\;\;42&\times (\color {red}{-1})&=6\\12&\times \color {blue}{11}&+\;\;42&\times (\color {blue}{-3})&=6\\12&\times \color {blue}{18}&+\;\;42&\times (\color {blue}{-5})&=6\\\vdots \end{aligned}}} ベズーの補題は性質を定義する除法の原理、すなわち 0 {\displaystyle 0} でない整数 b {\displaystyle b} による割り算は | b | {\displaystyle \left|b\right|} よりも真に小さい余りをもつことの結果である。以下の証明は任意のユークリッド整域に対して適用することができる。 与えられた 0 {\displaystyle 0} でない整数 a {\displaystyle a} と b {\displaystyle b} に対して、 x {\displaystyle x} と y {\displaystyle y} を整数として a x + b y {\displaystyle ax+by} がとりうる整数の集合 S {\displaystyle {\mathit {S}}} について、 S {\displaystyle {\mathit {S}}} の任意の要素 u , v {\displaystyle u,v} および整数 k {\displaystyle k} に対して u + v , k u {\displaystyle u+v,ku} は S {\displaystyle {\mathit {S}}} に含まれる。実際、 u , v {\displaystyle u,v} が u = a x 1 + b y 1 , v = a x 2 + b y 2 {\displaystyle u=ax_{1}+by_{1},v=ax_{2}+by_{2}} と書ければ、 u + v = a ( x 1 + x 2 ) + b ( x 2 + y 2 ) ∈ S , k u = a ( k x 1 ) + b ( k y 1 ) ∈ S {\displaystyle u+v=a(x_{1}+x_{2})+b(x_{2}+y_{2})\in {\mathit {S}},ku=a(kx_{1})+b(ky_{1})\in {\mathit {S}}} である。符号をかえれば u − v ∈ S {\displaystyle u-v\in {\mathit {S}}} も同様にいえることがわかる。 今 S {\displaystyle {\mathit {S}}} に含まれる正の整数のうち最小の数を h {\displaystyle h} とする。すると、 S {\displaystyle {\mathit {S}}} の要素はすべて h {\displaystyle h} の倍数になっている。 というのは、もし h {\displaystyle h} の倍数で表せない数 m {\displaystyle m} が存在すると仮定すると m {\displaystyle m} を h {\displaystyle h} で割った商を q {\displaystyle q} 、 0 {\displaystyle 0} でない余りを r {\displaystyle r} と置いて m = q h + r {\displaystyle m=qh+r} すなわち r = m − q h {\displaystyle r=m-qh} と書ける。 仮定より m ∈ S {\displaystyle m\in {\mathit {S}}} および h ∈ S , q h ∈ S {\displaystyle h\in {\mathit {S}},qh\in {\mathit {S}}} から r ∈ S {\displaystyle r\in {\mathit {S}}} 。 r {\displaystyle r} は割り算の余りなので割る数 h {\displaystyle h} より小さく、 これは h {\displaystyle h} が S {\displaystyle {\mathit {S}}} の最小の数であるという仮定に反する。すなわち S {\displaystyle {\mathit {S}}} の要素はすべて h {\displaystyle h} の倍数になっている。 a x + b y {\displaystyle ax+by} の式で x = 1 , y = 0 {\displaystyle x=1,y=0} を代入すれば a {\displaystyle a} となるから、 a ∈ S {\displaystyle a\in {\mathit {S}}} 、同様に b ∈ S {\displaystyle b\in {\mathit {S}}} 。 ということは、 a , b {\displaystyle a,b} はともに h {\displaystyle h} の倍数であり、 h {\displaystyle h} は a , b {\displaystyle a,b} の公約数である。したがって a , b {\displaystyle a,b} の最大公約数 g {\displaystyle g} 以下であるから h ≦ g {\displaystyle h\leqq g} 。……① また a , b {\displaystyle a,b} は g {\displaystyle g} の倍数だから、 a = a ′ g , b = b ′ g {\displaystyle a=a'g,b=b'g} と置いて、 a x + b y = ( a ′ x + b ′ y ) g {\displaystyle ax+by=(a'x+b'y)g} となり、 S {\displaystyle {\mathit {S}}} の要素は g {\displaystyle g} の倍数である。 特に h ∈ S {\displaystyle h\in {\mathit {S}}} も g {\displaystyle g} の倍数だから、 h ≧ g {\displaystyle h\geqq g} 。……② ①②より h = g {\displaystyle h=g} 、すなわち、 a x + b y = g {\displaystyle ax+by=g} （ g {\displaystyle g} は a , b {\displaystyle a,b} の最大公約数）を満たす x , y {\displaystyle x,y} が存在する。 ベズーの等式は2つよりも多い整数に対して拡張することができる： gcd ( a 1 , a 2 , … , a n ) = d {\displaystyle \gcd(a_{1},a_{2},\ldots ,a_{n})=d} とおくと、整数 x 1 , x 2 , … , x n {\displaystyle x_{1},x_{2},\ldots ,x_{n}} が存在して、 d = a 1 x 1 + a 2 x 2 + ⋯ + a n x n {\displaystyle d=a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}} が成り立つ。また右辺の形の数式は以下の性質をもつ： d はこの形の最小の正の整数である この形の数はすべて d の倍数である ベズーの等式は体上の一変数多項式に対して整数に対してとちょうど全く同じようにうまくいく。とくにベズー係数と最大公約数は拡張ユークリッド互除法（英語版） によって計算できる。 2つの多項式の共通根はそれらの最大公約数の根であるから、ベズーの等式と代数学の基本定理は次の結果を意味する： 体係数の一変数多項式 f と g に対して、多項式 a と b が存在して af + bg = 1 であることと、f と g が任意の代数的閉体（通例は複素数体）において共通根をもたないことが同値である。 この結果の任意個の多項式と不定元に対する一般化はヒルベルトの零点定理である。 導入部で言及したように、ベズーの等式は整数環においてだけでなく任意の他の単項イデアル整域 (PID) においてもうまくいく。つまり、R が PID で a と b が R の元で d が a と b の最大公約元であれば、R の元 x と y が存在して、ax + by = d である。理由：イデアル Ra+Rb が単項であり確かに Rd に等しい。 ベズーの等式が成り立つような整域はベズー整域と呼ばれる。 フランス人数学者 Étienne Bézout (1730–1783) がこの等式を多項式に対して証明した。しかしながら、整数に対するこのステートメントは別のフランス人数学者 Claude Gaspard Bachet de Méziriac (1581–1638) の仕事において既に見つかる。 AF+BG定理（英語版）、3元不定斉次多項式に対するベズーの等式の類似 算術の基本定理 ユークリッドの補題 ディオファントス方程式 ^ 以上の証明は石井俊全「ガロア理論の頂を踏む」(2013)によった． ^ 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.  ^ Tignol, Jean-Pierre (2001). Galois' Theory of Algebraic Equations. Singapore: World Scientific. ISBN 981-02-4541-6.  ^ 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. pp. 18–33. http://www.bsb-muenchen-digital.de/~web/web1008/bsb10081407/images/index.html?digID=bsb10081407&pimage=38&v=100&nav=0&l=de.  これらのページにおいて Bachet は（方程式なしに）次を証明する。 “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. に現れる問題を解くために Bachet によって使われた。 ^ 次も参照： Maarten Bullynck (2009年2月). “Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany”. 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.  Online calculator for Bézout's identity. Weisstein, Eric W. "Bézout's Identity". MathWorld（英語）. CS1 maint: Multiple names: authors list