Bézout’s Lemma

Bézout’s Lemma is a fundamental theorem in number theory and algebra. It states:

For any integers and , if is their greatest common divisor (GCD), then there exist integers and such that:

In other words, the GCD of two integers can always be expressed as a linear combination of those integers.

Proof:

  1. Consider the set of all positive integers of the form , where and are integers. Since and are not both zero, the set is non-empty.

  2. Let be the smallest positive integer in . By the division algorithm, for any integer in , we can write where .

  3. Now, . Since and are integers, is also of the form . Thus, is in .

  4. But, and is the smallest positive integer in . So, the only possibility is . This means every integer in is a multiple of .

  5. Since and are in , divides both and . Thus, is a common divisor of and .

  6. If there’s any common divisor of and , then divides any integer of the form . In particular, divides . Thus, is the greatest common divisor of and .

  7. Therefore, the GCD of and can be expressed as a linear combination of and .

Consequence of Bézout’s Lemma

This is just taken when we take a linear combination in the form of the lemma, then dividing everything through by the greatest common divisor - of course this is equal, but it also creates a coprime pair of integers.

, for some , for some ,

Applications:

Bézout’s Lemma is foundational in many areas of mathematics, especially in number theory. It’s used in the proof of the Fundamental Theorem of Arithmetic and in the solution of Diophantine equations. Additionally, it plays a crucial role in the theory of modular arithmetic and the RSA encryption algorithm in cryptography.


This note provides a comprehensive overview of Bézout’s Lemma, its proof, and its significance in various mathematical applications.