# Prove $gcd(a,b)=gcd(a,2a+b)$

Call $gcd(a,b)=d$. Then $d|a$ and $d|b$. And if $c|a$ and $c|b$, then $c|d$.

It's simple to show that $d$ is SOME divisor of $a$ and $2a+b$, since we already know $d|a$ and $d|b$, so it divides the linear combination $2a+b$. However, how can I show that $d$ is the GREATEST common divisor of $a$ and $2a+b$?

Edit: Let $e$ be some other common divisor of $a$ and $2a+b$. Do we know if it's true that $e|b$? If so, we're finished since anything that divides both $a$ and $b$ will also divide $d$, since $d=gcd(a,b)$.

## 2 Answers

If $x$ divides both $a$ and $2a+b$ then $x$ divides both $a$ and $b$. Therefore $x$ divides $d$, so $x \leq d$.

• How do you know $x|b$? – Mathemanic Dec 4 '14 at 19:17
• $b=(2a+b)-2a$ … – Harald Hanche-Olsen Dec 4 '14 at 19:17
• $b = (2a+b) - 2a$. Since $x$ divides both terms on the right, it also divides the left. – Michael Biro Dec 4 '14 at 19:18
• Ah - understood, thank you very much Michael! – Mathemanic Dec 4 '14 at 19:32

Another way to put the answer by Michael: What you (Ethan) have done, shows that $\gcd(a,2a+b)\ge \gcd(a,b)$. If you put $c=2a+b$, then the same argument shows that $\gcd(a,b)=\gcd(a,c-2a)\ge\gcd(a,c)=\gcd(a,2a+b)$.