Bezout's Theorem

Bezout was a famous mathematician who discovered many beautiful formulas. One of his most famous theorem/identities dealt with numbers and their greatest common factors. His theorem states, if integers \(a\) and \(b\) are relatively prime, then there exists \(x\) and \(y\), integers to satisfy the equation \(ax+by=1\). For any integers \(a\) and \(b\) excluding zero, let \(d\) be the greatest common divisor such that \(d\) equals the gcd of \(a\) and \(b\) in other words, \(d\)\(=\)gcd\(\left(a,b\right)\). If this is true then there must exist integers known as \(x\) and \(y\) to satisfy the equation \(ax+by=d\).

There are many important facts that go along with Bezout’s identity:

1.)    All common divisors of \(d\) are common divisors of \(a\) and \(b\) as well
2.)    As for the fact above, all divisors of \(a\) and \(b\) are also divisors of \(d\)
3.)    \(a\)/\(d\) and \(b\)/\(d\) are prime integers
4.)    \(a\)/\(d\)\(\left(x\right)\)+\(b\)/\(d\)\(\left(y\right)\)\(=1\)
5.)    The greatest common divisor \(d\) is actually the smallest integer that can be written to satisy \(ax+by\)
6.)    All integers of the form \(ax+by\) are multiples of \(d\)