3

Statement: If $a$ divides both $b$ and $c$, then $a$ divides $b+c$ Proof: Assume that $a$ does not divide $b+c$. Then there is no integer $k$ such that $ak=b+c$. However, $a$ divides $b$, so $am=b$ for some integer $m$; and $a$ divides $c$, so $an=c$ for some integer $n$. Thus $am+an=a(m+n)=b+c$. Therefore $k=m+n$ is an integer satisfying $ak=b+c$. Thus the assumption that $a$ does not divide $b+c$ is false, and $a$ does divide $b+c$.

Is my proof valid?

azimut
  • 22,696
Adrian
  • 1,976

2 Answers2

4

It is valid, but a bit too complex.

You could have skipped the "assume the opposite part" and just do take $b = am$, $c = an$, and then conclude that $b+c = am + an = a(m+n)$.

So, basically what you did, but stripped of the unnecessary intro with the assumption that you do not need (nor use!).

Vedran Šego
  • 11,372
1

Yes, but it is sufficient to say

$a$ divides $b$, so $am=b$ for some integer $m$; and $a$ divides $c$, so $an=c$ for some integer $n$. Thus $am+an=a(m+n)=b+c$. Therefore $k=m+n$ is an integer satisfying $ak=b+c$.

miracle173
  • 11,049