OFFSET
1,17
COMMENTS
Conjecture: a(n)>0 for all n>=1188.
Conjecture verified for n up to 10^9. - Mauro Fiorentini, Sep 23 2023
This conjecture is stronger than both Goldbach's conjecture and Lemoine's conjecture.
Zhi-Wei Sun also made the following conjecture: Given any positive odd integer d, there is a prime p(d) such that for any prime p>p(d) there is a prime q<p such that p^2+dpq+q^2 is prime. For example, we may take p(1)=5, p(3)=2, p(5)=61, p(7)=3, p(9)=13, p(11)=7, p(13)=3, p(15)=163, p(17)=13, p(19)=5, p(21)=p(23)=2, p(25)=89, p(27)=3, p(29)=53.
Conjecture verified for d up to 100 and p up to 10^7. - Mauro Fiorentini, Sep 23 2023
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..20000
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, arXiv preprint arXiv:1211.1588 [math.NT], 2012-2017.
EXAMPLE
For n=72 we have a(72)=1 since the only primes p and q with p+q=72, q<=36 and p^2+3pq+q^2 prime are p=67 and q=5.
MATHEMATICA
a[n_]:=a[n]=Sum[If[PrimeQ[q]==True&&PrimeQ[n-q(3-(-1)^n)/2]&&PrimeQ[q^2+3q(n-q(3-(-1)^n)/2)+(n-q(3-(-1)^n)/2)^2]==True, 1, 0], {q, 1, n/2}]
Do[Print[n, " ", a[n]], {n, 1, 20000}]
CROSSREFS
Cf. A000034 = 1,2,1,2,... = (3-(-1)^n)/2. (Note: Offset shifted w.r.t. use in the definition of this sequence.) - M. F. Hasler, Nov 05 2012
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Nov 04 2012
STATUS
approved