Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Goldbach Number

  1. Dec 18, 2009 #1
    1. The problem statement, all variables and given/known data

    The Goldbach Conjecture: Every even number greater than 2 is the sum of 2 primes
    Consider P(n) = (n is congruent to 3mod4)
    Then g(n) ={0 if n = 1 or 2n is a sum of 2 primes
    1 if 2n is not a sum of 2 primes and P(n) is true
    -1 if 2n is not a sum of 2 primes and P(n) is false}
    Next we define G{N}= ∑((g(k))/(2^k))
    And now we can define the following family of rational intervals:
    G={[G{N}-(1/(2^{N-1})),G{N}+(1/(2^{N-1}))], N=1,2,...}

    Prove that the Goldbach Conjecture is true if and only if G = 0

    2. Relevant equations

    3. The attempt at a solution

    I'm okay with the first half of the biconditional. If the Golbach Conjecture is true, g(n) will of course always be 0.
    The other half is really giving me some trouble - If G = 0, then the Goldbach Conjecture is true. I figure it will suffice to show that if there is a J so that g(n) = 0 for ll n < J and g(J) != 0, then G{N} must b bounded away from 0 for all n>J. But I can't get there. Anybody have some suggestions?
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted