Is this a theorem?

Given any integer $m$, there exists $N(m)$, such that for all $n>N(m)$, we have $$n = a_1+a_2+\cdots+a_m$$ where $\gcd(a_i,a_j) = 1$ with $a_i>1$ for all $i,j>1$.

For instance, it is a textbook exercise to show for small values of $m$; Any integer exceeding $6$ is a sum of two relatively prime numbers; Any integer exceeding $17$ is a sum of three relatively prime numbers and so on.

  • $\begingroup$ See my comment to Fedor Petrov's nice proof. $\endgroup$ – GH from MO Mar 11 '17 at 19:48

We may induct on $m$. Assume that for $m-1$ this is proved. Choose $a_1$ as a prime number between $n/2$ and $n-N(m-1)$ and apply induction proposition for $n-a_1$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.