3
$\begingroup$

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.

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

1 Answer 1

9
$\begingroup$

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$.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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