mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Miscellaneous Math (https://www.mersenneforum.org/forumdisplay.php?f=56)
-   -   Proof of Goldbach Conjecture (https://www.mersenneforum.org/showthread.php?t=9670)

vector 2007-11-30 11:38

Proof of Goldbach Conjecture
 
I think I proved the Goldbach conjecture, here is proof:

This conjecture states that every even number greater than 2 can be expressed as the sum of two primes.

This conjecture can be restated as:
If X is even and Y is an integer then there exist prime numbers of the form X/2+Y and X/2-Y.

A Diophantine equation can be generalized from this:
(X/2-Y)(X/2+Y)=M;
(X^2)/4-Y^2=M where M is a positive integer, and ((X^2)/4) is a fixed constant.
The total number of positive M's is sqrt((X^2)/4).

The chance that any of those M's is a semi-prime has a determined lower bound of ~1/4 for moderately sized M and increases as M gets larger.

By finding M which is a semiprime the two primes that add to X can be found.

Therefore the total number of 2 prime groups that sum to an even integer X has a lower bound of Floor[(sqrt((X^2)/4)/4], which is always greater than one for sufficiently large even integer.

akruppa 2007-11-30 12:12

> The chance that any of those M's is a semi-prime has a determined lower bound of ~1/4 for moderately sized M and increases as M gets larger.

What exactly do you mean by that?

Alex

Brian-E 2007-11-30 12:21

You seem to be using a probability distribution argument. This would be sufficient to show that "almost all" even numbers are the sum of two primes, but it does not show the complete absence of counter-examples.

vector 2007-11-30 13:32

[quote=akruppa;119590]> The chance that any of those M's is a semi-prime has a determined lower bound of ~1/4 for moderately sized M and increases as M gets larger.

What exactly do you mean by that?

Alex[/quote]

see: [url]http://www.research.att.com/~njas/sequences/table?a=1358&fmt=5[/url]

The proof can be made deterministic by using theorem 3 from [url]http://arxiv.org/PS_cache/math/pdf/0506/0506067v1.pdf[/url]
Using it the maximum distance between semi primes becomes 26.

R.D. Silverman 2007-11-30 14:36

[QUOTE=vector;119600]see: [url]http://www.research.att.com/~njas/sequences/table?a=1358&fmt=5[/url]

The proof can be made deterministic by using theorem 3 from [url]http://arxiv.org/PS_cache/math/pdf/0506/0506067v1.pdf[/url]
Using it the maximum distance between semi primes becomes 26.[/QUOTE]

It (the claimed proof) is codswallop.

There already exist probabilistic results regarding Goldbach. Look
up 'Goldbach exceptions'. For example, it is known that exceptions,
*if they exist* have asymptotic density 0. Indeed, the number of
possible primes less than P for which exceptions might exist is known
to be at most O(P^1/4+epsilon) for any epsion > 0. This does not
say whether any exceptions DO exist; merely that there can't be too many
if they do. The exponent 1/4 may have been improved since I last looked
at this problem.

The proofs of this and related results are sieve based and run into the
sieve parity problem & the fundamental lemma of the sieve. See
Halberstam & Richert's book.

vector 2007-12-01 14:43

nevermind


All times are UTC. The time now is 00:36.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.