We couldn't so far prove that every even integer greater than 2 is the sum of two primes.
Can something more be said about the following weaker form?
Let $r,p,q$ denote primes $$\forall r\exists p,q\bigl(4r=p+q\bigr)$$
We couldn't so far prove that every even integer greater than 2 is the sum of two primes.
Can something more be said about the following weaker form?
Let $r,p,q$ denote primes $$\forall r\exists p,q\bigl(4r=p+q\bigr)$$
Copyright © 2021 JogjaFile Inc.
$$4r=2r+2r\land 4r=p+q\implies 2r-p=q-2r=d\\r\equiv 1\bmod 6\implies 2r\equiv 2\bmod 6\implies p\equiv q\equiv 5\bmod 6\\r\equiv 5\bmod 6\implies 2r\equiv 4\bmod 6\implies p\equiv q \equiv 1 \bmod 6$$
Only exceptions are if $4r-3$ is prime, then $(3,4r-3)$ is a pair of primes that work. A157978 in the OEIS is the sequence of exceptions.
Of course, none of that is really new. It all comes from the original Goldbach conjecture. If all of the following could be proven for any non exceptions, we could gaurantee Goldbach (via pigeonhole principle):
Again not new but shows where the math came from.
Addendum:
A023212 might be interesting (to me) r values in the larger case. Because then $$p+q+1=\sigma(pq)\in\mathbb{P}$$
That is, the sum of a semiprime's proper divisors is prime.