Bézout's identity (also called Bézout's lemma) is a theorem in elementary number theory: let a and b be nonzero integers and let d be their greatest common divisor. Then there exist integers x and y such that
- the greatest common divisor d is the smallest positive integer that can be written as ax + by
- every integer of the form ax + by is a multiple of the greatest common divisor d.
The integers x and y are called Bézout coefficients for (a, b); they are not unique. A pair of Bézout coefficients can be computed by the extended Euclidean algorithm. If both a and b are nonzero, the extended Euclidean algorithm produces one of the two pairs such that and (equality may occur only if one of a and b is a multiple of the other).
A Bézout domain is an integral domain in which Bézout's identity holds. In particular, Bézout's identity holds in principal ideal domains. Every theorem that results from Bézout's identity is thus true in all these domains.
Structure of solutions
When one pair of Bézout coefficients (x, y) has been computed (e.g., using extended Euclidean algorithm), all pairs can be represented in the form
where k is an arbitrary integer and the fractions simplify to integers.
Among these pairs of Bézout coefficients, exactly two of them satisfy
and equality may occur only if one of a and b divides the other. This relies on a property of Euclidean division: given two integers c and d, if d does not divide c, there is exactly one pair (q,r) such that c = dq + r and 0 < r < |d|, and another one such that c = dq + r and 0 < -r < |d|. The two pairs of small Bézout's coefficients are obtained by choosing k in the above formula for getting either remainder of the division of x by
The Extended Euclidean algorithm always produces one of these two minimal pairs.
Let a = 12 and b = 42, gcd (12, 42) = 6. Then we have the following Bézout's identities, with the Bézout coefficients written in red for the minimal pairs and in blue for the other ones.
(Proof adapted from 'proofwiki.org')
Given some integers and , let . Since is trivially nonempty, let be the smallest positive integer in . Now consider some other , and assume by contradiction that is not divisible by . Then according to Euclidean division, such that:
But this implies that , and since this violates the original premise that is the smallest number in , thus must be divisible by for all . We now show that :
Consider the following specific examples for :
Therefore, both and must be divisible by .
Now consider a common divisor of and :
So if divides and , then also must divide
Therefore, by the definition of the greatest common divisor, .
For three or more integers
Bézout's identity can be extended to more than two integers: if
then there are integers such that
has the following properties:
- d is the smallest positive integer of this form
- every number of this form is a multiple of d
Bézout's identity works for univariate polynomials over a field exactly in the same ways as for integers. In particular the Bézout's coefficients and the greatest common divisor may be computed with the Extended Euclidean algorithm.
- For univariate polynomials f and g with coefficients in a field, there exist polynomials a and b such that af + bg = 1 if and only if f and g have no common root in any algebraically closed field (commonly the field of complex numbers).
The generalization of this result to any number of polynomials and indeterminates is Hilbert's Nullstellensatz.
For principal ideal domains
As noted in the introduction, Bézout's identity works not only in the ring of integers, but also in any other principal ideal domain (PID). That is, if R is a PID, and a and b are elements of R, and d is a greatest common divisor of a and b, then there are elements x and y in R such that ax + by = d. The reason: the ideal Ra+Rb is principal and indeed is equal to Rd.
An integral domain in which Bézout's identity holds is called a Bézout domain.
French mathematician Étienne Bézout (1730–1783) proved this identity for polynomials. However, this statement for integers can be found already in the work of another French mathematician, Claude Gaspard Bachet de Méziriac (1581–1638).
- AF+BG theorem, an analogue of Bézout's identity for homogeneous polynomials in three indeterminates
- Fundamental theorem of arithmetic
- Euclid's lemma
- Bézout, É. (1779). Théorie générale des équations algébriques. Paris, France: Ph.-D. Pierres.
- 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. On these pages, Bachet proves (without equations) "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." (Given two numbers [which are] relatively prime, find the lowest multiple of each of them [such that] one multiple exceeds the other by unity (1).) This problem (namely, ax - by = 1) is a special case of Bézout's equation and was used by Bachet to solve the problems appearing on pages 199 ff.
- See also: Maarten Bullynck (February 2009). "Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany" (PDF). Historia Mathematica. 36 (1): 48–72. doi:10.1016/j.hm.2008.08.009.