10
$\begingroup$

My number theory textbook has the following (paraphrased) exercise:

Goldbach wrote a letter to Euler with the following conjecture: Every integer greater than five can be written as the sum of three primes.

Euler replied this statement was equivalent to: Every even integer greater than or equal to 4 can be written as the sum of two primes.

The exercise is to show these two statements are equivalent, and I'm stuck on this. I don't want a solution but nothing is coming to me, so I was just hoping for a hint.

2 Answers 2

11

(Goldbach $\implies$ Euler)

Suppose that $n\geq 6$ (i.e. n>5) is even. Express $n$ as a sum of three primes $n=p_1+p_2+p_3.$ What do you think one of the primes must be, if we're going to conclude that any even integer $\underline{\,\,\,\mathbf{\geq 4}\,\,\,\,\,}$ is a sum of two primes? Modular arithmetic will help you prove that this is one of the three primes.


(Euler $\implies$ Goldbach)

Suppose that $n\geq 6$. Consider $n-2$ or $n-3$ depending on whether $n$ is even or odd.

  • 1
    Ah, my reduction to $n$ odd was due to a misreading of Goldbach's formulation as *at most* three primes.2011-09-20
5

HINT:

Let us consider the first few numbers considered in both the weak and strong form. For n = 6, they both say that it can be hit. For n = 7, the weak form says it can be hit, and it's 3 more than 4. For 8, both. For 9, the weak says it can be hit, and it's 3 more than 6 (an even number).

That's funny. 3's a prime, isn't it?

  • 0
    Okay, I like this. :-)2011-09-20