Bézout's identity: au + bv = gcd(a, b)
There exist integers u, v with au + bv = gcd(a,b). Found by extended Euclidean algorithm.
The theorem
Bézout’s theorem: for any integers not both zero, there exist integers such that:
Corollary: coprime integers
and are coprime iff there exist integers with:
Equivalent to .
Finding and : extended Euclid
- Run the Euclidean algorithm (successive divisions).
- Go back up expressing each remainder as a combination of and .
Example: Bézout for ,
Euclid descent:
- ⇒ gcd = 6.
Back-substitution:
So , : . ✓
Application 1: Diophantine equation
Solve in :
- Has a solution iff .
- If so: find a particular solution by Bézout, then all others by induction.
Application 2: modular inverse
Find with ?
Exists iff . By Bézout: , so .
GCD is smallest positive
The gcd is the smallest positive integer of the form with .
Common mistakes
- Confusing Bézout and Gauss (Gauss = if and then ).
- Forgetting can be negative.
- Searching in (often impossible).
Do integers u, v exist with 15u + 25v = 4?
Mini-quiz
Question 1 / 3Bézout says: there exist u, v with au + bv = ?
