# 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$$