login
A274189
Even numbers 2n that satisfy an extended Goldbach conjecture: They have at least one Goldbach partition 2n = p + q (p <= q; p, q prime) that satisfies p <= sqrt(n), at least one with sqrt(n) < p <= sqrt(2n) and at least one with p > sqrt(2n).
1
34, 46, 50, 66, 74, 78, 86, 138, 142, 160, 162, 168, 170, 174, 176, 178, 180, 184, 186, 194, 202, 204, 206, 234, 236, 238, 240, 242, 246, 252, 254, 264, 270, 276, 282, 284, 290, 294, 296, 298, 300, 310, 320, 324, 328, 334, 348, 354, 364, 366, 370, 372, 376, 378, 384, 386, 390, 392, 396, 400
OFFSET
1,1
COMMENTS
This sequence contains all even numbers that are not in A279040 or in A273457. I have verified numerically for all even numbers 4 < 2n < 4*10^10 that a Goldbach partition with the additional condition p > sqrt(2n) exists. It is conjectured that a(n) = 2*(n+12987) for all n > 7838315. If this conjecture is true, all even numbers 2n > 15702604 have all three types of Goldbach partitions and therefore satisfy the "extended Goldbach conjecture".
EXAMPLE
a(1) = 34 = 3 + 31 = 5 + 29 = 11 + 23 = 17 + 17. Since 3 < sqrt(17) < 5 < sqrt(34) < 11 < 17, all three types of Goldbach partitions exist for 34.
PROG
(PARI) GoldbachRange(n, mn, mx)=forprime(p=mn, mx, if(isprime(n-p), return(1))); 0
is(n)=n%2==0 && GoldbachRange(n, 2, sqrtint(n/2)) && GoldbachRange(n, sqrtint(n/2-1)+1, sqrtint(n)) && GoldbachRange(n, sqrtint(n-1)+1, n/2) \\ Charles R Greathouse IV, Dec 16 2016
KEYWORD
nonn
AUTHOR
STATUS
approved