-1

I have just begun learning about algebraic structures and factorisation and have seen the following statement:

Given that integers $m$ and $n$ are not both $0$. There exist integers $x,y$ such that $\gcd(m,n) = xm+yn$

I am not quite sure what a proof to this statement would look like, nor have I been able to find one. I would greatly appreciate if someone knows the proof to this statement that they could perhaps show me what it looks like or where to find it.

Thank you in advance!

Pedro
  • 18,817
  • 7
  • 65
  • 127
MrMath
  • 71
  • 2
    This result is often called Bezout's identity. https://en.wikipedia.org/wiki/B%C3%A9zout%27s_identity – paw88789 Feb 06 '22 at 19:40
  • @JoséCarlosSantos Not quite, I was looking for something more formal and rigorous. – MrMath Feb 06 '22 at 19:49
  • Euclid's algorithm works (proof is two lines long) and produces $x$ and $y$ explicitly. – MJD Feb 06 '22 at 20:14

2 Answers2

0

I would greatly appreciate if someone knows... where to find it.

You can find it in the references below.

Pedro
  • 18,817
  • 7
  • 65
  • 127
-1

Without loss of generality, we can assume $\mathrm{gcd}(m,n)=1$. Consider the set $$S=\left \{1,1-m,1-2m,...,1-(n-1)m \right \}.$$ For $0 \leq i \neq j \leq n-1$ we can prove that $1-im \not\equiv 1 - jm \ (\mathrm{mod} \ n)$ (here we used the assumption $(m,n)=1$) and because $\left |S \right|=n$, exactly one element of $S$ must be divided by $n$, as desired.

More modern approach. $\mathbb{Z}$ is an Euclidean domain and hence a PID, the ideal $(m,n)$ generated by $m,n$ is principal, says, generated by some integer $d >0$ which can be taken as a definition of the greatest common divisor.

Alexey Do
  • 2,109