7

I know that $\gcd(a,b)$ divides $a$ and $b$, and must also then divide $(a)(t)$ ($t$ being some integer). This makes sense to me, but how do I prove it? It seems that the addition of $(a)(t)$ is a continuation of the linear combination of $\gcd(a,b) = av + bu$ for some $v$, $u$ being elements of $\mathbb{Z}$.

Any help?

Martin Sleziak
  • 56,060

7 Answers7

9

HINT $\rm\ \ $ If $\rm\ c\ |\ a\ $ then $\rm\ c\ |\ b + a\ t\ \iff\ c\ |\ b\:.\ $ This implies that $\rm\ \{a\:,\:b+a\ t\}\ $ and $\rm\ \{a\:,\: b\}\ $ have the same set of common divisors $\rm\:c\:,\:$ hence they have the same greatest common divisor.

Modly: $\:$ if $\rm\ a\equiv 0\ $ then $\rm\ b+a\ t\equiv 0\: \iff\: b\equiv 0\ \ \ (mod\ c)$

Bill Dubuque
  • 282,220
  • Would this proof be sufficient? let c be the gcd(a,b). So we know that cn=a, n being an integer, and cm=b, m being an integer. We know that c divides at, because ctn=at, so c divides (b + at) because it has been shown c divides b, a, and at. Am I on the correct track here or am I still a bit off? –  Feb 23 '11 at 04:55
  • 1
    @Jeff: That shows $\rm(\Leftarrow)$. But it is more clear as follows: $:$ suppose $\rm\ c\ |\ a:.:$ Then $\rm\ c\ |\ at:.:$ $\rm(\Leftarrow)\ \ c\ |\ b,\ c\ |\ at\ \Rightarrow\ c\ |\ b + at:.:$ $\rm(\Rightarrow)\ \ c\ |\ at,\ c\ |\ b+a\ t\ \Rightarrow\ c\ |\ (b+a\ t) - a\ t = b:,: $ precisely as I hinted. Note how my use of divisibility properties such as $\rm\ d\ |\ x,y\ \Rightarrow\ d\ |\ i\ x + j\ y\ $ eliminates the need to introduce explicit names for quotients, such as your $\rm:m,n:$ above. They're inessential to the proof; eliminating such obfuscations clarifies the proof. – Bill Dubuque Feb 23 '11 at 05:40
2

Let $d = \gcd(a,b)$ and $d' = \gcd(a, b+at)$. Then $d$ divides $a$ and $d$ divides $b$. So $d$ divides $at$. So $d$ divides $b+at$. Likewise, $d'$ divides $a$ and $d'$ divides $b+at$. So $d'$ divides $b$.

NebulousReveal
  • 1
1

Since $a \equiv b \pmod{m}$ implies $\gcd(m, a) = \gcd (m,b)$, and $b +at \equiv b \pmod{a}$, $\gcd(a, b+at) = \gcd (a,b)$.

Vulcan
  • 1,949
1

$$\displaystyle ax+by = a(x-ty)+(b+at)y$$

0

Suppose gcd(a, b) = k - (1) gcd(a, b+at)=k' - (2)

If k' != k -

There are two cases,

1/ k' < k : Contradiction because k|(b+at).

2/ k' > k : Since k'|a again contradiction due to (1).

Therefore k = k'.

0

Suppose that $gcd(a,b)=d$ and $gcd(a+b,b)=g$.
Then $d$ divides $a$ and $d$ divides $b$
Then $d$ divides $(a+b)$.
Again $d$ divides $b$.
Therefore $d$ divides $gcd(a+b,b)$,or in other words $d$ divides $g.$ ..................1

Next, $g$ divides $(a+b)$ and $g$ divides $b$.
Therefore $g$ divides $(a+b)-b$ or,$g$ divides $a$.
Again $g$ divides $b$.
Therefore $g$ divides $gcd(a,b)$ or in other words $g$ divides $d.$ ....................2

From 1 and 2 we can claim that $d$ divides $g$ as well as $g$ divides $d.$
This implies that $g=d.$

Therefore we have already proved the fact for t=1.
Now assume that the fact is true for t=n where n is a natural number.

Then by induction hypothesis $gcd(a,b)$= $gcd(an+b,b)$.
Again $gcd(an+b,b)$=$gcd(b+(n+1)a,b)$
Then $gcd(a,b)$= $gcd(an+b,b)$=$gcd(b+(n+1)a,b)$ Hence $gcd(a,b)$=$gcd(b+(n+1)a,b)$,and our proof is complete.

Adhiraj Mandal
  • 413
-1

You're asking for a proof of the below.

let c = GCD(a,b); then c | a.t for integer t.

Let's refactor:

if c | a then c | a.t for integer t.

This is fundamental (it's very close to the definition of 'divisibility'), but to prove it:

if c | a then cx = a, for some integer x (this is the definition of divisibility)
if cx = a then cxt = at, for all integer t
c | cxt (again, the definition of divisibility)
if c | cxt, then c | at
Kirk Broadhurst
  • 144